Vous êtes sur la page 1sur 77

D

epartement MIDO
Notes de cours
ANALYSE COMPLEXE
Guillaume CARLIER
L3, ann

ee 2012-2013
2
Ces notes de cours constituent une introduction ` a lanalyse complexe
elementaire, domaine fascinant de lanalyse aux nombreuses ramications.
Ces notes ne vous seront protables que si vous preparez reguli`erement et
serieusement les T.D.s et ne vous dispensent bien evidemment pas dassister
au cours.
Nhesitez pas ` a me signaler les erreurs et les coquilles qui subsisteraient
dans ces notes. De mani`ere generale, vos suggestions sont les bienvenues,
cest gr ace `a elles que ces notes pourront etre ameliorees pour vos camarades
des prochaines annees. Jesp`ere que ce poly vous sera utile et vous en souhaite
une bonne lecture.
G. CARLIER
3
4
Table des mati`eres
1 Rappels et preliminaires 6
1.1 Rappels sur les nombres complexes . . . . . . . . . . . . . . . 6
1.2 Topologie des metriques, topologie de C . . . . . . . . . . . . 9
1.3 Rappels sur les suites et series de fonctions . . . . . . . . . . . 16
1.4 Connexite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2 Series enti`eres 21
2.1 Denitions et proprietes premi`eres . . . . . . . . . . . . . . . . 21
2.2 Operations sur les series enti`eres . . . . . . . . . . . . . . . . . 25
2.3 Derivees . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.4 Exponentielle et quelques fonctions usuelles . . . . . . . . . . 30
2.5 Logarithme complexe . . . . . . . . . . . . . . . . . . . . . . . 33
3 Fonctions analytiques 36
3.1 Denitions premi`eres . . . . . . . . . . . . . . . . . . . . . . . 36
3.2 Prolongement analytique, principe des zeros isoles et consequences 37
3.3 Theor`eme du module maximal et consequences . . . . . . . . . 41
4 Fonctions holomorphes, formules de Cauchy, primitives com-
plexes 43
4.1 Denitions et proprietes premi`eres . . . . . . . . . . . . . . . . 43
4.2 Les relations de Cauchy-Riemann . . . . . . . . . . . . . . . . 44
4.3 Integrales le long de chemins, indice . . . . . . . . . . . . . . . 47
4.4 Primitives complexes . . . . . . . . . . . . . . . . . . . . . . . 53
4.5 Theor`eme de Cauchy et analyticite des fonctions holomorphes 59
5 Fonctions meromorphes, singularite et residus 63
5.1 Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . 63
5.2 Fonctions meromorphes, p oles, residus . . . . . . . . . . . . . 68
5.3 La formule des residus . . . . . . . . . . . . . . . . . . . . . . 70
5.4 Exemples de calcul dintegrales par la formule des residus . . . 73
5
Chapitre 1
Rappels et preliminaires
1.1 Rappels sur les nombres complexes
Soit (x, y) et (x

, y

) deux couples de reels et denissons leur produit (x, y)


(x

, y

) (ou (x, y)(x

, y

)) par
(x, y)(x

, y

) = (xx

yy

, xy

+ yx

).
Ce produit denit une loi de composition interne sur R
2
et en notant i = (0, 1)
et 1 = (1, 0) on a les proprietes fondamentales que 1 est lelement neutre pour
le produit :
(x, y)(1, 0) = (x, y)
et
i
2
= i i = (1, 0) = 1
de sorte que i peut etre vu comme une racine carree de lunite. On identie
par la suite les points du plan R
2
(x, y) ` a z = x+iy et lensemble des nombres
complexes C est precisement lensemble {z = x + iy, R, y R}. Ainsi le
produit des nombres complexes z = x + iy et z

= x

+ iy

est il le nombre
complexe zz

= (xx

yy

) +i(xy

+x

y). Le conjugue de z = x +iy est par


denition le nombre complexe z := x iy, lecriture z = x + iy avec x et y
reels est unique (car 1 et i forment une famille libre sur R), x et y sappellent
respectivement partie reelle et partie imaginaire de z :
x = Re(z), y = Im(z).
Un nombre complexe z est dit reel ssi sa partie imaginaire est nulle (on
lidentie alors au reel Re(z)) et imaginaire pur ssi sa partie reelle est nulle.
Le nombre complexe 0 est par denition le nombre complexe de partie reelle
et imaginaire nulles.
6
Notons que
Re(z) =
z + z
2
et Im(z) =
z z
2
.
La somme des nombres complexes z = x+iy et z

= x

+iy

est par denition


z + z

= (x + x

) + i(y + y

)
et le produit de z par le reel est le complexe z = x + iy (noter que z
est aussi le produit des nombres complexes z et ). Ainsi C est-il un R-espace
vectoriel et lapplication :
(x, y) R
2
x + iy C
est un isomorphisme et donc C est un R espace vectoriel de dimension deux
(une base etant formee par 1, i).
Muni de son produit et de son addition C est aussi un corps commutatif
ce qui signie que :
(C, +) est un groupe commutatif (son neutre etant le nombre complexe
0),
notant C

:= C \ {0}, (C

, ) est un groupe commutatif (son neutre


etant le nombre 1 et linverse de z = x + iy = 0 etant z
1
=
z
x
2
+y
2
),
la multiplication est distributive pour laddition (`a gauche comme ` a
droite) cest-`a-dire que pour tout (z
1
, z
2
, z
3
) C
3
on a
z
1
(z
2
+ z
3
) = z
1
z
2
+ z
1
z
3
, (z
1
+ z
2
)z
3
= z
1
z
3
+ z
2
z
3
.
Notons que pour z = x+iy C le nombre complexe z z = x
2
+y
2
(do` u la
formule de linverse dun complexe non nul) est donc reel et positif, le module
de z est alors deni par
|z| =

z z =
_
x
2
+ y
2
qui represente la distance (euclidienne) de (x, y) `a lorigine dans le plan.
Lensemble des nombres complexes de module 1 se note S
1
cest lensemble
des nombres complexes de la forme e
i
:= cos() + i sin() R, cest un
groupe pour la multiplication (1 S
1
et linverse de e
i
est e
i
= e
i
).
Lapplication R e
i
est 2-periodique et cest un morphisme de groupes
entre (R, +) et (S
1
, ) au sens o` u e
i(+

)
= e
i
e
i

. En eet,
e
i(+

)
= cos( +

) + i sin( +

)
= (cos() cos(

) sin() sin(

)) + i(sin() cos(

) + cos() sin(

))
= e
i
e
i

.
7
Notons aussi que i = e
i

2
et i = e
i

2
ainsi que les formules de Moivre :
e
in
= cos(n) + i sin(n), n Z, R
et dEuler :
cos() =
e
i
+ e
i
2
, sin() =
e
i
e
i
2i
.
Pour z C, z = 0, z/|z| S
1
et donc z peut secrire sous la forme
z = e
i
avec = |z| > 0 et pour un certain R, le nombre nest deni
que modulo 2 et sappelle un argument de z, il represente geometriquement
langle entre laxe des reels et celui engendre par z. Largument dun nombre
complexe netant deni qu` a un multiple de 2 pr`es nous chercherons par la
suite ` a en determiner une (ou des) representations continue(s), notons que
largument nest pas deni (meme modulo 2) au point 0 et par consequent
pour construire des determinations continues de largument, il faudra se pla-
cer sur des domaines ne contenant pas lorigine. La representation z = e
i
avec > 0 et R sappelle factorisation polaire de z C

.
Similitudes
Soit z
0
= x
0
+ iy
0
C

:= C \ {0}, considerons lapplication f


z
0
: C C
denie par f
z
0
(z) := z
0
z. Lapplication f
z
0
est un isomorphisme de C (son
inverse etant f
z
1
0
evidemment). Notant z
0
=
0
e
i
0
et z = e
i
on a f
z
0
(z) =

0
e
i(
0
+)
ainsi on voit aisement que lapplication f
z
0
est la composee de
lhomothetie de rapport
0
= |z
0
| et de la rotation dangle
0
, cest ce que lon
appelle une similitude, f
z
0
a la propriete remarquable de conserver les angles
orientes (exercice : montrer que cest une caracterisation des similitudes).
Noter que la conjugaison z z nest PAS une similitude.
Une application lineaire du plan R
2
est de la forme f(x, y) = (ax+by; cx+
dy) et se represente par sa matrice dans la base canonique de R
2
:
M
f
=
_
a b
c d
_
il faut donc quatre reels pour la decrire. La matrice de f
z
0
(vue comme
application lineaire du plan) a donc une structure speciale (elle est denie
par les deux reels x
0
et y
0
) ce qui se voit sur sa matrice
M
f
z
0
=
_
x
0
y
0
y
0
x
0
_
dont les colonnes forment une base orthogonale directe.
8
Racines de polynomes
Par construction i
2
= 1 cest-`a dire que lequation polynomiale z
2
+ 1 = 0
admet les deux racines complexes i et i tandis quelle nadmet pas de racines
reelles, lun des principaux interets des nombres complexes reside dans la
resolution dequations polynomiales. On a le theor`eme fondamental suivant
que nous demontrerons plus loin dans ce cours :
Theor`eme 1.1 (Theor`eme de dAlembert-Gauss) Soit P un polynome
complexe non constant (P(z) =

n
k=0
a
k
z
k
, a
k
C, n 1, a
n
= 0) alors P
poss`ede au moins une racine complexe.
La conclusion du theor`eme est qu il existe z
0
C tel que P(z
0
) = 0, ce
qui revient aussi `a dire que (z z
0
) divise P(z) : P(z) = (z z
0
)P
1
(z) avec
P
1
de degre n1, si n1 1 on applique encore le theor`eme de dAlembert
Gauss ` a P
1
: Q(z) = (z z
1
)P
2
(z) et ainsi de suite jusqu`a obtenir un facteur
constant ce dont on deduit le corollaire
Corollaire 1.1 Tout polynome complexe de degre n poss`ede n racines (comptees
avec leur multiplicite).
Il y a quelques equations polynomiales que lon sait resoudre explicite-
ment, cest le cas des equations du second ordre vues au lycee, mais aussi de
lequation
z
n
= 1
dont les solutions sont les racines n-i`emes de lunite e
2ik
n
, k = 0, ..., n 1.
1.2 Topologie des metriques, topologie de C
On rappelle quun espace metrique est la donnee dun ensemble non vide E
muni dune distance, cest-`a-dire dune application d : EE R
+
veriant
les proprietes :
1. (symetrie) d(x, y) = d(y, x) pour tout (x, y) E E,
2. d(x, y) = 0 x = y
3. (inegalite triangulaire) d(x, z) d(x, y) + d(y, z) pour tout (x, y, z)
E E E.
9
Soit (E, d) un espace metrique, x E et r > 0, on notera B
E
(x, r) (ou
simplement B(x, r) sil ny a pas dambiguite) la boule ouverte de centre x
et de rayon r :
B(x, r) := {y E : d(x, y) < r}
et B
E
(x, r) (ou simplement B(x, r) sil ny a pas dambiguite) la boule fermee
de centre x et de rayon r 0 :
B(x, r) := {y E : d(x, y) r}.
Denition 1.1 Soit (E, d) un espace metrique et A E, on dit que A est
bornee ssi il existe x E et r > 0 tels que A B(x, r).
Si A est une partie de E, on denit son diam`etre diam(A) par :
diam(A) := sup{d(x, y), (x, y) A
2
}.
On verie aisement que A est bornee ssi diam(A) est ni.
On peut maintenant denir les ensembles ouverts de (E, d) :
Denition 1.2 Soit (E, d) un espace metrique et A une partie de E. On dit
que :
1. A est ouvert ssi pour tout x A, r > 0 tel que B(x, r) A,
2. A est ferme ssi E \ A est ouvert.
3. A est un voisinage de x E ssi r > 0 tel que B(x, r) A.
Autrement dit, un ensemble est ouvert ssi il est voisinage de chacun de ses
points. Lensemble des ouverts de (E, d) sappelle la topologie de E induite
par la distance d. On verie aisement quune boule ouverte (resp. fermee) est
ouverte (resp. fermee).
Proposition 1.1 Soit (E, d) un espace metrique, on a alors :
1. E et sont ouverts,
2. une reunion (quelconque) douverts est ouverte,
3. une intersection FINIE douverts est ouverte.
10
La demonstration est elementaire et laissee au lecteur qui sentrainera
ainsi `a se familiariser avec les denitions...
Par passage au complementaire, on obtient les enonces correspondant aux
fermes :
1. E et sont fermes,
2. une reunion FINIE de fermes est fermee,
3. une intersection (quelconque) de fermes est fermee.
Denition 1.3 Soit (E, d) un espace metrique, A une partie de E et x E
on dit que :
1. x est un point interieur `a A ssi r > 0 tel que B(x, r) A (autrement
dit A est un voisinage de x),
2. x est un point adherent `a A ssi r > 0, B(x, r) rencontre A.
3. x est un point fronti`ere de A ssi r > 0, B(x, r) rencontre A et E \ A.
On appelle interieur de A et lon note int(A) lensemble des points interieurs
de A. On appelle adherence de A et lon note A, lensemble des points
adherents `a A. On appelle fronti`ere de A et lon note A lensemble des
points fronti`ere de A. Enn on dit que A est dense dans E ssi A = E.
Proposition 1.2 Soit (E, d) un espace metrique, A une partie de E, on a :
1. int(A) est ouvert et cest le plus grand ouvert contenu dans A,
2. A est ferme et cest le plus petit ferme contenant A.
Preuve:
Montons dabord que int(A) est ouvert : soit x int(A) alors r > 0 tq
B(x, r) A, donc si y B(x, r/2) on a B(y, r/2) B(x, r) A ce qui
montre que y int(A) et donc B(x, r/2) int(A). int(A) est donc ouvert et
evidemment int(A) A. Montrons maintenant que int(A) est le plus grand
ouvert contenu dans A. Soit U ouvert avec U A et soit x U, comme U
est ouvert r > 0 tq B(x, r) U mais comme U A il vient B(x, r) A et
donc x int(A) ce qui montre U int(A) et ach`eve la preuve.
La demonstration du point 2) est similaire et donc laissee au lecteur.
11
2
Lenonce precedent implique en particulier les caracterisations :
A ouvert A = int(A),
et
A ferme A = A.
Beaucoup de proprietes topologiques dans les espaces metriques peuvent
se traduire par des proprietes sequentielles (i.e. en utilisant des suites) :
retenez ce principe, lutilisation de suites rend souvent les demonstrations
plus simples que le maniement des denitions generales. Rappelons dabord
ce quest une suite convergente :
Denition 1.4 Soit (E, d) un espace metrique et (x
n
) une suite delements
de E, on dit que x E est limite de la suite (x
n
) (ce que lon notera x
n
x
ou lim
n
x
n
= x) ssi : > 0, N N

t.q. n N, d(x
n
, x) . On dit que
(x
n
) est convergente si elle admet une limite.
Quand lim
n
x
n
= x, on dit aussi que x
n
converge vers x. Remarquons que
la convergence de (x
n
) vers x (dans E) est equivalente ` a la convergence vers
0 de d(x
n
, x) (dans R).
Il convient de noter que si une suite est convergente alors elle admet une
UNIQUE limite (cette propriete sexprime en disant que les espaces metriques
sont separes) :
Proposition 1.3 Soit (E, d) un espace metrique et (x
n
) une suite conver-
gente delements de E, alors sa limite est unique.
Preuve:
Supposons que (x
n
) admette pour limite x et y dans E. On a 0 d(x, y)
d(x, x
n
)+d(x
n
, y) ainsi en passant ` a la limite en n +on obtient d(x, y) =
0 i.e. x = y do` u lunicite. 2
Proposition 1.4 Soit (E, d) un espace metrique, A une partie de E, on a :
1. soit x E, alors x A ssi x est limite dune suite delements de A,
2. A est ferme ssi pour toute suite convergente (x
n
) delements de A, la
limite de cette suite appartient `a A.
12
Preuve:
2) decoule de 1) et du fait que A est ferme ssi A = A. Supposons x A,
alors pour tout n N

, B(x, 1/n) rencontre A. Soit donc x


n
AB(x, 1/n)
comme d(x, x
n
) 1/n, x
n
converge vers x. Reciproquement suposons que
x soit la limite dune suite (x
n
) delements de A et montrons que x A.
Soit r > 0, pour n assez grand d(x, x
n
) < r ainsi, comme x
n
A, on a
A B(x, r) = . Finalement r > 0 etant arbitraire on a bien x A.
2
Denition 1.5 Soit (E, d) un espace metrique et (x
n
)
n
une suite delements
de E, on dit que (x
n
)
n
est de Cauchy ssi : > 0, N N

t.q. pour tout


(p, q) N
2
avec p N et q N on a : d(x
p
, x
q
) .
La denition precedente peut aussi sexprimer en disant que (x
n
)
n
est de
Cauchy ssi
sup
pN, qN
d(x
p
, x
q
) 0 quand N +.
Evidemment, toute suite convergente est de Cauchy (sen persuader !), la
reciproque nest cependant pas vraie : les espaces metriques pour lesquels
cette reciproque est vraie sont dits complets :
Denition 1.6 Soit (E, d) un espace metrique, on dit que (E, d) est complet
ssi toute suite de Cauchy delements de E converge dans E.
On dit quune suite (x
n
) delements de E est bornee sil existe r 0 et
x E tels que d(x, x
n
) r pour tout n (noter quavec linegalite triangulaire
la denition precedente est equivalent au fait que POUR TOUT x E il
existe r tel que d(x, x
n
) r pour tout n).
Passons maintenant `a la compacite, rappelons dabord quelques denitions
relatives aux suites extraites et valeur dadherence.
Denition 1.7 Soit E un ensemble non vide et (x
n
)
n
une suite delements
de E, on appelle sous-suite (ou suite extraite) de la suite (x
n
)
n
toute suite
de la forme (x
(n)
)
n
avec une application strictement croissante de N dans
N.
Denition 1.8 Soit (E, d) un espace metrique et (x
n
) une suite delements
de E. On dit que x est valeur dadherence de (x
n
) ssi lune des assertions
equivalentes suivantes est satisfaite :
1. (x
n
) admet une sous-suite qui converge vers x,
13
2. > 0, N N, n N t.q. d(x
n
, x) ,
3. > 0 lensemble {n N : d(x
n
, x) } est inni.
Exercice 1.1 Prouver lequivalence des trois assertions precedentes.
Exercice 1.2 Prouver que si est comme dans la denition 1.7 alors (n)
n pour tout n.
Exemple 1.1 La suite (1)
n
admet deux valeurs dadherence : 1 et 1.
Lequivalence qui suit est le theor`eme de Bolzano-Weierstrass
Theor`eme 1.2 Soit (E, d) un espace metrique et A une partie non vide de
E, on dit que A est compacte si lune des proprietes equivalentes suivantes
est satisfaite :
1. toute suite delements de A poss`ede une valeur dadherence dans A,
2. pour toute famille douverts de E, (U
i
)
iI
recouvrant A cest `a dire telle
que A
iI
U
i
il existe J I FINI tel que A
iJ
U
i
.
Proposition 1.5 Soit (E, d) un espace metrique et A une partie compacte
de E alors A est fermee et bornee.
Preuve:
A est recouvert par la famille B(x, n) (x quelconque et n N

) de ce recouvre-
ment on peut extraire un sous-recouvrement ni ce qui implique clairement
que A B(x, n
0
) pour n assez grand et donc que A est bornee. Soit (x
n
) une
suite delements de A convergeant vers x E, comme A est compacte (x
n
) a
une valeur dadherence dans A, cette valeur dadherence est necessairement
x et donc x A ce qui montre que A est fermee.
2
La distance usuelle sur C est denie par
d(z, z

) := |z z

| =
_
(z z

)(z z

) =
_
(x x

)
2
+ (y y

)
2
,
14
o` u z = x + iy, z

= x

+ iy

. Cette distance correspond evidemment ` a la


distance euclidienne sur R
2
identie ` a C. Pour z
0
C et r > 0 (resp. r 0), la
boule ouverte B(z
0
, r) (resp. la boule fermee B(z
0
, r)) sappelle plut ot disque
ouvert (resp. ferme) de centre z
0
et de rayon r et on la note generalement
D(z
0
, r) (resp. D(z
0
, r)). Le cercle de centre z
0
et de rayon r est enn note
S(z
0
, r) := {z C : |z z
0
| = r}.
Notons que la suite de complexes (z
n
)
n
converge vers z (resp. est de
Cauchy, resp. est bornee) si et seulement si les suites de reels Re(z
n
) et
Im(z
n
) convergent vers Im(z) et Re(z) respectivement (resp. sont de Cauchy
dans R, resp. sont bornees dans R). Comme R est complet pour sa distance
usuelle (celle induite par la valeur absolue) on en deduit que
Theor`eme 1.3 C (muni de sa distance usuelle) est complet.
De meme, on deduit du fait que les compacts de R sont ses fermes bornes :
Theor`eme 1.4 Les parties compactes de C sont ses parties fermees et bornees
et donc toute suite bornee de complexes poss`ede une sous-suite convergente.
Terminons ces rappels par la continuite :
Denition 1.9 Soit (E, d) un espace metrique et f une fonction denie sur
E et `a valeurs dans C et x E, on dit que f est continue au point x si lune
des conditions equivalentes suivantes est satisfaite :
1. pour tout > 0 il existe tel que si d(x, y) alors |f(x) f(y)| ,
2. pour toute suite (x
n
) delements de E, si x
n
converge vers x (dans E)
alors f(x
n
) converge vers f(x) (dans C).
On dit enn que f est continue sur E si f est continue en chaque point
de E.
Noter que si lon denit les deux fonctions ` a valeurs reelles u = Re(f)
et v = Im(f) la continuite de f est equivalente `a celle de u et v. On note
C(E, C) lespace des fonctions continues de f dans C et C
b
(E, C) lespace
des fonctions continues et bornees (par denition f est bornee si son image
f(E) est bornee) de E dans C. Il sagit de deux C-ev et C
b
(E, C) peut etre
muni de la distance induite par la norme de la convergence uniforme :
f := sup
xE
|f(x)|, f C
b
(E, C)
On a alors
15
Theor`eme 1.5 C
b
(E, C) muni de la distance (f, g) f g

est complet.
Notons enn que si E est compact alors C(E, C) = C
b
(E, C) en eet :
Proposition 1.6 Si E est un metrique compact et f C(E, C) alors f(E)
est un compact de C, en particulier f est bornee.
1.3 Rappels sur les suites et series de fonc-
tions
Soit (E, d) un espace metrique (par exemple une partie de C) et (f
n
) une
suite de fonctions denies sur E ` a valeurs dans C.
Denition 1.10 La suite de fonctions (f
n
) converge simplement si pour tout
x E, la suite (f
n
(x)) converge dans C. La suite (f
n
) converge uniformement
(CVU en abrege) sur E (respectivement sur tout compact de E) vers une
fonction f si f
n
f

= sup
xE
|f
n
(x) f(x)| 0 quand n (resp.
si pour tout K, compact de E sup
xK
|f
n
(x) f(x)| 0).
Evidemment la convergence uniforme sur E implique la convergence uni-
forme sur tout compact qui implique la convergence simple mais ces impli-
cations sont generalement strictes (la suite f
n
(z) = z/n, z C converge
uniformement vers 0 sur tout compact de C mais pas uniformement sur C,
la suite f
n
(z) = |z|
n
/(1 +|z|
n
) converge simplement mais pas uniformement
sur tout compact). Vous avez normalement deja vu quune limite uniforme
de fonctions continues est continue mais que ce nest pas le cas dune li-
mite simple (prendre f
n
(x) = x
n
pour x [0, 1] par exemple). Un crit`ere de
convergence uniforme nous est fourni par le crit`ere de Cauchy uniforme :
Proposition 1.7 La suite f
n
converge uniformement si et seulement si pour
tout > 0 il existe N tel que pour tout m N, n N et tout x E on a
|f
m
(x) f
n
(x)| .
Preuve:
Si f
n
CVU vers f pour tout il existe N tel que pour tout n N et tout
x E on ait |f
n
(x) f(x)| /2 et donc pour tout m N, n N et tout
x E on a |f
m
(x)f
n
(x)| . Supposons maintenant que f
n
verie le crit`ere
de Cauchy uniforme, il est alors clair que pour chaque x E xe la suite
f
n
(x) est de Cauchy dans C et donc par completude de C, f
n
(x) converge
vers une limite que nous noterons f(x). Il sagit maintenant de montrer que
16
f
n
CVU vers f, soit donc > 0 et N tel que pour tout m N, n N
et tout x E on a |f
m
(x) f
n
(x)| . Faisant tendre m vers + dans
linegalite precedente et utilisant le fait que f
m
(x) f(x) quand m , il
vient que |f
n
(x) f(x)| pour tout x E et n N ce qui signie bien
que f
n
CVU vers f.
2
Passons maintenant au cas des series de fonctions ` a valeurs complexes.
Etant donnee une suite de fonctions (f
n
)
nN
denies sur E ` a valeurs dans C,
la serie de termes general f
n
notee

f
n
est la suite de fonctions formee par
les sommes partielles S
n
=

n
k=0
f
k
, ainsi on denit naturellement :
Denition 1.11 La serie de fonctions

f
n
converge simplement (resp. uni-
formement, resp. uniformement sur tout compact) si la suite de fonctions
formee par les sommes partielles S
n
=

n
k=0
f
k
converge simplement (resp.
uniformement, resp. uniformement sur tout compact). Si S
n
(x) converge on
appelle somme de la serie

f
n
(x) et lon note

+
n=0
f
n
(x) (ou simplement

n
f
n
(x)) la limite de S
n
(x).
Le crit`ere de Cauchy uniforme caracterise la convergence uniforme de la
serie

n
f
n
par : pour tout > 0, il existe N tel que pour m n + 1
n N on a sup
xE
|

m
k=n+1
f
k
(x)| . En particulier si

f
n
converge
uniformement on doit avoir f
n

0 quand n .
Denition 1.12 La serie

f
n
est dite normalement convergente sur E si

n
f
n

< +.
On a alors
Proposition 1.8 Si la serie

f
n
est normalement convergente alors ele est
uniformement convergente
Preuve:
Cest une consequence immediate du crit`ere de Cauchy uniforme, en eet si
m n + 1 n N on a
S
m
S
n

k=n+1
f
k

k=n+1
f
k

k=N
f
k

et le membre de droite tend vers 0 quand N car

n
f
n

< +. 2
Evidemment les arguments precedents sadaptent immediatement `a la
convergence sur tout compact.
17
1.4 Connexite
Une derni`ere notion importante est celle de connexite. Intuitivement, un
ensemble connexe est un ensemble dun seul tenant.
Denition 1.13 Soit (E, d) un espace metrique on dit que E est connexe
ssi les seuls sous ensembles `a la fois ouverts et fermes de (E, d) sont E et .
Par exemple, la reunion de deux disques disjoints ouverts D
1
et D
2
nest
pas connexe : D
1
est ouvert (dans D
1
D
2
) et aussi ferme (puisque son
complementaire est D
2
qui est aussi ouvert dans D
1
D
2
).
La caracterisation suivante permet de mieux visualiser la notion de connexite.
Proposition 1.9 Soit (E, d) un espace metrique, les assertions suivantes
sont equivalentes :
1. (E, d) est connexe,
2. toute application continue de E dans {0, 1} est constante ({0, 1} etant
muni par exemple de la distance naturelle de R).
Preuve:
Supposons (E, d) connexe et soit f C
0
(E, {0, 1}), soit A
0
= f
1
(0) et
A
1
= f
1
(1). Par continuite de f, A
0
et A
1
sont ouverts et A
1
= E\ A
0
ainsi
A
0
et A
1
sont aussi fermes, donc A
0
ou A
1
est vide ce qui montre que f est
constante.
Soit A une partie ` a la fois ouverte et fermee de E, en denissant B :=
E \ A, le couple (A, B) forme alors une partition ouverte de E. Denissons
f la fonction indicatrice de A, f est alors une fonction continue de E dans
{0, 1}. Si 2. est satisfaite, f est constante donc A est vide ou egale ` a E, ce
qui montre que (E, d) est connexe.
2
Nous aurons besoin ulterieurement du resultat suivant :
Lemme 1.1 Soit (E, d) connexe et f : E Z continue alors f est constante.
Preuve:
Supposons que f ne soit pas constante soit x E alors f
1
(f(x)) nest ni E
ni vide et est ferme et ouvert (en eet son complementaire est f
1
(Z\{f(x})
et est donc ferme puisque Z \ {f(x} lest).
2
18
Exemple 1.2 Un singleton est connexe. En revanche, les sous ensembles
{0, 1} ou Z de R ne sont pas connexes. Dans R
2
, lensemble constitue de
deux boules disjointes B
1
et B
2
nest pas connexe (considerer la fonction
valant 1 sur B
1
et 0 sur B
2
).
Un crit`ere simple de connexite est celui de connexite par arcs ; un ensemble
connexe par arcs est un ensemble dont les points peuvent etre joints par un
arc continu :
Denition 1.14 Soit (E, d) un espace metrique on dit que E est connexe par arcs
ssi pour tout (x
1
, x
2
) E
2
, il existe C
0
([0, 1], E) tel que (0) = x
1
et
(1) = x
2
.
On a alors
Proposition 1.10 Tout espace metrique connexe par arcs est connexe.
Preuve:
Supposons (E, d) connexe par arcs, et soit f une application continue de E
dans {0, 1}, il sagit de montrer que f est constante. Supposons par lab-
surde quil existe (x
1
, x
2
) E
2
tel que f(x
1
) = 0 et f(x
2
) = 1 et soit
C
0
([0, 1], E) tel que (0) = x
1
et (1) = x
2
. Pour tout t [0, 1] on
denit alors g(t) := f((t)), on a alors g C
0
([0, 1], R), g(0) = 0 et g(1) = 1.
Avec le theor`eme des valeurs intermediares, il existe donc t
0
]0, 1[ tel que
g(t
0
) = 1/2, or, g(t
0
) = f((t
0
)) {0, 1}, do` u la contradiction voulue. 2
Exemple 1.3 Dans R
n
, les sous-ensembles convexes sont connexes par arcs
et donc connexes.
Exemple 1.4 Soit E une partie de R
n
et x
0
E, on dit que E est etoile par
rapport `a x
0
ssi pour tout x E, le segment joignant x
0
`a x est enti`erement
inclus dans E (noter la dierence avec la convexite...). Si E est etoile par
rapport `a lun de ses points, alors E est connexe par arcs donc connexe.
Dans, la preuve de la proposition 1.10, nous avons utilise le theor`eme des
valeurs intermediaires. En voici la generalisation naturelle formulee en termes
de connexite : limage dun ensemble connexe par une application continue
est connexe.
Proposition 1.11 Soit (E
1
, d
1
) et (E
2
, d
2
) deux espaces metriques. Si (E
1
, d
1
)
est connexe et f est une application continue de E
1
`a valeurs dans E
2
, alors
limage f(E
1
) est connexe.
19
Preuve:
Soit g une application continue de f(E
1
) dans {0, 1} et soit h(x) := g(f(x))
pour tout x E
1
, h est continue de E
1
qui est connexe dans {0, 1}, donc h
est constante sur E
1
ce qui implique que g est constante sur f(E
1
).
2
Dans toute la suite, nous utiliserons la denition suivante :
Denition 1.15 On appelle domaine de C toute partie U non vide, ouverte
et connexe du plan complexe.
Il faut bien comprendre que la denition precedente est au sens de la to-
pologie sur U induite par la topologie de C. Autrement dit U est un domaine
de C si cest un ouvert non vide et si les seules parties de U ` a la fois ouvertes
et fermees dans U (une partie de A de U est fermee dans U si toute suite
delements de A convergeant dans U a sa limite dans A) sont U et .
On a alors le resultat suivant :
Theor`eme 1.6 Tout domaine de C est connexe par arcs.
Preuve:
Soit U ouvert connexe de C et z U, il sagit de montrer que tout z

de U
peut etre joint `a z par un arc continu (dans U). Appelons A le sous ensemble
de U forme par les points qui peuvent etre joints ` a z par un arc continu.
Evidemment z A et donc A est non vide ; si nous montrons que A est
ouvert et ferme (dans U) nous pourrons deduire le resultat de la connexite
de U. Montrons que A est ouvert : soit z

A et continu reliant z ` a z

,
comme U est ouvert il existe r > 0 tel que D(z

, r) U, soit z

D(z

, r),
le segment joignant z

` a z est inclus dans U et donc le chemin obtenu en


collant et ce segment joint z ` a z

et donc D(z

, r) A ce qui montre
que A est ouvert. Soit maintenant z
n
une suite de points de A convergeant
vers une limite z

U, il sagit de montrer que z

A. Il existe r > 0 tel que


D(z

, r) U pour n assez grand z


n
D(z

, r), comme z
n
A il existe un arc
continu dans U joignant z ` a z
n
, en considerant `a nouveau le chemin obtenu
en collant au segment joignant z
n
` a z

nous en deduisons que z

A.
2
20
Chapitre 2
Series enti`eres
Une serie enti`ere est une serie de fonctions de la forme

+
n=0
a
n
z
n
o` u les
coecients a
n
sont complexes ainsi que la variable z = x + iy.
2.1 Denitions et proprietes premi`eres
Dans tout ce qui suit

a
n
z
n
designe une serie enti`ere, la premi`ere notion
est celle de rayon de convergence :
Denition 2.1 On appelle rayon de convergence de la serie enti`ere

a
n
z
n
R := sup{r 0 :

n
|a
n
|r
n
< +}.
Le rayon de convergence est toujours bien deni, il peut valoir 0 (par
exemple pour

n
n
z
n
) ou +(par exemple pour

z
n
n!
). Le rayon de conver-
gence peut aussi etre obtenu comme suit
Lemme 2.1 (Abel) Le rayon de convergence de la serie enti`ere

a
n
z
n
est
R = sup{r 0 : sup
n
|a
n
|r
n
< +}.
Preuve:
Soit R le rayon de de convergence de la serie enti`ere

a
n
z
n
et
R
0
:= sup{r 0 : sup
n
|a
n
|r
n
< +}.
Soit r
0
< R
0
alors il existe M tel que |a
n
|r
n
0
M et donc si r < r
0
on a
|a
n
|r
n
= |a
n
|r
n
0
(
r
r
0
)
n
M(
r
r
0
)
n
et donc

n
|a
n
|r
n
< + puisque son terme
21
general est majore par celui dune serie geometrique convergente on a donc
R r
0
et donc en passant ` a la limite r
0
R

0
, il vient bien que R R
0
. Si
r < R, par denition

n
|a
n
|r
n
< + et donc en particulier la suite |a
n
|r
n
est bornee si bien que R R
0
.
2
Denition 2.2 Soit R le rayon de convergence de

a
n
z
n
, on appelle disque
ouvert de convergence le disque ouvert D := D(0, R).
On a alors :
Proposition 2.1 Soit R le rayon de convergence de

a
n
z
n
, on a alors
1. si r < R,

a
n
z
n
converge normalement (donc uniformement) sur le
disque ferme |z| r,
2. si |z| > R,

n
a
n
z
n
diverge.
Preuve:
1. Soit r < R et r
0
]r, R[, il existe M tel que |a
n
|r
n
0
M pour tout n.
Ainsi
sup
zD(0,r)
|a
n
z
n
| |a
n
|r
n
M
_
r
r
0
_
n
ce qui montre la convergence normale sur D(0, r).
2. Si |z| > R, |a
n
z
n
| nest pas bornee et donc en particulier le terme general
de la serie

a
n
z
n
ne tend pas vers 0, la serie diverge (grossi`erement).
2
Noter que lon a absolue converge de

a
n
z
n
en chaque point du disque
ouvert (et meme convergence normale sur ses compacts) mais on ne peut
generalement rien dire sur la convergence de la serie aux points de D, le
bord du disque ouvert de convergence. Comme les sommes partielles sont
continues (ce sont des polyn omes) la convergence uniforme sur D(0, r) pour
chaque r < R nous donne le resultat de continuite suivant :
Theor`eme 2.1 La somme dune serie enti`ere est continue en chaque point
du disque OUVERT de convergence.
Rappelons que si (u
n
) est une suite de reels, limsup u
n
est la plus grande
valeur dadherence de cette suite (eventuellement + quand la suite nest
22
pas majoree ou quand la suite tend vers ). Il est important de
comprendre que l := limsup u
n
peut aussi etre caracterise par
l = lim
n
_
sup
kn
u
k
_
ou encore par le fait que si l

> l, linegalite u
n
l

na lieu que pour un


nombre ni de n et pour l

< l, linegalite u
n
l

a lieu pour une innite de


n. On dispose alors dune formule pour le calcul du rayon de convergence :
Proposition 2.2 (Hadamard) Le rayon de convergence de

a
n
z
n
verie
1
R
= limsup
n
n
_
|a
n
|.
Preuve:
Commencons par supposer que limsup
n
n
_
|a
n
| = +et soit r > 0 alors pour
une innite de valeurs de n on a
n
_
|a
n
|
2
r
et donc aussi |a
n
|r
n
2
n

si bien que R = 0. Si limsup
n
n
_
|a
n
| = 0 alors il est facile de voir que pour
tout r > 0, |a
n
|r
n
tend vers 0 et donc R = +. On suppose donc desormais
que 0 < limsup
n
n
_
|a
n
| < +.
Soit r > 0 tel que
1
r
> limsup
n
n
_
|a
n
| i.e. limsup
n
n
_
|a
n
|r < 1 si bien
que pour n assez grand on a
n
_
|a
n
|r 1 et donc aussi |a
n
|r
n
1 de sorte
que R r et donc en passant ` a la limite
1
R
limsup
n
n
_
|a
n
|. Supposons
maintenant que
1
r
< limsup
n
n
_
|a
n
| i.e. limsup
n
n
_
|a
n
|r > 1 soit > 0 tel
que 1 + < limsup
n
n
_
|a
n
|r pour une innite de valeurs de n on a que
n
_
|a
n
|r (1 +) et donc aussi |a
n
|r
n
(1 +)
n
de sorte que R r et
donc
1
R
limsup
n
n
_
|a
n
|r.
2
On pourra aussi penser pour calculer un rayon de convergence ` a utiliser
le crit`ere de dAlembert (cf. TD).
Dans le cas o` u le rayon de convergence R de

a
n
z
n
est ni et strictement
positif, interessons nous maintenant un peu plus en detail au comportement
sur le bord du disque de convergence. Nous avons vu quil y a convergence
normale de la serie

n
a
n
z
n
sur tout compact du disque ouvert de conver-
gence et donc que la somme f(z) =

+
n=0
a
n
z
n
est continue sur le disque
ouvert, nous savons aussi que si |z| > R la serie diverge mais nous ne sa-
vons rien sur la convergence de la somme aux points de D et lorsque la
somme existe sur sa continuite en de tels points. Pour voir que le probl`eme
peut etre subtil, considerons

(z)
n
dont le rayon de convergence est 1 et
23
dont la somme est f(z) = 1/(1 + z) sur son disque ouvert de convergence,
nous voyons que f poss`ede une limite en 1 alors que

(1)
n
diverge. Le fait
que la somme puisse admette une limite en un point du bord du disque de
convergence pas nimplique donc pas que la serie converge en ce point. En
revanche si

a
n
z
n
0
converge en un point z
0
D alors on a une forme de
continuite de f en z
0
quand on impose `a z de rester dans un certain c one de
sommet z
0
, cest lobjet du resultat suivant d u ` a Abel :
Theor`eme 2.2 (Abel) Soit

a
n
z
n
de rayon de convergence R ]0, +[
on note f(z) la somme de cette serie en les points en lesquels la serie converge
et soit z
0
tel que |z
0
| = R et notons z
0
= Re
i
0
. Si

a
n
z
n
0
converge alors
pour tout ]0, /2[ on a f(z) f(z
0
) quand z C

(z
0
) D, z z
0
o` u C

(z
0
) designe le cone de sommet z
0
et douverture 2 (i.e. C

(z
0
) =
{z
0
e
i(+
0
)
, 0, [, ]}.
Preuve:
Quitte `a eectuer une similitude, nous pouvons supposer que R = 1 et z
0
= 1
on peut aussi supposer que f(1) =

n=0
a
n
= 0 (quitte `a retrancher cette
quantite qui est bien denie par hypoth`ese ` a la somme f). En notant S
n
:=

n
k=0
a
k
pour n 0 et en posant S
1
= 0 on a dune part que S
n
f(1) = 0
quand n et dautre part (apr`es quelques justications elementaires) on
a pour tout z D :
f(z) =

n=0
S
n
(z
n
z
n+1
) = (1 z)

n=0
S
n
z
n
.
Soit > 0 il sagit de montrer quil existe > 0 tel que si |z 1| et
z C

(1) D alors |f(z)| . Comme S


n
tend vers 0 il existe N
0
tel que
|S
n
|
cos()
4
pour tout n N
0
, on a alors pour tout z D
|f(z)| |z 1|
N
0

n=0
|S
n
| +
cos()
4
|z 1|

nN
0
+1
|z|
n
C|z 1| +
cos()
4
|z 1|
1 |z|
= C|z 1| +
cos()
4
|z 1|(1 +|z|)
1 |z|
2
C|z 1| +
cos()
2
|z 1|
1 |z|
2
supposons maintenant que z = 1 e
i
avec [, ] et cos(),
on a alors |z 1| = et 1 |z|
2
= 2 cos()
2
= (2 cos() )
24
(2 cos() ) cos() si bien que
|z 1|
1 |z|
2

1
cos()
ainsi si z C

(1) D et |z 1| min(cos(),

2C
) on a |f(z)| .
2
La demonstration est interessante en ce quelle utilise la transformation
dAbel dont le lecteur perspicace aura bien note quelle est lanalogue pour
les series de lintegration par parties pour les integrales.
2.2 Operations sur les series enti`eres
Soit f(z) =

+
n=0
a
n
z
n
et g(z) :=

+
n=0
b
n
z
n
deux series enti`eres de rayon de
convergence respectifs R et R

= 0 alors la serie

n
(a
n
+ b
n
)z
n
a un rayon
de convergence au moins egal `a min(R, R

) et pour |z| < min(R, R

) on a
f(z) + g(z) =
+

n=0
(a
n
+ b
n
)z
n
.
Si R = R

on montre facilement que le rayon de convergence de

n
(a
n
+b
n
)z
n
est egal `a min(R, R

) mais si R = R

il se peut que le rayon de convergence


soit plus grand (par exemple si g = f). De meme si C, le rayon de
convergence de

n
a
n
z
n
est + si = 0 et R si C

.
Passons maintenant au produit de deux series enti`eres.
Lemme 2.2 Soit

a
n
et

b
n
deux series `a valeurs complexes absolument
convergentes :

|a
n
| < +,

|b
n
| < + et posons
c
n
:=
n

k=0
a
k
b
nk
alors

|c
n
| < + et
+

n=0
c
n
=
_
+

n=0
a
n
__
+

n=0
b
n
_
.
25
Preuve:
On a
N

n=0
|c
n
|
N

n=0
n

k=0
|a
k
||b
nk
|
N

k=0
|a
k
|
_
N

n=k
|b
nk
|
_

_
+

n=0
|a
n
|
__
+

n=0
|b
n
|
_
de sorte que

|c
n
| < +. Soit N 1, il est facile de voir que

2N
n=0
c
n
represente la somme des a
k
b
l
pour k, l entiers dans le triangle T
2N
: k 0,
l 0, k + l 2N ainsi

2N

n=0
c
n
(
N

k=0
a
k
)(
N

l=0
b
l
)

(k,l)N
2
T
2N
\[0,N]
2
|a
k
||b
l
|

_
+

k=N
|a
k
|
__
+

l=0
|b
l
|
_
+
_
+

k=0
|a
k
|
__
+

l=N
|b
l
|
_
0 quand N .
2
On en deduit donc
Proposition 2.3 Soit f(z) =

+
n=0
a
n
z
n
et g(z) :=

+
n=0
b
n
z
n
deux series
enti`eres de rayon de convergence respectifs R et R

= 0 alors la serie

n
c
n
z
n
o` u c
n
:=

n
k=0
a
k
b
nk
a un rayon de convergence au moins egal `a min(R, R

)
et pour |z| < min(R, R

) on a
f(z)g(z) =
+

n=0
c
n
z
n
.
Preuve:
Soit r < min(R, R

) alors

|a
n
|r
n
< + et

|b
n
|r
n
< +, on observe que
c
n
r
n
=

k=0
a
k
r
k
b
nk
r
nk
et donc le lemme precedent permet de conclure
que

|c
n
|r
n
< + et que pour |z| < min(R, R

) on a bien f(z)g(z) =

+
n=0
c
n
z
n
.
2
Notons que si R = R

il se peut tr`es bien que le rayon de convergence de

c
n
z
n
soit strictement superieur ` a R (f(z) =

z
n
et g(z) = 1 z).
26
2.3 Derivees
La notion cle de ce cours (sur laquelle nous reviendrons en detail au chapitre
4) est celle de dierentiabilite au sens complexe (ou dholomorphie) :
Denition 2.3 Soit z
0
C et f une fonction denie sur un voisinage de z
0
et `a valeurs dans C, on dit que f est derivable en z
0
si la limite
lim
zz
0
, z=z
0
f(z) f(z
0
)
z z
0
existe et dans ce cas on appelle derivee de f en z
0
et lon note f

(z
0
) (ou
d
dz
f(z
0
)) cette limite.
Il faut bien noter que le quotient
f(z)f(z
0
)
zz
0
est complexe et donc la derivee
aussi quand elle existe. Par denition, le nombre complexe f

(z
0
) est ca-
racterise par le fait que pour tout > 0, il existe > 0 tel que si |z z
0
|
on a |f(z) f(z
0
) f

(z
0
)(z z
0
)| |z z
0
|. Ceci peut aussi secrire sous
la forme :
f(z) = f(z
0
)+f

(z
0
)(zz
0
)+o(zz
0
) ou encore f(z
0
+h) = f(z
0
)+f

(z
0
)h+o(h)
o` u o(z z
0
) designe une fonction tendant vers 0 plus vite que z z
0
quand
z z
0
i.e.
o(zz
0
)
|zz
0
|
0 quand z z
0
. Evidemment si f est derivable en z
0
,
f est continue en z
0
.
On dit quune fonction f : U C denie sur un ouvert U de C est
derivable sur U si elle lest en chaque point de U. On denit alors les derivees
successives par recurrence, comme dans le cas reel : f admet une derivee k-
i`eme en z
0
U si f est derivable k 1 fois au voisinage de z
0
et sa derivee
(k 1)-i`eme f
(k1)
est derivable en z
0
on note alors f
(k)
(z
0
) = (f
k1
)

(z
0
).
Les fonctions dierentiables les plus simples sont les polynomes : si f(z) =
z
n
(n N) on a
f(z
0
+ h) f(z
0
) = (z
0
+ h)
n
z
n
0
=
n

k=0
C
k
n
z
nk
0
h
k
z
n
0
=
n

k=1
C
k
n
h
k
z
nk
0
= nz
n1
0
h + o(h)
.
Ce qui montre que la derivee de P(z) =

n
k=0
a
k
z
k
au point z
0
est P

(z
0
) =

n
k=1
ka
k
z
k1
.
Les series enti`eres etant une generalisation des polyn omes, il est naturel
de sinteresser ` a leur dierentiabilite au sens complexe, le resultat suivant
generalise le calcul elementaire precedent et montre quune serie enti`ere peut
se deriver terme `a terme :
27
Theor`eme 2.3 Soit f(z) =

+
n=0
a
n
z
n
une serie enti`ere de rayon de conver-
gence R > 0 et D son disque de convergence, alors la serie

na
n
z
n1
a pour
de rayon de convergence R, f est derivable en chaque point de D et lon a
f

(z) =

n=1
na
n
z
n1
, z D.
Preuve:
Soit r ]0, R[ et r

]r, R[, |a
n
|r
n
est majoree et donc n|a
n
|r
n1
=
n
r

_
r
r

_
n1
|a
n
|r
n
lest aussi. Si n|a
n
|r
n1
est majoree alors |a
n
|r
n
evidemment aussi. Ceci
montre que le rayon de convergence de

na
n
z
n1
est R.
Soit > 0, z D et h C tel que |z| +|h| r < R, rappelant lidentite
(z + h)
n
z
n
= h((z + h)
n1
+ z(z + h)
n2
+ . . . + z
n1
),
il vient
f(z + h) f(z)
h

n1
na
n
z
n1
=

n1
a
n

n
(h),
o` u :

n
(h) := (z + h)
n1
+ z(z + h)
n2
+ . . . + z
n1
nz
n1
.
Pour |z| + |h| r on a donc |a
n

n
(h)| 2n|a
n
|r
n1
ainsi la serie

a
n

n
converge normalement sur D(0, r |z|) et donc il existe N tel que

nN
|a
n

n
(h)|

2
, (z, h) : |z| +|h| r
on remarque ensuite que

nN1
a
n

n
(h) est un polyn ome nul pour h = 0
et donc il existe > 0 tel que pour |h| on a |

nN1
a
n

n
(h)|

2
ainsi
pour |h| min(, r |z|) on a

f(z + h) f(z)
h

n1
na
n
z
n1


ce qui montre que f est derivable en z avec f

(z) =

n=1
na
n
z
n1
.
2
Evidemment en iterant largument precedent on voit immediatement quune
serie enti`ere est indeniment dierentiable sur son disque de convergence.
Notons aussi lexpression de la derivee k-i`eme :
f
(k)
(z) =

nk
n(n 1) . . . (n k + 1)a
n
z
nk
=

nk
n!
(n k)!
a
n
z
nk
28
et donc en particulier la relation
a
k
=
f
(k)
(0)
k!
de sorte que la serie enti`ere est donnee par son developpement de Taylor en
0 (ou developpement de Taylor Maclaurin)
f(z) =
+

n=0
f
(n)
(0)z
n
n!
.
En fait on a beaucoup mieux, f concide avec son developpement (inni)
de Taylor au voisinage de nimporte quel point de son disque de conver-
gence (cest la propriete danalyticite `a laquelle sera enti`erement consacre le
chapitre suivant) :
Theor`eme 2.4 Soit f(z) =

+
n=0
a
n
z
n
une serie enti`ere de rayon de conver-
gence R > 0 et D son disque de convergence alors pour tout z
0
D, la serie

n
f
(n)
(z
0
)h
n
n!
a un rayon de convergence au moins egal `a R |z
0
| et lon a
f(z) =
+

n=0
f
(n)
(z
0
)(z z
0
)
n
n!
, z D(z
0
, R |z
0
|).
Preuve:
Soit z
0
D, r
0
:= |z
0
| et z D(z
0
, r r
0
) avec r < R, on a alors
f
(k)
(z
0
)
k!
=

nk
n!
k!(n k)!
a
n
z
nk
0
=

nk
C
k
n
a
n
z
nk
0
comme |z z
0
| r r
0
on a

f
(k)
(z
0
)
k!
(z z
0
)
k

k
_

nk
C
k
n
|a
n
|r
nk
0
(r r
0
)
nk
_

n
|a
n
|
_

kn
C
k
n
r
nk
0
(r r
0
)
nk
_
=

n
|a
n
|r
n
< +
ce qui montre que la la serie

n
f
(n)
(z
0
)h
n
n!
a un rayon de convergence au moins
egal ` a R|z
0
|. La majoration precedente montre que le rayon de convergence
de

n
f
(n)
(z
0
)h
n
n!
est au moins egal ` a R |z
0
|. Pour z D(z
0
, r r
0
) on a
alors (on laisse le soin au lecteur de justier que le regroupement de termes
29
eectue ci-dessous est licite, ce qui peut se faire gr ace au theor`eme de Fubini
que vous avez vu ou verrez bient ot dans le cours dintegration)

k0
f
(k)
(z
0
)
k!
(z z
0
)
k
=

k0
_

nk
C
k
n
a
n
z
nk
0
(z z
0
)
k
_
=

n0
a
n
_
n

k=0
C
k
n
z
nk
0
(z z
0
)
k
_
=

n0
a
n
z
n
= f(z).
2
2.4 Exponentielle et quelques fonctions usuelles
Lexponentielle de z C (notee e
z
ou exp(z)) est par denition la somme
e
z
:=
+

n=0
z
n
n!
le rayon de convergence de cette serie enti`ere est evidemment +. Cette
fonction est indeniment dierentiable et sa derivee vaut

+
n=1
nz
n1
n!
= e
z
on a donc la relation fondamentale
d
dz
e
z
= e
z
.
Soit (z, z

) C
2
, utilisant le lemme 2.2, on a
e
z
e
z

n0
_
n

k=0
1
k!
1
(n k)!
z
k
z
nk
_
=

n0
1
n!
_
n

k=0
C
k
n
z
k
z
nk
_
=

n0
(z + z

)
n
n!
= e
z+z

,
cette relation fondamentale exprimant le fait que lexponentielle est un mor-
phisme de groupes entre (C, +) et (C

, ) (noter que e
0
= 1 et e
z
e
z
= 1
de sorte que e
z
ne sannule pas sur C). Notons que pour z = x + iy on a
e
z
= e
x
e
iy
et donc il sut de connaitre le comportement de lexponentielle sur
30
laxe reel et sur laxe imaginaire pour connaitre son comportement sur C en
entier. Le comportement de la fonction x R e
x
est (normalement) bien
connu : cest une fonction C

strictement croissante avec lim


x+
e
x
= +
(et meme lim
x+
x

e
x
= + pour tout > 0 comme il est facile de
le voir sur le developpement en serie de e
x
) et lim
x
e
x
= 0 (et meme
lim
x
|x|

e
x
= 0 pour tout > 0 ce qui se voit facilement en utilisant le
fait que e
x
= 1/e
x
). Ainsi x e
x
est une bijection de R dans ]0, +[.
Sagissant de y R e
iy
on observe que
e
iy
=

k0
(iy)
k
k!
=

k0
(1)
k
y
2k
(2k)!
+ i

k0
(1)
k
y
2k+1
(2k + 1)!
on reconnait les developpements vus (normalement) les annees precedentes :
cos(y) =

k0
(1)
k
y
2k
(2k)!
, sin(y) =

k0
(1)
k
y
2k+1
(2k + 1)!
de sorte que
e
iy
= cos(y) + i sin(y)
on retrouve donc (en la justiant) la denition que nous avions prise au
premier chapitre de e
iy
. Notons (ou plut ot rappelons) que e
iy
S
1
pour tout
y R (ce quon pouvait aussi voir en observant que e
z
=

e
z
et donc que
|e
iy
|
2
= e
iy
e
iy
= e
0
= 1) et que y e
iy
est 2-periodique. La fonction
y R e
iy
est surjective de R dans S
1
mais elle nest pas injective et plus
precisement e
iy
= e
iy

si et seulement si y y

2Z.
Revenant ` a lexponentielle complexe z e
z
on voit quil sagit dune
fonction qui prend ses valeurs dans C

(puisque pour (x, y) R


2
ni e
x
ni e
iy
ne sannulent), cest une surjection de C dans C

en eet pour z C

que
lon ecrit sous forme polaire z = e
i
avec > 0 et un argument de z en
posant Z = ln() + i (o` u ln est le logarithme neperien etudie au lycee qui
nest autre que linverse de la fonction exponentielle...) on a
e
Z
= e
i
= z.
Lexponentielle complexe nest cependant pas injective puisque e
x
e
iy
= e
x

e
iy

(x, y, x

, y

reels) si et seulement si x = x

et y y

2Z. Autrement dit


e
z
= e
z

si et seulement si Re(z) = Re(z

) et Im(z) Im(z

) 2Z.
A partir de lexponentielle complexe, on peut aussi naturellement denir
dautres fonctions. Tout dabord on peut etendre les fonctions circulaires `a
C :
cos(z) :=

k0
(1)
k
z
2k
(2k)!
, sin(z) =

k0
(1)
k
z
2k+1
(2k + 1)!
, z C
31
on verie sans peine que pour tout z C on a
cos(z) =
e
iz
+ e
iz
2
et sin(z) =
e
iz
e
iz
2i
et
d
dz
cos(z) = sin(z),
d
dz
sin(z) = cos(z).
Enn pour tout complexe z, notons que
e
iz
= cos(z) + i sin(z), e
iz
= cos(z) i sin(z)
et donc
cos
2
(z) + sin
2
(z) = (cos(z) + i sin(z))(cos(z) i sin(z)) = e
iz
e
iz
= 1.
On denit aussi les fonctions hyperboliques :
ch(z) =

k0
z
2k
(2k)!
, sh(z) =

k0
z
2k+1
(2k + 1)!
, z C
qui sont respectivement la partie paire et impaire de lexponentielle :
ch(z) =
e
z
+ e
z
2
et sh(z) =
e
z
e
z
2
.
On a alors
d
dz
ch(z) = sh(z),
d
dz
sh(z) = ch(z).
Notons aussi que
ch(z) = cos(iz), cos(z) = ch(iz), sin(z) = ish(iz), sh(z) = i sin(iz)
et donc
ch
2
(z) sh
2
(z) = cos
2
(iz) + sin
2
(iz) = 1.
Notons enn, lexemple elementaire de

n0
z
n
dont le rayon est 1 et
dont la somme est
1
1z
pour |z| < 1.
32
2.5 Logarithme complexe
On souhaite maintenant inverser la fonction exponentielle dont nous avons
vu quelle realise une surjection de C vers C

mais nest pas injective dans


la mesure o` u deux complexes qui di`erent dun multiple de 2i ont la meme
exponentielle. Nous avons en eet vu que lequation e
z
= e
i
admet une
innite de solutions z = ln() + i( + 2k), k Z, ces solutions sont les
logarithmes de e
i
, ainsi chaque element de C

poss`ede une innite de lo-


garithmes complexes. Si lon veut pouvoir parler dune fonction logarithme
complexe, il faut restreindre lensemble des valeurs de la variable et preciser
quelle est la determination choisie, do` u la denition :
Denition 2.4 Soit U un ouvert de C

, on dit que f : U C est une


determination du logarithme sur U si f est continue sur U et si e
f(z)
= z
pour tout z U.
Sur un domaine, une determination du logarithme permet de toutes les
obtenir :
Lemme 2.3 Soit U un domaine de C

. Alors f et g sont deux determinations


du logarithme sur U si et seulement si f = g + 2ik pour un certain k Z.
Preuve:
Si f et g ont le meme logarithme f(z) = g(z) + 2in(z) o` u n est ` a valeurs
dans Z et continue et par connexite de U cela implique que n est constant.
2
Lexistence dune determination du logarithme sur U impose des restric-
tions sur U, en eet
Lemme 2.4 Il nexiste pas de determination du logarithme sur C

.
Preuve:
Suposons que f soit une determination du logarithme sur C

alors on devrait
avoir e
f(e
it
)
= e
it
et donc f(e
it
) = it+2in(t) pour tout t R et n(t) Z pour
tout t. Comme f est continue, n lest aussi et par connexite de R on en deduit
que n est constante et donc f(e
it
) = it + 2in ce qui est en contradiction
avec le fait que t f(e
it
) est 2-periodique. 2
En revanche, il existe une determination du logarithme sur les domaines
obtenus en privant C dune demi droite passant par lorigine, par exemple le
domaine
U

:= C \ R

= {e
i
, > 0, ] , [}
33
en eet sur ce domaine, il existe une determination continue de largument
que lon construit de la mani`ere suivante. Tout dabord on rappelle que
comme sin est une fonction continue et strictement croissante de [/2, /2]
dans [1, 1], elle poss`ede un inverse que lon note arcsin : [1, 1] [/2, /2],
on a alors :
Lemme 2.5 Pour z = x + iy U

denissons
(z) :=
_

_
arcsin
_
y

x
2
+y
2
_
, si x 0,
arcsin
_
y

x
2
+y
2
_
, si x 0, y 0,
arcsin
_
y

x
2
+y
2
_
, si x 0, y 0
alors la fonction est une determination continue de largument sur U

.
Preuve:
Tout dabord, il est clair (faites un dessin si besoin est !) que (z) est un
argument de z. Pour la continuite, il sut de constater que quand x = 0 et
y > 0, la limite x 0
+
vaut /2 et la limite x 0

vaut /2 = /2.
Quand x = 0 et y < 0, la limite x 0
+
vaut /2 et la limite x 0

vaut
+ /2 = /2. 2
On en deduit que lon peut denir sur U

ce que lon appelle usuellement


la determination principale du logarithme comme suit
Proposition 2.4 Soit la determination continue de largument du lemme
2.5, alors la fonction
f(z) := ln(|z|) + i(z), z U

est une determination du logarithme sur U

.
On a aussi une representation en serie enti`ere que nous admettrons pour
le moment :
Theor`eme 2.5 Soit U := D(1, 1) pour z U, la somme
f(z) :=

n1
(1)
n1
(z 1)
n
n
est une determination du logarithme sur U.
34
Notons que le rayon de cette serie est 1 et pour tout z D(1, 1) on a
f

(z) =

n1
(1)
n1
(z 1)
n1
=
1
z
.
Lidentite ci-dessus est en fait generale comme le montre le resultat suivant
que nous admettrons pour le moment :
Proposition 2.5 Si f est une determination du logarithme sur louvert U
de C

alors f est derivable sur U et


f

(z) =
1
z
, z U.
35
Chapitre 3
Fonctions analytiques
3.1 Denitions premi`eres
Une fonction analytique est une fonction qui se developpe en serie enti`ere au
voisinage de chaque point :
Denition 3.1 Soit U un ouvert de C, f : U C et z
0
U. On dit que
1. f est analytique en z
0
sil existe r > 0 tel que D(z
0
, r) U et une serie
enti`ere

n
a
n
z
n
de rayon de convergence au moins egal `a r telle que
f(z) =
+

n=0
a
n
(z z
0
)
n
, z D(z
0
, r),
2. f est analytique sur U si f est analytique en chaque point de U.
On pourrait denir de meme les fonctions analytiques dune variable
reelle. Il faut bien noter que, comme la continuite, lanalyticite est une no-
tion locale i.e. cest une notion qui se verie en chaque point. Noter aussi
que dans la denition precedente, le rayon r depend du point z
0
. Nous avons
vu au chapitre precedent (cf Theor`eme 2.4) que la somme dune serie enti`ere
de rayon R > 0 est analytique sur son disque de convergence et que son
developpement en serie enti`ere au voisinage de z
0
est donnee par sa serie de
Taylor :
f(z) =

n0
f
(n)
(z
0
)
n!
(z z
0
)
n
.
Il decoule de ce que nous avons vu sur les series enti`eres au chapitre
precedent (Theor`eme 2.4) que :
36
une fonction analytique est indeniment dierentiable,
le developpement en serie enti`ere de f en z
0
concide avec son developpement
de Taylor
f(z) =

n0
f
(n)
(z
0
)
n!
(z z
0
)
n
.
On notera egalement que les derivees successives dune fonction analy-
tique sont aussi analytiques. Les fonctions exponentielle, cos, sin, ch et sh
sont analytiques sur C puisque donnees par une serie enti`ere de rayon de
convergence inni. Nous verrons que les determinations du logarithme sont
aussi analytiques. La fonction z C

1/z est analytique sur C

en eet
soit z
0
= 0, on a
1
z
=
1
z
0
(1 +
zz
0
z
0
)
=
1
z
0

n0
(1)
n
_
z z
0
z
0
_
n
, z D(z
0
, |z
0
|). (3.1)
Il est evident quune combinaison lineaire de fonctions analytiques est
analytique. Nous demontrerons au chapitre suivant le resultat suivant concer-
nant verrons la composee de fonctions analytiques (une demonstration directe
en raisonnant sur les developpements en series enti`eres est possible mais rela-
tivement fastidieuse, nous verrons au prochain chapitre comment demontrer
ce resultat tr`es simplement une fois que nous aurons demontre lanalyticite
des fonctions holomorphes) :
Theor`eme 3.1 Soit U et V deux ouverts de C, f : U V et g : V C
si f est analytique sur U et g est analytique sur V alors g f est analytique
sur U.
Finalement, on denit
Denition 3.2 Une fonction analytique sur C sappelle une fonction enti`ere.
3.2 Prolongement analytique, principe des zeros
isoles et consequences
Proposition 3.1 Soit U un domaine (i.e. un ouvert connexe) de C, z
0
C
et f une fonction analytique sur U, on a alors equivalence entre les proprietes
suivantes :
37
1. f est nulle sur U,
2. f est nulle sur un voisinage de z
0
,
3. f
(n)
(z
0
) = 0 pour tout n N.
Preuve:
Il est clair que 1 2 3, il sagit donc de montrer que 3 implique 1. Soit
E := {z U : f
(n)
(z) = 0, n N}, E est non vide car il contient z
0
et E est un ferme de U car f et ses derivees sont continues. Ainsi, si nous
montrons que E est ouvert nous pourrons deduire de la connexite de U que
E = U si bien que f est identiquement nulle sur U. Soit donc z E, comme
f est analytique, il existe r > 0 tel que sur D(z, r) f est egale `a sa serie de
Taylor en z, laquelle est nulle car z E et donc f et toutes ses derivees sont
nulles sur D(z, r) ce qui fait que E est ouvert.
2
Lhypoth`ese de connexite est evidemment fondamentale : si U est reunion
de deux disques ouverts disjoints la fonction valant 0 sur le premier disque
et 1 sur le second est analytique sur U, nulle sur un ouvert mais pas sur U.
On deduit immediatement de la proposition precedente :
Corollaire 3.1 Si f et g sont analytiques sur le domaine U et si f = g sur
un ouvert alors f = g sur U.
On a vu quune fonction analytique sur un domaine qui sannule au voisi-
nage dun point est nulle partout, en fait on a un resultat beaucoup plus fort
qui nous dit que si une fonction analytique sannule sur un ensemble ayant
des points daccumulation (cf. denition ci-dessous) alors elle identiquement
nulle.
Denition 3.3 Soit A une partie de C et z C. On dit que
1. z est un point isole de A sil existe r > 0 tel que D(z, r) A = {z},
2. z est un point daccumulation de A si pour tout r > 0, D(z, r)\{z}A =
.
Noter que par denition, les points de A qui ne sont pas isoles sont des
points daccumulation. Noter quun point isole de A est dans A (ce qui nest
pas necessairement le cas dun point daccumulation), noter aussi que z est
un point daccumulation de A signie que z est limite dune suite de points
de A \ z (en particulier un point daccumulation est dans A). Noter quun
ensemble ni na que des points isoles et donc aucun point daccumulation.
38
Theor`eme 3.2 (Principe des zeros isoles) Soit U un domaine de C et
f : U C une fonction analytique non identiquement nulle, alors les zeros
de f (i.e. les points en lesquels f sannule) sont isoles.
Preuve:
Soit z
0
U tel que f(z
0
) = 0, comme f nest pas identiquement nulle sur U,
il resulte de la proposition 3.1 quil existe n 1 tel que f
(n)
(z
0
) = 0, soit n
0
le plus petit n pour lequel f
(n)
(z
0
) = 0. Il existe r > 0 tel que D(z
0
, r) U
et pour tout z D(z
0
, r), on ait
f(z) = (z z
0
)
n
0
(b
0
+

k1
b
k
(z z
0
)
k
) = (z z
0
)
n
0
(b
0
+ g(z)),
g(z) :=

k1
b
k
(z z
0
)
k
avec b
0
= 0 et

k
b
k
z
k
est de rayon de convergence au moins r. Comme
g(z
0
) = 0 et g est continue, il existe < r tel que |g(z)| < |b
0
| pour tout
z D(z
0
, ) de sorte que f ne sannule pas sur D(z
0
, ) \ {z
0
}. On a bien
montre que les zeros de f sont isoles. 2
Theor`eme 3.3 (Principe du prolongement analytique) Soit U un do-
maine de C et f et g deux fonctions analytiques : U C, si f = g sur un
sous-ensemble de U ayant un point daccumulation dans U alors f = g sur
U.
Preuve:
Lensemble des zeros de f g poss`ede un point daccumulation dans U et
donc les zeros de f g ne sont pas isoles, comme f g est analytique et U
un domaine, il resulte du principe des zeros isoles que f = g sur U.
2
Notons les corollaires/cas particuliers suivants :
Si f et g sont analytiques sur le domaine U, z U et f(z
n
) = g(z
n
)
o` u z
n
est une suite de points de U \ {z} convergeant vers z U alors
f = g sur U,
Si f et g sont analytiques sur le domaine U et concident sur un segment
[a, b] inclus dans U avec a = b alors f = g sur U,
Si f et g sont enti`eres i.e. analytiques sur C et si f = g sur R (ou sur
iR ou sur une droite, ou sur un segment ou un cercle ou une courbe
continue non reduite ` a un point ou plus generalement sur un ensemble
possedant un point daccumulation) alors f = g sur C.
39
On voit en particulier dans tous ces enonces une dierence fondamentales
entre les fonctions analytiques et les fonctions C

: une fonction analytique


qui sannule sur un ensemble ayant des points daccumulation est nulle par-
tout alors quil existe des fonctions C

non nulles qui sannulent sur de


gros ensembles (par exemple il existe des fonctions C

non nulles `a sup-


port compact cest ` a dire identiquement nulle en dehors dune boule alors
quune fonction enti`ere ` a support compact est necessairement identiquement
nulle). Une fonction analytique est ainsi totalement determinee par les va-
leurs quelle prend sur une courbe non reduite ` a un points (ou une suite
convergente de points distincts...), cest une propriete de rigidite des fonc-
tions analytiques (nous en verrons dautre par la suite : theor`eme du module
maximal au paragraphe suivant et theor`eme de Liouville au prochain cha-
pitre).
Nous sommes maintenant en mesure detablir certaines proprietes des
determinations du logarithme complexe que nous avions admises au chapitre
precedent.
Theor`eme 3.4 Soit U := D(1, 1) pour z U, la somme
f(z) :=

n1
(1)
n1
(z 1)
n
n
est une determination du logarithme sur U.
Preuve:
La serie enti`ere ci-dessus a pour rayon de convergence 1 et comme nous
lavons dej`a observe, sa derivee est f

(z) = 1/z en particulier f

(t) = 1/t
pour t ]0, 2[= D(1, 1) R

+
et comme f(1) = 0 on en deduit que f concide
sur ]0, 2[ avec le logarithme neperien et donc e
f(t)
= t pour tout t ]0, 2[.
En vertu du theor`eme 3.1, la fonction e
f(z)
z est analytique sur D(1, 1) et
sannule sur le segment ]0, 2[ et donc sur tout D(1, 1) en vertu du principe
du prolongement analytique on a donc e
f(z)
= z pour tout z D(1, 1) : f
est une determination du logarithme sur D(1, 1). 2
Corollaire 3.2 Soit z
0
= |z
0
|e
i
0
C

, alors sur U := D(z


0
, |z
0
|) la somme
de la serie
g(z) := log(|z
0
|) + i
0
+

n1
(1)
n1
n
_
z z
0
z
0
_
n
denit une determination analytique du logarithme.
40
Preuve:
Notant f la fonction donnee au theor`eme 3.4, pour z D(z
0
, |z
0
|) on a
z/z
0
D(1, 1) et
g(z) = log(|z
0
|) + i
0
+ f
_
z
z
0
_
et donc
e
g(z)
= |z
0
|e
i
0
exp
_
f
_
z
z
0
__
= z
0
z
z
0
= z.
2
Notant quavec (3.1), on a g

(z) = 1/z, on en deduit le theor`eme suivant


(qui implique en particulier la proposition 2.5 que nous avions admise au
chapitre precedent) :
Theor`eme 3.5 Soit U un ouvert de C

, si f est une determination du loga-


rithme sur U, alors f est analytique sur U et f

(z) = 1/z pour tout z U.


Preuve:
Soit z
0
U, r > 0 tel que D(z
0
, r) U et r < |z
0
| et soit g la fonction
analytique denie au corollaire 3.2 alors en vertu du lemme 2.3, il existe
n Z tel que f = g +2in sur D(z
0
, r) et donc f est analytique sur D(z
0
, r)
et f

(z) = g

(z) = 1/z pour tout z D(z


0
, r). Comme z
0
est arbitraire, on
en deduit le resultat voulu.
2
3.3 Theor`eme du module maximal et consequences
Lemme 3.1 Soit f(z) =

n0
a
n
z
n
une serie enti`ere de rayon de conver-
gence r > 0, non constante (i.e. non reduite `a a
0
). Alors, dans tout voisinage
de 0 contenu dans D(0, r) il existe un z tel que |f(z)| > |f(0)|. Si en outre
f(0) = a
0
= 0, alors, dans tout voisinage de 0 contenu dans D(0, r) il existe
un z tel que |f(z)| < |f(0)|.
Preuve:
Montrons la premi`ere propriete. Si f(0) = a
0
= 0 alors dapr`es le principe
des zeros isoles, il existe un voisinage de 0 sur lequel f ne sannule quen 0 et
donc |f| > |f(0)| sur ce voisinage. Si a
0
= 0 quitte ` a remplacer f par f/a
0
nous pouvons supposer que a
0
= 1. Par hypoth`ese, il existe n 1 tel que
a
n
= 0, soit n
0
le plus petit entier superieur ou egal `a 1 pour lequel a
n
= 0.
On peut alors ecrire f(z) = 1 + a
n
0
z
n
0
(1 + g(z)) avec g serie enti`ere nulle
en 0 et donc f(e
i
) = 1 + a
n
0

n
0
e
in
0

(1 + g(e
i
)), on choisit alors tel que
41
e
in
0

= a
n
0
/|a
n
0
| et > 0 susamment petit pour que |g| 1/2 sur D(0, )
de sorte que
f(e
i
) = 1 +|a
n
0
|
n
0
(1 + g(e
i
))
et donc
|f(e
i
)| 1 +|a
n
0
|
n
0
(1 |g(e
i
)|) 1 +
|a
n
0
|
n
0
2
> 1 = |f(0)|.
La preuve de la deuxi`eme propriete est similaire.
2
Theor`eme 3.6 (Theor`eme du module maximal) Soit U un domaine de
C et f analytique sur U, si |f| poss`ede un point de maximum local alors f
est constante sur U.
Preuve:
Supposons f non constante et que |f| presente un maximum local en z
0
,
quitte ` a eectuer une translation sur la variable nous pouvons supposer que
z
0
= 0 et developpant f en serie enti`ere en z
0
= 0 on obtient une serie non
constante (sans quoi f serait constante au voisinage de 0 et donc partout en
vertu du principe du prolongement analytique). Le lemme precedent fournit
la contradiction recherchee. 2
De meme on a :
Theor`eme 3.7 (Theor`eme du module minimal) Si f est analytique et
non constante sur le domaine U alors tout point de minimum local de |f| est
un zero de f.
Preuve:
Si |f| atteint un minimum local en un point (qu` a nouveau nous prenons egal
` a 0) et que f(0) = 0, la seconde partie du lemme 3.1 fournit la contradiction
recherchee.
2
Comme application du theor`eme du module minimal, nous pouvons deduire
une demonstration tr`es rapide du theor`eme de dAlembert-Gauss : soit en
eet P un polyn ome (en particulier P est analytique) non constant alors
comme |P(z)| quand |z| , |P| atteint son minimum (global sur C)
en un point z
0
, le principe du module minimal implique que necessairement
P(z
0
) = 0.
42
Chapitre 4
Fonctions holomorphes,
formules de Cauchy, primitives
complexes
4.1 Denitions et proprietes premi`eres
Nous avons vu au paragraphe 2.3 la notion de derivabilite au sens complexe
en un point ou sur un ouvert de C. Nous parlerons desormais dholomor-
phie (essentiellement pour bien distinguer la notion de derivabilite au sens
complexe de la notion de derivabilite au sens du calcul dierentiel sur R
2
,
nous verrons en eet tout au long de ce chapitre que la premi`ere notion est
considerablement plus forte que la seconde).
Denition 4.1 Soit U un ouvert non vide de C et f : U C on dit que f
est holomorphe sur U si f est derivable (au sens complexe) sur U.
Nous avons vu que les fonctions analytiques sont holomorphes et meme
que toutes leurs derivees le sont. Nous verrons ulterieurement un resultat
extremement fort exprimant que reciproquement toute fonction holomorphe
est analytique.
Comme dans le cas reel, on a des r`egles de calcul de derivees dont nous
laissons la preuve (identique en tout point au cas reel !) au lecteur :
Proposition 4.1 Soit U et V deux ouverts non vides de C,
si f et g sont holomorphes sur U et C, f +g est holomorphe sur
U et (f + g)

= f

+ g

,
43
si f et g sont holomorphes sur U alors le produit fg est holomorphe
sur U et (fg)

= f

g + fg

,
si f est holomorphe sur U et `a valeurs dans V et g est holomorphe sur
V alors g f est holomorphe sur V et (g f)

(z) = g

(f(z))f

(z) pour
tout z U
soit a et b reels avec a < b, si la courbe : ]a, b[ C est derivable
(au sens o` u sa partie reelle et sa partie imaginaire le sont en tant que
fonctions dune variable reelle) en t ]a, b[ et si f est derivable (au sens
complexe) au point (t) alors f est derivable (au sens reel) en t et
(f )

(t) = f

((t))

(t).
On verie sans peine que 1/z est holomorphe sur C

et que sa derivee est


1/z
2
de sorte que si f est derivable en z
0
et f(z
0
) alors 1/f est derivable
en z
0
et
_
1
f
_

(z
0
) =
f

(z
0
)
f(z
0
)
2
et si g est derivable en z
0
alors g/f aussi et
_
g
f
_

(z
0
) =
g

(z
0
)f(z
0
) f

(z
0
)g(z
0
)
f(z
0
)
2
.
4.2 Les relations de Cauchy-Riemann
Soit U un ouvert non vide de C, f : U C, z
0
U et supposons que f soit
derivable en z
0
. Revenant aux reels en notant la variable z = x + iy et la
fonction f = u + iv (u := Re(f), v := Im(f)) on peut voir f comme une
fonction de deux variables (x, y) (u(x, y), v(x, y)) R
2
.
Proposition 4.2 Sous les hypoth`eses et notations precedentes et notant z
0
=
x
0
+ iy
0
on a :
1. u et v sont derivables en (x
0
, y
0
),
2.
x
u(x
0
, y
0
) =
y
v(x
0
, y
0
) = Re(f

(z
0
)), et
y
u(x
0
, y
0
) =
x
v(x
0
, y
0
) =
Im(f

(z
0
))
Ainsi si f = u+iv est holomorphe sur louvert U, u est v sont derivables
et verient les relations de Cauchy-Riemann

x
u =
y
v,
y
u =
x
u (x, y) R
2
: (x + iy) U. (4.1)
44
Preuve:
Pour z = x + iy tel que z + z
0
U notant f

(z
0
) = + i on a
f(z
0
+ z) = u(x
0
+ x, y
0
+ y) + iv(x
0
+ x, y
0
+ y)
= f(z
0
) + f

(z
0
)z + o(z)
= u(x
0
, y
0
) + iv(x
0
, y
0
) + ( + i)(x + iy) + o(x, y)
= (u(x
0
, y
0
) + x y) + i(v(x
0
, y
0
) + x + y) + o(x, y)
et donc
u(x
0
+ x, y
0
+ y) = u(x
0
, y
0
) + x y + o(x, y)
ce qui signie que u est derivable en (x
0
, y
0
) et

x
u(x
0
, y
0
) = = Re(f

(z
0
)),
y
u(x
0
, y
0
) = = Im(f

(z
0
))
et de meme
v(x
0
+ x, y
0
+ y) = v(x
0
, y
0
) + x + y + o(x, y)
ce qui signie que v est derivable en (x
0
, y
0
) et

x
v(x
0
, y
0
) = = Im(f

(z
0
)),
y
v(x
0
, y
0
) = = Re(f

(z
0
))
do` u les relations de Cauchy-Riemann :

x
u =
y
v et
y
u =
x
v.
2
Le lecteur averti se dira sans doute quon aurait (quasiment) pu se pas-
ser de tout calcul en notant que la dierentiabilite au sens complexe de f
implique non seulement la dierentiabilite de (u, v) mais aussi le fait que la
matrice Jacobienne
J
u,v
=
_

x
u
y
u

x
v
y
v
_
represente une similitude (multiplication par un complexe !) et donc est de
la forme
_


_
ce qui est une mani`ere plus directe et geometrique de retrouver les relations
de Cauchy-Riemann.
On notera egalement que la conjugaison z = (x + iy) z = x iy est
lachetype de la fonction qui vue comme une application (lineaire !) de R
2
est
45
C

mais nest pas derivable au sens complexe en eet sa dierentielle nest


pas une matrice de similitude.
Comme deja evoque plus haut nous verrons ulterieurement que si f =
u + iv est holomorphe alors elle est analytique et donc en particulier u et v
sont de classe C
2
, le laplacien de u est alors deni par
u :=
2
xx
u +
2
yy
u
et avec les relations de Cauchy-Riemann et le theor`eme de symetrie de
Schwarz, il vient que
u =
x
(
y
v) +
y
(
x
v) = 0
de sorte que le laplacien de u est nulle, on dit que u est harmonique. Le meme
calcul montre que la partie imaginaire v de f est egalement harmonique. Ainsi
la partie reelle et la partie imaginaire dune fonction holomorphe sont harmo-
niques. Cependant si u et v sont harmoniques, u+iv nest pas necessairement
holomorphe (car u et v ne verient alors pas necessairement les relations de
Cauchy-Riemann, considerer `a nouveau lexemple de la conjugaison).
Voici une autre consequence facile de la proposition 4.2 :
Proposition 4.3 Soit U un domaine de C et f holomorphe sur U, alors :
1. si f

= 0 sur U, f est constante sur U,


2. si Re(f) (ou Im(f)) est constante sur U alors f aussi.
Preuve:
Notons `a nouveau f = u + iv. 1. Si f

= 0 alors u = 0 et v = 0 sur U ce
qui implique comme U est connexe que u et v sont constantes sur U. 2. Si
u = 0 alors les relations de Cauchy-Riemann impliquent que v = 0 et on
conclut comme precedemment.
2
Noter que sur un domaine de C si on connait la partie reelle (resp. sa
partie imaginaire) dune fonction holomorphe alors on connait aussi sa partie
imaginaire (resp. sa partie reelle) `a une constante pr`es (on a dej` a sans doute
abuse du terme rigidite dans ce qui prec`ede mais l`a encore...).
46
4.3 Integrales le long de chemins, indice
Nous appellerons chemin continu (ou simplement chemin) toute application
continue denie sur un intervalle [a, b] de R (a b) ` a valeurs dans C, pour
t [a, b] nous noterons (t) = x(t) +iy(t) (ou simplement (t) = (x(t), y(t))
en identiant C ` a R
2
) nous noterons limage de i.e. := {(t), t
[a, b]} noter que est compact et connexe. Nous dirons que le chemin
est ferme si son origine et son extremite sont egales i.e. (a) = (b). Noter
que nest pas determine par car contient aussi linformation sur le
parametrage de (par exemple si (t) = e
2ikt
, pour t [0, 1] et k Z,
= S
1
independamment de k alors que le signe de k nous dit dans quel sens
tourne et |k| nous dit combien fait de tours).
Si U est un ouvert de C et est un chemin, on dira que est un chemin
dans U si U. Si : [a, b] U est continu (U est toujours suppose ouvert)
et en notant pour tout z C :
d(z, ) := inf
z

|z z

|
il est facile de voir (petit exercice sur la compacite...) quil existe > 0 tel
que {z C : d(z, ) } U.
Nous manipulerons par la suite essentiellement des chemins C
1
par mor-
ceaux,
Denition 4.2 Le chemin : [a, b] C est dit C
1
par morceaux sil existe
une subdivsion a
0
= a < a
1
. . . a
k1
< a
k
= b telle que la restriction de `a
chaque intervalle [a
j1
, a
j
] soit de classe C
1
.
On denit alors lequivalence entre chemin C
1
-par morceaux
Denition 4.3 Soit : [a, b] C et : [c, d] C deux chemins C
1
par
morceaux, on dit que et sont equivalents (respectivement opposes) sil
existe un C
1
dieomorphisme croissant (resp. decroissant) de [c, d] sur
[a, b] tel que = .
Si deux chemins sont equivalents ou opposes, ils ont evidemment la meme
image , sils sont equivalents est parcouru avec la meme orientation, sils
sont opposes le sens de parcours est inverse, noter que t (a + b t) est
oppose ` a . Par exemple t e
it
, t [0, 2] et t e
2it
, t [0, 1] sont
equivalents et t e
it
, t [0, 2] et t e
it
, t [0, 2] sont opposes. Les
chemins t [0, 2] e
it
et t [0, 2] e
2it
ne sont pas equivalents car le
premier est un parametrage injectif de S
1
tandis que le second passe deux
fois par chaque point de S
1
.
47
Nous pouvons maintenant denir lintegrale dune fonction complexe le
long dun chemin comme suit :
Denition 4.4 Soit U un ouvert de C, : [a, b] U un chemin C
1
par
morceaux dans U et f continue U C, on denit lintegrale de f le long du
chemin et lon note
_

f(z)dz le nombre complexe


_

f(z)dz :=
_
b
a
f((t))

(t)dt
Cette integrale a bien un sens puisque

est continue par morceaux plus


precisement avec les notations de la denition 4.3 :
_

f(z)dz =
k1

j=0
_
a
j+1
a
j
f((t))

(t)dt.
Evidemment
_

f(z)dz est lineaire par rapport ` a f.


Remarquons maintenant que si lon note L() la longueur de = x+iy :
L() :=
_
b
a
|

(t)|dt =
_
b
a
_
x

(t)
2
+ y

(t)
2
dt
on a linegalite de base
|
_

f(z)dz| sup

|f|L()
dont on deduit immediatement
Lemme 4.1 Si f
n
est une suite de fonctions continues sur U et si f
n
converge
uniformement vers f sur tout compact de U alors
_

f
n
(z)dz
_

f(z)dz.
Supposons que = x+iy et = u+iv soient equivalents : = (i.e.
u = x , v = y ) avec dieomorpshisme croissant de [c, d] sur [a, b],
notant f = g + ih alors on a
_

f(z)dz =
_
d
c
f((t))

(t)dt
=
_
d
c
[(g((t))u

(t) h((t))v

(t)) + i(g((t))v

(t) + h((t))u

(t))]dt
48
en utilisant = , u

(t) = x

((t))

(t) et le changement de variable


s = (t) il vient que la premi`ere integrale vaut
_
d
c
g( (t))x

((t))

(t)dt =
_
b
a
g((s))x

(s)ds
traitant les trois autres integrales de la meme mani`ere il vient que
_

f(z)dz =
_

f(z)dz
et donc la valeur de lintegrale est inchangee entre deux chemins equivalents.
De la meme mani`ere si et sont opposes on a
_

f(z)dz =
_

f(z)dz.
Notons egalement que si les chemins
1
: [a, b] U,
2
: [b, c] U
verient
1
(b) =
2
(b) et si lon denit en collant
1
` a
2
(i.e. : [a, c]
U, (t) =
1
(t) si t [a, b] et (t) =
2
(t) si t [b, c]) on a une relation
similaire `a la relation de Chasles dans le cas reel :
_

f(z)dz =
_

1
f(z)dz +
_

2
f(z)dz.
Passons maintenant ` a quelques exemples basiques. Soit z
0
C, r > 0 et
(t) = z
0
+re
it
, t [0, 2] le parametrage direct du cercle de centre z
0
et de
rayon r et calculons
_

dz/(z z
0
) :
_

dz
z z
0
=
_
2
0
ire
it
re
it
dt = 2i.
si maintenant on consid`ere
n
(t) = z
0
+re
int
, t [0, 2] avec n Z le meme
calcul donne
_

n
dz
z z
0
= 2in.
Soit = (x, y) C
1
par morceaux et fermee, [a, b] C, on a
_

dz = (b) (a) = 0
et
_

zdz =
_
b
a
[(xx

yy

) + i(xy

+ x

y)]dt
=
1
2
(x
2
(b) x
2
(a) y
2
(b) + y
2
(a)) + i(x(b)y(b) x(a)y(a)) = 0
49
Soit z
0
et z
1
deux complexes et (t) = (1 t)z
0
+tz
1
le parametrage lineaire
du segment [z
0
, z
1
], on a alors
_
[z
0
,z
1
]
e
z
dz =
_

e
z
dz =
_
1
0
e
(1t)z
0
+tz
1
(z
1
z
0
)dt = e
z
0
(z
1
z
0
)
_
1
0
e
t(z
1
z
0
)
dt
et nous avons tr`es envie decrire que pour z C lintegrale
_
1
0
e
tz
dt vaut
1
z
(e
z
1). Pour justier cela, on peut soit faire un calcul direct (poser z =
x +iy et calculer
_
1
0
e
tx
cos(ty)dt et
_
1
0
e
tx
cos(ty)dt en integrant par parties)
soit observer que, par convergence normale, en integrant terme `a terme, on
a
_
1
0
e
tz
dt =
_
1
0
_

n0
t
n
z
n
n!
_
dt =

n0
z
n
(n + 1)!
=
1
z
(e
z
1)
(on peut aussi se passer de calcul en invoquant le theor`eme du prolongement
analytique). On obtient nalement
_
[z
0
,z
1
]
e
z
dz = e
z
0
(e
(z
1
z
0
)
1) = e
z
1
e
z
0
.
Si maintenant est le bord du triangle de sommets z
0
, z
1
, z
2
(on laisse au
lecteur le soin decrire le parametrage sil le souhaite...) on a
_

e
z
dz = e
z
1
e
z
0
+ e
z
2
e
z
1
+ e
z
0
e
z
2
= 0.
Une notion fondamentale est celle dindice dun chemin ferme par rapport
` a un point :
Denition 4.5 Soit un chemin C
1
par morceaux ferme dimage et z
0

C \ , on appelle indice de z
0
le nombre :
I

(z
0
) :=
1
2i
_

dz
z z
0
.
Nous avons dej` a calcule I

(z
0
) lorsque (t) = z
0
+ re
int
, t [0, 2] dans
ce cas, nous avons vu que :
I

(z
0
) = n.
Il est facile de voir (integrale dependant dun param`etre) que z
0
I

(z
0
)
est continue sur C\. Une propriete remarquable est que lindice est toujours
un entier :
50
Theor`eme 4.1 Soit un chemin C
1
par morceaux ferme dimage et z
0

C \ , alors I

(z
0
) Z.
Preuve:
Par denition
I

(z
0
) =
1
2i
_
b
a

(t)
(t) z
0
dt
il sagit de montrer que
exp
_
_
b
a

(t)
(t) z
0
dt
_
= 1
pour t [a, b] posons donc
(t) := exp
_
_
t
a

(s)
(s) z
0
ds
_
il sagit dune fonction C
1
par morceaux qui ne sannule pas et dont la derivee
est

(t) = (t)

(t)
(t) z
0
ce qui signie que (t)/((t) z
0
) est constante et donc comme (b) = (a),
on a
(b) = (a) = 1.
2
Pour rendre le resultat qui prec`ede reellement interessant, il nous faut
parler des composante connexes de C \ (qui est ouvert). Soit z C \ , et
C
z
lensemble de tous les points de C \ que lon peut joindre `a z par un
chemin dans C \ , on verie alors facilement que
C
z
est connexe par arcs donc connexe,
C
z
est ouvert et contenu dans C \ ,
si z

C
z
, C
z
= C
z
,
C
z
est maximal : si C est un ouvert connexe (donc connexe par arcs au
vu du theor`eme 1.6) inclus dans C \ et contenant z alors C C
z
.
Pour z C\ , lensemble C
z
sappelle la composante connexe de z dans
C\ , deux points z et z

sont dits connectes lorsque C


z
= C
z
, il sagit dune
relation dequivalence sur C \ , les classes dequivalence de cette relation
sappellent les composantes connexes de C\ . Les composantes connexes de
C\ forment ainsi une partition de C\ en sous-ensembles connexes ouverts
(maximaux pour linclusion). On a aussi :
51
Proposition 4.4 C \ poss`ede une et une seule composante connexe non
bornee.
Preuve:
Soit R > 0 tel que

D(0, R), et |z| > R, alors z C \ et comme
C\

D(0, R) est connexe et inclus dans C\, la composante connexe C := C
z
contient C \

D(0, R). Si z

etait dans une autre composante connexe non


bornee que C
z
, il existerait z

C
z
tel que |z

| > R et on aurait alors


z

C
z
et donc C
z
= C
z
= C
z
ce qui constitue la contradiction recherchee.
2
Theor`eme 4.2 La fonction z I

(z) est `a valeurs enti`eres, elle est constante


sur chaque composante connexe de C\ et nulle sur sa composante connexe
non bornee.
Preuve:
Le fait que I

soit constante sur chaque composante connexe de C\ decoule


de sa continuite, du fait quelle est `a valeurs dans Z et que les composantes
connexes sont connexes. Pour voir que I

= 0 sur la composante connexe non


bornee il sut dobserver que I

(z) tend vers 0 quand |z| .


2
On pourra retenir quintuitivement I

(z) represente le nombre de tours


que fait autour de z, en eet on peut voir que cest
1
2
fois la variation de
largument de (t) z
0
entre a et b. La gure ci-dessous illustre le resultat
precedent dans le cas dun chemin simple (i.e. sans boucle)
Voici un exemple plus complique avec des boucles
52
4.4 Primitives complexes
Comme nous disposons dune notion de derivabilite complexe, il est naturel
de chercher ` a realiser loperation inverse cest-`a dire `a chercher des primitives
complexes (une primitive de f etant bien entendu une fonction holomorphe g
telle que g

= f). Cest ce que lon appelle un probl`eme dintegration


1
. Pour
les fonctions dune variable reelle, le probl`eme est bien compris : une primitive
de f (disons continue) sobtient en considerant lintegrale x
_
x
x
0
f o` u x
0
est
xe, dune certaine mani`ere, nous suivrons une strategie un peu similaire dans
le cas complexe en considerant lintegrale de f le long dun chemin joignant
z
0
(xe) ` a z. Cependant, la situation ne peut pas etre aussi simple que dans
le cas reel. Considerons en eet la fonction f(z) = 1/z, nous savons que cette
fonction est holomorphe sur C

mais elle ne peut admettre de primitive sur


C

, en eet si g etait une telle primitive alors en notant g


0
la determination
principale du logarithme (cf. proposition 2.4) comme g

0
= 0 sur U

qui est
connexe, on devrait avoir g = g
0
+ sur U

o` u est une constante complexe


et donc exp(g(z) ) = z pour tout z U

et donc aussi par continuite


exp(g(z) ) = z pour tout z C

ce qui est contradictoire avec le fait


quil nexiste pas de determination du logarithme sur C

. Bref, 1/z nadmet


pas de primitive sur C

. En revanche pour tout z


0
C

, nous savons quil


existe une determination du logarithme qui est analytique sur D(z
0
, |z
0
|) et
donc 1/z admet une primitive au voisinage de chaque point de C

. Il faut
donc distinguer le fait davoir une primitive localement et globalement, do` u
la denition suivante :
Denition 4.6 Soit U un ouvert non vide de C et f continue U C, on
dit que :
1. f admet une primitive globalement sur U sil existe g holomorphe sur
U telle que f

= g sur U,
2. f admet une primitive localement sur U si pour tout z U, il existe
r > 0 tel que D(z, r) U et g holomorphe sur D(z, r) telle que g

= f
sur D(z, r).
1
Un autre probl`eme basique dintegration consiste `a determiner quand une application
F = (F
1
, ..., F
n
) de R
n
dans R
n
peut secrire comme un gradient F = f ; en rederivant
et en appliquant le theor`eme de symetrie de Schwarz, on voit immediatement quune
condition necessaire est que la Jacobienne de F soit symetrique, le fait que cela soit
susant est un lemme classique de Poincare (que vous devriez etre capable de demontrer
sans diculte apr`es avoir lu ce qui suit...)
53
Notons un cas o` u trouver globalement une primitive est evident : celui
dune serie enti`ere f(z) =

n0
a
n
z
n
de rayon inni, il est clair dans ce cas
que la serie enti`ere obtenue en integrant terme ` a terme
g(z) :=

n0
a
n
z
n+1
n + 1
est aussi de rayon inni et que cest une primitive de f globalement sur C.
Le meme argument montre evidemment quune fonction analytique poss`ede
localement des primitives (et comme nous le verrons plus tard, lanalyticite
des fonctions holomorphes entrainera donc que les fonctions holomorphes
admettent toujours localement des primitives) .
Un premier crit`ere dintegrabilite globale (noter lhypoth`ese de connexite)
nous est fourni par le :
Theor`eme 4.3 Soit U un domaine et f : U C continue, on a equivalence
entre :
1. f admet une primitive globalement sur U,
2. pour tout chemin C
1
par morceaux et ferme dans U,
_

f(z)dz = 0.
Preuve:
Supposons dabord que f = g

avec g holomorphe sur U, alors pour tout


chemin C
1
par morceaux : [a, b] U, on a
_

f(z)dz =
_
b
a
g

((t))

(t)dt = g((b)) g((a))


et donc cette integrale est nulle d`es que est ferme.
Supposons maintenant que 2 est satisfaite. Soit z
0
et z
1
dans U et
0
et

1
deux chemins C
1
par morceaux
2
joignant z
0
` a z
1
et le chemin obtenu en
collant
0
au chemin oppose `a
1
, etant ferme, on a
_

f(z)dz = 0 =
_

0
f(z)dz
_

1
f(z)dz
2
Nous savons que z
0
et z
1
peuvent etre joints par un chemin dans U car U est connexe
par arcs, le fait quils puissent etre joints par un chemin de classe C
1
dans U se fait par
regularisation : il existe > 0 tel que si

alors

est dans U, et ensuite on


note (densite des fonctions C
1
, et meme C

dans les fonctions continues) quil existe

de classe C
1
ayant cette propriete.
54
ainsi
_

f(z)dz est une quantite qui ne depend que de lorigine z


0
et de
lextremite z
1
de , notons
_
z
1
z
0
f(z)dz la valeur commune de ces integrales
et posons g(z) :=
_
z
z
0
f(z)dz pour tout z U. Soit z U, r > 0 tel que
D(z, r) U et h D(0, r), comme le segment [z, z +h] est inclus dans U on
a
g(z + h) g(z) =
_
[z,z+h]
f()d.
Soit > 0, comme f est continue, il existe < r tel que sup
D(z,)
|ff(z)|
et donc si |h| ,
|g(z + h) g(z) f(z)h|
_
[z,z+h]
|f() f(z)|d |h|
ce qui montre que g est derivable en z et g

(z) = f(z) et donc que g est une


primitive de f sur U.
2
Dans le cas dun domaine convexe, il sut de prendre comme chemins
fermes dans le theor`eme precedent le bord des triangles inclus dans U :
Proposition 4.5 Soit U un ouvert convexe Soit U un domaine et f : U C
continue, on a equivalence entre :
1. f admet une primitive globalement sur U,
2. pour tout triangle T inclus dans U,
_
T
f(z)dz = 0.
Preuve:
Seule limplication 2 1 est ` a montrer, supposons donc que 2 est satisfaite
et xons z
0
U et posons pour tout z U, g(z) :=
_
[z
0
,z]
f()d, soit z U
et h C tel que z +h U, alors lintegrale de f le long du bord du triangle
de sommets z
0
, z, z + h (inclus dans U par convexite) est nulle de sorte que
g(z + h) g(z) =
_
[z,z+h]
f()d
ce dont on conclut facilement comme dans la preuve precedente que g est
holomorphe et g

= f sur U.
2
Theor`eme 4.4 (Theor`eme de Goursat) Soit U un ouvert non vide de C
et f holomorphe sur U alors pour tout triangle T inclus dans U,
_
T
f(z)dz =
0.
55
Preuve:
Soit donc T un triangle inclus dans U (et dont on a choisi une orientation du
bord) et on pose I :=
_
T
f(z)dz , on subdivise alors T en quatre triangles
dont les sommets sont les milieux des c otes de T et dont on oriente le bord
comme dans la gure ci dessous.
Il est alors facile de voir que I est la somme des integrales de f le long du
bord (oriente comme dans la gure) de ce ces quatre triangles. Ainsi il existe
un de ces quatre triangles que nous noterons T
1
pour lequel
|
_
T
1
f(z)dz|
|I|
4
.
Iterant ce procede on construit une suite emboitee de triangles T
n
veriant
|
_
T
n
f(z)dz|
|I|
4
n
, L(T
n
) =
L(T)
2
n
. (4.2)
comme les T
n
(que lon va prendre fermes) forment une suite decroissante de
fermes dont le diam`etre tend vers 0, leur intersection est reduite `a un point z
0
.
Soit > 0, comme f est holomorphe en z
0
, il existe r > 0 tel que D(z
0
, r) U
et pour tout z D(z
0
, r) on a |f(z) f(z
0
) f

(z
0
)(z z
0
)| |z z
0
|.
Par ailleurs nous avons vu que lintegrale de z et des constantes le long de
courbes fermees est nulle et donc
_
T
n
f(z)dz =
_
T
n
(f(z) f(z
0
) f

(z
0
)(z z
0
))dz.
Choisissant n assez grand pour que T
n
D(z
0
, r) on a donc
|
_
T
n
f(z)dz| L(T
n
) sup
zT
n
|z z
0
|
on utilise ensuite le fait que pour z T
n
, |zz
0
| est majoree par le perim`etre
L(T
n
) = 2
n
L(T) pour obtenir que
|
_
T
n
f(z)dz|
L(T)
2
4
n
56
et donc avec (4.2)
|I| L(T)
2
et comme > 0 est arbitraire on a bien I = 0.
2
Une extension
3
du theor`eme de Goursat qui nous sera utile pour etablir
la formule de Cauchy est donnee par :
Theor`eme 4.5 (Extension du theor`eme de Goursat) Soit U un ouvert
non vide de C, U et f continue sur U et holomorphe sur U \ {}, alors
pour tout triangle T inclus dans U,
_
T
f(z)dz = 0.
Preuve:
Seul le cas o` u T est `a considerer. Considerons tout dabord le cas o` u
est un sommet de T = AB, on consid`ere alors les points A

et B

comme sur
la gure ci-dessous et on note que par le theor`eme de Goursat lintegrale de
f le long des bords (convenablement orientes) des triangles A

AB et A

B
est nulle et donc
_
T
f(z)dz est egale ` a l integrale de f le long du bord de
A

et cette derni`ere tend vers 0 quand A

, B

B car le perim`etre
de A

tend alors vers 0 et f est continue en donc |f| est majoree au


voisinage de . Dans le cas o` u est sur un c ote ou ` a linterieur du triangle on
se ram`ene au cas precedent en decoupant T comme sur la gure-ci dessous.
2
On deduit immediatement (et sans utiliser lanalyticite des fonctions ho-
lomorphes) du theor`eme de Goursat, de la proposition 4.5 et du fait que les
disques sont convexes :
Corollaire 4.1 Si f est holomorphe sur louvert non vide U (ou seulement
continue sur U et holomorphe sur U prive dun point), alors f admet locale-
ment une primitive sur U. Si en outre U est convexe, f admet globalement
une primitive sur U.
3
qui nest quapparente car nous verrons quune fonction continue sur U et holomorphe
sur U prive dun point est en fait necessairement holomorphe sur U.
57
On peut aaiblir un peu lhypoth`ese de convexite dans lenonce precedent
Denition 4.7 Soit A C et z
0
C, on dit que A est etoile par rapport `a
z
0
si pour tout z A, le segment [z
0
, z] est inclus dans A. On dit que A est
etoile sil est etoile par rapport `a lun de ses points.
Remarquons quun ensemble etoile est connexe par arcs, les ensembles
convexes sont etoiles (par rapport ` a chacun de leur point !) et que C

nest
pas etoile (mais que C \ R

lest). Sur un ouvert etoile


4
, la question de
lintegrabilite des fonctions holomorphes est resolue par :
Theor`eme 4.6 Soit U un ouvert etoile non vide de C et f holomorphe sur
U, alors f admet une primitive globalement sur U.
Preuve:
Soit z
0
U par rapport auquel U est etoile. Comme precedemment on pose
g(z) :=
_
[z
0
,z]
f()d pour tout z U et il sagit de montrer que g est holo-
morphe et que g

= f. Soit z U et r > 0 tel que D(z, r) U alors pour tout


h D(0, r), le triangle T de sommets z
0
, z et z + h est inclus dans U (ceci
resulte du fait que [z, z + h] U et U est etoile par rapport ` a z
0
). Il resulte
du theor`eme de Goursat que
_
T
f()d = 0 et on ach`eve la demonstration
exactement comme celle de la proposition 4.5.
2
4
en realite, ce nest encore pas lhypoth`ese optimale qui est celle de simple connexite
de U, en gros, un ensemble simplement connexe est un ensemble qui na pas de trou, voir
par exemple [2].
58
4.5 Theor`eme de Cauchy et analyticite des
fonctions holomorphes
Nous allons voir maintenant un resultat essentiel d u `a Cauchy qui montre que
les fonctions holomorphes sont analytiques (ce qui est tr`es fort : une informa-
tion sur une dierentiabilite dordre un implique une propriete encore plus
forte que la dierentiabilite ` a tout ordre) et en plus que leur developpement
en serie est donne par le calcul dintegrales sur des sph`eres.
Un premier resultat tr`es important est la formule de Cauchy
Theor`eme 4.7 (Formule de Cauchy) Soit z
0
C, r > 0, f holomorphe
sur D(z
0
, r) alors pour tout chemin C
1
par morceaux et ferme dans D(z
0
, r)
tel que z
0
/ on a :
f(z
0
)I

(z
0
) =
1
2i
_

f(z)
z z
0
dz.
Preuve:
Pour z D(z
0
, r) soit
g(z) =
_
f(z)f(z
0
)
zz
0
si z = z
0
f

(z
0
) si z = z
0
de sorte que g est continue sur D(z
0
, r) et holomorphe sur D(z
0
, r) \ {z
0
} et
donc il resulte de lextension du theor`eme de Goursat et de la proposition
4.5 que g poss`ede une primitive sur D(z
0
, r) et donc que son integrale le long
de est nulle ce qui prouve la formule de Cauchy. 2
Corollaire 4.2 Soit U un ouvert non vide de C, f holomorphe sur U, z
0
U
et r > 0 tel que D(z
0
, r) U et (t) := z
0
+ re
it
, t [0, 2], pour tout
z D(z
0
, r) alors on a :
f(z) =
1
2i
_

f(u)
u z
du
en particulier
f(z
0
) =
1
2i
_

f(u)
u z
0
du =
1
2
_
2
0
f(z
0
+ re
it
)dt
59
Preuve:
Si z D(z
0
, r), z et z
0
sont dans la meme composante connexe de C \ et
donc I

(z) = I

(z
0
) = 1 et donc la formule de Cauchy donne bien que
f(z) =
1
2i
_

f(u)
u z
du.
2
Le theor`eme fondamental de ce chapitre est le suivant
Theor`eme 4.8 (Cauchy) Soit U un ouvert non vide de C et f holomorphe
sur U alors f est analytique sur U. En outre si z
0
U, R > 0 est tel que
D(z
0
, R) U alors
f(z) =
+

n=0
a
n
(z z
0
)
n
, z D(z
0
, R)
o` u, en posant
r
(t) := z
0
+ re
it
, t [0, 2], on a
a
n
=
1
2i
_

r
f(u)
(u z
0
)
n+1
du =
1
2r
n
_
2
0
f(z
0
+ re
it
)e
nit
dt
pour tout r ]0, R[. En particulier on a
f
(n)
(z
0
) =
n!
2i
_

r
f(u)
(u z
0
)
n+1
du =
n!
2r
n
_
2
0
f(z
0
+ re
it
)e
nit
dt
pour tout n N et tout r ]0, R[.
Preuve:
Soit r ]0, R[ on a alors D(z
0
, r) U, soit z D(z
0
, r), on a alors dapr`es le
corollaire precedent
f(z) =
1
2i
_

r
f(u)
u z
du (4.3)
on observe ensuite que pour u
r
:=
r
([0, 2]) = D(z
0
, r), |z z
0
| < r =
|u z
0
| = r et lon a
1
u z
=
1
(u z
0
)(1
zz
0
uz
0
)
=
1
u z
0
+

n=0
_
z z
0
u z
0
_
n
et donc
f(u)
u z
=
1
u z
0
+

n=0
_
z z
0
u z
0
_
n
f(u)
60
or si u
r
, on a

_
z z
0
u z
0
_
n
f(u)

M
r
_
|z z
0
|
r
_
n
, M
r
:= sup

r
|f|
et donc comme |z z
0
| < r la serie de terme generale u (
zz
0
uz
0
)
n
f(u)
converge normalement sur
r
de sorte que lon peut integrer terme `a terme
dans la formule de Cauchy (4.3)
f(z) =
1
2i
+

n=0
_
_

r
f(u)
(u z
0
)
n+1
du
_
(z z
0
)
n
=
+

n=0
a
n
(z z
0
)
n
avec
a
n
=
1
2i
_

r
f(u)
(u z
0
)
n+1
du =
1
2i
_
2
0
f(z
0
+ re
it
)
r
n+1
e
i(n+1)t
ire
it
dt
=
1
2r
n
_
2
0
f(z
0
+ re
it
)e
int
dt
ce qui prouve lanalyticite de f (noter que le rayon de convergence de

a
n

n
est au moins r puisque |a
n
|r
n
M
r
).
2
Corollaire 4.3 (Inegalites de Cauchy) Soit U un ouvert non vide de C
et f holomorphe sur U, z
0
U, R > 0 est tel que D(z
0
, R) U alors pour
tout r ]0, r[ et tout n N on a
|f
(n)
(z
0
)|
n!
r
n
sup
t[0,2]
|f(z
0
+ re
it
)| =
n!
r
n
sup
D(z
0
,r)
|f|.
Nous pouvons maintenant prouver tr`es simplement le theor`eme 3.1 que
nous avions admis au chapitre precedent :
Theor`eme 4.9 Soit U et V deux ouverts de C, f : U V et g : V C
si f est analytique sur U et g est analytique sur V alors g f est analytique
sur U.
Preuve:
Les hypoth`eses de lenonce assurent que g f est holomorphe sur U et donc
analytique en vertu du theor`eme de Cauchy.
2
61
Theor`eme 4.10 (Liouville) Toute fonction holomorphe et bornee sur C
en entier est constante.
Preuve:
Posant M := sup
C
|f| il resulte des inegalites de Cauchy et du fait que f est
enti`ere que pour tout z C et tout r > 0, on a
|f

(z)|
M
r
et donc en faisant tendre r vers + on en deduit que f

= 0 sur C.
2
Du theor`eme de Liouville, nous pouvons deduire une nouvelle demonstration
(encore plus courte) du theor`eme de dAlembert-Gauss, en eet si P etait
un polyn ome non constant ne sannulant pas alors 1/P serait une fonction
holomorphe et bornee sur C et donc devrait etre constante.
Theor`eme 4.11 (Theor`eme de Morera) Soit U un ouvert non vide de
C, f : U C continue alors si f admet localement une primitive dans U, f
est holomorphe sur U.
Preuve:
Si f admet une primitive localement sur U, pour chaque z
0
U il existe
r > 0 et g holomorphe sur D(z
0
, r) telle que g

= f sur D(z
0
, r). Il resulte du
theor`eme de Cauchy que g est analytique donc f = g

aussi, en particulier f
est holomorphe.
2
Theor`eme 4.12 Soit U un ouvert non vide de C, U et f continue sur
U et holomorphe sur U \ {} alors f est holomorphe sur U.
Preuve:
Nous savons par le corollaire 4.1 que f admet localement une primitive sur
U et donc on deduit du theor`eme de Morera que f est holomorphe sur U.
2
A titre dexercice permettant au lecteur de verier quil a bien assimile
le contenu de ce chapitre, on pourra montrer que dans le resultat precedent
on peut aaiblir lhypoth`ese f continue sur U en f bornee au voisinage
de .
62
Chapitre 5
Fonctions meromorphes,
singularite et residus
5.1 Series de Laurent
Pour z
0
C et 0 R
1
< R
2
+ on note C(z
0
, R
1
, R
2
) la couronne
C(z
0
, R
1
, R
2
) := {z C : R
1
< |z z
0
| < R
2
}
noter que lon autorise la valeur 0 pour R
1
(lensemble C(z
0
, 0, R
2
) est alors
le disque epointe D

(z
0
, R
2
) = D(z
0
, R
2
) \ {z
0
}) et la valeur + pour R
2
(auquel cas la couronne est le complementaire du disque ferme D(z
0
, R
1
)).
Soit maintenant (a
n
)
nZ
C
Z
, supposons que les deux series enti`eres

n0
a
n
z
n
et

n0
a
n
z
n
deux series enti`eres de rayon de convergence res-
pectifs R > 0 et > 0, et supposons que
1

< R
et soit
1

< R
1
< R
2
< R
alors nous savons que
comme R
2
< R,

n0
a
n
z
n
converge normalement sur D(0, R
2
) et y
denit une fonction holomorphe
comme 1/R
1
< ,

n0
a
n
z
n
converge normalement sur D(0,
1
R
1
) et
donc (en faisant le changement de variable z 1/z),

n0
a
n
z
n
converge normalement sur la couronne
C(0, R
1
, +) = {z C : |z| R
1
}
63
et y denit une fonction holomorphe.
Ainsi en denissant, la fonction
f(z) :=

nZ
a
n
z
n
= a
0
+

n>0
a
n
z
n
+

n<0
a
n
z
n
on obtient une fonction holomorphe sur la couronne C(0,
1

, R). La forme
precedente sappelle une serie de Laurent. Ici, on a pris 0 comme origine pour
xer les idees mais on peut bien evidemment aussi considerer

nZ
a
n
(z
z
0
)
n
sur C(z
0
, 1/, R). Une serie de Laurent denit une fonction holomorphe
sur la couronne C(0, 1/, R) et nous allons montrer la reciproque ` a savoir
que toute fonction holomorphe sur une couronne se represente comme une
serie de Laurent et que les coecients de Laurent se calculent dune mani`ere
analogue aux coecients du developpement en serie enti`ere dans le theor`eme
de Cauchy. Pour ce faire, nous aurons dabord besoin de deux lemmes :
Lemme 5.1 Soit z
0
C, R
1
< R
2
et g holomorphe sur la couronne C(z
0
, R
1
, R
2
),
alors la fonction
(r) :=
_

r
g(u)du, r ]R
1
, R
2
[ (
r
(t) = z
0
+ re
it
, t [0, 2])
est constante sur ]R
1
, R
2
[.
Preuve:
Pour tout r ]R
1
, R
2
[, on a :
(r) =
_
2
0
ig(z
0
+ re
it
)re
it
dt
on peut (apr`es quelques justications elementaires) deriver sous le signe
somme et ainsi obtenir

(r) =
_
2
0
i[g

(z
0
+ re
it
)re
2it
+ g(z
0
+ re
it
)e
it
]dt
on remarque ensuite que
d
dt
(g(z
0
+ re
it
)e
it
) = i[g

(z
0
+ re
it
)re
2it
+ g(z
0
+ re
it
)e
it
]
et donc

(r) = g(z
0
+ re
2i
)e
2i
g(z
0
+ r) = 0.
2
64
Lemme 5.2 Soit z
0
C, R
1
< R
2
, f holomorphe sur la couronne C(z
0
, R
1
, R
2
)
alors pour tout r
1
, r
2
tels que R
1
< r
1
< r
2
< R
2
et tout z C(z
0
, r
1
, r
2
), on
a
f(z) =
1
2i
_

r
2
f(u)
u z
du
1
2i
_

r
1
f(u)
u z
du
(o` u on a pose
r
(t) := z
0
+ re
it
, t [0, 2]).
Preuve:
On introduit ` a nouveau la fonction
g(u) :=
_
f(u)f(z)
uz
si u = z
f

(u) si u = z
, u C(z
0
, R
1
, R
2
)
qui est holomorphe sur C(z
0
, R
1
, R
2
) \ {z} et continue sur C(z
0
, R
1
, R
2
) et
donc holomorphe sur C(z
0
, R
1
, R
2
) (Theor`eme 4.12). Le lemme precedent
implique donc que
_

r
g(u)du est independant de r, or
1
2i
_

r
g(u)du =
1
2i
_

r
f(u)
u z
du I

r
(z)f(z)
comme I

r
2
(z) = 1 et I

r
1
(z) = 0 on a donc
1
2i
_

r
2
f(u)
u z
du f(z) =
1
2i
_

r
1
f(u)
u z
du
do` u le resultat.
2
Le theor`eme annonce est le suivant
Theor`eme 5.1 (Laurent) Soit f holomorphe sur la couronne C(0, R
1
, R
2
)
alors f est developpable en serie de Laurent :
f(z) =

nZ
a
n
z
n
, z C(0, R
1
, R
2
)
o` u les coecients de Laurent sont donnes par
a
n
=
1
2i
_

r
f(u)
u
n+1
du, n Z, r ]R
1
, R
2
[, (
r
(t) = re
it
, t [0, 2]).
65
Preuve:
Fixons r
1
, r
2
: R
1
< r
1
< |z| < r
2
< R
2
, en vertu du lemme precedent, nous
avons
f(z) =
1
2i
_

r
2
f(u)
u z
du
1
2i
_

r
1
f(u)
u z
du.
Pour u
r
1
:=
r
1
([0, 2)), on a |u|/|z| = r
1
/|z| < 1 de sorte que
1
u z
=
1
z(
u
z
1)
=
1
z

n0
_
u
z
_
n
=

n1
z
n
u
n+1
et la serie de terme general f(u)(u/z)
n
converge normalement sur
r
1
ainsi
nous pouvons integrer terme `a terme

1
2i
_

r
1
f(u)
u z
du =

n1
1
2i
_
_

r
1
z
n
u
n+1
f(u)du
_
=

n1
a
n
z
n
o` u pour tout n 1
a
n
=
1
2i
_

r
1
f(u)
u
n+1
du
et cette quantite est independante de r
1
]R
1
, R
2
[ en vertu du Lemme 5.1
et du fait que f(u)/u
n+1
est holomorphe sur C(0, R
1
, R
2
). Pour u
r
2
:=

r
2
([0, 2)), on a |z|/|u| = |z|/r
2
< 1 de sorte que
1
u z
=
1
u(
z
u
1)
=
1
u

n0
_
z
u
_
n
=

n0
z
n
u
n+1
et la serie de terme general f(u)(z/u)
n
converge normalement sur
r
2
ainsi
nous pouvons integrer terme `a terme
1
2i
_

r
2
f(u)
u z
du =

n0
1
2i
_
_

r
2
z
n
u
n+1
f(u)du
_
=

n0
a
n
z
n
o` u pour tout n 0
a
n
=
1
2i
_

r
2
f(u)
u
n+1
du
et cette quantite est independante de r
2
]R
1
, R
2
[ en vertu du Lemme 5.1 et
du fait que f(u)/u
n+1
est holomorphe sur C(0, R
1
, R
2
). Ceci ach`eve la preuve
du theor`eme de Laurent.
2
66
Le theor`eme precedent et sa demonsration appellent plusieurs remarques.
Pour n 0 en faisant tendre r
2
vers R

2
(et en utilisant le fait que f est bornee
sur
r
2
pour R
1
< r
2
< R
2
) dans la formule
a
n
=
1
2i
_

r
2
f(u)
u
n+1
du
on voit que le rayon de la serie

n0
a
n
z
n
est au moins R
2
, il est donc inni
si R
2
est inni. De la meme mani`ere pour n < 0, en faisant tendre r
1
vers
R
+
1
(et en utilisant le fait que f est bornee sur
r
1
pour R
1
< r
1
< R
2
) dans
la formule
a
n
=
1
2i
_

r
1
f(u)u
n1
du
on voit que le rayon de la serie

n0
a
n
z
n
est au moins 1/R
1
. En posant
f
2
(z) :=

n0
a
n
z
n
, f
1
(z) = g
1
(1/z), g
1
(z) =

n>0
a
n
z
n
on a donc :
f = f
1
+ f
2
sur C(0, R
1
, R
2
),
f
2
est holomorphe sur D(0, R
2
),
f
1
est holomorphe sur {z C : |z| > R
1
} (car g
1
est holomorphe sur
D(0, 1/R
1
)).
Dans le cas R
1
= 0, R
2
= R > 0, il resulte ainsi du theor`eme de Laurent
que si f est holomorphe sur le disque epointe D

(z
0
, R) = D(z
0
, R) \ {z
0
}
alors f admet un developpement en serie de Laurent :
f(z) =

nZ
a
n
(z z
0
)
n
, z D

(z
0
, R)
o` u
a
n
=
1
2i
_

r
f(u)
(u z
0
)
n+1
du,
r
(t) = z
0
+ re
it
, t [0, 2],
cette formule etant valable pour tout r ]0, R[. En outre

n0
a
n
z
n
est de
rayon de convergence au moins R et

n>0
a
n
z
n
est de rayon de convergence
inni et lon a donc
f = f
1
+ f
2
sur D

(z
0
, r) avec
f
1
(z) = g
1
(1/z) =

n<0
a
n
z
n
, g
1
(z) =

n>0
a
n
z
n
, f
2
(z) =

n0
a
n
z
n
67
avec f
1
holomorphe sur C

(car g
1
est enti`ere) et f
2
holomorphe sur D(0, R).
Il ne faut surtout pas confondre ce developpement en serie de Laurent
qui fait apparatre des puissances negatives de (z z
0
) mais ne demande
pas que f soit holomorphe en z
0
mais seulement sur le disque epointe et le
developpement en serie enti`ere (qui ne contient que des puissances positives)
fourni par le theor`eme de Cauchy qui demandait que f soit holomorphe sur
un voisinage de z
0
.
Le theor`eme de Laurent donne evidemment lunicite du developpement
en serie de Laurent :
Proposition 5.1 Soit (a
n
)
nZ
C
Z
et (b
n
)
nZ
C
Z
telles que

n0
a
n
z
n
et

n0
b
n
z
n
soient de rayon de convergence (au moins) R
2
> 0,

n0
a
n
z
n
et

n0
b
n
z
n
soient de rayon de convergence (au moins) avec R
1
:=
1

< R
2
.
Si lon a

nZ
a
n
z
n
=

nZ
b
n
z
n
, z C(0, R
1
, R
2
)
alors a
n
= b
n
pour tout n Z.
Preuve:
Cest une consequence triviale du theor`eme de Laurent applique ` a la fonction
(holomorphe sur C(0, R
1
, R
2
))
f(z) =

nZ
a
n
z
n
=

nZ
b
n
z
n
, z C(0, R
1
, R
2
).
2
5.2 Fonctions meromorphes, p oles, residus
Denition 5.1 Soit z
0
C on dit que z
0
est une singularite isolee de f sil
existe r > 0 tel que f est holomorphe sur D

(z
0
, r).
La denition qui prec`ede nest pas tr`es maline a priori puisque si f est
holomorphe au voisinage de z
0
, alors z
0
est une singularite isolee de f alors
que f est tr`es reguli`ere (analytique !) au voisinage de z
0
. Il va donc falloir y
regarder dun peu plus pr`es pour distinguer les vraies singularites de f.
Soit donc z
0
une singularite isolee de f, par denition il existe r > 0 tel
que f est holomorphe sur D

(z
0
, r) et grace au theor`eme de Laurent, on peut
ecrire :
f(z) =

nZ
a
n
(z z
0
)
n
, z D

(z
0
, r)
il y a alors trois cas `a distinguer :
68
pour tout n < 0, a
n
= 0 alors f setend en une fonction holomorphe
sur D(z
0
, r), on dit alors que z
0
est une singularite articielle
1
de f,
il existe un nombre ni de n < 0 tels que a
n
= 0, ainsi il existe n
0
1
tel que a
n
0
= 0 et f

n
0
n=1
a
n
(zz
0
)
n
est holomorphe sur D(z
0
, r),
on dit alors que z
0
est un pole de f, lentier n
0
sappelle lordre du p ole
z
0
(noter que n
0
est le plus petit entier n 1 pour lequel f(z)(z z
0
)
n
est holomorphe au voisinage de z
0
),
il existe une innite de n < 0 tels que a
n
= 0, on dit alors que z
0
est
une singularite essentielle de f.
Par exemple f(z) = 1/z a une singularite isolee en 0 est cest un p ole
dordre 1, sin(z)/z a une singularite isolee en 0 qui est une singularite arti-
cielle et e
1/z
presente une singularite essentielle en 0. Si P et Q sont des
polyn omes avec Q non identiquement nulle, la fraction rationnelle P/Q est
holomorphe sur C prive des racines de Q, soit z
0
lune de ces racines de Q et
m sa multiplicite alors : soit z
0
est racine de P de multiplicite n m et dans
ce cas z
0
est une singularite articielle, soit z
0
est racine de P de multiplicite
n < m (n = 0 si P(z
0
) = 0) et dans ce cas z
0
est un pole dordre (m n).
Si f est non identiquement nulle sur le domaine U alors ses zeros sont isoles
et donc 1/f na que des singularites isolees et ces singularites sont des p oles,
et plus precisement, si f(z
0
) = 0 alors lordre du pole z
0
de 1/f correspond
au premier terme non nul (ou premi`ere derivee non nulle) dans la serie de
Taylor f en z
0
.
Une fonction qui ne presente que des singularites isolees na quun nombre
ni de vraies (i.e. non articielles) singularites sur chaque compact :
Lemme 5.3 Soit U un ouvert de C et f une fonction telle que chaque point
de U est une singularite isolee de f. Soit K compact, K U alors f est
holomorphe en chaque point de K sauf eventuellement un nombre ni.
Preuve:
Pour tout z K il existe r
z
> 0 tel que f est holomorphe sur D

(z, r
z
)
comme K est compact il peut etre recouvert par un nombre ni de tels
disques D(z, r
z
), il existe donc k, z
1
, . . . z
k
et r
1
> 0, . . . r
k
> 0 tels que K

k
j=1
D(z
i
, r
i
) et comme f est holomorphe sur D

(z
i
, r
i
), f est holomorphe en
chaque point de K sauf eventuellement z
1
, . . . , z
k
.
2
Nous pouvons maintenant denir les fonctions meromorphes :
1
Nous avons dej`a vu que si f est holomorphe sur un ouvert prive dun point et bornee
au voisinage de ce point alors f est holomorphe en ce point : un tel point est donc une
singularite articielle
69
Denition 5.2 Soit U un ouvert de C on dit que la fonction f est meromorphe
sur U si f est holomorphe sur U sauf (eventuellement) en des points singu-
liers isoles qui sont des poles de f.
Par exemple, les fractions rationnelles sont des fonctions meromorphes
sur C, de meme que sin(z)/z
4
(z
5
12)(z
37
+iz
23
2), en revanche e
1/z
nest
pas meromorphe sur C. Il est evident par ailleurs que somme et produit de
fonctions meromorphes sont meromorphes. Noter quavec le lemme 5.3, une
fonction meromorphe na quun nombre ni de p oles sur chaque compact et
en particulier na localement (i.e. au voisinage de chaque point) quun nombre
ni de p oles. Noter aussi quune fonction meromorphe se developpe en serie
de Laurent au voisinage de chaque pole de f et dans ce developpement il ny a
quun nombre ni de puissances negatives en (z z
0
) (autrement dit le terme
singulier dans le developpement de Laurent est un polynome en 1/(z z
0
)).
5.3 La formule des residus
Denition 5.3 Soit U un ouvert non vide de C, f meromorphe sur U et z
0
un pole de f, on appelle residu de f en z
0
et lon note Res(f, z
0
) le coecient
a
1
de
1
zz
0
dans le developpement de Laurent de f en z
0
.
Il resulte du theor`eme de Laurent que pour r > 0 susamment petit
(pour que f soit holomorphe sur D

(z
0
, R) avec R > r) on a
Res(f, z
0
) =
1
2i
_

r
f(z)dz, (
r
(t) = z
0
+ re
it
, t [0, 2]).
Avant denoncer et detablir la formule des residus nous aurons besoin de
deux lemmes :
Lemme 5.4 Soit : [a, b] C ferme et C
1
par morceaux, dimage , n Z
et z
0
C \ alors on a
_

1
(z z
0
)
n
dz =
_
2iI

(z
0
) si n = 1
0 sinon.
Preuve:
Seul le cas n = 1 est `a considerer, mais dans ce cas on observe que
d
dz
_
1
(n + 1)
(z z
0
)
n+1
_
=
1
(z z
0
)
n
70
de sorte que
1
(zz
0
)
n
admet comme primitive sur C \ {z
0
} la fonction (holo-
morphe sur C \ {z
0
}),
1
(n+1)
(z z
0
)
n+1
, et donc (connexite de C \ {z
0
} et
theor`eme 4.3)
_

1
(z z
0
)
n
dz = 0
2
Lemme 5.5 Soit U un ouvert etoile non vide de C, f meromorphe sur U
et un chemin ferme C
1
par morceaux dans U, dont limage ne contient
aucun pole de f, alors
1. il existe V ouvert etoile tel que

V est compact,

V U et V ,
2. lensemble, P

(f), des poles z


0
de f tels que I

(z
0
) = 0 est ni.
Preuve:
1. Sans perte de generalite nous pouvons supposer que U est etoile par
rapport ` a 0. Posons tout dabord K := {z, [0, 1], z } il est facile
de voir que K est compact etoile, inclus dans U et contient . Comme K
est compact il existe > 0 tel que K + D(0, 2) U posons alors V :=
K + D(0, ), alors V est ouvert (cest la reunion des disques ouverts D(z, )
pour z parcourant K), V est etoile (si x V , x secrit x = z +h avec z K
et h D(0, 1) et donc pour t [0, 1], tx = tz + th K + D(0, )) et

V est
compact et

V K +

D(0, ) K + D(0, 2) U.
2. Tout point du complementaire de

V est dindice nul par rapport `a et
donc lensemble P

(f) est contenu dans lensemble des p oles de f appartenant


au compact

V lequel est ni en vertu du lemme 5.3.
2
Theor`eme 5.2 (formule des residus) Soit U un ouvert non vide etoile
de C, f meromorphe sur U, un chemin ferme C
1
par morceaux dans U,
dont limage ne contient aucun pole de f, alors on a
_

f(z)dz = 2i

z
0
P

(f)
Res(f, z
0
)I

(z
0
)
o` u P

(f) designe lensemble (ni) des poles de f dindice non nul par rapport
`a .
71
Preuve:
On commence par xer un ouvert etoile V veriant les conditions du lemme
5.5, notons alors F lensemble (ni) des p oles de f dans V . Pour z
0
F,
ecrivons le developpement en serie de Laurent en z
0
sous la forme
f(z) =

n0
a
n
(z
0
)(z z
0
)
n
+ g
z
0
(z)
o` u g
z
0
est la partie singuli`ere
g
z
0
(z) :=

n<0
a
n
(z
0
)(z z
0
)
n
notons que puisque z
0
est un pole, g
z
0
est une polynome en 1/(z z
0
) et donc
en particulier cest une fonction holomorphe sur C \ {z
0
}. La fonction
g(z) := f(z)

z
0
F
g
z
0
(z)
est holomorphe sur louvert etoile V son integrale le long de est donc nulle
i.e.
_

f(z)dz =

z
0
F
_

g
z
0
(z)dz
or pour z
0
F
_

g
z
0
(z)dz =
_

n<0
a
n
(z
0
)(z z
0
)
n
dz
cette somme est nie car z
0
est un p ole et en vertu du lemme 5.4 le seul
terme non nul correspond `a n = 1 de sorte que
_

g
z
0
(z)dz =
_

a
1
(z
0
)
1
(z z
0
)
dz = 2iRes(f, z
0
)I

(z
0
).
En sommant sur F on obtient donc bien la formule des residus.
2
Indiquons une mani`ere simple de calculer un residu :
Lemme 5.6 Soit U un ouvert non vide de C et f meromorphe sur U et z
0
un pole dodre k de f et g(z) := (z z
0
)
k
f(z) pour z U \ {z
0
} alors (en
notant encore g le prolongement holomorphe de g `a U on a
Res(f, z
0
) =
g
(k1)
(z
0
)
(k 1)!
en particulier si z
0
est un pole simple de f
Res(f, z
0
) = lim
zz
0
(z z
0
)f(z)
72
Preuve:
Ecrivons que
g(z) = (z z
0
)
k
f(z) = (z z
0
)
k
f
1
(z) + a
1
(z z
0
)
k1
+ .... + a
k
au voisinage de z avec f
1
holomorphe. Quand on derive (k 1) fois cette
expression et quon evalue le resultat en z = z
0
il ny a quun terme non nul :
g
(k1)
(z
0
) = a
1
(k 1)! = Res(f, z
0
)(k 1)!.
2
5.4 Exemples de calcul dintegrales par la for-
mule des residus
Fonctions trigonometriques
On souhaite calculer une integrale du type
I =
_
2
0
R(cos(t), sin(t))dt
o` u R est la fraction rationnelle
R(x, y) =
P(x, y)
Q(x, y)
dont nous supposons quelle na pas de p oles sur S
1
i.e. que Q ne sannule
pas sur le cercle unite S
1
(ainsi I est lintegrale dune fonction continue).
Evidemment on pose z = e
it
= (t), t [0, 2] ainsi
cos(t) =
1
2
(z +
1
z
), sin(t) =
1
2i
(z
1
z
), dz = ie
it
dt = izdt
de sorte que
I =
_

R
_
1
2
(z +
1
z
),
1
2i
(z
1
z
)
_
dz
iz
et pour la calculer, on peut appliquer la formule des residus ` a la fraction
rationnelle dune variable complexe
f(z) :=
1
iz
R
_
1
2
(z +
1
z
),
1
2i
(z
1
z
)
_
.
73
Appliquons cette methode au calcul de
I =
_
2
0
1
a + sin(t)
dt
avec a > 1. La fraction rationnelle f prend la forme
f(z) =
1
iz
1
a +
1
2i
(z z
1
)
=
2
z
2
+ 2iaz 1
=
2
(z z
0
)(z z
1
)
o` u les deux poles z
0
et z
1
sont
z
0
= i(a +

a
2
1), z
1
= i(a

a
2
1)
seul z
0
est `a linterieur du disque on a donc
I = 2iRes(z
0
, f)
et Res(z
0
, f) se lit directement sur la forme de f :
Res(z
0
, f) =
2
z
0
z
1
=
2
2i

a
2
1
et donc
I =
2

a
2
1
.
Cool, non ?
Fractions rationnelles
On souhaite maintenant calculer
I =
_
+
0
1
1 + t
6
dt = lim
R
1
2
_
R
R
1
1 + t
6
dt
On consid`ere la fonction meromorphe
f(z) =
1
P(z)
, P(z) = 1 + z
6
=
6

k=1
(z z
k
), z
k
= e
i(

6
+k

3
)
, k = 0, ..., 5
dont les poles sont z
k
, k = 0, ..., 5. Pour R > 1, le cercle de rayon R ne
contient aucun de ces p oles, soit alors
R
le chemin constitue par le demi
cercle de rayon R contenu dans le demi-plan superieur (parcouru dans le
sens direct) et le segment [R, R] comme sur la gure ci-dessous
74
on a alors
_

R
f(z)dz =
_
R
R
1
1 + t
6
dt +
_

0
iRe
it
1 + R
6
e
6it
dt
le second terme tend vers 0 quand R . Les p oles contenus dans le demi
disque sont z
0
= e
i/6
, z
1
= e
i/3
et z
2
= e
5I/6
et la formule des residus nous
donne
_

R
f(z)dz = 2i(Res(f, z
0
) + Res(f, z
1
) + Res(f, z
1
)).
Pour calculer Res(f, z
k
), on note dabord que
Res(f, z
k
) =
1

i=k
(z
k
z
i
)
,
or
P

(z) = 6z
5
, et P

(z
k
) =

i=k
(z
k
z
i
)
de sorte que
Res(f, z
k
) =
1
P

(z
k
)
=
1
6z
5
k
=
z
k
6
car z
6
k
= 1.
On a donc
_

R
f(z)dz =
i
3
(z
0
+ z
1
+ z
2
)
=
i
3
e
i

6
(1 + e
i

3
+ e
2i

3
)
=
i
3
e
i

6
e
i
1
e
i

3
1
=
2i
3
e
i

6
e
i

3
1
=
2i
3
1
e
i

6
e
i

6
=
2
3 sin(

6
)
=
2
3
75
et donc
I = lim
R
1
2
_
R
R
1
1 + t
6
dt = lim
R
1
2
_

R
f(z)dz =

3
.
Ca vous en bouche un coin, non?
76
Bibliographie
[1] H. Cartan Cours de calcul dierentiel, Hermann, Paris.
[2] H. Cartan Theorie elementaire des fonctions analytiques dune ou plu-
sieurs variables complexes, Hermann, Paris.
[3] W. Rudin Analyse reelle et complexe, Dunod, Paris.
77