- Distribution Tempérée
-
Distribution tempérée
Une distribution tempérée est une distribution T dont le domaine s'étend à S, au sens où T peut alors être identifiée à un élément du dual topologique de S. L'ensemble des distributions tempérées se note naturellement ' S' '.
S' est alors un sous-espace vectoriel (propre) de D' (remarquer: S est plus grand que D, S' est plus petit que D') et il existe un critère simple d'appartenance à S': Si T est à support compact, elle est tempérée. Par exemple, 1 et δ sont tempérées.
Les distributions tempérées ont été introduites par Laurent Schwartz, mais sous l'appellation 'distributions sphériques', ce qui explique l'emploi de la lettre S par Schwartz lui-même!
Sommaire
Topologie
La topologie de S' est évidemment sa topologie faible-*. (S' est localement convexe et son dual topologique s'identifie à S)
Explicitement :
La collection de tous les ensembles de la forme ( où ) est une base de voisinages de 0.
Et par suite :
Si U désigne une réunion de tels ouverts, alors tout voisinage de T est de la forme T+U, et les ouverts de S' sont les ensembles T+U.
Ainsi la convergence dans S' est analogue à la convergence au sens des distributions: Dire que la suite {TN} de S' tends vers T signifie que pour toute fonction , on a
Transformée de Fourier, cas général
Définition
La transformée de Fourier est un de automorphisme S. La généralisation suivante est donc consistante:
(On définit bien une distributions tempérée et l'on retrouve la transformée de Fourier usuelle si T s'identifie à une fonction :)
Ainsi, transformée de Fourier au sens des distributions est un automorphisme de S'.
premières propriétés
FT est un automorphisme de S, de période 4 (i.e 4 est le plus entier positif k tel que ) , bicontinu (FT − 1 est aussi continue)
On peut montrer que la transformée de Fourier dans S' hérite de ces propriétés.
En particulier est continue- ce qui a pour conséquence:
Cas des distributions tempérées à support compact
Dans cette section, T est à support compact.
On peut montrer que a un sens, du fait de la compacité du support de T.
de plus, s'identifie alors à
On peut alors poser
Transformée de Fourier-Laplace
Donnons maintenant :
Ce qui définit la transformée de Fourier-Laplace de T. C'est bien sûr une extension à de Fourier.
On montre (théorème de Paley-Wiener) qu'une telle fonction est entière.
Application aux équations différentielles
Références
- L.Schwartz, Théorie des distributions et transformation de Fourier, 1948
- W.Rudin, Functional Analysis, 1991
- Portail des mathématiques
Catégorie : Théorie des distributions
Wikimedia Foundation. 2010.