Académique Documents
Professionnel Documents
Culture Documents
http://fr.wikipedia.org/wiki/Transformation_de_Fourier 1/13
Joseph Fourier
Transformation de Fourier
En analyse, la transformation de Fourier est une extension, pour les fonctions non priodiques, du dveloppement
en srie des fonctions priodiques de Fourier. La transformation de Fourier associe une fonction intgrable, dfinie
sur l'ensemble des nombres rels ou celui des nombres complexes, une fonction appele transforme de Fourier dont
la variable indpendante peut s'interprter en physique comme la frquence ou la pulsation.
La transforme de Fourier s'exprime comme somme infinie des fonctions trigonomtriques de toutes frquences.
Une telle sommation se prsente sous forme d'intgrale. L'analyse non standard permet de la prsenter sous forme
d'une srie et justifie le point de vue intuitif. Sries et transformation de Fourier constituent les deux outils de base de
l'analyse harmonique.
Lorsque la fonction est la reprsentation d'un phnomne physique, comme l'tat du champ lectromagntique ou du
champ sonore en un point, on l'appelle signal et sa transforme de Fourier s'appelle son spectre.
Sommaire
1 Transformation de Fourier pour les fonctions intgrables
1.1 Dfinition
1.2 Conventions alternatives
1.3 Extension de la transformation de Fourier
1.4 Proprits de la transformation de Fourier
1.5 Transformation de Fourier inverse
1.6 Extension l'espace
n
2 Transformation de Fourier pour les fonctions de carr sommable
2.1 Extension de la transformation de L
1
L
2
2.2 La transformation vue comme oprateur de L
2
(R)
3 Lien avec le produit de convolution
4 Principe d'incertitude
5 Transformation de Fourier sur l'espace de Schwartz
6 Transformation de Fourier pour les distributions tempres
6.1 Compatibilits
6.1.1 Compatibilit avec les espaces de fonctions
6.1.2 Compatibilit avec les espaces de suites
6.2 Signaux discrets et signaux priodiques
7 Liens avec d'autres transformations
7.1 Lien avec les transformations de Laplace
7.2 Lien avec les sries de Fourier
7.2.1 Parallle formel
7.2.2 Transforme
8 Gnralisation
9 Notes et rfrences
10 Voir aussi
10.1 Articles connexes
10.2 Liens externes
Transformation de Fourier pour les fonctions intgrables
Dfinition
La transformation de Fourier est une opration qui transforme une fonction intgrable sur en une autre fonction, dcrivant le spectre frquentiel de
cette dernire. Si est une fonction intgrable sur , sa transforme de Fourier est la fonction donne par la formule :
Conventions alternatives
Il est possible de choisir une dfinition alternative pour la transformation de Fourier. Ce choix est une affaire de convention dont les consquences ne se
manifestent (en gnral) que par des facteurs numriques. Par exemple, certains scientifiques utilisent ainsi :
1/8/2014 Transformation de Fourier Wikipdia
http://fr.wikipedia.org/wiki/Transformation_de_Fourier 2/13
avec t en secondes la frquence (en Hz).
Certains lectroniciens ou physiciens utilisent (pour des raisons de symtrie avec la transformation de Fourier inverse) la transformation suivante :
avec t en secondes et la pulsation (en rad.s
-1
).
Cette dfinition n'est cependant pas adapte au traitement des produits de convolution : cause du facteur , on a ,
moins d'introduire un tel facteur dans la dfinition du produit de convolution.
L'ensemble de dpart est l'ensemble des fonctions intgrables d'une variable relle . L'ensemble d'arrive est l'ensemble des fonctions d'une variable relle
. Concrtement lorsque cette transformation est utilise en traitement du signal, on notera volontiers t la place de x et ou la place de qui seront
les variables respectives de temps et de pulsation ou de frquence. On dira alors que est dans le domaine temporel, et que est dans le domaine frquentiel.
En physique, la transformation de Fourier permet de dterminer le spectre d'un signal. Les phnomnes de diffraction donnent une image de l'espace dual du
rseau, ils sont une sorte de machine transformation de Fourier naturelle. Pour ces applications, les physiciens dfinissent en gnral la transformation
directe avec un facteur et la transformation de Fourier inverse avec le mme prfacteur.
La notation peut aussi tre remplace par F(f) ou TF(). Dans cet article, on utilisera exclusivement la premire notation.
Il est galement d'usage dans certaines communauts scientifiques de noter pour la fonction de dpart et pour sa transforme, faisant ainsi
correspondre x, y, z les variables duales p, q, r. Cette notation est conforme l'interprtation physique inspire par la mcanique quantique : dualit entre
position et quantit de mouvement. Cette notation n'est pas retenue ici.
Extension de la transformation de Fourier
Le cadre le plus naturel pour dfinir les transformations de Fourier est celui des fonctions intgrables. Toutefois, de nombreuses oprations (drivations,
transformation de Fourier inverse) ne peuvent tre crites en toute gnralit. 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 thorie des distributions de Schwartz, et plus particulirement des
distributions tempres permit de trouver un cadre parfaitement adapt.
On peut gnraliser la dfinition de la transformation de Fourier plusieurs variables, et mme sur d'autres groupes que le groupe additif . Ainsi, on peut la
dfinir sur le groupe additif , c'est--dire sur les fonctions de priode 1 on retrouve ainsi les sries de Fourier , et plus gnralement sur des groupes
localement compacts, pas ncessairement commutatifs, et en particulier sur des groupes finis. Ces dfinitions font intervenir les groupes duaux, ainsi que la
mesure de Haar.
Proprits de la transformation de Fourier
1/8/2014 Transformation de Fourier Wikipdia
http://fr.wikipedia.org/wiki/Transformation_de_Fourier 3/13
Fonction Transforme de Fourier
Linarit
Contraction du domaine
Translation temporelle
Modulation dans le domaine temporel
Produit de convolution
Produit
Drivation dans le domaine temporel
(voir conditions ci-dessous)
Drivation dans le domaine frquentiel
Symtrie
relle et paire relle et paire
relle paire ( symtrie hermitienne)
relle et impaire imaginaire pure et impaire
imaginaire pure et paire imaginaire pure et paire
imaginaire pure et impaire relle et impaire
Forme gaussienne gaussienne
La contraction dans un domaine (temporel, spatial ou frquentiel) implique une dilatation dans l'autre. Un exemple concret de ce phnomne peut tre
observ par exemple sur un tourne-disque. La lecture d'un 33 tours 45 tours par minute implique une augmentation de la frquence du signal audio (a<1),
on contracte le signal audio dans le domaine temporel ce qui le dilate dans le domaine frquentiel.
Si la fonction est support born ( i.e, si ) alors est support infini. Inversement, si le support spectral de la
fonction est born alors est support infini.
Si f est une fonction non-nulle sur un intervalle born alors est une fonction non-nulle sur et inversement, si est non nulle sur un intervalle born alors f
est une fonction non nulle sur .
La transforme de Fourier de f est une fonction continue, de limite nulle l'infini (thorme de Riemann-Lebesgue), notamment borne par
.
Par changement de variable on trouve des formules intressantes lorsqu'on effectue une translation, dilatation du graphe de f.
Supposons que la fonction soit intgrable ; alors on peut driver la formule de dfinition sous le signe d'intgration. On constate alors
que la drive est la transforme de Fourier de g.
Si f est localement absolument continue (i.e. drivable presque partout et gale l'intgrale de sa drive ) et si f et f' sont intgrables, alors la
transforme de Fourier de la drive de f est .
On peut rsumer les deux dernires proprits : notons D l'opration
et M la multiplication par l'argument :
Alors, si f satisfait des conditions fonctionnelles convenables, et . Ces formules symtriques sont trs belles, et aussi trs
importantes.
On s'affranchira de ces conditions fonctionnelles en largissant la classe des objets sur lesquelles opre la transformation de Fourier. C'est une des motivations
de la dfinition des distributions.
Transformation de Fourier inverse
Si la transforme de Fourier de , note , est elle-mme une fonction intgrable, la formule dite de transformation de Fourier inverse, opration note ,
et applique , permet (sous conditions appropries) de retrouver partir des donnes frquentielles :
1
1/8/2014 Transformation de Fourier Wikipdia
http://fr.wikipedia.org/wiki/Transformation_de_Fourier 4/13
Cette opration de transformation de Fourier inverse a des proprits analogues la transformation directe, puisque seuls changent le coefficient multiplicatif et
le i devenu i.
Dans le cas des dfinitions alternatives, la transformation de Fourier inverse devient :
Dfinition en frquence :
Dfinition en pulsation :
Preuve par la formule sommatoire de Poisson
Soit h une fonction complexe dfinie sur et deux fois continment diffrentiable. On suppose que h vrifie l'estimation
et que les deux premires drives de h sont intgrables sur . Alors la transforme de Fourier de h vrifie une estimation analogue
Soit y un nombre rel qui, pour le moment, est simplement un paramtre, et notons
.
On vrifie que f a les mmes proprits fonctionnelles que h. Par consquent, on peut appliquer la formule sommatoire de Poisson f, avec la
priode 2 :
.
Mais le calcul de donne
On peut donc rcrire la formule sommatoire de Poisson en termes de h, et il vient
On multiplie les deux membres de cette identit par :
On remarque que les sries apparaissant de part et d'autre sont normalement convergentes pour la norme du maximum. On va donc pouvoir
changer la sommation et l'intgration par rapport y sur l'intervalle [0, 1].
gauche, l'intgration par rapport y ne laisse subsister qu'un seul terme, celui correspondant n = 0. droite, on intgre par rapport y et
on effectue dans chaque intgrale le changement de variable . On obtient ainsi la formule
On passe au cas gnral de la formule d'inversion de Fourier pour une fonction f intgrable ainsi que sa transforme de Fourier par une
mthode de densit. On approche f par une suite de fonctions vrifiant les hypothses fonctionnelles de la prsente dmonstration. On doit
bien sr supposer que les et leurs transformes de Fourier convergent vers leurs limites respectives et en norme L
1
(). On peut
construire de telles approximations en tronquant f, c'est--dire en le remplaant par 0 en dehors de l'intervalle [p, p], et en le rgularisant par
convolution. Si est une fonction deux fois continment diffrentiable, d'intgrale 1, et support born, on pose et on
convole la fonction tronque par . C'est une ide raisonnable d'utiliser ici le mme paramtre p.
Preuve par l'analyse non standard
Soit f une fonction de classe C
support compact. Par le principe de transfert, on peut se contenter d'tudier le cas d'une fonction standard.
1/8/2014 Transformation de Fourier Wikipdia
http://fr.wikipedia.org/wiki/Transformation_de_Fourier 5/13
Soit f une fonction de classe C
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 rel infiniment grand tel que pour tout rel , . Introduisons une base hilbertienne de L
2
([T,
T]) donne par :
(un calcul immdiat montre qu'elle est bien orthonorme, et le fait qu'elle soit totale se dduit de la densit des fonctions continues et de leur
approximation uniforme par des polynmes trigonomtriques). Par le lemme de Parseval, on est en mesure d'crire :
o
Plus explicitement, pour x standard :
La dernire galit vient de ce que le membre de gauche est standard, que la somme de Riemann s'effectue sur une partition de longueur
infiniment petite (/T), et donc que le membre de droite est la partie standard du membre intermdiaire. L'galit recherche est donc vraie
pour toutes les fonctions standard de classe C
support compact et tout x standard. Par le principe de transfert, elle est aussi vrifie pour
toutes les fonctions C
sur , telles que et toutes ses drives soient dcroissance rapide. C'est un
sous-espace vectoriel de L
1
, donc pour lequel la transforme de Fourier est dfinie. L'intrt de la classe de Schwartz rsulte de la proprit d'change entre
rgularit et dcroissance l'infinie qu'opre la transforme de Fourier.
Toute fonction de Schwartz est de classe C
avec des drives toutes intgrables. On en dduit que sa transforme de Fourier est dcroissance rapide.
2
3
1/8/2014 Transformation de Fourier Wikipdia
http://fr.wikipedia.org/wiki/Transformation_de_Fourier 9/13
Toute fonction de Schwartz est dcroissance rapide. On en dduit que sa transforme de Fourier est de classe C
.
Ainsi, on visualise intuitivement pourquoi l'espace de Schwartz est invariant par transformation de Fourier. Cet espace est donc trs commode pour l'utilisation
de cette dernire. De plus, l'espace de Schwartz est dense dans L
1
et dans L
2
, et pourrait donc servir de base pour la dfinition de la transformation de
Fourier sur ces espaces.
Formule d'inversion de Fourier sur
La transforme de Fourier induit un automorphisme bicontinu de l'espace de Schwartz sur lui-mme, dont l'inverse est dfini par
Remarque : cette formule dpend de la convention choisie pour la transformation de Fourier dans l'espace des fonctions. Elle est valide pour une transformation
de Fourier exprime dans l'espace des frquences, dont la dfinition utilise
Dmonstration de la formule d'inversion
Prouvons d'abord que est stable par . Par commodit, nous ne traiterons que le cas , mais le cas quelconque se traite de
manire similaire. Soit donc
1. D'une part, la dcroissance rapide implique que pour tout entier naturel , est intgrable. La fonction est donc
dfinie et C
.
2. D'autre part, pour tout couple d'entiers naturels , la fonction est dans , donc dans L
1
. Sa
transforme de Fourier tend vers 0 l'infini. Or, en appliquant les proprits d'change entre multiplication par un polynme et
drivation,
ce qui prouve la dcroissance rapide de ainsi que toutes ses drives successives. Elle satisfait donc aux conditions d'appartenance
Soit un lment de donc de L
1
. D'aprs le point prcdent, appartient aussi L
1
. Le thorme d'inversion sur L
1
s'applique et
donne, en notant l'oprateur de composition par Id :
ce qui prouve que et bijectif et que son inverse est
Transformation de Fourier pour les distributions tempres
On dfinit la transforme de Fourier d'une distribution tempre comme la distribution dfinie via son crochet de dualit par
.
Les dtails et des exemples ne sont pas donns ici, mais figurent dans l'article relatif aux distributions tempres.
Remarquons que l'expression de la transforme de Fourier d'une fonction ressemble au produit scalaire dans entre et la
conjugue de . Sauf que n'a pas de sens car n'est pas dans . C'est le crochet de dualit des distributions
, qui pour les fonctions concident avec le produit scalaire de , donne sens cette formulation en tant que produit scalaire.
Cette gnralisation va bien plus loin car l'espace des distributions tempres englobe les diffrents objets sur lesquels la transforme de Fourier a t
dfinie : fonctions de sommables ou de carr sommable, fonctions de priodiques localement sommables ou localement de carr sommable, suites
discrtes sommables, suites discrtes priodiques. La transforme de Fourier sur unifie et gnralise les diffrentes dfinitions des transformes avec
l'unique formalisme des distributions. Nous allons montrer que la transforme de Fourier sur gnralise les notions d'intgrales de Fourier et de sries de
Fourier, en analysant successivement ces espaces.
Compatibilits
Compatibilit avec les espaces de fonctions
Les fonctions intgrables et les fonctions de carr sommable dfinissent des distributions tempres. Montrons que les deux notions possibles de transforme
de Fourier concident dans le cas L
1
, puis utilisons cette compatibilit pour l'tablir dans le cas L
2
.
Compatibilit avec L
1
et L
2
Soit
1/8/2014 Transformation de Fourier Wikipdia
http://fr.wikipedia.org/wiki/Transformation_de_Fourier 10/13
et sa transforme de Fourier dans L
1
,
ou bien
et sa transforme de Fourier dans L
2
.
Dans ces deux cas, dfinit une distribution tempre gale la transforme de Fourier de , c'est--dire
Dmonstration
Soit . Il s'agit de vrifier que pour tout
c'est--dire
Cela rsulte simplement du thorme de Fubini, appliqu la fonction intgrable
Les deux applications continues et , de L
2
dans l'espace spar sont gales car elles concident, d'aprs le point
prcdent, sur le sous-espace dense L
1
L
2
.
Enfin, les fonctions priodiques intgrables sur une priode sont exactement les fonctions la fois priodiques et localement intgrables, et donc dfinissent des
distributions rgulires.
Compatibilit avec L
1
per
La transforme de Fourier d'une distribution rgulire dfinie par une fonction T-priodique
, est la distribution support discret correspondant la suite de ses coefficients de Fourier :
Si le rsultat nonc ne concerne que les fonctions priodiques de la variable relle, mme si le rsultat s'tendrait facilement aux fonctions priodiques sur un
rseau de Comme la transformation de Fourier est bijective, la dmonstration de ce rsultat sera une consquence du thorme sur les distributions
priodiques.
Compatibilit avec les espaces de suites
Les suites, c'est--dire les signaux discrets, peuvent s'exprimer comme fonction de support dans . une suite donne correspond en
effet de manire unique une srie de masses de Dirac . Lorsque cette suite est sommable, cette srie de masses de Dirac a en effet un sens
en tant que distribution tempre d'ordre 0.
Compatibilit de avec Soit une suite sommable valeurs complexes note . Sa transforme de Fourier temps
discret est une fonction 1-priodique qui concide avec la transforme de Fourier de la srie de masses de Dirac associe a.
.
Dmonstration de la compatibilit de avec
Lorsque a est sommable, la somme dfinit bien une distribution d'ordre 0. En effet, pour une fonction test ,
Par continuit de la transformation de Fourier et formule de la transforme du dirac ,
.
1/8/2014 Transformation de Fourier Wikipdia
http://fr.wikipedia.org/wiki/Transformation_de_Fourier 11/13
On retrouve bien la transforme de Fourier en temps discret.
Par densit, la dmonstration s'tend aux sries de carr sommable. Notons en outre que la transforme de Fourier des distributions priodiques donne une
dfinition de la transforme de Fourier suite discrtes non pas sommables, au moins croissance polynmiale.
En particulier, la transforme de Fourier discrte (TFD) s'interprte galement comme la transforme d'une distribution tempre. En effet, une suite finie de N
points s'identifie de manire unique avec une suite N-priodique obtenue par priodisation, c'est--dire convolution avec un peigne de Dirac.
Compatibilit de avec la TFD La TFD d'une suite l'ordre N est la transforme de Fourier de la distribution support dans
obtenue par priodisation de la priode N, c'est--dire convolution par un peigne de Dirac :
avec .
Signaux discrets et signaux priodiques
Nous pouvons retenir que formellement, la transforme de Fourier change discrtisation et priodisation.
Le spectre d'un signal discret obtenu par chantillonnage la priode T prsente un spectre priodique, rsultant de la priodisation du spectre du signal
continu :
.
Si la multiplication n'est pas dfinie entre distribution, on donne dans le cas du peigne un sens , et la formulation de convolution est
encore vrifie : .
Le spectre d'un signal T-priodique , c'est--dire la somme de sa srie de Fourier, est celui obtenu par discrtisation du spectre du signal tronqu sur
une seule priode.
avec .
Liens avec d'autres transformations
Lien avec les transformations de Laplace
La transforme de Fourier d'une fonction est un cas particulier de la transforme bilatrale de Laplace de cette mme fonction dfinie par :
avec .
On constate alors que .
On peut galement crire ce lien en utilisant la transforme de Laplace usuelle par :
o les fonctions et sont dfinies par :
si t 0 et 0 sinon.
si t 0 et 0 sinon.
Lien avec les sries de Fourier
Parallle formel
La transforme de Fourier est dfinie de faon semblable : la variable d'intgration x est remplace par nx, n tant l'indice de sommation, et l'intgrale par la
somme. On a alors
.
On trouvera quelques remarques ce sujet dans Analyse spectrale.
1/8/2014 Transformation de Fourier Wikipdia
http://fr.wikipedia.org/wiki/Transformation_de_Fourier 12/13
Comme on l'a vu plus haut, il est d'autre part possible d'interprter l'intgrale de la transforme de Fourier comme une somme finie de n oscillateurs
harmoniques, o n est un entier non standard ; cela revient identifier (en un sens diffrent) la transformation de Fourier aux coefficients d'une srie de Fourier.
Transforme
On utilise les variables normalises suivantes : , .
Transformation de Fourier (analyse) Transformation inverse (synthse)
Gnralisation
La transforme de Fourier se gnralise pratiquement telle quelle aux groupes abliens localement compacts, grce la dualit de Pontryagin.
En traitement d'images, on effectue des transformations de Fourier deux dimensions : si est une fonction de dans sa transforme de Fourier est
dfinie par :
Notes et rfrences
1. Walter Rudin, Analyse relle et complexe [dtail des ditions], p. 174 de l'dition de 1975-77.
2. (en) Mark Pinsky (de), Introduction to Fourier Analysis and Wavelets, Brooks/Cole, 2002 (ISBN 978-0-82187198-0, lire en ligne (http://books.google.fr/books?
id=tlLE4KUkk1gC&pg=PA131)), p. 131.
3. Pinsky 2002.
4. Ou plus prcisment lombre de cette somme .
(en) Cet article est partiellement ou en totalit issu de larticle de Wikipdia en anglais intitul Fourier transform
(https://en.wikipedia.org/wiki/Fourier_transform?oldid=583088122) (voir la liste des auteurs (https://en.wikipedia.org/wiki/Fourier_transform?action=history))
Jean-Michel Bony, Cours d'analyse, ditions de l'cole Polytechnique
Srishti D. Chatterji, Cours d'analyse, Presses polytechniques et universitaires romandes, 1998 (ISBN 978-2880743468)
Voir aussi
Articles connexes
Densit spectrale
Densit spectrale de puissance
Produit de convolution
Transforme de Fourier rapide
Transforme de Fourier discrte
Transforme de Laplace
Transformation de Hankel
Transformation de Mellin
Fixed point per octave (FPPO)
Bispectre
Liens externes
Alain Yger, Espaces de Hilbert et analyse de Fourier (http://www.math.u-bordeaux1.fr/~yger/mht613.pdf) (2008), cours de 3
e
anne de licence, universit
Bordeaux I
Michel Lecomte, Transformation de Fourier Cours et exercices (http://www.seeks.fr/qc_redir?
q=cours+transform%C3%A9e+de+fourier&url=http%3A%2F%2Ffcd.ema.fr%2Ffourier.pdf) (Juillet 2001), cole des Mines de Douai
4
[rf. ncessaire]
Sur les autres projets Wikimedia :
Srie et transforme de Fourier en physique,
sur Wikiversity
1/8/2014 Transformation de Fourier Wikipdia
http://fr.wikipedia.org/wiki/Transformation_de_Fourier 13/13
(en) FTL-SE (http://www.jcrystal.com/products/ftlse/index.htm), programme ducatif sur les transformes de Fourier d'images
Ce document provient de http://fr.wikipedia.org/w/index.php?title=Transformation_de_Fourier&oldid=104392118 .
Dernire modification de cette page le 5 juin 2014 09:30.
Droit d'auteur : les textes sont disponibles sous licence Creative Commons paternit partage lidentique ; dautres conditions peuvent sappliquer. Voyez les
conditions dutilisation pour plus de dtails, ainsi que les crdits graphiques. En cas de rutilisation des textes de cette page, voyez comment citer les auteurs et
mentionner la licence.
Wikipedia est une marque dpose de la Wikimedia Foundation, Inc., organisation de bienfaisance rgie par le paragraphe 501(c)(3) du code fiscal des
tats-Unis.