- Espace de Schwartz
-
En mathématiques, l'espace de Schwartz est un espace de fonctions utilisé notamment en théorie des distributions, pour la définition générale de la transformation de Fourier d'une distribution tempérée. La lettre 'S' a été choisie par Schwartz lui même, celui-ci nommant "sphériques" les distributions qu'on appelle de nos jours "tempérées".
Sommaire
Définition
Une fonction f fait partie de l'espace lorsqu'elle est indéfiniment dérivable, et si f et toutes ses dérivées sont à décroissance rapide, c'est-à-dire que leur produit par une fonction polynôme quelconque est borné à l'infini.
Pour deux multi-indices α,β on définit les normes | | . | | α,β par
Alors l'espace de Schwartz peut être décrit comme
- .
S'il n'y a pas d'ambiguïté, l'espace peut être simplement représenté par la lettre .
Topologie
L'espace de Schwartz peut être muni d'une topologie, la topologie initiale associée à la famille de semi-normes , équivalente à celle associée par la famille filtrante de semi-normes définie par :
L'espace de Schwartz est, muni de cette topologie, un espace de Fréchet. Étant défini par une famille filtrante dénombrable de semi-norme, il est en effet un espace localement convexe, séparé, métrisable, et on montre en outre qu'il est complet.
La convergence d'une suite de se définit donc de la manière suivante. Une suite de fonctions converge dans vers une fonction ϕ si et si
Son dual topologique (continu) est l'espace des distributions tempérées .
Exemples et propriétés
- L'espace contient l'espace des fonctions à support compact. Cet espace, aussi noté , ets d'ailleurs dense dans au sens de la convergence (forte) définie ci-dessus.
- Il contient également d'autres éléments comme les fonctions de la forme produit d'un polynôme et d'une gaussienne :
- pour un certain multi-indice α et un réel a > 0.
- L'espace est un sous-espace vectoriel des différents espaces Lp pour . Il est d'ailleurs dense dans chacun de ces ensembles , hormis .
Opérations sur l'espace de Schwartz
- L'espace est stable par dérivation, par multiplication, ou même par multiplication par toute fonction dont toutes les dérivées sont à croissance polynômiales. En particulier, il est stable par multiplication par un polynôme.
- La transformation de Fourier induit un automorphisme continu de , qui préserve la norme.
Références
- L. Schwartz Théorie des distributions et transformation de Fourier Annales de l'Université de Grenoble- T.23, 1948
- F. Golse, Distributions, analyse de Fourier et équations aux dérivées partielles, polycopié de cours, Éditions de l'École polytechnique, 2009
Catégories :- Espace fonctionnel remarquable
- Théorie des distributions
Wikimedia Foundation. 2010.