UNIVERSITE DE VALENCIENNES

Licence 3 de Mathematiques
Fonctions dune variable complexe
par
Aziz El Kacimi

Cahier de cours et dexercices

f holomorphe sur louvert

un chemin ferme entourant z

1 f ()
f (z) = d
2i z
Formule de Cauchy

Annee universitaire 2013-2014

1
.

2
 AVANT-PROPOS

Ce cours sadresse aux etudiants de la troisieme annee de Licence de Mathematiques. Il

traite les elements fondamentaux de la theorie des fonctions dune variable complexe :
Construction algebrique du corps (C, +, ) des nombres complexes. Interpretation
geometrique : module, argument...Quelques applications.
Series entieres, rayon de convergence. Fonctions analytiques et quelques-unes de leurs
proprietes essentielles telles que la C -derivabilite, le prolongement analytique, leurs
zeros isoles...
Les diverses definitions de lholomorphie dune fonction f : U C (ou U est un
ouvert du plan complexe C).
Integration sur un chemin, tout ce qui tourne autour et beaucoup dapplications
auxquelles elle donne lieu.
Homotopie des chemins dans le plan. Ouverts simplement connexes (entre autres les
ouverts convexes, etoiles).
Formule de Cauchy, theoreme de Cauchy pour les fonctions holomorphes et les diverses
consequences quon en tire : analyticite dune fonction holomorphe...
Etude de lhomographie h(z) = az+b
cz+d (sous un aspect analytique et geometrique) sur
b = C {}.
la sphere de Riemann C
Le groupe H des homographies en lien avec SL(2, C) (groupe des matrices complexes
2 2 de deteminant 1).
La description explicite du groupe des automorphismes du disque unite ouvert et celui
du demi-plan superieur.
Etude des singularites isolees dune fonction holomorphe : singularite apparente, pole
ou singularite essentielle.
Theoreme des residus. Ses applications au calcul eectif des integrales de fonctions
dune variable reelle.
Une serie dexercices resolus et une autre dexercices en vrac sont proposes. (Ils sont
assez diversifies et pas forcement dans lordre des chapitres du cours.)

Novembre 2013
Aziz El Kacimi

3
.

4
 CHAPITRE 0
NOMBRES COMPLEXES

1. Laspect algebrique
La hierarchie numerique debute par les nombres entiers naturels qui comptent les elements
des ensembles finis. Leur ensemble, note N, est muni dune addition m + n et dune
multiplication mn. Le besoin de resoudre les equations du type x + m = n et mx = n
a amene a lelargir et a introduire lanneau des entiers relatifs (Z, +, ) et le corps des
nombres rationnels (Q, +, ). Les nombres reels sont arrives pour des besoins geometriques

ou autres (on pourrait a cet eet evoquer simplement le nombre 2 a partir du theoreme
de Pythagore). Ces derniers forment un corps (R, +, ) possedant beaucoup de proprietes
interessantes, entre autres la completude, fondamentale en analyse : toute suite de Cauchy
y converge.
Malgre toutes les belles proprietes du corps (R, +, ), un probleme se pose : on ne peut
pas y resoudre lequation x2 + 1 = 0. Il est donc necessaire de lagrandir en le plongeant
dans un corps commutatif K (le plus petit possible) dans lequel cela sera possible. Cest
lobjet de cette section.
1.1. Construction de K
Supposons que K est construit et quon y a trouve un element i (imaginaire, cest
pour cela quon le note ainsi) tel que i2 = 1 ; K devrait alors contenir tous les produits
iy = yi avec y R et par suite les elements de la forme x + iy ou x, y R. En plus,
le produit (x + iy)(x + iy ), calcule en utilisant les regles habituelles (commutativite,
associativite, distributivite), doit aussi rester de cette forme ; et cest le cas puisque :

(x + iy)(x + iy ) = x(x + iy ) + (iy)(x + iy )

= xx + xiy + iyx + iyiy
= (xx yy ) + i(xy + x y).

Cela nous suggere R2 comme ensemble sous-jacent a K ainsi que les operations daddition
et de multiplication a mettre dessus :

(0.1) (x, y) + (x , y ) = (x + x , y + y ) et (x, y)(x , y ) = (xx yy , xy + x y).

Il est bien connu que (R2 , +) est un groupe commutatif ; son element neutre est (0, 0) et le
symetrique de (x, y) etant son oppose (x, y). Des calculs faciles a mener montrent que la
multiplication quon vient de definir est commutative, associative, distributive par rapport

5
a laddition et quelle a (1, 0) comme element neutre. Montrons que tout element non nul
(x, y) a un inverse (x , y ) ; on doit avoir (x, y)(x , y ) = (xx yy , xy + x y) = (1, 0), ce
qui nous amene a la resolution du systeme lineaire (ou les inconnues sont les nombres reels
x et y ) : {
xx yy = 1
yx + xy = 0.
( )
1 x y
La resolution de ce systeme donne (x , y ) = (x, y) = x2 +y2 , x2 +y2 . Tout element
(x, y) = (0, 0) est donc inversible. Lensemble K = R2 muni des operations daddition et
de multiplication definies en (0.1) est donc un corps commutatif.
Nous allons plonger le corps des reels R dans le corps K quon vient de construire.
A cet eet, on considere lapplication j : R , K definie par j(x) = (x, 0). Il est evident
que j est injective et verifie, pour tous x, x R :

j(x + x ) = j(x) + j(x ) et j(xx ) = j(x)j(x )

autrement dit, j est un homomorphisme de corps injetif ; on peut alors voir R comme
un sous-corps de K. Le nombre reel x sera identifie a lelement (x, 0) ; on ecrira donc
(x, 0) = x tout simplement. Il est aussi facile de voir que (0, 1)2 = (1, 0) = 1 ; lelement
(0, 1), qui nest pas reel mais dont le carre vaut le reel 1 sera note i. Ainsi tout element
z = (x, y) de K secrira sous la forme :

(0.2) z = x + iy avec x, y R.

Cette representation est unique. En eet si z = x + iy = x + iy , on a x x = i(y y) ;

donc (x x )2 = (y y)2 , ce qui nest possible que si x = x et y = y .
Le nombre reel x est appele partie reelle de z qui est notee (z) ; y est sa partie
imaginaire et est notee (z). Un nombre complexe de la forme iy avec y R est dit
imaginaire pur.
K est le plus petit corps contenant R et dans lequel lequation x2 + 1 = 0 admet une
solution. On le note C et on lappelle le corps des nombres complexes.
1.2. Quelques proprietes et definitions
Lapplication de C dans lui-meme qui a tout z = x + iy associe le nombre complexe
z = x iy est appelee conjugaison ; on dira que z est le conjugue de z. Cette application
est une involution i.e. (z) = z ; et cest un automorphisme du corps (C, +, ), cest-a-dire
quon a :

(0.3) z + z = z + z et zz = z z .

6
 ( ) ( ) ( )
On en deduit alors (pour z = 0) z = z zz = z zz et donc zz = z
z
; autrement
dit, le conjugue dun quotient est le quotient des conjugues.
Soit z = x + iy un nombre complexe. Alors z = z si, et seulement si, z est reduit a sa
partie reelle x.
Un nombre complexe z est connu des quon a sa partie reelle x et sa partie imaginaire
y. Inversement, on peut donner x et y en fonction de z et z. En eet, on a le systeme :
{
x + iy = z
x iy = z.

Sa resolution immediate donne :

{ z+z
x= 2
(0.4) zz
y= 2i .

Tel quon a construit C, cest un espace vectoriel sur R de dimension 2 (par exemple
(1, i) en est une base ; cest la plus utilisee). Soient z = x + iy et z = x + iy deux nombres
complexes. On a :
zz = (xx + yy ) i(xy yx ).

La partie reelle de ce nombre definit une forme R-bilineaire symetrique , : C C R

par z, z = xx + yy ; comme z, z = zz = x2 + y 2 > 0 pour tout z non nul, cette forme
est definie positive, cest donc un produit scalaire sur le R-espace vectoriel C. Il donne
alors lieu a une norme :

(0.5) |z| = zz = x2 + y 2 .

Le nombre reel positif ou nul |z| est appele module du nombre complexe z = x + iy. Les
principales proprietes du module sont :
z |z|  
  |z| |z | |z + z | |z| + |z |.
(0.6) |zz | = |z| |z |,   = et
z |z |

Evidemment, lorsque z est reel, son module nest rien dautre que sa valeur absolue |z|
quon connat habituellement. On a en particulier |1| = 1 et |i| = 1. Comme en plus
1, i = 0, la base {1, i} du R-espace vectoriel C est en fait orthonormee.

2. Laspect geometrique
Nous avons vu la representation algebrique des nombres complexes z = x + iy qui fait de
C un espace vectoriel sur R de dimension 2. Il y a donc une identification canonique entre
R2 et C par lapplication (x, y) R2 7 x + iy = z C.

7
 Deux groupes sont en jeu : le groupe additif (C, +) et le groupe multiplicatif (C , ).
Nous allons les interpreter geometriquement.
2.1. Le groupe additif (C, +)
Soit z = x + iy un nombre complexe. La transformation z : u C 7 u + z C
secrit en coordonnees cartesiennes z (, ) = (+x, +y) ; elle correspond a la translation
par le vecteur z = (x, y). Nous avons donc une application :
: z C 7 z T
ou T est le groupe des translations du R-espace vectoriel C. Un calcul assez facile montre
que est une bijection verifiant z+z = z z , autrement dit, est un isomorphisme du
groupe additif (C, +) sur le groupe (T , ) ou est la composition des applications.
2.2. Le groupe multiplicatif (C, ) ou (C, )
Nous avons vu que la partie reelle de lapplication (z, z ) 7 zz definit un produit
scalaire , sur le R-espace vectoriel C par z, z = xx + yy . On peut donc parler
de similitude lineaire directe (directe signifie quelle preserve lorientation donnee par
exemple par la base (1, i)). La matrice Z dune telle application par rapport a la base
orthonormee (1, i) a la forme :
( )
x y
(0.7) Z=
y x

ou x et y sont des nombres reels non simultanement nuls. Si :

( ) ( )
x y x y
Z= et Z =
y x y x

sont deux matrices de ce type, leur produit (calcul facile a mener) est encore de ce type :
( ) ( ) ( )
x y x y xx yy (xy + x y)
(0.8) Z Z = = .
y x y x xy + x y xx yy
( )
1 0
Bien evidemment, la matrice identite I = en fait partie ainsi que linverse de
0 1
( ) ( x y )
x y 1 x2 +y 2 x2 +y 2
Z = qui est Z = y x . Lensemble des matrices de la forme
y x x2 +y 2 x2 +y 2
(0.7) avec x2 + y 2 = 0 muni de la multiplication habituelle est un groupe commutatif
(facile a voir sur le produit (0.8)). Il est isomorphe au groupe (Sim+ 0 (C), ) des similitudes
lineaires directes de lespace euclidien (C, , ).
Comme en plus lensemble H de toutes les matrices de la forme (0.7) (sans imposer
cette fois-ci la condition x2 +y 2 = 0) est un groupe pour laddition habituelle (des matrices),

8
(H, +, ) est en fait un corps commutatif canoniquement isomorphe au corps (C, +, ) via
lapplication :

( )
x y
(0.9) z = x + iy C 7 H.
y x

En conclusion, le groupe (C, +) est isomorphe au groupe des translations (T , ) :

quand on rajoute un nombre complexe z = x + iy a u = + i, on translate le point (, )
par (x, y).

Le groupe multiplicatif (C, ) est isomorphe a (H , ) (ou H est lensemble des matrices
non nulles de la (forme (0.7))
) : multiplier w = a + ib par z = x + iy revient a appliquer a
x y
(a, b) la matrice .
y x
(Nous venons
) donc didentifier un nombre complexe non nul z = x + iy a la matrice
x y
Z= . Mais cette derniere peut secrire sous la forme :
y x
( )
2x 2 y 2 2
x +y x +y
Z = x2 + y 2 y x .
2 2 x +y2 2 x +y

Cest la matrice de la similitude centree a lorigine de rapport r = x2 + y 2 = |z| et
dangle tel que cos = 2x 2 et sin = 2y 2 . On a donc :
x +y x +y
( )
cos sin
Z=r .
sin cos
Le nombre complexe correspondant secrit alors z = r(cos + i sin ). Langle (defini
a un multiple entier de 2 pres) est appele argument de z et se note Arg(z). Le nombre
compexe non nul z est donc entierement determine par son module r et son argument ;
on lecrit z = [r, ]. Un calcul immediat montre que zz = [r, ] [r , ] = [rr , + ].
Lapplication : (r, ) R+ R 7 [r, ] = z C est donc un homomorphisme de
groupes ; il est surjectif mais pas injectif, son noyau est {1} 2Z. Comme le quotient
R/2Z nest rien dautre que le groupe SO(2) des rotations de centre lorigine (cest aussi
le groupe des angles de sommet lorigine), induit un isomorphisme de groupes :

(0.10) : R+ SO(2) C .

La similitude Z appliquee au point A = 1 = (1, 0) donne le point M = x + iy tel

que OM = r et (OA, OM ) = (modulo 2) (voir le dessin ci-dessous).

9
 3. Proprietes et calculs
On connat tres bien les regles de calcul sur les nombres reels. Elles sont un peu plus
riches sur le corps des complexes car, en plus de leur aspect algebrique, elles y melent de
la geometrie, principalement par lusage quelles font des rotations.
3.1. Formule de Moivre
On vient de voir quun nombre complexe non nul z = x + iy secrit aussi sous la forme
trigonometrique :

(0.11) z = r(cos + i sin )

ou r = x2 + y 2 est son module et son argument. On a aussi vu quon utilise lecriture
z = [r, ] et que :
[ ]
[r, ] [r , ] = rr , +

pour tout z = x + iy et tout z = x + iy (tous deux non nuls). Comme 1 = [1, 0], cette
formule implique :
z [r, ] [r ]

= = , .
z [r , ] r
On a donc, pour tout entier relatif n : z n = [rn , n]. Mise sous forme trigonometrique,
cette egalite secrit, pour r = 1 :

(0.12) (cos + i sin )n = cos(n) + i sin(n).

Cest la formule de Moivre.

3.2. Racine dun nombre complexe
On sait que le corps (C, +, ) a ete fabrique afin de repondre au besoin de la resolution
de lequation du second degre z 2 +1 = 0 ; celle-ci a deux solutions z0 = i et z1 = i. Quen

10
est-il de lequation z n = a ou a est un nombre complexe non nul quelconque et n un entier
tel que n 2 ? Posons z = [r, ] et a = [, ]. Lequation devient alors [rn , n] = [, ] ;
ce qui est equivalent au systeme :

rn = et n = + 2k avec kZ

dont la resolution donne :

1 k
r = n et = + 2 avec k Z.
n n
Lequation z n = a a donc les n solutions listees ci-dessous :
[ 1 ] [ 1 + 2 ] [ 1 + (n 1)2 ]
z0 = n , , z1 = n , , , zn1 = n , .
n n n
[ ]
En particulier, si a = 1, on obtient les racines nemes de lunite zk = 1, 2k n ou k varie
dans {0, 1, , n 1}. On peut les representer geometriquement sur le cercle unite par les
sommets dun polygone regulier a n cotes dont lun deux est z0 = 1 (voir dessin ci-dessous
pour n = 6).

Dans (C, +, ), lequation du second degre x2 + 1 = 0 a deux solutions i et i. Quen

est-il pour az 2 + bz + c = 0 (a, b et c etant des complexes avec, bien sur, a = 0) ? En la
mettant sous la forme : {( )2 }
b b2 4ac
a z+ =0
2a 4a2

on voit tout de suite que le probleme se ramene au calul des racines carrees du nombre
2
4ac
complexe b 4a 2 ; et ca on sait le faire bien entendu.
Le cas le plus ardu est celui de lequation P (z) = 0 ou P est un polynome de degre
n a coecients complexes. On sait montrer quelle admet une solution : cest le theoreme
fondamental de lalgebre dont on peut trouver deux demonstrations dierentes tout a la

11
fin de ce texte (chapitre Complement). On dit que le corps (C, +, ) est algebriquement
clos. Mais on ne sait pas toujours trouver explicitement les solutions !
3.3. Quelques applications
La formule de Moivre (0.12) est une belle invention ; elle permet, entre pas mal
dautres choses, de simplifier certains calculs en trigonometrie. Voyons quelques exemples.
Prenons n = 2. Alors (cos + i sin )2 = cos(2) + i sin(2). En developpant le terme
de gauche et en identifiant les parties reelles et imaginaires, on obtient les formules bien
connues :
cos(2) = (cos )2 (sin )2 et sin(2) = 2 cos sin .

Prenons n = 3. Alors (cos +i sin )3 = cos(3)+i sin(3). De meme, en developpant

le terme de gauche et en identifiant les parties reelles et imaginaires, on obtient les formules
bien connues :

cos(3) = 4(cos )3 3(cos ) et sin(3) = 3 sin 4(sin )3 .

En prenant n = 4, on obtient :

cos(4) = (cos )4 6(cos )2 (sin )2 + (sin )4

et
( )
sin(4) = 4 (cos )3 sin cos (sin )3 .

Ces methodes sont aussi ecaces pour lineariser certaines expressions sous forme
de puissances de cos et sin ; cela permet de faciliter la recherche de primitives et par
suite le calcul dun certain type dintegrales. Sans trop insister la-dessus, nous donnons
juste le cas de :

cos(2) + 1 3 sin sin(3)

(cos )2 = et (sin )3 =
2 4
dont les primitives respectives sont :

sin(2) + 2 cos(3) 9 cos

+ constante et + constante.
4 12
( ) ( 2 )
Une application qui donne une remarque en geometrie. Soit w = cos 2 n +i sin n
la premiere racine neme de 1. Comme (1 + w + w2 + + wn1 )(w 1) = wn 1 = 0
et que w = 1, on a 1 + w + + wn1 = 0 qui se traduit geometriquement par (cf. dessin
ci-dessous pour n = 8) :

n1

OAk = 0 .
k=0

12
 Cette relation en elle-meme nest pas etonnante : elle dit simplement que le point O est
lisobarycentre des sommets du polygone regulier A0 A1 An2 An1 comme on pouvait
sy attendre. Si on prend par exemple w = j (racine cubique de lunite), la relation
1 + j + j 2 = 0 est dune grande utilite (voir exercice 5).

13
 EXERCICES RESOLUS

Exercice 1
Resoudre lequation du seconde degre az 2 + bz + c = 0 ou a = 0, b et c sont des nombres
complexes.
Solution
{( ) }
b 2 b2 4ac
On met le polynome P (z) = az 2 + bz + c sous sa forme canonique a z+ 2a 4a2 .
On voit apparatre lexpression = b2 4ac quon appelle discriminant du polynome P .
Il existe alors un nombre complexe tel que 2 = (il y en a un autre qui est ). Dou
la forme factorisee :
( )2 ( )2 ( )( )
b b+ b
P (z) = z + = z+ z+ .
2a 2a 2a 2a

Ce qui nous donne les deux solutions z1 = b+ b

2a et z2 = 2a . Reste evidemment le calcul
de qui nest pas si immediat que cela. Il y a deux facons de le faire.
Si se presente sous la forme rei de facon expicite (on reconnat bien r et ), alors

on a bien entendu = rei 2 .
Sinon, on procede de facon artisanale. On pose = x + iy et on cherche x et y de
telle sorte que (x + iy)2 = + i ou = + i. Ce qui nous donne le systeme :
{
x2 y 2 =
2xy =

2 + 2 + 2 + 2
dont des solutions sont x = 2 et y = 2 .
Exercice 2
Resoudre lequation z 6 + z 3 2 = 0.
Solution
On pose u = z 3 et on recupere alors lequation du second degre u2 + u 2 = 0. Celle-ci a
comme racines evidentes u1 = 1 et u2 = 2. Lequation de depart z 6 + z 3 2 = 0 a donc
pour solutions :
2i 2i i i
z1 = 1, z2 = e 3 , z3 = e 3 , z4 = 2, z5 = 2e 3 , z6 = 2e 3 .

Exercice 3

n
Soient a R et n N . Donner une expression plus simple de : A = ak cos(k).
k=0
Expliciter le cas particulier ou a = 1.

14
 Solution

n
Comme eik = cos(k) + i sin(k) (formule de Moivre), la somme A = ak cos(k) est la
k=0

n
1an+1 ei(n+1)
partie reelle de ak eik qui elle vaut 1aei
. Pour le calcul eectif, on multiplie
k=0
le numerateur et le denominateur par lexpression 1 aei . On obtient alors :

n
(1 an+1 ei(n+1) )(1 aei )
ak eik =
(1 aei )(1 aei )
k=0
1 aei an+1 ei(n+1) + an+2 ein
=
1 2a cos + a2
1 a cos an+1 cos(n + 1) + an+2 cos n
= + iB
1 2a cos + a2
n
ou B est la partie imaginaire de lexpression k=0 ak eik . Finalement :
1 a cos an+1 cos(n + 1) + an+2 cos n
A= .
1 2a cos + a2
Si on fait a = 1 dans cette expression, on a :
1 cos {cos(n + 1) cos n}
A=
2(1 cos )

( )
2 sin2
2 + 2 sin n + 21 sin 2
=
4 sin2
2

( )
sin 2 + sin n + 12
=
2 sin 2

sin (n+1)
2 cos n
2
= .
sin 2

Exercice 4
Soient A, M et P trois points du plan complexe C ayant respectivement pour axes 1,
z = 1 et z 2 . Pour quelles valeurs de z, le triangle AM P est-il rectangle et isocele en A ?
Solution
Dire que le triangle AM P est rectangle et isocele en A, cest dire que langle geometrique
\
M AP est droit et que les cotes AM et AP sont egaux. Cela se traduit comme suit :
( ) ( )

AM , AP = ou AM , AP = et ||AM || = ||AP ||.
2 2

15
En termes daxes :
{ ( 2 ) ( 2 ) }
z 1 z 1
Arg = ou Arg = et |z 2 1| = |z 1|.
z1 2 z1 2

Ou encore : { }
Arg(z + 1) = ou Arg(z + 1) = et |z + 1| = 1.
2 2
Ceci nous dit que M doit se trouver sur la droite dequation x = 1 et sur le cercle de
centre le point daxe 1 et de rayon 1 (voir le dessin ci-dessous). Il y a donc deux
solutions : le point M1 daxe z1 = 1 i et le point M2 daxe z2 = 1 + i ; les points
P1 et P2 qui leur sont associes ont respectivement pour axes z12 = 2i et z22 = 2i.

Exercice 5
Soient a, b et c trois nombres complexes. Montrer que le triangle abc est equilateral si, et
seulement si, a, b et c verifient a + jb + j 2 c = 0 ou a + j 2 b + jc = 0.
Solution
Remarquons tout dabord que, pour toute similitude (qui secrit (z) = z + si elle
est directe et (z) = z + sinon), le triangle abc est equilateral si, et seulement si,
(a)(b)(c) lest. Dautre part, comme 1 + j + j 2 = 0, un calcul simple montre :

a + jb + j 2 c = 0 (a) + j(b) + j 2 (c) = 0 si est directe

et
a + jb + j 2 c = 0 (a) + j 2 (b) + j(c) = 0 si est indirecte.

Si a = b = c, les relations a + jb + j 2 c = 0 et a + j 2 b + jc = 0 sont evidentes puisque

1 + j + j 2 = 0. Reciproquement, si on a a la fois a + jb + j 2 c = 0 et a + j 2 b + jc = 0, un
calcul simple amene alors a a = b = c et le triangle abc est donc trivialement equilateral.

16
 Desormais, abc sera non reduit a un point.
Supposons abc equilateral et notons le centre de son cercle circonscrit. Alors la
similitude (z) = az
envoie a sur a = 1 et b et c respectivement sur b = j et c = j 2 ou
b = j 2 et c = j (car le triangle a b c doit etre equilateral).
Si b = j et c = j 2 , on a :

a + jb + j 2 c = 1 + j 2 + j = 0

et donc a + jb + j 2 c = 0 ; si b = j 2 et c = j, on a :

a + j 2 b + jc = 1 + j + j 2 = 0

et donc a + j 2 b + jc = 0. Ceci demontre limplication directe.

On suppose a + jb + j 2 c = 0 et a + j 2 b + jc = 0. (Le probleme se traite de la meme
facon en partant de lhypothese a + j 2 b + jc = 0 et a + jb + j 2 c = 0. Le cas a + jb + j 2 c = 0
et a + j 2 b + jc = 0 a deja ete considere.) Il est alors clair que b = c. Et tout cela interdit
2 de b et c car sinon les deux egalites a = (jb + j c) et 2a = b + c
a a detre le milieu b+c 2

entraineraient b = c, ce qui nest pas le cas comme on vient de le voir ! On en deduit que
le centre du cercle circonscrit a abc est distinct de a.
On va montrer que le triangle abc est equilateral. A cet eet on utilise la similitude
z
(z) = a ; elle envoie a sur a = 1 et b et c respectivement sur b et c , tous les deux sur
le cercle unite. On aura alors 1 + jb + j 2 c = 0. Un examen attentif du dessin ci-dessous
montre que cette derniere relation na lieu que si :
( ) ( ) ( ) ( )
2 2 4 4
b = cos + i sin = j et c = cos + i sin = j2
3 3 3 3
i.e. le triangle a b c est equilateral, donc abc lest aussi.

Certes, on peut se passer de lutilisation des similitudes et faire le calcul directement,

mais on perd la geometrie (quon vient de voir) liee a la regularite de la repartition des
nombres 1, j et j 2 sur le cercle unite !

17
.

18
 CHAPITRE I
`
SERIES ENTIERES

1. Rappels sur les series numeriques

On se donne une suite (xn )nN de nombres complexes. Pour tout entier naturel n N, on
pose Sn = x0 + + xn ; on obtient ainsi une nouvelle suite (Sn ). Si (Sn ) converge, on
dit que la serie de terme general xn converge ; la limite S de (Sn ) est la somme de la serie

(les quantites Sn sont appelees sommes partielles) ; on ecrit S = xn . Sinon, on dira
n=1
que la serie est divergente. Dorenavant la notation (xn ) designera indieremment la suite
xn ou la serie quelle definit. Etudier la nature dune serie, cest etudier sa convergence ou
sa divergence.
On dira quune serie (xn ) est absolument convergente si la serie reelle a termes positifs
(|xn |) est convergente. Toute serie absolument convergente est convergente ; dans ce cas,
on a :  
 
 
 xn  |xn |.
 
n=1 n=1

La reciproque de cette implication est en general fausse (cf. Exercice 7).

Y a-t-il des criteres qui permettent de decider de la convergence dune serie ? Oui,
bien sur ! Dabord, comme etudier une serie revient en fait a etudier une suite, il y a le :
1.1. Critere de Cauchy. Il est lie a la completude du corps C des nombres complexes et
illustre par lequivalence des assertions qui suivent :
i) la serie de terme general xn converge ;
ii) la suite Sn = x0 + + xn converge (par definition) ;
iii) la suite (Sn ) est de Cauchy i.e. pour tout > 0, il existe N N tel que, pour tous
n, m N on ait : n > m N = |Sn Sm | = |xm+1 + + xn | < .
Lorsque tous les termes xn sont des reels positifs, on dispose de pas mal de criteres
de convergence. Donnons-en quelques-uns. (Comme les termes nuls ne modifient en rien
la nature de la serie, on supposera que tous les xn sont strictement positifs.)
1.2. Sommes partielles bornees. Supposons que les sommes partielles Sn = x0 + + xn
soient bornees par une constante M > 0 independante de n. Alors la suite (Sn ) est
croissante majoree par M , donc convergente i.e. la serie (xn ) est convergente.
1.3. Critere de comparaison. On considere deux series (xn ) et (yn ). On suppose quil
existe n0 N tel que, pour tout n n0 , on ait xn yn . Si la serie (yn ) converge, il en

19
est de meme pour la serie (xn ) ; si la serie (xn ) diverge, il en est de meme pour la serie
(yn ). Pour montrer la convergence (resp. la divergence) dune serie a termes positifs, il
sut donc de la majorer (resp. la minorer) par une serie qui converge (resp. qui diverge).
xn+1
1.4. Regle de dAlembert. On suppose que la suite converge vers une limite . Si
xn
< 1, la serie converge ; si > 1, la serie diverge. On ne peut rien dire en general lorsque
= 1. Mais il est possible que cette limite nexiste pas ; dans ce cas on peut utiliser
uniquement le rapport xxn+1 n
:
Sil existe ]0, 1[ tel que xxn+1
n
pour n susamment grand, la serie converge.
xn+1
Si xn 1 pour n susamment grand, la serie diverge.
1
1.5. Regle de Cauchy. On suppose que la suite (xn ) n converge vers une limite . Si < 1,
la serie (xn ) converge ; si > 1, elle diverge. On ne peut rien dire en general lorsque = 1.
Comme precedemment, il est possible que cette limite nexiste pas ; dans ce cas on peut
1
utiliser uniquement la suite (xn ) n :
1
Sil existe ]0, 1[ tel que (xn ) n pour n susamment grand, la serie converge.
1
Si (xn ) n 1 pour n susamment grand, la serie diverge.
Utiliser ce critere pour etudier la convergence ou la divergence de la serie de terme
( )n2
general xn = 1 + n .
1.6. Comparaison a une integrale. Petit rappel dabord. Soit f : [1, +[ R+ une
t
fonction, continue (pour simplifier). Pour tout t [1, +[, on pose F (t) = 1 f ()d. La
fonction F : [1, +[ R+ ainsi definie est croissante. Si la limite de F existe lorsque t
+
tend vers +, on dit que lintegrale 1 f (t)dt est convergente.
Soit f : [1, +[ R+ une fonction continue et decroissante. Alors la serie de terme
+
general xn = f (n) (n 1) est convergente si, et seulement si, lintegrale 1 f (t)dt est
convergente.
1.7. Operations sur les series
On se donne deux series (xn ) et (yn ) de nombres complexes. On definit la somme des
deux comme etant (xn + yn ) et leur produit sera la serie de terme general :

n
wn = xk ynk .
k=0

Alors :
i) si (xn ) et (yn ) sont convergentes, (xn + yn ) est aussi convergente et :

(xn + yn ) = xn + yn .
n=0 n=0 n=0

20
 ii) si (xn ) et (yn ) sont absolument convergentes, (wn ) est aussi absolument convergente
et :

( ) ( )

wn = xn yn .
n=0 n=0 n=0

1.8. Quelques exercices

1. Soit a un nombre reel non nul. Etudier, en fonction de a, la nature de la serie de
terme general xn = an dite serie geometrique de raison a.
2. Montrer que la serie de terme general xn = 1
n pour n 1 (dite serie harmonique)
est divergente. (On utilisera le critere de Cauchy.)
3. Soit un nombre reel strictement positif. On appelle serie de Riemann la serie
numerique de terme general xn = n1 . Etudier, en fonction de , la nature de cette serie.
(On utilisera le critere de comparaison a une integrale convenable.)
4. Soient (xn ) et (yn ) deux series a termes strictement positifs. Pour tout n N, on

pose zn = xn yn . Montrer que si (xn ) et (yn ) sont convergentes, il en est de meme pour
la serie (zn ).
5. Etudier la nature des series dont les termes generaux respectifs sont les suivants
(pour n 1) :

n sin2 n 1 n2 + 1
xn = (1) , yn = , zn = 2 et tn = .
n2 n n+1 n5 1

6. Montrer que les series numeriques :

1 2
xn = et yn =
n(n + 1) (n 1)n(n + 1)

sont convergentes et calculer leurs sommes respectives.

Series reelles alternees
On dira quune serie reelle (xn ) est alternee si elle secrit xn = (1)n un ou un > 0 pour
tout n N. Soit (xn ) une telle serie. Supposons que la suite un tend en decroissant vers
0 ; alors la serie (xn ) converge.
(1)n+1
7. Soit (xn ) la serie de terme general xn = n .
a) Dire pourquoi cette serie est convergente mais non absolument convergente.
b) Appliquer convenablement la formule de Mac-Laurin a la fonction f (x) = Log(1 + x)
pour calculer la somme de cette serie.
1
c) On considere maintenant la serie de terme general yn = 2n+1 2(2n+1)
1
2(2n+2)
1
.
Montrer quelle converge et calculer sa limite. Conclusion ?

21
 1 1 xn+1 yn+1
8. On considere les series xn = n et yn = n2 . Calculer lim et lim .
n+ xn n+ yn
Que peut-on conclure ?
9. Soit (xn ) une suite a termes strictement positifs. On suppose que pour un reel
p 1, la serie (xpn ) converge. Montrer que, pour tout reel q tel que q p, la serie (xqn )
converge.
2. Series entieres
Soit (an )n0 une suite de nombres complexes. Pour tout z C et tout N N, on pose :

N
(I.1) SN (z) = an z n
n=0

On definit ainsi une fonction SN : z C 7 SN (z) C. On se pose une question toute

naturelle : pour quelles valeurs de z la limite (quand N tend vers +) de la quantite
SN (z) existe-t-elle ? La proposition qui suit est facile a demontrer :

2.1. Proposition. Sil existe r ]0, +[ tel que la serie numerique n=0 |an |r converge,
n

alors la serie n=0 an z n converge uniformement sur le disque ferme {z C : |z| }
pour tout < r.
Si tel est le cas, on a donc une fonction f bien definie sur le disque {z C : |z| < r}

par f (z) = n=0 an z n .

On appelle rayon de convergence de la serie n=0 an z n le plus grand nombre reel
positif R (fini ou egal a +) tel que la serie converge pour |z| < R. Ce nombre peut etre
nul, strictement positif ou egal a + comme on le verra sur les exemples qui vont suivre.
On suppose les coecients an tous non nuls. Le rayon de convergence R de la serie
est alors donnee par lune des formules qui suivent.

1 1
(I.2) = lim sup |an | n (Formule de Hadamard)
R n

|an |
(I.3) R = lim (Formule de dAlembert)
n |an+1 |

Le lemme qui suit est tres utile dans letude de la convergence des series entieres.

2.2. Lemme dAbel. Soit n=0 an xn une serie ou les an sont reels positifs et les xn des
nombres complexes. On suppose :
i) que la suite (an ) est decroissante et tend vers 0 ;
n
ii) quil existe une constante M > 0 telle que | k=0 xk | M pour tout n 0.

Alors la serie n=0 an xn converge.

22
 Il permet, entre autres, detablir la proposition qui suit.

2.3. Proposition. Soit n=0 an z n une serie entiere de rayon de convergence R.
n
i) pour tout r < R, la serie n=0 an z converge uniformement sur le disque ferme
D(0, r).

ii) pour tout r > R, la serie n=0 an z n diverge.
On dira que D(0, R) est le disque de convergence de la serie.
Tout peut se produire sur le cercle |z| = R. On donnera des exemples sur lesquels on
peut voir dierentes situations.
2.4. Exemples
n
La serie n=0 zn! a un rayon de convergence R = +. La serie n=0 (n!)z n a un
rayon de convergence R = 0 : elle ne converge que pour z0 = 0.
n n
Les series n=0 z n , n=0 zn et n=0 zn2 ont un rayon de convergence R = 1. La
dierence est notable au niveau de la convergence sur le cercle unite {z C : |z| = 1} :
la premiere y diverge, la deuxieme y converge sauf en z = 1 et la troisieme y converge en
tout point ! (Le lecteur est prie de justifier toutes ces armations.)
2.5. Exercice

Soit f (x) = n=0 an xn une serie entiere reelle dintervalle de convergence ] R, R[
avec R > 0. Montrer que, pour s N , la serie derivee seme de f :


f (s) (x) = n(n 1) (n s + 1)an xns
n=s

a aussi pour intervalle de convergence ] R, R[.

2.6. Rayon de convergence dune somme et dun produit

Une serie entiere secrit n=0 an z n ; elle est donc donnee par la suite (an ) de nombres
complexes (an ). On en parlera toujours en se referant a cette suite.
Soient (an ) et (bn ) deux series entieres. Leur somme est la serie entiere de coecient
general (an + bn ) et leur produit (de Cauchy) a pour coecient general :

n
cn = ak bnk .
k=0

Notons R1 et R2 les rayons de convergence respectivement de (an ) et (bn ).

Supposons R1 = R2 . On verifie facilement (on laisse ca au lecteur) que la serie
somme (an + bn ) a pour rayon de convergence R = min(R1 , R2 ).
Si R1 = R2 le rayon de convergence R de la somme est R R1 . Il peut etre egal
a R1 = R2 . Mais il peut etre aussi strictement plus grand ; par exemple si (an ) a pour

23
rayon R1 ]0, +[ et si on prend bn = an , la serie (an + bn ) (dont tous les termes sont
nuls) a evidemment R = + pour rayon de convergence.
La serie produit (cn ) a un rayon de convergence R qui est plus grand ou egal a
min(R1 , R2 ). Il peut etre strictement plus grand comme le montre lexemple an = 1 pour
tout n et pour (bn ) on prend b0 = 1, b1 = 1 et bn = 0 pour n 2. On voit tout de suite
que (an ) a R1 = 1 pour rayon de convergence, (bn ) a R2 = + pour rayon de convergence.
Dautre part, un calcul immediat donne c0 = 1 et cn = 0 pour n 1. Donc la serie (cn ) a
pour rayon de convergence R = +.
3. Exponentielle et logarithme complexes
n
Nous avons vu que la serie n=0 zn! a un rayon de convergence R = +. Pour tout z C
n
la quantite n=0 zn! existe donc ; elle sera notee ez . On a alors une fonction bien definie
z C 7 ez C appelee exponentielle complexe. Comme la serie converge uniformement
sur tout disque ferme D(0, r), cette fonction est continue. En fait on a plus :
3.1. Proposition. La fonction exponentielle verifie les proprietes suivantes.

i) Pour tous z, z C on a ez+z = ez ez .
ii) Lexponentielle est un morphisme du groupe additif (C, +) dans le groupe multiplicatif
(C , ).
Demonstration. i) Pour tout n N, on pose :

n
z k z nk
wn = .
k!(n k)!
k=0

(z+z )n
Un calcul utilisant la formule du binome de Newton montre que wn = . Dapres
n
n!
1.7.ii) la serie n=0 (z+z
n!
)
converge et on a :

(
) (
)
(z + z )n zn z n
ez+z = = = ez ez .
n=0
n! n=0
n! n=0
n!
n
ii) Comme ez = n=0 zn! , on a e0 = 1. Soit z C ; alors ez+(z) = ez ez = 1 et
donc ez C . Le fait que lexponentielle soit un morphisme de (C, +) dans (C , ) est
donne par le point i). Nous verrons par la suite quil est surjectif mais non injectif (et on
determinera son noyau).
De cette proposition il decoule que ez = ex+iy = ex eiy . On connat assez bien
lexponentielle ex (x est reel). Decortiquons eiy . On a :

(
)
( )
(iy)n y 2p y 2p+1
iy
e = = (1)p +i (1)p = cos y + i sin y.
n=0
n! p=0
(2p)! p=0
(2p + 1)!

24
Dou ez = ex (cos y + i sin y) ; par suite le module de ez est ex et son argument Arg(z) est
y (modulo 2).
3.2. Autres fonctions
Lexponentielle complexe permet de definir dautres fonctions generalisant celles que
lon connat habituellement dans le domaine reel.
Fonctions trigonometriques circulaires. Pour tout z C on pose :

eiz + eiz eiz eiz

cos(z) = et sin(z) = .
2 2i
Mais aussi :
sin(z)
tg(z) = pour z C \ { 2k+1
2 : k Z}
cos(z)
et :
cos(z)
cotg(z) = pour z C \ {k : k Z}.
sin(z)

Fonctions trigonometriques hyperboliques. Pour tout z C on pose :

ez + ez ez ez
ch(z) = et sh(z) = .
2 2
Mais aussi :
sh(z)
th(z) = pour z C \ { 2k+1
2 i : k Z}
ch(z)
et :
ch(z)
coth(z) = pour z C \ {ki : k Z}.
sh(z)
Les quatre fonctions cos, sin, ch et sh ont comme developpement en serie entiere :

2p 2p+1
p z p z
cos(z) = (1) sin(z) = (1)
p=0
(2p)! p=0
(2p + 1)!

z 2p z 2p+1
ch(z) = sh(z) =
p=0
(2p)! p=0
(2p + 1)!

chacune delles ayant un rayon de convergence infini.

3.3. Logarithme complexe
Dans le cas reel la fonction exponentielle x R 7 ex R realise une bijection de R
sur R+ . En fait, cest un isomorphisme du groupe additif (R, +) sur le groupe multiplicatif
(R+ , ). La fonction reciproque est bien connue : cest le logarithme t R+ 7 ln(t) R.
La situation est dierente pour le cas complexe : certes lexponentielle z C 7 ez C

25
est surjective mais elle nest pas injective, ce qui pose un probleme pour definir sa fonction
reciproque. Il y en aura beaucoup ; on dira alors que cest une fonction multiforme. Pour
en avoir une il faut se restreindre a des ouverts du plan complexe C.
Pour tout z = x + iy on a bien sur ez = ex+iy = ex eiy . Cette fonction envoie la
droite dequation y = ( R) sur la demi-droite privee de lorigine faisant un angle
(modulo 2) avec laxe Ox (cf. le dessin qui suit). On voit alors que f realise une bijection
de louvert U = R], + 2[ sur louvert = C \ .

Une determination de la fonction logarithme complexe devrait etre bien sur de la forme
g(w) = ln |w| + iArg(w) pour quelle verifie eg(w) = w. La determination principale est
donnee lorsquon prend = : g0 (w) = ln |w|+iArg(w) sur louvert C\{y = 0 et x 0}.
Toute autre determination est de la forme gk = g0 + 2ik avec k Z.
4. Fonctions analytiques
4.1. Variable reelle
Soient I un intervalle ouvert de R et f : I C une fonction. On dira que f est
analytique reelle si tout point x0 I possede un voisinage ouvert ]x0 , x0 + [ I sur


lequel la fonction f secrit sous forme dune serie entiere f (x) = an (x x0 )n ou (an )
n=0
est une suite de nombres complexes. Pour 0 < < , la serie converge uniformement sur
[x0 , x0 + ] et donc f est continue. Plus meme : dapres lexercice 2.5, pour tout s N

la serie seme (s)
derivee f (z) = n(n 1) (n s + 1)an z ns converge uniformement
n=s
sur [x0 , x0 + ]. La fonction f est donc de classe C .
Par exemple, parmi les fonctions usuelles, toutes celles qui suivent sont analytiques la
ou elles sont definies :

Une fonction polynome P (x) = a0 + a1 x + + an xn

26
 a0 + a1 x + + an xn
Une fonction rationnelle
b0 + b1 x + + bm xm
ln(x) ex ch(x) sh(x) cos(x) sin(x).

Une fonction de classe C nest pas forcement analytique. Lexemple le plus simple
et le plus connu est celui de la fonction f : R R definie par :
{
e x 2
1

f (x) = si x = 0
0 pour x = 0.

(La demonstration est laissee en exercice au lecteur.)

Soient maintenant U un ouvert de R2 et f : U C une fonction. On dira que f
est analytique si, pour tout point z0 = (x0 , y0 ), il existe > 0 tel que sur le disque ouvert
D(z0 , ), f admet un developpement en serie entiere :


f (x, y) = anm (x x0 )n (y y0 )m
n,m=0

ou les anm sont des constantes complexes. Comme dans le cas dune variable, la serie
converge uniformement sur tout compact du disque D(z0 , ) ainsi que toutes les derivees
partielles. La fonction est donc de classe C .
4.2. Variable complexe
Soient U un ouvert de C et f : U C une fonction. On dira que f est analytique
si, pour tout z0 U il existe > 0 tel que, sur le disque ouvert D(z0 , ), f secrit sous
forme dune serie entiere :


(I.4) f (z) = an (z z0 )n
n=0

ou les an sont des constantes complexes.

Par exemple, comme dans le cas dune variable reelle, les fonctions qui suivent sont
analytiques la ou elles sont definies :

Une fonction polynome P (z) = a0 + a1 z + + an z n

a0 + a1 z + + an z n
Une fonction rationnelle
b0 + b1 z + + bm z m
ln(z) ez ch(z) sh(z) cos(z) sin(z).

Il existe des fonctions usuelles qui ne sont pas analytiques : par exemple la fonction
z C 7 z C ! Mais elle est analytique en tant que fonction des deux variables x et y

27
puisque z = x iy ! Lanalyticite reelle dune fonction dune variable complexe nimplique
donc pas lanalyticite de celle-ci.
On verifie aisement que la somme f + g, le produit f g, le quotient fg (la ou il est
defini) de deux fonctions analytiques f et g sont des fonctions analytiques. Si f : U C
et g : V C sont des fonctions analytiques avec f (U ) V la composee g f : U C
est une fonction analytique.

n=0 an (z z0 )
n
4.3. Unicite du developpement. Supposons que deux series entieres

et n=0 bn (z z0 )n convergeant sur un disque D(z0 , R) concident sur une suite (zk )k1
(dans ce disque) saccumulant sur z0 . Alors an = bn pour tout n N.
Demonstration. On a, pour tout k N :

(I.5) a0 + a1 (zk z0 ) + a2 (zk z0 )2 + = b0 + b1 (zk z0 ) + b2 (zk z0 )2 +

Soit r tel que 0 < r < R. Comme les deux sommes sont continues sur le disque ferme de
centre z0 et de rayon r, on a :

lim (a0 + a1 (zk z0 ) + a2 (zk z0 )2 + ) = lim (b0 + b1 (zk z0 ) + b2 (zk z0 )2 + )

k k

et donc a0 = b0 . Lexpression (I.5) devient alors :

a1 (zk z0 ) + a2 (zk z0 )2 + = b1 (zk z0 ) + b2 (zk z0 )2 +

On divise les deux membres par zk z0 et on refait le meme raisonnement ; on obtient

alors a1 = b1 . De cette facon on montre que an = bn pour tout n N.
Ceci va nous permettre detablir le theoreme qui suit qui donne une propriete remar-
quable des fonctions analytiques.
4.4. Principe du prolongement analytique. Soient f et g deux fonctions analytiques definies
sur un ouvert U connexe de C. Supposons que f et g concident sur les points dune suite
(zk ) saccumulant sur un point z0 U . Alors f et g sont egales.
Demonstration. Soient z U dierent de z0 et un chemin [0, 1] U dorigine z0
et dextremite z (il existe car U etant un ouvert connexe de C il est aussi connexe par
arcs). Comme ([0, 1]) = C (image de la courbe dans C) est un compact, il existe r > 0
et un nombre fini de disques ouverts D0 , D1 , , D centres respectivement en des points
z0 = a0 , a1 , , a = z de rayon r et tels que :
C D0 D1 D ;
le disque Dj contient le point zj+1 (centre du disque Dj+1 ) ;
les fonctions f et g admettent sur chacun des Dj un developpement en serie (uni-
formement convergent).

28
 Comme les fonctions f et g sont egales sur lensemble D0 {zj : j N }, dapres
le theoreme I.4.3 qui precede, elles sont egales sur D0 . Mais D0 contient le point a1 qui
est un point daccumulation dune suite dans D1 sur laquelle les fonctions f et g vont
concider ! Le meme raisonnement montre alors que f et g vont aussi concider sur D1 .
En poursuivant la meme demarche on montre ainsi que f et g sont egales sur la reunion
D0 D1 Dn et par suite f (z) = g(z). Comme aucune hypothese particuliere na ete
faite sur le point z, les fonctions f et g sont donc egales sur U .
4.5. Zeros dune fonction analytique
Soit f : U C une fonction analytique sur un ouvert U de C. On appelle zero de f
tout point z U tel que f (z) = 0.
Supposons que f nest pas identiquement nulle sur U connexe. Alors lensemble Z(f )
des zeros de f est un ensemble discret de U .
Demonstration. Comme f est continue, Z(f ) est une partie fermee de U . Montrons que
chacun de ses points est isole. Soit z0 Z(f ) ; alors f se developpe sur un voisinage de ce


point en serie entiere f (z) = an (z z0 )n . Comme elle nest pas identiquement nulle
n=0
sur ce voisinage (sinon elle serait nulle partout en vertu du theoreme I.4.4) lun au moins
des coecients an est non nul ; soit p le plus petit des entiers n tel que an = 0. Alors on
peut ecrire f (z) = (z z0 )p Q(z) ou Q(z) = (ap + ap+1 (z z0 ) + ap+2 (z z0 )2 + ). La
fonction Q(z) etant analytique en z0 elle y est a fortiori continue et donc non nulle sur un
voisinage de z0 . Par consequent le seul point en lequel f est nulle sur ce voisinage est le
point z0 ; ce qui montre que z0 est isole dans Z(f ).

29
.

30
 CHAPITRE II
FONCTIONS HOLOMORPHES

1. Preliminaires et premieres definitions

1.1. R-linearite et C-linearite
On sait que le corps C des nombres complexes est un espace vectoriel de dimension
1 sur lui-meme ; il a pour base (entre autres) le nombre 1. Mais si on le voit comme espace
vectoriel reel sa dimension est 2 ; une base en est {1, i} qui permet decrire tout nombre
complexe z de facon unique sous la forme quon connat z = x + iy avec x, y R.
Une application lineaire f : z C 7 f (z) C est toujours de la forme f (z) = z
avec = f (1). Si = a + ib, alors f (z) = z = (a + ib)(x + iy) = (ax by) + i(bx + ay).
Donc, si on voit f comme application du R-espace ( C dans)lui-meme, sa matrice par rapport
a b
a la base {1, i} est necessairement de la forme avec a, b R. On peut verifier
b a
facilement quune application R-lineraire de C dans C dont la matrice par rapport a cette
base est de cette forme est aussi C-lineaire.
Par exemple, lapplication conjugaison z C 7 z C est R-lineaire mais elle nest
pas C-lineaire !
Soit f :(C C)une application C-lineaire (mais quon voit comme ( R-lineaire) de )
a b cos sin
matrice A = ; alors on peut toujours ecrire A = a + b 2 2
b a sin cos
ou et un reel (donne modulo 2). Par consequent, du point de vue geometrique, une
application C-lineaire nest rien dautre quune similitude directe de centre lorigine : cest

la composee de lhomothetie de centre 0 et de rapport a2 + b2 et de la rotation de centre
0 et dangle .
1.2. Definition de lholomorphie
Soient U un ouvert de C et f : U C une fonction.
On dira que f est holomorphe au point z0 U si elle est derivable en ce point,
cest-a-dire si la limite suivante existe :
f (z) f (z0 )
(II.1) lim .
zz0
z=z0
z z0

Cette limite est notee f (z0 ) et appelee derivee de f au point z0 . On dira que f est
holomorphe sur U si elle est holomorphe en tout point de U .
Formellement, cest la meme definition que pour la derivabilite dune fonction dune
variable reelle. Mais en realite, demander a une fonction detre holomorphe lui impose des

31
contraintes extremement fortes comme nous le verrons par la suite. Regardons dabord
quelques exemples.
Les fonctions usuelles que nous avons deja evoquees :

Une fonction polynome P (z) = a0 + a1 z + + an z n

a0 + a1 z + + an z n
Une fonction rationnelle
b0 + b1 z + + bm z m
ln(z) ex ch(z) sh(z) cos(z) sin(z).

sont holomorphes (facile a verifier).

Toute fonction analytique f : U C est holomorphe. En eet, f etant analytique,
pour tout point z0 U , il existe > 0 tel quon ait :


(II.2) f (z) = an (z z0 )n pour |z z0 | < .
n=0

n=1 nan (z z0 )
n1
On sait alors que la serie derivee f (z) = converge uniformement
pour |z z0 | avec 0 < < ; donc f est derivable au point z0 au sens de la definition
II.1.2. i.e. f est holomorphe en z0 .
On verifie facilement (exactement comme on le fait pour les fonctions dune variable
reelle) que la somme f +g, le produit f g, le quotient fg (la ou il est defini) de deux fonctions
holomorphes sont des fonctions holomorphes.
Si f : U C et g : V C sont des fonctions holomorphes avec f (U ) V la
composee g f : U C est une fonction holomorphe et on a (g f ) (z) = f (z)g (f (z)).
Si f : U V est une bijection et f est holomorphe en z0 avec f (z0 ) = 0, alors f 1 est
holomorphe en w0 = f (z0 ) et (f 1 ) (w0 ) = f (z
1
0)
.
Une bijection f : U V (U et V des ouverts de C) holomorphe avec inverse
1
f holomorphe est appelee biholomorphisme de U sur V . On dira aussi que U et V sont
biholomorphiquement equivalents.
Par exemple la fonction z 7 zi
z+i est un biholomorphisme du demi-plan superieur
H = {z C : z > 0} sur le disque unite D = {z C : |z| < 1}.
Lensemble Aut(U ) des biholomorphismes dun ouvert U est un groupe pour la compo-
sition des applications. Il est toujours contenu dans le groupe Di(U ) des dieomorphismes
de U et est beaucoup plus petit.
Exemple non holomorphe. La fonction : C C definie par (z) = z nest
(z) (0) z
holomorphe nulle part. Verifions-le au point z0 = 0 en calculant lim = lim
z0
z=0
z z0 z
z=0

32
lorsque z tend vers 0 par valeurs reelles et lorsque z tend vers 0 par valeurs imaginaires
pures. On a :

z x z iy
lim = x0
lim = 1 et lim = y0
lim = 1.
z
z0
reel =0
z x=0
x z
z0
imaginaire =0
z y=0
iy

Les deux limites ne concident pas, donc nest pas holomorphe en 0.

1.3. Conditions de Cauchy-Riemann
Soient U un ouvert de C, f : U C une fonction holomorphe et z0 U . On sait
f (z) f (z0 )
alors que zz
lim existe. Cela signifie que :
0
z=z0
z z0

(II.3) f (z) f (z0 ) = f (z0 )(z z0 ) + (z)|z z0 |

lim (z) = 0. Ecrivons z = x + iy, z0 = x0 + iy0 , f (z) = u(z) + iv(z), f (z0 ) = a + ib,
avec zz
0
z=z0

z z0 = h + ik et = + i. Alors lexpression (II.3) devient en coordonnees reelles :

{
u(x0 + h, y0 + k) u(x0 , y0 ) = ah bk + h2 + k 2
(II.4)
v(x0 + h, y0 + k) v(x0 , y0 ) = bh + ak + h2 + k 2

Ceci montre que la fonction f : (x, y) U 7

( u(x, y) + iv(x, y)) C est dierentiable au
u u
x 0 )
(z y (z0 )
point z0 = (x0 , y0 ) et de dierentielle dz0 f = v v avec :
x (z0 ) y (z0 )

u v u v
(CR) (z0 ) = (z0 ) et (z0 ) = (z0 ).
x y y x

Les relations (CR) sont appelees conditions de Cauchy-Riemann. Cela signifie que f est
dierentiable au point z0 (au sens reel) et sa dierentielle dz0 f (qui est une application
R-lineaire de C dans C) est en fait C-lineaire.
Si on considere f comme fonction complexe des variables reelles x et y, les conditions
(CR) secrivent aussi :

f f
(II.5) (z0 ) + i (z0 ) = 0.
x y

Comme z = x + iy, on a x = z+z zz

2 et y = 2i . On peut donc considerer z et z comme des
variables par rapport auxquelles on peut aussi deriver :
( )
x y 1
= + = i
z z x z y 2 x y

33
et ( )
x y 1
= + = +i .
z z x z y 2 x y
f
Les conditions (CR) secrivent donc z = 0.
On peut montrer facilement quune fonction f : U C dierentiable au point z0
et y verifiant les conditions de Cauchy-Riemann est holomorphe en ce point. On a donc
lequivalence :

f : U C holomorphe en z0 f dierentiable en z0 et verifie (CR).

1.4. Quelques consequences de lholomorphie

Soit f : U C une fonction holomorphe sur un domaine (ouvert connexe) U de C.
Il est clair que f (z) = 0 pour tout z U si f est constante. Reciproquement, on
verifie aisement que si f (z) = 0 pour tout z U alors f est constante.
Si la partie reelle, la partie imaginaire, le module ou largument de f est constant,
la fonction f est constante. Tout ceci decoule du fait quune fonction holomorphe sur le
domaine U y verifie les conditions de Cauchy-Riemann.
Si u = f est constante alors u u v u
x (z) = y (z) = 0 ; donc y (z) = x (z) = 0 et

x (z) = y (z) = 0. Par suite dz f = 0 en tout point z U , donc f est constante. Le

v u

meme raisonnement vaut pour la partie imaginaire de f .

Si le module de f est constant, cela signifie que la fonction u2 + v 2 est constante.
Donc u u v u v
x + v x = 0 et u y + v y = 0. Les conditions (CR) donnent alors :

{
x v y = 0
u u u

v u u
x + u y = 0

On regarde ces deux relations comme un systeme lineaire homogene dont les inconnues
sont u u 2 2
x et y . Si son determinant u + v est nul, alors f est identiquement nulle ; sinon
u u
x = y = 0, donc u est constante et par suite f lest aussi comme on la vu precedemment.
On suppose maintenant Arg(f ) = constant. Alors la partie imaginaire (e f )
de e f est nulle, donc la fonction e f est constante et par suite f lest aussi.

2. Integration complexe
Cest un outil fondamental en theorie des fonctions dune variable complexe. Nous allons
definir lintegrale sur un chemin dune fonction f : U C ou U est un domaine de C.
On supposera f continue puisque, de toutes facons, on naura aaire par la suite quaux
fonctions holomorphes.

34
2.1. Integrale sur un chemin
Soient a, b R. On appelle chemin dans U dorigine z0 et dextremite z1 toute
application continue : [a, b] U telle que (a) = z0 et (b) = z1 . Un chemin ferme
est un chemin dont lorigine et lextremite sont confondues i.e. z0 = z1 ; on dira alors que
cest un lacet de base z0 .
On dira quun chemin est C 1 par morceaux sil existe une subdivision de lintervalle
[a, b] : a = t0 < t1 < < tn1 < tn = b telle que soit C 1 sur chacun des intervalles
ouverts ]ti , ti+1 [ (avec i = 0, n 1) et (t) admet une limite a droite de ti et une limite
a gauche de ti+1 .

Soit : t [a, b] 7 (t) = x(t) + iy(t) U un chemin C 1 par morceaux donne

comme precedemment. On definit lintegrale de f sur comme lintegrale ordinaire qui
suit :
ti+1
n1 ti+1
n1
(II.6) f (z)dz = f ((t))d(t) = f ((t)) {x (t) + iy (t)} dt.
i=0 ti i=0 ti

On a les proprietes qui suivent.

Lintegrale (II.6) ne depend pas du parametrage du chemin . Verifions-le pour
de classe C 1 partout (le cas C 1 par morceaux se traite presque de la meme maniere). Soit
: s [c, d] 7 t = (s) [a, b] un changement de parametrage de la courbe . Alors, la
formule de changement de variable sur les integrales nous donne :
b d d

f ((t)) (t)dt = f (( (s)) (s) ( (s))ds = f ( (s))( ) (s)ds
a c c

qui montre bien lindependance de lintegrale
f (z)dz par rapport au parametrage du
chemin .

35
 On a de facon evidente :

(f (z) + g(z))dz = f (z)dz + g(z)dz, et f (z)dz = f (z)dz

pour tout C i.e. lintegrale est lineaire en largument f .

Soit : [a, b] U un chemin dans U dorigine z0 et dextremite z1 et C 1 par
morceaux. Alors lapplication 1 : [b, a] U definie par 1 (t) = (t) est un
chemin dans U de classe C 1 par morceaux dorigine z1 et dextremite z0 ; cest le chemin
parcouru en sens inverse. On a :

f (z)dz = f (z)dz.
1

Exemple fondamental. La fonction f (z) = zz 1

0
est definie et holomorphe sur
louvert C\{z0 }. Calculons son integrale sur le chemin (C 1 partout), parametre par [0, 1]
et donne par (t) = z0 + re2it ou r est un reel strictement positif ; est tout simplement
le cercle centre en z0 et de rayon r. On a :
1 1
dz 1 2it
= d(z0 + re ) = 2i dt = 2i.
z z0 0 re2it 0

Si on prend cette fois-ci n (t) = z0 + re2int avec n Z (toujours parametre par

[0, 1]), alors n est le cercle de centre z0 et de rayon r decrit n fois dans le sens positif si
n > 0 et le sens negatif si n < 0. Dans ce cas :

dz
= 2in.
n z z0

Nous verrons que, pour tout chemin ferme ne passant pas par z0 , le nombre
1
dz
2i zz0
est un entier relatif. On lappelle indice de par rapport a z0 et on le note
Ind(, z0 ).
Soient 1 : [a, b] U et 2 : [a, b] U deux chemins C 1 par morceaux tels que
lorigine de 2 soit egale a lextremite de 1 . On peut definir un chemin produit de 1 et
2 note 1 2 par : {
1 (2t a) si a t a+b2
1 2 (t) =
2 (2t b) si a+b
2 t b.
Soient 1 et 2 deux chemins dans U ayant meme origine z0 et meme extremite z1 .

Question naturelle : quel rapport y a-t-il entre les deux integrales 1 f (z)dz et 2 f (z)dz ?

Evidemment 1 f (z)dz = 2 f (z)dz si, et seulement si, 1 1 f (z)dz = 0. Le probleme de
2

36

lindependance de lintegrale f (z)dz par rapport au chemin lorsquon prescrit lorigine
et lextremite se pose donc. Dans cette direction on a la :
2.2. Proposition. Soient P, Q : U C deux fonctions continues. Alors les deux integrales

1
{P (x, y)dx + Q(x, y)dy} et 2
{P (x, y)dx + Q(x, y)dy} sont egales pour nimporte quel
couple de chemins 1 et 2 ayant meme origine z0 et meme extremite z1 si, et seulement
si, il existe une fonction h : U C de classe C 1 telle que h h
x = P et y = Q.
Demonstration. Supposons quil existe h : U C de classe C 1 telle que h x = P et
h
y = Q. Soient z0 et z1 deux points de U et 1
et 2 deux chemins ayant meme origine
z0 et meme extremite z1 . On va montrer que {P (x, y)dx + Q(x, y)dy} = 0 ou est le
lacet 1 21 de base z0 . On a :
{ }
h h
{P (x, y)dx + Q(x, y)dy} = dx + dy
x y
{ }
h h
= x (t) + y (t) dt
x y

d
= (h )(t)dt
dt

d d
= (h )(t)dt + (h )(t)dt
1 dt 2 1 dt
= (h(1 (b)) h(1 (a)) + (h(2 (a)) h(2 (b))
= 0.
Reciproquement, supposons que pour deux chemins 1 et 2 ayant meme origine et

meme extremite 1 {P (x, y)dx + Q(x, y)dy} = 2 {P (x, y)dx + Q(x, y)dy}. On choisit un
point base z0 = x0 + iy0 dans U . Pour tout z = x + iy U , soit nimporte quel chemin
dorigine z0 et dextremite z ; on pose :
z
h(z) = {P (x, y)dx + Q(x, y)dy} = {P (x, y)dx + Q(x, y)dy} .
z0

Cette quantite ne depend pas du chemin qui joint z0 a z ; on a donc une fonction bien
definie. Si est une ligne polygonale dont le dernier segment est horizontal (cf. dessin
ci-dessous) alors, sur celui-ci, y est constante et donc dy = 0 ; par suite lintegrale secrit :
x
h(z) = P (t, y)dt + constante.
x0

En derivant par rapport a la premiere variable, on trouve h

x (z) = P (z). En prenant cette
fois-ci une ligne polygonale dont le dernier segment est vertical alors, , sur celui-ci, x est
constante et donc dx = 0 ; par suite lintegrale secrit :
y
h(z) = Q(x, s)ds + constante.
y0

37
 h
En derivant par rapport a la deuxieme variable, on trouve y (z) = Q(z). Ce qui demontre
la proposition.

2.3. Dans le cas ou il existe une fonction h : U C de classe C 1 telle que h

= P et
x
h
y = Q on dira que la forme dierentielle = P dx + Qdy est exacte i.e. dh = ; cela
signifie que est la dierentielle de la fonction h ; h est alors une primitive de ; toute
autre primitive est de la forme h + constante.
On dira quune forme dierentielle = P dx + Qdy, avec cette fois-ci P et Q de classe
Q 2h 2h
C , est fermee si P
1
y = x . Comme xy = yx (theoreme de Schwarz pour une fonction
de classe C 2 ), une forme dierentielle exacte est toujours fermee ; la reciproque nest pas

vraie comme on peut le voir sur la 1-forme = dz z definie sur C .
Si f : U R est holomorphe, la forme dierentielle f (z)dz = f (z)dx + if (z)dy est
fermee. Cela decoule du fait que f f
x + i y = 0.
Dans le meme ordre didees on peut se poser la question quand une forme dierentielle
complexe f (z)dz (f : U C etant continue) est-elle exacte i.e. existe-t-il une fonction
h : U C telle que dh = f dz ? La reponse est bien entendu donnee aussi par la
proposition 2.2. En ecrivant f (z)dz = f (z)dx + if (z)dy, une telle fonction h, si elle existe,
doit satisfaire h h h h
x = f et y = if et donc x + i y = 0 ; par suite h doit etre holomorphe.
(On verra par la suite que cela implique que la fonction f elle-meme est holomorphe.)
Conclusion : f admet une primitive si, et seulement si, pour tout lacet dans U et C 1

par morceaux, lintegrale f (z)dz est nulle.

38
 CHAPITRE III
`
FORMULE ET THEOREME DE CAUCHY

1. Homotopie
On se donne un ouvert connexe de C (donc connexe par arcs). On rappelle quun chemin
dans U dorigine z0 et dextremite z1 est une application continue : [0, 1] C telle que
(0) = z0 et (1) = z1 . Le chemin est dit ferme si z0 = z1 . Si (t) = z0 pour tout t [0, 1]
on dira que le chemin est constant.
On note C([0, 1], U ) lensemble de tous les chemins dans U quon munit de la topologie
associee a la distance d(, ) = sup |(t) (t)|.
t[0,1]
1.1. Definition. On dira que deux chemins 0 et 1 sont homotopes sil existe une
application continue H : [0, 1] [0, 1] U , appelee homotopie entre 0 et 1 , telle que
H(0, t) = 0 (t) et H(1, t) = 1 (t) pour tout t [0, 1].
Cela signifie que le chemin 0 se deforme continument et se meut dans U jusqua se
superposer au chemin 1 : en eet, a linstant s = 0, on est sur 0 , a linstant s, on est sur
le chemin s (t) = H(s, t) et a linstant s = 1 (au bout dune heure !) on est sur 1 . En
dautres termes, il existe un chemin dans lespace metrique (C([0, 1], U ), d) dorigine 0 et
dextremite 1 ! Si deux chemins quelconques dans U sont toujours homotopes, lespace
metrique (C([0, 1], U ), d) est connexe par arcs.
On dira que 0 et 1 sont homotopes relativement a {z0 , z1 } sil existe une homotopie
H : [0, 1] [0, 1] U telle que H(s, 0) = z0 et H(s, 1) = z1 pour tout s [0, 1] ; ceci
force donc 0 et 1 a avoir la meme origine et la meme extremite.
On ne considerera dans toute la suite que lhomotopie entre chemins ayant meme
origine et meme extremite. On a la proposition qui suit (la demonstration est laissee au
lecteur).
1.2. Definition. Soient U un ouvert connexe de C et z0 , z1 U . On note C(U ; z0 , z1 )
lensemble des chemins dans U joignant z0 a z1 . On a les proprietes qui suivent.
i) Dans C(U ; z0 , z1 ) la relation etre homotope a est une relation dequivalence.
ii) Si 0 et 1 sont homotopes dans C(U ; z0 , z1 ), 0 et 1 sont homotopes dans C(U ; z1 , z2 )
alors les composes 0 0 et 1 1 sont homotopes dans C(U ; z0 , z2 ).
1.3. Definition. On dira que louvert U est simplement connexe sil est connexe et si
tout chemin dedans est homotope a un chemin constant.
Cette notion est capitale. Elle est fortement utilisee lorsquon cherche a uniformiser
des fonctions qui a priori sont multiformes telles la fonction logarithme complexe, les

39
 1
fonctions z n etc. Nous allons donner quelques exemples douverts simplement connexes
de C et douverts non simplement connexes.
1.4. Exemples
Tout ouvert U convexe est simplement connexe. En eet, soient 0 et 1 deux
chemins quelconques dans U . Alors lapplication H : [0, 1] [0, 1] U definie par
H(s, t) = (1 s)0 (t) + s1 (t) est une homotopie entre 0 et 1 . En particulier, tout lacet
est homotope a un chemin constant.
Le plan complexe C lui-meme, le disque unite D = {z C : |z| < 1} et le demi-plan
superieur H = {z C : z > 0} sont simplement connexes.
On dira que U est etoile par rapport au point z0 si, pour tout z1 U , le segment
[z0 z1 ] = {(1 s)z0 + sz1 : 0 s 1} est contenu dans U . Un tel ouvert est simplement
connexe. Par exemple, C prive dune demi-droite fermee est un ouvert simplement connexe:
il est etoile par rapport a tout point dans le prolongement de cette demi-droite qui la
complete en droite !

Par contre C nest pas simplement connexe. De facon generale, C prive dun nombre
fini (ou denombrable) de points nest pas simplement connexe. Une couronne nest pas
simplement connexe.
Les exemples sont assez nombreux. Nous laissons le lecteur libre a son imagination
den fabriquer comme bon lui semble.
La simple connexite est une notion topologique : tout ouvert homeomorphe a un
ouvert simplement connexe est simplement connexe.

40
 2. Theoreme de Cauchy
Il admet diverses versions qui sont fondamentalement les memes ; elles dierent simplement
au niveau de leurs formulations et la nature topologique de louvert sur lequel la fonction
est holomorphe. Nous commencerons par le cas dun rectangle.
2.1. Theoreme de Cauchy 1. Soient U un ouvert connexe, f : U C une fonction
holomorphe et R un rectangle contenu dans U . Alors :

(III.1) I(f, R) = f (z)dz = 0.
R

ou R designe le bord du rectangle R.

Demonstration. Pour simplifier, la quantite I(f, R) sera notee simplement I(R). On
divise le rectangle R en quatre rectangles R(1), R(2), R(3), R(4) comme sur la figure qui
suit.

On a alors I(R) = I(R(1))+I(R(2))+I(R(3))+I(R(4)). (Lintegrale de f sur chacun

des cotes interieurs se repete sur le meme cote avec lorientation opposee, donc la somme
des deux donne 0.) Si on avait |I(R(j))| < |I(R)| 4 pour tout j = 1, 2, 3, 4 on aurait :

|I(R)| |I(R(1))| + |I(R(2))| + |I(R(3))| + |I(R(4))| < |I(R)|,

ce qui est absurde ; donc lun au moins des rectangles R(j) est tel que |I(R(j))| |I(R)|
4 ;
notons-le R1 . On refait la meme chose avec R1 ; on obtient un nouveau rectangle R2 R1
tel que I(R2 ) |I(R4
1 )|
|I(R)|
42 . De cette maniere on construit une suite de rectangles
(Rn )n1 telle que :

|I(R)|
(III.2) R1 R2 Rn Rn+1 et |I(Rn )| .
4n

41
Lintersection des rectangles de la suite decroissante (Rn ) (compacts dont le diametre tend
vers 0) est un point w R. Comme f est holomorphe en w, f (w) existe et, pour tout
> 0, il existe > 0 tel que :
 
 f (z) f (w) 
|z w| < =  f (w) <

zw
ou encore :

|z w| < = |(f (z) f (w)) (z w)f (w)| < |z w|.

Comme lintegrale de toute fonction constante et celle de z sont nulles sur Rn (calcul facile
a mener), on a :

I(Rn ) = f (z)dz = {(f (z) f (w) (z w)f (w)}dz
Rn Rn

et donc :
 
 
|I(Rn )| =  
{(f (z) f (w) (z w)f (w)}dz  < |z w||dz|
Rn Rn

lorsque |z w| < . Ici |dz| designe la variation infinitesimale du module de z. Soient dn

et Ln les mesures respectivement de la diagonale et du perimetre de Rn , d et L celles de R.
Alors |I(Rn )| dL
4n ce qui donne finalement (en utilisant (III.2)) |I(R)| dL. Comme
est arbitraire, la quantite I(R) doit etre nulle.
Les hypotheses peuvent etre aaiblies et donner en plus une version un peu plus forte
permettant detablir dautres resultats importants. On se contentera de son enonce.
2.2. Theoreme de Cauchy 2. Soit un ouvert obtenu a partir dun rectangle R (comme
dans le theoreme 2.1) en lui otant un nombre fini de points z1 , , zk . On suppose que,
pour tout j = 1, , k, on a lim (z zj )f (z) = 0. Alors :
zzj

f (z)dz = 0.
R

Et encore une version un peu plus generale. (Cette fois-ci lhypothese est aaiblie en
generalisant le chemin sur lequel on integre.)
2.3. Theoreme de Cauchy 3. Soit f une fonction holomorphe sur un disque sauf en un
nombre fini de points (de ce disque) z1 , , zk . On suppose que, pour tout j = 1, , k, on

a lim (z zj )f (z) = 0. Alors f (z)dz = 0 pour toute courbe fermee , C 1 par morceaux
zzj
et ne passant par aucun des points z1 , , zk .

42
 La forme la plus generale du theoreme de Cauchy est donnee par lenonce qui suit. Il
est base essentiellement sur la nature homotopique du chemin sur lequel on integre.
2.4. Theoreme de Cauchy. Soit f : U C une fonction holomorphe sur un ouvert
connexe U . Alors :

(III.3) f (z)dz = 0.

pour tout chemin ferme homotope a un point.

On sait, par definition meme que, dans un ouvert simplement connexe, tout chemin
ferme est homotope a un point. On obtient alors le :
2.5. Corollaire. Soit f : U C une fonction holomorphe sur un ouvert simplement
connexe U . Alors :
f (z)dz = 0.

pour tout chemin ferme dans U . La fonction f y admet alors une primitive i.e. il existe
une fonction holomorphe F : U C telle que F (z) = f (z) pour tout z U donnee par :

(III.4) F (z) = f ()d

ou est nimporte quel chemin joignant un point fixe z0 au point z.

Lhypothese U simplement connexe est substantielle pour la definition de la fonction
F par la formule (III.4) car autrement F ne serait quune fonction multiforme !
3. Formule de Cauchy
Cest un bijou de la theorie des fonctions holomorphes ! On va voir eectivement que cette
formule y joue un role central : elle permet, entre autres, de montrer lanalyticite dune
fonction holomorphe et donc des proprietes importantes sur la nature de ses zeros et ses
singularites.
3.1. Indice dun chemin ferme
Nous avons deja introduit cette notion pour un cercle. Nous allons donner la definition
pour nimporte quel chemin ferme.
Soit un chemin ferme C 1 par morceaux dans C et z0 un point de C \ . Alors
dz
lintegrale zz 0
est de la forme 2in avec n Z.
Demonstration. Quite a decouper le chemin en plusieurs morceaux, on peut se ramener
a la situation ou est C 1 partout. On a donc un parametrage continument dierentiable
: t [0, 1] 7 (t) C. Soit : [0, 1] C la fonction definie par :
t
(t)
(t) = dt.
0 (t) z0

43

Elle est de classe C 1 et a pour derivee (t) = (t)z
(t)
0
. La derivee de e(t) ((t) z0 ) est
alors identiquement nulle ; par suite cette fonction est constante et est donc egale a sa
valeur en 0 i.e. e(t) ((t) z0 ) = (0) z0 ou e(t) = (0)z (t)z0
. Comme (1) = (0) (le
1
(t)
0

chemin etant ferme) e(1) = 1 et donc (1) = 0 (t)z 0

dt doit etre de la forme 2in
avec n Z. Ce qui demontre lenonce.
Lentier :

1 dz
(III.5) Ind(, z0 ) =
2i z z0

est appele lindice du chemin ferme relativement au point z0 . Donnons quelques-unes de

ses proprietes.
Soit : [0, 1] C un chemin ferme C 1 par morceaux. Comme lapplication est
continue son image est un compact. Ce compact partage le plan en des ouverts : les
composantes connexes de C \ . Une et une seule de ces composantes est non bornee ;
notons-la .
On a Ind( 1 , z0 ) = Ind(, z0 ) ou 1 est loppose de i.e. le chemin defini par
1 (t) = (1 t).
Comme fonction de z0 , Ind(, z0 ) est constant sur chacune des composantes connexes
de C \ . Pour z0 , on a Ind(, z0 ) = 0.
3.2. Formule integrale de Cauchy. Soient f : U C une fonction holomorphe sur un
disque U et z0 U \ ou est un chemin ferme dans U . Alors :

1 f (z)
(III.6) Ind(, z0 )f (z0 ) = dz.
2i z z0

Demonstration. Pour z U on pose (z) = f (z)f

zz0
(z0 )
. Cette quantite est definie partout
sauf pour z = z0 . La fonction est holomorphe sur U \ {z0 } et verifie :

lim ((z z0 )(z)) = lim (f (z) f (z0 )) = 0.

zz0 zz0

Dapres le Theoreme III. 2.3 on a :

f (z) f (z0 )
(z)dz = dz = 0
z z0
f (z) f (z0 ) f (z0 )
quon peut ecrire aussi zz0
dz = zz0
dz. Mais zz0
dz = 2iInd(, z0 )f (z0 ). Ce
qui donne :
1 f (z)
Ind(, z0 )f (z0 ) = dz
2i z z0

44
qui est la formule quon cherche a etablir.
La formule de Cauchy habituellement utilisee est celle dans laquelle le chemin est
dindice Ind(, z0 ) = 1. Et en fait on la voit comme une fonction de U \ ; dans cette
situation elle secrit :

1 f (z)
(III.7) f () = dz.
2i z

Lenonce 3.2 est donne pour un disque alors quen realite la formule integrale de
Cauchy est valable sur nimporte quel ouvert connexe. Voici la version generale :
Soient f : U C une fonction holomorphe sur un ouvert U et z0 U \ ou est
un chemin ferme dans U homotope a un point. Alors :

1 f (z)
(III.8) Ind(, z0 )f (z0 ) = dz.
2i z z0

4. Analyticite des fonctions holomorphes

Nous avons deja vu quune fonction analytique sur un ouvert y etait holomorphe. Lobjet
de cette section est de montrer que la reciproque est vraie et de donner quelques proprietes
en plus.
4.1. Theoreme. Soit f : U C une fonction holomorphe sur un ouvert U . Alors elle y
est analytique.
Demonstration. Soient z0 U et r > 0 tel que le disque ferme D(z0 , r) de centre z0 et de
rayon r soit contenu dans U . Notons le cercle de centre z0 et de rayon r. Alors, pour
z D(z0 , r), on a :

1 f ()
(III.9) f (z) = d (Formule de Cauchy).
2i z

De facon evidente, |z z0 | < | z0 | pour tout sur le cercle et tout z dans le disque
ouvert D(z0 , r). Par suite on a un developpement en serie convergente :

1 1
=
z ( z0 ) (z z0 )
1 1
=
z0 1 zz 0
z0
{ ( ) ( )2 ( )n }
1 z z0 z z0 z z0
= 1+ + + + +
z0 z0 z0 z0

45
En injectant dans (III.9) on obtient :
(
)
1 f ()
f (z) = (z z0 )n d.
2i n=0 ( z0 )n+1

Comme on integre sur le compact et que la serie y converge uniformement, on peut

permuter les signes de sommation et dintegration pour obtenir :
( )
1 f ()
f (z) = d (z z0 )n
n=0
2i ( z 0 )n+1

qui montre bien que, sur le disque ouvert D(z0 , r), on a f (z) = fn (z z0 )n avec :
n=0

1 f () f (n) (z0 )
fn = d =
2i ( z0 )n+1 n!

cest-a-dire f est analytique.

La serie fn (z z0 )n est appelee serie de Taylor de f au voisinage de z0 . Une
n=0
estimation de la taille des coecients fn est decrite par la proposition qui suit.
4.2. Inegalites de Cauchy. Supposons f holomorphe sur le disque D(z0 , r) et quil existe
M > 0 tel que sup |f (z)| M . Alors les coecients de sa serie de Taylor au voisinage
zD(z0 ,r)
de z0 verifient linegalite :
M
(III.10). |fn | .
rn
Demonstration. On sait, dapres ce qui precede, que le coecient fn est donne par la
formule integrale :
1 f ()
fn = d
2i ( z0 )n+1
ou est le cercle de centre z0 et de rayon avec 0 < < r. Dou :
 
 1 
 f () 
|fn | =  d 
 2i ( z0 )n+1 
 
1  f () 
  |d|
2  ( z0 )n+1 
M 2

2 n+1
M
= n.

46
En prenant la limite pour tendant vers r on obtient linegalite cherchee. .
Un corollaire presque immediat des inegalites de Cauchy est le :
4.3. Theoreme de Liouville. Soit f une fonction holomorphe sur C tout entier (on dit que
f est une fonction entiere). On suppose que f est bornee i.e. il existe M > 0 tel que
|f (z)| M pour tout z C. Alors f est constante.
Demonstration. La fonction f admet au voisinage de 0 un developpement de Taylor

fn z n convergeant sur tout disque D(0, r). Comme f est bornee par M > 0, pour
n=0
tout r > 0 on a |fn | rMn pour tout n. On fait tendre r vers + ; ce qui nous donne
fn = 0 pour tout n 1. Donc f est constante egale a f0 .
Nous terminons cette section par le theoreme suivant (que nous ne demontrerons pas).
4.4. Principe du maximum. Soit f : U C holomorphe non constante sur un ouvert
connexe U . Alors il nexiste aucun point z0 U en lequel le module |f | de f soit maximal.
De facon precise, il nexiste pas de point z0 U tel que |f (z)| |f (z0 )| pour tout z U .
Ce theoreme admet de facon presque immediate le corollaire qui suit.
4.5. Corollaire. Soit f : U C holomorphe non constante sur un ouvert connexe borne
U et continue sur son adherence U . Alors |f | ne peut atteindre son maximum que sur le
bord U = U \ U de U .
On peut dire aussi que si |f | atteint son maximum sur U alors f est constante.

47
.

48
 CHAPITRE IV
HOMOGRAPHIE

1. Definitions et Notations
b = C {} ; on
1.1. On complete le plan complexe en lui rajoutant le point a linfini C
obtient alors ce quon appelle la sphere de Riemann. On prolonge une partie des operations
de laddition et de la multiplication de C a Cb en posant :
z+=+z = = et z
=0 pour tout z C
z=z = et z
0 pour tout z C .
=
b est la sphere unite S2 de lespace
On peut montrer que, du point de vue topologique, C
euclidien R3 (cf. dessin ci-dessous).

Lapplication de la sphere unite S2 de lespace R3 privee du point

sur le plan complexe C definie par (x, y, z) = 1z x y
+ i 1z est
une bijection. Quand m se rapproche du point , le point M
b sidentifie a la
est rejete a linfini dans le plan complexe. Ainsi C
sphere S2 , ce qui justifie lappellation sph
ere de Riemann pour
b
C. Lapplication sappelle projection st ereographique.

49
1.2. Definition. Une homographie de C b est une transformation h qui a M daxe z
associe le point M daxe :
az+b
cz+d si z C \ { dc }

z = si z = dc
a
c si z =
ou a, b, c, d sont des nombres complexes.
On verifie immediatement que, si ad bc = 0, la transformation h est constante ; on
supposera donc ad bc = 0.
2. Etude de lhomographie
2.1. Cas ou elle est une similitude
On suppose c = 0. Comme ad bc = 0, on a d = 0 et a = 0 ; h secrit alors
h(z) = z + avec = ad et = db . On voit clairement que = est un point fixe
de h. Voyons sil en existe un autre 0 ; si tel est le cas, il doit verifier 0 + = 0 . Si
= 1, h est une translation si = 0, donc pas de point fixe et lidentite si = 0 donc
tout point est fixe fini. Si = 1, h admet 0 = 1

comme point fixe dans C.
Regardons la decomposition de h en transformations elementaires bien connues. En
posant = || et = argument(), on voit clairement quon passe de z a z = h(z) par la
suite de transformations :
z 7 z1 = z 7 z2 = ei z1 = z 7 z3 = z2 + = z + = z .
La tranformation h secrit donc h = r(0, ) h(0, ) ou h(0, ) est lhomothetie de
centre 0 et de rapport , r(0, ) la rotation de centre 0 et dangle et la translation de
vecteur . Lhomographie h est donc une similitude directe.
Desormais, dans toute la suite, on supposera c = 0. Cest le cas generique ; il ore
aussi une richesse geometrique immense !
2.2. La decomposition canonique

Nous allons mettre h sous la forme canonique h(z) = + cz+d . Celle-ci va nous
permettre de la decomposer en transformations geometriques bien connues.
Comme on suppose c = 0, on peut ecrire :
az + b
h(z) =
cz + d
a
(cz + d) + b ad
= c c
cz + d
bcad
a c
= +
c cz + d

=+
cz + d

50
avec = ac et = bcad
c . On pose Z = cz + d et on note s la similitude directe qui a z
associe Z. On a la decomposition qui suit :

1 1
z 7 Z = cz + d 7 z1 = 7 z2 = z 1 = 7 z3 = z2 = 7 + z3 = + .
Z Z Z Z

Dou h = r(0, ) h(0, ||) s0x I(0, 1) s ou est la translation de vecteur , s0x
est la reflexion par rapport a laxe (0x), h(0, ||) lhomothetie de centre 0 et de rapport
||, r(0, ) la rotation de centre O et dangle = argument de et I(0, 1) linversion de
pole 0 et de puissance 1.
On se donne un point O du plan complexe et un reel non nul. On appelle inversion
de pole O et de puissance , lapplication notee I(O, ) qui, a tout point M distinct de

O associe le point M sur la droite (OM ) tel que OM OM = . On peut bien sur la
prolonger a toute la sphere de Riemann Cb en posant I(O, )(O) = et I(O, )() = O.
2.3. Le groupe des homographies
b muni de la loi de composition des applications
Lensemble H des homographies de C
est un groupe non commutatif.
Soient h1 (z) = ac11z+d
z+b1
1
et h2 (z) = a2 z+b2
c2 z+d2 deux homographies. Un calcul simple donne
lexpression de la composee :

(a2 a1 + b2 c1 )z + (a2 b1 + b2 d1 )
h2 h1 (z) =
(c2 a1 + d2 c1 )z + (c2 b1 + d2 d1 )

qui montre bien que h2 h1 est une homographie. Lelement neutre est lidentite donnee
par a = d = 1 et b = c = 0 ou a = d = 1 et b = c = 0. Toute homogrpahie h(z) = az+b cz+d
est inversible et a pour inverse h1 (z) = cz+adzb
. Ainsi lensemble H des homographies
muni de la composition des applications est un groupe. Il nest pas commutatif car, si on
prend h1 (z) = z + 1 et h2 (z) = z1 , on a h1 h2 (z) = z+1
z alors que h2 h1 (z) = z+1 .
1

2.4. Les points fixes

az+b
Soit h(z) = cz+d une homographie qui nest pas lidentite. Un point fixe de h verifie
lequation :
az + b
z= .
cz + d
Si c = 0, on sait que h a un seul point fixe = si ad = 1 et deux points fixes et
1
1 a si ad = 1. Donc au plus deux points fixes.
d
Supposons c = 0. Alors nest pas un point fixe de h et z C en est un si, et
seulement si, cz 2 + (d a)z b = 0. On resout cette equation en calculant le discriminant
= (a + d)2 4(ad bc) = (a + d)2 4.
Si = 0, cette equation a une solution double, cest-a-dire h a un seul point fixe.

51
 Si = 0, lequation a deux solutions distinctes cest-a-dire h a deux points fixes
dierents.
b (lun
Aussi bien dans le cas c = 0 que c = 0, si h a trois points fixes distincts dans C
de ces points peut tres bien etre ), h est lidentite. Par suite deux homographies qui
concident sur trois points distincts sont egales.

3. Le groupe PSL(2,C)
3.1. La description du groupe
( )
a b
Soit GL(2, C) le groupe des matrices a coecients complexes et inversibles.
c d
Lapplication determinant det : A GL(2, C) 7 det A C est un morphisme de
groupes. Son noyau est un sous-groupe normal de GL(2, C) quon note SL(2, C). Alors
lapplication : ( ) ( )
a b az + b
: SL(2, C) 7 z 7 H
c d cz + d
est un morphisme de groupes. Ceci decoule du calcul fait a la sous-section 2.3. Ce mor-
phisme est en plus surjectif puisque toute homographie est associee a une matrice de
SL(2, C).
( )
a b
Le noyau de est constitue de toutes les matrices A = telles que, pour tout
c d
b on ait az+b = z cest-a-dire cz 2 + (d a)z b = 0. Ce qui implique b = c = 0 et
z C, cz+d
a = d. Mais comme ad = 1 (car ad bc = 1) on doit avoir a = d = 1 ou a = d = 1. Par
suite ker est reduit aux deux matrices :
( ) ( )
1 0 1 0
I= et .
0 1 0 1

Comme ker = {I, I} est un sous-groupe normal de SL(2, C), le quotient de SL(2, C)
par le sous-groupe {I, I} est un groupe note PSL(2, C). On a donc un ismorphisme :

: PSL(2, C) H
( )
a b
qui a tout element de PSL(2, C) represente par une matrice associe lhomographie
c d
az+b
h(z) = cz+d .

3.3. La 3-transitivite de laction de H

b distincts deux a deux. Montrons quil existe toujours une unique
Soient z1 , z2 , z3 C
h(z1 ) =
homographie h H telle que h(z2 ) = 0

h(z3 ) = 1.

52
 az+b
On sait que la transformation quon cherche est de la forme h(z) = cz+d et quelle
doit etre telle que :
h(z1 ) =
h(z2 ) = 0

h(z3 ) = 1.
On suppose dabord quaucun des z1 , z2 , z3 nest . Trois petites feintes alors : pour
envoyer z1 sur , on se debrouille pour que (z z1 ) soit un facteur au denominateur.
De meme, pour envoyer z2 sur 0, on se debrouille pour que (z z2 ) soit un facteur au
numerateur. A priori lhomographie zzzz1 (ou est une constante complexe non nulle)
2

fait le travail. Pour que finalement cette homographie envoie z3 sur 1, il sut de prendre
= zz33 z
z2 . Ainsi notre homographie cherchee est :
1

z3 z1 z z1
h(z) = : .
z3 z2 z z2
Elle est unique dapres la question 4. On remarque que cette expression convient aussi
meme si lun des z1 , z2 , z3 est . Plus precisement, on prend :
h(z) = z3 z2 si z1 =
zz2
;
z3 z1
h(z) = zz1 si z2 = ;
h(z) = zz1 si z3 = .
zz2

A partir de ce qui precede, on peut montrer que laction du groupe H sur la sphere
de Riemann C b il existe une
b est 3-transitive, cest-a-dire, pour tous z1 , z2 , z3 , z , z , z C,
1 2 3
h(z1 ) = z1
homographie h H telle que h(z2 ) = z2 . En eet, il existe une unique homographie h

h(z3 ) = z3 .
telle que :
h(z1 ) =
h(z2 ) = 0

h(z3 ) = 1
et une unique homographie h telle que :

h (z1 ) =
h (z ) = 0
2
h (z3 ) = 1.

Alors = h1 h est lunique homographie telle que :

(z1 ) = z1
(z2 ) = z2

(z3 ) = z3 .

b est donc 3-transitive.

Laction du groupe H sur la sphere de Riemann C

53
 4. Le birapport
b pris dans cet
4.1. Definition. On appelle birapport de quatre points z1 , z2 , z3 , z4 C
ordre, la quantite :
z3 z1 z4 z1
(z1 , z2 , z3 , z4 ) = : .
z3 z2 z4 z2

4.2. Proposition. Soit h une homographie qui envoie z1 sur , z2 sur 0 et z3 sur 1. Alors
h(z4 ) = (z1 , z2 , z3 , z4 ).
Preuve. Il existe une et une seule homographie h telle que h(z1 ) = , h(z2 ) = 0 et
h(z3 ) = 1 ; elle est donnee dans la sous-section 3.3 par h(z) = zz33 z zz1
z2 : zz2 . On voit donc
1

tout de suite que :

z3 z1 z4 z1
(z1 , z2 , z3 , z4 ) = : = h(z4 ).
z3 z2 z4 z2
Ceci termine la preuve.
4.3. Proposition. Une homographie H preserve toujours le birapport de quatre points,
b
cest-a-dire, on a ((z1 ), (z2 ), (z3 ), (z4 )) = (z1 , z2 , z3 , z4 ) pour tous z1 , z2 , z3 , z4 C.
Preuve. Comme dans la proposition qui precede, Il existe une et une seule homographie
h telle que h(z1 ) = , h(z2 ) = 0 et h(z3 ) = 1. De meme, si est une homographie
quelconque, il existe une unique homographie g telle que :

g((z1 )) =
g((z2 )) = 0

g((z3 )) = 1.

Elle verifie aussi ((z1 ), (z2 ), (z3 ), (z4 )) = g((z4 )). On voit donc que g et h
concident sur les trois points distincts deux a deux z1 , z2 , z3 , donc elles sont egales. En
particulier g((z4 )) = h(z4 ), cest-a-dire :

((z1 ), (z2 ), (z3 ), (z4 )) = (z1 , z2 , z3 , z4 ).

qui montre bien que le birapport se conserve par toute homographie.

5. Etude geometrique dun exemple
Cela nous permettra de voir comment sutilisent les nombres complexes en geometrie et
en meme temps de constater que lhomographie est un peu dierente des transformations
que nous connaissons habiuellement. Nous allons faire cela sous forme dexercice.
Soit f la transformation qui a M daxe z associe le point M daxe :

2z + 1
z = .
z+1

54
 1 - Montrer que f est un produit de transformations geometriques elementaires (trans-
lations, homotheties, rotations, inversions...) quon precisera.
On peut ecrire :
2z + 2 1 1
f (z) = z = =2 .
z+1 z+1
On passe donc de z a z par la suite dapplications qui suivent :

f1 f2 1 f3 1 f4 1 f5 1
z 7 z + 1 7 7 7 7 2
z+1 z+1 z+1 z+1

ou f1 est la translation de vecteur (le nombre complexe) 1, f2 est linversion de pole lorigine
et de puissance 1, f3 est la symetrie par rapport a laxe des abscisses, f4 est la symetrie
par rapport a lorigine et f5 est la translation de vecteur 2.
2 - Soit la partie du plan telle que x2 + y 2 < 1. Quelle est son image par la
tranformation f ?
Pour voir comment se transforme , il est necessaire de voir comment ca se passe pour
le cercle dequation x2 + y 2 = 1 (cest le cercle de centre O et de rayon 1 prive bien sur
du point z = 1 qui na pas dimage). Par f1 , devient 1 , cercle de centre O1 = (1, 0)
et de rayon 1 ; linversion f2 le transforme en la droite 3 dequation x = 21 , f3 laisse 3
invariante, f4 la ramene sur la droite 4 dequation x = 21 et enfin f5 transforme cette
derniere en la droite dequation x = 23 .
La transformation f est une bijection de louvert C \ {1} sur louvert C \ {2}. Elle
a pour transformation inverse f 1 (w) = w+1
w2 (definie bien sur sur C \ {2}) ; donc :

f : C \ {1} C \ {2}

est un homeomorphisme. Posons :

= C \ ({1} ) et = C \ ({2} ),
= {z : |z| < 1} et + = {z : |z| > 1},
= {z = x + iy : x < 32 } et + = {z = x + iy : x > 23 }.
Louvert est non connexe : ses composantes connexes sont et + ; de meme
louvert est non connexe : ses composantes connexes sont et + . La restriction
de f a est un homeomorphisme sur ; f va donc envoyer homeomorphiquement la
composante connexe de sur lune des deux composantes connexes de . Pour savoir
laquelle il sut de voir ou va le point z0 = 0 ; celui-ci a pour image 1, il est donc dans
. Le transforme par f de louvert est donc louvert .

55
Les cercles interieurs au cercle prives du point z = 1
et qui lui sont tangents en ce point forment un feuilletage
du disque . La transformation f les redresse en droites
paralleles a et situees a sa gauche. On peut voir aussi que
f envoie par exemple le 3eme croissant sur la 3eme bande !

56
 6. Biholomorphismes
Le probleme de lequivalence entre objets mathematiques est central. Nous allons voir de
facon tres succinte ce quil en est pour les ouverts de C. Nous prendrons les plus simples.
Soient U et V deux ouverts non vides de C. On dira quune application : U V
est un biholomorphisme si est bijective, holomorphe et 1 holomorphe. On dira que
U et V sont biholomorphiquement equivalents sil existe un biholomorphisme de U sur V .
Un biholomorphisme de U sur lui-meme est appele automorphisme de U . Lensemble des
automorphismes de U est un groupe note Aut(U ).
Notons que deux ouverts U et V biholomorphiquement equivalents ont des groupes
dautomorphismes isomophes. En eet, si h : U V est un biholomorphisme, il est
immediat de verifier que lapplication Aut(U ) 7 h h1 Aut(V ) est un
isomorphisme de groupes.
Nous allons determiner ces groupes pour le disque unite ouvert D = {z C : |z| < 1}
et le demi-plan superieur H = {z = x + iy C : y < 0}. Mais avant cela nous allons
donner lun des theoremes les plus puissants dans cette direction.
6.1. Theoreme duniformisation. Soit U un ouvert simplement connexe de C dierent de
C. Alors U est biholomorphiquement equivalent au disque unite ouvert D.
Cest une version un peu plus faible que celle qui donne luniformisation dune surface
de Riemann simplement connexe de facon generale. Mais elle a deja eu un impact enorme
sur le developpement dautres branches des mathematiques depuis sa demonstration (qui
remonte a la fin du 19eme siecle). On peut la trouver dans [Car] pour le disque et dans
[SG] pour une surface de Riemann simplement connexe quelconque.
6.2. Lemme de Schwarz. Soit f : U C holomorphe sur le disque unite ouvert U et telle
que |f | < 1 et f (0) = 0. Alors |f (z)| |z| et |f (0)| 1. Si |f (z)| = |z| pour un certain
z = 0 ou si |f (0)| = 1, alors il existe R tel que f (z) = ei z.
Demonstration. On applique le principe du maximum a la fonction h(z) = f (z) z pour z = 0

et h(0) = f (0). Sur tout cercle r centre en 0 et de rayon 0 < r < 1, son module est
1r et donc |h(z)| 1r pour |z| r. On fait tendre r vers 1 et on obtient |h(z)| 1,
cest-a-dire |f (z)| |z| pour tout z. Si legalite |f (z)| = |z| est atteinte en un point z U
ou si |f (0)| = 1, |h| atteint son maximum sur louvert U et donc h est constante ; par
suite il existe R tel que h(z) = ei i.e. f (z) = ei z.
Ce lemme est utilise de maniere substantielle dans la determination explicite des
automorphismes du disque D. Cest ce que nous allons voir tout de suite.
6.3. Theoreme. Toute transformation conforme (ou tout biholomorphisme) du disque
unite ouvert D est de la forme f (z) = ei pz1
zp
ou est un reel et p D. De maniere
equivalente, on peut aussi ecrire f sous la forme z+
z+ avec ||2 ||2 = 1.

57
Demonstration. Dabord, toute transformation f (z) = ei pz1zp
ou est un reel et p D est
un biholomorphisme (transformation conforme) de D. En eet, comme la multiplication
par ei est une isometrie euclidienne, ceci va decouler du lemme qui suit.
On note D le disque unite ferme {z C : |z| 1} dont le bord est le cercle unite
= {z C : |z| = 1}. Soit p D et posons = p1 ; il est clair que || > 1 et donc
/ D.
Pour tout z = C \ {}, posons (z) = pz1 .
zp

Lapplication est un automorphisme de et sa restriction au disque unite ouvert D

est un automorphisme de celui-ci.
Demontrons cela. Le fait que soit un automorphisme de est immediat : est une
bijection de louvert sur lui-meme dinverse 1 (w) = pw1
wp
= (w) !
Pour voir que induit un automorphisme de D, il sut de montrer que limage (D)
de D par est contenue dans D. On peut ecrire sous la forme :
1pp
1 p2
(z) = + .
p z p1

Ceci montre alors que est la composee de linversion de puissance 1 et de pole , de la

symetrie daxe laxe des abscisses, dune similitude et dune translation. Elle transforme
donc tout cercle qui ne passe pas par en un cercle. Montrons quelle laisse le cercle
unite globalement invariant. Il sut a cet eet de montrer que les images de trois points
distincts de sont encore sur . (Ce qui suit se justifie en regardant juste les trois dessins.)
On a :
1p
(1) =
p1
qui est de module 1 ; de meme :

1 p
(1) =
1 p

qui est aussi de module 1. Calculons le module de :

ip
(i) = .
pi 1

On a :  
 ip  |i p| |i p| |i p|
 
 pi 1  = |pi 1| = | i(i p)| = |(i p)| = 1.

Comme est un homeomorphisme de sur lui-meme laissant globalement invariant, il

envoie composante connexe de \ (D en est une) sur composante connexe de \ . Mais
p D et (p) = 0 qui appartient encore a D ; donc limage de D est D. Ce qui termine la
demonstration.

58
 Soit maintenant f un biholomorphisme de D. Posons z0 = f (0), h(z) = (zzz 0
0 )z1
et
g = h f . Alors g est une transformation conforme de D qui verifie g(0) = 0. Dapres
le lemme de Schwarz, on a |g(z)| |z| pour tout z D. Mais comme g 1 est aussi une
transformation conforme de D qui verifie g 1 (0) = 0, on a |g 1 (z)| |z| pour tout z D.
On en deduit donc que :
|g(z)| = |z| pour tout z D.
 
 g(z) 
La fonction g(z)
z est holomorphe et son module  z  est constant egal a 1 ; elle est donc

egale a une constante de module 1. Dou f (z) = h1 (g(z)) = h1 (z) = (z

zz0
0 )z1
. En
posant p = z0 et = ei on peut ecrire :

zp
f (z) = ei .
pz 1

Cest lexpression cherchee. Maintenant on peut remarquer que :

zp ei/2 z ei/2 p z +
f (z) = ei = i/2 =
pz 1 pe ze i/2 z +
i/2
avec = i e
i/2
et = i pe . Ceci termine la demonstration du theoreme.
1pp 1pp

6.4. Corollaire. Tout automorphisme du demi-plan ouvert H = {x + iy C : y > 0} est

cz+d ou a, b, c, d sont des reels tels que ad bc = 1.
de la forme f (z) = az+b
Demonstration. On peut montrer assez facilement que la transformation homographique
z+i est un biholomorphisme de H sur D. On a donc une application :
(z) = zi

: Aut(D) Aut(H)

59
definie par (f ) = 1 f . On verifie immediatement que est un isomorphisme de
groupes. Par consequent, toute transformation conforme h de H est du type h = 1 f
z+ , et verifiant || || = 1. Un calcul un peu long donne :
avec f (z) = z+ 2 2

(() + ())z + (() + ())

h(z) = .
(() ())z + (() ())

(Ici (w) et (w) designent respectivement la partie reelle et la partie imaginaire du

nombre complexe w.) On pose a = () + (), b = () + (), c = () ()
et d = () (). Clairement, a, b, c, d sont des reels et le lecteur peut verifier que
ad bc = = 1.

60
 CHAPITRE V

SERIES DE LAURENT, SINGULARITES ET RESIDUS

1. Serie de Laurent
Nous commencerons par donner la definition generale dune telle serie. Ensuite nous
verrons dans quelles conditions une fonction analytique en admet une et comment la
determiner.
La proposition qui suit est immediate a demontrer.

bn 1
1.1. Proposition. Considerons la serie et = lim sup |bn | n . Alors :
n=0
(z z0 )n
n

i) Si = 0 la serie converge absolument pour tout z sauf au point z = z0 .

ii) Si 0 < < + la serie converge pour |z z0 | > et diverge pour |z z0 | < .
iii) Si = + la serie diverge pour tout z.
Si 0 < +, la serie est uniformement convergente sur tout disque ferme contenu
dans louvert = {z C : |z z0 | > }. Elle definit donc une fonction holomorphe sur
louvert .


On appelle serie de Laurent une serie du type cn (z z0 )n qui sinterprete comme
n=
la somme des deux series :


cm
(V.1) cn (z z0 )n et m
.
n=0 m=1
(z z0 )

Elle est convergente si, et seulement si, les deux series (V.1) le sont. La premiere, appelee
partie reguliere est une serie de Taylor ayant un rayon de convergence R. La deuxieme est
appelee partie principale et converge pour |z z0 | > r. La serie de Laurent converge alors
uniformement sur tout compact contenu dans la couronne :

{z C : r < |z z0 | < R}

lorsque evidemment r < R. La somme y definit alors une fonction holomorphe :

f (z) = cn (z z0 )n .
n=

Pour |z z0 | > R ou |z z0 | < r lune des deux series au moins diverge et donc la serie de
Laurent diverge aussi.

61
1.2. Proposition. Soit f : U C une fonction holomorphe sur une couronne (ouverte)
U = {z C : r < |z z0 | < R}. Alors f y admet un developpement de Laurent :


fn (z z0 )n
n=

avec :

1 f ()
(V.2) fn = d
2i ( z0 )n+1

ou est le cercle centre en z0 et de rayon avec r < < R.

La demonstration est laissee au lecteur : a peu de choses pres, elle est similaire a celle
du theoreme III.4.1.
1.3. Exemple
1
On considere la fonction f (z) = z(1z) . Elle est definie et holomorphe sur louvert
U = C \ {0, 1}. Cherchons son developpement de Laurent au voisinage de chacun des
points z0 = 0 et z1 = 1. On a :

1 1 1 n
f (z) = + = + z pour 0 < |z| < 1
z 1z z n=0

et :

1 1 1
f (z) = + = + (1)n (z 1)n pour 0 < |z 1| < 1.
1 + (z 1) 1 z 1 z n=0

62
 2. Singularites
Soient z0 un point de C et f une fonction holomorphe sur un voisinage ouvert de z0 sauf
peut-etre en z0 . On dira alors que z0 est un point singulier isole de f . Pour r susamment
petit, f admet un developpement de Laurent sur la couronne 0 < |z z0 | < r :


(V.3) f (z) = fn (z z0 )n .
n=

Il y a trois possibiltes :
Les coecients fn sont nuls pour n < 0. Dans ce cas on dira que z0 est une
singularite apparente.
Il ny a quun nombre fini de coecients fn avec n < 0 qui sont non nuls. Dans ce
cas on dira que z0 est un pole de f . Le plus grand n 1 tel que fn = 0 est un entier
naturel m appele ordre du pole z0 . Si m = 1 on dira que z0 est un pole simple de f .
Il y a une infinite de coecients fn avec n < 0 qui sont non nuls. Dans ce cas on
dira que z0 est une singularite essentielle.
2.1. Singularite apparente
Si z0 est une singularite apparente de f , la serie donnee par (V.3) est en fait une serie
de Taylor ordinaire dont la somme h(z) est holomorphe sur tout le disque |z z0 | < r.
On prolonge donc f en z0 en posant f (z0 ) = h(z0 ). Donc la fonction f , a priori definie
uniquement sur le disque epointe D(z0 , r) \ {z0 }, est en realite definie sur tout le disque ;
cest en ce sens quon dit que la singularite z0 est apparente. Un exemple simple est celui
de la fonction f (z) = sin(z)
z definie a priori sur C et qui se prolonge en 0 par f (0) = 1.
2.2. Pole
Comme on la dit, si z0 est un pole, la serie (V.3) ne contient quun nombre fini de
termes (z z0 )n avec exposant negatif. Soit m lordre de ce pole. On a :

fm f1
f (z) = + + + fn (z z0 )n
(z z0 ) m z z0 n=0

avec fm = 0. En multipliant les deux membre par (z z0 )m on obtient :

(z z0 ) f (z) = fm + fm+1 (z z0 ) + + f1 (z z0 )
m m1
+ fn (z z0 )n+m .
n=0

On voit donc que z0 est une singularite apparente de la fonction g(z) = (z z0 )m f (z) et
que lim g(z) = fm et par suite :
zz0

fm
lim f (z) = lim =
zz0 zz0 (z z0 )m

63
ce qui signifie que |f (z)| tend vers + quand z tend vers z0 . Les assertions qui suivent
ne sont pas diciles a etabir.
i) Si f est holomorphe sur un disque D(z0 , r) avec z0 comme seul zero de multiplicite
m, la fonction f1 est holomorphe sur D(z0 , r) sauf en z0 qui est un pole dordre m.
ii) Si f est holomorphe sur un disque D(z0 , r) sauf en z0 qui est un pole isole dordre
m, la fonction f1 est holomorphe sur D(z0 , r) avec z0 comme zero de multiplicite m.
Definition. Une fonction f : U C est dite meromorphe sil existe un ensemble
discret de U tel que f est holomorphe sur U \ et tout point de est un pole de f .
Par exemple, si f et g sont deux fonctions holomorphes sur C le quotient f
g est une
fonction meromorphe ; ses poles sont les zeros de g.
Il ny a aucune restriction sur les poles comme le decrit le Theoreme de Mittag-Leer
qui a marque un pas decisif dans la theorie des fonctions dune variable complexe.
Theoreme de Mittag-Leer. Soit (zk )k1 une suite discrete dans C et (mk )k1 une
suite dentiers naturels. Alors il existe une fonction meromorphe sur C ayant z1 , , zk ,
comme poles dordres respectifs m1 , , mk , .
On peut donc prescrire a lavance les poles et leurs multiplicites respectives !
2.3. Singularite essentielle
Dabord, les fonctions ayant de telles singularites existent bien. Par exemple la fonc-
tion definie sur C par f (z) = e z a pour developpement de Laurent :
1

11 1 1 1 1
f (z) = 1 + + 2
+ + +
1! z 2! z n! z n
qui montre bien que z0 = 0 est un point singulier essentiel de f .
Limportance de la notion est par exemple illustree par les deux theoremes qui suivent
qui montrent a quel point limage par la fonction dun voisinage arbitraire dune singularite
essentielle peut remplir lespace C.
Theoreme de Weierstrass. Soit z0 un point singulier essentiel isole dune fonction f
holomorphe sur un disque ouvert epointe D(z0 , r) \ {z0 }. Alors, pour tout > 0, limage
par f du disque epointe D(z0 , ) \ {z0 } est dense dans C.
Encore plus fort est le :
Theoreme de Picard. Soit z0 un point singulier essentiel isole dune fonction f holo-
morphe sur un disque ouvert epointe D(z0 , r) \ {z0 }. Alors, pour tout > 0, limage par
f du disque epointe D(z0 , ) \ {z0 } est C tout entier ou C prive dun point.
1
A titre dexercice, on peut verifier ce theoreme sur la fonction f (z) = e z en se donnant
w C, > 0 et en cherchant une suite explicite zn dans D(0, ) telle que lim f (zn ) = w.
n

64
Si w = 0, la suite zn = n1 repond a la question. En eet f (zn ) = en tend vers 0.
Desormais, on supposera w = 0. On peut donc ecrire w = rei avec r = |w| > 0 et R
(argument de w).
( x y
) ( x ) ( )
1
( z
) 2 +y 2 i x2 +y 2 i 2 y 2
On a e = e
z zz =e x =e x2 +y 2
e x +y . Pour ne pas trainer
de grosses expressions, on pose = x2 +y2 et = x2 +y2 . On va chercher notre suite
x y

(zn ) dans la courbe z(t) = t + i t ou est un reel strictement positif (quon determinera
apres) et le parametre t varie dans R+ . On a alors :

t 1 t
(t) = 2 = et (t) = 2 = 3 .
t + t t+ t + t t2 + t
On voit alors que (t) tend vers 1 lorsque t tend vers 0. Il sut donc de choisir = 1
ln(r)
pour que cette limite soit r = |w|.
Quant a la fonction (t), elle tend vers en decroissant strictement lorsque t
tend vers 0. Donc limage de R+ par la fonction est lintervalle ouvert ] , 0[. Comme
largument de w est defini a une constante additive pres du type 2n avec n Z, on
peut en fait supposer que ] , 0[.
On va construire notre suite zn de facon a ce que la suite wn = f (zn ) soit sur la demi-
droite qui part de 0 et qui passe par le point ei et converge vers le point w = rei quon sest
donne. Pour tout n N , on choisit tn R+ de telle sorte que (tn ) = 2n. Comme
(tn ) tend vers et que est strictement decroissante, la suite tn tend necessairement
vers 0.
On a evidemment ei(tn ) = ei(2n) = ei . Comme lim e(tn ) = r, on a finale-
n+
ment :
lim wn = lim f (zn ) = lim e(tn ) ei(tn ) = rei = w.
n+ n+ n+

Cest ce quil fallait demontrer.

On a ainsi etabli que limage par f de tout disque epointe D(0, ) \ {0} est dense dans
tout le plan complexe C.
3. Residus
Cest une notion importante. Nous allons lintroduire, avec quelques-unes de ses appli-
cations et notamment montrer comment on lutilise pour le calcul eectif de certaines
integrales de fonctions dune variable reelle.
Soit f une fonction holomorphe sur une couronne D(z0 , r) \ {z0 } ayant z0 comme
singularite (apparente, pole ou essentielle). Soient tel que 0 < < r et le cercle de
centre z0 et de rayon . Alors f se developpe en serie de Laurent sur D(z0 , r) \ {z0 } :
fm f1
f (z) = + + + + f0 + f1 (z z0 ) + + fn (z z0 )n +
(z z0 )m z z0

65
Comme cette serie converge uniformement sur le compact (image du chemin ), on peut
integrer terme a terme sur et on obtient :

f (z)dz = fn (z z0 )n dz.
n=

Un calcul simple (quon a deja fait) montre que tous les termes de cette serie dintegrales

sont nuls sauf fzz
1 dz
0
= 2if1 . Donc :

f (z)dz = 2if1 .

3.1. Definition. On appelle residu de f au point z0 et on note Res(f, z0 ) le coecient f1

du developpement de Laurent de f au point z0 .

Nous sommes en mesure maintenant de donner le theoreme des residus. Cest ce qui
reste comme souvenir a toute personne ayant suivi un cours de variable complexe.

3.2. Theoreme des residus. Soit f une fonction holomorphe sur un voisinage de ladherence
de louvert borne delimite par un chemin ferme simple (sans auto-intersection) et
C 1 par morceaux sauf en un nombre fini de points z1 , , zk . Alors :

k
(V.4) f (z)dz = 2i Res(f, zj ).
j=1

Demonstration. Soient r > 0 et, pour chaque j = 1, , k, soit j le cercle de centre zj et

de rayon r ; on choisit r susamment petit pour que tous les cercles j soient contenus
dans et que deux quelconques dentre eux ne se coupent pas. Soient 0 un chemin simple
dans joignant un point de a un point de 1 , 1 un chemin simple dans joignant un
point de 1 a un point de 2 , , k1 un chemin simple dans joignant un point de k1
a un point de k et k un chemin simple dans joignant un point de k a un point de .
Le dessin qui suit visualise la situation lorsque k = 2.

On note K le compact obtenu en otant de les interieurs des disques delimites par
les cercles 1 , , k . On oriente alors les chemins , 1 , , k de telle sorte que lorsquon
se deplace sur chacun deux le compact K se retrouve a notre gauche. (On peut surement
mieux faire en ayant recours a une definition plus formelle et plus mathematique mais
cette convention nous sut largement !)

66
 On decompose alors = 1 k en deux chemins fermes simples et C 1 par
morceaux 1 et 2 . Expliquons comment on fait dans le cas k = 2 en se referant au dessin.
On convient que lorientation positive sur le chemin 0 est de A vers B, sur 1 de C vers
D et sur 2 de E vers F .
Pour obtenir 1 :
on part du point A,
on va vers B en parcourant 0 (decrit dans le sens positif),
de B vers C sur 1 ,
de C vers D sur 1 (decrit dans le sens positif),
de D vers E sur 2 ,
de E vers F sur 2 (decrit dans le sens positif) et enfin
de F vers A sur .
Pour obtenir 2 :
on part du point A,
on va vers F en parcourant ,
de F vers E sur 21 (2 decrit dans le sens negatif),
de E vers D sur 2 ,
de D vers C sur 11 (1 decrit dans le sens negatif),
de C vers B sur 1 et enfin
de B vers A sur 01 (0 decrit dans le sens negatif).

Pour chaque = 0, 1, , k on a 1 f (z)dz = f (z)dz. Dautre part la fonction

67
f etant holomorphe a linterieur de chacun des domaines delimites par 1 et 2 , par le
theoreme de Cauchy on a :

f (z)dz = 0 et f (z)dz = 0.
1 2

Par suite :
k

0= f (z)dz + f (z)dz = f (z)dz f (z)dz.
1 2 j=1 j

Mais lintegrale j
f (z)dz vaut 2iRes(f, zj ). On a donc :

k
f (z)dz = 2i Res(f, zj ).
j=1

Ce qui termine la demonstration du theoreme.

4. Calcul dintegrales
Le theoreme des residus admet de multiples applications. Lune des plus connues est celle
qui lutilise pour calculer explicitement certaines integrales de fonctions dune variable
reelle comme nous lavons deja dit. Nous nous limiterons a traiter deux exemples en
detail. Mais avant, donnons quelques indications pour calculer le residu en un pole.
4.1. Soit z0 un pole dordre m dune fonction f . Alors au voisinage de ce point on a le
developpement de Laurent :
fm f1
f (z) = + + + f0 + f1 (z z0 ) + + fn (z z0 )n +
(z z0 )m z z0
et donc :

(zz0 )m f (z) = fm +fm+1 (zz0 )+ +f1 (zz0 )m1 +f0 (zz0 )m +f1 (zz0 )m+1 +

On derive les deux membres (m 1) fois et on obtient :

dm1 m! (m + 1)!
m1
((z z0 )m
f (z)) = (m 1)!f 1 + f 0 (z z 0 ) + f1 (z z0 )2 +
dz 1! 2!
On prend la limite des deux membres lorsque z tend vers z0 et on obtient :
1 dm1
(V.5) Res(f, z0 ) = f1 = lim ((z z0 )m f (z)) .
(m 1)! zz0 dz m1

Lorsque le pole z0 est simple i.e. m = 1, on a au voisinage de z0 (en dehors de z0 bien

sur) :
f1
f (z) = + f0 + f1 (z z0 ) +
(z z0 )

68
Dou :

(z z0 )f (z) = f1 + f0 (z z0 ) + f2 (z z0 )2 +

Par suite :

(V.6) Res(f, z0 ) = f1 = lim (z z0 )f (z).

zz0

Ceci devient encore plus simple si f (z) = a(z)

b(z) avec b(z0 ) = 0, a(z0 ) = 0 et b (z0 ) = 0. On
trouve (le lecteur fera les calculs) :

a(z0 )
(V.7) Res(f, z0 ) = f1 = .
b (z0 )

4.2. Premier exemple

+
Soit a calculer lintgrale I = (x2dx+1)3 . Le fait quelle existe eectivement est un
exercice facile laisse au soin du lecteur !

3 . Elle est definie et holomorphe sur C \ {i, i}.

1
Considerons la fonction f (z) = (z2 +1)
Les points i et i sont des poles dordre 3. (On nutilisera en fait que le pole z0 = i.) En
utilisant la formule (V.5) on trouve :

1 d2 ( )
Res(f, i) = lim 2 (z i)3 f (z)
2! zi dz
( )]
1 [ d2 1
=
2 dz 2 (z + i)3 z=i
3i
= .
16

Le chemin ferme auquel on va appliquer le theoreme des residus sera le suivant. Soit
R > 1 ; on part du point de coordonnees (R, 0) et on parcourt laxe reel jusquau point
de coordonnees (R, 0) ensuite on decrit le demi-cercle r de rayon R dans le demi-plan
superieur pour revenir au point (R, 0). Linterieur du chemin est un ouvert qui contient
le pole i. Dapres le theoreme des residus on a :

R
3
(V.8) f (z) = f (x)dx + f (z)dz = 2iRes(f, i) = .
R R 8

69
 Mais sur le cercle R on a :
1 1 1 1
= 2 2 = 2 .
|z 2 + 1| |z (1)| ||z | 1| R 1
Dou :  
  R
 f (z)dz 
 (R 1)3
2
R

et donc :
lim f (z)dz = 0.
R+ R

Dapres (V.8) en prenant la limite pour R tendant vers linfini, on obtient :

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

4.3. Deuxieme exemple

Lintegrale J = 0 xcos x
2 +1 existe bien. Calculons-la en utilisant le theoreme des residus.

Comme la fonction a integrer est paire, son integrale est egale a la moitie de lintegrale
cos x iz

x2 +1
. On considere la fonction f (z) = ze2 +1 . Elle est definie et holomorphe sur
C \ {i, i} et les points i et i en sont des poles simples. La fonction f est de la forme
1
a(z)
b(z) avec a(i) = e = 0 et b (i) = 2i = 0 ; en vertu de la formule (V.7) On a :

a(i) 1
Res(f, i) =
= .
b (i) 2ie
On reprend le chemin de lexemple qui precede. En appliquant le theoreme des
residus on obtient :
R

f (z) = f (x)dx + f (z)dz = 2iRes(f, i) =
R R e

70
cest-a-dire :
R ( )
cos x eiz
(V.9) dx + dz = .
R x2 + 1 R z2 + 1 e

Sur le cercle R on a |eiz | ey ou y est la partie reelle de z. Dou :

 
  R
 f (z)dz  2
 R 1
R

qui montre bien que lintegrale R
f (z)dz tend vers 0 lorsque R tends vers +. Legalite
(V.9) nous donne alors :

cos x 1 cos x
2
dx = 2
= .
0 x +1 2 x +1 2e

71

COMPLEMENT

Le theoreme fondamental de lalgebre

Tout polynome P (z) = a0 + a1 z + + an z n a coecients complexes de degre n > 0 admet

une racine dans C.
Il existe beaucoup de demonstrations de ce theoreme. Nous en presentons deux ici :
la premiere est une application du theoreme de Liouville et la deuxieme utilise des outils
de topologie algebrique et de la theorie des fonctions analytiques dune variable complexe.
Premiere demonstration
1
Supposons que le polynome P ne sannule nulle part. Alors la fonction f (z) = P (z)
est holomorphe partout dans C.
Pour R > 0, la fonction f est bornee sur le disque D(0, R) = {z C : |z| R}.
Et comme |P (z)| tend vers + lorsque |z| +, le module de f tend vers 0 ; donc
f est bornee aussi sur la couronne {z C : |z| R}, par suite f est bornee sur C tout
entier. Elle est donc constante en vertu du theoreme de Liouville ; ce qui nest pas le cas.
Lhypothese P ne sannulle nulle part est donc fausse. Ceci demontre le theoreme.
Deuxieme demonstration
On ecarte le cas a0 = 0 ou 0 est une racine evidente ; a0 sera donc non nul. Dautre
part, quitte a diviser tous les coecients par an (qui est non nul car P est de degre n), on
peut supposer ce dernier egal a 1.
1. Linegalite qui suit, evidente a etablir, sera utile pour la demonstration. On a :
 
a0 + a1 z + + an1 z n1 
lim = 0.
|z|+ |z n |
|a0 +a1 z++an1 zn1 |
Il existe alors > 0 tel que, pour |z| > , |z n | < 1. On peut donc ecrire :
 
() |z| > = a0 + a1 z + + an1 z n1  < |z n | .

2. Soit U un ouvert de C. Un chemin ferme ou lacet dans U est une application

continue : [0, 1] U telle que (0) = (1). Mais cest aussi une application continue
du cercle S1 (vu comme le groupe multiplicatif des nombres complexes z = eit de module

1) dans louvert U ; cest cette definition quon adoptera z S1 7 (z) U .
On dira que deux lacets 0 , 1 : S1 U sont homotopes sil existe une application
continue H : S1 [0, 1] U telle que H(z, 0) = 0 (z) et H(z, 1) = 1 (z). Lapplication
H est appelee homotopie entre 0 et 1 .

72
 3. On note le monome (z) = z n . Pour tout R 0, soient CR : S1 C et R :
S1 C les chemins fermes definis respectivement par CR (z) = (Rz) et R (z) = P (Rz).
Pour R = 0, C0 et 0 sont les chemins constants C0 (0) = 0 et 0 (0) = a0 .
On fait lhypothese :

(H) Le polynome P ne sannule en aucun point de C.

4. On considere lapplication H : S1 [0, 1] C definie par :

H(z, s) = P (sRz) = sR (z).

Alors H est continue et telle que H(z, 0) = 0 (z) = a0 et H(z, 1) = R (z) ; donc R est
homotope dans C au lacet constant 0 (z) = a0 . Par suite les indices I(R , 0) et I(0 , 0)
par rapport a 0 respectivement des lacets R et 0 sont egaux. On a donc :

(1) I(R , 0) = I(0 , 0) = 0.

 
5. Comme on a a0 + a1 z + + an1 z n1  < |z n | pour |z| > (cest exactement
limplication ()), on a encore :
 
s a0 + a1 z + + an1 z n1  < |z n |
( )
pour tout s [0, 1]. Donc le polynome Ps (z) = z n + s a0 + a1 z + + an1 z n1 ne
sannule jamais. On suppose desormais R > . Lapplication G : C [0, 1] C definie
par G(z, s) = Ps (z) est continue et telle que G(z, 0) = P0 (z) = (z) = z n et P1 (z) = P (z) ;
par suite lapplication K : S1 [0, 1] C , definie par legalite K(z, s) = (Rz)+sQ(Rz)
ou Q(z) = a0 + a1 z + + an1 z n1 , est une homotopie dans C entre le lacet CR et le
lacet R . Ce qui donne :

(2) I(R , 0) = I(CR , 0) = n.

6. Conclusion
Dune part, pour tout R 0, lindice de R par rapport a 0 est nul : cest legalite (1).
Dautre part, pour tout R > , lindice de R par rapport a 0 vaut n > 0 : cest legalite
(2). Il y a contradiction ! Lhypothese (H) est donc fausse i.e. le polynome P admet au
moins une racine dans C.

73
.

74


QUELQUES EXERCICES RESOLUS

75
.

76
Exercice 1

A tout point M du plan complexe C daxe z on associe le point M daxe z = h(z) ou

h(z) = z2
zi . Ou doit varier M pour que le point M soit constamment sur laxe imaginaire
pur ? (Si on fait un dessin, on voit plus clair !)
Solution

On a z = z2
zi = iz ; donc arg(z ) = arg(2 z) arg(i z). Dire que z varie sur
2z

laxe imaginaire pur, cest equivalent a dire que son argument est congru a 2 modulo .
Soient A et B les points ayant respectivement pour axes i et 2. La mesure de langle

(M A, M B) est donc congrue a 2 modulo ; par suite le point M est sur le cercle de
diametre le segment AB.

On peut aussi retrouver le meme resultat de la facon suivante. On calcule la partie

reelle de z en fonction des coordonnees reelles (x, y) du point z. On trouve :
( )
1 2
(x 1) 2
+ y 54
(z ) = 2
.
x2 + (y 1)2
( )
1 2
Dire que z est imaginaire pur, cest dire que (z ) = 0 donc (x 1)2
+ y = 54 i.e.
( 1) 2
z est sur le cercle de centre = 1, 2 et de rayon R = 25 qui est exactement le cercle
quon a deja determine.
Exercice 2
( )
On considere la fonction holomorphe J : z C 7 Z C avec Z = 1
2 z + z1 .
1 - En ecrivant z = (cos + i sin ) (avec > 0, R) et Z = X + iY , donner les
expressions de X et Y en fonction de et .

77
 2 - Quelle est limage du cercle de centre lorigine et de rayon R > 0 par la trans-
formation J ?
Solution

1 - Si z = x( + iy = (cos + i sin ) (avec ) = |z| et =argument de z) , on a

Z = X + iY = 21 ( + 1 ) cos + i( 1 ) sin . Donc :
{
X = 12 ( + 1 ) cos
Y = 12 ( 1 ) sin

2 - Dans cette situation le module est constant egal a R. Si R = 1, Y = 0 et

X = cos et decrit lintervalle [1, 1]. Donc limage du cercle unite par T est lensemble :

{X + iY : Y = 0 et 1 X 1}.

1 1
Supposons R > 1 (le lecteur traitera le cas 0 < R < 1). On pose a = 2 (R + R) et
b = 12 (R R1 ) ; a et b sont des constantes reelles strictement positives et :
{
X = a cos
Y = b sin .
2 2
Ce qui donne X Y
a2 + b2 = 1 et qui montre que limage du cercle de centre O et de rayon R
par lapplication T est une ellipse de grand axe 2a = R + R1 , de petit axe 2b = R R1 et

de foyers les points F = (c, 0) et F = (c, 0) avec c = a2 b2 = 1.
Exercice 3
+ sin x
1 - Montrer que lintegrale I = 0 x dx est convergente.
On se propose de calculer I. A cet eet, on considere la fonction h qui a z associe la
iz
quantite h(z) = ez .
2 - Pour quelles valeurs de z la fonction h est-elle definie et holomorphe ? Calculer
lintegrale de h sur le chemin defini comme suit : on se donne deux nombres reels
R > r > 0 ; on decrit laxe reel du point (R, 0) au point (r, 0), le demi-cercle r (situe
sur le demi-plan superieur) de rayon r du point (r, 0) au point (r, 0), laxe reel du point
(r, 0) au point (R, 0) et enfin le demi-cercle R (situe sur le demi-plan superieur) de rayon
R du point (R, 0) au point (R, 0).
3 - Montrer que lim h(z)dz = 0 et lim h(z)dz = i.
R+ R r0 r
Indication pour la premiere : Integrer par parties comme pour les integrales des fonctions
dune variable reelle.
4 - Deduire des questions 2 et 3 la valeur exacte de lintegrale I.

78
 Solution

1 - La fonction f (x) = sinx x est definie et continue sur R ; sa limite quand x 0

vaut 1 ; elle se prolonge donc par continuite en 0 et definit une fonction continue sur R
tout entier. Par consequent le probleme de lexistence de lintegrale en question ne se pose
qua linfini. On va montrer que cette integrale converge en utilisant le critere de Cauchy :
 
 x 
Pour tout > 0, il existe A > 0 tel que : x , x A =  x x dx
sin x
< .

Soit donc > 0 ; il sagit de trouver A > 0 verifiant la propriete quon vient de men-
x
tionner. On transforme x sinx x dx en procedant a une integration par parties. (Comme
le probleme se pose au voisinage de +, les nombres x et x seront supposes strictement
positifs.) A cet eet on pose u(x) = x1 et v (x) = sin x ; dou u (x) = x12 et v(x) = cos x.
Ce qui nous donne :

x [ cos x ]x x
sin x cos x
dx = dx.
x x x x x x2

Dou :    
 x sin x  [ cos x ]x x cos x 
   
 dx =  dx 
 x x   x x x x2 
[  
 ]x   x cos x 

cos x  +  dx

x x   x x2 
x
1 1 1
+ + dx
x x x x2
( )
1 1
2 +
x x

Si on prend nimporte quel A > 4 alors clairement la condition x , x A implique

( ) + sin x
2 x1 + x1 < . Ce nombre A repond a la question. Lintegrale 0 x dx est donc
convergente. 
Comme la fonction continue x R 7 sinx x R est paire, on va calculer plutot
lintegrale :
+
sin x
2I = dx.
x

2 - La fonction h(z) = ez est definie et holomorphe pour tout point z C . Elle

iz

est donc holomorphe sur linterieur du contour . Par consequent, dapres le theoreme de
iz
Cauchy ez dz = 0.

79
 3 - Pour calculer la premiere limite on procede par integration par parties (comme
pour les integrales des fonctions dune variable reelle). On pose u (z) = eiz et v(z) = z1 ;
iz
dou u(z) = ei et v (z) = z12 . Ce qui nous donne :
[ eiz ]+R
eiz eiz
dz = + dz
R z iz R R iz 2

et donc :      
 eiz   eiR eiR   eiz 
 dz  
 z iR + 2
dz 
R R iz
 
2  eiR(cos +i sin ) 

+ iRe i
d 
R 0 iR2 e2i
 iR cos 
2  e 
+ i
eR sin d .
R 0 Re

Mais sin 0 pour 0 ; donc eR sin 1. Ceci nous permet de majorer le

deuxieme terme du membre de droite et davoir finalement linegalite :
 
 eiz  2 +
 dz  qui tend vers 0 quand R +.
 z R
R

Donc lim h(z)dz = 0.
R+ R
Pour calculer la deuxieme limite, on utilise le developpement de Laurent de la fonction
h au voisinage de 0 ; on a :
( )
1 iz (iz)n
h(z) = 1+ + + +
z 1! n!

80
qui montre que h(z) = 1
z + (z) ou est une fonction holomorphe sur C tout entier. On
a donc :
dz
h(z)dz = + (z)dz.
r r z r

Mais, comme est holomorphe sur C, elle est bornee (par une constante M > 0) sur un
compact contenant r ; donc :
     
     0 
 (z)dz  M  dz  = M  irei d = M r 0.
r0

r r

Dautre part : 0
dz irei
lim = lim d = i.
r0 r z r0 rei
4 - Lorsque le point z est sur laxe reel, il se reduit a sa partie reelle ; on le notera
donc x. On a (en utilisant le resultat de la question 2) :
r R
eix eiz eix eiz
0= h(z)dz = dx + dz + dx + dz.
R x r z r x R z

On prend les limites lorsque R + et r 0. Tenant compte des calculs precedemment

etablis on obtient : 0 ix + ix
e e
dx + dx = i.
x 0 x
Lidentification des parties reelles et imaginaires des deux membres de cette egalite nous
+
donne finalement 2I = sinx x dx = , cest-a-dire I = 2 . 
Exercice 4

Soient a, b, c, d quatre nombres complexes tels que ad bc = 1 et c = 0. Pour tout z dans

louvert U = C \ { dc } on pose :
az + b
h(z) = .
cz + d
1 - Dire pourquoi la fonction h : z U 7 h(z) C est holomorphe. Quelle est la
nature de sa singularite z0 = dc ? Calculer le residu de h en z0 .
2 - Determiner limage de U par h. Montrer que h : U 7 est une bijection en
determinant son inverse h1 .
3 - Soit le cercle de centre u U et de rayon r > 0 parametre par lapplication
t [0, 1] 7 e2it et ne passant pas par z0 . Caluler lintegrale :

h(z)dz.

81
 Solution

1 - La fonction h est une fraction rationnelle ; elle est holomorphe partout ou son
denominateur est non nul, cest-a-dire sur tout louver U . Un calcul simple nous donne :

az + b
h(z) =
cz + d
a
(cz + d) + b ad
= c c
cz + d
bcad
a c
= +
c cz + d
1
a 2
= + c d.
c z+ c

Le point z0 = dc est donc un pole simple de h et Resh(z0 ) = 1

c2 .
2 - Soit w C ; peut-on trouver z U tel que h(z) = w ? Si cest le cas on doit
dw+b
cz+d = w i.e. (cw a)z = dw + b. Si w = c on a z = cwa et ce point est
avoir az+b a

unique. La fonction h realise donc une bijection entre U et louvert = C \ { ac } dinverse

h1 (w) = dw+b
cwa .
3 - Soient u U et (u) = |u z0 |. On sait que r = (u). Si r < (u), le point z0 est

exterieur au cercle et donc h(z) = 0. Supposons r > (u) i.e. le point z0 est interieur

au cercle . Donc h(z)dz == 2iRes(h, z0 ) = 2i c2 .

Exercice 5

Soient z0 = x0 + iy0 un point de C, n Z et f la fonction f (z) = (z z0 )n . Soit a un

reel strictement positif. On pose :

z1 = (x0 a) + i(y0 a), z2 = (x0 + a) + i(y0 a)

z3 = (x0 + a) + i(y0 + a), z4 = (x0 a) + i(y0 + a)

et on note la courbe bord du carre z1 z2 z3 z4 orientee positivement i.e. les sommets sont
dans lordre z1 , z2 , z3 , z4 . Calculer de deux manieres dierentes lintegrale :

f (z)dz.

Solution

Pour calculer lintegrale, on fait un changement de variable en posant w = z z0 . Tout sera

alors translate autour de lorigine : on aura a calculer lintegrale de wn sur le bord du

82
carre dont les sommets sont w1 = a(1 i), w2 = a(1 i), w3 = a(1 + i) et w4 = a(1 + i)
parcouru dans le sens w1 w2 w3 w4 .
Premiere methode
Elle consiste a parametrer et a faire directement le calcul de lintegrale sur les quatre
cotes du carre. On a :
a a a a
n
w dw = (x ia) dx +
n n
(a + iy) idy + n
(x + ia) dx + (a + iy)n idy.
a a a a

Pour n = 1, on a :

1 [ ]a
wn dw = (t ia)n+1 + (a + it)n+1 (t + ia)n+1 (a + it)n+1 a = 0.
n+1

Si n = 1, on a :
a a a a
dw 1 1 1 1
= dx + idy + dx + idy
w a x ia a a + iy a x + ia a a + iy

qui donne :
a ( ) a ( )
dw 1 1 1 1
= dt + dt
w a t ia t + ia a t ia t + ia
+a
dt
= 4ia
a t2 + a2
+a ( )
1 dt
= 4i (( ) ) (et en posant u = at )
a t 2 a
a +1
+1
du
= 4i
1 u2+1
+1
= 4i [Arctg(u)]1
= 2i.

Deuxieme methode
Sur C on considere la norme ||z|| = ||x + iy|| = max(x, y). Le chemin peut alors etre
parametre par (t) = a||e2i ||e2i (avec t [0, 1]) de facon dierentiable par morceaux (il
est conseille de regarder de pres, cest assez instructif). Ainsi est homotope au chemin
ferme : t [0, 1] 7 e2it par lapplication (clairement continue) H : [0, 1] [0, 1] C
donnee par H(t, s) = (1 s)(t) + s(t). Par suite :
1 {
n n 2i(n+1)t 0 si n = 1
w dw = w dw = 2i e dt =
0 2i si n = 1.

83
Exercice 6

Pour tout nombre complexe z, on designe par |z| son module et Arg(z) son argument.
{ }
On note louvert = z C : 4 < Arg(z i) < 3 4 . (Il est conseille de dessiner cet
ouvert.)

Quelle est limage de louvert par lhomographie h : z 7 z = z1

z+1
?

Solution

De la relation z = z1
z+1
on deduit z = zz 1
+1 . Ce qui donne z i = (1 i) (1)z . Pour
iz

z = i, notons largument de (z i). On a :

( )
i z
= Arg(1 i) + Arg ,
(1) z

cest-a-dire :

(1) Arg(i z ) Arg((1) z ) = + .
4

Soient A et B les points daxes respectives 1 et i ; M etant le point daxe z . La

relation (1) est equivalente a :

( )
(2) M A, M B = + .
4

( )
Pour =
4, M A, M B =
2 ; le point M varie alors sur le demi-cercle + de diametre
[AB] prive des points A et B et du (cote de la droite
) (AB) qui ne contient pas lorigine. De la

meme maniere, pour = 4 , on a M A, M B = ; donc le point M varie sur le segment
3
( )
ouvert ]AB[. Pour une valeur de telle que 4 < < 3 4 , on a
2 < M A, M B < 34 ,
et donc le point M varie sur larc de cercle (voir dessin ci-dessous) prive de A et B.
On en deduit finalement que le point M varie sur le demi-disque ouvert delimite par le
demi-cercle + et le segment [AB] ; cest limage de par lhomogrpahie h.

84
Exercice 7
Soit f : C C une fonction holomorphe sur C tout entier. On rappelle que
f secrit sous forme dune serie entiere dont le rayon de convergence est egal a + :

f (z) = n=0 an z n . On admet le resultat suivant (qui est une consequence du theoreme
de Weierstrass) : si le cardinal de lensembe {n N : an = 0} est infini, pour tout M > 0,
limage de louvert {z C : |z| > M } est une partie dense de C. On rappelle aussi quon
appelle automorphisme dun ouvert U C toute bijection h : U U telle que h et son
inverse h1 soient holomorphes. Le but de cet exercice est de determiner le groupe Aut(C)
des automorphismes de C.
1 - Soit f Aut(C). Montrer que f est une fonction polynome a0 + a1 z + + an z n .
(Indication : utiliser le fait que U = {z C : |z| < 1} et V = {z C : |z| > 1} sont des
ouverts non vides et disjoints.)
2 - Montrer que Aut(C) est constitue de toutes les transformations de la forme f (z) =
az + b avec a C et b C.
3 - Question bonus
Montrer que Aut(C) est le produit semi-direct C o C ou le groupe multiplicatif C
agit sur le groupe additif C par homotheties complexes.
Montrer que Aut(C) est resoluble et non nilpotent.
Solution
1 - Un automorphisme f de C est avant tout une fonction holomorphe sur C tout


entier. Elle se developpe donc en serie entiere f (z) = an z n (de rayon de convergence
n=0

85
R = +). Si le nombre de termes non nuls de cette serie etait infini, louvert V = f (V )
serait dense dans C, en particulier tout point de louvert U = f (U ) serait adherent a V ;
mais ceci est impossible car U et V sont deux ouverts disjoints, tous les deux non vides.
k
Par consequent f est un polynome f (z) = ak z k .
k=0

k
2 - On vient de voir que tout f Aut(C) est un polynome f (z) = ak z k . Comme
k=0
lapplication f est bijective, et donc a fortiori injective, ce polynome doit etre du premier
degre, cest-a-dire de la forme f (z) = az + b avec a C et b C.
3 - Question bonus
Nous venons de voir que f Aut(C) est constitue des transformations anes du plan
complexe C, cest-a-dire les applications de la forme f : z C 7 az + b C avec a C
et b C. Si lelement f Aut(C) est defini par le couple (b, a) et f par le couple (b , a )
alors f f est defini par le couple (a b + b , a a) : facile a voir, il sut de composer les
applications f et f dans lordre f f (faire attention a cela dans la suite des calculs).
( )
Linverse de f est donne par le couple ab , a1 .
Le groupe multiplicatif C agit sur le groupe additif (C, +) par homotheties com-
plexes (a, t) C C 7 at C. Cette action permet de construire le produit semi-direct
C o C dans lequel la multiplication est simplement (b, a) (b , a ) = (a b + b , a a). On voit
donc immediatement que lapplication :

: (b, a) C o C 7 {z 7 az + b} Aut(C)

est un homomorphisme bijectif, donc un isomorphisme de C o C sur Aut(C).

Montrons que Aut(C) est resoluble. Soient f = (b, a) et f = (b , a ) deux elements
de Aut(C). On a :
( ) ( )
1 b 1 1 b 1
(b, a) = , et (b , a ) = ,
a a a a
et donc : ( )
1 1 b b b b
(b, a)(b , a )(b, a) (b , a ) = + ,1 .
a a aa
Ceci montre que le premier groupe derive G1 = [Aut(C), Aut(C)] de Aut(C) est contenu
dans le sous-groupe C {1}. En fait, il y a egalite car, pour tout C, (, 1) est le
[ ]
commutateur (0, 2), (, 21 ) . Comme G1 = C {1} est un groupe abelien, G2 = [G1 , G1 ]
est reduit a (0, 1) ; donc Aut(C) est resoluble.
Un calcul similaire au precedent permet de montrer que G2 = [G1 , Aut(C)] = G1 et
par suite :
G3 = [G2 , Aut(C)] = = [Gn , Aut(C)] = = G1 .

86
Comme G1 nest pas le groupe trivial, Aut(C) nest pas nilpotent.

Exercice 8

1 - On considere la fonction dune variable reelle f (x) = ln(1 x). Donner le

developpement en serie entiere au voisinage de 0 de la fonction f . Preciser les valeurs
de x pour lesquelles ce developpement est valable.
1
Considerons la serie entiere S(x) = n=0 an xn ou x est reel et an = (n+1)(n+3) .
2 - Calculer le rayon de convergence R de la serie S.
3 - On pose g(x) = x3 S(x). Donner le developpement en serie entiere au voisinage de

0 de la fonction g x(x) (g designe la derivee de g).
4 - En deduire lexpression explicite (en termes de fonctions elementaires bien connues)
de la somme de la serie S.

Solution

1 - La fonction f est la primitive qui sannule en 0 de g(x) = 1

1x ; celle-ci admet le
developpement en serie entiere :

g(x) = xn
n=0

pour tout x R avec 1 ; f aura donc un developpement en serie entiere donne comme
suit:

xn
f (x) = .
n=1
n

Le rayon de convergence est le meme i.e. egal a 1.

2 - On calcule la limite du rapport aan+1
n
quand n tend vers linfini qui est precisement
le rayon de convergence R de la serie S(x). On a :

an (n + 2)(n + 4)
lim = lim = 1.
n an+1 n (n + 1)(n + 3)

3 - On a :




3 3 n n+3 xn+3
g(x) = x S(x) = x an x = an x =
n=0 n=0 n=0
(n + 1)(n + 3)

et donc :
x2 x3 xn+2
g (x) = + + + +
1 2 n+1

87
Par suite :
g (x) x x2 xn+1
= + + + + = ln(1 x).
x 1 2 n+1
Dou : x
3
x S(x) = t ln(1 t)dt.
0

Pour calculer cette integrale, on procede par integration par parties en posant du = t et
v = ln(1 t). Ce qui donne :
x [ ( )]x
t2 1 t t
x S(x) =
3
t ln(1 t)dt = ln(1 t) + ln(1 t) + 1+ .
0 2 2 2 2 0

On obtient finalement :
( )
1 x2
S(x) = 3 (1 x )ln(1 x) + x +
2
.
2x 2

Exercice 9

On considere lequation dierentielle suivante dans laquelle y represente une fonction reelle
de la variable x :
xy + 3y 4x3 y = 0.

1 - Montrer quil existe une solution unique y de cette equation dierentielle donnee
n
sous forme dune serie entiere n=0 an x et verifiant la condition y(0) = 1. Calculer
explicitement le rayon de convergence R de cette serie.
2 - Donner lexpression de y en termes de fonctions elementaires bien connues.
Solution

1 - Si une telle solution existe, elle secrit y(x) = n=0 xn ou x ] R, +R[ avec
R > 0, rayon de convergence de cette serie entiere. Pour tout reel tel que 0 < < R, la
serie converge uniformement sur lintervalle compact [, +] ; on peut donc deriver sous
le signe somme. On aura alors :




y (x) = n1
nan x et y (x) = n(n 1)an xn2 .
n=1 n=1

Ce qui donne :





xy (x) + 3y (x) 4x y(x) = 3
n(n 1)an x n1
+ n1
3nan x 4an4 xn1
n=2 n=1 n=4

88
cest-a-dire :


xy (x) + 3y (x) 4x3 y(x) = 3a1 + 8a2 x + 15a3 x2 + (n(n + 2)an 4an4 ) xn1 .
n=4

Comme xy (x) + 3y (x) 4x3 y(x) = 0 pour tout x ] R, +R[, on doit avoir :

a1 = a2 = a3 = 0

et
n(n + 2)an 4an4 = 0 pour n 4.

Dautre part, la condition initiale y(0) = 1 donne a0 = 1. Finalement, les seuls coecients
non nuls de la serie sont ceux du type a4k avec k N ; ceux-la verifient la relation :

4a4(k1) a4(k1)
a4k = = pour k 1.
4k(4k + 2) 2k(2k + 1)

Apres calcul et simplification, on obtient :

a0 1
a4k = = .
(2k + 1)! (2k + 1)!

Dou :

x4k
y(x) = .
(2k + 1)!
k=0
xk
Calculons dabord le rayon de convergence R0 de la serie k=0 (2k+1)! :

ak (2k + 3)!
R0 = lim = lim = = lim (2k + 2)(2k + 3) = +.
k k ak+1 (2k + 1)! k
x4k
On en deduit que le rayon de convergence de la serie k=0 (2k+1)! est aussi infini. Il y
a donc une seule solution y de lequation dierentielle etudiee qui se developpe en serie
entiere qui verifie y(0) = 1.
2 - On a :


x4k 1 (x2 )2k+1 sh x2
y(x) = = 2 = .
(2k + 1)! x (2k + 1)! x2
k=0 k=0

89
.

90


QUELQUES EXERCICES EN VRAC

91
.

92
Exercice 1

Soit f (z) = n=0 an z n une serie entiere. On rappelle que le rayon de convergence de f

est le plus grand R > 0 tel que, pour z C, la serie n=0 an z n converge absolument pour
|z| < R et diverge pour |z| > R. Donner le rayon de convergence de chacune des series
suivantes.

n n 1 n 1 n
z , nz , z , z
n=0 n=0 n=1
n n=0
n!

1 nn n (1)n n
zn, z , n 2n+1
a z avec a C, z .
n=1
n n=1
n! n=0 n=1
nn

Exercice 2

Resoudre dans C les equations suivantes.

z
ez = 3, ez = 2, ez = i, sin z = 0, shz = 0, e 1+z = 1 i.

Exercice 3

Le corps C des nombres complexes est un espace vectoriel de dimension 1 sur lui-meme.
Mais cest aussi un espace vectoriel de dimension 2 sur le corps R des nombres reels ; les
nombres complexes 1 et i en forment une base : tout z C secrit z = x + iy avec x, y R;
ce qui donne donc un isomorphisme de R-espaces vectoriels C R2 .
On munit C de son produit hermitien :

(z, z ) C2 7 zz C.

1 - Donner lequation du cercle () de centre z0 = 2 + i et de rayon 2. Le dessiner

dans le plan complexe.
2 - Pour tout nombre complexe z, on designe par z et z respectivement sa partie
reelle et sa partie imaginaire. On note H le demi-espace {z C : z > 0}. Dessiner et
colorer (en rouge) la region complexe () de H definie comme suit.
{ }
1
() = z H : |z| < et |z| > 1 .
2

3 - Quelle est limage ( ) de () par lapplication : z H 7 z1 H ? Dessiner

cette region ( ) et la colorer (en jaune).

93
Exercice 4

Soit f (z) = n=0 an z n une serie entiere. On notera R son rayon de convergence quon
supposera non nul. Sur le cercle |z| = R, on ne sait pas en general ce qui se passe : la
serie peut converger en certains points et diverger en dautres. Dans certaines situations
on sait donner des reponses.

Montrer que la serie n=1 n1 z n converge pour tout z = 1 avec |z| = 1. (Utiliser le
critere de convergence dAbel.)

Exercice 5

1 np
Soit p un nombre entier naturel non nul. Considerons la serie entiere f (z) = z .
n=1
n
1 - Montrer que son rayon de convergence est egal a 1.
2 - En quels points du cercle |z| = 1 la serie f converge-t-elle ?

Exercice 6

Soient p un entier naturel non nul et z1 , , zp des points sur le cercle () dequation |z| = 1.
Donner un exemple de serie entiere ayant 1 comme rayon de convergence, divergente sur
lensemble {z1 , , zp } et convergente en tout autre point de ().

Exercice 7

Trouver les transformees des figures suivantes par lapplication qui au point z C {}
associe le point w = z1 C {}.
1 - Le cercle |z 1| = 1.
2 - Le cercle |z 12 | = 41 .
3 - Le cercle |z| = r.
4 - La droite z = avec R.
5 - La famille de toutes les droites paralleles a la premiere bissectrice.
6 - La famille de toutes les droites passant par un point z0 = 0.
7 - Le triangle de sommets les points z0 = 0, z1 = 1 et z2 = i.

Exercice 8

Pour chacune des fonctions suivantes, donner les 5 premiers termes de son developpement
en serie entiere au voisinage de lorigine.
( )
z 1 z
f (z) = e 1z g(z) = sin h(z) =
1z ez 1

z 1 ez
k(z) = log(1 + e ) (z) = (cos z) 2 m(z) = z .
e +1

94
Exercice 9

Soient I un intervalle ouvert de R et f : I R une fonction. On dira que f est analytique

si, pour tout x0 I, il existe r > 0 tel que lintervalle ouvert Ir =]x0 r, x0 +r[ soit contenu


dans I et pour tout x Ir on ait un developpement en serie f (x) = an (x x0 )n .
n=0
1 - Montrer que toute fonction polynome f (x) = a0 + a1 x + + an xn est analytique
sur R tout entier.
2 - Montrer que toute fonction analytique f : I R est de classe C .
3 - Montrer que la fonction f : R R definie par :
{
e x2
1

f (x) = pour x = 0
0 sinon

est de classe C mais quelle nest pas analytique.

Exercice 10

Une courbe dierentiable : I C (I intervalle ouvert de R) dans C est dite reguliere

au point (t0 ) si son vecteur derive (t0 ) est non nul.
Soit f : U C une fonction de classe C 1 . Soient z0 un point de U , > 0 et
1 , 2 :] , +[ U deux courbes dierentiables, regulieres au point z0 et telles que
1 (0) = 2 (0) = z0 . On pose 1 = f 1 et 2 = f 2 . Alors 1 et 2 sont des courbes
dierentiables dans C.

1 - On suppose f holomorphe au voisinage de z0 et telle que f (z0 ) = 0. Montrer alors

que les angles orientes (1 (t0 ), 2 (t0 )) et (1 (t0 ), 2 (t0 )) sont egaux.
On voit donc quune application holomorphe preserve les angles orientes. Une appli-
cation dierentiable qui preserve les angles est dite conforme.

2 - Montrer que toute application dierentiable f : U C qui preserve les angles

orientes est holomorphe. Donner un exemple ou on voit que la seule condition preseve les
angles (mais pas leur orientation) nest pas susante.

Exercice 11

Soient U un ouvert de C, f : U C une fonction holomorphe et : [a, b] C une

courbe de classe C 1 donnee par (t) = x(t) + iy(t). On rappelle que lintegrale de f le long
de est le nombre complexe
b
f (z)dz = {f ((t)) (x (t) + iy (t))} dt.
a

95
Soit un cercle quelconque de centre z0 et de rayon > 0. Calculer cette integrale pour
les fonctions f suivantes :
(i) - f est un polynome a0 + a1 z + + an z n ;
(ii) - f (z) = z1 . (Cette situation necessite une discussion suivant la position de la
courbe par rapport a lorigine 0.)

Exercice 12

1 - Montrer que toute fonction polynome f (z) = a0 + a1 z + + an z n est holomorphe

sur le plan complexe tout entier.
2 - Dire pourquoi les fonctions , : C 7 C definies respectivement par (z) = z =
x iy et (z) = zz = x2 + y 2 ne sont pas holomorphes mais quelles sont analytiques en
x et y.
3 - Soit : C C lapplication definie par (x + iy) = (ax + by) + i(cx + dy) ou a,
b, c, et d sont des constantes reelles. Quelles conditions doivent satisfaire a, b, c, et d pour
que soit holomorphe ?
4 - On note H le demi-plan {z C : z > 0} et D le disque unite {z C : |z| < 1}.
Montrer que lapplication : z H 7 zi
z+i C est une bijection holomorphe de H sur D.
5 - Donner explicitement la bijection inverse 1 de et montrer quelle est aussi
holomorphe.

Exercice 13

On note z0 et z1 respectivement les points 0 et 1 + i. Soit une courbe dorigine z0 et

dextremite z1 . Calculer la valeur de lintegrale (1 + i 2z)dz lorsque est :
a) le segment qui joint z0 et z1 ;
b) la portion de parabole dequation y = x2 qui joint z0 et z1 ;
c) la ligne polygonale z0 wz1 ou w = 1.

Exercice 14

Soient f la fonction f (z) = z 2 + |z|2 et le demi-cercle {z = ei : 0 }. Calculer

lintegrale f (z)dz.

Exercice 15

On prend la branche de z pour laquelle 1 = 1. Soient g la fonction g(z) = 1 et le
z
demi-cercle {z = ei : 0 }. Calculer lintegrale g(z)dz.

Exercice 16

Soient U un ouvert simplement connexe de C et f : U C une fonction analytique.

Rappellons dabord les resultats importants qui suivent.

96
 i) Soit : [0, 1] U une courbe fermee C 1 par morceaux. Alors lintegrale

f (z)dz est nulle.
ii) Soient z0 et z1 deux points de U et une courbe simple C 1 par morceaux dorigine

z0 et dextremite z1 . Alors lintegrale f (z)dz est independante de ; elle sera donc notee
z1
z0
f (z)dz.
iii) Soit F : U C une primitive de f (qui existe toujours car U est simplement
connexe). On a la formule de Newton-Leibniz :
z1
f (z)dz = F (z1 ) F (z0 ).
z0

En utilisant la formule de Newton-Leibniz (quon vient de donner), Calculer les

integrales suivantes :
2+i i
2
(3z + 2z)dz et z cos zdz.
1i 0

Exercice 17

Soit U un ouvert connexe de C. On dira que U est une couronne (centree en z0 ) sil existe
des reels r1 et r2 tels que 0 < r1 < r2 et U = {z C : r1 < |z z0 | < r2 }.
1 - Soit f : U C une fonction holomorphe. Montrer que f est analytique sur U
i.e. pour tout z0 U , il existe > 0 tel que, pour tout z D(z0 , ) (disque ouvert de
centre z0 et de rayon ), on ait :


f (z) = fn (z z0 )n
n=0

ou les fn sont des nombres complexes quon determinera.

2 - Supposons maintenant que U est une couronne {z C : r1 < |z z0 | < r2 }.
Montrer que, pour tout point z U , f (z) secrit :

+
f (z) = fn (z z0 )n

ou les fn sont des nombres complexes independants de z et quon determinera.

Exercice 18

Soient a et c deux reels strictement positifs tels que a > c et F et F deux points du plan
complexe ayant pour axes respectifs c et c. On appelle ellipse de foyers F et F et de
parametre a lensemble (E) des points M du plan tels que M F + M F = 2a.

97
 1 - Soit b ]0, +[ tel que a2 = b2 + c2 . Montrer que (E) est une courbe fermee ayant
pour equation :
x2 y2
+ = 1.
a2 b2
2 - Montrer que (E) est limage de [0, 2] par lapplication : R C qui a t associe
le point daxe (t) = a cos t + ib sin t.
3 - Soit () le cercle unite, image de [0, 2] par lapplication : t R 7 eit C.
dz
Calculer dz
z et z et en deduire la valeur de lintegrale :
2
dt
.
0 (a cos t)2 + (b sin t)2

Exercice 19

Soient a C et : [0, 1] C \ {a} un chemin ferme. On rappelle que lindice de par

rapport au point a est le nombre entier :

1 dz
I(, a) = .
2i z a

Soit f : [0, 1] C une fonction continue telle que ef (t) = (t) a ; on a alors :
f (1) f (0)
I(, a) = .
2i
Soient 1 , 2 : [0, 1] C deux chemins fermes dans C . Pour tout [0, 1], on pose
(t) = 1 (t)2 (t) ; on definit ainsi un chemin ferme : [0, 1] C quon appelle produit
de 1 et 2 .
1 - Soient R > 0 et f une application continue disque ferme {z C : |z| R} et sa
restriction au cercle {z C : |z| = R}. Soit a un point qui nest pas sur limage de et tel
que I(, a) = 0. Montrer que f prend au moins une fois la valeur a sur le disque ouvert
{z C : |z| < R}
2 - Montrer que I(, 0) = I(1 , 0) + I(2 , 0).
3 - Soient : [0, 1] C et 1 : [0, 1] C deux chemins tels que |1 (t)| < |(t)|
pour tout t [0, 1]. Montrer que le chemin + 1 ne prend jamais la valeur 0 et quon a
I( + 1 , 0) = I(, 0).

Exercice 20

Soit k un nombre reel non nul. On note J linversion dans le plan complexe de pole
lorigine O et de puissance k : a tout point M distinct de O, J associe le point M de la

droite (OM ) tel que OM OM = k.

98
 1 - On note z et z les axes respectivement de M et M . Donner lexpression de z
en fonction de z.
2 - Soit une droite ane dans C. Quelle est limage de par J ?
3 - Soit un cercle dans C. Quelle est limage de par J ?
4 - Soit :] , [ C (ou est un reel strictement positif) une courbe dierentiable
ayant une tangente au point M0 = (0). On note limage de par J et M0 celle
de M0 . Montrer que la courbe admet une tangente en M0 et que et sont
symetriques par rapport a la mediatrice du segment [M0 M0 ].
5 - Montrer que J est une transformation conforme cest-a-dire elle preserve les angles
(entre courbes dierentiables). En deduire quil en est de meme pour toute homographie.

Exercice 21

1 - Trouver les zeros des fonctions qui suivent et leurs multiplicites respectives.

z8
f (z) = 1 + cos z, g(z) = 1 ez , h(z) = et k(z) = (z 2 + 1)sh z.
z sin z

2 - Determiner le caractere des points singuliers des fonctions suivantes.

ez 1 sin z
f (z) = , g(z) =
z z3 + z2 z 1
et :
1 cos z 1
h(z) = , k(z) = (z 1)e z1 .
z7

Exercice 22

Pour chacune des fonctions suivantes, preciser ses points singuliers et leur nature. Determi-
ner les residus de ces fonctions en ces points.

sin z 2 ez 1
f (z) = , g(z) = , h(z) =
z 3 4 z 2 (z + 1)3 (z 2) z4 +1

1
sin 3z 3 sin z ez 1
k(z) = , (z) = , m(z) = z 3 sin .
(sin z z) sin z 1z z2

Exercice 23

Calculer, en utilisant le theoreme des residus, la valeur de chacune des integrales suivantes.
z
a) ze2 1
+z dz ou est le cercle de centre 0 et de rayon 4.

b) tg(z)dz ou est le cercle de centre 0 et de rayon 2.

99
 1
e z2
c) z 2 +1
dz ou est le cercle de centre i et de rayon 32 .
dz
d) En faisant intervenir le residu a linfini, calculer la valeur de lintegrale z 4 +1
ou
est le cercle de centre lorigine et de rayon 2.
Exercice 24

En utilisant le theoreme des residus, calculer les valeurs des integrales :

x2
dx, a>0
0 (x2 + a2 )2

et
x sin(ax)
dx, a > 0 et k > 0.
0 x2 + k 2

Exercice 25

ex dx vaut
2
1 - Montrer que lintegrale 0 2 .
2 - En utilisant la question qui precede, calculer les integrales suivantes dites integrales
de Fresnel :
I1 = cos x2 dx et I2 = sin x2 dx.
0 0

Exercice 26

Soit a un nombre reel tel que 0 < a < 1. Caluler lintegrale suivante :
+
eax
dx.
1 + ex

Exercice 27

La formule qui suit est interessante dans les calculs de sommes de series :
Soit f une fonction holomorphe sur C \ {z1 , , zk } ou z1 , , zk sont des complexes qui
nappartiennent pas a Z. Supposons quil existe une constante C > 0 telle que |z 2 f (z)| C
pour |z| assez grand. Alors :

+
k
f (n) = Res (f (z)cotg (z), zj ).
j=1

Soit a un nombre reel non nul. Calculer la somme de la serie :

1
.
n=1
n2 + a2

100
Exercice 28

Soient r et R deux nombres reels tels que 0 < r < R et D la demi-couronne fermee du plan
complexe {z C : r |z| R et z 0}. On note le bord de D oriente en passant
successivement par les points r, R, R et r et et les parties de contenues dans
les cercles centres a lorigine et de rayons respectifs r et R. Soit f : C C la fonction
definie par :
3eiz e3iz
f (z) = .
z3
1 - Calculer lintegrale de f le long de .
2 - Montrer que lintegrale de f le long de tend vers 0 quand R tend vers linfini.
3 - Quel est le residu de f a lorigine ? En deduire la limite de lintegrale de f le long

de lorsque r tend vers 0.
4 - En utilisant ce qui precede, calculer lintegrale :
+
3 sin x sin(3x)
dx.
0 x3

Exercice 29

Pour tout w C, w designera sa partie reelle ; on note = {z C : |z| < 1} le disque

unite ouvert de C et son adherence. Soit f une fonction holomorphe sur un ouvert U
contenant . On definit les fonctions A, M : [0, 1] R par :

M (r) = sup |f (z)| et A(r) = sup f (z).

|z|=r |z|=r

1 - Montrer, en utilisant le principe du maximum, que la fonction M est croissante et

quelle est strictement croissante si f nest pas constante.
2 - Montrer que, pour tout r [0, 1], on a :
( )
 
 f (z) 
A(r) = log sup e  .
|z|=r

En deduire que la fonction A est croissante et quelle est strictement croissante si f nest
pas constante.
3 - On suppose que f nest pas constante et que f (0) = 0. Montrer que la fonction
f (z)
definie par g(z) = 2A(1)f (z) est holomorphe sur et quelle verifie |g(z)| < 1 pour tout
z . En deduire, en utilisant le lemme de Schwarz que, pour tout r [0, 1], on a :

2r
M (r) A(1).
1r

101
Exercice 30

On note H le demi-plan superieur {z = x + iy C : y > 0} et D le disque unite ouvert

{z C : |z| < 1}. A tout z C \ {i} on associe z C tel que z = h(z) = zi
z+i .
1 - Montrer que, pour tout z H, z D.
2 - Montrer que h est un biholomorphisme de H sur D (i.e. h est une bijection entre
H et D et quelle est holomorphe ainsi que son inverse h1 ).
3 - On pose z = x + iy et z = x + iy . Calculer x et y en fonction de x et y .
4 - Soient la droite dequation y = avec R+ et le cercle de centre z0 = i
et de rayon ]0, 1[. Quelles sont les images et respectivement de et par la
transformation h ?

Exercice 31
2
Soit f : C C la fonction definie par f (z) = eiz . On note A le point de coordonnees
(R, 0) avec R R+ et R le cercle de centre lorigine et de rayon R.
1 - Calculer lintegrale de f sur le chemin ferme constitue du segment OA, larc AB
(morceau du cercle R ) et le segment BO (cf. dessin qui suit).

2 - On rappelle que 0 ex dx vaut 2 . En decomposant le calcul de lintegrale
2

f (z)dz sur les trois morceaux constituant le contour et en faisant tendre R vers +,

montrer que les integrales 0 cos(x2 )dx et 0 sin(x2 )dx convergent et donner leurs valeurs
respectives.

102
 BIBLIOGRAPHIE

Ce cours est un bref apercu de la theorie des fonctions dune variable complexe
sous un aspect melangeant analyse et geometrie. Ceux qui desirent en savoir plus
peuvent consulter les references mentionnees ci-apres.

[Ahl] Ahlfors, L.V. Complex Analysis. Collection Mathematics Series, McGraw-Hill

(1979).
[Car] Cartan, H. Theorie elementaire des fonctions analytiques dune ou plusieurs vari-
ables complexes. Collection Enseignement des Sciences, Hermann (1985).
[JS] Jones, G. & Singerman, D. Complex Functions. An algebraic and geometric
viewpoint. Cambridge University Press, (1987).
[LC] Lavrentiev, M. & Chabat, B. Methodes de la theorie des fonctions dune variable
complexe. Editions Mir, Moscou (1972).
[SG] Saint-Gervais, H. P. Uniformisation des surfaces de Riemann. ENS Editions, Lyon
(2010).
[Vid] Vidonne, R. Groupe circulaire, rotations et quaternions. Collections CAPES et
Agregation, Ellipses (2001).
[Vog] Vogel, P. Fonctions analytiques. Collection Licence, Dunod (1999).

Aziz El Kacimi
LAMATH, ISTV2
Le Mont Houy
Universite de Valenciennes
59313 Valenciennes Cedex 9

aziz.elkacimi@univ-valenciennes.fr
http://www.univ-valenciennes.fr/lamav/elkacimi/

103