Professional Documents
Culture Documents
Fonctions spciales
Chapitre XII
Fonctions spciales
x p 1 dx.
Cette intgrale est une fonction de paramtre p ; elle est reprsente par le symbole
(p) et s'appelle la fonction Gamma.
L'intgrale d'Euler est une intgrale non propre, car la borne suprieure est infinie,
p 1
l'intgrale est gale x pour x 0 et par consquent toutes les expressions sous intgrale
e
0
x dx e x dx
p 1
x p 1
a2
p 1
dx
a1
x p 1
dx.
a2
x p 1
e x dx lim
a2
-x
x p 1 dx
a2
a2 x0
, on aura:
e x x p 1
et
250
x p 1
1
x
e
x2
1
x2 .
x x0
, la
Chapitre XII
Fonctions spciales
b
e x
-x
dx
dx
p-1
a2
a2
xa
a2
1
a2
x p 1 dx
augmente.
a2
Donc:
b
lim
x p1 dx
a2
existe p.
a1
Considrons lintgrale
x p 1 dx,
x
pour p 1 . Pour x 0, e 1; et la fonction
a1
p 1
pour x 0 , et
a1
p 1
dx
existera pour les mmes valeurs
dx lim
p 1
x p 1 dx
a1
p 1
xp
dx lim
0 p
a1
1
lim (a 1p p ).
p 0
p
p
On peut remarquer que: si p 0 , 0 et l'intgrale existera; si p 0 ,
a1
x dx lim dx / x lim Ln x
0
a1
x p 1 dx
( p) e x x p 1 dx.
0
(XII.1)
Chapitre XII
Fonctions spciales
(1) e x x 0 dx e x
1;
(1 / 2) e x x 1 / 21 dx .
0
1/ 2
1 / 2
dx ; x z 2 . Donc:
Posons x z ; dz 1 / 2 x
(1 / 2) 2 e z dz.
2
A e z dz
2
A e t dt .
2
Prenons
A 2 e z dz . e t dt.
2
z
Le facteur e dz est une constante qu'on peut inclure dans l'intgrale.
Donc:
A e ( z
2
t2 )
dz dt.
0 0
Le calcul est plus simple raliser si lon utilise les coordonnes polaires.
d pd .
Donc :
2
A 2 d e p ede
2
1
2
du
o u , du 2 d ;
A2
A
1
2
u
d e
0
1
2
d 4 ;
0
1
, 2A .
2
2
Le calcul ralis ci-dessus montre, que le calcul de p p par lintgrale dEuler est
compliqu.
252
Chapitre XII
Fonctions spciales
Fig XII.1
(XII.2)
Exemple
4 4
4
7
4
1
3 3
3
3
3
4 1 1
. .
3 3 3
p 1 e
x dx x e
p
p e x x p 1 dx ,
0
o
u x p , du px p 1 dx;
dv e x dx , v e x .
Or
xp
0
x e x
lim x p e x lim
x
Par consquent :
p 1 p e x x p 1 dx p p .
0
Corollaire 1.
Si p est nombre entier, on a p p 1!. Ainsi, on a :
p p 1 p 1 p 1 p 2 p 2
.... p 1 p 2...2.1 1 p 1!.
Donc, de ce corollaire, on peut remarquer comment la fonction gamma croit rapidement :
253
Chapitre XII
Fonctions spciales
1 1
5 4! 24
2 1
3 2! 2
4 3! 6
6 5!120
7 6! 720
8 7! 5040
9 8! 40320
10 362880
m p m 1 p ... 2 p 1 p p,
(p + m + 1)
(p)
(m + p) (m -1 + p) ... (1+ p) p=
.
Corollaire 2.
Dtermination de la fonction gamma pour les valeurs ngatives et non entires de p.
Soit p donn sur lintervalle 1, 0 . Donc p+1 sera trouv sur lintervalle (0, 1) et p 1
peut tre calcul par la formule dEuler (XII.1).
Posons :
p
( p 1)
p
pour 1 p 0
(XII.3)
3
4
4
4
3
3
3
La valeur de
Proprit 2 :
254
9 2
3
.
4 3
1
3
Chapitre XII
Fonctions spciales
n!n p
p p 1 p 2... p n .
P lim
x
f n, p 1
n
0
x p 1 dx.
. Evidemment :
n
lim f n , p lim 1
n
n
n
0
n
lim
n
x
1
n
x
x p 1 dx
x p 1 dx e x x p 1 dx p .
Dune autre part, en intgrant par parties, on obtient pour f (n, p) une expression sous la
forme :
n
x
f n, p 1
n
0
p 1
x
dx 1
n
xp
p
1
x
(1 ) n 1 x p dx,
p0
n
x
u 1
n
x
du n 1
n
dv x
p 1
n 1
dx;
n
xp
dx, v .
p
On obtient lexpression :
n
1
x
f n, p 1
p 0
n
n 1
x p dx
x
u 1
n
do
On obtient :
255
n 1
, dv x p dx.
n 1
x
1
n
n
du
n 2
dx; v
x p 1
p 1
n
0
Chapitre XII
Fonctions spciales
[( )
1
x
f ( n , p )=
1
p
n
n1
x p +1 n n1
x
+
1
p+1 0 n ( p+1 ) 0
n
n2
( )
p+1
n2
n ( n1 )
x
dx = 2
x 1
n
n p ( p+1 ) 0
( )
n, p
n n 1
n 2 ... n n 1
p 1 p 2 .... p n 1
n p
n p
nn p
x
0 1 n
n!
x n p
.
p 1 p 2 ... p n 1
n p
n n p n !
p 1 ... p n
p
n
0
nn
x n p 1dx
n p n!
p 1 ... p n
Par consquent :
n p n!
p lim
.
n p p 1.... p n
p 1
In
p 1
lim
p 1
p lim
p 1 :
p 1
n p n!
;
p 1 ... p n
p ln n ln n ! ln
p 1
p 1
p 1 .... ln p n
1
1
lim ln n
...
.
n
p 1
p n
En posant p = 0,
(1)
1
1
lim ln n 1 ...
(1) n
2
n
1
1
lim ln n 1 ...
n
2
n
256
C.
x p +1 dx
Chapitre XII
Fonctions spciales
( p 1)
1
1
1
1
lim ln n 1
...
...
( p 1) n
2
3
p pn
1
1
1
1
... ] lim ln n
1
n
pn
2
3
p
1 1
1
...
2 3
n p
m 1
p
1
1
C
.
m
m 1 m
1
2
y y 1 2 y 0 .
x
x
(XII.4)
y C1 y 1 C 2 y 2 ,
y x p (a 0 a 1 x a 2 x 2 ... a i x i ...) a i x i p ,
i 0
En posant
a 0 0.
p. La fonction :
y a i x ip
i 0
y a i x i p 1 i p ;
i0
y a i i p i p 1 x i p 2 .
i 0
a i i p i p 1 x i p2 a i i p x i p2
i 0
i 0
1
x
257
a
i0
x i p 0.
Chapitre XII
Fonctions spciales
a (i p)
i 0
2 x i p2 a i x ip .
i 0
ai
ai 2
i (2 p i )
a 1 0, a 3 0, a 5 0, ..., a 2 k 1 0,
;
2 2p 2
2 p 1
a0
a2
a4
(1) 2 4
;
4 2p 4
2 .2 p 1 p 2
a0
a4
a6
(1) 3 6
;
6 2p 6
2 .2 .3 p 1 p 2 p 3
...................................................................................
a2
a 2 k 1
a0
.
2 2 k k! p 1 p 2 ... p k
a0
, on peut crire
p 1 p 1 p 2 ; p 2 p 2 p 3 , etc...
p 1 p 1 (p 2)... p k p k 1 ,
on peut crire pour simplifier que :
a 2 k (1) k
1
,
2 2 k p k! P k 1
y (1) k
k 0
( x / 2)2 k p
k ! p k 1
J
o p v. La solution de lquation pour p = est note par (x) et elle est appele
quation de Bessel de premire espce dordre v . La solution pour p = v est note par J-v (x)
et elle appele quation de Bessel de premire espce dordre v .Par consquent :
258
Chapitre XII
Fonctions spciales
2 k v
(1)
jv x
x
2
k ! k 1
k 0
2 k v
j v x
(1)
x
2
k ! k 1
k 0
J x , J x
Pour non entier
sont des fonctions linairement indpendantes
et par consquent :
y C 2 J x C 2 J x
J n
x
2
k ! n k 1
x (1)k
k 0
On connat que la fonction gamma pour les nombres entiers ngatifs et nul elle est gale
linfini. Par consquent, pour k n 1, n k 1 et la srie sera nulle. La
sommation peut tre dbute de k = n :
2 k n
(1)
J n ( x)
x
2
k ! (k n 1) .
Si m= k-n, on aura :
2 mn
J n x (1) m n
m 0
x
2
m n ! m 1
2 mn
(1) n (1) m
m 0
x
2
m n 1 m!
J n x (1) n J n x
Donc, J n x et J n x sont linairement dpendantes
259
Chapitre XII
Fonctions spciales
Considrons
J 0 x et J 1 x :
2k
2
k
J 0 x (1)
(1) k
k! k 1 K 0
k 0
1
2k
x
2
( k!) 2
x
x4
x6
x8
x 10
4 2 6 2 8 2 10 2 ...
2 2 2! 2 3! 2 4! 2 5!
(avec 0 != 1).
Par consquent :
J0 x J0 x
x 0, J 0 x 1.
Si pour
J0 x
, on prend la somme
x2
x4
x6
x8
1 2 4 2 6 2 8 2
2 2 2! 2 3! 2 4! ,
x 10
x 10
7
10
2
2
5
!
10 La srie converge alors principalement pour x 1. Le
lerreur sera infrieure ,
graphe de la fonction
J 0 x
J 0 x
2 k 1
k 2
J 1 ( x ) (1)
(1) k
k! k 2 k 0
k 0
2 k 1
x
2
k! k 1
x x3
x5
x7
3 5
7
...
2 2 3 2 2!3! 2 3!4!
J0
0,0
J0 x
1,0000
J0 x
00,000
0,5
0,9385
1,0
1,5
260
J0
2,00
J 0 c
0,2239
0,5767
0,2423
2,5
0,4971
0,7652
0,4401
3,0
0,0484
0,3391
0,5118
0,5579
J1 x
Chapitre XII
Fonctions spciales
0,2601
Fig XII.2
cos J x J x
n
sin
Yn x lim
n
n
Pour n , on a : sin 0, cos n (1) et ( 1) J n x J n x et on obtient une
cos J x J x
Yn x lim
n
sin
On obtient :
Yn
2
x
J n ( x ) ln
C
n 1
k 0
n k
k 1
n 2k
k 0
x
(1) k
2
k 1 n k 1
n k
m 1
m
m 1
x
2
2k n
Chapitre XII
Fonctions spciales
C1 J n x C 2 Y n x .
La fonction Yn x sappelle quation de Bessel de deuxime espce dordre n ou
fonction de Neumann.
Ecrivons la srie pour
Y0 x
x
(1)
2
( k !) 2
2k
Y0 x
2
1
x
J 0 x ln C
k 0
2
1 2
x
[ J 0 x ln C
m
2
m 1 m
x2
1
x
1 1
1 2 2 2 1 ....
2 2 4 6
2 3
2 4
donc :Y0 x pour x 0.
x
1
2
y 2 2
x
x
y 0
(XII.5)
2
simplifions par
d 2 y 1 dy
.
dt 2 t dt
262
2
1 2
t
y 0
Chapitre XII
Fonctions spciales
J t et J ou J x et J x .
Considrons lquation.
y 1 y 0.
x
x
(XII.6)
2
Si lon introduit le signe (-) sous la parenthse et lon pose i 1 , lquation (XII.6)
y
devient :
y i 2 y 0
x
x
x
i 2 k
2
J xi (1) k
k 1 k 1
k 0
2k
i
k 0
x
2
;
k 1 k 1
2 k
x
i 2 k
2
J xi (1) k
k 1 k 1
k 0
2 k
i
k 0
x
2
;
k 1 k 1
2k
k
2k
on a utilis i ( 1) , et ( 1) 1 .
Etant donn que lquation diffrentielle est homogne, donc quelque soit C1 et quelque
soit C2 les fonctions
C1 J ( xi )
et
C 2 J ( xi )
i J xi i i
k 0
x
2
k! k 1
2k
k 0
2 k
i J xi
k 0
263
x
2
;
k! (k 1)
x
2
,
k! k 1
Chapitre XII
Fonctions spciales
Posons
2 k
k 0
x
2
I x ,
k! k 1
2 k
k 0
Les fonctions
cas de fractionnel,
I x
et
I x
et
I x
x
2
I x .
k! k 1
sont les fonctions de Bessel du troisime espce. Dans le
I x
y C1 I x C 2 I x
2k n
2
I n x
k 0 k! k n 1
2
k n k! k n 1
I n x
m 0
x
2
m n ! m 1
2mn
m 0
x
2
I n x .
m n 1 m!
K n x
I n x I n x
2
sin n
z
1
t
2
t
Chapitre XII
Fonctions spciales
zt
u z, t e 2 e
z
2t
zt
k!
k 0
z
2t
m!
m 0
z
( 1)
t k m
2
.
k!m!
m 0
m
u z, t
k 0
ou
u z, t A n t n .
Le coefficient
An
est :
2mn
2mn
z
z
2
m
m
A n (1)
( 1)
.
m n !m! m 0
m! m n 1
m 0
Pour z = x, le coefficient An devient
J n x
x
et
1
t
t
u x, t e 2
J n x t n
(XII.7)
x
i 2 m n
2
An (1) m
m! m n 1
m 0
2 m n
in
m 0
x
2
i n I n x
m! m n 1
et
u ix , t e
ix 1
t
2
t
i n I n x t n .
(XII.8)
265
Chapitre XII
Fonctions spciales
2n
J n ( x ) J n 1 x .
x
Cette formule joue un rle important dans la thorie des fonctions de Bessel. Elle
permet de rduire le calcul des fonctions dordre suprieur des fonctions de premier et
deuxime ordre, cest dire
J 1 x et J 0 x .
Exemple :
6
J 4 x J 31 x J 3 x J 2 x
x
6 4
2
J 2 x J 1 x J 1 ( x ) J 0 ( x )
x x
x
24 2
2
6
J1 x J 0 x J1 x J1 x
2
x
x x
x
48
24
8
J0 x 3 x
J 0 x J1 x J 0 x
x
x
x
48 8
24
J1 x
1 J 0 x .
x x
x
J 0 x et J 1 x .
u
Dmonstration : prenons la relation (XII.7) et calculons t par deux mthodes :
x
a)
u 2 t t
e
t
x
1
x
(1 )
2
t
2
J n ( x) t n
x
2
(x ) t n 2 ;
u
J n x nt n 1 .
t
b)
Les deux parties droites des deux diffrentes expressions doivent tre gales pour
n 1
Egalisons les coefficients pour t . On obtient :
n J n x
x
x
J n 1 x J n 1 x
2
2
Do :
J n 1 x
266
2n
2n
J n x
J n x J n 1 x , etc...
x
x
.
u
t
Chapitre XII
Fonctions spciales
J n x 2 J n 1 x J n 1 x .
a)
b)
u
e 2
x
1
t
t
1
1
1
t
2
t
2
J x
J n ( x ) t n 1
t n 1 ;
u
J n x t n .
x
1
[ J n 1 ( x ) J n 1 ( x )], etc.
2
J 0 x et J 1 x ,
1
J 1 x J1 x 1 J1 x J1 x J1 x .
2
2
u xi
e
t 2
1
t
t
1 n
i I n (x) t n
2
t
xi
i n I n ( x ) t n 2
u n
i I n ( x ) nt n 1 .
t
Egalisons les coefficients pour tn-1. On obtient :
i n I n (x) n
xi n 1
i I n 1 ( x ) i n 1 I n 1 ( x )
2
xi n
I n 1 ( x ) i 2 I n 1 ( x )
2
ou :
In xn
x
I n 1 x I n 1 x .
2
do :
I n 1 x
2n
I n x I n 1 x
x
Chapitre XII
Fonctions spciales
u
4. Si lon calcule x de la formule (XII.8) par deux mthodes et on galise les
n
coefficients dans les deux expressions trouves pour t , on obtiendra la drive de la fonction
de Bessel du troisime espce :
xi
t
u
e 2 t
x
i
1
i
t
2
t
2
In
t n 1
In
t n 1
o :
In x
1
In ( x ) I n 1 ( x )
2
etc
Pour n = 0
I0 x
1
I 1 ( x ) I1 ( x ) I1 x ,
2
avec :
I n x I n x
x 1
t
2 t
J k x t k
et on pose t e . Do.
1
1
e i i
i
i
t
e e e i sin ; t k e ik
2
2
2
268
(XII.7)
Chapitre XII
Fonctions spciales
e i x sin J k x e ik .
(XII.9)
2k
La fonction e
ik
eiK d
ik
d 0
eik
ik
pour k 0 , donc :
1 2 ki
e
e0 0,
ik
avec
e 0 1 et e 2 k cos 2k i sin 2k 1.
Pour k = 0, on a :
e ik d
d 2.
in
Donc, pour trouver les fonctions pour J n x , il faut multiplier lgalit (XII.9) par e
e ix sin ni d J k x e i k n d.
On obtient enfin :
J n x e 0 d 2 J n x .
2
Pour les valeurs relles de x, la fonction J n x prendra des valeurs relles et lgalit
sera possible si :
sin x sin n d 0.
Par consquent :
J n x
1 2
cos x sin n d.
2 0
J0 x
1 2
1
cos x sin d cos ( x sin ) d
0
2
0
22
cos ( x sin ) d.
0
269
(XII.10)
Chapitre XII
Fonctions spciales
ix
1
t
2
t
ik Ik x t k
e i e i
xi
1
xi sin i
t xi
2
t
2
x sin ; t k e ik .
x sin
i k I k x e ik .
et
in
Multiplions par e et intgrons de o 2:
x sin in
d i k I k x e i ( k n ) d.
e
x sin in
d i n I n x 2.
Pour n = 0, on a :
2
x sin
d 2 I 0 x .
zx
J 0 rx dx
1
z2 r2
2
1
K 0 rx cos zx dx
,
0
z2 r2
Montrons la premire formule. Pour
J 0 rx
J 0 rx
2
cos (rx sin ) d.
0
Chapitre XII
Fonctions spciales
zx
J 0 rx dx
Do :
1
0 e J0 rx dx
zx
2 zx
e cos rx sin d dx.
0
0
eir
x sin
0 d 0 e
eir
2
zx irx sin
x sin
e zx irx sin dx
e zx irx sin
e zx irx sin
d
0 z ir sin z ir sin
1
1
d
z ir sin
z ir sin
zx
J 0 rx dx
2z
z r sin
2z
d
0 z r sin 2
2
Posons tg t ; dt sec d;
dt
dt
dt
;
sec 1 tg 1 t
sin
tg
t
.
sec 1 t
2z
0
dt
t2
1 t z r
1 t 2
2z
z r
2z
dt
0 z z r t 2
2z
z r
dt
z
t
z r
t z r
2
arc tg
0
z
z r 2
0
1
J rx dx r
0
z r
z
1
z r
Chapitre XII
Fonctions spciales
J x , J 0.
La valeur est la racine de
si
Montrons que si et deux racines
diffrentes de la fonction
J x
, on aura :
1
x J x J x dx 0.
J x y 1
et
J x y 2
, donc conformment
(XII.6), on a :
y1
1
2
y1 2
x
x
y2
1
2
y 2 2
x
x
y1 0,
y 2 0
x ( y1 y 2 y 2 y1 ) (2 2 ) xy 1 y 2 0.
dx
Lintgrale de 0 1 donne :
x x( y y y y )
1 2
2 1
1
0
xy1 y2
y 1
dJ x
dx
dx 0.
(XII.11)
dJ x
d x
, y2
d x
dx
x 1
x 1
0;
0;
J x ; y1
x 1
x y y y y
1
2
2
1
272
1
0
J .
Chapitre XII
Fonctions spciales
Do :
x y1 y 2 y2 y1 10
x J x dx lim
J J
lim
2
2
do :
1
2
v
dx
J x
x f x J x dx C x J x J x dx ...
C k x J 2 k x dx ...
0
On obtient :
1
x f x J x dx c x J x dx.
Do :
1
ck
x f x
2
v
x
k
dx
dx
[ J k x ]
x f x
k x
dx.
(XII.12)
f ( x ) c1 J 1 ( 1 x ) c 2 J 1 ( 2 x ) ... c k J 1 ( k x ) ... c k J 1 ( k x ).
k 1
273
Chapitre XII
Fonctions spciales
1
ck
2
x J x dx
J1 k 0 1 k
On pose n = 1, do :
x
J 1 t dt x J 2 x .
x
dx
0 1 k
0 k J 1 t k
1
t J t dt v
1
2
k
J 2 k
Donc :
ck
et
1
J 2 k .
k
J2 k
.
k
[J 1 k ]
2
'
2 J2 k
. J 1 ( k x )
'
k 1 k J 1 k
f (x)
J 2 1
2
J 1 1 J 0 1 J 0 1 .
1
J 2 1 0,4028
et
J 2 1 1 / 2 J 0 1 J 2 1 0,4028.
Par consquent :
c1 1,2955.
On peut calculer dune manire analogue c 2 , c 3 ,...
XII.11 Application de la fonction de Bessel a la solution des problmes de physique
mathmatique
Problme 1. Propagation de la chaleur dans un cylindre infini de rayon R.
Il faut dterminer la temprature lintrieure du cylindre, si on a la distribution de la
temprature au moment initial et sur la surface du cylindre.
On prend que la temprature U dpend de la distance . Soit la condition initiale :
274
Chapitre XII
Fonctions spciales
Fig XII.3
(Condition initiale).
Lquation de conductibilit thermique est :
U
a U.
t
L'oprateur de Laplace est plus simple prendre en coordonnes cylindriques :
U
1 U 1 U
.
z
Des conditions du problme, on a U qui ne dpend pas de et de z, do :
U
0
et
U
0
z
.
1 U
U
1 U U
a
a
t
ou
U 1 U
U
a
.
t
Ainsi, il faut rsoudre lquation (XII.13) si
(XII.13)
0
et
t 0
. On va utiliser
Chapitre XII
Fonctions spciales
Donc :
U
T t ,
t
U
T t ,
U
T t ,
1
T t a T t .
a T t
T t a 2 T t ;
(XII.14)
0 .
(XII.15)
ln T a t ln C
ou
T e
a t
C.
La fonction :
U , t C e a t J 0
sera la solution de lquation diffrentielle (XII.13) . Cependant la fonction U , t
doit satisfaire la condition aux limites. Par consquent :
C e a
do :
276
J0
0 ,
Chapitre XII
Fonctions spciales
J 0 R 0 .
Les valeurs R sont les racines de la fonction J 0 x . Si les racines sont dsignes par
1 , 2 , ..., k ,..., donc pour , on a :
, 2 2 ,..., k k ,...
R
R
R
U k , t C k e ka t J 0 k , k 1,2,3,...
qui est une solution de (XII.13). k sont les nombres caractristiques du problme. J 0 k
sont les fonctions caractristiques ou propres du problme.
Aucune fonction U k , t ne satisfait les conditions aux limites, tant donn que pour t =0 :
U k C k J 0 k ,
et non f( ).
U(, t ) C k e k a t J 0 k
k 1
f () c k J 0 k .
R
k 1
J 0 ' ( k
R
)
2
f () J 0 k d
R R
donc :
ck
J 0 ' ( k )
.
2
1
f () J 0 ( k ) d
R 2 0
La fonction :
U ( , t)
c e
k 1
2 2
ka t
J 0 (k )
Chapitre XII
Fonctions spciales
U z H 0,
U 1 0,
U z 0 f ().
2U
, 2 0
0
2 z 2
Posons U (, z) () Z(z) . Do :
U
2U
2U
() Z(z);
)
Z
(
z
);
() Z(z).
2
z 2
2
()
Z( z )
Pour trouver ( ) et Z(z), obtenons les quations :
()
Z(z) 2 Z(z) 0
(XII.16)
1
() 2 () 0
(XII.17)
Lquation (XII.16) est une quation linaire et homogne du deuxime ordre. Pour sa
rsolution, tablissons lquation caractristique :
k 2 2 0, k .
Lquation (XII.17) est une quation de Bessel dont la solution est DJ 0 ().
La fonction :
278
Chapitre XII
Fonctions spciales
U(z, ) D(C1e z C 2 e z )J 0 ()
sera la solution de lquation de Laplace.
Afin que pour z =H, on a U=0, il faut que :
C 1 e H C 2 e H 0
e H
e H
, C2
.
2
2
Do :
C1 e z C 2 e z
e ( H z ) e ( H z )
sh(H z ),
2
C'est--dire : J 0 () 0.
Si 1 , 2 , ..., k , ... sont les racines de J 0 (), donc k 1,2,..., on a :
U k D k sh k (H z)J 0 ( k )
U(, z) D k sh k (H z)J 0 ( k ).
k 1
f () D k sh ( k H)J 0 ( k ).
k 1
Les conditions de la srie sont dtermines par la formule (XII.12). Par consquent :
1
D k sh ( k H)
2
. f () J 0 ( k )d.
[J 0 `( k )] 2 0
La fonction :
D
k 1
sh k (H z) J 0 ( k ),
Chapitre XII
Fonctions spciales
U ( , z ) Z 0 0,
U ( , z ) z H 0, U ( , z ) 1 f ( z ).
Posons :
U (, z) () Z(z),
On trouve :
1
() ()
Z( z)
()
Z(z)
ou encore :
()
1
() 2 () 0
et
Z( z ) 2 Z(z ) 0
La fonction :
U ( , z ) (C cos z D sin z ) I 0 ( )
Pour que pour z=H, on a U=0, il faut que D sin H 0 , chose possible que pour :
H k.
Par consquent
k
,
H o k=1,2,3,
La fonction :
k
U k (, z) D k I 0
H
280
kz
sin
H
Chapitre XII
Fonctions spciales
Satisfait les deux conditions aux limites. Afin de trouver la fonction satisfaisant la
troisime condition aux limites, prenons :
D
k 1
k
k
sin
z
H
H
k 0
et considrons que :
D
k 1
kz
k
f (z).
sin
H
H
k 0
2
kz
k
dz.
f (z) sin
H0
H
H
Dk I0
La fonction :
kz
k
sin
H
H
U (, z) D k I 0
k
kz
sin
H sont les valeurs propres et
H sont les
fonctions propres.
Exercices.
3
1
1 3
, , k
2 o k est entier.
1. Sachant 2
, trouver 2 2
2. Montrer que :
J 1 (x)
2
2
sin x , J 1 ( x )
x
2
J 1 (x)
x et
et
1
2
(x)
y y 1 2 y 0
x
4x
281
2
cos x ;
x
J 5 (x)
et
Chapitre XII
Fonctions spciales
1
sin ( x sin ) sin ( 2n 1)d.
2 0
J 2 n 1 ( x )
8. Montrer que:
x
tJ
( t )dt xJ 1 ( x )
9. Dcomposer la fonction f(x) =1 sur (0,1) en srie par fonctions de Bessel d'ordre 0.
2
ck
.
0 ( k )
J
k
Rponse:
10. Montrer que :
x
n 1
J n ( t )dt x n 1 J n 1 ( x ).
M0
Fig XII.4
Si le point M0 est situ sur l'axe or une distance de l'origine des coordonnes gale
l'unit, on a:
R 1 2r cos r 2
1
o r et sont les coordonnes sphriques du point M. R est dtermine en fonction de
Pn (cos ), appele polynme de Legendre. Donc:
282
Chapitre XII
Fonctions spciales
1
Pn (cos ) r n .
R n 0
(XII.18)
1
1
Pn ( x )r n .
R
1 2rx r 2 n 0
(XII.19)
Les coefficients de la srie (XII.19) peuvent tre dtermins par la formule de Mc Laurin.
Donc:
P0 ( x )
1
R
1; Pn ( x ) .
n! dr n
1
R
dn
r 0
r 0
d 1
d
(1 2rx r 2 ) 2
dr R
dr
Sachant que
P1 ( x)
d 1
dr R
xr
(1 2rx r 2 ) 3
,
r 0
on obtient:
P1 ( x ) x.
1
Analogiquement par la drive du second ordre par rapport R , on peut obtenir P2 ( x )
etc.
La diffrentielle de (XII.19) donne:
1
R P ( x )nr n 1
n
dr
n 0
d
ou
xr
(1 2rx r 2 )
Pn ( x )nr n 1 .
n 0
2
En multipliant les deux parties de la dernire galit par (1 2rx r ), et remplaant
1
n 0
n 0
( x r ) Pn ( x ) r n (1 2rx r 2 ) nP n ( x ) r n 1 .
Egalisons les coefficients pour rn :
283
Chapitre XII
Fonctions spciales
xP n ( x ) Pn 1 ( x ) ( n 1)Pn 1 ( x ) 2nxP n ( x ) (n 1)Pn 1 ( x )
ou
(XII.20)
Trouvons
ou
P2 ( x )
3 2 1
x .
2
2
3P3 ( x ) 5 xP 2 ( x ) 2P1 ( x ) 0
ou
P3 ( x )
3. Si n=3, on aura:
5 3 3
x x.
2
2
ou
P4 ( x )
Ainsi,
figure XII.5.
35 4 15 2 3
x x .
8
4
8
si n 0, 1, 2, 3.
Fig XII.5
XII.13 Equation diffrentielle pour les polynmes de Legendre
284
Chapitre XII
Fonctions spciales
1
1
La fonction potentielle R satisfait l'quation de Laplace, c'est--dire R =0. Ecrivons
1
R 0.
2
1
1
2 R
1
r
sin R
r
r
sin
1
Au lieu de R , prenons
diffrenciant:
P (cos ) r
n 0
0.
,
conformment la formule (XII.19), d'o en
2 n 1
[r nr Pn (cos )]
r n 0
P (cos )
1
sin r n n
0
sin
n 0
(n 1) nr n Pn (cos )
n 0
P (cos )
1 n
r
sin n
0.
sin n 0
r
n 0
(n 1)nP n (cos )
P (cos )
1
sin n
0
sin
Soit enfin:
( n 1)nP n (cos )
dP (cos )
1 d
sin n
0
sin d
d
sin
d dx d
dx
sin
dx
dx
dP ( x )
d
(n 1)nP n ( x )
(1 x 2 ) n
0
dx
dx
(n 1)nP n ( x )
En diffrenciant, on obtient:
285
(XII.21)
Chapitre XII
Fonctions spciales
d 2 Pn ( x ) 2 x dPn ( x )
(1 x )
n (n 1)Pn ( x ) 0,
dx
dx
2
(XII.22)
qui est une quation linaire et homogne du second ordre coefficients constants.
( x )Pn ( x ) 0 pour m n.
(1 x 2 ) y 2 2 xy 2 n (n 1) y 2 0 .
(1 x 2 )( y 2 y1 y1 y 2 ) 2x ( y 2 y1 y1 y2 )
m(m 1) n (n 1) y1 y 2 0
ou
d
(1 x 2 )( y 2 y1 y1 y 2 ) m( m 1) n (n 1) y1 y 2 0.
dx
(1 x
)( y 2 y1 y1 y2 ) 1 m( m 1) n (n 1) y1 y 2 dx 0.
1
Puisque m n , on a:
1
y y
1
dx 0.
ou
1
286
( x ) Pn ( x ) dx 0.
Chapitre XII
Fonctions spciales
Calculons:
1
( x )dx.
2n 1
n 1
xPn 1 ( x )
Pn 2 ( x )
n
n
2
Pn ( x)dx Pn ( x)
1
dx
2n 1
n 1
xPn ( x) Pn 1 ( x ) dx
Pn ( x ) Pn 2 ( x ) dx.
n 1
n 1
La deuxime intgrale est nulle selon la proprit d'orthogonalit des polynmes de
Legendre. La premire intgrale se transforme, en exprimant xPn ( x ) partir de l'quation
(XII.20). Donc :
1
2
pn ( x) dx
n 1
2n 1
p n 1 ( x)
p n 1 ( x)
n 1
2n 1
1
n
2n 1
n 1
p n 1 ( x ) dx
2n 1
n
2n 1
n 1
( x ) dx p n 1 ( x)dx
2n 1
p n21 ( x) dx.
2n 1 1
2n 1
2
1 Pn ( x) dx 2n 1 1 Pn1 ( x) dx.
2
Analogiquement:
1
2
n 1
1
1
2n 3
( x) dx
2n 1
Pn2 ( x) dx
2
2
n2
( x) dx,
1
1
2n 5
2
P n 3 ( x) dx.
2n 3 1
.....................................................................
1
P1 ( x) dx
287
1
1
2
2
P0 ( x) dx dx .
3 1
3 1
3
Chapitre XII
Fonctions spciales
1
( x ) dx
2
.
2n 1
f ( x) P ( x)dx c P ( x) P ( x)dx
n
c1
P1 ( x) Pn ( x) dx ... cn
( x) dx ...
Selon la proprit d'orthogonalit, toutes les intgrales dans la partie droite sauf
1
( x ) dx ,
sont nulles.
Par consquent:
1
f (x) P ( x ) dx c P
n
( x ) dx c n
2
,
2n 1
cn
2n 1
f ( x ) Pn ( x ) dx.
2 1
(XII.23)
U(r, ) r R f ().
2
2
La fonction U(r, ) doit satisfaire l'quation de Laplace U 0. On a U / 0, et
par consquent:
288
Chapitre XII
Fonctions spciales
2 U
1
U
(r
)
(sin
)0
r
r
sin
r2
ou
2U
U
1
U
2r
(sin
) 0.
2
r sin
U
2U
( r ) T () ;
(r ) T () ;
r
r 2
U
( r ) T () ;
r
1
d
[r 2 (r ) 2r( r )] T ()
(r )
[sin T ()] 0.
sin
d
1 d
[sin T ()]
sin d
r (r ) 2r(r )
.
( r )
T ()
2
Etant donn que r et sont indpendants, l'galit sera possible que si les parties gauche
et de droite sont gales une constante . On obtient:
r 2 (r ) 2r (r ) (r ) 0
et
1 d
[sin T ()] T () 0.
sin d
Donc pour n (n 1), on dduit que:
T() c n Pn (cos ).
(r ) kr k 1 , (r ) k (k 1)r k 2 .
289
Chapitre XII
Fonctions spciales
(k 1)kr k 2kr k n (n 1) r k 0
r k [k (k 1) n ( n 1)] 0, k n , (r ) r n .
ou
U(r, ) c n Pn (cos ) r n
n 0
Choisissons les coefficients cn pour que r =R, la srie sera gale f (), c'est--dire:
c
n0
n
P n (cos ) R f ( ).
1 2n 1
cn n
f () Pn (cos ) sin d.
2 0
R
Par consquent:
n
2n 1
r
U(r, )
f () Pn (cos ) sin d . Pn (cos ).
2 0
R
n 0
(XII.24)
Fig XII.6
Solution : L'quation de conductibilit thermique est:
U
a 2 U ,
t
290
Chapitre XII
Fonctions spciales
o U est la temprature.
Dans le cas d'une rpartition stationnaire, on a U 0. La condition aux limites est:
U r R f ().
Donc, le problme 2 est un cas particulier du problme 1 et sa solution est donne par la
srie (XII.24). On peut crire:
cos a
(XII.25)
Evidemment,
1
T0
Pn ( x) dx
cos
T0
2n 1
[ P
n 1
( x) Pn1 ( x)] dx
cos
T0
[ Pn 1 ( x ) Pn 1 ( x )]1cos .
2n 1
T0
T0
1 cos [ Pn 1 (cos )
2
n 1
r
Pn 1 (cos )] Pn (cos ) .
R
1
xr
; R
2 3
x
(1 2rx r )
r
(1 2rx r 2 ) 3
r R ( x r ) R 0.
r
x
(XII.26)
Chapitre XII
Fonctions spciales
1
1
R nP ( x ) r n 1 ,
R P (x ) r n .
n
n
r
x
n 0
n 0
En remplaant les expressions trouves dans lquation (XII.26), on obtient :
n 0
n 0
r np n ( x ) r n 1 ( x r ) p n ( x ) r n
(XII.27)
Pnm ( x ) (1 x 2 ) 2
d m Pn ( x )
dx m
( x ) Pn ( x ) dx 0, k n,
1
1
[P
( x )] 2 dx
et
2 (n m)!
2n 1 ( n m)!
m2
(1 x 2 ) y 2 xy n( n 1)
y 0.
1 x2
1 d
dy
m2
sin
n(n 1)
y 0.
sin d
d
sin 2
XII.17 Fonctions sphriques volumiques superficielles
292
Chapitre XII
Fonctions spciales
2U 2U 2U
0.
x 2 y 2 z 2
Le polynme homogne de degr n peut s'crire sous forme:
Un
o
a mpq
mpq n
mpq
x m ypzq ,
est un coefficient.
2U2
2U2
2U2
2a 200 ,
2a 020 ,
2a 002 .
x 2
y 2
z 2
U2 satisfait l'quation de Laplace si:
Fig XII.7
Lquation de Laplace en coordonnes sphriques scrit sous forme:
2 U
1
U
1 2U
(r
(sin )
0.
r
r sin
sin 2 2
Avec:
x r sin cos ,
y z sin sin ,
z r cos .
Chapitre XII
Fonctions spciales
Un
rn
m p q n
mp q n
mpq
mpq
U n
nr n 1 Yn ( , )
r
U
n
r
n(n 1)r Yn ( , ) ,
r
r
U n
Yn ( , )
(sin
) rn
sin
,
2U
rn
2Yn ( , )
.
2
r n [n ( n 1) Yn (, )
Y (, )
1
1 2 Yn (, )
(sin n
)
] 0;
sin
sin 2
2
n
tant donne que r 0, on a:
n ( n 1) Yn (, )
Y (, )
1
(sin n
)
sin
1 2 Yn (, )
0.
sin 2
2
(XII.28)
1
U
1 U
(sin )
sin
sin
est l'oprateur de Laplace d'une fonction donne sur une sphre de rayon 1, qu'on dsigne par
* U.
Chapitre XII
Fonctions spciales
Yn
0,
n (n 1) Yn
Y
1
(sin n ) 0
sin
Yn (, )
m p q n
mpq
1 cos 2
,
2
1 cos 2
cos
.
2
Aprs regroupement membre membre, on a:
sin
d
m 1 d
sin
sin
Yn
d
sin
da n 0
n
danm
d
cos
m
sin
d
m 1 d
db nm
n
Y
( anm ( ) m cos m bnm ( ) m sin m ).
m 1
295
sin m ;
Chapitre XII
Fonctions spciales
n
da
1 d
sin n 0 n (n 1) a nm ()
sin d
d m 1
n
da
1 d
m
a nm cos m [n (n 1) b nm ()
sin nm
sin d
d sin
m 1
db
1 d
m
b nm sin m 0.
sin nm
sin d
d sin
n (n 1) a n0 ()
1)
da
1 d
m
a nm 0 ,
sin nm n (n 1)
sin d
d
sin
db
1 d
m
3)
b nm 0.
sin nm n (n 1)
sin d
d
sin
2)
a nm () a m Pn (cos ) , b nm () b m Pn (cos ) ,
o a nm( ) et bnm( ) sont des constantes.
On peut crire alors la fonction sphrique sous forme:
n
dV
dU
V
ds ( UV VU ) dv.
dn
dn
V
et
296
U 0 ; V 0.
Chapitre XII
Fonctions spciales
Fig XII. 8
La partie droite de la formule de Green sera nulle et par consquent:
n
[r Yn
S
d (r m Ym ) m
d (r n Yn )
r Ym
ds 0 ,
dn
dn
Analogiquement, on a:
d n
( r Yn ) nr n 1 Yn (, ).
dn
n m 1
(m n ) Yn Ym sin dd 0.
Y (, ) Y
n
(, ) sin dd 0 , pour n m.
Exercices
1. Trouver P5 ( x ) et P6 ( x ) par la formule de rcurrence.
297
Chapitre XII
Fonctions spciales
Pn (0) ( 1) 2
1.3.5...(n 1)
2.4.6...n
pour n- pair.
et
Pn (0) pour n impair.
0,1 x 0
1,0 x 1;
f ( x)
Rponse :
f (x)
1 3
7
11.4!
P1 ( x ) 4 P2 ( x ) 6
P3 x ...
2 2
2
2 3!2!
2k 1
Pk (0).
(k 1)( k 2)
( x, t ) e ( t
2 tx )
H n (x) n
t ;
n!
n 0
( x, t ) e t 2 tx
(XII.29)
H ( x ) n 1
t 2 tx
e
( 2 t 2 x ) n
nt .
t
n!
n 0
Chapitre XII
Fonctions spciales
,
En comparant les expressions pour ( x , t ) et t on trouve:
( 2 t 2 x ) ( x , t ) 0.
t
H n ( x ) n 1
H n ( x ) n 1
H n (x) n
nt
2
t
2
x
t 0.
n!
n!
n!
n 0
n 0
n 0
H n 1 ( x )
H (x)
H (x)
(n 1) 2 n 1
2x n
0
( n 1)!
(n 1)!
n!
ou
H n 1 ( x ) 2xH n ( x ) 2nH n 1 ( x ) 0 ;
(XII.30)
H 3 ( x ) 2 xH 2 ( x ) 4H1 ( x ) 8x 3 12x.
On a aussi :
et
H ( x) n 1
e t 2tx 2t 2 n
t .
x
n!
n 0
H ( x) n
n
t .
x n 0 n!
H n 1 ( x ) 2 H n ( x )
.
(n 1)!
n!
o
299
(XII.31)
Chapitre XII
Fonctions spciales
H n 1 ( x ) 2(n 1) H n ( x ).
Do
H n ( x ) 2nH n 1 ( x )
et
H n( x ) 2nH n1 ( x )
ou
H n ( x ) 2 xH n ( x ) 2nH n ( x ) 0;
x 2
H n ( x ) H m ( x ) dx 0
Posons H n ( x ) z1 et H m ( x ) z 2 . Donc :
z1 2 xz1 2nz 1 0 ,
z 2 2xz 2 2mz 2 0.
x
Multipliant la premire quation par e
( z2 ) et la seconde par e x
( z1 ). Donc :
e x (z1 z 2 z 2 z1 ) 2 xe x (z1 z 2 z 2 z 1 )
2
2 ( n m) e x z 1 z 2 0 ;
2
d x 2
e (z1 z 2 z 2 z1 ) 2 (n m) e x z1 z 2 0.
dx
[e x (z 1 z 2 z 2 z 1 ) ] 2 (n m)
z 1 z 2 dx 0.
z 1 z 2 dx 0
ou
x 2
x H n ( x ) H m ( x ) dx 0.
Do :
Chapitre XII
Fonctions spciales
H n ( x ) dx 2 n n! .
Les fonctions
H ( x ), H1 ( x ), ...
f (x) en srie.
2U 2U 2U
0
x
y
z
(XII.33)
0
X
Y
Z
(XII.34)
(XII.35)
Posons :
X
Y
Z
;
;
X
Y
Z
.
o
.
(XII.36)
Lintgrale sera :
X e iz ; Y e
i y
; Z e z .
U e
i z i y z
(XII.37)
U x, y , z
1
4
U% ,
e yz ix iy d d
(XII.38)
~
z
U (, ) e est la transforme de Fourier de U(x, y, z) par rapport x et y ; la coordonne z
sur tout le
Chapitre XII
Fonctions spciales
(XII.39)
~
La fonction spectrale U (, ) doit tre dtermine partir des conditions aux limites.
En posant z = 0 dans lquation (XII.39), on obtient :
~
U , e z e i i U , , z d d.
(XII.40)
1
4 2
( , )d d
1
4 2
i ( x ) i ( y ) z
d d
Posons
G ( x, y , z )
ix iy Y z
dd ;
'
(XII.41)
U ( x , y, z) G ( x , y ; z) U (, ) dd
(XII.42)
Donc :
U ( x, y , z ) G ( x, y, z ) U ( x, y ).
x cos ; y sin ;
cos ; sin .
On a aussi :
ix iy i cos ( ); d dd.
302
(XII.43)
Chapitre XII
Fonctions spciales
1
z 4 2
( z i cos )
On trouve :
G ( x , y, z )
1
2
z
(x y z )
2
3
2
(XII.44)
avec donn
de (XII.36) ; alors :
v
e
1
2
ix iI
zd zdy
3
(x 2 y 2 z 2 ) 2
(XII.45)
1
2
U ( , )
zd d
r3
(XII.46)
o
r 2 ( x ) 2 ( y ) 2 z 2 (z 0) .
2 U 1 U 1 2 U U
0.
2 2 2 z 2
On va chercher la solution sous forme :
U R () () Z (z).
R 1 R 1 Z
1.
R R 2 Z
Z 2 Z ; n2 0 ;
R
1
n 2
R 2 2 R 0 .
(XII.47)
Chapitre XII
Fonctions spciales
U ( ,, z) e
ni
(n)
( ) e z j n ( ) d .
(XII.48)
U ( , ) e ni C n ( ) j n ( ) d .
(n)
Ainsi, la fonction est dcompose en srie de Fourier, dont les coefficients sont les
transformes de Hankel C n ( ) :
C n ()
1
e ni d U (, ) jn ( ) d.
2 0
0
(XII.49)
Les quations (XII.47) et (XII.49) sont les solutions du problme de Dirichlet pour un
demi espace z 0. Elles peuvent tre utiles pour le prolongement vers le bas. En posant 0 ,
on obtient la formule (XII.48) sous forme :
U (0, 0, z) C 0 ( ) e z d.
0
(XII.50)
Avec
C0 ( )
1
2
j0 ( ) d
304
U
0
( , ) d.
(XII.51)
Chapitre XII
Fonctions spciales
U ( x , y, h )
1
4 2
U (, ) e
h xi y i
dd.
(XII.52)
Lintgrale (XII.52) possde un sens dans certains cas particuliers, dont on peut citer par
exemple :
La transforme de Fourier U ( , ) diminue en exponentielle, quand
et
augmentent et cette diminution est plus rapide que celle de e . La composante verticale du
champ due une certaine source de densit est :
g ( x , y) (, , )
( x )
ddd
2
( y ) 2 2
3/ 2
(XII.53)
Considrons que la source est dans le volume dont la section horizontale transversale
est S m (fig.XII.9).
Fig.XII.9
Le prolongement du corps vers le bas peut tre infini, cependant les masses doivent tre
localises une profondeur suprieure h = H.
La densit est nulle ( 0) lextrieur du volume dsign et est gale m lintrieur.
Donc de lexpression (XII.53), on a :
g m
dd .
2
Do :
g
305
m Sm
H
(XII.54)
Chapitre XII
Fonctions spciales
Montrons maintenant comment lexpression (XII.52) diminue pour h H . Dans notre cas :
g% ( , )
i i y
dxdy
d d dy
, r 2 ( x )2
3
r
( y )2 2
( , , )
dxdy
.
(x y 2 2 )3/ 2
2
Le module sera :
2 m S m H
~
g ( , ) 2 m S m e d
e .
(XII.55)
g ( x , y, h )
h xi yi
~
g (, ) dd,
m Sm
Hh
(XII.56)
(XII.57)
Donc, le prolongement vers le bas est possible jusqu' une profondeur ne dpassant pas
la profondeur minimale de la source sous la surface z = 0.
306