Académique Documents
Professionnel Documents
Culture Documents
Chapitre XV
Ainsi, les coefficients mtriques h1=1, h2= r, h3= r sin , ce qui permet d'crire
lquation (XIII.67) sous la forme:
U
1 2 U
1
U
r
sin
r r
r
r sin
U
1
2
r sin
(XV.1)
U
1
U
r
sin
0
r
r sin
(XV.2)
U(r , ) f 1 (r ) f 2 ()
(XV.3)
Chapitre XV
1 d
df1
1
1
d
r
f1 d r
d r
f 2 sin d
sin
df 2
Les deux parties de cette quation peuvent tre gales une mme constante k, ce qui
conduit deux quations diffrentielles:
df
1 d
r 1
f 1 dr
dr
f2
k;
(XV.4)
df 2
1
d
sin
k
sin d
d
(XV.5)
f 1 r n 1
condition que:
n(n+1)=k
(XV.6)
La solution gnrale de (XV.4) est une combinaison linaire de ces deux solutions
linaires indpendantes:
f 1 ( r ) an r
bn / r n 1 ,
(XV.7)
o an et bn sont des coefficients indpendants des coordonnes, mais qui peuvent tre fonction
de n.
En substituant l'expression (XV.6) dans l'quation (XV.5), pour la dtermination de la
fonction f2, on obtient l'quation de Legendre:
df
1
d
sin 2
f 2 sin d
d
n (n 1) 0
(XV.8)
df 2
d
1 cos
d (cos )
d (cos
n ( n 1) f 2 0
Il est plus facile d'utiliser le changement de variable x= cos qui varie sur l'intervalle
[-1, 1] lorsque dcrot de 0:
d
dx
df 2
(1 x ) dx n (n 1)f 2 0
(XV.9)
Si lon cherche la solution de l'quation de Legendre (XV.9) sous forme d'une srie
infinie:
f 2 x p ai x i ,
i 0
344
Chapitre XV
alors pour n un nombre non entier, les deux solutions seront des sries infinie sur [-1,1].
Si n est un nombre entier, lune des sries se transforme en polynme sur [-1,1]. La
fonction de Legendre de deuxime ordre est une solution pour n entier.
Afin d'obtenir l'expression de ce polynme, soit la fonction:
u = (x-1)n
(XV.10)
Sa drive est:
du / dx 2nx ( x 1) n 1 ,
et la fonction elle mme satisfait l'quation:
(1 x )(du / dx ) 2nxu 0
Le calcul de sa drive par rapport x donne:
d u
du
(1 x )
( 2 x 2nx )
2nu 0
dx
dx
(XV.11)
dx dx
dx dx
du
( 2 n 2 n 2)
0,
dx
(1 x )
d d u
d d u
(1 x )
( 2 x 2 x.2 2nx )
dx dx
dx dx
d u
[2n ( 2n 2) (2n 2.2)]
0
dx
Le calcul de la n-ieme diffrentielle donne:
d d n u
d dnu
2
x
2
xn
2
xn
)
dx dx n
dx dx n
dnu
[ 2n ( 2n 2) ( 2n 4) (2n 2n )]
0,
dx n
(1 x )
cest dire;
d d nu
d d nu
d nu
(1 x )
2x
n ( n 1) n 0
dx dx n
dx dx n
dx
.
(XV.12)
La comparaison des formules (XV.12) et (XV.9) montre que d nu /dxn est un polynme
du n-ime degr qui satisfait l'quation de Legendre.
345
Chapitre XV
Afin d'obtenir cette drive sur les limites de lintervalle [-1 , 1], ralisons les
transformations suivantes:
dn
d n 1
n
(
x
1
)
[ n.2 x ( x 1) n 1 ];
n
n 1
dx
dx
n
n 2
d
d
( x 1) n n 2 [ n( n 1).2 x (x 1) n 2 n.2( x 1) n 1 ];
n
dx
dx
n
d
d n3
n
(
x
1
)
[ n( n 1)(n 2).2 3 x 3 ( x 1) n3
dx n
dx n 3
n (n 1) .2 (2 1) x ( x 1) n2 ] .
La n-ime diffrentielle donne:
dn
( x 1) n n!2 n x n ( x 1)Q,
n
dx
o Q est un polynme de degr infrieur (n-2)
n
n
n
n
Ainsi, les valeurs de du / dx composent sur les limites de lintervalle considr n !2 (1)
n
et n!2 .
n
1
dn
( x 1) n
n
n
2 n ! dx
(XV.13)
Ce polynme satisfait l'quation (XV.9) et il est gal sur les limites de l'intervalle :
Pn (1) 1; Pn ( 1) ( 1) n
(XV.14)
De la formule (XV.13), on a:
P0 ( x) 1; P1 ( x) x; P2 ( x) 0,5 (3x 1)
Les graphes des polynmes de Legendre sont montrs par la figure (XV.1).
Fig XV.1
346
(XV.15)
Chapitre XV
Sur la base des fonctions (XV.3), (XV.7), en posant 2 = P1(cos), on trouve la solution
particulire de l'quation de Laplace (XV.2):
U n ( r , ) an r n Pn (cos ) bn r ( n 1) Pn (cos ) ;
U(r, ) a n r n Pn (cos ) b n
n 0
n 0
1
r
n 1
Pn (cos )
(XV.16)
1
r ' r 2r ' r cos
(XV.17)
en raison du caractre harmonique de la fonction 1/R, celle ci doit tre prsente sous
forme de la premire ou la seconde srie (XV.16); donc:
n 0
an r n Pn (cos ),
b
n 0
1
r n 1
r r ';
Pn ( cos ),
r r '.
(XV.18)
n 0
n 0
an r n , r r ',
bn
1
r
n 1
, r r '.
(XV.19)
Lexpression (XV.17) pour = 0 peut tre reprsente sous forme d'une progression
gomtrique:
1
r'
1
1
R
r ' r
1
r
n0
r
r '
r'
r
n0
r r ';
, r r '.
(XV.20)
la
Chapitre XV
1 r
r r'
1 r'
r r
n0
n0
Pn (cos ),
r r ';
Pn (cos ),
r r '.
(XV.21)
1 U
1 U U
r
0
r r r
r z
(XV.22)
Fig XV. 2
La solution particulire de cette quation est cherche sous forme:
U f1 ( r )f 2 ()f 3 ( z )
(XV.23)
r d df 1 1 d f 2 r d f 3
r
0
f 1 dr dr f 2 d f 3 dz
(XV.24)
1 d f2
v ;
f 2 d
1 d f3
,
f 3 dz
(XV.25)
Chapitre XV
d f1 1 df1
f1 0,
dv v dv
v
(XV.26)
f1 r )sin ( e z ;
f1 ( r ) cos ( e z .
(XV.27)
Fonction de Bessel
Soit f1 = y et v =x. L'quation de Bessel (XV.26) devient:
d y
dy
x
( x y
dx
dx
(XV.28)
y x s ajx j ,
j0
(XV.29)
en posant a 0 0. Aprs avoir remplac la formule (XV.29) dans l'quation (XV.28) on obtient:
[( j s) (x )]a x
j
j s
0,
(XV.30)
j 0
j 0, 1 , 2 K
(XV.31)
a0 ( s ) 0; a1 [(1 s ) ] 0
(XV.32)
Etant donn que a 00, il suit de lquation (XV.32) que s=; toutefois de la seconde
quation on a a1=0. Ainsi, tous les coefficients impairs de la srie sont nuls. Pour s= 0, la
formule de rcurrence prend la forme:
a j a j 2 [ j(2 j)]
349
(XV.33)
Chapitre XV
cest dire;
a2
a4
a0
a0
;
2(2 2)
2( 1)
a0
a0
4
;
2(
2 (
a6
(XV.34)
a0
a0
5
;
2 (
2 (
4
2
4
6
x
x
x
2
2
2
y 0x 1
...
(XV.35)
a 0 1 2 1 ,
(XV.36)
1
o v 1 est la fonction gamma, dont la courbe x 1 est illustre par figure (XV.3).
Fig XV. 3
La fonction gamma est exprime par la formule rcurrente :
m m 1 m 2 .... 1 1 , m 2, 3...
(XV.37)
n 1 n!
350
(XV.38)
Chapitre XV
Puisque
J (x)
4
.
m 0 m! m 1
(XV.39)
par exemple, si =0
x / 4 x / 4 x / 4
J0 1
...
2!
3!
(1!)
3
(XV.40)
Par ailleurs, on a :
J n x 1 J n x .
(XV.41)
cos () J ( x ) J ( x )
.
sin ()
(XV.42)
La relation
Est la fonction de Bessel de deuxime type, appele aussi la fonction de Neumann. Les
fonctions
J x
sin J cos J / J /
cos
Nn
1 J
(XV.43)
Chapitre XV
d x / 2
n
x d x / 2
x
ln ;
2
d
2
x
ln ,
2
(XV.44)
m 1
'
,
2
(XV.45)
v n
et
()
( 1)!
(XV.46)
alors que ;
(1) ; ( )
n 1
, 2,3,...
(XV.47)
k 1
()
(1)
1
; ()
.
p !( p)
p
1
( )
(1) !, 0, 1, 2,...
v
(XV.48)
2 x
1 x
N n ( x) ln J n ( x)
2
2
n n 1
n 1 m !
m!
m0
m 1 n m 1 x / 4
m! n m !
m 0
352
x2
4
1 x
2
(XV.49)
Chapitre XV
En particulier,
N 0 ( x)
x
Ln 2
2 x / 4
1 x / 4
J 0 ( x) (1!) 1 2 ( 2!)
3
1 1 x / 4
2 3 (3!)
(XV.50)
Des formules (XV.39), (XV.40), (XV.49) et (XV.50) pour les trs petites valeurs de
largument, on a :
J 0 ( x) 1 ; J n ( x)
N 0 ( x)
xn
2n n !
, n 1, x 1,
(XV.51)
2n n 1 !
2
x
Ln
; Nn
, n 1, x 1
2
xn
(XV.52)
d u
1 / 4
1
u0
dx
x
Pour
x 1,
d u / dx u 0,
(XV.53)
u y( x ) x c1 cos x c 2 sin x
Ainsi, pour les grandes valeurs de
x,
y c1
cos x
sin x
c2
.
x
x
353
J n ( x)
2
cos
x
N n ( x)
2
sin
x
n ,
4
2
1;
(XV.54)
n ,
4
2
1.
(XV.55)
Chapitre XV
La figure (XV.4) donne les fonctions de Bessel de premier et seconde type et dordre entier.
Les fonctions de Bessel
Jn
et
Nn
U cJ n (r ) dN n (r ) a e z be z p sin n g cos n ,
(XV.56)
U cJ 0 ( r ) dN 0 ( r )
e z be z
(XV.57)
(XV.58)
v r
f1 r cos sin
354
z
z
; f1 r sin cos
; f1 r sin cos
z
z
;
.
(XV.59)
Chapitre XV
Fig XV. 4
d y
dy
x
x 2 y 0
dx
dx
(XV.60)
J u ix
lieu de J V ix on utilise ;
I x i J ix ,
(XV.61)
qui sappelle la fonction de Bessel modifie de premier type. Des formules (XV39) et (XV.61)
il sen suit que :
x
I x
x / 4 m
m! m 1
(XV.62)
m 0
Si 0
I 0 x 1
355
x / 4 x / 4 x / 4
....
(1!)
(2!)
(3!)
3
(XV.63)
Chapitre XV
En gnral v on obtient :
K (x)
I ( x ) I ( x )
2
sin ( v)
K n (x)
(1) n
2
I ( x ) I ( x )
(XV.64)
x 2
(1) n
4
2
( n 1 m)!
m!
m 0
n 1
( m 1) (n m 1)]
m 0
( x 2 / 4) m
.
m !(n m)!
(XV.65)
En particulier, pour
K 0 ( x ) [ln ( x / 2) ] I 0 ( x )
x / 4
1 ( x / 4)
1
(1)!
2 ( 2)!
1 1 ( x / 4) 3
1
...
2 3 (3!)
(XV.66)
pour les petites valeurs de largument des fonctions de Bessel modifies, on obtient des
formules (XV.62), (XV.63), (XV.65) et (XV.66) ce qui suit :
I 0 ( x ) 1; I n ( x ) x n / (2 n n!), n 1, x 1;
x
n 1
x n , n 1, x 1.
; K n ( x ) (n 1) 2
2
K 0 ( x ) ln
approximative :
u ( x ) y( x ) x c1 e x c 2 e x ,
356
(XV.67)
(XV.68)
x , conduit lquation
Chapitre XV
c'est--dire
y( x ) c1e x
x c 2e x
x.
2x ; K n ( x ) e x
2 x , x 1.
(XV.69)
Les graphes des fonctions de Bessel modifies sont reprsents par (fig. XV.5)
En se basant sur la formule (XV.59), la solution particulire de lquation de Laplace est
exprime par :
(XV.70)
Fig XV.5
(XV.71)
Chapitre XV
xJ n nJ n xJ n 1 ; xI ' n nI n xI n 1 ; xK n nK n xK n 1 ;
(XV.72)
(XV.73)
(XV.74)
d n
d
x J n x n J n 1 ; ( x n I n ) x n I n 1
dx
dx
d n
( x K n ) x n K n 1 ;
dx
(XV.75)
d
d n
d
( x n J n ) x n J n1 ;
( x I n ) x n I n 1 ;
( x n K n ) x n K n 1
dx
dx
dx
(XV.76)
J n 1 N n J n N n 1 1/ x; K n 1I n K n I n 1 1/ x,
(XV.77)
a ( ) J
r z
(r ) e z d , z 0
(r ) e z d , z 0
on peut avoir :
a ( ) J
0
358
z,
. En
(XV.78)
Chapitre XV
t/ z
1
1
z
z
0 a e
vers lgalit :
dt
r z
J 0 (r ) d , z 0.
J 0 (r ) d , z 0.
(XV.79)
1
bK (r ) cos (z) d
r z 0 0
(XV.80)
K 0 ( r ) sin ( z )
r z z
K0 ( r ) r sin ( z) d
(XV.81)
Selon les formations asymptotiques (XV.68), (XV.69), seule lexpression intgrale dans
lgalit (XV.71) reste respecte. On peut avoir, ainsi :
r z
br
z
( r ) sin ( z ) d
b
z
sin
(XV.82)
Chapitre XV
1
2
K 0 (r ) cos (z ) d
r z 0
(XV.83)
Lexpression gnrale de 1/R entre le point ( r ' , ' , z' ) et ( r , , z) est donne par les
formules :
1
n
R n 0
1 2
n
R n 0
o
360
0 1
et
e
0
n 2
z z '
J n (r ) d cos n ' ;
(XV.84)