Injections de Sobolev

Représentation graphique des conditions de plongement. L'espace W^3,p, représenté par un rond bleu au point (1/p, 3), s'injecte dans les espaces indiqués par des points rouges, le tout reposant sur une droite de pente n . Le cercle blanc en (0,0) indique l'impossibilité de plongements optimaux dans L^∞ .

Soit W^k,p(Rⁿ), l'espace de Sobolev constitué des fonctions à valeurs réelles sur Rⁿ dont les k premières dérivées faibles sont dans dans Lp. Ici k est un entier non négatif et 1 ≤ p < ∞ . La première partie du théorème de plongement de Sobolev stipule que si k > ℓ, p < n et 1 ≤ p < q < ∞ sont deux nombres réels tels que

${\displaystyle {\frac {1}{p}}-{\frac {k}{n}}={\frac {1}{q}}-{\frac {\ell }{n}},}$

alors

${\displaystyle W^{k,p}(\mathbf {R} ^{n})\subseteq W^{\ell ,q}(\mathbf {R} ^{n})}$

et ce plongement est continu. Dans le cas particulier où k = 1 et ℓ = 0, on a :

${\displaystyle W^{1,p}(\mathbf {R} ^{n})\subseteq L^{p^{*}}(\mathbf {R} ^{n})}$

où p^∗ est l'exposant conjugué au sens de Sobolev de p, donné par

${\displaystyle {\frac {1}{p^{*}}}={\frac {1}{p}}-{\frac {1}{n}}.}$

Ce cas particulier d'injection de Sobolev est une conséquence directe de l'inégalité de Gagliardo–Nirenberg–Sobolev. Le résultat doit être interprété comme le fait que si une fonction ${\displaystyle f}$ dans ${\displaystyle L^{p}(\mathbb {R} ^{n})}$ a une dérivée dans ${\displaystyle L^{p}}$, alors ${\displaystyle f}$ lui-même a un comportement local plus régulier, autrement dit, il appartient à l'espace ${\displaystyle L^{p^{*}}}$ où ${\displaystyle p^{*}>p}$ . (Noter que ${\displaystyle 1/p^{*}<1/p}$, de sorte que ${\displaystyle p^{*}>p}$ . ) Ainsi, toute singularité locale dans ${\displaystyle f}$ sera plus régulière que celles des fonctions de ${\displaystyle L^{p}}$ en général.

Si la ligne de l'image ci-dessus coupe l'axe des ordonnées à s = r + α, le plongement dans un espace de Hölder C^{r, α} (rouge) est valable. Les cercles blancs indiquent les points d'intersection auxquels les plongements optimaux ne sont plus valides.

La deuxième partie du théorème de plongement de Sobolev s'applique aux plongements dans les espaces de Hölder C^r,α(Rⁿ) . Si n < pk et

${\displaystyle {\frac {1}{p}}-{\frac {k}{n}}=-{\frac {r+\alpha }{n}},{\mbox{ ou si, de manière équivalente,}}r+\alpha =k-{\frac {n}{p}}}$

avec α∈ ]0,1[ alors on a le plongement

${\displaystyle W^{k,p}(\mathbf {R} ^{n})\subset C^{r,\alpha }(\mathbf {R} ^{n}).}$

Cette version du plongement de Sobolev est une conséquence directe de l'inégalité de Morrey. Intuitivement, cette inclusion exprime le fait que si la fonction admet un nombre suffisant de dérivées faibles elle en tire une certaine continuité des dérivées classiques. Si ${\displaystyle \alpha =1}$ alors ${\displaystyle W^{k,p}(\mathbf {R} ^{n})\subset C^{r,\gamma }(\mathbf {R} ^{n})}$ pour chaque ${\displaystyle \gamma \in (0,1)}$ .

En particulier, tant que ${\displaystyle pk>n}$, le critère d'injection sera vérifié avec ${\displaystyle r=0}$ et une valeur positive de ${\displaystyle \alpha }$ . C'est-à-dire que pour une fonction ${\displaystyle f}$ sur ${\displaystyle \mathbb {R} ^{n}}$, si ${\displaystyle f}$ a ${\displaystyle k}$ dérivés dans ${\displaystyle L^{p}}$ et ${\displaystyle pk>n}$, alors ${\displaystyle f}$ sera continue (et même continue au sens, Hölder avec un exposant positif ${\displaystyle \alpha }$ ).