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
[modifier | modifier le code]![](http://178.128.105.246/cars-http-upload.wikimedia.org/wikipedia/commons/thumb/2/20/Sobolev_embedding_theorem.svg/250px-Sobolev_embedding_theorem.svg.png)
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
alors
et ce plongement est continu. Dans le cas particulier où k = 1 et ℓ = 0, on a :
où p∗ est l'exposant conjugué au sens de Sobolev de p, donné par
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 dans a une dérivée dans , alors lui-même a un comportement local plus régulier, autrement dit, il appartient à l'espace où . (Noter que , de sorte que . ) Ainsi, toute singularité locale dans sera plus régulière que celles des fonctions de en général.
![](http://178.128.105.246/cars-http-upload.wikimedia.org/wikipedia/commons/thumb/2/25/Sobolev_embedding_theorem_%28Morrey_case%29.svg/250px-Sobolev_embedding_theorem_%28Morrey_case%29.svg.png)
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
- ou si, de manière équivalente,
avec α∈ ]0,1[ , alors on a le plongement
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 alors pour chaque .
En particulier, tant que , le critère d'injection sera vérifié avec et une valeur positive de . C'est-à-dire que pour une fonction sur , si a dérivés dans et , alors sera continue (et même continue au sens, Hölder avec un exposant positif ).