INTRODUCTION AUX FONCTIONS SPECIALES

Vadim Schechtman

Notes du cours. Automne 2006

Toulouse

Table de Mati`
eres

Leitfaden . . . 3
Prologue. Jardin de fonctions speciales . . . 4
Chapitre I. Fonctions Gamma et Beta
1. Fonctions et B . . . 5
2. Serie de Stirling . . . 16
Chapitre II. Fonction hypergeometrique de Gauss
1. Serie hypergeometrique . . . 20
2. Integrale de Barnes . . . 26

3. Equation
de Riemann . . . 28
4. Polynomes dEuler et fonction hypergeometrique . . . 29
Chapitre III. Fonctions de Whittaker
1. Fonctions de Kummer Mk,m (z) . . . 31
2. Fonctions de Whittaker Wk,m (z) . . . 33
3. Fonctions dHermite . . . 35
Chapitre IV. Fonctions de Bessel
1. Fonctions Js (x) . . . 39
2. Lordre semi-entier . . . 45
3. Fonctions de Macdonald . . . 46
Chapitre V. Fonctions de Legendre
1. Polynomes de Legendre . . . 48
2. Fonctions de Legendre . . . 50
3. Fonctions adjointes . . . 52

Chapitre VI. Equations

de Maxwell et lequation dondes
1. Des equations de Maxwell `a lequation dondes . . . 53
2. Une solution de lequation dondes . . . 57
Bibliographie . . . 59

LEITFADEN

Jacob BERNOULLI, 1654 - 1705

Leonhard EULER, 1707 - 1783
Jean Baptiste Joseph FOURIER, 1768 - 1830
Johann Carl Friedrich GAUSS, 1777 - 1855
Friedrich Wilhelm BESSEL, 1784 - 1846
Charles HERMITE, 1822 - 1901
Leopold KRONECKER, 1823 - 1891
Georg Friedrich Bernhard RIEMANN, 1826 - 1866
James Clerk MAXWELL, 1831 - 1879
Hermann HANKEL, 1839 - 1873
Heinrich Martin WEBER, 1842 - 1913
Robert Hjalmar MELLIN, 1854 - 1933
Edmund Taylor WHITTAKER, 1873 - 1956
Peter Joseph William DEBYE
(Petrus Josephus Wilhelmus DEBIJE), 1884 - 1966
George Nevill WATSON, 1886 - 1965

PROLOGUE

JARDIN DES FONCTIONS SPECIALES

0.1. Toutes les fonctions speciales quon va discuter, peuvent etre ecrites sous
une forme de certains integrales definies (ou periodes) ou les integrales curvilignes
(le long dun contour).
On peut les diviser en deux classes:
la premi`ere classe, deux facteurs sous integrale:
Z

z2

z1

(t z1 )a (t z2 )b dt la fonction B(a, b) (beta) dEuler

Cas degenere, ou cas limite:

Z
(t z)a ebt dt la fonction (a) (gamma)
0.2. La deuxi`eme classe, trois facteurs sous integrale:
Z

zj

zi

(tz1 )a (tz2 )b (tz3 )c dt fonction hypergeometrique de Gauss F (a, b, c; z)

Cas particuliers:
polynomes de Jacobi;
fonctions (polynomes) de Legendre
Cas limite:
Z

(t z1 )a (t z2 )b ect dt fonctions de Whittaker Wa,b (z),

ou fonctions hypergeometriques confluentes.

Cas particuliers:
polynomes de Laguerre et polynomes dHermite.
Ces fonctions satisfont a
` une equation differentielle dordre 2 par rapport `a z.
Ils sont liees etroitement aux representations des groupes GL2 (R) et GL2 (C).

CHAPITRE I. FONCTIONS GAMMA ET BETA

1. Fonctions et B
` la place dune introduction. La methode dune fonction generatrice.
1.0. A
Considerons, avec Euler, le probl`eme suivant:
definir une fonction (s), s C, telle que (n) = n! pour n naturel.
Pour le resoudre, on ecrit une fonction generatrice
f (t) =

X
tn
tn
=
= et
(n) n=0 n!

n=0

Par la formule de Cauchy,

1
1
=
(n)
2i

(0+)

f (t)
1
1
dt =
=
n+1
t
(n)
2i

tn1 et dt

(0+)

Ici (0+) designe un circle

(0+) = {ei , 0 2}
Donc on peut essayer de definir
1
1
=
(s)
2i

(0+)

ts1 et dt, s C

Il faut faire attention quand meme, puisque la fonction ts1 est multiforme. Ce
sujet sera repris plus tard, cf. 1.15 ci-dessous.
1.1. On definit:
(s) =

et ts1 dt,

(1.1.1)

(s) > 0. Plus precisement, (1.1.1) definit (s) comme une fonctioon holomorphe
dans le demi-plan {(s) > 0.
Exercice. Montrer que (s + 1) = s(s) et (n) = (n 1)! si n N.
Ceci permet de prolonger (s) en une fonction meromorphe sur C, avec des poles
simples en s = 0, 1, 2, . . . , cf. 1.7 ci-dessous.
En effet, on a:
(s + n + 1) = (s + n)(s + n 1) . . . s(s),
ou
(s) =

(s + n + 1)
(s + n)(s + n 1) . . . s

et
(s + n + 1) = 1 + O(s + n),
do`
u
(s) =

(1)n
+ O(1),
n!(s + n)

i.e. (s) a en s = n un pole simple avec le residu

Ress=n (s) =

(1)n
n!

(1.1.2)

1.2. La fonction Beta dEuler est definie par

Z

B(s, t) =

xs1 (1 x)t1 dx, (s), (t) > 0

1.3. Theor`eme.
B(s, t) =
Demonstration, cf. [Jacobi]. On a
Z Z
(a)(b) =
0

(s)(t)
(s + t)

exy xa1 y b1 dxdy

0

On fait le changement de variables x + y = r, x = rw, donc 0 r < , 0 w 1

et
dr = dx + dy, dx = wdr + rdw, dy = (1 w)dr rdw,
donc dxdy = rdwdr (orientations: (x, y) et (w, r)). Il sen suit:
(a)(b) =

w
0

a1

(1 w)

b1

dw

er r a+b1 dr = B(a, b)(a + b)

0

1.3.1. Exercice. Montrer que

Z

ti 0;

n
Y

ti 1 r=1

trr 1 dt1 . . . dtn =

(1 ) . . . (n )
(1 + . . . + n + 1)

(Dirichlet). Ici tous i > 0. Cf. [WW], 12.5.

1.4. Exercice. Calculer (1/2).
Solution. On a
(1/2)2 =

(1/2)(1/2)
= B(1/2, 1/2)
(1)

Par definition,
B(1/2, 1/2) =

1
0

x1/2 (1 x)1/2 dx =

(x = u2 )
=2

do`
u
(1/2) =
On remarque que
Z

x 1/2

du
= 2 arcsin 1 = ,
1 u2
Z

ex x1/2 dx =

u2

du =

dx = 2

donc

eu du =

eu du,

(lintegrale de Poisson).
1.5. Theor`eme (Euler, Gauss).
(s) = lim ns B(n + 1, s) = lim ns
n

= lim ns
n

n!
=
s(s + 1) . . . (s + n)

(n 1)!
s(s + 1) . . . (s + n 1)

(1.5.1)

Cf. [Gauss], Section 20.

En effet, on remarque que
et = lim

do`
u
(s) = lim

t
n
,
n

t
n s1
t dt
n

(pour une preuve, cf. 1.6 ci-dessous). On a:

Z

t
n s1
t dt =
n

(u = t/n)
=n

1 u)n us1 du

Pour n N on a
B(n + 1, t) =

1
0

(1 v)n v t1 dv =

n!
t(t + 1) . . . (t + n)

et cela est vrai pour tous t 6= 0, 1, . . . n (prouver!), do`

u (1.5.1).
1.6. Exercice. Preuve de (1.5.2), cf. [WW], 12.2.

(1.5.2)

(a) Pour tous 0 y < 1,

1 + y ey (1 y)1
(b) Pour tous 0 1,
(1 )n 1 n
(c) Deduire de (a) et (b) que
t

0e

t
1
n

n

n1 t2 et

pour tous 0 t < n.

[En effet, en faisant y = t/n dans (a), on obtient:
1 + t/n et/n (1 t/n)1 ,
do`
u
(1 + t/n)n et (1 t/n)n ,
et
(1 + t/n)n et (1 t/n)n ,
Il sen suit:
t

0e

(1 t/n) = e
t

1 e (1 t/n)
2

2 n

1 (1 t /n )

Dun autre part, dapr`es (b) avec = t2 /n2 , on aura

1 (1 t2 /n2 )n t2 /n,
do`
u le resultat. ]
(d) En deduire que
Z




quand n .




n 

t
t
s1 
e 1
t dt 0
n

[En effet, dapr`es (c),

Z




n
0




n 
Z
Z n

t
t
t s+1
1
s1 
1
et ts+1 dt,
e 1
e t dt < n
t dt n
n
0
0

ce qui 0, puisque la derni`ere integrale converge. ]

(e) En deduire (1.5.2).

1.7. Definition de Weierstrass.
(a) Prouver que la limite
= lim {
m

m
X
r=1

r 1 log m}

(1.7.1)

existe. Elle sappelle la constante dEuler - Mascheroni. On a = 0, 5772157....

(b) Theor`eme.




Y
z z/n
1
z
e
1+
= ze
(z)
n
n=1

(1.7.2)

Demonstration. Cf. [WW], 12.11. La formule de Euler 1.5 et lidentite z(z) =

(z + 1) impliquent:


m 
Y
z
1
z
1+
= z lim m
m
(z)
n
n=1
Dun autre c
ote,



m 
Y
z
z
lim m
=
1+
m
n
n=1


m 
Y
P
( m
1/nlog
m)z
n=1



z z/n
=
e
1+
n

= lim e
m

n=1

= ez

n=1




z z/n
1+
,
e
n

cqfd.
(c) En deduire:

z
d log (z)
1 X
= +
=
dz
z n=1 n(z + n)

1 X
= +
z n=1

1
1

n z+n

d2 log (z) X
1
=
2
dz
(z + n)2
n=0

1.8. Theor`eme. On a

sin a

(a)(1 a) =
Preuve. Par la formule dEuler
(a)(1 a) = B(a, 1 a) =

xa1 (1 x)a dx =

(1.7.3)

(1.7.4)

10

(x = u/(u + 1))
=

ua1
du = I
u+1

Nous calculons la derni`ere integrale par la formule de Cauchy, cf. [WW], 6.24,
Example 1. En effet, considerons integrale
I(r, R) =

C(r,R)

z a1
dz,
z+1

o`
u C(r, R) est le contour
C(r, R) = {r z R} {z = Rei , 0 2}
{R z r} {z = rei , 2 0} =
= C1 C2 C3 C4
Alors
I(R, r) =

+
C2

2i(a1)

+(1e

C4

` la limite
A
lim

do`
u
I = 2i

z a1
ua1
du = 2i Resz=1
= 2iei(a1)
u+1
z+1

= lim

C2

r0

= 0,

C4

ei(a1)
2i
= i(a1)
=
2i(a1)
1e
e
ei(a1)
=

eia

2i

=
ia
e
sin a

1.8.1. Exercice. Deduire (1.1.2) de (1.8).

1.9. Il decoule de 1.7 et 1.8 que


Y
z2
sin z = z
1 2 2
n
n=1

(1.9.1)

(Euler). En prenant la derivee logarithmique, on obtient la fameuse decomposition

de cot z en fractions simples:

2z
1 X
1 X
=
+
cot z = +
z n=1 z 2 n2 2
z n=1

1
1
+
z n z + n

(1.9.2)

1.10. Lequation (s)(1 s) = / sin s avant la limite. On peut reecrire la

formule dEuler sous une forme
(s) = lim (m, s)
m

(1.10.1)

11

o`
u
s

(m, s) = m B(m + 1, s) =

ms
n=1 (1 + s/n)

Qm

(1.10.2)

La fonction (m, s) a des poles simples en s = 0, 1, . . . , n. La formule (10.1.1)

est vraie pour tous s C {1, 2, . . . }.
Il sen suit:
(m, s)(m, s) =

s2

Dun autre c
ote:
sin s = s


Y

n=1

o`
u

s2
1 2
n

1
2
2
n=1 (1 s /n )

Qm

= lim sin(m, s)
m

(1.10.3)


m 
Y
s2
1 2
sin(m, s) = s
n
n=1

On obtient:
(m, s)(m, s) =

s sin(m, s)

(1.10.4)

En passant `a la limite m ,
(s)(s) =

s sin(s)

(1.10.5)

En multipliant par s et en utilisant (s)(s) = (1 s), on obtient (s)(1

s) = / sin s.
Donc nous avons deduit (1.10.5) de la formule limite dEuler et de (1.10.3).
Exercice. Trouver une preuve de (1.10.3) `a partir de la formule des residus de
Cauchy.
1.11. Exercice. Quelques cas particuliers de la formule de Chowla - Selberg, cf.
[CS]. (a) (Legendre). Montrer que
Z

1
0

dt
(1/4)2
=
1 t4
4 2

1.12. La formule de multiplication (Legendre, Gauss).

Theor`eme.

n1
Y

(z + r/n) = (2)(n1)/2 n1/2nz (nz)

r=0

Demonstration. On pose
(z) =

nnz

Qn1

(z + r/n)
n(nz)

r=0

12

Alors, par la formule dEuler,

(z) =

nnz

Qn1

Qm1
limm {(m 1)!mz+r/n / i=0 (z + r/n + i)}
=
Qnm1
n limm {(nm 1)!(nm)nz / i=0 (nz + i)}
r=0

nmn ((m 1)!)n mnz+(n1)/2

=
m
(nm 1)!(nm)nz

= nnz1 lim

nmn1 ((m 1)!)n m(n1)/2

m
(nm 1)!

= lim

ne depends pas de z. En prenant z = 1/n,

= (z) =

n1
Y

(r/n),

r=1

do`
u
2

n1
Y
r=1

n1
(r/n)(1 r/n) = Qn1
r=1 sin(r/n)

1.12.1. Exercice. Montrer que

n1
Y

sin(r/n) =

r=1

n
2n1

Le verifier directement pour n = 2, 3, 4.

Puisque > 0 (expliquer!), on en deduit
= (2)(n1)/2 n1/2 ,
do`
u la formule cherchee.

Lintegrale de Hankel
1.13. Considerons lintegrale
Z

0+

(t)s1 et dt

Ici R>0 . On peut prendre pour (, 0+) un contour

D = { t } {t = ei , } { t } = D D D+
Ici , 0 < < est un nombre arbitraire, lintegrale ne depend pas de (pourquoi?).
On prend sur D la branche de (t)s1 correspondante `a arg(t) = , i.e.
(t)s1 = ei(s1) ts1 sur D ;

13

de l`a, par lextension analytique le long de D , arg(t) = sur D+ , i.e.

(t)s1 = ei(s1) ts1 sur D+
Il sen suit:
Z

0+

(t)

s1 t

e dt =

(t)s1 et dt +
D

(t)

= i

e dt =

ei(s1) ts1 et dt =

s1 t

e dt +

s1 t

= 2i sin(s)
Maintentant
Z

ei(s1) ts1 et dt+

(t)s1 et dt

(ei )s1 e(cos +i sin ) iei d =

eis+(cos +i sin ) d 0 quand 0

si (s) > 0. De l`a:

1.14. Theor`eme. (a)
Z

0+

(t)

s1 t

e dt = 2i sin(s)

ts1 et dt

si (s) > 0.
En faisant ,
(b)
1
(s) =
2i sin(s)

0+

(t)s1 et dt

si (s) > 0. On peut prendre le membre droit pour une definition de (s) pour s
arbitraire.
Exercice. En deduire un
1.15. Corollaire.
1
1
=
(s)
2i

0+

(t)

1
e dt =
2i

s t

0+

ts et dt,

cf. 1.0.
1.16. Lacet double de Pochhammer. Exercice. Montrer que
Z

(1+,0+,1,0)
P

ta1 (1 t)b1 dt = (1 e2ia )(1 e2ib )B(a, b)

14

En deduire que
i(a+b)

(1+,0+,1,0)

a1

(1 t)

b1

4 2
dt =
(1 a)(1 b)(a + b)

Cf. [WW], 12.43.

Transformation de Mellin.
1.17. Cf. [T]. Si
F (s) =

f (x)xs1 dx

(1.17.1)

alors
1
f (x) =
2i

c+i

ci

F (s)xs ds

(1.17.2)

et reciproquement.
Ces formules sont des consequences de la formule dinversion de Fourier. En
effet, si lon pose x = e et s = c + it, alors (1.17.1) devient
F (c + it) =

f (e )e(c+it) d

est (1.17.2) devient

1
f (e ) =
2

F (c + it)e(c+it) dt

1.18. Exemple: Series de Dirichlet et series de Fourier. On a

(s) =

1
=
2i

ex xs1 dx
0

c+i

(s)xs ds (c > 0)

ci

En changeant x = ny (n Z1 ) on obtient:
(s) =

ny s1 s1

ndy = n

Soit maintenant

do`
u

1
1
=
s
n
(s)

eny y s1 dy

X
an
(s) =
ns
n=1

eny y s1 dy

15

Alors on aura:
(s) =

n=1

an
(s)

nx s1

o`
u

f (x) =

1
dx =
(s)

f (x)xs1 dx

an enx

n=1

Reciproquement,
1
2i

c+i

(s)(s)x

ci

Z c+i

X
an
ds =
(s)(nx)s ds = f (x)
2i ci
n=1

1.19. Exemple. Deux integrales pour la fonction de Riemann, cf. [Riemann].

(a) On definit

X
1
(s) =
ns
n=1

En faisant an = 1 dans 1.22, on obtient:

(s)(s) =
o`
u
f (x) =

enx =

n=1

f (x)xs1 dx
0

1
ex
1

1
=
= x
,
x
x
1e
1e
e 1

i.e.
(s) =

xs1
dx
ex 1

(b) Fonction et fonction . Montrer que

s/2

(s/2)(s) =

(x)xs/21 dx

o`
u
(x) =

n=1

en

16

2. S
erie de Stirling
Nombres de Bernoulli

2.1. Nous en donnerons deux definitions, Poincare duales.

Premi`ere definition:
z
z2
z4
z6
z
cot = 1 B1 B2 B3 . . .
2
2
2!
4!
6!
Donc
B1 =

1
1
1
1
5
, B2 =
, B3 =
, B4 =
, B5 =
, etc.
6
30
42
30
66

2.2. Exercice. Montrer que

2n
t
t
t
t
t X
n1 Bn t
=
cot

=
1

+
(1)
et 1
2i
2i 2
2 n=1
(2n)!

On peut donc poser B1/2 = 1/2.

2.3. Theor`eme (Legendre).
Z

1 ea + 1
1
sin ax
dx
=

2x
a
e
1
4 e 1 2a

Demonstration. On a:
1
e2x

2x

=e

2nx

n=0

e2nx

n=1

(x > 0), do`

u
I :=

Z
X
sin ax
dx =
sin ax e2nx dx
2x
e
1
0
n=1

Or,
Z

2nx

sin ax e

1
dx =
2i

(eiax eiax )e2nx dx

o`
u
Z

Donc

iax2nx



1
1
2n + ia
iax2nx 
=
dx =
e
= 2

ia 2n
2n ia
a + 4 2 n2
0
Z

sin ax e2nx dx =

a2

a
+ 4 2 n2

17

do`
u
I=

a
a2 + 4 2 n2

n=1

Rappelons que (cf. (1.9.2))

a2

n=1

1
2a
= cot a
2
2
n
a

De l`a:

n=1

X
ia
a/4
1 X
a
=
=
=
2
2
2
2
2
2
a + 4 n
a /4 + n
4i n=1 (ia/2)2 + 2 n2
n=1



2
1
1
1
cot(ia/2)
= cot(ia/2)
=
4i
ia
4i
2a
Or,
cot(ia/2) =
donc

cos(ia/2)
i(ea/2 + ea/2 )
i(1 + ea )
= a/2
=
sin(ia/2)
1 ea
e
ea/2

quod erat demonstrandum.

2.4. De l`a:
Z
0

1 ea + 1
1
cot(ia/2) =
,
4i
4 ea 1

(2a)2n
1
i
1 X
sin ax
n1
(1)
B
dx
=

+
cot
ia
=
n
ex 1
2a 2
2a n=1
(2n)!

En derivant 2n fois et en posant a = 0, on en deduit:

Bn = 4n

t2n1
dt
e2t 1

cf. [WW], 7.2. On peut regarder cela comme une deuxi`eme definition des nombres
de Bernoulli (Jacob Bernoulli, Ars conjectandi, 1713, p. 97).
Formules de Gauss et de Binet
2.5. Theor`eme.
=


1 t
1
e dt

1 et
t

Cf. [WW], 2.3.

2.6. Theor`eme (Gauss).
d log (z)
=
(z) =
dz


ezt
et
dt

t
1 et

18

Cf. [WW], 2.3.

2.7. Lemme. Si z > 0,
Z

(et ezt )

dt
= log z
t

Cf. [WW], 6.222, Exemple 6 (un bon exercice).

2.8. Lemme.
Z

 t
e
1
log 2
1 1
+ t
dt = 1
2
t
e 1
t
2

Cf. [WW], 12.31.

2.9. La premi`ere formule de Binet. Theor`eme.


 zt
Z 
1
1
1
e
1 1
log (z) = z
log z z + log 2 +
+ t
dt
2
2
2
t
e 1
t
0
Soit


 
 1 1
1 
1
+ t
K = sup 
2
t
e 1 t
t0

Alors si z = x + iy, la derni`ere integrale

Z 
 zt 
Z


1
e
1
1


+ t
dt K
ext dt = K/x

2
t
e 1
t
0
0

Il sen suit:



1
1
log (z) = z
log z z + log 2 + O(1/x)
2
2

Cf. [WW], 12.31.

2.10. La deuxi`eme formule de Binet. Theor`eme.
1
log (z) = (z 1/2) log z z + log 2 + 2
2

arctan(t/z)
dt
e2t 1

cf. [WW], 12.32.

La serie de Stirling
2.11. On a
1 t3
1 t5
(1)n1 t2n1
(1)n
t
+
...+
+ n1
arctan(t/z) =
z
3 z3
5 z5
2n 1 z 2n1
z

u2n du
u2 + z 2

Il sen suit que

(z) := 2

arctan(t/z)
B1
B2
B3
dt =

+
...
2t
3
e 1
12z
34z
5 6 z5

19

est un developpement asymptotique de (z).

2.12.P Developpements asymptotiques. Dapr`es Poincare, on dit quune serie

S(z) = n=0 an /z n est un devoleppement asymptotique dune fonction f (z) (dans

un secteur D = { < arg z < }) `a linfini, qui secrit
f (z) a0 +

a2
a1
+ 2 +...
z
z

si pour chaque N
lim

z, zD

|z (f (z)

N
X

an /z n )| = 0

n=0

On peut exprimer cela autrement:

f (z) =

N
X

an /z n + o(z N )

n=0

La serie S(z) peut meme diverger pour tous z.

2.13. Ceci fournit un developpement asymptotique de log (z):

X
(1)r1 Br
1
log (z) (z 1/2) log z z + log 2 +
(z ),
2r1
2
2r(2r

1)z
r=1

La serie `a droite ne converge pas dans aucun voisinage de . En effet, si elle

convergait
pour |z| > , il existerais K tel que Br < K(2r 1)2r2r , do`
u la serie
P
r1
2r
Br t /(2r)! serais une fonction enti`ere, ce qui nest pas le cas dapr`es
r=1 (1)
2.2, cf. [WW], 12.33.
2.14. Puisque 0 < (x) < B1 /2x (x > 0), on a (x) = /12x avec 0 < < 1,
do`
u
(x) = (2)1/2 xx1/2 ex e/12x
La serie asymptotique de (x):
(x) = (2)
x .

1/2 x1/2 x


1
139
571
1
5
+

+ O(1/x ) ,
1+
12x 288x2
51840x 2488320x4

20

CHAPITRE II. FONCTION HYPERGEOM

ETRIQUE
DE GAUSS
1. S
erie hyperg
eom
etrique
1.1. On pose
F (a, b, c; z) = 1+

ab
a(a + 1)b(b + 1) 2 a(a + 1)(a + 2)b(b + 1)(b + 2) 3
z+
z +
z +. . . =
1c
1 2 c(c + 1)
1 2 3 c(c + 1)(c + 2)

X
a(a + 1) . . . (a + n 1)b(b + 1) . . . (b + n 1) n X
z =
n z n
n!

c(c
+
1)
.
.
.
(c
+
n

1)
n=0
n=0

(1.1.1)

On peut reecrire cela sous une forme

F (a, b, c; z) =

(c) X (a + n)(b + n) n
z
(a)(b) n=0 (c + n)(n + 1)

Convergence: cf. [WW], 2.38. En utilisant le theor`eme de DAlembert:

P
une serie n=0 un converge absolument sil existe < 1 tel que |un+1 /un |
pour n assez grand,
on en deduit que la serie (1.1.1) converge absolument pout |z| < 1. En effet,
lim

n+1 z n+1
=z
n z n

La serie diverge si |z| > 1.

Par contre, on a le theor`eme:
P
etant donnee une serie
n=0 un avec limn |un+1 /un | = 1, elle converge
absolument sil existe c > 0 tel que
lim.sup.n n{|un+1 /un | 1} = 1 c
En effet, considerons la serie convergeante
X
X
vn =
An1c/2
On a

do`
u

vn+1
1 + c/2
1
1c/2
=1
= 1+
+ O(1/n2 ),
vn
n
n

c
vn+1
1 = 1
lim n
n
vn
2


Il sen suit que n(|un+1 /un | 1) n(vn+1 /vn 1) pour n assez grand, donc quil
existe A > 0 tel que |un | < vn pour tous n, do`
u lassertion.

21

Maintenant considerons la serie (1.1.1) avec |z| = 1. Posons un = n z n . On a

 
 
 


 
 

 un+1  
 = 1 + a 1  1 + b 1  1 + c 1 + O(1/n2 ) =






 un  
n
n
n




a+bc1
2 

= 1 +
+ O(1/n ) =
n
= 1+

(a + b c) 1
+ O(1/n2 )
n

Il sen suit que (1.1.1) converge absolument pour |z| = 1 et (a + b c) < 0.

1.2. On a

F (z) =

nn z

n1

n=1

(n + 1)n+1 z n

n=0

Or:
ab
a(a + 1) . . . (a + n)b(b + 1) . . . (b + n)
= n (a+1, b+1, c+1),
n!c(c + 1) . . . (c + n)
c

(n+1)n+1 (a, b, c) =
do`
u

F (a, b, c; z) =

ab
F (a + 1, b + 1, c + 1; z)
c

1.3. Theor`eme. F (z) satisfait `a lequation differentielle

z(1 z)

dF
d2 F
+ {c (a + b + 1)z}
abF = 0
2
dz
dz

Demonstration. On a
(n + 1)n+1 =

zF (z) =

(a + n)(b + n)
n
c+n

nn z n

n=0

zF (z) =

(n + 1)nn+1 z =

n=0

n=0
2

z F (z) =

n=0

Posons
D = z(1 z)

(a + n)(b + n)
n z n
c+n

n(n 1)n z n

d
d2
+ {c (a + b + 1)z} ab
2
dz
dz

Il sen suit que

DF (z) =

n=0

n z n

(1.3.1)

22

o`
u

(a + n)(b + n)
(a + n)(b + n)
n(n 1) + c
(a + b + 1)n ab n = 0,
n = n
c+n
c+n


i.e. DF (z) = 0, cqfd.

1.4. Theor`eme. On a
c{c 1 (2c a b 1)z}F (a, b, c; z)+
+(c a)(c b)zF (a, b, c + 1; z) c(c 1)(1 z)F (a, b, c 1; z) = 0
Demonstration.
X

c(c 1)F (a, b, c; z) =

o`
u

c(c 1)n z n

(a + n 1)(b + n 1)
n1 ;
n(c + n 1)
X
c(2c a b 1)zF (a, b, c; z) =
c(2c a b 1)n z n+1 =
X

c(2c a b 1)n1 z n
c(c 1)n = c(c 1)

(A)

(B)

Ensuite,

(c a)(c b)zF (a, b, c + 1) =

=

(c a)(c b)

Enfin,
c(c 1)F (a, b, c; z) =
o`
u
c(c 1)n (a, b, c 1) = c(c 1)
= c
et

(c a)(c b)n1 (a, b, c + 1)z n =

c
n1 z n
c+n1

(C)

c(c 1)n (a, b, c 1)z n

(a + n 1)(b + n 1)
n1 (a, b, c 1) =
n(c + n 2)

(a + n 1)(b + n 1)
n1
n

X
c(c 1)zF (a, b, c 1; z) =
c(c 1)n1 (a, b, c 1)z n =
X
=
c(c + n 2)n1 z n

(D)

(E)

En ajoutant:


c1
(a + n 1)(b + n 1)
1
(A) + (D) : (a + n 1)(b + n 1)
=

n(c + n 1) n
c+n1

23

Dun autre c
ote, (B) + (C) + (E) :
[(2c + a + b + 1)(c + n 1) + (c a)(c b) + (c + n 2)(c + n 1)]
=
do`
u ce quon veut.

1
=
c+n1

(a + n 1)(b + n 1)
c+n1

Valeur en 1
1.5. Theor`eme (Gauss).
F (a, b, c; 1) =

(c)(c a b)
(c a)(c b)

Dans la preuve, on va utiliser

P
n
1.6. Theor`eme
dAbel.
Si
serie dont radius de convergeance
n=0 an z est une
P
P
est 1 et telle que
an converge. Alors la serie n=0 an xn converge uniformement
sur le segment 0 x 1, donc
lim

x1

an x =

n=0

an

n=0

1.7. On a pour 0 x < 1:

c{c 1 (2c a b 1)x}F (a, b, c; x) + (c a)(c b)xF (a, b, c + 1; x) =
= c(c 1)(1 x)F (a, b, c 1; x) = c(c 1){1 +
Si (c a b) > 0 alors n 0, donc 1 +
theor`eme dAbel,
lim c(c 1){1 +

x1

n=1

n=1

n=1

(n n1 )xn }

(n n1 ) = 0; dapr`es le

(n n1 )xn } = 0

Par la meme raison, limx1 du membre de gauche sera

c(a + b c)F (a, b, c; 1) + (c a)(c b)F (a, b, c + 1; 1),
do`
u
F (a, b, c; 1) =
si (c a b) > 0.

(c a)(c b)
F (a, b, c + 1; 1)
c(c a b)

24

1.8. En repetant,
F (a, b, c; 1) =

m1
Y
n=0

= lim

m1
Y


(c a + n)(c b + n)
F (a, b, c + m; 1) =
(c + n)(c a b + n)

(c a + n)(c b + n)
lim F (a, b, c + m; 1)
(c + n)(c a b + n) m

n=0

si les limites existent. Or,

lim

m1
Y
n=0

(c a + n)(c b + n)
(c)(c a b)
=
(c + n)(c a b + n)
(c a)(c b)

si c
/ {1, 2, . . . }.
1.9. Dautre part,
|F (a, b, c + m; 1) 1|

n=1

|n (a, b, c + m)|

(si m > |c|)

|ab| X
n (|a|, |b|, m |c|)
n (|a| + 1, |b| + 1, m + 1 |c|)
m |c| n=0

n=1

P
Or la serie n=0 n (|a| + 1, |b| + 1, m + 1 |c|) converge si m > |a| + |b| + |c| 1
et est une fonction positive decroissant de m, do`
u
lim F (a, b, c + m; 1) = 1

Il sen suit que

F (a, b, c; 1) =

(c)(c a b)
(c a)(c b)

Une representation integrale

1.9. Theor`eme.
Z

ub1 (1 u)cb1 (1 uz)a du =

(b)(c b)
F (a, b, c; z)
(c)

Demonstration. Considerons lintegrale

I=

ub1 (1 u)cb1 (1 uz)a du,

25

o`
u |z| < 1. On a par la formule binomielle:
(1uz)

X
X
(a)(a 1) . . . (a n + 1)
a(a + 1) . . . (a + n 1)
n
=
(uz) =
(uz)n =
n!
n!
n=0
n=0

(a + n)
un z n ,
(a)(n + 1)

n=0

do`
u
I=

n=0

(a + n)
zn
(a)(n + 1)

n=0

1
0

ub+n1 (1 u)cb1 (1 uz)a du =

(a + n)
(b + n)(c b)
zn
=
(a)(n + 1)
(c + n)

(c b) X (a + n)(b + n) n
=
z ,
(a) n=0 (c + n)(n + 1)

ce qui implique 1.9.

1.10. En posant z = 1 dans 1.9,
(b)(c b)
F (a, b, c; 1) =
(c)
=

ub1 (1 u)cab1 du =

(b)(c a b)
,
(c a)

i.e.
F (a, b, c; 1) =

(c)(c a b)
(c a)(c b)

Donc on a redemontre la formule de Gauss 1.5.

1.11. Exercice. Representer F (a, b, c; z) comme une integrale le long dun double
lacet
Z
C(a, b, c)
ub1 (1 u)cb1 (1 uz)a du
L

1.12. Exercice. En deduire lequation differentielle 1.3.

Idee: montrer que
D{ub1 (1 u)cb1 (1 uz)a } =
o`
u D est loperateur differentiel (1.3.1).

d
(quelque chose)
dt

26

2. Int
egrale de Barnes
2.1. Formule asymptotique:
1
1
log (z + a) = (z + a ) log z z + log(2) + o(1)
2
2
o`
u o(1) 0 quand |z| . Il en suit que

(a + z) = 2ez z z+a1/2 R(z)

si
| arg(z)| et | arg(z)| ,
> 0, avec R(z) 1 quand |z| .
2.2. Considerons lintegrale
1
I(z) =
2i

(a + s)(b + s)(s)
(z)s ds,
(c + s)

avec | arg(z)| < .

On a
(s)s = es(log |s|+i arg(s)) ;
ss = es(log |s|+i arg(s))
donc sur la droite
D = [i, i] = {rei/2 , r 0} {rei/2 , r 0}
on a
(s)s = ss e|(s)|
Ensuite,
(z)s = es log |z|+i arg(z) = O(e arg(z)(s) )
quand |s| sur D. Il en resulte que
(a + s)(b + s)(s)
(z)s = O(|s|a+bc1 e arg(z)(s)|(s)| )
(c + s)
quand |s| sur D. Donc I(z) est une fonction analytique de z dans un domaine
| arg(z)| = | arg(z)| , > 0.
2.3. On a
(s)(1 + s) =

sin(s)

Considerons lintegrale
1
I(N ) =
2i

C(N)

(a + s)(b + s) (z)s
ds
(c + s)(1 + s) sin(s)

27

o`
u C(N ) = {s = (N + 1/2)ei , /2 /2}. On a sur C(N ):
(a + s)(b + s)
= O(N a+bc1 ), N
(c + s)(1 + s)
(z)s = exp[(N + 1/2)(cos + i sin )(log |z| + i arg(z))] =
= O(exp{(N + 1/2)(cos log |z| sin arg(z))})
Enfin,
sin(s) =
Puisque
ea
nous avons

eis eis
2

2
= O(e|a| ), a ,
ea

2
=
=
sin(s)
exp{(N + 1/2)(cos + i sin )i} exp{(N + 1/2)(cos + i sin )i}
= O(exp{(N + 1/2)| sin |}), N
Donc,

(z)s
=
sin(s)
= O(exp{(N + 1/2)(cos log |z| sin arg(z) | sin |)}) =

si | arg(z)| ,
= O(exp{(N + 1/2)(cos log |z| | sin |)}
La derni`ere expression est
O(exp{(N + 1/2)21/2 log |z|}) si || /4
et
O(exp{(N + 1/2)21/2 }) si |/4 | /2|
Donc en tous cas pour |z| < 1, i.e. pour log |z| < 0, lintegrale I(N ) tends `a 0 quand
N .
2.4. On a
Ress=n

(z)s
= z n , n = 0, 1, 2, . . .
sin(s)

do`
u par la formule de Cauchy

X
(a + n)(b + n) n
(a)(b)
I(z) =
z =
F (a, b, c; z)
(c + n)(1 + n)
(c)
n=0

do`
u finalement
1
(c)
F (a, b, c) =
(a)(b) 2i

i
i

(a + s)(b + s)(s)
(z)s ds,
(c + s)

28

| arg(z)| = | arg(z)| < .

3. Equation
P de Riemann
3.1. Celle-ci est lequation
d2 u
+
dz 2

1
1
1
+
+
za
zb
zc

du
+
dz



u
(a b)(a c) (b c)(b a) (c a)(c b)
+
+
= 0,
+
za
zb
zc
(z a)(z b)(z c)
o`
u
+ + + + + = 1
notee
P (a, b, c; , , ; , , ; z)
3.2. Exemple.
P (0, , c; , , ; , , ; z) :




u
1 1 du
c
c
d2 u

+
+
+
+ +
= 0 (3.2.1)
2
dz
z
zc
dz
z
z c z(z c)
Donc
P (0, , c; 1/2 + m, c, c k; 1/2 m, 0, k; z) :


d2 u 1 c du
u
c(1/4 m2 ) c(c k)k
+

+
+
=0
2
dz
z c dz
z
zc
z(z c)
En faisant c , on obtient lequation de Whittaker:
d2 u du
+
+
dz 2
dz


k 1/4 m2
+
u=0
z
z2

3.3. Exemple.
P (0, , 1; 0, a, 0; 1 c, b, c a b; z) :
z(1 z)

du
d2 u
+ {c (a + b + 1)z}
abu = 0
2
dz
dz

29

4. Polyn
omes dEuler et fonction hyperg
eom
etrique

4.1. Suivant Euler, [Euler], (c), on definit les polynomes

En (x) =

1
{(1 + ix/2n)2n + (1 ix/2n)2n }
2

(4.1.1)

Donc, En (x) est un polynome de degre 2n, avec le terme constant 1, ne contenant
que des puissances pairs de x. Plus precisement,
En (x) =

n
X

k=0

Par exemple:

  2k
x
2n
(1)
2k (2n)2k
k

(4.1.2)

1
E1 (x) = 1 x2
4
3
1 4
E2 (x) = 1 x2 +
x
8
256
E3 (x) = 1
E4 (x) = 1

5 2
5 4
1
x +
x
x4
12
432
46656

7 2
35 4
7
1
x +
x
x6 +
x8
16
2048
65536
16777216

4.2. Rappelons que la fonction hypergeometrique de Gauss soit definie par

F (, , , x) = 1+

( + 1)( + 1) 2 ( + 1)( + 2)( + 1)( + 2) 3

x+
x +
x +. . . =
1
1 2 ( + 1)
1 2 3 ( + 1)( + 2)
=

ci (, , )xi,

i=0

o`
u
ci (, , ) =

( + 1) . . . ( + i 1) ( + 1) . . . ( + i 1)
,
i! ( + 1) . . . ( + i 1)

cf. [Gauss]. Il sen suit:

ci (n/2, n/2 + 1/2, 1/2) =
=

(n/2)(n/2 + 1) . . . (n/2 + i 1) (n/2 + 1/2)(n/2 + 3/2) . . . (n/2 + i 1/2)

=
i! (1/2)(1/2 + 1) . . . (1/2 + i 1)
=

(1)i 2i n(n 2) . . . (n 2i + 2) (1)i 2i (n 1)(n 3) . . . (n 2i + 1)

=
i! 2i 1 3 5 . . . (2i 1)
 
n
2i n(n 1)(n 2) . . . (n 2i + 1)
=
= i
2 2 4 . . . 2i 1 3 5 . . . (2i 1)
2i

30

Donc
2

F (n/2, n/2 + 1/2, 1/2, x ) =

[n/2] 

X
i=0


n 2i 1
x = {(1 + x)n + (1 x)n } (4.2.1)
2i
2

Il en decoule:
tn F (n/2, n/2 + 1/2, 1/2, u2/t2 ) =

1
{(t + u)n + (t u)n },
2

(4.2.2)

cf. [Gauss], no. 5, formula II.

4.3. La formule (2.2.1) implique:
En (x) = F (n, n + 1/2, 1/2, x2/4n2 )

(4.3.1)

4.4. Si lon ecrit

En (x) =

n
X

2k

enk t , enk

k=0

 
1
2n
:= (1)
2k (2n)2k
k

alors
enk = (1)

k 2n(2n


 


1) . . . (2n 2k + 1)
2
2k 1
(1)k
1
1
. . . 1
,
=
1 1
(2k)!(2n)2k
(2k)!
2n
2n
2n

do`
u
lim enk =

i.e.

(1)k
,
(2k)!

X
(1)k 2k
lim En (x) =
x = cos x,
n
(2k)!
k=0

comme il faut. En dautres termes,

lim F (n, n + 1/2, 1/2, x2/4n2 ) = cos x,

ou, comme dirait Gauss,

F (k, k + 1/2, 1/2, x2 /4k 2 ) = cos x,
k etant un nombre infinemant grand (denotante k numerum infinite magnum).
En effet, Gauss dit que
F (k, k , 1/2, x2 /4kk ) = cos x,
denotante k, k numeros infinite magnos, cf. [Gauss], no. 5, formula XII.

31

CHAPITRE III. FONCTIONS DE WHITTAKER

1. Fonctions de Kummer Mk,m (z)

1.1. Considerons lequation
d2 u du
+
+
dz 2
dz


k 1/4 m2
+
u=0
z
z2

(1.1.1)

1.2. On va chercher une solution sous une forme

u(z) = z

m+1/2

ai z i

i=0

On aura
u (z) = (m + 1/2)z m1/2

ai z i + z m+1/2

X
i0

o`
u
(m + 1/2)z m1/2
et
z m+1/2

iai z i1 = z m1/2

i0

ai z i = (m + 1/2)

iai z i1 ,

iai z i = z m+1/2

i0

u(z)
z

(i + 1)ai+1 z i

i0

De l`a,


X
u(z) m + 1/2 m + 1/2
m+1/2
i
u(z) + z
(i + 1)ai+1 z +
u (z) = (m + 1/2) 2 +
z
z
z

+(m + 1/2)z m1/2

=

(i + 1)ai+1 z i + z m1/2

(i + 1)iai+1 z i =

X
X
m2 1/4
m1/2
i
m1/2
u(z)
+
(2m
+
1)z
(i
+
1)a
z
+
z
(i + 1)iai+1 z i =
i+1
2
z
X
m2 1/4
m1/2
u(z)
+
z
(i + 1)[2m + 1 + i]ai+1 z i
=
2
z

Donc (1.1.1) fournit la relation de recurrence

(m + k + i + 1/2)ai + (i + 1)(2m + i + 1)ai+1 = 0,
ou
ai+1 =

m + k + i + 1/2
ai
(i + 1)(2m + i + 1)

En posant ai , on obtient pour ai la valeur

ai = (1)i

(m + k + 1/2)(m + k + 3/2) . . . (m + k + 1/2 + i 1)

=
i!(2m + 1)(2m + 2) . . . (2m + i)

32

= (1)i

(2m + 1)(m + k + 1/2 + i)

i!(m + k + 1/2)(2m + i + 1)

En dautres termes,
u(z) = z

m+1/2

=z

m + k + 1/2
(m + k + 1/2)(m + k + 3/2) 2
1
z+
z ...
1!(2m + 1)
2!(2m + 1)(2m + 2)

m+1/2

(1)i

i=0

(2m + 1)(m + k + 1/2 + i) i

z
i!(m + k + 1/2)(2m + i + 1)

1.3. Posons u(z) = ez v(z). Alors

u (z) = ez {v(z) + v (z)}
et
u (z) = ez {v(z) 2v (z) + v (z)}
Il sen suit que v(z) satisfait `a lequation differentielle
dv
d2 v

+
2
dz
dz


k 1/4 m2
v=0
+
z
z2

Cherchons une solution sous une forme v(z) = z m+1/2

impliquent la relation de recurrence

i0

(1.3.1)
bi z i . Les formules 1.2

(m 1/2 i + k)bi + (i + 1)(2m + i + 1)bi+1 = 0,

i.e.
bi+1 =

m k + i + 1/2
bi ,
(i + 1)(2m + i + 1)

do`
u, en posant b0 = 0,
v(z) = z

m+1/2

m k + 1/2
(m k + 1/2)(m k + 3/2) 2
1+
z+
z +...
1!(2m + 1)
2!(2m + 1)(2m + 2)

1.4. Corollaire.


m k + 1/2
(m k + 1/2)(m k + 3/2) 2
z
1+
e
z+
z +... =
1!(2m + 1)
2!(2m + 1)(2m + 2)


m + k + 1/2
(m + k + 1/2)(m + k + 3/2) 2
= 1
z+
z ...
1!(2m + 1)
2!(2m + 1)(2m + 2)
1.5. En faisant la substitution u(z) = ez/2 W (z), on obtient pour la fonction
W (z) lequation differentielle


1 k 1/4 m2
d2 W
W =0
+ + +
dz 2
4 z
z2

(1.5.1)

33

Il decoule de 1.3 que la fonction



(m k + 1/2)(m k + 3/2) 2
m k + 1/2
m+1/2 z/2
z+
z +. . .
1+
Mk,m (z) = z
e
1!(2m + 1)
2!(2m + 1)(2m + 2)
est une solution de (1.5.1). Lautre solution est Mk,m (z).
1.6. La premi`ere formule de Kummer.
z 1/2m Mk,m (z) = (z)1/2m Mk,m (z)
Cela est equivalent `a 1.4.
2. Fonctions de Whittaker Wk,m (z)
Forme integrale
2.1. Considerons une integrale (une forme limite de lintegrale hypergeometrique)
v(z) = vk,m (z) =

(0+)

(t)k1/2+m (1 + t/z)k1/2+m et dt

Theor`eme. v(z) satisfait `a lequation differentielle



d2 v
2k
dv 1/4 m2 + k(k 1)
+

1
+
v=0
dz 2
z
dz
z2
Demonstration. Si lon pose
fk,m (t, z) = (t)k1/2+m (1 + t/z)k1/2+m et
et
2

Dz = (d/dz) +


2k
1/4 m2 + k(k 1)
1 d/dz +
z
z2

alors
Dz fk,m (z, t) =

k + 1/2 m dfk1,m (t, z)

z2
dt

Le theor`eme sen suit.

2.2. On definit la fonction de Whittaker Wk,m (z) par
Wk,m (z) =

(k + 1/2 m)z k ez/2

vk,m (z)
2i

(2.2.1)

Cette expression est bien definie si k + 1/2 m

/ Z0 . Elle satisfait a lequation
differentielle de Whittaker (1.5.1):


1 k 1/4 m2
d2 W
W =0
(2.2.2)
+ + +
dz 2
4 z
z2

34

2.3. Exercice. Montrer que si (k 1/2 m) 0, alors

z k ez/2
Wk,m (z) =
(1/2 k + m)

tk1/2m (1 + t/z)k1/2+m et dt

Ceci definit Wk,m (z) pour tous k, m.

2.4. Exemples. Montrer que les fonctions ci-dessous fournissent des exemples de
fonctions de Whittaker, cf. [WW], 16.2.
(a) Fonction de distribution des erreurs
Erfc(x) :=

et dt = 2x1/2 ex

/2

W1/4,1/4 (x2 )

(b) Fonction incompl`ete

(s, x) :=

ts1 et dt = (s) x(s1)/2 ex/2 W(s1)/2,s/2 (x)

(c) Logarithme integral

li(x) =

x
0

dt
= ( log x)1/2 x1/2 W1/2,0 ( log x)
log t

Rapport avec Mk,m

2.5. Theor`eme.
Wk,m (z) =

(2m)
(2m)
Mk,m (z) +
Mk,m (z)
(1/2 m k)
(1/2 + m k)

Cf. [WW], 16.41.

Developpement asymptotique
2.6. En utlisant la formule binomielle
(1 + t/z) = 1 +

t ( 1)t2
( 1) . . . ( n + 1) tn
+
+
.
.
.
+
n +... ,
z
2z 2
n!
z

on en deduit un developpement asymptotique:

Theor`eme.
k z/2

Wk,m (z) z e

1+


Qn1
X
{m2 (k i 1/2)2 }
i=0

n=1

n!z n

35

pour |z| grand.

Cf. [WW], 16.3.
Integrale de Mellin-Barnes
2.7. Theor`eme.
ez/2 z k
Wk,m (z) =
2i

(s)(s k m + 1/2)(s k + m + 1/2) s

z ds
(k m + 1/2)(k + m + 1/2)

Cf. [WW], 16.4.

3. Fonctions dHermite
3.1. La fonction
w(z) = z 1/2 Wk,1/4 (z 2 /2)
satisfait `a lequation differentielle


z2
d2 w
w=0
+ 2k
dz 2
4
(verifier!) On definit:
Ds (z) = 2s/2+1/4 z 1/2 Ws/2+1/4,1/4 (z 2 /2)
Cette fonction verifie lequation differentielle


d2 Ds
1 z2
Ds = 0
+ s+
dz 2
2
4

(3.1.1)

On lappelle lequation de Weber. On a:



(1/2)
(1/2)
s/2+1/4 1/2
2
2
Ds (z) = 2
z
Ms/2+1/4,1/4(z /2)+
Ms/2+1/4,1/4 (z /2)
(1/2 s/2)
(s/2)
3.2. Forme integrale. Theor`eme. On a:
(s + 1) z2 /4
e
Ds (z) =
2i

(0+)

eztt

/2

(t)s1 dt

Cf. [WW], 16.6. Comme consequence, Ds (z) est une fonction uniforme de z.
3.3. Relations de recurrence. Theor`eme. (a)
Ds+1 (z) zDs (z) + sDs1 (z) = 0

36

(b)

z
Ds (z) + Ds (z) sDs1 (z) = 0
2

Demonstration. (a) Designons

2

fs (t, z) = eztt
Alors

/2

(t)s1

fs
= zfs + fs1 + (s + 1)fs+1 ,
t

do`
u lassertion (on noublie pas le facteur (s + 1) dans la formule 3.2).
(b) Exercice (utiliser toujours 3.2).
Polyn
omes dHermite.
3.4. Maintenant supposons que s = n N. Alors on aura:
2

n!ez /4
Dn (z) =
2i

(0+)

eztt /2
dt =
(t)n+1

(t = v z)
= (1)

z 2 /4
n n!e

2i

(z+)

z /4
ev /2
dn
ne
dv
=
(1)
(v z)n+1
2i dz n

(z+)

Or, par la formule de Cauchy,

1
2i

(z+)

2
ev /2
ev /2
dv = Resv=z
= ez /2 ,
vz
vz

do`
u
Dn (z) = (1)n ez

/4

dn z2 /2
e
dz n

3.5. On definit
hn (z) = ez

/4

Dn (z) = (1)n ez

/2

dn z2 /2
e
dz n

Il est clair que hn (z) est un polynome et

Dn (z) = hn (z)ez

/4

3.6. Theor`eme. (a)

hn+1 (z) zhn (z) + nhn1 (z) = 0

ev /2
dv
vz

37

(b)
hn (z) zhn (z) + nhn (z) = 0
(c)
hn (z) = nhn1 (z)
Exercice.
3.7. Theor`eme.
Z

Dn (z)Dm (z)dz = (2)1/2 n!n,m

(Les integrales convergent en vertu de 3.5).

Demonstration. En utilisant (3.1.1),

(nm)Dn (z)Dm (z) = Dn (z)Dm

(z)Dn (z)Dm (z) = (Dn (z)Dm
(z)Dn (z)Dm (z)) ,

do`
u

Dn (z)Dm (z)dz = 0

si n 6= m. Par contre,
(n + 1)

Dn (z)2 dz =

(par 3.3 (b))

=

Dn (z)(Dn+1
(z)+zDn+1 (z)/2)dz

(par 3.3 (b))

=

Dn (z)Dn+1 (z)+zDn (z)Dn+1 (z)/2dz =

Dn+1 (z)(zDn (z) nDn1 (z))dz =

(par 3.3 (a))

=
Par recurrence,
Z

Dn+1 (z)2 dz

Dn (z) dz = n!

D0 (z)2 dz =

= n!

ez

/2

dz = n!(2)1/2 ,

cqfd.
3.8. Corollaire.
Z

hn (z)hm (z)ez

/2

dz = (2)1/2 n!n,m

38

3.9. Exercice. Les polyn

omes dHermite Hn (z) sont definies par
Hn (z) = (1)n ez

dn z2
e
dz n

Les exprimer en termes de hn (z). Prouver la formule explicite

[n/2]

X (1)i (2z)n2i
Hn (z) = n!
i!(n 2i)!
i=0
3.10. Exercice. Prouver les propretes suivantes de polynomes dHermite:
Hn+1 (z) 2zHn (z) + 2nHn1 (z) = 0

(a)

Hn (z) = 2nHn1 (z)

(b)

Hn (z) 2zHn (z) + 2nHn (z) = 0

(c)

3.11. Exercice. Formule limite. Montrer que:

lim

lim

cos z
(1)n n
H2n (z/(2 n)) =
2n
2 n!

(C)

(1)n n
sin z
H2n+1 (z/(2 n)) =
2n+1
2
n!

(S)

39

CHAPITRE IV. FONCTIONS DE BESSEL

1. Fonctions Js (x)

1.1. Lequation de Bessel:



1 dJ
s2
d2 J
+
+ 1 2 J =0
dx2
x dx
x

(1.1.1)

1.2. Cherchons une solution sous une forme

J(x) = x

a i xi

i=0

On aura:
J (x) = sxs1

a i xi + xs

i0

iai xi1 =

i1

s
J(x) + xs
x

(i + 1)ai+1 xi

i0

Ensuite,


X
s
s s
s
i
J (x) = 2 J(x) +
J(x) + x
(i + 1)ai+1 x +
x
x x

i0

+sxs1

(i + 1)ai+1 xi + xs

i(i + 1)ai+1 xi1 =

i0

i0

X
s2
s
(i + 1)(2s + i)ai+1 xi ,
= 2 J(x) + 2 J(x) + xs1
x
x
i0

do`
u
J (x) +

X
1
s2
J(x) = 2 J(x) + xs1
(i + 1)(2s + i + 1)ai+1 xi
x
x
i0

On a
J(x) = xs

ai xi = xs1

i0

X
i0

ai xi+1 = xs1

ai1 xi ,

i1

donc


X
X
s2
1
ai1 xi +xs1
(i+1)(2s+i+1)ai+1 xi
J (x)+ J(x)+ 1 2 J(x) = xs1
x
x

i1

i0

Il sen suit que (1.1.1) est equivalente `a

ai1 + (i + 1)(2s + i + 1)ai+1 = 0,

40

ou
ai + (i + 2)(2s + i + 2)ai+2 = 0 (i 0);
a1 = 0
Donc a2k+1 = 0 est
a2k + (2k + 2)(2s + 2k + 2)a2k+2 = 0 (k 0),
ou
a2k+2 =

a2k
4(k + 1)(s + k + 1)

Si lon pose par exemple a0 = 1, on obtient une solution



x4
x2
s
+
...
J(x) = x 1 2
2 1(s + 1) 24 1 2(s + 1)(s + 2)
Par definition,


J(x)
x2
xs
x4
Js (x) = s
1 2
= s
+
. . . =
2 (s + 1)
2 (s + 1)
2 1(s + 1) 24 1 2(s + 1)(s + 2)
=

x2k
xs X
k
(1)
2s
22k k!(s + k + 1)

(1.2.1)

k0

1.3. Une serie generatrice. Posons

z(tt1 )/2

Jn (z)tn ,

n=

donc
1
Jn (z) =
2i

(0+)

un1 ez(uu

)/2

du =

(o`
u (0+) est un contour {rei , 0 2}), u = 2t/z:
1 zn
=
2i 2n

(0+)

On a biens
ur
Z
1
2i

(0+)

 n+2r
Z

X
(1)r z
1
=
r!
2
2i
r=0

(0+)

n1 tz 2 /4t

1 zn
dt =
2i 2n

n1 t

r=0

(0+)

tnr1 et dt = rest=0 tnr et =

Jn (z) =

r=0

z 2r
(1)
dt =
r!4r tr
r

tnr1 et dt

1
si n + r 0,
(n + r)!

et 0 sinon. Donc si n 0,

 n+2r
(1)r
z
,
r!(n + r)! 2

41

ce qui concide avec (1.2.1). Par contre, si n < 0, n = m,

Jn (z) =

 2rm
(1)r
z
=
r!(r m)! 2

r=m

 2s+m

X
(1)s+m z
= (1)m Jm (z)
=
(s
+
m)!s!
2
s=0

(1.3.1)

1.4. Lintegrale de Bessel. Pour n Z on a

1
Jn (z) =
2i

(0+)

1
=
2

un1 ez(uu

(u = ei )

1
=
2

ein+iz sin d =

iniz sin

e
0

du =

)/2

1
d +
2

ein+iz sin d =
0

cos(n z sin )d

1.5. Nous avons

1 zn
Jn (z) =
2i 2n

(0+)

tn1 etz

/4t

dt

Considerons loperateur differentiel

D = z2 +
On a

n2
z
+1 2
z
z

(0+)


2
n+1
z2
1
t
+ 2 etz /4t dt =
t
4t


Z
1 z n (0+) d n1 tz2 /4t
dt = 0
t
e
=
2i 2n
dt

1 zn
DJn (z) =
2i 2n

n1

Donc nous avons prouve encore une fois que Jn (z) satisfait `a lequation (1.1.1). Le
meme argument marche pour Js si lon remplace (0+) par le contour de Hankel
R (0+)
, cf. ci-dessous.

1.6. Soit s un nombre complexe quelconque. Dapr`es le precedent, une fonction

 s Z
2
1 z
J(z) =
ts1 etz /4t dt
2i 2
C

satisfait `a (1.1.1), si C est un contour arbitraire entourant 0 une fois dans le sens
2
positif, sur lequel la fonction ts1 etz /4t est uniforme.

42

Prenons pour C un contour

Z

(0+)

On definit

, C = { < z } {z = ei | } { z }
 s Z (0+)
2
1 z
Js (z) =
ts1 etz /4t dt, s C
2i 2

1.7. Rappelons lintegrale de Hankel:

1
(s) =
2i sin(s)
o`
u
Z

(0+)

(t)s1 et dt

(0+)

C = { > t > } {t = ei | 0 2} { t < }

Il sen suit:

1
sin(s)(1 s)
=
=
(s)

Z (0+)
Z (0+)
1
1
sin(s)
s t
(t) e dt =
(t)s et dt
=

2i sin((1 s))
2i

ou bien
1
1
=
(s)
2i

(0+)

ts et dt

(formule de Hankel).
1.8. On en deduit:
 s Z (0+)
2
1 z
Js (z) =
ts1 et ez /4t dt =
2i 2

 s Z (0+)

X
1 z
z 2r
=
ts1 et
(1)r r r dt =
2i 2
r!4 t

r=0
=

X
r=0

 s+2r
Z (0+)
1 1
z
tsr1 et dt =
(1)
2
r! 2i
r

X
r=0

 s+2r
(1)r
z
,
r!(s + r + 1) 2

on a donc retrouve la definition (1.2.1).

Relations de recurrence

(1.6.1)

43

1.9. Nous avons:

1
0=
2i

(0+)



d s t z2 /4t
dt =
t ee
dt


Z (0+) 
2
1
z 2 s2
s
s1
=
t + t
ez /4t dt =
st
2i
4
 s+1
 s
 s+1
z
z
z
Js1 (z) +
Js+1 (z) s
Js (z),
=
2
2
2
ou
Js1 (z) + Js+1 (z)

2s
Js (z) = 0
z

Dun autre c
ote,
d s
1
{z Js (z)} = s+1
dz
2 i
=

z
2s+2 i

ou bien

(0+)



d s1 t z2 /4t
dt =
t
ee
dz

(0+)

ts2 et ez

/4t

dt = z s Js+1 (z),

s
Js (z) Js (z) + Js+1 (z) = 0
z

1.10. Donc on aura:

Js1 (z) + Js+1 (z) =

Js (z) =
et

(1.10.1)

2s
Js (z) Js+1 (z)
z

(1.10.2)

1
{Js1 (z) Js+1 (z)}
2

(1.10.3)

Js (z) =
do`
u

2s
Js (z)
z

s
Js (z) = Js1 (s) Js (z)
z

(1.10.4)

1.11. En multipliant (1.10.4) par z s , on obtient:

z s Js1 (z) =

d s
{z Js (z)}
dz

(1.11.1)

et en multipliant (1.10.2) par z s1 , on obtient:

z s1 Js+1 (z) =
do`
u
z

sn

Js+n (z) = (1)

d
{z s Js (z)},
zdz

d
zdz

n

{z s Js (z)},

(1.11.2)

(1.11.3)

44

n N.
1.12. Il decoule de (1.10.1) (ou de (1.3.1)) que
J1 (z) = J1 (z),
donc (1.10.3) entrane
J0 (z) = J1 (z)
1.13. Rapport avec les fonctions de Kummer. Si lon fait y = z 1/2 v et z = x/2i
dans lequation de Kummer, on obtient lequation de Whittaker


1 1/4 s2
d2 v
v=0
+ +
dx2
4
x2
qui est satisfaite par les fonctions M0,s (x). En effet, on a le
Theor`eme.
Js (x) =

M0,s (2iz)
22s+1/2 is+1/2 (s + 1)z 1/2

Cette relation est equivalente `a la deuxi`eme formule de Kummer, cf. [WW],

16.11, II.

45

2. Lordre demi-entier
2.1. Par 1.8,
 1/2 X
 2r

z
(1)r
z
J1/2 (z) =
2
r!(r + 3/2) 2
r=0
Nous avons
(r + 3/2) = (r + 1/2)(r + 1/2) = (r + 1/2)(r 1/2)(r 1/2) = . . .
= (r + 1/2)(r 1/2) . . . (1/2)(1/2) =

= 2r1 (2r + 1)(2r 1) . . . 1

Dun autre c
ote,
(2r + 1)! = (2r + 1)(2r 1) . . . 1 (2r)(2r 2) . . . 2 = 2r r!(2r + 1)(2r 1) . . . 1,
do`
u

r!(r + 3/2) = 2r1 r!(2r + 1)(2r 1) . . . 1 =

= 2r1 2r (2r + 1)! = 22r1 (2r + 1)!

Donc
J1/2 (z) =

2
z

z
2

1/2 X

r=0

1/2 X

r=0

2(1)r 2r
z =
(2r + 1)!

(1)r z 2r+1
=
(2r + 1)!

2
z

1/2

sin z

2.2. Donc (1.11.3) entrane:

Jn+1/2 = z

n+1/2

(1)

d
zdz

n

{z

1/2

2
z

1/2


n 

(1)n 2z n+1/2
d
sin z

=
=

zdz
z
 1/2

n 

2z
d
sin z
n
=
(z)

zdz
z

sin z} =

46

3. Fonctions de Macdonald Ks (z)

Sur ces fonctions importantes (par exemple dans la Theorie de Nombres, dans les
questions liees `a la Kroneckersche Grenzformel), le lecteur pourra consulter [WW],
17.7 et [W], 3.7, 6.15, 6.16, 6.22 et 6.23.
Fonctions Is (z)
3.1. On definit
In (z) = in Jn (iz) =

X
(z/2)n+2r
r!(n + r)!
r=0

si n Z; si s C, on definit
s

Is (z) = i

Js (iz) =

X
r=0

(z/2)s+2r
r!(s + r + 1)

Ces fonctions satisfont `a lequation differentielle



d2 Is (z) 1 dIs (z)
s2
+
1 + 2 Is (z) = 0
dz 2
z dz
z
(verifier!)
3.2. Des relations de recurrence.
Is1 (z) Is+1 (z) =

2s
Is (z)
z

d s
d s
{z Is (z)} = z s Is1 (z);
{z Is (z)} = z s Is+1 (z)
dz
dz
3.3. Une forme integrale.
(z/2)s
Is (z) =
(1/2)(s + 1/2)

cosh(z cos ) sin2s d,

si (s + 1/2) > 0.
3.4. Une integrale de Hankel (cf. [W], 6.22):
(z/2)s
Is (z) =
2i
1
=
2i

(0+)

(0+)

ts1 et+z

/4t

dt =

us1 ez(u+u

)/2

du

3.5. Un developpement asymptotique:

Qr1 2



2
X
ez
r
i=0 (4s (2i + 1) )
1+
(1)
Is (z)
r!23r z r
(2z)1/2
r=1

47

si | arg z| < /2.

Fonctions Ks (s)
3.6. On definit la fonction de Macdonald
Ks (z) =

2z

1/2

(Is (z) Is (z))

2 sin s

W0,s (2z) =

3.7. Des formes integrales. (a)

(1/2)(z/2)s
Ks (z) =
(s + 1/2)
(1/2)(z/2)s
=
(s + 1/2)

ezt (t2 1)s1/2 dt =

ez cosh sinh2s d,

si (s + 1/2) > 0 et | arg z| < /2, cf. [W], 6.15.

(b)

(s + 1/2)(2z)s
Ks (xz) =
xs (1/2)

cos xu
du
(u2 + z 2 )s+1/2

si (s + 1/2) 0, x > 0 et | arg z| < /2, cf. [W], 6.16.

(c)
1
Ks (z) =
2

1
= (z/2)s
2

ez cosh tst dt =

( = zet /2)

e z
0

/4

d
s+1

si z 2 > 0, cf. [W], 6.22.

3.8. Un developpement asymptotique:
Ks (z)

2z

1/2



4s2 12
(4s2 12 )(4s2 32 )
1+
+
+...
1!8z
2!(8z)2

si | arg z| < 3/2, cf. [W], 7.23.

48

CHAPITRE V. FONCTIONS DE LEGENDRE

1. Polyn
omes de Legendre

1.1. Les polynomes de Legendre sont definis par la fonction generatrice

2 1/2

(1 2zh + h )

Pn (z)hn

n=0

De l`a:
P0 (z) = 1, P1 (z) = z,
1
1
(3z 2 1), P3 (z) = (5z 3 3z),
2
2

P2 (z) =
P4 (z) =

1
1
(35z 4 30z 2 + 3), P5 (z) = (63z 5 70z 3 + 15z)
8
8

En general:
[n/2]

Pn (z) =

(1)r

r=0

(2n 2r)!
z n2r
r)!(n 2r)!

2n r!(n

(1.1.1)

Exercice. Le demontrer.
1.2. Formule de Rodrigues. La formule (1.1.1) entraine:
1 dn 2
Pn (z) = n
(z 1)
2 n! dz n
1.3. Integrale de Schl
afli.
1
Pn (z) =
2i

t: |tz|=

(t2 1)n
dt
2n (t z)n+1

Exercice. Demonrer cela (utiliser 1.2).

1.4. Lequation differentielle de Legendre. Considerons loperateur differentiel
lineaire
d2
d
Dn = (1 z 2 ) 2 2z
+ n(n + 1)
dz
dz
Alors
Dn

(t2 1)n
d (t2 1)n+1
=
(n
+
1)
2n (t z)n+1
dt 2n (t z)n+1

Il sen suit que

Dn Pn (z) = (1 z 2 )

dPn (z)
d2 Pn (z)
2z
+ n(n + 1)Pn (z) = 0
2
dz
dz

49

Autrement dit,


d
2 dPn (z)
(1 z )
+ n(n + 1)Pn (z) = 0
dz
dz
Le scheme de Riemann de cette equation:
 1
P 0
0

n+1
n


1
0; z
0

1.5. Relations dorthogonalite. Theor`eme (Legendre).

Z

Pn (z)Pm (z)dz = n,m

2
2n + 1

Introduisons une notation: {u}r = dr u/dz r . Alors

{(z 2 1)n }r (1) = {(z 2 1)n }r (1) = 0 si r < n
Lintegration par parties nous fournit donc:
Z

1
2

{(z 1) }m {(z 1) }n dz =
= (1)

1
1

{(z 2 1)m }m1 {(z 2 1)n }n+1 dz = . . .

(z 2 1)m {(z 2 1)n }n+m dz

Si m > n, on a {(z 2 1)n }n+m = 0, do`

u, par la formule de Rodrigues
0.

R1

Pn (z)Pm (z)dz =

Si par contre n = m, on obtient

Z

1
2

{(z 1) }n {(z 1) }n dz = (1)

= (2n)!

(z 2 1)n {(z 2 1)n }2n dz =

(1 z 2 )n dz

Exercice. Calculer la derni`ere integrale par la formule dEuler sur la fonction B

R1
(faire z = 2t 1). En deduire que 1 Pn (z)2 dz = 2/(2n + 1).

50

2. Fonctions de Legendre
2.1. Soit maintenant s un nombre complexe quelconque. Lequation differentielle
de Legendre
(1 z 2 )u (z) 2zu (z) + s(s + 1)u(z) = 0
est satisfaite par un integrale
1
u(z) =
2i

(t2 1)s
dt
2s (t z)s+1

(2.1.1)

pourvu que C est un contour ferme tel que la fonction sous integrale
f (t) =

(t2 1)s
2s (t z)s+1

est uniforme le long de C.

Soit z un nombre reel positif dont la distance de 1 est inferieur a` 2; prenons pour
C un cercle qui entoure les points 1 et z et ne contient pas 1:
C = {t = 1 + rei , 0 2}
avec 2 > r > |1 z|. On pose en point A = 1 + r: arg(t 1) = arg(t + 1) =
arg(t z) = 0.
La formule (2.1.1) definit alors une fonction Ps (z); par lextension analytique
elle est bien definie sur le plan coupe {z C (, 0]}.
Pour s N on revient aux polynomes de Legendre.
Notation commode (cf. [WW], 15.2):
1
Ps (z) =
2i

(1+,z+)
A

(t2 1)s
dt
2s (t z)s+1

2.2. Relations de recurrence. Soit C le contour comme ci-dessus:

C = (A; 1+, z+)
On a:
Ps (z) =
Ps (z) =

2s+1 i

(t2 1)s
dt
(t z)s+1

s+1
2s+1 i

(t2 1)s
dt
(t z)s+2

Par contre,
d (t2 1)s+1
2(s + 1)t(t2 1)s
(s + 1)(t2 1)s+1
=

,
dt (t z)s+1
(t z)s+1
(t z)s+2

(2.1.2)

51

do`
u:
0=

2t(t2 1)s
dt
(t z)s+1

(t2 1)s+1
dt
(t z)s+2

Maintenant on remarque que t = (t z) + z, i.e.

(t2 1)s
z(t2 1)s
t(t2 1)s
=
+
(t z)s+1
(t z)s
(t z)s+1

(2.2.1)

(une formule importante!) Il sen suit:

1
2s+1 i

(t2 1)s
dt = Ps+1 (z) zPs (z)
(t z)s

(2.2.2)

En derivant par z:

Ps+1
(z) zPs (z) Ps (z) = sPs (z)

ou

Ps+1
(z) zPs (z) = (s + 1)Ps (z)

Ensuite,
0=
Z

(I)



d t(t2 1)s
dt =
dt (t z)s


(t2 1)s 2st2 (t2 1)s1
s(t2 1)s
dt
+

(t z)s
(t z)s
(t z)s+1

En ecrivant t2 = t2 1 + 1 et t = t z + z,
0=

Z 
C


(t2 1)s1
(t2 1)s
(t2 1)s
+ 2s
sz
dt
(s + 1)
(t z)s
(t z)s
(t z)s+1

Enfin, en utilisant (2.2.2), on en deduit:

(s + 1)Ps+1 (z) (2s + 1)zPs (z) + sPs1 (z) = 0

(II)

2.2.1. Exercice. Prouver les recurrences (III) - (V) ci-dessous:

zPs (z) Ps1

(z) = sPs (z)

(III)

Ps+1
(z) Ps1
(z) = (2s + 1)Ps (z)

(IV )

(z 2 1)Ps (z) = szPs (z) sPs1 (z)

(V )

52

3. Fonctions adjointes
3.1. Les fonctions adjointes de Legendre sont definis par
Pnm (z) = (1 z 2 )m/2

dm Pn (z)
dz m

3.2. Exercice. (a) Montrer que Pnm (z) satisfont `a lequation differentielle

m2
u(z) = 0
(1 z )u (z) 2zu (z) + n(n + 1)
1 z2
2

(b) Montrer que (a) est une equation hypergeometrique de schema de Riemann

0
m/2
m/2

1
n + 1 m/2 ; (1 z)/2
n m/2

(cf. 1.4; noter la difference entre le deux schemas).

3.3. Orthogonalite. Montrez que
Z

cf. [WW], 15.51.

Pnm (z)Prm (z)dz =

2 (n + m)!
r,n ,
2n + 1 (n m)!

53

CHAPITRE VI. EQUATIONS

DE MAXWELL ET LEQUATION
DONDES

1. Des
equations de Maxwell `
a l
equation dondes

Le but de ce chapitre et donner un exemple typique dune application de fonctions

speciales: pour la solution des equations de Maxwell, cf. [BW], 14.5.
1.1. On consid`ere un champ electro-magnetique (et E, et H) o`
u t est le temps,
est la frequence, E = (Ex , Ey , Ez ) est le champ electrique; H = (Hx , Hy , Hz ) est
le champs magnetique. Les vecteurs (E, H) ne dependent pas de t; E = E(z), H =
H(z), z R3 et satisfont aux equations de Maxwell:
curl H = k1 E

(M 1)

curl E = k2 H

(M 2)

o`
u k1 , k2 sont des constantes complexes. On pose
k 2 = k1 k2
1.2. On introduit les coordonnees spheriques:
x = r sin cos
y = r sin sin
z = r cos
Si A = (Ax , Ay , Az ) est un vecteur alors
Ar = Ax sin cos + Ay sin sin + Az cos
A = Ax cos cos + Ay cos sin Az cos
A = Ax sin + Ay cos
Exercice. Le verifier. Pour sentrainer, enoncez et prouvez les formules analogues,
plus simples, pour les coordonnees polaires dans R2 .
1.3. Si A est un champ vectoriel sur R3 alors par definition

ex

curl A = det x
Ax

ey
y
Ay

ez
z
Az

En coordonnees spheriques
1
(curl A)r = 2

r sin

(rA sin ) (rA )

54



1
(rA sin ) Ar
(curl A) =

+
r sin
r



(rA ) Ar
1

(curl A) =
r
r

(verifier!).
1.4. Il sen suit que les equations de Maxwell en coordonnees spheriques secrivent


1
(rH sin ) (rH )
= k1 Er
(M 1a)

r 2 sin



1
(rH sin ) Hr
= k1 E
(M 1b)

+
r sin
r



1
(rH ) Hr
= k1 E
(M 1c)

r
r

et


(rE sin ) (rE )
= k2 H r



1
(rE sin ) Er
= k2 H

+
r sin
r



1
(rE ) Er
= k2 H

r
r

2
r sin

(M 2a)
(M 2b)
(M 2c)

On va chercher une solution sous une forme dune somme de deux ondes
(E, H) = (e E, e H) + (m E,

H)

avec
e

E r = E r , e Hr = 0

et
m

Londe (e E,
magnetique.

Er = 0,

Hr = Hr

H) est appelee londe electrique, et (m E,

H) est appelee londe

Procedons `a chercher une solution (e E, e H). Les equations (M 1b) et (M 1c)

deviennent:
1 (r e H )
k1 e E =
(M 1b)
r
r
1 (r e H )
(M 1c)
k1 e E =
r
r
En substituant dans (M 2b) et (M 2c), on obtient:
 2


k1 e E r
e
2
(r
H
)
=

+
k
(M 2b)

r 2
sin

 2
e Er

e
2
(r
H
)
=
k
+
k
(M 2c)

1
r 2

55

On voit larrivee graduelle de lequation des ondes...

Par contre, apr`es la substitution de (M 1b) et (M 1c) , lequation (M 2a) devient:


1

e
e
(r sin H ) +
(r H ) = 0
(M 2a)
k12 r 2 sin r

qui est satisfaite si

(r sin e H ) +
(r e H ) = 0

(M 2a)

div e H = 0

(M 2a)

ce qui signifie que

(verifier!).
1.5. Potentiel. Il nous faut soccuper de lequation (M 1a). Lequation (M 2a)
sera satisfaite si
1 U
1 U e
e
, E =
E =
r sin
r
Posons
U=
donc on aura
e

E =

(r e )
,
r

1 2 e e
1 2 e
, E =
r sin r
r r

Alors (M 1b) et (M 1c) seront satisfaites par

e

e
k1 (r e )
H = k1
=

H =

k1 e
k1 (r e )
=
sin
r sin

(M 1b)
(M 1c)

En substituant cela dans (M 1a), on obtient

e

1
Er =

r sin




e
1 2 e

sin
+

sin 2

(M 1a)

1.6. Laplacien. En coordonnees spheriques




1
1

2
1 2 (r)
sin

+
+
=
r r 2
r 2 sin

r 2 sin2 2
Exercice. Le verifier.
1.7. Si lon substitue (M 1a) , (M 1b) et (M 1c) dans (M 2b) et (M 2c) , on
obtient deux equations

{ e + k 2 e } = 0
(M 2b)

{ e + k 2 e } = 0

(M 2c)

56

en tenant compte de 1.6.

Il sen suit que si le potentiel scalaire e satisfait `a lequation dondes
e + k2 e = 0
et les composantes e Er , e E , e E , e H , e H sont definies par les formules 1.5, alors
les champs e E = (e Er , e E , e E ), e H = (0, e H , e H ) satisfont aux equations de
Maxwell.
Les considerations pareilles sappliquent au champs magnetique (
on arrive au theor`eme suivant.
1.8. Theor`eme. Soient e ,

E,

H), et

deux solutions de lequation dondes

2 + k 2 = 0

(Ondes)

et k 2 = k1 k2 . Alors le champ (E, H) = (Er , E , E ; Hr , H , H ) defini par les

formules
2 (r e )
+ k2 r e
Er = e Er =
r 2
E =
E =

E +

E +

E =

1 2 (r e )
k2 (r m )
+
r r
r sin

E =

1 2 (r e ) k2 (r m )

r sin r
r

et
Hr =
H =
H =

Hr =

2 (r m )
+ k2 r
r 2

H + e H =

k1 (r e )
1 2 (r m )

r r
r sin

H + e H =

1 2 (r m ) k1 (r e )
+
r sin r
r

(ici le deuxi`eme triple sobtient du premier en echangeant e avec

k2 ) satisfait aux equations de Maxwell:

et k1 avec

curl H = k1 E

(M 1)

curl E = k2 H

(M 2)

57

2. Une solution de l
equation dondes
2.1. On cherche une solution de lequation
2 + k 2 = 0
en coordonnees spheriques


2
1 2 (r)

1
1

sin

+
+
+ k2 = 0
r r 2
r 2 sin

r 2 sin2 2

(O)

sous une forme

(r, , ) = R(r)()()
Alors (O) se separe en trois equations differentielles ordinaires:



d2 (rR)
2
+ k 2 rR = 0
dr 2
r

(J)



 
d
d

=0
sin
+
sin d
d
sin2

(P )

d2
+ = 0,
d2

(S)

et

et etant des constantes arbitraires (verifier!).

2.2. Une solution generale de (S) est de la forme
p
p
a cos( ) + b sin( )
Par contre, si lon veut une fonction uniforme, il faut que = m2 , m Z. Donc
une solution sera
() = am cos(m) + b sin(m)
2.3. Dans lequation (P ), faisons une substitution = cos . On obtient une
equation:

 

d
m2
2 d
(1 )
+
=0
d
d
1 2
(verifier!) Les solutions sont les fonctions adjointnes de Legendre. Afin quil soient
uniforment, il faut que soit de la forme = l(l + 1), l etant un entier positif:

 

m2
d
2 d
(1 )
+ l(l + 1)
=0
d
d
1 2
Les solutions seront:
(m)

Pl

, m = l, l + 1, . . . , 1, 0, 1, . . . , l 1, l

(P )

58

2.4. Enfin, lequation (J) apr`es un changement

Z()
kr = , R(r) =

se transforme en:



dZ
(l + 1/2)2
d2 Z
Z=0
+
+ 1
d2
d

(J)

Celui-l`a est lequation de Bessel, dont deux solutions independantes sont:

() =
et

J+1/2 ()
2

() =
N+1/2 ()
2

Ici:
J+1/2 (z) = (1)

2
z

1/2

2
z

1/2

et
N+1/2 (z) = (1)

+1

d
zdz

sin z
z

d
zdz

cos z
z

+1

(la fonction de Neumann; une autre notation pour Np est Yp ); donc



d
zdz

sin z
z

d
zdz

cos z
z

+1

(z) = (1) z
et

+1

(z) = (1) z

En dautres termes, une solution generale de (J) est de la forme

cl l (kr) + dl l (kr)
o`
u cl , dl C.
2.5. Une solution generale de lequation dondes (O) aura une forme
r(r, , ) =

X
l
X

l=0 m=l

(m)

{cl l (kr)+dl l (kr)}Pl

(cos ){alm cos(m)+blm sin(m)}

Les valeurs des coefficients cl , dl , alm , blm de cette serie sont determines par les
conditions au bord.
On peut trouver un exemple interessant dans [BW], 14.5: une description,
dapr`es G.Mie et P.Debye (cf. [M], [D]) de la diffraction de la lumi`ere sur une
petite sph`ere metallique.

59

Bibliographie

Classiques
[Euler] Leonhardi Euleri Opera Omnia. Series Prima, Opera Mathematica, vv. I
- XXIX, Lipsiae et Berolini typis et in aedibus B.G.Teubneri, 1911 - 1956. (a) Introduction `a lAnalyse Infinitesimal, t. I, Paris, chez Barrois, ane, LAn
quatri`eme de
R f 1
la Republique Francaise (1796). (b) Evolutio formulae integralis x
xdx(lx)m/n
integratione a valore x = 0 ad x = 1 extensa, Novi commentarii academiae scientarium Petropolitanae, 16 (1771), 1772, pp. 91 - 139 = Opera, v. XVII, pp. 316 357. (c) De summis serierum reciprocarum ex potestatibus numerorum naturalium
ortarum dissertatio altera in qua eaedem summationes ex fonte maxime diverso
derivantur, Miscellanea Berolinensia 7, 1743, p. 172 - 192 = Opera ???
[Gauss] Carl Friedrich Gauss, Werke, Bd. I - XII, Georg Olms Verlag, Hildesheim
- New-York, 1973. (a) Circa seriem infinitam
1+

( + 1)( + 1)
( + 1)( + 2)( + 1)( + 2) 3
x+
xx +
x +
1.
1.2.( + 1)
1.2.3.( + 1)( + 2)

etc. Pars Prior, Commentationes societatis regiae scientarum Gottingensis recentiores, Vol. II, Gottingae MDCCCXIII = Werke, Bd. III, pp. 124 - 162. (b)
Determinatio seriei nostrae per equationem differentialem secundi ordinis, Werke,
Bd. III, pp. 207 - 229.
[Jacobi] C.-G.-J. Jacobi, Gesammelte Werke, Bd. I - VIII, Chelsea Publishing
Co., 1969. (a) Demonstratio formulae
R x a1 R x b1
Z 1
e x
dx 0 e x dx
(a)(b)
a1
b1
R
=
w
(1 w) dw = 0
(a + b)
ex xa+b1 dx
0
0

Crelle J. f
ur die reine und angewandte Mathematik, Bd. 11, p. 307 = Werke, ???

[Riemann] B.Riemann, Gesammelte mathematische Werke, wissenscheftlicher

Nachlass und Nachtrage, Springer-Verlag, 1990. (a) Uber

die Anzahl der Primzahlen
unter einer gegebener Grosse, Monatsberichte der Berliner Akademie, November
1859 = Werke, pp. 177 - 185. (b) Zur Theorie der Nobilischen Farbenringe, Annalen der Physik und Chemie, Bd. 95, 28 Marz 1855 = Werke, pp. 87 - 94.
Modernes
[BW] M.Born, E.Wolf, Principles of Optics.
[Debye] P.Debye, Ann d. Physik (4), 30 (1909), 57.
[GZ] B.Gross, D.Zagier, Heegner points and derivatives of L-series, Invent. Math.,
84 (1986), 225 - 320.
[M] G.Mie, Beitrage zur Optik tr
uber Medien, speziell kolloidaler Metallosungen,
Ann d. Physik (4), 25 (1908), 377.

60

[T] E.C.Titchmarsh, Introduction to the theory of Fourier integrals, Oxford at

the Clarendon Press.
[W] G.N.Watson, A treatise on the theory of Bessel functions, 2nd edition, Cambridge University Press, 1995.
[WW] E.T.Whittaker, G.N.Watson, A course of modern analysis, Cambridge
University Press, 1927.