1

EXERCICE

Polynômes de Legendre

Problème : en résolvant des problèmes de potentiel, on rencontre souvent le terme

||r – r′||–1.
1°) Exprimer ||r – r′||–1 sous forme de développement de puissances de cos θ où θ
est l’angle formé par ces deux vecteurs.
2°) Si on appelle r> le plus grand des r ou r′ et r< l’autre (r</r> < 1), montrer que :
l
r 
 r 
    Pl  cos θ  ,
r  r  l 0  r 
où les Pl sont des polynômes de degré l appelés polynômes de Legendre.
3°) En utilisant un développement de Taylor calculer P0 , P1 , P2 , P3 et P4 .
4°) On définit donc les polynômes de Legendre par la fonction génératrice :

MATHEMATIQUES ■
Analyse ■
Fonctions Spéciales ■
2 MATHEMATIQUES DE L’INGENIEUR


1
  Pl  x  t l avec t  1.
1  2 xt  t 2 l 0
En dérivant par rapport à x ou à t cette fonction génératrice, démontrer que :
a)  l  1 Pl 1   2l  1 xPl  lPl 1  0 .
b) Pl  x   2 xPl 1  x   Pl 2  x   Pl 1  x  .
5°) En déduire que :
a) Pl 1  xPl    l  1 Pl .
b) xPl   Pl 1  lPl .
c) Pl 1  Pl 1   2l  1 Pl .
d)  x 2  1 Pl   lxPl  lPl 1 .
6°) Valeurs particulières :
a) Calculer Pl 1 pour tout l .
b) Calculer Pl  0  selon la parité de l (utiliser un développement de Taylor).
7°) Formule de Rodrigues

■ MATHEMATIQUES
■ Analyse
■ Fonctions Spéciales
 LES POLYNOMES DE LEGENDRE 3

a) Montrer que y   z  1 est solution de  z 2  1 y   2z 1  n  y   2ny  0 .

2 n

dn y
b) Que devient cette équation si on la dérive n fois et qu’on pose w  n ?
dz
c) En utilisant la règle de Leibniz sur dn[(z – 1)n(z + 1)n]/dzn puis en prenant la valeur
z = 1, montrer que :
1 dn  2
n 
Pl  z   n z  1  (Rodrigues).
n

2 n ! dz  
8°) Orthogonalité des polynômes.
a) En utilisant des intégrations par parties montrer que si Pm et Pn sont deux polynômes
de Legendre (m < n) alors :
1
x  1
m
 1  d
1 n m n 2

x  1 dx  0 .
n
  P  x  P  x  dx  2
2
I mn m n
m !n !  m n
m n
définition
1  dx
1

MATHEMATIQUES ■
Analyse ■
Fonctions Spéciales ■
4 MATHEMATIQUES DE L’INGENIEUR

On justifiera brièvement pourquoi les termes entre crochets sont nuls dans les
intégrations par partie.
b) Examiner le cas m  n .
c) Par un changement de variable montrer que Inn = 2/(2n + 1). Conclure sur
l’orthogonalité.

Solution : (1) il suffit d’exprimer r  r    r  r   r  r   ce qui donne :

r  r   r 2  r2  2rr  cos θ ,
soit
1 1
 .
r  r r  r   2rr  cos θ
2 2

■ MATHEMATIQUES
■ Analyse
■ Fonctions Spéciales
 LES POLYNOMES DE LEGENDRE 5

(2) Il suffit de faire un développement de Taylor sur le résultat de la question (1)

1 1

r 2  r 2  2rr  cos θ  r  r  
2

r  1  2 cos θ    
2
 r  r  

qu’on développe selon les puissances de r</r> :

1  r 1  r 
2

 1  cos θ     3cos θ  1  ... 2

r  r 2  r  

d’où
l
r 
 r 
    Pl  cos θ  .
r  r  l  0  r 

MATHEMATIQUES ■
Analyse ■
Fonctions Spéciales ■
6 MATHEMATIQUES DE L’INGENIEUR

1
(3) Soit f  x   1  x  . Trouvons son développement de Taylor

2

1 3
f   x    1  x  2 ,


2
3 5
f   x   1  x  2 ,


4
15 7
f   x    1  x  2 ,


8
105 9
f x  
4 
1  x  2 ,


16
1 3 15  4  105
f  0   1, f  0    , f  0   , f  0    , f  0  
   .
2 4 8 16
On peut donc développer la racine carrée dans la question (2) :

■ MATHEMATIQUES
■ Analyse
■ Fonctions Spéciales
 LES POLYNOMES DE LEGENDRE 7

 21
 2

 r  r   ε 3ε 2 15ε 3 105ε 4
1 2 cos θ      1      ...
  r  r 
  2 8 8.3! 16.4 !

 ε 
En regroupant les termes de mêmes puissances de r</r> on trouve
3x 2  1 5 x 3  3x 35x 4  30 x 2  3
P0  x   1, P1  x   x , P2  x   , P3  x   , P4  x   .
2 2 8

MATHEMATIQUES ■
Analyse ■
Fonctions Spéciales ■
8 MATHEMATIQUES DE L’INGENIEUR


(4) Si F  x , t   1  2 xt  t 
2 2
  Pl  x  t l
1

l 0

F  x , t  x t
(a)  F x ,t 
t 1  2 xt  t 2

 
1  2xt  t   P  x  lt
2
l
l 1
  x  t   Pl  x  t l
l 0 l 0
En regroupant les mêmes puissances de t :
    

 P  x  lt
l 0
l
l 1
 2 x  Pl  x  lt   Pl  x  lt
l 0
l

l 0
l 1
 x  Pl  x  t   Pl  x  t l 1 ,
l 0
l

l 0
  

 P  x  lt
l 0
l
l 1
  x  2l  1 Pl  x  t    l  1 Pl  x  t l 1  0 .
l 0
l

l 0
On change d’indices dans les deux premières sommes :
  

  l  2  Pl 2  x  t   x 
l 1
2  l  1  1 Pl 1  x  t    l  1 Pl  x  t l 1
 0. l 1

l 2 l 1 l 0

■ MATHEMATIQUES
■ Analyse
■ Fonctions Spéciales
 LES POLYNOMES DE LEGENDRE 9

Si bien qu’en regroupant les termes de mêmes puissances

 l  2  Pl 2   2  l  1  1 xPl 1   l  1 Pl  0 ,

 l  1 Pl 1   2l  1 xPl  lPl 1  0 . (1)

F  x, t  t 2 F
(b)
x

1  2 xt  t 2
F d’où 1  2 xt  t  x
 tF
 
1  2 xt  t   t P x    t
2 l
l
l 1
Pl  x  ,
l 0 l 0
   

 l
t P
l 0
l
x   2 x  l
t P  x
l 0
   l
l 1
t P  x    Pl  x  ,
t l 1

l 0
l 2

l 0
  

 t Pl x    t
l l 1
 l
2 xP  x   Pl  x    Pl x   0 .
 t l 2

l 0 l 0 l 0
Le changement d’indices donne

MATHEMATIQUES ■
Analyse ■
Fonctions Spéciales ■
10 MATHEMATIQUES DE L’INGENIEUR

  

 t Pl2  x    t
l 2 l 2
 2 xP  x   P  x     t
l 1 l 1
l 2
Pl x   0
l 2 l 1 l 0
Si bien qu’en regroupant les termes de mêmes puissances
Pl 2  2 xPl1  Pl 1  Pl  0 ,

Pl   2 xPl 1  Pl 2  Pl 1 . (2)

■ MATHEMATIQUES
■ Analyse
■ Fonctions Spéciales
 LES POLYNOMES DE LEGENDRE 11

(5abcd) si nous dérivons (4a) alors

 l  1 Pl1   2l  1  xPl Pl   lPl1  0 ,
 2l  1  xPl  Pl    l  1 Pl 1  lPl 1 . (3)

Si nous écrivons (4b) au rang l + 1 alors

Pl 1  Pl 1  2 xPl   Pl . (4)

Effectuons 2(3) + (2l + 1)(4)

2  2l  1  xPl  Pl    2l  1 Pl1   2l  1 Pl1 
2  l  1 Pl1  2lPl1  2 x  2l  1 Pl   2l  1 Pl
soit

 2l  1 Pl  Pl1  Pl 1 (5)

MATHEMATIQUES ■
Analyse ■
Fonctions Spéciales ■
12 MATHEMATIQUES DE L’INGENIEUR

soit (5c)

Si nous formons (ii) + (5c), alors

 2l  1 Pl  Pl1  Pl1  2 xPl Pl  Pl1  Pl1

Pl 1  xPl   lPl (6)

soit (5b)

Si nous formons (5c) – (ii), alors

 2l  1 Pl  Pl1  Pl1  2 xPl Pl  Pl1  Pl1 ,
Pl 1  xPl    l  1 Pl (7)

soit (5a)
■ MATHEMATIQUES
■ Analyse
■ Fonctions Spéciales
 LES POLYNOMES DE LEGENDRE 13

Si nous formons (5a) au rang inférieur + x (5b), alors

Pl  xPl1  xPl1  x 2 Pl  lxPl  lPl 1 ,

x 2
 1 Pl   lxPl  lPl 1 . (8)

soit (5d)

(e) Dérivons cette dernière

2 xPl   x 2  1 Pl lPl  lxPl  lPl1 .
D’où nous obtenons
1  x  P  2  l  xP lP  lP .
2
l l l l 1

En reportant dans l’équation différentielle de Legendre, on a

0  2 xPl  lxPl  lPl  lPl1  2 xPl  l 2 Pl  lPl ,

xPl   Pl 1  lPl (9)

MATHEMATIQUES ■
Analyse ■
Fonctions Spéciales ■
14 MATHEMATIQUES DE L’INGENIEUR

C’est (5b).

(6a) On remarque que


1
F  t ,1   1  t  t  t  ...   t l Pl 1  Pl 1  1 l .
2 3

1 t l 0

(b) On remarque que

2
1 t
f t    1  2 1  t  t  12   23  1  t 
1  32  52

1 t t 0 t 0 2!
3
t t4
 2   2   2  1  t   2   2   2   2  1  t 
 7  92
1 3 5 2 1 3 5 7
 ...
t 0 3! t 0 4!
1 1 1.3 1.3.5 1.3.5.7
 1  t  2 t 2  3 t 3  4 t 4  ...
1 t 2 2 2! 2 3! 2 4!
1 1 1.3 1.3.5 1.3.5.7
F  t ,0    1  t 2  2 t 4  3 t 6  4 t 8  ...
1 t2 2 2 2! 2 3! 2 4!

■ MATHEMATIQUES
■ Analyse
■ Fonctions Spéciales
 LES POLYNOMES DE LEGENDRE 15

 1  2k  1!! t 2k   P
k

F  t ,0    l  0  t l
.
k 0 2k k ! l 0

D’où
0 si l impair

Pl  0     l  1!! 1l /2
 2l /2 l / 2 ! si l pair
  

MATHEMATIQUES ■
Analyse ■
Fonctions Spéciales ■
16 MATHEMATIQUES DE L’INGENIEUR

(7a) Si y   z 2  1 alors y  2 zn  z 2  1
n n 1
puis
y  2n  z 2  1   2 z  n  n  1  z 2  1
n 1 2 n 2
.
D’où
z  1 y  2n  z  1  4 z n  n  1  z  1 ,
2 2 n 2 2 n 1

2 z 1  n  y  4 z n 1  n   z  1 ,
2 2 n 1

2ny  2n  z  1 . 2 n

D’où

z 2
 1 y   2z 1  n  y   2ny  0 . (10)

(7b) Si on dérive n fois cette équation, en utilisant Leibniz

■ MATHEMATIQUES
■ Analyse
■ Fonctions Spéciales
 LES POLYNOMES DE LEGENDRE 17

d n y d n1 y d n2 y ,

 z  1 dz n  2nz dz n1  n  n  1 dz n2
2


 
Leibniz sur le premier terme z 2 1 y

d n y d n1 y dn y
2 z 1  n  n  2  n  1 n n1  2n n  0 .
 dz dz  dz
Leibniz sur le second terme 2 z 1 n  y

dn y
Si on pose w  n alors
dz
 z 2  1 w  2nzw  n  n  1 w  2 z 1  n  w  2  n  1 nw  2nw  0 ,

z  1 w  2 zw  n  n  1 w  0 .
2

Equation de Legendre

Or w est un polynôme de degré n qui est solution de l’équation de Legendre (voir

(5c)), il s’identifiera à un coefficient près avec les polynômes de Legendre vus au début
dn 2
Pn  z   kw  z   k n  z  1 .
n

dz
MATHEMATIQUES ■
Analyse ■
Fonctions Spéciales ■
18 MATHEMATIQUES DE L’INGENIEUR

(c) Terme de degré n dans w :

dn  n
n! n!
w  z   n  z  1  z  1     z  1 Cnk  z  1 .
n n n k k

dz   k 0  n  k ! k!
Pour z = 1 seul reste le terme dans la somme précédente, celui tel que n – k = 0 soit
k=n
n! n n!
w 1  1  1 Cn 1  1  2n n !
0 n

0! n!
Donc d’après (6) Pn 1  k 2n n !  1, d’où

1 dn 2
n 
Pn  z   n z  1 .
n
(11)
2 n ! dz

■ MATHEMATIQUES
■ Analyse
■ Fonctions Spéciales
 LES POLYNOMES DE LEGENDRE 19

(8a) Intégrale de normalisation

+1
1  dm 2 m d
n

m   n  
n
I mn  m n  z  1 z 2
 1 dz .
2 m!n! 1 dz dz
Si on fait n intégrations par parties, on trouve :
 1
n +1 mn
 n d
   m n  
m
I mn  m n z 2
 1 z 2
 1 dz  0
2 m!n! 1 dz
car  z  1 de degré 2m qu’on dérive (m + n) fois.
2 m

On remarque que tous les termes entre crochets sont nuls car en faisant une
récurrence et par application de la règle de Leibniz, on a :
dk 2
k 
z  1  0 pour z  1, k  n .
n

dz

MATHEMATIQUES ■
Analyse ■
Fonctions Spéciales ■
20 MATHEMATIQUES DE L’INGENIEUR

(8b) Si m = n
+1

 1 n
n d
2n

 z  1 2n 
z  1 dz ,
n
I nn  2 n  2 2

2 n !n !  dz 
 
1  2 n !

 2n ! 1
n

 z  1 dz .
+1 n
I nn  2n
2

2 n !n ! 1

 x  1  2u
(c) En faisant un changement de variables x = 2u – 1 d’où  puis
 x  1  2  u  1
 x  1  u  0
dx  2 du et  , nous trouvons finalement
 x  1  u  1
 2n ! 1
n
+1
0  2u   2u  2 
n n
I nn  2n
2 du ,
2 n !n !

■ MATHEMATIQUES
■ Analyse
■ Fonctions Spéciales
 LES POLYNOMES DE LEGENDRE 21

 2n ! 1
n
+1
 u n  u  1 du .
n
I nn 2
n !n ! 0

En faisant n intégrations par parties, nous trouvons que

 2n ! 1  1
n n +1
 n! +1
I nn 2   n ! u 2n
du  2  u 2n
du ,
n !n ! 0  2 n ! 0

2
I nn  . (12)
2n  1

Commentaires : les polynômes de Legendre sont utilisés en mécanique quantique,

dans le cas des calculs des fonctions propres pour l’opérateur moment cinétique. Plus
exactement, ce sont les polynômes de Legendre associés qui sont utilisés, ils
s’expriment sous forme normalisé par
1 2n  1  l  m  ! m
2 2 d
n m
Pl  x   n 1 x  nm 
x  1 .
m 2 n

2 n! 2  l  m ! dx

MATHEMATIQUES ■
Analyse ■
Fonctions Spéciales ■
22 MATHEMATIQUES DE L’INGENIEUR

Ils vérifient :
1
 Pl m  x  Plm  x  dx  δll (symbole de Kronecker),
1

d2 m d m  m2  m
1  x  dx2 Pl  x   2 x dx Pl  x   l  l  1  1  x 2  Pl  x   0 .
2

 

■ MATHEMATIQUES
■ Analyse
■ Fonctions Spéciales