41

Chapitre 3
Transformation de Fourier
3.1 Dnition et premires proprits
3.1.1 Dnition
Soit f une fonction de L
1
(IR). On appelle transforme de Fourier de f la fonction de la variable k IR, note F
ou F[f], telle que :
F[f](k) = F(k) =
1

2
_
f(x) e
ikx
d(x)
Cette dnition peut direr dune constante dans certains ouvrages.
Dnition :
Remarques
Pour que cette expression ait un sens il faut que f(x) e
ikx
soit sommable, ce qui est assur par le fait que
f L
1
(IR)
Si f et g sont deux fonctions de L
1
(IR) telles que f = g presque partout sur IR alors F[f] = F[g]
Proposition
Soit f L
1
(IR), on a :
1. F[f] est borne
2. F[f] est continue
3. lim
|k|+
F[f] = 0
Exemples
On considre la fonction f dnie par :
f =
_
1 si x ] a,a[
0 sinon
a > 0
Sa transforme de Fourier est dnie pour tout k rel comme :
F[f](k) =
1

2
_
f(x) e
ikx
d(x)
=
1

2
_
a
a
e
ikx
dx
=
_
2

a
sin ka
ka
42 CHAPITRE 3. TRANSFORMATION DE FOURIER
Remarque : la transforme de Fourier nappartient pas L
1
(IR).
a -a 0
1
-
F
-
2
a
On considre la fonction gaussienne dnie sur IR par f(x) = e
ax
2
, avec a IR
+
. La transforme de Fourier de
f est aussi une gaussienne, et sexprime comme :
F(k) =
1

2a
e

k
2
4a
Si on considre la largeur du pic 1/e du maximum, on trouve que le produit xk est constant (cf principe
dincertitude dHeisenberg en mcanique quantique).
Remarque : pour calculer la transforme de Fourier de f, on utilise souvent le thorme des rsidus.
3.1.2 Proprits
Linarit
La transforme de Fourier est une application linaire de L
1
(IR) dans lespace des fonctions :
(f
1
,f
2
) L
1
(IR), (b
1
,b
2
) C F[b
1
f
1
+ b
2
f
2
] = b
1
F[f
1
] + b
2
F[f
2
]
Parit et ralit
On a les rsultats suivants :
f F[f]
paire paire
impaire impaire
relle symtrie hermitique : F(k) = F(k)
imaginaire pure symtrie anti-hermitique : F(k) = F(k)
Changement dchelle et translation
Thorme de changement dchelle
Soit f sommable, et a IR

, alors on a :
F[f(ax)](k) =
1
|a|
F[f]
_
k
a
_
Thorme de translation
Soit f sommable, et b IR, alors on a :
F[f(x + b)](k) = e
ikb
F[f](k)
On dit que la transforme de Fourier a subit un dphasage.
3.2 Formules
3.2.1 Transforme de Fourier de la drive
Thorme
Soit f une fonction sommable et partout continue, drivable presque partout et telle que f

soit sommable. Alors

on a :
F[f

](k) = ik F[f](k)
3.2. FORMULES 43
Thorme : gnralisation
Soit f telle que ses m1 drives existent et soient sommables, partout continues, et telle que la drive dordre
m de f existe presque partout et soit sommable. Alors :
F
_
f
(m)
_
(k) = (ik)
m
F[f](k)
De ces deux thormes, ont peut dduire un rsultat concernant la vitesse de dcroissance vers zro de la transforme
de Fourier de f en fonction de lordre maximal de drivation de f. En eet, si f est telle que f
(m)
soit sommable et
dnie presque partout, alors sa transforme de Fourier est borne :
M > 0, k IR, |(ik)
m
F[f](k)| M
Donc , si k = 0, on a :
|F[f](k)|
M
|k|
m
On voit donc que si f est indniment drivable, et que toutes ses drives sont sommables, la transforme de
Fourier de f dcrot linni plus vite que nimporte quelle puissance de
1
|k|
, ce qui se vrie aisment en prenant
lexemple dune fonction gaussienne.
3.2.2 Transforme de Fourier de x xf(x)
Thorme
Soit f une fonction sommable sur IR telle que la fonction dnie par x xf(x), avec x rel, soit sommable sur
IR. Alors F[f(x)](k) est drivable sur IR et lon a :
F[xf(x)](k) = i
d
dk
F[f](k)
Thorme : gnralisation
Soit f sommable sur IR, telle que la fonction x x
m
f(x) soit sommable sur IR. Alors la transforme de Fourier
de f est m fois drivable sur IR et on a :
F [x
m
f(x)] (k) = i
m
d
m
dk
m
F[f](k)
3.2.3 Produit de convolution
Dnition du produit de convolution
Soient f et g deux fonctions sommables sur IR.
Lintgrale
_
f(x x

) g(x

) d(x

) existe pour presque tout x, et dnit une fonction L

1
(IR) appele produit
de convolution de f et g et note f g :
_
f g
_
(x) =
_
f(x x

) g(x

) d(x

)
Proposition
Le produit de convolution est commutatif
f g = g f
Thorme
Soit f et g deux fonctions sommables sur IR. On a :
F[f g] =

2 F[f] F[g]
44 CHAPITRE 3. TRANSFORMATION DE FOURIER
Dmonstration

2 F[f](k) F[g](k) =
1

2
_
f(X) e
ikX
d(X)
_
g(X

) e
ikX

d(X

)
=
1

2
_ _
f(X) e
ikX
g(X

) e
ikX

d(X) d(X

)
(en posant x = X + X

et x

= X

)
=
1

2
_ _
f(x x

) g(x

) e
ikx
d(x) d(x

)
=
1

2
_ __
f(x x

) g(x

) d(x

)
_
e
ikx
d(x)
=
1

2
_
_
f g
_
(x) e
ikx
d(x)
= F[f g](k)
3.2.4 Inversion de Fourier
Thorme dinversion
Soit f L
1
(IR), et soit F sa transforme de Fourier. Si F est sommable alors on a presque partout :
f(x) =
1

2
_
F(k) e
+ikx
d(k)
Soit g L
1
(IR). On dnit loprateur inverse F

par :
F

[g](x) =
1

2
_
g(k) e
+ikx
d(k)
Dnition :
Proposition
Soit f une fonction sommable sur IR. Si sa transforme de Fourier F est sommable sur IR, alors presque partout
on a :
f(x) = F

_
F[f]

(x)
3.2.5 Application la rsolution dune quation intgrale
On considre lquation intgrale de type Fredholm, o f est une fonction sommable sur IR:
_
f(x x

) f(x

) d(x

) =
1
x
2
+ 1
On reconnat lexpression du produit de convolution de f par elle mme, donc on a :

2
_
F[f](k)
_
2
= F
_
1
x
2
+ 1
_
(k) =
1

2
_
+

e
ikx
1 + x
2
dx =
1

2
e
|k|
On a donc :
F[f](k) =
1

2
e
|k|/2
On applique maintenant loprateur inverse, et on obtient nalement :
f(x) =
2

1
4x
2
+ 1
3.2. FORMULES 45
3.2.6 Fonctions sommables, de carr sommable
Thorme de Plancherel
Soit f une fonction sommable et de carr sommable sur IR. Alors sa transforme de Fourier F est de carr
sommable et on a la relation : _
|f(x)|
2
d(x) =
_
|F(k)|
2
d(k)
3.2.7 Transforme de Fourier dune fonction de plusieurs variables
Soient les vecteurs de IR
n
x = (x
1
,...,x
n
) et

k = (k
1
,...,k
n
). On dnit un produit scalaire et une norme :

k =
n

i=1
x
i
k
i

x =

_
n

i=1
x
2
i
Avec ces notations, on considre f une fonction sommable de IR
n
dans C. On dnit la transforme de Fourier de
f par :
F
_

k
_
=
1
(2)
n/2
_
f(

x ) e
i

k

x
d(

x )
avec : d(

x ) = d(x
1
) ... d(x
n
)
Dnition :
Remarque
Soit f(x
1
,x
2
) L
1
(IR
2
). Si x
1
f(x
1
,x
2
) L
1
(IR
2
) alors :

k
1
F
_
f(x
1
,x
2
)

(k
1
,k
2
) = i F
_
x
1
f(x
1
,x
2
)

(k
1
,k
2
)
Proposition
Si f est radiale, cest dire ne dpend que de la norme du vecteur

x , alors sa transforme est radiale.
Exemple
Le potentiel de Yukawa est donn par :
f(

x ) =
1

x
e

x
, > 0
Cest une fonction radiale. Sa transforme de Fourier est dnie pour tout

k par :
F
_

k
_
=
1
(2)
3/2
_
1

x
e

x
e
i

k

x
dx
1
dx
2
dx
3
Pour

k donn on passe en coordonnes sphriques avec le vecteur

x
3
suivant

k .
F
_

k
_
=
1
(2)
3/2
_
+
0
_

0
_
2
0
1
r
e
r
e
i

k r cos
r
2
sin dr d d
=
1
(2)
3/2
2
_
+
0
r e
r
__

0
e
i

k r cos
sin d
_
dr
=
_
2

k
2
+
2
F est bien une fonction radiale.
46 CHAPITRE 3. TRANSFORMATION DE FOURIER