Transformée de Fourier
1. Fonctions localement intégrables
Soit I un intervalle de et soit une application.
Définition
On dit que est localement intégrable sur I si est intégrable sur tout intervalle fermé
borné contenu dans I . C’est-à-dire est localement intégrable sur I , si quel que soit
[ ] , alors l’intégrale ∫ existe.
Remarque
Toutes les fonctions continues sont localement intégrables.
2. Transformée de Fourier
Soit une fonction localement intégrable et absolument intégrable sur . On appelle
transformée de Fourier de , la fonction notée ̂ ou de dans définie par :
̂ ∫
√
Et sa transformée inverse de dans définie par :
( )
∫ ̂
√
Exemple
| |
Soit .
Cherchons la transformée de Fourier de . On a :
̂ ∫ | |
√
*∫ ∫ +
√
*∫ ∫ +
√
( )
√ √
D’où ̂ .
√
Puisque est continue sur , la transformée inverse donne :
| |
∫ ̂ ∫ ∫ ∫
√
| |
D’où ∫
En particulier on a : ∫ .
3. Propriétés
Lemme (Riemann)
On pose ou . Soit [ ] une fonction intégrable sur [ ]. Alors les
fonctions et sont intégrables dans [ ] pour tout dans et on a :
∫ ∫ .
Théorème 1
Soit une fonction localement intégrable et absolument intégrable sur . Alors :
i) ̂ ∫ est normalement convergente.
√
ii) ̂ est bornée.
iii) ̂
Théorème 2 (dérivée de la transformée de Fourier)
Soit une fonction satisfaisant aux conditions suivantes :
i) est localement intégrable sur ;
ii) continue
iii) est localement intégrable sur .
Alors ̂ est continûment dérivable dans et on a :
[ ] [ ]
C’est-à-dire ̂ ∫ .
Théorème 3 (transformée de Fourier de la dérivée)
Soit une fonction satisfaisant aux conditions suivantes :
i) est localement intégrable sur ;
ii) est continûment dérivable sur ;
iii) est localement intégrable sur .
Alors { }
et [ ] [ ] .
4. Quelques propriétés de la transformation de Fourier
Adoptons la notation ̂ .
a) Linéarité
Soit et deux fonctions localement intégrables dans et , des réels.
Alors
b) Transformée de Fourier de la translation
Soit et soit une application. On note .
Supposons que est localement intégrable sur .
∫ ∫ .
√ √
On pose : .
Alors ∫ ∫ .
√ √
Donc .
c) Transformée de Fourier de l’homothétie
Soit et soit une application. On note .
Si est localement intégrable sur , alors :
∫ ∫
√ √
En posant , on obtient :
( )
∫ * ∫ + ( )
√ √
D’où ( )
d) Produit de convolution
Problème : étant données deux fonctions et et leurs transformées de Fourier
et , peut-on trouver une fonction telle que
On a : ∫ ∫
√ √
∫ ∫ .
Posons et donc , l’intégrale double ci-dessus devient :
∫ ∫ .
Posons ∫ , on a donc :
∫ ( ∫ )
√ √
.
√
En posant , la fonction est solution du problème posé.
√
Définition
Soit deux fonctions intégrables sur .
On appelle produit de convolution de par la fonction, notée , définie par
∫ .
Proposition
Le produit de convolution est commutatif ; et on a :
Démonstration
La preuve découle directement de la définition ; puisque , on a :
Remarque
La commutativité peut être démontrée directement à partir de la définition intégrale, en
effectuant le changement de variable .
Théorème (Egalité de Parseval)
Soit une fonction admettant une transformée de Fourier . Alors on a :
∫ | | ∫ | | .
e) « Sinus et Cosinus – transformées » de Fourier
Soit une fonction absolument intégrable sur .
On appelle cosinus – transformée de Fourier de , la fonction
̂ √ ∫ .
L’expression
√ ∫ ̂
Est appelée inverse de cosinus – transformée de Fourier de .
On appelle sinus – transformée de Fourier de , la fonction
̂ √ ∫ .
L’expression
√ ∫ ̂
Est appelée inverse de sinus – transformée de Fourier de .
Remarques
Soit une fonction admettant une transformée de Fourier ̂.
a) Si est paire
̂ ∫
√
√
∫
√
∫ √
∫
Or la fonction est paire et la fonction est impaire. Il
s’ensuit alors :
̂ √ ∫ car ∫ .
D’où : ̂ ̂ √ ∫ .
b) Si est impaire
Avec le même raisonnement on obtient l’expression :
̂ ∫ √ ∫ .
√
D’où : ̂ √ ∫ ̂ ,
Soit ̂ ̂
