5.

Holomorphie
Contenu du chapitre
5.1. Holomorphie
5.1.a. Fonctions holomorphes
5.1.b. Integrale sur un chemin
5.1.c. Derivabilite complexe de la somme dune serie enti`ere
5.2. De lholomorphie `a lanalyticite
5.2.a. Lemme de Goursat
5.2.b. Primitives
5.2.c. Indice dun chemin ferme
5.2.d. Developpement en serie de puissances
5.3. Proprietes des fonctions holomorphes
5.3.a. Principe des zeros isoles
5.3.b. Fonctions holomorphes dans une couronne. Developpement de Laurent
5.3.c. Applications du developpement de Laurent
5.3.d. Holomorphie dintegrales dependant dun param`etre
5.3.e. Principe du maximum
5.4. Homologie, homotopie
5.4.a. Primitive le long dun chemin
5.4.b. Theor`eme de Cauchy global
Sur ces questions il y a au moins deux sources quil faut lire :
Henri Cartan, Theorie elementaire des fonctions analytiques dune ou plusieurs
variables complexes, Collection Enseignement des Sciences, Hermann
Walter Rudin, Real and complex analysis, McGraw-Hill, traduit comme Analyse
reelle et complexe, Masson.
Le volume 2 du traite en trois volumes de Chatterji (Srishti Chatterji, Cours danalyse,
Presses Polytechniques et Universitaires Romandes, Lausanne) contient aussi une masse
dinformations, qui commence tout doucement, avec la denition des nombres com-
plexes. . . Le livre de Zuily-Queelec (

Elements dAnalyse pour lagregation, Masson)

contient des elements interessants pour des developpements (par exemple sur letude des
series enti`eres sur le cercle de convergence), et une section sur lholomorphie dintegrales
dependant dun param`etre quil faut connatre.
5.1. Holomorphie
Une fonction holomorphe f est une fonction qui est derivable au sens complexe. Un point
tout `a fait remarquable est que pour developper la theorie des fonctions holomorphes,
on na pas pas besoin de supposer que z f

(z) soit continue ; on verra en fait que f est

developpable en serie enti`ere au voisinage de chaque point de , ce qui impliquera que f

est elle aussi holomorphe dans , et on peut donc continuer de deriver indeniment. On
aura ainsi etabli lidentite entre le point de vue holomorphe et le point de vue analytique
(fonde sur les developpements en series enti`eres).
1
Remarques elementaires sur la C-linearite
On va jouer souvent sur la double representation C R
2
; designons par la bijection
de R
2
sur C donnee par
: (x, y) R
2
x + i y C.
Examinons `a quelle condition une application R-lineaire a de R
2
dans R
2
fournit une
application C-lineaire de C dans C quand on la lit au moyen du dictionnaire , en
considerant lapplication a
C
= a
1
de C dans C; il est evidemment necessaire que
a
C
(i) = a
C
(i 1) = i a
C
(1)
et il est facile de voir que cette condition est susante. Si
A =
_
a
1,1
a
1,2
a
2,1
a
2,2
_
designe la matrice de a dans la base canonique de R
2
, a(
1
(i)) et a(
1
(1)) sont
representes respectivement par
_
a
1,1
a
1,2
a
2,1
a
2,2
__
0
1
_
=
_
a
1,2
a
2,2
_
et
_
a
1,1
a
1,2
a
2,1
a
2,2
__
1
0
_
=
_
a
1,1
a
2,1
_
donc a
C
est C-lineaire si et seulement si
a
1,2
+ i a
2,2
= ((a
1,2
, a
2,2
)) = a
C
(i) = i a
C
(1) = i ((a
1,1
, a
2,1
)) = i (a
1,1
+ i a
2,1
)
ce qui impose les conditions a
1,1
= a
2,2
et a
2,1
= a
1,2
; lapplication a
C
est alors la
multiplication par le nombre complexe = a
1,1
+ ia
2,1
=
1
+ i
2
, et la matrice A est
de la forme
(H) A =
_

1

2

2

1
_
.
5.1.a. Fonctions holomorphes
On dit quune fonction f denie dans un voisinage dun point z C, `a valeurs dans C,
est C-derivable au point z si la limite
f

(z) = lim
w0
f(z + w) f(z)
w
existe, o` u w tend vers 0 par valeurs complexes. Les operations habituelles sur les derivees
se justient comme dans le cas reel usuel : derivee du produit fg de deux fonctions,
derivee de linverse 1/f lorsque f(z) = 0, composition de fonctions C-derivables, etc. . .
On dit que f est holomorphe dans un ouvert de C si elle admet en tout point z
une derivee au sens complexe ; on designe par H() lespace vectoriel (complexe) des
fonctions holomorphes dans . On verie facilement `a la main que les monomes z
n
,
n 0 sont holomorphes sur C, avec derivee nz
n1
, et que les z
n
pour n < 0 sont
holomorphes en dehors de 0, avec la

meme

derivee nz
n1
.
2
Supposons f denie dans un voisinage V du point complexe z
0
= x
0
+ iy
0
, et
denissons, sur le voisinage W =
1
(V) de (x
0
, y
0
) R
2
, une application F `a valeurs
dans R
2
par la formule F =
1
f , limitee au voisinage W.
Proposition. La fonction f est C-derivable au point z
0
si et seulement si la condition
suivante est veriee : lapplication F est dierentiable au point (x
0
, y
0
) et sa dierentielle

fournit

une application C-lineaire, cest-`a-dire que sa matrice jacobienne admet la

forme (H).
Designons par P et Q les deux fonctions reelles, coordonnees de lapplication F, ce
qui revient `a ecrire
f(x + i y) = P(x, y) + i Q(x, y)
pour (x, y) W. La matrice jacobienne de F au point (x
0
, y
0
) est egale `a
A =
_
_
_
_
P
x
(x
0
, y
0
)
P
y
(x
0
, y
0
)
Q
x
(x
0
, y
0
)
Q
y
(x
0
, y
0
)
_
_
_
_
et la condition (H) pour cette matrice se traduit par les deux equations
Q
x
(x
0
, y
0
) =
P
y
(x
0
, y
0
) ;
Q
y
(x
0
, y
0
) =
P
x
(x
0
, y
0
)
quon appelle classiquement les relations de Cauchy-Riemann. On peut visualiser les
choses de la facon suivante : la condition (H) est satisfaite si le gradient de Q se deduit
de celui de P par une rotation dangle +/2 dans R
2
. La traduction complexe de laction
de A est alors la multiplication par le nombre complexe
=
P
x
(x
0
, y
0
) + i
Q
x
(x
0
, y
0
)
_
egal `a

f
x
(x
0
, y
0
)

si on consid`ere f comme etant aussi une application de W R
2
dans C

.
Preuve de la proposition. Supposons F dierentiable au point (x
0
, y
0
) et supposons que
la condition (H) soit veriee ; lexpression matricielle de la dierentiabilite de F au point
(x
0
, y
0
), `a savoir
_
P(x
0
+ h, y
0
+ k)
Q(x
0
+ h, y
0
+ k)
_
=
_
P(x
0
, y
0
)
Q(x
0
, y
0
)
_
+ A
_
h
k
_
+ o
_
|h| +|k|
_
se traduit, en introduisant le petit accroissement complexe w = h + ik, par la relation
f(z
0
+ w) = f(z
0
) + w + o(|w|),
qui donne lexistence de la derivee complexe au point z
0
, avec valeur f

(z
0
) = .
Limplication inverse est laissee au lecteur.
On verra que lexistence de la derivee complexe dans un ouvert implique en fait que
f est indeniment derivable. Une deuxi`eme derivation, les relations de Cauchy-Riemann
et le lemme de Schwarz impliquent alors que P = Q = 0 (on a note le laplacien).
On dit que P, Q sont un couple de fonctions harmoniques conjuguees.
On peut aussi dire les choses avec loperateur , deni par
=
1
2
_

x
+ i

y
_
;
une fonction f est holomorphe dans si et seulement si elle y verie lequation f = 0.
3
Si est une application C
1
dun intervalle ouvert de R `a valeurs dans un ouvert
de C o` u une fonction f est holomorphe, on verie facilement que la fonction complexe
de variable reelle f admet pour derivee t f

((t))

(t). Cette remarque simple est

tr`es utile pour le calcul des integrales sur des chemins (paragraphe suivant).
5.1.b. Integrale sur un chemin
On consid`ere une application de classe C
1
dun intervalle ferme borne [, ], `a valeurs
dans C, et F une fonction `a valeurs reelles ou complexes denie et continue sur la courbe
image

= ([, ]). On pose

_

F(z) dz =
_

F((t))

(t) dt
o` u la variable z represente un point de

C et o` u

(t) designe la derivee au point

t R de la fonction , qui est une fonction de variable reelle `a valeurs complexes. Si on
a un autre parametrage
1
: [
1
,
1
] C du meme chemin

, de la forme
1
= ,
avec bijection croissante de classe C
1
de [
1
,
1
] sur [, ], on aura par le changement
de variable t = (s)
_

1

1
F(
1
(s))

1
(s) ds =
_

1

1
F(((s)))

((s))

(s) ds =
_

F((t))

(t) dt.
On peut ensuite considerer des chemins qui sont C
1
par morceaux ; dans ce cas on
posera
_

F(z) dz =
n

j=1
_

j
F(z) dz
o` u est denie et continue sur [, ], et o` u =
0
<
1
< . . . <
n
= est une
subdivision de [, ] telle que pour tout j = 1, . . . , n, la restriction
j
de `a lintervalle
[
j1
,
j
] soit de classe C
1
. On dira que le chemin : [, ] C

va

du point a C
au point b C si a = () et b = ().
Continuons avec une remarque facile. Si f est holomorphe, avec f

continue (on
montrera plus loin que cette propriete de continuite de f

est automatique) dans un

ouvert contenant un chemin , allant du point a = () au point b = (), alors
(1)
_

(z) dz = f(b) f(a) ;

en eet, si est de classe C
1
, on a
_

(z) dz =
_

((t))

(t) dt
qui est lintegrale de la derivee de t f((t)), donc
_

(z) dz = f(()) f(()) = f(b) f(a).

4
Lorsque le chemin est de classe C
1
par morceaux, on applique cette egalite sur chacun
des morceaux et on ajoute les morceaux. En particulier, lintegrale de (1) sera nulle
pour un chemin ferme (cest-`a-dire quand on a a = () = () = b, qui implique
f(b) f(a) = 0). Cette remarque est essentielle pour le developpement des arguments
qui suivent.
Proposition 5.1.1. Si une fonction g continue dans un ouvert C admet une pri-
mitive au sens complexe dans cet ouvert, on a
_

g(w) dw = 0
pour tout chemin ferme de classe C
1
par morceaux contenu dans ; si a, b et si

1
,
2
sont deux chemins dans qui vont de a `a b, on a
_

1
g(w) dw =
_

2
g(w) dw.
Preuve. Designons par f une primitive de g dans ; sa derivee f

= g est continue,
donc le premier resultat provient de lequation (1) et du fait que le chemin est ferme.
Le second resultat decoule directement de lequation (1), ou bien resulte du premier en
considerant le chemin ferme, contenu dans , qui consiste `a parcourir dabord
1
, de a
`a b, puis `a parcourir
2
`a lenvers, de b vers a.
On peut facilement majorer le module de lintegrale dune fonction continue F sur
un chemin,
(2)

F(z) dz

() max{|F(z)| : z

}
o` u () =
_

(t)| dt designe la longueur du chemin (avec

repetition

: cette longueur
peut etre plus grande que celle du chemin geometrique

, si par exemple on a fait

plusieurs fois le tour dun cercle). En particulier, si le segment

= [a, b] est contenu

dans un ouvert , et si f est holomorphe dans cet ouvert , avec f

continue, on en
deduit la majoration
(3) |f(b) f(a)| |b a| max{|f

(z)| : z

}.
Dans la suite on arrivera `a faire tout le travail en combinant seulement des chemins de
deux types fondamentaux, les segments et les cercles : si a, b sont deux points complexes,
on posera
_
[a,b]
f(w) dw = (b a)
_
1
0
f
_
a + t(b a)
_
dt,
ce qui revient `a considerer le chemin
a,b
(t) = (1 t)a + b ; on designera par
r
(z
0
) le
parcours du cercle de rayon r > 0 centre en z
0
donne par
r
(z
0
)() = z
0
+ r e
i
, avec
[0, 2]. On notera simplement
r
lorsque z
0
= 0.
5
Lemme. Si g est une fonction continue sur le cercle

r
, la fonction F denie pour || = r
par
F() =
1
2i
_

r
g(z) dz
z
est developpable, pour || < r, en serie de puissances de ,
F() =
+

n=0
a
n

n
=
+

n=0
_
1
2i
_

r
g(z) dz
z
n+1
_

n
(donc la serie enti`ere precedente a un rayon de convergence r), et developpable en
serie de puissances de 1/ pour || > r,
F() =
+

n=0
_
1
2i
_

r
z
n
g(z) dz
_

n1
.
Demonstration. Cest simplement une interversion serie-integrale. Fixons C tel que
|| < r ; on ecrit pour |z| = r
1
z
=
1
z
+

n=0

n
z
n
;
cette serie de fonctions de z converge normalement pour z

r
, donc
1
2i
_

r
g(z) dz
z
=
+

n=0

n
_
1
2i
_

r
g(z) dz
z
n+1
_
.
La demonstration est identique pour || > r, si on commence par ecrire
1
z
=
1

n=0
z
n

n
.
5.1.c. Derivabilite complexe de la somme dune serie enti`ere
Revenons au tout debut de ces histoires, avec lexemple fondamental donne par la serie
geometrique. Si x est tel que 0 < x < 1, la relation
(4) (1 x)(1 + x + + x
n
) = 1 x
n+1
,
et le fait que lim
n
x
n
= 0 dans ce cas, impliquent que la serie

+
n=0
x
n
converge, et
que sa somme est egale `a 1/(1 x). Comme chacune des fonctions t t
n
, n 0, est
croissante sur [0, 1], on voit facilement que
1
1 x

n

k=0
x
k
=

k>n
x
k
6
est une fonction croissante de x sur [0, 1], donc sa derivee est 0, ce qui fournit linegalite
1 + 2x + + nx
n1

1
(1 x)
2
qui prouve la convergence de la serie `a termes positifs

nx
n1
. En derivant lequa-
tion (4) on obtient la relation
(1 x)(1 + 2x + + nx
n1
) (1 + x + + x
n
) = (n + 1)x
n
qui implique que la somme de la serie

+
n=1
nx
n1
est egale `a (1 x)
2
. Rappelons un
fait simple mais crucial.
Proposition. Si la serie

+
n=0
a
n
z
n
0
converge au point z
0
C, alors la serie

+
n=0
a
n
z
n
ainsi que la

serie derivee

+
n=1
na
n
z
n1
convergent uniformement (et meme normale-
ment) dans tout disque centre en 0 et de rayon r < |z
0
|.
Preuve. Si la serie

a
n
z
n
0
converge, on en deduit que son terme general tend vers 0,
donc est borne : il existe M tel que
n 0, |a
n
z
n
0
| M.
Posons r
0
= |z
0
|. Quand z reste dans le disque ferme de rayon r < r
0
, on a les majorations
n|a
n
z
n1
| n|a
n
| r
n1
(M/r
0
) n(r/r
0
)
n1
=: u
n
,
qui montrent que la serie derivee

na
n
z
n1
converge normalement dans le disque ferme
de rayon r, puisquon a trouve une serie numerique majorante

u
n
convergente de la
forme C

nx
n1
, avec x = r/r
0
< 1. Pour la serie

a
n
z
n
les choses sont encore plus
simples puisque
|a
n
z
n
| |a
n
|r
n
M(r/r
0
)
n
=: v
n
,
ce qui donne une autre serie majorante convergente.
Rappelons bri`evement pourquoi la somme de la serie derivee est la derivee (com-
plexe) de z f(z) =

+
n=0
a
n
z
n
. Si on prend 0 < r < R et |z
1
|, |z
2
| r on aura pour
tout entier n 2, en utilisant une integrale sur le segment de z
1
`a z
2
, segment qui est
contenu dans le disque ferme de rayon r,
|z
n1
2
z
n1
1
| =

_
[z
1
,z
2
]
(n 1)w
n2
dw

(n 1) r
n2
|z
2
z
1
|
(on utilise par exemple la majoration (3) ci-dessus). Linegalite est vraie aussi (et evi-
dente) pour n = 1. On suppose ensuite que |z
0
|, |z
0
+ h| r et on pose pour t reel dans
[0, 1]
(t) = (z
0
+ th)
n
z
n
0
nz
n1
0
th;
en appliquant la majoration |(1) (0)|
_
1
0
|

(t)| dt, avec

|

(t)| =

n(z
0
+ th)
n1
h nz
n1
0
h

= n|h|

(z
0
+ th)
n1
z
n1
0

n(n 1)r
n2
|h|
2
t
7
on aura

(z
0
+ h)
n
z
n
0
nz
n1
0
h

n(n 1)
2
r
n2
|h|
2
.
Il en resulte que

f(z
0
+ h) f(z
0
)
_
+

n=1
na
n
z
n1
0
_
h

_
+

n=0
n(n 1)|a
n
| r
n2
_
|h|
2
/2 = K(r) |h|
2
ce qui montre la derivabilite complexe de f au point z
0
, et montre aussi que f

(z
0
) est
egal `a la somme de la serie derivee. On a
K(r) =
1
2
+

n=0
n(n 1)|a
n
| r
n2
< +
parce que la serie derivee seconde (formelle) est absolument convergente au point r < R.
Exemple. La fonction denie sur C par
f(z) = e
z
=
+

n=0
z
n
n!
est holomorphe et f

(z) = f(z) pour tout z (regarder la serie derivee) ; la fonction

z e
z
e
z
est donc de derivee nulle, par consequent constante, egale `a 1 (faire z = 0) ;
si g est une autre fonction holomorphe sur un ouvert connexe telle que g

= g, on voit
que e
z
g(z) a une derivee nulle, et on en deduit que g est un multiple de la fonction
exponentielle. On peut montrer ainsi que e
a+b
= e
a
e
b
pour tous a, b C (considerer
g(z) = e
b
e
zb
).
5.2. De lholomorphie `a lanalyticite
On va aller de lholomorphie `a lanalyticite, en passant par le lemme de Goursat. Lun
des cheminements classiques est le suivant :
_
g continue dans une boule ouverte D = B(z
0
, r
0
), holomorphe dans D, sauf
peut-etre en un point
_

1
_
lintegrale curviligne de g(z) dz sur le bord de tout triangle contenu dans D
est nulle
_

2
_
g admet une primitive G (au sens complexe) dans D
_

3
_
lintegrale de g(z) dz sur tout cercle S(z
0
, r), r < r
0
est nulle
_

4
_
la formule de Cauchy pour f holomorphe dans D
_

5
_
f est developpable en serie de Taylor

n0
a
n
(z z
0
)
n
, convergente pour tout
point z D
_

6
_
f

est holomorphe dans D

_
.
Limplication
1
est le lemme de Goursat ; limplication
2
est facile : il sut de
poser G(z) =
_

z
f(w) dw, o` u
z
est le segment de z
0
`a z. Limplication
3
a dej`a ete
vue (integrale dune derivee continue sur un chemin ferme). Pour limplication
4
, on
utilise la fonction g(z) = (f(z) f())/(z ) qui est holomorphe, sauf peut-etre au
point . Limplication
5
consiste `a developper en serie z (z )
1
, et le dernier
point est du DEUG ameliore (derivabilite complexe de la somme dune serie enti`ere)
quon a traite ci-dessus.
8
5.2.a. Lemme de Goursat
Le lemme de Goursat, apparu vers 1900, est un tr`es joli complement `a la theorie des
fonctions holomorphes, qui avait cependant atteint sans ce lemme lessentiel de son tr`es
grand developpement, commence avec les travaux de Cauchy `a partir des annees 1820. Ce
lemme implique que la seule existence de la derivee complexe dans un ouvert entrane
toutes les proprietes voulues.
Si A, B, C sont trois points du plan complexe, on peut considerer le triangle ferme
egal `a lenveloppe convexe de ces trois points,
T
A,B,C
= conv{A, B, C} = {A + B + C : , , 0, + + = 1},
et le chemin ferme
A,B,C
qui parcourt les trois segments du bord du triangle, en suivant
lordre (A, B, C) des lettres en indice de la lettre (considere comme une permutation
circulaire : apr`es C vient A)
_

A,B,C
=
_
[A,B]
+
_
[B,C]
+
_
[C,A]
.
Le bord de T = T
A,B,C
sera note T, et on ecrira aussi de facon un peu imprecise
_
T
pour designer lintegrale sur le bord de T, parcouru dans lordre sous-entendu A, B, C, A.
La longueur (T) du bord est la somme des trois longueurs ( 0) des segments du bord.
On pourra remarquer que pour des raisons de convexite, on a
() z
1
, z
2
T, |z
1
z
2
| max{ |B A|, |C B|, |AC| }
(T)
2
.
Introduisons trois nouveaux points : A

est le milieu de BC, B

celui de CA et C

celui
de AB. On introduit ainsi quatre nouveaux triangles T
1
, T
2
, T
3
, T
4
: trois sont obtenus
en substituant deux des lettres a, b ou c par les lettres accentuees, et en changeant le
sens de parcours ; le dernier nouveau triangle est obtenu en accentuant les trois lettres
et en gardant le sens de parcours :
C

A, C

BA

, CB

; A

.
Ces triangles T
j
ont des cotes de longueur moitie de ceux de T. Il en resulte que
(T
j
) =
1
2
(T), j = 1, 2, 3, 4.
Le point crucial pour la suite est que
_
T
=
4

j=1
_
T
j
.
Voici une justication, aussi algebrique quil mest possible : chaque segment bi-accentue
provenant dun des trois segments des bords des T
j
, comme A

par exemple, apparat

deux fois comme constituant dun bord de lun des quatre sous-triangles : une fois dans le
meme ordre, dans A

et une fois dans lordre inverse, dans CB

; cela implique que

la contribution des segments bi-accentues est nulle dans la somme des quatre integrales ;
pour ce qui concerne les segments avec un seul accent, chaque lettre accentuee, par
exemple C

, apparat une fois suivie de B, et une fois precedant A (dans la permu-

tation circulaire inversee (cba) utilisee pour les triangles bi-accentues) ; on forme ainsi
_
C

B
+
_
AC

=
_
AB
qui est un morceau du bord du grand triangle.
9
Lemme 5.2.1. On suppose que f est continue dans , holomorphe dans sauf peut-
etre en un point z
1
de . On suppose que T est un triangle (ferme) contenu dans . Si
T designe le chemin qui parcourt le bord de T, on a
_
T
f(z) dz = 0.
Demonstration. Supposons que z
1
/ T (pour commencer). On pose
c := (T)
2

_
T
f(z) dz

et on veut montrer que c = 0. On consid`ere T

(0)
= T et
0
= T comme les premiers
termes dune suite de triangles et de chemins. On consid`ere la decomposition du triangle
T
(0)
= T
A,B,C
en quatre triangles T
j
= T
(0)
j
, j = 1, 2, 3, 4, comme on la explique avant
lenonce du lemme. Puisque lintegrale sur le bord de T
(0)
est la somme des quatre
integrales sur les bords des T
(0)
j
, on doit avoir pour au moins un triangle T

parmi
T
(0)
1
, . . . , T
(0)
4
linegalite
(5) (T
(0)
)
2

_
T

f(z) dz

c/4.
Designons par T
(1)
lun des triangles T
(0)
j
qui verie linegalite (5). Puisque la longueur
de T
(1)
est la moitie de celle de T
(0)
on a, en ecrivant
1
pour T
(1)
(
1
)
2

1
f(z) dz

c.
On continue, par recurrence, `a denir des triangles T
(n)
qui verient pour tout n 0
(6) (
n
)
2

n
f(z) dz

c
o` u on a, pour abreger, designe le chemin T
(n)
par
n
.
`
A chaque etape, le triangle T
(n+1)
est obtenu en divisant T
(n)
en quatre, comme explique precedemment, et en choisissant
un sous-triangle dont lintegrale sur le bord est maximale en module. Il resulte de la
construction que la taille des cotes de T
(n)
est 2
n
fois celle du triangle initial. Les
triangles (T
(n)
) forment une suite decroissante de fermes, de diam`etres tendant vers 0
dapr`es la relation () ; lintersection de cette suite contient donc un point unique z
0
;
on conclura en faisant un DL (complexe) au voisinage de z
0
: en posant g(z) = f(z
0
) +
f

(z
0
)(zz
0
), et etant donne > 0, on peut trouver > 0 tel que |f(z)g(z)| < |zz
0
|
pour tout point z tel que |z z
0
| < . Choisissons N
0
assez grand pour que (
n
) <
pour tout n N
0
. On aura alors en utilisant () linegalite |f(z) g(z)| < |z z
0
|
pour tout point z

n
. Comme lintegrale de g (qui est une derivee) est nulle sur
n
, on
obtient

n
f(z) dz

n
(f(z) g(z)) dz

(
n
) max{|f(z) g(z)| : z

n
} (
n
)
2
10
et
c (
n
)
2

n
f(z) dz

ce qui donne bien c = 0 puisque est arbitraire. Ceci termine la preuve du cas o` u le
point exceptionnel z
1
nest pas dans le triangle.
On notera que le cas dun triangle degenere (les points A, B, C sont alignes) est
facile, toujours vrai, et se reduit `a la

relation de Chasles

pour les integrales sur la

droite reelle. Dans le cas o` u le triangle T (non degenere) contient le point exceptionnel
z
1
, on proc`ede par approximation de lintegrale sur le bord de T par des integrales sur des
bords de triangles qui ne contiennent pas le point z
1
. Si z
1
est sur le bord de T = T
A,B,C
,
on approchera par des triangles ne contenant pas z
1
de la facon suivante : supposons par
exemple que z
1
soit sur le cote [A, B], considerons le sommet oppose C et le

vecteur

v = Cz
1
; on voit facilement que pour tout > 0, le triangle translate T

= T+v ne
contient pas le point z
1
. La fonction f est holomorphe dans un ouvert contenant T

, donc
lintegrale de f sur le bord de T

est nulle par ce qui prec`ede, et elle tend vers lintegrale

de f sur le bord de T lorsque 0 : cet argument dapproximation est justie par la
continuite de f.
Finalement, si z
1
est interieur au triangle T, on decoupe T en trois triangles qui ont
z
1
pour sommet. Largument ci-dessus et le decoupage de lintegrale sur le bord de T en
trois integrales sur les bords des sous-triangles termine la preuve.
5.2.b. Primitives
On dit que C est etoile par rapport `a z
0
si on peut

voir

tous les points z de

depuis le point z
0
: pour tout z , le segment [z
0
, z] est contenu dans .
Ainsi, un ensemble est convexe sil est etoile par rapport `a chacun de ses points.
Theor`eme 5.2.2. Soit un ouvert etoile par rapport `a un point z
0
, soient z
1
et f
une fonction continue dans , holomorphe dans \ {z
1
} ; la fonction F denie par
z , F(z) =
_
[z
0
,z]
f(w) dw
est une primitive (au sens complexe) de f dans .
Demonstration. Soit z un point xe ; on note que pour tout h = 0
f(z) = h
1
_
[z,z+h]
f(z) dw;
lorsque h C est assez petit pour que [z, z + h] , on voit que le triangle T
z
0
,z,z+h
est contenu dans , grace `a lhypoth`ese etoile (tracer tous les segments joignant z
0
aux
points du segment oppose [z, z + h] ) ; on ecrit ensuite, en utilisant la nullite de
lintegrale sur le bord du triangle T
z
0
,z,z+h
(nullite donnee par le lemme 5.2.1)

F(z + h) F(z)
h
f(z)

= |h|
1

_
[z,z+h]
_
f(w) f(z)
_
dw

_
1
0
|f(z + th) f(z)| dt
qui tend vers 0 quand h 0, par la continuite de f au point z.
11
Corollaire 5.2.3. Soit un ouvert etoile par rapport `a un point z
0
, soient z
1
et
f une fonction continue dans , holomorphe dans \ {z
1
} ; pour tout chemin ferme
contenu dans , on a
_

f(w) dw = 0.
Preuve. Ceci resulte de la proposition 5.1.1.
Un peu de logarithme complexe
On consid`ere louvert
0
= C \ R

de tous les nombres complexes z tels que Re z > 0

ou bien Imz = 0. Cet ouvert est etoile par rapport au point z
0
= 1. On peut donc poser
z
0
, F(z) =
_
[1,z]
dw
w
.
On obtient ainsi une primitive dans
0
de la fonction 1/z (dapr`es le theor`eme 5.2.2).
On voit que F(1) = 0, et on constate que la fonction F verie la propriete caracteristique
des logarithmes
z
0
, e
F(z)
= z
en montrant que z e
F(z)
est constante (donc egale `a 1) dans louvert
0
(la derivee
e
F(z)
z e
F(z)
/z est nulle dans
0
, qui est connexe). La fonction F est une determi-
nation du logarithme complexe.
La conclusion du calcul de derivee precedent serait valable dans tout ouvert connexe
ne contenant pas 0, dans lequel serait denie une primitive F de 1/z : dans un tel ouvert,
le produit z e
F(z)
sera constant.
Dans louvert
0
que nous avons choisi, il est facile de calculer F, une fois que nous
savons que cest une primitive de 1/z dans
0
: nous pouvons maintenant, grace au
corollaire precedent 5.2.3, ou bien directement par la formule (1), utiliser nimporte quel
chemin contenu dans
0
, allant de z
0
= 1 `a z = r e
i
, o` u r > 0 et < < . Si nous
allons dabord de 1 `a r sur laxe reel, puis de r `a r e
i
sur un arc de cercle r e
i
, o` u
varie de 0 `a , on verra facilement que
F(z) =
_
r
1
dt
t
+
_

0
ri e
i
d
r e
i
= ln(r) + i .
Si z = e
a+i b
est dans
0
, on aura donc F(z) = a + i b + 2ki, o` u k Z est choisi pour
que < b + 2k < . On retrouve ainsi tr`es facilement le fait que e
F(z)
= z.
5.2.c. Indice dun chemin ferme
On trouvera, par exemple dans Rudin, theor`eme 10.10, le resultat suivant.
Theor`eme. Soit un chemin ferme ; pour tout z /

, on consid`ere lintegrale
Ind

(z) =
1
2i
_

dw
w z
.
La fonction Ind

, denie hors de

, est `a valeurs dans Z, constante sur chaque com-

posante connexe de C \

, et nulle sur la composante non bornee de C \

.
12
Demonstration. Montrons pour commencer que lindice est entier. Supposons que soit
une courbe C
1
, denie sur un intervalle [, ], et ne passant pas par z. On va montrer
que la fonction g denie par
g(t) = ((t) z) exp
_

_
t

(s)
(s) z
ds
_
est constante sur [, ], en calculant sa derivee. Posons h(t) =
_
t

(s)
(s)z
ds. On sait que
h

(t) =

(t)/((t) z), donc

g

(t) =

(t) e
h(t)
((t) z) e
h(t)
h

(t) = 0.
Pour un chemin C
1
par morceaux, on montre que g est constante en decoupant lintervalle
[, ] en un nombre ni de morceaux sur lesquels est C
1
. On a nalement
(() z) e
h()
= g() = g() = (() z) e
0
= () z.
Lorsque est un chemin ferme ne passant pas par z, on a () = () et de tout ceci
resulte legalite e
h()
= (() z)/(() z) = 1, cest-`a-dire
exp
_
_

dw
w z
_
= 1
_

dw
w z
2i Z.
On a ainsi montre que
N(z) =
1
2i
_

dw
w z
est un entier pour tout z /

. Par ailleurs, on montre facilement que z N(z)

est continue sur C \

(continuite dune integrale dependant dun param`etre) ; il en

resulte que N(z) est localement constant, donc constant sur les composantes connexes
du complementaire de

. Comme

est compact, il est contenu dans une boule B(0, R),

donc le complementaire de

contient louvert connexe B(0, R)

c
qui est un voisinage
de linni, et cet ouvert est contenu dans la composante connexe de linni de louvert
C\

. On voit facilement que N(z) tend vers 0 `a linni (majorer le module de (wz)
1
par (|z| R)
1
, et en deduire |N(z)| (2)
1
() (|z| R)
1
), donc N(z) est en fait nul
pour |z| grand, donc nul sur la composante de linni de C \

(qui est la composante

connexe non bornee, ici).
On aurait pu dire aussi que si R est comme ci-dessus, si = B(0, R) et z / , la
fonction w (w z)
1
est holomorphe sur louvert etoile , donc son integrale sur le
chemin ferme contenu dans est nulle par le corollaire 5.2.3.
Exemple 5.2.4. Pour un cercle
r
(z
0
) on trouve Ind

r
(z
0
)
(z) = 0 lorsque |z z
0
| > r,
et Ind

r
(z
0
)
(z) = 1 lorsque |z z
0
| < r ; le premier point a ete traite dans le theor`eme
precedent (nullite de lindice sur la composante connexe de linni). Pour le deuxi`eme,
on utilise le fait que lindice est localement constant pour se ramener au cas z = z
0
;
dans ce cas le parametrage du cercle
r
(z
0
) par w = z
0
+ r e
i
, [0, 2], donne
_

r
(z
0
)
dw
w z
0
=
_
2
0
ri e
i
d
r e
i
= 2i.
On aurait pu aussi calculer lindice en developpant en serie la fonction w (w z)
1
.
13
Indice et Brouwer dans R
2
On assimile R
2
au plan complexe C. Designons par D le disque unite ferme du plan
complexe. Le theor`eme de Brouwer en dimension deux arme que
toute fonction continue de D dans D poss`ede un point xe.
La discussion qui suit se reduira `a trois lignes quand on aura mis en place les outils du
paragraphe homotopie, mais on va le faire tout `a la main ici. Soit une fonction continue
de D dans D; on commence par la prolonger en fonction `a support compact denie sur C
tout entier, de la facon suivante : soit une fonction reelle, continue `a support compact,
denie sur C, telle que 0 |z| (z) 1 partout et (z) = 1 pour tout z D. Posons
(z) = (z) ((z) z) pour tout z C. Alors est continue sur C, `a support compact
et `a valeurs dans D. De plus on a (z) = (z) quand z D. Il est clair que (z) = z
pour |z| > 1 puisque dans ce cas |(z)| 1 < |z|. Il est ainsi clair que admet un point
xe si et seulement si en admet un.
Dans le cas contraire, la fonction z z (z) ne sannulerait pas sur C; comme
|z (z)| |z| 1 tend vers linni `a linni, le minimum du module existe sur C et est
donc un nombre > 0. Par convolution avec une fonction reelle k 0, de classe C

`a
support compact et dintegrale un, on pourra obtenir
1
= k de classe C

`a support
compact telle que
1

< /2, ce qui entrane que |z

1
(z)| /2 pour tout
z C.
Posons g(z) = z
1
(z) ; cette fonction est de classe C
1
sur C, ne sannule jamais, et
on a g(z) = z lorsque |z| R puisque
1
est `a support compact. On va montrer quune
telle fonction g ne peut pas exister.
Pour r [0, R] considerons le chemin ferme
r
parametre par [0, 2] et deni
par
r
() = g(r e
i
). Puisque g ne sannule pas, on a une famille de chemins C
1
qui ne
passent pas par 0, ce qui permet de considerer les indices
N(r) = Ind

r
(0) =
1
2i
_

r
dz
z
Z.
On montrera plus loin que r N(r) est continue, par un argument usuel dintegrale
dependant dun param`etre. Puisque le resultat est entier, il doit etre constant sur [0, R].
Mais on a g(z) = z lorsque |z| = R, donc
R
est le parcours du cercle de rayon R,
N(R) =
1
2i
_

R
dz
z
= 1
alors que N(0) = 0 (le chemin
0
est de longueur nulle). Cette contradiction montre que
lhypoth`ese que soit sans point xe est absurde.

Ecrivons le parametrage qui nous convaincra de la continuite de r N(r). Posons

G(x, y) = g(x + i y) pour tout (x, y) R
2
; cette fonction G `a valeurs complexes denie
sur R
2
est de classe C
1
puisque g est de classe C
1
. Pour r xe dans [0, R] on ecrit

r
() = g(r e
i
) = G(r cos , r sin), et on a

r
() =
_
G
x
(M

)(r sin) +
G
y
(M

)(r cos )
_
=: h(r, )
14
o` u M

= (r cos , r sin). La fonction h est un peu desagreable, mais il est clair quelle
est continue en (r, ) puisque G est de classe C
1
. On a maintenant
N(r) =
1
2i
_
2
0

r
()

r
()
d =
1
2i
_
2
0
h(r, )
g(r e
i
)
d
qui est continue en r dapr`es les theor`eme usuels sur la continuite dintegrales dependant
dun param`etre.
5.2.d. Developpement en serie de puissances
Theor`eme : formule de Cauchy elementaire. Soient z
0
, r
0
> 0 et f une fonction
holomorphe dans le disque ouvert B(z
0
, r
0
) ; pour tout r < r
0
et tout z tel que |zz
0
| < r
on a
f(z) =
1
2i
_

r
(z
0
)
f(w)
w z
dw.
Demonstration. Dans louvert U = B(z
0
, r
0
) xons un point z et considerons la fonction
continue g denie par g(w) =
_
f(w) f(z)
_
/(w z) si w = z et g(z) = f

(z). Cette
fonction est holomorphe dans U\ {z}. Puisque U est etoile, il resulte du corollaire 5.2.3
que
_

r
(z
0
)
g(w) dw = 0 pour tout cercle
r
(z
0
) dans U, de centre z
0
et de rayon r < r
0
.
On a donc, en decoupant g(w) en deux morceaux, legalite
_

r
(z
0
)
f(w)
w z
dw = f(z)
_

r
(z
0
)
1
w z
dw = 2if(z),
o` u on a utilise le calcul dindice de lexemple 5.2.4.
Theor`eme. Soient un ouvert de C et f une fonction holomorphe dans ; soient
ensuite z
0
et r
0
= dist(z
0
,
c
) > 0 ; la fonction f concide dans le disque ouvert
B(z
0
, r
0
) avec la somme dune serie enti`ere,
z B(z
0
, r
0
), f(z) =
+

n=0
a
n
(z
0
) (z z
0
)
n
.
La fonction f est donc indeniment derivable (au sens complexe) dans le disque B(z
0
, r
0
)
et on a necessairement
a
n
(z
0
) =
f
(n)
(z
0
)
n!
pour tout entier n 0.
Demonstration. Dans louvert U = B(z
0
, r
0
) on xe un point z et on consid`ere un nombre
r tel que |z z
0
| < r < r
0
. On vient de voir que
f(z) =
1
2i
_

r
(z
0
)
f(w)
w z
dw.
Utilisons le parametrage w = z
0
+ r e
i
, avec [0, 2]. Legalite precedente devient
f(z) =
1
2i
_
2
0
f(z
0
+ r e
i
)
r e
i
+z
0
z
ri e
i
d =
1
2
_
2
0
f(z
0
+ r e
i
)
1 e
i
(z z
0
)/r
d.
15
Considerons le developpement en serie
f(z
0
+ r e
i
)
1 e
i
(z z
0
)/r
=
+

n=0
f(z
0
+ r e
i
) e
ni
(z z
0
)
n
/r
n
;
comme |z z
0
| < r, la serie des modules est bornee par une valeur nie independante
de
+

n=0
|f(z
0
+ r e
i
)| |z z
0
|
n
/r
n
M
+

n=0
|z z
0
|
n
/r
n
=
M
1 |z z
0
|/r
o` u M designe le maximum de |f| sur le cercle
r
(z
0
)

. Ceci permet par le corollaire 1.3.2

dintervertir la serie et lintegrale, donc
f(z) =
+

n=0
1
2
_
2
0
f(z
0
+ r e
i
) e
ni
(z z
0
)
n
/r
n
d =
+

n=0
a
n
(z
0
) (z z
0
)
n
,
o` u
a
n
(z
0
) =
1
2
_
2
0
f(z
0
+ r e
i
) e
ni
r
n
d =
1
2i
_

r
(z
0
)
f(w)
(w z
0
)
n+1
dw
pour tout entier n 0.
5.3. Proprietes des fonctions holomorphes
5.3.a. Principe des zeros isoles
Proposition. Si une fonction f holomorphe dans un ouvert sannule en une suite
(z
n
)
n1
de points de qui tend vers un point z
0
, et si z
0
= z
n
pour tout n 1,
alors f est nulle au voisinage de z
0
. Autrement dit, lorsque lensemble des zeros de f
ne contient aucun ouvert non vide, chaque zero de f dans est isole dans ; si est
connexe et si f sannule dans un ouvert non vide U , alors f est nulle dans .
Demonstration. On ecrit
f(z) =
+

n=0
c
n
(z z
0
)
n
pour tout z B(z
0
, r
0
), o` u r
0
= dist(z
0
,
c
) > 0. Si f nest pas identiquement nulle
au voisinage de z
0
, il existe au moins un coecient c
n
non nul ; si on designe par m le
premier entier tel que c
m
= 0, on aura pour tout z B(z
0
, r
0
)
f(z) = c
m
(z z
0
)
m
_
1 + d
1
(z z
0
) + + d
k
(z z
0
)
k
+
_
o` u c
m
d
k
= c
m+k
, cest-`a-dire que f(z) = c
m
(z z
0
)
m
g(z) dans un voisinage de z
0
, avec
g continue et g(z
0
) = 1. Il est alors clair quil existe un voisinage de z
0
dans lequel z
0
est
le seul zero de f, contredisant ainsi lexistence dune suite de zeros (z
n
) dierents de z
0
et tendant vers z
0
.
On en deduit que lensemble N des points z tels quil existe un ouvert U
contenant z et dans lequel f est nulle, forme un sous-ensemble ouvert (evident) et ferme
de : en eet, si une suite (z
n
) N tend vers z , ou bien z = z
n
0
pour un certain
indice n
0
et dans ce cas z N directement, ou bien z est limite de zeros z
n
= z, et f est
nulle au voisinage de z par ce qui prec`ede, donc z N `a nouveau. Si est connexe, on
aura N = d`es que N nest pas vide.
16
Exemple. On a utilise ce principe pour calculer la transformee de Fourier des gaus-
siennes `a partir de leur transformee de Laplace : la fonction holomorphe
z e
z
2
/2

_
R
e
i zxx
2
/2
dx

2
est calculable sur laxe imaginaire, et elle est nulle sur laxe imaginaire ; elle est donc
nulle en tout point du connexe C.
Points reguliers, points singuliers sur le cercle de convergence dune serie enti`ere
On consid`ere la somme f(z) =

+
n=0
a
n
z
n
dune serie enti`ere de rayon de convergence
r
0
, avec 0 < r
0
< +. On dit que le point du cercle de convergence (|| = r
0
) est
regulier pour f sil existe une boule ouverte B(, ), > 0 et une fonction holomorphe
f
1
dans B(, ) telle que f
1
= f dans lintersection B(0, r
0
) B(, ) ; cela revient `a dire
que f se prolonge en fonction holomorphe dans louvert reunion B(0, r
0
) B(, ).
Ne pas confondre le fait que soit regulier ou non avec le fait que la serie de Taylor
de f `a lorigine converge ou non au point . Par exemple, la serie

z
n
diverge en tout
point du cercle unite ; pourtant, sa somme f(z) = (1 z)
1
se prolonge `a C \ {1}, donc
tous les = 1 du cercle unite sont reguliers. Il y a bien un point singulier sur le cercle
unite, conformement au theor`eme qui suit.
Theor`eme. Il existe au moins un point singulier sur le cercle de convergence.
Demonstration. Supposons r
0
= 1 pour xer les idees. Si aucun point singulier nexiste
sur le cercle de convergence, on aura pour tout point x du cercle de rayon 1 une boule
ouverte B
x
de centre x et une fonction holomorphe f
x
dans B
x
qui concide avec f
dans B(0, 1) B
x
; par compacite, on trouve un nombre ni B
1
, . . . , B
N
de ces boules
ouvertes qui couvre le cercle unite, et des fonctions f
1
, . . . , f
N
, telles que chaque f
j
soit holomorphe dans B
j
et concide avec f dans B
j
B(0, 1), pour tout j = 1, . . . , N.
Lensemble = B
1
. . . B
N
B(0, 1) est un ouvert qui contient le disque unite ferme,
donc il existe > 0 tel que B(0, 1 + ) .
Notons B
0
= B(0, 1) et f
0
= f. On va montrer quon peut denir une fonction
holomorphe g dans B(0, 1 + ) en posant g(z) = f
j
(z) si z B
j
, j = 0, . . . , N. Alors
g sera developpable en serie enti`ere de rayon de convergence 1 + ; mais cette serie
est aussi la serie de Taylor de f, puisque g = f au voisinage de 0 ; on aura donc une
contradiction au fait que le rayon de convergence etait egal `a 1.
Pour terminer, il sut de voir que f
j
(z) = f
k
(z) lorsque z B
j
B
k
, 0 j < k N.
Cest vrai par construction si j = 0. Sinon, B
j
et B
k
sont deux boules centrees en des
points x
j
et x
k
du cercle unite ; si U = B
j
B
k
nest pas vide, cest un ouvert qui
contient des points du cercle unite, donc U doit rencontrer B
0
; sur louvert non vide
V = B
0
B
j
B
k
, on sait que f
j
= f
0
= f
k
; pour nir, U est connexe et f
j
f
k
est
nulle sur un ouvert non vide V U : il en resulte que f
j
f
k
= 0 dans B
j
B
k
.
Exercice. On consid`ere la serie enti`ere
f(z) = z + z
3
+ z
7
+ + z
2
n
1
+
a. Verier que le rayon de convergence est egal `a 1.
17
b. Pour tout x C on pose g(x) = (x+x
2
)/2 ; montrer que pour tout > 0 il existe
> 0 tel que
_
|x| < 1 +
_

_
|g(x)| < 1 ou |x 1| <
_
.
c. Montrer que si 1 etait regulier pour f, il existerait > 0 tel que x f(g(x)) soit
holomorphe dans B(0, 1 +). Montrer que ceci est impossible en etudiant la serie enti`ere
de f(g(x)) pour x = 1.
d. Generaliser `a tout point du cercle unite : tous les points du cercle unite sont
singuliers pour f.
5.3.b. Fonctions holomorphes dans une couronne. Developpement de Laurent
Designons par C(R
1
, R
2
) la couronne ouverte du plan complexe centree en 0 egale `a
{z C : R
1
< |z| < R
2
}. On suppose R
1
< R
2
, et on peut admettre les cas extremes
R
2
= + et R
1
= 0 ; ainsi, la couronne C(0, +) est egale `a C

.
Lemme. Soit h une fonction holomorphe dans la couronne C(R
1
, R
2
), et designons par
(r) =
1
2
_
2
0
h(r e
i
) d
la moyenne de h sur le cercle centre en 0 et de rayon r, R
1
< r < R
2
; cette moyenne
reste constante quand r varie entre R
1
et R
2
.
Preuve. On aura en eet, en posant H(r, ) = h(r e
i
)
2ri
d(r)
dr
=
_
2
0
h

(r e
i
)ri e
i
d =
_
2
0
H

(r, ) d = H(r, 2) H(r, 0) = 0,

ce qui montre que (r) reste constant sur lintervalle ]R
1
, R
2
[. Autres methodes pour
montrer cette constance : invariance par homotopie (voir Cartan, paragraphe II.1.6),
ou bien la demonstration du Theor`eme de Cauchy global, dans Rudin, 3i`eme edition,
theor`eme 10.35.
Si f est holomorphe dans C(R
1
, R
2
), et si = r e
i
est un point xe de cette
couronne, on consid`ere la fonction periodique g
r
denie par g
r
() = f(r e
i
). La fonction
g
r
est de classe C
1
, ce qui sut largement (voir le corollaire 4.1.5) `a assurer quelle est
representable en tout point par son developpement de Fourier, convergent en
(7) f() = g
r
() =

mZ
c
m
(r) e
i m
,
o` u pour tout m Z le coecient de Fourier c
m
(r) de g
r
est donne par
c
m
(r) =
_
2
0
g
r
() e
i m
d
2
.
Si on pose h
m
(z) = f(z)/z
m
pour tout z de la couronne, on voit que
c
m
(r)
r
m
=
_
2
0
g
r
()
r
m
e
i m
d
2
=
_
2
0
h
m
(r e
i
)
d
2
18
est la moyenne de la fonction holomorphe h
m
sur le cercle
r
. On a vu que cette moyenne
est constante, ce qui permet decrire c
m
(r) = a
m
r
m
pour tout m Z, o` u a
m
ne depend
plus de r. Lequation (7) devient
f() =

mZ
a
m
r
m
e
i m
=

mZ
a
m

m
o` u
a
m
=
_
2
0
h
m
(r e
i
)
d
2
=
1
2i
_

r
f(z)
z
m
dz
z
.
Il sagit donc dun developpement de f de la forme f(z) =

+
n=
a
n
z
n
, convergent
pour tout z C(R
1
, R
2
). En y regardant de plus pr`es, on va voir que la serie est nor-
malement convergente sur tout compact K contenu dans la couronne ouverte, et que le
developpement est unique.
Proposition. On suppose que la fonction f est holomorphe dans la couronne C(R
1
, R
2
)
et quelle y est representee par une serie de la forme
f(z) =

mZ
a
m
z
m
,
convergente en + et . Cette serie converge uniformement sur tout compact K
contenu dans la couronne ouverte, et les coecients (a
m
) sont uniquement determines `a
partir de la fonction f : pour tout r tel que R
1
< r < R
2
et tout m Z, on a
(8) a
m
=
1
2i
_

r
f(z)
z
m
dz
z
.
Preuve. Si K est un compact contenu dans la couronne ouverte, il existe r
1
et r
2
tels
que R
1
< r
1
r
2
< R
2
et que tout point z de K verie r
1
|z| r
2
. Choisissons

1
et
2
tels que R
1
<
1
< r
1
r
2
<
2
< R
2
; puisque
1
et
2
sont deux points
de la couronne, les series

a
m

m
1
et

a
m

m
2
sont convergentes, ce qui signie pour
nous quelles convergent aux deux cotes ; en particulier leurs termes generaux sont
bornes : il existe M
1
, M
2
tels que
m Z, |a
m
|
m
1
M
1
, |a
m
|
m
2
M
2
.
On peut alors majorer pour tout z K les termes dindices m negatifs de la serie de
Laurent par
|a
m
z
m
| r
m
1
|a
m
| =
_
r
1

1
_
m

m
1
|a
m
| M
1
_
r
1

1
_
m
,
ce qui donne une serie majorante convergente ; pour la partie positive de la serie on utilise
r
2
,
2
, M
2
.
`
A partir de cette information de convergence normale, on peut intervertir serie
et integrale,
_

r
f(z)
z
n+1
dz =

mZ
_
_

r
a
m
z
mn1
dz
_
= 2ia
n
.
On aurait pu aussi invoquer lunicite du developpement de Fourier.
19
Remarque. Lutilisation des series de Fourier permet un passage tr`es rapide des fonc-
tions holomorphes aux fonctions analytiques, `a condition de supposer que la fonction
holomorphe en question soit de classe C
1
: si f est de classe C
1
dans la boule B(z
0
, r
0
),
et C-derivable dans cette boule, on sait par le lemme ci-dessus que les moyennes des fonc-
tions z f(z)/(zz
0
)
n
sur les cercles centres en z
0
sont independantes du rayon r < r
0
;
on en deduit comme on la fait ci-dessus un developpement de Laurent, et on montre
ensuite que tous les coecients dindice negatif sont nuls, en utilisant la formule (8) pour
r 0 (voir la demonstration de la proposition 5.3.2).
5.3.c. Applications du developpement de Laurent
Si R
1
, R
2
sont deux nombres tels que 0 R
1
< R
2
+ et si f est une fonction
holomorphe dans la couronne ouverte C(R
1
, R
2
) = {z C : R
1
< |z| < R
2
}, on a vu
quelle admet un developpement en serie de la forme
(L) z C(R
1
, R
2
), f(z) =
+

n=
a
n
z
n
o` u les coecients (a
n
)
nZ
peuvent sexprimer par
n Z, a
n
=
1
2i
_

r
f(w)
w
n+1
dw
pour tout cercle
r
centre en 0 et tel que R
1
< r < R
2
. La serie precedente (L), appelee
serie de Laurent de f, converge uniformement sur tout compact K contenu dans la
couronne. On obtient par translation le meme type de resultat pour une fonction f
holomorphe dans une couronne C(z
0
; R
1
, R
2
) centree en z
0
,
C(z
0
; R
1
, R
2
) = {z C : R
1
< |z z
0
| < R
2
}.
On aura dans ce cas un developpement de la forme
f(z) =
+

n=
a
n
(z
0
) (z z
0
)
n
dans la couronne en question. Les formules pour le calcul des coecients se transforment
de facon evidente par translation,
m Z, a
m
(z
0
) =
1
2i
_

r
(z
0
)
f(w)
(w z
0
)
m+1
dw.
La formule precedente, dans le cas m = 1 donne
_

r
(z
0
)
f(z) dz = 2i a
1
(z
0
) ;
cette formule est `a la base de la methode des residus ; on verra quon peut, sous certaines
conditions, deformer le chemin
r
(z
0
) en un nouveau chemin sans changer lintegrale.
20
On pourra ainsi donner la valeur de lintegrale de f sur des chemins plus generaux que
les seuls cercles autour de z
0
.
Exercice 5.3.1. Calculer par la methode des residus
_
+

e
i tx
(1 + x
2
)
dx
o` u t est un param`etre reel (utiliser le contour
R
forme du segment [R, R] et du demi-
cercle ayant lintervalle [R, R] comme diam`etre, et tournant dans Imz > 0 ou bien
Imz < 0 selon le signe de t).
Calculer
_
+
0
sinx
x
dx
`a partir de e
i z
/z.
Inegalites de Cauchy
Pour une fonction f holomorphe dans la couronne C(R
1
, R
2
), et pour r entre R
1
et R
2
posons
M
r
(f) = max{

f(r e
i
)

: R}.
En revenant `a la premi`ere expression (7) des (c
m
(r)) comme coecients de Fourier de
la fonction g
r
, on voit avec Parseval que
(C
2
)

mZ
r
2m
|a
m
|
2
=

mZ
|c
m
(r)|
2
= g
r

2
L
2
=
_
2
0

f(r e
i
)

2 d
2
M
r
(f)
2
et en particulier on trouve ainsi les inegalites de Cauchy,
(C

) m Z, r
m
|a
m
| M
r
(f).
Singularite articielle
Nous appellerons boule epointee une boule ouverte privee de son centre, par exemple
B(z
0
, R) \ {z
0
} ; on notera B

(z
0
, R) = B(z
0
, R) \ {z
0
} ; une telle boule epointee est un
cas particulier de couronne, B

(z
0
, R) = C(z
0
; 0, R).
Proposition 5.3.2. Si f est holomorphe dans B(z
0
, R) \ {z
0
} et si (z z
0
)f(z) tend
vers 0 quand |z z
0
| 0, alors f se prolonge en fonction holomorphe sur B(z
0
, R).
En particulier, si f reste bornee quand |z z
0
| 0, alors f se prolonge en fonction
holomorphe sur B(z
0
, R). Si f est denie et continue sur B(z
0
, R) et holomorphe dans
B(z
0
, R) \ {z
0
}, alors f est holomorphe sur B(z
0
, R).
Demonstration. Par translation on se ram`ene `a z
0
= 0. En considerant la boule epointee
B

(0, R) = B(0, R) \ {0} comme une couronne, on ecrit un developpement de Laurent

f(z) =

+
n=
a
n
z
n
dans B

(0, R). Puisque zf(z) tend vers 0, on a rM

r
(f) 0 lorsque
r 0, et a fortiori on a r
m
M
r
(f) 0 pour tout m 1. Dapr`es les inegalites de
Cauchy, on a |a
n
| r
n
M
r
(f) pour tout r tel que 0 < r < R et tout n < 0 ; en posant
21
m = n 1 et en faisant tendre r vers 0, on en deduit que a
n
= 0 pour tout n < 0 ;
la serie de Laurent se reduit donc `a une serie enti`ere. Le prolongement voulu pour f est
donne par la formule
z B(0, R),

f(z) =
+

n=0
a
n
z
n
.
Denitions. Soit f une fonction holomorphe dans la boule epointee B

(z
0
, R) ; on dit
que z
0
est un pole de f si le developpement de Laurent f(z) =

+
n=
a
n
(z
0
)(z z
0
)
n
de f dans B

(z
0
, R) comporte un nombre ni non nul de coecients a
n
(z
0
) = 0 avec
n < 0.
Le residu de f au point z
0
est le coecient a
1
(z
0
) ; on le note Res(f, z
0
) ; on a donc
(R) Res(f, z
0
) =
1
2i
_

r
(z
0
)
f(z) dz
pour tout r tel que 0 < r < R.
Dans certains cas on dispose de methodes simples de developpement limite pour
identier ce residu. Supposons par exemple que f(z) = P(z)/Q(z), o` u P, Q sont holo-
morphes au voisinage de z
0
et Q(z) = (z z
0
)R(z) admet un zero simple au point z
0
,
cest-`a-dire R(z
0
) = 0. Puisque Q

(z) = R(z) + (z z
0
)R

(z), on a R(z
0
) = Q

(z
0
).
Ensuite le quotient P(z)/R(z) est holomorphe au voisinage de z
0
, donc developpable en
serie enti`ere

+
n=0
b
n
(z z
0
)
n
, et la formule
f(z) =
1
z z
0
P(z)
R(z)
=
b
0
z z
0
+
+

n=0
b
n+1
(z z
0
)
n
montre que a
1
= b
0
= P(0)/R(0), cest-`a-dire
Res(f, z
0
) =
P(z
0
)
Q

(z
0
)
.
Denition. Soient un ouvert de C et A un ensemble discret dans (pour chaque
a A, il existe r > 0 tel que A B(a, r) = {a}) ; on dit que f est meromorphe dans
si elle est holomorphe dans \ A et si chaque point de A est un pole pour f.
Theor`eme : theor`eme de Liouville. On suppose que f est une fonction enti`ere, cest-`a-
dire une fonction holomorphe sur C.
Si f tend vers 0 `a linni, f est nulle.
Si f est bornee sur C, alors f est constante.
Si f(z) = O(|z|
m
) lorsque |z| +, avec m 0, alors f est un polynome de
degre m.
Demonstration. Prouvons la derni`ere variante. Lhypoth`ese implique quil existe C tel
que M
r
(f) Cr
m
pour r 1. Dapr`es les inegalites de Cauchy, on a |a
n
| Cr
mn
pour les coecients (a
n
) du developpement en serie enti`ere de f, quand r 1. Lorsque
n > m, on en deduit a
n
= 0 en faisant tendre r vers +. Le developpement en serie de
f se limite donc `a un polynome de degre m.
22
Corollaire : theor`eme de DAlembert. Tout polynome P de degre 1 `a coecients
complexes admet au moins une racine dans C.
Demonstration : sinon, la fonction z 1/P(z) serait holomorphe sur C, tendrait vers 0
`a linni mais ne serait pas nulle, ce qui contredirait le theor`eme de Liouville.
Variante de Liouville avec Re f
En utilisant la partie reelle de f on obtient une variante des inegalites de Cauchy
(9) n 1, |a
n
|

2
M
r
(Re f)
r
n
.
On obtient alors avec les memes raisonnements la variante suivante du theor`eme de
Liouville.
Supposons f enti`ere.
Si Re f tend vers 0 `a linni, f est nulle.
Si Re f est bornee sur C, alors f est constante.
Si Re f(z) = O(|z|
m
) lorsque |z| +, avec m 0, alors f est un polynome de
degre m.
Demontrons les inegalites (9).

Ecrivons f(z) =

+
n=0
a
n
z
n
, puis a
n
=
n
+i
n
, avec

n
,
n
R. Pour z de module r ecrivons z = r e
i
, puis z
n
= r
n
_
cos(n) + i sin(n)
_
;
alors Re(a
n
z
n
) = r
n
(
n
cos(n)
n
sin(n)), donc par orthogonalite dans L
2
(0, 2) des
fonctions sinus et cosinus
M
r
(Re f)
2

_
2
0
| Re f(r e
i
)|
2
d
2
= |
0
|
2
+
+

n=1
r
2n
_
|
n
|
2
+|
n
|
2
2
_
.
Pour tout n 1 on a donc r
2n
|a
n
|
2
2 M
r
(Re f)
2
.
Theor`eme de Morera
Dans le cercle dimplications qui m`ene de fonction holomorphe `a fonction analytique, on
peut isoler le theor`eme de Morera, qui est bien commode pour verier que lholomorphie
est preservee dans certaines integrales dependant dun param`etre, ainsi que par certaines
limites de suites de fonctions.
Theor`eme. Soit f une fonction continue dans un ouvert ; si on a
_
T
f(z) dz = 0
pour tout triangle T contenu dans , alors f est holomorphe dans .
Dans lenonce,

triangle

signie triangle

plein

, et T est un chemin qui parcourt

le bord du triangle T.
Demonstration. Soient z
0
et C = B(z
0
, r) une boule ouverte contenue dans ; on
a vu que la nullite de lintegrale de f sur les bords des triangles permet de denir une
primitive de f si louvert considere est etoile ; dans le convexe C la fonction f admet
donc une primitive F, qui est par consequent holomorphe dans C; la chane dimplications
vue precedemment donnera que F est developpable en serie enti`ere dans B(z
0
, r), donc
sa derivee f sera elle aussi derivable au sens complexe dans C, et en particulier au point
z
0
, point quelconque de .
23
5.3.d. Holomorphie dintegrales dependant dun param`etre
Lemme 5.3.3. On suppose que f est holomorphe dans la boule ouverte B(z
0
, r
0
) ; pour
tout r < r
0
et tout z tel que |z z
0
| < r on a
|f

(z)|
r
(r |z z
0
|)
2
max{|f(z
0
+ r e
i
)| : R}.
Preuve. On peut bien s ur se ramener au cas z
0
= 0 par translation. On ecrit alors
f(z) =

+
n=0
a
n
z
n
. On a vu que r
n
|a
n
| M
r
(f), donc
|f

(z)| =

n1
na
n
z
n1

M
r
(f)
r

n1
n
_
|z|
r
_
n1
=
M
r
(f)
r
1
(1 |z|/r)
2
quon peut ecrire
|f

(z)|
rM
r
(f)
(r |z z
0
|)
2
.
On en deduit un theor`eme dholomorphie pour les integrales dependant dun param`etre,
qui ne demande pas de controle de la

grandeur

de la derivee, mais seulement de celle

de la fonction ! Le theor`eme suivant est le theor`eme I.7 du chapitre IX de Zuily-Queelec.
Theor`eme. Soit f(z, t) une fonction denie sur X, o` u est un ouvert non vide de
C et (X, A, ) un espace mesure ; on suppose que
pour tout t X, la fonction z f(z, t) est holomorphe sur ,
pour tout z , la fonction t f(z, t) est mesurable sur (X, A),
pour tout compact K , il existe une fonction -integrable g
K
(t) sur X telle que
|f(z, t)| g
K
(t) pour tous z K, t X.
Il en resulte que la fonction F denie sur par
F(z) =
_
X
f(z, t) d(t)
est holomorphe dans et
F

(z) =
_
X
f
z
(z, t) d(t).
Demonstration. Fixons un point z
0
dans , posons r
0
= dist(z
0
,
c
), xons r tel que
0 < r < r
0
et t X; sur le compact K = B(z
0
, r) la fonction holomorphe f
t
denie
par f
t
(z) = f(z, t) est majoree en module par un nombre g
K
(t) independant de z K;
cette majoration est en particulier valable sur le cercle
r
(z
0
), et on en deduit que
|f

t
(z)|
rg
K
(t)
(r |z z
0
|)
2
pour tout z B(z
0
, r) ; si on se limite au voisinage V = B(z
0
, r/2) on aura
z V, |f

t
(z)|
4g
K
(t)
r
.
24
Le voisinage V etant convexe, cette inegalite entrane que f
t
est lipschitzienne dans V,
et

f
t
(z
0
+ h) f
t
(z
0
)
h

4g
K
(t)
r
pour tout h C tel que |h| < r/2. Pour toute suite (h
n
) tendant vers 0, la suite de
fonctions
g
n
(t) =
f(z
0
+ h
n
, t) f(z
0
, t)
h
n
converge vers
f
z
(z
0
, t), en etant dominee par la fonction integrable xe 4r
1
g
K
; le
theor`eme de convergence dominee implique que
F(z
0
+ h
n
) F(z
0
)
h
n
=
_
X
g
n
(t) d(t)
_
X
f
z
(z
0
, t) d(t).
Exemple-Exercice. Montrer que la fonction
(z) =
_
+
0
t
z1
e
t
dt
denie dans louvert = {z : Re z > 0}, est holomorphe dans cet ouvert. Si on pose
z = x + iy, on a

t
z1

e
(z1) ln t

= e
(x1) ln t
= t
x1
et les majorations am`enent `a distinguer les cas x > 1 et x < 1. Mais leort total de
verication est moindre que pour verier que la fonction est derivable sur R par les
methodes purement reelles !
Limites de suites de fonctions holomorphes
Proposition. Si une suite (f
n
) de fonctions holomorphes sur un ouvert de C tend
simplement sur vers une fonction f, et si pour tout compact K il existe une
constante c
K
telle que |f
n
(z)| c
K
pour tout n et tout z K, alors f H().
Il resulte en fait de lhypoth`ese que la suite (f
n
) converge vers f uniformement sur
tout compact K .
Demonstration. On va dabord montrer que la suite (f
n
) converge uniformement vers f
sur toute boule B(z
0
, r) telle que B(z
0
, 2r) . Soit z B(z
0
, r) ; dapr`es la formule
integrale de Cauchy,
f
n
(z) f
m
(z) =
1
2i
_

2r
(z
0
)
f
n
(w) f
m
(w)
w z
dw.
En posant w = z
0
+ 2r e
i
on obtient, en notant que |w z| r lorsque w
2r
(z
0
)

|f
n
(z) f
m
(z)|
1
2
_
2
0

(f
n
f
m
)(z
0
+ 2r e
i
)

r
2r d.
25
Sur le compact K =
2r
(z
0
)

la suite (f
n
f
m
) tend vers 0 en etant dominee par 2c
K
:
dapr`es le theor`eme de convergence dominee de Lebesgue, il en resulte que

n,m
:=
_
2
0

(f
n
f
m
)(z
0
+ 2r e
i
)

d
2
tend vers 0 lorsque m, n tendent vers +. On a vu que
|f
n
(z) f
m
(z)| 2
m,n
pour tout z B(z
0
, r) ; la suite (f
n
) est donc de Cauchy uniforme dans B(z
0
, r) ; elle con-
verge uniformement vers f dans B(z
0
, r) puisquon avait suppose la convergence simple
de (f
n
(z)) vers f(z) en tout point z de .
Si K est compact, on peut le recouvrir par un nombre ni de boules B(z
j
, r
j
)
telles que B(z
j
, 2r
j
) : puisque f
n
converge uniformement vers f sur chaque boule
B(z
j
, r
j
) on en deduit la convergence uniforme sur K.
Une fois la convergence uniforme sur tout compact demontree, on peut par exemple,
pour verier que la limite f est holomorphe, faire passer lhypoth`ese du theor`eme de
Morera `a la limite ; on pourrait egalement, tout aussi simplement, faire passer la formule
de Cauchy pour f
n
`a la limite.
Exercice. Soient U le disque unite ouvert et H(U) lespace des fonctions holomorphes
dans U; pour tout > 0 on introduit lespace E

des fonctions complexes f mesurables

dans le disque unite telles que
f
2
E

=
_
U
|f(x + iy)|
2
(x
2
+ y
2
)

dxdy < +.
Montrer que pour tout compact K U, il existe une constante c
K
= c
K,
telle que
f H(U) E

, z K, |f(z)| c
K
f
E

(on pourra appliquer la formule de Cauchy `a une famille de cercles centres en 0 de rayons
r tels que r
1
< r < r
2
< 1, o` u r
1
est choisi de facon que K D(0, r
1
), et integrer par
rapport au param`etre r).
Montrer que H(U) E

est un sous-espace vectoriel ferme de E

.
Montrer que lappartenance de f `a H(U) E

peut se caracteriser au moyen des

coecients de Taylor de f en 0. Montrer que H(U) E

est ladherence dans E

de
lensemble des polynomes.
5.3.e. Principe du maximum
Lemme. Si f est holomorphe dans B(z
0
, r
0
) et si |f| atteint un maximum au point z
0
,
la fonction f est constante dans la boule.
Preuve. On suppose que |f(z)| |f(z
0
)| pour tout point z de B(z
0
, r
0
). On part de la
serie enti`ere f(z) =

+
n=0
a
n
(z z
0
)
n
, qui fournit sur le cercle des points z = z
0
+r e
i
,
0 < r < r
0
, un developpement de Fourier
f(z
0
+ r e
i
) =
+

n=0
a
n
r
n
e
ni
pour lequel Parseval et lhypoth`ese donnent
|a
0
|
2

mZ
r
2m
|a
m
|
2
=
_
2
0

f(z
0
+ r e
i
)

2 d
2
|f(z
0
)|
2
= |a
0
|
2
,
ce qui entrane que tous les coecients a
m
, m 1, sont nuls.
26
Theor`eme. Si est un ouvert borne, f une fonction continue sur le compact et dont
la restriction `a est holomorphe, on a
max{|f(z)| : z } = max{|f(z)| : z }.
En raccourci : le maximum de |f| est atteint au bord (le bord, ou fronti`ere de louvert
est note ).
Preuve. Il existe un point z
0
du compact o` u le maximum est atteint. Si ce point est
dans la fronti`ere de , le resultat est etabli. Sinon, soit r
0
= dist(z
0
,
c
) > 0 ; puisque
|f| atteint son maximum dans B(z
0
, r
0
) au centre, la fonction f est constante dans le
disque. Mais il existe un point z
1
tel que |z
1
z
0
| = r
0
. La fonction f est constante
sur le segment [z
0
, z
1
[ qui joint z
0
`a z
1
, donc f(z
1
) = f(z
0
) par continuite et le maximum
du module est aussi atteint sur le bord, au point z
1
.
Corollaire. Soient C un ouvert non vide dierent de C, f une fonction continue
sur , holomorphe dans , et qui tend vers 0 quand |z| +. Pour tout z on a
|f(z)| max{|f(w)| : w }.
Demonstration. Si f = 0 cest trivial ; sinon soit z
0
tel que a = |f(z
0
)| > 0. Soit R > |z
0
|
tel que |z| R implique |f(z)| < a ; posons
R
= B(0, R) ; cet ouvert est non vide,
borne ; le bord de
R
est forme dune partie du bord de et dune partie du cercle de
rayon R. Dapr`es le resultat precedent, le maximum de |f| sur
R
est atteint sur le bord
de
R
, et ca ne peut pas etre sur la partie cercle de rayon R puisque |f(w)| < |f(z
0
)|
lorsque |w| = R. On en deduit le resultat cherche.
Corollaire. Soit S = {z C : 0 < Re z < 1} et soit f une fonction continue sur S,
holomorphe dans S ; si f est bornee sur S, on a pour tout z S
|f(z)| sup{|f(w)| : w S}.
On trouve ce corollaire chez Rudin, theor`eme 12.8. Le bord de la bande S est forme
des deux droites Re z = 0 et Re z = 1. Il faut savoir que le resultat est faux si aucune
hypoth`ese nest ajoutee `a lholomorphie-continuite de f : il existe f holomorphe dans S,
de module 1 sur S, et qui nest pas bornee dans S, par exemple
f(z) = exp
_
cos(z /2)
_
.
Si on pose z = x + i y, on verie que
|f(z)| = exp
_
cos(x /2) ch(y)
_
,
donc le module est egal `a 1 si x = 0 ou x = 1. En revanche, lorsque x = 1/2, on a
|f(z)| = exp(ch(y)) qui tend tr`es (tr`es) vite vers linni avec y.
Demonstration. Pour tout > 0 on pose
z S, g

(z) = e
z
2
f(z).
On note que | e
(x+i y)
2
| = e
(x
2
y
2
)
e
(1y
2
)
si z = (x + i y) S. Puisque f est bornee
sur S, la fonction g

tend vers 0 `a linni, donc par le corollaire precedent

|g

(z)| max{| e
w
2
f(w)| : Re w = 0, 1} e

sup{|f(w)| : w S}.
En faisant tendre vers 0, on obtient le resultat.
27
On voit quon navait pas vraiment besoin de savoir que f etait bornee pour appliquer
la demonstration precedente : il aurait sut de savoir que e
y
2
f(x + iy) tend vers 0
quand z = x + iy tend vers linni dans S, pour tout > 0. Voir Rudin, section du
chapitre 12 sur Phragmen-Lindelof pour aller plus loin dans cette direction.
Corollaire : lemme des trois droites. Soit f une fonction continue sur S, holomorphe
dans S = {z C : 0 < Re z < 1}, et bornee sur S ; posons pour x [0, 1]
M
x
= sup{|f(x + i y)| : y R}.
Pour tout ]0, 1[ on a
M

M
1
0
M

1
.
Pour ce lemme classique voir Zuily-Queelec, chapitre XI, 2.4 et la suite (p. 467 et
suivantes).
Demonstration. On choisit a reel de facon que e
a(x)
M
x
prenne la meme valeur en
x = 0 et x = 1 : il faut que e
a
= M
0
/M
1
. Posons g(z) = e
a(z)
f(z) ; sur chacune des
deux droites du bord, j = 0, 1
|g(j + i y)| = e
a(j)
|f(j + i y)| (M
0
/M
1
)
j
M
j
= M
1
0
M

1
.
Par ailleurs, la remarque
|g( + i y)| = | e
ai y
f( + i y)| = |f( + i y)|
et le corollaire precedent applique `a g terminent la preuve.
5.4. Homologie, homotopie
5.4.a. Primitive le long dun chemin
On suppose donnes : un ouvert de C, une fonction f H(), un ouvert U de R,
un chemin continu : [, ] tel que ((t), t) U pour tout t [, ]. Une primitive
de f le long de sera une fonction (z, t) F(z, t) denie sur U, `a valeurs dans C et telle
que

z
F(z, t) = f(z),

t
F(z, t) = 0.
Exemple. On consid`ere louvert U
0
= {z : Imz = 0 ou Re z > 0}, puis
U = {(z, t) : z e
i t
U
0
}.
On a deni une determination ln
0
du logarithme dans U
0
; on pose
F(z, t) = ln
0
(z e
i t
) + i t.
On montre alors que

z
F(z, t) =
1
z
,

t
F(z, t) = 0.
28
Considerer cette fonction F revient `a suivre la determination du logarithme en tournant
autour de 0.
Lemme. Si le chemin ci-dessus est de classe C
1
par morceaux, on a
_

f(z) dz = F((), ) F((), ).

Preuve. Il sut de constater que la derivee de lexpression
g(t) = F((t), t)
_
t

f((t))

(t) dt
est nulle dans linterieur de chaque sous-intervalle o` u est de classe C
1
.
Lemme. Si f est une fonction holomorphe dans un ouvert et si est un chemin
continu dans , il existe un ouvert U de R et une primitive F de f le long de ,
denie dans U.
Preuve. On suppose deni sur [, ]. On commence en posant s
0
= , t
0
= ,
z
0
= (t
0
), r
0
= dist(z
0
,
c
) et B
0
= B(z
0
, r
0
) . Dans louvert convexe B
0
, la
fonction holomorphe f admet une primitive F
0
. On pose
t
1
= min{t : dist((t), z
0
) = r
0
/2}
ou bien t
1
= + sil nexiste pas de tel t. Si t
1
< +, on a dist((t
1
), z
0
) = r
0
/2 par
continuite ; on note donc que t
1
> t
0
. On consid`ere louvert U
0
= B
0
]s
0
, t
1
[ et dans cet
ouvert on pose
F(z, t) = F
0
(z).
Si t
1
< +, on choisit maintenant s
1
tel que t
0
< s
1
< t
1
, on pose z
1
= (t
1
), r
1
=
dist(z
1
,
c
), B
1
= B(z
1
, r
1
) . On a vu que dist(z
0
, z
1
) = r
0
/2, donc z
1
B
0
. Dans
louvert convexe B
1
, la fonction holomorphe f admet une primitive F
1
, quon peut choisir
telle que F
1
(z
1
) = F
0
(z
1
). On pose
t
2
= min{t > t
1
: dist((t), z
1
) = r
1
/2}
ou bien t
2
= + sil nexiste pas de tel t. On consid`ere louvert U
1
= B
1
]s
1
, t
2
[ et dans
cet ouvert on veut poser
F(z, t) = F
1
(z),
mais il faut verier avant tout que les deux denitions precedentes pour F sont cohe-
rentes : si (z, t) U
0
U
1
, on a z B
0
B
1
; dans cet ouvert convexe, la fonction F
1
F
0
est constante, car sa derivee est nulle, et F
1
F
0
est en fait nulle puisque F
1
(z
1
) = F
0
(z
1
).
On poursuit ainsi, jusqu`a ce que t
n+1
= + pour un certain n ; on posera alors
U = U
0
U
1
. . . U
n
, et F est denie sur U en recollant les morceaux.
29
Integrale le long dun chemin continu
Supposons que soit un chemin continu de [, ] dans louvert , et F une primitive
de f le long de , denie sur un ouvert U R. On peut trouver une suite (
n
) de
chemins de classe C
1
qui converge uniformement vers , et on peut meme supposer que

n
() = (),
n
() = () pour tout n (par exemple, ajouter `a
n
la fonction
n
ane
sur [, ] telle que
n
() = ()
n
(),
n
() = ()
n
() ; pour n assez grand,

n
+
n
reste dans ). On voit que lensemble des (
n
(t), t) sera dans U pour n assez
grand ; on aura donc pour tout n assez grand
_

n
f(z) dz = F((), ) F((), ),
quantite qui ne depend pas de n ; il est donc legitime dintroduire la (pseudo)-integrale
de f sur un chemin continu , comme la valeur commune des integrales de f sur les
chemins C
1
susamment proches de ayant les memes extremites que .
Homotopie
Si (t, u) est une fonction continue de [, ] [0, 1] dans , telle que t (t, u) soit un
chemin ferme
u
pour tout u [0, 1], la quantite
u
_

u
f(z) dz
est constante sur [0, 1] : il sut de montrer quelle est localement constante. Si u
0
est xe,
on trouve une primitive F de f le long du chemin
u
0
, denie dans un ouvert U R.
Alors, pour u voisin de u
0
, le chemin
u
reste compatible avec F au sens que (
u
(t), t) U
pour tout t [, ], donc
_

u
f(z) dz = F((, u), ) F((, u), ).
Posons g(u) = (, u) = (, u). On peut trouver une boule ouverte B centree en g(u
0
)
telle que B {} et B {} soit contenus dans U; pour u voisin de u
0
, le point g(u)
reste dans B. La fonction z F(z, ) F(z, ) est constante dans B car sa derivee est
f(z) f(z) = 0.
Exemple. Dans le cas de lexercice 5.3.1, il est facile de deformer le contour
R
utilise
vers un petit cercle
r
(i ) autour du point i ; pour ce petit cercle, la serie de Laurent
donne le resultat,
_

R
=
_

r
(i )
= 2ia
1
(i)
o` u a
1
(i) est le coecient du developpement de Laurent au point i pour la fonction qui
est sous lintegrale.
30
5.4.b. Theor`eme de Cauchy global
Dapr`es Rudin, theor`eme 10.35. Un cycle est une combinaison formelle nie `a coef-
cients entiers relatifs de chemins fermes (
j
) dans C, de la forme =

n
j=1
c
j

j
; on
pose
_

=
n

j=1
c
j
_

j
et

=
j

j
. Si z /

on peut calculer lindice de z par rapport au cycle

Ind

(z) =
1
2i
_

dw
w z
=
n

j=1
c
j
Ind

j
(z).
Theor`eme. On suppose que est un cycle contenu dans un ouvert de C, et que
Ind

(z) = 0
pour tout z / . Pour toute f H(), on a
z \

, Ind

(z) f(z) =
_

f(t)
t z
dt.
De plus,
_

f(t) dt = 0.
Demonstration. On pose pour z, t
g(z, t) =
f(t) f(z)
t z
lorsque z = t et g(z, t) = g

(t) quand z = t. Pour t xe, la fonction z g(z, t)

presente une singularite articielle au point t, donc elle est holomorphe dans . Le
theor`eme sur lholomorphie dintegrales `a param`etres implique que
h(z) =
1
2i
_

f(t) f(z)
t z
dt
est holomorphe dans (parametrer chaque integrale sur les chemins fermes
j
qui for-
ment , pour ramener `a une integrale sur un espace mesure ni X = [
j
,
j
] muni de la
mesure de Lebesgue). Posons par ailleurs

1
= {z C \

: Ind

(z) = 0}.
Par hypoth`ese,
1
contient le complementaire de , et cest un ouvert dapr`es la conti-
nuite de lindice ; louvert
1
est aussi un voisinage de linni dapr`es les proprietes de
lindice. On pose pour tout z
1
h
1
(z) =
1
2i
_

f(t)
t z
dt ;
31
on montre facilement que h
1
est holomorphe dans
1
. De plus, lorsque z
1
, on a
h
1
(z) h(z) =
1
2i
_

f(z)
t z
dt = f(z) Ind

(z) = 0
par denition de
1
. Ceci permet de denir une fonction holomorphe k sur
1
= C
en posant k(z) = h(z) si z et k(z) = h
1
(z) si z
1
. La fonction k est enti`ere, mais
la forme de h
1
montre que k(z) = h
1
(z) tend vers 0 lorsque |z| tend vers linni. Dapr`es
Liouville, on a k = 0, donc h = 0, ce qui donne le premier resultat voulu.
Pour le deuxi`eme, on suppose que g H(), on prend a \

et on pose
f(z) = (z a) g(z). Puisque f est nulle au point a, lapplication de la formule precedente
`a cette fonction f et au point z = a \

donne le resultat voulu,

_

g(t) dt = 0.
Exemple. Dans le cas de lexercice 5.3.1, il est facile de montrer que le cycle
=
R

r
(i )
forme du contour
R
(lintervalle [R, R] suivi dun demi-tour dans {Imz > 0} sur le
cercle

R
) et dun petit cercle negatif
r
(i) autour du point i verie les hypoth`eses ;
prenons louvert des points z = i tels que Im(z) > 1/2 ; cet ouvert contient

, et la
fonction sous lintegrale
f(z) =
e
i tz
(1 + z
2
)
est holomorphe dans ; pour calculer les indices des points hors de , on distingue le
cas z = i o` u on trouvera lindice egal `a 1 1 = 0, et le cas Imz 1/2 ; dans ce second
cas la fonction w (w z)
1
est holomorphe dans louvert convexe {Imz > 1/2}, et
lindice est donc de la forme 0 0 = 0. On en deduit que lintegrale de f sur le cycle
est nulle, ce qui ram`ene lintegrale voulue sur
R
`a lintegrale pour le petit cercle
r
(i),
pour laquelle la serie de Laurent donne le resultat.
32