Famille d'espaces de fonctions W^{k,p} (ou H^s pour p=2) qui mesurent à la fois l'intégrabilité en L^p et la dérivabilité au sens faible jusqu'à l'ordre entier k (ou l'ordre fractionnaire s) en munissant les fonctions de normes combinant les normes L^p de la fonction et de ses dérivées faibles.

Principe

Les dérivées faibles et l'intégrabilité L^p remplacent les dérivées classiques et la continuité ponctuelle ; les normes de Sobolev codent la régularité globale et contrôlent l'oscillation et l'intégrabilité, des théorèmes d'injection et de compacité reliant l'appartenance à un espace de Sobolev à la continuité ou à une meilleure intégrabilité selon la dimension et les indices.

Démonstration

H^1(Ω)=W^{1,2}(Ω) est l'espace d'énergie naturel pour les problèmes variationnels elliptiques du second ordre : les solutions en H^1 ont des premières dérivées faibles à carré intégrable et satisfont aux inégalités de trace et de Poincaré qui fondent l'analyse de convergence des éléments finis.

Mauvaise application

Supposer qu'une fonction de Sobolev est ponctuellement continue ou différentiable sans vérifier un théorème d'injection (par exemple, une fonction de W^{1,1} n'est pas nécessairement continue), conduisant à des évaluations de bord incorrectes ou à des limites ponctuelles mal interprétées.

Conséquence

Fournit le cadre fonctionnel adapté aux formulations faibles des EDP, aux méthodes variationnelles et aux preuves d'existence/unicité ; permet l'interpolation, le relèvement de régularité et les arguments de compacité utilisés dans les analyses de convergence et de stabilité.

Inversion

Les espaces classiques C^k ou Hölder qui exigent des dérivées pointwise et une continuité plus forte ; ces espaces sont plus restreints mais offrent un contrôle ponctuel plus fort lorsque cela est applicable.

Limite

Défini pour des indices k (entier) ou s (fractionnaire) et p dans [1,∞] ; les propriétés dépendent de la régularité du domaine (borné, Lipschitz), de la dimension et des cas critiques d'injection de Sobolev, et n'embrassent pas directement des mesures singulières ponctuelles ni une intégrabilité non locale au‑delà de p.

Tension sémantique

Tension entre régularité Sobolev (intégrabilité des dérivées faibles) et régularité ponctuelle (C^k ou Hölder) ; tension également entre normes de Sobolev et échelles de Besov/Triebel–Lizorkin qui détectent une régularité fractionnaire ou anisotrope plus fine.

Synthèse

Un espace de Sobolev est un espace de Banach (Hilbert pour p=2) de fonctions dont les dérivées faibles jusqu'à un certain ordre appartiennent à L^p, fournissant la notion de régularité adaptée aux formulations variationnelles, aux estimations de stabilité et à l'étude des équations aux dérivées partielles tout en faisant le lien entre intégrabilité globale et comportement ponctuel local.