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 Modèle:Formule, représenté par un rond bleu au point Modèle:Formule, s'injecte dans les espaces indiqués par des points rouges, le tout reposant sur une droite de pente Modèle:Formule . Le cercle blanc en Modèle:Formule indique l'impossibilité de plongements optimaux dans Modèle:Formule .

Soit Modèle:Formule, l'espace de Sobolev constitué des fonctions à valeurs réelles sur Modèle:Formule dont les Modèle:Mvar premières dérivées faibles sont dans Lp. Ici Modèle:Mvar est un entier positif et Modèle:Formule . La première partie du théorème de plongement de Sobolev stipule que si Modèle:Formule, Modèle:Formule et Modèle:Formule sont deux nombres réels tels que

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

alors

$W^{k,p}({𝐑}^n)\subseteq W^{\ell ,q}({𝐑}^n)$

et ce plongement est continu. Dans le cas particulier où Modèle:Formule et Modèle:Formule, on a :

$W^{1,p}({𝐑}^n)\subseteq L^{p^{*}}({𝐑}^n)$

où Modèle:Formule est l'exposant conjugué au sens de Sobolev de Modèle:Mvar, donné par

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

$\frac{1}{p}-\frac{k}{n}=-\frac{r+\alpha }{n},$

ou si, de manière équivalente,

$r+\alpha =k-\frac{n}{p}$

avec Modèle:Formule , alors on a le plongement

$W^{k,p}({𝐑}^n)\subset C^{r,\alpha }({𝐑}^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 $\alpha =1$ alors $W^{k,p}({𝐑}^n)\subset C^{r,\gamma }({𝐑}^n)$ pour chaque $\gamma \in ]0,1[$ .

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