Espace de Besov
En analyse fonctionnelle, les espaces de Besov sont des espaces d'interpolation intermédiaires entre les espaces de Sobolev. Ces espaces doivent leur nom au mathématicien russe Oleg Vladimirovich Besov (en). Les espaces de Sobolev de degré non entier sont obtenus par interpolation complexe à partir des espaces de Sobolev de degré entier. Les espaces de Besov sont eux aussi obtenus par interpolation à partir des espaces de Sobolev de degré entier, mais en utilisant la méthode d'interpolation réelle. La principale propriété des espaces de Besov est qu'ils sont des espaces de traces d'espaces de Sobolev.
Définition
Soit un ouvert . Soient s, p, q tels que . On note m le plus petit entier supérieur à s et . On note l'espace interpolé des espaces de Banach X et Y par la méthode d'interpolation J. Par définition, l'espace de Besov est l'espace interpolé des espaces de Lebesgue et de Sobolev par la méthode d'interpolation réelle dite méthode J :
C'est un espace de Banach dont la norme est celle fournie par la méthode d'interpolation :
Il y a d'autres manières de définir les espaces de Besov sur . On en déduit les espaces de Besov sur par restriction, comme pour les espaces de Sobolev. Si est suffisamment régulier, toutes ces définitions sont équivalentes.
Propriété caractéristique
On note , un point de où . La trace u(x) dans d'une fonction régulière définie sur est donnée par .
Théorème : Soit et u une fonction mesurable sur . Les deux propositions suivantes sont équivalentes :
- (a) Il existe une fonction telle que u est la trace de U
- (b)
Théorèmes de plongement
Théorème : Soit un ouvert , suffisamment régulier (par exemple est borné et sa frontière est Lipschitz). Soient s, p, q tels que . Alors on a les inclusions suivantes avec injections continues :
- Si , alors
- Si , alors
- Si , alors
Ici désigne l'ensemble des fonctions continues et bornées sur
Références
- (en) R. A. Adams et J. J. F. Fournier, Sobolev Spaces, Academic Press, 2003 (ISBN 0-12-044143-8)
- (en) Johnson Raymond, « Review of Theory of function spaces by Hans Triebel », dans Bull. Amer. Math. Soc., vol. 13, 1985, p. 76-80
- Portail de l'analyse