Vous êtes sur la page 1sur 126

Analyse complexe

(Notes de cours)
Gerald Tenenbaum
Universite de Lorraine
Faculte des sciences et technologies
Licence de Mathematiques (LMI6.33) 2011/2012
(3/6/2012, 13h05)
Diusion etudiants
Table des mati`eres
Chapitre I. Le corps des nombres complexes . . . . . . . . . . . . . . . . . . . . . . . 1
1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2 Denition formelle. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
3 Representation geometrique : le plan complexe . . . . . . . . . . . . . . . . . . . . . . . . 2
Chapitre II. Fonctions holomorphes : etude preliminaire . . . . . . . 5
1 Denitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2 Fonctions denies par des series enti`eres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Chapitre III. Lexponentielle et le logarithme complexes . . . . . . 12
1 La fonction exponentielle complexe. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2 Le logarithme complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3 Les puissances complexes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
Chapitre IV. Fonctions analytiques complexes . . . . . . . . . . . . . . . . . . . 18
1 Denition et condition susante. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2 Le principe du prolongement analytique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3 Zeros dune fonction analytique. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
4 Les principes du module maximum et minimum. . . . . . . . . . . . . . . . . . . . . . 20
Chapitre V. Le theor`eme de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1 Integrales curvilignes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2 Primitives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3 Le theor`eme local de Cauchy. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
4 Consequences de lanalyticite des fonctions holomorphes. . . . . . . . . . . . . 28
5 Le theor`eme general de Cauchy. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
6 Simple connexite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
ii Analyse complexe
Chapitre VI. Developpement de Laurent,
fonctions meromorphes, theorie des residus . . . . . . . . . . . . . . . . . . . . . 34
1 Fonctions holomorphes dans une couronne. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2 Points singuliers isoles, fonctions meromorphes . . . . . . . . . . . . . . . . . . . . . . . 35
3 Theor`eme des residus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4 Nombre des zeros et des p oles dune fonction meromorphe . . . . . . . . . . 39
5 Calcul dintegrales par la methode des residus . . . . . . . . . . . . . . . . . . . . . . . . 41
Chapitre VII. Suites, series et produits de
fonctions meromorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
1 Suites et series de fonctions holomorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2 Series de fonctions meromorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3 Produits innis de fonctions holomorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4 La fonction Gamma dEuler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
Chapitre VIII. Topologie de lespace des fonctions
holomorphes, transformations holomorphes . . . . . . . . . . . . . . . . . . . . . 62
1 Metrique de la topologie de la convergence
uniforme sur tout compact . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2 Le theor`eme de Montel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3 Transformations holomorphes, representations conformes . . . . . . . . . . . . 66
Exercices sur les nombres complexes,
les fonctions holomorphes et les series enti`eres . . . . . . . . . . . . . . . 71
Exercices sur les series enti`eres
et les fonctions exponentielle et logarithme . . . . . . . . . . . . . . . . . . . 74
Exercices sur les fonctions analytiques complexes . . . . . . . . . . . . . . . 78
Exercices sur la formule de Cauchy et ses consequences . . . . . . . 81
Exercices sur les developpements de Laurent
et la theorie des residus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
Table des mati`eres iii
Exercices sur les suites, series et produits innis
de fonctions meromorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
Probl`emes de synth`ese . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
Sujets dexamens . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
Universite de Lorraine
Faculte des sciences et technologies
Licence de mathematiques 2011/2012
Analyse complexe (LMI6.33)
I
Le corps des nombres complexes
1. Introduction
La resolution dequations, et en particulier dequations polynomiales, a sous-tendu
levolution des mathematiques depuis lAntiquite. Les equations du premier et du second
degre ont ete resolues par les Babyloniens environ 2000 ans avant notre `ere. Les equations
de degre trois ou plus ont resiste, sous forme dun probl`eme fameux, jusquau XVI
e
si`ecle.
Une solution pour le troisi`eme degre fut alors trouvee par Scipion del Ferro, de Bologne,
et Niccolo Fontana (surnomme Tartaglia le b`egue) de Brescia. Peu apr`es, Ludovic Ferrari
vint `a bout de lequation du quatri`eme degre. Il fallut attendre le XIX
e
si`ecle, avec Niels
Abel et

Evariste Galois, pour une preuve que lequation generale du cinqui`eme degre nest
pas soluble par radicaux.
Les solutions des equations de degre trois et quatre sont publiees par Cardan (1501-
1576) en 1545. Elles utilisent toutes, sans justication theorique, des racines carrees de
nombres negatifs.
Cependant la communaute mathematique rejette lemploi de telles quantites jusquau
milieu du XIX
e
si`ecle : Descartes (1596-1650) designe comme

imaginaires

les racines
complexes dequations, dont il consid`ere lapparition dans un probl`eme comme un signe
indubitable de non solubilite.
Euler (1707-1783) introduit en 1740 les exposants complexes et semerveille de la formule
e
i
+ 1 = 0 qui lie les cinq nombres fondamentaux de lanalyse. Il utilise egalement les
nombres complexes pour resoudre des equations dierentielles.
Cest Gauss (1777-1855) qui leur donne un statut denitif et une signication intuitive
et naturelle `a travers leur representation geometrique.
2. Denition formelle
Lecriture classique dun nombre complexe sous la forme a + ib presuppose lexistence
dun corps dans lequel 1 est un carre, ce qui nest pas acquis a priori.
On denit formellement C comme lensemble des couples ordonnes (a, b) de R
2
muni de
laddition et de la multiplication donnees par les formules
(21)
(a, b) + (c, d) = (a +c, b +d)
(a, b)(c, d) = (ac bd, ad +bc).
On verie `a partir des proprietes usuelles des nombres reels que ces lois de compositions
sont associatives et commutatives et que la multiplication est distributive par rapport
`a laddition. Lelement neutre de laddition est le nombre complexe (0, 0), celui de la
2 I Le corps des nombres complexes
multiplication le nombre (1, 0). Le fait que lensemble ainsi construit est un corps equivaut
alors `a la solubilite, pour tout (a, b) ,= (0, 0), du syst`eme
_
ax by = 1
bx +ay = 0.
Comme le determinant du syst`eme vaut a
2
+b
2
,= 0, il a une solution unique et lensemble
C muni des lois (21) est bien un corps.
On verie que lapplication p : {(a, 0) C} R denie par p(a, 0) = a est un
homomorphisme de corps, en ce sens quil preserve les deux operations. On peut donc
identier R `a lensemble des couples (a, 0). Si lon pose alors i := (0, 1), on a dune part
identiquement
(a, b) = (a, 0) + (0, 1)(b, 0) = a +ib,
et dautre part
i
2
= (0, 1)(0, 1) = (1, 0) = 1.
Il est `a noter que tout nombre complexe non nul a + ib poss`ede deux racines carrees
complexes puisque lequation (x +iy)
2
= a +ib equivaut `a
_
x
2
y
2
= a
2xy = b.
Ce syst`eme poss`ede les deux solutions (x, y) = (

a, 0) si a > 0, b = 0, les deux solutions


(x, y) = (0,

a) si a < 0, b = 0, et, posant d


2
:= a
2
+b
2
avec d > 0, les deux solutions
(x, y) =
_
_
1
2
(a +d), sgn(b)
_
1
2
(d a)
_
si b ,= 0.
(1)
Exemples. Les deux racines carrees de 2i sont (1 +i). Celles de 5 + 12i, sont (3 + 2i).
Nous verrons plus loin que toute equation polynomiale `a coecients complexes poss`ede
au moins une racine dans C.
Il est `a noter quune importante propriete de R, lordre total compatible avec la structure
de corps
(2)
, ne se transmet pas `a C : on peut verier aisement `a laide des axiomes de
la structure dordre que lune ou lautre des inegalites i > 0 ou i < 0 conduit `a une
contradiction.
3. Representation geometrique : le plan complexe
Linterpretation geometrique des nombres complexes est due `a Wallis (1616-1703). Elle
a ensuite ete developpee par Argand (1768-1822) et Gauss.
On associe au nombre z = x+iy le point de coordonnees (x, y), dont z est designe comme
laxe. Les nombres reels correspondent donc `a laxe des x, souvent designe comme laxe
reel, alors que les representants des nombres imaginaires ib sont situes sur laxe imaginaire.
On pose
'e z = x, mz = y, z = x iy.
Ainsi z, designe comme le conjugue de z, est laxe du symetrique de (x, y) par rapport
`a laxe reel.
1. Dans le dernier cas, nous avons pose y = b/2x et substitue dans la premi`ere equation, ce qui
fournit successivement 4x
4
4ax
2
b
2
= 0 et x
2
=
1
2
(a + d).
2. Cest-` a-dire : (x < y, a < b a + x < b + y) et (x < y, a > 0 ax < ay).
3 Representation geometrique : le plan complexe 3
z
1
z
2
z
1+
z
2
0
y
x
On a
(31) 'e z =
z +z
2
, mz =
z z
2i
.
La somme z
1
+z
2
de deux nombres complexes est obtenue par la r`egle du parallelogramme.
La multiplication peut egalement etre decrite geometriquement. Il est plus agreable, `a
cette n, dintroduire les coordonnees polaires dun nombre complexe.
Le module |z| dun nombre complexe z = x+iy est la longueur r =
_
x
2
+y
2
du vecteur
dextremites (0, 0) et (x, y). En particulier, on a identiquement
(32) |z|
2
= zz.
La quantite |z
1
z
2
| est la distance euclidienne entre z
1
et z
2
. Cela donne une preuve
geometrique de linegalite triangulaire
|z
1
+z
2
| |z
1
| + |z
2
|.
Une preuve algebrique peut-etre obtenue gr ace `a linegalite de Cauchy-Schwarz.
Largument arg z dun nombre complexe non nul z est langle, deni modulo 2, entre
le vecteur z et laxe des x.
(3)
On a donc
arg z = cos = 'e z/|z|, sin = mz/|z|.
z
|Im z|
|z|
|Re z|
!
Un nombre complexe non nul est compl`etement determine par son module et son
argument : si |z| = r et arg z = , alors x = r cos , y = r sin, et donc
z = r(cos +i sin).
On dit que r et sont les coordonnees polaires de z. Si lon pose h() := cos +i sin,
(4)
3. Nous donnerons plus loin une denition plus rigoureuse de cette notion.
4. Nous justierons plus tard la notation classique h() = e
i
.
4 I Le corps des nombres complexes
on a avec des notations transparentes
(33) z
1
z
2
= r
1
r
2
h(
1
+
2
).
Cela permet de donner une interpretation geometrique simple du produit de deux nombres
complexes : z
1
z
2
a pour module le produit des modules et pour argument la somme des
arguments. Par recurrence sur n, on deduit de (33) la formule de Moivre
(5)
(34) z
n
= r
n
h(n).
Exemple. Les racines cubiques de 1 sont determinees par r
3
h(3) = 1, do` u r = 1,
3 0 (mod2). Les solutions sont donc les nombres
1, j = h(2/3) =
1
2
+i
1
2

3, j
2
= h(4/3) =
1
2
i
1
2

3.
5. Abraham de Moivre, 16671754.
Universite de Lorraine
Faculte des sciences et technologies
Licence de mathematiques 2011/2012
Analyse complexe (LMI6.33)
II
Fonctions holomorphes : etude preliminaire
1. Denitions
Denition 1.1. Soit U un ouvert de C, et f : U C. On dit que f est C-dierentiable
en un point a de U si la limite
(11) lim
h0
a+hU{a}
f(a +h) f(a)
h
existe, autrement dit sil existe L C tel que
f(a +h) = f(a) +Lh +o(|h|) (h 0).
Lorsque f est C-dierentiable en tout point de U, on dit que f est holomorphe sur U. On
note alors f

(a) la limite (11) et lon designe par derivee de f la fonction f

: U C qui
`a z U associe le nombre f

(z).
On note
H(U), H(U, V ),
lespace des fonctions holomorphes sur U, et celui des fonctions holomorphes sur U `a
valeurs dans V C.
Si lon pose F(x, y) = f(x + iy), alors F est denie sur un ouvert

U de R
2
, `a valeurs
dans C. F est dierentiable en (x
0
, y
0
)

U si, et seulement si, il existe des nombres
complexes A et B tels que, notant z
0
= x
0
+iy
0
, h = u +iv, on ait
(12) f(z
0
+h) = f(z
0
) +Au +Bv +o(|h|) (h 0).
On a en fait A = F(x
0
, y
0
)/x = F

x
(x
0
, y
0
), B = F(x
0
, y
0
)/y = F

y
(x
0
, y
0
). Avec un
leger abus de notation pour simplier lecriture, on ecrit souvent A = f

x
(z
0
), B = f

y
(z
0
).
En decomposant u = (h +h)/2, v = (h h)/2i, nous pouvons reecrire (12) sous la forme
(13) f(z
0
+h) = f(z
0
) + h + h +o(|h|) (h 0),
avec
:=
1
2
(AiB), :=
1
2
(A+iB).
On designe les nombres et sous le nom de derivees partielles de Wirtinger de f en z
0
.
On a donc, avec labus de notation signale plus haut,
f

z
(z
0
) =
f
z
(z
0
) :=
1
2
_
f

x
(z
0
) if

y
(z
0
)
_
, f

z
(z
0
) =
f
z
(z
0
) :=
1
2
_
f

x
(z
0
) +if

y
(z
0
)
_
.
6 II Fonctions holomorphes : etude preliminaire
Soit V = U := {z : z U}. Il est immediat que, si G : U V C est une fonction
de deux variables veriant G(z, z) = f(z) pour tout z de U et si G est C-dierentiable,
autrement dit sil existe pour tout (z, w) U V des nombres et tels que
G(z +h, w +k) = G(z, w) + h + k +o(|h| + |k|) (|h| + |k| 0),
alors
f

z
(z
0
) = G

z
(z
0
, z
0
), f

z
(z
0
) = G

w
(z
0
, z
0
).
Il est `a noter que, lorsque f est donnee, il existe a priori de multiples choix possibles pour
la fonction G : par exemple, si f(z) = |z|
2
, on peut choisir G(z, w) = |z|
2
ou G(z, w) = zw.
Proposition 1.2. Soient U un ouvert de C,

U := {(x, y) R
2
: x +iy U}, F :

U C
une application dierentiable et f : U C denie par f(x +iy) := F(x, y).
(i) f est C-dierentiable en z
0
= x
0
+iy
0
si, et seulement si, d
(x
0
,y
0
)
F est C-lineaire.
(ii) Lapplication d
(x
0
,y
0
)
F est C-lineaire si, et seulement si, f

z
(z
0
) = 0.
Demonstration. Voir cours oral. .
Corollaire 1.3. Soit U un ouvert de C. Une application f : U C est C-dierentiable en
un point z
0
de U si, et seulement si, la fonction de deux variables reelles F est dierentiable
en (x
0
, y
0
) et si lon a f

z
(z
0
) = 0 ou encore
(14) F

x
(x
0
, y
0
) +iF

y
(x
0
, y
0
) = 0.
En particulier, une condition necessaire et susante pour que f soit holomorphe sur U
est que F soit dierentiable en tout point de

U := {(x, y) R
2
: x +iy U} et satisfasse
identiquement la relation (14).
Si lon ecrit F = P +iQ avec P et Q `a valeurs dans R, alors lequation (14) devient
(15)
_
P

x
(x
0
, y
0
) = Q

y
(x
0
, y
0
)
P

y
(x
0
, y
0
) = Q

x
(x
0
, y
0
).
On designe habituellement ces conditions sous le nom de conditions de Cauchy-Riemann.
Exemples. (i) z z est holomorphe sur C, alors que z z nest C-dierentiable en aucun
point de C. Plus generalement, lorsque n N

, z z
n
est holomorphe sur C, de derivee
nz
n1
, et z (z)
n
est C-dierentiable en z
0
si, et seulement si, n > 1 et z
0
= 0.
(ii) Calculons les derivees partielles de Wirtinger de f(z) := |z|
2
. On peut ecrire
f(z) = G(z, z) avec G(z, w) = zw. Donc f

z
(z
0
) = z
0
, f

z
(z
0
) = z
0
. Il sensuit que f
est C-dierentiable en z
0
si, et seulement si, z
0
= 0.
Corollaire 1.4. Soient U un ouvert connexe de C et f : U R une fonction holomorphe
sur U. Alors f est constante sur U.
Demonstration. Voir cours oral. .
Remarque. Il est clair quune fonction holomorphe de derivee nulle sur un ouvert connexe
est constante. Plus generalement, une fonction holomorphe de derivee nulle sur un ouvert
est localement constante, i.e. constante sur chaque composante connexe.
2 Fonctions denies par des series enti`eres 7
Theor`eme 1.5. Soient U un ouvert de C, a un point de U et f, g : U C deux
fonctions C-dierentiables en a. Alors, pour tout C, les fonctions f +g, f et fg sont
C-dierentiables en a et lon a
(f +g)

(a) = f

(a) +g

(a), (f)

(a) = f

(a), (fg)

(a) = f

(a)g(a) +f(a)g

(a).
Si, de plus, g(a) ,= 0, alors il en va de meme de f/g et lon a
(f/g)

(a) =
f

(a)g(a) f(a)g

(a)
g(a)
2
.
Demonstration laissee en exercice.
Theor`eme 1.6. Soient U, V deux ouverts de C, a un point de U, f : U V , g : V C
deux fonctions respectivement C-dierentiables en a et b = f(a). Alors, g f est C-
dierentiable en a et lon a
(g f)

(a) = g

(b)f

(a).
Demonstration laissee en exercice.
Exemples. Les polyn omes, les fractions rationnelles, les series enti`eres de rayon de
convergence positif sont, sur linterieur de leurs domaines de denitions respectifs des
fonctions holomorphes.
2. Fonctions denies par des series enti`eres
Soient z
0
C, R > 0 et D = D(z
0
; R) le disque ouvert de centre z
0
et de rayon R. On
dit quune fonction f : D C est developpable en serie enti`ere dans D sil existe une
suite complexe {a
n
}

n=0
telle que
f(z) =

n0
a
n
(z z
0
)
n
(z D).
Les fonctions developpables en serie enti`ere dans un disque constituent une classe tr`es
importante de fonctions holomorphes.
Le lemme suivant permet de regler la plupart des questions de convergence.
Lemme 2.1 (Abel). Soient {a
n
}

n=0
une suite complexe et R, r des nombres reels tels
que R > r > 0. Si la suite {a
n
R
n
}

n=1
est bornee, la serie enti`ere

n0
a
n
z
n
converge
normalement pour |z| r.
Demonstration. Soit M := sup
n0
|a
n
R
n
|. La conclusion est immediate puisque lon a
|a
n
z
n
| M(r/R)
n
lorsque |z| r. .
Soit {a
n
}

n=0
une suite complexe. Il resulte du lemme dAbel que lensemble des nombres
reels r tels que la serie enti`ere
(21)

n0
a
n
z
n
converge dans le disque |z| r est un intervalle [0, R[ ou [0, R], avec R [0, [ ou R = .
On dit que R est le rayon de convergence de la serie enti`ere (21).
Rappelons la notion de limite superieure dune suite de nombre reels :
limsup
n
u
n
:= lim
n
sup
pn
u
p
R {}.
8 II Fonctions holomorphes : etude preliminaire
Il est equivalent de dire que limsupu
n
= et que u
n
. En revanche, la relation
limsupu
n
= + ne signie pas que u
n
+ mais quil existe une sous-suite {u
n
k
}

n=1
telle que lim
k
u
n
k
= +. Lorsque L R, on a
(22) limsup
n
u
n
= L
si, et seulement si,
(i) > 0 N
0
= N
0
() : (n > N
0
) u
n
L + ;
(ii) > 0 N 0 n > N : u
n
L .
Une autre caracterisation consiste `a dire que lon a (22) si, et seulement si, toute suite
extraite convergente de {u
n
}

n=0
est de limite L et L est eectivement limite dune suite
extraite convergente, autrement dit encore : L est le plus grand element de lensemble des
limites de suites extraites de {u
n
}

n=0
. On peut verier facilement que si u
n
v
n
pour
tout indice n alors
(23) limsup
n
u
n
limsup
n
v
n
.
On a aussi, pour toutes suites {u
n
}

n=1
, {v
n
}

n=1
,
limsup
n
(u
n
+v
n
) limsup
n
u
n
+ limsup
n
v
n
.
On denit symetriquement la limite inferieure
liminf u
n
= lim
n
inf
pn
u
p
R .
Toutes les proprietes de la limite inferieure se deduisent de celles de la limite superieure
`a laide de la formule
liminf
n
u
n
= limsup
n
(u
n
).
On a en particulier, pour toutes suites {u
n
}

n=1
, {v
n
}

n=1
,
liminf
n
(u
n
+v
n
) liminf
n
u
n
+ liminf
n
v
n
.
Linteret principal des notions de limites inferieure et superieure est quelles sont denies
pour toutes les suites. Il ny a donc pas de precaution oratoire `a prendre avant de les
introduire dans un calcul. Une suite est convergente si, et seulement si, sa limite inferieure
est egale `a sa limite superieure. La limite, nie ou innie, est alors egale `a la valeur
commune.
Exemples.
limsup(1)
n
= 1, liminf(1)
n
= 1,
limsup
1
sinn
= +, liminf
1
1 sinn + 1/n
=
1
2
.
Pour traiter les deux exemples concernant la suite {sinn}

n=1
, on utilise les exercices 20
et 21, o` u lon etablit quun sous-groupe additif G de R est dense si, et seulement si, il
nest pas de la forme G = aZ pour un certain a > 0. Si lon se donne R et que lon
choisit G := {m + n : m Z, n Z}, il est immediat que G est de la forme aZ si, et
seulement si, est rationnel. En eet, si = u/v Q avec (u, v) = 1 alors G = (1/|v|)Z,
et si R Q, on ne peut avoir G = aZ : comme 1 G, il faudrait a Q, donc
Q puisque G. Comme 2 RQ, il sensuit que les nombres /2 peuvent etre
approches daussi pr`es que lon veut par des nombres reels de la forme n + 2m, ce qui
implique limsupsinn = 1, liminf sinn = 1.
2 Fonctions denies par des series enti`eres 9
Theor`eme 2.2 (Hadamard). Soit {a
n
}

n=0
une suite complexe. Le rayon de conver-
gence R de la serie enti`ere (21) est donne par la formule
(24) 1/R = limsup
n
|a
n
|
1/n
R
+
{}.
Demonstration. Voir cours oral. .
Exemples.

n0
z
n
: R = 1.

n0
n!z
n
: R = 0.

n0
z
n
/n! : R = .
Le resultat auxiliaire suivant, qui est un cas particulier du theor`eme de Fubini, nous
sera utile `a plusieurs reprises.
Lemme 2.3. Soit {a
nk
}
n0,k0
une suite complexe double. Alors on a
(25)

k0

n0
a
nk
=

n0

k0
a
nk
si

k
|a
nk
| < . De plus, si a
nk
0 pour tous n, k, la relation a lieu sans condition
dans [0, ].
Demonstration. Voir cours oral. .
Theor`eme 2.4. Soit f(z) =

n0
a
n
(z z
0
)
n
une fonction developpable en serie enti`ere
dans un disque D = D(z
0
; R) et soit := D(z
1
; r) un disque contenu dans D, non
necessairement concentrique. Alors f est developpable en serie enti`ere dans .
Demonstration. Voir cours oral. .
Corollaire 2.5. Soit f(z) =

n0
a
n
(z z
0
)
n
une fonction developpable en serie enti`ere
dans un disque D = D(z
0
; R). Alors f est holomorphe dans D, f

est developpable en
serie enti`ere dans D et lon a
(26) f

(z) =

n1
na
n
(z z
0
)
n1
(z D).
Demonstration. Voir cours oral. .
Corollaire 2.6. Soit f(z) =

n0
a
n
(z z
0
)
n
une fonction developpable en serie enti`ere
dans un disque D = D(z
0
; R). Alors f est indeniment derivable dans D, f
(p)
est, pour
tout entier p 0, developpable en serie enti`ere dans D et lon a
(27) f
(p)
(z) =

n0
(n +p)!
n!
a
n+p
(z z
0
)
n
(z D).
En particulier, on a la formule de Taylor
(28) f(z) =

n0
f
(n)
(z
0
)
n!
(z z
0
)
n
(z D).
Demonstration. Voir cours oral. .
10 II Fonctions holomorphes : etude preliminaire
Corollaire 2.7. Si une fonction admet un developpement en serie enti`ere dans un disque,
ce developpement est unique.
Demonstration. Cela decoule immediatement du Corollaire 2.6 puisque a
n
= f
(n)
(z
0
)/n!
est determine par f pour tout n. .
Exemple dapplication. Supposons quon cherche `a resoudre lequation dierentielle y

= y
en cherchant a priori la solution sous la forme dune serie enti`ere convergente
y(z) =

n0
a
n
z
n
.
La formule (26) et le Corollaire 2.7 impliquent alors a
n+1
= a
n
/(n+1), do` u a
n
= a
0
/n!.
On trouve donc y(z) = a
0

n0
z
n
/n! comme seule solution de la forme cherchee.
Theor`eme 2.8. Soient f(z) =

n0
a
n
(z z
0
)
n
et g(z) =

n0
b
n
(z z
0
)
n
deux
fonctions developpables en series enti`eres dans un disque D = D(z
0
; R). Alors leur somme
et leur produit le sont egalement. On a
f(z) +g(z) =

n0
(a
n
+b
n
)(z z
0
)
n
f(z)g(z) =

n0
_

0kn
a
k
b
nk
_
(z z
0
)
n
(z D).
Demonstration. Voir cours oral. .
Il est `a noter que la formule du produit est un cas particulier du resultat classique
suivant.
Proposition 2.9. Soient {u
n
}

n=0
et {v
n
}

n=0
deux suites complexes dont les series
associees sont absolument convergentes, de sommes respectives U, V . Alors la serie de
terme general w
n
=

0kn
u
k
v
nk
est absolument convergente et sa somme vaut UV .
Demonstration. Il sut dappliquer le lemme dinterversion de sommation des series
doubles absolument convergentes `a la serie de terme general u
k
v
nk
1
[0,[
(n k) : on a

n0
|w
n
|

j
|u
k
||v
j
| <
et donc

n0
w
n
=

k0
u
k

nk
v
nk
=

k0
u
k

j0
v
j
= UV.
.
Le resultat suivant, connu sous le nom de Transformation dAbel, est tr`es utile
pour examiner la convergence des series enti`eres sur le (ou au voisinage du) cercle de
convergence.
Theor`eme 2.10 (Transformation dAbel). Soient {a
n
}

n=0
, {b
n
}

n=0
des suites com-
plexes. Pour tous entiers N Z, M N

, on a
(29)

N<nN+M
a
n
b
n
= A
N+M
b
N+M+1
+

N<nN+M
A
n
(b
n
b
n+1
),
2 Fonctions denies par des series enti`eres 11
o` u lon a pose A
n
:=

N<mn
a
m
(n 0). En particulier, si sup
N<nN+M
|A
n
| A, et
si {b
n
}

n=0
est positive decroissante alors
(210)

N<nN+M
a
n
b
n

Ab
N+1
.
Demonstration. La premi`ere assertion resulte dun simple changement de variable enti`ere
en posant a
n
= A
n
A
n1
(N < n N +M). Lorsque {b
n
}

n=0
est positive decroissante,
on deduit de (210) que

N<nN+M
a
n
b
n

Ab
N+M+1
+A

N<nN+M
(b
n
b
n+1
) = Ab
N+1
.
.
Corollaire 2.11 (Crit`ere de convergence dAbel). Soient {a
n
}

n=0
une suite com-
plexe et {b
n
}

n=0
une suite reelle positive decroissante. On suppose que
lim
n
b
n
= 0, sup
N0

0nN
a
n

A.
Alors la serie

n0
a
n
b
n
est convergente et lon a
(211)

n>N
a
n
b
n

2Ab
N+1
.
Demonstration. Voir cours oral. .
Exemple. La serie

n1
z
n
/n, de rayon de convergence 1, converge en tous les points du
cercle unite sauf z = 1.
Corollaire 2.12 (Abel). Soit f(z) =

n0
a
n
z
n
une serie enti`ere convergeant en z = 1.
Pour < /2, on denit le secteur S() := {z C : |z| < 1, | arg(1 z)| }. Alors
(212) lim
z1
zS()
f(z) = f(1).
Demonstration. Voir cours oral. .
Remarque. Il peut arriver que f(z) tende vers une limite nie lorsque z 1 sans que la
serie converge en ce point. Exemple : f(z) = 1/(1 +z).
`
A titre dapplication du theor`eme dAbel, nous pouvons etablir la jolie formule
ln2 = 1
1
2
+
1
3

1
4
+ =

n1
(1)
n1
n
.
Cela decoule immediatement, gr ace au Corollaire 2.12, du fait que cette serie converge et
que ln(1 +x) =

n1
(1)
n1
x
n
/n tend vers ln2 lorsque x 1 en restant dans ]0, 1[.
Universite de Lorraine
Faculte des sciences et technologies
Licence de mathematiques 2011/2012
Analyse complexe (LMI6.33)
III
Lexponentielle et le logarithme complexes
1. La fonction exponentielle complexe
La denition de lexponentielle `a partir de la serie enti`ere permet de donner une
construction rigoureuse de la trigonometrie circulaire et hyperbolique ainsi que de la
notion dangle.
Denition 1.1. On designe par exponentielle la fonction denie sur C par la formule
(11) expz =

n0
z
n
n!
.
Cette denition a bien un sens puisque le theor`eme de Hadamard garantit que le rayon
de convergence de la serie (11) est inni.
Theor`eme 1.2. La fonction exponentielle est holomorphe sur C et est egale `a sa derivee.
Elle verie
(12) (expz)(expw) = exp(z +w) (w, z C).
Demonstration. Les deux premi`eres assertions decoulent immediatement du Corol-
laire II.2.5. La troisi`eme est une consequence de la formule du produit de deux series
(Proposition II.2.9). .
On pose
e := exp1.
La relation (12) justie alors la notation
e
z
= exp(z) (z C).
Theor`eme 1.3. On a
(i) e
z
,= 0 pour tout z C.
(ii) exp(z) = exp(z) pour tout z C.
(iii) | expz| = exp('e z) pour tout z C.
(iv) La restriction de exp `a R est une bijection strictement croissante de R sur
R
+
=]0, [.
Demonstration. Voir cours oral. .
1 La fonction exponentielle complexe 13
Designons par U := {z C : |z| = 1} le cercle unite et considerons la fonction : R U
denie par
(x) = e
ix
.
Alors

(x) = i(x) est de module 1 pour tout x, ce qui signie que labscisse curviligne
dun point courant (x) sur U est egale `a x : cest la mesure des angles en radians.
Nous allons `a present etudier de plus pr`es lhomomorphisme . Nous posons
cos x := 'e e
ix
, sinx := me
ix
,
de sorte que
(x) = e
ix
= cos x +i sinx (x R).
On a donc
(cos x)
2
+ (sinx)
2
= 1 (x R).
De plus, il resulte de (11) que
cos x =

n0
(1)
n
x
2n
(2n)!
, sinx =

n0
(1)
n
x
2n+1
(2n + 1)!
.
On peut bien entendu etendre ces denitions `a C et obtenir ainsi des fonctions sinus et
cosinus developpables en serie enti`ere dans le plan tout entier et satisfaisant aux proprietes
suivantes que nous rassemblons, `a n de reference ulterieure, dans un enonce formel dont
nous omettons la demonstration qui nutilise que la denition et les proprietes de base de
la fonction exponentielle.
Proposition 1.4. On a cos 0 = 1, sin0 = 0. Pour tous w, z C, on a
(i) cos

(z) = sinz, sin

z = cos z.
(ii) cos(z) = cos z, sin(z) = sinz.
(iii) cos(w +z) = cos wcos z sinwsinz, sin(w +z) = sinwcos z + sinz cos w.
(iv) cos
2
z + sin
2
z = 1.
Soient E une partie de C et f : E C. On dit que C est une periode pour f si
+E := { +z : z E} = E et si f( +z) = f(z) pour tout z de E. Il est immediat que
lensemble P(f) des periodes dune fonction donnee f est un sous-groupe additif de C. La
demonstration du theor`eme suivant utilise le fait que tout sous groupe additif de R non
trivial et ferme est de la forme aZ avec a > 0 voir les Exercices 20 et 21.
Theor`eme 1.5. La restriction de exp `a la droite imaginaire iR est une surjection
periodique sur le cercle unite U := {z C : |z| = 1}. Le groupe des periodes est de
la forme ipZ pour un certain nombre reel positif p. Par denition, on pose := p/2.
Demonstration. Le noyau G =
1
({1}) de est un sous-groupe additif de R puisque
est un homomorphisme de groupes. Il est ferme puisque est continue. Il nest pas egal `a
R car nest pas constante : on a par exemple (x) = 1 +ix +O(x
2
) au voisinage de 0.
Pour montrer quil nest pas reduit `a {0}, nous allons montrer quil existe x ,= 0 tel que
(x) = 1. On verie aisement que
m(x) = sinx =

n0
{(4n + 2)(4n + 3) x
2
}x
4n+1
(4n + 3)!
,
donc sinx > 0 pour 0 < x 2 puisque (4n + 2)(4n + 3) 4 > 0 pour n 0. Par ailleurs
cos x = 1
1
2
x
2
+
1
24
x
4

n2
{4n(4n 1) x
2
}x
4n2
(4n)!
,
14 III Lexponentielle et le logarithme complexes
donc
cos 2 1 2 +
2
3
=
1
3
.
Il resulte de ce qui prec`ede que, puisque cos

= sin, il existe un unique zero de cos


sur ]0, 2[. On a alors sin = 1. Comme sin]0, 2] ]0, 1], il sensuit que sin = 1 et
donc () = i, do` u (4) = 1. Cela montre que G ,= {0} et donc que lon a bien G = pZ
avec p > 0.
Il reste `a montrer que est surjective. Observons tout dabord que U est connexe par
arcs puisque U = {x i

1 x
2
: 1 x 1}. Ensuite, (R) est ferme dans U : si
(x
n
) converge, on peut supposer, dapr`es la premi`ere partie de la demonstration, que
0 x
n
2 et donc, en vertu du theor`eme de BolzanoWeierstrass et quitte `a extraire
une sous-suite, que {x
n
}

n=1
converge. Comme R est complet et continue, la limite des
(x
n
) est bien dans (R). Enn, montrons que (R) est ouvert dans U. Il est facile de voir
sur la serie que cos est decroissante sur un voisinage de 0, et donc que [1 , 1] cos R
pour un > 0 convenable. Cela montre que pour z U, |z 1| assez petit, il existe
x R tel que 'e z = 'e (x). On a donc mz = m(x). Comme la fonction sinus est
impaire, on a donc z = (x) ou z = (x). Ainsi, (R) contient un voisinage de 1. Cela
implique que (R) est ouvert gr ace `a lequation fonctionnelle (x)(y) = (x +y). .
Nous avons donc deni comme le plus petit nombre reel positif tel que
e
2i
= 1.
Il est `a noter que 2iZ concide avec lensemble des solutions complexes de lequation
e
z
= 1, car il decoule du Theor`eme 1.3 et de la relation e
0
= 1 que e
z
nest pas de
module 1 si z , iR.
Nous pouvons deduire de letude precedente une denition rigoureuse de largument
dun nombre complexe.
Lapplication : R U induit par passage au quotient un isomorphisme de R/2Z
sur U. Lisomorphisme reciproque : U R/2Z associe donc `a tout nombre complexe
w de module 1 une classe de nombres reels modulo 2. On designe par argument de w, et
lon note arg w cette classe. Par abus de notation, on note encore arg w lun quelconque
des representants reels de la classe en question.
Pour z C

quelconque, nous posons arg z = (z/|z|). Comme precedemment, ce


nombre nest deni qu` a un multiple entier de 2 pr`es. On a ainsi
(13) z = |z|e
i arg z
.
2. Le logarithme complexe
La formule (13) montre quun nombre poss`ede une innite de logarithmes, denis
modulo 2 par
log z = ln|z| +i arg z.
Lorsque z R
+
un seul logarithme est reel. Lorsque z nest pas reel positif, le choix dun
logarithme privilegie est moins evident.
Commen cons par un resultat negatif.
Proposition 2.1. Il nexiste pas de fonction continue f : C

C telle que e
f(z)
= z.
Demonstration. Raisonnons par labsurde. Si une telle fonction f existait, on aurait
g(z) = z f(e
z
) 2iZ pour tout z. Comme C

est connexe, cela impliquerait que


g est constante. Or g(2i) g(0) = 2i puisque e
2i
= 1. .
Montrons cependant quil existe un logarithme continu sur le disque D(1; 1).
2 Le logarithme complexe 15
Proposition 2.2. Soit f la fonction denie sur D = D(1; 1) par la formule
f(z) :=

n1
(1 z)
n
/n.
Alors f est holomorphe et verie e
f(z)
= z pour tout z de D.
Demonstration. Voir cours oral. .
Denition 2.3. On appelle domaine une partie de C ouverte et connexe.
La proposition suivante fournit une premi`ere description du logarithme dune fonction
holomorphe sur un domaine.
Proposition 2.4. Soit U un domaine de C et f H(U, C

). Alors
(i) Soit g C(U, C) telle que e
g
= f. Alors g H(U) et g

= f

/f.
(ii) Pour toute fonction g H(U) telle que g

= f

/f il existe une constante c C

telle que e
g
= cf.
(iii) Si g, h H(U) verient e
g
= e
h
= f, alors il existe k Z tel que g h = 2ik.
Demonstration. Voir cours oral. .
Denition 2.5. Soient U un domaine de C et f H(U, C

). On appelle determination
du logarithme de f toute fonction g continue (donc holomorphe) sur U veriant e
g
= f.
On dit aussi que g est un logarithme holomorphe de f.
Toute determination g du logarithme de f on dit aussi : de log f(z) verie
'e g = ln|f|. En revanche, mg nest pas enti`erement determinee par f.
Il est evident quil nexiste pas de determination de log z sur un domaine contenant 0
puisque 0 , expC. La proposition suivante donne une condition necessaire plus precise.
Proposition 2.6. Soit U un domaine de C

contenant un cercle de centre 0 et de rayon


positif. Alors il nexiste pas de determination de log z sur U.
Demonstration. Raisonnons par labsurde. Si C(0; r) := {z C : |z| = r} U et sil
existe une determination f(z) de log z, soit g() = f(re
i
) lnr i ( R). Alors g est
continue sur R et `a valeurs dans 2iZ, donc elle est constante. Mais g(0) g(2) = 2i..
Voici `a present un resultat positif.
Proposition 2.7. Soit une demi-droite issue de lorigine. Alors il existe une deter-
mination de log z sur U := C .
Demonstration. Voir cours oral. .
Remarques. (i) On ne peut prolonger g en aucun point de car les limites obtenues en
approchant un point de par la gauche et la droite di`erent de 2i.
(ii) On peut aussi etablir que z est continue en remarquant que lapplication
: R
+
], +2] C denie par (r, ) = re
i
est une bijection dierentiable de
classe C
1
dont la matrice jacobienne est inversible en tout point puisque son determinant
vaut r. Dapr`es le theor`eme dinversion locale (forme globale), est un C
1
-dieomorphisme
et en particulier z est continue.
16 III Lexponentielle et le logarithme complexes
Corollaire 2.8. (i) Soit D un disque ouvert de C ne contenant pas 0. Alors il existe sur
D une determination de log z.
(ii) Soit U un domaine arbitraire de C et f H(U, C

). Alors, il existe localement des


determinations de log f.
Demonstration. Voir cours oral. .
Parmi les determinations de log z construites `a la Proposition 2.7, une joue un r ole
privilegie dans la theorie.
Theor`eme et denition 2.9. On appelle determination principale du logarithme sur
U := C R

lunique determination de log z telle que log 1 = 0. La restriction `a D(1; 1)


de cette fonction verie
(21) log z =

n1
(1 z)
n
n
.
Demonstration. On obtient une determination de log z sur U telle que log 1 = 0 en
choisissant = dans la construction de la Proposition 2.7. La Proposition 2.4(iii)
montre alors que cette fonction est lunique solution du probl`eme. Nous avons vu par
ailleurs `a la Proposition 2.2 que le membre de droite de (21) est une solution sur D(1; 1)..
Remarque. La determination principale (z) = log z sur C R

verie bien

(z) = 1/z
et (1/z) = (z) pour tout z de U mais la relation
(22) (zw) = (z) + (w)
nest pas satisfaite pour tout choix de (z, w) U
2
. Par exemple, pour z = w = e
3i/4
=
(1 + i)

2/2, on a (z
2
) = i/2, alors que 2(z) = 3i/2. On veriera sans peine
que (22) est satisfaite lorsque w et z appartiennent au demi-plan 'e z > 0.
3. Les puissances complexes
On peut denir sans ambigute z

lorsque z > 0 et C ou z C et N. Dans le


cas general , z C, des precautions sont necessaires.
Denition 3.1. Soient C, z C

. On appelle determination de z

un nombre
complexe de la forme e
(z)
o` u (z) est un logarithme de z.
Ainsi, si Z, il existe une seule determination de z

, si Z/n, il en existe n et si
C Q, il en existe une innite.
On adopte le meme vocabulaire pour les fonctions : si f H(U) o` u U est un domaine,
une determination de f(z)

est une fonction de la forme e


log f(z)
pour une determination
convenable de log f(z). On appelle determination principale de z

la fonction denie sur


C R

par e
log z
o` u log z designe la determination principale de log z. On a toujours
z

= z
+
, mais la relation z

= (zw)

nest pas satisfaite identiquement.


Posons
_

n
_
:=
( 1) ( n + 1)
n!
,
ce qui est coherent avec la notation binomiale lorsque N.
3 Les puissances complexes 17
Theor`eme 3.2. La determination principale de (1 + z)

est donnee dans D := D(0; 1)


par la formule
(1 +z)

=

n0
_

n
_
z
n
.
Demonstration. Voir cours oral. .
Remarque. On a en particulier
1
(1 z)
m+1
=

n0
_
m+n
m
_
z
n
(|z| < 1).
Universite de Lorraine
Faculte des sciences et technologies
Licence de mathematiques 2011/2012
Analyse complexe (LMI6.33)
IV
Fonctions analytiques complexes
1. Denition et condition susante
Denition 1.1. Soit U un ouvert de C. On dit que f : U C est analytique dans U
si f est developpable en serie enti`ere en chaque point de U, autrement dit si, pour tout
z
0
U, il existe un disque D(z
0
; r) de rayon r > 0 tel que f(z) soit developpable en serie
enti`ere dans D(z
0
; r).
Dapr`es le Corollaire II.2.6, si f est analytique dans un ouvert U, elle y est indeniment
derivable, toutes ses derivees sont analytiques, et lon a, pour chaque z
0
de U,
f(z) =

n0
f
(n)
(z
0
)
(z z
0
)
n
n!
dans un voisinage convenable de z
0
.
Theor`eme 1.2. Soit U un ouvert de C.
(i) Lespace A(U) des fonctions analytiques dans U est une C-alg`ebre.
(ii) Si f A(U) et si V est un sous-ouvert de U o` u f ne sannule pas, alors 1/f A(V ).
(iii) Si f A(U), g A(V ) et f(U) V , alors g f A(U).
Demonstration. Voir cours oral. .
Nous verrons plus loin quune fonction holomorphe dans un ouvert y est analytique. Pour
le moment, nous nous contentons de noter le resultat suivant, qui est une consequence
immediate du Theor`eme II.2.4.
Theor`eme 1.3. La somme f(z) dune serie enti`ere est analytique dans le disque ouvert
de convergence. Plus precisement, si R designe le rayon de convergence de la serie enti`ere
f(z) en z
0
, le developpement au point z
1
D(z
0
; R) converge dans D(z
1
; R|z
1
z
0
|).
2. Le principe du prolongement analytique
Theor`eme 2.1. Soient U un domaine de C, z
0
U et f A(U). Les trois assertions
suivantes sont equivalentes.
(i) f
(n)
(z
0
) = 0 pour tout n N.
(ii) f est identiquement nulle sur un voisinage de z
0
.
(iii) f est identiquement nulle sur U.
Demonstration. Voir cours oral. .
3 Zeros dune fonction analytique 19
Corollaire 2.2. Soit U un domaine de C. Alors A(U) est un anneau dintegrite : si
f, g A(U) verient fg = 0 alors f = 0 ou g = 0.
Demonstration. Voir cours oral. .
Corollaire 2.3 (Principe du prolongement analytique). Soient U un domaine de C
et f, g A(U). Si f et g concident au voisinage dun point de U, elles concident sur U.
3. Zeros dune fonction analytique
Soit U un ouvert de C et f A(U). Au voisinage de chaque point z
0
de U, on peut
ecrire
f(z) =

n0
a
n
(z z
0
)
n
.
Si f(z
0
) = 0 mais f nest pas identiquement nulle au voisinage de z
0
, il existe dapr`es
les resultats du paragraphe precedent un entier, que nous supposerons minimal, p tel que
a
p
,= 0. La serie
g(z) =

np
a
p
(z z
0
)
np
converge pour |z z
0
| assez petit et sa somme denit au voisinage de z
0
une fonction
analytique telle que g(z
0
) = a
p
,= 0. Comme g est continue en z
0
, il sensuit que
(31) f(z) = g(z)(z z
0
)
p
est non nulle sur un disque epointe convenable D(z
0
; r) {z
0
} avec r > 0. Autrement dit,
chaque point au voisinage duquel f nest pas identiquement nulle poss`ede un voisinage
sur lequel il est lunique zero de f.
Theor`eme 3.1 (Principe des zeros isoles). Soient U un domaine de C et f A(U).
Si f nest pas identiquement nulle, lensemble de ses zeros est discret : chacun de ses
elements est isole.
Lentier p denit par (31) sappelle lordre de multiplicite du zero z
0
de f. Si p = 1, on
dit que z
0
est un zero simple de f. Si p > 1, on dit que z
0
est un zero multiple de f.
Corollaire 3.2. Soient U un domaine de C et f A(U) non identiquement nulle.
(i) Tout sous-ensemble compact de U contient au plus un nombre ni de zeros de f.
(ii) Lensemble des zeros de f dans U est denombrable.
(iii) Lensemble des zeros de f sur U ne poss`ede aucun point daccumulation dans U.
Demonstration. Le point (i) est une consequence immediate du crit`ere de compacite de
BorelLebesgue. Le point (ii) decoule de (i) et du fait que C peut etre recouvert par une
famille denombrable de compacts, par exemple les disques fermes de rayons rationnels.
Enn, lassertion (iii) resulte du fait que si z U est un point daccumulation de lensemble
des zeros de U, alors tout voisinage de z dans U contient une innite de zeros de f. .
Corollaire 3.3 (Principe des zeros isoles, seconde formulation). Soient U un
domaine de C et f, g A(U). Si f et g concident sur un sous-ensemble de U possedant
un point daccumulation, elles concident sur U.
20 IV Fonctions analytiques complexes
4. Les principes du module maximum et minimum
Theor`eme 4.1 (Principe du maximum). Soient U un domaine de C et f A(U). Si
|f| poss`ede un maximum local dans U, alors f est constante sur U.
Si U est borne et si f est prolongeable par continuite `a U, alors
(41) |f(z)| M := sup
wU
|f(w)| (z U).
Si f nest pas constante sur U, linegalite (41) est stricte.
Demonstration. Voir cours oral. .
Theor`eme 4.2 (Principe du minimum). Soient U un domaine de C et f A(U). Si
|f| poss`ede un minimum local en un point z
0
de U, alors ou bien f(z
0
) = 0, ou bien f est
constante sur U.
Demonstration. Voir cours oral. .
Universite de Lorraine
Faculte des sciences et technologies
Licence de mathematiques 2011/2012
Analyse complexe (LMI6.33)
V
Le theor`eme de Cauchy
1. Integrales curvilignes
Denition 1.1. Soit U un ouvert de C. On appelle chemin de U une application continue
: [a, b] U denie sur un intervalle compact [a, b] R. Le nombre complexe (a)
sappelle lorigine de , et (b) sappelle son extremite. Limage ([a, b]) sappelle le
support geometrique de . On la note aussi

ou supp.
On dit quun chemin est de classe C
1
par morceaux sil existe une subdivision
a = t
0
< t
1
< < t
k
= b
de [a, b] telle que soit de classe C
1
sur chacun des intervalles ouverts ]t
j
, t
j+1
[.
On dit quun chemin est ferme, si (a) = (b).
On dit quun chemin est un lacet sil est ferme et de classe C
1
par morceaux.
Exemples. (i) Un segment : [0, 1] C, deni par (t) = z
1
+t(z
2
z
1
). On note alors

= [z
1
, z
2
] := {z
1
+t(z
2
z
1
) : 0 t 1}.
(ii) Une ligne brisee, obtenue par

concatenation

de segments : par exemple


(t) :=
_
z
1
+t(z
2
z
1
) si 0 t 1,
z
2
+ (t 1)(z
3
z
2
) si 1 t 2.
Voir la Denition 1.2 ci-dessous pour une denition formelle de la concatenation.
(iii) Un cercle : (t) := z
0
+re
it
(0 t 2). Nous notons C(z
0
; r) ce chemin.
Lorsque est un chemin, on peut denir sur [a, b] un chemin

joignant (b) `a (a)


par la formule

(t) := (a +b t).
Le chemin

a meme support geometrique que mais larc de courbe est parcouru en


sens inverse.
Denition 1.2. Soient U un ouvert de C et
1
: [a, b] U,
2
: [c, d] U deux chemins
de U tels que
1
(b) =
2
(c). On appelle concatenation de
1
et
2
, et lon note =
1

2
le chemin deni sur [a, b +d c] par la formule
(t) =
_

1
(t) si a t b,

2
(c +t b) si b t b +d c.
Pour tout chemin de classe C
1
par morceaux, le chemin

est donc un lacet. On a


(t) =
_
(t) si a t b,
(2b t) si b t 2b a.
22 V Le theor`eme de Cauchy
Denition 1.3. Soit : [a, b] C un chemin de classe C
1
par morceaux. On appelle
longueur de le nombre
L() :=
_
b
a
|

(t)| dt.
On peut montrer que L() correspond bien `a la notion intuitive de longueur : cest la
borne superieure des longueurs des lignes brisees dont les sommets sont sur

.
On a L() = |z
2
z
1
| si est le segment [z
1
, z
2
], et L() = 2r si = C(z
0
; r) est un
cercle de rayon r.
Denition 1.4. Soient : [a, b] C un chemin de classe C
1
par morceaux et f une
fonction continue sur

. On appelle integrale curviligne de f le long de lintegrale


_

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

(t) dt.
Remarque. On a donc, pour tout chemin de classe C
1
par morceaux ,
(11)
_

f(z) dz =
_

f(z) dz.
Exemple.
(12)
_
C(0;r)
dz
z
= 2i.
Notation. Nous utiliserons occasionnellement la notation
_
|zz
0
|=r
=
_
C(z
0
;r)
.
Les resultats suivants, tr`es utiles en pratique, sont evidents `a partir de la denition
dune integrale curviligne.
Proposition 1.5. Soient un chemin de classe C
1
par morceaux et f :

C une
fonction continue. Alors

f(z) dz

L() sup
z

|f(z)|.
Proposition 1.6 (Additivite de lintegrale curviligne). Soient U un ouvert de C
et
1
: [a, b] U,
2
: [c, d] U deux chemins de U tels que
1
(b) =
2
(c). On pose
:=
1

2
. Alors on a pour toute fonction f C(

),
_

f(z) dz =
_

1
f(z) dz +
_

2
f(z) dz
Proposition 1.7 (Changement de parametrage dune integrale curviligne).
Soient : [a, b] C un chemin de classe C
1
par morceaux, f C(

) et un C
1
-
dieomorphisme
(1)
de [, ] sur [a, b] tel que () = a, () = b. Alors
_

f(z) dz =
_

f(z) dz.
Lorsque le dieomorphisme est decroissant, lintegrale est changee en son opposee. Ainsi,
une integrale curviligne est determinee par

et le sens de parcours : on peut donc


identier un chemin de classe C
1
par morceaux `a une classe dequivalence modulo les
C
1
-dieomorphismes croissants.
Le resultat suivant permet de decrire topologiquement le complementaire dun lacet.
1. Cest-` a-dire une bijection bi-dierentiable dont la derivee et la derivee de la reciproque sont
continues.
1 Integrales curvilignes 23
Proposition 1.8. Soit un lacet de C. Alors louvert U

:= C

poss`ede une unique


composante connexe non bornee.
Demonstration. Voir cours oral. .
Theor`eme et denition 1.9. Soient un lacet et z C

. Alors le nombre
I(z; ) :=
1
2i
_

dw
w z
est un entier relatif appele indice de z par rapport `a .
Demonstration. Voir cours oral. .
On peut interpreter lindice comme le nombre algebrique de tours que fait la courbe
fermee

autour de z.
Denition 1.10. On dit quun lacet entoure un point z de C si I(z; ) ,= 0. On note
(13) I() := {z C

: I(z; ) ,= 0}
lensemble des points du plan complexe qui sont entoures par .
Theor`eme 1.11. Soit un lacet de C. La fonction z I(z; ), de U

:= C

dans
Z est constante sur chaque composante connexe de U

et nulle sur lunique composante


connexe non bornee.
Demonstration. Comme lindice est `a valeurs enti`eres, il sut de montrer que I(z; )
depend contin ument de z. Or, cela resulte immediatement du fait que lapplication (z, t)

(t)/{(t) z} est continue sur chaque produit U

]t
j
, t
j+1
[ tel que

C(]t
j
, t
j+1
[).
On obtient I(z; ) = 0 sur la composante connexe non bornee gr ace `a la majoration
|I(z; )| L()/{2d(z,

)}
en faisant tendre |z| vers linni. .
Corollaire 1.12. On a
(14)
1
2i
_
|wa|=r
dw
w z
=
_
1 si |z a| < r,
0 si |z a| > r.
Demonstration. Lensemble C C(a; r) ne poss`ede que deux composantes connexes. Sur
la composante connexe bornee, lindice dun point quelconque est egal `a celui de a et vaut
donc
1
2i
_
|wa|=r
dw
w a
=
1
2i
_
2
0
ire
it
dt
re
it
= 1.
.
24 V Le theor`eme de Cauchy
2. Primitives
Denition 2.1. Soient U un ouvert de C et f : U C. On dit que F H(U) est une
primitive de f sur U si F

(z) = f(z) pour tout z U.


Proposition 2.2. Soient U un domaine de C, : [a, b] U un chemin de classe C
1
par
morceaux, f une fonction continue sur

et F une primitive de f sur U. Alors


(21)
_

f(z) dz = F
_
(b)
_
F
_
(a)
_
.
En particulier, le membre de gauche de (21) est nul pour tout lacet de U.
Demonstration. Il sut de remarquer que (F )

(t) = f (t)

(t) pour tout t [a, b]


sauf un nombre ni de valeurs o` u la fonction est continue. .
Exemples. Pour tout entier n ,= 1, z
n+1
/(n + 1) est une primitive de z
n
sur C (n 0)
ou C

(n 2). En revanche, on retrouve gr ace (12) que 1/z na pas de primitive sur C

ce que lon avait precedemment etabli `a la Proposition III.2.6.


Nous allons maintenant etablir la reciproque de la derni`ere assertion de la Proposi-
tion 2.2. Nous utiliserons la notion suivante.
Denition 2.3. On dit quun ouvert U de C est etoile par rapport `a un point a si le
segment [a, z] est contenu dans U pour tout z de U. On dit que U est etoile sil est etoile
par rapport `a lun de ses points.
Il est immediat quun ouvert etoile est connexe par arcs : pour tout couple (w, z) de U
2
,
la ligne brisee [w, a, z] est contenue dans U. On note, par ailleurs, quun ouvert est convexe
si, et seulement si, il est etoile par rapport `a chacun de ses points.
Theor`eme 2.4. Soient U un ouvert de C et f C(U).
(i) Si U est etoile et si
_

f(z) dz = 0 pour tout triangle plan contenu dans U, alors


f admet une primitive dans U.
(ii) Si
_

f(z) dz = 0 pour tout lacet de U, alors f admet localement une primitive


sur U, autrement dit pour tout z
0
U, il existe r > 0 et F H(D(z
0
; r))tels que f = F

sur D(z
0
; r). Si de plus U est connexe, alors f admet une primitive sur U.
Demonstration. Voir cours oral. .
`
A ns de reference ulterieure, nous enon cons maintenant une consequence immediate
de la Proposition 2.2 et du Theor`eme 2.4.
Theor`eme 2.5. Soient U un domaine de C et f C(U). Alors f admet une primitive
sur U si, et seulement si,
_

f(z) dz = 0 pour tout lacet de U. Si U est etoile, il sut


que
_

f(z) dz = 0 pour tout triangle plan contenu dans U.


Le resultat suivant fournit, compte tenu de (12), une nouvelle preuve de la Proposi-
tion III.2.1, selon laquelle il nexiste pas de determination de log z sur C

.
Pour les deux enonces suivants et la remarque quils encadrent, nous anticipons
momentanement sur la suite du cours en admettant que la derivee dune fonction
holomorphe est necessairement continue cf. Theor`eme 3.10.
3 Le theor`eme local de Cauchy 25
Proposition 2.6. Soient U un domaine de C et f H(U, C

). Les trois conditions


suivantes sont equivalentes.
(i) Il existe une determination de log f(z) sur U.
(ii) f

/f admet une primitive sur U.


(iii)
_

{f

(z)/f(z)} dz = 0 pour tout lacet de U.


Demonstration. Voir cours oral. .
Remarque. Comme on a pour toute fonction f de H(U, C

) et tout lacet de U
_

(z)
f(z)
dz =
_
f()
dw
w
= 2iI
_
0; f()
_
,
la propriete (iii) equivaut `a 0 / I(f()).
Corollaire 2.7. Soient U un domaine de C et f H(U, C

). Alors il existe une


determination de log f(z) sur U si, et seulement si, , pour chaque lacet de U, le lacet
f() nentoure pas lorigine. En particulier, il existe une determination de log z sur U si,
et seulement si, U ne contient aucun lacet entourant lorigine.
Demonstration. Cela resulte immediatement de la remarque precedente. .
3. Le theor`eme local de Cauchy
La demonstration du theor`eme de Cauchy,
(2)
dont nous allons donner ici une version
locale plus simple mais susante pour la plupart des applications, repose sur le resultat
suivant.
Theor`eme 3.1 (Goursat
(3)
). Soient U un ouvert de C et f H(U). Alors, pour tout
triangle plan contenu dans U, on a
(31)
_

f(z) dz = 0.
Demonstration. Voir cours oral. .
Corollaire 3.2. Soient U un ouvert de C et a U. La conclusion (31) du theor`eme de
Goursat persiste sous lhypoth`ese plus faible f H(U {a}) C(U).
Demonstration. Si U {a}, on peut appliquer le Theor`eme 3.1. Lorsque a est
lun des sommets de , On peut appliquer le Theor`eme 3.1 aux trois triangles obte-
nus en choisissant deux points proches de a sur les c otes adjacents de . En faisant
tendre ces points vers a, et en utilisant la continuite, on obtient encore la conclusion.
a
2. Augustin-Louis Cauchy, 17891857.
3.

Edouard Jean-Baptiste Goursat, 18581936.
26 V Le theor`eme de Cauchy
a
a
Enn, lorsque a est sur un c ote ou interieur `a , on se ram`ene au cas precedent en
considerant les deux ou trois triangles obtenus en tra cant les segments joignant a aux
sommets.
.
Theor`eme 3.3 (Theor`eme local de Cauchy). Soient U un domaine etoile, un lacet
de U et f H(U). Alors
_

f(z) dz = 0.
Demonstration. Dapr`es le theor`eme de Goursat, le resultat est etabli lorsque est le bord
dun triangle plan contenu dans U. Comme U est etoile, le Theor`eme 2.5 implique donc
que f poss`ede une primitive dans U. La conclusion resulte alors dune nouvelle application
du Theor`eme 2.5. .
Theor`eme 3.4 (Formule de Cauchy pour un domaine etoile). Soient U un ouvert
etoile de C, f H(U), un lacet de U, et z U

. Alors on a
(32) f(z)I(z; ) =
1
2i
_

f(w) dw
w z
.
Demonstration. Considerons la fonction g : U C denie par
g(w) :=
_
f(w) f(z)
w z
si z ,= w
f

(z) si z = w.
Alors g H(U {z}) C(U). Dapr`es le Corollaire 3.2, on a donc
_

g(w) dw = 0 pour
tout triangle plan contenu dans U. Dapr`es le Theor`eme 2.4(i), g poss`ede donc une
primitive dans U. La Proposition 2.2 implique alors
_

g(w) dw = 0, ce qui equivaut `a la


formule annoncee. .
Nous allons maintenant tirer un certain nombre de consequences de cette remarquable
representation integrale.
Corollaire 3.5. Soient U un ouvert de C et f H(U). Pour tous a U, r > 0 tels que
D(a; r) U, on a
(33) f(z) =
1
2i
_
|wa|=r
f(w)
w z
dw (|z a| < r).
Demonstration. Voir cours oral. .
3 Le theor`eme local de Cauchy 27
Corollaire 3.6 (Formule de la valeur moyenne). Soient U un ouvert de C et
f H(U). Alors on a, pour tout a U et tout r > 0 tel que D(a; r) U,
(34) f(a) =
1
2
_
2
0
f(a +re
it
) dt.
On dit quune fonction satisfaisant `a (34) en tout point a dun ouvert U tel que
D(a; r) U poss`ede la propriete de moyenne. Une fonction holomorphe sur un ouvert y
poss`ede donc la propriete de moyenne. Mais la classe des fonctions possedant la propriete
de moyenne ne se reduit pas aux fonctions holomorphes : si f est holomorphe sur U, alors
'e f et mf poss`edent la propriete de moyenne sur U.
Corollaire 3.7 (Principe du maximum generalise). (i) Une fonction possedant la
propriete de moyenne sur un domaine y satisfait au principe du maximum, i.e. f est
constante au voisinage de tout point o` u elle poss`ede un maximum local.
(ii) Si U est un domaine borne de C et si f C(U) est une fonction possedant la
propriete de moyenne sur U. Alors
(35) |f(z)| M := sup
wU
|f(w)| (z U).
Si f nest pas constante sur U, linegalite (35) est stricte.
Demonstration. Voir cours oral. .
Remarques. (i) On peut en fait etablir que si f verie la propriete de moyenne sur
un domaine U et poss`ede un maximum local en un point de U, alors f est constante
sur U. Nous ne prouverons ici pas cette assertion, dont la demonstration necessite certains
resultats de la theorie des fonctions harmoniques.
(ii) Il decoule immediatement du Corollaire 3.7 que si f H
_
D(0; R)
_
, alors M(r) :=
sup
|z|=r
|f(z)| est une fonction croissante sur [0, R[.
Corollaire 3.8. Soient U un ouvert de C et f H(U). Alors f A(U) et lon a pour
tout a de U et tout r > 0 tel que D(a; r) U,
f(z) =

n0
a
n
(z a)
n
(|z a| < r)
avec
(36) a
n
=
1
2i
_
|wa|=r
f(w) dw
(w a)
n+1
(n 0).
Demonstration. Soit z D(a; r). Alors z D(a; ) avec < r. Dapr`es (33), on a donc
f(z) =
1
2i
_
|wa|=r
f(w)
w z
dw =
1
2i
_
|wa|=r
f(w)
w a
dw
1 (z a)/(w a)
.
On conclut en developpant la seconde fraction en puissances de (za)/(wa) D(0; /r)
et en justiant la permutation de lintegration et de la sommation gr ace `a la convergence
uniforme. .
28 V Le theor`eme de Cauchy
Corollaire 3.9. Soient U un ouvert de C et f H(U). Alors on a pour tout a U, tout
r > 0 tel que D(a; r) U, et tout entier n 0,
(37) f
(n)
(a) =
n!
2i
_
|wa|=r
f(w) dw
(w a)
n+1
.
Demonstration. Voir cours oral. .
Remarque. Une formule plus generale, etendant (37), est etablie `a lExercice 63
Theor`eme 3.10. Soient U un ouvert de C et f H(U). Alors f

H(U).
Demonstration. Cela decoule immediatement du Corollaire 3.8 puisque la derivee dune
fonction analytique est analytique (Corollaire II.2.6). .
Denition 3.11. On dit quune fonction est enti`ere si elle appartient `a H(C).
Theor`eme 3.12. Toute fonction enti`ere est developpable sur C en une serie enti`ere de
rayon de convergence inni.
Demonstration. Cest une consequence immediate du Corollaire 3.8. .
Corollaire 3.13 (Inegalites de Cauchy). Soient U un ouvert de C et f H(U). Alors
on a, pour tout a U, tout R > 0 tel que D(a; R) U, et tout entier n 0,
|f
(n)
(a)|R
n
n!
M(R) := max
|za|=R
|f(z)|.
La formule de Gutzner (Exercice 49) fournit en fait un resultat leg`erement plus precis.
En particulier, elle implique que les inegalites de Cauchy sont strictes si f nest pas un
mon ome.
4. Consequences de lanalyticite des fonctions
holomorphes
Theor`eme 4.1 (Theor`eme de lapplication ouverte). Soit U un domaine de C et
f H(U). Alors f(U) est un domaine de C ou un point.
Demonstration. Comme limage continue dun connexe est connexe, il sut de montrer
que f(U) est ouvert si f nest pas constante. Soit a U. Nous allons montrer quil existe
un > 0 tel que
(41) D
_
f(a);
_
f(U).
Comme a est un zero de la fonction analytique g(z) := f(z) f(a), il existe r > 0 tel
que D(a; r) U et f(z) ,= f(a) pour 0 < |z a| r. Soit m := inf
|za|=r
|f(z) f(a)|.
Si w C f(U) et |w f(a)| < m/2, nous deduisons des inegalites de Cauchy pour la
fonction h(z) = 1/
_
f(z) w
_
, holomorphe sur U, que lon a
|h(a)| =
1
|f(a) w|
sup
|za|=r
1
|f(z) w|
sup
|za|=r
1
|f(z) f(a)| |f(a) w|

2
m
,
une contradiction. Ainsi (41) a bien lieu avec = m/2. .
Le resultat suivant peut etre considere comme une reciproque du theor`eme de Cauchy.
4 Consequences de lanalyticite des fonctions holomorphes 29
Theor`eme 4.2 (Morera
(4)
). Soit U un ouvert de C et f C(U) une fonction telle que
_

f(z) dz = 0 pour tout triangle contenu dans U. Alors f H(U).


Demonstration. Il sut de montrer que f est holomorphe sur un voisinage de tout point
de U. Soient a U et r > 0 tels que D(a; r) U. Alors
_

f(z) dz = 0 pour tout triangle


D(a; r). Comme le disque est etoile, on en deduit, dapr`es le Theor`eme 2.5, que f
admet une primitive sur D(a; r). Cette primitive etant indeniment derivable sur D(a; r)
en vertu du Theor`eme 3.10, cela implique bien que f H
_
D(a; r)
_
. .
Corollaire 4.3. Soient U un ouvert de C, a U et f H(U {a}) C(U). Alors
f H(U).
Demonstration. Voir cours oral. .
Theor`eme 4.4 (Liouville
(5)
). Une fonction enti`ere bornee est constante
Demonstration. Cela decoule immediatement du Theor`eme 3.12 et des inegalites de
Cauchy. .
On peut generaliser le theor`eme de Liouville sous la forme suivante.
Theor`eme 4.5. Une fonction enti`ere `a croissance polynomiale est un polyn ome. Plus
precisement, si f H(C) verie M(R) := sup
|z|R
|f(z)| C(1 +R

) avec C > 0, > 0,


alors f est un polyn ome de degre [].
Demonstration. Dapr`es le Theor`eme 3.12, on a f(z) =

n0
a
n
z
n
pour tout z C et les
inegalite de Cauchy impliquent, en faisant tendre R vers linni, que a
n
= 0 pour n > ..
Theor`eme 4.6 (dAlembert
(6)
Gauss). Soit P un polyn ome non constant `a coe-
cients complexes. Alors P poss`ede au moins une racine sur C.
Demonstration. En eet, dans le cas contraire, 1/P(z) serait une fonction enti`ere bornee..
Remarque. Si P(z
0
) = 0, alors P(z) = P(z) P(z
0
) = (z z
0
)Q(z) o` u Q C[X]. On
deduit donc du theor`eme de dAlembertGauss que tout polyn ome de degre d poss`ede sur
C exactement d racines, comptees avec leur ordre de multiplicite.
Theor`eme 4.7 (Principe de symetrie de Schwarz
(7)
). Soit U un domaine non vide
de C, symetrique par rapport `a laxe reel. On pose U
+
:= {z U : mz > 0}, U
0
:= UR.
Si f H(U
+
) C(U
+
U
0
) et si f(U
0
) R, alors il existe un unique prolongement
holomorphe de f `a U. Ce prolongement verie f(z) = f(z) pour tout z de U.
Demonstration. Voir cours oral. .
Theor`eme 4.8 (Lemme de Schwarz). Soient R > 0 et f H
_
D(0; R)
_
. On suppose
que f(0) = 0 et sup
|z|<R
|f(z)| M. Alors :
(i) |f(z)| M|z|/R pour |z| < R;
(ii) |f

(0)| M/R;
4. Giacinto Morera, 18561909.
5. Joseph Liouville, 1809-1882.
6. Jean le Rond dAlembert, 1717-1783.
7. Hermann Amandus Schwarz, 18431921.
30 V Le theor`eme de Cauchy
(iii) Si |f

(0)| = M/R, ou si |f(z


0
)| = |z
0
|M/R pour une valeur de z
0
D(0; R) {0},
alors il existe C tel que || = M/R et f(z) = z pour tout z de D(0; R).
Demonstration. Voir cours oral. .
5. Le theor`eme general de Cauchy
Commen cons par etablir un lemme relatif `a lholomorphie dune integrale dependant
dun param`etre.
Lemme 5.1. Soient U un ouvert de C, un chemin de C et g C(U

, C) une fonction
dont toutes les fonctions partielles g
w
: z g(z, w) sont holomorphes. Alors la fonction
h : U C denie par
h(z) :=
_

g(z, w) dw
est holomorphe.
Demonstration. Voir cours oral. .
Le resultat suivant permet dassocier `a toute fonction holomorphe une fonction g `a
laquelle le Lemme 5.1 est applicable.
Lemme 5.2. Soient U un ouvert de C et f H(U). La fonction g denie sur U U par
(51) g(z, w) :=
_
f(z) f(w)
z w
si z ,= w,
f

(z) si z = w,
est continue sur U U.
Demonstration. Voir cours oral. .
Theor`eme 5.3 (Formule de Cauchy). Soient U un ouvert de C, un lacet de U tel
que I() U et f H(U). Alors on a
(52) I(z; )f(z) =
1
2i
_

f(w)
w z
dw (z U

).
Demonstration. Soit g : U U C la fonction denie par (51). Dapr`es les Lemmes 5.2
et 5.1, la fonction h : U C denie par
h(z) :=
1
2i
_

g(z, w) dw
est holomorphe sur U.
5 Le theor`eme general de Cauchy 31
Considerons alors V := {z C

: I(z; ) = 0} et observons demblee que lhypoth`ese


I() U implique C V =

I() U, do` u U V = C. Soit alors k : V C la


fonction denie par
k(z) :=
1
2i
_

f(w) dw
w z
.
Dapr`es le Lemme 5.1, on a k H(V ). De plus, k(z) = h(z) pour tout z de U V . Cela
permet donc de denir une fonction enti`ere par
(z) =
_
h(z) si z U,
k(z) si z V .
Or, dapr`es le Theor`eme 1.11, V contient lunique composante connexe non bornee
de C

. Comme k(z) 0 lorsque |z| , la meme propriete vaut pour , et il sensuit


que est bornee. Dapr`es le theor`eme de Liouville (Theor`eme 4.4), est donc constante,
et en fait identiquement nulle puisque lim
|z|
|(z)| = 0. Cela implique immediatement
le resultat annonce. .
Theor`eme 5.4 (Theor`eme de Cauchy). Soient U un ouvert de C, un lacet de U
tel que I() U et f H(U). Alors
(53)
_

f(z) dz = 0.
Demonstration. Soit a U. En appliquant la formule de Cauchy `a h(z) = (z a)f(z),
qui verie evidemment h(a) = 0, on obtient immediatement (53). .
En employant la methode de lExercice 63, on peut generaliser la formule de Cauchy (52)
sous la forme
(54) I(z; )
f
(n)
(z)
n!
=
1
2i
_

f(w) dw
(w z)
n+1
lorsque U est un ouvert quelconque, f H(U) et un lacet de U tel que I() U.
Lemploi de la formule de Cauchy necessite une methode de calcul de lindice. Le resultat
suivant sut pour la plupart des situations apparaissant dans la pratique. Un resultat plus
general est cependant etabli dans le probl`eme enonce p. 96.
Proposition 5.5. Soient : [a, b] C un lacet de C et z
0
C

un nombre complexe
tel que, pour un nombre [0, 2[ convenable, la demi-droite {z
0
+re
i
: r 0} rencontre
en un seul point w = (c), avec a < c < b. On suppose de plus que, lorsque largument
est choisi `a valeurs dans ], + 2[, on a
arg{(c+) z
0
} = , arg{(c) z
0
} = + 2.
Alors I(z
0
; ) = 1.
Demonstration. Voir cours oral. .
32 V Le theor`eme de Cauchy
6. Simple connexite
Lhypoth`ese I() U apparaissant dans le theor`eme de Cauchy signie que nentoure
aucun point de C U, autrement dit que nentoure aucun

trou

de U. La denition
suivante, qui correspond intuitivement `a la notion de domaine sans trou, fournit une classe
de domaines o` u le theor`eme de Cauchy sapplique sans condition sur le lacet .
Denition 6.1. On dit quun ouvert U de C est simplement connexe sil est connexe et
si I() U pour tout lacet de U, autrement dit si I(z; ) = 0 pour tout z de CU et
tout lacet de U.
Remarque. Il est immediat dapr`es le Theor`eme 1.11 quune condition susante pour
quun ouvert U soit simplement connexe est que C U ne poss`ede aucune composante
connexe bornee. On peut montrer que la reciproque est vraie, mais nous nutiliserons pas
ce resultat dans ce cours.
Il est immediat quune couronne {z C : r < |z| < R} nest pas simplement connexe :
I(0; ) = 1 pour tout cercle |z| = avec r < < R. Le resultat suivant fournit une
condition susante pratique.
Theor`eme 6.2. Un domaine etoile est simplement connexe. En particulier, un ouvert
convexe est simplement connexe.
Demonstration. Voir cours oral. .
Exemples. (i) Louvert C R poss`ede deux composantes connexes, toutes deux non
bornees. Bien que nayant aucune composante bornee, il nest donc pas simplement
connexe car un ouvert simplement connexe doit etre un domaine.
(ii) Le plan prive dune demi-droite est simplement connexe car il est etoile : par exemple,
C R

est etoile par rapport `a 1.


(iii) Une bande {z C : |mz| < } est simplement connexe car convexe. Il est `a noter
que le complementaire nest pas connexe, mais que ses deux composantes connexes sont
non bornees.
Theor`eme 6.3. Soit U un domaine de C. Les conditions suivantes sont equivalentes.
(i) U est simplement connexe.
(ii) Toute fonction holomorphe sur U satisfait `a la formule de Cauchy (52).
(iii) Pour toute fonction holomorphe sur U et tout lacet de U, on a
_

f(z) dz = 0.
(iv) Toute fonction holomorphe sur U poss`ede une primitive.
(v) Pour toute fonction f de H(U, C

), il existe une determination de log f sur U.


(vi) Pour tout entier n 1 et toute fonction f de H(U, C

), il existe une determination


de f
1/n
sur U.
(vii) Pour toute fonction f de H(U, C

), il existe une determination de

f sur U.
Demonstration. Voir cours oral. .
Remarque. Il resulte du point (v) et de la Proposition 2.6(iii) quun domaine U est
simplement connexe si, et seulement si, on a 0 / I(f()) pour tout lacet de U et toute
fonction f de H(U, C

). On pourra verier, `a titre dexemple, que limage par z e


z
dun rectangle parall`ele aux axes nentoure jamais lorigine.
6 Simple connexite 33
ie
i/e
0 1/e
e
y
x
exp
0
y
x
1 -1
-i!/2
i!/2
Image dun rectangle par lexponentielle.
Universite de Lorraine
Faculte des sciences et technologies
Licence de mathematiques 2011/2012
Analyse complexe (LMI6.33)
VI
Developpement de Laurent,
fonctions meromorphes, theorie des residus
1. Fonctions holomorphes dans une couronne
Nous designons par
D(z
0
; R
1
, R
2
) := {z C : R
1
< |z z
0
| < R
2
}
la couronne de centre z
0
et de rayons R
1
et R
2
. Lorsque R
1
= 0, R
2
= R, on dit que
D

(z
0
; R) := D(z
0
; 0, R) = D(z
0
; R) {z
0
}
est le disque epointe de centre z
0
et de rayon R.
Denition 1.1. On appelle serie de Laurent
(1)
en z
0
C la somme dune serie enti`ere
en z z
0
et dune serie enti`ere en 1/(z z
0
).
Exercice. Verier quune serie de Laurent converge absolument si, et seulement si,
z D(z
0
; R
1
, R
2
) o` u R
2
est le rayon de convergence de la serie en (z z
0
) et 1/R
1
celui de la serie en 1/(z z
0
).
Theor`eme 1.2. Soient z
0
C, R
1
, R
2
des nombres reels tels que R
2
> R
1
0,
D := D(z
0
; R
1
, R
2
) et f H(D). Alors f est developpable dans D de mani`ere unique en
une serie de Laurent convergente
f(z) =

nZ
a
n
(z z
0
)
n
.
Pour tout r ]R
1
, R
2
[, on a
(11) a
n
=
1
2i
_
|zz
0
|=r
f(z)
(z z
0
)
n+1
dz (n Z).
Demonstration. Voir cours oral. .
Corollaire 1.3 (Inegalites de Cauchy pour une fonction holomorphe dans une
couronne). Soient R
2
> R
1
0, D := D(0; R
1
, R
2
) et f H(D). Si {a
n
}
nZ
designe la
suite des coecients de la serie de Laurent de f dans D, on a, pour tout entier n Z,
(12) |a
n
|r
n
M
f
(r) := sup
|z|=r
|f(z)| (R
1
< r < R
2
).
Demonstration. Cest une consequence immediate de la formule (11). .
Remarque. M
f
(r) ne concide pas ici, comme dans le cas des fonctions holomorphes dans
un disque, avec le maximum sur le disque |z| r, cette derni`ere quantite etant en general
innie.
1. Pierre Alphonse Laurent, 18131853.
2 Points singuliers isoles, fonctions meromorphes 35
2. Points singuliers isoles, fonctions meromorphes
Denition 2.1 (Point singulier). Soient U un ouvert de C et f H(U). On dit que
a U est un point singulier de f si f ne peut etre prolongee analytiquement en une
fonction holomorphe sur un ouvert contenant a. Dans le cas contraire, on dit que a est un
point regulier de f. On dit que a est un point singulier isole de f sil existe r > 0 tel que
D

(a; r) U.
Exemples. (i) Si f(z) := 1/(1 z), U := D(0; 1), alors 1 est un point singulier de f, et 1
est un point regulier. Sur U := D(0; 2), le point 1 est singulier isole.
(ii) 0 est un point singulier isole de e
1/z
sur C

.
(iii) 0 nest un point singulier isole de log z pour aucun ouvert U de C puisquil nexiste
de determination du logarithme sur aucun disque epointe de centre 0 (Proposition III.2.6).
(iv) 0 nest pas un point singulier isole de 1/ sin(1/z) puisque la suite de points singuliers
isoles {1/n}

n=1
converge vers 0.
Denition 2.2. Soient U un ouvert de C, a U, f H(U {a}), et

nZ
a
n
(z a)
n
le developpement de Laurent de f dans un voisinage de a. Si lensemble {n Z : a
n
,= 0}
poss`ede un plus petit element m Z

, on dit que f poss`ede un p ole dordre m en


z = a. On dit aussi que la singularite de f(z) en z = a est polaire. Dans le cas contraire,
on dit que f poss`ede une singularite essentielle en z = a.
Lorsquun p ole est dordre 1, on dit que cest un p ole simple .
Une fonction f denie sur un voisinage epointe V de a poss`ede un p ole dordre m en
z = a si, et seulement si, on peut ecrire
f(z) = g(z) +P
_
1
z a
_
(z V )
o` u g est reguli`ere en a et P est un polyn ome de degre m. On peut toujours choisir P
tel que P(0) = 0. On dit alors que P est la partie polaire de f au point a. Une autre
condition necessaire et susante pour que f poss`ede un p ole dordre m en a est que lon
puisse ecrire
(21) f(z) =
h(z)
(z a)
m
(z V )
o` u h est reguli`ere en a. Exemple : f(z) = 1/(e
z
1) en z = 0.
Dans tous les autres cas, la singularite est essentielle.
Theor`eme 2.3 (Riemann
(2)
). Soient U un ouvert de C, a U, et f H(U {a}).
Alors a est un point regulier de f si, et seulement si, lim
za
(z a)f(z) = 0. Cest en
particulier le cas si f est bornee au voisinage de a.
Demonstration. Voir cours oral. .
Ainsi, un point a au voisinage duquel |f| est `a croissance moderee est necessairement un
point regulier. On dit parfois que f poss`ede une singularite eliminable en z = a. Exemple :
(sinz)/z en z = 0.
2. Bernhard Riemann, 18261866
36 VI Developpement de Laurent, fonctions meromorphes, theorie des residus
Corollaire 2.4. Soit U un ouvert de C, a U, et f H(U{a}). Si a est une singularite
de f, alors
(22) limsup
za
|f(z)| = .
Demonstration. Cest une simple reformulation du Theor`eme 2.3. .
Remarque. On peut en fait renforcer (22) en
limsup
za
|(z a)f(z)| > 0.
Corollaire 2.5 (Casorati
(3)
Weierstrass
(4)
). Soit U un ouvert de C, a U, et
f H(U {a}). Si a est une singularite essentielle de f, alors, pour tout b C, on a
liminf
za
|f(z) b| = 0.
En dautres termes, f
_
D

(a; r)
_
est dense dans C pour tout r > 0 assez petit.
Demonstration. Voir cours oral. .
Remarque. Le theor`eme de Picard,
(5)
que nous ne demontrerons pas dans ce cours, est
beaucoup plus precis : si a est une singularite essentielle isolee de f, alors Cf
_
D

(a; r)
_
contient au plus un point.
Exemple. La fonction f : z e
1/z
prend toute valeur non nulle dans tout voisinage
epointe de lorigine puisque f
_
1/{log b + 2ik}
_
= b lorsque log est une determination
convenable du logarithme et k Z est de valeur absolue assez grande.
Denition 2.6 (Fonction meromorphe). Soient U un ouvert de C et A une partie
discr`ete
(6)
de U. On dit quune fonction f H(U A) est meromorphe sur U si chaque
point de A est soit un point regulier, soit un p ole de f. Lensemble des singularites de f
est appele lensemble polaire de f. On note M(U) lespace des fonctions meromorphes sur
U.
Exemple. z 1/ sin(z) M(C) et admet Z pour ensemble polaire.
Il est evident que tout quotient de fonctions holomorphes sur U est une fonction
meromorphe sur U. La reciproque est egalement vraie, autrement dit : une fonction est
meromorphe sur un ouvert de C si, et seulement si, elle y est egale au quotient de deux
fonctions holomorphes. Nous admettons momentanement cette assertion, en remarquant
toutefois que la relation (21) en etablit la version locale.
Proposition 2.7. Soient U un ouvert de C et f, g des fonctions meromorphes sur U.
Alors, fg, 1/f et f

sont meromorphes sur U.


Demonstration. Voir cours oral. .
3. Felice Casorati, 18351900.
4. Karl Theodor Wilhelm Weierstrass, 18151897.
5.

Emile Picard, 18561941.
6. Cest-` a-dire dont tous les points sont isoles.
3 Theor`eme des residus 37
Proposition 2.8. Soient U un ouvert de C et f une fonction meromorphe sur U. Alors
lensemble polaire de f

/f est la reunion de lensemble des zeros et des p oles de f. Il est


constitue de p oles simples.
Demonstration. Voir cours oral. .
Le nombre entier m de la derni`ere formule est un element important de la description
du comportement de la fonction meromorphe f. Cela justie la denition suivante.
Denition 2.9. Soient U un ouvert de C et f M(U). On appelle ordre de f en un
point a de U, et lon note (f; a) la borne inferieure de lensemble des indices n tels que
le coecient a
n
du developpement de Laurent de f en a soit non nul.
On a ainsi (f; a) < 0 si, et seulement si, a est un p ole pour f, (f; a) 0 si, et
seulement si, a est un point regulier de f, et (f; a) > 0 si, et seulement si, a est un zero
de f.
3. Theor`eme des residus
Denition 3.1 (Residus). Soient U un ouvert de C, a un point de U et f H(U{a}).
On appelle residu de f au point a et on note Res(f; a) le coecient dindice 1 dans le
developpement de Laurent de f en z = a.
On a donc pour r > 0 assez petit
Res(f; a) =
1
2i
_
|za|=r
f(z) dz,
ainsi quon peut le voir en integrant terme `a terme la serie de Laurent cf. Theor`eme 1.2,
formule (11) avec n = 1. Lenonce suivant generalise cette remarque et justie linteret
de la notion de residu.
Proposition 3.2. Soient a C, R
2
> R
1
0, D := D(a; R
1
, R
2
), f H(D) et

nZ
a
n
(z a)
n
le developpement de Laurent de f au point a. Pour tout lacet de
D, on a
I(a; )a
1
= I(a; ) Res (f; a) =
1
2i
_

f(z) dz.
Demonstration. La fonction denie sur D par
g(z) := f(z)
a
1
z a
=

n=1
a
n
(z a)
n
poss`ede sur D la primitive
G(z) :=

n=1
a
n
n + 1
(z a)
n+1
.
Dapr`es le Theor`eme V.2.5, son integrale sur est donc nulle. .
38 VI Developpement de Laurent, fonctions meromorphes, theorie des residus
Theor`eme 3.3 (Theor`eme des residus). Soient U un ouvert de C, A une partie
discr`ete de U, f H(U A) et un lacet de U A tel que I() U. Alors on a
(31)
1
2i
_

f(z) dz =

aI()A
Res(f; a)I(a; ).
Demonstration. Montrons dabord que la somme apparaissant au membre de droite de
(31) est nie. Comme I() est borne (Theor`eme V.1.11), I() est compact. Cela implique
que I() A est un ensemble ni. Il en va donc de meme de I() A. Pour chaque a de
I() A, designons par h
a
(z) la partie singuli`ere du developpement de Laurent de f au
point a, soit
h
a
(z) :=

n1
a
n
(z a)
n
.
Cette serie converge pour |z a| arbitrairement petit, elle denit donc une fonction
holomorphe sur C {a}. Ainsi, h
a
H(U {a}) et g := f

aI()A
h
a
H(V )
avec V := (U A)
_
I() A
_
. On a clairement I() V . Le theor`eme de Cauchy
applique `a g fournit donc
0 =
_

g(z) dz =
_

f(z) dz

aI()A
_

h
a
(z) dz.
La conclusion annoncee resulte alors de la Proposition 3.2. .
Remarque. Le theor`eme de Cauchy et la formule de Cauchy sont des cas particuliers du
theor`eme des residus. On obtient le theor`eme de Cauchy en choisissant A = , et la
formule de Cauchy en appliquant, lorsque f H(U), le theor`eme des residus `a la fonction
f
a
: z f(z)/(z a) sur louvert U avec A := {a}. On a en eet Res(f
a
; a) = f(a).
Lenonce suivant explicite le calcul dun residu dans les cas simples.
Theor`eme 3.4. Soient U un ouvert de C, a un point de U et f H(U {a}).
(i) Si a est un p ole simple de f, on a
(32) Res(f; a) = lim
za
(z a)f(z).
En particulier si f(z) = g(z)/h(z) o` u g et h sont holomorphes dans un voisinage de a et
si a est un zero simple de h, alors
(33) Res(f; a) = g(a)/h

(a).
(ii) Si lon a f(z) = g(z)/(z a)
m
sur un voisinage epointe de a o` u m N

et g est
holomorphe au voisinage de a et satisfait `a g(a) ,= 0, alors
(34) Res(f; a) =
g
(m1)
(a)
(m1)!
.
Demonstration. Voir cours oral. .
Remarque. Dans le cas general, le calcul peut ne pas etre tr`es simple. La technique des
developpements limites est applicable. Voir par exemple lExercice 87
4 Nombre des zeros et des p oles dune fonction meromorphe 39
Exemples. (i) f(z) = e
z
/{z(z 1)
3
}. On a clairement Res (f; 0) = 1. Pour calculer le
residu en 1, on pose z = 1 + u et on eectue un developpement limite au voisinage de
u = 0 :
f(z) =
e
1+u
(1 +u)u
3
=
e{1 +u +
1
2
u
2
+O(u
3
)}{1 u +u
2
+O(u
3
)}
u
3
=
e{1 +
1
2
u
2
+O(u
3
)}
u
3
=
e
u
3
+
e
2u
+O(1).
On a donc Res (f; 1) =
1
2
e.
(ii) f(z) := e
1/z
/{z(1 z)}. On a, au voisinage de z = 0 (et en fait pour 0 < |z| < 1),
f(z) =

n0
z
n1
n!

k0
z
k
.
Le terme de degre 1 vaut donc
Res (f; 0) =

n0
1
n!
= e.
4. Nombre des zeros et des p oles dune fonction
meromorphe
On note Z(f) lensemble des zeros et P(f) celui des p oles dune fonction meromorphe f.
Theor`eme 4.1. Soient U un ouvert de C, f M(U) et un lacet de U (Z(f) P(f))
tel que I() U. Alors
1
2i
_

(z)
f(z)
dz =

aI()
(f; a)I(a; ).
Demonstration. Cest une consequence immediate du theor`eme des residus, de la Propo-
sition 2.8 et de la formule (f/fmer). .
En particulier, si est tel que I(a; ) = 0 ou 1 pour tout a, on a
(41)
1
2i
_

(z)
f(z)
dz = I(0; f ) = Z
f
P
f
o` u Z
f
represente le nombre des zeros, et P
f
celui des p oles, de f dans I(). Cette formule
porte le nom de principe de largument : en eet, le membre de droite represente le
quotient par 2 de la variation dargument de f (t) le long de lintervalle de denition
[a, b] de en suivant les valeurs par continuite : voir en particulier le probl`eme p. 96. En
particulier, si f est holomorphe, lintegrale de (41) represente le nombre des zeros de f
dans I().
Le resultat suivant, qui decoule simplement du Theor`eme 4.1, est dune grande utilite
pratique.
40 VI Developpement de Laurent, fonctions meromorphes, theorie des residus
Theor`eme 4.2 (Rouche
(7)
). Soient U un domaine de C, f et g deux fonctions
holomorphes sur U et un lacet de U tel que I(z; ) = 1 pour tout z I() et I() U.
Si |g| < |f| + |f +g| sur

, alors f et f +g ont le meme nombre de zeros (comptes avec


multiplicite) dans I().
Demonstration. Voir cours oral. .
Exemples. (i) On peut retrouver aisement le theor`eme de dAlembertGauss (Theo-
r`eme V.4.6) `a laide du theor`eme de Rouche : si P(z) :=

0jn
a
j
z
j
est un polyn ome
de degre n, alors |P(z) a
n
z
n
| < |a
n
z
n
| sur un cercle de rayon R assez grand, donc P a
le meme nombre de racines dans D(0; R) que a
n
z
n
, cest-` a-dire n.
(ii) Considerons le polyn ome P(z) = 2z
5
6z
2
+z +1. Comme |2z
5
+z +1| 4 < |6z
2
|
pour |z| = 1, on voit que P(z) a exactement 2 racines dans le disque unite. Pour |z| = 2,
on a | 6z
2
+z + 1| 27 < 64 = |2z
5
|, donc P a 5 racines dans le disque D(0; 2), dont 3
dans la couronne D(0; 1, 2).
(iii) Soient U un ouvert contenant D(0; 1) et f H(U). Si |f(z)| < 1 pour |z| = 1, alors
lequation f(z) = z poss`ede exactement une racine dans le disque unite.
(iv) Soit > 1. Alors lequation ze
z
= 1 poss`ede exactement une solution dans
D(0; 1), et cette solution est reelle, dans ]0, 1[. En eet, |e
z
| < 1 pour |z|=1, donc la
solution est unique, et la conclusion resulte du fait quil existe, en vertu du theor`eme des
valeurs intermediaires, une solution reelle positive.
Theor`eme 4.3 (Lagrange,
(8)
1770). Si f est holomorphe dans un voisinage de lorigine
et f(0) ,= 0, alors lequation vf(z) = z poss`ede, pour |v| et r assez petits, une unique
solution z = z(v) dans D(0; r) et lon a
z(v) =

n1
a
n
v
n
avec
a
n
:=
1
n!
_
d
n1
dz
n1
f(z)
n
_
z=0
(n 1).
Demonstration. Voir cours oral. .
On peut ainsi developper, lorsque t , en serie enti`ere en 1/t la solution tendant
vers 0 de lequation P(z) = tz o` u P est un polyn ome donne.
Exemple. Si z
2
+ 1 = tz et z avec t, alors
z =
1
2
_
t
_
t
2
4
_
= t
1
2
t

n1
(1)
n
_
1/2
n
_
_
2
t
_
2n
=
1
2

n2
_
2n
n
_
1
(2n 1)t
2n1
.
Pour le developpement de la plus grande racine, voir lExercice 93
7. Eug`ene Rouche, 18321910. Le theor`eme de Rouche, qui date de 1862, suppose classiquement
|g| < |f| sur

. La forme presentee ici est due `a Glicksberg (1976).


8. Joseph Louis Lagrange, 17361813.
5 Calcul dintegrales par la methode des residus 41
5. Calcul dintegrales par la methode des residus
51. Principe general
La theorie des residus permet de calculer un certain nombre dintegrales reelles, du type
_
I
f(t) dt
o` u I est un intervalle borne ou non. Lidee generale consiste `a realiser I comme une
reunion dune famille croissante de segments J dependant dun ou plusieurs param`etres
et qui sont des parties de lacets sur lesquels lintegrale de f(z) peut etre calculee par
le theor`eme des residus et tels que les contributions complementaires peuvent etre soit
calculees exactement, soit evaluees asymptotiquement.
Le lemme suivant sera souvent utile.
Lemme 5.1 (R`egle zf(z)). Soient
1
,
2
, R
0
des nombres reels tels que
1
<
2
,
R
0
> 0, et
S
1
:= S
1
(
1
,
2
; R
0
) := {z C :
1
arg z
2
, |z| R
0
},
S
2
:= S
2
(
1
,
2
; R
0
) := {z C :
1
arg z
2
, |z| R
0
}.
Pour (j = 1, 2), on designe par f une fonction integrable denie sur S
j
(
1
,
2
, R
0
) et lon
pose
j,R
:= S
j
C(0; R) (R > 0).
(i) Si lim
|z|
zS
1
zf(z) = 0, alors lim
R
_

1,R
f(z) dz = 0.
(ii) Si lim
z0
zS
2
zf(z) = 0, alors lim
R0
_

2,R
f(z) dz = 0.
Demonstration. Voir cours oral. .
52. Integrales de fractions rationnelles en sinus et cosinus
Theor`eme 5.2. Soit R(x, y) := P(x, y)/Q(x, y) une fraction rationnelle en deux va-
riables, telle que Q(x, y) ne sannule pas sur le cercle unite x
2
+y
2
= 1. Alors
_
2
0
R(cos , sin) d = 2i

wD(0;1)
Res (h; w)
o` u h est la fonction meromorphe denie par
h(z) :=
1
iz
R
_
1
2
(z + 1/z),
1
2i
(z 1/z)
_
.
Demonstration. En parametrant le cercle unite, on a bien
_
2
0
R(cos , sin) d =
_
|z|=1
h(z) dz.
La formule annoncee decoule donc immediatement du theor`eme des residus. .
Exemple. Calculons I(a) :=
_
2
0
d/{a + cos } pour a > 1. On a
h(z) =
1
iz
1
a +
1
2
(z + 1/z)
=
2i
z
2
+ 2az + 1
.
42 VI Developpement de Laurent, fonctions meromorphes, theorie des residus
Le seul p ole dans D(0; 1) est donc b := a+

a
2
1, de residu i/(b +a) = i/

a
2
1.
Il suit
I(a) =
2

a
2
1
.
53. Integrales impropres relatives `a des fractions rationnelles
Designons par
H := {z C : mz > 0}
le demi-plan superieur.
Theor`eme 5.3. Soient P et Q des polyn omes `a coecients complexes tels que
deg Q deg P + 2 et Q(x) ,= 0 pour x R. Alors on a
_

P(x)
Q(x)
dx = 2i

wH
Res (P/Q; w) .
Demonstration. Il sut dappliquer le theor`eme des residus au contour dont le support
geometrique est le bord du demi-disque D(0; R) H et de faire tendre R vers linni. Le
resultat decoule du Lemme 5.1. .
Exemple. Soit `a calculer lintegrale
I :=
_

0
dx
1 +x
6
.
Les p oles de f(z) := 1/(1+z
6
) dans H sont z
1
:= e
i/6
, z
2
:= i, et z
3
:= e
5i/6
, de residus
1/(6z
5
j
) =
1
6
z
j
(1 j 3). Il suit
I =
1
2
_
R
dx
1 +x
6
=
1
6
i
_
z
1
+z
2
+z
3
_
=
1
6

_
1 + 2 sin(/6)
_
=
1
3
.
Introduisons la notation
_

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

(t)| dt
lorsque : [a, b] C est un chemin de classe C
1
par morceaux et f C(

; C). Il est clair


que lon a
(51)

f(z) dz

|f(z)| |dz|.
Le lemme suivant sera utile.
Lemme 5.4 (Jordan
(9)
). Soit
R
:= C(0; R) H. Pour a > 0, R > 0, on a
_

e
iaz

|dz| < /a.


Demonstration. On a
_

e
iaz

|dz| =
_

0
e
aRsin
Rd = 2R
_
/2
0
e
aRsin
d.
Il sut donc demployer la minoration bien connue sin 2/ pour 0 /2. .
9. Camille Jordan, 18381922.
5 Calcul dintegrales par la methode des residus 43
Theor`eme 5.5. Soient P et Q des polyn omes `a coecients complexes tels que
deg Q deg P + 1 et Q(x) ,= 0 pour x R. Alors, pour tout a > 0, on a
_

P(x)
Q(x)
e
iax
dx = 2i

wH
Res (f; w) ,
o` u f est la fonction meromorphe denie par f(z) := e
iaz
P(z)/Q(z).
Demonstration. La convergence est assuree gr ace `a une integration par parties puisque
lexponentielle a une primitive bornee et la fraction rationnelle une derivee majoree en
O(1/x
2
) `a linni. Le resultat indique decoule alors du theor`eme des residus applique au
bord du demi-disque D(0; R), le lemme de Jordan permettant de majorer la contribution
de larc de cercle. .
Exemples. (a)
_

0
cos x
1 +x
2
dx =

2e
.
En eet, en posant f(z) := e
iz
/(1 +z
2
), on deduit du theor`eme precedent que
_

f(x) dx = 2i Res (f; i) = /e,


do` u le resultat en prenant la partie reelle.
(b)
_

0
xsinx
1 +x
2
dx =

2e
. Meme raisonnement, applique `a f(z) := e
iz
z/(1 +z
2
).
Nous presentons `a lExercice 102 une variation de le technique permettant de traiter le
cas o` u la fraction rationnelle poss`ede un p ole reel compense par un zero du numerateur.
54. Integrales impropres relatives `a des fonctions multiformes
Theor`eme 5.6. Soient P et Q des polyn omes `a coecients complexes tels que
deg Q deg P + 2 et Q(x) ,= 0 pour x R
+
et Q(0) ,= 0 ou Q

(0) ,= 0. Alors, pour


tout ]0, 1[, on a
_

0
x

P(x)
Q(x)
dx =
e
i
sin()

wCR
+
Res (f; w) ,
o` u f est la fonction meromorphe denie sur C R
+
par f(z) := z

P(z)/Q(z) lorsque la
determination du logarithme est choisie de sorte que 0 < arg z < 2.
Demonstration. Voir cours oral. .
Exemple.
_

0
x
1
dx
1 +x
=
e
i
sin
Res (f; 1) =

sin
.
Theor`eme 5.7. Soient P et Q des polyn omes `a coecients complexes tels que
deg Q deg P + 2 et Q(x) ,= 0 pour x R
+
. Alors on a
(52)
_

0
P(x)(lnx + i)
Q(x)
dx =
1
2

wCR
+
Res (f; w) ,
o` u f est la fonction meromorphe denie sur CR
+
par f(z) := (log z)
2
P(z)/Q(z) lorsque
la determination du logarithme est choisie de sorte que 0 < arg z < 2.
Demonstration. Voir cours oral. .
44 VI Developpement de Laurent, fonctions meromorphes, theorie des residus
En pratique, on utilise le Theor`eme 5.7 pour calculer des integrales du type
_

0
P(x) lnx
Q(x)
dx.
Lorsque P et Q sont `a coecients reels, il sut de separer les parties reelle et imaginaire
de la formule (52). Dans le cas general, on peut remarquer que la technique employee
pour prouver le Theor`eme 5.7 fournit
_

0
P(x)
Q(x)
dx =

wCR
+
Res (g; w) ,
o` u g est la fonction meromorphe denie sur CR
+
par g(z) := (log z)P(z)/Q(z) lorsque
la determination du logarithme est choisie de sorte que 0 < arg z < 2.
Exemple. Soit `a calculer lintegrale
I :=
_

0
lnx
(1 +x)
3
dx.
Le residu de z (log z)
2
/(1 + z)
3
en z = 1 est egal au coecient de t
2
dans le
developpement de {log(t 1)}
2
au voisinage de 0. Or log(t 1) = i t
1
2
t
2
.
Nous obtenons donc que le residu cherche vaut 1 i, do` u
I =
1
2
.
Universite de Lorraine
Faculte des sciences et technologies
Licence de mathematiques 2011/2012
Analyse complexe (LMI6.33)
VII
Suites, series et produits
de fonctions meromorphes
1. Suites et series de fonctions holomorphes
La convergence uniforme garantit la conservation de la continuite, mais elle nest en
general pas realisee dans les situations standard de lanalyse complexe. Une serie enti`ere,
par exemple, converge sur le disque ouvert de convergence, mais la convergence ny est en
general pas uniforme. Rappelons la denition de la norme de la convergence uniforme sur
une partie K de C, i.e.
|f|
K
:= sup
zK
|f(z)|,
pour f C
K
. Nous utiliserons la notion suivante.
Denition 1.1 (Convergence uniforme sur tout compact). Soit U un ouvert de C.
On dit quune suite {f
n
}

n=1
de fonctions complexes denies sur U converge uniformement
sur tout compact de U vers une fonction f : U C si, pour tout compact K U, la
suite des restrictions f
n
|
K
converge uniformement vers f|
K
, autrement dit si lon a
(K U) lim
n
|f
n
(z) f(z)|
K
= 0.
Exemple. Toute serie enti`ere converge uniformement vers sa somme sur tout compact du
disque ouvert de convergence.
Comme tout compact peut etre recouvert par un nombre ni de disques compacts, on
voit immediatement que la notion peut etre simpliee dun point de vue pratique.
Proposition 1.2. Soit U un ouvert de C. Une suite {f
n
}

n=1
de fonctions complexes
denies sur U converge uniformement sur tout compact de U si, et seulement si, elle
converge uniformement sur tout disque compact de U.
Le theor`eme suivant est dun emploi constant en analyse complexe.
Theor`eme 1.3 (Weierstrass). Soit {f
n
}

n=1
une suite de fonctions holomorphes conver-
geant uniformement sur tout compact dun ouvert U vers une fonction f. Alors
(i) f H(U).
(ii) Pour tout entier k 0, f
(k)
n
f
(k)
uniformement sur tout compact de U.
Demonstration. (i) Nous allons donner deux demonstrations.
Pour la premi`ere, nous utilisons le theor`eme de Morera (Theor`eme V.4.2) : on deduit
en eet de lhypoth`ese que
_

f(z) dz = 0 pour tout triangle U. Comme f C(U),


on obtient bien f H(U).
46 VII Suites, series et produits de fonctions meromorphes
Pour la seconde, nous employons la formule de Cauchy : pour tout a U, tout r > 0
tel que D(a; r) U et tout z D(a; r), on a
f(z) = lim
n
f
n
(z) = lim
n
1
2i
_
|wa|=r
f
n
(w) dw
w z
=
1
2i
_
|wa|=r
f(w) dw
w z
.
Cela implique immediatement lanalyticite de f, et donc son holomorphie.
(ii) Avec les notations precedentes, on a, pour tout a de U et tout r > 0 tel que
D(a; r) U,
f
(k)
n
(z) =
k!
2i
_
|wa|=r
f
n
(w) dw
(w z)
k+1
(|z a|
1
2
r, k 0)
et la relation est egalement valable en rempla cant f
n
par f. Il sensuit que
|f
(k)
n
f
(k)
|
D(a;r/2)

2
k+1
k!
r
k
|f
n
f|
D(a;r)
.
La conclusion resulte donc de la Proposition 1.2. .
Remarques. (i) La conclusion du theor`eme est en defaut dans le cas des fonctions de
variable reelle : si, par exemple, f
n
(x) := sin(n
2
x)/n, alors f
n
tend uniformement vers 0
sur R alors que f

n
(0) .
(ii) Il est par ailleurs `a noter que la convergence sur U tout entier ne se transmet pas aux
derivees :

n1
z
n
/n
2
converge uniformement dans D(0; 1) mais pas la serie des derivees.
Corollaire 1.4. Soit

n0
f
n
(z) une serie de fonctions holomorphes convergeant uni-
formement sur tout compact dun ouvert U. Alors la somme est derivable `a tout ordre,
ses derivees sont obtenues par derivation terme `a terme, et la convergence est uniforme
sur tout compact de U.
Demonstration. Il sut dappliquer le Theor`eme 1.3 aux sommes partielles. .
2. Series de fonctions meromorphes
Denition 2.1. Soient U un ouvert de C et {f
n
}

n=0
une suite de fonctions meromorphes
sur U. On dit que la serie

n0
f
n
converge uniformement sur tout compact de U si, pour
tout compact K inclus dans U, il ny a quun nombre ni de fonctions f
n
possedant des
p oles dans K et si la serie amputee de ce nombre ni de termes converge uniformement
sur K.
Exemple.

n1
1
n
2
(z n)
.
Theor`eme 2.2. Soient U un ouvert de C et

n0
f
n
une serie de fonctions meromorphes
sur U convergeant uniformement sur tout compact de U vers une fonction f. Alors :
(i) f M(U) et P(f)
n
P(f
n
).
(ii) f

(z) =

n0
f

n
(z) (z U
n
P(f
n
)) et la convergence est uniforme sur tout
compact de U.
Demonstration. Soit K un compact de U et N = N(K) un indice tel que f
n
H(K)
(1)
pour n > N. En ecrivant f =

0nN
f
n
+

n>N
f
n
, on deduit immediatement
du Theor`eme 1.3 que f M(K) (avec le meme sens que precedemment), que
P(f|
K
)
0nN
P(f
n
|
K
) et que, lorsque z /
n
P(f
n
), f

(z) peut etre obtenu par


derivation terme `a terme. .
Le theor`eme suivant fournit le developpement classique dune fonction meromorphe
sur C en une serie de fonctions meromorphes.
1. Cest-` a-dire que f
n
est holomorphe sur un voisinage de K.
2 Series de fonctions meromorphes 47
Theor`eme 2.3 (Formule dEuler). On a

2
(sinz)
2
=

nZ
1
(z n)
2
(z C Z).
Demonstration. Le membre de gauche est une fonction meromorphe sur C dont les p oles
sont les entiers, la partie principale au point n etant 1/(nz)
2
, puisque 1/(sinz)
2
1/z
2
est borne au voisinage de lorigine. Ainsi la fonction meromorphe
(21) f(z) :=

nZ
1
(z n)
2
admet les memes p oles et les memes parties principales que (/ sinz)
2
. Considerons alors
la fonction enti`ere
g(z) :=

2
(sinz)
2
f(z).
On a clairement g(z + 1) = g(z) pour tout z C, donc g(C) = g(B) avec
B := {z C : 0 'e z 1}.
Or, pour z = x +iy B, on a | sinz|
2
= (sinx)
2
+(shy)
2
, donc 1/ sinz 0 lorsque
|y| et linegalite 1/|z n|
2
{(|n| 1)
2
+y
2
} montre que la convergence est normale
et donc que f(z) 0 lorsque |y| , z B. Cela implique que g est bornee dans B,
donc dans C, donc constante dapr`es le theor`eme de Liouville, et nalement nulle puisque
g(iy) 0 lorsque y . .
Corollaire 2.4 (Formule de la cotangente). On a
(22) cot z =
1
z
+

n1
2z
z
2
n
2
(z C Z).
Demonstration. Remarquons dabord que cot z est une primitive de
2
/(sinz)
2
et
que
F(z) :=
1
z
+

nZ

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

nZ

z
n(z n)
est une primitive de f(z), lorsque f est denie par (21). Il sensuit quil existe une
constante C telle que
cot z
1
z
= C +

nZ

z
n(z n)
(z C Z).
En faisant tendre z vers 0, on obtient aisement que C = 0. Nous laissons les details en
exercice. Nous obtenons alors la formule (22) en regroupant les termes dindice n et n
dans la serie F(z). .
Le theor`eme suivant montre que lon peut toujours

reconstruire

une fonction
meromorphe sur un ouvert `a partir de la donnee de ses p oles et des parties principales
correspondantes.
48 VII Suites, series et produits de fonctions meromorphes
Theor`eme 2.5 (Mittag-Leer
(2)
). Soient U un ouvert de C, A une partie discr`ete de
U, et, pour chaque a de A, un polyn ome P
a
de terme constant nul. Alors il existe une
fonction meromorphe f M(U) dont A est lensemble des p oles et telle que, pour chaque
a de A la partie singuli`ere de f en a soit P
a
(1/(z a)).
Demonstration. Comme il ny a quun nombre ni de points de A dans chaque compact
de U, on peut ranger les points de A en une suite {a
k
}
k0
telle que |a
k
| soit une fonction
croissante de k et |a
k
| si A est inni. Posons R
k
(z) := P
a
k
(1/(z a
k
)). Alors R
k
est holomorphe sur le disque D(0; |a
k
|/2). Cela implique que la serie de Taylor de R
k
`a
lorigine converge uniformement vers R
k
sur ce disque et, en particulier quil existe un
polyn ome Q
k
tel que |R
k
(z) Q
k
(z)| 1/2
k
pour |z| |a
k
|/2.
Montrons que la fonction
f(z) := R
0
(z) +

k1
_
R
k
(z) Q
k
(z)
_
poss`ede les proprietes requises. Nous observons tout dabord que cette serie converge
uniformement sur tout compact de U puisque le terme general est de module 1/2
k
sur
D(0; R) d`es que R <
1
2
|a
k
| : si k
R
est le plus grand des indices k tels que |a
k
| 2R, la
serie amputee des termes dindices k
R
converge donc uniformement sur D(0; R). Il est
par ailleurs evident que f a la partie principale prescrite en chaque point de A et na pas
dautre p ole sur U. .
3. Produits innis de fonctions holomorphes
Commen cons par denir la notion de produit inni dune suite de nombres complexes.
Denition 3.1. Soit {a
n
}

n=0
une suite complexe. On dit que le produit inni

n0
a
n
converge si la suite des produits partiels p
n
:=

0kn
a
k
poss`ede une limite a non nulle.
On ecrit alors

n0
a
n
= a.
Exemple.

n2
(1 1/n
2
) =
1
2
. La convergence est immediate. Pour trouver la valeur, on
remarque que, si {b
n
}

n=2
designe la suite des produits partiels, alors
b
n
=

2kn
(k 1)(k + 1)
k
2
=
(n 1)!
1
2
(n + 1)!
(n!)
2
=
n + 1
2n
.
Proposition 3.2. Le produit inni

n0
a
n
converge si, et seulement si, les deux
conditions suivantes sont veriees :
(i) a
n
1 (n ) ;
(ii) il existe N N tel que la serie

n>N
log a
n
converge.
Demonstration. Montrons que la condition est necessaire. Si le produit inni converge,
alors a
n
= p
n
/p
n1
1, donc la condition (i) est realisee. Pour n assez grand, disons
n > N, on a donc |a
n
1| < 1 et lon peut denir log a
n
en choisissant la determination
principale. Soit a la valeur du produit inni et une determination du logarithme denie
dans un voisinage de a. On a (p
n
) = ln|p
n
| +i
n
avec
n
arg a, donc
(p
n
) (p
n1
) = ln|p
n
/p
n1
| +i{
n

n1
} = log a
n
2. G osta MittagLeer, 18461927.
3 Produits innis de fonctions holomorphes 49
pour n assez grand. La convergence de la suite {p
n
}

n=1
etant equivalente `a celle de la
serie

n1
{(p
n
) (p
n1
)}, il sensuit que la serie

n>N
log a
n
converge.
Reciproquement, sous la condition (ii), on peut ecrire
p
n
=

0kN
a
k
exp
_

N<kn
log a
k
_
,
ce qui montre immediatement la convergence de {p
n
}

n=0
. .
Remarque. La formule log

n0
a
n
=

n0
log a
n
est en general fausse.
Denition 3.3. On dit quun produit inni

n0
a
n
est absolument convergent sil existe
un entier N tel que la serie

n>N
log a
n
soit absolument convergente.
Proposition 3.4. (i) Un produit inni absolument convergent est convergent.
(ii) Une condition necessaire et susante pour que le produit inni

n0
a
n
soit
absolument convergent est que la serie

n0
(1 a
n
) soit absolument convergente.
Demonstration. La premi`ere assertion resulte immediatement de la Proposition 3.2. Pour
etablir la seconde, il sut dobserver que, si

nN
| log a
n
| < , alors |1 a
n
|
1
2
pour
n assez grand, do` u
1
2
|1 a
n
| | log a
n
|
3
2
|1 a
n
|,
lencadrement etant etabli gr ace au developpement de log(1 + z) en serie enti`ere : pour
|z|
1
2
, on a
(31) | log(1 +z) z|

n2
|z|
n
n
|z|

n2
2
1n
n
= |z|{2 ln2 1}
1
2
|z|.
.
Remarque. Le produit

n
a
n
et la serie

n
(1 a
n
) peuvent etre de nature dierentes.
Exemple a
n
= 1 + (1)
n
/

n : la serie converge mais on deduit de la formule


a
n
= exp(log a
n
) = exp
_
(1)
n

n

1
2n
+O
_
1
n
3/2
_
_
(n 2)
que

n2
a
n
diverge vers 0.
Denition 3.5. Soient U un ouvert de C et {u
n
}

n=0
une suite de fonctions holomorphes
denie sur U.
On dit que le produit inni

n0
{1 + u
n
} converge simplement sur U si, pour tout z
de U, il existe au plus un nombre ni dindices n tels que 1 + u
n
(z) = 0 et si le produit
inni relatif aux indices restants est convergent.
On dit que le produit inni

n0
{1 + u
n
} converge uniformement (resp. converge
normalement) sur une partie V de U si sup
zV
|u
n
(z)] 0 et si le produit inni

n>N
{1 +u
n
(z)}
converge uniformement (resp. converge normalement) sur V lorsque N est tel que
|u
n
(z)|
1
2
pour n > N, z V .
Il decoule immediatement de la Proposition 3.4 que le produit inni

n0
{1 + u
n
}
converge normalement sur V si, et seulement si, il en va de meme de la serie

n0
u
n
.
En revanche, lassertion correspondante na pas lieu pour la convergence uniforme : nous
avons vu quelle na meme pas lieu pour la convergence simple.
50 VII Suites, series et produits de fonctions meromorphes
Theor`eme 3.6. Soient U un domaine de C et {u
n
}

n=0
une suite de fonctions holo-
morphes sur U. Si la serie

n0
|u
n
(z)| converge uniformement sur tout compact de U,
alors la fonction
f(z) :=

n0
{1 +u
n
(z)}
est holomorphe sur U, lensemble de ses zeros (comptes avec multiplicite) est la reunion
de ceux des facteurs du produit, et lon a
f

(z)
f(z)
=

n0
u

n
(z)
1 +u
n
(z)
(z U Z(f)),
la convergence de cette serie de fonctions meromorphes etant uniforme sur tout compact.
Demonstration. Soit K un compact de U. Il existe N N tel que |u
n
(z)|
1
2
pour n > N
et z K. La majoration contenue dans (31) implique donc immediatement la convergence
absolue de la serie
g
N
(z) :=

n>N
log{1 +u
n
(z)},
et lon a g
N
H
_
K
_
dapr`es le theor`eme de Weierstrass (Theor`eme 1.3). Cela implique
que expg
N
(z) est holomorphe sur

K, et donc aussi
f(z) :=

nN
{1 +u
n
(z)}e
g
N
(z)
.
Cela etablit la premi`ere assertion. Le theor`eme de Weierstrass permettant de deriver g
N
terme `a terme, on obtient, pour tout compact K de U
f

(z)
f(z)
=

nN
u

n
(z)
1 +u
n
(z)
+g

N
(z) =

n0
u

n
(z)
1 +u
n
(z)
(z

KZ(f)),
la convergence etant uniforme. .
Remarque. On etend aisement le theor`eme precedent au cas de produits innis de fonctions
meromorphes : on demande alors que, pour tout compact K, seul un nombre ni de
fonctions 1 +u
n
(z) poss`ede des zeros ou des p oles dans K et que la serie

|u
n
| amputee
de ces termes exceptionnels converge uniformement sur K. Le produit inni denit alors
une fonction meromorphe sur U et la formule de derivation logarithmique reste valable.
Le theor`eme suivant fournit un exemple classique de developpement en produit inni.
Theor`eme 3.7. On a
(32) sinz = z

n1
(1 z
2
/n
2
) (z C).
Demonstration. Designons par f(z) le membre de droite de (32). Cette quantite est bien
denie, en vertu du Theor`eme 3.6 car la serie

n1
z
2
/n
2
converge uniformement sur
tout compact de C. La fonction f est donc enti`ere et lon a
f

(z)
f(z)
=
1
z
+

n1
2z
z
2
n
2
=

tg z
,
dapr`es la formule de la cotangente (Corollaire 2.4). Comme le membre de droite est egal
`a la derivee logarithmique de z sinz, on a f(z) = c sinz pour une certaine constante
complexe c. En faisant tendre z vers 0, on obtient c = . .
Le theor`eme suivant montre que lon peut toujours reconstruire une fonction enti`ere `a
partir de ses zeros et des multiplicites correspondantes.

Etablissons dabord un lemme
technique.
3 Produits innis de fonctions holomorphes 51
Lemme 3.8. Posons E
p
(z) := (1 z) exp
_

1jp
z
j
/j
_
(p N

, z C). Alors
|1 E
p
(z)| |z|
p+1
pour |z| 1.
Demonstration. Voir cours oral. .
Theor`eme 3.9 (Factorisation de Weierstrass). Soient f une fonction enti`ere et
{z
n
}

n=0
la suite de ses zeros non nuls, comptes avec multiplicite.
(3)
Alors il existe un
entier h N et une fonction enti`ere g et une suite dentiers positifs {p
n
}

n=1
telle que
f(z) = e
g(z)
z
h

n0
E
p
n
(z/z
n
).
Demonstration. On peut supposer sans perte de generalite que f(0) ,= 0 : dans le cas
contraire, on applique le resultat `a f(z)/z
h
o` u h = (f; 0). La serie enti`ere

n0
(z/z
n
)
p
n
+1
converge uniformement sur tout compact de C d`es que p
n
tend vers linni assez vite :
en eet, pour chaque R > 0, il ny a quun nombre ni N = N
R
dentiers n tels que
|z
n
| 2R, donc, lorsque z D(0; R), on a

n0
|R/z
n
|
p
n
+1


0nN
R
|R/z
n
|
p
n
+1
+

n>N
R
2
p
n
1


0nN
R
|R/z
n
|
p
n
+1
+ 1
si, par exemple, p
n
n 1 pour tout n, et

n>N
R
+t
|R/z
n
|
p
n
+1
2
t
(t N

).
En vertu du Theor`eme 3.6, le produit inni
P(z) :=

n0
E
p
n
(z/z
n
)
denit une fonction enti`ere de z qui poss`ede les memes zeros et ordres de multiplicites
que f. Cela montre que f/P ne poss`ede que des singularites eliminables et peut donc
etre prolongees en une fonction enti`ere. Cette fonction est sans zero par construction.
Comme C est simplement connexe, on peut lecrire sous la forme e
g
o` u g est enti`ere
cf. Theor`eme V.6.3(v). .
Corollaire 3.10. Toute fonction meromorphe sur C est quotient de deux fonctions
enti`eres.
Demonstration. Soient f une fonction meromorphe sur C, {z
n
}

n=0
la suite de ses p oles, et
{m
n
}

n=0
celle des multiplicites correspondantes. Si h est le produit de Weierstrass associe
`a ces deux suites, alors fh est enti`ere. .
Nous verrons `a lExercice 109 que lon peut aisement etendre la construction de la
fonction P(z) de la demonstration precedente `a un ouvert quelconque pour y etablir
lexistence dune fonction holomorphe dont les zeros et les multiplicites sont donnes. Cela
permet detendre le theor`eme precedent au cas dun ouvert quelconque.
3. Cela signie que chaque zero a apparat (f; a) fois dans la suite.
52 VII Suites, series et produits de fonctions meromorphes
4. La fonction Gamma dEuler
41. Denitions
La denition originale de la fonction date de 1729, dans une lettre dEuler `a Goldbach
(4)
:
(41) (z) :=
1
z

n=1
(1 + 1/n)
z
1 +z/n
(z ,= 0, 1, 2, . . .).
Il est facile de voir que le produit converge uniformement sur tout compact de C(N

)
et denit donc une fonction meromorphe sur C.
Euler en deduit rapidement la formule integrale
(42) (z) =
_

0
t
z1
e
t
dt ('e z > 0).
Ici et dans la suite on denit implicitement la partie reelle et la partie imaginaire dun
nombre complexe z par
z = x +iy.
Theor`eme 4.1 (Euler). Soit

n
(z) :=
_
n
0
_
1
t
n
_
n
t
z1
dt (x > 0).
Alors on a
(43)
n
(z) =
n
z
n!
z(z + 1) (z +n)
,
et
(z) = lim
n

n
(z) =
_

0
t
z1
e
t
dt (x > 0).
Demonstration. Le changement de variables u = t/n permet decrire

n
(z) = n
z
_
1
0
(1 u)
n
u
z1
du.
On calcule ensuite lintegrale par integrations par parties successives :
_
1
0
(1 u)
n
u
z1
du =
_
u
z
(1 u)
n
z
_
1
0
+
n
s
_
1
0
(1 u)
n1
u
z
du
= =
n!
z(z + 1) (z +n 1)
_
1
0
u
z+n1
du
=
n!
z(z + 1) (z +n)
.
On conclut en remarquant dune part que

n
(z) =
n
z
n!
z(z + 1) (z +n)
=
1
z
(1 + 1/n)
z

1jn
(1 + 1/j)
z
1 +z/j
(z) (n ),
4. Christian Goldbach, 16901764.
4 La fonction Gamma dEuler 53
et dautre part que
lim
n

n
(z) =
_

0
t
z1
e
t
dt.
Cette derni`ere formule, qui resulte immediatement du theor`eme de Lebesgue peut
egalement etre etablie elementairement
(5)
et nous omettons les details. .
Le resultat suivant montre que le prolongement meromorphe peut etre retrouve facile-
ment en choisissant (42) comme denition de .
Theor`eme 4.2 (

Equation fonctionnelle). Pour x > 0, on a (z + 1) = z(z).


Demonstration. Une integration par parties fournit immediatement le resultat. .
Corollaire 4.3. Pour tout n N, on a (n + 1) = n!.
La propriete suivante conduit `a une autre denition de . On dit quune fonction
reelle positive est logarithmiquement convexe sur un intervalle de R si son logarithme
est convexe.
Theor`eme 4.4. La fonction est logarithmiquement convexe sur R
+
.
Demonstration. Il sut dappliquer linegalite de CauchySchwarz

(x)
2
=
__

0
e
u
(lnu)u
x1
du
_
2
(x)

(x).
.
Emil Artin (18981962) a montre que lequation fonctionnelle et la convexite logarith-
mique caracterisent . Nous verrons plus loin une application remarquable de ce resultat.
Theor`eme 4.5 (Artin
(6)
). Soit :]0, []0, [ une fonction derivable telle que ln
soit convexe et x(x) = (x+1) pour tout x > 0. Alors on a (x) = (1)(x) pour tout
x > 0.
Demonstration. H := / est 1-periodique et H(1) = (1). Comme

/ et

/ sont
croissantes on a pour x 0, n 1,

(n)
(n)

(n + 1)
(n + 1)

H

(n +x)
H(n +x)
=

(n +x)
(n +x)

(n +x)
(n +x)

(n + 1)
(n + 1)

(n)
(n)
.
Mais et verient toutes les deux lequation fonctionnelle
f

(x + 1)
f(x + 1)
=
f

(x)
f(x)
+
1
x
,
donc

(n)
(n)

(n + 1)
(n + 1)
=
H

(n)
H(n)

1
n
,

(n + 1)
(n + 1)

(n)
(n)
=
H

(n)
H(n)
+
1
n
.
Il sensuit que
H

(1)
H(1)

1
n
=
H

(n)
H(n)

1
n

H

(x)
H(x)

H

(n)
H(n)
+
1
n
=
H

(1)
H(1)
+
1
n
.
5. Le point de vue historique interdit demployer ici le theor`eme de Lebesgue, mais on peut
cependant utiliser le fait que (1 t/n)
n
e
t
pour 0 t n.
6. Emil Artin, 18981962.
54 VII Suites, series et produits de fonctions meromorphes
En faisant tendre n vers linni, on obtient lexistence dune constante k telle que
H

(x)/H(x) = k pour tout x 0, do` u H(x) = H(1)e


kx
. Comme H est periodique,
on doit avoir k = 0. .
Le theor`eme de BohrMollerup, propose `a lexercice 116, permet de se passer de
lhypoth`ese de derivabilite dans le theor`eme dArtin. Une autre caracterisation est etablie
`a lexercice 117.
42. Formule du produit de Weierstrass
La technique des produits de Weierstrass developpee au Theor`eme 3.9 sapplique
remarquablement bien `a la fonction Gamma.
Theor`eme 4.6 (Weierstrass). On a pour x > 0
(44)
1
(z)
= ze
z

j=1
_
1 +
z
j
_
e
z/j
,
o` u designe la constante dEuler.
De plus, cette formule denit un prolongement analytique de 1/(z) en une fonction
enti`ere.
Demonstration. Posons H
n
:=

1jn
1/j (n 1), de sorte que
H
n
= lnn + +o(1) (n ).
Dapr`es (43), on a

n
(z) =
n
z
z

1jn
e
z/j
e
z/j
1 +z/j
=
e
z(ln nH
n
)
z

1jn
e
z/j
1 +z/j
.
On en deduit le resultat indique en faisant n puisque le terme general du produit
est 1 +O(1/j
2
) pour chaque z xe dans C (N). .
Corollaire 4.7. On a =

(1).
Demonstration. La formule (44) fournit par derivation logarithmique

(z)
(z)
= +
1
z
+

j1
1
z +j

1
j
.
Pour z = 1 la serie est telescopique et vaut 1. .
43. Fonction Beta
La fonction Beta, ou integrale eulerienne de seconde esp`ece est denie par
B(x, y) :=
_
1
0
t
x1
(1 t)
y1
dt (x > 0, y > 0).
4 La fonction Gamma dEuler 55
Theor`eme 4.8. On a
(45) B(x, y) = (x)(y)/(x +y) (x > 0, y > 0).
Premi`ere demonstration : changement de variables.
On a
(x)(y) =
_

0
t
x1
e
t
dt
_

0
u
y1
e
u
du.
Avec le changement de variables u = tv et le theor`eme de Fubini, on obtient
(x)(y) =
_

0
t
x1
(1 t)
y1
dt
_

0
t
y
v
y1
e
vt
dv
=
_

0
v
y1
dv
_

0
t
x+y1
e
(v+1)t
dt
=
_

0
v
y1
(1 +v)
x+y
(x +y) dv
= (x +y)
_

0
_
v
1 +v
_
y1
_
1
1 +v
_
x1
dv
(1 +v)
2
= (x +y)
_
1
0
w
y1
(1 w)
x1
dw = (x +y)B(x, y).
.
Seconde demonstration : utilisation du theor`eme dArtin.
Soient y > 0 xe et f(x) := (x + y)B(x, y)/(y). Nous devons donc montrer que
f(x) = (x). On a f(1) = yB(1, y) = 1 et
f(x + 1) =
(x +y)(x +y)
(y)
B(x + 1, y).
Comme
B(x + 1, y) =
_
1
0
t
x
(1 t)
y1
dt =
_
1
0
_
t
1 t
_
x
(1 t)
x+y1
dt
=
_
(1 t)
x+y
(x +y)
_
t
1 t
_
x
_
1
0
+
x
x +y
_
1
0
(1 t)
x+y
_
t
1 t
_
x1
dt
(1 t)
2
=
x
x +y
B(x, y),
on en deduit que
f(x + 1) = xf(x).
Enn linegalite de H older permet decrire, pour 1/p + 1/q = 1,
B(x/p +z/q, y) =
_
1
0
t
(x1)/p+(z1)/q
(1 t)
(y1)/p+(y1)/q
dt B(x, y)
1/p
B(z, y)
1/q
,
ce qui etablit que x B(x, y), et donc aussi x f(x) est bien logarithmiquement
convexe.
Le theor`eme dArtin nous permet de deduire de ce qui prec`ede que f(x) = (x). .
56 VII Suites, series et produits de fonctions meromorphes
Corollaire 4.9. On a pour x > 0, y > 0
(x)(y)/(x +y) = 2
_
/2
0
(sin)
2x1
(cos )
2y1
d.
En particulier (
1
2
) =

.
Demonstration. Voir cours oral. .
On note egalement que (
1
2
) =
_

0
t
1/2
e
t
dt = 2
_

0
e
u
2
du do` u
(46)
_
R
e
u
2
du =

.
Corollaire 4.10 (Formule de Stirling
(7)
reelle). On a
(47) (x + 1) x
x
e
x

2x (x ).
Demonstration. Nous employons ici une methode classique du calcul asymptotique consis-
tant `a mettre en evidence gr ace `a un changement de variable adequat le domaine
preponderant dune integrale dependant dun param`etre.
La fonction t
x
e
t
, dont (x + 1) est lintegrale sur R, atteint son maximum en t = x.
Le changement de variables t = x(1 +u) fournit
(48)
(x + 1) =
_

1
{x(1 +u)}
x
e
x(1+u)
xdu
= x
x+1
e
x
_

1
{(1 +u)e
u
}
x
du
= x
x
e
x

2x
_

x/2
e
v
2
h
_
v

2/x
_
dv,
o` u lon a pose u = v
_
2/x et
h(w) :=
2
w
2
{w ln(1 +w)},
de sorte que h(0) = 1. Soit
g
x
(v) := 1
[

x/2,[
(v)e
v
2
h
_
v

2/x
_
.
On a pour tout nombre reel v xe
lim
x
g
x
(v) = e
v
2
.
De plus, en remarquant que
h(w) =
2
w
2
_
w
0
t dt
1 +t
= 2
_
1
0
z dz
1 +zw
,
on voit que h(w) 1 pour w 0 et que h(w) est decroissante pour w 0, do` u
h
_
v
_
2/x
_
h
_
v

2
_

2 ln(1 +v

2)
v
2
(x 1).
Il sensuit que
g
x
(v) e
v
2
1
],0[
(v) + (1 +v

2)e
v

2
1
[0,[
(v).
Cela nous permet dappliquer le theor`eme de Lebesgue : on obtient
lim
x
_
R
g
x
(v) dv =
_
R
e
v
2
dv =

,
dapr`es (46). On en deduit la formule souhaitee en reportant dans (48). .
7. James Stirling, 16921770.
4 La fonction Gamma dEuler 57
Corollaire 4.11 (Formule de duplication de Legendre
(8)
). On a pour x > 0

_
x
2
_

_
x + 1
2
_
=

2
1x
(x).
Demonstration. Considerons la fonction f(x) := 2
x1

1/2

_
1
2
x
_

_
1
2
(x + 1)
_
. On a
f(1) = 1 dapr`es (46) et
f(x + 1) = 2
x

1/2

_
1
2
(x + 1)
_

_
1
2
x + 1
_
= 2
x

1/2

_
1
2
(x + 1)
_
1
2
x
_
1
2
x
_
= xf(x).
Enn, f est logarithmiquement convexe puisque
lnf(x) = xln2
1
2
ln + ln
_

_
1
2
(x + 1)
_

_
1
2
x + 1
_
_
.
Dapr`es le theor`eme dArtin, on a f(x) = (x). .
Une generalisation de ce resultat `a

n1
j=0
((x +j)/n) (n 2) est proposee `a
lexercice 125.
44. Formule de Stirling complexe
Commen cons par enoncer un cas particulier de la formule dEuler-Maclaurin. On denit
x) := x [x] comme la partie fractionnaire du nombre reel x et B
1
(x) := x)
1
2
.
Theor`eme 4.12 (Formule dEulerMaclaurin `a lordre 0). Soient a, b Z et
f C
1
[a, b]. On a

a<nb
f(n) =
_
b
a
f(t) dt +
1
2
{f(b) f(a)} +
_
b
a
B
1
(t)f

(t) dt.
Demonstration. On a pour a < n b
_
n
n1
B
1
(t)f

(t) dt =
_
n
n1
(t n +
1
2
)f

(t) dt =
__
t n +
1
2
_
f(t)

n
n1

_
n
n1
f(t) dt
=
1
2
_
f(n 1) +f(n)
_

_
n
n1
f(t) dt.
On obtient le resultat annonce en sommant sur n. .
Nous nutiliserons pas la version generale de la formule dEulerMaclaurin. Nous nous
contentons ici den donner un enonce precis.
Considerons la suite {b
r
(x)}

r=0
des polyn omes denis sur [0, 1] par les conditions
_

_
b
0
(x) 1,
b

r
(x) r b
r1
(x) (r 1),
_
1
0
b
r
(x)dx = 0 (r 1).
On verie facilement que ces hypoth`eses impliquent lidentite

r=0
b
r
(x)
y
r
r!
=
y e
xy
e
y
1
8. Adrien-Marie Legendre, 17521833.
58 VII Suites, series et produits de fonctions meromorphes
qui permet de calculer les b
r
. On a
b
0
(x) = 1
b
1
(x) = x
1
2
b
2
(x) = x
2
x +
1
6
b
3
(x) = x
3

3
2
x
2
+
1
2
x
b
4
(x) = x
4
2x
3
+x
2

1
30
b
5
(x) = x
5

5
2
x
4
+
5
3
x
3

1
6
x
.
On denit alors la r-i`eme fonction de Bernoulli B
r
(x) comme la fonction periodique de
periode 1 qui concide avec b
r
sur [0, 1[. On pose
B
r
:= B
r
(0).
B
r
est le r-i`eme nombre de Bernoulli. Il est facile de voir que B
2r+1
= 0 pour r 1. On
a les valeurs numeriques
r 0 1 2 4 6 8 10
B
r
1
1
2
1
6

1
30
1
42

1
30
5
66
Le theor`eme suivant est cel`ebre et fort utile.
Theor`eme 4.13 (Formule sommatoire dEulerMaclaurin
(9)
). Pour tout entier
k 0 et toute fonction f de classe C
k+1
sur [a, b], a, b Z, on a

a<nb
f(n) =
_
b
a
f(t) dt +
k

r=0
(1)
r+1
B
r+1
(r + 1)!
(f
(r)
(b) f
(r)
(a))
+
(1)
k
(k + 1)!
_
b
a
B
k+1
(t) f
(k+1)
(t) dt.
Theor`eme 4.14 (Formule de Stirling complexe). Pour tout z C R

, on a
log (z) = (z
1
2
) log z z +
1
2
ln(2)
_

0
B
1
(t) dt
z +t
,
o` u le logarithme complexe est pris en determination principale.
Remarques. (i) La formule du produit de Weierstrass montre que (z) ne sannule pas et
a pour seuls p oles les entiers negatifs.
(ii) Lintegrale est O(1/z). En fait, on a pour tout entier R 1

_

0
B
1
(t)
dt
z +t
=
R

r=1
(1)
r
B
r+1
r(r + 1)z
r
+
(1)
R+1
R+ 1
_

0
B
R+1
(t) dt
(t +z)
R+1

Demonstration. Appliquons la formule sommatoire dEulerMaclaurin `a lordre 0 `a la
fonction f(t) := f(t +z) avec a = 0 et b = N. Nous obtenons

1nN
log(n +z) =
_
N
0
log(t +z) dt +
1
2
_
log(N +z) log z
_
+
_
N
0
B
1
(t) dt
t +z
= (z +N) log(z +N) (z +N) z log z +z +
1
2
log(z +N)

1
2
log z +
_
N
0
B
1
(t) dt
t +z
= (z +N +
1
2
) log(z +N) N (z +
1
2
) log z +
_
N
0
B
1
(t) dt
t +z
.
9. Colin Maclaurin, 16981746.
4 La fonction Gamma dEuler 59
Soustrayons la formule de Stirling classique pour lnN! sous la forme
lnN! = (N +
1
2
) log N N +
1
2
log(2) +o(1) (N ).
Nous obtenons

1nN
log
_
1 +
z
n
_
= (N +
1
2
) log
_
1 +
z
N
_
+z log(z +N) (z +
1
2
) log z
1
2
log(2)
+
_
N
0
B
1
(t) dt
t +z
+o(1)
= z
_
1 + log N
_
(z +
1
2
) log z
1
2
log(2) +
_

0
B
1
(t) dt
t +z
+o(1).
Il suit, en posant H
N
:=

1nN
1/n, et, par exemple, pour z R
+
,
log
_
ze
z

1nN
_
1 +
z
n
_
e
z/n
_
= log z +z( H
N
+ 1 + lnN) (z +
1
2
) log z
1
2
ln(2) +
_

0
B
1
(t) dt
t +z
+o(1)
= (z
1
2
) log z +z
1
2
ln(2) +
_

0
B
1
(t) dt
t +z
+o(1).
En faisant tendre N , obtient bien le resultat annonce, dabord pour z R
+
, puis
pour tout z par prolongement analytique. .
Le resultat suivant exprime que le comportement de (z) lorsque x est xe et |y|
est tr`es dierent de celui de (x) lorsque x : la fonction est tr`es petite et tr`es
oscillante.
Corollaire 4.15 (Comportement dans les bandes verticales). Soient x
1
, x
2
des
nombres reels tels que x
1
< x
2
. On a uniformement lorsque x
1
x x
2
, |y| ,
(49) (z) =
_
1 +O
_
1
y
__

2|y|
x
1
2
e
|y|/2
e
ih
x
(y)
o` u lon a pose h
x
(y) := y ln|y| y +
1
2
(x
1
2
) sgn(y).
Demonstration. On a arg z = sgn(y)
1
2
x/y+O(1/y
2
) ] , [, et log z = ln|z| +i arg z,
avec
ln|z| =
1
2
ln(x
2
+y
2
) = ln|y| +O(1/y
2
).
Une integration par parties utilisant le fait que
_
v
u
B
1
(t) dt = O(1) fournit
_

0
B
1
(t) dt
t +z
= O
_
1
|z|
_
.
Il suit
(z
1
2
) log z = (x
1
2
+iy)
_
ln|y| +i
_
1
2
sgny
x
y
__
+O
_
1
y
2
_
= (x
1
2
) ln|y|
1
2
|y| +x +ih
x
(y) +O(1/y).
.
60 VII Suites, series et produits de fonctions meromorphes
Corollaire 4.16 (Formule dinversion de Mellin
(10)
). Pour x > 0, on a
(410) e
x
=
1
2i
_
x+i
xi
(z)x
z
dz (x > 0).
Demonstration. On a pour x > 0
(x iy) =
_

0
e
t
t
xiy
dt
t
=
_
R
e
e
u
+xu
e
iyu
du =

f
x
(y),
o` u f
x
(u) := exp{e
u
+ xu}. Le Corollaire 4.15 garantit que

f
x
L
1
(R),
(11)
donc la
formule dinversion de Fourier sapplique. On obtient
f
x
(u) =
1
2
_
R

f
x
(y)e
iyu
dy
=
1
2
_
R
(x iy)e
(xiy)u
dy =
1
2
_
R
(x +iy)e
(x+iy)u
dy.
On en deduit le resultat annonce en posant x = e
u
. .
Corollaire 4.17 (Formule des complements). Pour z C Z, on a
(411) (z)(1 z) =

sin(z)

Demonstration. Considerons la fonction meromorphe


f(z) :=
1
(z)(1 z) sinz
=
z(1 z)e

sinz

j1
_
1 +
1
j
+
z(1 z)
j
2
_
e
1/j
,
o` u le developpement resulte de la formule de Weierstrass. Tous les zeros de sinz etant
compenses par ceux du produit inni,
(12)
f est enti`ere. De plus
f(z + 1) =
1
(z + 1)(z) sinz
=
1
(z)(z)(z) sinz
=
1
(z)(1 z) sinz
= f(z),
donc f est 1-periodique. Pour x [0, 1] et |y| , on a en vertu de (49)
1
|f(z)|
|y|
x
1
2
e
|y|/2

2|y|
1
2
x
e
|y|/2

2| sinz| 2e
|y|
| sinz|.
Or, sinz = sinxchy +i shy cos x, donc
| sinz|
2
= sin
2
xch
2
y + sh
2
y cos
2
x
1
4
e
2|y|
.
Il sensuit que lim
|y|
|f(z)| = 1/, donc f est bornee dans la bande verticale 0 x 1.
Par periodicite elle est donc bornee dans C, elle est donc constante en vertu du theor`eme
de Liouville. Comme on a egalement
f(z) =
1
(z)(1 z) sinz
=
z
(1 +z)(1 z) sinz

1

(z 0),
10. Robert Hjalmar Mellin, 18541933.
11. Lhypoth`ese x > 0 est essentielle ici.
12. 1 + 1/j + z(1 z)/j
2
= (z + j)(j + 1 z)/j
2
.
4 La fonction Gamma dEuler 61
il vient
f(z) = 1/ (z C).
.
Deux autres demonstrations de la formule des complements sont proposees aux exer-
cices 128 et 129.
Remarques. (i) Lorsquon deplace la droite dintegration de (410) vers la gauche jusqu` a
, lintegrale sur la droite deplacee est

_
R
|z|
x
1
2
e
|y|/2
x
x
dy.
Pour |x| assez grand, on a |z|/x > 1, donc le theor`eme de Lebesgue nous permet darmer
que cette integrale tend vers 0 lorsque x . Or, on deduit de (411) que lorsque z 0
(z n) =

(n + 1 z) sin{(z n)}

(1)
n
n!z
,
donc
Res(; n) = (1)
n
/n!.
Le theor`eme des residus nous permet donc de retrouver le developpement en serie
e
x
=

n=0
(1)
n
n!
x
n
.
(ii) La formule dEuler (32) pour le developpement en produit inni de sinz est une
consequence immediate de la formule des complements et de celle de Weierstrass puisque
sinz
z
=
1
z(z)(1 z)
=
1
z
2
(z)(z)
= e
z

n=1
_
1 +
z
n
_
e
z/n
e
z

n=1
_
1 +
z
n
_
e
z/n
=

n=1
_
1
z
2
n
2
_
.
Universite de Lorraine
Faculte des sciences et technologies
Licence de mathematiques 2011/2012
Analyse complexe (LMI6.33)
VIII
Topologie de lespace des
fonctions holomorphes,
transformations holomorphes
1. Metrique de la topologie de la convergence
uniforme sur tout compact
Nous avons deni au chapitre precedent la notion de convergence uniforme sur tout
compact dune suite de fonctions holomorphes denies sur un ouvert du plan complexe.
Nous allons `a present la replacer dans le cadre de la topologie des espaces metriques.
Soit donc U un ouvert de C. Nous observons dabord que, pour tout compact K de U,
lapplication
f |f|
K
:= sup
zK
|f(z)|,
denie sur C(U), verie tous les axiomes dune norme sauf limplication
|f|
K
= 0 f = 0.
On dit que cette application est une semi-norme.
(1)
Ensuite, nous denissons une suite
exhaustive de compacts sur U comme une suite {K
j
}

j=1
de compacts de U ayant les
proprietes suivantes :
(i) K
j

K
j+1
(j 1) ;
(ii)
j1
K
j
= U.
Tout ouvert de C poss`ede au moins une suite exhaustive de compacts : on peut choisir
par exemple
K
j
:= D(0; j)
_
z C : d(z, C U) 1/j
_
(j 1).
Posons alors p
j
(h) := min
_
1, |h|
K
j
_
(j 1) et
d(f, g) :=

j1
p
j
(f g)
2
j
(f, g C(U)).
1. Lorsque K est inni, et contient donc au moins un point daccumulation, le principe du
prolongement analytique implique que f f
K
est bien une norme sur H(U).
1 Metrique de la topologie de la convergence uniforme sur tout compact 63
Theor`eme 1.1. Lapplication (f, g) d(f, g) est une distance sur C(U). On la designe
sous le nom de metrique de la convergence uniforme sur tout compact. Une suite {f
n
}

n=1
de C(U) converge uniformement sur tout compact de U vers une fonction f C(U) si, et
seulement si, lim
n
d(f
n
, f) = 0.
Demonstration. Voir cours oral. .
Corollaire 1.2. Soit U un ouvert de C. Lapplication f f

de H(U) dans lui-meme


est continue pour la topologie de la convergence uniforme sur tout compact.
Demonstration. Le resultat annonce decoule immediatement du theor`eme de Weierstrass
(Theor`eme VII.1.3) puisque, dans un espace metrique, la continuite dune application
equivaut `a sa continuite sequentielle. .
Corollaire 1.3. Soit U un ouvert de C. Les espaces C(U) et H(U) sont complets pour
la metrique de la convergence uniforme sur tout compact.
Demonstration. Le resultat est classique dans le cas de C(U). Dans celui de H(U), il est
encore une consequence immediate du theor`eme de Weierstrass Theor`eme VII.1.3(i).
.
Proposition 1.4. Soient U un domaine de C et {f
n
}

n=0
une suite de fonctions de
H(U, C

) convergeant vers f sur tout compact de U. Alors, ou bien f est identiquement


nulle, ou bien f H(U, C

).
Demonstration. On a f H(U), dapr`es le theor`eme de Weierstrass. Supposons que
f nest pas identiquement nulle et quil existe cependant un point a de U tel que
f(a) = 0. Dapr`es le principe des zeros isoles (Corollaire IV.3.3), il existe un disque
ferme D(a; r) dans lequel a est le seul zero de f. Posant
r
:= min
|za|=r
|f(z)| > 0,
on a sup
|za|=r
|f
n
(z) f(z)| <
r
pour n assez grand. On deduit donc du theor`eme de
Rouche que f
n
et f ont alors le meme nombre de zeros dans D(a; r), ce qui implique que
f
n
sannule et fournit la contradiction souhaitee. .
Corollaire 1.5. Soient U un domaine de C et {f
n
}

n=0
une suite de fonctions holomorphes
injectives denies sur U et convergeant vers f sur tout compact de U. Alors, ou bien f
est constante, ou bien f est injective.
Demonstration. Supposons que f nest pas constante et montrons que si a et b sont des
points distincts de U, alors f(a) ,= f(b). Considerons `a cette n louvert V := U {a}
la suite {g
n
}

n=0
de fonctions de H(V, C

) denies par g
n
(z) := f
n
(z) f
n
(a). Dapr`es
la Proposition 1.4, la fonction z f(z) f(a), limite sur tout compact des g
n
, est soit
identiquement nulle soit partout non nulle sur V . Or, comme f nest pas constante, la
premi`ere eventualite est exclue. .
64 VIII Topologie de lespace des fonctions holomorphes, transformations holomorphes
2. Le theor`eme de Montel
La notion introduite dans la denition suivante peut apparatre comme delicate pour
des raisons essentiellement terminologiques.
Denition 2.1. Soit U un ouvert de C. Une partie A de C(U) est dite bornee si, et
seulement si, pour tout compact K de U, on a sup
fA
|f|
K
< .
Il est evident que C(U) tout entier concide avec sa boule unite pour la metrique de la
convergence uniforme sur tout compact. La justication de lemploi de ladjectif

borne

dans le present contexte trouve son origine dans la propriete suivante : une partie A dun
espace vectoriel norme est bornee si, et seulement si, pour tout voisinage V de 0 il existe
R tel que A V , autrement dit si A est absorbe par tout voisinage de 0. Dans le
cas dun espace vectoriel topologique, on conserve la meme denition. Ainsi, dans la De-
nition 2.1, le sens du mot borne est celui qui correspond `a la structure despace vectoriel
topologique de C(U) et non `a celle de lespace metrique deni au paragraphe 1.
Proposition 2.2. Soient U un ouvert de C et A une partie bornee de C(U). Alors A est
egalement bornee dans C(U).
Demonstration. Comme la topologie de C(U) est metrisable, il existe, pour toute fonction
g de A, une suite {f
n
}

n=1
de fonctions de A convergeant vers g. Si M
K
:= sup
fA
|f|
K
,
on a donc trivialement |g|
K
M
K
. .
Proposition 2.3. Soit U un ouvert de C. Lapplication f f

de H(U) dans lui-meme


transforme toute partie bornee en une partie bornee.
Demonstration. Soient A une partie bornee de H(U), K un compact de U et
M
K
:= sup
fA
|f|
K
.
Dapr`es la propriete de BorelLebesgue, K est recouvert par un nombre ni de disques
fermes D(a
j
; r
j
) inclus dans U. Pour chaque indice j, il existe R
j
> r
j
tel que
D(a
j
; r
j
) D(a
j
; R
j
) U.
La formule de Cauchy implique donc, pour chaque indice j et chaque f A,
|f

(z)| =

1
2i
_
|wa
j
|=R
j
f(w) dw
(w z)
2

M
K
R
j
(R
j
r
j
)
2
_
z D(a
j
, r
j
)
_
.
Cela fournit immediatement la propriete desiree. .
Theor`eme 2.4 (Montel
(2)
). Soit U un ouvert de C. Un sous-ensemble de H(U) est
compact si, et seulement si, il est ferme et borne.
Demonstration. Montrons dabord que la condition est necessaire. Comme un compact
est toujours ferme, il sut detablir que, si A est une partie compacte de H(U) et si K
est une partie compacte que U, alors sup
fA
|f|
K
< . Soit j tel que K K
j
. Il existe
2. Paul Montel, 18761975.
2 Le theor`eme de Montel 65
une partie nie G de A telle que A
gG
B(g; 1/2
j+1
). Cela implique que, pour toute f
de A, il existe g G telle que
min(1, |f g|
K
j
)
2
j
<
1
2
j+1
,
do` u |f g|
K

1
2
et
sup
fA
|f|
K

1
2
+ max
gG
|g|
K
.
Montrons maintenant que la condition est susante. Nous utilisons `a cette n le
crit`ere de BolzanoWeierstrass : nous allons montrer que toute suite {f
n
}

n=0
dune partie
fermee bornee A de H(U) admet une suite extraite convergente pour la topologie de la
convergence uniforme sur tout compact.
Soit donc {f
n
}

n=0
une suite quelconque de A. Nous devons montrer quil existe une
sous-suite {f
n
}
nN

telle que, pour tout compact K de U, |f


m
f
n
|
K
0 lorsque m
et n tendent vers linni en restant dans N

. Considerons la suite {a
p
}

p=0
des points de
U `a coordonnees rationnelles. Comme {f
n
(a
0
)}

n=0
est bornee, il existe une partie innie
N
0
de N telle que {f
n
(a
0
)}
N
0
converge. La suite {f
n
(a
1
)}
nN
0
etant bornee, il existe une
partie innie N
1
de N
0
telle que {f
n
(a
1
)}
nN
1
converge. par iteration, nous obtenons ainsi
lexistence dune suite decroissante de parties innies de N,
N N
0
N
1
N
k
,
telle que {f
n
(a
p
)}
nN
k
converge pour p k.
Denissons `a present une suite strictement croissante dentiers {n
k
}

k=0
telle que n
k
N
k
pour tout k 0 : il sut de choisir n
0
:= inf N
0
et
n
k+1
:= inf
_
N
k+1
[n
k
+ 1, [
_
(k 0).
En posant, pour simplier lecriture, g
k
:= f
n
k
, on voit que {g
k
(a
p
)}

k=0
converge pour
tout p.
Soit maintenant K un compact de U. Nous allons montrer que, pour tout > 0, il existe
N := N(, K) tel que |g
m
g
n
|
K
d`es que min(m, n) N. Comme A est borne, on a,
en vertu de la Proposition 2.3,
M
K
:= sup
n0
|g

n
|
K
< .
Soient alors := /(3M
K
) et
bB
D(b;
b
) un recouvrement de K par un nombre ni de
disques de rayon et de centres `a coordonnees rationnelles. Pour m, n N, z K, il
existe b B tel que |z b| et donc
|g
m
(z) g
n
(z)| |g
m
(z) g
m
(b)| +|g
m
(b) g
n
(b)| +|g
n
(b) g
n
(z)|
2
3
+|g
m
(b) g
n
(b)|,
o` u nous avons employe la majoration
|g

(z) g

(b)| |z b| |g

|
K
M
K

1
3
( = m, n).
Comme B est ni, il existe N = N(, K) tel que sup
bB
|g
m
(b) g
n
(b)| /3 pour
m, n N. Cela montre bien que la suite {g
n
}

n=0
est de Cauchy dans C(K) et ach`eve
ainsi la demonstration. .
Remarque. On sait quun espace vectoriel norme est de dimension nie si, et seulement
si, sa boule unite fermee est compacte. Comme H(U) est de dimension innie et poss`ede,
dapr`es le theor`eme de Montel, une boule unite fermee compacte, nous pouvons en deduire
que sa topologie ne provient pas dune norme.
66 VIII Topologie de lespace des fonctions holomorphes, transformations holomorphes
Corollaire 2.5. Soit U un ouvert de C. Toute suite bornee de fonctions de H(U) ayant
au plus une valeur dadherence pour la topologie de la convergence uniforme sur tout
compact est convergente.
Demonstration. Voir cours oral. .
Corollaire 2.6 (Vitali
(3)
). Soit U un domaine de C et {f
n
}

n=0
une suite de H(U)
bornee pour la topologie de la convergence uniforme sur tout compact et telle que, pour
une suite convenable {z
p
}

p=0
de points de U ayant au moins un point daccumulation, la
suite {f
n
(z
p
)}

n=0
converge pour tout p 0.
Alors {f
n
}

n=0
converge dans H(U) pour la topologie de la convergence uniforme sur
tout compact.
Demonstration. Toute limite de la suite {f
n
}

n=0
est holomorphe dapr`es le theor`eme de
Weierstrass et est determinee sur un ensemble ayant au moins un point daccumulation.
Dapr`es le principe du prolongement analytique, cette suite poss`ede donc au plus une
valeur dadherence. La conclusion decoule alors du Corollaire 2.5. .
Remarque. La conclusion du theor`eme de Vitali est aisement mise en defaut dans le cas
dune suite non bornee : la suite {z (2z)
n
}

n=0
converge vers 0 sur D(0;
1
2
) mais ne
converge pas dans H
_
D(0; 1)
_
.
Corollaire 2.7. Soit U un domaine de C et {f
n
}

n=0
une suite de H(U) bornee pour la
topologie de la convergence uniforme sur tout compact et telle que, pour un element a
convenable de U, toutes les suites {f
(p)
n
(a)}

n=0
(p 0) soient convergentes. Alors {f
n
}

n=0
converge dans H(U) pour la topologie de la convergence uniforme sur tout compact.
Demonstration. Voir cours oral. .
3. Transformations holomorphes, representations
conformes
La fonction exponentielle transforme une droite D en un cercle, une demi-droite ou une
spirale logarithmique, selon que D est verticale, horizontale ou oblique. Une homographie
peut transformer une droite en un cercle prive dun point, et un demi-plan en un disque.
Nous nous interessons ici aux contraintes selon lesquelles une fonction holomorphe
transforme une gure geometrique donnee. Nous en avons dej` a rencontre une : le theor`eme
de lapplication ouverte Theor`eme V.4.1.
Soit U un ouvert de C, et un chemin dierentiable de U. On dit que : [a, b] U
passe par w U `a vitesse non nulle sil existe t ]a, b[ tel que (t) = w,

(t) ,= 0. Si
et sont deux chemins dierentiables passant par w = (t) = (s) `a vitesse non nulle, on
dira que les courbes

et

se croisent en w avec un angle si


arg

(t) arg

(s) (mod2).
Cette denition est en accord avec la representation geometrique. Elle est invariante par
changement de parametrage sous la condition que la vitesse reste non nulle.
3. Giuseppe Vitali, 1875-1932.
3 Transformations holomorphes, representations conformes 67
Theor`eme 3.1. Soient U un ouvert de C, f H(U), w U et , deux chemins
dierentiables passant par w `a vitesse non nulle. Si f

(w) ,= 0, alors et se croisent en


w avec le meme angle que f et f au meme point.
Demonstration. On peut supposer sans restreindre la generalite que w = (0) = (0).
Les vecteurs vitesses

(0) et

(0) subissent, lorsque lon applique f aux courbes, la


transformation lineaire d
w
f. Or, du fait de lholomorphie de f, cette application nest
autre que loperateur de multiplication par f

(w) ,= 0 : cest une similitude directe, qui


conserve les angles. La verication par le calcul est immediate :
(f )

(0) = f

(w)

(0), (f )

(0) = f

(w)

(0),
arg{(f )

(0)} arg{(f )

(0)} = arg

(0) arg

(0).
.
On dit quune application du plan complexe est conforme en un point w si elle conserve
les angles de croisement de tout couple de chemins dierentiables se croisant en w. Il
resulte de lenonce precedent quune fonction holomorphe est conforme en tout point o` u
sa derivee est non nulle. On appelle transformation conforme sur un ouvert U une fonction
holomorphe `a derivee partout non nulle.
Theor`eme 3.2. Soient U un ouvert non vide de C et f H(U).
(i) Si f est injective, f est conforme.
(ii) Si f est bijective, son application reciproque est egalement holomorphe.
Demonstration. Montrons le point (i). Supposons que f

(w) = 0. Alors on a, pour |z| assez


petit et un entier k > 1 convenable,
f(w +z) f(w) = z
k
(z)
o` u est une fonction holomorphe au voisinage de z = 0 telle que (0) ,= 0. Il existe donc un
disque D
r
:= D(0; r) avec r > 0 dans lequel (z) ne sannule pas. Comme tout disque est
simplement connexe, il existe une fonction h H(D
r
) telle que (z) = h(z)
k
pour z D
r
.
La fonction z (z) := zh(z) nest pas constante. Dapr`es le theor`eme de lapplication
ouverte (Theor`eme V.4.1), limage (D
r
) contient un disque D(0; ) avec > 0. Pour
v D

(0; ), lequation f(z + w) = f(w) + v


k
poss`ede alors au moins k solutions
distinctes, `a savoir les solutions dans D
r
de zh(z) = ve
2ij/k
pour 0 j < k. Cela
contredit linjectivite de f.
Pour etablir (ii), nous observons dabord que lapplication reciproque g de f est continue
en vertu du theor`eme de lapplication ouverte. Soit w f(U). Posant v := g(w), de sorte
que w = f(v), et (h) := g(w +h) g(w), on a alors (h) 0 lorsque h 0, do` u
h = f g(w +h) f g(w) = f(v + ) f(v) = f

(v) +o()
et donc
(h)
h
=
g(w +h) g(w)
h
=
1
f

(v) +o(1)
(h 0).
Ainsi g est dierentiable en w et g

= 1/f

g. .
Une application holomorphe dont la reciproque est egalement holomorphe est dite bi-
holomorphe.
Denition 3.3. Soient U et V deux ouverts de C. On appelle isomorphisme holomorphe
de U sur V une bijection holomorphe de U sur V . Lorsque U = V , on dit quune bijection
holomorphe de U sur lui-meme est un automorphisme holomorphe.
Le Theor`eme 3.2 implique evidemment que tout isomorphisme est bi-holomorphe.
Il est facile de determiner tous les automorphismes de C.
68 VIII Topologie de lespace des fonctions holomorphes, transformations holomorphes
Theor`eme 3.4. Une fonction enti`ere f est un automorphisme de C si, et seulement si,
on a f(z) = az +b avec a ,= 0.
Demonstration. Observons dabord quun polyn ome de degre 1 est trivialement un
automorphisme de C.

Etablissons la reciproque. Comme f est enti`ere, z = 0 est un point singulier isole de la


fonction g(z) := f(1/z). Si cette singularite est essentielle, alors, en vertu du theor`eme de
CasoratiWeierstrass (Corollaire VI.2.5), g(D {0}) est dense dans C et rencontre donc
louvert g(CD). Cela contredit linjectivite de f. Il sensuit que z = 0 est une singularite
polaire de g, autrement dit que |f(z)| est `a croissance polynomiale. Cela implique que f
est un polyn ome, donc necessairement de degre 1 puisque le theor`eme de Rouche garantit
que lequation f(z) = w poss`ede en general deg f solutions. .
Le probl`eme de la representation conforme consiste, dune mani`ere generale, `a deter-
miner dans quelles conditions deux ouverts donnes sont isomorphes. Le resultat suivant
fournit un contre-exemple important.
Theor`eme 3.5. Le plan C et le disque unite ouvert ne sont pas isomorphes.
Demonstration. Si f : C D(0; 1) etait un isomorphisme holomorphe, alors f serait une
fonction enti`ere bornee, donc constante, donc non injective. .
Le theor`eme suivant garantit que les conditions minimales necessaires pour quun
domaine du plan soit isomorphe au disque unite sont aussi susantes.
Theor`eme 3.6 (Riemann). Une condition necessaire et susante pour quun domaine
du plan soit isomorphe au disque unite ouvert est quil soit distinct de C et simplement
connexe.
Demonstration. La condition est evidemment necessaire puisque, si f : D := D(0; 1) U
est un isomorphisme et si h H(U; C), alors z f

(z)hf(z) est une fonction holomorphe


sur D, donc poss`ede une primitive g, puisque D est simplement connexe. Or, lidentite
g

(z) = f

(z)h f(z) (z D) equivaut `a h(w) = F

(w)g

F(w) (w U) avec F := f
1
.
Ainsi h poss`ede une primitive, et lon conclut gr ace au Theor`eme V.6.3(iv).
Nous allons `a present montrer que la condition est susante. La demonstration se
decompose en trois etapes essentielles.

Etape 1 : il existe au moins une fonction holomorphe bornee et injective sur U. En


eet, soit a C U. Alors il existe sur U une determination holomorphe, disons
g(z), de log(z a). Cette fonction g est injective sur U car g(z) = g(w) implique
z a = e
g(z)
= e
g(w)
= w a, donc z = w.
Soit z
0
U. Comme g

(z
0
) = 1/(z
0
a) est non nulle, g est injective au voisinage de
z
0
et prend donc sur D toutes les valeurs dun disque convenable de centre g(z
0
), disons
D(g(z
0
); r). Alors V := 2i + D
_
g(z
0
); r
_
ne rencontre pas g(U) puisque, dans le cas
contraire, on aurait g(z) = g(w) + 2i pour des valeurs distinctes z et w de U, ce qui
impliquerait z = w par exponentiation. La fonction h denie sur U par
(31) h(z) :=
1
g(z) g(z
0
) 2i
,
et dont le module ne depasse pas 1/r, repond donc `a la question.

Etape 2 : pour tout b U, lensemble A


b
des fonctions holomorphes sur U qui sont
injectives ou constantes, de module nexcedant pas 1 et nulles en b, est un compact non
vide de H(U), sur lequel lapplication : f |f

(b)| atteint son maximum. On a en eet


A
b
= E F G o` u E est lensemble des fonctions holomorphes injectives ou constantes
sur U, et
F := H(U)
_
f : U C : sup
U
|f(z)| 1
_
, G := H(U) {f : U C : f(b) = 0}.
3 Transformations holomorphes, representations conformes 69
Dapr`es le Corollaire 1.5, E est ferme dans H(U), et F est compact dapr`es le theor`eme
de Montel. Comme G est evidemment ferme, on obtient bien que A
b
est compact. Il reste
`a etablir que A
b
nest pas vide : la fonction
z r
h(z) h(b)
1 r
2
h(z)h(b)
,
o` u h est denie par (31), est une injection de A
b
.
(4)

Etape 3 : si f est un element de A


b
tel que (f) = |f

(b)| soit maximal, alors f(U) = D.


Le theor`eme de lapplication ouverte implique que f(U) est un ouvert contenu dans D,
donc dans D. Il sut donc de montrer que f(U) D. Raisonnons par labsurde et
supposons lexistence dun point w Df(U). Alors la fonction g denie par
g(z) :=
f(z) w
1 f(z)w
ne sannule pas sur U, donc y poss`ede une racine carree holomorphe, disons z (z).
Nous allons montrer que la fonction denie par
F(z) :=
(z) (b)
1 (z)(b)
est alors un element de A
b
tel que |F

(b)| > |f

(b)|, ce qui est absurde. On a en eet


successivement
(b)
2
= g(b) = w, |(b)| = |w|,
2(z)

(z) =
(1 |w|
2
)f

(z)
{1 f(z)w}
2
, 2(b)

(b) = (1 |w|
2
)f

(b),
F

(z) =
{1 |(b)|
2
}

(z)
{1 (z)(b)}
2
, F

(b) =

(b)
1 |(b)|
2
=

(b)
1 |w|
,
|F

(b)| =
1 + |w|
2
_
|w|
|f

(b)| > |f

(b)|.
.
Exemples. (i) f(z) := (1+z)/(1z) est un isomorphisme du disque unite sur le demi-plan
'e z > 0. En eet, on a w = f(z) z = (w 1)/(w + 1), donc
|z| < 1 |w + 1|
2
|w 1|
2
= 4'e w > 0.
(ii) g(z) = z
2
est un isomorphisme du demi-plan 'e z > 0 sur C] , 0]. Lapplication
z
_
z + 1
z 1
_
2
1 =
4z
(z 1)
2
est donc un isomorphisme du disque unite sur C] , 1].
Corollaire 3.7. Deux domaines simplement connexes distincts de C sont isomorphes.
Deux domaines simplement connexes de C sont homeomorphes.
Demonstration. La premi`ere propriete est immediate puisquun domaine simplement
connexe distinct de C est isomorphe au disque unite. Cela implique donc la seconde asser-
tion sauf si lun des deux domaines est C. Or il est facile de construire un homeomorphisme
de C sur D, par exemple lapplication z z/{|z| + 1}. .
Remarque. Cette propriete de nature purement topologique na jamais pu etre etablie
directement.
4. Nous utilisons ici le fait que, pour a D(0; 1) lapplication z (z a)/(1 az) applique le
disque unite sur lui-meme.
Universite de Lorraine
Faculte des sciences et technologies
Licence de mathematiques 2010/2011
Analyse complexe (LMI6.33)
Exercices sur les nombres complexes,
les fonctions holomorphes
et les series enti`eres
1. Montrer quune condition necessaire et susante pour que trois nombres complexes
a, b, c soient dans cet ordre les axes des sommets dun triangle equilateral oriente dans
le sens positif est que lon ait a +jb +j
2
c = 0, o` u j := e
2i/3
.
2. Resoudre sur C lequation z
2
(3 2i)z + (5 i) = 0.
3. Resoudre sur C les equations z
3
+ 1 = 0 et z
4
i = 0.
4.

Equation du troisi`eme degre. On consid`ere lequation z
3
15z 4 = 0 sur C.
(a) Montrer que, si z = u +v, alors z
3
3uvz
_
u
3
+v
3
_
= 0.
(b) Determiner u
3
et v
3
de sorte que 3uv = 15 et u
3
+v
3
= 4.
(c) (i) Calculer (2 +i)
3
. En deduire toutes les valeurs possibles de u dans C satisfaisant
au syst`eme dequations (b) et tel que m(u
3
) > 0.
(ii) En deduire toutes les valeurs possibles pour le couple (u, v).
(iii) Resoudre sur C lequation z
3
15z 4 = 0.
5. On sait que toute similitude (composee dune rotation et dune homothetie) directe du
plan est representee par loperateur de multiplication par un nombre complexe non nul .
Soit ABCDE un pentagone regulier centre en 0. On designe par A

le milieu de AB, B

le milieu de BC, etc.


`
A quel nombre complexe correspond la similitude directe du
plan qui transforme ABCDE en A

?
6. Soient n 1 et P(z) = z
n
+ a
1
z
n1
+ + a
n1
z + a
n
un polyn ome `a coecients
complexes dont les coecients a
j
(1 j n) ne sont pas tous nuls. On pose
Q(z) := z
n
|a
1
|z
n1
|a
n1
|z |a
n
|
et lon consid`ere la fonction f denie sur ]0, [ par f(x) := Q(x)/x
n
.
(a) Montrer que f est strictement croissante. En deduire que lequation f(x) = 0 poss`ede
sur R
+
une unique solution .
(b) Soit une racine complexe de P. Montrer que, si ,= 0, alors Q(||) 0 et donc
f(||) 0. En deduire que || .
(c) Application. Soit P(z) := z
4
+
1
3
z +
2
3
Montrer que toutes les racines complexes de
P sont de module inferieur ou egal `a 1.
72 Exercices sur les nombres complexes, les fonctions holomorphes et les series enti`eres
7. (a) Pour |z| = 1, montrer que, pour tout a, b C tels que bz +a ,= 0, on a

az +b
bz +a

= 1.
(b) Verier que si lun des deux nombres complexes s et w est de module 1, alors

s w
1 sw

= 1, (sw ,= 1).
8. (a) Soit f : C C, holomorphe en z
0
. On pose f(z) = P(x, y) + iQ(x, y) o` u P et Q
sont `a valeurs reelles. Montrer que
|f

(z
0
)| = | gradP(x
0
, y
0
)| = | gradQ(x
0
, y
0
)|
o` u la norme est la norme euclidienne de R
2
.
(b) On suppose que f est holomorphe sur un domaine non vide U, et quil existe une fonc-
tion C
1
(R
2
, R) telle que grad(u, v) ,= 0 pour tout u, v R et (P(x, y), Q(x, y)) = 0
pour tous x, y tels que z = x +iy U. Montrer qualors f est constante.
9. Determiner une fonction f(x +iy) = P(x, y) +iQ(x, y) holomorphe sur C satisfaisant
`a f(0) = 0 et P(x, y) = x
3
+ 6x
2
y 3xy
2
2y
3
.
Meme question avec P(x, y) = xcos xchy +y sinxshy.
10. (a) Montrer que les equations de CauchyRiemann secrivent en coordonnees polaires
P

= Q

, Q

= P

.
(b) Determiner g H(C

) telle que |g(z)| = 1. Application : determiner f H(C) telle


que |f(z)| = |z|
2
e
x
.
11. Dans cet exercice, on suppose que les fonctions holomorphes considerees sont de
classe C
2
.
(1)
(a) Montrer que, pour toute fonction f holomorphe, on a (f)

z
(z) = f

z
(z) = f

(z).
(b) Soient f
1
, . . . , f
n
des fonctions holomorphes sur un domaine U de C telles que

1jn
|f
j
|
2
est constante. En appliquant loperateur
2
/zz, montrer que chacune
des f
j
est constante.
12. Determiner le rayon de convergence des series enti`eres suivantes :
(a)

n1
n
k
z
n
(k R); (b)

n2
(lnn)
k
z
n
(k R);
(c)

n1
e
n

z
n
( R); (d)

n1
e
n

(n!)

z
n
(, R).
13. Determiner le rayon de convergence de la serie enti`ere

n0
z
n
2
.
1. Cest en fait toujours vrai, et ce sera etabli ulterieurement dans le cours.
Exercices sur les nombres complexes, les fonctions holomorphes et les series enti`eres 73
14. Sachant que le rayon de convergence de la serie enti`ere

n0
a
n
z
n
vaut R, determiner
celui des series enti`eres suivantes :

n0
a
2
n
z
n
,

n0
a
n
z
2n+1
,

n0
{a
n
/(1 + |a
n
|)}z
n
.
15. Sachant que les series enti`eres

n0
a
n
z
n
et

n0
b
n
z
n
poss`edent respectivement
R et r comme rayons de convergence, trouver des minorants de ceux des series enti`eres

n0
(a
n
+b
n
)z
n
,

n0
a
n
b
n
z
n
et

n0
c
n
z
n
avec c
n
:=

+m=n
a

b
m
.
16. Determiner le comportement sur le cercle de convergence de la serie enti`ere

n1
n

(ln2n)

z
n
pour toutes valeurs des param`etres reels et .
17. Transformation de Borel. Soit f(z) :=

n0
c
n
z
n
une fonction developpable en serie
enti`ere dans un disque de rayon R > 0.
(a) Montrer que la serie

n0
c
n
z
n
/n! a un rayon de convergence inni. Sa somme,
notee F(z), est appelee la transformee de Borel de f.
(b) Soit 0 < r < R. Montrer quil existe une constante M telle que, pour tout z C,
on ait
sup
N0

n=0
c
n
n!
z
n

Me
|z|/r
.
(c) Montrer que, pour tout z C tel que |z| < R, on a
f(z) =
_

0
F(tz) e
t
dt.
Universite de Lorraine
Faculte des sciences et technologies
Licence de mathematiques 2010/2011
Analyse complexe (LMI6.33)
Exercices sur les series enti`eres et les
fonctions exponentielle et logarithme
18. Utiliser le theor`eme dAbel pour montrer que si

n
a
n
,

n
b
n
et

n
c
n
sont trois
series numeriques convergeant respectivement vers a, b, c et si c
n
=

0jn
a
j
b
nj
pour
tout entier n 0, alors c = ab.
19. Theor`eme de Tauber (1897). On se propose ici detablir la reciproque suivante du
theor`eme dAbel : si f(z) =

n0
a
n
z
n
converge pour |z| < 1, si f(z) tend vers une limite
nie lorsque z 1 et si

1nN
na
n
= o(N) lorsque N , alors

n0
a
n
= .
On pose
G(x) := (e
x
1)/x, g(x) := G

(x) = {(1 +x)e


x
1}/x
2
(x > 0),
H(x) := e
x
/x, h(x) := H

(x) = (1 +x)e
x
/x
2
(x > 0),

N
(x) :=
1
N

nxN
na
n
(x > 0, N 1).
(a) Montrer que pour tout entier N 1 on a
f
_
e
1/N
)

0nN
a
n
=
N
(1) +
_
1
0
g(x)
N
(x) dx +
_

1
h(x)
N
(x) dx.
(b) Montrer que sup
N
|
N
(x)| = O(x) pour x > 0. Conclure en appliquant le theor`eme
de la convergence dominee.
20. Sous groupes additifs de R.
Soit G un sous groupe additif de R. Montrer lequivalence des trois proprietes suivantes.
(i) Tout point de G est point daccumulation.
(ii) 0 est un point daccumulation de G.
(iii) G est partout dense dans R.
21. Sous groupes discrets de R. Soit G un sous-groupe additif de R qui nest pas partout
dense. Montrer quil existe un element a de G tel que G = aZ, et donc que G est discret.
(1)
22. Pas de Rolle sur C. Montrer que le theor`eme de Rolle ne sapplique pas aux fonctions
dune variable reelle `a valeurs complexes en donnant lexemple dune fonction derivable
de R dans C qui prend la meme valeur en 0 et en 1, mais dont la derivee ne sannule
jamais.
1. On rappelle quune partie dun espace metrique est dite discr`ete si chacun de ses points est isole.
Exercices sur les series enti`eres et les fonctions exponentielle et logarithme 75
23. Resoudre dans C lequation cos z =
1
2
.
24. En employant la formule du bin ome, montrer que e
z
= lim
n
(1 +z/n)
n
pour tout
z C, la convergence etant uniforme sur tout compact.
25. Determiner et representer graphiquement chacun des trois ensembles suivants :
A :=
_
z C :

n1
1/ sinnz converge
_
.
B :=
_
z C : | shz| < | chz|
_
.
C :=
_
z C : lim
n
e
nz
2
= 0
_
.
26. La fonction denie par f(0) = 0 et f(z) = exp{1/z
8
} si z ,= 0 est-elle holomorphe
sur C?
27. Distinguer le vrai du faux en justiant votre reponse par un raisonnement ou un
contre-exemple.
(i) Les seuls zeros de sinz sur C sont les multiples entiers de .
(ii) La fonction z chz ne sannule pas sur C.
(iii) Tous les points xes de z tg z sont reels.
(iv) La serie

n1
(sinnz)/2
n
converge pour tout nombre complexe z.
28. Derangements. On note d(n) le nombre de derangements dun ensemble `a n elements,
i.e. le nombre des permutations de cet ensemble qui sont sans point xe.
(a) Montrer que n! =

0kn
d(k)
_
n
k
_
.
(b) En multipliant les deux membres de legalite precedente par z
n
/n!, trouver une
identite concernant le produit de deux series enti`eres.
(c) En deduire la valeur de f(z) :=

n0
d(n)z
n
/n! puis celle de d(n).
29. On designe par log la determination principale du logarithme complexe. Sur quel
ouvert U de C la fonction z f(z) := log(z
2
+1) log(z +i) log(z i) est-elle denie ?
Donner la valeur de f sur chaque composante connexe de U. On pourra considerer les
points z
t
:= te
3i/4
et w
t
:= te
3i/4
lorsque t .
30. Une condition necessaire pour lexistence dune racine carree. Soit U un ouvert non
vide de C

. On pose (z) = z
2
pour z C

et
V :=
1
(U) = {z C

: z
2
U}.
Montrer que si V est connexe, alors il nexiste pas de fonction continue f sur U telle que
f(z)
2
= z pour z U. On pourra raisonner par labsurde en supposant lexistence de f
et en introduisant g(z) := f(z
2
)/z.
Remarque. Lorsque U := CR

, on sait quil existe une fonction racine carree. On verie


alors que V = C iR est non connexe.
31. Une condition necessaire pour lexistence dun logarithme. Soit U un ouvert non vide
de C

. On pose
V := {z C : e
z
U}.
Montrer que si V est connexe, alors il nexiste pas de fonction continue f sur U telle que
e
f(z)
= z pour z U. On pourra raisonner par labsurde en supposant lexistence de f et
en introduisant g(z) := f(e
z
) z.
76 Exercices sur les series enti`eres et les fonctions exponentielle et logarithme
32. Soit U un domaine de C

. On suppose quil existe une fonction f H(U) telle que


'e f(z) = ln|z| pour tout z de U. Peut-on en deduire que f est une determination du
logarithme sur U ? Que f

(z) = 1/z sur U ? Quil existe une determination du logarithme


sur U ?
33. Soit U := CR

. On consid`ere la determination principale du logarithme complexe


sur U.
(a) Calculer log(1 e
2i
) pour 0 < < 1.
(b)

Ecrire le developpement en serie enti`ere de log(1 z) autour de 0.
(c) En appliquant le theor`eme dAbel `a log(1 re
2i
) lorsque r 1, calculer

n1
cos 2n
n
et

n1
sin2n
n
pour 0 < < 1.
34. La serie enti`ere de la determination principale de

1 +z `a lorigine converge-t-elle
normalement dans le disque unite ferme ?
35. Determiner lensemble U des nombres complexes z pour lesquels lexpression
log
_
z +
_
1 +z
2
_
est bien denie lorsque log et

designent les determinations principales du logarithme
et de la racine carree dans C R

. On note cette fonction argshz.


(a) Calculer la derivee de argsh sur U.
(b) Montrer que sh(argshz) = z pour z U.
(c)

Ecrire le developpement en serie enti`ere de argshz autour de z = 0.
36. Determiner un ouvert U de C, que lon choisira aussi grand que possible, sur lequel
on peut denir une fonction holomorphe f telle que cos f(z) = z et f([1, 1]) R.
37. Soient U un ouvert de C et f H(U, C

). Montrer que si g C(U, C

) verie g
2
= f,
alors g H(U).
38.
`
A quelle condition sur le nombre complexe z a-t-on log e
z
= z lorsque log designe la
determination principale du logarithme complexe ?
39. Montrer que | log(1 + z)| ln{1/(1 |z|)} pour |z| < 1. En deduire que, pour tous
, C, il existe R = R(, ) > 0 tel que (1+z)

=
_
(1+z)

pour tout z D(0; R).


40. Pourquoi la notation z

(z C, / Z) est dangereuse. Expliquer precisement o` u est


lerreur dans la suite degalites
2 = e
log 2
= e
2i
log 2
2i
= (e
2i
)
log 2
2i
= 1
log 2
2i
= 1.
Exercices sur les series enti`eres et les fonctions exponentielle et logarithme 77
41. Developper la determination principale log z en serie enti`ere autour du point
z
0
= 1 +i. Determiner le rayon de convergence R de cette serie. Est-il vrai que sa somme
vaut log z dans D(z
0
; R) tout entier ?
42. (a) Determiner limage de U := C [1, 1] par lapplication f : z (z 1)/(z + 1).
En deduire lexistence dune determination holomorphe de log f sur U.
(b) Montrer que la fonction g : U C denie par g(z) := (z + 1) exp
_
1
2
log f(z)
_
est
une determination holomorphe de la racine carree de z
2
1 sur U. Y a-t-il plusieurs telles
determinations ? Si oui, combien ?
Universite de Lorraine
Faculte des sciences et technologies
Licence de mathematiques 2010/2011
Analyse complexe (LMI6.33)
Exercices sur les fonctions
analytiques complexes
43. Soit f(z) =

n0
a
n
z
n
une fonction developpable en serie enti`ere dans un voisinage
de lorigine. On pose A
n
:=

0kn
a
k
. Montrer que la serie enti`ere

n0
A
n
z
n
a un
rayon de convergence non nul et calculer sa somme en fonction de f(z).
44. Formule de TaylorLagrange. Soit f une fonction analytique dans un ouvert U de C.
(a) Soit z
0
U. Montrer quil existe r > 0 tel que lon ait, pour tout z D(z
0
; r) et
tout n N,
f(z) =

0jn
f
(j)
(z
0
)
j!
(z z
0
)
j
+
(z z
0
)
n+1
n!
_
1
0
(1 t)
n
f
(n+1)
(z
0
+t(z z
0
)) dt.
(b) En deduire que, si |f
(n+1)
(z)| M
n+1
pour |z z
0
| < r, alors on a en tout point
de ce disque

f(z)

0jn
f
(j)
(z
0
)
j!
(z z
0
)
j

M
n+1
|z z
0
|
n+1
(n + 1)!
.
45. Montrer que lintegrale F(z) :=
_

0
e
t
2
sin(2tz)
dt
t
denit une fonction analytique
dans un voisinage convenable de lorigine. Montrer que F(z) est une primitive de

e
z
2
.
46. Montrer que les series de fonctions suivantes denissent des fonctions analytiques dans
des ouverts convenables de C :
(a)

n0
cos nz
n!
; (b)

nZ
(1)
n
z +n
; (c)

n0
e
z
2

n
.
47. Montrer que les fonctions
f(z) :=
_

0
te
tz
1 e
t
dt, g(z) :=

n0
1
(z +n)
2
sont analytiques dans leurs domaines de denition respectifs. Montrer que g prolonge f.
48. Resoudre sur C lequation dierentielle f

(z) = (z 1)
2
f(z) de deux mani`eres :
(a) En cherchant a priori f comme une fonction analytique que lon developpera en
serie enti`ere autour dun point convenable ;
(b) En multipliant lexpression f

(z)(z1)
2
f(z) par un facteur qui en fait une derivee
exacte.
Exercices sur les fonctions analytiques complexes 79
49. Formule de Gutzner.
Soit f(z) =

n0
a
n
z
n
une fonction analytique dans le disque D(0; R).
(a) Montrer que pour tout r ]0, R[, on a
1
2
_
2
0
|f(re
i
)|
2
d =

n0
|a
n
|
2
r
2n
.
(b) On pose M(r) := sup
|z|r
|f(z)| (0 < r < R). Montrer que

n0
|a
n
|
2
r
2n
M(r)
2
.
50. Soient U un domaine de C, f A(U) et a U. Montrer que si |f| ou arg f est
constant au voisinage de a, alors f est constante sur U.
51. Soient D := D(0; 1) et f A
_
D, C

_
. Montrer quil existe une suite {z
n
}

n=1
de points
de D telle que |z
n
| 1 et {f(z
n
)}

n=1
est bornee. On pourra appliquer le principe du
maximum `a 1/f.
52. Soient U un domaine borne du plan et f C(U, C) A(U, C

). Montrer que si |f| est


constant sur U, alors f est constante.
53. Lemme des trois cercles de Hadamard. On dit quune fonction reelle x g(x) denie
et positive sur un intervalle I est log-convexe si lng(x) est une fonction convexe de lnx,
autrement dit si, pour tous x > 0, y > 0, a 0, b 0, a+b = 1, on a g(x
a
y
b
) g(x)
a
g(y)
b
.
Soit f une fonction analytique sur un ouvert U contenant la couronne fermee
D(0; r, R) := {z C : r |z| R}
avec 0 < r < R. On pose M() := sup
|z|=
|f(z)| (r R). En appliquant le principe
du maximum `a z
m
f(z)
n
, montrer que M() est log-convexe sur [r, R]. On pourra faire
intervenir le nombre reel deni par r

M(r) = R

M(R).
54. Maximum sur le bord dun ouvert non borne.
(a) Soient U un ouvert de C non borne et dierent de C et g C(U) A(U) telle que
lim
|z|
zU
g(z) = 0.
En appliquant le principe du maximum `a g sur U
R
:= U D(0, R) lorsque R ,
montrer que, pour tout z U, on a |g(z)| sup
wU
|g(w)|.
(b) Soit U un ouvert de C, non borne, contenant 0 et dierent de C et f C(U) A(U)
une fonction bornee.
(i) Soit z U{0}. Montrer que |f(z)| max
_
|f(0)|, sup
wU
|f(w)|
_
. On pourra
choisir ]0, |z|[ tel que D(0, ) U et, pour n N

, appliquer le resultat de la question


precedente `a la fonction g denie sur U

:= U D(0, ) par g(w) := f(w)


n
/w.
(ii) Montrer que, pour z U, on a |f(z)| sup
wU
|f(w)|.
80 Exercices sur les fonctions analytiques complexes
55. Maximum sur le bord dun secteur. On note z

la determination principale de cette


fonction sur C R

.
(a) Posons P := {z C : 'e z > 0}. Montrer que, pour tous > 0, ]0, 1[, on a
lim
|z|, zP
exp{z

} = 0.
(b) Soit f A(P) C(P). On suppose quil existe C > 0 et ]0, 1[ tels que
|f(z)| C exp(|z|

) (z P).
Montrer que, si sup
zP
|f(z)| M, alors sup
zP
|f(z)| M. On introduira, pour
R assez grand et ], 1[, la fonction F : P
R
:= P D(0, R) C denie par
F(z) = f(z) exp{z

}.
(c) Soient
1
,
2
tels que <
1
<
2
< . On denit le secteur angulaire
S = S(
1
,
2
) := {z C :
1
< arg z <
2
}. Montrer que si f A(S) C(S) verie
sup
zS
|f(z)| M, |f(z)| C exp
_
|z|

_
(z S)
pour des constantes convenables C > 0 et ]0, /(
2

1
)[, alors sup
zS
|f(z)| M.
(d) Soit f A(P) C(P) telle que |f(z)| |e
z
| pour z P. On suppose quil existe
]/2, /2[ tel que lim
r
(1/r) ln|f(re
i
)| = .
(i) Soit n N

. En appliquant le resultat etabli en (c) `a g


n
(z) := f(z)e
nz
sur
chacun des secteurs S(/2, ) et S(, /2), montrer que g
n
est bornee sur P.
(ii) En appliquant le resultat etabli en (b) deduire de ce qui prec`ede que |g
n
(z)| 1
pour n 1 et z P.
(iii) Montrer que f = 0.
56. Points singuliers et reguliers. Soit f(z) =

n=0
a
n
z
n
une serie enti`ere, de rayon de
convergence R > 0. On dit quun point z
0
de module R est regulier sil existe une fonction
analytique g denie sur un voisinage V de z
0
qui concide avec f dans lintersection de V
et du disque de convergence. Un point du cercle de convergence qui nest pas regulier est
dit singulier.
(a) Si les a
n
sont positifs, montrer que z
0
= R est un point singulier en adoptant le plan
suivant :
(i) Montrer que, sil existe r ]0, R[ et une fonction g developpable en serie enti`ere
sur D(R; r) et concidant avec f dans D(0; R) D(R; r) alors la serie de Taylor de f
autour du point Rr/4 poss`ede un rayon de convergence 3r/4.
(ii)

Ecrire cette serie de Taylor au point R+r/4 comme une serie double `a termes
positifs.
(iii) Deduire une contradiction en appliquant le lemme dinterversion des series
doubles (Lemme II.2.3).
(b) Est-il possible que

n=0
a
n
z
n
0
converge et que z
0
soit un point singulier ? Est-il
possible que

n=0
a
n
z
n
0
diverge et que z
0
soit un point regulier ?
(c) Montrer que lensemble des points singuliers du disque est ferme.
(d) Soit f(z) =

n=0
z
2
n
. Montrer que, pour tous p Z, k N

, on a
lim
r1
|f(re
2ip/2
k
)| = . En deduire que tous les points du cercle unite sont singuliers
pour f.
Universite de Lorraine
Faculte des sciences et technologies
Licence de mathematiques 2010/2011
Analyse complexe (LMI6.33)
Exercices sur la formule de
Cauchy et ses consequences
57. Montrer que pour tout lacet de U := C [0, 1], on a
_

dz
z(z 1)
= 0.
58. La fonction holomorphe f(z) := z/(z
2
+ 1) admet-elle une primitive sur le domaine
U := {z C : |z| > 2} ?
59. (a) Soit
R
le chemin ferme dont le support geometrique est le bord du demi-disque
superieur de rayon R > 1 centre `a lorigine. Calculer
_

R
e
iz
dz/(z
2
+ 1).
(b) En deduire la valeur de I :=
_

0
(cos t) dt/(1 +t
2
).
60. Soient U et V deux domaines de C tels que U V soit connexe. Montrer que toute
fonction f C(U V, C) qui verie
_

f(z) dz = 0 pour tout lacet de U ou de V


verie egalement cette meme relation lorsque est un lacet de U V . Montrer par un
contre-exemple simple que le resultat est en defaut si U V nest pas connexe.
61. Soit > 0. Montrer que la fonction f denie par f(z) := (e
iz
e
iz
)/z est enti`ere.
En integrant f(z) dz le long du bord du quart de disque {x 0, y 0, x
2
+y
2
R
2
} et
en faisant tendre R vers linni, trouver la valeur de lintegrale
I() :=
_

0
cos t cos t
t
dt.
62. (a) Calculer le rayon de convergence en z = 0 de la serie de Taylor de la fonction
f(z) := z/{e
z
1}.
(b) Meme question pour g(z) := z
2
/{chz cos z}. On pourra utiliser la formule
cos p cos q = 2 sin{
1
2
(p +q)} sin{
1
2
(p q)} pour p, q C.
63. Formule de Cauchy pour la derivee n-i`eme. Soient U un ouvert de C, f H(U), un
lacet de U tel que I() U, z U

et n N

(a) Montrer que la fonction g denie sur U par


g(w) :=
_

_
(w z)
n1
_
f(w)

0jn
f
(j)
j!
(z)(w z)
j
_
si w ,= z,
f
(n+1)
(z)
(n + 1)!
si w = z,
82 Exercices sur la formule de Cauchy et ses consequences
est holomorphe sur U.
(b) Montrer que
I(z; )
f
(n)
(z)
n!
=
1
2i
_

f(w) dw
(w z)
n+1
.
64. Soient r > 0 et a, b D(0, r). Calculer
I(a, b) :=
_
|z|=r
e
z
dz
(z a)
2
(z b)
2
.
65. Integrales de Fresnel.
(1)
(a) En integrant la fonction z e
z
2
sur le bord du triangle
de sommets 0, R, (1+i)R, montrer la convergence de lintegrale impropre I :=
_

0
e
it
2
dt
et calculer sa valeur. On rappelle que
_

0
e
t
2
dt =
1
2

.
(b) En deduire les valeurs des integrales de Fresnel
C :=
_

0
cos(t
2
) dt, et S :=
_

0
sin(t
2
) dt.
66. Soit f une fonction enti`ere telle que |f(z)|
_
|z| pour tout z C. Montrer que
f = 0.
67. Demontrer le principe du maximum comme une consequence du theor`eme de
lapplication ouverte.
68. Demontrer le theor`eme de Liouville en utilisant la formule de Cauchy pour montrer
que la derivee dune fonction enti`ere bornee est identiquement nulle.
69. Soient D := D(0; 1) et f H(D, C

). Montrer quil existe une suite {z


n
}

n=1
de
points de D veriant dune part lim
n
|z
n
| = 1 et dautre part sup
n1
|f(z
n
)| < , i.e.
{f(z
n
)}

n=1
bornee. On pourra appliquer la formule de la valeur moyenne `a 1/f sur un
cercle de centre 0 et de rayon r < 1.
70. Soit f une fonction holomorphe dans un domaine contenant le disque unite
ferme D(0; 1). En calculant de deux fa cons dierentes les integrales
_
|z|=1
_
2 +z +
1
z
_
f(z)
z
dz,
_
|z|=1
_
2 z
1
z
_
f(z)
z
dz,
montrer les formules
_
1
0
f(e
2i
) cos
2
() d =
1
2
f(0) +
1
4
f

(0),
_
1
0
f(e
2i
) sin
2
() d =
1
2
f(0)
1
4
f

(0).
1. Augustin Jean Fresnel, 1788-1827.
Exercices sur la formule de Cauchy et ses consequences 83
71. Lemme de la partie reelle. Soit f une fonction holomorphe dans un ouvert contenant
le disque ferme D(0; R). On suppose que f(0) = 0 et que 'e f(z) A pour |z| = R, avec
A > 0.
(a) En appliquant le principe du maximum `a e
f(z)
, montrer que 'e f(z) A pour
|z| R.
(b) Montrer que la fonction g(z) := f(z)/
_
2A f(z)
_
est bien denie pour |z| R et
verie |g(z)| 1 dans ce disque.
(c) En appliquant le lemme de Schwarz `a g, montrer que
|f(z)|
2A|z|
R|z|
(|z| < R).
72. Montrer quune fonction enti`ere de partie reelle bornee est constante.
73. Soit U := {z C : mz > 0} et f H(U). On suppose que f est prolongeable par
continuite `a lintervalle ]0, 1[ et que f(x) = 0 pour 0 < x < 1. Que peut-on dire de f ?
74. (a) Determiner toutes les fonctions holomorphes sur D := D(1; 1) telles que lon ait
f(1 + 1/n) = 1/n
2
pour tout entier n 2.
(b) Montrer que les deux propositions suivantes sont equivalentes :
(i) f H(D) et f(1/n) = 1/n
2
(n 2) ;
(ii) g H(D) : f(z) = z
2
+g(z) sin(/z) (z D).
75. Soit w C

. On veut montrer que lequation e


z
= wz poss`ede au moins une solution
sur C.
`
A cette n, on raisonne labsurde et lon suppose que la fonction f denie par
f(z) := e
z
wz ne sannule pas sur C.
(a) Montrer quil existe g H(C) telle que f = e
g
.
(b) En appliquant le lemme de la partie reelle, montrer que g est un polyn ome de degre
au plus 1.
(c) Conclure.
76. (a) Soient R > 0, D
R
:= D(0; R) et f H(D
R
; C

). En appliquant la formule de
Cauchy `a une determination de log f sur D
R
, montrer que lon a, pour tout r ]0, R[,
ln|f(0)| =
_
1
0
ln|f(re
2i
)| d.
(b) En appliquant le resultat precedent `a f(z) := (1 z)/(2i) avec R < 1, etablir la
formule
_
1
0
lnsin() d = ln2.
77. Points singuliers et reguliers (suite). On rappelle les denitions, donnees `a lexer-
cice 56, des points reguliers et singuliers pour la somme dune serie enti`ere de rayon de
convergence ni. Montrer quune telle serie enti`ere poss`ede au moins un point singulier.
84 Exercices sur la formule de Cauchy et ses consequences
78. Soient a > 0, b > 0. Determiner un lacet de C dont le support geometrique est
lellipse dequation x
2
/a
2
+y
2
/b
2
= 1. En calculant de deux mani`eres dierentes lintegrale
I :=
_

dz/z, montrer que


_
2
0
d
a
2
cos
2
+b
2
sin
2

=
2
ab
.
79. Soit f une fonction holomorphe dans un voisinage de lorigine telle que la serie

n0
f
(n)
(0) soit convergente. Montrer que f se prolonge en une fonction enti`ere.
80. On cherche `a etablir un theor`eme du type : si f et g sont holomorphes et composables et
si gf est constante, alors f ou g est constante. Faut-il pour cela supposer que le domaine
de denition de f est connexe ? Que celui de g est connexe ? Demontrer le theor`eme sous
une hypoth`ese adequate.
81. Soient U un ouvert simplement connexe et f H(U) une fonction possedant un
nombre ni de zeros z
1
, . . . , z
N
sur U. Montrer quil existe des nombres entiers positifs
a
1
, . . . , a
N
et une fonction g H(U) telle que f(z) = e
g(z)

N
j=1
(z z
j
)
a
j
(z U).
Universite de Lorraine
Faculte des sciences et technologies
Licence de mathematiques 2010/2011
Analyse complexe (LMI6.33)
Exercices sur les developpements
de Laurent et la theorie des residus
82. Donner le developpement de Laurent de f(z) := 1/{(z 1)(2 z)} : (a) dans la
couronne D(0; 1, 2) ; (b) dans la couronne |z| > 2.
83. Determiner toutes les fonctions f : C C satisfaisant aux quatre conditions suivantes.
(i) f est holomorphe en tout point excepte un p ole double en z = 0, et deux p oles
simples en z = i. De plus Res (f; i) = 2i.
(ii) On a f(z) = f(z) pour z C {0, i}.
(iii) f(1) = 1.
(iv) La fonction z f(1/z) poss`ede un zero dordre 2 en z = 0.
84. Soient P := {z C : 'e z 0} et f H(D

(0; 1), P).


(i) Montrer que 0 nest pas une singularite essentielle de f.
(ii) Montrer que 0 est un point regulier de f.
85. Soit r ]0, 2[. Calculer
I
n
(z) :=
1
2i
_
|w|=r
w
n1
e
wz
1 e
w
dw (n N, z C).
86. Formule de Vi`ete.
(1)
Soit P(z) =

n
j=0
c
j
z
j
C[z]. On suppose que c
0
,= 0 et
on designe par {z
j
}
n
j=1
les racines, distinctes ou non, de P. En considerant lintegrale
curviligne
_
|z|=R
P

(z)
zP(z)
dz
avec R assez grand, etablir la formule

n
j=1
1/z
j
= c
1
/c
0
.
Montrer plus generalement que, pour toute fonction g H(C), on a
n

j=1
g(1/z
j
) = ng(0)

k=1
g
(k)
(0)f
(k1)
(0)
k!(k 1)!
avec f := P

/P.
1. Fran cois Vi`ete, 15401603.
86 Exercices sur les developpements de Laurent et la theorie des residus
87. Soient U un ouvert de C et g, h H(U). On pose f(z) := g(z)/h(z).
(a) Montrer que si a U est un zero double de h, alors
Res (f; a) =
2g

(a)
h

(a)

2g(a)h

(a)
3h

(a)
2
.
(b) Application. Calculer Res (f; 0) pour g(z) = e
z
/(shz)
2
.
88. Soit D le disque unite ouvert et f une fonction holomorphe dans un ouvert contenant
D, telle que |f(z)| < 1 pour |z| = 1.
(a) Montrer que f poss`ede un unique point xe z
0
D.
(b) Plus generalement, montrer que pour tout entier n 1 lequation f(z) = z
n
poss`ede
exactement n solutions dans D.
89. Soient a > e, et n N. Determiner le nombre de zeros de f(z) := e
z
az
n
situes dans
le disque unite ferme.
90. Soit ]1, [. Montrer que la fonction f(z) := z e
z
poss`ede un unique zero,
necessairement reel, dans le demi-plan 'e z 0.
91. Soit D le disque unite ouvert et a, b D. Montrer que lequation
z
2
_
z a
1 a z
_
3
= b
poss`ede exactement cinq racines dans D.
92. Generalisation du theor`eme de Lagrange. Soit f une fonction holomorphe dans un
voisinage de lorigine, telle que f(0) ,= 0. Pour |v| et r assez petits, on designe par z(v)
la solution de lequation vf(z) = z dans D(0; r). Montrer que pour toute fonction g
holomorphe au voisinage de 0 et |v| assez petit, on a
g
_
z(v)
_
= g(0) +

n1
b
n
v
n
avec
b
n
:=
1
n!
_
d
n1
dz
n1
_
g

(z)f(z)
n
_
_
z=0
(n 1).
93. Developpement en serie de Lagrange de la plus grande racine dun polyn ome.
Soit P(z) :=

0jk
a
j
z
j
un polyn ome `a coecients reels, de degre k 1 et tel que
a
k
> 0. On pose

P(z) = z
k
P(1/z) = a
k
+a
k1
z + +a
0
z
k
.
(a) Montrer que pour t > P(0), lequation P(x) = t poss`ede au moins une racine reelle
positive. On designe par x(t) la plus grande de ces racines reelles.
(b) Montrer que, pour t assez grand, y(t) = 1/x(t) est solution de

P(y)
1/k
t
1/k
= y.
(c) En appliquant le resultat de lExercice 92 avec f(z) :=

P(z)
1/k
et g(z) :=

P(z)
1/k
,
o` u la racine k-i`eme est prise en determination principale, montrer que lon a pour t assez
grand
x(t) =
_
t

P(0)
_
1/k

(0)
k

P(0)

n1
c
n
t
n/k
avec
c
n
:=
1
n (n + 1)!
_
d
n+1
dz
n+1

P(z)
n/k
_
z=0
Exercices sur les developpements de Laurent et la theorie des residus 87
94. Une application du theor`eme de Rouche au calcul asymptotique.
(a) Montrer que, pour tout t > 0, lequation xe
x
= t poss`ede une solution unique
x = x(t).
(b) Montrer que, pour t assez grand, y(t) := x(t) lnt + lnlnt ]0, 1[.
(c) Montrer que, pour t assez grand, y(t) est lunique solution dans le disque |z| < de
lequation 1 e
z
+ z = 0, o` u lon a pose := 1/ lnt, := (lnlnt)/ lnt.
(d) Montrer que
y(t) =
1
2i
_
|z|=
z(e
z
+ )
1 e
z
+ z
dz.
(e) Montrer que lon a, pour t assez grand,
x(t) = lnt lnlnt +

k1
P
k
(lnlnt)
(lnt)
k
o` u P
k
est un polyn ome de degre k. Calculer P
1
.
95. Calculer I :=
_
2
0
d
1 + cos
2

.
96.

Etablir les relations suivantes en appliquant le theor`eme des residus.
(a)
_
2
0
dx
{a +b cos x}
2
=
2a
(a
2
b
2
)
3/2
(0 < b < a),
(b)
_
2
0
(sinx)
2
dx
a +b cos x
=
2
a +

a
2
b
2
(0 < b < a),
(c)
_
2
0
cos(2x) dx
1 2a cos x +a
2
=
2a
2
1 a
2
(|a| < 1).
97. Soient a > 0, b > 0. Calculer I(a, b) :=
_

0
dx
(x
2
+a
2
)(x
2
+b
2
)
.
98. Soient a > 0, b > 0. Calculer I(a, b) :=
_

0
xsinax
x
2
+b
2
dx.
99. Montrer que
_

0
x
1 +x
5
dx =
/5
sin(2/5)
en integrant f(z) := z/(1 +z
5
) le long du bord du secteur circulaire
S
R
:= {re
i
: 0 r R, 0 2/5} (R > 0).
100. Soient a > 0, R. Montrer que lon a
_

0
cos(x)
chx + cha
dx =
sin(a)
sh() sha
en integrant la fonction f : z e
iz
/(chz + cha) le long du perim`etre du rectangle de
sommets R, R+ 2i avec R > 0 assez grand.
88 Exercices sur les developpements de Laurent et la theorie des residus
101. Calculer I :=
_

0
lnx
(1 +x
2
)
2
dx.
102. (a) Soient z
0
C,
1
,
2
des nombres reels tels que 0
1
<
2
2, > 0 et

larc de cercle {z C :
1
arg(z z
0
)
2
, |z z
0
| = }. Montrer que pour toute
fonction meromorphe f ayant un p ole simple en z
0
on a
lim
0
_

f(z) dz = i(
2

1
) Res (f; z
0
) .
(b) Calculer
I :=
_

0
sinx
x
dx
en appliquant, pour R > > 0, le theor`eme des residus `a g(z) := e
iz
/z sur le bord de la
demi-couronne D(0; , R) {z : mz > 0}.
103. Calculer I :=
_

0
(lnx) dx/{x
2
1} en generalisant convenablement la propriete
etablie `a lExercice 102(a) et en integrant, lorsque la determination du logarithme est
denie sur C R
+
avec arg z ]0, 2[, la fonction meromorphe f(z) := (log z)
2
/(z
2
1)
sur le lacet =

1

2

3

6
o` u
_

1
:= lim
0+
{e
i
: 2 }

2
:= lim
0+
[ +i, R+i]

3
:= lim
0+
{Re
i
: 2 },

4
:= lim
0+
[1 + i, Ri],

5
:= lim
0+
{1 + e
i
: + 2 },

6
:= lim
0+
[ i, 1 i]
lorsque 0 < 1, R > 2.
104. Formule de Jensen.
(2)
(a) Soit R > 0 et D
R
:= D(0; R). Montrer que si f H
_
D
R
, C

_
, alors il existe sur D
R
une determination holomorphe de log f. En deduire que lon a pour tout r < R
ln|f(0)| =
1
2
_
2
0
ln|f(re
i
)| d.
(b) Montrer que
_
2
0
ln|1e
i
| d = 0. On pourra appliquer la formule etablie en (a) avec
f(z) = 1z pour R < 1 et operer un passage `a la limite que lon justiera soigneusement.
(c) On suppose maintenant que, pour r ]0, R[ xe, f poss`ede exactement n zeros
comptes avec multiplicite, disons a
1
, . . . , a
n
dans D(0, r) et que f(0) ,= 0. On pose
N() := |{j [1, n] : |a
j
| }| (0 r).
Montrer la formule de Jensen
ln|f(0)| + ln
_
r
n
|a
1
a
n
|
_
= ln|f(0)| +
_
r
0
N()

d =
1
2
_
2
0
ln|f(re
i
)| d.
2. Johan Ludwig William Valdemar Jensen, 18591925.
Exercices sur les developpements de Laurent et la theorie des residus 89
On pourra denir m tel que max
jm
|a
j
| < r = |a
k
| (m < k n), introduire la fonction
F(z) := f(z)
m

j=1
r
2
a
j
z
r(a
j
z)
n

j=m+1
a
j
a
j
z
, comparer ln|F(z)| `a ln|f(z)| pour |z| = r et
utiliser la relation etablie en (b).
105. Soit > 1. Montrer que lon a
_

0
dx
x

+ 1
=
/
sin(/)
en integrant, apr`es lavoir correctement denie, la fonction z f(z) := 1/(1+z

) le long
du lacet
R
constitue du segment [0, R], de larc de cercle {Re
i
: 0 2/}, et du
segment
_
Re
2i/
, 0

.
106.

Etablir la validite des deux relations suivantes pour a > 0, n 0.
(a)
_

0
sin(nx)
x(a
2
+x
2
)
dx =
(1 e
an
)
2a
2
,
(b)
_

0
cos(nx)
a
4
+x
4
dx =

2a
3
e
na/

2
sin
_
na

2
+

4
_
.
107. La fonction z log z designant la determination principale du logarithme sur CR

,
on pose pour a > 0
f(z) =
1
(z
2
+a
2
) log z
.
On se donne des param`etres positifs , R tels que 0 < <
1
2
a, a
2
< R
2
+
2
et lon consid`ere
le chemin ferme (, R) constitue des segments [Ri, i] joints par deux arcs de
cercle de centre 0 et ne coupant pas la demi-droite reelle negative. En integrant f le long
de (, R), montrer que
_

0
dx
(a
2
+x
2
){(lnx)
2
+
2
}
=
2
a{4(lna)
2
+
2
}

1
1 +a
2
.
Universite de Lorraine
Faculte des sciences et technologies
Licence de mathematiques 2010/2011
Analyse complexe (LMI6.33)
Exercices sur les suites, series et produits
innis de fonctions meromorphes
108. Soient U un domaine de C et {f
n
}

n=1
une suite de fonctions de H(U) convergeant
uniformement sur tout compact de U vers une fonction f.
(a) Montrer que si f
n
ne sannule pas sur U pour n assez grand, alors soit f est
identiquement nulle, soit f ne sannule pas sur U. On pourra considerer, pour chaque
zero z de f, lordre de multiplicite (z; f), que lon ecrira comme une integrale sur un
contour adequat.
(b) Montrer que si f
n
est injective pour n assez grand, alors f est injective.
109. Soient U un ouvert de C distinct de C, A := {a
n
} une suite nie ou non delements
de U deux `a deux distincts, sans point daccumulation, et {m
n
}

n=0
une suite dentiers
positifs.
Le but de cet exercice consiste `a montrer quil existe une fonction f H(U) dont A est
lensemble des zeros et telle que, pour tout n N, a
n
soit un zero dordre m
n
de f.
(a)

Etablir le resultat demande lorsque A est ni.
(b) Montrer que, pour tout z de U il existe w C U tel que d(z, C U) = |z w|.
(c) Dans cette question, on suppose que la suite A est innie et bornee. On designe par
A

= {
n
}

n=0
la suite dont les valeurs sont les elements de A et o` u chaque a
n
apparat
exactement m
n
fois. Pour chaque n 0, soit b
n
CU tel que d(
n
, CU) = |
n
b
n
|.
(i) Montrer que lim
n
|
n
b
n
| = 0.
(ii) Montrer que le produit inni

n0
E
n
_

n
b
n
z b
n
_
converge uniformement sur tout compact de U et conclure.
(d) On suppose `a present que A est inni et non borne. Soit w U A. On pose
c
n
:= 1/{a
n
w} (n 0).
(i) Montrer que {c
n
}

n=0
est bornee et sans point daccumulation dans louvert
V := {1/(z w) : z U}. En deduire lexistence dune fonction g H(V ) telle que
Z(g) = {c
n
: n 0}, chaque zero c
n
etant de multiplicite m
n
.
(ii) Montrer que la fonction f H(U {w}) denie par f(z) = g(1/(z w)) peut
etre prolongee en une fonction holomorphe sur U. Conclure.
110. Determiner le plus grand ouvert U o` u la serie

n=0
z
n
/(1+z
2n
) converge. La somme
de cette serie est-elle holomorphe dans U ?
111. Soit f une fonction holomorphe sur D(0; 1) telle que f(0) = 0. Montrer que la serie

n=1
f(z
n
) converge uniformement sur tout compact de D(0; 1). On pourra utiliser, pour
r ]0, 1[, le lemme de Schwarz sur le disque D(0; r).
Exercices sur les suites, series et produits innis de fonctions meromorphes 91
112. Soit U un domaine de C et {f
n
}

n=0
une suite de fonctions holomorphes sur U
convergeant uniformement sur tout compact de U vers une fonction f.
(a) Montrer que, si f nest pas identiquement nulle, alors tout zero w de f est limite
dune suite {w
n
}
nI
telle que f
n
(w
n
) = 0 pour n I. On pourra utiliser le theor`eme de
Rouche.
(b) Montrer que, si tous les zeros des f
n
sont reels et si f nest pas identiquement nulle,
alors f na que des zeros reels.
113. Soit a un nombre reel. Montrer que
i sh(2a)
sin(z +ia) sin(z ia)
=

nZ
_
1
z +n ia

1
z +n +ia
_

En deduire que
sh(2a)
ch(2a) cos(2z)
=

nZ
a
(z +n)
2
+a
2

114.

Etablir la validite des developpements suivants en series de fonctions meromorphes
tg(z) = 2z

n0
1
z
2
(n +
1
2
)
2
,

sin(z)
=
1
z
+

n1
(1)
n
2z
z
2
n
2
,

cos(z)
=

n0
(1)
n1
2n + 1
z
2
(n +
1
2
)
2

115. Montrer que la formule


h(z) = z

n=1
1 +z/(2n)
1 +z/(2n 1)
denit une fonction meromorphe sur C. Quels sont ses zeros, ses p oles ? Que vaut h(1) ?
Calculer h

(z)/h(z) +h

(z + 1)/h(z + 1) et en deduire que h(z)h(z + 1) = 2z/.


116. Le theor`eme de BohrMollerup.
Soit : R R une fonction convexe telle que (1) = 0, (x+1) = (x) +lnx (x > 0).
(a) Montrer que, pour tout entier n 1, la fonction
n
(x) := {(n+1+x)(n+1)}/x
est croissante sur [1, 0[]0, 1].
(b) En deduire que 0 (x) ln
_
n! n
x
/

n
j=0
(j +x)
_
1/n (0 < x 1, n 1).
(c) Montrer que est uniquement determinee et satisfait la formule dEuler
e
(x)
= lim
n
n! n
x
n

j=0
(j +x)
1
(x > 0).
117. Une autre caracterisation de .
(a) Montrer que

(x)/(x) < lnx (x > 0). En deduire que x e


x
x
x
(x) est
decroissante pour x > 0.
(b) Montrer que est uniquement determinee par la propriete de decroissance de (a)
et les conditions (1) = 1, (x + 1) = x(x).
92 Exercices sur les suites, series et produits innis de fonctions meromorphes
118. Preuve de Gauss de la formule dEuler.
(a) Montrer que, pour tout entier n 0 et tout nombre complexe s tel que > 0,

(s)
(s)
=

0jn
1
(s +j)
+

(s +n)
(s +n)
.
(b) Montrer que

(s)/(s) = lns +O(1/s) pour s R, s > 1.


(c) En deduire la formule dEuler (s) = lim
n
n
s
n!

0jn
1/(s +j).
119. Soient {a
j
}
k
j=1
et {b
j
}
k
j=1
deux suites nies de nombres complexes telles que
b
j
/ Z (1 j k),

1jk
a
j
=

1jk
b
j
.
Montrer que

n=1
k

j=1
n a
j
n b
j
=
k

j=1
(1 b
j
)
(1 a
j
)
.
120. Soient k 2 et
k
= e
2i/k
. Montrer en utilisant le resultat de lexercice 119 que

n=1
_
1
x
n
k
_
=
k1

j=0

_
1
j
k
x
1/k
_
1
(x > 0).
121. Montrer que
_
1
1
(1 +t)
x1
(1 t)
y1
dt = 2
x+y1
(x)(y)
(x +y)
(x > 0, y > 0).
122. Lintegrale de Dirichlet.
Montrer que pour f C[0, 1],
j
> 0 (1 j n), =

n
j=1

j
, on a
_

n
j=1
t
j
1
f
_

n
j=1
t
j
_
n

j=1
dt
j
t
1
j
j
=

n
j=1
(
j
)
()
_
1
0
f(u)u
1
du.
123. Calculer lintegrale double
_

dxdy, o` u , sont des param`etres positifs et


est le domaine x 0, y 0, x

+y

1 ( > 0, > 0).


124. Calculer
_
z+1
z
log (w) dw pour tout z C R

.
125. La formule de LegendreGauss.
(a) En utilisant la formule de Legendre, montrer que
_
1
0
ln(x) dx =
1
2
ln(2).
(b) Montrer que pour tout entier n 2 on a
n1

j=0

_
x +j
n
_
= (2)
1
2
(n1)
n
1
2
x
(x) (x > 0).
126. (a) En utilisant directement la denition de (z) sous forme integrale, montrer que

(1) = lnx
1
x
_

0
(lnt)e
t/x
dt (x > 1).
(b) En utilisant lapproximation lnt =

nt
1/n +O(1/t) (t > 1), etablir la formule

(1) = .
Exercices sur les suites, series et produits innis de fonctions meromorphes 93
127. Formules de Gauss et Dirichlet.
(a) Montrer que =
_
1
0
1 e
t
t
dt
_

1
e
t
t
dt puis que
=
_

0
_
1
1 e
t

1
t
_
e
t
dt.
(b) Montrer que pour 'e z > 0 on a

(z)
(z)
=
1
z

n=1
z
n(z +n)
. En utilisant (a)
et en ecrivant 1/(z +n) =
_

0
e
t(z+n)
dt ('e z > 0), montrer la formule de Gauss

(z)
(z)
=
_

0
_
e
t
t

e
zt
1 e
t
_
dt ('e z > 0).
(c) Montrer que lim
0
_

_
1
(1 +x)
2
ln(1 +x)

e
x
x
_
dx = 0. En deduire gr ace au
resultat de (b) la formule de Dirichlet

(z)
(z)
=
_

0
_
e
x
(1 +x)
z
_
dx
x
('e z > 0).
128. Une autre demonstration de la formule des complements.
(a) Pour ]0, 1[, montrer lexistence de lintegrale I() :=
_

0
t
1
dt/(1 + t) et
calculer sa valeur. On pourra soit utiliser la methode des residus, soit traiter dabord le
cas = p/q Q, q 4N

, par le changement de variable t = u


q
et conclure par un
argument de continuite.
(b) Deduire de (a) la formule des complements : (z)(1 z) = / sin(z) (z CZ).
129. (a) Soit T
N
() le polyn ome determine par la relation sin(2N + 1)x = T
N
(sinx).
Montrer que
T
N
() = (2N + 1)
N

k=1
_
1
2
_
sin
2
k
2N + 1
_
.
(b) Choisir = sin
x
2N+1
et faire tendre N vers linni en justiant soigneusement le
passage `a la limite pour obtenir la formule dEuler sin(x) = x

k=1
_
1 x
2
/k
2
_
.
(c) En deduire, gr ace `a la formule du produit de Weierstrass, la formule des complements
pour (x).
130. (a) Montrer les formules
_

0
t
z1
cos t dt = (z) cos
_
1
2
z
_
(0 < 'e z < 1),
_

0
t
z1
sint dt = (z) sin
_
1
2
z
_
(1 < 'e z < 1).
(b) En deduire la valeur des integrales de Fresnel I =
_

0
cos(t
2
) dt, J =
_

0
sin(t
2
) dt.
94 Exercices sur les suites, series et produits innis de fonctions meromorphes
131. Sur le volume de la boule unite de R
n
et les fonctions spheriques.
On dit quune fonction f : R
n
R est spherique sil existe une fonction g : R
+
R
telle que f(x) = g(|x|), o` u |x| designe la norme euclidienne de x R
n
. On designe par
la mesure sur R
+
image de la mesure de Lebesgue sur R
n
par lapplication x |x|,
de sorte que
_

0
g(t) d(t) =
_
R
n
g(|x|) dx pour toute fonction g : R
+
R telle que le
second membre ait un sens.
(a) Montrer que, pour tout y R
+
, on a ([0, y]) = y
n
V
n
avec V
n
= ([0, 1]). En deduire
que d(y) = nV
n
y
n1
dy sur [0, [.
(b) En choisissant une fonction spherique f convenable, montrer que
V
n
=
n/2
/(1 +n/2).
(c) Montrer que
_
R
n
_
1 +|x|
2
_

1
2
(n+1)
dx =
1
2
(n+1)
/
_
1
2
(n + 1)
_
.
Universite Henri PoincareNancy 1
Licence de mathematiques 2002/2003
Analyse complexe
mai 2003
Devoir
I. Lemme de SchwarzPick.
Soient D = D(0; 1) le disque unite ouvert de C. On designe sous le nom de facteur
de Blaschke associe `a a D la fonction
a
: D C denie par

a
(z) :=
z a
1 az

(a) Montrer que, pour tout a de D, la fonction


a
est une application holomorphe
injective. Calculer z en fonction de w :=
a
(z). En deduire que
a
(D) = D. Calculer

a
(0) et

a
(a).
(b) Soient a D et f : D D une fonction holomorphe. On note b := f(a). En
considerant la fonction g :=
b
f
a
, montrer que
|f

(a)|
1 |b|
2
1 |a|
2

Decrire les cas degalite.


II. Determiner le residu en z = 0 des fonctions meromorphes
(z) :=
1
z
3
sin(z
3
)
, (z) := z cos(1/z), (z) :=

1 z
2
z
4
(1 z
3
)
,
o` u la racine carree complexe est prise en determination principale.
III (Exercice 98). Soient a > 0 et b > 0. Calculer I(a, b) :=
_

0
xsin(ax)
x
2
+b
2
dx.
IV. (a) Montrer que, si les fonctions z f(z) et z f(1/z) sont enti`eres, alors f
est constante.
(b) Montrer que, si la fonction z f(z) est enti`ere et z f(1/z) est meromorphe
sur C, alors f est un polyn ome.
(c) Montrer que, si les fonctions z f(z) et z f(1/z) sont meromorphes sur C,
alors f est une fraction rationnelle.
Universite Henri PoincareNancy 1
Licence de mathematiques 2003/2004
Analyse complexe
mai 2004
Devoir
I. Sommes de signes.
Soit : [a, b] R une fonction continue sur [a, b] satisfaisant `a :
(a) , Z, (b) (a) Z,

1
(Z) est ni,
t
1
(Z) est derivable en t et

(t) ,= 0.
Le but de cette partie est detablir la formule
(2) (b) (a) =

t
1
(Z)
sgn{

(t)}.
(a) Montrer que lon peut se limiter `a etablir (2) lorsque 0 < (a) < 1 et
(b) = N + (a) o` u N N. Dans toute la suite de cette partie, on supposera
donc ces hypoth`eses supplementaires realisees.
(b) Soit Z ([a, b]) et soient x
1
< x
2
. . . < x
k
les solutions dans [a, b] de
lequation (x) = .
(i) Montrer que, si j [1, k 1] est tel que

(x
j
) > 0, alors
(x
j+1
h) (x
j+1
) > 0 (0 < h < x
j+1
x
j
).
En deduire que

(x
j+1
) < 0.
(ii) Montrer que sgn{

(x
j
)} = (1)
j1
sgn{

(x
1
)} pour 1 j k.
(c) Deduire de ce qui prec`ede que la relation (2) est valide lorsque N = 0.
(d) En appliquant la conclusion de la question precedente `a la fonction f denie
sur [a, b + 1] par
f(t) :=
_
(t) si a t b
(a) +N(b + 1 t) si b < t b + 1,
etablir la validite de (2) dans le cas general.
II. Determination continue de largument sur un chemin.

Etant donnes un chemin : [a, b] C et un nombre complexe z


0
C

, on
dit quune fonction C([a, b], R) est une determination continue de largument de
z
0
sur [a, b] si lon a
(t) z
0
= |(t) z
0
|e
i(t)
, t [a, b].
On se propose ici detablir lexistence dune telle determination pour tout chemin
et tout z
0
C

.
`
A cette n, on introduit lensemble A des s [a, b] tels quil
existe une determination continue de largument de z
0
sur [a, s].
(a) Montrer que A est non vide.
(b) Montrer que A est ferme dans [a, b].
(c) Montrer que, si s A, il existe une determination de log(zz
0
) dans un disque
de rayon assez petit autour de (s). En deduire que A est un ouvert de [a, b]
(d) Conclure.
Probl`emes de synth`ese 97
III. Principe de largument.
Soient : [a, b] C un lacet, z
0
C

et : [a, b] R une determination


continue de largument de z
0
sur [a, b]. On pose
(t) = |(t) z
0
| (a t b).
(a) Montrer que, pour tout t
0
[a, b], il existe une determination du logarithme
telle que dans un voisinage susamment petit de t
0
dans [a, b] on ait
log{(t) z
0
} = ln(t) +i(t).
En deduire que et sont de classe C
1
par morceaux sur [a, b].
(b) Montrer que lon a
I(z
0
; ) =
(b) (a)
2
.
IV. Une formule generale pour calculer lindice.
Soient : [a, b] C un lacet, z
0
C

et : [a, b] R une determination


continue de largument de z
0
sur [a, b].
Soit alors R. On consid`ere la demi-droite = z
0
+ e
i
R
+
. On suppose que
(a) = (b) , et que, pour tout t
1
(), on a m{

(t)e
i
} ,= 0.
On denit le determinant de deux nombres complexes z = x +iy et z

= x

+iy

comme le determinant des vecteurs associes, soit


det(z, z

) := xy

yx

= m(zz

).

Etant donne t
0
[a, b] tel que (t
0
) , on dira que coupe en (t
0
) dans le
sens direct si la base de vecteurs associes `a e
i
et

(t
0
) est de sens direct, autrement
dit si det(e
i
,

(t
0
)) > 0. Dans le cas contraire, on dira que coupe en (t
0
)
dans le sens indirect.
(a) Montrer que, pour chaque t de
1
(), on a
det(e
i
,

(t)) =

(t)(t).
En deduire que coupe en t dans le sens direct si, et seulement si,
sgn{

(t)} = 1.
(b) Pour t
1
(), on pose (t) := sgn{

(t)}. Ainsi, (t) = 1 si coupe en


(t) dans le sens direct, et (t) = 1 dans le cas contraire.
En utilisant la formule (2) pour la fonction (t) := ((t) )/2, le principe de
largument etabli `a la partie III, et le resultat de la question precedente, montrer que
I(z
0
; ) =

t
1
()
(t).
V. Une application.
On denit les chemins
k
: [0, 1] C (1 k 6) par les relations suivantes :

1
(t) := 2e
i5t/3
(t [0, 1])

2
(t) := (2 + 8t)e
2i/3
(t [0, 1])

3
(t) := 6e
(2+5t)i/3
(t [0, 1])

4
(t) := (6 10t)e
i/3
(t [0, 1])

5
(t) := 4e
(4t)i/3
(t [0, 1])

6
(t) := 6t 4 (t [0, 1])
Dessiner le lacet :=
1

2

4

4

5

6
et calculer I(1 i; ).
Universite Henri PoincareNancy 1 Mardi 11 juin 2002
Licence de mathematiques 2001/2002 Duree : 3h
Analyse complexe
Sujet dexamen
La consultation des notes manuscrites de cours et travaux diriges est autorisee, `a
lexclusion de tout autre document. Lusage dune calculatrice est interdit.
Le bar`eme est donne `a titre indicatif.
I. (4 pts) Soit f(z) =

1 +z, o` u

designe la determination principale de la racine
carree.
(i) Quel est le domaine de denition de f ? On le notera U.
(ii) Soit a U. Montrer que pour tout z susamment voisin de a, on a

1 +z =

1 +a
_
1 +
z a
1 +a
.
(iii) Developper la fonction f en serie enti`ere autour du point z = i.
(iv) Determiner le rayon de convergence r de la serie enti`ere.
(v) Est-ce que sa somme est egale `a

1 +z dans D(i; r) tout entier ? Justier.
II. (3 pts). Soit

n0
a
n
z
n
une serie enti`ere de rayon de convergence r > 1, et soit
f : D(0; r) C la fonction holomorphe denie par
f(z) =

n0
a
n
z
n
.
Determiner la couronne de convergence de la serie de Laurent

nZ
a
|n|
z
n
et trouver la fonction quelle denit (en fonction de f).
III. (3 pts) Trouver le nombre de zeros (comptes avec multiplicites) de chacune des
fonctions suivantes, dans les domaines indiques.
(i) f(z) = z
5
+
1
3
z
3
+
1
4
z
2
+
1
3
dans D(0; 1).
(ii) f(z) = 9z
5
+ 5z 3 dans D(0; 5) D(0;
1
2
).
IV. (4 pts) Verier par la methode des residus les resultats suivants.
_
2
0
dt
(p + cos t)
2
=
2p
(p
2
1)
3/2
(p > 1),
_

0

xdx
(x
2
+ 4)
2
=

32
.
V. (3 pts) Soit U un ouvert de C, et soit D une droite de C. Montrer que toute
fonction continue sur U et holomorphe sur U D est holomorphe sur U.
Indication : on pourra utiliser le theor`eme de Morera.
VI. (3 pts) Soit U un domaine de C, soit A un ferme discret de U, et soit f une
fonction holomorphe et injective sur U A. Montrer que :
(i) aucun point de A nest une singularite essentielle de f ;
(ii) si un point de A est un p ole de f alors il est simple ;
(iii) si tous les points de Asont des points singuliers eliminables, alors f se prolonge
en une fonction holomorphe injective sur U.
Universite Henri PoincareNancy 1 Mardi 5 avril 2005
Licence de Mathematiques 2004/2005 Duree : 3h
Analyse complexe
Sujet dexamen partiel
Aucun document nest autorise. Lusage dune calculatrice est interdit. Sauf mention
contraire, les notations sont celles du cours.
Les quatre parties peuvent etre traitees independamment, quitte `a admettre certains
resultats indiques dans lenonce.
Il sera tenu le plus grand compte de la redaction et de la presentation. Seules les
explications claires et precises seront prises en compte `a la correction.
I. Question de cours. Soit U un domaine de C. La formulation du principe du
maximum comprend deux parties. La premi`ere stipule quune fonction f de A(U)
qui nest pas constante sur U na pas de maximum local sur U. La seconde enonce
que, lorsque U est borne et f se prolonge par continuite `a U, alors on a sous les
hypoth`eses precedentes
|f(z)| < sup
wU
|f(w)| (z U).
Expliquer en detail comment la seconde partie decoule de la premi`ere.
II. Soient D le disque unite ouvert et M la classe des fonctions f analytiques sur
D et satisfaisant `a sup
zD
|f(z)| 1, f(
1
2
) = 0. On se propose de determiner
:= sup
fM
|f(i/2)|.
(a) On pose B(z) := (z
1
2
)/(1 z/2). Montrer que |B(z)| = 1 lorsque |z| = 1.
(b) Montrer que, pour z D, on a |f(z)| |B(z)| . On pourra commencer par
etablir que h = f/B se prolonge en une fonction de A(D).
(c) Determiner .
III. Soient U un domaine de C contenant lorigine et F H(U) une fonction telle
que F(0) = 1.
(a) Montrer quil existe un nombre reel R > 0 tel que, si log designe la
determination principale du logarithme complexe, alors la fonction z log{F(z)}
soit holomorphe sur D(0; R).
(b) Montrer que, pour 0 < r < R, on a
_
2
0
log{F(re
i
)} d = 0. En deduire que,
si la fonction z arg F(z) est constante sur le cercle C(0; r), alors cette constante
est nulle.
(c) Montrer que, si, pour tout r de ]0, R[, la fonction z arg F(z) est constante
sur C(0; r), alors F est constante sur U.
IV. Soit U un domaine de C et f, g H(U). On pose (z) := |f(z)|+|g(z)| (z U).
(a) Montrer que, pour tout z
0
U il existe R = R(z
0
) > 0 tel que linegalite
() (z
0
)
1
2
_
2
0

_
z
0
+re
i
_
d
ait lieu pour tout r [0, R].
(Voir suite au dos.)
100 Sujets dexamen
(b) On suppose `a present que poss`ede un maximum local en un point z
0
de U.
(i) Montrer que () est une egalite.
(ii) En appliquant la formule de la valeur moyenne `a f et g en z
0
, montrer
que, pour r [0, R], on a
2|f(z
0
)| =

_
2
0
f
_
z
0
+re
i
_
d

=
_
2
0

f
_
z
0
+re
i
_

d.
En deduire en particulier que, si f(z
0
) = 0, alors f est identiquement nulle sur U.
(iii) On suppose `a present f(z
0
) ,= 0. En ecrivant

_
2
0
f
_
z
0
+re
i
_
d

= e
i
r
_
2
0
f
_
z
0
+re
i
_
d =
_
2
0
'e
_
e
i
r
f
_
z
0
+re
i
__
d
pour tout r [0, R] et pour une valeur convenable du nombre reel
r
, montrer que
lon peut choisir une determination de largument telle que lon ait arg f(z) =
r
pour z C(z
0
; r) et 0 r R. En appliquant alors le resultat etabli `a la
partie III(c) `a la fonction z F(z) := f(z
0
+ z)/f(z
0
), en deduire que f est
constante sur U, puis, par symetrie, quil en va de meme pour g.
(c) On suppose maintenant lexistence dune fonction h H(U) telle que
(z) = |h(z)| pour tout z U. En appliquant le resultat etabli `a la question (b)
aux fonctions f/h et g/h pour un sous-ouvert convenable V de U, montrer que f
et g sont proportionnelles.
Universite Henri PoincareNancy 1 samedi 28 mai 2005
Licence de Mathematiques 2004/2005 duree : 3h
Analyse complexe
Sujet dexamen
Aucun document nest autorise. Lusage dune calculatrice est interdit. Sauf mention
contraire, les notations sont celles du cours.
Les quatre parties sont independantes.
Il sera tenu le plus grand compte de la redaction et de la presentation. Seules les
explications claires et precises seront prises en compte `a la correction.
I. Question de cours.

Enoncer le theor`eme de Rouche.
Application. Calculer le nombre des racines du polyn ome P(z) := z
7
5z
5
+z
4
2
dans la couronne D(0; 1, 2).
II. Soient D le disque unite ouvert, D

:= D

(0; 1) le disque unite epointe et


f : D

C une fonction holomorphe injective.


(a) Montrer que 0 nest pas une singularite essentielle de f. On raisonnera par
labsurde en considerant lensemble f
_
D(0;
1
2
, 1)
_
f
_
D

(0;
1
2
)
_
et en appliquant le
theor`eme de CasoratiWeierstrass.
(b) On suppose `a present que 0 est un p ole dordre k 1 de f et lon ecrit
f(z) = g(z)/z
k
o` u g H(D) est telle que g(0) ,= 0.
(i) Montrer quil existe r > 0 tel que g ne sannule pas sur D
r
:= D(0; r).
(ii) En deduire quil existe une fonction h H(D
r
) telle que lon ait g(z) = h(z)
k
pour z D
r
.
(iii) On pose M
h
:= sup
|z|r/2
|h(z)|. Montrer que, pour w C, |w| > 2M
h
/r,
lequation h(z) = wz poss`ede exactement une racine dans D(0; r/2).
(iv) Soit w
0
:= 3M
h
/r. Pour j = 0, . . . , k1, on note z
j
la racine dans D(0; r/2)
de lequation h(z) = zw
0
e
2ij/k
. Montrer que z
j
est racine de lequation f(z) = w
k
0
.
(v) Montrer que lon a necessairement k = 1.
III. Soit f une fonction enti`ere. On pose f(z) = P(z) + iQ(z) (z C) avec
P(z) := 'e f(z), Q(z) := mf(z). On fait lhypoth`ese que lon a Q(z) 0 pour
tout z C.
(a) Montrer que lon peut denir une fonction g sur C par la formule
g(z) :=
f(z)
i +f(z)
(z C).
(b) Montrer que lon a |g(z)| 1 pour tout z C.
(c) Que peut-on en deduire pour f ?
IV. Soit a R. On se propose ici detablir la formule
I(a) :=
_

0
sin(2ax)
shx
dx =
1
2
th(a)
en integrant la fonction z f(z) := e
2iaz
/ shz sur le contour :=
1

8
o` u
lon a pose, pour R > > > 0,

1
:= [R, ],
2
:= {e
i
: 0 }

3
:= [, R],
4
:= [R, R+ 2i]

5
:= [R+ 2i, + 2i],
6
:= {2i + e
i
: 2}

7
:= [ + 2i, R+ 2i]
8
:= [R+ 2i, R].
102 Sujets dexamen
Figure. Le contour .
(a) Determiner les p oles de f sur C et calculer les residus correspondants.
(b) Calculer
_

f(z) dz pour R > > > 0.


(c) Calculer lim
R
_

4
f(z) dz et lim
R
_

8
f(z) dz.
(1)
(d) Montrer que lim
0
_

2
f(z) dz = i et lim
0
_

6
f(z) dz = ie
4a
.
(e) Pour R > > > 0, simplier lexpression
_

1
f(z) dz +
_

3
f(z) dz +
_

5
f(z) dz +
_

7
f(z) dz.
(f) Conclure.
1. On rappelle que | shz|
2
= (shx)
2
+ (siny)
2
pour z = x + iy, avec x, y R.
vendredi 1er juillet 2005
duree : 2h
Universite de Lorraine
Faculte des sciences et technologies
Licence de mathematiques 2004/2005
Analyse complexe
Sujet dexamen
Aucun document nest autorise. Lusage dune calculatrice est interdit.
Les cinq parties sont independantes. Les notations utilisees sont celles du cours.
Il sera tenu le plus grand compte de la redaction et de la presentation. Seules les
explications claires et precises seront prises en compte `a la correction.
I. Question de cours.

Enoncer le principe du prolongement analytique.
II. Determiner le rayon de convergence de la serie de Taylor `a lorigine de la fonction
z z/ sinz.
III. Montrer la convergence de lintegrale
I :=
_

0
sin(x)
x(1 x
2
)
dx
et calculer sa valeur en integrant une fonction meromorphe convenablement choisie
sur le bord oriente du domaine U(R, ) deni par les conditions suivantes
U(R, ) : mz > 0, < |z| < R, |z + 1| > , |z 1| > ,
avec 0 < < 1/4 et R > 2. On veriera que 3 < I < 4.
IV. Soit f H
_
C Z, D(0; 1)
_
. Montrer que f est constante.
V. Dans tout cet exercice, on designe par log la determination principale du
logarithme complexe.
(a) Montrer que la fonction
f(z) := log(1 +z +z
2
) + log(1 z) log(1 z
3
)
est bien denie sur le disque unite ouvert D := D(0; 1).
(b) Calculer f

(z) pour z D. En deduire la valeur de f(z) pour z D.


(c) Pour n N

, on pose a
n
:= 2 si n 0 (mod3), a
n
:= 1 si n 1 (mod3).
Montrer que, pour z D, on a
log(1 +z +z
2
) :=

n1
a
n
z
n
n

(d) On pose A
n
:=

1mn
a
m
(n 1). Montrer que 0 A
n
2 pour tout
entier n 1.
(e) Montrer que
ln3 =

n1
a
n
n

Universite Henri PoincareNancy 1 Vendredi 21 avril 2006
Licence de Mathematiques 2004/2005 Duree : 3h
Analyse complexe
Sujet dexamen partiel
Aucun document nest autorise. Lusage dune calculatrice est interdit. Sauf mention
contraire, les notations sont celles du cours.
Les cinq parties sont independantes hormis les questions I(b) et II(b)
Il sera tenu le plus grand compte de la redaction et de la presentation. Seules les
explications claires et precises seront prises en compte `a la correction.
I. Soit {c
n
}

n=0
la suite denie par c
0
= c
1
= 1 et c
n+2
= c
n
+ c
n+1
. On note le
rayon de convergence de la serie enti`ere

n0
c
n
z
n
et, pour |z| < , on designe par
F(z) la somme de la serie.
(a) Montrer que lon a 1 c
n
2
n
pour tout entier n 0. En deduire que
1
2
.
(b) Montrer que pour |z| < , la somme F(z) verie une equation simple issue
des relations entre les coecients. En deduire que F(z) est une fraction rationnelle
dont on precisera les p oles.
II. Soit Q C[X] un polyn ome `a coecients complexe, de degre n 1 et dont
les n racines,
1
, . . . ,
n
verient 0 < |
1
| < |
2
| < < |
n
|. Soit P C[X] un
polyn ome non nul. On pose f(z) := P(z)/Q(z).
(a) Montrer que f est bien denie sur un ouvert U contenant lorigine que lon
precisera.
(b)

Ecrire le developpement en elements simples de f sur U. Montrer que
f A(U).
(c) Soit
(1)

k=0
a
k
z
k
le developpement en serie enti`ere de f(z) au voisinage de lorigine. Deduire du
resultat obtenu en (b) une expression de a
k
en fonction de k. Montrer que le rayon
de convergence R de la serie (1) est egal `a |
1
|.
(d) Deduire du resultat obtenu en (b) que f est holomorphe sur le disque ouvert
D(0, |
1
|). Retrouver la valeur de R en appliquant un theor`eme general du cours
que lon citera precisement.
(e) Application. Determiner le rayon de convergence de la serie consideree dans
la partie I.
III. Soient U un domaine de C, f H(U), F un ferme de U. Montrer que si 'e f
atteint son maximum sur F en un point interieur de F, alors f est constante sur U.
On pourra introduire la fonction g := expf.
IV. (a) Montrer quil existe une fonction f H(C R

) telle que f(x) = x


x
pour
tout x R
+
.
(b) Montrer que U := C R

est symetrique par rapport `a la droite reelle. En


deduire que lon a necessairement f(z) = f(z) pour tout z U.
(c) Retrouver ce resultat par le calcul.
(suite au verso)
Sujets dexamen 105
V. On designe par log la determination principale du logarithme complexe.
(a) Donner le domaine de denition U de la fonction
f(z) := log(z +i) log(z i).
(b) Calculer les deux limites lim
x
f(x).
(c) Calculer f

(z) pour z U et en deduire la valeur de


lim
x
_
x
x
_
1
t +i

1
t i
_
dt.
(d) Retrouver le resultat precedent en introduisant la fonction t arctant.
Universite Henri PoincareNancy 1 Vendredi 2 juin 2006
Licence de Mathematiques 2004/2005 Duree : 3h
Analyse complexe
Sujet dexamen
Aucun document nest autorise. Lusage dune calculatrice est interdit. Sauf mention
contraire, les notations sont celles du cours.
Les trois parties sont independantes. Une attention particuli`ere sera portee `a la redaction
et `a la presentation. Seules les explications claires et precises seront prises en compte `a la
correction.
I. Question de cours.

Enoncer le principe des zeros isoles pour une fonction
analytique. On precisera bien les hypoth`eses. Peut-on en deduire que, si une fonction
f de H(D(0; 1)) sannule en 11/n pour tout entier n 1, alors f est identiquement
nulle ? On pourra considerer la fonction z sin{/(1 z)}. Commenter.
II. Soient R > 0 et f H
_
D(0; R)
_
. Pour 0 r < R, on pose
() M(r) := max
|z|=r
|f(z)|.
(a) Montrer que r M(r) est une fonction croissante (au sens large) de r [0, R[.
(b) Montrer que si f nest pas constante, alors r M(r) est strictement
croissante.
III. Soit n N

. On pose
F(z) :=
sin(z)
z
(1)
n
n!

1jn
(z j)

(a) Montrer que F est prolongeable en


une fonction enti`ere.
(b) Montrer que lon a F(k) =
_
n
k
_
pour
tout entier k 0.
(c) Montrer que F ne sannule pas sur
louvert U := {z C : 1 < 'e z < n+1}.
(d) Montrer que lon peut denir sur U
une determination holomorphe de
_
F(z),
que lon notera H(z).
(e) Montrer que F(x) est reel positif pour

1
2
x n +
1
2
. En deduire que H(x) est
reel pour ces memes valeurs de x. Par un
argument de continuite, montrer que lon
x
y


1
2
n+

1
2
i N
i N
O
R
"
1 n+1
U
peut choisir la determination H(z) de
_
F(z) de sorte quelle soit reelle positive
sur [
1
2
, n +
1
2
].
(f) On pose G(z) := H(z)/ sin(z) (z U). Pour N N

, on note R le rectangle
de sommets
1
2
iN, n +
1
2
iN, et le bord oriente de R, parcouru dans le sens
direct. Montrer que lon a
()
1
2i
_

G(z) dz =

0kn
(1)
k

_
n
k
_
.
(Suite au verso.)
Sujets dexamen 107
(g) Montrer que lon a | sinz|
2
= (sinx)
2
+ (shy)
2
pour tout nombre complexe
z = x +iy (x R, y R).
(h) On designe par I

N
et I
+
N
les contributions respectives des segments horizon-
taux
S

N
:= [
1
2
iN, n +
1
2
iN], S
+
N
:= [
1
2
+iN, n +
1
2
+iN],
`a lintegrale de (). Montrer que |z j| N pour 0 j n et z S

N
S
+
N
. En
deduire que I

N
et I
+
N
tendent vers 0 lorsque N .
(i) Montrer que |G(n z)| = |G(z)| pour tout z U.
(j) Montrer que, pour tout entier j 1, on a
j
j +
1
2

j
j + 1
.
En deduire que, pour z =
1
2
+iy, y R, on a

n!

1jn
(z j)


1jn
j
j +
1
2

n + 1

(k) On designe par J


N
et K
N
les contributions respectives des segments verticaux
[
1
2
iN,
1
2
+iN] et [n +
1
2
iN, n +
1
2
+iN] `a lintegrale de (). Montrer que
max{|J
N
|, |K
N
|}
_
N
N
|G(
1
2
+iy)| dy
A
(n + 1)
1/4
o` u A est une constante que lon precisera (on ne demande pas de valeur numerique).
(l) Montrer lexistence et determiner la valeur de
lim
n

0kn
(1)
k

_
n
k
_
.
Universite Henri PoincareNancy 1 Vendredi 30 juin 2006
Licence de Mathematiques 2004/2005 Duree : 3h
Analyse complexe
Sujet dexamen
Aucun document nest autorise. Lusage dune calculatrice est interdit. Sauf mention
contraire, les notations sont celles du cours.
Les trois parties sont independantes. Une attention particuli`ere sera portee `a la redaction
et `a la presentation. Seules les explications claires et precises seront prises en compte `a
la correction.
I. Question de cours.

Enoncer le lemme de Schwarz pour une fonction holomorphe
en precisant bien les cas degalite.
Soient D := D(0; 1) et f H
_
D, D
_
C
_
D
_
une fonction telle que f(0) = 0 et
|f(z)| = 1 pour |z| = 1. La fonction z f(z)/z est-elle necessairement constante ?
Expliquer. On pourra considerer le cas particulier f(z) := z
2
.
II. Soient D := D(0; 1) et h H
_
D, C
_
C
_
D
_
une fonction veriant |h(z)z| < 1
pour tout nombre complexe z tel que |z| = 1. Determiner le nombre de zero(s),
compte(s) avec multiplicite, de h(z) dans D.
III. Soit h une fonction holomorphe satisfaisant aux hypoth`eses de lexercice II.
(a) Montrer que h(D) D(0; 2).
(b) Montrer que |h

(
1
2
)| 8. On pourra introduire la fonction g : D(0;
1
2
) C
denie par g(w) := h(
1
2
+w) h(
1
2
) et montrer que g est `a valeurs dans D(0; 4).
IV. Le but de cet exercice est de calculer lintegrale
I :=
_
+
0
(lnt)
2
1 +t
2
dt
par une methode dintegration complexe. Dans toute la suite, on designe par log
la determination holomorphe du logarithme complexe sur C (iR

) denie par

1
2
< arg z <
3
2
.
(a) Montrer que la fonction f(z) :=
(log z)
2
1 +z
2
est meromorphe sur C (iR

).
(b) Determiner lensemble polaire de f
et calculer le ou les residus correspon-
dants.
(c) Soient r, R deux nombres reels tels
que 0 < r < 1 < R, U la demi-couronne
{z C : r < |z| < R, mz > 0} et
=
1

2

3

4
le bord oriente de U,
represente sur la gure ci-contre. Calculer
lintegrale
() J(r, R) :=
_

f(z) dz.
O
x
y
r R
!
1
!
2
!
3
!
4
U
(Voir suite au verso.)
Sujets dexamen 109
(d) Soit J
2
(R) la contribution `a lintegrale () du demi-cercle
2
de rayon R.

Etudier lim
R
J
2
(R).
(e) Soit J
4
(r) la contribution `a lintegrale () du demi-cercle
4
de rayon r.

Etudier lim
r0+
J
4
(r).
(f) On pose
J
13
(r, R) :=
_

1
f(z) dz +
_

3
f(z) dz.
Calculer la valeur de
lim
R+
r0+
'e J
13
(r, R)
en fonction de I. On rappelle que
_
+
0
dt/(1 +t
2
) =
1
2
.
(g) Determiner la valeur de I.
Universite Henri PoincareNancy 1 Jeudi 29 mars 2007
Licence de Mathematiques 2006/2007 Duree : 3h
Analyse complexe
Sujet dexamen partiel
Aucun document nest autorise. Lusage dune calculatrice est interdit. Sauf mention
contraire, les notations sont celles du cours.
Les trois exercices sont independants.
Il sera tenu le plus grand compte de la redaction et de la presentation. Seules les
explications claires et precises seront prises en compte `a la correction.
I.

Enoncer la formule de Cauchy pour un ouvert etoile. Montrer comment ce resultat
permet de calculer lintegrale
I :=
_
|z|=1
sinz
z
2
dz.
II. On designe par

la determination principale de la racine carree sur C R

.
(a) Determiner le domaine de denition U de la fonction f(z) :=

z
2
.
(b) Donner une expression explicite de f(z) pour tout z de U.
(c) Peut-on prolonger f par continuite sur un ouvert plus grand ?
III. Soient a, b deux nombres reels tels que a < b. On denit louvert
U := {z C : a < 'e z < b}.
Soit f H(U) C
_
U
_
une fonction bornee sur U. Pour tout reel x [a, b], on pose
M(x) := sup
yR
|f(x +iy)|.
Le but de ce probl`eme consiste `a etablir que, pour tout x [a, b], on a
(1) M(x)
ba
M(a)
bx
M(b)
xa
(a) On suppose dans cette question que M(a) 1 et M(b) 1. Soit > 0. On
denit sur U la fonction
f

(z) := f(z)e
z
2
.
(i) Montrer que f

H(U) C
_
U
_
.
(ii) Montrer que f

est bornee sur U et que lim


y
sup
axb
|f

(x +iy)| = 0.
(iii) On pose M

(x) := sup
yR
|f

(x + iy)|. En appliquant le principe du


maximum `a la fonction f

sur le rectangle U
T
:= U {z C : |mz| T} et en
faisant tendre T vers linni, montrer que, pour tout z U, on a
|f

(z)| max
_
M

(a), M

(b)
_
.
(iv) En deduire que, pour tout z U, on a |f(z)| 1.
(b) On abandonne ici lhypoth`ese max(M(a), M(b)) 1. Soient (a) > 0,
(b) > 0 tels que (a) M(a), (b) M(b). Soit g la fonction denie sur U
par
g(z) := (a)
(bz)/(ba)
(b)
(za)/(ba)
.
(i) Montrer que g est une fonction enti`ere sans zero et que 1/g est bornee
sur U. Calculer |g(a +iy)| et |g(b +iy)| pour y R.
(ii) Montrer la formule
M(x)
ba
(a)
bx
(b)
xa
(a x b)
en appliquant `a la fonction f/g le resultat etabli en (a).
(c)

Etablir la formule (1) dans le cas general.
Universite Henri PoincareNancy 1 Mardi 22 mai 2007
Licence de Mathematiques 2006/2007 Duree : 3h
Analyse complexe
Sujet dexamen
Aucun document nest autorise. Lusage dune calculatrice est interdit. Sauf mention
contraire, les notations sont celles du cours.
Les deux parties sont independantes.
Il sera tenu le plus grand compte de la redaction et de la presentation. Seules les
explications claires et precises seront prises en compte `a la correction.
I. Dans tout ce probl`eme, on denit implicitement, lorsque z C, les nombres reels
x et y par la formule z = x+iy. On designe par log la determination principale du
logarithme complexe sur C R

. Pour tout ]0,


1
4
[ on denit
V

:= {z C : /2 < x < 1 + /2, |z| > , |z 1| > }


U

:= V

{z C : 0 < x < 1, y > 0}.


On notera que U

.
(a) Montrer que, pour tout nombre complexe z, on a
sin(z) = sin(x) ch(y) +i cos(x) sh(y).
En deduire que sin(z) C R

pour tout z de V

.
(b) Montrer que, pour tout de ]0,
1
4
[, la fonction f(z) := log{sin(z)} est bien
denie et holomorphe sur V

.
(c) Soit > 0, T > 0. On pose
R
,T
:= U

{z C : y < T}
et lon note (, T) le bord de R
,T
, oriente
positivement. Calculer
_
(,T)
f(z) dz.
(d) Soient I
,T
:=
_
[i,iT]
f(z) dz,
J
,T
:=
_
[1+i,1+iT]
f(z) dz.
Calculer L
T
:= lim
0
{J
,T
I
,T
}.
x
y
U
!
! 1-!
R
!,T
V
!
(e) En approchant ch(T) et sh(T) par
1
2
e
T
, montrer que, lorsque T vers linni,
on a
f(x +iT) = T ln2 i(x
1
2
) +O
_
e
2T
_
uniformement pour 0 x 1. En deduire lexistence et la valeur de
lim
T
_
L
T

_
[iT,1+iT]
f(z) dz
_
.
(suite au verso.)
112 Sujets dexamen
(f) Soient C
0
() := {e
i
: 0 /2}, C
1
() := {1 + e
i
: /2 }. On
pose
M
j
() :=
_
C
j
()
f(z) dz (j {0, 1}).
Calculer lim
0
M
j
() pour j = 0 et j = 1.
(g) Donner la valeur de K :=
_
1
0
ln{sin(x)} dx.
II. Determiner si les assertions suivantes sont vraies ou fausses en fournissant
soit une demonstration compl`ete, soit une refutation compl`ete, appuyee sur un
raisonnement ou sur un contre-exemple.
(a) Tout ouvert convexe est simplement connexe.
(b) C

est un ouvert etoile.


(c) Soit D := D(0; 1). Si f H(D, D), alors on a |f(z)| |z| pour tout z de D.
(d) Il nexiste pas de determination du logarithme complexe telle que log i = i
17
3
.
(e) Le rayon de convergence de la serie de Taylor `a lorigine de la fonction
meromorphe f(z) := z
2
/{2(cos z)
2
cos z 1} est egal `a 2/3.
(f) Toute fonction enti`ere 1-periodique est constante.
(g) Toute fonction enti`ere 1-periodique et i-periodique est constante.
(h) Soit f H(C) telle que |f(z)| |f(0)| pour |z|
1
10
. Alors f est constante.
(i) Le polyn ome P(z) := z
5
+5z
3
+z 2 a toutes ses racines dans le disque unite.
(j) La fonction z exp
_
1/z
2
_
poss`ede un p ole dordre deux `a lorigine.
(k) Pour tout a > 0, on a
_
R
cos x
x
2
+a
2
dx =
e
a
a
.
Universite Henri PoincareNancy 1 Mardi 19 juin 2007
Licence de Mathematiques 2006/2007 Duree : 3h
Analyse complexe
Sujet dexamen
Aucun document nest autorise. Lusage dune calculatrice est interdit. Sauf mention
contraire, les notations sont celles du cours.
Les trois parties peuvent etre traitees independamment.
Il sera tenu le plus grand compte de la redaction et de la presentation. Seules les
explications claires et precises seront prises en compte `a la correction.
I. En integrant, pour R > 0, la fonction f(z) := (cos z)/ chz le long du bord du
rectangle de sommets R, R+i, determiner la valeur de lintegrale
I :=
_
R
f(x) dx.
II.

Enoncer le principe de symetrie de Schwarz.
III. Soient H := {z = x +iy C : y > 0} et U
+
:= H[0, i].
(a) Montrer que la fonction f(z) := i

z
2
1, o` u la racine carree est prise en
determination principale, est bien denie et holomorphe sur U
+
.
(b) Soit x R

. Calculer
lim
zx
zH
f(z)
et verier que cette limite est reelle. On pourra distinguer les cas x > 0 et x < 0.
(c) Soit U := C[i, i]. Montrer que f se prolonge en une fonction g H(U, C),
telle que g(z)
2
= z
2
+ 1 pour tout z U.
(d) Montrer g et g sont les seules fonctions holomorphes sur U ayant pour carre
la fonction z z
2
+ 1.
(e) La fonction g est-elle paire ? Est-elle impaire ?
(f) Soit V := C [1, 1]. Montrer que g(U) V . Montrer que, si w V , alors
les deux racines carrees de w
2
1 sont dans U. En deduire que g(U) = V .
(g) La fonction g est-elle injective ?
(h) Montrer que lexpression J(z) := g(ig(iz)) denit une fonction holomorphe
sur V . Calculer J(z)
2
. En deduire que, soit lon a J(z) = z pour tout z de V , soit
lon a J(z) = z pour tout z de V .
(i) Calculer J(2i). En deduire une expression de la fonction reciproque h de g en
termes de g.
Universite Henri PoincareNancy 1 Vendredi 26 mars 2010
Licence de Mathematiques 2009/2010 Duree : 2h
Analyse complexe (LCMA6.33)
Sujet dexamen
Aucun document nest autorise. Lusage dune calculatrice est interdit. Sauf mention
contraire, les notations sont celles du cours.
Les quatre parties sont independantes.
Il sera tenu le plus grand compte de la redaction et de la presentation. Seules les
explications claires et precises seront prises en compte `a la correction.
I.

Enoncer le principe des zeros isoles (lune ou lautre des formulations presentees
en cours est acceptee).
II. Soient U un domaine de C et f A(U). Pour n N, on pose
F
n
:= {z U : f
(n)
(z) = 0}.
(a) Est-il vrai que F
n
est ferme dans U pour tout entier n ?
(b) Montrer que, si F
n
poss`ede un interieur non vide pour au moins un entier n,
alors f est un polyn ome.
(c) On dit que z U est un point special de f si au moins un des coecients de la
serie de Taylor de f en z est nul. Exprimer lensemble G des points speciaux de f en
fonction des F
n
. Montrer que, si G contient un disque ouvert non vide, alors f est un
polyn ome. (On rappelle le principe de Baire, selon lequel, dans un espace metrique,
une reunion denombrable de fermes dinterieurs vides est egalement dinterieur
vide.)
III. Soient a, b C, a ,= b, et U := C [a, b].
(a) Montrer que la fonction
f(z) :=
1
(z a)(z b)
poss`ede une primitive sur U.
(b) En deduire que
_

f(z) dz = 0
pour tout lacet de U.
(c) Soit un lacet de U. Montrer que lapplication J : [0, 1] C denie par
J(s) := I(a+s(b a); ) (0 s 1) est continue. En deduire que I(a; ) = I(b; ).
(d) Retrouver le resultat etabli en (b) en appliquant la formule de Cauchy.
IV. Soient U un ouvert de C et f H(U).
(a) Deduire des inegalites de Cauchy que si D(a; R) U alors le rayon de
convergence de la serie de Taylor de f en a est au moins egal `a R.
(b) Application. Calculer le rayon de convergence de la serie de Taylor `a lorigine
de f(z) := z/ sinz.
(c) Meme question pour le rayon de convergence en z = 2 de la serie de Taylor
de la fonction f(z) = (sinz)
2
/{2(cos z)
2
cos z 1}.
Universite Henri PoincareNancy 1 Vendredi 11 juin 2010
Licence de Mathematiques 2009/2010 Duree : 2h
Analyse complexe (LCMA6.33)
Sujet dexamen
Aucun document nest autorise. Lusage dune calculatrice est interdit. Sauf mention
contraire, les notations sont celles du cours.
Les quatre parties peuvent etre traitees independamment.
Il sera tenu le plus grand compte de la redaction et de la presentation. Seules les
explications claires et precises seront prises en compte `a la correction.
I.

Enoncer le lemme de Schwarz en precisant bien les cas degalite.
II. (a) Montrer que
_
3n
n
_
=
1
2i
_
|z|=R
(1 +z)
3n
z
n+1
dz (n N, R > 0).
(b) Montrer que |(1 + z)
3
|
27
4
|z| pour |z| =
1
2
. En deduire une majoration
de
_
3n
n
_
(n 1) impliquant la convergence de la serie
S :=

n0
_
3n
n
_
1
8
n

(c) Soit P(z) := z


3
+ 3z
2
5z + 1. Montrer que
S =
4
i
_
|z|=1/2
dz
P(z)

(d) Montrer que P(1) = 0 et calculer la valeur de S.


III. Soient U un domaine de C et f H(U) une fonction non identiquement nulle.
(a) Dans cette question, on suppose quil existe a U tel que f

(a) = 0. On se
propose de montrer qualors f nest pas injective.
(i) Montrer que, dans un voisinage convenable de a, on peut ecrire
f(z) f(a) = (z a)
m
H(z)
o` u mest un nombre entier > 1 et H est une fonction holomorphe telle que H(a) ,= 0.
(ii) Montrer que, pour r > 0 assez petit, il existe dans D(a; r) une determination
holomorphe h(z) de H(z)
1/m
.
(iii) Montrer que, pour r > 0 assez petit et v C tel que |v| <
1
2
r|h(a)|,
lequation (z a)h(z) = v poss`ede une unique solution dans D(a; r).
(iv) Conclure.
(b) On suppose `a present que f est injective.
(i) Montrer que f est une bijection de U sur V := f(U) et que g :=f
1
C(V, U).
(ii) En deduire que g H(V ) et que, pour tout b = f(a) V , on a g

(b) =
1/f

(a). On pourra considerer, pour h 0, la quantite h = f(a +(h)) f(a), o` u


(h) := g(b +h) g(b) = g(b +h) a.
(Voir suite au verso.)
116 Sujets dexamen
IV.

Etant donne des ouverts U, V de C, on dit quune fonction holomorphe
f : U V est un isomorphisme si elle est bijective et si sa fonction reciproque est
holomorphe. On note Iso(U, V ) lensemble des isomorphismes de U sur V . Ainsi, il
decoule de la question III(b) quune condition necessaire et susante pour quune
fonction f de H(U) soit un isomorphisme de U sur V := f(U) est quelle soit
injective.
(1)
(a) Soient D := D(0; 1) et f Iso(D, D) telle que f(0) = 0. Montrer que
|f(z)| |z| pour tout z D et que, si g := f
1
, alors |g(z)| |z| pour tout
z de D. En deduire quil existe un nombre reel tel que f(z) = ze
i
(z D).
(b) Soit a D et
a
lapplication de H(D) denie par
a
(z) := (z a)/(1 az).
Montrer que
a
Iso(D,
a
(D)) et calculer
a
:=
1
a
.
(c) En utilisant lidentite |u + v|
2
= |u|
2
+ 2'e (uv) + |v|
2
(u, v C), montrer
que |z a|
2
|1 az|
2
= (1 |a|
2
)(|z|
2
1) pour tous a, z de C. En deduire que

a
(D) D, puis, en appliquant cette derni`ere identite `a a, que
a
(D) = D. .
(d) En considerant f
1
a
pour a D convenable, montrer que f Iso(D, D)
si, et seulement si, il existe a D et R tels que f(z) = e
i

a
(z) (z D).
1. On ne demande pas de demontrer cette cette assertion.
Universite Henri PoincareNancy 1 Vendredi 1er avril 2011
Licence de Mathematiques 2010/2011 Duree : 2h
Analyse complexe (LMI 6.33)
Sujet dexamen partiel
Aucun document nest autorise. Lusage dune calculatrice est interdit. Sauf mention
contraire, les notations sont celles du cours.
Les quatre parties sont independantes.
Il sera tenu le plus grand compte de la redaction et de la presentation. Seules les
explications claires et precises seront prises en compte `a la correction.
I. Calculer le rayon de convergence de la serie enti`ere

n1
_
1 +
(1)
n
n
_
n
2
z
n
.
II. (a)

Enoncer le theor`eme de lapplication ouverte.
(b) Application. Soient U un domaine de C, et f H(U), g H(U, C

). Montrer
que si f(z)g(z) est reel pour tout z de U, alors il existe une constante reelle c telle
que f = cg.
III. Soient a C

et r ]0, |a|[.
(a) Montrer que lintegrale
I(a) :=
_
2
0
ln|re
i
a| d
est bien denie.
(b) Montrer que lon peut denir une determination holomorphe de
g(z) := log(1 z/a)
sur un ouvert U, que lon precisera, contenant le disque D(0; r).
(c) Calculer I(a) en appliquant la formule de Cauchy `a g pour un point
convenable.
(d) Retrouver le resultat precedent en montrant que la fonction f denie par
f(z) := g(z)/z est holomorphe sur U.
IV. Soient U un domaine de C contenant lorigine et f H(U).
(a)

Enoncer le principe des zeros isoles.
(b) Montrer que, si f(1/n) = f(1/2n) pour tout entier n assez grand, alors f est
constante sur U.
(c) Soit g : [0, 1] [0,
1
2
] denie par g(x) := x/(1 + x). Calculer g
n
(x) =
g g(x) pour tout x [0, 1]. En deduire que, si f(z) = f
_
z/(1 + z)
_
pour
tout z de U alors f est constante sur U.
(d) Montrer que, si f(1/n) = 1/(n +1) = g(1/n) pour tout entier n assez grand,
alors 1 / U et f(z) = z/(z + 1) sur U.
(e) Est possible davoir f(1/n) = 1/2
n
pour tout entier n assez grand ?
Universite de Lorraine
Faculte des sciences et technologies
Licence 2010/2011
Analyse complexe (LMI 6.33)
Mercredi 8 juin 2011
Duree : 2h
Sujet dexamen
Aucun document nest autorise. Lusage dune calculatrice est interdit. Sauf mention
contraire, les notations sont celles du cours.
Les quatre parties sont independantes.
Il sera tenu le plus grand compte de la redaction et de la presentation. Seules les
explications claires et precises seront prises en compte `a la correction.
I.

Enoncer le theor`eme de Rouche.
Application. Soit C, || 4. Determiner le nombre de solutions de
lequation z log(2 + z) = shz dans le disque unite ouvert D(0; 1) lorsque log
designe la determination principale du logarithme complexe. On pourra utiliser
sans demonstration les inegalites
1
2
+ln3 < 3 et siny
4
5
y (0 y 1), et etablir
que | shz|
4
5
|z| lorsque z = x +iy, |y| 1.
II. Soient D := D(0; 1), U un domaine de C contenant D, et f H(U) une fonction
holomorphe telle que |f(z)| 1 lorsque |z| = 1. On suppose de plus quil existe un
nombre complexe z
0
D := D(0; 1) tel que |f(z
0
)| < 1.
(a) Montrer que 0 f(D). On pourra raisonner par labsurde et appliquer le
principe du maximum `a g := 1/f.
(b) Soit w D

(0; 1). En appliquant le theor`eme de Rouche aux fonctions f et


g : z w, montrer que w f(D).
(c)

Enoncer le theor`eme etabli dans cet exercice.
III. (a) Soit a > 0.

Etablir la convergence de lintegrale
I(a) :=
_
R
e
iax
(1 +x
2
)
2
dx.
(b) Calculer I(a).
IV. Soient D := D(0; 1) et f H(D). On suppose que f(0) = 0, f

(0) = 1, et que
M := sup
zD
|f(z)| < . Enn, on se donne b C f(D).
(a) Montrer quil existe h H(D) telle que h(0) = 1, h(z)
2
= 1f(z)/b (z D).
(b) On ecrit h(z) =

n0
a
n
z
n
o` u la serie converge dans D. Determiner a
0
et
a
1
.
(c) Montrer que |h(z)|
2
1+M/|b| pour tout z de D. En deduire, gr ace au calcul
de lintegrale
1
2
_
|z|=r
|h(z)|
2
dz (0 < r < 1),
que lon a |b| 1/(4M).
(d) En deduire que D(0; 1/(4M)) f(D).
Index
Abel, Niels Henrik, 7, 10, 11
axe, 2
Alembert, Jean Le Rond d, 29
analytique
fonction , 18
application ouverte, 28
Argand, Jean-Robert, 2
argument, 3, 14
Artin, Emil, 53
automorphisme holomorphe, 67
axe
imaginaire, 2
reel, 2
Beta (fonction ), 54
bi-holomorphe, 67
bornee
partie de C(U), 64
Cardan, Jer ome, 1
Casorati, Felice, 36
Cauchy, Augustin-Louis, 25
formule de , 26, 30
inegalites de , 28
theor`eme de , 26, 31
CauchyRiemann
conditions de , 6
chemin, 21
ferme, 21
concatenation, 21
conjugue, 2
convergence uniforme sur tout
compact, 45
cotangente (formule de la ), 47
couronne, 34
Descartes, Rene, 1
disque, 7
epointe, 34
domaine, 15
enti`ere
fonction , 28
epointe, 34
etoile, 24
Euler (formule d), 47
Euler, Leonhard, 1, 52
exponentielle, 12
formule
dEuler, 47
dEulerMaclaurin, 58
dinversion de Mellin, 60
de Cauchy, 26, 30
de duplication, 57
de Jensen, 88
de la cotangente, 47
de la valeur moyenne, 27
de Legendre, 57
de Stirling complexe, 58
de Stirling reelle, 56
de TaylorLagrange, 78
de Vi`ete, 85
des complements, 60
du produit de Weierstrass, 54
Fresnel, Augustin, 82, 93
Gauss, Carl Friedrich, 1, 2
Goldbach, Christian, 52
Goursat,

Edouard, 25
Gutzner, 28
Hadamard, Jacques Salomon, 9,
79
holomorphe
fonction , 5
indice, 23, 96
integrale curviligne, 22
integrales de Fresnel, 82, 93
isomorphisme holomorphe, 67
Jensen, Johan Ludwig, 88
Jordan, Camille, 42
lacet, 21
Lagrange, Joseph Louis, 40, 86
Laurent, Pierre Alphonse, 34
Legendre, Adrien-Marie, 57
lemme
des trois cercles, 79
lemme de
Jordan, 42
la partie reelle, 83
limite
inferieure, 8
superieure, 7
Liouville, Joseph, 29
longueur dun chemin, 22
120 Index
meromorphe
fonction , 36
Maclaurin, Colin, 58
MittagLeer, G osta, 48
module, 3
Moivre, Abraham de
formule, 4
Montel, Paul, 64
Morera, Giacinto, 29
ordre
dune fonction meromorphe,
37
partie polaire, 35
, 13
point
regulier, 35
singulier, 35
singulier isole, 35
points reguliers, 80
points singuliers, 80, 83
polaires
coordonnees, 3
p ole, 35
simple, 35
primitive, 24
principe
de largument, 39, 97
de symetrie de Schwarz, 29
des zeros isoles, 19
du maximum, 20, 27
du minimum, 20
produit inni, 48
absolument convergent, 49
prolongement analytique, 19
propriete de moyenne, 27
r`egle zf(z), 41
rayon de convergence, 7
representation conforme, 68
residu, 37
Riemann, Bernhard, 35, 68
Rouche, Eug`ene, 40, 87
serie de Laurent, 34
Schwarz, Hermann
lemme, 29
principe de symetrie, 29
segment, 21
semi-norme, 62
simplement connexe, 32
singularite
eliminable, 35
essentielle, 35
polaire, 35
Stirling, James, 56
suite exhaustive de compacts, 62
support dun chemin, 21
theor`eme de
Artin, 53
CasoratiWeierstrass, 36
Cauchy, 26, 31
dAlembertGauss, 29, 40
lapplication ouverte, 28
Lagrange, 40, 86
Liouville, 29, 31, 47
Mittag-Leer, 48
Montel, 64, 65, 69
Morera, 29, 45
Picard, 36
Riemann, 68
Rouche, 40, 87
Vitali, 66
Weierstrass, 45
theor`eme des residus, 38
transformation conforme, 67
Vi`ete, Fran cois, 85
Vitali, Giuseppe, 66
Wallis, John, 2
Weierstrass, Karl, 36
Wirtinger
derivees partielles de , 5
zero
isole, 19
multiple, 19
simple, 19