Disuguaglianza di Sobolev: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
ValterVBot (discussione | contributi)
m Bot: Elimino interlinks vedi Wikidata
AlessioBot (discussione | contributi)
m WPCleaner v1.30b - Fixed using Wikipedia:Check Wikipedia - Entità con codice nominale (automatico)
Riga 3:
== Il teorema di immersione di Sobolev ==
Si denoti con <math>W^{k,p}</math> lo spazio di Sobolev di una [[varietà riemanniana]] compatta di dimensione ''n'', spazio che, detto in breve, è costituito da funzioni le cui prime ''k'' derivate sono in ''L''<sup>''p''</sup>.
In questo contesto ''k'' può essere un qualsiasi numero reale e 1&le;1≤''p''&le;&infin;≤∞. (Per ''p''=&infin; lo spazio di Sobolev è definito come lo [[spazio di Hölder]] ''C''<sup>''m'',&alpha;α</sup>, dove ''k''=''m''+α, 0<α≤1 e ''m'' è un numero intero.) Il teorema di immersione di Sobolev afferma che se
''k''&ge; l e ''k''&minus;''n''/''p'' ≥ ''l''&minus;''n''/''q'' allora
:<math>W^{k,p}\subseteq W^{l,q}</math>
e questa inclusione è continua. Inoltre se ''k''> ''l'' e ''k''&minus;''n''/''p'' > ''l''&minus;''n''/''q''
allora l'inclusione è [[operatore completamente continuo|completamente continua]] (questa proprietà a volte prende il nome di Teorema di Kondrakov). Le funzioni in <math>W^{l,\infty}</math> hanno tutte le derivate di ordine inferiore a ''l'' continue, e questa condizione implica che negli spazi di Sobolev varie derivate siano continue. In maniera informale queste inclusioni dicono che convertire una stima in ''L''<sup>''p''</sup> in una stima sulla limitatezza costa 1/''p'' derivate per ogni dimensione.