- Théorème de Meyers-Serrin H=W
-
En analyse fonctionnelle, le théorème de Meyers-Serrin (de) concerne l'équivalence de deux définitions des espaces de Sobolev.
Sommaire
Définitions préalables
Les notations sont celles de l'article espace de Sobolev.
Soient Ω un ouvert quelconque ( non vide ) de . Deux concepts qui sont souvent utilisés dans la théorie des équations aux dérivées partielles et le calcul des variations sont les espaces H et les espaces W.
Plus précisément, si m est un entier naturel positif, p un réel tel que et α est un multi-indice
- Wm,p(Ω) est l'espace de Sobolev :
muni de la norme :
où Dαu est une dérivée partielle de u au sens des distributions et désigne la norme de l' espace de Lebesgue Lp(Ω).
avec
où Dαu est une dérivée partielle de u au sens classique ( ) .
Énoncé du théorème
Wm,p(Ω) = Hm,p(Ω) Démonstration
Elle est donnée dans les deux liens externes.
Remarque
Avant la publication de ce théorème, l'égalité H = W était démontrée pour des ouverts Ω particuliers ( satisfaisant à certaines propriétés de régularité)[1].
Notes et Références
- (de), Lectures on Elliptic Boundary Value Problems, D. Van Nostrand, Princeton, 1965; p. 11. Voir, par exemple, Shmuel Agmon
Liens externes
- (en) NORMAN G. MEYERS AND JAMES SERRIN, H= W ( Proc. Nat. Acad. Sci USA 51, 1964, 1055-1056.)
- Laurent Landry, Les espaces de Sobolev [PDF]
Catégories :- Analyse fonctionnelle
- Théorème d'analyse
Wikimedia Foundation. 2010.