Transformée de Fourier

Un article de Wikipédia, l'encyclopédie libre.

Vous avez de nouveaux messages (diff^?).

En analyse, la transformation de Fourier généralise la théorie des séries de Fourier aux fonctions non périodiques, et permet de leur associer un spectre en fréquences. On cherche ensuite à obtenir l'expression de la fonction comme « somme infinie » des fonctions trigonométriques de toutes fréquences qui forment son spectre. Une telle sommation se présentera donc sous forme d'intégrale. Séries et transformation de Fourier constituent les deux outils de base de l'analyse harmonique.

La transformée de Fourier $\mathcal{F}$ est une opération qui transforme une fonction intégrable en une autre fonction, décrivant le spectre en fréquences de f. Si f est une fonction intégrable, sa transformée de Fourier est la fonction F et donnée par la formule

$F(s) = \hat{f}(s) = \int_{-\infty}^{+\infty} f(x)\, e^{-i sx}\, dx$

L'ensemble de départ est l'ensemble des fonctions f d'une variable réelle x. L'ensemble d'arrivée est l'ensemble des fonctions F d'une variable réelle s. Concrètement lorsque cette transformation est utilisée en traitement du signal, on dit que x est la variable temps, que f est dans le domaine temporel, que s est la fréquence et que F est dans le domaine fréquentiel.

La formule dite de transformation de Fourier inverse, opération notée TF ^-1, est celle qui permet (sous conditions) de retrouver f à partir du spectre :

$f(x) = {1 \over 2\pi}\, \int_{-\infty}^{+\infty} F(w)\, e^{iwx}\, dw$

En physique, la transformation de Fourier permet de déterminer le spectre d'un signal. Les phénomènes de diffraction donnent une image de l'espace dual du réseau, ils sont une sorte de « machine à transformation de Fourier » naturelle.

Le cadre le plus naturel pour définir les transformées de Fourier est celui des fonctions intégrables. Toutefois, de nombreuses opérations (dérivations, transformée de Fourier inverse) ne peuvent être écrites en toute généralité. On doit à Plancherel l'introduction de la transformation de Fourier pour les fonctions de carré sommable, pour lesquelles la formule d'inversion est vraie. Puis la théorie des distributions de Schwartz permit de trouver un cadre parfaitement adapté.

Sommaire

1 Transformation de Fourier pour les fonctions intégrables
2 Transformation de Fourier pour les fonctions de carré sommable
3 Lien avec le produit de convolution
4 Transformation de Fourier pour les distributions tempérées
5 Liens avec d'autres transformations
- 5.1 Lien entre transformation de Fourier et transformation de Laplace
- 5.2 Parallèles avec les séries de Fourier
  - 5.2.1 Parallèle formel
6 Transformée
7 Références
8 Voir aussi

[modifier] Transformation de Fourier pour les fonctions intégrables

Si f est une fonction intégrable sur $\mathbb{R}$ , sa transformée de Fourier est donnée par la formule

$F(s) = \hat{f}(s) = \int_{-\infty}^{+\infty} f(x)\, e^{-i s x}\, dx$

F est aussi parfois notée $\mathcal{F}\{f\}$ ou TF(ƒ).

[modifier] Propriétés

cette transformation est linéaire
la transformée de Fourier de f est une fonction continue, de limite nulle à l'infini (théorème de Riemann-Lebesgue), notamment bornée par

$\|\hat{f}\|_\infty\leq \|f\|_1$

par changement de variable on trouve des formules intéressantes lorsqu'on effectue une translation, dilatation du graphe de f
la transformée de Fourier d'une gaussienne est une gaussienne.
on peut tenter d'appliquer un théorème de dérivation sous intégrale : si la fonction g(x)=-ixf(x) est elle aussi intégrable, alors la dérivée de $\hat{f}$ est la transformée de Fourier de g.
si f est dérivable, de limite nulle à l'infini, et f' intégrable, alors $\hat{f'}(s)=is \hat{f}(s)$ est la transformée de Fourier de g.

On peut résumer les deux dernières propriétés : sous conditions d'existence, la transformation de Fourier échange dérivation et multiplication par (plus ou moins) ix. C'est justement pour s'affranchir de ces conditions d'existence désagréables qu'il sera nécessaire d'élargir la classe des fonctions sur lesquelles opère la transformation de Fourier.

[modifier] Inversion de Fourier

Si la transformée de Fourier de f est elle-même une fonction intégrable :

$f(x) = {1 \over 2\pi}\, \int_{-\infty}^{+\infty} F(w)\, e^{iwx}\, dw$

Cette opération de transformation de Fourier inverse a des propriétés analogues à la transformation directe, puisque seuls changent le coefficient multiplicatif et le -i devenu i.

[modifier] Extension à l'espace $\mathbb{R}^n$

Si f est une fonction intégrable sur $\mathbb{R}^n$ , sa transformée de Fourier est donnée par la formule

$F(s) = \hat{f}(s) = \int f(x)\, e^{-2i\pi s\cdot x}\, dx$

L'intégrale est prise sur l'espace entier et le point désigne le produit scalaire entre s et x.

Si la transformée de Fourier de f est elle-même une fonction intégrable :

$f(x) = {1 \over (2\pi)^n}\, \int_{-\infty}^{+\infty} F(w)\, e^{iwx}\, dw$

[modifier] Transformation de Fourier pour les fonctions de carré sommable

Le théorème de Plancherel permet d'étendre la transformation de Fourier aux fonctions de carré sommable. On se place donc sur l'espace de fonctions $L^2(\mathbb{R})$ , muni de sa norme canonique. Pour des raisons qui apparaîtront claires, on modifie légèrement la convention sur la transformée de Fourier dans cette section.

Soit f une fonction de carré sommable sur $\mathbb{R}$ et soit A>0. On peut définir la transformée de Fourier de la fonction tronquée à [-A, A] :

$\hat{f}_A=\frac1{\sqrt{2\pi}}\int_{-A}^A f(x)\, e^{-i sx}\, dx$

Alors lorsque A tend vers l'infini, les fonctions $\hat{f}_A$ convergent en moyenne quadratique vers une fonction qu'on note $\hat{f}$ et que l'on appelle transformée de Fourier (ou de Fourier-Plancherel) de f.

En outre la formule d'inversion de Fourier est vérifiée : la fonction $\hat{f}$ est elle-même de carré sommable et

$f = \lim\limits_{\|\;\|_2} \left[x\mapsto \frac1{\sqrt{2\pi}}\, \int_{-A}^{A} \hat{f}(w)\, e^{iwx}\, dw\right]$

Ainsi la transformation de Fourier-Plancherel définit un automorphisme de l'espace L², qui est qui plus est une isométrie

$\|f\|_2 = \|\hat{f}\|_2$

En physique, on interprète le terme $|\hat{f}(w)|^2$ figurant sous l'intégrale comme une densité spectrale de puissance.

La définition de la transformation de Fourier-Plancherel est compatible avec la définition habituelle de la transformée de Fourier des fonctions intégrables. En effet, On peut montrer que l'application $\mathcal F : L_2 \mapsto L_2$ prolonge l'application qui a une fonction $f$ , intégrable, associe sa transformée de Fourier. On se place alors sur l'espace $L_1 \cap L_2 \,$ sur lequel la transformée de Fourier est bien définie et qui est dense dans $L_2\,$ . Comme $L_2\,$ est un espace de Banach, on a l'unicité de $\mathcal F$ .

[modifier] Lien avec le produit de convolution

Les transformées de Fourier ont des propriétés très intéressantes liées au produit de convolution.

Ainsi :

$\widehat{(f*g)}(t)=\widehat f(t)\cdot \widehat g(t)$
Si $f,g \in L_1(\mathbb R), f*g \in L_1(\mathbb R)$ et $\|f*g\|_{L_1} \le \|f\|_{L_1} \cdot \|g\|_{L_1}$
Si $f \in L_1(\mathbb R),g \in L_2(\mathbb R), f*g \in L_2(\mathbb R)$ et $\|f*g\|_{L_2} \le \|f\|_{L_1} \cdot \|g\|_{L_2}$

[modifier] Transformation de Fourier pour les distributions tempérées

[modifier] Liens avec d'autres transformations

[modifier] Lien entre transformation de Fourier et transformation de Laplace

Si l'on note $\mathcal{L}$ la transformée de Laplace, alors

$\mathcal{F}\{f\}(s) = \mathcal{L}\{f^+\}(2i\pi s) + \mathcal{L}\{f^-\}(-2i\pi s)$

où les fonctions $f + (t)$ et $f - (t)$ sont définies par :

f + (t) = f (t)

si t ≥ 0 et 0 sinon.

f - (t) = f ( - t)

si t ≥ 0 et 0 sinon.

[modifier] Parallèles avec les séries de Fourier

[modifier] Parallèle formel

La transformée de Fourier est définie de façon semblable : la variable d'intégration t est remplacée par nΔt, n étant l'indice de sommation, et l'intégrale par la somme.

$X(f)=\Delta t \sum_{n=-\infty}^\infty x(n)e^{-i2\pi fn\Delta t}$ ↔ $x(t)=\int_{f_e} X(f)e^{i2\pi ft}df$

On trouvera quelques remarques à ce sujet dans Analyse spectrale.

[modifier] Transformée

On utilise les variables normalisées suivantes :

$F={f \over f_e}=f \Delta t = f|_{\Delta t=1}$ , $Ω = e π F = 2π f Δ t = ωδ t | Δ t = 1$

Transformation de Fourier (analyse)	Transformation inverse (synthèse)
$X(f)=\Delta t \sum_{n=-\infty}^\infty x(n)e^{-i2\pi fn\Delta t}$	$x(n)=\int_{f_e} X(f)e^{i2\pi fn\Delta t}df$
$X(w)=\Delta t \sum_{n=-\infty}^\infty x(n)e^{-i\omega n\Delta t}$	$x(n)={1 \over 2\pi} \int_{\omega_2=2\pi f_e}X(w)e^{iwn\Delta t}dw$
$X(F)=\sum_{n=-\infty}^\infty x(n)e^{-i2\pi nF}$	$x(n)=\int_1 X(f)e^{i2\pi nF}dF\,\!$
$X(\Omega)=\sum_{n=-\infty}^\infty x(n)e^{-in\Omega}$	$x(n)={1 \over 2\pi}\int_{2\pi} X(\Omega)e^{in\Omega}d\Omega$