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. Physiquement, 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 ensemble infini 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 infini discret de tensions 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 modifier 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 flash de lumi`ere.
Lintegrale de Fourier fait intervenir un spectre continu de frequences, par exemple un ensemble de sons musicaux ou de couleurs de lumi`ere.

2. Transformee de Fourier dune fonction dune variable

2.1. D
efinition
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 definie par :


F (k) = F f (x) =

f (x)eikx 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 notation1


F f (t) = F () =

f (t)eit 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 suffisante (mais non necessaire) dexistence de la transformee de Fourier.
Rappelons tout dabord que, par definition, une fonction f appartient `
a lespace
L1 des fonctions sommables (cest-`
a-dire integrables) si son integrale, au sens de
la theorie des integrales impropres de Riemann, est absolument convergente, cesta-dire si lon a :
`
Z
|f (x)| dx < +.
(2.3)

On a le th
eor`
eme : Toute fonction f (x) de L1 (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 definir 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 :
1
f (x) =
2

F (k)eikx dk.

(2.4)

1
La convention adopt
ee ici relativement au signe pr
ec
edant i dans lexponentielle imaginaire nest pas la m
eme dans les deux cas. Ce choix est li
e au fait quen physique, lon est
fr
equemment amen
e`
a consid
erer la transform
ee de Fourier spatiale et temporelle dune fonction
f (x, t) d
ependant `
a la fois de lespace et du temps. Cette transform
ee de Fourier spatiale et
temporelle est g
en
eralement d
efinie par lint
egrale double suivante :
Z
Z
F [f (x, t)] = dx dt f (x, t)ei(tkx) .

En ce qui concerne les fonctions dune variable, nous utiliserons dans la suite la convention de
l
equation (2.1).

Transformee de Fourier dune fonction dune variable

19

Lintegrale (2.4) doit etre consideree en valeur principale, cest-`

a-dire definie comme
la limite suivante :
Z
Z +R
ikx
F (k)e dk = lim
F (k)eikx 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 seulement le th
eor`
eme suivant : Si f (x) est une fonction integrable presentant un
nombre fini de discontinuites, la formule dinversion conduit `
a 21 [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 conditions enoncees sont des conditions suffisantes mais non necessaires.
2.3. Remarque sur la d
efinition de la transform
ee de Fourier
Les conventions utilisees pour definir 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 differents 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
differer.
2.4. Exemples
En physique, la formule dinversion (2.4) sinterpr`ete comme une decomposition 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) :

On a :

f (x) = p(x) + q(x).

(2.7)


1

p(x) = f (x) + f (x)

2

q(x) = 1 f (x) f (x).

2

(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,
Z
Z
F (k) = 2
p(x) cos kx dx 2i
q(x) sin kx dx,
(2.9)
0

soit :


F f (x) = Fcos [p(x)] iFsin [q(x)].

(2.10)

La notation Fcos represente une transformation de Fourier cosinus definie par

Z


Fcos f (x) = 2
f (x) cos kx dx,
(2.11)
0

et la notation Fsin une transformation de Fourier sinus definie par :

Z


Fsin f (x) = 2
f (x) sin kx dx.

(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
suffit que f soit paire.

3. Proprietes de la transformation de Fourier

3.1. Lin
earit
e
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
Z
Z


ikx
ika
F f (x a) =
f (x a)e
dx = e
f (u)eiku du,
(3.2)

soit :


F f (x a) = eika F (k).

(3.3)

` la translation de f (x) correspond un dephasage de F (k) proportionnel `

A
a k (la
transformee de Fourier de f (x a) sobtient en multipliant F (k) par le facteur de
phase eika ).

Proprietes de la transformation de Fourier

21

3.3. Modulation
Inversement, la transformee de Fourier de eik0 x f (x) (k0 reel) est donnee par


F eik0 x f (x) =

f (x)ei(kk0 )x dx,

(3.4)

soit :


F eik0 x f (x) = F (k k0 ).

(3.5)

` la modulation de f (x) correspond une translation de F (k).

A
3.4. Changement d
echelle
Changer lunite pour la variable x revient `
a multiplier celle-ci par une constante reelle a 6= 0. En posant u = ax, on obtient


F f (ax) =

ikx

f (ax)e

1
dx =
|a|

f (u)eiku/a du,

(3.6)

soit :


1 k
F f (ax) =
F
.
|a|
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) =

ikx

f (x)e

Z

dx =

ikx

f (x)e


dx ,

(3.8)

soit :


F f (x) = F (k).

(3.9)

22

Chapitre 2 : Transformation de Fourier

3.6. Transform
ee de Fourier de f 0 (x)

Supposons f (x) integrable, derivable et `

a derivee integrable. Sa derivee f 0
poss`ede alors une transformee de Fourier, donnee par :


F f 0 (x) =

f 0 (x)eikx dx.

(3.10)

Integrons par parties lintegrale au second membre de lequation (3.10) :




F f 0 (x) = f (x)eikx  + ik

f (x)eikx dx.

(3.11)

Comme f 0 est integrable, f (x) a bien une limite finie pour x . Cette limite
ne peut etre differente 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 0 (x) = ikF f (x) = ikF (k).

(3.12)

` la derivation de f (x) par rapport `

A
a x correspond donc la multiplication de F (k)
par ik. Plus generalement, pour la derivee dordre m, on a :


m
F f (m) (x) = (ik) F (k).

(3.13)

Le resultat (3.13) conduit `

a une majoration importante. De la formule
m

f (m) (x)eikx dx,

(ik) F (k) =

(3.14)

on deduit linegalite :
m

|f (m) (x)| dx.

|k| |F (k)|

(3.15)

Plus f (x) est derivable, `

a derivees integrables, plus sa transformee de Fourier F (k)
decrot rapidement `
a linfini.
3.7. D
erivation de F (k) par rapport `
ak
On a

d
d
F (k) =
dk
dk

f (x)eikx dx,

(3.16)

Exemples

23

soit, en derivant sous le signe somme :

d
F (k) = i
dk



xf (x)eikx dx = F ixf (x) .

(3.17)

(La derivation sous le signe somme est legitime si xf (x) est integrable). Plus
generalement, on a :


m
F (ix) f (x) = F (m) (k).

(3.18)

Ce resultat conduit encore `

a une majoration :
|F

(m)

(k)|

|x| |f (x)| dx.

(3.19)

Plus f (x) decrot rapidement `

a linfini, plus F (k) est derivable (avec des derivees
bornees).

4. Exemples
Sur les trois exemples ci-dessous, on peut verifier les proprietes de la transformation de Fourier citees au paragraphe 3.
4.1. Transform
ee de Fourier de la gaussienne
On peut montrer (soit en resolvant une equation differentielle, soit en utilisant
lanalyse complexe) que la fonction gaussienne
f (x) =

2
2
1
ex /2 ,
2

(4.1)

a pour transformee de Fourier une gaussienne :

F (k) = ek

2 /2

(4.2)

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

1
a
,
2
x + a2

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) = ea|k| .
(4.4)
4.3. Transform
ee de Fourier de la fonction porte
La fonction porte est definie par :

1, |x| a
f (x) =
0, |x| > a.
Elle a pour transformee de Fourier la fonction :
sin ak
.
F (k) = 2
k

(4.5)

(4.6)

5. Convolution et transformation de Fourier

On definit le produit de convolution de deux fonctions f (x) et g(x) appartenant `
a L1 par la formule :
Z
[f g](x) =
f (u)g(x u) du.
(5.1)

On peut montrer que f g = g f appartient aussi `

a L1 (nous ladmettrons). On
peut alors calculer la transformee de Fourier de cette fonction :
Z Z


F f g =
eikx f (u)g(x u) dxdu.
(5.2)

Effectuons le changement de variables x u = v, dx = dv dans lintegrale (5.2).

On obtient :
Z Z


F f g =
eik(u+v) f (u) g(v) dudv.
(5.3)

Lintegrale double (5.3) est le produit (ordinaire) de deux integrales simples :

Z
Z
iku
F[f g] =
e
f (u) du
g(v)eikv 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.
` cause de la symetrie des integrales de Fourier et de Fourier inverse repreA
sentant respectivement f (x) et F (k), il existe un resultat analogue reliant le produit (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 th
eor`
eme de Parseval
Pour les series de Fourier nous avons vu au chapitre 1 legalite de Parseval :
1
2

|f (x)| dx =

|cn | .

(6.1)

n=

En termes physiques, cette egalite correspond au fait que lenergie totale dun
phenom`ene periodique est egale `
a la somme des energies associees aux differents
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 ParsevalPlancherel. On a legalite
Z

1
|f (x)| dx =
2

|F (k)| dk,

(6.2)

` la condition que les integrales existent2 . Plus generalement, on a, `

a
a la condition
que les integrales existent :
Z

1
f (x)g (x) dx =
2

F (k)G (k) dk.

(6.3)

Demontrons la formule (6.3). On a

Z
Z
Z
1

G (k)eikx dkdx,
f (x)g (x) dx =
f (x)
2

Z Z
1
=
f (x)G (k)eikx dkdx
2
Z
Z
1

=
G (k) dk
f (x)eikx dx
2

Z
1
F (k)G (k) dk.
=
2

(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 :
Z
Z
1
2
2
|f (t)| dt =
|F ()| d.
(6.5)
2

Les deux integrales ci-dessus representent lenergie totale de la vibration. La puissance instantanee dissipee est : en mecanique f (t)v(t) (force vitesse), en electricite V (t)I(t) (tension courant). Lintegrale temporelle represente donc lenergie
totale. Lintegrale au second membre de lequation (6.5) correspond `
a une decomposition 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 = x1 , x2 , . . . , xn de lespace `
a n dimensions Rn et
un point k = k1 , k2 , . . . , kn de Rn . On consid`ere une fonction f (r) appartenant `
a
1
n
L (R ), cest-`
a-dire telle que :
Z
|f (r)| dr < +.
(7.1)
Rn

Sa transformee de Fourier est une fonction F (k) definie par

Z
F (k) =

f (r)eik.r dr.

(7.2)

Rn

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) = f1 (x1 )f2 (x2 ) . . . fn (xn ),

(7.3)

sa transformee de Fourier se factorise egalement :

F (k) = F[f1 f2 . . . fn ] = F1 (k1 )F2 (k2 ) . . . Fn (kn ).

(7.4)

Il existe un autre cas simple, cest celui o`

u la fonction f (x1 , x2 , . . . , xn ) est


Pn
1/2
2
fonction seulement de r =
. La fonction f (r) est alors invariante par
i=1 xi
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. Transform
ee de Fourier dune fonction radiale `
a deux dimensions
On a :

f (r)eik.r dr.

F (k) =

(7.5)

R2

En utilisant dans le plan des coordonnees polaires r et definies en prenant comme

axe polaire la direction du vecteur k, on a :
Z 2
Z
d eikr cos .
(7.6).
dr rf (r)
F (k) =
0

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 zero3 J0 (x), on obtient le resultat suivant :
Z
F (k) = 2
rJ0 (kr)f (r) dr.
(7.7)
0

7.2. Transform
ee de Fourier dune fonction radiale `
a trois dimensions
On a :

f (r)eik.r dr.

F (k) =

(7.8)

R3

M
r

O
y

Figure 1
3

Il sagit de la repr
esentation int
egrale :
J0 (x) =

1
2

eix cos d.

28

Chapitre 2 : Transformation de Fourier

En utilisant dans lespace des coordonnees polaires definies en prenant laxe

Oz selon la direction du vecteur k (Figure 1), on a :
Z

dr r f (r)

F (k) =

eikr 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 :
Z
sin kr
r2
F (k) = 4
f (r) dr.
(7.10)
kr
0
Ce resultat est important en pratique, par exemple dans la theorie de la diffusion
par un potentiel central.

8. Transformee de Fourier des fonctions de carre sommable

8.1. Conservation de la norme
Nous avons jusquici donne la definition de la transformee de Fourier des
fonctions appartenant `
a lespace L1 des fonctions integrables, tout en indiquant
quon peut aussi definir la transformee de Fourier dans dautres cas. Un cas pratique important en physique, notamment en mecanique quantique et en optique,
est celui des fonctions appartenant `
a lespace L2 des fonctions de carre sommable
(cest-`
a-dire de carre integrable), telles que :
Z
2
|f (x)| dx < +.
(8.1)

Entre les fonctions f (x) et F (k), on a legalite de Parseval,

Z
Z
1
2
2
|f (x)| dx =
|F (k)| dk,
2

(8.2)

qui exprime que, dans lespace L2 des fonctions de carre sommable, la transformation de Fourier conserve la norme.
Les fonctions de carre sommable jouent un grand r
ole en physique. En meca2
nique quantique le carre |(x)| des fonctions donde (x) represente une densite
de probabilite. La relation
Z
2

|(x)| dx = 1,

(8.3)

montre que toute fonction donde appartient `

a L2 .
8.2. Relation dincertitude
Considerons pour fixer les idees une fonction du temps. Plus cette fonction
varie rapidement, plus sa transformee de Fourier setend vers les frequences angulaires elevees. Il sensuit que, plus un signal est bref, plus sa transformee de Fourier

Transformee de Fourier des fonctions de carre sommable

29

` la limite, une impulsion de Dirac4 a une transformee

decrot lentement `
a linfini. A
de Fourier non decroissante `
a linfini. Inversement, plus la transformee de Fourier
decrot rapidement, plus le signal decrot lentement. Cela peut sexprimer quantitativement de differentes 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 defini par
2

(x) = hx2 i hxi ,

(8.4)

o`
u la moyenne de x et la moyenne de x2 sont definies respectivement par :
R
hxi = R

x|(x)| dx
2

|(x)| dx

x2 |(x)| dx
hx i = R
.
2
|(x)| dx
R

(8.5)

Si (k) designe la transformee de Fourier de (x), on consid`ere aussi lecart

quadratique moyen k defini par
2

(k) = hk 2 i hki ,

(8.6)

o`
u la moyenne de k et la moyenne de k 2 sont definies respectivement par :
R
hki = R

k|(k)| dk
2

|(k)| dk

k 2 |(k)| dk
hk i = R
.
2
|(k)| dk
R

(8.7)

On peut montrer que les ecarts quadratiques moyens x et k verifient linegalite

suivante :
x k 12 .

(8.8)

La relation (8.8) est connue en mecanique quantique sous le nom de relation

dincertitude de Heisenberg.

La fonction de Dirac est introduite au chapitre 3.