258

U
Q
I
N

CHAPITRE VI. LA FORMULE DE CAUCHY ET CELLE DES RSIDUS (DE CAUCHY)

H
C
TE

Alors s (t) = u(s, t) est le cercle de centre c(s) = (1 s)z0 + sz et de rayon r(s) =
(1 s)r + s, parcouru dans le sens direct. On a donc 0 = C(z0 , r) et 1 = C(z, ). Par
ailleurs, on a u(s, 0) = u(s, 1) quel que soit s [0, 1], et

E
L
O

Y
L
O
P

|u(s, t) z|  |r(s) |c(s) z|| = s + (1 s)(r |z z0 |)  ,

|u(s, t) z0 |  |c(s) z0 | + r(s) = r s(r |z z0 | )  r,

ce qui prouve que u est une homotopie de lacets dans D(z0 , r) D(z, ) {z}, de
C(z0 , r) sur C(z, ).
u(0, 14 )

u(1, 14 )

r(1/2)

u(1, 12 )

r(1/4)
r

u(14 , 12 )

u(34 , 12 )

E
L
O

E
U
IQ

c(1/2)

c(1/4)

u(0 , 12 )

u(1,0)

N
H
EC
z

c(3/4) u(1, 3 )
4

T
Y
L
PO
u(12 , 12

z0

u(34 , 34 )

u(0,0)

u(12 , 34 )

u(14 , 34 )

u(0, 34 )
L'homotopie de C(z0,r) sur C(z,)

E
U
IQ

(w)
Comme fwz
est de classe C 1 au sens complexe (en w) sur {z}, on dduit du
th. VI.1.3, que

1
2i

1
f (w)
dw =
wz
2i

N
H
EC

f (w)
dw, quel que soit > 0.
w
z
C(z0 ,r)
C(z,)

1
f (w)
1
dw = 0 f (z + e2i t ) dt
Or C(, r) est le chemin t
 z + e2i t , et donc 2i
C(z,) wz
1
tend vers 0 f (z) dt = f (z) quand tend vers 0 (continuit dune intgrale dpendant
dun paramtre, f tant continue en z puisque holomorphe dans un voisinage de z). En

E
L
O

T
Y
L
PO

E
U
Q
I

VI.2. INDICE DUN LACET PAR RAPPORT UN POINT

N
H
EC

passant la limite, on en dduit la formule

tablir.

E
L
O

T
Y
POL

1
2i

f (w)
C(z0 ,r) wz

259

dw = f (z) que lon cherchait

VI.2. Indice dun lacet par rapport un point

1. Primitives

Soit un ouvert connexe de C. Si f est holomorphe sur , on dit que F : C est

une primitive de f , si F est holomorphe sur et si F = f . Si : [a, b] est un chemin
de classe C 1 , alors (F ) (t) = f ((t))  (t), quel que soit t [a, b].
Une fonction holomorphe admet toujours localement une primitive. En eet, si f est

f (n) (z0 )
holomorphe sur D(z0 , r ), on a f (z) = +
(zz0 )n , daprs le (i) de la rem. V.2.8,
n=0
n!

+ f (n) (z0 )
et f admet la fonction F, dnie par F(z) = n=0 (n+1)! (z z0 )n+1 , comme primitive
sur D(z0 , r ). Par contre, une fonction holomorphe sur un ouvert quelconque nadmet
pas toujours une primitive sur tout .

N
H
EC

E
U
IQ

Proposition VI.2.1. Soit un ouvert connexe de C. Si f est holomorphe sur , les

conditions suivantes sont quivalentes :
(i) f admet une primitive F sur ;
(ii) f (z) dz = 0, pour tout lacet , de classe C 1 par morceaux, contenu dans .

E
L
O

T
Y
L
PO

Dmonstration. Si f admet uneprimitive F sur , alors f (z) dz = dF. On en dduit, en

utilisant le (iv) du th. V.2.2, que f (z) dz = F((b)) F((a)), si : [a, b] est C 1 .

En particulier, si est un lacet, f (z) dz = 0, puisque (b) = (a). Do limplication
(i)(ii). Passons la dmonstration de la rciproque. Fixons a . Si 1 et 2 sont
deux chemins(4) C 1 par morceaux dans , dextrmits
a et b, on obtient
un lacet en


composant 1 avec loppos de 2 ; on a donc 1 f (z) dz 2 f (z) dz = f (z) dz = 0, par

hypothse. Ceci permet de dnir F : C, par F(b) = f (z) dz, o est nimporte
quel chemin C 1 par morceaux dans , dextrmits a et b.
Il sut de prouver que F est drivable au sens complexe, et quen tout point de sa
drive est f (z0 ), car la prop. V.2.6 montre qualors F est holomorphe. Soit donc z0 ,
et soit r > 0 tel que D(z0 , r ) . Si on xe un chemin 0 joignant a z0 dans , et si
b D(z0 , r ), on fabrique un chemin b joignant a b dans , en rajoutant le segment
[z0 , b] au chemin 0 . On a alors

1
F(b) F(z0 )
1 
=
f (z) dz +
f (z) dz F(z0 ) =
f (z0 + t(b z0 )) dt,
b z0
b z 0 0
0
[z0 ,b]

T
Y
L
PO

N
H
EC

E
U
IQ

On dduit de la dmonstration de ce quun ouvert connexe de Rn est connexe par arcs quun tel ouvert
est aussi connexe par lignes brises (runion nie de segments de droite), et donc aussi par chemins C 1
par morceaux.
(4)

E
L
O

260

U
Q
I
N

CHAPITRE VI. LA FORMULE DE CAUCHY ET CELLE DES RSIDUS (DE CAUCHY)

H
C
TE

et la continuit de f en z0 permet de montrer (par exemple en utilisant le thorme

0)
f (z0 ) quand
de continuit dune intgrale dpendant dun paramtre), que F(b)F(z
bz0
b z0 . Ceci permet de conclure.

E
L
O

Y
L
O
P

Remarque VI.2.2. (i) Daprs le (ii) de la rem. VI.1.4, la condition (ii) est automatiquement vrie si est un ouvert toil ou, plus gnralement, contractile. Il en rsulte
quune fonction holomorphe sur un ouvert contractile possde une primitive.
(ii) Si a C, et si 0 < R1 < R2 , la fonction 1/(z a) est holomorphe sur la couronne
dz
C(a, R1 , R2 ), mais C(a,r) za
= 2i = 0 si R1 < r < R2 . La fonction 1/(z a) nadmet
donc pas de primitive sur la couronne C(a, R1 , R2 ) et cette couronne nest pas contractile.

Proposition VI.2.3. (logarithme dune fonction holomorphe)

Soit un ouvert contractile de C, et soit f holomorphe sur ne sannulant pas sur .

Alors il existe g holomorphe sur , telle que f = eg , et on a g  = ff .
Dmonstration. Comme est contractile, et comme

f
f

HN

E
U
IQ

est holomorphe sur , il existe,

C
E
T
LY

daprs le (i) de la rem. VI.2.2, h holomorphe sur telle que h = ff . Soit z0 .

Quitte rajouter une constante h, on peut supposer que eh(z0 ) = f (z0 ). Mais alors
(eh f ) = h eh f + eh f  = 0, et donc eh f est constante sur , et comme elle vaut 1 en
z0 , on a f = eh sur . Si g est une autre fonction holomorphe sur vriant eg = f , on
a egh = 1, et donc g h est holomorphe et valeurs dans 2iZ. Comme est connexe,

g h est constante et g  = ff .

O
P
E
L
CO

Exercice VI.2.4. (Thorme de Morera) Soient z0 C et r > 0.

(i) Montrer que, si f est holomorphe sur D(z0 , r ), alors,
f (z) dz +

(1)
[a,b]

f (z) dz = 0 quels que soient a, b, c D(z0 , r ).

f (z) dz +
[b,c]

[c,a]


(ii) Soit f : D(z0 , r ) C continue, et vriant la proprit (1). Soit F(z) = [z0 ,z] f (z) dz. Montrer
que h1 (F(z + h) F(z)) tend vers f (z), quand h tend vers 0. En dduire que F et f sont holomorphes.
(iii) Soit un ouvert de C. Montrer que f : C est holomorphe si et seulement si f est continue



et [a,b] f (z) dz + [b,c] f (z) dz + [c,a] f (z) dz = 0 quels que soient a, b, c tels que le triangle plein
(i.e. avec son intrieur) de sommets a, b et c soit inclus dans .

2. Nombre de tours dun lacet autour dun point

N
H
EC

E
U
IQ

Soit z0 C, et soit un lacet ne passant pas par z0 . Notre but est de dnir mathmatiquement le nombre de tours que fait autour de z0 .
2.1. Dnition

T
Y
L
PO

Lemme VI.2.5. Soit : [a, b] C {z0 } un chemin C 1 par morceaux. Si t [a, b],
dz
soit t la restriction de [a, t], et soit f (t) = t zz
. Alors ef (t) ((t)z0 ) est constante
0
sur [a, b].

E
L
O

E
U
Q
I

261

VI.2. INDICE DUN LACET PAR RAPPORT UN POINT

N
H
EC

 t  (u)
Dmonstration. Par dnition, on a f (t) = 0 (u)z
du, et donc f  (t) =
0
f (t)
((t) z0 ) est donc
nest pas un point anguleux de . La drive de e

T
Y
POL

f  (t)ef (t) ((t) z0 ) + ef (t)  (t) = ef (t) (

E
L
O

 (t)
,
(t)z0

si t

 (t)
((t) z0 ) +  (t)) = 0,
(t) z0

et f est constante par morceaux ; comme elle est continue cela permet de conclure.

Corollaire VI.2.6. Si : [a, b] C est un lacet C 1 par morceaux, ne rencontrant

1
dz
pas z0 , alors I(, z0 ) = 2i
est un entier.
zz0

(b)z0
Dmonstration. En reprenant les notations du lemme, on voit que ef (b) = ef (a) (a)z
,
0
 dz
f (b)
f (a)
=e
= 1, ce qui permet de conclure.
et, comme est un lacet, que exp( zz0 ) = e

E
U
IQ

Lentier I(, z0 ) dni ci-dessus est lindice de par rapport z0 . Par exemple, si
est le chemin C(a, r), et si |z0 a| < r, la formule de Cauchy utilise pour la fonction
constante 1, montre que I(C(a, r), z0 ) = 1. Par contre, si |z0 a| > r, le cercle C(z0 , r)
1
est homotope {a} dans C {z0 }, et comme zz
est holomorphe sur C {z0 }, on a
0
I(C(a, r), z0 ) = 0. Autrement dit, si z0 est lintrieur du cercle parcouru dans le sens
direct, alors lindice du cercle par rapport z0 est 1, alors que si z0 est lextrieur, cet
indice est 0, ce qui est en accord avec lide selon laquelle I(, z0 ) reprsente le nombre de
tours que fait autour de z0 . On fera attention au fait que, si le cercle est parcouru dans
le sens rtrograde, son indice par rapport un point lintrieur est 1.

E
L
O

T
Y
L
PO

N
H
EC

2.2. Dtermination visuelle de lindice dun lacet par rapport un point

Dans les situations considres dans ce cours, les lacets considrs sont sans point double
(et sont constitus de segments de droite et darcs de cercle), et un thorme de Jordan
arme quun tel lacet dcoupe le plan en deux rgions, lune lintrieur du lacet et
lautre lextrieur du lacet, auquel cas on se retrouve dans le mme cas de gure que
pour le cercle. Dans le cas gnral, dterminer sur un dessin lindice dun lacet par rapport
un chemin peut donner le tournis, mais la prop. VI.2.7 ci-dessous fournit un procd
permettant un calcul en regardant toujours droit devant soi.
La recette est la suivante. On choisit un point a C assez grand pour que que
D(0, |a| ), et on trace un chemin u allant de a z0 . Alors I(, z0 ) = ng nd ,
o ng (resp. nd ) est le nombre de points dintersections de u et , o arrive de la
gauche(5) (resp. de la droite), quand on va de a z0 .

(5)

T
Y
L
PO

N
H
EC

E
U
IQ

Pour que ceci ait un sens, il vaut mieux prendre quelques prcautions ; par exemple, imposer que u et
ne sintersectent quen des points simples non anguleux de , et que les tangentes et u en un
point dintersection ne soient pas colinaires.

E
L
O

262

Y
L
O
P
0

U
Q
I
N

CHAPITRE VI. LA FORMULE DE CAUCHY ET CELLE DES RSIDUS (DE CAUCHY)

E
L
O

H
C
TE
1

2
3
3

z1

1
1

0 1

E
L
O
I(,z0)=3

z0

1 0

T
Y
L
PO
z2

I(,z1)=1

N
H
EC

E
U
IQ

-1 0

I(,z2)=1

Soit un lacet dans C. Comme est compact (en tant quimage dun intervalle compact par une
application continue), son complmentaire est ouvert, et chacune des composantes connexes du complmentaire est un ouvert. Dautre part, si R est assez grand, est inclus dans D(0, R), et comme CD(0, R)
est connexe, une (et une seule) des composantes connexes de C contient C D(0, R), pour R assez
grand. Cette composante connexe est la composante connexe de linni.
Proposition VI.2.7. Soit un lacet C 1 par morceaux.
(i) z  I(, z) est constant sur chacune des composantes connexes de C .
(ii) I(, z) = 0 si z est dans la composante connexe de linni de C .
(iii) Soit t  (t), t [a, b] un paramtrage de , C 1 par morceaux, et soit t0 ]a, b[ tel que (t0 ) soit
un point simple de , et  (t0 ) = 0. Si h C vrie Im(h) > 0, et si > 0 est assez petit, alors
(t0 ) + h  (t0 ) et (t0 ) h  (t0 ) nappartiennent pas ,
I(, (t0 ) + h  (t0 )) I(, (t0 ) h  (t0 )) = 1.

N
H
EC

E
U
IQ

Dmonstration. Le thorme de continuit dune intgrale dpendant dun paramtre montre que
z0  I(, z0 ) est continue sur C , et comme I(, z0 ) est valeurs dans Z, qui est discret, cela dmontre
le (i).
Si D(0, R), et si |z0 | > R, alors est homotope un point dans C {z0 } (et mme dans D(0, R),
 dz
1
est holomorphe sur C {z0 }, on a zz
= 0. On en
puisque D(0, R) est contractile), et comme zz
0
0
dduit le (ii) pour |z0 | > R, et le (i) permet de terminer la dmonstration du (ii).

E
L
O

T
Y
L
PO

E
U
Q
I

263

VI.2. INDICE DUN LACET PAR RAPPORT UN POINT

N
H
EC

Passons la dmonstration du (iii). Choisissons h C, avec Im(h) > 0. On a donc 0 < arg(h) < .
Quitte faire une translation sur la variable, on peut supposer t0 = 0, et quitte transformer la situation
par la similitude z   (t0 )1 (z (t0 )), on peut supposer que (t0 ) = 0, et  (t0 ) = 1, ce qui permet de
simplier un peu les formules. On a alors limt0 t1 (t) = 1, ce qui implique quil existe > 0 tel que,
quel que soit t [, ] {0},
|arg(t1 (t))| < 12 inf(arg(h), (arg(h)),
|t1 (t) 1|  1/2.
Par ailleurs, comme 0 = (0) est un point simple de , il existe > 0 tel que d(0, (t))  , si
t [a, b]] , [. On en dduit que, si 0 < < |h|1 , alors h nest pas de la forme (t), avec
t [a, b]] , [. Par ailleurs, h nest pas non plus de la forme (t), avec t [, ], puisque h = 0
1
et arg( h
, alors h
(t) ) = 0, si t [, ] {0}, daprs le choix de . En rsum, si 0 < < |h|
nappartient pas .
Maintenant, on a I(, h) I(, h) = I1 () + I2 (), o lon a pos

T
Y
POL

E
L
O
I1 () =

1
2i

([a,]([,b])

dz
dz

z h z + h

et I2 () =

1
2i

([,])

dz
dz

.
z h z + h

N
H
EC

E
U
IQ

1
1
2
On a lim0+ I1 () = 0, puisque zh
z+h
tend vers 0 et est major en module par |h|
. Comme
I(, h) I(, h) Z, il sut donc, pour montrer que I(, h) I(, h) = 1, si > 0 est assez petit,
de prouver que lim0+ I2 () = 1. Pour cela, crivons 2i I2 () sous la forme

2i I2 () =
([,])

z2

E
L
O

T
Y
L
PO

2h
dz =
2 h2

2h  (t)
dt =
(t)2 2 h2

2h  (t)
dt.
h2

2 (t)2

Lexpression sous lintgrale tend vers t22h

h2 quand tend vers 0 et t R. Par ailleurs, daprs le choix de
, il existe c > 0 tel que 2 c > arg(h2 (u)2 ) > c, si u [, ] ; on en dduit lexistence de C > 0 (avec
C = 1, si cos c  0, et C = | sin c|, si cos c  0) tel que |(t)2 h2 |  C sup(|(t)2 |, |h2 |), quels que
soient , R+ . Comme |(u)|  12 |u|, et comme il existe M  0 tel que |  (u)|  M, si u [, ], on

(t)
2|h|M
peut majorer, en module, 22h
(t)2 h2 sur [/, /], par C sup(t2 /4,|h|2 ) , qui est une fonction sommable
sur R, indpendante de . On obtient donc, via le thorme de continuit dune intgrale dpendant dun
paramtre,
+

lim+ 2i I2 () =

2h
dt.
t2 h 2

Finalement, en posant h = + i , avec > 0 par hypothse, cette dernire intgrale devient.
+

E
U
IQ

(t ) + i
(t + ) i

dt
(t )2 + 2
(t + )2 + 2

1
(t )2 + 2 +
t + +
t
+ artg
+ i artg
= 2i,
= log
2
(t + )2 + 2

dt
dt

=
th t+h

T
Y
L
PO

N
H
EC

ce qui permet de conclure. (On peut fabriquer (exercice) une dmonstration de ce que I2 () 1 en
remarquant quau voisinage de 0, est le graphe dune fonction, ce qui permet dcrire 2i I2 () comme
lintgrale de dz
z sur un contour C ressemblant un paralllogramme de sommets h, priv des
cots verticaux (dont la longueur tend vers 0). La formule des rsidus (th. VI.3.11) montre que lintgrale
sur C est gale 2i. On vite de cette manire les majorations ci-dessus.)

E
L
O

264

U
Q
I
N

CHAPITRE VI. LA FORMULE DE CAUCHY ET CELLE DES RSIDUS (DE CAUCHY)

H
C
TE

VI.3. La formule des rsidus de Cauchy

Y
L
O
P

1. Fonctions holomorphes sur une couronne

Si z0 C et si 0  R1 , < R2 , on note C(z0 , R1 , R2 ) la couronne ouverte des z C, avec

R1 < |z z0 | < R2 . Si R1 = 0, on obtient le disque point ouvert de centre z0 et de rayon
R2 (i.e. D(z0 , R
2 ) {z0 }).

E
L
O

Lemme VI.3.1. Si f est holomorphe sur la couronne C(z0 , R1 , R2 ), si z C(z0 , R1 , R2 ),

et si R1 < r1 < |z z0 | < r2 < R2 , alors
f (z) =

1
2i

C(z0 ,r2 )

f (w)
1
dw
wz
2i

C(z0 ,r1 )

f (w)
dw.
wz

Dmonstration. Le lecteur est invit suivre les arguments qui suivent(6) sur un dessin.

E
L
O

PO
R2

LY T

N
H
EC
r

2'

1'

R1

E
U
IQ

a
r2

r1

z0
R

Soit r < inf(r2 |z z0 |, |z z0 | r1 ) de telle sorte que D(z, r) C(z0 , r1 , r2 ). Soit

R ]|z z0 |r, |z z0 |+r[ de telle sorte que les cercles C(z0 , R) et C(z, r) sintersectent en
deux points a et b. Soit 0 larc du cercle C(z0 , R) lextrieur de D(z, r), parcouru dans
le sens direct ; quitte changer les noms de a et b, cest un chemin allant de b a. Soit 1
(resp. 2 ) larc du cercle C(z, r) lintrieur (resp. lextrieur) de D(z0 , R), parcouru dans
le sens rtrograde (resp. direct) ; cest un chemin allant de a b. Si i {1, 2}, soit i le
(6)

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

Il peut aussi prfrer utiliser la forme gnrale de la formule de Stokes, dont on dduit directement que

f (w)
(w)
dw = i fwz
dw, car f est holomorphe sur louvert dlimit par C(z0 , ri ) et i .
C(z0 ,ri ) wz

E
U
Q
I

VI.3. LA FORMULE DES RSIDUS DE CAUCHY

N
H
EC

265

lacet dans C(z0 , r1 , r2 ) {z} obtenu en composant 0 , avec i ; cest un lacet homotope(7)
dans C(z0 , R1 , R2 ) {z} C(z0 , ri ). On a donc

E
L
O

T
Y
POL

r2
z0

R1

r1

z0

=
2

r2

z0

E
L
O

- TEC

Y
L
O
P

HN
z

E
U
IQ

r1

z0

=
z

r1

r2

z0

(7)

E
U
IQ

Cest parfaitement vident sur un dessin, mais on peut aussi crire une formule dhomotopie explicite.
Par exemple, pour aller de 2 C(z0 , r2 ), on paramtre 0 par 0 (t) = z0 + Re2i(t) , o est choisit
pour que 0 (t) = b, et t [0, ], avec < 1 vriant 0 () = a, puis on paramtre 2 sous la forme
2 (t) = z + re2i(t+) , avec t [, 1], ce qui nous fournit un paramtrage t  2 (t), avec t [0, 1],
de 2 . Finalement, on paramtre C(z0 , r2 ) sous la forme t  (t) = z0 + r2 e2i(t) , avec t [0, 1], et
on fabrique une homotopie u(s, t) de 2 sur C(z0 , r2 ), en posant u(s, t) = (1 s)2 (t) + s(t). Il reste
vrier que cette homotopie a bien lieu dans C(z0 , R1 , R2 ) {z}, ce qui est vident sur un dessin (on sest
dbrouill pour que langle entre 2 (t) z0 et (t) z0 soit petit, et u(s, t) parcourt le segment [2 (t), (t)]
quand s varie de 0 1).

E
L
O

T
Y
L
PO

N
H
EC

266

C(z0 ,r2 )

U
Q
I
N

CHAPITRE VI. LA FORMULE DE CAUCHY ET CELLE DES RSIDUS (DE CAUCHY)

Y
L
O
P

f (w)
dw
wz

E
L
O

C(z0 ,r1 )

H
C
TE

f (w)
dw =
wz

f (w)
dw
wz

f (w)
dw
wz

2

f (w)
dw
wz

1

f (w)
dw =
wz

f (w)
dw.
wz

C(z,r)

On conclut en utilisant la formule de Cauchy pour la fonction f , qui est holomorphe sur
D(z, r ).
Corollaire VI.3.2. Si f est holomorphe sur C(z0 , R1 , R2 ), il existe une unique suite
(an )nZ dlments de C vriant

1
n
(i) +
a z n converge si |z|1 < R1
1 ;
n=0 an z converge si |z| < R2 et
n=
n
(ii) f (z) est somme de la srie (de Laurent) nZ an (z z0 )n , si z C(z0 , R1 , R2 ).
De plus, quels que soient r ]R1 , R2 [ et n Z, on a
an =

1
2i

(w z0 )n1 f (w) dw.

C(z0 ,r)

T
Y
L
PO

N
H
EC

E
U
IQ

Dmonstration. Si r, r ]R1 , R2 [, les cercles C(z0 , r) et C(z0 , r ) sont homotopes dans

C(z0 , R1 , R2 ). Comme
(z z0 )n1 f (z) est holomorphe dans C(z0 , R1 , R2 ), cela permet de

1
montrer que 2i C(z0 ,r) (z z0 )n1 f (z) dz ne dpend pas du choix de r ]R1 , R2 [ ; notons
le an . Maintenant, daprs le lemme VI.3.1, si R1 < r1 < |z z0 | < r2 < R2 , on a

E
L
O
f (z) =

Par ailleurs,

1
=
wz

1
2i

C(z0 ,r2 )

1
f (w)
dw
wz
2i

C(z0 ,r1 )

+

(zz0 )n
n=0 (wz0 )n+1 ,

(wz0 )n
+
n=0 (zz0 )n+1

1

f (w)
dw.
wz

si |w z0 | = r2 ,

(zz0 )n
n= (wz0 )n+1 ,

si |w z0 | = r1 .

On en dduit, en reportant les dveloppements ci-dessus dans lintgrale comme dans la

dmonstration de la prop. V.2.6, la convergence normale (pour la norme uniforme) de la

srie nZ an (z z0 )n vers f (z) sur la couronne r1 < |z z0 | < r2 . On conclut en faisant
tendre r1 vers R1 et r2 vers R2 .
2. Fonctions holomorphes sur un disque point ; rsidus

N
H
EC

E
U
IQ

Soient un ouvert de C, z0 , et f holomorphe sur {z0 }. Soit r > 0 tel que

D(z0 , r ) . La fonction f est donc holomorphe sur le disque point D(z0 , r ) {z0 }
qui peut aussi tre vu comme la couronne C(z0 , 0, r). On peut donc lui appliquer les
rsultats du no 1, et on en dduit lexistence dune suite (an )nZ de nombres complexes
vriant les proprits suivantes :

n

la srie g(z) = +
n=0 an (z z0 ) converge sur D(z0 , r ) ;

E
L
O

T
Y
L
PO

E
U
Q
I

VI.3. LA FORMULE DES RSIDUS DE CAUCHY

N
H
EC

267


la srie h(z) = n1 an (z z0 )n converge, et dnit une fonction holomorphe, sur
C {z0 } ;

f (z) = nZ an (z z0 )n , quel que soit z D(z0 , r ) {z0 }.
La srie h(z) est la partie singulire de f en z0 , et le coecient a1 de (z z0 )1 est le
rsidu Res(f, z0 ) de f en z0 .
On dit que f est holomorphe(8) en z0 , si h = 0. Plus gnralement, on dit que f est
mromorphe en z0 , sil existe k Z, avec an = 0, si n  k. Si k est un entier  1, on dit
que f a un ple dordre k en z0 , si ak = 0 et an = 0, quel que soit n < k (9) . On dit
que f a une singularit essentielle en z0 si elle nest pas mromorphe en z0 .
On peut reformuler les dnitions ci-dessus en terme de la valuation vz0 (f ) de f en z0
dnie par

E
L
O

T
Y
POL

vz0 (f ) =

inf

nZ, an =0

Z {}.

E
U
IQ

On a alors :
vz0 (f ) = f a une singularit essentielle en z0 ;
vz0 (f ) > f est mromorphe en z0 ;
vz0 (f ) = k, k N {0} f a un ple dordre k en z0 ;
vz0 (f )  0 f est holomorphe en z0 ;
vz0 (f ) = 0 f est holomorphe et ne sannule pas en z0 ;
vz0 (f ) = k, k N f a un zro dordre k en z0 ;
vz0 (f ) = + f est nulle dans la composante connexe de z0 dans .
Dans les quivalences prcdentes, la seule qui ne soit pas une reformulation de la dnition est la dernire, qui est une reformulation du thorme des zros isols (th. V.1.16).

E
L
O

T
Y
L
PO

N
H
EC

Si est un ouvert de C, on dit que f : C est mromorphe sur , si f est

mromorphe en tout point de .
Pour un certain nombre dapplications, il est important de savoir calculer explicitement
le rsidu Res(f, z0 ) de f en z0 . Lexercice ci-dessous fournit quelques recettes (10) .
Exercice VI.3.3. Soient un ouvert de C et z0 .
(i) Si f est holomorphe en z0 , alors Res(f, z0 ) = 0.
(ii) Si f = hg , o g et h sont holomorphes sur , si g(z0 ) = 0, et si h a un zro simple
0)
en z0 , alors Res(f, z0 ) = hg(z
 (z ) .
0
(8)

N
H
EC

E
U
IQ

Cest un abus de langage, mais cela veut dire que la fonction f peut se prolonger par continuit en z0 ,
et que la fonction obtenue est holomorphe sur D(z0 , r ).
(9)
Une fonction est donc mromorphe si et seulement si elle est holomorphe ou a un ple dordre k, avec
kN
(10)
Si f a une singularit essentielle, il est en gnral impossible de trouver une expression nie du
rsidu. Cest une des raisons qui fait que certaines intgrales rsistent la mthode des rsidus (cf.
exercices du no 4).

E
L
O

T
Y
L
PO

268

U
Q
I
N

CHAPITRE VI. LA FORMULE DE CAUCHY ET CELLE DES RSIDUS (DE CAUCHY)

H
C
TE

(iii) Si f a un ple simple en z0 , et si g est holomorphe en z0 , alors Res(gf, z0 ) =

g(z0 )Res(f, z0 ).
(k1) (z )
0
(iv) Si k  1, et f = (z z0 )k g, o g est holomorphe sur , alors Res(f, z0 ) = g (k1)!
.

E
L
O

Y
L
O
P

(v) Si f est mromorphe sur , alors

aux ples et zros de f , et on a

Res(

f
f

est mromorphe sur , avec des ples simples

f
, z0 ) = vz0 (f ),
f

quel que soit z0 .

1
1/z
Exercice VI.3.4. Soit R+ . Calculer Res( z2 +
, 0).
2e

Exercice VI.3.5. Montrer que f est mromorphe sur , si et seulement si tout point z0 de a un
voisinage(11) ouvert U sur lequel f peut scrire sous la forme f = hg , avec g et h holomorphes sur U.
Exercice VI.3.6. (i) Montrer quune fonction mromorphe borne linni (il existe M et R tels que
|f (z)|  M, si |z|  R) est une fraction rationnelle.
(ii) Montrer quune fonction mromorphe tendant vers linni linni est une fraction rationnelle.

N
H
EC

E
U
IQ

Exercice VI.3.7. Soit H = {z C, Im(z) > 0} le demi-plan de Poincar, et soit f : H C une

fonction holomorphe, priodique de priode 1.
(i) Montrer quil existe f : D(0, 1 ) {0} C, holomorphe, telle que f (z) = f(e2i z ).
(ii) En dduire quil existe une suite (an (f ))nZ de nombres complexes, telle que lon ait f (z) =

2i nz
, quel que soit z H , la srie tant normalement convergente sur toute bande horinZ an (f )e
zontale a  Im(z)  b, avec 0 < a < b < +.

E
L
O

T
Y
L
PO

Exercice VI.3.8. Soit (xn )nN une suite dlments de C tendant vers linni, et soit (kn )nN une
suite dlments de N.
(i) Montrer quil existe an N tel que, si |z| < |x2n | , alors


z  xzn + 2xz22 ++ anzaxnan kn


n
n
1  2n .
e
 1
xn

(ii) Construire une fonction holomorphe sur C dont les zros sont les xn avec multiplicit kn .
(iii) Montrer que toute fonction mromorphe sur C est quotient de deux fonctions holomorphes sur C.
(iv) Montrer, en adaptant la mthode, que toute fonction mromorphe sur D(0, 1 ) est quotient de
deux fonctions holomorphes sur D(0, 1 ).
Exercice VI.3.9. Soient R > 0 et f holomorphe sur D(z0 , R ) {z0 }. Montrer que :
(i) f est holomorphe en z0 , si et seulement si f est borne dans D(z0 , r) {z0 }, quel que soit r ]0, R[

1
(z z0 )1n f (z) dz) ;
(on pourra sintresser 2i
C(z0 ,r)
(ii) f est mromorphe non holomorphe en z0 si et seulement si |f (z)| + quand z z0 ;
(iii) f a une singularit essentielle en z0 si et seulement si limage de D(z0 , r ){z0 } par f est dense(12)
dans C, quel que soit r ]0, R[.

T
Y
L
PO
g
h,

(11)

N
H
EC

E
U
IQ

On peut montrer que lon peut crire f =

avec g et h holomorphes sur tout entier, mais cest
loin dtre vident si est un ouvert quelconque.
(12)
Le grand thorme de Picard arme quen fait limage de D(z0 , r ) {z0 } par f contient C au
plus un point prs (lexemple de e1/z montre que ce rsultat est optimum). La dmonstration repose sur
des techniques un peu plus sophistiques que celles introduites dans ce cours.

E
L
O

E
U
Q
I

269

VI.3. LA FORMULE DES RSIDUS DE CAUCHY

N
H
EC

Exercice VI.3.10. (i) Soit f : C C holomorphe. Montrer, en utilisant lexercice prcdent, que si f
nest pas un polynme, alors f (C D(0, n)) est un ouvert dense de C, quel que soit n N. En dduire
que f nest pas injective.
(ii) Montrer que si f : C C est holomorphe bijective, alors il existe a C et b C tels que
f (z) = az + b, quel que soit z C.

E
L
O

T
Y
POL

3. La formule des rsidus

Thorme VI.3.11. Soient un ouvert de C, F un ensemble ni de points de ,

f une fonction holomorphe sur F, et un lacet de , contractile dans , et ne
rencontrant pas F. Alors

f (z) dz = 2i
I(, a)Res(f, a).

aF

Dmonstration. Si a F, et si ra > 0 est tel que D(a, ra ) est inclus dans et ne

contient aucun autre point de F, alors il existe une suite (ca,n )nZ dlments de C, telle


n

que f (z) =
ca,n (z a)n
nZ ca,n (z a) , si z D(a, ra ). De plus, la srie
n2
n+1
dnit une fonction holomorphe ga dans C {a}, et ga admet Ga (z) = n2 ca,n (za)
n+1

a,1
comme primitive sur C {a}. Soit alors h = f aF (ga + cza
). Par construction, h est
holomorphe sur F, et a une singularit ctive en tous les points de F ; elle se prolonge
donc, par continuit,
On a alors
 holomorphesur tout
 entier.
 en une fonction

dz
f (z) dz = h(z) dz + aF ga (z) dz + aF ca,1 za
;

h(z) dz = 0 puisque h est holomorphe dans et est contractile dans ;

ga (z) dz = 0, si a F, puisque ga a une primitive sur {a} qui contient ;
 dz
= 2i I(, a), par dnition.
ca,1 = Res(f, a) et za
Ceci permet de conclure.

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

La formule des rsidus permet de localiser les zros dune fonction holomorphe.
Corollaire VI.3.12. Soit C un ouvert, et soient z0 et r > 0 tels que
D(z0 , r) . Soit f holomorphe sur . Si C(z0 , r) ne contient aucun zro de f , alors le

f  (z)
1
nombre de zros de f dans D(z0 , r ), compts avec multiplicit, est gal 2i
dz.
C(z0 ,r) f (z)


(z)
Dmonstration. On sait (cf. (v) de lex. VI.3.3) que ff (z)
est mromorphe sur , avec
des ples simples aux zros de f , le rsidu en chacun de ces ples tant lordre du zro
de f . La formule des rsidus permet de conclure.

4. Exercices

N
H
EC

E
U
IQ


2
2
Exercice VI.3.13. Soit f dnie sur R par f (t) = et . Rappel : R et dt = 1.
(i) Montrer que f se prolonge analytiquement en une fonction (encore note f ) holomorphe sur C.
(ii) Si a R et R R+ , soit a,R le lacet compos des segments [R, R], [R, R + ai], [R + ai, R + ai]

et [R + ai, R]. Que vaut a,R f (z) dz ?
2
(iii) En dduire, en faisant tendre R vers +, que f(a) = ea .

E
L
O

T
Y
L
PO

270

U
Q
I
N

CHAPITRE VI. LA FORMULE DE CAUCHY ET CELLE DES RSIDUS (DE CAUCHY)

H
C
TE

Exercice VI.3.14. Calculer les intgrales suivantes par la mthode des rsidus :


dx
(a) R (x2 +1)(x2dx
+4)(x2 +9) et R (x+i)(xi)(x2i)(xni) . (On prendra un lacet form du segment
[R, R] et dun demi-cercle convenable.)
R
x3
(b) limR+ R (x2 +1)(x
2 +x+1) dx.
 + xa
(c) 0
dx,
avec
a,
b
N et b  a + 2. (On prendra un lacet form du segment [0, R], dun arc
xb +1
de cercle convenable, et dun segment [Rei , 0], avec bien choisi.)

E
L
O

Y
L
O
P

Exercice VI.3.15. (transforme de Fourier de fonctions rationnelles)

 2i t
 2i t
(i) Calculer R e t2 +1 dt et R e(t+i)2 dt par la mthode des rsidus. (On prendra un lacet form du
segment [R, R] et dun demi-cercle convenable(13) )
R
2i t
(ii) Calculer de mme limR+ R tte2 +t+1 dt.

Exercice VI.3.16. Soit ,R le lacet compos du segment [, R], du demi-cercle C+ (0, R) : [0, ] C,
donn par t  Reit , du segment [R, ], et demi-cercle C+ (0, )opp , donn par t  ei(t) . (Faire un
dessin.)

iz
(i) Calculer ,R ez dz via la formule des rsidus.

iz
(ii) Montrer que C+ (0,R) ez dz 0 quand R +.

iz
(iii) Calculer la limite de C+ (0,)opp ez dz quand 0.
 + sin x

(iv) En dduire que 0

x dx = 2 .

T
Y
L
PO

N
H
EC

E
U
IQ

Exercice VI.3.17. Nous nous proposons de dmontrer que (s)(1 s) = sins , pour tout s
/ Z
(formule des complments), o est la fonction holomorphe sur C (N) de lexercice V.2.22.
(i) Soit s dans la bande 1 < Re(s) < 0. (On peut adapter ce qui suit pour calculer les intgrales
 +
du type 0 f (t)ts dt, o f est une fraction rationnelle). Si r > 0, on note C+ (0, r) le quart de cercle
 rei , pour [0, 2 ] et C (0, r) les 3 quarts de cercle  rei , pour [ 2 , 2]. Si 0 < < R, soit
+

le lacet obtenu en composant C+ (0, R), [iR, i], C+ (0, )opp et [, R] (faire un dessin !), et soit ,R
,R
le lacet obtenu en composant [i, iR], C (0, R), [R, ] et C (0, )opp .


s
(z)s
(a) Calculer + (z)
z+1 dz et
z+1 dz en utilisant la formule des rsidus, avec log(z) R, si

E
L
O
,R

,R

z R . (Attention la dtermination du logarithme !).

(b) Montrer que les intgrales sur les portions de cercle tendent vers 0 quand 0 et R +.
 + ys
(c) En dduire la valeur de 0
y+1 dy, si 1 < Re(s) < 0.
 1 s1
(ii) Soit B(s, t) = 0 x (1 x)t1 dx. Montrer que B(s, t) = (s)(t)
(s+t) , si Re(s) > 0 et Re(t) > 0. (On
crira (s + t)B(s, t) comme une intgrale double.)
 + ys1
(iii) Dmontrer la formule des complments (on utilisera la formule B(s, t) = 0
(1+y)s+t dy obtenue
x
).
en faisant le changement de variable y = x1
 +
Exercice VI.3.18. Calculer 0
sur les contours de lex. VI.3.17.)

log t
(t+1)(t+2)

dt par la mthode des rsidus. (On intgrera

Exercice VI.3.19. Soit P C[X] unitaire de degr n. Calculer

1
R+ 2i
lim

En dduire que C est algbriquement clos.

(13)

E
L
O

P (z)
dz.
P(z)

T
Y
L
PO
C(0,R)

N
H
EC

E
U
IQ

(log z)2
(z+1)(z+2)

dz

Une manire de voir que lon a pris le bon demi-cercle est de vrier que ce quon obtient tend vers 0
quand || + ; il faut aussi faire attention lindice du lacet par rapport aux ples...

E
U
Q
I

VI.3. LA FORMULE DES RSIDUS DE CAUCHY

N
H
EC

271

Exercice VI.3.20. Soit un ouvert connexe de C, Soit f une fonction holomorphe non identiquement
nulle sur , et soit fn une suite de fonctions holomorphes tendant vers f uniformment sur tout compact
de .
(i) Soient z0 et r > 0 tels que D(z0 , r) . On suppose que C(z0 , r) ne contient aucun zro de f .
Montrer quil existe N(z0 , r) tel que, si n  N(z0 , r), alors f et fn ont le mme nombre de zros, compts
avec multiplicit, dans D(z0 , r ).
(ii) Montrer que, si fn est injective sur , pour tout n assez grand, il en est de mme de f .

E
L
O

T
Y
POL

Exercice VI.3.21. (Thorme de Rouch et applications).

Soient R > 0, D = D(0, R) et C = D le cercle de centre 0 et de rayon R. Soient un ouvert contenant
D, f holomorphe sur , ne sannulant pas sur C, et g holomorphe sur , telle que |f (z) g(z)| < |f (z)|,
si z C.
(i) Montrer quil existe  ouvert contenant C et h holomorphe sur  tels que fg = eh sur  .
Que vaut h ?
(ii) Montrer que f et g ont le mme nombre de zros (compts avec multiplicit) dans D (thorme de
Rouch). Le rsultat nest-il valable que pour un disque ?
(iii) Soit G holomorphe sur telle que |G(z)| < R, si z C. Montrer que G(D) D et que G a un
unique point xe dans D.
(iv) Montrer que toutes les solutions de z sin z = 1 sont relles.

N
H
EC

E
U
IQ

Exercice VI.3.22. Soit la fonction mromorphe sur C, holomorphe en dehors de ples simples en
 +
les entiers ngatifs, dnie par (z) = 0 et tz dt
t , si Re(z) > 0. On rappelle (cf. ex. V.2.22) que lon a
(z+n+1)
, quel que soit n N.
(z) = z(z+1)(z+n)

E
L
O

T
Y
L
PO
(1)n
n! .

(i) Montrer que limzn (z + n)(z) =

 c+i
(ii) Montrer que, si x > 0, et si c
/ N, alors Ic (x) = ci xz (z) dz converge.
(iii) Si n N, calculer I1 (x) I 12 n (x) par la mthode des rsidus.
 1+i z
1
x (z) dz = ex .
(iv) Montrer que I 12 n (x) 0. En dduire que 2i
1i
(v) Retrouver le rsultat en utilisant la transforme de Fourier.

Exercice VI.3.23. Si N N, soit CN le carr de sommets (2N + 1)(1 i) parcouru dans le sens

direct, et soit IN = CN z2 (edz
z 1) .
(i) Calculer IN en utilisant la formule des rsidus.
(ii) Montrer que IN 0 quand N +.
2
(iii) En dduire la formule (2) = 6 .
+
n
(iv) Soient Bn , pour n N, dnis par ezz1 = n=0 Bn zn! . Adapter ce qui prcde pour calculer
(2k), pour k N {0}, en fonction des Bn . En dduire que 2k (2k) Q.
Exercice VI.3.24. Calculer lintgrale de

1
la valeur de nZ (n2 +1)
2.

cotg z
(z 2 +1)2

sur le carr de sommets (N + 12 )(1 i). En dduire

N
H
EC

E
U
IQ

Exercice VI.3.25. (transforme de Fourier de ch1t )


et
2i z ez
Calculer R e2i t e2t
+1 dt de deux manires : dune part en intgrant e
e2z +1 dz sur un rectangle
convenable, en faisant tendre les sommets vers linni, dautre part en crivant
en et ou et suivant que t est ngatif ou positif. Comparer avec lex. V.2.16.

T
Y
L
PO

et
e2t +1

comme une srie

Exercice VI.3.26. (intgrale de la gaussienne et loi de rciprocit quadratique)


2
Cet exercice fournit une dmonstration de la formule R et dt = 1 par la mthode des rsidus, et
une dmonstration de la loi de rciprocit quadratique.

E
L
O

272

U
Q
I
N

CHAPITRE VI. LA FORMULE DE CAUCHY ET CELLE DES RSIDUS (DE CAUCHY)

H
C
TE


2
k2
et dt et, si a N {0}, on pose G(a) = kZ/aZ e2i a .
 t2 2i tz
e
est holomorphe sur C.
(a) Montrer que z  F(z) = R e
2
(b) Calculer F(iy), si y R ; en dduire que F(z) = I ez , pour tout z C.

2a1 2az2 2 kz
. Montrer que
e
, o = 1+i
(t) dt =
(c) Soit a (z) =
k=0 e
R a
2

2
k2
commencera par montrer que R e2at e2kt dt = I2a e2i 4a .)

(i) On note I lintgrale

E
L
O

Y
L
O
P

I G(4a).
8a

(On

2az 2

(ii) Si a N {0}, soit a (z) = e2i z .

e
1
(a) Vrier que a (z ) a (z) = a (z).


(b) Calculer R a (t 2 ) dt R a (t + 2 ) dt par la mthode des rsidus.
(c) En dduire que I8a G(4a) = , puis que I = 1.
 
 
(iii) Si p est un nombre premier, et si (n, p) = 1, on dnit le symbole de Legendre np par np = 1, si n
 

nk2
est un carr dans Fp et np = 1 si n nest pas un carr dans Fp . On pose aussi Gn (p) = kFp e2i p .
On rappelle que, si a et b sont premiers entre eux, alors (x, y)  bx + ay induit une bijection de
(Z/aZ) (Z/bZ) sur Z/abZ.

(a) Relier G(4a) et G(a) si a est impair ; en dduire que G(a) = a, si a 1 mod 4 et G(a) = i a, si
a 3 mod 4 (formule due Gauss).
 

m
(b) Montrer que mFp e2i p = 0 ; en dduire que Gn (p) = np G(p), si (n, p) = 1.
  
(c) Soient p = q deux nombres premiers impairs. Montrer que G(pq) = pq pq G(p)G(q) ; en dduire
 q  p 
la loi de rciprocit quadratique p q = (1)(p1)(q1)/4 .

E
L
O

T
Y
L
PO

E
L
O

N
H
EC

T
Y
L
PO

E
U
IQ

N
H
EC

E
U
IQ

H
C
TE

E
L
O

U
Q
I
N

Y
L
CHAPITRE VII
O
P
SRIES DE DIRICHLET


n s
Une srie de Dirichlet gnrale est une expression de la forme +
, o les an
n=1 an e
sont des nombres complexes, et les n sont des nombres complexes dont la partie relle
tend vers +. (Si n = n 1 pour tout n, on retombe, modulo le changement de variable
es = z, sur le cas des sries entires (avec une indexation bizarre), ce qui permet de voir
les sries de Dirichlet gnrales comme une gnralisation des sries entires.) Dans ce
chapitre, nous ne nous intresserons quau cas o n = log n, pour tout n, qui est le cas
originellement considr par Dirichlet, mais le cas gnral intervient naturellement quand,
par exemple, on essaie de dnir le dterminant dun oprateur en dimension innie, ce
qui a de multiples applications en physique(1) et en mathmatiques. Comme illustration
de ce procd de zta-rgularisation , mentionnons la formule

1 2 3 4 5 = 2,

1
de gauche sinterprte
quivalente +
n=1 log n = 2 log 2, dans laquelle le membre
+ 1
comme la drive en 0 de la fonction dnie par (s) =
n=1 ns , si Re(s) > 1, et
(2)
prolonge analytiquement C {1}.

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

VII.1. Sries de Dirichlet

1. Abscisse de convergence absolue


s
On appelle srie de Dirichlet une srie de la forme L(a, s) = +
n=1 an n , o s C et
s
a = (an )n1 est une suite de nombres complexes (et n = exp(s log n), o log n R+ ).
Une srie de Dirichlet peut ne converger pour aucune valeur de s, mais si elle converge
pour s0 , on a en particulier, an ns0 0, et donc |an | = o(nRe(s0 ) ). Rciproquement,

N
H
EC

E
U
IQ

Les frquences dune membrane vibrante sont les valeurs propres du laplacien sur louvert de C repr
sentant cette membrane. La fonction zta du laplacien (s) = s , o la somme porte sur les valeurs
propres non nulles, encode des relations entre ces frquences et la gomtrie de la surface. Le dterminant

(0)) ; il intervient par exemple dans des questions de renormalisation.
du laplacien est exp(
(2)
Lexistence de ce prolongement analytique fait lobjet du th. VII.3.4, et une dmonstration de la formule
 (0) = 12 log 2 est propose dans lex. VII.3.9.
(1)

E
L
O

T
Y
L
PO

274

U
Q
I
N

CHAPITRE VII. SRIES DE DIRICHLET

H
C
TE


s
si |an | = O(n ), pour un certain R, alors +
converge normalement sur
n=1 an n
tout demi-plan de la forme Re(s) > + 1 + , avec > 0 ; elle dnit donc une fonction

s
holomorphe sur le demi-plan Re(s) > +1. De mme, si +
converge absolument
n=1 an n
pour s = s0 , alors elle converge normalement sur le demi-plan Re(s s0 )  0, puisque
|an ns |  |an ns0 | sur ce demi-plan ; elle dnit donc une fonction holomorphe sur le
demi-plan ouvert Re(s s0 ) > 0, qui se prolonge par continuit au demi-plan ferm
Re(s s0 )  0.
La discussion prcdente amne naturellement dnir les lments suivants de R :
conv = inf{Re(s), L(a, s) converge} abscisse de convergence ;
abs = inf{Re(s), L(a, s) converge absolument} abscisse de convergence absolue ;
hol = inf{ R, L(a, s) admet un prolongement holomorphe sur Re(s) > }.
= inf{ R, an = O(n )}.
Le nombre na pas de signication particulire, mais des quantits prcdentes, cest
la plus facile calculer ; de plus la discussion ci-dessus nous fournit les encadrements :

E
L
O

Y
L
O
P

 conv  abs  + 1.

N
H
EC

E
U
IQ

Par ailleurs, contrairement au cas des sries entires (cf. (i) de la rem. V.2.8), on na pas forcment hol = abs , comme le montre lexemple des fonctions L de Dirichlet (th. VII.4.4).

T
Y
L
PO

On suppose dans tout ce qui suit que les sries de Dirichlet que lon considre convergent
quelque part (i.e. abs = +), le cas contraire nayant quun intrt limit... On peut
alors retrouver les an partir de la fonction L(a, s) (en eet, a1 = lims+ L(a, s),
a2 = lims+ 2s (L(a, s) a1 ), etc.).
On remarquera que le produit de deux sries de Dirichlet L(a, s)L(b, s) est encore une


srie de Dirichlet L(c, s) = n1 ncns , o cn = d|n ad bn/d . Cette formule, qui fait intervenir
la factorisation des entiers, est largement responsable de lintrt des sries de Dirichlet
pour des questions darithmtique.

Thorme VII.1.1. (Landau) Soit L(a, s) = n1 anns une srie de Dirichlet coefcients positifs (i.e. an R+ , quel que soit n  1). Alors abs na aucun voisinage dans C
sur lequel L(a, s) admet un prolongement analytique(3) .

Corollaire VII.1.2. Si L(a, s) = n1 anns est une srie de Dirichlet coecients
positifs, alors hol = abs .

E
L
O

E
U
IQ

Dmonstration. Le corollaire est immdiat. Passons la dmontration du thorme.

Posons = abs , et supposons, par labsurde, quil existe > 0 tel que L(a, s) admette un
prolongement analytique au disque D(, 3 ). Alors L(a, s) est holomorphe sur louvert
runion de D(, 3 ) et du demi-plan Re(s) > . Comme contient D( + , 3 ),
L(a, s) est somme de sa srie de Taylor en + sur ce disque, et en particulier, on a
(3)

E
L
O

T
Y
L
PO

N
H
EC

Il arrive que L(a, s) admette un prolongement mromorphe comme le montre le cas de la fonction zta
de Riemann (cf. th. VII.3.4), mais alors abs est un ple de ce prolongement.

VII.1. SRIES DE DIRICHLET

N
H
EC

E
U
Q
I

275


L(k) (a,+)
L(a, ) = +
(2)k . Par ailleurs, comme + est dans le demi-plan de
k=0
k!
convergence de L(a, s), on peut, daprs le th. V.2.14, calculer L(k) (a, + ) en drivant
terme terme la srie de Dirichlet. On obtient donc
+
+
+

(2)k    an ( log n)k  (2)k
L(a, ) =
=
.
L(k) (a, + )
k!
n+
k!
n=1
k=0
k=0

E
L
O

T
Y
POL
k

En faisant rentrer le (2)

lintrieur de la parenthse, on obtient une srie double
k!
termes positifs, ce qui permet dchanger lordre des sommations, et dobtenir :
+
+
+
+

an   (2 log n)k   an 2  an
n
=
.
L(a, ) =
=
n+ k=0
k!
n+
n
n=1
n=1
n=1

On en dduit que L(a, s) converge en , ce qui est contraire la dnition de . Ceci

permet de conclure.
2. Demi-plan de convergence dune srie de Dirichlet

N
H
EC

E
U
IQ

Contrairement au cas des sries entires, on a, en gnral , conv = abs , et la dtermination de conv peut cacher des dicults redoutables... Dautre part, daprs le
cor. VII.1.6 ci-dessous, on a hol  conv , et le cas des fonctions L de Dirichlet (th. VII.4.4)
montre que, contrairement au cas des sries entires, on na pas toujours galit. La quantit hol est trs souvent extrmement dicile calculer. Une grande partie du programme
de Langlands (cf. annexe F) est destine prouver que pour beaucoup de sries de Dirichlet issues de la thorie des nombres, on a hol = (autrement dit que ces sries ont
un prolongement analytique tout le plan complexe, ce qui est assez miraculeux).
Ltude de la convergence des sries de Dirichlet repose sur le lemme suivant.
(4)

E
L
O

T
Y
L
PO

Lemme VII.1.3. Soient , R, avec 0 < < . Soit z = x + iy, avec x, y R,

et x > 0. Alors
z 
|ez ez |   (ex ex ).
x
 tz
z
z
Dmonstration. On a e
e
= z e dt, et donc
|ez ez |  |z|

z 
etx dt =  (ex ex ).
x

E
U
IQ

Supposons par exemple que an {1}, pour tout n  1. On a alors abs = 1. Pour tudier conv , on
n
peut utiliser la formule sommatoire dAbel : on pose An = k=1 ak de telle sorte que
(4)

N
H
EC

N
N
N




an
An  
AN
AN
1 s 
=
+
An (ns (n + 1)s ) =
+
n 1 1+
.
s
s
s
s+1
n
(N + 1)
(N + 1)
n
n
n=1
n=1
n=1

T
Y
L
PO

On en dduit le fait que, si An = O(n ), avec < 1, alors conv  . Or Hausdor (1913) a dmontr
que, presque srement (en considrant les an comme des variables alatoires indpendantes valeurs
dans {1} muni de lquiprobabilit), An = O(n1/2+ ), quel que soit > 0, et donc conv  1/2 presque
srement (et 1/2 est srement dirent de 1).

E
L
O

276

U
Q
I
N

CHAPITRE VII. SRIES DE DIRICHLET

H
C
TE

En appliquant ce lemme = log n, = log(n + 1) et z = s s0 , on obtient :

Y
L
O
P

Corollaire VII.1.4. Si n  1, et si Re(s s0 ) > 0, alors

|s s0 |
(nRe(ss0 ) (n + 1)Re(ss0 ) ).
Re(s s0 )

Thorme VII.1.5. Soient L(a, s) = +
ns une srie de Dirichlet, et s0 C.
n=1 an 
(i) Si la suite des sommes partielles An (s0 ) = nk=1 ak k s0 est borne, alors L(a, s)
converge uniformment dans tout compact du demi-plan Re(s s0 ) > 0.

s0
(ii) Si la srie +
converge, alors L(a, s) converge uniformment dans tout
n=1 an n
secteur angulaire |arg(s s0 )|  < 2 du demi-plan Re(s s0 )  0.

E
L
O

(ss0 )

|n

(n + 1)(ss0 ) | 

Dmonstration. La dmonstration est la mme dans les deux cas et repose sur la formule
sommatoire dAbel. Si p, q N vrient p  q, soit
Mp,q = sup |Bn,p |,

E
U
IQ

avec Bn,p = An (s0 ) Ap1 (s0 )

pnq

N
H
EC

(et A0 (s0 ) = 0, puisquune somme vide est nulle par convention). On a

q


an ns =

n=p

T
Y
L
PO

q


(Bn,p Bn1,p )n(ss0 )

n=p

E
L
O

=Bq,p q (ss0 ) +

q1


Bn,p (n(ss0 ) (n + 1)(ss0 ) ).

n=p

Si Re(s s0 ) > 0, en utilisant la majoration du cor. VII.1.4, lingalit 1 

dnition de Mp,q , on en dduit la majoration
q




an ns  Mp,q q Re(ss0 ) +
n=p

Mp,q

|ss0 |
,
Re(ss0 )

et la


|s s0 |  Re(ss0 )
(n
(n + 1)Re(ss0 ) )
Re(s s0 ) n=p
q1

|s s0 | Re(ss0 )
p
.
Re(s s0 )

Maintenant, si |An (s0 )|  M, quel que soit n N, on a Mp,q  2M quels que soient
p  q. Par ailleurs, si K est un compact du demi-plan Re(s s0 ) > 0, alors il existe
a
> 0 et b > 0 tels que |s s0 |  a et Re(s s0 )  b, quel que soit s K. On a donc

s
 q an ns   2Mab1 pb , si s K, ce qui prouve que la srie 
satisfait au
n1 an n
n=p
critre de Cauchy uniforme sur K. On en dduit le (i).

Pour dmontrer le (ii), il sut de constater que lhypothse selon laquelle n1 an ns0
converge est quivalente Mp,q 0 quand p + daprs le critre de Cauchy. Comme
|ss0 |
est major par tg sur le secteur angulaire |arg(s s0 )|  < 2 du demiRe(ss0 )
plan Re(s s0 )  0, et comme pRe(ss0 )  1 sur le demi-plan, on en dduit que la

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

E
U
Q
I

VII.2. SRIES DE DIRICHLET ET TRANSFORME DE MELLIN

N
H
EC

277


srie n1 an ns satisfait au critre de Cauchy uniforme sur le secteur angulaire, ce qui
dmontre le (ii).

Corollaire VII.1.6. Soient L(a, s) = n1 anns une srie de Dirichlet, et conv R
labscisse de convergence de L(a, s). Alors L(a, s) converge en tout s du demi-plan
Re(s) > conv et dnit une fonction holomorphe sur ce demi-plan, et donc hol  conv .

E
L
O

T
Y
POL

Dmonstration. Par dnition de conv , pour tout > 0, il existe s C, tel que
L(a, s ) soit convergente et Re(s )  conv + . Daprs le th. VII.1.5, la srie L(a, s)
converge pour tout s du demi-plan Re(s) > conv + , car ce demi-plan est une runion de
secteurs angulaires de sommet s , et comme ceci est vrai pour tout > 0, cela prouve que
L(a, s) converge en tout s du demi-plan Re(s) > conv . Lholomorphie de L(a, s) sur ce
demi-plan suit de ce quune fonction qui est limite uniforme sur tout compact de fonctions
holomorphes est elle-mme holomorphe (th. V.2.14).

N
H
EC

VII.2. Sries de Dirichlet et transforme de Mellin

T
Y
L
PO

1. La fonction dans le plan complexe

E
U
IQ

La fonction dEuler a t dnie (cf. ex. IV.1.5) sur R+ par la formule

 +
(x) = 0 et tx dtt . Nous nous proposons de ltendre en une fonction mromorphe sur
C tout entier. On trouvera une autre approche dans lex. V.2.22 ; lapproche ci-dessous
montre directement que ne sannule pas, ce qui peut aussi se dduire de la formule des
complments (ex. VI.3.17).

On rappelle que la constante dEuler est la limite de log n+ nk=1 k1 , quand n +.

E
L
O

Thorme VII.2.1. (i) Le produit

f (z) = z ez

+ 



z
1 + ez/k
k
k=1

est uniformment convergent sur tout compact de C, et concide avec 1 sur R+ .

1
(ii) La fonction complexe dnie par (z) = f (z)
est mromorphe sur C, holomorphe
en dehors de ples simples aux entiers ngatifs, de rsidu
on a (z + 1) = z(z), quel que soit z C (N).

(1)n
n!

E
U
IQ

en n, si n N. De plus,

N
H
EC

Dmonstration. La fonction h(z) = z 2 ((1 + z)ez 1) est holomorphe sur C, et donc

est borne sur tout compact. En particulier, il existe M tel que |(1 + z)ez 1|  M|z 2 |,
si |z|  1. Maintenant, si K est compact, il existe R(K) tel que |z|  R(K), quel que


2
soit z K, et on a | 1 + kz ez/k 1|  M R(K)
, si k  R(K) et z K. On en dduit la
k2
convergence uniforme du produit sur K, et le th. V.2.17 montre que f est une fonction
holomorphe sur C avec des zros simples en 0 et les k, pour k N {0}. En passant

E
L
O

T
Y
L
PO

278

U
Q
I
N

CHAPITRE VII. SRIES DE DIRICHLET

H
C
TE

linverse, cela montre que est mromorphe sur C, holomorphe en dehors de ples
simples aux entiers ngatifs.
Maintenant, si x R+ , on a, daprs la formule de Gauss (cf. ex. IV.1.5),

E
L
O
1
=
(x)

Y
L
O
P

n


x(x + 1) (x + n)
x
x log n
=
x
lim
e
1+
x
n+
n+
n! n
k
k=1

lim

= xex

lim e(1++1/n)x

n+

n
n 





x
x 
1 + ex/k ,
= x ex lim
1+
n+
k
k
k=1
k=1

ce qui permet de montrer que f concide avec 1 sur R+ .

Finalement, les fonctions (z+1) et z(z) sont holomorphes sur C(N), et concident
sur R+ ; elle concident donc sur C(N), daprs le th. des zros isols. Comme (1) = 1,
n
. Ceci
cela permet de montrer, par rcurrence sur n, que lon a limzn (z + n)(z) = (1)
n!
termine la dmonstration du thorme.

N
H
EC

E
U
IQ

Exercice VII.2.2. (i) tablir la formule des complments (z)(1 z) =

(on prendra la drive
logarithmique(5) des deux membres, et on utilisera lex. V.2.16). En dduire une dmonstration de lidentit
 + t2
e
dt = 1.

(ii) tablir de mme la formule de multiplication : si p N {0}, et si z C (N), alors

sin z

E
L
O

T
Y
L
PO

p1

z + j 
= (2)(p1)/2 pz+1/2 (z).

p
j=0

Proposition VII.2.3. Sur tout secteur angulaire de la forme |arg(z)| < , o < ,
on a les dveloppement suivants au voisinage de |z| = :
 (z)
1
(i) (z)
= log z 2z
+ O( z12 ) ;

 (w)
(ii) log (z) = z log z z + 12 (log(2) log z) + O( z1 ), o log (z) = [1,z] (w)
dw est le
logarithme de (z), holomorphe dans le secteur angulaire, prenant la valeur 0 en z = 1.
(formule de Stirling complexe).

+ 
1
= z1 + k=1 k1 z+k
, qui dcoule (th. V.2.17)
/ R , on peut rcrire cette formule sous la
de la dnition de 1 comme un produit convergent. Si z
forme (o [t] dsigne la partie entire de t et {t} = t [t], sa partie fractionnaire)

Dmonstration. On part de la formule

 (z)
(z)

1
1 

dt
[t] z + [t]
+ 
1
1
1
1
1 
= +

+
dt +
z
[t]
t
z + [t] z + t
1

 (z)
1
= +
(z)
z

(5)

1
+
z

+
1

T
Y
L
PO

{t}
dt
t[t]

E
L
O

La drive logarithmique dune fonction f est la fonction

N
H
EC

1
1 

dt
t
z+t

{t}
t +
dt + log
.
(z + t)(z + [t])
z+t 1
f
f

; cest la drive de log f .

E
U
IQ

E
U
Q
I

279

VII.2. SRIES DE DIRICHLET ET TRANSFORME DE MELLIN


t +
z+t 1

N
H
EC

= log(z + 1) = log z + z1 + O( z12 ) et C =

 +
{t}
Finalement, on peut crire 1
(z+t)(z+[t]) dt sous la forme
Maintenant,

log

E
L
O
1

T
Y
POL

{t}
dt =
(z + t)(z + [t])

{t}
dt +
(z + t)2
+

1
=
+
2(z + 1)

+
1

 +
1

{t}
t[t]

dt est une constante.

{t}2
dt
(z + t)2 (z + [t])

{t} 1/2
dt +
(z + t)2

+
1

{t}2
dt,
(z + t)2 (z + [t])

et une intgration par parties nous donne

+
1

 {t}2 {t} +
{t} 1/2
dt =
+
2
(z + t)
2(z + t)2 1

+
1

{t}2 {t}
dt =
(z + t)3

+
1

{t}2 {t}
dt.
(z + t)3

En utilisant la minoration
1 + cos
(|z| + u)2 , si u R+ et |arg(z)|  ,
2
 + {t}2 {t}
2
 +
{t}2
1
cela permet de majorer en module les quantits 1
(z+t)2 (z+[t]) dt et 1
(z+t)3 dt par 1 (|z|2)3 dt+
 +
2
1
1
3/2
( 1+cos ) (|z|+t1)3 dt. On en dduit que ces deux intgrales sont des O( z2 ) et comme il en est de
2
1
1
2z
, on obtient nalement :
mme de 2(z+1)
|z + u|2 

N
H
EC

 (z)
1
1
= log z + C
+ O( 2 ).
(z)
2z
z
On en dduit, en intgrant, que


E
L
O

T
Y
L
PO

log (z) = w log w w + (C )w

z
1
log w 1 +
2

O(
1

1
)dw +
w2

O(
+

Do lexistence de C C, tel que lon ait log (z) = z log z z + (C )z

voisinage de linni. La formule de Stirling relle :
log((x + 1)) = x log x x +

1
log(2x) + o(1),
2

permet alors den dduire que C = 0 et C =

1
2

E
U
IQ

1
2

1
)dw.
w2

log z + C + O( z1 ) au

au voisinage de +

log 2, ce qui permet de conclure.

Corollaire VII.2.4. Quand | | tend vers +, on a

1
1
|( + i )| = 2| | 2 e| |/2 (1 + O( )),

uniformment dans toute bande verticale de largeur nie.

Dmonstration. Si s = + i , et a   b, o a, b R sont xs, alors

N
H
EC

1
i

+ O( 2 ) = log | | +

+
+ O( 2 ).
log s = log i +
i

2 | | i

T
Y
L
PO

E
U
IQ

En utilisant le (ii) de la prop. VII.2.3 et la formule ci-dessus, on en dduit que

Re(log ( + i )) = log | |

E
L
O

Ceci permet de conclure.

1
1
1
| |
+ log | | + log 2 + O( ).
2
2
2

280

U
Q
I
N

CHAPITRE VII. SRIES DE DIRICHLET

H
C
TE

2. Une formule intgrale pour les sries de Dirichlet

Y
L
O
P

Le changement de variable

u = t montre que, si R+ , et si Re(s) > 0, alors

(6)

1
1
=
s
(s)

E
L
O

et ts

dt
.
t

Cette simple remarque va se rvler extrmement utile pour tudier le prolongement

analytique de certaines sries de Dirichlet.

Soit L(a, s) = n1 anns une srie de Dirichlet convergeant quelque part.

n
Lemme VII.2.5. (i) La srie entire Fa (z) = +
n=1 an z est de rayon de convergence
au moins 1.
(ii) fa (t) = Fa (et ) est C sur R+ et dcroissance rapide linni, ainsi que toutes
ses drives.

E
U
IQ

Dmonstration. Il existe R tel que an = O(n ) ; on en dduit le (i) et le fait que

Fa (z) = O(|z|) au voisinage de 0. Ceci implique que fa est C sur R+ et O(et ) au
voisinage de + (et donc dcroissance rapide, ce qui, pour une fonction f : R+ C,
signie, rappelons le, que tN f (t) est borne quand t +, pour tout N N). Pour passer
(k)
au cas dune drive dordre quelconque de fa , il sut de constater que fa = fa(k) , o
(k)
k
a = ((n) an )nN .

T
Y
L
PO

E
L
O

N
H
EC

Lemme VII.2.6. Si Re(s) > sup(abs , 0), la fonction fa (t)ts1 est sommable sur R+ ,
et on a
+
dt
1
fa (t)ts .
L(a, s) =
(s) 0
t

Dmonstration. Si Re(s) = > sup(abs , 0), on a

+

|fa (t)ts1 | dt 

+


 dt
|an |ent t
t
n=1

+

dt
|an |
= ()
< +,
t
n
0
n=1
n=1

nt s1
t
converge
ce qui prouve que fa (t)ts1 est sommable sur R+ et que la srie +
n=1 an e
1

s1
dans L (R+ ) vers fa (t)t . On a donc

+
s1

fa (t)t

dt =

+


+

n=1

Ceci permet de conclure.

|an |

nt s1

an e
0

ent t

+


N
H
EC

(s)
dt =
an s .
n
n=1

T
Y
L
PO

E
U
IQ

Une raison pour faire apparatre la mesure dt

t est quelle est invariante par ce type de changement de
variable de mme que dt est invariante par un changement de variable u = t + a. Autrement dit, dt
t est
une mesure de Haar sur R+ .
(6)

E
L
O

E
U
Q
I

VII.2. SRIES DE DIRICHLET ET TRANSFORME DE MELLIN

N
H
EC

281

 +
Remarque VII.2.7. (i) Si f : R+ C, la fonction s  Mel(f, s) = 0 f (t)ts dtt est
la transforme de Mellin de f . Le changement de variable t = eu montre que, sur une
droite verticale Re(s) = , la transforme de Mellin concide, homothtie prs, avec la
transforme de Fourier de f (eu )eu , ce qui permet de dduire un grand nombre de ses
proprits de celles de la transforme de Fourier.

nt
(ii) La fonction fa (t) = +
est C sur R+ , mais na aucune raison, a priori,
n=1 an e
dtre trs sympathique en 0. De fait, les proprits de prolongement analytique de la srie

an
de Dirichlet +
n=1 ns sont troitement lies la rgularit de fa en 0. La prop. VII.2.8
ci-dessous donne une illustration de ce phnomne.

E
L
O

T
Y
POL

3. Prolongement analytique de sries de Dirichlet

Proposition VII.2.8. Soit f une fonction C sur R+ , dcroissance rapide linni ainsi que toutes ses drives.
+
1
(i) La fonction M(f, s) = (s)
f (t)ts dtt , dnie pour Re(s) > 0, admet un prolon0
gement holomorphe C tout entier(7)
(ii) Si k N, alors M(f, k) = (1)k f (k) (0).
(iii) Si a  b sont deux rels, alors pour tout k N, il existe Ca,b,k (f ) tel que

T
Y
L
PO

N
H
EC

E
U
IQ

|M(f, s)|  Ca,b,k (f )(1 + | |)k e 2 | | , si s = + i et a   b.

Dmonstration.
Sur la bande b > Re(s) > a > 0, on a |f (t)ts1 |  |f (t) sup(ta1 , tb1 )|.
 +
Or 0 |f (t) sup(ta1 , tb1 )|dt < +, grce la dcroissance rapide de f linni, et
lhypothse a > 0 pour ce qui se passe au voisinage de 0. On est sous les conditions
dapplication du th. V.2.20, ce qui permet de montrer que M(f, s) est holomorphe sur le
demi-plan Re(s) > 0.
Par ailleurs, une intgration par partie nous donne M(f, s) = M(f  , s+1), si Re(s) > 0.
On a donc, plus gnralement, M(f, s) = (1)n M(f (n) , s + n), si Re(s) > 0 et n N. En
appliquant ce qui prcde f (n) , au lieu de f , on en dduit que (1)n M(f (n) , s + n) est
holomorphe sur le demi-plan Re(s) > n. Comme cette fonction concide avec M(f, s)
sur le demi-plan Re(s) > 0, cela prouve que M(f, s) admet un prolongement holomorphe
au demi-plan Re(s) > n, et comme ceci est vrai quel que soit n N, cela permet de
dmontrer le (i).

E
L
O

Le (ii) suit de ce que M(f, k) = (1)k+1 M(f (k+1) , 1) est aussi gal
+

N
H
EC

f (k+1) (t) dt = (1)k+1 [f (k) ]+

= (1)k f (k) (0).
0

(1)k+1
0

E
U
IQ

Corollaire VII.2.9. Si fa est C sur R+ , alors L(a, s) admet un prolongement ho(k)

lomorphe C tout entier. De plus, si k N, on a L(a, k) = (1)k fa (0).

E
L
O

T
Y
L
PO

La distribution f  M(f, s) que ceci permet de dnir, est une partie nie de Hadamard. Le (ii) montre
que si k N, alors M( , k) est la drive k-ime de la masse de Dirac en 0.

(7)

282

U
Q
I
N

CHAPITRE VII. SRIES DE DIRICHLET

H
C
TE

Dmonstration. Cest une consquence directe de la prop. VII.2.8 puisque fa est

dcroissance rapide linni, ainsi que toutes ses drives (lemme VII.2.5).

Y
L
O
P

(k)

Remarque VII.2.10. La formule L(a, k) = (1)k fa (0) montre que lon obtient la

mme valeur pour la somme de la srie divergente n1 an nk , en prenant la valeur de

k n
L(a, s) en k ou la limite quand x 1 de +
n=1 an n x .

E
L
O

Le rsultat suivant montre que le prolongement analytique dune srie de Dirichlet a

un comportement raisonnable dans une bande verticale ; ceci nous sera utile plus tard
(lemme A.3.1).

Proposition VII.2.11. Soit f une fonction C sur R+ , dcroissance rapide

linni ainsi que toutes ses drives. Si a  b sont deux rels, alors pour tout k N, il
existe Ca,b,k (f ) tel que

E
U
IQ

|M(f, s)|  Ca,b,k (f )(1 + | |)k e 2 | | , si s = + i et a   b.

N
H
EC

Dmonstration. Choisissons n N tel que n + a > k + 12 . Si s = + i , avec a   b,

alors
|M(f, s)| 
 +

E
L
O

o Cn = 0 |f (t)| sup(t
tel que, si s = + i , alors
(n)

T
Y
L
PO
+

1
|(s + n)|

a+n

, tb+n ) dtt .

|f (n) (t)|t+n

Cn
dt

,
t
|(s + n)|

Par ailleurs, daprs le cor. VII.2.4, il existe T > 0

2
2
|(s + n)|1  (1 + | |) 2 n e 2 | |  (1 + | |)k e 2 | | ,
2
2

si | |  T et a   b.

Donc (1 + | |)k e 2 | | |M(f, s)| est borne sur {s = + i, | |  T, a   b}, et comme

elle est continue sur la bande a  Re(s)  b, elle est aussi borne sur la bande toute
entire. Ceci permet de conclure.

VII.3. La fonction zta de Riemann

1. Sries de Dirichlet attaches des fonctions multiplicatives

E
U
IQ

On note P lensemble des nombres premiers.

Une fonction n  a(n) de N {0} dans C est multiplicative, si a(1) = 1, et si a(nm) =
a(n)a(m) pour tous n et m premiers entre eux ; elle est strictement multiplicative, si
a(1) = 1, et a(nm) = a(n)a(m), quels que soient m, n  1. On remarquera quune
fonction strictement multiplicative est dtermine par les a(p), pour p P puisque, si


n = iI pki i est la dcomposition de n en facteurs premiers, on a a(n) = iI a(pi )ki . Par
contre, pour une fonction multiplicative, on a besoin de connatre les a(pk ), pour p P

et k  1. On a alors a(n) = iI a(pki i )

E
L
O

T
Y
L
PO

N
H
EC

E
U
Q
I

283

VII.3. LA FONCTION ZTA DE RIEMANN

N
H
EC


a(n)
Proposition VII.3.1. Si n  a(n) est multiplicative, et si L(a, s) =
n1 ns
converge quelque part, alors pour tout s dans le demi-plan Re(s) > abs , on a :
2)
(i) 1 + a(p)
+ a(p
+ est absolument convergent quel que soit p P ;
ps
p2s

2)
+ a(p
+ ) converge uniformment sur tout demi-plan
(ii) le produit pP (1 + a(p)
ps
p2s
Re(s) > c > abs , et sa valeur est L(a, s).

E
L
O

T
Y
POL

Dmonstration. Soit c > abs . Si Re(s) > c, on a

+
  a(p) a(p2 )
   a(p)   a(p2 ) 
 
|a(n)| 






+
+


+
+


< +.
ps
p2s
ps
p2s
nc
n=2
pP
pP

On en dduit le (i) et, en utilisant le th. V.2.17 (ou plutt la dmonstration du (i) de ce
thorme), la convergence uniforme du produit sur Re(s) > c.
Si X R+ , soit P(X) lensemble des nombres premiers  X, et soit I(X) lensemble des
entiers dont tous les diviseurs premiers sont dans P(X). Si k N, soit I(X, k) lensemble

des entiers de la forme pP(X) pkp , avec 0  kp  k. Lensemble I(X, k) est donc un
ensemble ni. Par ailleurs, la multiplicativit de n  a(n) fait que lon a

E
L
O

T
Y
L
PO

(1 +

pP(X)

N
H
EC

E
U
IQ

 a(n)
a(p)
a(pk )
+

+
)
=
.
ps
pks
ns
nI(X,k)

Comme toutes les sries

 qui interviennent sont majores, en valeur absolue, par la srie

, le thorme de convergence domine pour les sries montre, en
sommable n1  a(n)
s
n
faisant tendre k vers +, que

(1 +

pP(X)

 a(n)
a(p) a(p2 )
+ 2s + ) =
,
s
p
p
ns
nI(X)

puis, en faisant tendre X vers +, que

(1 +

pP

 a(n)
a(p) a(p2 )
+ 2s + ) =
,
s
p
p
ns
n1

ce que lon cherchait tablir.

2

N
H
EC

E
U
IQ

)
Remarque VII.3.2. (i) Le facteur 1 + a(p)
+ a(p
+ du produit est le facteur dEuler
ps
p2s

2)
en p de la fonction L(a, s), et la formule L(a, s) = pP (1 + a(p)
+ a(p
+ ) est la
ps
p2s
dcomposition de L(a, s) en produit de facteurs dEuler (ou en produit eulrien).
(ii) Si a est strictement multiplicative, les facteurs dEuler sont donns par des sries

1
gomtriques et on a L(a, s) = pP 1a(p)p
s .

E
L
O

T
Y
L
PO

284

U
Q
I
N

CHAPITRE VII. SRIES DE DIRICHLET

H
C
TE

2. Prolongement analytique de la fonction


La srie de Dirichlet L(1, s) = n1 n1s admet 1 comme abscisse de convergence absolue
(et comme abscisse de convergence puisquelle est coecients positifs (cor. VII.1.2)). De
plus n  1 est on ne peut plus strictement multiplicative ; on dduit donc de la thorie
gnrale le rsultat suivant (d Euler).


Proposition VII.3.3. Si Re(s) > 1, alors n1 n1s = pP 1p1 s , et le produit est
uniformment convergent sur tout demi-plan Re(s) > c > 1.

E
L
O

Y
L
O
P

Thorme VII.3.4. Il existe une unique fonction, note (fonction zta de Riemann), vriant :
est mromorphe sur C tout entier, holomorphe en dehors dun ple simple en s = 1,
de rsidu 1 ;
(s) = L(1, s), si Re(s) > 1.

N
H
EC

E
U
IQ

Dmonstration. Lunicit est une consquence de lunicit du prolongement analytique


nt
(cor. V.1.19). Si f1 (t) = +
= et11 et si g(t) = tf1 (t), on dduit du lemme VII.2.6
n=1 e
que, quel que soit s, avec Re(s) > 1,
1
(s)

f1 (t)ts

LY T

dt
1
=
t
(s 1)(s 1)

O
P
E
L
CO

L(1, s) =

tf1 (t)ts1

dt
1
=
M(g, s 1).
t
s1

Comme g(t) est C sur R+ , holomorphe au voisinage de 0 (et donc C sur R+ ), et

dcroissance rapide linni ainsi que toutes ses drives, la prop. VII.2.8 sapplique. On en
dduit que M(g, s) a un prolongement analytique C tout entier, avec M(g, 0) = g(0) = 1.
Le rsultat sen dduit.

Remarque VII.3.5. Si s est rel > 1, on a log (s) = pP log(1 ps ) daprs la
prop. VII.3.3. Or log(1ps ) ps , et lexistence dun ple de en s = 1 se traduit par

le fait que lims1+ pP ps = +. Il en rsulte que la somme des inverses des nombres
premiers diverge (rsultat d Euler (1737)) ; en particulier, ceci prouve que lensemble
des nombres premiers est inni (rsultat remontant lantiquit), mais en dit un peu plus
sur leur rpartition que la preuve des grecs.
+
n
Exercice VII.3.6. Soit n=0 Bn tn! le dveloppement de Taylor(8) de g(t) =
(i) Calculer g(t) g(t). En dduire B2k+1 = 0, si k  1.

t
et 1

en 0.

N
H
EC

E
U
IQ

(8)
Les Bn sont des nombres rationnels, appels nombres de Bernoulli, et quon retrouve dans toutes les
branches des mathmatiques. On a en particulier

T
Y
L
PO

1
1
1
691
, B2 = , B3 = 0, B4 =
, . . . , B12 =
,...
2
6
30
2730
Un test presque infaillible pour savoir si une suite de nombres a un rapport avec les nombres de Bernoulli
est de regarder si 691 apparat dans les premiers termes de cette suite.
B0 = 1,

B1 =

E
L
O

E
U
Q
I

285

VII.3. LA FONCTION ZTA DE RIEMANN

N
H
EC

n+1
(ii) Montrer que (n) = (1)n Bn+1
, si n N. En dduire que prend des valeurs rationnelles aux
entiers(9) ngatifs, et a des zros en les entiers pairs < 0.
2i
2i
+ z+2i
est holomorphe sur D(0, (4) ). En dduire des quivalents de
(iii) Montrer que g(z) z2i
B2n
(2n)! et de (1 2n) quand n +.

E
L
O

T
Y
POL

3. quation fonctionnelle de la fonction zta

Thorme VII.3.7. (Riemann, 1858) La fonction vrie lquation fonctionnelle(10)

s
(1 s).
(s) = 2 (2)s1 (1 s) sin
2
s

Remarque VII.3.8. (i) Soit (s) = 2 ( 2s )(s). Modulo les formules (ex. VII.2.2)
s s + 1
1
1

= 21s
(s), et
= ,
(s)(1 s) =
sin s
2
2
2
2
on peut dduire de lquation fonctionnelle de que vrie lquation fonctionnelle
(s) = (1 s).

N
H
EC

E
U
IQ

(ii) Lquation fonctionnelle de la fonction peut stablir directement (cf. ex. VII.6.6),
mais la dmonstration ci-dessous a lavantage de se gnraliser plus facilement aux fonctions L de Dirichlet. De plus, cest sous la forme du th. VII.3.7 que nous utiliserons
lquation fonctionnelle de dans la dmonstration du thorme des nombres premiers
(annexe A).

E
L
O

T
Y
L
PO

Dmonstration. Si c > 0, soit c le contour obtenu en composant la demi-droite (+, c]

suivi du carr Cc de sommets c(1 i) parcouru dans le sens direct et de la demi-droite
[c, +). Soit
dz
1
Fc (s) =
f1 (z)(z)s ,
2i c
z
o f1 (z) = ez11 , et (z)s = exp(s log(z)), la dtermination du logarithme choisie tant
celle dont la partie imaginaire est comprise entre et ; en particulier, (z)s = eis z s
de + c et (z)s = eis z s de c + (aprs avoir parcouru le carr).
La dmonstration consiste utiliser la formule des rsidus pour valuer Fd (s) Fc (s),
ce qui fait apparatre la fonction (1 s). La fonction (s) sobtient en faisant tendre c
vers 0, et un passage la limite quand c + donne le lien cherch entre (s) et (1s).
(9)

N
H
EC

E
U
IQ

Les valeurs aux entiers de la fonction zta, ou plus gnralement des fonctions L de la gomtrie
arithmtique, recellent une quantit impressionante dinformations arithmtiques. Kummer fut lun des
premiers exploiter cette information, ce qui lui a permis de montrer (1852) que, si p est un nombre
premier  3 ne divisant pas le numrateur de (1), (3), . . ., (2 p), alors lquation ap + bp = cp
na pas de solution en nombres entiers avec abc = 0 (i.e. le thorme de Fermat est vrai pour un tel p
(dit rgulier)). Jusqu 100, les seuls nombres premiers irrguliers sont 37, 59 et 67.
(10)
Cette quation fonctionnelle avait t conjecture par Euler (1749) qui se basait sur ses calculs de
en les entiers.

E
L
O

T
Y
L
PO

286

(-1+i)c

U
Q
I
N

CHAPITRE VII. SRIES DE DIRICHLET

E
L
O

H
C
TE
(1+i)c

Y
L
O
P

(-1-i)c

(1-i)c
le chemin C

E
U
IQ

Calcul de Fd (s) Fc (s). (Un peu plus de familiarit avec les fonctions holomorphes
permettrait de se passer de la cuisine peu ragotante qui suit et de dmontrer directement
s
que Fd (s) Fc (s) est la somme des rsidus de la fonction f1 (z) (z)
(qui est mromorphe
z
sur C [0, +)) en les points lintrieur du chemin c,d compos de Cd , [d, c], Cc
parcouru en sens oppos, et [c, d].)

T
Y
L
PO

N
H
EC

Les chemins sur lesquels on intgre ne sont pas vraiment contenus dans un ouvert sur lequel la fonction
quon intgre est mromorphe ; pour se ramener ce cas, on va tre forc de tout dcouper en morceaux.
s
sur louvert + (resp. ) obtenu en enlevant
On note gs+ (resp. gs ) la fonction gs+ (z) = f1 (z) (z)
z
la demi-droite [0, i) (resp. [0, +i)) C, la dtermination de log(z) tant celle prenant des valeurs
relles sur la demi-droite [0, ). Les fonctions gs+ et gs sont mromorphes sur + et respectivement,
et concident sur le demi-plan Re(s) < 0 ; par contre, sur le demi-plan Re(s) > 0, on a gs (z) = e2is gs+ (z).

On note C+
c (resp. Cc ) le morceau de Cc contenu dans le demi-plan Im(s)  0 (resp. Im(s)  0). On
=
[c,
(1
+
i)c]
[(1 + i)c, (1 + i)c] [(1 + i)c, c], et C
a donc C+
c
c = [c, (1 i)c] [(1 i)c, (1 i)c]

[(1 i)c, c]. Soit c+ (resp. c ) le chemin compos de (+, c] et C+

c (resp. de Cc et [c, +)), et soient


1
1
+
+

Fc (s) = 2i c+ gs (z) dz et Fc (s) = 2i c gs (z) dz, de telle sorte que Fc (s) = F+

c (s) + Fc (s).
+
+
+

+ opp
opp
[c, d] et c,d le lacet Cd [d, c] (Cc )
[c, d],
Si c < d, soient c,d le lacet Cd [d, c] (Cc )
opp
opp

et (C
dsignent les chemins C+
o (C+
c )
c )
c et Cc parcourus dans le sens oppos. On a

E
L
O

+
F+
d (s) Fc (s) =

1
2i

F
d (s) Fc (s) =

1
2i

+
c,d

c,d

gs+ (z) dz

1
2i

[d,c]

gs (z) dz

1
2i

[c,d]

gs+ (z) dz
gs (z) dz,

N
H
EC

E
U
IQ

comme on peut le voir sur le dessin ci-dessus. Comme gs+ (z) = gs (z) sur [c, d], lintgrale sur [c, d]
disparat quand on fait la somme des deux galits ci-dessus, et on obtient

1
2i

E
L
O

Fd (s) Fc (s) =

T
Y
L
PO
+
c,d

gs (z) dz +

1
2i

c,d

gs+ (z) dz.

E
U
Q
I

VII.3. LA FONCTION ZTA DE RIEMANN

N
H
EC

(-1+i)d

E
L
O

(-1+i)d

T
Y
POL

+
c,d

287

(1+i)d

n2i

(1+i)d

2i
0
-2i

n2i
(k+1)2i
k2i
(1+i)c

(-1+i)c

2i
-c

-d

-c

-d

-n2i

(-1-i)d

(1-i)d

-2i

-n2i
-

(-1-i)d

c,d

(1-i)c
-k2i

(-1-i)c

k2i

(-1+i)c

(1+i)c

2i

N
H
EC
-2i

(-1-i)c

T
Y
L
PO
(1-i)d

- =
E
L
O
d

+
c,d

-k2i

(1-i)c

E
U
IQ

c,d

Le membre de droite peut se calculer grce la formule des rsidus. La fonction gs+ est
mromorphe sur + , avec des ples simples aux 2ik, pour k N {0}, et comme ez 1
s
s1
= (2k)s1 ei 2 . De
a une drive gale 1 en 2ik, on a Res(gs+ , 2ik) = (2ik)
2ik
mme, gs est mromorphe sur , avec des ples simples aux 2ik, pour k N{0}, et
s
s1
+
= (2k)s1 ei 2 . Par ailleurs, lindice de c,d
par rapport
on a Res(gs , 2ik) = (2ik)
2ik

2ik est 1, si c < 2k < d, et 0 sinon ; lindice de c,d par rapport 2ik est 1, si
c < 2k < d, et 0 sinon. On obtient donc, en utilisant la formule des rsidus,

s1
(2k)s1 .
2 cos
Fd (s) Fc (s) =
2
c<2k<d

N
H
EC

E
U
IQ

Une majoration pour |(z)s |. On a |(z)s | = eRe(s log(z)) = |z|Re(s) eIm(s) arg(z) .
Comme arg(z) varie entre et sur les domaines considrs, cela montre que, si s est
x, il existe une constante c(s) telle que |(z)s |  c(s)|z|Re(s) , pour tout z.

T
Y
L
PO

Lien entre F et (s). La formule obtenue pour Fd (s) Fc (s) montre, en particulier,
que Fc ne dpend pas de c dans lintervalle ]0, 2[, et donc que F (s) = limc0+ Fc (s). Or
la majoration ci-dessus pour |(z)s | implique que, quand c tend vers 0, lintgrale sur Cc

E
L
O