Injections de Sobolev

En mathématiques, les inégalités de Sobolev sont des résultats mettant en relation des normes dont celles des espaces de Sobolev. Ces inégalités sont utilisées pour démontrer le théorème de plongement de Sobolev (injection), qui permet d'énoncer des inclusions entre certains espaces de Sobolev, mais aussi le théorème de Rellich – Kondrachov qui montre que dans des conditions légèrement plus fortes, certains espaces de Sobolev peuvent s'injecter de manière compacte dans d'autres espaces. Elles portent le nom du mathématicien Sergueï Lvovitch Sobolev.

Théorème de plongement 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(Rn), l'espace de Sobolev constitué des fonctions à valeurs réelles sur Rn dont les k premières dérivées faibles sont 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

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

alors

W k , p ( R n ) ⊆ W ℓ , q ( R n ) {\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 :

W 1 , p ( R n ) ⊆ L p ∗ ( R n ) {\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

1 p ∗ = 1 p − 1 n . {\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 f {\displaystyle f} dans L p ( R n ) {\displaystyle L^{p}(\mathbb {R} ^{n})} a une dérivée dans L p {\displaystyle L^{p}} , alors f {\displaystyle f} lui-même a un comportement local plus régulier, autrement dit, il appartient à l'espace L p ∗ {\displaystyle L^{p^{*}}} où p ∗ > p {\displaystyle p^{*}>p} . (Noter que 1 / p ∗ < 1 / p {\displaystyle 1/p^{*}<1/p} , de sorte que p ∗ > p {\displaystyle p^{*}>p} . ) Ainsi, toute singularité locale dans f {\displaystyle f} sera plus régulière que celles des fonctions de L p {\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,α(Rn) . Si n < pk et

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

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

W k , p ( R n ) ⊂ C r , α ( R n ) . {\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 α = 1 {\displaystyle \alpha =1} alors W k , p ( R n ) ⊂ C r , γ ( R n ) {\displaystyle W^{k,p}(\mathbf {R} ^{n})\subset C^{r,\gamma }(\mathbf {R} ^{n})} pour chaque γ ∈ ( 0 , 1 ) {\displaystyle \gamma \in (0,1)} .

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

  • icône décorative Portail de l'analyse