Un espace de Banach ou d'Hilbert de fonctions ou de distributions sur un domaine, muni d'une norme mesurant l'intégrabilité et la taille des dérivées faibles jusqu'à un ordre donné ; noté classiquement W^{k,p} ou H^s et central pour les formulations variationnelles et la théorie des EDP.

Principe

Contrôler une fonction et ses dérivées faibles par des normes de type L^p de sorte que la complétude, la dualité et les résultats d'inclusion/compacité organisent la régularité et la résolubilité des problèmes linéaires et non linéaires.

Démonstration

W^{1,2}(Ω)=H^1(Ω) sur un domaine borné Ω : les fonctions dont les premières dérivées faibles sont intégrables au carré forment l'espace naturel pour la formulation faible de l'équation de Poisson −Δu=f ; existence et estimations énergétiques découlent de la norme de Sobolev.

Mauvaise application

Supposer qu'un élément d'un espace de Sobolev possède des valeurs ponctuelles canoniques ou des dérivées classiques partout sans vérifier les seuils d'inclusion ; ou supposer que la multiplication est stable dans W^{k,p} pour tous les indices (provoquant des propriétés d'algèbre fausses).

Conséquence

Une utilisation correcte donne des formulations faibles bien posées, des estimations a priori, des arguments de compacité pour des suites de solutions et des critères nets pour les traces et conditions aux limites ; elle fournit aussi des caractérisations par interpolation et par les espaces duaux.

Inversion

Les espaces qui ne mesurent que la borne ponctuelle (L^∞) ou la taille distributionnelle sans contrôle des dérivées ; ou les espaces de fonctions lisses où toutes les dérivées classiques existent et sont continues (sens inverse où la régularité est plus forte).

Limite

S'applique aux fonctions/distributions sur des domaines euclidiens, des variétés ou des domaines à bord où les dérivées faibles sont définies ; n'inclut pas directement les échelles purement Hölder ou certaines définitions de Besov sauf via des résultats d'inclusion, ni des échelles non normées dépourvues de contrôle dérivatif.

Tension sémantique

Tension avec les espaces de Besov/Triebel-Lizorkin : la norme de Sobolev privilégie le contrôle intégral des dérivées faibles, tandis que Besov/Triebel-Lizorkin affinent la localité et la sommabilité fréquentielle — le choix influe sur la théorie des traces, les propriétés multiplicatives et la régularité aux bords.

Synthèse

L'espace de Sobolev regroupe l'intégrabilité et le contrôle des dérivées faibles dans un cadre normé complet qui soutient les solutions faibles, les théorèmes d'inclusion et les méthodes d'énergie en analyse et EDP.