Vous êtes sur la page 1sur 13

1/8/2014 Transformation de Fourier Wikipdia

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

support compact et tout x, puis par densit des fonctions C

support compact dans l'espace des fonctions


intgrables, pour toutes les fonctions intgrables dont la transforme est intgrable et pour presque tout x.
Extension l'espace
n
Notons x le produit scalaire canonique dans
n
:
Si f est une fonction intgrable sur
n
, sa transforme de Fourier est donne par la formule :
Si est une isomtrie linaire directe, . Il en rsulte que la transforme de Fourier d'une fonction radiale est radiale.
Si la transforme de Fourier de f est elle-mme une fonction intgrable, on a alors la formule d'inversion :
Transformation de Fourier pour les fonctions de carr sommable
Extension de la transformation de L
1
L
2
Le thorme de Plancherel permet de donner un sens la transforme de Fourier des fonctions de carr sommable sur .
On commence par un premier rsultat prparatoire.
Lemme Soit h une fonction complexe deux fois continment drivable sur , qui vrifie l'estimation
(o C est une constante),
et dont les deux premires drives sont intgrables. Ceci implique que la transforme de Fourier est bien dfinie et de carr intgrable. De
plus, on a l'identit:
Preuve par la formule sommatoire de Poisson
On reprend la formule tablie ci-dessus dans la dmonstration de la formule d'inversion de Fourier:
1/8/2014 Transformation de Fourier Wikipdia
http://fr.wikipedia.org/wiki/Transformation_de_Fourier 6/13
On prend le carr du module des deux membres, et on intgre sur l'intervalle par rapport y et sur l'intervalle :
On peut changer l'ordre de la sommation et des deux intgrations dans l'expression ci-dessus, parce que les hypothses faites sur h impliquent
que les sries convergent normalement dans l'espace des fonctions continues de x et y, priodiques de priode en x et de priode 1 en y.
L'intgration en y du premier membre ne laisse subsister que les termes pour lesquels m et n sont gaux, et l'intgration en x du deuxime
membre ne laisse subsister que les termes pour lesquels j et k sont identiques. Il reste donc:
Il suffit de faire dans le premier membre le changement de variable dans chaque intgrale et dans le second le changement
de variable dans chaque intgrale , et on obtient la formule:
Aprs changement de la variable muette en , on obtient la formule annonce.
Une fois dmontre dans le lemme ci-dessus la formule de Plancherel pour une classe de fonctions suffisamment rgulires, on tend par densit la
transformation de Fourier tout .
Extension de la transformation de Fourier par densit
On adopte encore les mmes notations que dans la dmonstration de la formule d'inversion de Fourier par la formule sommatoire de Poisson,
donc est une fonction deux fois continment diffrentiable, support compact, et d'intgrale 1. On pose .
Soit h une fonction de carr intgrable, et soit p un nombre entier quelconque. On dfinit
et on peut montrer le rsultat suivant:
La dmonstration utilise des techniques classiques d'approximation par rgularisation.
D'autre part, les fonctions ont les proprits ncessaires pour appliquer le lemme ci-dessus, et en particulier
Comme la suite est de Cauchy dans l'espace , la suite des transformes de Fourier est aussi de Cauchy, donc elle
converge. Sa limite, qu'on note , ne dpend pas du choix de la suite d'approximations. En effet, si 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
qui tend vers 0 pour p tendant vers l'infini. Par consquent tend aussi vers 0 et on conclut que la limite de la suite est bien .
On a ainsi le thorme de Plancherel :
Thorme de Plancherel Soit f une fonction complexe sur et de carr sommable. Alors la transforme de Fourier de f peut tre dfinie
comme suit: pour tout p entier, on pose
1/8/2014 Transformation de Fourier Wikipdia
http://fr.wikipedia.org/wiki/Transformation_de_Fourier 7/13
La suite des transformes de Fourier converge dans , et sa limite est la transforme de Fourier , c'est--dire
De plus on a l'identit:
De faon similaire, si on pose les convergent en moyenne quadratique vers
Dmonstration du thorme de Plancherel
L'identit suivante rsulte du procd d'extension dcrit ci-dessus :
Considrons alors la suite de fonctions . En vertu du thorme de convergence domine de Lebesgue pour les fonctions de
carr sommable, la suite des converge en moyenne quadratique vers f, et par consquent, on aura aussi
en d'autres termes, converge en moyenne quadratique vers . La dmonstration pour la formule d'inversion est analogue.
Ainsi la transformation de Fourier-Plancherel dfinit un automorphisme de l'espace L
2
, qui est une isomtrie, condition de faire un changement d'chelle si l'on
utilise la notation en pulsation
En physique, on interprte le terme figurant sous l'intgrale comme une densit spectrale de puissance.
La dfinition de la transformation de Fourier-Plancherel est compatible avec la dfinition habituelle de la transforme de Fourier des fonctions intgrables. Sur
l'intersection des domaines de dfinition, on montre l'aide du thorme de convergence domine de Lebesgue que les deux dfinitions
concident.
La transformation vue comme oprateur de L
2
(R)
Remarque : ce paragraphe utilise la dfinition frquentielle de la transforme de Fourier, pour des raisons d'isomtrie.
Nous venons de voir que la transformation de Fourier induit sur l'espace de Hilbert un oprateur linaire. Nous en rcapitulons ici les proprits :
est un oprateur unitaire de . Il s'agit en particulier d'une isomtrie. On retrouve le premier fait, connu sous le nom de formule de Parseval, affirmant
que pour toutes fonctions
et en particulier le deuxime fait, connu sous le nom de thorme de Plancherel
son inverse (qui est aussi son adjoint) est donn par ;
en tant qu'automorphisme, est de priode 4. Autrement dit ;
en tant qu'endomorphisme de , a pour valeurs propres les quatre racines 4-imes de l'unit, soit . Une base orthogonale de
vecteurs propres est donne par les fonctions d'Hermite-Gauss
1/8/2014 Transformation de Fourier Wikipdia
http://fr.wikipedia.org/wiki/Transformation_de_Fourier 8/13
o sont les polynmes d'Hermite probabilistes , qui s'crivent
.
Avec ces notations, la formule suivante rcapitule la situation
On retrouve la gaussienne comme premire fonction d'Hermite. Ces fonctions appartiennent la classe de Schwartz , elles sont la fois temporellement et
frquentiellement dcroissance exponentielle.
Lien avec le produit de convolution
La transformation de Fourier a des proprits trs intressantes lies au produit de convolution. On rappelle que d'aprs les ingalits de Young,
Si , alors et
Si et , alors et
Si , alors et
Ainsi
Si , alors
Par densit, cette galit tient encore si et .
Si , alors ; de plus, l'galit est vraie si .
Principe d'incertitude
Article dtaill : Principe d'incertitude.
On peut remarquer que les rpartitions d'une fonction et de sa transforme de Fourier ont des comportements opposs : plus la masse de f(x) est
concentre , plus celle de la transforme est tale, et inversement. Il est en fait impossible de concentrer la fois la masse d'une fonction et celle de sa
transforme.
Ce trade-off entre la compaction d'une fonction et celle de sa transforme de Fourier peut se formaliser par un principe d'incertitude en considrant une
fonction et sa transforme de Fourier comme des variables conjugues par la forme symplectique sur le domaine temps-frquence : par la transformation
canonique linaire, la transformation de Fourier est une rotation de 90 dans le domaine tempsfrquence qui prserve la forme symplectique.
Supposons f intgrable et de carr intgrable. Sans perte de gnralit, on supposera f normalise :
Par le thorme de Plancherel, on sait que est galement normalise.
On peut mesurer la rpartition autour du point x = 0 par la dispersion autour de zro :
En probabilits, il s'agit du moment d'ordre 2 de |f|
2
.
Le principe d'incertitude dit que si f(x) est absolument continue et que les fonctions xf(x) et f(x) sont de carrs intgrables, on a alors
L'galit n'est atteinte que pour (alors ) pour > 0 arbitraire et C
1
telle que f est L
2
normalise, soit, si f
est une fonction gaussienne (normalise) centre en 0 et de variance
2
, et sa transforme de Fourier est une gaussienne de variance
2
.
Transformation de Fourier sur l'espace de Schwartz
L'espace de Schwartz est l'espace des fonctions de classe 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.