Théorie physique des distributions/Transformée de Fourier

Leçons de niveau 15
Une page de Wikiversité, la communauté pédagogique libre.
Début de la boite de navigation du chapitre
Transformée de Fourier
Icône de la faculté
Chapitre no 5
Leçon : Théorie physique des distributions
Chap. préc. :Produit de convolution
Chap. suiv. :Transformée de Laplace

Fiche :

Table des transformées de Fourier
Exercices :Transformée de Fourier
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Théorie physique des distributions : Transformée de Fourier
Théorie physique des distributions/Transformée de Fourier
 », n'a pu être restituée correctement ci-dessus.

L'objet de ce chapitre est de généraliser la transformée de Fourier, définie sur les fonctions, aux distributions. Tout au long de ce chapitre et pour bien fixer les idées, la variable relative à une fonction physique sera désignée par t (référence au temps). La variable relative à la transformée de Fourier sera notée x (les physiciens la notent souvent f, par référence à la fréquence, puisque la transformée de Fourier donne le spectre en exponentielle complexe d'un signal).

Activité préliminaire[modifier | modifier le wikicode]

Soit f une fonction définie sur l’ensemble des nombres réels. On rappelle que la transformée de Fourier de f, que l’on notera ℱf, est définie par :

.

Comme on le voit, il s'agit d'une fonction à valeurs complexes.

La transformation de Fourier inverse, qui permet de retrouver la fonction de départ à partir de sa transformée de Fourier, est définie par :

.

Nous souhaitons définir la transformée de Fourier d'une distribution.

Comme dans les chapitres précédent, nous commencerons par calculer la transformée de Fourier d'une distribution régulière et en cas de succès, nous essayerons de généraliser cette définition à toutes les distributions.

Nous avons, en supposant le calcul possible :

Nous avons obtenu une formule qui, généralisée à toutes les distributions, donnerait :

.

Ne crions pas trop tôt victoire car il y a un problème de taille.

Rien ne permet d'affirmer que la fonction ℱφ appartient à si φ appartient à . On montre, en fait, qu’il n'en est rien !


Ce fait nous montre qu’il n’est pas possible de définir une transformation de Fourier sur l’ensemble . Nous savons pourtant que la transformation de Fourier est définie sur les fonctions. La question qui se pose alors est de savoir si l’on doit se résigner à n'avoir qu'une transformation de Fourier uniquement sur des fonctions ou s'il est possible de généraliser celle-ci à un sous-espace de . En fait, nous voyons que le problème se ramène à trouver un espace de fonctions-test, contenant , stable par transformation de Fourier, tout en étant le plus petit possible pour que son dual forme un sous-espace de le plus grand possible.


On montre et nous admettrons que l'espace répondant à la question est l'espace de Schwartz, noté .

Nous avons, en effet le théorème :

Début d’un théorème
Fin du théorème


Définition de la transformée de Fourier d'une distribution[modifier | modifier le wikicode]

L'activité préliminaire du paragraphe précédent nous montre qu'il est possible de généraliser la transformée de Fourier des fonctions au sous-espace des distributions en posant :


Transformée de Fourier de la distribution de Dirac[modifier | modifier le wikicode]

Nous avons :

La transformée de Fourier de la distribution de Dirac est donc la distribution régulière associée à la fonction constante 1.

Nous retiendrons :


Transformée de Fourier de la dérivée de la distribution de Dirac[modifier | modifier le wikicode]

Nous avons :

La transformée de Fourier de la dérivée de la distribution de Dirac est donc une distribution régulière, image d'une fonction à valeurs complexes.

Nous retiendrons :


Transformée de Fourier d'un produit de convolution[modifier | modifier le wikicode]

On rappelle que :

Début d’un théorème
Fin du théorème



On démontre — et nous admettrons — que ce résultat peut se généraliser au produit de convolution de deux distributions S et T, à condition que S soit une distribution à support compact et que T soit une distribution tempérée.

Début d’un théorème
Fin du théorème


Transformée de Fourier de la dérivée d'une distribution[modifier | modifier le wikicode]

C'est une application immédiate des deux paragraphes précédents. On a :


Nous retiendrons :


Transformée de Fourier de la distribution de Dirac en a[modifier | modifier le wikicode]

Nous avons vu, plus haut, la transformée de Fourier de la distribution de Dirac en 0. Nous allons généraliser dans ce paragraphe en calculant la transformée de Fourier de la distribution de Dirac en a, réel quelconque.

Nous retiendrons :


Transformée de Fourier de la translatée d'une distribution[modifier | modifier le wikicode]

Nous avons simplement :

Nous retiendrons :