de Tours

Universite

20082009

M
ethodes math
ematiques pour la physique
Partie III: Fonctions sp
eciales
(UE 604 P 10h CM/10h TD/4h TP)
Oleg Lisovyi

`res
Table des matie
1. Alg`ebre lineaire rappels
2. Mecanique quantique, separation des variables et equation de Bessel
px et py
2.1. Diagonalisation simultanee de H,
et L
z
2.2. Diagonalisation simultanee de H
2.3. Un peu plus dalg`ebre
2.4. Resume
3. Fonctions de Bessel et leurs proprietes
3.1. Motivation et definition
3.2. Solutions canoniques
3.3. Relations de recurrence
3.4. Analyse asymptotique quand r +
4. Oscillateur harmonique
4.1. Analyse asymptotique
4.2. Analyse algebrique
4.3. Polyn
omes dHermite
5. Separation des variables en dimension 3 et harmoniques spheriques
5.1. Introduction
5.2. Alg`ebre du moment angulaire
5.3. Harmoniques spheriques et polynomes de Legendre

`bre line
aire rappels
1. Alge
Une matrice A M atnn est dite
symetrique si AT = A i, j Aij = Aji ,
hermitienne si A = A i, j Aij = Aji (rappelons que A

def
=

(AT )),

orthogonale si AAT = 1,
unitaire si AA = 1.
Exercice 1. Soient A, B M atnn . Montrer que
(a) (AB)T = B T AT ,
(b) (AB) = B A ,
(c) (AB)1 = B 1 A1 .
Exercice 2. Montrer que toute matrice symetrique reelle est hermitienne.

1
4
5
6
7
9
9
9
11
12
12
14
14
15
17
19
19
20
23

`bre line
aire rappels
Alge
Exercice 3. Definissons sur Cn le produit scalaire standard:
n
X
(x, y) = x y =
x
j yj
x, y Cn .
j=1

(Ici, x, y sont vus comme des colonnes n 1). Montrer quune matrice A M atnn est
hermitienne ssi pour tout x, y Cn on a (x, Ay) = (Ax, y).
Proposition 4. Matrices orthogonales forment un groupe, note O(n). Cest-`
a-dire, nous
avons les proprietes suivantes:
(1) si A, B O(n) alors AB O(n),
(2) si A O(n) alors A est inversible et A1 O(n).
 Demontrons dabord (1). Pour A, B O(n) on a
(AB)T (AB) = B T AT AB = B T 1 B = B T B = 1.
Pour montrer (2), notons que si A O(n) alors AAT = AT A = 1 implique
det(AAT ) = det A det AT = (det A)2 = 1.
Comme det A 6= 0, la matrice A est inversible. De plus

T
A1 A1 = (AAT )1 = 1,
donc A1 O(n).

Exercice 5. Montrer que les matrices unitaires forment un groupe (celui-ci est note U (n)).
Exercice 6. Montrer que lensemble de toutes les matrices symetriques nest pas un groupe.
Proposition 7. Soit A une matrice hermitienne. Alors
(1) toutes les valeurs propres de A sont reelles,
(2) les vecteurs propres correspondant aux valeurs propres distinctes sont orthogonaux.
 Effectivement si est une valeur propre de A et x est le vecteur propre correspondant
(une colonne), alors
x Ax = x x.
Dautre part, nous avons A = A et par consequent
x.
x Ax = x A x = (Ax) x = (x) x = x
P

Comme x x = nk=1 |xk |2 6= 0, on obtient = .

De facon analogue, si x, y sont 2 vecteurs propres de A et , sont les valeurs propres
associees, alors on a
x Ay = x y,
et dautre part
y = x y.
x Ay = x A y = (Ax) y = (x) y = x
Ceci implique soit = , soit x y = 0.

Une matrice A M atnn est dite diagonalisable sil existe une matrice inversible S et
une matrice diagonale Ad telles que SAd S 1 = A. Notons que la diagonale principale de
Ad est composee des valeurs propres de A.


1 2
Exercice 8. Demontrer que la matrice
nest pas diagonalisable.
0 1

`bre line
aire rappels
Alge
Theor`emes de diagonalisation:

une matrice A M atnn avec n valeurs propres distinctes est diagonalisable,

toute matrice symetrique reelle A est diagonalisable par une transformation orthogonale reelle P O(n): A = P Ad P T ,
toute matrice hermitienne est diagonalisable par une transformation unitaire P
U (n): A = P Ad P .
Exercice 9. Soit A une matrice hermitienne avec les valeurs propres toutes distinctes.
Comment peut-on construire une transformation unitaire diagonalisant A `a partir des
vecteurs propres de A? Quest-ce quon peut faire sil y a des valeurs propres multiples?
Exercice 10 (mini-theor`eme spectral). Soit A une matrice hermitienne nn avec les valeurs
propres {j } et les vecteurs propres (colonnes) associes {vj }, j = 1, . . . , n. Montrer que
A=

n
X

j vj vj .

j=1

Rappel: si u est une colonne l 1 et w est une ligne 1 m, alors u w et par definition
une matrice l m avec (u w)ij = ui wj (i = 1, . . . , l, j = 1, . . . , m).
Proposition 11. Soient A, B M atnn deux matrices diagonalisables verifiant
[A, B]

def
=

AB BA = 0.

Alors
(1) A et B peuvent etre diagonalisees simultanement (cest-`
a-dire, par la meme transformation),
(2) on peut choisir lensemble des vecteurs propres de A de telle mani`ere quils soient
simultanement les vecteurs propres de B.
 (1) Nous allons demontrer ce resultat dans le cas o`
u les valeurs propres de A sont
distinctes. Soient S une matrice inversible et Ad une matrice diagonale telles que A =
= S 1 BS B = S BS
1 . Les matrices Ad et B
commutent car
SAd S 1 . Notons B
= [S 1 AS, S 1 BS] = S 1 [A, B]S = 0.
[Ad , B]
Dautre part, comme (Ad )ij = i ij , explicitement on a
ik = (Ad B
BA
d )ik =
[Ad , B]

n 
X


jk B
ij j jk = (i k )B
ik .
i ij B

j=1

ik = 0. Mais cela signifie que

Par consequent pour tout i et k tels que i 6= k nous avons B

la matrice B est diagonale.

(2) Soient S une matrice inversible et Ad , Bd deux matrices diagonales telles que
A = SAd S 1 , B = SBd S 1 . Notons

..
..

0 . 0

0 . 0
1

..
..

.
0
0

.
0

2
2
Ad =
Bd =
,

..
..
0
0 .
0
0 .
n

canique quantique, se
paration des variables et e
quation de Bessel
Me
Ces 2 matrices ont les memes vecteurs propres


1
0
0
1


x1 = 0 ,
x2 = 0 ,


..
..
.
.

...,

0
..

xn = . .
0
1

Il est facile de verifier que les vecteurs vj = Sxj (j = 1, . . . , n) sont les vecteurs propres
de A et B. On a par exemple:
Avj = SAd S 1 vj = SAd S 1 Sxj = SAd xj = j Sxj = j vj ,
et, de facon analogue, Bvj = j vj .

Lapplication de la meme idee (diagonalisation simultanee) `a la resolution des equations
aux derivees partielles sappelle la procedure de separation des variables. Aussi, on lutilise
tr`es souvent (quoique implicitement) en mecanique quantique, o`
u les matrices hermitiennes
sont remplacees par des operateurs symetriques/autoadjoints (grosso modo ca correspond
`a la limite n ). Un exemple de telles applications sera considere dans le section
suivante.

canique quantique, se
paration des variables et e
quation de Bessel
2. Me
On sinteresse `
a lequation suivante pour une fonction de 2 variables reelles x, y:

 2
2

+
+ (x, y) = 0.
(2.1)
x2 y 2
Nous allons imposer des conditions au bord sur (x, y) un peu plus tard.
Si lon note
 2


H = 2 =
+
, E = ,
x2 y 2
= E
lequation (2.1) peut etre vu comme lequation de Schroedinger stationnaire H

decrivant une particule libre en dimension 2 (H est lhamiltonien de la particule, E est

son energie). Quelques obervations:
est formellement symetrique par rapport au produit scalaire
Loperateur H
ZZ
(2.2)
(, ) =
(x, y) (x, y) dx dy,
R2

) pour tout , qui sannulent quand x, y .

cest-`
a-dire (, H)
= (H,
En effet, tous les operateurs physiques (operateurs de position, dimpulsion,
moment angulaire, ...) ont cette propriete.
en integrant par parties.
Exercice 12. Verifiez laffirmation sur H
ressemblent
Vu lExercice 3, on peut donc sattendre `a ce que les proprietes de H
celles des matrices hermitiennes (valeurs propres reelles, vecteurs propres associes
aux valeurs propres distinctes sont orthogonaux, etc).

canique quantique, se
paration des variables et e
quation de Bessel
Me

commute avec les operateurs px = ix , py = iy , et en plus px ,

Loperateur H
py commutent entre eux. Autrement dit, pour tout (x, y) on a
px ](x, y) = 0,
[H,
py ](x, y) = 0,
[H,
[
px , py ](x, y) = 0.
Par exemple:
px ] = (H
px px H)

[H,
= i(xx + yy )x ix (xx + yy ) = 0.
px , py simultanement cestPar consequent on peut essayer de diagonaliser H,
`a-dire, de trouver leurs fonctions propres communes.
Remarque 13. px , py sont les operateurs dimpulsion de la particule (projections de
= p2x + p2y . Du point de vue general,
limpulsion sur les axes x, y). Notons que H
px ] = [H,
py ] = 0 est lie `a linvariance du syst`eme par rapport aux
le fait que [H,
translations suivant x et y.
Exercice 14. Les operateurs de position x
, y sont definis par
(
x)(x, y) = x(x, y),

(
y )(x, y) = y(x, y).

Montrer que [
x, px ] = [
y , py ] = i et [
x, py ] = [
y , px ] = 0.
En ecrivant le laplacien en coordonnees polaires , (rappel: x = cos , y =
sin )
1
1 2
2
+ 2
,
2 = 2 +

2
commute avec loperateur L
z = i . Ceci est lie `a
on peut constater que H
z est
linvariance du syst`eme par rapport aux rotations dans le plan xy: en effet, L
loperateur de la projection du moment angulaire sur laxe z. Nous allons donc
et L
z.
essayer de diagonaliser simultanement H
z sont symetriques par rapport au
Exercice 15. Demontrer que les operateurs px , py et L
produit scalaire (2.2).
px et py . Soit (x, y) une fonction propre de
2.1. Diagonalisation simultan
ee de H,
px . Nous allons noter kx la valeur propre correspondante. Lequation px = kx secrit
explicitement comme:

(x, y) = kx (x, y),

i
x
et a pour solution
(x, y) = g(y)eikx x ,
o`
u g(y) est une fonction arbitraire. Si verifie en plus py = ky , alors
ig 0 (y) = ky g(y)
ce qui donne g(y) = Ceiky y . Donc le seul vecteur propre commun kx ,ky (x, y) de px et py ,
associe aux valeurs propres kx , ky est:
kx ,ky (x, y) = eikx x+iky y .
et que la valeur propre
Exercice 16. Verifiez que kx ,ky est une fonction propre de H,
2
2
associee est = kx + ky .

canique quantique, se
paration des variables et e
quation de Bessel
Me

La solution kx ,ky (x, y) est souvent interpretee comme une onde plane monochromatique. Comme toute combinaison lineaire des solutions dune equation differentielle lineaire
= secrit sous la forme dune
est encore une solution, la solution generale de H
superposition des ondes planes:
ZZ


(x, y) =
dkx dky c(kx , ky ) kx ,ky (x, y) kx2 ky2 ,
o`
u c(kx , ky ) est une fonction arbitraire. La fonction est necessaire pour choisir parmi

les fonctions kx ,ky celles qui correspondent `a la meme valeur propre de H.

Notons aussi que les fonctions kx ,ky (x, y) sont orthogonales par rapport au produit
scalaire (2.2), comme on aurait pu attendre:
ZZ
kx0 ,ky0 (x, y) kx ,ky (x, y) dx dy =
(kx0 ,ky0 , kx ,ky ) =
2
Z ZR
0
0
ei(kx kx )x+i(ky ky )y dx dy =
=
R2
2

= 4 (kx kx0 ) (ky ky0 ).

et L
z . Ici il est tr`es commode de passer en
2.2. Diagonalisation simultan
ee de H
2
coordonnees polaires et poser = k . Supposons que (, ) est une fonction propre de
z , avec la valeur propre associee egale `a . Alors on a i (, ) = (, ), et donc
L
(, ) = g () ei ,

(2.3)

o`
u g est une fonction arbitraire de . Comme est langle polaire, la fonction doit etre
periodique en :
(, + 2) = (, ),
e2i

mais ceci implique

= 1, et par consequent est un nombre entier ( Z). En sub = k 2 , on obtient une equation differentielle
stituant par la suite (2.3) dans lequation H
ordinaire:
 2


d
1 d
2
2
+
+ k 2
g () = 0.
d2 d

Exercice 17. Introduisons `

a la place de une nouvelle variable r = k et definissons
h (r) = g (r/k) g () = h (k). Montrer que cette nouvelle fonction h (r) verifie
lequation
 2


1 d
2
d
(2.4)
+
+
1

h (r) = 0.
dr2 r dr
r2
Lequation (2.4) sappelle lequation de Bessel. Comme toute equation differentielle de
2`eme ordre, elle a deux solutions independantes h,1 (r), h,2 (r). Il y a plusieurs facons
de choisir ces deux solutions, car toute combinaison lineaire h,1 + h,2 est encore une
solution. Un certain choix canonique que nous allons considerer dans la section suivante
donne ce quon appelle les fonctions de Bessel dordre de 1`ere et 2`eme esp`ece. Cest le
premier exemple des fonctions speciales
que nous allons etudier.


Les fonctions (, ) = h k ei , Z sont appelees les ondes cylindriques. De
facon analogue `
a la precedente:

canique quantique, se
paration des variables et e
quation de Bessel
Me

= k 2 secrit sous la forme dune superposition de ces

La solution generale de H
ondes:
X





(2.5)
(, ) =
h,1 k + h,2 k ei .
Z

0
Soient h une solution quelconque de lequation de Bessel (2.4) avec Z et h
0
une solution quelconque de la meme equation avec remplace par Z. Si 6= 0 ,
0 (k)ei 0 sont associees aux
les fonctions (, ) = h (k)ei et 0 (, ) = h
z et par consequent sont orthogonales:
valeurs propres differentes de L
Z Z 2
0 (k) h (k) ei( 0 )
d h
d
( 0 , ) =
0
Z 0
0 (k) h (k) d.
h
= 2 0
0

(k 0 )ei sont associees

Remarque 18. Les fonctions (, ) = h (k)ei et (, ) = h
z , mais aux valeurs propres differentes k 2 et k 02 de H.
Alors
`a la meme valeur propre de L
ces fonctions sont orthogonales et on peut sattendre `a ce que
Z


(k 0 ) h (k) d k 2 k 02 .
(2.6)
h
0

= k 2 , peut
Londe plane k,0 = eikx = eik cos , comme toute autre solution de H
etre decomposee en ondes cylindriques:
X
0
eik cos =
h 0 (k)ei .
0 Z

En multipliant cette equation par ei avec Z et en integrant ensuite par rapport `a

entre 0 et 2, on obtient
Z 2
1
eir cos i d.
(2.7)
h (r) =
2 0
On sait que par construction h (r) verifie lequation de Bessel (2.4), alors lintegrale `a
droite de (2.7) la verifie egalement.
Exercice 19. Montrer que lintegrale (2.7) verifie lequation de Bessel en la substituant
directement dans (2.4).
2.3. Un peu plus dalg`
ebre.
z = i defini precedemment sous
Exercice 20. Montrer quon peut ecrire loperateur L

la forme Lz = x
py ypx . Comparer avec lexpression classique de la projection du moment
angulaire dune particule sur laxe z.
z , px et py verifient les relations de commutation:
Exercice 21. Montrer que les operateurs L
(2.8)

z , px ] = i
[L
py ,

z , py ] = i
[L
px ,

canique quantique, se
paration des variables et e
quation de Bessel
Me

z = x
 Pour la demonstration, il suffit dutiliser lexpression L
py ypx trouvee dans
lexercice precedent et les relations de commutation de lExercice 14. Par exemple:
z , px ] = (
[L
xpy ypx )
px px (
xpy ypx ) =




= puisque [
y , px ] = 0 = x
py px px x
py =




= puisque [
px , py ] = 0 = [
x, px ]
py = i
py .
Deuxi`eme relation sobtient par le meme raisonnement.
Introduisons `
a la place des operateurs px , py leurs combinaisons lineaires

p = px i
py .

p+ = px + i
py ,

Exercice 22. Montrer que p verifient les relations de commutation

z , p+ ] = p+ ,
z , p ] =
(2.9)
[L
[L
p .
Les expressions (2.9) se rev`elent extremement utiles. Supposons par exemple quune
et L
z , avec les valeurs propres associees
fonction est une fonction propre commune de H
2
= k et . Alors la fonction + = p+ est aussi une fonction propre commune, avec la
et la valeur propre de L
z egale `a + 1. Effectivement, comme
meme valeur propre de H,
p+ ] = [H,
px ] + i[H,
py ] = 0, on a
[H,
+=H
p+ = p+ H
=
H
p+ = + .
De facon analogue, en utilisant la premi`ere des relations (2.9), on en deduit:
+ = L
p+ = (
+ p+ ) = ( + 1)
L
p+ L
p+ = ( + 1)+ .
+1 (k)ei(+1) ,
Dautre part on a necessairement (, ) = h (k)ei et + (, ) = h
+1 est une solution de la meme
o`
u h est une solution de lequation de Bessel (2.4) et h
equation avec remplacee par + 1.
Exercice 23. Montrer que
p = px i
py = e


.

Proposition 24. Soit h (r) une solution de lequation de Bessel (2.4). Alors la fonction



h (r)
(2.10)
g+1 (r) =
dr
r
verifie la meme equation avec remplacee par + 1.
 Considerons la fonction (, ) = h (k)ei . En appliquant p+ `a cette fonction on
trouve





i
d

i
i
i(+1)
+ (, ) = p+ (, ) = e
+
h (k)e
=e

h (k),

d
do`
u le resultat.

Exercice 25. Soit h (r) une solution de lequation de Bessel (2.4). Montrer que la fonction


d

(2.11)
g1 (r) =
+
h (r)
dr
r
verifie la meme equation avec remplacee par 1.

te
s
Fonctions de Bessel et leurs proprie

2.4. R
esum
e.
(1) Equation de Bessel (2.4) apparat lorsquon separe les variables et dans lequa ) = 0 avec H
= 2 , qui sinterpr`ete comme equation de Schroedinger
tion (H
stationnaire pour une particule libre en dimension 2.
(2) Solutions de lequation de Bessel doivent verifier des relations dorthogonalite de

la forme (2.6) qui decoulent de la symetrie de H.

(3) Solutions de lequation de Bessel admettent des representations integrales de type
(2.7) qui correspondent, en langage physique, `a la decomposition des ondes cylindriques en ondes planes.
(4) Differentes possibilites de separation des variables (x et y, et ) dans lequation
) = 0 sont liees `
z qui commutent
(H
a lexistence des operateurs px , py , L
De tels operateurs expriment les invariances du syst`eme considere (ici
avec H.
translations et rotations du plan).
z permettent dobtenir, par une methode
(5) Relations de commutation entre px , py et L
purement algebrique, certaines relations de recurrence satisfaites par les solutions
de lequation de Bessel. A partir dune solution de (2.4) on peut construire un
nombre infini de solutions de la meme equation avec remplace par 1, 2,
3, . . .
te
s
3. Fonctions de Bessel et leurs proprie
3.1. Motivation et d
efinition. Nous allons maintenant etudier lequation de Bessel


 2
1 d
2
d
+
+ 1 2
h(r) = 0
(3.1)
dr2 r dr
r
de facon plus systematique. On suppose ici que est un param`etre reel quelconque (dans
lequation de Bessel consideree precedemment Z) et r R+ .
Faisons une hypoth`ese sur le comportement de la fonction h(r) quand r 0:
h(r 0) = r + o (r ) ,


h0 (r 0) = r1 + o r1 ,


h00 (r 0) = ( 1)r2 + o r2 .
En substituant dans lequation (3.1), on trouve






( 1)r2 + o r2 + r2 + o r2 2 r2 + o r2 = 0
|
{z
} |
{z
} |
{z
}
h00 (r)

h0 (r)/r

(1 2 /r2 )h(r)

2

do`
u (2 2 )r2 + o r
= 0 et donc les valeurs possibles de sont = . Posons
maintenant = , > 0 et essayons de trouver une solution de lequation de Bessel sous
la forme dune serie

X
h(r) =
bj r+j .
j=0

Substituons cette serie dans lequation (3.1). Ca donne

bj ( + j)( + j 1)r

+j2

j=0

bj ( + j)r

+j2

j=0

{z

h00 (r)

bj r

+j

j=0

{z

h0 (r)/r

bj 2 r+j2 = 0,

j=0

{z

h(r)

{z

2 h(r)/r2

10

te
s
Fonctions de Bessel et leurs proprie

ce qui peut etre reecrit, en calculant le coefficient de chaque puissance r+j , sous la forme

X



bj2 + bj ( + j)2 2 r+j2 = 0.
j=0

Par consequent on obtient une relation de recurrence pour les coefficients bj :

(3.2)

bj = (1)

bj2
.
j(2 + j)

Exercice 26. Montrer que cette relation implique b2k+1 = 0 pour k = 0, 1, . . . . Pour
ceci, on pourra considerer (3.2) avec j = 1, 3, 5 . . . et utiliser le fait que b1 = 0.
En posant par la suite b2k = ak , k = 0, 1, . . . , on reecrit la relation (3.2) comme
(3.3)

ak =

(1) ak1
,
22 k( + k)

k = 1, 2, . . . , .

Exercice 27. Montrer (e.g. par induction) que la solution de (3.3) a la forme suivante:
(3.4)

ak = a0

( + 1)
(1)k
,
2k
k! ( + k + 1)
2

o`
u (z) note la fonction gamma dEuler (en particulier, elle verifie (z + 1) = z(z)).
La valeur de a0 nest pas fixe, ce qui est tout `a fait naturel: si h(r) verifie (3.1), alors
c h(r) la verifie egalement pour tout c C. Si on pose a0 = 2 /( + 1), la formule
(3.4) se simplifie:
(3.5)

ak =

(1)k 22k
,
k! ( + k + 1)

k = 0, 1, . . . , .

La solution de lequation de Bessel qui correspond `a ce choix des coefficients a un nom:

cest la fonction de Bessel dordre de 1`ere esp`ece:
(3.6)

J (r) =

X
(1)k (r/2)2k+
k=0

k! ( + k + 1)

Quelques proprietes de J (r):

La serie (3.6) est definie et converge pour tout C. Rappelons que les points
z = 1, 2, . . . sont des p
oles simples de (z), ce qui signifie que pour = k,
k N les k premiers termes dans le developpement (3.6) sont nuls.
Comportement asymptotique quand r 0: si R\{1, 2, . . .}, alors
J (r 0) =

2
r + O r+1 .
( + 1)

De meme, si = k, k N, alors


2k
k
k+1
r +O r
.
Jk (r 0) =
(k + 1)
Exercice 28. Montrer que pour Z nous avons J (r) = (1) J (r).

11

te
s
Fonctions de Bessel et leurs proprie

3.2. Solutions canoniques. Comme lequation de Bessel est invariante par rapport au
changement et est verifiee par J (r), la fonction J (r) verifie (3.1) egalement.
Comportement de J (r) quand r 0 montre que pour
/ Z ces deux solutions sont
lineairement independantes et donc engendrent toutes les solutions (par contre pour Z
il y a une relation lineaire entre J (r), voir Exercice 28).
Une autre facon dobtenir le meme resultat est de calculer le wronskien W (J , J ).
Rappelons que le wronskien de deux solutions y1 , y2 de lequation y 00 + py 0 + qy = 0 est
defini comme
W (y1 , y2 ) = y1 y20 y10 y2 .
Exercice 29. Montrer que W (y1 , y2 ) verifie lequation (ln W )0 = p.
Exercice 30. Montrer que y1 et y2 ne sont pas independantes si et seulement si leur wronskien W (y1 , y2 ) est nul.
Dans le cas de lequation de Bessel p = 1/r et donc
C
,
r
o`
u la constante C peut etre determinee `a partir du comportement de J (r) quand r 0.
En supposant
/ Z, on obtient

 2

 2



W (J , J ) 
=
r + O r+1
r1 + O r
( + 1)
()
r0
|
{z
} |
{z
}
W (J (r), J (r)) =

0 (r)
J

J (r)

 2



2
r1 + O (r )
r + O r+1 =
()
( + 1)
|
{z
} |
{z
}
J0 (r)

1
1

( + 1)() ()( + 1)
2 sin
=
+ O(1),
r

J (r)

1
+ O (1) =
r

2 sin
(pour passer de la troisi`eme `a la quatri`eme ligne, on a utilise la

relation (z)(1 z) =
). On voit alors que W (J , J ) = 0 si et seulement si
sin z
Z.
La fonction de Bessel dordre de 2`eme esp`ece Y (r), dite aussi la fonction de Neumann,
est definie pour
/ Z comme une combinaison lineaire de J (r):
et donc C =

J (r) cos J (r)

,
sin
et pour Z comme la limite de cette expression. Notons que
(3.7)

Y (r) =

W (J (r), J (r))
2
=
,
sin
r
et par consequent J (r) et Y (r) representent deux solutions de (3.1) qui sont lineairement
independantes pour tout (non seulement pour
/ Z, comme cetait dans le cas de
J (r)).
W (J (r), Y (r)) =

12

te
s
Fonctions de Bessel et leurs proprie

3.3. Relations de r
ecurrence. Nous avons vu precedemment qu`a partir dune solution
donnee h(r) de lequation de Bessel on peut construire `a laide des formules (2.10),
(2.11) de nouvelles solutions correspondant `a dautres valeurs de . Quels sont les
resultats de cette procedure si h(r) = J (r)?
Exercice 31. Montrer que la fonction de Bessel J (r), definie par (3.6), verifie les relations
de recurrence:


d

(3.8)
J (r) = J+1 (r),

dr
r


d

(3.9)
J (r) = J1 (r).
+
dr
r
Remarque 32. En considerant la difference de (3.8) et (3.9), on obtient une relation de
recurrence `a trois termes:
2
J+1 (r) + J1 (r) =
J (r).
r
Nous avons construit une solution de lequation de Bessel avec Z sous la forme
dune integrale (2.7). Comment sexprime-t-elle en fonction de J (r), Y (r)?
Exercice 33. Montrer que pour Z nous avons
Z 2
1
eir cos i d = i J (r).
(3.10)
2 0
Indication: Pour calculer lintegrale, on pourra par exemple developper eir cos en serie de

k
Taylor en r et par la suite developper ei + ei en utilisant la formule du binome de
Newton.
3.4. Analyse asymptotique quand r +. Dabord on peut essayer la meme astuce
que pour r 0. Supposons que
h(r ) = r + o (r ) ,


h0 (r ) = r1 + o r1 ,


h00 (r ) = ( 1)r2 + o r2 .
En substituant dans lequation (3.1), on trouve






( 1)r2 + o r2 + r2 + o r2 + r + o (r ) 2 r2 + o r2 = 0.
|
{z
} |
{z
} | {z } |
{z
}
h00 (r)

h0 (r)/r

h(r)

2 h(r)/r2

Le coefficient de
est egal `
a 1, alors cette relation ne peut pas etre satisfaite et donc
on trouve une contradiction signifiant que notre hypoth`ese sur le comportement de h(r)
netait pas bonne. Dans de tels cas, on cherche h(r) sous la forme


c1
c2
h(r ) = r eP (r) 1 +
+ 2 + ... ,
r
r
o`
u P (r) est un polyn
ome. Le plus pratique est dintroduire la notation h(r) = ef (r) et
de reecrire lequation pour h(r) comme une equation differentielle (en general nonlineaire)
pour f (r). Le developpement de f (r) a la forme suivante:
a1 a2
+ 2 + ...,
(3.11)
f (r ) = P (r) + ln r +
r
r
2
o`
u a1 = c1 , a2 = c2 c1 /2, etc.

13

te
s
Fonctions de Bessel et leurs proprie
Exercice 34. Montrer que dans le cas de lequation de Bessel f (r) verifie

2 f 0 (r)
2
f 00 (r) + f 0 (r) +
+ 1 2 = 0.
r
r
Supposons que dans notre cas deg P = d, cest-`a-dire,
 
f (r ) = Ard + o rd ,


f 0 (r ) = Adrd1 + o rd1 ,


f 00 (r ) = Ad(d 1)rd2 + o rd2 .

En substituant ces developpements dans lequation pour f (r), on obtient







2
Ad(d 1)rd2 + o rd2 + A2 d2 r2d2 + o r2d2 + Ad rd2 + o rd2 +1 2 = 0.
r
{z
} |
{z
} |
{z
}
|
f 00 (r)

f 0 (r)/r

(f 0 (r))2

La plus grande puissance de r est 2d 2, avec le coefficient A2 d2 . Pour que lequation

puisse etre verifiee, on doit avoir d = 1, A2 = 1, puisque le seul terme qui peut annuler
A2 d2 r2d2 est donne par 1. Maintenant on peut ecrire


f (r ) = ir + ln r + O r1 ,

f 0 (r ) = i + + O r2 ,
r

00
f (r ) = 2 + O r3 ,
r
et repeter la meme procedure pour determiner le param`etre inconnu . Notamment, en
substituant ces developpements dans lequation pour f (r), on trouve



i

2i
2
+ O r2 + O r2 +1
2 = 0.
2 + O r3 1

r {z
r
| r {z
} |
} |r
{z
}
f 00 (r)

(f 0 (r))2

f 0 (r)/r

1
En egalant `a zero le coefficient de r1 , nous obtenons = . Alors on peut conjecturer
2
quil existe deux solutions h (r) de lequation de Bessel avec le comportement



eir
h,+ (r) = 1 + O r1 ,
r

eir
h, (r) = 1 + O r1 .
r

En langage de lequation de Schroedinger (2.1), h,+ (r) et h, (r) correspondent aux ondes
cylindriques divergentes (resp. convergentes) de moment angulaire .
Les fonctions de Bessel J (r) et Y (r) sont necessairement donnees par des combinaisons
lineaires de h,+ (r) et h, (r). Ecrivons par exemple
J (r) = a h,+ (r) + b h, (r).
Remarque 35. En effet, pour une equation differentielle ordinaire quelconque, il est relativement simple detudier de facon analogue `a la precedente les comportements
possibles de solutions en tout point interessant (ici r = 0 et ). Le probl`eme difficile et
impossible `a resoudre en general est de relier les comportements en deux points differents
(ici trouver a et b). Il est appele le probl`eme de connexion.

14

Oscillateur harmonique

On arrive `
a resoudre le probl`eme de connexion pour lequation de Bessel grace `a
lexistence des representations integrales de type (3.10) (pour
/ Z leur forme est un
peu plus compliquee). En analysant lasymptotique des integrales quand r il est
possible de montrer que
a=

ei/2i/4

,
2

b=

ei/2+i/4

.
2

Exercice 36 (difficile). Demontrer ces formules dans le cas Z `a laide de (3.10).

4. Oscillateur harmonique
Dans ce chapitre, on etudie lequation differentielle ordinaire suivante:
= ,
H

2
= d + x2 ,
H
dx2

= p2 + x
o`
u R est un param`etre constant. En mecanique quantique, loperateur H
2
x
represente lhamiltonien de loscillateur harmonique. Il nous sera commode dintroduire
la notation = 2 + 1 et de reecrire lequation comme

 2
d
2
x + 1 + 2 (x) = 0.
(4.1)
dx2
est formellement symetrique par rapport au produit scalaire
Exercice 37. Montrer que H
Z
(4.2)
(, ) =
(x) (x) dx.

4.1. Analyse asymptotique. Considerons dabord le comportement asymptotique des

solutions de (4.1) lorsque x . De facon analogue `a la precedente, introduisons la
notation (x) = ef (x) et supposons que
a2
a1
+ 2 + ...,
(4.3)
f (x +) = P (x) + ln x +
x
x


d
d1
o`
u P (x) est un polyn
ome de degre d: P (x) = Ax + O x
. Lequation pour f (x) quon
obtient `a partir de (4.1) secrit sous la forme

2
f 00 (x) + f 0 (x) x2 + 1 + 2 = 0.
En substituant dans cette equation le developpement de f (x),
 
f (x +) = Axd + o xd ,


f 0 (x +) = Ad xd1 + O xd2 ,


f 00 (x +) = Ad(d 1)xd2 + O xd3 ,
on trouve




Ad(d 1)xd2 + O xd3 + A2 d2 x2d2 + O x2d3 x2 + 1 + 2 = 0.
{z
} |
{z
}
|
f 00 (x)

(f 0 (x))2

Si d = 1, la plus grande puissance de x est egale `a 2, mais dans ce cas le coefficient de

x2 est egal `a 1, et on ne peut pas lannuler (contradiction). Dautre part si d 2, la plus
grande puissance de x est egale `
a 2d 2, avec le coefficient A2 d2 . Le seul terme qui peut

15

Oscillateur harmonique

1
annuler A2 d2 x2d2 est x2 , do`
u d = 2, A = . On peut donc ecrire le developpement
2
de f (x) plus explicitement:


x2
+ Bx + ln x + O x1 ,
f (x +) =
2

0
f (x +) = x + B + + O x2 ,
x

00
2
f (x +) = 1 + O x
,
et repeter la meme procedure. Lequation pour f (x) implique




1 + O x2 + x2 2Bx + B 2 2 + O x1 x2 + 1 + 2 = 0.
|
{z
} |
{z
}
f 00 (x)

(f 0 (x))2

En egalant `a zero les coefficients de x et 1, on obtient B = 0 et



1
1
(1 + 2) + 1 + 2 = 0 = = +
.
2
2
On peut donc supposer quil existe deux solutions I,II (x) de lequation (4.1) avec lasymptotique
2


ex /2 
I (x +) = +1 1 + O x1 ,
x



2
II (x +) = x ex /2 1 + O x1 .
Le meme raisonnement pour x montre quil existe deux solutions III,IV (x) avec
le comportement
2


ex /2 
1
III (x ) =
1
+
O
x
,
(x)+1



2
IV (x ) = (x) ex /2 1 + O x1 .
En mecanique quantique, on sinteresse aux solutions qui decroissent lorsque x .
Ceci signifie que (x) doit etre proportionnelle `a II (x) et `a IV (x) simultanement. Par
contre ce nest presque jamais possible car II (x) est une combinaison lineaire de III (x)
et IV (x):
II (x) = a()III (x) + b()IV (x),
avec a() different de 0 en general.

Lensemble des valeurs de (equiv. ) verifiant a() = 0 est appele le spectre de H.

Pour pouvoir determiner le spectre directement, on doit donc dabord resoudre le probl`eme
de connexion entre les points x = , ce qui est difficile meme pour une equation aussi
simple que (4.1). Heureusement dans le cas de loscillateur harmonique, on peut trouver
le spectre par une methode algebrique indirecte qui sera presentee ci-dessous.
4.2. Analyse alg
ebrique. Introduisons 2 operateurs differentiels:
d
(4.4)
,
a =x
+ i
px = x +
dx
d
(4.5)
a = x
i
px = x
.
dx
a et a sappellent les operateurs de creation et dannihilation.

16

Oscillateur harmonique
Exercice 38. Demontrer les proprietes suivantes de a, a :
(1) a, a verifient les relations de commutation
h
i
h
i
(4.6)
a, a = 2,
[a, a] = a , a = 0.
=x
(2) Lhamiltonien H
2 + p2x de loscillateur harmonique peut etre ecrit comme
= a a + 1.
H

(4.7)

(3) a et a sont conjugues par rapport au produit scalaire (4.2), cest-`a-dire





(4.8)
, a = (a, ) ,
(, a) = a ,
pour tout , qui tendent vers 0 quand x .
et la valeur propre associee:
Proposition 39. Soient (x) une fonction propre de H

= . Alors les fonctions + = a et = a verifient H

= ( 2) .
H
 Nous avons par exemple:
i


h
+ = Ha
= a H
+ H,
a = a + a aa a a a =
H
i
h
= a + a a, a = a + 2a = ( + 2)+ .
associee `a la valeur propre + 2
Cela signifie que + (ou ) est une fonction propre de H
(resp. 2) ou + = 0 (resp. = 0).


Exercice 40. Montrer que la solution de lequation a0 = 0 est une fonction propre de H.


0 = a a + 1 0 = 0 , et alors 0 est une solution de
 Tout dabord notons que H
0 = 0 avec = 1 (i. e. = 1). Donc il nous reste `a montrer que 0 (x) sannule
H
quand x . Pour cela, nous allons resoudre lequation a = 0 explicitement:


d
0
x2
x+
0 (x) = 0 = 0 = x = ln 0 = + const.
dx
0
2
2

On a donc 0 (x) = const ex /2 .



n

En combinant ce resultat avec la Proposition 39, on voit que n (x) = a

0 (x) (o`
u

n = 0, 1, 2, . . .) est une fonction propre de H avec la valeur propre associee n = 1 + 2n.

est borne par > 0. On a:
Dautre part il est possible de montrer que le spectre de H


R


R
d2
2 (x) dx
0 (x)|2 + x2 |(x)|2 dx
(x)

+
x

2
|

(, H)
dx
R
=
=
= R
> 0.
2 dx
2
(, )
|(x)|

|(x)| dx
na pas de vecteurs propres autres que {n }
Ceci montre que H
n=0,1,2,... . Effectivement si
un tel vecteur existe et est la valeur propre correspondante, alors dapr`es la Propo k, = ( 2k)k, . De plus k, 6= 0 car si
sition 39 la fonction k, = ak verifie H
k, = 0 et k1, 6= 0, alors k1, = const 0 et = const k1 . Donc k, est un
vecteur propre nontrivial et la valeur propre associee est egale `a 2k. Par contre, si on
choisit k suffisamment grand, cette valeur propre devient negative = contradiction.

17

Oscillateur harmonique

4.3. Polyn
omes dHermite. Nous avons montre que lensemble des fonctions propres
est donne par
et valeurs propres de H
 n
n = 1 + 2n,
n = 0, 1, 2, . . . ,
(4.9)
n = cn a g0 ,
2
est un
o`
u g0 = ex /2 et {cn }n=0,1,2,... sont des constantes quelconques. Comme H
operateur symetrique `
a valeurs propres distinctes, les vecteurs {n }n=0,1,2,... sont orthogonaux: (i , j ) = 0 pour tout i, j tels que i 6= j. Maintenant nous allons choisir {cn } de
telle mani`ere que {n } soient orthonormes.

Exercice 41. Montrer que si

.r

n
n
(4.10)
cn = 1
(a ) g0 , (a ) g0 ,

n = 0, 1, . . . ,

alors {n } sont orthonormes.

Exercice 42. Montrer que
(4.11)

h  n i
 n1
a, a
= 2n a
.

 Induction en n. Laffirmation est hvraie pour in = 1 dapr`es (4.6). Supposons quelle

k1

k2
est vraie pour n = k 1, cest-`
a-dire, a, a
= 2(k 1) a
. Alors pour n = k
on a:
   
  k  k
k
a, a
= a a a a =
 k
 k1
 k1
 k1
aa a a =
aa + a
a a
= a a
   
 k1 h
i
k1
= a, a
a + a
a, a =
 k1
 k1
 k1
= 2(k 1) a
+ 2 a
= 2k a
,
do`
u le resultat.

Proposition 43. Les coefficients {cn } dans (4.10) sont donnes par
(4.12)

cn =

2n/2
,
1/4 n!

n = 0, 1, . . .

 Tout dabord on peut calculer directement

Z
Z
2
(g0 , g0 ) =
|g0 (x)| dx =

ex dx =

et donc c0 = 1/ . Par la suite calculons le produit scalaire

 n   n1
 n
 n 
a g0 , a g0 =
a
g0 , a a g0 =
 

h  n i   n1
 n
n1

=
a
g0 , a, a
g0 +
a
g0 , a
a g0 =
 
 n1 
n1

= 2n
a
g0 , a
g0 .

18

Oscillateur harmonique

Ici, dans la premi`ere ligne nous avons utilise la propriete de symetrie (4.8). Le passage de la
deuxi`eme `a la troisi`eme ligne est justifie par la relation (4.11) et ag0 = 0. En combinaison
avec le premier resultat, ca donne
 n 
 n

a g0 , a g0 = 2n n! (g0 , g0 ) = 2n n! ,
do`
u la formule (4.12).

Remarque 44. Dans toute la suite, on suppose que les coefficients cn dans (4.9) sont donnes
par (4.12). Cela signifie que les fonctions propres {n } sont orthonormees:
(i , j ) = ij ,

i, j = 0, 1, 2, . . .

Notons que




 n
d
d
2
2

a
g0 = x
... x
ex /2 = Hn (x)ex /2 ,
dx
dx
|
{z
}
n fois

o`
u Hn (x) est un polyn
ome de degre n. Nous avons par exemple
H0 (x) = 1,
H1 (x) = 2x,
H2 (x) = 4x2 2,
H3 (x) = 8x3 12x,
H4 (x) = 16x4 48x2 + 12,
......
Ces polynomes sappellent les polyn
omes dHermite. Lensemble des fonctions propres
orthonormees de loscillateur harmonique est donc donne par
2

Hn (x) ex /2
,
(4.13)
n (x) =
n = 0, 1, . . .
2n/2 1/4 n!
Les polyn
omes dHermite verifient quelques relations de recurrence. Nous avons en
particulier


 n
 n+1
d
2

x2 /2

g0 = x
Hn+1 (x) e
= a
g0 = a a
Hn (x) ex /2 =
dx

x2 /2
0
= 2xHn (x) Hn (x) e
,
et donc
(4.14)

Hn+1 (x) = 2xHn (x) Hn0 (x).

Dautre part en utilisant (4.11) et ag0 = 0, on obtient



 n
h  n i  n 
d
2
Hn (x) ex /2 = a a g0 = a, a
+ a a g0 =
x+
dx
 n1
2
= 2n a
g0 = 2nHn1 (x)ex /2 ,
ce qui implique
(4.15)

Hn0 (x) = 2nHn1 (x).

paration des variables en dimension 3 et harmoniques sphe

riques
Se

19

En combinant (4.14) et (4.15), on peut aussi ecrire

Hn+1 (x) = 2xHn (x) 2nHn1 (x).

(4.16)

Exercice 45. Montrer que Hn (x) verifie lequation differentielle

 2

d
d
(4.17)
2x
+ 2n Hn (x) = 0.
dx2
dx
n = (1 + 2n)n .
Indication: on pourra utiliser que n (x) verifie H
Enfin lorthonormalite des fonctions {n (x)} implique les relations dorthogonalite:
Z

2
Hm (x)Hn (x)ex dx = 2n n! mn .
(4.18)

R
esum
e.
(1) Polyn
omes dHermite apparaissent lorsquon cherche les fonctions propres de lhamiltonien de loscillateur harmonique.
(2) Nous avons trouve et orthonormalise ces fonctions propres (formule (4.13)) par
une procedure purement algebrique, basee sur les relations de commutation (4.6)
entre les operateurs de creation et annihilation.
(3) Memes relations de commutation permettent dobtenir des relations de recurrence
de type (4.14)(4.16) verifiees par {Hn (x)}.
(4) Relations dorthogonalite (4.18) pour les polynomes dHermite decoulent de lor qui est, `a son tour, une consequence de la
thogonalite des fonctions propres de H
symetrie de lhamiltonien (Exercice 37).
paration des variables en dimension 3 et harmoniques sphe
riques
5. Se
=
5.1. Introduction. Ici nous allons etudier lequation de Schroedinger stationnaire H
pour une particule dans un potentiel `a symetrie spherique (en 3D). Lhamiltonien
secrit comme
= + V (r),
(5.1)
H
o`
u note loperateur de Laplace en dimension 3 et V (r) est une fonction quelconque. En
coodonnees spheriques, lexpression du laplacien est
1 2
1

1
2
r
+
sin

+
.
r2 r r r2 sin
r2 sin2 2
Quelques remarques:
Comme lhamiltonien contient les derivees par rapport `a mais ne depend pas de
z = i de la troisi`eme composante
explicitement, il commute avec loperateur L
du moment angulaire.
commute avec loperateur du carre du moment angulaire
Aussi, H

(5.2)

(5.3)

(5.4)

2
2 = 1 sin 1 ,
L
sin
sin2 2
puisque nous avons
2
= 1 r2 + V (r) + L .
H
r2 r r
r2
2 ne depend pas de r. Notons que L
2 et L
z commutent egalement.
et L

paration des variables en dimension 3 et harmoniques sphe

riques
Se

20

L
2 ] = [H,
L
z ] = [L
z, L
2 ] = 0, nous allons essayer de diagonaliser
Maintenant, puisque [H,
2
L
et L
z simultanement. On cherche donc les fonctions (r, , ) verifiant
les operateurs H,
z = m,
2 = M ,
= .
(5.5)
L
L
H
z, L
2 et H
(inconnues pour linstant).
o`
u m, M et sont les valeurs propres de L
La premi`ere des relations (5.5) donne
(5.6)

(r, , ) = G(r, )eim ,

o`
u G(r, ) est une fonction arbitraire. De plus, la condition de periodicite (r, , + 2) =
(r, , ) implique m Z, de facon analogue `a ce quon a dej`a vu en dimension 2. En
substituant (5.6) dans la deuxi`eme des relations (5.5), on obtient une equation pour G(r, ):



m2
1
sin
+
G(r, ) = M G(r, ).

sin
sin2
Cela signifie quon a necessairement
(5.7)

G(r, ) = h1 (r)g1 () + h2 (r)g2 (),

o`
u g1,2 () sont deux solutions independantes de lequation


d
m2
1 d
sin +
g() = M g(),
(5.8)

sin d
d sin2
et h1,2 (r) sont deux fonctions arbitraires. Enfin en substituant (5.7) dans la troisi`eme des
relations (5.5), on voit que h1,2 (r) verifient


1 d 2d
M
(5.9)
2
r
+ V (r) + 2 h(r) = h(r).
r dr dr
r
= se reduit
Par consequent la resolution de lequation aux derivees partielles H
`a la resolution des equations differentielles ordinaires (5.8), (5.9): grace `a lexistence des
2, L
z qui commutent avec lhamiltonien et entre eux, nous avons pu separer
operateurs L
les variables r, et .
2 et H,
on sinteresse aux fonctions
Remarque 46. Lorsquon cherche les spectres de L
donde de norme finie:
ZZZ


(r, , )2 dV < .
R3

En particulier, on demande 0 quand r . Cela impose des conditions supplementaires sur les solutions de (5.8), (5.9) qui ne peuvent etre verifiees que pour un ensemble
discret de valeurs de M et .
5.2. Alg`
ebre du moment angulaire. On a pu apprecier la puissance des methodes
algebriques lors de letude de loscillateur harmonique, o`
u elles ont permis dobtenir tr`es
facilement le spectre et les fonctions propres normalisees. Aussi, on les a utilisees dans
lobtention des relations de recurrence pour les fonctions de Bessel. Dans ce deuxi`eme
exemple, nous avons vu egalement quil est tr`es utile de considerer lalg`ebre de tous les
z ) et pas uniquement
operateurs qui commutent avec lhamiltonien (dans ce cas px , py , L
ceux qui commutent entre eux.
En general, les operateurs qui commutent avec lhamiltonien dun syst`eme quantique
sont associes aux integrales de mouvement (on les appelle aussi quantites conservees) du
syst`eme classique correspondant. Lexistence de telles quantites conservees est directement
liee aux symetries du syst`eme (translations, rotations, etc).

paration des variables en dimension 3 et harmoniques sphe

riques
Se

21

Dans le cas dune particule dans un potentiel `a symetrie spherique nous avons linvariance du lagrangien classique par rapport aux rotations, ce qui implique la conservation du
~ En mecanique quantique, on associe aux trois composantes de L
~ les
moment angulaire L.
operateurs
(5.10)

x = ypz zpy ,
L

y = zpx x
L
pz ,

z = x
L
py ypx .

Nous verrons plus tard que, effectivement, ces operateurs commutent avec lhamiltonien
(5.1). Il est toutefois preferable de commencer par letude de leurs proprietes algebriques.
x, L
y et L
z verifient les relations de commutation
Exercice 47. Montrer que L
(5.11)

x, L
y ] = iL
z,
[L

y, L
z ] = iL
x,
[L

z, L
x ] = iL
y.
[L

 Dans la demonstration, il est instructif de ne pas utiliser la representation explicite

des operateurs de position et dimpulsion (derivees, multiplication par x, y ou z), mais
uniquement les relations de commutation quils verifient.
Il ny a que trois commutateurs nontriviaux:
[
x, px ] = [
y , py ] = [
z , pz ] = i,
alors que tous les autres sont nuls:
[
x, y] = [
y , z] = [
z, x
] = 0,

[
px , py ] = [
py , pz ] = [
pz , px ] = 0,

[
px , y] = [
px , z] = [
py , z] = [
py , x
] = [
pz , x
] = [
pz , y] = 0.
En utilisant ces relations, on peut ecrire par exemple:
x, L
y ] = (
[L
y pz zpy ) (
z px x
pz ) (
z px x
pz ) (
y pz zpy ) =
X
pX
X
pX
py x
pz )
= (
y pz zpx 
yp

p
yz
x+z
zx
z z
X
(
z px ypz 
x
p

p
pX
X
pX
pz zpy ) =
zy
z z
xz
y +x
z.
=x
py [
z , pz ] ypx [
z , pz ] = i(
xpy ypx ) = iL

Deux autres relations sobtiennent par permutations cycliques des indices (x, y, z).
x, L
y les operateurs
Introduisons `
a la place de L
= L
x iL
y.
L

(5.12)

, L
z?
Quelles relations de commutation verifient L
Exercice 48. Montrer que
(5.13)

z, L
] = L
,
[L

+, L
] = 2L
z.
[L

Exercice 49. Montrer que loperateur du carre du moment angulaire

(5.14)
x, L
y et L
z.
commute avec L

2 = L
2 + L
2 + L
2
L
x
y
z

paration des variables en dimension 3 et harmoniques sphe

riques
Se

22

 Calculons par exemple


 

2, L
x ] = [L
2, L
x ] + [L
2, L
x] = L
2L

2
2
2
[L
y
z
y x Lx Ly + Lz Lx Lx Lz =


2L

2
= L
y x Ly Lx Ly + Ly Lx Ly Lx Ly


2z =
z L
xL
xL
z + L
zL
xL
2z L
x L
zL
+ L

 

y [L
y, L
x ] + [L
y, L
x ]L
y + L
z [L
z, L
x ] + [L
z, L
x ]L
z =
= L

 


= iLy Lz iLz Ly + iLz Ly + iLy Lz = 0.

Deux autres commutateurs sobtiennent de la meme mani`ere.

Exercice 50. Montrer que

+ + L
z (L
z + 1).
+ L
z (L
z 1) = L
L
2 = L
+L
L

(5.15)

x,y,z , L

On sinteresse par la suite `

a lexpression explicite des operateurs differentiels L
2

et L en coordonnees spheriques

x = r cos sin ,
y = r sin sin ,

z = r cos .
x,y,z , L
et L
2 , definis par (5.10), (5.12) et (5.14) peuvent
Proposition 51. Operateurs L
secrire sous la forme

x = i sin + i cos ctg ,

L
y = i cos + i sin ctg ,
(5.16)
L

Lz = i ,
(
+ = ei ( + i ctg ) ,
L
(5.17)
= ei ( + i ctg ) ,
L


1
2

L = + ctg +
(5.18)
.
sin2
 Notons tout dabord que

r
x
= A y ,

A=

x
r
x

y
r
y

z
r
z

Explicitement on a

cos sin
sin sin
cos
A = r cos cos r sin cos r sin .
r sin sin r cos sin
0
Afin dexprimer x , y , z en fonction de r , , , on doit calculer la matrice inverse A1 .
Le determinant de A concide avec la jacobienne de la transformation (x, y, z) (r, , ),

paration des variables en dimension 3 et harmoniques sphe

riques
Se

23

alors det A = r2 sin (on pourra aussi verifier cette relation directement) et A1 secrit
comme

cos sin cos rcos rsin
sin

cos
A1 = sin sin sin rcos
.
r sin
cos

sinr

Maintenant il est simple dobtenir



cos
sin cos

Lx = ir cos sin sin r +

r
r sin


sin
ir sin sin cos r
= i sin + i cos ctg ,
r


sin

cos

cos

y = ir cos cos sin r +

L
r
r sin


sin
+ ir cos sin cos r
= i cos + i sin ctg ,
r


z = ir cos sin sin sin r + sin cos + cos
L
r
r sin


sin
cos cos

= i .
+ ir sin sin cos sin r +
r
r sin
En substituant ces expressions dans (5.12), on trouve les representations (5.17). De meme,
z = i dans (5.15), on obtient
en substituant (5.17) et L
2 = L
+L
+ L
z (L
z 1) =
L
= ei ( + i ctg ) ei ( + i ctg ) + i =
= ( + i ctg + ctg ) ( + i ctg ) + i =
= ctg i ctg +

i ctg
| {z }

i ctg

i
sin2

ctg 2 +

1
+ i ctg 2 + i = ctg
.
|
{z
}
sin2
i
sin2

Notons que la formule finale concide avec (5.3). Ceci explique les notations utilisees dans
la section 5.1.

x,y,z et L
ne dependent pas de r et commutent avec L
2.
Remarque 52. Operateurs L
Alors, grace `
a la formule (5.4), ils commutent aussi avec lhamiltonien (5.1).
5.3. Harmoniques sph
eriques et polyn
omes de Legendre. Nos objectifs principaux
dans cette section sont:
2 et L
z,
(1) obtenir les fonctions propres communes de L
(2) calculer les valeurs propres associees,
(3) orthonormaliser lensemble des fonctions propres.
Tous ces probl`emes peuvent etre resolus par des methodes algebriques analogues `a celles
utilisees ci-dessus dans letude des fonctions de Bessel et de loscillateur harmonique.

paration des variables en dimension 3 et harmoniques sphe

riques
Se

24

2, L
z jouent en dimension 3 le meme
Remarque 53. Les fonctions propres communes de L
i
z en dimension 2.
role que les fonctions propres {e }, Z de L
2, L
z ne contiennent pas de r ni de derivees par rapport `a r, on peut considerer
Comme L
r comme une constante. Nous allons donc oublier lexistence de cette coordonnee et
2, L
z `
restreindre laction de L
a lespace U des fonctions f : S 2 C sur la sph`ere. Ce
sont des fonctions f (, ) de deux variables [0, ] et [0, 2], `a valeurs complexes,
verifiant la condition f (, + 2) = f (, ). Lespace U est muni dun produit scalaire:
Z Z 2
d sin f (, ) g(, ),
d
f, g U.
(5.19)
(f, g) =
0

x,y,z , L
et L
2:
Montrons quelques proprietes de L
2, L
z et L
2 sont symetriques par rapport au produit scaProposition 54. Operateurs L
z
laire (5.19).
2 on obtient en utilisant (5.18):
 Par exemple, pour L


Z Z 2
1
1
2

g =
sin g +
(f, L g) =
d
d sin f
sin
sin2
0
0


Z Z 2
1
=
d
d f sin g +
g =
sin
0
0


Z Z 2
1
=
d
d sin ( f ) ( g) +
( f ) ( g) =
sin
0
0


Z Z 2
1
d
d sin ( f ) ( g) +
=
( f ) ( g) =
sin
0
0
2 f ) = (L
2 f, g).
= (g, L
Afin de passer de la deuxi`eme `
a la troisi`eme ligne, on a effectue une integration par parties
(par rapport `
a avec le premier terme et par rapport `a avec le deuxi`eme).

2 sont positives (M 0).
Proposition 55. Toutes les valeurs propres de L
2 et M la valeur propre associee. La symetrie
 Soient g(, ) une fonction propre de L
2

de L implique M R. De plus, en repetant le calcul quon a donne plus haut, on peut

ecrire


Z Z 2
1
2
2
2

(g, L g) = M (g, g) =
d
d sin | g| +
| g| 0,
sin
0
0
do`
u le resultat.

2

En effet, il sav`ere tr`es commode decrire les valeurs propres de L comme

(5.20)

M = `(` + 1),

o`
u ` est un nouveau param`etre. Les resultats precedents montrent quon peut supposer
que ` R0 . Nous conserverons cette convention dans la suite.
+ et L
sont conjugues par rapport au produit scalaire
Proposition 56. Operateurs L
(5.19), cest-`
a-dire,

 


 

+g = L
f, g ,
g = L
+ f, g
f, L
f, L
f, g U.

paration des variables en dimension 3 et harmoniques sphe

riques
Se

25

 On a

 Z Z 2



f, L+ g =
d
d sin f ei g + i cos f ei g =
0
0
Z Z 2

XXX
i
XXX
i 
d sin f + cos
d
=
X
f e g i sin f cos
X
f e g =
0
0
Z Z 2


f, g .
=
d
d ei ( sin f + i cos f ) g = L
0

Deuxi`eme egalite sobtient `

a partir de la precedente en utilisant la propriete (f, g) = (g, f )
de tout produit scalaire.

2 et L
z . Si on note `(`+1)
Proposition 57. Soit g(, ) une fonction propre commune de L
et m les valeurs propres correspondantes (rappelons que m Z), alors m [`, ` ].
 On peut ecrire


2 g = `(` + 1)(g, g) =
g, L


  
 
 gr

+L
+ L
2 L
z g =
 ace `a la premi`ere  = g, L
z
 relation dans (5.15) 



= g, L+ L g + m(m 1)(g, g) =




 comme L
+ et L

g, L
g ,
 = m(m 1)(g, g) + L
= 
sont conjugues 

donc
(5.21)



g, L
g 0,
[`(` + 1) m(m 1)] (g, g) = (` + 1 m) (` + m) (g, g) = L

et par consequent m [`, ` + 1]. Dautre part, la deuxi`eme relation dans (5.15) donne
de facon analogue:


 
 
2 g = `(` + 1)(g, g) = g, L
L
+ + L
2z + L
z g =
g, L


L
+ g + m(m + 1)(g, g) =
= g, L


+ g, L
+g ,
= m(m + 1)(g, g) + L


+ g, L
+ g 0 et donc m [` 1, ` ]. En combinant
do`
u (` m)(` + 1 + m)(g, g) = L
les deux resultats, on obtient m [`, ` ].

2 et L
z avec les valeurs
Proposition 58. Soit g(, ) une fonction propre commune de L

propres associees `(` + 1) et m. Alors les fonctions g (, ) = L g(, ) verifient les

equations
2 g = `(` + 1)g ,
z g = (m 1)g.
L
L
 On a par exemple
2 g+ = L
2L
+g = L
+L
2 g = `(` + 1)L
+ g = `(` + 1)g+ .
L
De facon analogue:
+g =
z g+ = L
zL
L

h




i
z, L
+ + L
+L
z g = L
+ + L
+L
z g =
L

+ (L
z + 1)g = (m + 1)L
+ g = (m + 1)g+ ,
=L

paration des variables en dimension 3 et harmoniques sphe

riques
Se

26

do`
u le resultat.

Au premier regard, on peut penser quil y a une contradiction entre les Propositions 57
 k
g verifient
et 58. Effectivement, les fonctions gk, = L
2 gk, = `(` + 1)gk, ,
L

z gk, = (m k)gk, .
L

2 et L
z qui corOn aurait pu supposer que g,k sont des fonctions propres communes de L
respondent aux valeurs propres `(` + 1) et m k. Dautre part pour k suffisamment grand
m k nappartient plus `
a lintervalle [`, ` ]. La solution de ce paradoxe est que les fonctions g,k peuvent aussi sannuler identiquement. On voit donc que cest necessairement
le cas pour m k
/ [`, ` ].
2 et L
z avec les valeurs
Par consequent, sil existe une fonction propre commune g de L
propres associees `(` + 1) et m, alors il existe aussi une fonction propre commune h avec
le meme `, qui verifie les equations:
(5.22)

h = 0,
L

z h = m0 h.
L

2 et L
z avec le meme ` sobtient `a partir de h par laction
Toute autre fonction propre de L
 k
+ .
des operateurs L
Dautre part, dapr`es (5.21) on a






h, L
h = 0,
` + 1 m0 ` + m0 (h, h) = L
et donc ` = m0 Z (notons que ` + 1 m0 6= 0 car dans ce cas m0
/ [`, ` ]). Ceci signifie
que ` est un nombre entier superieur ou egal `a 0.
R
esum
e.
2

erisees par deux

(1) Fonctions propres communes g m
` (, ) de L et Lz sont caract
nombres ` et m:
2 g m = `(` + 1) g m ,
L
`
m
zg
L
`

mg m
` ,

avec ` = 0, 1, 2, . . . , et m = `, ` + 1, . . . , `. En mecanique quantique, ` et

m sont appeles le nombre quantique orbital et magnetique.
`
(2) Pour tout ` les fonctions g `
erifient
` et g ` v
(5.23)

g ` = 0,
L
`

+ g ` = 0.
L
`

Toute autre fonction g m

a partir de g `
` sobtient facilement `
`:
 k
+ g ` ,
(5.24)
g `+k
= L
k = 0, 1, 2, . . . , 2`.
`
`
Les fonctions
{gm
` } sont orthogonales par rapport au produit scalaire (5.19), cest
m m0
`a-dire, g ` , g `0 ``0 mm0 .
Nous allons maintenant decrire lensemble {g m
` } plus explicitement. Tout dabord no z g ` = `g ` implique g ` (, ) = G()ei` . En substituant cette expression
tons que L
`
`
`
dans (5.23), on obtient une equation differentielle ordinaire pour G():


d
+ ` ctg G() = 0.
d

paration des variables en dimension 3 et harmoniques sphe

riques
Se

27

La solution generale de cette equation est G() = c (sin )` , alors on peut poser
(5.25)
(5.26)

` i`
g `
,
et donc
` (, ) = (sin ) e
h
ik
i
(sin )` ei` ,
g `+k
(,
)
=
e
(
+
i
ctg

k = 0, 1, . . . , 2`.

Calculons les normes des fonctions {g m

ecessaires
` } ainsi definies elles nous seront n
pour lorthonormalisation. Pour cela, introduisons les quantites

2 



`+k `+k
k = g `+k
=
g
,
g
.

`
`
`
Exercice 59. Demontrer la relation de recurrence
k+1 = (2` k)(k + 1)k .

(5.27)

+ + L
z + L
2z . Notamment, on peut ecrire
2 = L
L
 Nous allons utiliser la relation L


2 g `+k =
`(` + 1)k = g `+k
,
L
`
`

 

L
+ g `+k + g `+k , L
z (L
z + 1)g `+k =
= g `+k
,
L
`
`
`
`




+ g `+k +(` + k)(` + k + 1) g `+k , g `+k =
+ g `+k , L
= L
`
`
`
`
|
|
{z
}
{z
}
=k+1

=k

h
i
= k+1 + `(` + 1) (2` k)(k + 1) k ,
do`
u le resultat. Notons que (5.27) implique 2`+1 = 0, ce qui donne une demonstration
+ g ` = 0.

alternative de la relation L
`
Exercice 60. Montrer que la solution de la relation de recurrence (5.27) est donnee par
(5.28)

k =

k! (2`)!
0 ,
(2` k)!

k = 0, 1, . . . , 2`.

Indication: une induction sur k.

Exercice 61. Montrer que
0 = 2

(5.29)

2`+1 `!
.
(2` + 1)!!

 Avec la convention (5.25), on obtient

Z

2

 Z Z 2
 `

` `
0 = g ` , g ` =
d
d sin g ` (, ) = 2
d (sin )2`+1 .
0

La derni`ere integrale peut etre calculee en utilisant la definition et quelques proprietes de

la fonction beta B(p, q):
Z 1
Z /2
(p)(q)
p1
q1
.
B(p, q) =
t (1 t) dt = 2
(sin )2p1 (cos )2q1 d =
(p + q)
0
0
Dans notre cas p = ` + 1, q = 1/2, et donc
0 = 2



(` + 1)(1/2)
`! 
(1/2)
2`+1 `!
= 2
=
2

,


(1/2)
(` + 1/2 + 1)
(` + 1/2)(` 1/2) . . . (1/2) 
(2` + 1)!!
|
{z
}
`+1 facteurs

paration des variables en dimension 3 et harmoniques sphe

riques
Se

28

o`
u on a utilise que (z + 1) = z(z) et que pour tout n N on a (n + 1) = n! .
En combinant (5.28) avec (5.29), on peut facilement montrer que

(5.30)

k = 4

22` (`!)2
k!

,
2` + 1 (2` k)!

k = 0, 1, . . . , 2`,

ce qui donne par la suite

(5.31)

2
kg m
` k = `+m = 4

22` (`!)2 (` + m)!

,
2` + 1 (` m)!

m = `, ` + 1, . . . , `.

D
efinition 62. Soient {Y `m } lensemble des fonctions suivantes:
i`+m
(1)m h i
(1)m m
g ` (, ) = C m
(5.32) Y `m (, ) =
e
(
+
i
ctg

)
(sin )` ei` ,

`
` `!
g m
2
`
o`
u ` = 0, 1, . . . , et m = `, ` + 1, . . . , `. Le coefficient C `m est donne par
s
(2` + 1) (` m)!
.
(5.33)
C `m =
4 (` + m)!
Les fonctions {Y `m } sont appelees les harmoniques spheriques.
En resumant les resultats precedents, on obtient
Th
eor`
eme 63. Les harmoniques spheriques (5.32) forment un ensemble complet et or 2 et L
z , cest-`
thonorme des fonctions propres communes de L
a-dire:


0
z Y m = mY m ,
2 Y m = `(` + 1)Y m ,
Y `m , Y `m0 = ``0 mm0 .
L
L
`
`
`
`
Remarque 64. Le facteur (1)m dans la definition (5.32) ne change pas la norme de Y `m .
En effet, il a ete introduit afin de respecter les conventions historiques.
Simplifions la representation (5.32):
Exercice 65. Verifier que pour tout C
h
i
h
i
ei + i ctg ei () = ei(1) + ctg ().
En utilisant ce resultat, montrer que



d
d
m
im
g ` (, ) = e
+ (m + 1) ctg
+ (m + 2) ctg . . .
d
d



d
d
...
+ (` 1) ctg
+ ` ctg (sin )` .
d
d
Exercice 66. Verifier que pour tout C


d
d
+ ctg () = (sin )
(sin ) ().
d
d
A laide de cette relation, montrer que
gm
` (, )
(5.34)


1 d `+m
=e
(sin )
(sin )2` =
sin d
 `+m


`
d
m
m im
2
= (1) e
(sin )
z 1
.
dz `+m
z=cos
im

paration des variables en dimension 3 et harmoniques sphe

riques
Se

29

D
efinition 67. Les fonctions
(5.35)

P `m (cos )




`
(sin )m d `+m
2
=
z 1
,
2` `!
dz `+m
z=cos

avec ` = 0, . . . , et m = `, . . . , `, sappellent les fonctions spheriques de Laplace ou

encore les fonctions de Legendre.
Quelques proprietes de ces fonctions:
(1) Lien avec les harmoniques sph
eriques. En comparant les formules (5.32),
(5.34) et (5.35), on trouve
m
im
,
Y `m (, ) = C m
` P ` (cos ) e

(5.36)

o`
u le coefficient C m
e par (5.33).
` est donn
(2) Relations dorthogonalit
e. Orthonormalite des harmoniques spheriques permet
decrire
Z
m
m
m m
(Y ` , Y `0 ) = ``0 = 2 C ` C `0
P `m (cos )P `m0 (cos ) sin d =
0
s
Z 1
2` + 1 (` m)!(`0 m)!
P m (z)P `m0 (z) dz ,
=
2
(` + m)!(`0 + m)! 1 `
do`
u on obtient
Z

(5.37)
1

P `m (z)P `m0 (z) dz =

2 (` + m)!
``0 .
2` + 1 (` m)!

(3) Relations de r
ecurrence. Dapr`es (5.34), nous avons
im
`
m m
.
gm
` (, ) = 2 `! (1) P ` (cos ) e

+ g m , do`
u
=L
Dautre part par definition de g m+1
`
`
`
m+1 m+1
P ` (cos ) ei(m+1) =
g m+1
` (, ) = 2 `! (1)
h
i
= ei + i ctg 2 ` `! (1)m P `m (cos ) eim =


d
`
m i(m+1)
= 2 `! (1) e
m ctg P `m (cos ).
d

Ceci implique la relation



d
m ctg P `m (cos ) + P m+1
(cos ) = 0,
`
d
qui equivaut `
a

(5.38)

d
mz
+
dz 1 z 2

P `m (z) =

1
P m+1
(z).
`
2
1z

Exercice 68. Montrer que pour m pair P `m (z) est un polynome de degre ` en z.
Exercice 69. Demontrer la relation


d
mz
(` + m)(` + 1 m) m1

P `m (z) =
P ` (z).
(5.39)
dz 1 z 2
1 z2
g m = (` + m)(` + 1 m)g m1 et ensuite procedez
Indication: montrer dabord que L
`
`
comme dans la demonstration de (5.38) ci-dessus.

paration des variables en dimension 3 et harmoniques sphe

riques
Se

30

Exercice 70. Montrer la relation

m
P m
` (z) = (1)

(` m)! m
P (z).
(` + m)! `

On pourra utiliser 1) relations de recurrence (5.38)(5.39) et 2) induction sur m.

Exercice 71. En utilisant le resultat precedent, montrer que Y `m (, ) = (1)m Y m
` (, ).
Un cas particuli`erement important pour les applications est celui des solutions ayant une
2 et L
z
symetrie axiale. Dans ce cas, on sinteresse aux fonctions propres communes de L
qui ne dependent pas de . En examinant (5.36), on voit que cette condition selectionne
parmi toutes les fonctions {Y `m } celles avec m = 0. On note
Y ` () = Y `0 (, ) = C ` P ` (cos ),
r

2` + 1
et P ` (z) est le polynome de degre ` defini par
4

`
1 d`
(5.40)
P ` (z) = P `0 (z) = `
z2 1 .
`
2 `! dz
Nous avons en particulier:
o`
u C` =

P0 (z) = 1,
(5.41)

3z 2 1
,
2
35z 4 30z 2 + 3
P4 (z) =
,
8
...
P2 (z) =

P1 (z) = z,
z(5z 2 3)
,
2
z(63z 4 70z 2 + 15)
P5 (z) =
,
8
...
P3 (z) =

D
efinition 72. Les polyn
omes {P ` (z)} ainsi definis (avec ` = 0, 1, . . . , ) sappellent les
polyn
omes de Legendre. La relation (5.40) sappelle la formule de Rodrigues.
Les polyn
omes de Legendre verifient certaines relations dorthogonalite qui sobtiennent
`a partir de (5.37) en posant m = 0:
Z 1
2
(5.42)
P `m (z)P `m0 (z) dz =
``0 .
2` + 1
1
Dautre part on na pas de relations de recurrence pour {P ` } qui decoulent de (5.38)
(5.39), car ces derni`eres formules relient des fonctions spheriques de Laplace avec la meme
valeur de `.
Nous allons voir ci-dessous quil est quand meme possible dobtenir des relations de
recurrence sur `. Par contre elles ne decoulent pas (directement) de lalg`ebre du moment angulaire dans ce sens, leur origine est tr`es differente de celle des relations
(3.8)(3.9) et (5.38)(5.39) verifiees par les fonctions de Bessel et harmoniques spheriques
respectivement.
Introduisons deux operateurs z et qui agissent sur les fonctions dune variable z de la
facon suivante:
)(z) = df (z),
(f
(
z f )(z) = zf (z).
h dz
i
h
i
z = 1 et montrer par induction que k , z = k k1 .
On peut facilement verifier que ,
Transformons maintenant la formule de Rodrigues pour P`+1 (z) en utilisant ces relations

paration des variables en dimension 3 et harmoniques sphe

riques
Se

31

de commutation. Nous avons dune part:

`+1
1
d `+1
z2 1
=
`+1
`+1
2 (` + 1)! dz



`+1

` i
1
d` d 2
1 d` h
2
= `+1
z

1
=
z
z

1
.
2 (` + 1)! dz ` dz
2` `! dz `

P`+1 (z) =
(5.43)
Dautre part:

`

` i
d `+1 h 2 2
d `+1
1
1
z2 1 =
z
z

`+1
`+1
`+1
`+1
2 (` + 1)! dz
2 (` + 1)! dz


h
i



`
d
1 d`
1
1
`
`+1
2
2

z z z 1

z 1
=
= `+1
2(` + 1) dz 2` `! dz `
2 (` + 1)!
|
{z
}

P`+1 (z) =

=P` (z)

1
2`+1 (`

h
i

` i
1
`+1
`+1

z
z z2 1

, z +
P `0 (z) =
2(`
+
1)
| {z }

h
+ 1)!

=(`+1) `

` i

`
1
1
1 1 d` h
2
`
z
z

1
+ `+1
z `+1 z z 2 1
P `0 (z) =
`
2 |2 `! dz {z
2(`
+
1)
2
(`
+
1)!
}
=P`+1 (z) dapr`
es (5.43)

h
h
i

` i
1
1
1
`+1
`+1
0
= P `+1 (z)
z , z +
z
=
P ` (z) + `+1
z2 1
2
2(` + 1)
2 (` + 1)!
| {z }
=(`+1) `

d`

`
1
z
1
1
P `+1 (z)
P `0 (z) + `
z2 1 +
`
2
2(` + 1)
2 |2 `! dz {z
}
=P` (z)

z2

d`

`
1
d
=
z2 1
`
`
2(` + 1) dz 2 `! dz
1
1
z
z2
= P `+1 (z)
P `0 (z) + P` (z) +
P 0 (z),
2
2(` + 1)
2
2(` + 1) `
+

do`
u on obtient finalement une relation de recurrence pour {P ` }:
(5.44)

P `+1 (z) =

z2 1 0
P (z) + zP ` (z).
`+1 `

Exercice 73. En partant de P0 (z) = 1 et en utilisant la recurrence (5.44), verifier les

formules (5.41) pour P1..3 (z).
La relation (5.44) permet de reconstruire `a partir de P0 (z) = 1 tout polynome de
Legendre P ` (z). En appliquant par la suite `a P ` (z) les relations de recurrence (5.38)
(5.39), on peut obtenir des formules explicites pour tout P `m (z) et pour toute harmonique
spherique Y `m (, ). Ceci resoud completement le probl`eme de diagonalisation simultanee
2 et L
z.
des operateurs L