1 Complément mathématique sur la mé-

canique quantique: Transformées de Fourier

et la distribution delta de Dirac
On se propose dans ce complément de rappeler quelques dé…nitions et
résultats élémentaires sur Transformées de Fourier et la distribution delta
de Dirac, qui seront utiles dans le cours de mécanique quantique.

1.1 Transformées de Fourier

Soit (x) une fonction a variables complexes, telle que l’intégrale du
R
+1
carré du module j (x)j2 dx converge sur R; on dit que (x) de carré
1
sommable sur R.

On défnit la transformée de Fourier de (x), notée ~ (p) g(p), p

étant l’impulsion, par:
Z+1
~ (p) = p 1 e
i
~
px
(x)dx; (1)
2 ~
1

on peut écrire aussi la transformée de Fourier en fonction du vecteur

d’onde k; comme
Z+1
1 ikx
(k) = p e (x)dx: (2)
2
1

On a alors la transformée de Fourier inverse:

Z+1
1 i
(x) = p e ~ px ~ (p)dp; (3)
2 ~
1

oubien
Z+1
1
(x) = p eikx (k)dx: (4)
2
1

Propriétés des TF:

1
Théorème de Parseval-Plancherel:
Z+1 Z+1 2
2
j (x)j dx = ~ (p) dp (5)
1 1

oubien
Z+1 Z+1
2 2
j (x)j dx = (k) dk (6)
1 1

) la TF conserve la norme.

Relation d’incertitude:
Si (x) est une fonction d’onde normalisée, alors d’après Parseval-
2
Plancherel, sa TF ~ (p) l’est aussi : j (x)j2 et ~ (p) décrivent
alors des lois de probabilité et on peut dé…nir les valeurs moyennes
:

Z+1
hxi = j (x)j2 xdx; (7)
1
Z+1 2
hpi = ~ (p) pdp (8)
1

et les ecarts-types de ces lois de probabilité :

q q
x = hx2 i hxi2 ; p = hp2 i hpi2 : (9)

On peut alors montrer que les ecarts-types x et x des lois de

2
probabilités j (x)j2 et ~ (p) véri…ent l’inégalité suivante :

~
x p ; (10)
2

C’est la relation d’incertitude de Heisenberg, bien connue en mé-

canique quantique. Donc, si la fonction j (x)j2 est piquée (x faible),
2
alors sa transformée de Fourier ~ (p) est etalée (p grand) et vice-
versa.

2
Exercice:
On montrera que si j (x)j2 est une gaussienne, alors on a:
1) la transformée de Fourier d’une gaussienne est une gaussienne.
2) on a l’égalité x p = ~2 . Donc les distributions gaussiennes
donnent la valeur minimale de la relation d’incertitude de Heisen-
berg.
Quelques intégrales utiles:
L’intégrale de Gauss:
Z+1 r
x2
e dx = : (11)
1

où est un paramètre réel strictement positif.

On a aussi les intégrales suivantes sont utiles:

Z+1 r
x2 1
x2 e dx = ; (12)
2
1
Z+1 r
2
i x x2
e dx = e 4 ; (13)
1
Z+1
dx
dx = : (14)
x2 + a2 a
1

Démonstration:
On choisit la fonction d’onde (x) telle que j (x)j2 est une gaussi-
enne normée :
1 x2 1 x2
(x) = 1 1
e 4a2 ) j (x)j2 = 1 e 2a2 ; (15)
(2 ) a 2
4 (2 ) a2

La transformée de Fourier de (x) s’écrit alors :

Z+1
~ (p) = p 1 e
i
~
px
(x)dx; (16)
2 ~
1
Z+1
1 i
px x2
= p A e ~ 4a2 dx; (17)
2 ~
1

3
avec
1
A= 1 1
; (18)
(2 ) 4 a 2

sachant que
Z+1 r
2
x2
ei x
dx = e 4 (19)
1

donc
Z+1
i
px x2 p a2 2
p
e ~ 4a2 dx = 2a e ~2 ; (20)
1

d’où
1

~ (p) = 2a2 4 a2 p2
e ~2 ; (21)
~2
Conclusion:
1
1 x2 2a2 4 a2 p2
(x) = 1 e 4a2 ) ~ (p) = e ~2 : (22)
(2 ) 4 a 2
1
~2

~ (p) est bien une gaussienne : la TF d’une gaussienne est donc une
gaussienne.
on voit que la transformée de Fourier ~ (p) est aussi une gaussienne.

2) montrons mainteneant l’égalité: x p = ~2 .

calculons x: on a
q
x = hx2 i hxi2 ; (23)

donc
Z+1
x 2
= x2 j (x)j2 dx; (24)
1

avec
1 x2 1 x2
(x) = 1 1
e 4a2 ) j (x)j2 = 1 e 2a2 ; (25)
(2 ) a 2 4 (2 ) a 2

4
donc
Z+1
2 1 x2
x = 1 x2 e 2a2 dx; (26)
(2 ) a 2
1

or on a l’intégrale:
Z+1 r
x2 1
x2 e dx = ; (27)
2
1

donc
Z+1
2 1 x2
x = 1 x2 e 2a2 dx = a2 ; (28)
(2 ) a 2
1

on a
Z+1
1 x2
hxi = 1 xe 2a2 dx = 0; (29)
(2 ) 2 a 1

donc
q
x= hx2 i hxi2 = a: (30)

calculons maintenant p: on a
q
p = hp2 i hpi2 ; (31)

donc
Z+1 2
p2 = p2 ~ (p) dp; (32)
1

avec
1 p
~ (p) = 2a2 4 a2 p2 2 2a 2a2 p2
e ~2 ) ~ (p) =p e ~2 ; (33)
~2 ~

donc
p Z+1
2 2a 2a2 p2
p =p p2 e ~2 dp; (34)
~
1

5
 en utilisant l’intégrale: (ici c’est la variable p)
Z+1 r
x2 1
x2 e dx = ; (35)
2
1

donc
p Z+1
2 2a 2a2 p2 ~2
p =p p2 e ~2 dp = 2 ; (36)
~ 4a
1

on a
p Z+1
2a 2a2 p2
hpi = p pe ~2 dp = 0; (37)
~
1

donc
q
~
p = hp2 i hpi2 = : (38)
2a
d’où
~ ~
x p=a = ; (39)
2a 2
Donc les distributions gaussiennes donnent la valeur minimale de
la relation d’incertitude de Heisenberg.

Généralisation à 3 dimensions:
Les dé…nitions des TF se généralisent sans di…culté a 3 dimensions
:
Z+1
~ (! 1 i!!
p)= 3 e ~
p:r
(!
r )d3 r; (40)
(2 ~) 2
1

Z+1
1 i!!
(!
r)= 3 e ~ p : r ~ (!
p )d3 p; (41)
(2 ~) 2
1

1.2 La distribution delta de Dirac

La distribution delta de Dirac est dé…nie par:

(x) = 0; x 6= 0 (42)
(x) = +1; x = 0; (43)

6
et
Z+1
(x)dx = 1. (44)
1

Il su¢ t de choisir une fonction (x) piquée autour de 0 et d’aire

égale à 1, ce pic s’appele le pic de Dirac, on dit que (x) est une
fonction fortement piquée.

(x) véri…e les propriétés suivantes:

La dimension de la fonction est l’inverse d’une longueur.
(x) est une fonction paire :

( x) = (x); (45)

on a
1
( x) = (x); 2R (46)
j j

Pour toute fonction f (x) continue en x = 0, on a

Z+1
(x)f (x)dx = f (0); (47)
1

Par changement de variable, on dé…nit la fonction (x a) pour

laquelle :

Z+1
(x a)dx = 1; (48)
1
Z+1
(x a)f (x)dx = f (a); (49)
1

où la fonction f (x) continue en x = a:

La transformée de Fourier ~ (p) de la fonction (x a) vaut:

Z+1
~a (p) = p 1 e
i
~
px
(x a)dx: (50)
2 ~
1

7
 Donc d’après (49) :

~a (p) = p 1 e i
~
ap
: (51)
2 ~
Et en particulier :

~0 (p) = p 1 : (52)
2 ~

1.3 La fonction en mécanique quantique:

La fonction est une généralisation du cas discrêt au cas continu
du symbole de Kronecker n;n0 .

pour une base discrête fjun ig, la relation d’orthonormalisation sécrit

:

hun jun0 i = n;n0 ; (53)

Tout j i se développe alors dans cette base selon :

X
j i= cn jun i ; (54)
n

avec cn = hun j i = composante du ket j i sur le ket de base jun i.

Pour une base continue fj!

r ig, on écrira la relation d’orthonormalisation
:

h!
r j!
r 0 i = (!
r !
r 0 ): (55)

Tout j i se développe alors dans cette base j!

r i selon :
Z
j i = d3 r (! r ) j!
r i; (56)
R3

avec (! r ) = composante du ket j i sur le ket de base j! r i: la

! !
fonction d’onde ( r ) est donc la représentation j r i (position) du
ket j i.
On a alors :
Z Z
h r j i = d r ( r )h r j r i = d3 r0 (!
! 3 0 ! 0 ! !0
r 0 ) (!
r !
r 0 ) = (!
r );
R3 R3

8
 (57)

donc

h!
r j i = (!
r ); (58)

analogue a la relation hun j i = cn .

(!r ) s’appelle la représentation position de la fonction d’onde.