Vous êtes sur la page 1sur 55

Chapitre XII Fonctions spciales

250

Chapitre XI I




XII.1 Dtermination de la fonction Gamma
La fonction Gamma est trs simple dduire partir de l'intgrale d'Euler:
}


0
1 p x
. dx x e

Cette intgrale est une fonction de paramtre p ; elle est reprsente par le symbole
) p ( I et s'appelle la fonction Gamma.
L'intgrale d'Euler est une intgrale non propre, car la borne suprieure est infinie,
l'intgrale est gale
1 p
x

pour 0 x = 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 a
1
>0, de a
1
a
2
et de a
2
l'infini. On aura:
1 2
1 2
1 1 1 1
0 0
.
a a
x p x p x p x p
a a
e x dx e x dx e x dx e x dx


= + +
} } } }

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



=
a2
b
a2
1 p x -
b
1 p x
dx x e lim dx x e
(Si la limite existe). On utilise pour montrer l'existence de la limite:
0
e
x
lim
x
1 p
x
=
+

(quon peut facilement monter en appliquant plusieurs fois la rgle de
lHospital) et par consquent, pour les grandes valeurs de x, par exemple, si
0
x x > , la
variable
x
1 p
e
x
+
sera infrieure c ; si on pose 1 = c , ainsi pour
0
x x > on a:
1
e
x
x
1 p
<
+
et
2 x
1 p
x
1
e
x
<


Si on pose
0 2
x a = , on aura:
2
1 p x
x
1
x e <

.
et

2 2 2
b b
- p-1
2
2 2
1 1 1 1
e x .
b
x
a a a
dx
dx
x x a b a
< = = <
} }
Fonctions spciales
Chapitre XII Fonctions spciales

251
tant donn que e
-x
x
p-1
> 0, avec la croissance de b,
}

b
a
1 p
2
x
dx x e augmente.
Donc:
}


b
a
1 p x
b
2
dx x e lim existe . p
Considrons lintgrale
,
1
0
1
}

a
p x
dx x e
pour 1 p < . Pour ; 1 e , 0 x
x


et la fonction
sous intgrale sera de l'ordre
1 p
x

pour 0 x , et
}

1
0
1
a
p
dx x
existera pour les mmes valeurs de
p pour lesquelles existe lintgrale
}

1
a
0
1 p x
dx x e .
Cependant:
). a ( lim
p
1
p
x
lim dx x lim dx x
p p
1
0
a
a
p
0
1 p
0
a
0
1 p
1
1
1
c =
= = =
c
c
c
c

} }

On peut remarquer que: si 0 , 0 p
p
c > et l'intgrale existera; si c <
p
, 0 p
et l'intgrale existera. Si 0 = p , on aura:
} }
= = =

a1
0
a1
1
0 0
1
, lim / lim
c
c c c
a
x Ln x dx dx x

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


0
1 p x
dx x e

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


= I
0
1 p x
. dx x e ) p (
(XII.1)
A titre d'exemple calculons ) 1 ( I et ) 2 ( I :
}


= = = I
0
0
x 0 x
; 1 e dx x e ) 1 (
}


= I
0
1 2 / 1 x
. dx x e ) 2 / 1 (


Chapitre XII Fonctions spciales

252
Posons . z x ; dx x 2 / 1 dz ; z x
2 2 / 1 2 / 1
= = =

Donc:
}

= I
0
z
. dz e 2 ) 2 / 1 (
2

Pour calculer cette intgrale posons:
dz e A
0
z
2
}

=

On peut crire que:
. dt e A
0
t
2
}

= Prenons
} }


=
0 0
t z 2
. dt e . dz e A
2 2

Le facteur dz e
z
2

est une constante qu'on peut inclure dans l'intgrale.


Donc:
} }

+
=
0 0
) t z ( 2
. dt dz e A
2 2

Le calcul est plus simple raliser si lon utilise les coordonnes polaires.
et (fig XII.1). On connat que : p =
( )
t z
2 2
+
et llment de surface est gale
d pd.
Donc :

. 2
2
1
,
2
;
4 2
1
2
1
; 2 ,
2
1
2
0
0
2
0
2
2
0 0 0
2
0
2
2
t
t
t



t t
t t
= =
|
.
|

\
|
I =
= = =
= =
= =
} }
} } } }

A A
d e d A
d du u o
du d ede e d A
u
u
p
e

Le calcul ralis ci-dessus montre, que le calcul de ( ) I p p par lintgrale dEuler est
compliqu.


Fig XII.1




Chapitre XII Fonctions spciales

253

XII.2 Proprits de la fonction Gamma
Proprit 1.
( ) ( ). p p 1 p I = + I (XII.2)
Exemple
.
3
1
3
1
.
3
4
1
3
1
3
4
3
4
3
4
1
3
4
3
7
|
.
|

\
|
I =
= |
.
|

\
|
+ I = |
.
|

\
|
I = |
.
|

\
|
+ I = |
.
|

\
|
I

Dmonstration : reprsentons ( ) 1 + I p par lintgrale dEuler et intgrons par parties :
( )
} }

+ = = + I
0
1 p x
0
x p p
0
x
, dx x e p e x dx x e 1 p
o
. e v , dx e dv
; dx px du , x u
x x
1 p p

= =
= =

Or
0
e
x
lim e x lim
x
p
x
x p
x
= =



Par consquent :
( ) ( ). p p dx x e p 1 p
1 p
0
x
I = = + I

}

Corollaire 1.
Si p est nombre entier, on a ( ) ( ) . ! 1 p p = I Ainsi, on a :
( ) ( ) ( ) ( )( ) ( )
( ) ( ) ( ) ( )!. 1 p 1 1 . 2 ... 2 p 1 p ....
2 p 2 p 1 p 1 p 1 p p
= I = = =
= I = I = I

Donc, de ce corollaire, on peut remarquer comment la fonction gamma croit rapidement :
( ) ( ) ( )
( ) ( ) ( )
( ) ( )
( ) ( ) 5040 ! 7 8 6 ! 3 4
720 ! 6 7 2 ! 2 3
362880 10 120 ! 5 6 1 2
40320 ! 8 9 24 ! 4 5 1 1
= = I = = I
= = I = = I
= I = = I = I
= = I = = I = I


La fonction gamma peut tre utilise pour rduire la reprsentation du produit
( )( ) ( )( ) , p p 1 p 2 ... p 1 m p m + + + + o m- entier et . 1 p 0 ( ( .. Si lon ajoute ( ), p I on obtient
( ) 1 p m + + I , do lon peut crire :
(m + p) (m -1 + p) ... (1+ p) p=
(p)
1) + m + (p
I
I
.



Chapitre XII Fonctions spciales

254

Corollaire 2.
Dtermination de la fonction gamma pour les valeurs ngatives et non entires de p.
Soit p donn sur lintervalle ( ) 0 , 1 . Donc p+1 sera trouv sur lintervalle (0, 1) et ( ) 1 p + I
peut tre calcul par la formule dEuler (XII.1).
Posons :
( )
p
) 1 p (
p
+ I
= I pour 0 p 1 ( ( (XII.3)
Pour p = -1, la formule donne linfini, et donc :
( ) = I = + 0 et 0 1 p
Par consquent ( ) 1 I nexiste pas.
La transition dun intervalle un autre ( ) ( ) ( ) ... etc 2 , 3 , 1 , 2 . 0 , 1 , peut tre
dtermine par la formule (XII.3). La fonction gamma nexiste pas pour les p ngatifs entiers.
Exemple :
.
3
2
4
9
3
1
3
4
3
2
3
4
3
1
3
4
|
.
|

\
|
I =
|
.
|

\
|

|
.
|

\
|

|
.
|

\
|
I
=

|
.
|

\
|
I
=
|
.
|

\
|
I
La valeur de |
.
|

\
|
I
3
2
est trouve partir de la table.
Proprit 2 :
( )
( )( ) ( ) n p ... 2 p 1 p p
n ! n
lim P
p
n
+ + +
= I

.
Cette formule est utilise pour le calcul approximatif de la fonction gamma.
Pour la dmonstration, considrons la fonction :
( ) . dx x
n
x
1 p , n f
1 p
n
0
n

}
|
.
|

\
|
=
On peut facilement voir que :
( ) ( ) p p , n f lim
n
I =

. Evidemment :
( )
( ). p dx x e dx x
n
x
1 lim
dx x
n
x
1 lim p , n f lim
1 p
0
x 1 p
n
0
x
x
n
n
1 p
n
0
n
n n
I = =
(
(

|
.
|

\
|

+ =
=
|
.
|

\
|
=


} }
}




Chapitre XII Fonctions spciales

255

Dune autre part, en intgrant par parties, on obtient pour f (n, p) une expression sous la
forme :
( )
. ,
;
1
1 1
, ) 1 (
1
1 1 ,
1
1
0
1
0
1
0
p
x
v dx x dv
dx
n n
x
n du
n
x
u
o
dx x
n
x
p
p
x
n
x
dx x
n
x
p n f
p
p
n n
p
n
n
n
p
n
p
n
n
= =
|
.
|

\
|
|
.
|

\
|
=
|
.
|

\
|
=
+
+
|
.
|

\
|
=
|
.
|

\
|
=

}
}

On obtient lexpression :
( ) dx x
n
x
1
p
1
p , n f
n
0
p
1 n
}

|
.
|

\
|
=
En lintgrant par parties encore une fois en posant :
1
1 , v .
n
p
x
u d x dx
n

| |
= =
|
\ .

do du
1 p
x
v ; dx
n
x
1
n
1 n
1 p
2 n
+
=
|
.
|

\
|

=
+


On obtient :
( )

[(



( )
(

( )

( )
(


Ou encore aprs intgration par parties n fois, on obtient :
( )
( ) ( ) ( )
( ) ( ) ( )
( )( ) ( )
( ) ( ) ( ) ( )
1
0
0
1 2 ... 1
, 1
1 2 .... 1
!
.
1 2 ... 1
! !
1 ... 1 ...
n n
n
n p
n
n p
n
n
n p p
n
n n n n n
x
f n p x dx
n n p p p p n
n x
n p p p p n n p
n n n n
n p p p n p p p n

+
+
+
(
| |

= =
|
( + + +
\ .

= =
+ + + +
= =
+ + + +
}

Par consquent :
( )
( ) ( )
.
n p .... 1 p p
! n n
lim p
p
n
+ +
= I





Chapitre XII Fonctions spciales

256


Proprit 3. Drive du logarithme de la fonction gamma.
Trouvons la formule pour :
( )
( )
( )
( ) ( )
( ) ( )
( ) ( ) ( )
( )
( )
1
ln 1 :
1
!
1 lim ;
1 ...
1 lim ln ln ! ln 1 .... ln ;
1
1 1
lim ln ... .
1 1
p
n
n
n
p
p
p
n n
p p p p
p p p n
In p p n n p p n
p
n
p p p n

' I +
'
( I + =

I +
I + = I =
+ +
( I + = + + +

' I + (
=
(
I + + +


En posant p = 0,
.
n
1
...
2
1
1 n ln lim
) 1 (
) 1 (
n
(

|
.
|

\
|
+ + + =
I
I'


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 1 ... .
2
n
n C
n

(
| |
+ + + =
| (
\ .


Donc, on peut crire :
|
|
1 1
( 1) 1 1 1 1
lim ln 1 ... ...
( 1) 2 3
1 1 1 1
1 ... ] lim ln
2 3
1 1 1 1 1
1 ... .
2 3
n
n
p p
m m
p
n
p p p n
n
p n p
C
n p m m

= =
' | I +
= + + + + +

I + +
\
|
+ + + + + + =
|
+
.
(
| |
+ + + + + = +
( |
+
\ .




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

Lquation diffrentielle de Bessel est :
. 0 1
1
2
2
=
|
|
.
|

\
|
+ ' + ' ' y
x
y
x
y
v
(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 C y C y
2 2 1 1
+ =


Chapitre XII Fonctions spciales

257


o
1
C et
2
C sont des constantes ; et y
1
et y
2
sont les solutions linaires et indpendantes de
lquation.
On va chercher la solution de lquation sous la forme de la srie :

=
+
= + + + + + =
0 i
p i
i
i
i
2
2 1 0
p
, x a ...) x a ... x a x a a ( x y
En posant . 0 a
0
= Le problme sera de trouver les coefficients ... , 2 , 1 i , a
i
= et le nombre
p. La fonction :
p i
0 i
i
x a y
+

= , sera introduite dans lquation. Trouvons les drives :


( )
( )( ) . x 1 p i p i a y
; p i x a y
2 p i
0 i
i
0 i
1 p i
i
+

=
+
+ + = ' '
+ = '



En les remplaant dans lquation, on trouve :
( )( ) ( )
. 0 x a
x
1
x p i a x 1 p i p i a
p i
0 i
i
2
2 p i
0 i
i
2 p i
0 i
i
=
|
|
.
|

\
| v
+
+ + + + +
+

=
+

=
+



Lidentit peut tre crite sous forme :
| | . x a x ) p i ( a
p i
0 i
i
2 p i 2 2
0 i
i
+

=
+

=

v +
On peut dduire que :
) 2 (
2
i p i
a
a
i
i
+
=


En tenant compte que :
, 0 a ..., , 0 a , 0 a , 0 a
1 k 2 5 3 1
= = = =
+
cest--dire que les coefficients ayant des indices impairs
sont nuls. Sur la base de la formule de rcurrence, on peut crire :
( ) ( )
( ) ( )( )
( ) ( )( )( )
... .......... .......... .......... .......... .......... .......... .......... ..........
;
3 p 2 p 1 p 3 . 2 . 2
a
) 1 (
6 p 2 6
a
a
;
2 p 1 p 2 . 2
a
) 1 (
4 p 2 4
a
a
;
1 p 2
a
2 p 2 2
a
a
6
0 3 4
6
4
0 2 2
4
0 0
2
+ + +
=
+
=
+ +
=
+
=
+
=
+
=

( )
( )( ) ( )
.
... 2 1 ! 2
1
2
0
2
k p p p k
a
a
k
K
k
+ + +
=

Chapitre XII Fonctions spciales

258


On remarque que tous les coefficients pairs sont exprims en fonction
0
a , on peut crire
alors :
( ) 1 p 2
1
a
p
0
+ I
=
En tenant compte de
( ) ( ) ( ) ( )( ) ( )
( )( ) ( ) ( ), 1 k p k p )... 2 p ( 1 p 1 p
... etc , 3 p 2 p 2 p ; 2 p 1 p 1 p
+ + I = + + + + I
+ I = + + I + I = + + I

on peut crire pour simplifier que :
( )
,
1 ! 2
1
) 1 (
2
2
+ + I
=
+
k P k
a
p k
k
k
La solution de lquation peut tre reprsente sous forme :
( )
2
0
( / 2)
( 1)
! 1
k p
k
k
x
y
k p k
+
=
=
I + +


o . v p = La solution de lquation pour p = v est note par
v
J (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 :
( )
( )
( )
( )
2
0
2
0
2
( 1) .
! 1
2
( 1)
! 1
k v
k
v
k
k v
k
v
k
x
j x
k k
x
j x
k k
v
v
+

=
| |
|
\ .
=
I + +
| |
|
\ .
=
I +


Pour v non entier ( ) ( ) x J , x J
v v
sont des fonctions linairement indpendantes
et par consquent :
( ) ( ) x J C x J C y
2 2 v v
+ =
est la solution gnrale de lquation de Bessel.
Si v est un entier gal n, ( ) ( ) x J , x J
n n
seront linairement dpendantes.
Pour confirmer celui-ci, considrons la srie pour ( ) x J
n
, et transformons la :
( )
( )
2
0
2
( 1)
! 1
k n
k
n
k
x
J x
k n k

=
| |
|
\ .
=
I + +


On connat que la fonction gamma pour les nombres entiers ngatifs et nul elle est gale
linfini. Par consquent, pour ( ) = + + I s 1 k n , 1 n k et la srie sera nulle. La
sommation peut tre dbute de k = n :
Chapitre XII Fonctions spciales

259
2
2
( ) ( 1)
! ( 1)
k n
k
n
n
x
J x
k k n

=
| |
|
\ .
=
I +

.


Si m= k-n, on aura :
( )
( ) ( )
( ) ! 1
2
) 1 ( ) 1 (
1 !
2
) 1 (
2
0
2
0
m n m
x
m n m
x
x J
n m
m
m n
n m
n m
m
n
+ + I
|
.
|

\
|
=
=
+ I +
|
.
|

\
|
=
+

=
+
+


( ) ( ) ( ) | | ! n m 1 n m , alors , ! m 1 m que donn t tan + = + + I = + I . La dernire srie dtermine la
fonction ( ) x J
n
. Par consquent :
( ) ( ) x J ) 1 ( x J
n
n
n
=


Donc, ( ) ( ) x J et x J
n n
sont linairement dpendantes
Considrons ( ) ( ) : x J et x J
1 0

( )
( )
...
! 5 2
x
! 4 2
x
! 3 2
x
! 2 2
x
2
x
1
) ! k (
2
x
) 1 (
1 k ! k
2
x
) 1 ( x J
2 10
10
2 8
8
2 6
6
2 4
4
2
k 2
0 K
k
k 2
0 k
k
0
+ + + =
=
|
.
|

\
|
=
+ I
|
.
|

\
|
=


=

=

(avec 0 != 1).
Par consquent :
( ) ( ) x J x J
0 0
= et la fonction est paire. Pour ( ) . 1 x J , 0 x
0
= = Si pour ( ) x J
0
, on prend la somme
des cinq membres de la srie :
2 8
8
2 6
6
2 4
4
2
2
! 4 2
x
! 3 2
x
! 2 2
x
2
x
1 + + ,
lerreur sera infrieure ,
7
10
2 10
10
10
x
! 5 2
x
( La srie converge alors principalement pour . 1 ( x Le
graphe de la fonction ( ) x J
0
est reprsent par la figue XII. 2. Ce graphe peut tre construit en
relevant de la table une srie des valeurs de ( ) x J
0
:

Chapitre XII Fonctions spciales

260
( ) ( )
...
! 4 ! 3 2
x
! 3 ! 2 2
x
3 2
x
2
x
1 k ! k
2
x
) 1 (
2 k ! k
2
x
) 1 ( ) x ( J
7
7
5
5
3
3
0 k
1 k 2
k
1 k 2
0 k
k
1
+ + =
=
+
|
.
|

\
|
=
+ I
|
.
|

\
|
=


=
+ +

=





Pour ( ) . 0 x J , 0 x
1
= = De plus, on a ( ) ( ) x J x J
1 1
= et par consquent ( ) x J
1
est
impaire.
La relation
( ) ( )
0 0
J x J x = et ( ) ( ) x J x J
1 1
= permet de dresser la table pour . 0 x)


x
( ) x J
0
( ) x J
0

x
( ) c J
0
( ) x J
1

0,0
0,5
1,0
1,5
1,0000
0,9385
0,7652
0,5118
00,000
0,2423
0,4401
0,5579
2,00
2,5
3,0
0,2239
-0,0484
-0,2601
0,5767
0,4971
0,3391





Fig XII.2

XII.4 Fonction de Bessel de deuxime espce

En qualit de deuxime solution on prend :
( )
( ) ( )
v t
tv
=
v v
v
sin
x J x J cos
lim x Y
n
n

Pour n = v , on a : ( ) ( )| x J x J ) 1 ( et ) 1 ( n cos , 0 sin
n n
n n

= = t = v t et on obtient une
indtermination 0 0 . Utilisons la rgle de lHospital :
Chapitre XII Fonctions spciales

261
( )
( ) ( ) | |
tv
v c
c
tv
v c
c
=
v v
v
sin
x J x J cos
lim x Y
n
n
.







On obtient :
( )
( )
( )
( ) ( )
2
1
0
2
0 1 1
2 1
( ) ln
2 1 2
( 1)
1 1 1 2
1 1
k n
n
n n
k
n k
k
n k k
k m m
n k
x x
Y x J x C
k
x
k n k m m
t t
t

=
+
+
= = =
I
( | |
= +
|
(
I +
\ .
| |

|
(
\ .
+
(
I + I + +




o C est la constante dEuler. La solution gnrale est :
( ) ( ).
2 1
x C x J C
Yn
n
+
La fonction ( ) x Y
n
sappelle quation de Bessel de deuxime espce dordre n ou
fonction de Neumann.
Ecrivons la srie pour ( ) x Y
0

( ) ( )
( )
|
( ) . 0 :
. . ..
3
1
2
1
1
6 4 2 2
1
1
4 2
2
1
2
ln [
2 1
2
) ! (
2
) 1 (
1
2
ln
2
0
2 2 2
6
2 2
4
2
0
1
0
2
2
0 0

+
|
.
|

\
|
+ + +
|
.
|

\
|
+
+
|
.
|

\
|
+ =

|
.
|

\
|

+ =

=
x pour x Y donc
x x
x
C
x
x J
m m
k
x
C
x
x J x Y
k
m
k
k
k
t t

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

Soit lquation :
0 y
x
y
x
1
y
2
2
2
=
|
|
.
|

\
| v
+ + ' + ' ' (XII.5)

Transformons cette quation en introduisant une nouvelle variable x t = . Exprimons la
drive de y en fonction de t :

Chapitre XII Fonctions spciales

262
2
2
2
2
2
dt
y d
dx
dt
dt
y d
dx
dx
dy
d
y
;
dt
dy
dx
dt
.
dt
dy
dx
dy
y
= = = ' '
= = = '


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




simplifions par
2

0 y
t
1
dt
dy
.
t
1
dt
y d
2
2
2
2
=
|
|
.
|

\
| v
+ +
Cest donc lquation de Bessel. Ses solutions seront
( ) ( ) ( ). J t et J ou J x et J x
v v v v



Considrons lquation.
. 0 y
x

1 y
x
1
y =
|
.
|

\
| v
+ ' + ' ' (XII.6)
Si lon introduit le signe (-) sous la parenthse et lon pose 1 i
2
= , lquation (XII.6)
devient : 0 y
x

i y
x
1
y
2
=
|
.
|

\
| v
+ ' + ' ' , qui est un cas particulier de lquation (XII.5), quand
i = . La solution de lquation (XII.5) sera : ( ) ( ) xi J et xi J
v v




| on a utilis |. 1 ) 1 ( et , ) 1 ( i
k 2 k k 2
= =
0 y
t dt
dy
t dt
y d
2
2 2
2
2
2
2
=
|
|
.
|

\
| v
+

+
( )
( ) ( )
( ) ( )
( )
( ) ( )
( ) ( )
;
1 k 1 k
2
x
i
1 k 1 k
i
2
x
) 1 ( xi J
;
1 k 1 k
2
x
i
1 k 1 k
i
2
x
) 1 ( xi J
0 k
k 2
k 2
k 2
0 k
k
0 k
k 2
k 2
k 2
0 k
k

=
v
v
v
v

=
v

=
v +
v
v +
v +

=
v
+ v I + I
|
.
|

\
|
=
=
+ v I + I
|
.
|

\
|
=
+ v + I + I
|
.
|

\
|
=
=
+ v + I + I
|
.
|

\
|
=
Chapitre XII Fonctions spciales

263
Etant donn que lquation diffrentielle est homogne, donc quelque soit C
1
et quelque
soit C
2
les fonctions ) xi ( J C
1 v
et ) xi ( J C
2 v
seront ses solutions.
En posant
v v
= = i C et , i C
2 1
, on obtient la solution sous forme :
( )
( )
( )
( )
,
1 k ! k
2
x
xi J i
;
) 1 k ( ! k
2
x
1 k ! k
2
x
i i xi J i
0 k
k 2
0 k 0 k
k 2 k 2

=
v
v
v

=
v + v +
v v
v
v
+ v I
|
.
|

\
|
=
+ v + I
|
.
|

\
|
=
+ v + I
|
.
|

\
|
=



Posons
( )
( )
( )
( ). x I
1 k ! k
2
x
, x I
1 k ! k
2
x
0 k
k 2
0 k
k 2
v

=
v
v

=
v +
=
+ v I
|
.
|

\
|
=
+ v + I
|
.
|

\
|


Les fonctions ( ) x I
v
et ( ) x I
v
sont les fonctions de Bessel du troisime espce. Dans le
cas de v fractionnel, ( ) x I
v
et ( ) x I
v
sont linairement dpendants et ( ) ( ) x I C x I C y
2 1 v v
+ =
sera la solution gnrale de (XII.6).
Dans le cas v = n (entier), ( ) ( ). x I x I
n n
=
Vrifions :
( )
( ) ( )


=

+ I
|
.
|

\
|
=
+ I
|
.
|

\
|
=
n k
n k 2
0 k
n k 2
n
1 n k ! k
2
x
1 n k ! k
2
x
x I
(tant donn que , 1 n k s le nombre 0 1 n k s + et par consquent ( ) = + I 1 n k , et les
membres correspondants de la srie sont nuls). Introduisons un nouveau indice de sommation
m, en posant k = m + n. Do :
( )
( ) ( ) ( )
( ). x I
! m 1 n m
2
x
1 m ! n m
2
x
x I
0 m
n
n m 2
0 m
n m 2
n

=
+

=
+

=
+ + I
|
.
|

\
|
=
+ I +
|
.
|

\
|
=
Dans le cas o v est un entier, la nouvelle solution linairement indpendante avec ( ) x I
n
:
( )
( ) ( )
n sin
x I x I
2
x K
n n
n
t
t
=




Chapitre XII Fonctions spciales

264
et la solution gnrale de (XII.6) scrira sous forme :
( ) ( ) x K C x I C y
n 2 n 1
+ =

XII.6 Fonction gnratrice de la fonction Bessel
Considrons la fonction ( )
|
.
|

\
|

=
t
1
t
2
z
e t , z u quon dcompose en srie :




On peut crire, que
( ) .
! m ! k
t
2
z
) 1 (
t , z u
0 k 0 m
m k
m k
m

+
|
.
|

\
|

=
ou
( ) . t A t , z u
n
n


=
Le coefficient
n
A est :
( ) ( )
.
1 n m ! m
2
z
) 1 (
! m ! n m
2
z
) 1 ( A
n m 2
0 m
m
n m 2
0 m
m
n
+ + I
|
.
|

\
|
=
+
|
.
|

\
|
= =
+

=
+

=


Pour z = x, le coefficient A
n
devient ( ) x J
n
et
( ) ( )
n
n
t
1
t
2
x
t x J e t , x u


|
.
|

\
|

= = . (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 :
( )
( )
( )
( ) ( ) . ,
1 !
2
1 !
2
) 1 (
1
2
0
2
2
2
0
n
n
n t
t
ix
n
m
n
n m
n
n m
n m
m
m
n
t x I i e t ix u
et
x I i
n m m
x
i
n m m
i
x
A


|
.
|

\
|

=
+
+
+

=
= =
=
+ + I
|
.
|

\
|
=
+ + I
|
.
|

\
|
= =
(XII.8)
( ) .
! m
t 2
z
! k
2
zt
e e t , z u
0 m
m
0 k
k
t 2
z
2
zt


=

|
.
|

\
|

|
.
|

\
|
= =
Chapitre XII Fonctions spciales

265


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


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

1. Formule de rcurrence
( ) ( ). x J ) x ( J
x
n 2
x J
1 n n 1 n +
=




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 ( ) ( ). x J et x J
0 1
Exemple :
( ) ( ) ( ) ( )
( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
( ) ( ). x J 1
x
24
x J
x
8
x
48
x J x J
x
8
x J
x
24
x
x
48
x J
x J
x
2
x J
x
6
x J x J
x
2
x
24
) x ( J ) x ( J
x
2
x J x J
x
4
x
6
x J x J
x
6
x J x J
0 1
0 1 0
3
0
1 1 0 1
2
0 1 1 2
2 3 1 3 4
(

=
= + = +
+
(

=
=
(

=
= = =
+

La formule de rcurrence permet pour la fonction de Bessel dordre entier de se limiter
ltablissement des tables pour ( ) ( ). x J et x J
1 0

Dmonstration : prenons la relation (XII.7) et calculons
t
u
c
c
par deux mthodes :
a)
1
2
1
(1 ) ( )
2 2
x
t
n t
n
u x x
e J x t
t t
| |

|
\ .

c
+ =
c

; t ) x ( J
2
x
2 n
n

+
b) ( ) . nt x J
t
u
1 n
n

=
c
c

Les deux parties droites des deux diffrentes expressions doivent tre gales pour
t
u
c
c
.
Egalisons les coefficients pour
1 n
t

. On obtient :
( ) ( ) ( ) x J
2
x
x J
2
x
x J n
1 n 1 n n +
+ =
Do :
Chapitre XII Fonctions spciales

266
( ) ( ) ( ) ( ) ... etc , x J x J
x
n 2
x J
x
n 2
x J
1 n n n 1 n +
= = .

2. Formule pour la drive
( ) ( ) ( ) | |. x J x J 2 x J
1 n 1 n n +
= '

Pour la dmonstration calculons par deux mthodes
a)

=
|
.
|

\
|
=
c
c


+
|
.
|

\
|

1 n
n
t
1
t
2
x
t ) x ( J
2
1
t
1
t
2
1
e
x
u
( )
1
;
n
n
J x t

(
(


b) ( ) . t x J
x
u
n
n


' =
c
c



galisons les coefficients pour t
n
. On obtient :
( ) . etc )], x ( J ) x ( J [
2
1
x ' J
1 n 1 n n +
=
La formule montre, que par les tables ( ) ( ), x J et x J
1 0
on peut calculer ( ). x ' J
n

Dans le cas particulier pour n = 0, on obtient :
( ) ( ) ( ) | | ( ) ( ) | | ( ). x J x J x J
2
1
x J x J
2
1
x ' J
1 1 1 1 1 0
= = =



3. Prenons la formule (XII.8). Drivons par rapport t comme fonction exponentielle
dabord puis comme srie :
. nt ) x ( I i
t
u
2
xi
t ) x ( I i
t ) x ( I i
t
1
1 e
2
xi
t
u
1 n
n
n
2 n
n
n
n
n
n
2
t
1
t


|
.
|

\
|

=
c
c
(

(
+
+

=
|
.
|

\
|
+ =
c
c

Egalisons les coefficients pour t
n-1
. On obtient :
| |
| | ) x ( I i ) x ( I
2
xi
) x ( I i ) x ( I i
2
xi
n ) x ( I i
1 n
2
1 n
n
1 n
1 n
1 n
1 n
n
n
+
+
+

+ =
= + =

ou :
( ) ( ) ( ) | |. x I x I
2
x
n x I
1 n 1 n n +
=
do :
( ) ( ) ( ) x I x I
x
n 2
x I
1 n n 1 n +
+ =
Chapitre XII Fonctions spciales

267
la formule rcurrente pour la fonction de Bessel de troisime espce.
4. Si lon calcule
x
u
c
c
de la formule (XII.8) par deux mthodes et on galise les
coefficients dans les deux expressions trouves pour
n
t , on obtiendra la drive de la fonction
de Bessel du troisime espce :

( )
( )
1
1 2
1
1
2 2
.
xi
t
n n t
n
n n
n
u i i
e t i I x t
x t
i I x t
| |

|
+
\ .

c | |
= =
|
c
\ .
(


Dune autre part,
( )
( ) | ( ) ( )|
| ( ) ( )| x I i x I
2
i
x I i x I i
2
i
x I i
; t x I i
x
u
1 n
2
1 n
n
1 n
1 n
1 n
1 n
n
n
n
n
n
+
+
+


=
= = '
' =
c
c


o :
( ) | | ) x ( I ) x ( I
2
1
x I
1 n n n +
= ' = ' etc
Pour n = 0
( ) | | ( ), x I ) x ( I ) x ( I
2
1
x I
1 1 1 0
= + = '


avec :
( ) ( ) x I x I
n n
=


Des formules analogues peuvent tre obtenues pour ( ) ( ). x K et x Y
n n



XII.8 Formules intgrales de la fonction de Bessel de premire et troisime espces

Afin de dduire les formules pour ( ) x J
n
, on prend la relation :
( )
k
k
t
1
t
2
x
t x J e


|
.
|

\
|

=
(XII.7')
et on pose

=
i
e t . Do.

= =

ik k
i i
i
i
e t ; sin i
2
e e
2
e
1
e
2
t
1
t

et la relation (XII.7') devient :

( ) . e x J e
ik
k
sin x i

=
(XII.9)
Chapitre XII Fonctions spciales

268
La fonction
ik
e a la proprit telle que,
}
=

k 2
0
ik
0 d e pour 0 k = , donc :
2
2
2 0
0
0
1
0,
ik
iK ki
e
e d e e
ik ik
t
t
t

(

= = =
}
avec
. 1 k 2 sin i k 2 cos e et 1 e
k 2 0
= t + t = =
t


Pour k = 0, on a :
. 2 d d e
2
0
2
0
ik
t = =
} }
t t






Donc, pour trouver les fonctions pour ( ) x J
n
, il faut multiplier lgalit (XII.9) par
in
e
et intgrer par rapport sur lintervalle t 2 0 .
( )
( )
. d e x J d e
2
0
n k i
k
2
0
i n sin ix
=
}

}
t


t


On obtient enfin :
( ) ( ). x J 2 d e x J
2
0
n
0
n
}
t
t =
En transformant la partie gauche par la formule dEuler, on obtient :

( ) | ( )| ( ). x J 2 d n sin x sin i n sin x cos
n
2
0
t = +
}
t

Pour les valeurs relles de x, la fonction ( ) x J
n
prendra des valeurs relles et lgalit
sera possible si :
( ) . 0 d n sin x sin
2
0
=
}
t

Par consquent :
( ) ( ) . d n sin x cos
2
1
x J
2
0
n

t
=
}
t

Dans le cas particulier pour n = 0, on a
( ) ( )
. d ) sin x ( cos
2
d ) sin x ( cos
1
d sin x cos
2
1
x
2
0
0
2
0
0 J
}
} }
t
t
t

t
=
=
t
=
t
=
(XII.10)
Afin de trouver la formule intgrale pour ( ) x J
n
, prenons la fonction gnratrice pour la
fonction de Bessel de troisime espce :
( )
k k k t
1
t
2
ix
t x I i e


|
.
|

\
|

=
Chapitre XII Fonctions spciales

269
et effectuons les mmes transformations en posant

=
i
e t , do
. e t ; sin x
i sin xi
2
e e
xi
t
1
t
2
xi
ik k
i i


= =
= =

=
|
.
|

\
|


et
( ) . e x I i e
ik
k
k sin x

=


Multiplions par
in
e et intgrons de o 2:
( ) . d e x I i d e
2
0
) n k ( i
k
k
2
0
in sin x
=
}

}
t


t





Une seule intgrale est 0 = pour k = n dans la partie droite, do :
( ) . 2 x I i d e
n
n
2
0
in sin x
t =
}
t


Pour n = 0, on a :
( ). x I 2 d e
0
2
0
sin x
t =
}
t



XII.9 Intgrale de Weber-Lipchitz


On rencontre souvent en gophysique les intgrales de Weber-Lipchitz :
( )
( ) ( ) ,
r z
1
dx zx cos rx K
2
r z
1
dx rx J e
2 2
0
0
2 2
0
0
zx
+
=
t
+
=
}
}


Montrons la premire formule. Pour ( ) rx J
0
prenons la formule intgrale (XII.10) :
( ) . d ) sin rx ( cos
2
rx J
2
0
0

t
=
}
t

En remplaant cette expression dans la partie gauche de cette quation, on obtient :
( ) ( ) . dx d sin rx cos e
2
dx rx J e
2
0 0 0
zx
0
zx

t
=
} } }
t



( ) l'expression cos rx sin j est gale :
sin sin
2
ir x ir x
e e

+
.
Do :
Chapitre XII Fonctions spciales

270
( )
2
sin sin
0
0 0 0
1
zx zx irx zx irx
e J rx dx d e e dx
t

t

+
(

= +
} } }

2 sin sin
0
0
1
sin sin
zx irx zx irx
e e
d
z ir z ir
t

+ +
(
(

=
+ +
}

2
0
1 1 1
sin sin
d
z ir z ir
t

t
| |
|
\ .
= +
+
}


En rduisant en un mme dnominateur, on a :
( )
} } }
t t

+

t
=
+ t
=
2
0
2
0
2 2
0
0
zx
sin r z
d z 2
d
sin r z
z 2 1
dx rx J e


Posons ; d sec dt ; t tg
2
= =
.
t 1
t
sec
tg
sin
;
t 1
dt
tg 1
dt
sec
dt
d
+
=

=
+
=
+
=

=

Lintgrale cherche sera :

( )
( )
( ) ( )
2 2
0 0
2
0
0
2 2

1
1
2 2


2 1
2
z dt z dt
z z r t t
t z r
t
z dt z z r
z
z r z r z
t
z r
t z r
arc tg
z z r z r
t t
t t
t
t

= =
+ + | |
+ +
|
+
\ .
+
= =
+ +
+
+
+
= =
+ +
} }
}

Dans le cas particulier pour z = 0 : ( )
r
1
dx rx J
0
0
=
}




XII. 10 Orthogonalit de la fonction de Bessel :


La valeur

est la racine de ( ), x J
v
si ( ) . 0 J =
v
Montrons que si et deux racines
diffrentes de la fonction ( ) x J
v
, on aura :
( ) ( ) . 0 dx x J x J x
1
0
=
v v
}

Chapitre XII Fonctions spciales

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


Pour la dmonstration, posons ( )
1
y x J =
v
et ( )
2
y x J =
v
, donc conformment
(XII.6), on a :
0 y
x
y
x
1
y
, 0 y
x
y
x
1
y
2
2
2
2 2
1
2
2
1 1
=
|
|
.
|

\
| v
+ ' + ' '
=
|
|
.
|

\
| v
+ ' + ' '


Afin de trouver la fonction sous intgrale , y xy
2 1
multiplions la premire quation par
2
xy et la deuxime par
1
xy et retranchons la deuxime galit de la premire. On obtient :
( ) ( ) ( ) 0 y xy y y y y y y y y x
2 1 1 2 2 1 1 2 2 1
= + ' ' + ' ' ' '

quon peut crire sous forme :
. 0 y xy ) ( ) y y y y ( x
dx
d
2 1
2 2
1 2 2 1
= + +
(

'

'

Lintgrale de 0 1 donne :
( )
( )
1
1
1 2 2 1 1 2
0
0
( ) 0. x x y y y y xy y dx
' '
(
+ =
(

}
(XII.11)
En considrant que est une variable :
( ) ( )
( ) ( )
1 1 1
2 2 1
, 0;
, 0;
x
x
y J x y J
y J x y J
v v
v v

=
=
= = =
= = =
( ) ( )
( )
( )
( ) ( )
1 1 1
; .
x
dJ x dJ x d x
y J x y J
dx d x dx
v v
v v

=
'
' ' ' = = = = =
En remplaant lexpression trouve, on trouve :
( )
( ) ( )
1
1 2 2 1
0
. x y y y y J J
v v

' '
(
' ' =
(


Do :
( )
( ) | | ( ) ( )

J J
lim

y y y y x
lim dx x J x

1
0 1 2 2 1

1
0


=

' '
=
v v

v
}

En appliquant le thorme dHspital la partie droite, on a :
( )
( ) ( )
( )
2
1
0
lim .
2 2

J
J J
x J x dx

v
v v
v


' ( ' '

= =
}


do :
Chapitre XII Fonctions spciales

272
( )
( )
2
1
2
0
.
2
v
J
x J x dx
v

' (

=
}


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

Les fonctions ( ) x J
v
possdent une infinit de solutions ... , ,..., ,...,
k 2 1
.
Reprsentons f(x) par :
f(x) = ( ) ( ) ( ) ... x J c ... x j c x J c
k k 2 2 1 1
+ + + +
v v v



Afin de trouver les constantes , , ,
2 1 k
c c c utilisons la proprit dorthogonalit
( ) ( ) ( ) ( )
( ) ... dx x J x C
... dx x J x J x C dx x J x f x
1
0
k
2
k
k
1
0
1 1
1
0
k
+ +
+ + =
}
} }
v
v v v


On obtient :
( ) ( ) ( ) . dx x J x c dx x J x f x
k
1
0
k k
=
} }
v v

Do :

( ) ( )
( )
( )
( ) ( )
1
1
0
1
2 0
0
2
.
[ ]
k
k k
k
v
x f x J x dx
c x f x J x dx
J x
x J x dx
v
v
v
v

= =
'
}
}
}
(XII.12)

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

Solution : soit :

=
= + + + + =
1 k
k 1 k k 1 k 2 1 2 1 1 1
). x ( J c ... ) x ( J c ... ) x ( J c ) x ( J c ) x ( f
Les coefficients de la srie sont dtermins par la formule (XII.12)
( ) | |
( )dx x J x
J
2
c
k 1
1
0 k 1
k

'
=
}

On pose n = 1, do :
( ) ( ). x J x dt t J t
2 1
x
0
2
=
}
On pose , x t
k
= donc : dx dt
k
= , on peut crire :
( ) ( )
( ) ( ) ( ).
1 1

1

2
0
2
2
3
1
3
1
0
1
1
0
k
k
k
k
k k
k
k
k
k
J J dt t J t
dt
t J
t
dx x J x
k
v

= = =
=
|
|
.
|

\
|
=
}
} }

Donc :
Chapitre XII Fonctions spciales

273
( )
( )
.
J
.
] J [
2
c
k
k 2
k
'
1
k

=
et
( )
( ) | |
) x ( J .
J
J 2
) x ( f
k 1
k
'
1
k 2
1 k k

=

Calculons pour
1
c . De la table on a . 8317 , 3
1
= On trouve par la formule de rcurrence
de Bessel de premire espce que :
( ) ( ) ( ) ( ). J J J
2
J
1 0 1 0 1 1
1
1 2
=

=


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

( )
( ) ( ) ( ) | | . 4028 , 0 J J 2 / 1 J
et
4028 , 0 J
1 2 1 0 1 2
1 2
= =
=


Par consquent :
. 2955 , 1
1
= c

On peut calculer dune manire analogue ,... c , c
3 2


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 :











Chapitre XII Fonctions spciales

274


Fig XII.3

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

(Condition initiale).
Lquation de conductibilit thermique est :
. U a
t
U
A =
c
c


L'oprateur de Laplace Aest plus simple prendre en coordonnes cylindriques :
.
z
U

U 1 U 1
U
(
(

\
|
c
c
+
c
c

+
|
|
.
|
c
c

c
c

= A
Des conditions du problme, on a U qui ne dpend pas de et de z, do :

0

U
=
c
c

et 0
z
U
=
c
c
.
Lquation de conductibilit thermique prend la forme :
(

c
c
+
c
c

=
|
|
.
|

\
|
c
c

c
c

=
c
c U

U 1
a
U 1
a
t
U

ou
.
U 1

U
a
t
U
(

c
c

+
c
c
=
c
c
(XII.13)
Ainsi, il faut rsoudre lquation (XII.13) si 0 U
R
=
=
et ( ) =
=
f U
0 t
. On va utiliser
alors la mthode de Fourier pour la rsolution sous forme :
( ) ( ) ( ). t T t , U e =

Donc :
( ) ( )
( ) ( )
( ) ( ), t T

U
, t T
U
, t T
t
U
e' ' =
c
c
e' =
c
c
' e =
c
c

Lquation (XII.13) prend la forme :
( ) ( ) ( ) ( ) ( ) .
1
t T a t T
(

e'

+ e' ' = e '


quon peut crire sous forme :
Chapitre XII Fonctions spciales

275
( )
( )
( ) ( )
( )

1
t T a
t T
=
e
e'

+ e' '
=
'



Pour que U soit solution de (XII.13), il faut :
( ) ( )
( ) ( ) ( )
2
; (XII.14)
1
0 . (XII.15)
T t a T t
e e e

' =
'' ' + + =

Lquation (XII.14) peut scrire sous forme :
. dt a
T
dT
=
En lintgrant, on obtient :
.
ln ln

C e T
ou
C t a T
t a

=
+ =


Lquation (XII.15) est lquation de Bessel dordre 0 et dargument . Sa solution
sera la fonction :
( ) ( ). J
0
= e
La fonction :
( ) ( ) =

0
t a
J e C t , U

sera la solution de lquation diffrentielle (XII.13) . Cependant la fonction ( ) t , U
doit satisfaire la condition aux limites. Par consquent :
( )
2

0
0 ,
a t
C e J R

=
do :
( ) . 0 R J
0
=
Les valeurs R sont les racines de la fonction ( ). x J
0
Si les racines sont dsignes par
,..., ..., , ,
k 2 1
donc pour , on a :
,...
R
,...,
R
,
R
k
k
2
2
1
1

=

=
Pour les donnes on a :
( ) ( ) ,... 3 , 2 , 1 k , J e C t , U
k 0
t ka
k k
= =


qui est une solution de (XII.13).
k
sont les nombres caractristiques du problme. ( )
k 0
J
sont les fonctions caractristiques ou propres du problme.
Chapitre XII Fonctions spciales

276
Aucune fonction ( ) t , U
k
= ne satisfait les conditions aux limites, tant donn que pour t =0 :
( ), J C U
k 0 k k
= et non f( ).

Afin de trouver la solution, prenons :
( ) =

=

k
1 k
0
t a
k
J k e C ) t , ( U
pour t=0, U= f( ) et par consquent :

=
|
.
|

\
|
=
1 k
k 0 k
.
R
J c ) ( f


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

\
|
|
.
|

\
|

=
1
0
k 0
2
k 0
k
R
d
R
J ) ( f
R
) ( ' J
2
c
donc :
| |
}

=
1
0
k 0
2 2
k 0
k
d ) ( J ) ( f
R
1
.
) ( ' J
2
c .
La fonction :
2 2
0
1
( , ) ( )
k
a t
k k
k
U t c e J

=
=


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 0 = AU , avec les conditions aux limites :
). ( f U
, 0 U
, 0 U
0 z
1
H z
=
=
=
=
=
=

Puisque U ne dpend pas de 0
U
,
2
2
=
c
c
et lquation devient :
0
1
2
2
2
2
=
c
c
+
c
c
+
c
c
z
U U U


Posons ) z ( Z ) ( ) z , ( U e = . Do :
). z ( Z ) (
z
U
); z ( Z ) (
U
); z ( Z ) (
U
2
2
2
2
' ' e =
c
c
e' ' =
c
c
e' =
c
c


Chapitre XII Fonctions spciales

277



En les remplaant dans lquation, on obtient :
. 0 ) z ( Z ) ( ) z ( Z )] (
1
) ( [ = ' ' e + e'

+ e' '
Dcomposons les variables :
2
) z ( Z
) z ( Z
) (
) (
1
) (
=
' '
=
e
e'

+ e' '

Pour trouver ) ( e et Z(z), obtenons les quations :
0 ) z ( Z ) z ( Z
2
= ' ' (XII.16)
0 ) ( ) (
1
) (
2
= e + e'

+ e' ' (XII.17)






Lquation (XII.16) est une quation linaire et homogne du deuxime ordre. Pour sa
rsolution, tablissons lquation caractristique :
. k , 0 k
2 2
= =
Sa solution gnrale sera :
. e C e C ) z ( Z
z
2
z
1

+ =
Lquation (XII.17) est une quation de Bessel dont la solution est ). ( DJ
0

La fonction :
) ( J ) e C e C ( D ) , z ( U
0
z
2
z
1
+ =


sera la solution de lquation de Laplace.

Afin que pour z =H, on a U=0, il faut que :
0 e C e C
H
2
H
1
= +


Lgalit sera satisfaite si :
.
2
e
C ,
2
e
C
H
2
H
1

= =
Do :
), z H ( sh
2
e e
e C e C
) z H ( ) z H (
z
2
z
1
=
+
= +



et la fonction ) ( J ) z H ( Dsh ) , z ( U
0
= satisfera la premire condition aux limites. Afin
de satisfaire la deuxime condition aux limites, il faut que :
Chapitre XII Fonctions spciales

278
, 0 ) ( J , 1
0
= =
C'est--dire : . 0 ) ( J
0
=


Si ... , ..., , ,
k 2 1
sont les racines de ), ( J
0
donc ,..., 2 , 1 k = on a :
) ( J ) z H ( sh D U
k 0 k k k
=


qui satisfera les deux premires conditions aux limites.
En qualit dune nouvelle solution, prenons la fonction :

=
=
1 k
k 0 k k
). ( J ) z H ( sh D ) z , ( U
Choisissons les coefficients de faon que pour z =0, on a :

=
=
1 k
k 0 k k
). ( J ) H ( sh D ) ( f

Les conditions de la srie sont dtermines par la formule (XII.12). Par consquent :
}

=
1
0
k 0
2
k 0
k k
. d ) ( J ) ( f .
)] ( ` J [
2
) H ( sh D
La fonction :

=

1 k
k 0 k k
), ( J ) z H ( sh D
sera la solution du problme pos.

Problme 3. Considrons le problme de Dirichlet avec les conditions suivantes :
). ( ) , ( , 0 ) , (
, 0 ) , (
1
0
z f z U z U
z U
H z
Z
= =
=
= =
=


Posons :
), z ( Z ) ( ) z , ( U e =

On trouve :
) z ( Z
) z ( Z
) (
) (
1
) (
' '
=
e
e'

+ e' '

ou encore :
0 ) ( ) (
1
) (
2
= e e'

+ e' '
et
0 ) z ( Z ) z ( Z
2
= + ' '
La premire quation est une quation diffrentielle pour la fonction de Bessel du
troisime espce dordre 0 et dargument . Sa solution sera la fonction :
Chapitre XII Fonctions spciales

279
). ( I ) (
0
= e
La deuxime quation est linaire coefficients constants. Les racines de lquation
caractristique 0 k
2 2
= + sont i .

La solution gnrale de cette quation sera :
z sin D z cos C + .
La fonction :
) ( ) sin cos ( ) , (
0
I z D z C z U + =
sera la solution de lquation de Laplace.
Pour que z=0, on U=0, il faut que :
, 0 0 sin D 0 cos C = +
chose possible que pour C=0.




Pour que pour z=H, on a U=0, il faut que 0 H sin D = , chose possible que pour :
. k H t =
Par consquent ,
H
k
k
t
= o k=1,2,3,
La fonction :
H
kz
sin
H
I D ) z , ( U
k
0 k k
t
|
|
.
|

\
|

t
=
Satisfait les deux conditions aux limites. Afin de trouver la fonction satisfaisant la
troisime condition aux limites, prenons :
z
H
k
sin
H
k
I D
1 k
0 k

=

t
|
.
|

\
|

t

et considrons que :

=
=
t
|
.
|

\
| t
1 k
0 k
). z ( f
H
z k
sin
H
k
I D
Cette srie est la srie de Fourier pour la fonction ) z ( f .
Par les formules de Fourier, on trouve :
}
t
=
|
.
|

\
| t
H
0
0 k
. dz
H
kz
sin ) z ( f
H
2
H
k
I D
La fonction :

t
|
.
|

\
|

t
=
H
kz
sin
H
k
I D ) z , ( U
0 k

Chapitre XII Fonctions spciales

280
sera la solution du problme pos.
H
k
k
t
= sont les valeurs propres et
H
kz
sin
t
sont les
fonctions propres.


Exercices.
1. Sachant t =
|
.
|

\
|
I
2
1
, trouver |
.
|

\
|
+ I
|
.
|

\
|
I
|
.
|

\
|
I
2
3
k ,
2
3
,
2
1
o k est entier.
2. Montrer que :
; x cos
x
2
) x ( J , x sin
x
2
) x ( J
2
1
2
1
t
=
t
=


Ecrire lquation diffrentielle pour ) x ( J
2
1
et ) x ( J
2
1

.
3. Vrifier que
x
x sin
et
x
x cos
satisfont lquation diffrentielle :
0 y
x 4
1
1 y
x
1
y
2
=
|
.
|

\
|
+ ' + ' '


4. Trouver les expressions pour :
) x ( J
2
3
et ) x ( J
2
5
.
5. Trouver ) 5 , 0 ( J
4
et ) 5 , 0 ( J
2
' .
6. Montrer que:

...) 3 sin ) x ( J 2 sin ) x ( J 2 ( i
...) 4 cos ) x ( J 2 cos ) x ( J ( 2 ) x ( J e
3 1
4 2 0
sin ix
+ + +
+ + + + =


7. En utilisant l'exercice 6, montrer que:
}
=
t

t
2
0
2
, 2 cos ) sin ( cos
2
1
) ( d n x x J
n

}
t
+
+
t
=
2
0
1 n 2
. d ) 1 n 2 ( sin ) sin x ( sin
2
1
) x ( J
8. Montrer que:
}
=
x
0
1 0
) x ( xJ dt ) t ( tJ .
9. Dcomposer la fonction f(x) =1 sur (0,1) en srie par fonctions de Bessel d'ordre 0.
Rponse: .
) ( J
2
c
k 0 k
k
'
=
10. Montrer que :
}
+
+ +
=
x
0
1 n
1 n
n
1 n
). x ( J x dt ) t ( J t



Chapitre XII Fonctions spciales

281

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 M
0
et M (fig XII.4).






Fig XII.4

Si le point M
0
est situ sur l'axe or une distance de l'origine des coordonnes gale
l'unit, on a:
2
r cos r 2 1 R + u = ,
o r et u sont les coordonnes sphriques du point M.
R
1
est dtermine en fonction de
), (cos P
n
u appele polynme de Legendre. Donc:

=
u =
0 n
n
n
. r ) (cos P
R
1
(XII.18)
Pour r =1 et u =0, , 0 cos r 2 r 1
2
= u + et par consquent la fonction 1/R a un point
critique. La srie converge seulement pour r <1.
Pour obtenir la formule pour ), (cos P
n
u on pose . x cos = u Donc:

=
=
+
=
0 n
n
n
2
. r ) x ( P
r rx 2 1
1
R
1
(XII.19)
Les coefficients de la srie (XII.19) peuvent tre dtermins par la formule de Mc Laurin.
Donc:
0 r
n
n
n
0 r
0
dr
R
1
d
.
! n
1
) x ( P ; 1
R
1
) x ( P
=
=
|
.
|

\
|
= = =
Pour trouver ), x ( P
1
calculons d'abord:
3 2
2
1
2
) r rx 2 1 (
r x
) r rx 2 1 (
dr
d
R
1
dr
d
+

= + =
|
.
|

\
|
=


Sachant que ,
1
) (
0
1
=
|
.
|

\
|
=
r
R dr
d
x P on obtient:
M
0
R

M

0

r

u

Chapitre XII Fonctions spciales

282
. x ) x ( P
1
=
Analogiquement par la drive du second ordre par rapport
R
1
, on peut obtenir ) x ( P
2
etc.
La diffrentielle de (XII.19) donne:

=
|
.
|

\
|
0 n
1 n
n
nr ) x ( P
dr
R
1
d

ou

=
+

0 n
1 n
n
2
. nr ) x ( P
) r rx 2 1 (
r x

En multipliant les deux parties de la dernire galit par ), r rx 2 1 (
2
+ et remplaant
2
r rx 2 1
1
+
par la srie (XII.19), on obtient:

+ =
0 n 0 n
1 n
n
2 n
n
. r ) x ( nP ) r rx 2 1 ( r ) x ( P ) r x (

Egalisons les coefficients pour r
n
:
) x ( P ) 1 n ( ) x ( nxP 2 ) x ( P ) 1 n ( ) x ( P ) x ( xP
1 n n 1 n 1 n n +
+ + =
ou
. 0 ) x ( nP ) x ( xP ) 1 n 2 ( ) x ( P ) 1 n (
1 n n 1 n
= + + +
+
(XII.20)
C'est la formule de rcurrence pour les polynmes de Legendre.
Trouvons ). x ( P ), x ( P ), x ( P
4 3 2

1. Posons n=2 dans la formule de rcurrence. D'o:
0 ) x ( P ) x ( xP 3 ) x ( P 2
0 1 2
= + ou .
2
1
x
2
3
) x ( P
2
2
=
2. En posant n=2, on obtient:
0 ) x ( P 2 ) x ( xP 5 ) x ( P 3
1 2 3
= +
ou
. x
2
3
x
2
5
) x ( P
3
3
=
3. Si n=3, on aura:
0 ) x ( P 3 ) x ( xP 7 ) x ( P 4
2 3 4
= +
ou
.
8
3
x
4
15
x
8
35
) x ( P
2 4
4
+ =

Ainsi, ) x ( P
n
sont des polynmes. Les graphes de Legendre sont reprsents par la
figure XII.5. (1) 1, ( 1) ( 1) 0, 1, 2, 3.
n
n n
P P si n = = =



Chapitre XII Fonctions spciales

283

Fig XII.5


XII.13 Equation diffrentielle pour les polynmes de Legendre

La fonction potentielle
R
1
satisfait l'quation de Laplace, c'est--dire A
R
1
=0. Ecrivons
l'quation de Laplace en tenant compte de
. 0
R
1
2
2
=
c
c

Par consquent:
. 0
R
1
sin
sin
1
r
R
1
r
r
2
=
|
|
|
|
.
|

\
|
u c
c
u
u c
c
u
+
|
|
|
|
.
|

\
|
c
c
c
c

Au lieu de
R
1
, prenons

=
u
0 n
n
n
, r ) (cos P conformment la formule (XII.19), d'o en
diffrenciant:
0
) (cos P
r sin
sin
1
)] (cos P nr r [
r
0 n
n n
0 n
n
1 n 2
= |
.
|

\
|
u c
u c
u
u c
c
u
+
+ u
c
c



En diffrenciant encore une fois, on obtient:

. 0
) (cos P
sin r
sin
1
) (cos P nr ) 1 n (
0 n 0 n
n n
n
n

=
= |
.
|

\
|
u c
u c
u
u c
c
u
+ u +

qu'on peut crire sous forme:

0
) (cos P
sin
sin
1
) (cos nP ) 1 n ( r
0 n
n
n
n
=
(

|
.
|

\
|
u c
u c
u
u c
c
u
+ u +

=

Soit enfin:
0
d
) (cos dP
sin
d
d
sin
1
) (cos nP ) 1 n (
n
n
= |
.
|

\
|
u
u
u
u u
+ u + (XII.21)
Cest l'quation diffrentielle pour les polynmes de Legendre.
Chapitre XII Fonctions spciales

284
Trouvons l'quation diffrentielle pour ). x ( P
n
Donc
dx
d
sin
d
dx
dx
d
d
d
u =
u
=
u

Et l'quation (XII.21) devient:
0
dx
) x ( dP
) x 1 (
dx
d
) x ( nP ) 1 n (
, 0
dx
) x ( dP
sin
dx
d
sin
sin
1
) x ( nP ) 1 n (
n 2
n
n 2
n
=
(

+ +
=
(

|
.
|

\
|
u u
u
+ +




En diffrenciant, on obtient:
, 0 ) x ( P ) 1 n ( n
dx
) x ( dP x 2
dx
) x ( P d
) x 1 (
n
n n
2
2
= + +

Par consquent, ) (x P
n
satisfait l'quation:
, 0 y ) 1 n ( n y x 2 y ) x 1 (
2
= + + ' ' ' (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
1
n m
. n m pour 0 ) x ( P ) x ( P
Posons
1 m
y ) x ( P = et . y ) x ( P
2 n
= Ecrivons les quations diffrentielles pour y
1
et y
2
:
, 0 y ) 1 m ( m y x 2 y ) x 1 (
1 1 1
2
= + + ' ' '
. 0 y ) 1 n ( n y x 2 y ) x 1 (
2 2 2
2
= + + ' ' '
Multiplions la premire quation par y
2
et la seconde par y
1
et calculons:
| | 0 y y ) 1 n ( n ) 1 m ( m
) y y y y ( x 2 ) y y y y )( x 1 (
2 1
2 1 1 2 2 1 1 2
2
= + + +
+ ' ' ' ' ' '

ou
| | | | . 0 y y ) 1 n ( n ) 1 m ( m ) y y y y )( x 1 (
dx
d
2 1 2 1 1 2
2
= + + + ' '

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

= + + + ' '
1
1
2 1
1
1 2 1 1 2
2
. 0 dx y y ) 1 n ( n ) 1 m ( m ) y y y y )( x 1 (


Chapitre XII Fonctions spciales

285
Puisque n m= , on a:
. 0 dx y y
1
1
2 1
}

=
ou
}

=
1
1
n m
. 0 dx ) x ( P ) x ( P







Calculons:
}

1
1
2
n
. dx ) x ( P

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

. 0 ) x ( P ) 1 n ( ) x ( xP ) 1 n 2 ( ) x ( nP
2 n 1 n n
= +



On peut crire l'intgrale sous forme:
1 1
2
1 2
1 1
1 1
1 2
1 1
2 1 1
( ) ( ) ( ) ( )
2 1 1
( ) ( ) ( ) ( ) .
n n n n
n n n n
n n
P x dx P x xP x P x dx
n n
n n
xP x P x dx P x P x dx
n n




(
=
(


=
} }
} }

La deuxime intgrale est nulle selon la proprit d'orthogonalit des polynmes de
Legendre. La premire intgrale se transforme, en exprimant ) x ( xP
n
partir de l'quation
(XII.20). Donc :
}
}
} }

+
+
+
+
+

=
(

(
+
+

+
+
+
=
1
1
2
1
1
1
1
1 1
1
1
1 1
1
1
2
. ) (
1 2
1 2
) ( ) (
1 2
1 1 2
) (
1 2
) (
1 2
1
) (
1 2
) (
dx x p
n
n
dx x p dx x P
n
n
n
n
dx x p
n
n
x p
n
n
x p
n
n
dx x p
n
n n n
n n n

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


+

=
1
1
1
1
2
1
2
. ) (
1 2
1 2
) ( dx x P
n
n
dx x P
n n

Analogiquement:
Chapitre XII Fonctions spciales

286
} } }
} }
} }





= = =

=
1
1
1
1
1
1
2
0
2
1
1
1
1
1
2
3
2
2
1
1
1
1
2
2
2
1
.
3
2
3
1
) (
3
1
) (
......... .......... .......... .......... .......... .......... ..........
. ) (
3 2
5 2
) (
, ) (
1 2
3 2
) (
dx dx x P dx x P
dx x
P
n
n
dx x P
dx x
P
n
n
dx x
P
n n
n n

D'o on peut dduire:
}

+
=
1
1
2
n
.
1 n 2
2
dx ) x ( P
Dcomposition d'une fonction arbitraire ) (x f en srie par le polynme de Legendre.
Soit dterminer les coefficients c
n
de:
+ + + + + = ... ) x ( P c ... ) x ( P c ) x ( P c ) x ( f
n n 1 1 0 0



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

1 1
0 0
1 1
1 1
2
1 1
1 1
( ) ( ) ( ) ( )
( ) ( ) ... ( ) ...
n n
n n n
f x P x dx c P x x dx
P
c P x P x dx c P x dx


=
+ + + +
} }
} }

Selon la proprit d'orthogonalit, toutes les intgrales dans la partie droite sauf
}

1
1
2
n
, dx ) x ( P sont nulles.
Par consquent:
} }

+
= =
1
1
1
1
n
2
n n n
,
1 n 2
2
c dx ) x ( P c dx ) x ( P ) x ( f

}

+
=
1
1
n n
. dx ) x ( P ) x ( f
2
1 n 2
c (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
Chapitre XII Fonctions spciales

287
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:
). ( f ) , r ( U
R r
u = u
=

La fonction ) , r ( U u doit satisfaire l'quation de Laplace . 0 U= A On a , 0 / U
2 2
= c c et
par consquent:
ou
. 0 )
U
(sin
sin
1
r
U
r 2
r
U
r
0 )
U
(sin
sin
1
)
r
U
r (
r
2
2
2
2
=
u c
c
u
u c
c
u
+
c
c
+
c
c
=
u c
c
u
u c
c
u
+
c
c
c
c

On va chercher la solution par la mthode Fourier. Ecrivons la fonction sous forme
). ( T ) r ( ) , r ( U u e = u Trouvons la drive et remplaant la dans l'quation :
. 0 )] ( T [sin
d
d
) r (
sin
1
) ( T )] r ( r 2 ) r ( r [
; ) ( T ) r (
r
U
; ) ( T ) r (
r
U
; ) ( T ) r (
r
U
2
2
2
= u ' u

e
u
+ u e' + e' '
u ' e =
c
c
u e' ' =
c
c
u e' =
c
c


Afin que ) ( T ) r ( ) , r ( U u e = u soit la solution de l'quation de Laplace, il faut que la
dernire galit soit une identit.
Sparons les variables:
.
) ( T
)] ( T [sin
d
d
sin
1
) r (
) r ( r 2 ) r ( r
2
u
u ' u
u u
=
e
e' + e' '

Etant donn que r et u sont indpendants, l'galit sera possible que si les parties gauche
et de droite sont gales une constante . On obtient:
0 ) ( ) ( 2 ) (
2
= ' + ' ' r r r r r e e e
et
. 0 ) ( T )] ( T [sin
d
d
sin
1
= u + u ' u
u u

Donc pour ), 1 n ( n + = on dduit que:
). (cos P c ) ( T
n n
u = u
La premire quation prend la forme:
. 0 ) r ( ) 1 n ( n ) r ( r 2 ) r ( r
2
= e + e' + e' '

Chapitre XII Fonctions spciales

288
a solution sera cherche sous forme de . r ) r (
k
= e D'o:
. r ) 1 k ( k ) r ( , kr ) r (
2 k 1 k
= e' ' = e'
En la remplaant dans l'quation, on obtient:
ou
. r ) r ( , n k , 0 )] 1 n ( n ) 1 k ( k [ r
0 r ) 1 n ( n kr 2 kr ) 1 k (
n k
k k k
= e = = + +
= + +

Pour chaque nombre n, la solution de l'quation de Laplace s'crit sous la forme:
, r ) (cos P c ) , r ( U
n
n n
u = u
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 U sous
forme :

=
u = u
0 n
n
n n
r ) (cos P c ) , r ( U

Choisissons les coefficients c
n
pour que r =R, la srie sera gale ), ( f u c'est--dire:
). ( ) (cos
0
u u f
R P
n
n
n
n c
=

=

En posant , cosu = x on trouve que, sin var ie 0 , ' : dx d et de d o u u u t =
. d sin ) (cos P ) ( f
2
1 n 2
R
1
c
0
n
n
n
}
t
u u u u
+
=
Par consquent:

=
t
u
|
.
|

\
|
u u u u
+
= u
0 n
0
n
n
n
). (cos P
R
r
. d sin ) (cos P ) ( f
2
1 n 2
) , r ( U (XII.24)
Problme 2. Trouver la distribution stationnaire de la temprature dans une sphre de
rayon R. Une partie de la surface S
1
a une temprature constante T
0
, alors que le reste a une
temprature nulle (fig.XII.6).









Fig XII.6

Chapitre XII Fonctions spciales

289
Solution : L'quation de conductibilit thermique est:
, U a
t
U
2
A =
c
c

o U est la temprature.
Dans le cas d'une rpartition stationnaire, on a . 0 U= A La condition aux limites est:
). ( f U
R r
u =
=

Donc, le problme 2 est un cas particulier du problme 1 et sa solution est donne par la
srie (XII.24). On peut crire:
. dx ) x ( P T d sin ) (cos P T d sin ) (cos P ) ( f
1
a cos
n 0
a
0
n 0
0
n
} } }
= u u u = u u u u
t

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

Pour n=1, l'intgrale sera:
.
2
cos 1
1
cos
2
0 0
}

=
o
o
T dx x T
Pour calculer l'intgrale pour n arbitraire, on peut utiliser la formule:
). ( ) ( ) ( ) 1 2 (
1 1
x P x P x P n
n n n +
' ' = + (XII.25)
Evidemment,
1 1
0
0 1 1
cos cos
1 0
1 1 cos
0
1 1
( ) [ ( ) ( )]
2 1
[ ( ) ( )] .
2 1
[ (cos ) (cos )].
2 1
n n n
n n
n n
T
T P x dx P x P x dx
n
T
P x P x
n
T
P P
n
o o
o
o o
+
+
+
' ' = =
+
=
+
= +
+
} }

La solution du problme est sous la forme:
0
1
1
1
( , ) 1 cos [ (cos )
2
(cos )] (cos ) .
n
n
n
n n
T
U r P
r
P P
R
u o o
o u

+
=

| |

`
|
\ .

)


Afin de dmontrer la formule (XII.25), on utilise l'galit (XII.19), donc:
.
) r rx 2 1 (
r
x
R
1
;
) r rx 2 1 (
r x
r
R
1
3 2 3 2
+
=
c
c
+

=
c
c

En multipliant la premire galit par r, et la deuxime par r x et en retranchant la
deuxime galit de la premire, on obtient:
. 0
x
R
1
) r x (
r
R
1
r =
c
c

c
c
= (XII.26)
Chapitre XII Fonctions spciales

290
D'une autre part:

' =
c
c
=
c
c
0 n
n
0 n
n
1 n
n
. r ) x ( P
x
R
1
, r ) x ( nP
r
R
1

En remplaant les expressions trouves dans lquation (XII.26), on obtient :
n
0 n 0 n
n
1 n
n
r ) x ( p ) r x ( r ) x ( np r

' =


En galisant les coefficients pour r:
) x ( P P x ) x ( nP
1 n n n
' ' = (XII.27)
La diffrentielle de la formule (XII.20), donne:
. 0 ) x ( P n ) x ( P x ) 1 n 2 ( ) x ( P ) 1 n 2 ( ) x ( P ) 1 n (
1 n n n 1 n
= ' ' + + + = ' +
+



En remplaant
n
P x ' par la formule (XII.27), on obtient:
). x ( nP )] x ( P ) x ( nP )[ 1 n 2 ( ) x ( P ) 1 n 2 ( ) x ( P ) 1 n (
1 n 1 n n n 1 n +
' + + + + = ' +
En simplifiant par n+1, on obtient la formule (XII.25).


XII.16 Fonctions successives de Legendre

Les fonctions successives de Legendre sont dsignes par ) x ( P
m
n
et sont dtermines
par:
m
n
m
2
m
2 m
n
dx
) x ( P d
) x 1 ( ) x ( P

=
n- est la puissance suprieure des fonctions et m- caractrise la succession.
Les fonctions P
m
1
(x), P
m
2
(x), ..., P
m
n
(x), ..., sont orthogonales sur l'intervalle (-1,1),
c'est--dire:
}

= =
1
1
m
n
m
k
, n k , 0 dx ) x ( P ) x ( P et
}


+
+
=
1
1
2 m
n
)! m n (
)! m n (
1 n 2
2
dx )] x ( P [
La fonction P
m
n
(x) satisfait l'quation diffrentielle:
. 0
1
) 1 ( 2 ) 1 (
2
2
2
=
(

+ + ' ' ' y


x
m
n n y x y x
Pour P
m
n
(cos u ), l'quation prend la forme:
. 0
sin
) 1 ( sin
sin
1
2
2
=
(

+ +
(

y
m
n n
d
dy
d
d
u u
u
u u


XII.17 Fonctions sphriques volumiques superficielles


Chapitre XII Fonctions spciales

291
La fonction sphrique volumique satisfait l'quation de Laplace:
. 0
z
U
y
U
x
U
2
2
2
2
2
2
=
c
c
+
c
c
+
c
c

Le polynme homogne de degr n peut s'crire sous forme:
, z y x a U
n q p m
q p m
mpq n
= + +
=

o
mpq
a est un coefficient.

Le polynme homogne de degr 2 peut s'crire sous forme:
. yz a xz a xy a z a y a x a U
011 101 110
2
002
2
020
2
200 2
+ + + + + =

Sa drive partielle d'ordre 2 est:
. a 2
z
U
, a 2
y
U
, a 2
x
U
002
2
2
2
020
2
2
2
200
2
2
2
=
c
c
=
c
c
=
c
c


U
2
satisfait l'quation de Laplace si:
. 0 a a a
002 020 200
= + +


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


Fig XII.7

Lquation de Laplace en coordonnes sphriques scrit sous forme:
. 0
U
sin
1
)
U
(sin
sin
1
r
U
r (
r
2
2
2
2
=
c
c
u
+
u c
c
u
u c
c
u
+
c
c
c
c

Avec:
. cos r z
, sin sin z y
, cos sin r x
u =
u =
u =

Le polynme homogne prend la forme:

Chapitre XII Fonctions spciales

292

= + +
+
= + +
+ + +
u u =
= u u =
n q p m
q p m p m
mpq
n
n q p m
q p m p m q p m
mpq n
. cos sin cos sin a r
cos sin cos sin r a U

Il peut aussi s'crire sous forme:
). , ( Y r U
n
n
n
u =


XII.18 Equation diffrentielle pour les fonctions sphriques superficielles

La fonction U satisfait l'quation de Laplace. Exprimons sa drive en fonction de
: ) , ( Y
n
u
.
) , (
,
) , (
sin ) (sin
, ) , ( ) 1 (
) , (
2
2
2
2
1

u
u
u
u u
u
u
u
u
c
c
=
c
c
|
.
|

\
|
c
c
c
c
=
c
c
c
c
+ =
|
.
|

\
|
c
c
c
c
=
c
c

n n
n n n
n
n
n
n n
Y
r
U
Y
r
U
Y r n n
r
U
r
r
Y nr
r
U

En la remplaant dans l'quation, et on mettant r en facteur on peut obtenir:
; 0 ]
) , ( Y
sin
1
)
) , ( Y
(sin
sin
1
) , ( Y ) 1 n ( n [ r
2
n
2
2
n
n
n
=
c
u c
u
+
u c
u c
u
u c
c

+ u +
tant donne que , 0 r
n
= on a:
. 0
) , ( Y
sin
1
)
) , ( Y
(sin
sin
1
) , ( Y ) 1 n ( n
2
n
2
2
n
n
=
c
u c
u
+
+
u c
u c
u
u c
c
u
+ u +
(XII.28)
C'est l'quation diffrentielle en coordonnes sphriques.
On peut facilement s'apercevoir que:

U
sin
1
)
U
(sin
sin
1
c
c
u
+
u c
c
u
u c
c
u



est l'oprateur de Laplace d'une fonction donne sur une sphre de rayon 1, qu'on dsigne par
. U * A
Donc la fonction sphrique satisfait l'quation :
. 0 U ) 1 n ( n U * = + + A
L'quation 0 aU U * = + A a une solution, seulement pour a=n(n+1).
Chapitre XII Fonctions spciales

293
Si Y ne dpend que de u , on aura:
, 0

Y
n
=
c
c

L'quation prend la forme alors:
0 )
Y
(sin
sin
1
Y ) 1 n ( n
n
n
=
u c
c
u
u c
c
u
+ +


qui est l'quation diffrentielle du polynme de Legendre. La fonction sphrique ne
dpendant pas de , est gale ). (cos Cp
n
u






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

On a:

= + +
+
u u = u
n q p m
q p m p m
mpq n
cos sin cos sin a ) , ( Y

Etant donn que :
,
2
2 cos 1
sin

=
.
2
2 cos 1
cos
+
=
Aprs regroupement membre membre, on a:
. sin ) ( cos ) ( ) ( ) , (
1
0
u u u u m m
a
a Y
bnm
n
m
nm n n
+ + =

=

Dterminons les coefficients a
n0
) (u , a
nm
) (u , b
nm
) (u , m=1,2,...
En calculant les drives, on a:
0
1 1
1
sin sin
sin cos sin sin ;

( ( ) cos ( ) sin ).

n n
n n
nm nm
m m
n
nm nm
m
Y da d
d d
da db d d
m m
d d d d
Y
a m m b m m
u u
u u u u
u u
u u u u
u u

= =
=
c c | | | |
= +
| |
c c
\ . \ .
| | | |
+ +
| |
\ . \ .
c
=
c


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


|
. 0 m sin b
sin
m
d
db
sin
d
d
sin
1
) ( b ) 1 n ( n [ m cos a
sin
m
d
da
sin
d
d
sin
1
) ( a ) 1 n ( n
d
da
sin
d
d
sin
1
) ( a ) 1 n ( n
nm
nm
n
1 m
nm nm
nm
n
1 m
nm
0 n
n0
=
(

(
u
|
.
|

\
|
u
u
u u
+
+ u + +
(

(
u
|
.
|

\
|
u
u
u u
+
+ u + + |
.
|

\
|
u
u
u u
+ u +

=
=
Chapitre XII Fonctions spciales

294
Les coefficients pour ) n ,..., 1 , 0 m ( m cos , m sin = sont nuls:
. 0 b
sin
m
) 1 n ( n
d
db
sin
d
d
sin
1
) 3
, 0 a
sin
m
) 1 n ( n
d
da
sin
d
d
sin
1
) 2
0 a ) 1 n ( n )
d
da
(sin
d
d
sin
1
) 1
nm
nm
nm
nm
0 n
0 n
=
(

u
+ + |
.
|

\
|
u
u
u u
=
(

u
+ + |
.
|

\
|
u
u
u u
= + +
u
u
u u



La premire quation est un polynme de Legendre, d'o:
). (cos P a ) ( a
0 0 n
u = u


Pour a
nm
( u ) et b
nm
( u), on a:
, ) (cos P b ) ( b , ) (cos P a ) ( a
n m nm
m
n m nm
u = u u = u
o a
nm
( u ) et b
nm
( u ) sont des constantes.
On peut crire alors la fonction sphrique sous forme:
). (cos P ] m sin b m cos a [ ) (cos P a ) , ( Y
m
n
n
1 m
m m n 0 n
u + + u = u

=


XII.20 Orthogonalit des fonctions sphriques

Pour montrer l'orthogonalit, on utilise la formule de Green:
. dv ) U V V U ( ds
dn
dU
V
dn
dV
U
V S
}}} }}
A A =
|
.
|

\
|

Soit une sphre de rayon r (fig.XII.8). On a:
). , ( Y r V , ) , ( Y r U
m
m
n
n
u = u =
et
. 0 V ; 0 U = A = A


Chapitre XII Fonctions spciales

295

Fig XII. 8

La partie droite de la formule de Green sera nulle et par consquent:
, 0 ds
dn
) Y r ( d
Y r
dn
) Y r ( d
Y r [
S
n
n
m
m m
m
n
n
=
}}

La normale est dirige suivant le rayon de la sphre, d'o:
). , ( Y mr ) Y r (
dr
d
) Y r (
dn
d
m
1 m
m
m
m
m
u = =





Analogiquement, on a:
). , ( Y nr ) Y r (
dn
d
n
1 n
n
n
u =


Pour une sphre . d sin r ds u u =
Aprs remplacement, on obtient:
. 0 d d sin Y Y ) n m ( r
S
m n
1 m n
= u u
}}
+ +

En faisant sortir r
n+m+1
(m-n) en dehors de l'intgrale et en simplifiant, on obtient:
}}
= = u u u u
S
m n
. m n pour , 0 d d sin ) , ( Y ) , ( Y
ce qui exprime l'orthogonalit des fonctions sphriques.
La fonction ) , ( f u peut tre dcompose en srie par les fonctions sphriques:
... ) , ( Y ... ) , ( Y ) , ( Y ) , ( f
n 1 0
+ u + + u + u = u

Exercices
1. Trouver ) x ( P
5
et ) x ( P
6
par la formule de rcurrence.

Chapitre XII Fonctions spciales

296
2. Trouver par la formule de rcurrence ). 0 ( P
n



Rponse :
n ... 6 . 4 . 2
) 1 n ...( 5 . 3 . 1
) 1 ( ) 0 ( P
2
n
n

=
pour n- pair.
et
) 0 ( P
n
pour n impair.
3. Dcomposer en srie par les polynmes de Legendre:

s s
s
=
; 1 0 , 1
0 1 , 0
) (
x
x
x f


Rponse :
... x P
! 2 ! 3 2
! 4 . 11
) x ( P
2
7
) x ( P
2
3
2
1
) x ( f
3
6
2
4
1
+ + + + =
4. Trouver les coefficients de la srie de Legendre pour x
). 0 ( P
) 2 k )( 1 k (
1 k 2
a
k k
+
+
=
5. Exprimer ) , ( Y
4
u par la fonction de Legendre.


XII.21 Dtermination des polynmes dHermite

Les polynmes d'Hermite sont dduits d'habitude l'aide de la fonction
2
( 2 )
( , )
tx
t
x t
e

+
=

appele fonction gnratrice des polynmes. On a:
; t
! n
) x ( H
e ) t , x (
0 n
n n tx 2 t

=
+
= = (XII.29)
o les fonctions ) x ( H
n
s'appellent les polynmes d'Hermite.
En posant dans l'galit (XII.29) 0 t = , on a . 1 ) x ( H
0
= La diffrentielle par rapport t
donne:
. nt
! n
) x ( H
) x 2 t 2 ( e
t
0 n
1 n n tx 2 t

=
+
= + =
c
c

En posant t=0, on trouve ). x ( H x 2
1
=
De la mme manire, on peut trouver les expressions pour ) x ( H
2
etc...
En comparant les expressions pour ) t , x ( et ,
t c
c
on trouve:
Chapitre XII Fonctions spciales

297
. 0 ) t , x ( ) x 2 t 2 (
t
= +
c
c


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

=
+
= +
0 n 0 n 0 n
n n 1 n n 1 n n
. 0 t
! n
) x ( H
x 2 t
! n
) x ( H
2 nt
! n
) x ( H

Les coefficients puissance t sont nuls. Ainsi:
0
! n
) x ( H
x 2
)! 1 n (
) x ( H
2 ) 1 n (
)! 1 n (
) x ( H
n 1 n 1 n
=

+ +
+
+

ou
; 0 ) x ( nH 2 ) x ( xH 2 ) x ( H
1 n n 1 n
= +
+
(XII.30)


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

En posant n=1, on trouve:

. 2 x 4 ) x ( H 2 ) x ( xH 2 ) x ( H
0 1 2
= =

En posant n=2, on trouve:

. x 12 x 8 ) x ( H 4 ) x ( xH 2 ) x ( H
3
1 2 3
= =






XII.22 Equation diffrentielle pour les polynmes dHermite


Considrons l'quation (XII.30) et calculons sa diffrentielle:

0 ) x ( H n 2 ) x ( H x 2 ) x ( H 2 ) x ( H
1 n n n 1 n
= ' + ' '
+
(XII.31)
On a aussi :
.
!
) (
2 2
1
0
2 +

=
+

= =
c
c
n
n
n tx t
t
n
x H
t e
x


et
.
!
) (
0

=
'
=
c
c
n
n n
t
n
x H
x



Egalisons les coefficients pour t
n+1
. On obtient :

.
!
) ( 2
)! 1 (
) (
1
n
x H
n
x H
n n
=
+
'
+

o
). x ( H ) 1 n ( 2 ) x ( H
n 1 n
+ = '
+

Do
) x ( nH 2 ) x ( H
1 n n
= '
et
Chapitre XII Fonctions spciales

298
1
( ) 2 ( )
n n
H x nH x

'' ' =



En remplaant ) x ( H
1 n+
' et ) x ( H
1 n
dans (XII.31), on obtient :
0 ) x ( H ) x ( H x 2 ) x ( H 2 ) x ( H ) 1 n ( 2
n n n n
= ' ' + ' +
ou
; 0 ) x ( nH 2 ) x ( H x 2 ) x ( H
n n n
= + ' ' '
Ainsi, les polynmes dHermite satisfont lquation diffrentielle :
0 ny 2 y x 2 y = + ' ' '

XII.23 Orthogonalit des polynmes dHermite

Montrons que :
0 dx ) x ( H ) x ( H e
m n
x
2
=
}


Posons . z ) x ( H et z ) x ( H
2 m 1 n
= = Donc :
, 1 1 1
0 nz 2 z x 2 z = + ' ' '

. 0 mz 2 z x 2 z
2 2 2
= + ' ' '
Multipliant la premire quation par
2
2
( )
x
e z

et la seconde par
2
1
( ).
x
e z

Donc :
| | . 0 z z e ) m n ( 2 ) z z z z ( e
dx
d
; 0 z z e ) m n ( 2
) z z z z ( xe 2 ) z z z z ( e
2 1
x
1 2 2 1
x
2 1
x
1 2 2 1
x
1 2 2 1
x
2 2
2
2 2
= + ' '
= +
+ ' ' ' ' ' '



Intgrons par rapport x de :
}

= + ' ' . 0 dx z z e ) m n ( 2 ] ) z z z z ( e [
2 1
x
1 2 2 1
x
2
Do :
}

= 0 dx z z e
2 1
x

ou
. 0 dx ) x ( H ) x ( H x e
m n
2 x
=
}


On peut crire que :
. ! n 2 dx ) x ( H e
n
n
x
t =
}


Les fonctions ... ), x ( H ), x ( H
1
peuvent tre utilises pour dcomposer les fonctions
) (x f en srie.
Chapitre XII Fonctions spciales

299

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

Il faut trouver lintgrale de :
0
z
U
y
U
x
U
U
2 2 2
=
c
c
+
c
c
+
c
c
= A (XII.33)
Ecrivons ) z , y , x ( U sous forme :
, ) z ( Z ) y ( Y ) x ( X ) z , y , x ( U = (XII.34)


Aprs avoir substitu (XII.34) dans (XII.33), et divis par ) z , y , x ( U , on trouve :
0
Z
Z
Y
Y
X
X
=
' '
+
' '
+
' '
(XII.35)
Posons :
; ;
X Y Z
X Y Z
o | o |
'' '' ''
= = = + .
Donc (XII.33) devient :
0 ; 0 ; , X X Y Y Z Z o | '' '' '' + = + = =
o
. | + o = (XII.36)


Lintgrale sera :
. ; ;
z
y i
z i
e Z e Y e X

|
o
= = =
Donc, lintgrale partielle (XII.34) est :

i z i y z
U e
o |
=

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

( ) ( )
2
1
, , ,
4
yz ix iy
U x y z U e d d
o |
o | o |
t

' H
=
}}
(XII.38)
z
e ) , ( U
~

| o 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 sur tout le
plan spectral ( )

. Par consquent, lquation prend la forme dune transforme inverse de


Fourier :

( )

( ) (XII.39)
La fonction spectrale ) , ( U
~
| o doit tre dtermine partir des conditions aux limites.
En posant z = 0 dans lquation (XII.39), on obtient :
( ) ( ) . d d z , , U e e , U
~
i i z
q q = | o
}}
H
|q + o
(XII.40)
Chapitre XII Fonctions spciales

300


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 :
( ) ( )
2
1
( , )
4
i x i y z
U U d d e d d
o | q
q q o |
t
+
H H
=
}} }}


Posons
;
4
1
) , , (
'
2 }}
H
=

| o
t
| o
d d e z y x G
z Y y i x i
(XII.41)
}}
H
q q q = d d ) , ( U ) z ; y , x ( G ) z , y , x ( U (XII.42)
La premire quation montre que :
2
e ) z , , ( G
~

= | o
est la transforme de fourrier de la fonction G (x, y,z) dans le plan x, y ); (H 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 :
). , ( ) , , ( ) , , ( y x U z y x G z y x U - = (XII.43)
Pour calculer G (x, y, z), on utilise les coordonnes polaires :
. sin ; cos
; sin y ; cos x
= | = o
e = e =

On a aussi :
. d d d ); ( cos i y i x i = o| e = | + o
Lintgrale (XII.41) sera :
|
2
( cos )
2
0 0
1
( , , )
4
z i
G x y z d e d
z
t


t

+
c
=

c

} }

On trouve :
.
) z y x (
z
2
1
) z , y , x ( G
2
3
2 2 2
+ +
t
= (XII.44)
La transforme de Fourier de cette fonction par rapport x et y est
z
e

avec donn
de (XII.36) ; alors :

}}
H
+
+ +
=
2
3
2 2 2
) (
2
1
z y x
zdy zd
e
e
I i x i v | o
t
(XII.45)
Chapitre XII Fonctions spciales

301
Si lon remplace lexpression (XII.44) dans (XII.42), on trouve la formule de
prolongement vers le haut :
}}
=
3
) , (
2
1
) , , (
r
d zd
U z y x U
q
q
t
(XII.46)
o
. ) 0 z ( z ) y ( ) x ( r
2 2 2 2
) + q + =


XII.26 Sparation des variables en coordonnes cylindriques

Lquation de Laplace en coordonnes cylindriques scrit :
. 0
z
U U 1 U 1 U
2 2
2
2 2
2
=
c
c
+
e c
c

+
c
c

+
c
c
(XII.47)
On va chercher la solution sous forme :
). z ( Z ) ( ) ( R U e O =
En remplaant ce produit dans lquation (XII.47), on obtient :
. 1
Z
Z 1
R
R 1
R
R
2
=
' '
+
O
O' '

+
'

+
' '



Cette quation conduit aux trois quations diffrentielles suivantes :
2 2
2
2
2
; 0 ;
1
0 .
Z Z n
n
R R R


'' '' = O + O =
| |
'' ' + + =
|
\ .

o n- est un entier et ) z , , ( U e est priodique. Donc :
.... , 2 , 1 , 0 , 1 , 2 .... , = = O n e
i ne

La solution de la dernire quation pour 0 = est la fonction de Bessel de premire espce :
) ( J R
n
= .
Donc la solution particulire est :
). ( j e U
n
i n z
=
e +

la solution plus gnrale est :
}

=
0
) (
. ) ( ) ( ) , , ( e
e
d j e C e z U
n
z
n
n
i n
(XII.48)
Lquation (XII.48) satisfait les conditions aux limites. Si ) 0 , , ( U ) , ( U e = e est
donne sur le planH, la relation (XII.48) devient :
Chapitre XII Fonctions spciales

302
}


=
0
) (
. ) ( ) ( ) , ( e
e
d j C e U
n n
n
i n

Ainsi, la fonction est dcompose en srie de Fourier, dont les coefficients sont les
transformes de Hankel ) ( C
n
:
} }
t
e
e e
t
=
0
n
2
0
i n
n
. d ) ( j ) , ( U d e
2
1
) ( C (XII.49)

Les quations (XII.47) et (XII.49) sont les solutions du problme de Dirichlet pour un
demi espace . 0 ) z Elles peuvent tre utiles pour le prolongement vers le bas. En posant 0 = ,
on obtient la formule (XII.48) sous forme :
. d e ) ( C ) z , 0 , 0 ( U
z
0
0
=

}
(XII.50)
Avec
2
0 0
0 0
1
( ) ( ) ( , ) .
2
C j d U d
t
e e
t

=
} }
(XII.51)





XII.27 Prolongement vers le bas

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 . 0 ) h Donc, lquation
(XII.38) devient :
. d d e ) , ( U
~
4
1
) h , y , x ( U
i y i x h
2
| o | o
t
=
}}
H
| o
(XII.52)
Lintgrale (XII.52) possde un sens dans certains cas particuliers, dont on peut citer par
exemple :
La transforme de Fourier ) , ( | o U diminue en exponentielle, quand o et |
augmentent et cette diminution est plus rapide que celle de
h
e

. La composante verticale du
champ due une certaine source de densit o est :
| |
}}}
, + q +
, q ,
, q o =
2 / 3
2 2 2
) y ( ) x (
d d d
) , , ( ) y , x ( g (XII.53)
Chapitre XII Fonctions spciales

303
Considrons que la source est dans le volume dont la section horizontale transversale
est
m
S (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 ( = o lextrieur du volume dsign et est gale
m
o lintrieur.
Donc de lexpression (XII.53), on a :


Do :
H
S
g
m m
o
s (XII.54)




Montrons maintenant comment lexpression (XII.52) diminue pour H h( . Dans notre cas :
2 2
3
2 2
( , ) ( , , ) , ( )
( )
i i y
d d dy
g e dxdy r x
r
y
o |
, q
o | o q ,
q ,
+
= = +
+ +
}} }}}

En changeant x et y respectivement par + x et q + y , on obtient :
.
) (
) , , ( ) , (
~
2 / 3 2 2 2
,
,
q , , q o | o
| o |q o
+ +
=
}} }}}
+ +
y x
dxdy
e d d d e g
y i x i i i

Le module sera :
.
2
2 ) , (
~ ,

to
, to | o
H m m
H
m m
e
S
d e S g

= =
}
(XII.55)
Donc, la fonction spectrale diminue en exponentielle et surtout quand H est important.
Lquation (XII.52) scrit donc :
, d d ) , ( g
~
e
4
1
) h , y , x ( g
i y i x h
2
| o | o
t
=
}}
| o
(XII.56)
Ainsi lintgrale est calculable si :
.
2 }} }

s
S H
m
d d
d
g q

o
Chapitre XII Fonctions spciales

304
h H
S
) h , y , x ( g
m m

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