Vous êtes sur la page 1sur 57

Chapitre XII

Fonctions spciales

Chapitre XII

Fonctions spciales

XII.1 Dtermination de la fonction Gamma


La fonction Gamma est trs simple dduire partir de l'intgrale d'Euler:

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

tendent vers zro pour p<1.


Considrons pour quelles valeurs de p l'intgrale peut exister. Pour cela, divisons
l'intervalle d'intgration en trois parties: de zro a1>0, de a1 a2 et de a2 l'infini. On aura:
a1

e
0

x dx e x dx
p 1

x p 1

a2

p 1

dx

a1

x p 1

dx.

a2

Montrons que la dernire intgrale existe pour n'importe quelle valeur de p.

x p 1
e x dx lim

a2

-x

x p 1 dx

a2

(Si la limite existe). On utilise pour montrer l'existence de la limite:


x p 1
0
x e x
(quon peut facilement monter en appliquant plusieurs fois la rgle de
lim

lHospital) et par consquent, pour les grandes valeurs de x, par exemple, si


x p 1
x
x x0
variable e sera infrieure ; si on pose 1 , ainsi pour
on a:
x p 1
1
ex
et
Si on pose

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

tant donn que e-x xp-1 > 0, avec la croissance de b,

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

sous intgrale sera de l'ordre x

p 1

pour x 0 , et
a1

p 1

dx
existera pour les mmes valeurs

dx lim

p 1

x p 1 dx

de p pour lesquelles existe lintgrale 0


Cependant:
a1

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 ,

et l'intgrale existera. Si p 0 , on aura:


a1

a1

x dx lim dx / x lim Ln x
0

a1

c'est--dire que l'intgrale n'existe pas.


Donc,

x p 1 dx

existe pour p>0. Par consquent pour p>0, on a :

( p) e x x p 1 dx.
0

A titre d'exemple calculons (1) et (2) :


251

(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

Pour calculer cette intgrale posons:

A e z dz
2

On peut crire que:

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.

et (fig XII.1). On connat que : p =

et llment de surface est gale

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 Proprits de la fonction Gamma


Proprit 1.
p 1 p p .

(XII.2)

Exemple
4 4
4
7
4

1

3 3
3
3
3

4 1 1
. .
3 3 3

Dmonstration : reprsentons p 1 par lintgrale dEuler et intgrons par parties :

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

La fonction gamma peut tre utilise pour rduire la reprsentation du produit

m p m 1 p ... 2 p 1 p p,

o m- entier et 0 p 1. .. Si lon ajoute p , on obtient

m p 1 , do lon peut crire :

(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)

Pour p = -1, la formule donne linfini, et donc :


p 1 0 et 0

Par consquent 1 nexiste pas.


La transition dun intervalle un autre 1, 0 . 2, 1 , 3, 2 etc... , peut tre
dtermine par la formule (XII.3). La fonction gamma nexiste pas pour les p ngatifs entiers.
Exemple :
1

3
4

4
4
3


3
3

La valeur de
Proprit 2 :

254

3 est trouve partir de la table.

9 2
3
.
4 3
1

3

Chapitre XII
Fonctions spciales

n!n p
p p 1 p 2... p n .

P lim

Cette formule est utilise pour le calcul approximatif de la fonction gamma.


Pour la dmonstration, considrons la fonction :
n

x
f n, p 1
n
0

x p 1 dx.

On peut facilement voir que :


lim f n , p p
n

. 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

En lintgrant par parties encore une fois en posant :

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

( )

Ou encore aprs intgration par parties n fois, on obtient :


f

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

Proprit 3. Drive du logarithme de la fonction gamma.


Trouvons la formule pour :
ln

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

La partie gauche de cette galit est gale approximativement -0,57721


La grandeur 0,57721... sappelle la constante C dEuler.
Par consquent :

1
1

lim ln n 1 ...
n
2
n

Donc, on peut crire :

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

XII.3 Dtermination de la fonction de Bessel de la premire espce


Lquation diffrentielle de Bessel est :

1
2
y y 1 2 y 0 .
x
x

(XII.4)

La solution de cette quation sappelle fonction de Bessel.


Lquation diffrentielle de Bessel est une quation linaire dordre deux. La solution
gnrale a la forme :

y C1 y 1 C 2 y 2 ,

o C1 et C 2 sont des constantes ; et y1 et y2 sont les solutions linaires et indpendantes de


lquation.
On va chercher la solution de lquation sous la forme de la srie :

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.

Le problme sera de trouver les coefficients a i , i 1, 2, ... et le nombre

p. La fonction :

y a i x ip
i 0

, sera introduite dans lquation. Trouvons les drives :

y a i x i p 1 i p ;
i0

y a i i p i p 1 x i p 2 .
i 0

En les remplaant dans lquation, on trouve :

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

Lidentit peut tre crite sous forme :

a (i p)

i 0

2 x i p2 a i x ip .
i 0

On peut dduire que :

ai

ai 2
i (2 p i )

En tenant compte que :

a 1 0, a 3 0, a 5 0, ..., a 2 k 1 0,

cest--dire que les coefficients ayant des indices impairs

sont nuls. Sur la base de la formule de rcurrence, on peut crire :


a0
a0

;
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

On remarque que tous les coefficients pairs sont exprims en fonction


alors :
1
a0 p
2 p 1
En tenant compte de

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

La solution de lquation peut tre reprsente sous forme :

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

est la solution gnrale de lquation de Bessel.


Si est un entier gal n, J n x , J n x seront linairement dpendantes.
Pour confirmer celui-ci, considrons la srie pour J n x , et transformons la :
2 k n

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

tan t donn que m 1 m!,

x

2
m n 1 m!

alors , m n 1 m n! . La dernire srie dtermine la

fonction J n x . Par consquent :

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

et la fonction est paire. Pour

x 0, J 0 x 1.

Si pour

J0 x

, on prend la somme

des cinq membres de la srie :

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

est reprsent par la figue XII. 2. Ce graphe peut tre construit en

relevant de la table une srie des valeurs de

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!

Pour x 0, J 1 x 0. De plus, on a J 1 x J 1 x et par consquent J 1 x est


impaire.
La relation

J0

et J 1 x J 1 x permet de dresser la table pour x 0.

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

XII.4 Fonction de Bessel de deuxime espce


En qualit de deuxime solution on prend :

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

indtermination 0 0 . Utilisons la rgle de lHospital :

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

o C est la constante dEuler. La solution gnrale est :


261

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

XII.5 Equation diffrentielle conduisant lquation de Bessel. Fonction de Bessel du


troisime espce
Soit lquation :
y

1
2
y 2 2
x
x

y 0

(XII.5)

Transformons cette quation en introduisant une nouvelle variable t x . Exprimons la


drive de y en fonction de t :
dy dy dt
dy
.
;
dx dt dx
dt
dy
d
d 2 y dt
d2y
y dx 2
2 2
dx
dt dx
dt
y

Les expressions trouves sont remplaces dans (XII.5) :


2 2
d 2 y dy
2 2 2 2 y 0
t dt
dt
t

2
simplifions par

d 2 y 1 dy
.
dt 2 t dt

262

2
1 2
t

y 0

Chapitre XII
Fonctions spciales

Cest donc lquation de Bessel. Ses solutions seront

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

, qui est un cas particulier de lquation (XII.5), quand

i . La solution de lquation (XII.5) sera : J xi et J xi


2k

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 )

seront ses solutions.

En posant C1 i , et C 2 i , on obtient la solution sous forme :


2k

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

sont linairement dpendants et

y C1 I x C 2 I x

sera la solution gnrale de (XII.6).


Dans le cas = n (entier), I n x I n x .
Vrifions :
2k n

2k n

2
I n x
k 0 k! k n 1

2

k n k! k n 1

(tant donn que k n 1, le nombre k n 1 0 et par consquent k n 1 , et les


membres correspondants de la srie sont nuls). Introduisons un nouveau indice de sommation
m, en posant k = m + n. Do :
2mn

I n x

m 0

x

2
m n ! m 1

2mn

m 0

x

2
I n x .
m n 1 m!

Dans le cas o est un entier, la nouvelle solution linairement indpendante avec I n x :

K n x

I n x I n x
2
sin n

et la solution gnrale de (XII.6) scrira sous forme :


y C1 I n x C 2 K n x

XII.6 Fonction gnratrice de la fonction Bessel


Considrons la fonction u z, t e
264

z
1
t
2
t

quon dcompose en srie :

Chapitre XII
Fonctions spciales
zt

u z, t e 2 e

z
2t

zt

k!
k 0

z


2t

m!
m 0

On peut crire, que


k m

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)

La fonction u (x, t) sappelle la fonction gnratrice de la fonction de Bessel de


premire espce dordre entier n.
Si lon pose z = ix, on a :
2 m n

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)

La fonction u (ix, t) sappelle la fonction gnratrice de la fonction de Bessel de


troisime espce.

265

Chapitre XII
Fonctions spciales

XII.7 Proprits de la fonction de Bessel de premire et troisime espces


1. Formule de rcurrence
J n 1 x

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

La formule de rcurrence permet pour la fonction de Bessel dordre entier de se limiter


ltablissement des tables pour

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

2. Formule pour la drive

J n x 2 J n 1 x J n 1 x .

Pour la dmonstration calculons par deux mthodes


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

galisons les coefficients pour tn. On obtient :


Jn ' x

La formule montre, que par les tables

1
[ J n 1 ( x ) J n 1 ( x )], etc.
2

J 0 x et J 1 x ,

on peut calculer J n ' x .

Dans le cas particulier pour n = 0, on obtient :


J0 ' x

1
J 1 x J1 x 1 J1 x J1 x J1 x .
2
2

3. Prenons la formule (XII.8). Drivons par rapport t comme fonction exponentielle


dabord puis comme srie :

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

la formule rcurrente pour la fonction de Bessel de troisime espce.


267

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

Dune autre part,


u n
i In x t n ;
x
i
i n In x i n 1 I n 1 x i n 1 I n 1 x
2
in
I n 1 x i 2 I n 1 x
2

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

Des formules analogues peuvent tre obtenues pour Yn x et K n x .


XII.8 Formules intgrales de la fonction de Bessel de premire et troisime espces
Afin de dduire les formules pour J n x , on prend la relation :

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

et la relation (XII.7) devient :

268

(XII.7)

Chapitre XII
Fonctions spciales

e i x sin J k x e ik .

(XII.9)

2k

La fonction e

ik

a la proprit telle que,


2

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

et intgrer par rapport sur lintervalle 0 2 .

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

En transformant la partie gauche par la formule dEuler, on obtient :

cos x sin n i sin x sin n d 2 J 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

Dans le cas particulier pour n = 0, on a

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

Afin de trouver la formule intgrale pour J n x , prenons la fonction gnratrice pour la


fonction de Bessel de troisime espce :
e

ix
1
t
2
t

ik Ik x t k

et effectuons les mmes transformations en posant t e , do

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

Une seule intgrale est 0 pour k = n dans la partie droite, do :


2

x sin in

d i n I n x 2.

Pour n = 0, on a :
2

x sin

d 2 I 0 x .

XII.9 Intgrale de Weber-Lipchitz


On rencontre souvent en gophysique les intgrales de Weber-Lipchitz :

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

prenons la formule intgrale (XII.10) :

2
cos (rx sin ) d.
0

En remplaant cette expression dans la partie gauche de cette quation, on obtient :


270

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

l'expression cos rx sin j est gale :

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

En rduisant en un mme dnominateur, on a :

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

Lintgrale cherche sera :

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

Dans le cas particulier pour z = 0 :


271

z r

z
1
z r

Chapitre XII
Fonctions spciales

XII. 10 Orthogonalit de la fonction de Bessel :

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.

Lgalit zro de lintgrale est une proprit dorthogonalit de la fonction de Bessel.

J x y 1

Pour la dmonstration, posons

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

Afin de trouver la fonction sous intgrale xy 1 y 2 , multiplions la premire quation par


xy 2 et la deuxime par xy 1 et retranchons la deuxime galit de la premire. On obtient :
x y1 y 2 y 2 y1 y1 y 2 y 2 y1 xy 1 y 2 0

quon peut crire sous forme :


d

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

En considrant que est une variable :


y1 J x , y1
y2 J

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

En remplaant lexpression trouve, on trouve :

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

En appliquant le thorme dHspital la partie droite, on a :


1
J
J J

0 x J x dx lim

2
2

do :
1

2
v

dx

Dcomposition de la fonction f x en srie par la fonction de Bessel


Les fonctions

J x

possdent une infinit de solutions 1 ,..., 2 ,..., k , ...

Reprsentons f(x) par :


f(x) = c1 J 1 x c 2 j 2 x ... c k J k x ...
Afin de trouver les constantes c1 , c 2 , c k , utilisons la proprit dorthogonalit
1

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)

Exemple : Dcomposer f ( x ) x sur intervalle (0, 1) en srie par la fonction de Bessel du


premier ordre.
Solution : soit :

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

Les coefficients de la srie sont dtermins par la formule (XII.12)

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 .

On pose t k x , donc : dt k dx , on peut crire :


1
k
t
dt

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)

Calculons pour c1 . De la table on a 1 3,8317. On trouve par la formule de rcurrence


de Bessel de premire espce que :

J 2 1

2
J 1 1 J 0 1 J 0 1 .
1

De la table on trouve J 0 1 0,4028. Par consquent :

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

On va considrer que la temprature U la surface est nulle, do

(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
.

Lquation de conductibilit thermique prend la forme :

1 U
U
1 U U
a

a

t


ou

U 1 U
U
a

.
t

Ainsi, il faut rsoudre lquation (XII.13) si

alors la mthode de Fourier pour la rsolution sous forme :


U , t T t .
275

(XII.13)
0

et

t 0

. On va utiliser

Chapitre XII
Fonctions spciales

Donc :

U
T t ,
t
U
T t ,

U
T t ,

Lquation (XII.13) prend la forme :

1
T t a T t .

quon peut crire sous forme :


1

T t


a T t

Pour que U soit solution de (XII.13), il faut :

T t a 2 T t ;

(XII.14)

0 .

(XII.15)

Lquation (XII.14) peut scrire sous forme :


dT
a dt .
T
En lintgrant, on obtient :

ln T a t ln C
ou
T e

a t

C.

Lquation (XII.15) est lquation de Bessel dordre 0 et dargument . Sa solution


sera la fonction :
J 0 .

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

Pour les donnes on a :

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( ).

Afin de trouver la solution, prenons :

U(, t ) C k e k a t J 0 k
k 1

pour t=0, U= f( ) et par consquent :

f () c k J 0 k .
R

k 1

La dernire srie est la dcomposition de f () par la fonction de Bessel dordre 0 :


ck

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 )

est la solution du problme pos.


Problme 2. Problme de Dirichlet pour un cylindre
Soit un cylindre z = 0, z =H, R=1. Trouver la fonction harmonique lintrieure du cylindre,
si lon connat ses valeurs sur la surface.
Il faut rsoudre le problme U 0 , avec les conditions aux limites :
277

Chapitre XII
Fonctions spciales

U z H 0,
U 1 0,
U z 0 f ().

2U
, 2 0

Puisque U ne dpend pas de


et lquation devient :
2U 1 U 2U

0
2 z 2
Posons U (, z) () Z(z) . Do :

U
2U
2U

() Z(z);

)
Z
(
z
);
() Z(z).

2
z 2

En les remplaant dans lquation, on obtient :


1
[() ()] Z(z) () Z(z) 0.

Dcomposons les variables :


1
() ()
Z(z)

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 .

Sa solution gnrale sera :


Z( z ) C 1 e z C 2 e z .

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

Lgalit sera satisfaite si :


C1

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

et la fonction U(z, ) Dsh (H z) J 0 () satisfera la premire condition aux limites. Afin


de satisfaire la deuxime condition aux limites, il faut que :
1, J 0 () 0,

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 )

qui satisfera les deux premires conditions aux limites.


En qualit dune nouvelle solution, prenons la fonction :

U(, z) D k sh k (H z)J 0 ( k ).
k 1

Choisissons les coefficients de faon que pour z =0, on a :

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 ),

sera la solution du problme pos.


Problme 3. Considrons le problme de Dirichlet avec les conditions suivantes :
279

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 premire quation est une quation diffrentielle pour la fonction de Bessel du


troisime espce dordre 0 et dargument . Sa solution sera la fonction :
() I 0 ().

La deuxime quation est linaire coefficients constants. Les racines de lquation


2
2
caractristique k 0 sont i .

La solution gnrale de cette quation sera :


C cos z D sin z .

La fonction :
U ( , z ) (C cos z D sin z ) I 0 ( )

sera la solution de lquation de Laplace.


Pour que z=0,

on U=0, il faut que :


C cos 0 D sin 0 0,

chose possible que pour C=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

Cette srie est la srie de Fourier pour la fonction f (z) .


Par les formules de Fourier, on trouve :
H

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

sera la solution du problme pos.

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)

Ecrire lquation diffrentielle pour


sin x
cos x
3. Vrifier que

x et

et

1
2

(x)

x satisfont lquation diffrentielle :


1
1

y y 1 2 y 0
x
4x

4. Trouver les expressions pour :


J 3 (x)
2

5. Trouver J 4 (0,5) et J 2 (0,5) .


6. Montrer que:

281

2
cos x ;
x

J 5 (x)

et

Chapitre XII
Fonctions spciales

e ix sin J 0 ( x ) 2(J 2 ( x ) cos 2 J 4 ( x ) cos 4 ...)


i(2J 1 ( x ) sin 2J 3 ( x ) sin 3 ...)
7. En utilisant l'exercice 6, montrer que:
1
J 2 n ( x)
2

cos ( x sin ) cos 2nd ,


0

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 ).

XII.12 Dtermination des polynmes de Legendre


Les polynmes de Legendre sont plus simples dduire des fonctions potentielles 1/R,
o R est la distance entre les points M0 et M (fig XII.4).
R

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)

Pour r =1 et =0, 1 r 2r cos 0, et par consquent la fonction 1/R a un point


2

critique. La srie converge seulement pour r <1.


Pour obtenir la formule pour Pn (cos ), on pose cos x. Donc:

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

Pour trouver P1 ( x ), calculons d'abord:


1

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

1 2rx r 2 par la srie (XII.19), on obtient:

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

(n 1)Pn 1 ( x ) ( 2n 1) xPn ( x ) nPn 1 ( x ) 0.

(XII.20)

C'est la formule de rcurrence pour les polynmes de Legendre.


P2 ( x ), P3 ( x ), P4 ( x ).

Trouvons

1. Posons n=2 dans la formule de rcurrence. D'o:


2P2 ( x ) 3xP1 ( x ) P0 ( x ) 0

2. En posant n=2, on obtient:

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

4P4 ( x ) 7 xP3 ( x ) 3P2 ( x ) 0

ou
P4 ( x )

Ainsi,
figure XII.5.

35 4 15 2 3
x x .
8
4
8

Pn ( x ) sont des polynmes. Les graphes de Legendre sont reprsents par la

Pn (1) 1, Pn (1) (1) n

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

l'quation de Laplace en tenant compte de


Par consquent:

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

En diffrenciant encore une fois, on obtient:

(n 1) nr n Pn (cos )
n 0

P (cos )
1 n
r
sin n
0.

sin n 0

qu'on peut crire sous forme:

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

Cest l'quation diffrentielle pour les polynmes de Legendre.


Trouvons l'quation diffrentielle pour Pn ( x ). Donc
d
d dx
d

sin
d dx d
dx

Et l'quation (XII.21) devient:


dP ( x )
1
d
2
sin
sin n
0,

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

Par consquent, Pn (x) satisfait l'quation:


(1 x 2 ) y 2xy n (n 1) y 0,

(XII.22)

qui est une quation linaire et homogne du second ordre coefficients constants.

XII.14 Proprit dorthogonalit des polynmes de Legendre


Montrons que les polynmes de Legendre sont orthogonaux sur l'intervalle (-1,1), c'est-dire:
1

( x )Pn ( x ) 0 pour m n.

Posons Pm ( x ) y1 et Pn ( x ) y 2 . Ecrivons les quations diffrentielles pour y1 et y2:


(1 x 2 ) y1 2xy1 m(m 1) y1 0 ,

(1 x 2 ) y 2 2 xy 2 n (n 1) y 2 0 .

Multiplions la premire quation par y2 et la seconde par y1 et calculons:

(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

En intgrant par rapport x sur l'intervalle (-1,1), on obtient:

(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.

Pour cela, on utilise la formule de rcurrence (XII.20). En remplaant n par n-1, on


obtient :
nP n ( x ) (2n 1) xPn 1 ( x ) ( n 1)Pn 2 ( x ) 0.

On peut crire l'intgrale sous forme:


1

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

La premire intgrale est de nouveau gale 0, et par consquent:


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

D'o on peut dduire:

287

1
1
2
2
P0 ( x) dx dx .

3 1
3 1
3

Chapitre XII
Fonctions spciales
1

( x ) dx

2
.
2n 1

Dcomposition d'une fonction arbitraire f (x) en srie par le polynme de Legendre.


Soit dterminer les coefficients cn de:
f ( x ) c 0 P0 ( x ) c1 P1 ( x ) ... c n Pn ( x ) ...

Multiplions les deux parties de l'galit par Pn (x) et intgrons:


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)

XII.15 Application des polynmes de Legendre la rsolution des problmes limites


Problme 1. Problme de Dirichlet pour une sphre
Il faut trouver une fonction harmonique l'intrieur d'une sphre si l'on connat ses
valeurs sur la surface. Supposons que la fonction cherche U ne dpend pas de la cordonne
sphrique . Le centre de la sphre est confondu avec l'origine des coordonnes. Le rayon de
la sphre est R. Ainsi la condition aux limites est:

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

On va chercher la solution par la mthode Fourier. Ecrivons la fonction sous forme


U (r, ) (r ) T (). Trouvons la drive et remplaant la dans l'quation :

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

Afin que U(r, ) (r ) T () soit la solution de l'quation de Laplace, il faut que la


dernire galit soit une identit.
Sparons les variables:

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 ).

La premire quation prend la forme:


r 2 (r ) 2r(r ) n (n 1) (r ) 0.
k
a solution sera cherche sous forme de (r ) r . D'o:

(r ) kr k 1 , (r ) k (k 1)r k 2 .

En la remplaant dans l'quation, on obtient:

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

Pour chaque nombre n, la solution de l'quation de Laplace s'crit sous la forme:


U ( r, ) c n Pn (cos ) r n ,

Cependant cette fonction ne satisfait pas la condition aux limites du problme.


L'quation de Laplace est une quation homogne. Prenons la fonction U (r , ) sous
forme :

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 ( ).

En posant x cos , on trouve que, dx sin d et var ie de 0 , d ' o :

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)

Problme 2. Trouver la distribution stationnaire de la temprature dans une sphre de


rayon R. Une partie de la surface S1 a une temprature constante T0, alors que le reste a une
temprature nulle (fig.XII.6).

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:

f () P (cos ) sin d T P (cos ) sin d T P (x ) dx.


n

cos a

Pour n=0, l'intgrale sera gale T0 (1 cos ).


Pour n=1, l'intgrale sera:
1 cos 2
T0 x dx T0
.
2
cos
1

Pour calculer l'intgrale pour n arbitraire, on peut utiliser la formule:


( 2n 1) Pn ( x ) Pn1 ( x ) Pn1 ( x).

(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

[ Pn 1 (cos ) Pn1 (cos )].


2n 1

La solution du problme est sous la forme:


U ( r , )

T0
1 cos [ Pn 1 (cos )
2
n 1

r
Pn 1 (cos )] Pn (cos ) .
R

Afin de dmontrer la formule (XII.25), on utilise l'galit (XII.19), donc:


1
R
r

1
xr
; R
2 3
x
(1 2rx r )

r
(1 2rx r 2 ) 3

En multipliant la premire galit par r, et la deuxime par x r et en retranchant la


deuxime galit de la premire, on obtient:
1
1

r R ( x r ) R 0.
r
x

D'une autre part:


291

(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

En galisant les coefficients pour r:


nP n ( x ) xPn Pn1 ( x )

(XII.27)

La diffrentielle de la formule (XII.20), donne:


(n 1) Pn 1 ( x ) (2n 1) Pn ( x ) (2n 1) xPn ( x ) nPn 1 ( x ) 0.

En remplaant xPn par la formule (XII.27), on obtient:


( n 1)Pn 1 ( x ) (2n 1) Pn ( x ) (2n 1)[ nP n ( x ) Pn 1 ( x )] nPn 1 ( x ).

En simplifiant par n+1, on obtient la formule (XII.25).


XII.16 Fonctions successives de Legendre
m

Les fonctions successives de Legendre sont dsignes par Pn ( x ) et sont dtermines


par:
m

Pnm ( x ) (1 x 2 ) 2

d m Pn ( x )
dx m

n- est la puissance suprieure des fonctions et m- caractrise la succession.


Les fonctions Pm1(x), Pm2(x), ..., Pmn(x), ..., sont orthogonales sur l'intervalle (-1,1), c'est-dire:
1

( x ) Pn ( x ) dx 0, k n,

1
1

[P

( x )] 2 dx

et

2 (n m)!
2n 1 ( n m)!

La fonction Pmn(x) satisfait l'quation diffrentielle:

m2
(1 x 2 ) y 2 xy n( n 1)
y 0.
1 x2

Pour Pmn(cos ), l'quation prend la forme:

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

La fonction sphrique volumique satisfait l'quation de Laplace:

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.

Le polynme homogne de degr 2 peut s'crire sous forme:

U 2 a 200 x 2 a 020 y 2 a 002z 2 a 110 xy a 101xz a 011yz.


Sa drive partielle d'ordre 2 est:

2U2
2U2
2U2
2a 200 ,
2a 020 ,
2a 002 .
x 2
y 2
z 2
U2 satisfait l'quation de Laplace si:

a 200 a 020 a 002 0.

Le systme de coordonnes sphriques est reprsent par la figure )XII.7(.

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 .

Le polynme homogne prend la forme:


293

Chapitre XII
Fonctions spciales

Un
rn

m p q n

mp q n

mpq

mpq

r m p q sin m p cos m sin p cos q

sin m p cos m sin p cos q .

Il peut aussi s'crire sous forme:


U n r n Yn (, ).

XII.18 Equation diffrentielle pour les fonctions sphriques superficielles


La fonction U satisfait l'quation de Laplace. Exprimons sa drive en fonction de
Yn (, ) :

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

En la remplaant dans l'quation, et on mettant r en facteur on peut obtenir:

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)

C'est l'quation diffrentielle en coordonnes sphriques.


On peut facilement s'apercevoir que:

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.

Donc la fonction sphrique satisfait l'quation :


* U n (n 1) U 0.
294

Chapitre XII
Fonctions spciales

L'quation * U aU 0 a une solution, seulement pour a=n(n+1).


Si Y ne dpend que de , on aura:

Yn
0,

L'quation prend la forme alors:

n (n 1) Yn

Y
1
(sin n ) 0
sin

ui est l'quation diffrentielle du polynme de Legendre. La fonction sphrique ne

dpendant pas de , est gale Cp n (cos ).

XII.19 Reprsentation de la fonction sphrique par le polynme de Legendre


On a:

Yn (, )

m p q n

mpq

sin m p cos m sin p cos q

Etant donn que :

1 cos 2
,
2
1 cos 2
cos
.
2
Aprs regroupement membre membre, on a:
sin

Yn ( , ) a n 0 ( ) a nm( ) cos m bnm ( ) sin m .


m 1

Dterminons les coefficients an0 () , a nm () , bnm () , m=1,2,...


En calculant les drives, on a:

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

En les substituant dans l'quation diffrentielle, on obtient:

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 ()

Les coefficients pour sin m, cos m ( m 0,1,..., n ) sont nuls:


da
1 d
(sin n 0 ) n (n 1) a n 0 0
sin d
d

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)

La premire quation est un polynme de Legendre, d'o:


a n 0 () a 0 P(cos ).

Pour a nm( ) et bnm( ), on a:


m

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

Yn (, ) a 0 Pn (cos ) [a m cos m b m sin m] Pn (cos ).


m 1

XII.20 Orthogonalit des fonctions sphriques


Pour montrer l'orthogonalit, on utilise la formule de Green:

dV
dU
V
ds ( UV VU ) dv.
dn
dn
V

Soit une sphre de rayon r (fig.XII.8). On a:


U r n Yn (, ) , V r m Ym (, ).

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

La normale est dirige suivant le rayon de la sphre, d'o:


d m
d
(r Ym ) (r m Ym ) mr m 1 Ym (, ).
dn
dr

Analogiquement, on a:
d n
( r Yn ) nr n 1 Yn (, ).
dn

Pour une sphre ds r sin d.


Aprs remplacement, on obtient:

n m 1

(m n ) Yn Ym sin dd 0.

En faisant sortir rn+m+1 (m-n) en dehors de l'intgrale et en simplifiant, on obtient:

Y (, ) Y
n

(, ) sin dd 0 , pour n m.

ce qui exprime l'orthogonalit des fonctions sphriques.


La fonction f (, ) peut tre dcompose en srie par les fonctions sphriques:
f (, ) Y0 (, ) Y1 (, ) ... Yn (, ) ...

Exercices
1. Trouver P5 ( x ) et P6 ( x ) par la formule de rcurrence.
297

Chapitre XII
Fonctions spciales

2. Trouver par la formule de rcurrence Pn (0).


Rponse :
n

Pn (0) ( 1) 2

1.3.5...(n 1)
2.4.6...n

pour n- pair.
et
Pn (0) pour n impair.

3. Dcomposer en srie par les polynmes de Legendre:

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!

4. Trouver les coefficients de la srie de Legendre pour


ak

2k 1
Pk (0).
(k 1)( k 2)

5. Exprimer Y4 (, ) par la fonction de Legendre.

XII.21 Dtermination des polynmes dHermite


Les polynmes d'Hermite sont dduits d'habitude l'aide de la fonction

( x, t ) e ( t

2 tx )

appele fonction gnratrice des polynmes. On a:

H n (x) n
t ;
n!
n 0

( x, t ) e t 2 tx

(XII.29)

o les fonctions H n ( x ) s'appellent les polynmes d'Hermite.


En posant dans l'galit (XII.29) t 0 , on a H 0 ( x ) 1. La diffrentielle par rapport t
donne:

H ( x ) n 1

t 2 tx
e
( 2 t 2 x ) n
nt .
t
n!
n 0

En posant t=0, on trouve 2x H1 ( x ).


De la mme manire, on peut trouver les expressions pour H 2 ( x ) etc...
298

Chapitre XII
Fonctions spciales

,
En comparant les expressions pour ( x , t ) et t on trouve:

( 2 t 2 x ) ( x , t ) 0.
t

En remplaant dans cette quation la srie correspondante, on trouve:

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

Les coefficients puissance t sont nuls. Ainsi:

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)

c'est la formule de rcurrence du polynme d'Hermite.


En posant n=1, on trouve:
H 2 ( x ) 2xH 1 ( x ) 2H 0 ( x ) 4 x 2.

En posant n=2, on trouve:

H 3 ( x ) 2 xH 2 ( x ) 4H1 ( x ) 8x 3 12x.

XII.22 Equation diffrentielle pour les polynmes dHermite


Considrons l'quation (XII.30) et calculons sa diffrentielle:
H n 1 ( x ) 2H n ( x ) 2 xH n ( x ) 2nH n 1 ( x ) 0

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!

Egalisons les coefficients pour tn+1. On obtient :

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 )

En remplaant H n 1 ( x ) et H n 1 ( x ) dans (XII.31), on obtient :


2(n 1) H n ( x ) 2H n ( x ) 2 xH n ( x ) H n ( x ) 0

ou
H n ( x ) 2 xH n ( x ) 2nH n ( x ) 0;

Ainsi, les polynmes dHermite satisfont lquation diffrentielle :


y 2xy 2ny 0

XII.23 Orthogonalit des polynmes dHermite


Montrons que :

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

Intgrons par rapport x de :

[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

On peut crire que :


300

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 ), ...

peuvent tre utilises pour dcomposer les fonctions

f (x) en srie.

XII.24 Sparation des variables en coordonnes cartsiennes dans la rsolution de


lquation de Laplace
Il faut trouver lintgrale de :

2U 2U 2U

0
x
y
z

(XII.33)

Ecrivons U ( x , y, z) sous forme :


U ( x , y , z ) X ( x ) Y ( y ) Z( z ) ,

Aprs avoir substitu (XII.34) dans (XII.33), et divis par U ( x , y, z) , on trouve :


X Y Z

0
X
Y
Z

(XII.34)

(XII.35)

Posons :
X
Y
Z
;
;

X
Y
Z
.

Donc (XII.33) devient :


X X 0 ; Y Y 0 ; Z Z ,

o
.

(XII.36)

Lintgrale sera :
X e iz ; Y e

i y

; Z e z .

Donc, lintgrale partielle (XII.34) est :

U e

i z i y z

(XII.37)

Qui dpend de , et de x, y, z la solution gnrale de lquation (XII.33) sera :

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

est considre comme un paramtre. Lintgrale double est calcule de


301

sur tout le

Chapitre XII
Fonctions spciales

plan spectral ( , ) . Par consquent, lquation prend la forme dune transforme


inverse de Fourier :
~
z
i +i
U ( , ) e = e
U ( , , z ) d d

(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)

Les quations (XII.38) et (XII.40) rsolvent les problmes de prolongement du champ.


XII.

25 Problme de Dirichlet pour Z > 0

En remplaant lexpression (XII.40) dans la relation (XII.38), on obtient :

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)

La premire quation montre que :


2
~
G (, , z) e

est la transforme de fourrier de la fonction G (x, y,z) dans le plan x, y ( ); z- est un


paramtre. Lquation (XII.42) exprime la fonction harmonique de U (x, y, z) comme une
convolution de U(x, y) donne sur le plan z = 0, avec G( x, y, z).

Donc :
U ( x, y , z ) G ( x, y, z ) U ( x, y ).

Pour calculer G (x, y, z), on utilise les coordonnes polaires :

x cos ; y sin ;
cos ; sin .
On a aussi :

ix iy i cos ( ); d dd.
302

(XII.43)

Chapitre XII
Fonctions spciales

Lintgrale (XII.41) sera :


G ( x, y , z )

1
z 4 2

( z i cos )

On trouve :
G ( x , y, z )

1
2

z
(x y z )
2

3
2

La transforme de Fourier de cette fonction par rapport x et y est e

(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)

Si lon remplace lexpression (XII.44) dans (XII.42), on trouve la formule de


prolongement vers le haut :
U ( x, y , z )

1
2

U ( , )

zd d
r3

(XII.46)

o
r 2 ( x ) 2 ( y ) 2 z 2 (z 0) .

XII.26 Sparation des variables en coordonnes cylindriques


Lquation de Laplace en coordonnes cylindriques scrit :

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).

En remplaant ce produit dans lquation (XII.47), on obtient :

R 1 R 1 Z

1.
R R 2 Z

Cette quation conduit aux trois quations diffrentielles suivantes :

Z 2 Z ; n2 0 ;
R

1
n 2
R 2 2 R 0 .

o n- est un entier et U (, , z ) est priodique. Donc :


e ni , n .... 2, 1, 0,1, 2, ....
303

(XII.47)

Chapitre XII
Fonctions spciales

La solution de la dernire quation pour 0 est la fonction de Bessel de premire espce :


R J n ( ) .

Donc la solution particulire est :


U e z ni jn ( ).

la solution plus gnrale est :

U ( ,, z) e

ni

(n)

( ) e z j n ( ) d .
(XII.48)

Lquation (XII.48) satisfait les conditions aux limites. Si U (, ) U (, , 0) est


donne sur le plan , la relation (XII.48) devient :

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

XII.27 Prolongement vers le bas

304

U
0

( , ) d.

(XII.51)

Chapitre XII
Fonctions spciales

Les quations (XII.38) et (XII.40) rsolvent le problme de plongement vers le bas.


Afin de pouvoir facilement utiliser ces formules, posons z = -h, o h 0. Donc, lquation
(XII.38) devient :

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

( , , )

En changeant x et y respectivement par x et y , on obtient :


g~ ( , ) ( , , ) e i i d dd e ix iy

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)

Donc, la fonction spectrale diminue en exponentielle et surtout quand H est important.


Lquation (XII.52) scrit donc :
1
4 2
Ainsi lintgrale est calculable si :
g ( x , y, h )

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