Une famille de résultats qui identifient quand un espace de Sobolev W^{k,p}(Ω) (ou ses variantes fractionnaires) est inclus de façon continue ou compacte dans un espace de Lebesgue L^{q}(Ω), un espace de Hölder C^{0,α}(Ω) ou un autre espace de Sobolev ; les énoncés précisent les relations entre l'ordre des dérivées, l'exposant d'intégrabilité et la dimension ou la régularité de Ω.

Principe

Échange régularité–intégrabilité : des dérivées faibles d'ordre supérieur ou une intégrabilité plus forte améliorent le contrôle ponctuel et la compacité, tandis que la dimension ambiante et la géométrie du domaine fixent les seuils critiques d'inclusion.

Démonstration

Sur un domaine borné à bord Lipschitz Ω ⊂ R^n, W^{1,p}(Ω) s'injecte continûment dans L^{p*}(Ω) avec p* = np/(n−p) lorsque 1≤pn, W^{1,p}(Ω) s'injecte dans C^{0,α}(Ω) avec α=1−n/p. Ces formules fournissent des exposants explicites dans des cas modèles.

Mauvaise application

Prétendre une inclusion sur un domaine non borné ou fractal, ou pour des paramètres hors hypothèses (par exemple affirmer W^{1,1}(Ω)→L^{∞}(Ω) en dimension n≥1) conduit à des conclusions fausses et à l'absence de compacité.

Conséquence

Une application correcte donne le contrôle du comportement ponctuel à partir des normes de Sobolev, la compacité de suites bornées (type Rellich–Kondrachov), l'existence de traces sur le bord et une régularité améliorée pour les solutions d'EDP.

Inversion

Si les relations d'exposants échouent (par exemple à l'exposant critique sans structure supplémentaire), les inclusions peuvent ne pas être compactes ou peuvent être fausses ; des suites peuvent se concentrer ou osciller et montrer la perte de contrôle.

Limite

S'applique aux espaces de Sobolev et fractionnaires sur des domaines ou variétés satisfaisant la régularité demandée ; exclut les espaces de Sobolev pondérés, certaines mesures singulières et de nombreuses géométries non bornées sans adaptation.

Tension sémantique

Souvent confondu avec les inégalités de Sobolev (qui bornent des normes) ou avec les théorèmes de compacité ; l'inclusion concerne les applications d'injection (continue/compacte) tandis que les inégalités quantifient le contrôle des normes et des constantes.

Synthèse

Les inclusions de Sobolev sont des règles précises transformant l'information sur dérivées faibles et intégrabilité en assertions d'intégrabilité supérieure ou de continuité, avec des seuils critiques dictés par l'ordre des dérivées, les exposants et la géométrie du domaine.