Transformée de Fourier
34565
31275299
2008-07-03T20:07:36Z
Valvino
116222
[[Catégorie:Transformée]]
[[Image:Fourier2.jpg|thumb|right||180px|[[Joseph Fourier]]]]
En analyse, la '''transformation de Fourier''' est un analogue de la théorie des [[séries de Fourier]] pour les 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 d'ondes planes|spectre]]. Une telle sommation se présentera donc sous forme d'intégrale. L'[[analyse non standard]] permet de la présenter sous forme d'une série et justifie le point de vue intuitif. Séries et transformation de Fourier constituent les deux outils de base de l'[[analyse harmonique]].
== Transformation de Fourier pour les fonctions intégrables ==
La '''transformée de Fourier''' <math>\mathcal{F}</math> est une opération qui transforme une [[intégrabilité|fonction intégrable]] sur <math>\mathbb{R}</math> en une autre fonction, décrivant le spectre fréquentiel de cette dernière. Si <math>f\ </math> est une fonction intégrable sur <math>\mathbb{R}</math>, sa transformée de Fourier est la fonction <math>\mathcal{F}(f)=\hat f</math> donnée par la formule :
: <math>\mathcal{F}(f):\xi\mapsto \hat{f}(\xi) = \int_{-\infty}^{+\infty} f(x)\, e^{-i \xi x}\, dx</math>
Il est possible de choisir une définition alternative pour la transformée de Fourier. Ce choix est une affaire de convention dont les conséquences ne se manifestent (en général) que par des facteurs numériques. Par exemple, certains électroniciens utilisent ainsi :
: <math>\mathcal{F}(f):\nu \mapsto \hat{f}(\nu) = \int_{-\infty}^{+\infty} f(t)\, e^{-i 2\pi\nu t}\, dt</math>
avec t en secondes <math>\nu</math> la fréquence (en s<math>^{-1} </math>).
Certains physiciens utilisent pour des raisons de symétrie avec la transformée de Fourier inverse:
: <math>\mathcal{F}(f):\omega\mapsto \hat{f}(\omega) = {1 \over \sqrt{2\pi}} \int_{-\infty}^{+\infty} f(t)\, e^{-i \omega t}\, dt</math>
avec t en secondes et <math>\omega</math> la pulsation (en rad.s<math>^{-1} </math>). Cette définition n'est cependant pas adaptée au traitement des produits de convolution : à cause du facteur <math>{1 / \sqrt{2\pi}}</math>, <math>\mathcal{F}(f*g) \ne \mathcal{F}(f) .\mathcal{F}(g) </math>.
L'ensemble de départ est l'ensemble des fonctions intégrables <math>f\ </math> d'une variable réelle x. L'ensemble d'arrivée est l'ensemble des fonctions d'une variable réelle <math>\xi\ </math>. Concrètement lorsque cette transformation est utilisée en traitement du signal, on notera volontiers ''t'' à la place de ''x'' et <math>\omega\ </math> ou <math>2\pi \nu\ </math> à la place de <math>\xi\ </math> qui seront les variables respectives de temps et de pulsation ou de fréquence. On dira alors que <math>f\ </math> est dans le ''domaine temporel'', et que <math>\hat f</math> est dans le ''domaine fréquentiel''.
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. Pour ces applications, les physiciens définissent en général la transformée directe avec un facteur <math>1/{2\pi}\ </math> et la transformée de Fourier inverse sans aucun préfacteur.
Le cadre le plus naturel pour définir les transformées de Fourier est celui des [[intégrabilité|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 à [[Michel Plancherel|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 [[distribution (analyse mathématique)|distributions]] de [[Laurent Schwartz|Schwartz]] permit de trouver un cadre parfaitement adapté.
La notation <math>\mathcal{F}\{f\}</math> peut aussi être remplacée par ''F(f)'' ou ''TF''(ƒ). Dans cet article, on utilisera exclusivement la première notation.
Il est également d'usage dans certaines communautés scientifiques de noter <math>f(\mathbf{x})</math> pour la fonction de départ et <math>f(\mathbf{p})</math> pour sa transformée, faisant ainsi correspondre à '''x''', '''y''', '''z''' les variables duales '''p''', '''q''', '''r'''. Cette notation est conforme à l'interprétation physique inspirée par la mécanique quantique : dualité entre position et moment. Cette notation n'est pas retenue ici.
On peut généraliser la définition de la transformée de Fourier à plusieurs variables, et même sur d'autres groupes que le groupe additif <math>\R</math>. Ainsi, on peut la définir sur le groupe additif <math>\R/\Z</math>, c'est à dire sur les fonctions de période 1 --- on retrouve ainsi les [[séries de Fourier]] --- sur des groupes localement compacts, pas nécessairement commutatifs, et en particulier sur des groupes finis. Ces définitions font intervenir les [[caractère d'un groupe fini|groupes duaux]].
=== Propriétés de la transformée de Fourier ===
{| class="wikitable" style="width:80%;"
|-
!
! scope=col |Fonction
! scope=col |Transformée de Fourier
|-
! scope=row |Linéarité
|<math>a.g_1(x) + b.g_2(x)\ </math>
|<math>a.\hat g_1(\xi) + b.\hat g_2(\xi)\ </math>
|-
! scope=row |Contraction du domaine
|<math>f(a.x) \ </math>
|<math>\frac{1}{|a|}.\hat{f}(\xi/a)\ </math>
|-
! scope=row |Translation temporelle
|<math>g(x+x_0)\ </math>
|<math>\hat g(\xi).e^{\mathrm{i} \xi x_0}\ </math>
|-
! scope=row |Modulation dans le domaine temporel
|<math>g(x).e^{\mathrm{i} x \xi_0}</math>
|<math>\hat{g}(\xi-\xi_0)</math>
|-
! scope=row |Dérivation
|<math>g'(x)\ </math>
(voir conditions ci-dessous)
|<math>i \xi .\hat{g}(\xi)</math>
|-
! scope=row rowspan="6"|Symétrie
|réelle et paire
|réelle et paire
|-
|réelle et impaire
|imaginaire et impaire
|-
|imaginaire et paire
|imaginaire et paire
|-
|imaginaire et impaire
|réelle et impaire
|-
|complexe et paire
|complexe et paire
|-
|complexe et impaire
|complexe et impaire
|-
! scope=row |
|[[gaussienne]]
|gaussienne
|}
* La contraction dans un domaine (temporel, spatial ou fréquentiel) implique une dilatation dans l'autre. Un exemple concret de ce phénomène peut être observé par exemple sur un [[gramophone]]. La lecture d'un 33 tours à 45 tours par minute implique une augmentation de la fréquence du signal audio (a<1), on contracte le signal audio dans le domaine temporel ce qui le dilate dans le domaine fréquentiel.<br />
* Si f est une fonction non-nulle sur un intervalle borné alors <math>\hat{f}</math> est une fonction non-nulle sur <math>\mathbb{C}</math> et inversement, si <math>\hat{f}</math> est non nulle sur un intervalle borné alors f est une fonction non nulle sur <math>\mathbb{C}</math>.
* 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
:<math>\|\hat{f}\|_\infty\leq \|f\|_1</math>
* Par [[changement de variable]] on trouve des formules intéressantes lorsqu'on effectue une translation, dilatation du graphe de ''f''.
* Supposons que la fonction <math>g:x\mapsto -\mathrm{i}xf(x)</math> soit intégrable ; alors on peut dériver la formule de définition [[dérivation sous intégrale|sous le signe d'intégration]]. On constate alors que la dérivée <math>\hat{f}'</math> est la transformée de Fourier de ''g''.
* Si ''f'' est dérivable, de limite nulle à l'infini et si la dérivée de ''f'' est intégrable, alors <math>\widehat{f'}(\xi)=\mathrm{i}\xi \hat{f}(\xi)</math> est la transformée de Fourier de la dérivée de ''f'' .
On peut résumer les deux dernières propriétés : notons ''D'' l'opération
:<math>Df=\frac{1}{\mathrm{i}} f',</math>
et ''M'' la multiplication par l'argument:
:<math>(Mf)(x)=xf(x), \quad (M\hat f)(\xi)=\xi \hat f(\xi)</math>.
Alors, si ''f'' satisfait des conditions fonctionnelles convenables, <math>\widehat{Df}=M\hat f</math> et <math>\widehat{Mf}=D\hat f</math>. Ces formules symétriques sont très belles, et aussi très importantes.
On s'affranchira de ces conditions fonctionnelles en élargissant la classe des objets sur lesquelles opère la transformation de Fourier. C'est une des motivations de la définition des [[distribution (Mathématiques)|distributions]].
=== Transformée de Fourier inverse ===
Si la transformée de Fourier de ''f'' est elle-même une [[intégrabilité|fonction intégrable]], la formule dite de transformation de Fourier inverse, opération notée <math>\mathcal{F}^{-1}</math>, est celle qui permet (sous conditions appropriées) de retrouver ''f'' à partir des données fréquentielles :
:<math>f(x) = {1 \over 2\pi}\, \int_{-\infty}^{+\infty} \hat f(\xi)\, e^{+i\xi x}\, d\xi</math> pour <math>\hat f(\xi)\ = \int_{-\infty}^{+\infty} f(x)\, e^{-i \xi x}\, dx</math>
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 <math>-\mathrm{i}</math> devenu <math>\mathrm{i}</math>.
Dans le cas des définiton alternatives, la transformée de Fourier inverse devient:
:Définition en fréquence: <math>f(t) = \int_{-\infty}^{+\infty} \hat f(\nu)\, e^{+i 2\pi\nu t}\, d\nu</math> pour <math>\hat{f}(\nu) = \int_{-\infty}^{+\infty} f(t)\, e^{-i 2\pi\nu t}\, dt</math>
:Définition en pulsation: <math>f(t) = {1 \over \sqrt{2\pi}} \int_{-\infty}^{+\infty} \hat f(\omega)\, e^{+i \omega t}\, d\omega</math> pour <math>\hat f(\omega)\ = {1 \over \sqrt{2\pi}} \int_{-\infty}^{+\infty} f(t)\, e^{-i \omega t}\, dt</math>
{{boîte déroulante|titre=Preuve par la [[formule sommatoire de Poisson]]|contenu=
Soit ''h'' une fonction complexe définie sur <math>\R</math> et deux fois continûment différentiable. On suppose que ''h'' vérifie l'estimation
::<math>|h(x)|\le\frac{C}{1+x^2},</math>
et que les deux premières dérivées de ''h'' sont intégrables sur <math>\R</math>. Alors la transformée de Fourier de ''h'' vérifie une estimation analogue
::<math>|\hat h(\xi)|\le\frac{C}{1+\xi^2}.</math>
Soit ''y'' un nombre réel qui, pour le moment, est simplement un paramètre, et notons
::<math> f(x)=h(x)e^{-\mathrm{i} yx}\ </math>.
On vérifie que ''f'' a les mêmes propriétés fonctionnelles que ''h''. Par conséquent, on peut appliquer la [[formule sommatoire de Poisson]] à ''f'', avec la période <math>2\pi</math>:
::<math>\sum_{n\in \Z} f(x+2\pi n)=\frac{1}{2\pi}\sum_{k\in \Z}\hat f(k)e^{\mathrm{i}k x}.</math>
Mais le calcul de <math>\hat f(k)</math> donne
::<math>\hat f(k)=\int_\R h(x)e^{-\mathrm{i}(y+k)x}\, dx=\hat h(y+k).</math>
On peut donc réécrire la formule sommatoire de Poisson en termes de ''h'', et il vient
::<math>\sum_{n\in Z}h(x+2\pi n)e^{-\mathrm{i}(x+2\pi n)y}=\frac{1}{2\pi}\sum_{k\in \Z} \hat h(y+k) e^{\mathrm{i}kx}.</math>
On multiplie les deux membres de cette identité par <math>e^{\mathrm{i}xy}</math>:
::<math>\sum_{n\in Z}h(x+2\pi n)e^{-2\mathrm{i}\pi ny}=\frac{1}{2\pi}\sum_{k\in \Z} \hat h(y+k) e^{\mathrm{i}(k+y)x}.</math>
On remarque que les séries apparaissant de part et d'autre sont normalement convergentes pour la norme du maximum. On va donc pouvoir échanger la sommation et l'intégration par rapport à ''y'' sur l'intervalle <math>[0,1]</math>.
A gauche, l'intégration par rapport à ''y'' ne laisse subsister qu'un seul terme, celui correspondant à ''n''=0. A droite, on intègre par rapport à ''y'' et on effectue dans chaque intégrale le changement de variable <math>y+k=\xi</math>. On obtient ainsi la formule
::<math> f(x)=\frac{1}{2\pi}\int_\R \hat h(\xi) e^{\mathrm{i}x\xi}\, d\xi.</math>
On passe au cas général de la formule d'inversion de Fourier pour une fonction ''f'' intégrable ainsi que sa transformée de Fourier par une méthode de densité. On approche ''f'' par une suite de fonctions <math>f_p</math> vérifiant les hypothèses fonctionnelles de la présente démonstration. On doit bien sûr supposer que les <math>f_p</math> et leurs transformées de Fourier <math>\hat f_p</math> convergent vers leurs limites respectives <math>f</math> et <math> \hat f</math> en norme <math>L^1(\R)</math>. On peut construire de telles approximations en tronquant ''f'', c'est à dire en le remplaçant par 0 en dehors de l'intervalle <math>[-p,p]</math>, et en le régularisant par convolution. Si <math>\phi</math> est une fonction deux fois continûment différentiable, d'intégrale 1, et à support borné, on pose <math>\phi_p(x)=p\phi(px)</math> et on convole la fonction tronquée <math> f 1_{[-p,p]}</math> par <math>\phi_p</math>. C'est une idée raisonnable d'utiliser ici le même paramètre ''p''.
}}
{{boîte déroulante|titre=Preuve par l'[[analyse non standard]]|contenu=
Soit ''f'' est une fonction de classe <math>C^{\infty}</math> à support compact. Par le [[principe de transfert]], on peut se contenter d'étudier le cas d'une [[fonction standard]]. Dans ce cas, il existe un réel infiniment grand <math>T</math> tel que pour tout réel <math>|x|>T</math>, <math>f(x)=0</math>. Introduisons une base orthonormée totale de l'espace de Hilbert <math>L^2([-T,T])</math> donnée par :
:<math>e_n:x\mapsto \frac{1}{\sqrt{2 T}}e^{\mathrm{i}n\pi x/T}</math>
Par le lemme de Parseval, on est en mesure d'écrire :
:<math>f=\sum_{\mathbf Z}c_ne_n</math> où <math>c_n=\int_{-T}^Tf(x)\frac{1}{\sqrt{2 T}}e^{-\mathrm{i}n\pi x/T}dx=\frac{1}{\sqrt{2 T}}\widehat{f}\left(\frac{n\pi}{T}\right)</math>
Plus explicitement :
:<math>f(x)=\frac{1}{2\pi}\sum_{\mathbf{Z}}\widehat{f}\left(\frac{n\pi}{T}\right)e^{-\mathrm{i}n\pi/T}\frac{\pi}{T}=\frac{1}{2\pi}\int_{-T}^T\widehat{f}\left(w\right)e^{iwx}</math>
La dernière égalité vient de ce que la somme de Riemann s'effectue sur une partition de longueur infiniment petite (<math>\pi/T</math>). L'égalité recherchée est donc vraie pour toutes les fonctions standards de classe <math>C^{\infty}</math> à support compact. Par le principe de transfert, elle est aussi vérifiée pour toutes les fonctions <math>C^{\infty}</math> à support compact et de suite par densité pour toutes les fonctions intégrables dont la transformée est intégrable.
}}
=== Extension à l'espace <math>\mathbb{R}^n</math> ===
Notons <math>x\cdot \xi,</math> le produit scalaire dans <math>\R^n</math>:
:<math>x\cdot \xi=\sum_{j=1}^n x_j\xi_j.</math>
Si ''f'' est une [[intégrabilité|fonction intégrable]] sur <math>\mathbb{R}^n</math>, sa '''transformée de Fourier''' est donnée par la formule
: <math>\hat f(\xi) = \int_{R^n} f(x)\, e^{-\mathrm{i} x\cdot \xi}\, dx</math>
Si la transformée de Fourier de ''f'' est elle-même une [[intégrabilité|fonction intégrable]], on a alors la formule d'inversion:
:<math>f(x) =\frac{1}{(2\pi)^n} \int_{-\infty}^{+\infty} \hat f(\xi)\, e^{\mathrm{i}x\cdot \xi}\, d\xi</math>.
== 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]] sur <math>\R</math>.
On commence par un premier résultat.
{{théorème|Lemme|Soit ''h'' une fonction complexe deux fois continûment dérivable sur <math>\R</math>, qui vérifie l'estimation
::<math>\forall x\in \R, \quad|h(x)|\le C/(1+x^2),</math>
et dont les deux premières dérivées sont intégrables. Ceci implique que la tranformée de Fourier <math>\hat h</math> est bien définie et de carré intégrable. De plus, on a l'identité:
::<math>\int_\R |h(x)|^2\, dx=\frac{1}{2\pi}\int_\R|\hat h(\xi)|^2\, d\xi.</math>}}
{{boîte déroulante|titre=Preuve par la [[formule sommatoire de Poisson]]|contenu=
On reprend la formule établie ci-dessus dans la démonstration de la formule d'inversion de Fourier:
::<math>\sum_{n\in Z}h(x+2\pi n)e^{-2\mathrm{i}\pi ny}=\frac{1}{2\pi}\sum_{k\in \Z} \hat h(y+k) e^{\mathrm{i}(k+y)x}.</math>
On prend le carré du module des deux membres, et on intègre sur l'intervalle <math>[0,1]</math> par rapport à ''y'' et sur l'intervalle <math>[0,2\pi]</math>:
::<math>\int_0^1 \int_0^{2\pi}\sum_{m,n\in \Z} h(x+2\pi n) \bar h(x+2\pi m)e^{2\mathrm{i}\pi(n-m)y}\, dx\,dy=\frac{1}{4\pi^2}
\int_0^1\int_0^{2\pi}\sum_{j,k\in \Z} \hat h(y+j)\bar{\hat h}(y+k)e^{\mathrm{i}(j-k)x}\, dx\, dy.</math>
On peut échanger l'ordre de la sommation et des deux intégrations dans l'expression ci-dessus, parce que les hypothèses faites sur ''h'' impliquent que les séries convergent normalement dans l'espace des fonctions continues de ''x'' et ''y'', périodiques de période <math>2\pi</math> en ''x'' et de période 1 en ''y''.
L'intégration en ''y'' du premier membre ne laisse subsister que les termes pour lesquels ''m'' et ''n'' sont égaux, et l'intégration en ''x'' du deuxième membre ne laisse subsister que les termes pour lesquels ''j'' et ''k'' sont identiques. Il reste donc:
::<math>\sum_{n\in \Z} \int_0^{2\pi} |h(x+2\pi n)|^2\, dx=\frac{1}{2\pi}\sum_{k\in\Z}\int_0^1|\hat h(y+k)|^2\, dy.</math>
Il suffit de faire dans le premier membre le changement de variable dans chaque intégrale <math>x+2\pi n=x'</math> et dans le second le changement de variable dans chaque intégrale <\math>y+k=\xi</math>, et on obtient la formule:
::<math>\int_{\R}|h(x')|^2\, dx'=\frac{1}{2\pi}\int_\R |\hat h(\xi)|^2\, d\xi.</math>
Après changement de la variable muette <math>x'</math> en <math>x</math>, on obtient la formule annoncée.
}}
Une fois démontrée dans le lemme ci-dessus la formule de Plancherel pour une classe de fonctions suffisamment régulières, on étend par densité la transformation de Fourier à tout <math>L^2(\R)</math>.
{{boîte déroulante|titre=Extension de la transformation de Fourier par densité|contenu=
On adopte encore les mêmes notations que dans la démonstration de la formule d'inversion de Fourier par la formule sommatoire de Poisson, donc <math>\phi</math> est une fonction deux fois continûment différentiable, à support compact, et d'intégrale 1. On pose <math>\phi_p(x)=p\phi(px)</math>.
Soit ''h'' une fonction de carré intégrable, et soit ''p'' un nombre entier quelconque. On définit
::<math>h_p=(h 1_{[-p,p]})*\phi_p,</math>
et on peut montrer le résultat suivant:
::<math>\lim_{p\to\infty}\int_\R|h-h_p|^2|\, dx=0,</math>
La démonstration utilise des techniques classiques d'approximation par régularisation.
D'autre part, les fonctions <math>h_p</math> ont les propriétés nécessaires pour appliquer le lemme ci-dessus, et en particulier
::<math>\int_\R|h_p-h_q|^2\, dx=\frac{1}{2\pi}\int_\R |\hat h_p-\hat h_q|^2\, d\xi.</math>
Comme la suite <math>(h_p)_{p\ge 1}</math> est de Cauchy dans l'espace <math>L^2(\R)</math>, la suite des transformées de Fourier <math>(\hat h_p)_{p\ge 1}</math> est aussi de Cauchy, donc elle converge. Sa limite, qu'on note <math>\hat h</math>, ne dépend pas du choix de la suite d'approximations. En effet, si <math>g_p</math> était une autre suite d'approximations convergeant vers ''h'' en moyenne quadratique, et satisfaisant les conditions fonctionnelles sous lesquelles on peut appliquer la formule sommatoire de Poisson, on aurait l'estimation
::<math>\|g_p-h_p\|_{L^2}\le \|g_p-h\|_{L^2}+\|h-h_p\|_{L^2},</math>
qui tend vers 0 pour ''p'' tendant vers l'infini. Par conséquent <math>\|\hat g_p-\hat h_p\|_{L^2}</math> tend aussi vers 0 et on conclut que la limite de la suite <math>\hat g_p</math>est bien <math>\hat h</math>.
}}
On a ainsi le théorème de Plancherel:
{{théorème|Théorème de Plancherel| Soit ''f'' une fonction complexe sur <math>\R</math> et de carré sommable. Alors la transformée de Fourier de ''f'' peut être définie comme suit: pour tout ''p'' entier, on pose
::<math>f_p(x)=(f 1_{[-p,p]})(x)=\begin{cases}f(x) &\text{si } |x|\le p,\\0&\text{sinon}.\end{cases}</math>
La suite des transformées de Fourier <math>\hat f_p</math> converge dans <math>L^2(\R)</math>, et sa limite est la transformée de Fourier <math>\hat f</math>, c'est à dire
::<math>\lim_{p\to\infty}\int_\R|\hat f(\xi)-\hat f_p(\xi)|^2\, d\xi=0.</math>
De plus on a l'identité:
::<math>\int_\R|f(x)|^2\, dx =\frac{1}{2\pi}\int_\R |\hat f(\xi)|^2 d\xi.</math>
De façon similaire, si on pose
<math>g_p(x)=\int_{-p}^p \hat h(\xi)e^{2\mathrm{i}\pi x\xi}\, d\xi,</math>
les <math>g_p</math> convergent en moyenne quadratique vers <math>f</math>
}}
{{boîte déroulante|titre=Démonstration du théorème de Plancherel|contenu=
L'identité suivante résulte du procédé d'extension décrit ci-dessus :
::<math>\int_\R |h(x)|^2\, dx=\frac{1}{2\pi}\int_\R |\hat h(\xi)|^2\, d\xi.</math>
Considérons alors la suite de fonctions <math>f_p=f1_{[-p,p]}</math>. En vertu du théorème de convergence dominée de Lebesgue pour les fonctions de [[carré sommable]], la suite des <math>f_p</math> converge en moyenne quadratique vers ''f'', et par conséquent, on aura aussi
::<math>\lim_{p\to\infty}\|\hat f-\hat f_p|_2=0;</math>
en d'autres termes, <math>\hat f_p</math> converge en moyenne quadratique vers <math>\hat f</math>.
La démonstration pour la formule d'inversion est analogue.
}}
Ainsi la transformation de Fourier-Plancherel définit un automorphisme de l'espace L<sup>2</sup>, qui est une isométrie, à condition de faire un changement d'échelle:
:: <math>\|f/\sqrt {2\pi}\|_2 = \|\hat{f}\sqrt {2\pi}\|_2.</math>
En physique, on interprète le terme <math>|\hat{f}(\xi)|^2</math> 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égrabilité|intégrables]]. Sur l'intersection <math>L^1(\R)\cap L^2(\R)</math> des domaines de définition, on montre à l'aide du théorème de convergence dominée de Lebesgue que les deux définitions coïncident.
== 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 :
* <math>\mathcal {F}(f*g) = \mathcal {F}(f)\,.\,\mathcal {F}(g)</math>
* Si <math> f,g \in L^1(\mathbb R), f*g \in L^1(\mathbb R)</math> et <math> \|f*g\|_{L^1} \le \|f\|_{L^1} \cdot \|g\|_{L^1} </math>
* Si <math> f \in L^1(\mathbb R),g \in L^2(\mathbb R), f*g \in L^2(\mathbb R)</math> et <math>\|f*g\|_{L^2} \le \|f\|_{L^1} \cdot \|g\|_{L^2} </math>
== Transformation de Fourier pour les distributions tempérées ==
== Liens avec d'autres transformations ==
=== Lien avec les transformations de Laplace ===
La transformée de Fourier d'un fonction <math>f\ </math> est un cas particuler de la [[transformée bilatérale de Laplace]] de cette même fonction définie par :
<math>\mathcal{L}_{bil}\{f\} (p) = \int_{-\infty}^{+\infty} f(t)\, e^{-pt} dt</math> avec <math>p \in \mathbb{C}</math><br />
On constate alors que <math>\mathcal{F}\{f\} (\xi) = \mathcal{L}_{bil}\{f\} (i\xi) </math>. <br />
On peut également écrire ce lien en utilisant la [[transformée de Laplace]] "usuelle" par :<br />
: <math>\mathcal{F}\{f\}(\xi) = \mathcal{L}\{f^+\}(+i\xi) + \mathcal{L}\{f^-\}(-i\xi)</math>
où les fonctions <math>f^+\ </math> et <math>f^-\ </math> sont définies par :
: <math>f^+(t) = f(+t)\ </math> si t ≥ 0 et 0 sinon.
: <math>f^-(t) = f(-t)\ </math> si t ≥ 0 et 0 sinon.
=== Lien avec les séries de Fourier ===
==== Parallèle formel ====
La transformée de Fourier est définie de façon semblable : la variable d'intégration ''x'' est remplacée par ''n''Δ''x'', ''n'' étant l'indice de sommation, et l'intégrale par la somme. On a alors
: <math>\hat f(k)=\Delta t \sum_{n=-\infty}^\infty f(n)e^{-i2\pi kn\Delta t}</math>.
On trouvera quelques remarques à ce sujet dans [[Analyse spectrale]].
==== Transformée ====
On utilise les variables normalisées suivantes :<math>F={f \over f_e}=f \Delta t = f|_{\Delta t=1}</math>, <math>\Omega =e\pi F=2\pi f\Delta t=\omega\delta t|_{\Delta t=1}</math>
{| class="wikitable"
! Transformation de Fourier (analyse) !! Transformation inverse (synthèse)
|-
| <math>X(f)=\Delta t \sum_{n=-\infty}^\infty x(n)e^{-i2\pi fn\Delta t}</math> || <math>x(n)=\int_{f_e} X(f)e^{i2\pi fn\Delta t}df</math>
|-
| <math>X(w)=\Delta t \sum_{n=-\infty}^\infty x(n)e^{-i\omega n\Delta t}</math> || <math>x(n)={1 \over 2\pi} \int_{\omega_2=2\pi f_e}X(w)e^{iwn\Delta t}dw</math>
|-
| <math>X(F)=\sum_{n=-\infty}^\infty x(n)e^{-i2\pi nF}</math> || <math>x(n)=\int_1 X(f)e^{i2\pi nF}dF\,\!</math>
|-
| <math>X(\Omega)=\sum_{n=-\infty}^\infty x(n)e^{-in\Omega}</math> || <math>x(n)={1 \over 2\pi}\int_{2\pi} X(\Omega)e^{in\Omega}d\Omega</math>
|}
== Références ==
* Jean-Michel Bony, ''Cours d'analyse'', Editions de l'École Polytechnique
* Srishti D. Chatterji ''Cours d'analyse'', Presses Polytechniques et Universitaires Romandes [[1998]] {{ISBN|978-2880743468 }}
== Voir aussi ==
* [[Densité spectrale de puissance]]
* [[Produit de convolution]]
* [[Transformée de Fourier rapide]]
* [[Transformée de Fourier discrète]]
* [[Transformée de Laplace]]
* [[Bispectre]]
== Lien externe ==
* [http://www.math.u-bordeaux1.fr/~yger/map603 Cours de licence traitant l'Analyse de Fourier (et aussi les espaces de Hilbert)]
{{Portail mathématiques}}
[[Catégorie:Théorie de l'intégration]]
[[Catégorie:Mécanique ondulatoire]]
[[Catégorie:Spectroscopie]]
[[Catégorie:Théorie de Fourier]]
[[Catégorie:Transformée]]
[[ar:تحويل فوريي]]
[[be-x-old:Пераўтварэньне Фур'е]]
[[cs:Fourierova transformace]]
[[da:Fouriertransformation]]
[[de:Fourier-Transformation]]
[[en:Fourier transform]]
[[es:Transformada de Fourier]]
[[eu:Fourierren transformaketa]]
[[fa:تبدیل فوریه]]
[[fi:Fourier'n muunnos]]
[[gl:Transformada de Fourier]]
[[id:Transformasi Fourier]]
[[is:Fourier–vörpun]]
[[it:Trasformata di Fourier]]
[[ja:フーリエ変換]]
[[ko:푸리에 변환]]
[[mt:Trasformata ta' Fourier]]
[[nl:Fouriertransformatie]]
[[no:Fouriertransformasjon]]
[[pl:Transformacja Fouriera]]
[[pt:Transformada de Fourier]]
[[ro:Transformata Fourier]]
[[ru:Преобразование Фурье]]
[[simple:Fourier transformation]]
[[sr:Фуријеов ред]]
[[sv:Fourier-transform]]
[[th:การแปลงฟูริเยร์]]
[[tr:Fourier dönüşümü]]
[[vi:Biến đổi Fourier]]
[[zh:傅里叶变换]]