- 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
Wikimedia Foundation. 2010.