17

2. Transformation de Fourier
1. Introduction
Au chapitre 1, nous avons developpe les fonctions periodiques en series de sinus
et de cosinus, ou dexponentielles complexes, appelees series de Fourier. Physique-
ment, dans le cas dune onde sonore, on peut se representer les termes dune serie
de Fourier comme un ensemble dharmoniques dont les frequences forment un en-
semble inni mais discret {n}, n = 1, 2, 3 . . . ( = /2 est la frequence du
fondamental). En electricite, une tension periodique peut etre representee par une
serie de Fourier. Celle-ci est une superposition dun ensemble inni discret de ten-
sions alternatives de frequences n. De meme, en optique, une lumi`ere constituee
dun ensemble discret de longueurs donde {/n}, n = 1, 2 . . ., cest-`a-dire un
ensemble discret de couleurs, peut etre representee par une serie de Fourier.
Deux questions se posent alors : premi`erement, est-il possible de representer
une fonction non periodique par quelque chose danalogue `a une serie de Fourier?
Ensuite, peut-on etendre ou modier le concept de serie de Fourier de mani`ere `a
inclure le cas dun spectre continu?
De meme qu`a la limite continue, une somme est remplacee par une integrale,
la serie de Fourier sera remplacee par une integrale de Fourier. Celle-ci peut
etre utilisee pour representer des fonctions non periodiques, par exemple un son
qui nest pas repete, une impulsion unique de tension, ou un ash de lumi`ere.
Lintegrale de Fourier fait intervenir un spectre continu de frequences, par exem-
ple un ensemble de sons musicaux ou de couleurs de lumi`ere.
2. Transformee de Fourier dune fonction dune variable
2.1. Denition
Soit f(x) une fonction `a valeurs reelles ou complexes de la variable reelle x.
On appelle transformee de Fourier de f(x) la fonction complexe de la variable
reelle k denie par :
F(k) = F
_
f(x)

=
_

f(x)e
ikx
dx. (2.1)
18 Chapitre 2 : Transformation de Fourier
Lintegrale (2.1) nayant pas necessairement un sens, F(k) nexiste pas toujours.
En physique, dans la plupart des exemples, la variable concernee est, soit une
longueur, soit un temps. Usuellement, la notation x represente une longueur. Dans
ce cas, la variable k a les dimensions de linverse dune longueur. Elle est appelee
le vecteur donde. Lorsque lon considere une fonction f(t) du temps, on utilise
pour la transformee de Fourier de f(t) la notation
1
F
_
f(t)

= F() =
_

f(t)e
it
dt, (2.2)
o` u la variable , qui a les dimensions de linverse dun temps, est la frequence
angulaire.
Revenons aux notations de lequation (2.1). Nous donnerons seulement une
condition susante (mais non necessaire) dexistence de la transformee de Fourier.
Rappelons tout dabord que, par denition, une fonction f appartient `a lespace
L
1
des fonctions sommables (cest-`a-dire integrables) si son integrale, au sens de
la theorie des integrales impropres de Riemann, est absolument convergente, cest-
`a-dire si lon a :
_

|f(x)| dx < +. (2.3)

On a le theor`eme : Toute fonction f(x) de L
1
(cest-`a-dire integrable) a une
transformee de Fourier. On demontre que celle-ci est continue et bornee, et tend
vers 0 lorsque |k| .
On peut cependant denir la transformee de Fourier dans dautres cas.
2.2. Inversion de la transformation de Fourier
On demontre que, inversement, on peut en general obtenir f(x) `a partir de
F(k) par la transformation dite de Fourier inverse :
f(x) =
1
2
_

F(k)e
ikx
dk. (2.4)
1
La convention adoptee ici relativement au signe precedant i dans lexponentielle imagi-
naire nest pas la meme dans les deux cas. Ce choix est lie au fait quen physique, lon est
frequemment amene `a considerer la transformee de Fourier spatiale et temporelle dune fonction
f(x, t) dependant `a la fois de lespace et du temps. Cette transformee de Fourier spatiale et
temporelle est generalement denie par lintegrale double suivante :
F[f(x, t)] =
_
dx
_
dt f(x, t)e
i(tkx)
.
En ce qui concerne les fonctions dune variable, nous utiliserons dans la suite la convention de
lequation (2.1).
Transformee de Fourier dune fonction dune variable 19
Lintegrale (2.4) doit etre consideree en valeur principale, cest-`a-dire denie comme
la limite suivante :
_

F(k)e
ikx
dk = lim
R
_
+R
R
F(k)e
ikx
dk. (2.5)
On prend comme notation pour la transformation de Fourier inverse :
f(x) = F
_
F(k)

. (2.6)
La formule dinversion (2.4) ne permet pas en fait de remonter `a f(x), mais `a
une fonction presque partout egale `a f(x).
`
A ce sujet, nous mentionnerons seule-
ment le theor`eme suivant : Si f(x) est une fonction integrable presentant un
nombre ni de discontinuites, la formule dinversion conduit `a
1
2
[f(x
+
) + f(x

)]
o` u f(x
+
) et f(x

) sont les limites `a droite et `a gauche de f(x). En particulier, si

f(x) est continue, la formule dinversion redonne bien f(x). Ici encore, les condi-
tions enoncees sont des conditions susantes mais non necessaires.
2.3. Remarque sur la denition de la transformee de Fourier
Les conventions utilisees pour denir la transformation de Fourier (et donc
aussi son inverse), cest-`a-dire les conventions utilisees dans les equations (2.1)
et (2.4), ne sont pas universelles. En feuilletant dierents livres, vous trouverez
plusieurs autres conventions. Chacune de ces conventions presente des avantages
qui peuvent conduire `a la preferer.
Une fois les formules de Fourier ecrites, il est imperatif de continuer `a travailler
de mani`ere coherente. Dans la suite de ce cours, nous travaillons avec les formules
(2.1) et (2.4). Dans le cas dun autre choix, certains facteurs numeriques peuvent
dierer.
2.4. Exemples
En physique, la formule dinversion (2.4) sinterpr`ete comme une decom-
position de f(x) en une somme doscillations harmoniques. Si x est une longueur,
F(k) est lamplitude correspondant au vecteur donde k. Si t est un temps, F()
est lamplitude correspondant `a la frequence angulaire .
2.5. Transformation de Fourier sinus et cosinus
Toute fonction f(x) peut etre decomposee en une somme dune fonction paire
p(x) et dune fonction impaire q(x) :
f(x) = p(x) + q(x). (2.7)
On a :
_

_
p(x) =
1
2
_
f(x) + f(x)

q(x) =
1
2
_
f(x) f(x)

.
(2.8)
20 Chapitre 2 : Transformation de Fourier
On obtient, en remplacant f(x) par son expression (2.7) dans lequation (2.1), et
en tenant compte du fait que p(x) est paire et q(x) impaire,
F(k) = 2
_

0
p(x) cos kxdx 2i
_

0
q(x) sin kxdx, (2.9)
soit :
F
_
f(x)

= F
cos
[p(x)] iF
sin
[q(x)]. (2.10)
La notation F
cos
represente une transformation de Fourier cosinus denie par
F
cos
_
f(x)

= 2
_

0
f(x) cos kxdx, (2.11)
et la notation F
sin
une transformation de Fourier sinus denie par :
F
sin
_
f(x)

= 2
_

0
f(x) sin kxdx. (2.12)
Lorsque f est reelle, on peut ainsi calculer separement la partie reelle et la
partie imaginaire de sa transformee de Fourier. On remarque que, pour que la
transformee de Fourier dune fonction f reelle soit egalement reelle, il faut et il
sut que f soit paire.
3. Proprietes de la transformation de Fourier
3.1. Linearite
Lintegration etant une operation lineaire, la transformation de Fourier lest
aussi, cest-`a-dire que, et etant des scalaires, on a :
F
_
f(x) + g(x)

= F(k) + G(k). (3.1)

En dautres termes, la transformation de Fourier commute avec laddition et la
multiplication par un scalaire.
3.2. Translation
Cherchons la transformee de Fourier de f(xa) (a reel). En posant u = xa,
on obtient
F
_
f(x a)

=
_

f(x a)e
ikx
dx = e
ika
_

f(u)e
iku
du, (3.2)
soit :
F
_
f(x a)

= e
ika
F(k). (3.3)
`
A la translation de f(x) correspond un dephasage de F(k) proportionnel `a k (la
transformee de Fourier de f(x a) sobtient en multipliant F(k) par le facteur de
phase e
ika
).
Proprietes de la transformation de Fourier 21
3.3. Modulation
Inversement, la transformee de Fourier de e
ik
0
x
f(x) (k
0
reel) est donnee par
F
_
e
ik
0
x
f(x)

=
_

f(x)e
i(kk
0
)x
dx, (3.4)
soit :
F
_
e
ik
0
x
f(x)

= F(k k
0
). (3.5)
`
A la modulation de f(x) correspond une translation de F(k).
3.4. Changement dechelle
Changer lunite pour la variable x revient `a multiplier celle-ci par une cons-
tante reelle a = 0. En posant u = ax, on obtient
F
_
f(ax)

=
_

f(ax)e
ikx
dx =
1
|a|
_

f(u)e
iku/a
du, (3.6)
soit :
F
_
f(ax)

=
1
|a|
F
_
k
a
_
. (3.7)
Une compression de lechelle des x entrane une dilatation de lechelle des k.
En termes plus physiques, une compression de lechelle des longueurs entrane
une dilatation de lechelle des vecteurs donde. De meme, une compression de
lechelle des temps entrane une dilatation de lechelle des frequences angulaires.
Cest l`a une propriete extremement importante en pratique de la transformation
de Fourier.
3.5. Conjugaison complexe
On a
F
_
f

(x)

=
_

(x)e
ikx
dx =
__

f(x)e
ikx
dx
_

, (3.8)
soit :
F
_
f

(x)

= F

(k). (3.9)
22 Chapitre 2 : Transformation de Fourier
3.6. Transformee de Fourier de f

(x)
Supposons f(x) integrable, derivable et `a derivee integrable. Sa derivee f

poss`ede alors une transformee de Fourier, donnee par :

F
_
f

(x)

=
_

(x)e
ikx
dx. (3.10)
Integrons par parties lintegrale au second membre de lequation (3.10) :
F
_
f

(x)

= f(x)e
ikx

+ ik
_

f(x)e
ikx
dx. (3.11)
Comme f

est integrable, f(x) a bien une limite nie pour x . Cette limite
ne peut etre dierente de 0, sans quoi f ne serait pas integrable. Le terme tout
integre de la formule (3.11) est donc nul. Il reste :
F
_
f

(x)

= ikF
_
f(x)

= ikF(k). (3.12)
`
A la derivation de f(x) par rapport `a x correspond donc la multiplication de F(k)
par ik. Plus generalement, pour la derivee dordre m, on a :
F
_
f
(m)
(x)

= (ik)
m
F(k). (3.13)
Le resultat (3.13) conduit ` a une majoration importante. De la formule
(ik)
m
F(k) =
_

f
(m)
(x)e
ikx
dx, (3.14)
on deduit linegalite :
|k|
m
|F(k)|
_

|f
(m)
(x)| dx. (3.15)
Plus f(x) est derivable, `a derivees integrables, plus sa transformee de Fourier F(k)
decrot rapidement `a linni.
3.7. Derivation de F(k) par rapport `a k
On a
d
dk
F(k) =
d
dk
_

f(x)e
ikx
dx, (3.16)
Exemples 23
soit, en derivant sous le signe somme :
d
dk
F(k) = i
_

xf(x)e
ikx
dx = F
_
ixf(x)

. (3.17)
(La derivation sous le signe somme est legitime si xf(x) est integrable). Plus
generalement, on a :
F
_
(ix)
m
f(x)

= F
(m)
(k). (3.18)
Ce resultat conduit encore `a une majoration :
|F
(m)
(k)|
_

|x|
m
|f(x)| dx. (3.19)
Plus f(x) decrot rapidement `a linni, plus F(k) est derivable (avec des derivees
bornees).
4. Exemples
Sur les trois exemples ci-dessous, on peut verier les proprietes de la trans-
formation de Fourier citees au paragraphe 3.
4.1. Transformee de Fourier de la gaussienne
On peut montrer (soit en resolvant une equation dierentielle, soit en utilisant
lanalyse complexe) que la fonction gaussienne
f(x) =
1

2
e
x
2
/2
2
, (4.1)
a pour transformee de Fourier une gaussienne :
F(k) = e
k
2

2
/2
. (4.2)
4.2. Transformee de Fourier de la lorentzienne
On peut montrer (nous le ferons ulterieurement comme application de lanalyse
complexe) que la fonction lorentzienne
f(x) =
a

1
x
2
+ a
2
, a > 0, (4.3)
24 Chapitre 2 : Transformation de Fourier
a pour transformee de Fourier la fonction en toile de tente (non derivable en
k = 0) :
F(k) = e
a|k|
. (4.4)
4.3. Transformee de Fourier de la fonction porte
La fonction porte est denie par :
f(x) =
_
1, |x| a
0, |x| > a.
(4.5)
Elle a pour transformee de Fourier la fonction :
F(k) = 2
sin ak
k
. (4.6)
5. Convolution et transformation de Fourier
On denit le produit de convolution de deux fonctions f(x) et g(x) appar-
tenant `a L
1
par la formule :
[f g](x) =
_

f(u)g(x u) du. (5.1)

On peut montrer que f g = g f appartient aussi `a L
1
(nous ladmettrons). On
peut alors calculer la transformee de Fourier de cette fonction :
F
_
f g

=
_

e
ikx
f(u)g(x u) dxdu. (5.2)
Eectuons le changement de variables x u = v, dx = dv dans lintegrale (5.2).
On obtient :
F
_
f g

=
_

e
ik(u+v)
f(u) g(v) dudv. (5.3)
Lintegrale double (5.3) est le produit (ordinaire) de deux integrales simples :
F[f g] =
_

e
iku
f(u) du
_

g(v)e
ikv
dv. (5.4)
On obtient ainsi la relation :
F
_
f g

= F[f] F[g]. (5.5)

La transformee de Fourier du produit de convolution de deux fonctions est egale
au produit ordinaire des transformees de Fourier de ces deux fonctions.
`
A cause de la symetrie des integrales de Fourier et de Fourier inverse repre-
sentant respectivement f(x) et F(k), il existe un resultat analogue reliant le pro-
duit (ordinaire)f(x)g(x) et le produit de convolution de F(k) et de G(k) :
F[F G] = 2F[F] F[G]. (5.6)
Theor`eme de Parseval 25
6. Theor`eme de Parseval
6.1. Le theor`eme de Parseval
Pour les series de Fourier nous avons vu au chapitre 1 legalite de Parseval :
1
2
_

|f(x)|
2
dx =

n=
|c
n
|
2
. (6.1)
En termes physiques, cette egalite correspond au fait que lenergie totale dun
phenom`ene periodique est egale `a la somme des energies associees aux dierents
harmoniques.
Une integrale de Fourier correspond `a un spectre continu de frequences, et une
relation analogue `a legalite de Parseval existe pour les transformees de Fourier.
Elle est connue sous le nom de theor`eme de Parseval ou de formule de Parseval-
Plancherel. On a legalite
_

|f(x)|
2
dx =
1
2
_

|F(k)|
2
dk, (6.2)
`a la condition que les integrales existent
2
. Plus generalement, on a, `a la condition
que les integrales existent :
_

f(x)g

(x) dx =
1
2
_

F(k)G

(k) dk. (6.3)

Demontrons la formule (6.3). On a
_

f(x)g

(x) dx =
_

f(x)
1
2
_

(k)e
ikx
dkdx,
=
1
2
_

f(x)G

(k)e
ikx
dkdx
=
1
2
_

(k) dk
_

f(x)e
ikx
dx
=
1
2
_

F(k)G

(k) dk.
(6.4)
Ceci demontre legalite (6.3) (appelee parfois second theor`eme de Parseval). La
formule (6.2) (premier theor`eme de Parseval) sen deduit comme un cas particulier.
2
Voir la discussion du paragraphe 8.
26 Chapitre 2 : Transformation de Fourier
6.2. Un peu de physique
En physique, si f(t) represente une onde ou une vibration quelconque (la
variable est alors le temps t), et si F() est sa transformee de Fourier, la formule
(6.2) se reecrit :
_

|f(t)|
2
dt =
1
2
_

|F()|
2
d. (6.5)
Les deux integrales ci-dessus representent lenergie totale de la vibration. La puis-
sance instantanee dissipee est : en mecanique f(t)v(t) (force vitesse), en electri-
cite V (t)I(t) (tension courant). Lintegrale temporelle represente donc lenergie
totale. Lintegrale au second membre de lequation (6.5) correspond `a une decompo-
sition en vibrations harmoniques. Elle exprime le fait que lenergie totale est la
somme des energies de chacune des composantes. Cette relation a ete utilisee pour
la premi`ere fois par un physicien (Lord Rayleigh, 1889).
7. Transformee de Fourier dune fonction de plusieurs variables
On consid`ere un point r = x
1
, x
2
, . . . , x
n
de lespace `a n dimensions R
n
et
un point k = k
1
, k
2
, . . . , k
n
de R
n
. On consid`ere une fonction f(r) appartenant `a
L
1
(R
n
), cest-`a-dire telle que :
_
R
n
|f(r)| dr < +. (7.1)
Sa transformee de Fourier est une fonction F(k) denie par
F(k) =
_
R
n
f(r)e
ik.r
dr. (7.2)
De facon generale, les proprietes de la transformee de Fourier dune fonction de
plusieurs variables sont du meme type que celles qui correspondent au cas dune
seule variable. Citons ci-dessous quelques cas particuliers interessants.
Dans le cas particulier o` u la fonction f(r) se factorise,
f(r) = f
1
(x
1
)f
2
(x
2
) . . . f
n
(x
n
), (7.3)
sa transformee de Fourier se factorise egalement :
F(k) = F[f
1
f
2
. . . f
n
] = F
1
(k
1
)F
2
(k
2
) . . . F
n
(k
n
). (7.4)
Il existe un autre cas simple, cest celui o` u la fonction f(x
1
, x
2
, . . . , x
n
) est
fonction seulement de r =
_
n
i=1
x
2
i
_
1/2
. La fonction f(r) est alors invariante par
rotation. On dit que cest une fonction radiale. Nous allons etudier ce cas en detail
lorsque le nombre de dimensions de lespace est egal `a 2 ou `a 3.
Transformee de Fourier dune fonction de plusieurs variables 27
7.1. Transformee de Fourier dune fonction radiale `a deux dimen-
sions
On a :
F(k) =
_
R
2
f(r)e
ik.r
dr. (7.5)
En utilisant dans le plan des coordonnees polaires r et denies en prenant comme
axe polaire la direction du vecteur k, on a :
F(k) =
_

0
dr rf(r)
_
2
0
d e
ikr cos
. (7.6).
La fonction F(k) ne depend en realite que du module k de k. Cest donc aussi une
fonction radiale. En utilisant la representation integrale de la fonction de Bessel
dordre zero
3
J
0
(x), on obtient le resultat suivant :
F(k) = 2
_

0
rJ
0
(kr)f(r) dr. (7.7)
7.2. Transformee de Fourier dune fonction radiale `a trois dimen-
sions
On a :
F(k) =
_
R
3
f(r)e
ik.r
dr. (7.8)
O
y
x
z
M

r
Figure 1
k

3
Il sagit de la representation integrale :
J
0
(x) =
1
2
_
2
0
e
ix cos
d.
28 Chapitre 2 : Transformation de Fourier
En utilisant dans lespace des coordonnees polaires denies en prenant laxe
Oz selon la direction du vecteur k (Figure 1), on a :
F(k) =
_

0
dr r
2
f(r)
_
2
0
d
_

0
e
ikr cos
sin d. (7.9)
Ici encore, la fonction F(k) ne depend en realite que du module k de k. On a le
resultat :
F(k) = 4
_

0
r
2
sin kr
kr
f(r) dr. (7.10)
Ce resultat est important en pratique, par exemple dans la theorie de la diusion
par un potentiel central.
8. Transformee de Fourier des fonctions de carre sommable
8.1. Conservation de la norme
Nous avons jusquici donne la denition de la transformee de Fourier des
fonctions appartenant `a lespace L
1
des fonctions integrables, tout en indiquant
quon peut aussi denir la transformee de Fourier dans dautres cas. Un cas pra-
tique important en physique, notamment en mecanique quantique et en optique,
est celui des fonctions appartenant `a lespace L
2
des fonctions de carre sommable
(cest-`a-dire de carre integrable), telles que :
_

|f(x)|
2
dx < +. (8.1)
Entre les fonctions f(x) et F(k), on a legalite de Parseval,
_

|f(x)|
2
dx =
1
2
_

|F(k)|
2
dk, (8.2)
qui exprime que, dans lespace L
2
des fonctions de carre sommable, la transforma-
tion de Fourier conserve la norme.
Les fonctions de carre sommable jouent un grand role en physique. En meca-
nique quantique le carre |(x)|
2
des fonctions donde (x) represente une densite
de probabilite. La relation
_
|(x)|
2
dx = 1, (8.3)
montre que toute fonction donde appartient `a L
2
.
8.2. Relation dincertitude
Considerons pour xer les idees une fonction du temps. Plus cette fonction
varie rapidement, plus sa transformee de Fourier setend vers les frequences angu-
laires elevees. Il sensuit que, plus un signal est bref, plus sa transformee de Fourier
Transformee de Fourier des fonctions de carre sommable 29
decrot lentement `a linni.
`
A la limite, une impulsion de Dirac
4
a une transformee
de Fourier non decroissante `a linni. Inversement, plus la transformee de Fourier
decrot rapidement, plus le signal decrot lentement. Cela peut sexprimer quanti-
tativement de dierentes mani`eres suivant la facon dont on exprime letendue dun
signal.
Pour les fonctions de carre sommable, donc en particulier pour les fonctions
donde (x) en mecanique quantique (on revient ici `a la variable x), il est dusage
courant de considerer lecart quadratique moyen x deni par
(x)
2
= x
2
x
2
, (8.4)
o` u la moyenne de x et la moyenne de x
2
sont denies respectivement par :
x =
_
x|(x)|
2
dx
_
|(x)|
2
dx
, x
2
=
_
x
2
|(x)|
2
dx
_
|(x)|
2
dx
. (8.5)
Si (k) designe la transformee de Fourier de (x), on consid`ere aussi lecart
quadratique moyen k deni par
(k)
2
= k
2
k
2
, (8.6)
o` u la moyenne de k et la moyenne de k
2
sont denies respectivement par :
k =
_
k|(k)|
2
dk
_
|(k)|
2
dk
, k
2
=
_
k
2
|(k)|
2
dk
_
|(k)|
2
dk
. (8.7)
On peut montrer que les ecarts quadratiques moyens x et k verient linegalite
suivante :
xk
1
2
. (8.8)
La relation (8.8) est connue en mecanique quantique sous le nom de relation
dincertitude de Heisenberg.
4
La fonction de Dirac est introduite au chapitre 3.