Vous êtes sur la page 1sur 88

Fascicule dexercices pour lUE MHT734 (Analyse

Complexe), Semestre dautomne, 2010-2011


1
Alain Yger
16 septembre 2011
1
Le cours est dispense par Philippe Charpentier. Les principales referen ces utilisees
pour preparer ce recueil dexercices de TD ont ete louvrage de Carlos Berenstein et Roger
Gay [Complex Variables, an introduction, GTM 125, Springer-Verlag 1991], celui dEric
Amar et Etienne Matheron [Analyse Complexe, Cassini, 2004], enn louvrage que jai
publie en 2001 [Analyse Complexe et Distributions, Mathematiques pour le second cycle,
Ellipses, 2001]. Les etoiles () asterisquant chaque exercice indiquent son niveau de di-
culte.
ii
Table des mati`eres
1 Formes dierentielles et champs de vecteurs 3
2 Integration des formes sur les chemins continus 11
3 Holomorphie et proprietes aerentes 17
4 Holomorphie et proprietes aerentes (2) 23
5 Harmonicite 29
6 Le theor`eme de Runge 35
7 Resolution du et produits innis 37
8 Applications conformes, sph`ere de Riemann 41
9 Autour des theor`emes de Picard 45
10 Texte et corrige du DM1 - 2009-2010 47
11 Texte et corrige du DM1 - 2010-2011 59
12 Texte et corrige du DM2 - 2010-2011 71
13 Texte et corrige du DM3 - 2010-2011 81
1
2 TABLE DES MATI
`
ERES
Chapitre 1
Formes dierentielles et champs
de vecteurs
Les exercices proposes dans ce chapitre illustrent la section 1 du chapitre I du
cours (Formes dierentielles, homotopie).
Exercice 1.1 (*) : la dualite champ de vecteurs/1-formes dierentielles et
les coordonnees (z, z) en place de (x, y).
a) Un champ de vecteurs complexe dans un ouvert U de R
2
sexprime sous la forme
u(x, y)

x
+ v(x, y)

y
,
o` u u et v sont deux fonctions de U dans C
1
. Verier quun tel champ sexprime aussi
sous la forme
a(z)

z
+ b(z)

z
,
o` u les operateurs /z et /z sont denis par

z
=
1
2
_

x


y
_

z
=
1
2
_

x
+

y
_
et z = x + iy. Calculer a et b en fonction de u et v.
b) Le crochet de dualite entre le champ de vecteurs u/x + v /y et la 1-forme
dierentielle Pdx + Qdy (P et Q etant des fonctions de U dans C) est deni ponc-
tuellement par
_
u

x
+ v

y
, Pdx + Qdy
_
(x,y)
= u(x, y)P(x, y) + v(x, y)Q(x, y).
Verier que lon a, pour tout (x, y) dans U,
_

x
, dx
_
(x,y)
=
_

y
, dy
_
(x,y)
= 1
_

z
, dz
_
z
=
_

z
, dz
_
z
= 1
1
Dans votre cours, vous considerez quun champ de vecteurs complexe sur un ouvert U de R
2
est une application de U dans C
2
, celle qui `a (x, y) associe (u(x, y), v(x, y)). Les deux points de vue
(celui ci et celui de votre cours) reviennent au meme en ce qui concerne la denition des champs
de vecteurs sur un ouvert de R
n
. Cela change par contre si lon se place sur une surface ; seul celui
presente ici garde un sens.
3
4 Formes dierentielles et champs de vecteurs
si dz : dx +idy et dz : dx idy, ainsi que
_

x
, dy
_
(x,y)
=
_

y
, dx
_
(x,y)
= 0
_

z
, dz
_
z
=
_

z
, dz
_
z
= 0.
Exercice 1.2 (*) : le yoga des calculs en les coordonnees z et z. Soient
U et V deux ouverts de C (les coordonnees y etant respectivement denotees z et
w), f une fonction dierentiable de U dans V , g une fonction dierentiable de V
dans C. Exprimer (g f)/z et (g f)/z en fonction de f, g, f/z, f/z,
g/w, g/w.
Indication : exprimer plutot laction de la dierentielle de g f sur
h = (h
1
, h
2
) h
1
+ ih
2
.
Exercice 1.3 (*) : le laplacien dans le plan; coordonnees cartesiennes et
polaires.
a) Verier que, pour toute fonction F de classe C
2
et `a valeurs complexes dans un
ouvert U de R
2
, on a
_

z


z
_
[F] =
_

z


z
_
[F] =
1
4
[F] ,
o` u
:=

2
x
2
+

2
y
2
designe loperateur de Laplace (ou laplacien) en dimension 2.
b) Soit U un ouvert de R
2
(0, 0) et son image reciproque par lapplication
(r, ) ]0, [R (r cos , r sin ) R
2
(0, 0).
Verier que si F est une fonction de classe C
2
dans U, `a valeurs dans C, on a, pour
(r, ) ,

(x,y)
[F](r cos , r sin ) =
_
1
r

r
_
r

r
_
+
1
r
2

2
_
[G](r, )
si G(r, ) := f(r cos , r sin ). Determiner toutes les fonctions F de classe C
2
dans
R
2
(0, 0), radiales (F(x, y) ne depend que de
_
x
2
+ y
2
), et solutions de [F] 0
dans R
2
(0, 0).
c) Soit U un ouvert de C

et f une fonction de classe C


2
de U dans C; on note
toujours cette fois limage reciproque de U par lapplication
(r, ) ]0, [R re
i
C

.
Verier que, si f est une fonction de classe C
2
dans U, `a valeurs dans C, on a, pour
tout (r, ) dans ,

z
[f](re
i
) =
1
2
_
e
i

r

i
r
e
i

_
[g](r, )

z
[f](re
i
) =
1
2
_
e
i

r
+
i
r
e
i

_
[g](r, ).
5
Verier que, si
0
R, la fonction
f

0
: z = (x +iy) log [z[ + i arg
]
0
,
0
+2[
(z)
est une fonction de classe C
2
dans U

0
:= Cte
i
0
; t 0, telle que (/z)[f

0
] 0
dans U

0
.
Exercice 1.4 (**) : fonctions positivement homog`enes. Une fonction f denie
sur R
n
0 et `a valeurs dans R est dite positivement homog`ene de degre r R si
et seulement si, pour tout x = (x
1
, ..., x
n
) R
n
0, pour tout t > 0, on a
f(tx) = t
r
f(x).
a) Montrer que si f est une application de classe C
1
de R
n
0 dans R, dire quelle
est positivement homog`ene de degre r R equivaut `a dire quelle satisfait lequation
dEuler :
df(x).x =
n

j=1
x
j
f
x
j
(x) = rf(x) , x R
n
0.
b) Si g est une application continue de R
n
dans R, positivement homog`ene de degre
r > 0 dans R
n
0, trouver toutes les fonctions f de classe C
1
de R
n
dans R telles
que
df(x).x =
n

j=1
x
j
f
x
j
(x) = g(x) , x R
n
.
Exercice 1.5 (*) : le pullback dune forme dierentielle. Soient U et V deux
ouverts de C et une application de classe C
1
de U dans V . Exprimer

[dz dz]
en termes de [/z[ et de [/z[.
Exercice 1.6 (*) : formes exactes, formes fermees. La 1-forme
= 2xzdx + 2yzdy (x
2
+ y
2
+ 1)dz
est-elle fermee dans R
3
? exacte ? Trouver explicitement un facteur integrant, cest-
`a-dire une fonction F : R
3
R, de classe C
1
, tel que F soit exacte dans R
3
.
Exercice 1.7 (*) : formes exactes, formes fermees (dans R
2
). Pour quelles
valeurs de > 0 la forme

:=
(x y)dx + (x +y)dy
[z[

, z = x + iy ,
est elle fermee dans R
2
(0, 0) ? exacte dans R
2
(0, 0) ?
Exercice 1.8 (*) : formes exactes, formes fermees (dans R
2
). Soit U un
ouvert de C et f une fonction de classe C
1
de U dans C; montrer que f(z) dz est
fermee si et seulement si f/z 0 et que f(z)dz est fermee si et seulement si
f/z 0.
Exercice 1.9 (**) : formes exactes, formes fermees (dans R
2
).
a) Soit p un entier relatif et
p
= z
p
dz, consideree comme une 1-forme de classe C

dans C

= C 0. Pour quelles valeurs de p cette forme est-elle fermee dans C

?
exacte dans C

? Pour les valeurs de p pour lesquelles elle est exacte, determiner


toutes les fonction F : C

C, de classe C
1
, telles que dF =
p
dans C

.
6 Formes dierentielles et champs de vecteurs
b) Soit
0
un nombre reel, U

0
louvert
U

0
= C te
i
0
; t 0
(le plan complexe fendu le long de la demi-droite issue de lorigine et dirigee par
e
i
0
) et, pour tout C, la 1-forme dierentielle dans U

0
denie par

(z) = [z[

e
iarg
]
0
,
0
+2[
(z)
dz.
Pourquoi cette forme est-elle exacte dans U

0
quelque soit la valeur de ? Verier
en utilisant le resultat etabli `a lexercice 3.c) que les fonctions F de classe C
1
dans
U

0
telles que dF =

sont de la forme
z U

0
F(z) = C +
[z[
+1
+ 1
exp
_
i( + 1)arg
]
0
,
0
+2[
(z)
_
si ,= 1 (C etant une constante arbitraire) et de la forme
z U

0
F(z) = C + log [z[ + i arg
]
0
,
0
+2[
(z)
si = 1 (C designant toujours une constante arbitraire).
Exercice 1.10 (**) : formes dierentielles et equations dierentielles. Soit
U un ouvert etoile de R
2
et Pdx + Qdy une 1-forme de classe C
1
fermee dans U.

Ecrire ce que cela signie sur P et Q. On designe par F une primitive de Pdx+Qdy
dans U, cest-`a-dire une fonction de classe C
2
dans U telle que dF = Pdx + Qdy.
Pourquoi existe-t-il bien une telle primitive ? Quelle est lequation cartesienne du
graphe de la solution maximale du probl`eme de Cauchy
dy
dx
=
P(x, y)
Q(x, y)
, y(x
0
) = y
0
lorsque (x
0
, y
0
) est un point de U o` u Q ne sannule pas ?
Exercice 1.11 (***) : la formule de Stokes dans R
2
pour un simplexe
tordu positivement oriente. Soit
0
le simplexe

0
:= (t, s) R
2
; t 0, s 0, t + s 1
et = (, ) une application de classe C
2
au voisinage de
0
, `a valeurs dans R
2
,
telle que d(t, s) soit inversible en tout point de
0
et de jacobien strictement positif
en tout point. On suppose aussi que realise une bijection entre
0
et (
0
). Si
= Pdx + Qdy est une 1-forme de classe C
1
au voisinage de (
0
), verier la
formule de Stokes (ou de Green-Riemann puisque lon est ici en dimension 2) :
_ _
(
0
)
d[Pdx + Qdy] =
_ _
(
0
)
d[Pdx + Qdy]
=
_ _
(
0
)
_
Q
x

P
y
_
dx dy
:=
_ _
(
0
)
_
Q
x

P
y
_
dxdy
=
_ _
(
0
)
_
Q
x

P
y
_
dxdy
=
_ _

[d] =
_

[] =
_
[(
0
)]
(Pdx + Qdy)
7
apr`es avoir justie le fait que la fronti`ere [(
0
)] de (
0
) est C
1
par morceaux
(les fronti`eres sont ici toutes orientees dans le sens trigonometrique).
Indication : on traitera dans un premier temps le cas o` u est lidentite de R
2
dans
lui-meme.
Peut-on saranchir de la condition de classe C
2
au voisinage de (
0
) et la
remplacer par la condition plus faible de classe C
1
au voisinage de (
0
) ?
Exercice 1.12 (*) : retour au lemme de Schwarz sur la symetrie des
derivees partielles. Dans lexercice precedent, le lemme de Schwarz (sur le fait
que lon puisse permuter laction de /x et /y pour une fonction deux fois
dierentiable en un point) a joue un role essentiel (meme sil est cache par la pro-
priete d d = 0) pour prouver
_ _
(
0
)
_
Q
x

P
y
_
dxdy =
_ _

0
_
A
s

B
t
_
dsdt
si Ads + Bdt :=

[Pdx + Qdy] comme consequence de la formule de changement


de variables dans lintegration relativement `a la mesure de Lebesgue. Dans cet exer-
cice, nous proposons de montrer pourquoi la formule de Green-Riemann pour les
rectangles sut `a impliquer le lemme de Schwarz.
a) Montrer que si G
1
et G
2
sont deux fonctions continues sur un ouvert U de R
2
, `a
valeurs dans C, telles que
_ _
R
G
1
(x, y) dxdy :=
_ _
R
G
2
(x, y) dxdy
pour tout rectangle ferme plein R inclus dans U, alors G
1
G
2
dans U.
b) Deduire de a) que si F est une fonction de classe C
2
dans U, `a valeurs complexes,
alors on a (
2
/xy)[F] (
2
/yx)[F] dans U.
Exercice 1.13 (*) : appliquer le lemme de Poincare pour les 1-formes (en
dimension n). Soit U un ouvert etoile de R
n
et F : R
n
C une fonction de classe
C
2
ne sannulant pas. Montrer que la 1-forme dF/F est exacte dans U.
Exercice 1.14 (*) : facteurs integrants locaux dans un ouvert de R
2
. Soit
une 1-forme de classe C
1
dans un ouvert de R
2
, telle que (z
0
) ,= 0 (ce qui signie
(P(x
0
, y
0
), Q(x
0
, y
0
)) ,= 0 si = P(x, y)dx+Q(x, y)dy). Montrer quil existe un voi-
sinage V
(x
0
,y
0
)
de (x
0
, y
0
) dans U, une fonction f
x
0
,y
0
de classe C
1
dans ce voisinage,
telle que la forme f
(x
0
,y
0
)
soit exacte dans V
(x
0
,y
0
)
.
Indication : on eectuera un changement de variable de mani`ere `a ce que (locale-
ment) = Pdx, puis on exploitera le lemme de Poincare dans un ouvert etoile.
Exercice 1.15 (***) : autour du lemme de Poincare dans R
n
. Soit p N

,
U un ouvert de R
n
, etoile par rapport `a lorigine, et
=

1i
1
<...<i
p
n

i
1
,...,i
p
dx
i
1
. . . dx
i
p
une p-forme de classe C
1
dans U. Montrer que lon denit une (p 1)-forme I[] de
classe C
2
sur U en posant
I[] =

1i
1
<...<i
p
n
_
p

k=1
(1)
k1
_
_
1
0
t
p1
(tx
1
, ..., tx
n
) dt
_
x
i
k
p

l=1
l=k
dx
i
l
_
.
8 Formes dierentielles et champs de vecteurs
Verier la formule I[d] + d[I[]] = et en deduire le lemme de Poincare.
Indication : expliquer dabord pourquoi il est possible de se ramener `a supposer la
forme du type = dx
1
. . . dx
p
.
Exercice 1.16 (*) : une application directe de Green-Riemann. Soit le
bord du carre [1, 1]
2
oriente dans le sens trigonometrique. Calculer
_

xdy ydx
x
2
+ y
2
.
Indication : remarquer que la 1-forme sous cette integrale curviligne est fermee
dans C

et que par consequent on peut remplacer [1, 1]


2
par le disque de centre 0
et de rayon , avec arbitraire ; on expliquera pourquoi.
Exercice 1.17 (**) : encore une application directe de Green-Riemann.
Calculer laire de la boucle du folium de Descartes dequation cartesienne
x
3
+ y
3
3axy = 0
(a designant un param`etre reel).
Indication : on param`etrera cette courbe en cherchant le point dintersection avec
la droite dequation y = tx, t designant le param`etre que lon utilisera ; la boucle
correspond, on le montrera, aux valeurs du param`etre entre 0 et +.
Exercice 1.18 (**) : de Green-Riemann `a Green-Ostrogradski. Soit U un
ouvert borne du plan dont la fronti`ere est consititue dun nombre ni de lacets
simples (courbes de Jordan)
1
, ...,
N
, de classe C
1
et reguliers (chaque lacet est
parametre par une fonction : t [0, 1] R
2
de classe C
1
sur [0, 1] et telle que d
ne sannule en aucun point de [0, 1]). Soit F = (P, Q) = P/x +Q/y un champ
de vecteurs de classe C
1
au voisinage de U. Verier la formule de Green-Ostrograski :
_ _
U
_
P
x
+
Q
y
_
dxdy =
N

j=1
_
1
0
n
ext
(
j
(t)), F(
j
(t))) [

j
(t)[ dt ,
o` u n
ext
(
j
(t)) designe le vecteur normal unitaire (pointant vers lexterieur de U) `a
larc geometrique parametre par
j
et ) designe le produit scalaire usuel dans R
2
.
Autrement dit, en langage de physicien, lintegrale (surfacique) de la divergence du
champ de vecteurs F est egal au ux sortant de ce champ au travers du bord.
Indication : on appliquera Green-Riemann avec la forme Pdy Qdx.
Exercice 1.19 (***) : une approche au theor`eme du point xe de L. Brou-
wer. Soit f = (P, Q) une application denie et de classe C
2
au voisinage du disque
unite ferme D(0, 1) du plan complexe, `a valeurs dans R
2
, et telle que
f(D(0, 1)) (x, y) ; x
2
+ y
2
= 1 = D
(f realise une retraction du disque ferme sur son bord).
a) Si lon suppose en plus des hypoth`eses ci-dessus que la restriction de f `a D(0, 1)
est lidentite, deduire de la formule de Green-Riemann que, si designe le lacet
[0, 2] e
i
,
_

PdQ = 0.
9
Indication : on montrera que la forme Pdx +Qdy est fermee dans le disque unite
ouvert D(0, 1).
Montrer que lhypoth`ese additionnelle implique

[PdQ] =

[xdy] et en deduire
_

PdQ = .
Que peut-on en conclure ?
b) Soit F une application denie et de classe C
2
au voisinage de D(0, 1), `a valeurs
dans R
2
, telle que F(D(0, 1)) D(0, 1) et que F(x, y) ,= (x, y) pour tout (x, y)
dans D(0, 1). Pour tout (x, y) dans D(0, 1),on note G(x, y) le point dintersection
du cercle unite D(0, 1) avec la demi-droite issue de F(x, y) et dirigee par le vecteur
(non nul par hypoth`eses) (x, y) F(x, y). Verier que (x, y) G(x, y) se prolonge
en une fonction (P, Q) de classe C
1
au voisinage de D(0, 1) qui verie les hypoth`eses
de len-tete de lexercice et du (a). En deduire que F admet necesssairement un
point xe dans D(0, 1) (i.e. un point (x
0
, y
0
) tel que F(x
0
, y
0
) = (x
0
, y
0
)).
Exercice 1.20 (**) : primitives de formes et connexite. Soient U
1
, ..., U
N
des
ouverts de C tels que, pour chaque k = 1, ..., N 1, lintersection de U
1
. . . U
k
avec U
k+1
soit connexe. Soit une 1-forme continue sur lunion des U
k
. Montrer
quil est equivalent de dire que est exacte et de dire que, pour chaque k = 1, ..., N,
la restriction de `a U
k
est exacte.
Exercice 1.21 (**) : la division des formes.
a) Soit U un ouvert de R
n
(n 2), f une fonction de classe C
1
dans U telle que
df(x) ,= 0 pour tout x U. Soit p 2 et une p-forme continue sur U. Montrer
quil existe une (p 1)-forme continue sur U telle que = df . Trouver toutes
les p 1-formes continues solutions de lequation df = 0.
b)
`
A quelle condition une 2-forme continue = Fdx dy dans un ouvert U de
C secrit-elle sous la forme = d[z[
2
, o` u est une 1-forme continue sur U (on
distinguera les cas o` u 0 U et 0 / U) ?
10 Formes dierentielles et champs de vecteurs
Chapitre 2
Integration des formes sur les
chemins continus
Cette seconde serie dexercices correspond essentiellement au contenu des sec-
tions 2,3,4 du chapitre I (Formes dierentielles, Homotopie) du cours. Elle illustre
lintegration des formes localement exactes sur les chemins continus, la notion din-
dice, le theor`eme de Rouche, les concepts de simple connexite et de logarithme dans
le champ complexe, enn la formule de Cauchy Pompeu et ses consequences. Les
exercices 2.21 `a 2.23 constituent un preambule `a la formule de Cauchy introduite
au chapitre II du cours (Fonctions holomorphes).
Exercice 2.1 (*) : homotopie `a point de base marque et groupes
1
(U, a).
Soit U un ouvert connexe non vide et, pour a U,
1
(U, a) le groupe dhomotopie
`a point de base a, cest-`a-dire lensemble des classes dequivalence des lacets conti-
nus de support dans U, dorigine et dextremite marquees a pour la relation
dequivalence suivante :
0
est homotope `a
1
si et seulement si il existe une fonction
F continue F : [0, 1] [0, 1] U telle que
F(0, s) = F(1, s) = a s [0, 1]
F(t, 0) =
0
(t) , F(t, 1) =
1
(t) t [0, 1].
Montrer que, si a et b sont deux points distincts de U,
1
(U, a) et
1
(U, b) sont
isomorphes.
Exercice 2.2 (*) : C et C

peuvent-ils etre homeomorphes ?


Indication : on calculera pour ces deux ouverts le groupe dhomotopie
1
(U, a)
pour un point arbitraire a dans U (ces deux ouverts etant connexes, on sait dapr`es
lexercice 2.1 que ce groupe dhomotopie ne depend pas du choix du point a dans
louvert).
Exercice 2.3 (**) : la notion dindice : le calcul visuel.
On consid`ere les lacets representes sur les gures ci-dessous ; calculer, dans chaque
composante connexe du complementaire du support de chacun de ces lacets, la valeur
de la fonction
z Ind(, z).
Tenter denoncer `a partir de ces trois exemples une r`egle generale pour calculer
I(, z) (z C supp()) en examinant comment une demi-droite arbitraire issue de
z (demi-droite quil est judicieux de choisir intelligemment de mani`ere `a ce quelle
ne rencontre le support de quen des points non multiples, de mani`ere transverse,
11
12 Integration des formes sur les chemins continus
et que ce nombre de points dintersection soit le plus petit possible) intersecte le
support du lacet oriente .
Exercice 2.4 (*) : des calculs dindice pas si surprenants que cela. On
rappelle quil existe une application continue surjective de [0, 1] dans [1, 1]
2
telle
que (0) = (1, 1) et (1) = (1, 1) ; cest la courbe introduite par G. Peano. Soit
C la couronne fermee du plan complexe C := z C; 1 [z[ 2 et C

et C
+
les deux demi-couronnes fermees denies par C

:= C z ; Im(z) 0 et C
+
:=
C z ; Im(z) 0. En utilisant la courbe de Peano, construire un chemin continu

+
: [0, 1] C

dont le support est exactement C


+
, tel que
+
(0) = 2,
+
(1) = 1,
puis un chemin continu

: [0, 1] C

dont le support est exactement C

tel que

(0) = 1,

(1) = 2. On note le lacet de C

obtenu en concatenant (dans cet


ordre)
+
, puis

. Que vaut lindice Ind(, 0) ? Meme question en demandant `a 1


(et non plus 1) detre lextremite du lacet
+
et en meme temps lorigine de

.
Exercice 2.5 (*) : variation de largument. Soient a
1
, ..., a
N
N points du disque
unite ouvert. Quel est le bilan global de la variation de largument le long du lacet
t [0, 1]
N

j=1
e
2it
a
j
1 a
j
e
2it
?
Meme questions si les a
j
sont tous de module strictement superieur `a 1.
Exercice 2.6 (*) : variation de largument. Construire une determination conti-
nue de largument dans C prive de lunion de [0, 1] et du support du chemin pa-
rametre : t [0, [ f(t)e
it
, o` u f est un homeomorphisme croissant entre
[0, +[ et [1, +[.
Indication : on pourra faire un dessin (on retire `a C une courbe se deroulant en
spirale), par exemple en prenant f(t) = t + 1.
Meme question, mais cette fois dans C prive de ladherence de lensemble f(t)e
it
; t
R, o` u f est un homeomorphisme entre R et ]0, [ (par exemple f(t) = exp t).
Exercice 2.7 (**) : indice et homotopie entre lacets dans C

(`a point de
base marque ou libre).
a) Soient
0
et
1
deux lacets continus de C

, tels que
0
(0) =
0
(1) =
1
(0) =

1
(1) = a C

, ayant meme degre, cest-`a-dire tels que Ind(


0
, 0) = Ind(
1
, 0).
Montrer que
0
et
1
sont des representants du meme element du groupe dhomotopie

1
(C

, a).
b) Soient
0
et
1
deux lacets continus de C

ayant meme degre. Montrer que


0
et
1
sont homotopes dans C

pour lhomotopie entre lacets libres, cest-`a-dire quil


13
existe une fonction continue F : [0, 1]
2
C

telle que
F(t, 0) =
0
(t) , F(t, 1) =
1
(t) t [0, 1]
F(0, s) = F(1, s) s [0, 1].
Exercice 2.8 (*) : lacets de C

et lacets traces sur le cercle unite.


a) Montrer que tout lacet continu de C

est homotope dans lhomotopie entre lacets


libres (dans C

) `a un lacet de support inclus dans le cercle unite.


b) Montrer que tout lacet continu de C

est homotope au lacet


t [0, 1] e
2iInd(,0)t
.
Exercice 2.9 (*) : theor`eme de Rouche (illustre par G. Polya). Un passant
tenant son chien en laisse se deplace autour dun rond-point de rayon R (il nest pas
autorise `a pietiner le disque central gazonne de rayon R de ce rond-point. La
longueur de la laisse est l < R. Le chien peut, lui, marcher partout (sur le gazon
comme sur la chaussee). Au terme dun parcours indeni, mais continu, le matre et
son chien sont exactement revenus `a leurs positions initiales. Si le matre a fait N
tours autour du rond-point, combien le chien a-t-il fait de tours autour du centre 0
de ce meme rond point ?
Exercice 2.10 (*) : calcul mathematique de lindice ; theor`eme de Rouche.
Soit larc parametre
: t [0, 1] (1 + t(1 t))e
4it
.
Verier quil sagit dun lacet de C

et calculer I(, 0) dans un premier temps par


le calcul dune integrale curviligne. Dessiner ensuite et retrouver ce resultat.
Exercice 2.11(*) : theor`eme fondamental de lalg`ebre, preuve geometrique.
Soit P un polynome de degre d > 0. Montrer que, si R est assez grand, le lacet

R
: t [0, 1] P(Re
2it
)
est de support inclus dans C

et que le degre de ce lacet, cest-`a-dire lindice I(


R
, 0),
vaut exactement d. Verier que, si P ne sannulait pas dans C, le lacet
R
serait
homotope dans C

(dans lhomotopie entre lacets libres denie `a lexercice 7) au


lacet constant t [0, 1] P(0). En deduire une demonstration geometrique du
theor`eme de dAlembert (tout polynome de degre strictement positif `a coecients
complexes admet au moins une racine complexe).
Exercice 2.12 (**) : variation de largument, comptage de zeros.
Soit 0 a
0
< a
1
< ... < a
n
une suite strictement croissante de nombres reels positifs
et P(X) := a
0
+a
1
X +. . . +a
n
X
n
. En considerant, si P(z) = 0, la ligne polygonale
fermee de sommets 0, a
0
, a
0
+a
1
z, a
0
+a
1
z +. . . +a
n1
z
n1
, 0, montrer que les zeros
de P sont tous dans le disque unite ouvert D(0, 1). Calculer la variation totale de
largument le long du lacet : [0, 2] P(e
i
). En deduire que lequation
a
0
+a
1
cos +a
2
cos(2) +. . . + cos(n) = 0
a exactement 2n solutions distinctes dans ]0, 2[ (pensez visuellement en vous
aidant dun dessin et comptez le nombre de fois au moins o` u le support de doit
couper laxe des ordonnees).
14 Integration des formes sur les chemins continus
Exercice 2.13 (**) : notion de simple connexite. Rappeler ce que signie le fait
quun ouvert de C soit simplement connexe. Montrer que lunion de deux ouverts
simplement connexes dintersection connexe non vide est simplement connexe. Si
lintersection nest pas connexe ?
Exercice 2.14 (***) : le logarithme dune fonction continue ne sannu-
lant pas dans un ouvert simplement connexe. Soit U un ouvert simplement
connexe de C et f une fonction continue de U dans C

. Montrer quil existe une


fonction g continue sur U telle que f = exp(g). Montrer de la meme mani`ere que
toute fonction continue de U dans C

secrit dans U comme lexponentielle dune


fonction continue.
Indication : on montrera dabord que si a et z sont deux points de U, c un nombre
complexe tel que f(a) = e
c
, et
a,z
: t [0, 1]
a,z
(t) un chemin continu ar-
bitraire de U tel que
a,z
(0) = a et
a,z
(1) = z, il existe une fonction c

a,z
(t) telle
que c

a,z
(0) = c et f(
a,z
(t)) = exp(c

a,z
(t)) pour tout t [0, 1] (on dit aussi un
rel`evement de
a,z
). On remarquera ensuite que c

a,z
(1) ne depend que de a, c, z,
mais pas du choix de
a,z
, avant de proposer un candidat pour g(z).
Exercice 2.15 (**) : indice et logarithme. Soit U un ouvert de C, f une ap-
plication continue de U dans C

. On suppose que pour tout lacet continu de U,


lindice Ind(f , 0) (on dit encore le degre de f comme lacet de C

) est nul.
Montrer quil existe une fonction g continue de U dans C telle que f = exp g.
Exercice 2.16 (*) : indice, logarithme, racines n-i`emes. Soit U un ouvert de
C et f une fonction continue de U dans C

.
a) Montrer que si f admet un logarithme continu dans U, elle admet aussi, pour
tout entier strictement positif n, une racine n-i`eme continue dans U.
b) Soit n N

et un lacet continu de U. Montrer que si f admet une racine


n-i`eme continue dans U, lindice Ind(f , 0) de f par rapport `a lorigine est un
multiple de n.
c) Montrer que si f est une fonction continue de U dans C

admettant pour tout


n N

une racine n-i`eme continue, alors f admet aussi un logarithme continu dans
U.
Exercice 2.17 (***) : indice et logarithme (suite).
a) Soit U un ouvert homeomorphe `a C, p un point de U, f une fonction continue
dans U p, `a valeurs dans C

. Montrer quil existe un entier k Z et une fonction


g continue dans U p telles que f(z) = (z p)
k
exp((z)) pour tout z U p.
Indication : on notera le lacet t [0, 1] p + e
2it
avec susamment petit
et on montrera que k = Ind(f , 0) convient.
b) Soit U un ouvert homeomorphe `a C, p
1
et p
2
deux points distincts de U, f
une fonction continue dans U p
1
, p
2
, `a valeurs dans C

. Montrer quil existe


deux entiers k
1
et k
2
dans Z (que lon denira comme des indices de lacets de C

par
rapport `a lorigine) et une fonction g continue dans U p
1
, p
2
, `a valeurs complexes,
tels que f(z) = (z p
1
)
k
1
(z p
2
)
k
2
exp(g(z)) pour tout z U p
1
, p
2
.
c) Soit U un ouvert homeomorphe `a C, p
1
, ..., p
N
N points distincts de U, f une
fonction continue dans U p
1
, ..., p
N
, `a valeurs dans C

. Montrer quil existe N


entiers k
1
, ..., k
N
dans Z (que lon denira comme des indices de lacets de C

par
rapport `a lorigine) et une fonction g continue dans U p
1
, p
2
, ..., p
n
, `a valeurs
complexes, tels que f(z) = (z p
1
)
k
1
(z p
N
)
k
N
exp(g(z)) pour tout z dans
15
louvert U p
1
, ..., p
N
.
Exercice 2.18 (***) : indice et homotopie.
a) Soit f une application continue injective de D(0, 1) dans C. Pour tout s [0, 1],
on consid`ere le lacet
t [0, 1] f
_
e
2it
1 + s
_
f
_
s
e
2it
1 + s
_
.
Montrer que tous les
s
, s [0, 1], sont des lacets continus de support dans C

et que

0
et
1
sont homotopes dans lhomotopie entre lacets libres dans C

(voir lexercice
2.7). Montrer que Ind(
0
, 0) = Ind(
1
, 0).
b) Pourquoi existe-t-il une fonction continue c
1
: [0, 1] C telle que
1
(t) =
exp(c
1
(t)) pour tout t [0, 1] ? Verier quil existe deux entiers k
1
et l
1
tels que
t [0, 1/2] , c
1
(t + 1/2) c
1
(t) = (2k
1
+ 1)i
t [1/2, 1] , c
1
(t 1/2) c
1
(t) = (2l
1
+ 1)i.
Indication : on utilisera le fait que
1
(t + 1/2) =
1
(t) pour tout t [0, 1/2] et
que
1
(t 1/2) =
1
(t) pour tout t [1/2, 1].
c) En veriant, pour tout t [0, 1/2], que
c
1
(t + 1/2) = c
1
(t + 1/2) + 2(k
1
+ l
1
+ 1)i ,
montrer que k
1
,= l
1
, puis que Ind(
1
, 0) = k
1
l
1
,= 0. Deduire du a) que lon a
necessairement Ind(
0
, 0) ,= 0.
d) On suppose que f(0) est un point fronti`ere de f(D(0, 1). Montrer quil existe
une suite (w
n
)
n
de nombres complexes tendant vers f(0) et tels que le lacet
n
:
t [0, 1] f(e
it
) w
n
ait son support dans C

et soit dindice nul par rapport `a


lorigine.
Indication : on utilisera le fait quune fonction continue ne sannulant pas dans
D(0, 1) secrit comme lexponentielle dune fonction continue dans D(0, 1), voir
lexercice 2.14.
e) Montrer (en utilisant le theor`eme de Rouche) que Ind(
n
, 0) = deg
0
pour n
assez grand et conclure `a une contradiction.
f) Montrer que si U est un ouvert de C et si f est une application injective continue
de U dans C, f(U) est un ouvert.
Exercice 2.19 (*) : integration des formes localement exactes sur un che-
min continu. Soit U un ouvert de C, : [0, 1] U un chemin continu de U et
une 1-forme continue localement exacte au voisinage de U. Existe-t-il toujours un
voisinage V du support de dans lequel soit exacte ? Sinon, donner un contre-
exemple.
Exercice 2.20 (**) : integration sur un lacet des formes localement exactes
et exactes. Soit R = P/Q une fraction rationnelle dans Q(X) et un lacet continu
de C dont le support evite tous les poles de R dans C. Montrer que lintegrale
1
2i
_

R(z) dz
est un nombre complexe algebrique (les nombres algebriques forment un sous-corps
de C).
16 Integration des formes sur les chemins continus
Indication : on pensera `a utiliser la decomposition en elements simples de R dans
C(X).
Exercice 2.21 (*) : formule de Cauchy. Calculer les integrales curvilignes
_

e
z
e
z
z
4
dz
_

e
z
e
z
z
4
dz , : t [0, 1] e
2it
.
Exercice 2.22 (**) : la formule de Cauchy-Pompeu. Soit une fonction de
classe C
1
dans C, nulle hors du disque D(0, R
0
) pour un certain R
0
> 0.
a) Montrer que, pour tout z C,
(z) =
1

_ _
R
2

()
dd
z
=
1

_ _
R
2

(z +)
dd

.
o` u lon a note sous lintegrale = + i.
Indication : on appliquera la formule de Cauchy-Pompeu (que lon rappellera) et
lon se souviendra que (, ) 1/( +i) = 1/ est localement integrable dans R
2
.
b) Deduire de a) quil existe une fonction de classe C
1
dans R
2
(que lon explici-
tera) telle que

z
(z) = (z) , z C.
Exercice 2.23 (***) : de la formule de Cauchy Pompeu `a lidentite de
Bezout. Soient p
1
, ..., p
m
m polynomes de n variables sans zeros communs dans C,
avec d = max(deg p
j
) > 0.
a) Montrer que pour tout z C, la fonction
C z
m

j=1
_
p
j
()

m
j=1
[p
j
()[
2
_
p
j
() p
j
(z)
z
se prolonge en une fonction Q
z
de classe C
1
dans C. Calculer Q
z
()(z ) + 1.
b) Soit R > 0 et z un point du disque ouvert D(0, R). Representer au point z avec
la formule de Cauchy-Pompeu (que lon rappellera) la fonction
D(0, R) (Q
z
()(z ) + 1)
2
.
c) En xant z et en faisant tendre R vers linni dans la formule etablie au b),
construire m polynomes q
1
, ..., q
m
`a coecients complexes tels que
1 =
m

j=1
p
j
(z)q
j
(z) , z C.
Quelle autre methode (algebrique cette fois) permet aussi de calculer de tels po-
lynomes q
j
?
Chapitre 3
Holomorphie et proprietes
aerentes
Ce chapitre est en correspondance avec la premi`ere partie du chapitre II (Fonc-
tions holomorphes) du cours (jusqu`a lenonce du theor`eme de Montel inclus). Les
exercices proposes illustrent en particulier la notion dholomorphie, la formule de
Cauchy, le theor`eme de Morera, ainsi que le developpement en serie enti`ere, le
principe des zeros isoles, la meromorphie en un point, le theor`eme de Casaroti-
Weierstrass, les principes du maximum (local et global), et enn le theor`eme de
Montel (deduit du theor`eme dAscoli).
Exercice 3.1 (*) : formule de Cauchy. Calculer les integrales curvilignes
_
|+i|=3
sin
d
+ i
,
_
||=4
cos

2
,
_
||=2
d
( 1)
n
( 3)
,
les chemins dintegration mentionnes etant parcourus une seule fois dans le sens
trigonometrique.
Exercice 3.2 (*) : holomorphie et formule de Cauchy. Soit f une fonction `a
valeurs complexes denie et continue dans la couronne fermee C
r,R
:= r [z[ R
du plan complexe (o` u r < R sont deux nombres strictement positifs), holomorphe
dans la couronne ouverte C
r,R
:= r < [z[ < R. On note respectivement
r
et
R
les lacets t [0, 1] re
2it
et t [0, 1] Re
2it
. Montrer que, pour tout entier
n Z,
f(z) =
1
2i
_
_

n
f()
z
n
( z)
d
_

n
f()
z
n
( z)
d
_
z C
r,R
.
En deduire, pour tout z C
r,R
, les formules de representation approchees :
f(z) =
1
2i
lim
n+
_
_

n
f()
z
n
( z)
d
_
=
1
2i
lim
n+
_
_

r
z
n
f()

n
( z)
d
_
.

Exercice 3.3 (*) : holomorphie et formule de Cauchy. Soit f une fonction


holomorphe dans C

. Montrer quil existe une unique fonction F holomorphe dans


C telle que
r > 0 , F(z) =
1
2i
_

r
f()
z
d z D(0, r) ,
17
18 Holomorphie et proprietes aerentes
o` u
r
: t [0, 1] re
2it
. Quelle est la fonction F lorsque f(z) = z
n
, n Z?
Exercice 3.4 (**) : holomorphie et formule de Cauchy. Soit I = [ia, ib] un
intervalle ferme de laxe imaginaire du plan complexe (avec a < b) et f une fonction
holomorphe dans un voisinage ouvert de I. Pour tout z C I, on pose
(z) :=
1
2i
_
I
f()
z
d .
Montrer que la fonction est holomorphe dans C I et que, pour tout z dans I, on
a
f(z) = lim
z
Re <0
() = lim
z
Re >0
().
Exercice 3.5 (**) : developpement en serie enti`ere dune fonction ho-
lomorphe et formules de Cauchy pour les coecients de Taylor. Soit f
une fonction holomorphe dans un voisinage du disque ferme D(0, 1), injective sur
ce disque ferme. Montrer que f : t [0, 1] f(e
2it
) est un lacet continu
simple et appliquer la formule de Green-Riemann pour montrer que la surface A
f
du domaine enserre par le support de ce lacet vaut
A
f
=
1
2i
_
f
zdz =
1
2i
_

f() f

() d avec : t [0, 1] e
2it
.
Si f(z) =

n=0
a
n
z
n
est le developpement de f au voisinage de 0, verier la relation

n=1
n[a
n
[
2
=
A
f

(sup
|z|=1
[f(z)[)
2
.
Exercice 3.6 (*) : nombres de Bernoulli. En faisant la division suivant les
puissances croissantes de X par

k1
X
k
/k!, on obtient

k=0
B
k
k!
X
k
,
o` u les B
k
sont les nombres de Bernouilli. Quel est le rayon de convergence de la serie
enti`ere [(B
k
/k!)z
k
]
k0
?
Exercice 3.7 (**) : fonctions de Bessel. Soit z C. Montrer quil existe une
collection de nombres complexes (J
n
(z))
nZ
tels que
C

, exp
_
z
2
_

1

__
=

nZ
J
n
(z)
n
.
Verier que pour tout entier n Z et pour tout z C,
J
n
(z) =
_
z
2
_
n
k=max(0,n)
(1)
k
k!(n + k)!
_
z
2
_
2k
.
Montrer enn que J
n
est une fonction holomorphe dans C, solution de lequation
dierentielle de Bessel
z
2
J

n
(z) + zJ

n
(z) + (z
2
n
2
)J
n
(z) = 0.
19
Exprimer en fonction de J
1
la transformee de Fourier de la fonction caracteristique
du disque unite.
Exercice 3.8 (*) : holomorphie et developpement en serie. Existe-t-il une
fonction f holomorphe au voisinage de lorigine dans C et telle que
f(1/n) = f(1/n) = 1/(2n + 1)
pour tout n N? Meme question avec cette fois les contraintes
[f(1/n)[ 2
n
n N.
Exercice 3.9 (*) : holomorphie et developpement en serie. Soit f une fonction
holomorphe dans D(0, 1) et telle que f

(1/n) = f(1/n) pour tout n N

. Montrer
que la fonction f se prolonge en une fonction holomorphe dans C tout entier.
Exercice 3.10 (*) : derivee dune fonction holomorphe. Soient f
1
, ..., f
m
m
fonctions holomorphes dans un ouvert connexe U de C, telles que

n
j=1
[f
j
[
2
soit une
fonction constante dans U. Montrer qualors toutes les fonctions f
j
, j = 1, ..., m, le
sont aussi.
Exercice 3.11 (**) : serie de Fourier dune fonction holomorphe periodique.
Soit f une fonction holomorphe sur C telle que f(z + 1) = f(z) pour tout z C.
Montrer quil existe une fonction g holomorphe dans C

telle que f(z) = g(e


2iz
).
Montrer que lon a, pour tout w dans C

,
g(w) =
+

k=
a
k
w
k
,
avec
a
k
=
_
1
0
f(t + ib)e
2ik(t+ib)
dt b R.
Exercice 3.12 (***) : holomorphie et developpement en serie. Soit F =
P/Q C(X) et R le maximum des modules de tous les poles de F dans C. Montrer
que, pour [z[ > R, la fonction F se developpe dans la couronne [z[ > R sous la
forme
F(z) = a
m
z
m
+ . . . + a
0
+

k=1
a
k
z
k
, ()
o` u m N, a
m
, ..., a
0
C et la suite (a
k
)
kN
verie une certaine relation de
recurrence lineaire. Reciproquement, si F est une fonction holomorphe dans une
couronne [z[ > R se developpant sous la forme (), o` u la suite (a
k
)
kN
obeit
`a une relation de recurrence lineaire, peut-on armer que F est la restriction `a la
couronne [z[ > R dune fraction rationnelle ?
Exercice 3.13 (**) : holomorphie et developpement en serie ; procede
sommatoire de Borel.
a) Soit f(z) =

n=0
a
n
z
n
une fonction holomorphe dans D(0, R) (R > 0). Montrer
que lon denit une fonction enti`ere F en posant
F(z) =

n=0
a
n
n!
z
n
20 Holomorphie et proprietes aerentes
et que, lon a, pour tout r ]0, R[, pour tout z C,
F(z) =
1
2i
_

r
f()e
z/
d

.
Verier aussi que pour tout ]0, R[, [F(z)[ = O(exp([z[/) lorsque [z[ tend vers
+.
b) Soit F une fonction enti`ere telle que [F(z)[ = O(exp([z[)) lorsque [z[ tend
vers + (pour un certain > 0) et b
n
= F
(n)
(0)/n! pour n N. En utilisant les
inegalites de Cauchy, montrer que le rayon de convergence de la serie [n!b
n
z
n
]
n0
est
au moins egal `a 1/.
Exercice 3.14 (*) : singularites essentielles ou non. Quel est le type des
singularites des fonctions suivantes
z
1
z
2
1
cos
_
z
z + 1
_
, z cotan z
1
z
, z z(e
1/z
1) ?
Exercice 3.15 (*) : singularites essentielles ou non.
a) Soit f une fonction holomorphe dans un voisinage epointe de lorigine (lorigine est
retiree), telle que [f(z)[ C[z[
1/2
lorsque [z[ tend vers 0. Montrer que la singularite
de f en 0 est une singularite eliminable (cest-`a-dire que f peut se prolonger en une
fonction holomorphe au voisinage de 0).
b) Soit f une fonction holomorphe dans un voisinage epointe de lorigine (lorigine
est retiree). Montrer que 0 est une singularite essentielle de f si et seulement si,
pour tout n N,
lim
r0
[r
n
(sup
|z|=r
[f(z)[)] = +.
En deduire que si g est une fonction holomorphe au voisinage de 0, non identiquement
nulle, et telle que g(0) = 0, alors f g a une singularite essentielle en 0 d`es que f
en a une.
c) Soit f une fonction holomorphe dans un voisinage epointe de lorigine (lorigine
est retiree), meromorphe `a lorigine (cest-`a-dire presentant en 0 une singularite non
essentielle, dite aussi pole). Soit g une fonction holomorphe dans C non polynomiale.
Montrer que 0 est une singularite essentielle de g f.
d) Soit f une fonction holomorphe dans un voisinage epointe de lorigine (lori-
gine est retiree), presentant une singularite essentielle en 0. Montrer que, si g est
une fonction holomorphe dans C et non constante, g f presente une singularite
essentielle en 0.
Exercice 3.16 (*) : inegalites de Cauchy et theor`eme de Liouville. Soient
f et g deux fonctions holomorphes dans C et telles que [f(z)[ C[g(z)[ pour tout
z C. Montrer que f = g, o` u est un nombre complexe tel que [[ C. Que
peut-on dire dune fonction enti`ere f telle que [f(z)[ e
Re z
?
Exercice 3.17 (**) : inegalites de Cauchy. Soit f une fonction holomorphe
dans la couronne ouverte C
r,R
:= z ; r < [z[ < R, o` u 0 < r < R < +, telle que,
z C
r,R
, Re (f(z)) [A, B]. Montrer que, pour tout ]r, R[,
sup
||=
[f

()[
e
BA
min( r, R )
.
21
Indication : on raisonnera avec g = exp f.
Exercice 3.18 (*) : principe du maximum.
a) Soit f une fonction continue dans un demi-plan ferme , holomorphe dans le
demi-plan ouvert . On suppose que [f[ est bornee par M sur la fronti`ere de et
que
limsup
|z|+
z
[f(z)[ M

.
Montrer que [f[ est bornee par sup(M, M

) dans .
b) En considerant la fonction z e
cos z
, verier que le principe du maximum global
dans peut fort bien etre en defaut lorsque est non borne.
Exercice 3.19 (*) : principe du maximum. Soit f une fonction holomorphe
dans un ouvert connexe . Si [f[ presente un minimum en z
0
, que peut valoir
ce minimum?
Exercice 3.20 (*) : principe du maximum. Soit f une fonction holomorphe
dans un ouvert connexe . On imagine le graphe de (x, y) [f(x+iy)[
2
vu comme
une carte en relief dans lespace R
3
. Quelle particularite (ou plutot anomalie)
presente cette carte en relief (si on la compare `a une carte en relief classique dun
massif montagneux, telle une carte IGN) ?
Exercice 3.21 (*) : principe du maximum. Soit P un polynome de degre d et a
un nombre strictement positif. Montrer que louvert z C; [P(z)[ < a ne saurait
avoir plus de d composantes connexes.
Exercice 3.22 (*) : principe de lapplication ouverte. Soit un ouvert connexe
de C, une fonction de classe C
1
dans , `a valeurs reelles, telle que la courbe
S = = 0 soit reguli`ere (le gradient de ne sannule pas sur cette courbe).
Montrer que si f est une une fonction holomorphe dans U telle que f() S, alors
necessairement f est constante dans .
Exercice 3.23 (**) : le theor`eme de Montel sans Ascoli. Soit (f
n
)
nN
une suite
de fonctions holomorphes dans un voisinage ouvert du disque unite ferme D(0, 1) et
f
n
=

+
k=0
a
n,k
z
k
le developpement en serie enti`ere de f
n
au voisinage de lorigine.
On suppose que les fonctions [f
n
[ sont uniformement bornees par une constante M
K
sur tout compact K inclus dans leur domaine de denition.
a) En utilisant les inegalites de Cauchy et le processus diagonal, montrer que lon
peut extraire de la suite des entiers positifs une sous suite strictement croissante
(n
l
)
lN
telle que, pour tout k N, la suite (a
n
l
,k
)
k
converge vers un certain nombre
complexe a
k
.
b) En utilisant toujours les inegalites de Cauchy dans la majoration
[f
n
l
(z) f
n
l
(z)[
N

k=0
[a
n
l
,k
a
n
l
,k
[ [z[
k
+ 2

k>N
sup
n
[a
n,k
[ ,
montrer que, pour tout z D(0, 1), la suite (f
n
l
(z))
lN
est de Cauchy. Conclure `a
lexistence dune fonction g continue sur D(0, 1) telle que lim
l+
f
n
l
(z) = g(z).
Pourquoi g est-elle holomorphe dans le disque ouvert D(0, 1) ?
22 Holomorphie et proprietes aerentes
c) Deduire des questions precedentes une demonstration du theor`eme de Paul Mon-
tel
1
qui ne fasse pas appel au theor`eme dAscoli.
Exercice 3.24 (**) : theor`eme de Montel. Soit U un ouvert de C et T une
famille bornee de fonctions holomorphes dans U (il existe, pour chaque compact
K U, une constante M
K
telle que lon ait pour tout f T, pour tout z K,
[f(z)[ M
K
). Montrer que la famille T

:= f

; f T est aussi une famille


bornee.
Si T

est une famille bornee, en est-il de meme de T ?


Exercice 3.25 (*) : theor`eme de Montel. La topologie de la convergence uni-
forme sur tout compact sur lespace des fonctions holomorphes dans un ouvert U de
C peut-elle etre denie par une norme ?
Indication : on pensera au theor`eme de F. Riesz caracterisant les espaces vectoriels
normes de dimension nie en termes de relative compacite de la boule unite ouverte.
Exercice 3.26 (*) : theor`eme de Montel. Soit un ouvert borne de C et
T lensemble des fonctions holomorphes de dans lui-meme. Pourquoi T est-elle
une partie relativement compact de lensemble H() des fonctions holomorphes sur
, equipe de la topologie de la convergence uniforme sur tout compact ? Quelle est
ladherence de T dans H() ? Verier que T est un semi-groupe pour la composition
des applications et que, si f = lim
n+
f
n
et g = lim
n+
g
n
dans T, alors g f =
lim
n+
(g
n
f
n
) (toujours pour la topologie de la convergence uniforme sur tout
compact de ).
Exercice 3.27 (*) Suites de fonctions holomorphes. Pour chacun des exemples
suivants, montrer que lon denit bien une fonction holomorphe dans louvert indique
entre parenth`eses :

n=0
cos(nz)
n!
(dans C)

k=1
1
z(z n)
(dans C N

n=0
e

nz
2
(dans [Arg
],[
z[ < /4)

n=1
n!
n
n
sin(nz) (dans [Imz[ < 1).
1
Si (f
n
)
nN
est une suite de fonctions holomorphes dans un ouvert U de C, uniformement bornee
en module sur tout compact de cet ouvert, alors on peut extraire de la suite (f
n
)
nN
une sous-suite
(f
n
l
)
lN
qui soit uniformement convergente sur tout compact de U vers une fonction g holomorphe
dans U.
Chapitre 4
Holomorphie et proprietes
aerentes (2)
Les exercices de ce chapitre illustrent dautres proprietes (ou concepts) attachees
aux notions dholomorphie et meromorphie, developpees dans la seconde moitie du
chapitre II (Fonctions holomorphes du cours : le principe de reexion et le lemme
de Schwarz, le developpement en serie de Laurent, les notions de pole et de residu, le
theor`eme des residus, le comptage des zeros-p oles et le theor`eme de Rouche dans sa
version non plus topologique mais cette fois analytique, le theor`eme de lapplication
ouverte, et enn le theor`eme de Phragmen-Lindelof.
Exercice 4.1 (*) : principe de reexion de Schwarz. Soit f une fonction
holomorphe dans le demi-plan Imz > 0, continue sur Imz 0, reelle sur laxe reel
et telle que [f(z)[ = O([z[
N
) lorsque [z[ tend vers linni dans Imz 0. Montrer
que f est une fonction polynomiale.
Exercice 4.2 (*) : principe de reexion de Schwarz. Soit f une fonction
holomorphe dans le demi-disque ouvert D
+
:= D(0, 1) Imz > 0, continue sur
D
+
] 1, 1[, nulle sur ] 1, 1[. Montrer que f est identiquement nulle.
Exercice 4.3 (**) : principe de reexion de Schwarz. Soit f une fonction
holomorphe dans le disque unite ouvert, `a valeurs dans le demi-plan Imz > 0,
se prolongeant par continuite `a un arc de cercle ]A, B[ de la fronti`ere de ce disque,
avec f(]A, B[) = I, o` u I est un intervalle de R. Montrer que f se prolonge en
une fonction holomorphe `a lunion du disque ouvert D(0, 1) et du secteur angulaire
ouvert douverture ]A, B[.
Exercice 4.4 (**) : principe de reexion de Schwarz et theor`eme de lap-
plication ouverte. Soit f une fonction continue de [0, 1]
2
dans le disque ferme
D(0, 1), holomorphe dans ]0, 1[
2
. On suppose f bijective entre [0, 1]
2
et D(0, 1).
a) Montrer que, si designe le lacet correspondant au bord de [0, 1]
2
parcouru une
fois dans le sens trigonometrique, un parametrage de f est t e
2it
.
b) Montrer que f se prolonge en une fonction enti`ere.
Exercice 4.5 (*) : lemme de Schwarz. Soit f une fonction holomorphe du disque
unite ouvert D(0, 1) dans lui-meme sannulant `a lordre m 1 en z = 0. Montrer
que [f(z)[ [z[
m
pour tout z D(0, 1) et que [f
(m)
(0)[ m!. Que se passe-t-il
lorsque lune de ces inegalites devient une egalite ?
Exercice 4.6 (**) : le lemme de Schwarz comme il apparat souvent en
23
24 Holomorphie et proprietes aerentes (2)
theorie des nombres. Soit f une fonction enti`ere, sannulant `a lordre au moins
en tout point dun sous-ensemble ni S inclus dans le disque unite ferme D(0, r).
Montrer que, pour tout R > r, on a
log sup
|z|=r
[f(z)[ log sup
|z|=R
[f(z)[ card(S) log
R r
2r
.
Indication : on pensera `a factoriser dans le disque unite ouvert la fonction
z
f(Rz)
sup
||=R
[f()[
et `a appliquer ensuite le lemme de Schwarz.
Exercice 4.7 (**) : lemme de Schwarz. Soit f une fonction holomorphe du
disque unite ouvert D(0, 1) dans lui-meme. Montrer que si z et w sont deux points
de ce disque, on a

f(z) f(w)
1 f(w)f(z)

z w
1 wz

.
Que peut-on dire sil y a egalite pour deux points z et w distincts ?
Indication : `a partir de la fonction

f() f(w)
1 f(w)f()
,
on essaiera de construire une fonction holomorphe de D(0, 1) dans lui-meme san-
nulant en 0.
Exercice 4.8 (***) : lemme de Schwarz. Soit f une application holomorphe de
D(0, 1) dans D(0, 1) sannulant au points z
1
, ..., z
n
. Par recurrence sur n, montrer
que [f(0)[ [z
1
. . . z
n
[.
Exercice 4.9 (*) : calcul de residus. Quels sont les poles de la fonction
f
w
: z
cotan (z)
z
2
(z w)
?
Calculer les residus en ces poles de la forme dierentielle f
w
(z) dz.
Exercice 4.10 (*) : theor`eme des residus. Soit R = P/Q C(X) une fraction
rationnelle, ecrite ici sous forme reduite, telle que deg P deg Q2, et nayant que
des poles simples. Montrer que

Q()=0
P()
Q

()
= 0.
Exercice 4.11 (*) : theor`eme des residus. En utilisant le theor`eme des residus,
calculer les integrales semi-convergentes (les deux derni`eres sont dites integrales de
Fresnel) :
_

0
sin t
t
dt ,
_

0
sin t
2
dt ,
_

0
cos t
2
dt.
Indication : dans le premier cas, utiliser comme contour le segment [R, R] (en
prenant soin dans un premier temps deviter lorigine), concatene avec le demi-cercle
25
t [0, ] Re
2it
; pour les deux autres integrales, utiliser le bord du secteur conique
re
i
; 0 r R; [0, /4].
Exercice 4.12 (*) : fonctions meromorphes et residus (fonction Gamma).
Pour tout z
+
:= Re z > 0, on pose
(z) :=
_

0
t
z1
e
t
dt.
a) Montrer que est holomorphe dans le demi-plan
+
et verie (z + 1) = z(z)
dans ce demi-plan ouvert.
b) Montrer que admet un prolongement `a C tout entier en une fonction meromorphe
dont les poles sont 0, 1, 2, .... Calculer les residus en tous ces poles de la forme
(z) dz.
Exercice 4.13 (**) : fonctions meromorphes et residus (fonction zeta de
Riemann). Pour tout z
+
1
:= Re z > 1, on pose
(z) :=

n=1
1
n
z
.
a) Montrer que est holomorphe dans le demi-plan
+
1
.
b) Montrer que lon a, pour tout z
+
1
, la formule
(z)(z) =
_

0
t
z1
e
t
1
dt.
c) Montrer que la fonction
z C
_

1
t
z1
e
t
1
dt
est bien denie dans C tout entier et est une fonction enti`ere.
d. Montrer
1
quil existe des nombres B
k
, k 0, tels que la serie enti`ere [B
k
z
k
]
k0
soit de rayon de convergence 2 et que, pour tout z
+
1
, on ait
_
1
0
t
z1
e
t
1
dt =

k=0
B
k
z + k 1
.
e) Deduire des questions precedentes que la fonction se prolonge en une fonction
meromorphe dans C dont on donnera la liste des poles. Que valent les residus en ces
poles de la forme (z)(z) dz ?
Exercice 4.14 (*) : decompte des zeros-poles. Calculer le nombre de zeros du
polynome
P(z) = z
5
+ 12z
3
+ 3z
2
+ 20z + 3
dans la couronne 1 < [z[ < 2. Meme question pour le polynome
P(z) = z
7
5z
3
+ 6.
1
Voir aussi lexercice 3.6.
26 Holomorphie et proprietes aerentes (2)
Exercice 4.15 (**) : theor`eme et formules de Rouche. Soit f une fonction
continue dans D(0, 1) D(0, 1), telle que, pour tout w D(0, 1), la fonction
f
w
: z f(z, w)
soit holomorphe dans le disque ouvert D(0, 1). On suppose aussi que f ne sannule
pas dans [z[ = 1 D(0, 1).
a) Montrer que pour tout w D(0, 1), f
w
na quun nombre ni de zeros (chacun
compte avec sa multiplicite) dans D(0, 1) et que ce nombre ne depend pas de w. On
lappelle dans la suite p.
b) On suppose aussi que, tout z D(0, 1), la fonction w f(z, w) est holomorphe
dans D(0, 1). Montrer quil existe des fonctions a
1
, ..., a
p
holomorphes dans D(0, 1),
telles que dans D(0, 1) D(0, 1),
f(z, w) = (z
p
+a
1
(w)z
p1
+ + a
p1
z + a
p
)g(z, w) ,
o` u g est une fonction continue de D(0, 1) D(0, 1) dans C

telle que, pour tout


w D(0, 1), z g(z, w) soit une fonction holomorphe dans D(0, 1) (et vice versa
en echangeant z et w). Les zeros de f dans D(0, 1) D(0, 1) peuvent-ils etre des
points isoles ?
Indication : on utilisera les relations de Newton reliant les sommes de Newton
S
1
, ..., S
p
de p nombres aux fonctions symetriques elementaires
1
, ...,
p
de ces memes
p nombres.
Exercice 4.16 (*) : formules de Rouche. Soit f une fonction holomorphe dans
un voisinage du disque ferme D(0, 3), ne sannulant pas sur la fronti`ere de ce disque,
et : t 3e
2it
. On suppose
1
2i
_

()
f()
d = 2 ,
1
2i
_

()
f()
d = 2 ,
1
2i
_

2
f

()
f()
d = 4.
Que valent les zeros de f dans le disque D(0, 3) ?
Exercice 4.17 (**) : theor`eme de lapplication ouverte. Soit f une application
holomorphe dun ouvert connexe U dans lui-meme, telle que f f = f. Montrer que
soit f est constante, soit f est lidentite.
Exercice 4.18 (*) : theor`eme de lapplication ouverte. Soit U un ouvert
connexe de C et f une application holomorphe non constante de U dans U telle que
f(U) soit un sous-ensemble relativement compact de U. On denit la suite f
(n)
en
posant f
[n]
= f f . . . f (n fois).
a) Montrer que tous les ensembles f
[n]
(U), n N, sont ouverts et que leur intersec-
tion K est compacte.
b) Montrer que lon peut extraire de la suite (f
[n]
)
n
une sous-suite uniformement
convergente sur tout compact de U vers une fonction g et que g(U) K.
c) Montrer quen fait g(U) = K. En conclure que la suite (f
[n]
)
n
converge uni-
formement sur tout compact vers un point dattraction z
0
U.
Exercice 4.19 (**) : principe de Phragmen-Lindelof. Soit F une fonction
enti`ere telle que [F(z)[ Ce
B|z|
pour tout z C, C et B etant deux constantes
positives. On suppose aussi quil existe un entier N tel que F(t) = O(1 + [t[)
N
27
lorsque t tend vers dans R. Montrer quil existe une constante positive C

telle
que
z C, [F(z)[ C

(1 +[z[)
N
e
B|Imz|
.
Exercice 4.20 (**) : principe de Phragmen-Lindelof dans une bande. Soit
f une fonction holomorphe bornee dans la bande ouverte B := z ; 0 < Re z < 1,
se prolongeant en une fonction continue `a B. Soit A
0
= sup
yR
[f(iy)[ et A
1
=
sup
yR
[f(1 + iy)[. On suppose A
0
A
1
> 0.
a) Montrer que la fonction G : z B f(z)A
z1
0
A
z
1
est holomorphe dans B, se
prolonge en une fonction continue dans B, de prolongement borne en module par 1
sur la fronti`ere de B.
b) En utilisant le principe du maximum avec z G(z)e
z
2
, o` u > 0, puis en faisant
tendre vers 0, montrer
z B, [f(z)[ A
1Re z
0
A
Re z
1
.
c) Que se passe-til si A
0
A
1
= 0 ?
Exercice 4.21 (**) : principe de Phragmen-Lindelof dans un secteur. Soit
]0, [ et C

le secteur angulaire ouvert


C

:= z C

; [arg
],[
(z)[ < .
a) Pour ]0, [, on denit la fonction z z

dans C

par
z

:= exp((log [z[ + iarg


],[
(z))).
Montrer que cette fonction est holomorphe dans C

et se prolonge en une fonction


continue sur C

.
b) Soit f une fonction C

C, continue sur C

, holomorphe sur C

et telle que
sup
C

[f[ = M < . On suppose aussi quil existe trois constantes A > 0, B > 0,
]0, /(2)[ telles que
z C

, [f(z)[ Ae
B|z|

.
Soit ], /(2)[. Montrer que, pour tout > 0, on a
lim
|z|+
zC

[f(z)e
z

[ = 0.
c) Montrer en utilisant convenablement le principe du maximum que, pour tout
> 0,
z C

, [f(z)e
z

[ M.
En deduire que [f[ est bornee par M = sup
C

[f[ dans C

.
28 Holomorphie et proprietes aerentes (2)
Chapitre 5
Harmonicite
Cette section est en relatuion avec le chapitre III du cours (Fonctions Har-
moniques). Les exercices proposes illustrent les notions dharmonicite, de sous-
haarmonicite, de super-harmonicite, leur caracterisation en termes de formules de
la moyenne (resp. de la sous-moyenne ou sur-moyenne), les fonctions de Green et
noyaux de Poisson, la formule de representation de Green et lintegrale de Poisson,
enn la notion de mesure harmonique.
Exercice 5.1 (*) : fonctions harmoniques dans R
n
.
a) Montrer que, si n 3, la fonction
(x
1
, ..., x
n
) |x|
2n
est harmonique dans R
n
(0, ..., 0).
b) Montrer que, si x f(x) = g(|x|) est une fonction de classe C
2
et radiale dans
R
n
0, alors
[f](x, y) = g

(|x|) +
n 1
|x|
g

(|x|).
Trouver toutes les fonctions harmoniques radiales dans R
n
(0, ..., 0).
c) Verier que, si est une fonction de classe C
2
`a support compact dans R
n
,
(0) =
(n/2)
2(2 n)

n/2
_
. . .
_
R
n
[(x)] |x|
2n
dx
1
. . . dx
n
.
Indication : on pensera `a la formule de Green-Ostrogradski ; on rappellera le calcul
du volume de la boule unite de R
n
, puis celui de la surface de la sph`ere unite (dont
on aura besoin ici).
Exercice 5.2 (*) : de Green-Riemann `a Green-Ostrogradski. Reprendre
lexercice 1.18.
Exercice 5.3 (**) : la formule de Stokes dans R
n
. Soit U un voisinage du
simplexe
0
= t
1
+ +t
n
1 ; t
j
0, j = 1, ..., n. Verier, pour un tel simplexe
et toute (n 1)-forme de classe C
1
au voisinage de
0
que lon a la formule
_
. . .
_

0
d =
_
. . .
_

apr`es avoir donne un sens au membre de droite. Pourquoi retrouve-t-on bien ici la
formule de la divergence mentionnee en cours ? Comment etablirait-t-on la meme
29
30 Harmonicite
formule lorsque
0
est remplace par son image (
0
) par un dieomorphisme de
classe C
2
? Comment en deduirait-on la formule de la divergence pour un ouvert
borne de fronti`ere assez reguli`ere ?
Exercice 5.4 (*) : harmonicite et proprietes de moyenne. Soit u une fonction
de classe C
2
dans un ouvert de R
n
, telle que, pour toute boule fermee B incluse
dans , on ait
_
B
u

ext
d = 0 ,
o` u designe la mesure surfacique sur le bord de B. Montrer que u est harmonique
dans .
Exercice 5.5 (*) : harmonicite et formule de la moyenne (theor`eme de
Kellog). Soit u une fonction continue reelle dans la boule fermee B(0, R) de R
n
,
telle que, pour tout x dans la boule ouverte B(0, R), il existe r(x) ]0, d(x, B)[ tel
que
u(x) =
1
n
n
(r(x))
n1
_
B(x,r(x))
ud
B(x,r(x))
,
o` u
B(x,r(x))
designe la mesure surfacique sur le bord de B(x, r(x)).
a) Comment sexprime lunique fonction v harmonique dans B(0, R), continue dans
B(0, R), et telle que v = u sur le bord de B(0, R) ?
b) On note w = u v et M := max
B(0,R)
w et lon suppose M > 0. On suppose que
lensemble E = w = M B(0, R) est non vide. Montrer quil existe au moins un
point x
0
de B(0, R) tel que
d(x
0
, B(0, R)) = d(E, B(0, R)) > 0.
c) Montrer que
_
B(x
0
,r(x
0
))
(w(x
0
) w) d
B(x
0
,r(x
0
))
= 0
et en conclure que w M dans B(x
0
, r(x
0
)). Pourquoi ceci contredit-il lhypoth`ese
faite sur E (E non vide) ?
d) Deduire de la contradiction etablie au c) que u est harmonique dans B(0, R).
Exercice 5.6 : fonctions sous-harmoniques. Soit u une fonction continue et `a
valeurs reelles dans un ouvert de R
n
.
a) Rappeler ce que signie le fait que u est sous-harmonique dans .
b) Montrer que u est sous-harmonique dans si et seulement si, pour tout ouvert

, pour toute fonction h harmonique reelle sur

et continue sur

, on ait
x

, u(x) h(x) sup


y

(u(y) h(y)).
c) Utiliser le crit`ere etabli au (b)
1
pour montrer que si f est une fonction holomorphe
dans un ouvert de C, alors log [f[ est sous-harmonique dans .
1
Se servir aussi du fait que, si U est un ouvert simplement connexe de C, toute fonction harmo-
nique reelle h dans U sexprime dans U sous la forme h = Re f
U
, o` u f
U
est holomorphe dans U,
cf. Theor`eme III.4.1 du cours. Cette question propose une autre demonstration de la Proposition
III.4.4 du cours.
31
Exercice 5.7 : sous-harmonicite. Soit un ouvert de R. et u une fonction
localement integrale dans , `a valeurs dans [, +[. On suppose que, pour tout
x , pour tout r ]0, d(x, )[,
u(x)
1

n
r
n
_
B(x,r)
ud
B(x,r)
.
La fonction u est-elle sous-harmonique dans ? Pour tout x , on pose
u

(x) = limsup
yx
(u(y)) .
Meme question que precedemment pour cette fois la fonction u

.
Exercice 5.8 : formule de representation (n = 2). Soit ou ouvert borne du
plan de fronti`ere C
1
, u une fonction de classe C
1
au voisinage de , de classe C
2
et
harmonique dans . Verier la formule de representation :
u(z) =
1
2
_

ext
() log [ z[ d()
1
2
_

u()

ext
_
log [ z[
_
d() ,
o` u d represente la mesure lineique sur le bord de . Que devient cette formule de
representation en dimension n? Que devient cette formule de representation lorsque
u est de classe C
2
dans , mais nest plus supposee harmonique ?
Exercice 5.9 : principe de reexion pour les fonctions harmoniques. Soit u
une fonction harmonique dans ]a, b[+i]0, [, se prolongeant `a ]a, b[+i[0, [ de mani`ere
continue, nulle sur le segment reel ]a, b[. Montrer que la fonction denie dans louvert
]a, b[+i], [ par v(z) = u(z) si Imz 0 et v(z) = v(z) si Imz 0 est harmonique
dans ]a, b[i] , [.
Exercice 5.10 : mesure harmonique. Soit un ouvert borne de R
n
`a fronti`ere
C
1
. On suppose quetant donnee une fonction continue quelconque : R, il
existe une fonction P[] continue sur , harmonique dans et egale `a sur .
a) Montrer quune telle fonction P[] est unique et exprimer l`a en termes de la
fonction de Green G

de louvert (on admet lexistence dune telle fonction de


Green).
b) Montrer que lespace des fonctions continues de dans R est un espace de
Banach E pour la norme uniforme, quil en est de meme pour lespace des fonctions
continues de dans R (aussi pour la norme uniforme) et que P[] est une
isometrie de E dans F. En deduire que, pour tout x , lapplication
E P[](x)
est une forme lineaire L
x
continue positive sur E, i.e une forme lineaire continue L
x
telle que L
x
() 0 si 0. Peut-on donner un sens `a L
x
(
A
) si A est un sous-
ensemble mesurable de ? Si oui, pourquoi denit-on ainsi une mesure positive
2
L
x
sur le bord de ?
2
Cette mesure positive
x
, qui est dailleurs une mesure de probabilite, a aussi une interpretation
en physique, en relation avec le mouvement brownien dans le plan (cf. par exemple wikipedia
pour une denition de ce processus aleatoire) : si A est un sous-ensemble mesurable de ,
x
(A)
represente la probabilite pour quune particule issue de x `a linstant t = 0 et assujettie precisement
au mouvement brownien dans le plan sechappe pour la premi`ere fois de louvert au travers dun
point de A.
32 Harmonicite
Exercice 5.11. On suppose que lon peut resoudre le probl`eme de Dirichlet pour
louvert = D(0, 1) 0 du plan complexe, ce qui implique
3
que lon puisse
construire une fonction de Green G

, secrivant donc sous la forme


G

(w, z) =
log [z w[
2
+ h
w
(z) ,
o` u h
w
est de classe C
1
dans , de classe C
2
et harmonique dans . Pourquoi la
fonction harmonique z h
w
(z) a t-elle une singularite eliminable en z = 0 ? Montrer
que la fonction G denie par G(z) = G

(w, z) est sous-harmonique dans D(0, 1)


et conclure `a une contradiction avec le principe du maximum. En deduire que
ne saurait posseder de fonction de Green. Le meme resultat se transpose-til `a la
dimension n?
Exercice 5.12 (*) : harmonicite et proprietes de moyenne. Soit u une fonction
harmonique dans une couronne ouverte R
1
< [z[ < R
2
. On pose, pour tout r > 0,
f(r) :=
1
2
_
2
0
u(re
i
) d.
Montrer que f(r) = a log r + b, o` u a et b sont deux constantes. Montrer que si
P est un polynome de Laurent, i.e. P(z) =

N
N
a
k
z
k
, il existe une subdivision
R
0
= 0 < R
1
< ... < R
m1
< R
m
= + de ]0, [ telle que la fonction
r
1
2
_
2
0
log [P(re
i
[ d
soit une fonction ane de log r sur chaque intervalle ouvert ]R
k
, R
k+1
[.
Exercice 5.13 (*) : harmonicite et holomorphie. Montrer que toute fonction
reelle harmonique dans C et bornee superieurement est constante.
Exercice 5.14 (**) : formule de representation de Poisson.
a) Verier, pour [[ = 1 et z D(0, 1), la relation
[[
2
[z[
2
[ z[
2
= Re
_
+ z
z
_
.
En deduire que si u est une fonction harmonique reelle dans D(0, 1) et continue dans
D(0, 1), lunique fonction h (on dira au passage pourquoi elle est unique) holomorphe
dans D(0, 1), telle que Imh(0) = 0 et que Re h = u dans D(0, 1), est donnee par
h(z) =
1
2i
_
||=1
+ z
z
u()
d

.
b) Soit f une fonction holomorphe dans D(0, 1), nulle en 0, et telle que [Re f[ A
dans D(0, 1). Montrer que, si 0 < r < 1, on a, pour tout z D(0, r),
[Imf(z)[
2A

log
1 +r
1 r
.
3
Voir la construction de la fonction de Green (x, y) G

(x, y) dans la section III.3 du cours


(page 30), ainsi que son expression `a partir du potentiel .
33
Exercice 5.15 (**) : inegalite de Harnack. Soit u une fonction continue positive
dans D(z
0
, R), harmonique dans D(z
0
, R).
a)

Etablir, pour tout z D(z
0
, R), pour tout [0, 2], linegalite :
R [z z
0
[
R +[z z
0
[

R
2
[z z
0
[
2
[z
0
+Re
i
z[
2

R +[z z
0
[
R [z z
0
[
.
b) En deduire que si u est une fonction continue positive dans D(z
0
, R), harmonique
dans D(z
0
, R), on a linegalite de Harnack :
R [z z
0
[
R +[z z
0
[
u(z
0
) u(z)
R +[z z
0
[
R [z z
0
[
u(z
0
) z D(z
0
, R).
c) En utilisant linegalite etablie au a) (on pourra se ramener au cas des fonctions
harmoniques positives reelles), montrer que si u est une fonction harmonique de C
dans lui-meme, bornee en module, alors u est constante (comparer avec le resultat
etabli dans lexercice 5.13).
Exercice 5.16 (**) : integrale de Poisson. Pour tout z D(0, 1), on denit une
fonction
z
: [0, 2] R comme suit (faire un petit dessin) : le point e
i
z
()
est
lintersection du cercle unite et de la demi-droite issue de z et dirigee par e
i
, avec
la convention 0
z
() < 2.
a) Montrer que
z
est dierentiable et que

z
() =

e
i
z
()
z
e
i
z

.
b) Montrer que, si u est une fonction continue sur T, alors, si P(u) designe lintegrale
de Poisson de u,
P(u)(z) =
1
2
_
2
0
u(e
i
z
()
) d.
Exercice 5.17 (**) : formule de Poisson, fonctions sous-harmoniques. Soit
u une fonction continue, positive dans B(0, R) et sous-harmonique dans B(0, R).
Soit z
0
B(0, R) et C un cercle de centre z
0
inclus dans D(0, R).
a) Soit v la fonction harmonique dans D(0, R) egale `a u sur le bord de ce disque.
Comparer
_
C
u(z)d
C
et v(z
0
) (d
C
designe la mesure de Lebesgue sur le cercle C).
b) Utiliser la formule de Poisson pour etablir :
_
C
u(z)d
C

_
1 +
[z
0
[
R
_
_
C(0,R)
d
D(0,R)
.
Exercice 5.18 (*) : sous harmonicite de [f[
p
pour f holomorphe et p > 0.
Soit f une fonction holomorphe au voisinage de D(0, 1). Montrer, pour tout p > 0,
linegalite de Hardy :
1

_
D(0,1)
[f[
p
d
1
2
_
2
0
[f(e
i
)[
p
d .
34 Harmonicite
Exercice 5.19 (**) : sous-harmonicite et convexite. Soit u une fonction conti-
nue dans la couronne ouverte C
R
1
,R
2
:= 0 R
1
< [z[ < R
2
. Montrer que la
fonction
r log (u, 0, r) := log
_
1
2
_
2
0
u(re
i
) d
_
est une fonction convexe de log r dans ]R
1
, R
2
[ si et seulement si, pour tout > 0,
r r

(u, 0, r) est une fonction convexe de log r. Si lon suppose en plus log u
sous-harmonique dans la couronne, montrer quil en est de meme pour
z log(u(z)) +log [z[ et z [z[

u(z)
pour tout > 0. Calculer ([z[

u, 0, r) en fonction de (u, 0, r) si r ]R
1
, R
2
[.
Montrer enn que si u est une fonction positive dans la couronne C
R
1
,R
2
et telle que
log u soit sous-harmonique dans cette meme couronne, alors r log((u, 0, r)) est
une fonction convexe de log r dans ]R
1
, R
2
[.
Exercice 5.20 (inegalite de Caratheodory). Soit g une fonction holomorphe
dans un voisinage du disque ferme D(0, R), avec g = P + iQ (P et Q `a valeurs
reelles) dans ce disque ; montrer que, pour tout z D(0, R),
g(z) =
1
2i
_
2
0
P(Re
i
)(Re
i
+ z)
Re
i
z
d +
i
2
_
2
0
Q(Re
i
)d
=
1
2i
_
2
0
P(Re
i
)(Re
i
+ z)
Re
i
z
d + iQ(0)
= g(0) +
1

_
2
0
P(Re
i
)
z
Re
i
z
d .
En deduire que, si lon note A
g
(R) := supP(z) ; [z[ = R, on a
[g(z)[ [g(0)[ +
2r
R r
(A
g
(R) P(0)) , z, [z[ r < R
(on appliquera la formule precedente `a A
g
(R)g). Montrer que, si f est une fonction
holomorphe au voisinage de D(0, R), ne sannulant pas dans D(0, R) avec f(0) = 1,
alors, pour tout r ]0, R[,
[f(z)[ (M
f
(0; R))

2r
R r
z , [z[ r ,
si
M
f
(0; R) := sup
[0,2]
[f(Re
i
)[.
Chapitre 6
Le theor`eme de Runge
Cette serie dexercices illustre la section 1 du chapitre IV du cours (Approxi-
mation des fonctions holomorphes et equation u/z = f) devolue aux diverses
versions du theor`eme de Runge.
Exercice 6.1 (*) : theor`eme de Runge. Soit un ouvert de C dont le comple-
mentaire na pas de composante connexe bornee. Montrer que les polynomes sont
denses dans lespace des fonctions holomorphes sur (pour la topologie de la conver-
gence uniforme sur tout compact).
Exercice 6.2 (**) : theor`eme de Runge. Soit K un compact de C et A = a
k

une collection de points dans C, la r`egle etant quil existe un et un seul point de
A dans chaque composante connexe bornee de C K. Montrer que toute fonction
holomorphe au voisinage de K sapproche uniformement sur K par des fractions
rationnelles `a poles dans A.
Exercice 6.3 (*) : enveloppe dholomorphie. Donner un exemple dun compact
K et de deux ouverts
1
et
2
contenant tous les deux K et tels que les enveloppes
dholomorphie

K

1
et

K

2
di`erent.
Exercice 6.4 (**) : theor`eme de Runge (mais aussi formule de Cauchy).
Soit K un compact de C et f une fonction holomorphe au voisinage de K. En
utilisant le theor`eme de Runge, montrer que f sapproche uniformement sur K par
des fractions rationnelles `a poles simples, tous dans C K. Retrouver ce resultat
en utilisant la formule de Cauchy : montrer pour cela quetant donne un ouvert
contenant K, il existe un nombre ni N de courbes de Jordan (polygonales) de
support dans telles que K soit dans lunion des ouverts quelles enserrent.
Exercice 6.5 (*) : elementaire. Montrer elementairement que la fonction z 1/z
ne peut etre limite uniforme de polynomes dans lanneau 1 [z[ 2. Cela est-il
bien en concordance avec le theor`eme de Runge ?
Exercice 6.6 (***) : Autour du theor`eme de Runge.
(a). Soit n N et 0 < b
n
< a
n
< n. Montrer quil existe un polynome p
n
tel que
[p
n
(z)[ n si Imz = b
n
et z B(0, n), et [p
n
(z)[ 1/n pour z B(0, n) et soit
Imz 0, soit Imz a
n
.
(b) Deduire du (a) lexistence dune suite de polynomes (p
n
)
n
convergeant simple-
ment vers la fonction nulle, la convergence etant uniforme sur tout compact de CR,
mais non uniforme au voisinage daucun point de laxe reel.
(c) Construire une suite de polynomes convergeant simplement vers 0 sur R et vers
1 sur C R.
35
36 Le theor`eme de Runge
Exercice 6.7 (**) : Runge et dualite. Soit K un compact de C de mesure nulle.
Montrer que les fractions rationnelles `a poles hors de K sont denses dans C(K).
Exercice 6.8 (**) : Runge et dualite. Soit K un compact de C tel que CK soit
connexe et K de mesure nulle. Montrer que les fonctions polynomiales sont denses
dans C(K). Que retrouve-t-on si K est un intervalle de R?
Exercice 6.9 (**) : Runge et enveloppe dholomorphie. Prouver que les items
suivants sont equivalents, etant donnes deux ouverts
1

2
de C.
Toute fonction holomorphe dans
1
est limite uniforme sur tout compact dune
suite de restrictions `a
1
de fonctions holomorphes sur
2
.
Si
2

1
= K F avec K compact, F ferme dans
2
et K F = , alors
K = .
Pour tout compact K de
1
,

K

2
=

K

1
.
Pour tout compact K de
1
,

K

1
=
1

2
.
Pour tout compact K de
1
,
1

2
est aussi un compact de
1
.
Chapitre 7
Resolution du et produits innis
La serie dexercices proposee ici illustre les sections 2 et 3 du chapitre IV du
cours (Approximation des fonctions holomorphes et equation u/z = f), plus
particuli`erement la resolution du et le maniement des produits innis (au travers
du theor`eme de Weierstrass).
Exercice 7.1 (**) : Resolution de u = f. Soient f
1
et f
2
deux fonctions holo-
morphes dans le disque unite ouvert D(0, 1) du plan complexe, sans zero commun
dans ce disque.
(a) Construire deux fonctions g
1
et g
2
de classe C

dans D(0, 1) telles que 1


f
1
g
1
+ f
2
g
2
dans D(0, 1).
(b) Determiner tous les couples de fonctions (v
1
, v
2
) de classe C

dans D(0, 1) tels


que lon ait lidentite f
1
v
1
+ f
2
v
2
0 dans D(0, 1).
(c) En utilisant la surjectivite de loperateur de Cauchy-Riemann de C

(D(0, 1))
dans lui-meme, montrer quen corrigeant judicieusement le couple (f
1
, f
2
) construit
au (a), on peut trouver deux fonctions h
1
et h
2
holomorphes dans D(0, 1) telles que
f
1
h
1
+ f
2
h
2
1 dans D(0, 1).
Exercice 7.2 (*) : produits innis. Soit (p
n
)
n1
la suite des nombres premiers :
2, 3, 5, ....
(a) Prouver, pour tout nombre complexe z de partie reelle strictement superieure `a
1, la convergence du produit inni

n=1
1
1
1
p
z
n
.
Pourquoi ce produit denit-il une fonction holomorphe dans Re z > 1 ?
(b) Verier, pour tout z tel que Re z > 1, lidentite dEuler :

k=1
1
k
z
=

n=1
1
1
1
p
z
n
.
Exercice 7.3 (*) : produits innis. Prouver la convergence, pour tout z D(0, 1),
du produit inni

n=0
(1 + z
2
n
).
Pourquoi ce produit inni denit-il une fonction holomorphe dans le disque unite ?
37
38 Resolution du et produits innis
Verier la formule
z D(0, 1) ,
1
1 z
=

n=0
(1 + z
2
n
).
Exercice 7.4 (**) : produits innis, facteurs de Weierstrass.
(a) Montrer que lon denit bien une fonction enti`ere en posant, pour tout z C,
F(z) =

n=1
_
1
z
2
n
2
_
.
Calculer la fonction meromorphe F

/F (sous forme dun developpement en serie de


fonctions meromorphes uniformement convergent sur tout compact de C Z

).
(b) Si N est un entier strictement positif et z un nombre complexe de module
strictement inferieur `a N + 1/2, calculer grace `a la formule des residus
I
N
(z) :=
_

N+1/2
cotan
( z)
d
si
N+1/2
: t [0, 1] (N + 1/2)e
2it
.
(c) Quelle est la limite de I
N
(z) lorsque N tend vers +? En deduire la formule
z C,
sin(z)
z
=

n=1
_
1
z
2
n
2
_
.
(d) En utilisant convenablement la formule trigonometrique de duplication pour le
sinus, montrer que lon a aussi lautre factorisation
z C,
sin(z)
z
=

n=1
cos
_
z
2
n
_
.
Exercice 7.5 (**) : produits innis, facteurs de Weierstrass.
(a) Soit, pour tout n N

, la fonction meromorphe
f
n
(z) :=
n
n +z
_
n + 1
n
_
z
.
Montrer que le produit inni

n=1
f
n
(z)
est uniformement convergent sur tout compact de U := C 1, 2, ... et denit
une fonction meromorphe dans C, `a poles les entiers strictement negatifs.
(b) Montrer que, pour tout z tel que z 1 U,
(z 1) = lim
N+
N! N
z
z(z + 1) (z + N)
.
(c) Verier, pour tout z de partie reelle strictement positive, la formule
_

0
t
z1
e
t
dt = lim
N+
N! N
z
z(z + 1) . . . (z + N)
39
(utiliser pour cela le theor`eme de convergence dominee de Lebesgue et le fait que e
t
est, pour tout t > 0, la limite lorsque N tend vers + de (1 t/N)
N

[0,N]
(t)).
(d) Montrer que la fonction
z Re z > 0 (z) :=
_

0
t
z1
e
t
dt
se prolonge en une fonction meromorphe `a tout le plan complexe et que ce prolon-
gement coincide avec la fonction z (z 1).
(e) En deduire que ne sannule pas dans Re z > 0, que z 1/(z) se prolonge
`a tout le plan complexe en une fonction enti`ere F, et que lon a
F(z) = ze
z

nN

_
1 +
z
n
_
e
z/n
,
o` u
:= lim
N+
_
N

k=1
1
k
log N
_
(7.1)
designe la constante dEuler (on montrera lexistence de la limite (7.1)).
(f) En utilisant le theor`eme de convergence dominee et le developpement
1
1 e
t
=

k=0
e
kt
t ]0, [,
demontrer
1
, pour tout z tel que Re z > 1, lidentite
(z)

k=1
1
k
z
=
_

0
t
z1
e
t
1
dt.
(g) Montrer que, pour tout z C, la fonction t [1, [ t
z1
/(e
t
1) est integrable
au sens de Lebesgue sur [1, [ et que la fonction
E : z C
_

1
t
z1
e
t
1
dt
est une fonction enti`ere (on utilisera les theor`emes de Morera et de Fubini).
(h) Si les B
k
, k N, designent les coecients de Taylor du developpement au
voisinage de lorigine de
z
z
e
z
1
=

k=0
B
k
z
k
(voir lexercice 3.6), montrer que lon denit une fonction meromorphe dans C, de
poles 0, 1, 2, ... en posant
M(z) =

k=0
B
k
z + k 1
z ,= 0, 1, 2, ...
Verier que lon a, pour tout z tel que Re z > 1,
M(z) =
_
1
0
t
z1
e
t
1
dt =
_
1
0
t
z2
t
e
t
1
dt.
1
Voir aussi lexercice 4.13.
40 Resolution du et produits innis
(i) Deduire en utilisant les resultats etablis aux questions (e) `a (h) que la fonction
denie dans z ; Re z > 1 par
(z) =

k=1
1
k
z
se prolonge en une fonction meromorphe dans le plan complexe et de la forme
(z) =
1
z 1
+ H(z),
o` u H(z) est une fonction enti`ere.
Exercice 7.6 (*) : theor`eme de Weierstrass dans C

.
(a) Montrer quil existe une fonction enti`ere F telle que
z C, F(z + 1) = F(z)
et qui sannule en tous les zeros de z e
z
1.
(b) Montrer en revanche que si P est un polynome `a coecients complexes, de zeros

1
, ...,
d
, supposes tous simples, la seule fonction enti`ere F telle que P(d/dz)[F] 0
et F(
j
) = 0, j = 1, ..., d, est la fonction identiquement nulle
2
.
2
Loperateur H(D) associe `a la fonction enti`ere H : z e
z
1 comme P(D) lest au polynome
P est loperateur qui `a une fonction enti`ere F associe F(z + 1) F(z), do` u le lien entre les deux
questions (a) et (b) de lexercice.
Chapitre 8
Applications conformes, sph`ere de
Riemann
Ce chapitre propose une batterie dexercices en relation avec le chapitre V du
cours (Transformations holomorphes, Theor`eme de Riemann). Il est centre autour
de la notion geometrique de conformite et une familiarisation avec la sph`ere de
Riemann (algebriquement la droite projective P
1
(C)).
Exercice 8.1 (*) : applications conformes. Montrer que lapplication
z log [z[ + iArg
],[
(z)
realise une application conforme entre C R

et [Imz[ < .
Exercice 8.2 (*) : applications conformes. Quelle est limage de la bande
0 < Re z <
par lapplication z cos z ? Decrire limage des droites verticales et des segments
horizontaux par cette application.
Exercice 8.3 (***) : applications conformes. Construire (en utilisant des ho-
mographies convenables) une application conforme entre le disque unite D(0, 1) et
louvert U deni comme lintersection de ce disque avec le disque ouvert D(1, 1).
Plus generalement, construire une application conforme entre le disque unite et la
lunule denie comme intersection de deux disques ouverts du plan complexe dont
les fronti`eres se coupent en deux points distincts daxes a et b.
Exercice 8.4 (**) : applications conformes, theor`eme de Riemann. Soit U
louvert de C deni comme ]0, 1[
2
auquel on a retire tous les segments
[(1/n, 0), (1/n, 1/2)], n = 2, 3, ...
Montrer que U est conformement equivalent au disque unite ouvert D(0, 1), mais
quil ne saurait y avoir dapplication conforme entre D(0, 1) et U se prolongeant en
une bijection continue entre D(0, 1) et U.
Exercice 8.5 (*) : homographies. Montrer que la fonction de Kbe
K : z D(0, 1)

n=1
nz
n
41
42 Applications conformes, sph`ere de Riemann
sexprime en fonction de lhomographie de Cayley :
z D(0, 1)
z + 1
1 z
sous la forme
z D(0, 1) , K(z) =
z(C(z) + 1)
2
4
,
et quelle realise une transformation conforme entre D(0, 1) et C] , 1/4].
Exercice 8.6 (**) : applications conformes, theor`eme 1/4 de Kbe.
(a) Soit f une fonction holomorphe injective dans D(0, 1), telle que f(0) = 0 et
f

(0) = 1. Montrer quil existe une serie enti`ere [b


n
X
n
]
n0
de rayon de convergence
au moins egal `a 1, telle que
z D(0, 1) 0 ,
1
f(z)
=
1
z
+

k=0
b
k
z
k
.
(b) Si le developpement de f en serie enti`ere dans D(0, 1) est f(z) = z +

k2
a
k
z
k
,
montrer que
z , [z[ > 1 , a
2
+
1
f(1/z)
= z +

k1
b
k
z
k
.
(c) Deduire du fait que z 1/f(1/z) est injective dans [z[ > 1 que

k1
k[b
k
[
2
1
et en deduire [a
2
2
a
3
[ 1 (on sinspirera de la methode utilisee dans lexercice 3.5).
(d) Montrer quil existe une fonction g holomorphe dans D(0, 1), injective, telle que
g(0) = 0, g

(0) = 1, et (g(z))
2
= f(z
2
) pour tout z D(0, 1). En appliquant `a g le
resultat etabli aux trois questions precedentes, montrer que [f

(0)[ 4. Il sagit l`a


du premier cran de la conjecture de Bieberbach (1916), prouvee par Louis de Branges
en seulement 1985.
(e) En appliquant le resultat etabli au (d) `a la fonction
D(0, 1)
zf()
z f()
lorsque z / f(D(0, 1)), montrer que necessairement [z[ 1/4. En deduire que
limage par f du disque D(0, 1) contient necessairement le disque ouvert D(0, 1/4).
Ce resultat important est connu comme le theor`eme un-quart de Kbe.
Exercice 8.7 (**) : la sph`ere de Riemann. Soient z
1
et z
2
deux nombres com-
plexes tels que [z
1
[ < 1 et [z
2
[ < 1. On denit la distance cordale entre z
1
et z
2
comme la distance de leurs antecedents sur la sph`ere de Riemann S
2
via la pro-
jection stereographique depuis le pole Nord. Montrer que cette distance est egale
`a
d
cord
(z
1
, z
2
) =
2[z
1
z
2
[
_
1 +[z
1
[
2
_
1 +[z
2
[
2
.
Exercice 8.8 (**) : la sph`ere de Riemann. Soit une 1-forme meromorphe
sur la sph`ere de Riemann S
2
, i.e. une 1-forme que lon peut ecrire en coordonnees
43
locales au voisinage de tout point z
0
S
2
sous la forme f() d, o` u f est une fonction
meromophe au voisinage de lorigine (correspondant `a z
0
).
(a) Montrer que le coecient a
1
du developpement de Laurent de f ne depend que
de la forme et non de la representation f() d. En est-il de meme pour les autres
coecients a
k
? On note a
1
(z
0
) := Res
z
0
().
(b) Montrer que si est une forme meromorphe dans S
2
, alors il ny a quun nombre
ni de points o` u Res
z
0
() ,= 0 et que la somme des nombres Res
z
0
(), z
0
S
2
, est
egale `a 0.
Exercice 8.9 (*) : transformation de Mbius.
(a) Montrer que si f est une transformation de Mbius du disque unite dans lui-
meme, on a
[f

()[
2
(1 [f()[
2
)
2
=
1
(1 [[
2
)
2
,
ce que lon exprime en disant que les transformations de Mbius preservent la
metrique hyperbolique sur le disque unite.
(b) Montrer que si f est une application holomorphe dun ouvert U de D(0, 1), `a
valeurs dans D(0, 1), et telle que
[f

()[
2
(1 [f()[
2
)
2
=
1
(1 [[
2
)
2
U ,
alors f est une transformation de Mbius (on composera f avec une transformation
de Mbius adequate de mani`ere `a se ramener `a supposer de plus 0 U, f(0) = 0,
f

(0) = 1, et lon montrera qualors f


(k)
(0) = 0 pour tout k 2).
44 Applications conformes, sph`ere de Riemann
Chapitre 9
Autour des theor`emes de Picard
Cette (trop) courte serie dexercices illustre le chapitre VI du cours (Prolonge-
ment analytique). Elle est essentiellement autour du theor`eme de Bloch et du petit
theor`eme de Picard. Elle sera completee ulterieurement par des exercices autour du
groupe modulaire
1
.
Exercice 9.1 (**) : theor`eme de Kbe (cf. exercice 8.6) revisite. Soit f une
fonction holomorphe bornee du disque unite dans C, telle que f(0) = 0 et f

(0) = 1.
On pose M = |f|

.
a) Soit w C f(D(0, 1)). Montrer quil existe une et une seule fonction h ho-
lomorphe dans D(0, 1) telle que h
2
(z) = 1 f(z)/w pour tout z dans D(0, 1) et
h(0) = 1. Donner les premiers termes du developpement de h en serie enti`ere.
b) Montrer que
|h|
2

1 +
M
[w[
et deduire du a) et de la formule de PLancherel que [w[ 1/(4M). Conclure que
f(D(0, 1)) contient le disque ouvert de rayon 1/(4M). Quelle est la dience avec le
theor`eme de Kbe ?
Exercice 9.2 (**) : theor`eme de Bloch. Soit f une fonction holomorphe au
voisinage de D(0, 1) avec f

(0) = 1.
a) Montrer que
t [0, 1] t sup[f

(z)[ ; [z[ 1 t
est continue sur [0, 1] et en deduire quil existe t
0
> 0 et a D(0, 1) avec [a[ 1t
0
,
[f

(a)[ = 1/t
0
et [f

(z)[ < 1/t pour t < t


0
et [z[ 1 t.
b) Montrer que [f

(z)[ 2/t
0
dans le disque D(a, t
0
/2) et en deduire que la fonction
g denie dans D(0, 1) par
g(z) = f(z) f(a)
verie [g(z)[ 1 dans D(a, t
0
/2).
c) Deduire de lexercice 9.1 que f(D(0, 1)) contient le disque de centre f(a) et de
rayon 1/16.
d) Montrer quil existe une constante C telle que, pour toute fonction f holomorphe
dans D(0, 1), f(D(0, 1)) contient un disque de rayon C[f

(0)[.
1
Une reference bibliographique pour ces aspects est le cours darithmetique de J.P. Serre, Presses
Universitaires de France, 1970.
45
46 Autour des theor`emes de Picard
Exercice 9.3 (*) : application du theor`eme de Bloch. Soit F une fonction
enti`ere non constante. En utilisant la conclusion de lexercice 9.2 avec les fonctions
z F(z + )
montrer que F(C) contient des disques de rayon arbitrairement grand.
Exercice 9.4. (*) : une application du grand theor`eme de Picard. Montrer
que, si P est un polynome, lequation
e
z
= p(z)
a une innite de solutions.
Chapitre 10
Texte et corrige du DM1 -
2009-2010
Exercice I (autour de la formule de Cauchy-Pompeu).
1.1. Soit f une fonction de classe C
1
au voisinage du disque unite ferme D(0, 1) du
plan complexe. En appliquant la formule de Cauchy-Pompeu `a la fonction
F
z
: D(0, 1) f()
_
1 [[
2
1 z
_
(pour z D(0, 1)), verier que la fonction f peut se representer dans le disque unite
ouvert D(0, 1) par la formule :
f(z) =
1

_ _
D(0,1)
f

()
_
1 [[
2
1 z
_
dd
z
+
1

_ _
D(0,1)
f()
dd
(1 z)
2
(o` u lon a note = + i le point courant de R
2
). Que devient cette formule de
representation lorsque f satisfait de plus f/ 0 dans le disque unite ouvert ?
Il sagit dun calcul.
F
z

= f()

_
1
1 z
_
+
f

_
1 [[
2
1 z
_
= f()
_
(1 z) (1 [[
2
)(z)
(1 z)
2
_
+
f

_
1 [[
2
1 z
_
= f()
_
z
(1 z)
2
_
+
f

_
1 [[
2
1 z
_
.
On remarque aussi que F
z
est identiquement nulle sur le cercle de rayon 1, ce qui
implique la disparition de lintegrale de contour dans la formule de Cauchy-
Pompeu lorsquon lapplique pour representer F
z
au point z, soit F
z
(z) = f(z). La
formule demandee resulte immediatement de la formule de Cauchy-Pompeu. On
note la simplication de z par z dans lune des deux integrales sur D(0, 1)
gurant au second membre, dans lexpression de

_ _
D(0,1)
F
z

dd
z
(cette simplication am`ene dailleurs par un changement de signe).
47
48 Texte et corrige du DM1 - 2009-2010
1.2. Soit

f L
2
(D(0, 1), dd) et f un representant de

f dans L
2
(D(0, 1), dd).
Montrer que la fonction
B[

f] : z D(0, 1)
1

_ _
D(0,1)
f() dd
(1 z)
2
est une fonction holomorphe dans le disque ouvert D(0, 1) ; calculer, pour n N,

n
[B(

f)]/z
n
(0).
Lholomorphie est une propriete locale et il sut de la prouver dans un disque
D(0, r) avec r < 1. Si D(0, 1) et z D(0, r), la fonction (, z) (1 z)
2
ne
sannule pas et est donc minoree en module sur D(0, 1) D(0, r) par une constante

r
> 0. Pour tout D(0, 1), pour tout z D(0, r), on a

f()
(1 z)
2


sup
D(0,1)
[f(z)[

r
= M
r
.
Le theor`eme de continuite des integrales `a param`etres assure donc la continuite de
z B[

f](z) :=
1

_ _
D(0,1)
f()
(1 z)
2
d d
(on prend comme chapeau majorant pour la clause de domination la fonction
constante egale `a M
r
sur D(0, 1) et donc evidemment integrable). Pour montrer
lholomorphie de B[

f] dans D(0, r), on utilise le theor`eme de Morera. Soit T un
triangle plein inclus dans D(0, r). Le theor`eme de Fubini permet de demontrer
_
T
_
_ _
D(0,1)
f() d d
(1 z)
2
_
dz =
_ _
D(0,1)
f()
_
_
T
dz
(1 z)
2
_
d d = 0.
Il sapplique car la fonction de deux variables
(, z)
f()
(1 z)
2
est bornee en module (donc integrable) sur D(0, 1) T. Le fait que, pour tout
D(0, 1), on ait
_
T
dz
(1 z)
2
= 0
resulte de lholomorphie dans D(0, r) de la fraction rationnelle (en z) sous lintegrale
curviligne.
Le calcul des derivees successives de B[

f] se fait en derivant sous le signe somme.
On peut en eet intervertir derivation par rapport au param`etre et integrale car les
inegalites de Cauchy impliquent, pour tout n N

, pour tout D(0, 1), pour tout


z dans D(0, r ) (avec < r arbitrairement petit)


n
z
n
_
f()
(1 z)
2
_

M
r
/
n
.
Le theor`eme de derivation des integrales `a param`etre sapplique donc et donne
d
n
dz
n
B[

f](z) =
(n + 1)!

_ _
D(0,1)
f()
n
d d
(1 z)
2+n
.
49
La valeur de cette derivee n-i`eme en 0 est
d
n
dz
n
B[

f](0) =
(n + 1)!

_ _
D(0,1)

n
f() d d.
1.3. Montrer que le syst`eme de classes de fonctions (
n
)
nN
, o` u

n
: D(0, 1)
_
n + 1


n
,
forme un syst`eme orthonorme de lespace de Hilbert L
2
(D(0, 1), dd) et que lon a,
dans cet espace de Hilbert, pour tout

f L
2
(D(0, 1), dd),

B[

f] =

nN


B[

f],
n
)
n
=

nN


f,
n
)
n
.
Un calcul dintegrales en polaire donne, si n
1
et n
2
sont deux entiers positifs,
_ _
D(0,1)

n
1

n
2
d d =
_
1
0
r
n
1
+n
2
+1
dr
_
2
0
e
i(n
1
n
2
)
d.
Si n
1
,= n
2
, cette integrale vaut zero (orthogonalite des fonctions e
in
, n Z,
sur [0, 2]). Pour n
1
= n
2
, on trouve /(n
1
+1). Le syst`eme des classes de fonctions
(
n
)
nN
de L
2
(D(0, 1)) est donc bien orthonorme. La fonction f est un representant
dun element

f de cet espace L
2
(D(0, 1)) (car cest une fonction continue bornee,
donc le carre de son module est integrable) et lon a (dapr`es linegalite de Bessel, voir
le cours de L3 sur les espaces de Hilbert, cest juste une consequence du theor`eme
de Pythagore) :

n=0
[

f,
n
)[
2

_ _
D(0,1)
[f()[
2
dd < +.
Or


f ,
n
) =
_
n + 1

_ _
D(0,1)

n
f() d d
et, par consequent,


f ,
n
)
n
=
n + 1

z
n
=
z
n
n!
d
n
dz
n
(B[

f])(0).
La suite des classes des fonctions

N
:=
N

n=0


f ,
n
)
n
=
N

n=0
d
n
dz
n
(B[

f])(0) z
n
converge dans L
2
(D(0, 1)) (cest une suite de Cauchy) vers un certain element g.
Mais on sait que la suite (
N
)
N
converge presque partout (dans D(0, 1) en tout cas)
vers B[

f] (cest la formule de Taylor `a lorigine pour la fonction B[

f] dont on sait
quelle est holomorphe dans le disque D(0, 1) dapr`es la question 2)). Comme on
sait dautre part quil existe une sous-suite de la suite (
N
)
N
convergeant presque
50 Texte et corrige du DM1 - 2009-2010
partout vers un representant g de g, on en deduit que B[

f] represente un element
de L
2
(D(0, 1)), precisement cet element g. On peut ecrire, dans L
2
(D(0, 1)),
g =

B[

f] =

n=0


f ,
n
)
n
,
mais aussi bien s ur, puisque g =

B[

f] est dans ladherence du sous-espace engendre
par les
n
,
g =

B[

f] =

n=0


B[

f] ,
n
)
n
.
Do` u le resultat.
1.4. Montrer que lensemble des elements g L
2
(D(0, 1), dd) admettant un representant
holomorphe dans D(0, 1) est un sous-espace ferme A(D(0, 1)) de lespace de Hilbert
L
2
(D(0, 1), dd) et que la projection orthogonale dun element

f L
2
(D(0, 1), dd)
sur ce sous-espace A(D(0, 1)) est egale `a

B[

f].
Si ( g
n
) est une suite delements de A(D(0, 1)), on a, pour n, m dans N et z dans
D(0, 1 2) (dapr`es la formule de la moyenne volumique )
(g
n
g
m
)(z) =
1

2
_ _
D(z,
(g
n
() g
m
()) d d.
Do` u, par linegalite de Holder,
[(g
n
g
m
)(z)[
1

_
_ _
D(z,)
[g
n
() g
m
()[
2
d d
_
1/2

| g
n
g
m
|
L
2
(D(0,1))

. (10.1)
Si en plus la suite ( g
n
)
n
converge dans L
2
(D(0, 1)) vers un element

f, elle est de
Cauchy dans L
2
(D(0, 1)) et la suite de fonctions holomorphes (g
n
)
n
satisfait (dapr`es
linegalite (10.1) juste etablie) le crit`ere de Cauchy uniforme sur le disque D(0, 12).
Elle converge donc uniformement sur ce disque vers une fonction holomorphe h.
Comme est arbitraire, on en deduit (en utilisant le fait quau moins une sous suite
de (g
n
)
n
doit converger vers un representant de g), que g admet un representant h
holomorphe dans D(0, 1). Le sous-espace A(D(0, 1)) est donc ferme.
Les elements (
n
)
n
forment un syst`eme orthonorme dans A(D(0, 1)). On verie
que cest une base hilbertienne de cet espace en montrant que le seul element g de
A(D(0, 1)) orthogonal `a tous les
n
est la classe de la fonction nulle : en eet, si g
a pour representant la fonction holomorphe
z g(z) =

k=0
a
k
z
k
=

k=0
_

k + 1
a
k

k
(z) ,
on voit que
g ,
n
) = lim
r1

_
_ _
D(0,r)
f()
n
() dd
_
= lim
r1

_
_ _
D(0,r)
_

k=0
a
k

k
_

n
() dd
_
51
= lim
r1

k=0
a
k
_
_ _
D(0,r)

n
() dd
_
_
= lim
r1

_
2a
n

r
2(n+1)
2(n + 1)

_
n + 1

_
=
_

n + 1
a
n
.
Si g est orthogonal `a tous les
n
, on a a
n
= 0 pour tout n, ce qui implique g = 0.
Comme la famille (
n
)
n
est une base hilbertienne de A(D(0, 1)), les formules etablies
`a la question 3) montrent que B[

f] est bien la projection orthogonale de

f sur le sous-
espace ferme engendre par les
n
, n N, cest-`a-dire sur le sous-espace A(D(0, 1)).
Cest ce que lon devait demontrer.
Remarque. Loperateur introduit dans cet exercice
B : L
2
(D(0, 1)) A(D(0, 1))
sappelle loperateur de Bergman (ou projecteur de Bergman) du disque unite et le noyau
(, z) D(0, 1) D(0, 1)
1

1
(1 z)
2
qui le represente (voir la question 2)) sappelle le noyau de Bergman de ce meme disque.
Exercice II (formule de Lelong-Poincare, calcul de degre).
II.1. Soit f une fonction holomorphe dans un ouvert U de C. Pourquoi la fonction
f na-elle quun nombre ni de zeros dans un sous-ensemble compact arbitraire K
de U ?
Il fallait ajouter, vous lavez devine, que la fonction f doit etre supposee non iden-
tiquement nulle sur les diverses composantes connexes de U. Cela manquait ici `a
lhypoth`ese. Si tel est le cas, les zeros de f sont isoles (dapr`es le principe des zeros
isoles) et le fait quil y en ait une innite dans un compact K de U contredit le
theor`eme de Bolzano-Weierstrass : dans un compact de C (ou de R
n
), tout ensemble
inni borne a necessairement un point daccumulation!
II.2. Montrer que, si est une fonction de classe C
2
et `a support compact dans U,
on a la formule de Lelong-Poincare :
2

{supp; f()=0}
m
f
()() =
_ _
U
log [f()[ [()] dd.
On peut supposer U connexe (sinon, on raisonne pour chaque composante connexe
de U et on additionne). Le plus elegant ici est dutiliser la formule de la divergence
dans un ouvert borne `a fronti`ere C
1
contenant le support de , tel que U
et que f ne sannule pas sur le bord de . Dapr`es la question 1), la fonction f
na quun nombre ni de zeros,
1
, ...,
N
dans . Autour de chacun de ces zeros
(comme dans la preuve de la formule de Cauchy-Pompeu), on consid`ere un petit
disque D(
j
, ) de mani`ere `a ce que D(
j
, ) et que les disques fermes D(
j
, )
soient deux `a deux disjoints. Si (P, Q) est un champ de vecteurs de classe C
1
au
voisinage de

j
D(
j
, ), on a
_

(P, Q),
ext
) d =
_

(Qdx + Pdy) , (10.2)


52 Texte et corrige du DM1 - 2009-2010
o` u d designe la mesure de Lebesgue sur le bord de

, le chemin parametre

designant le bord parametre de

, le parametrage etant tel quen le suivant, on


conserve le domaine

sur notre gauche (r`egle du bonhomme dAmp`ere ). On


note que la normale exterieure
ext
est dirigee precisement par le vecteur (dy, dx)
lorsque (dx, dy) designe le deplacement innitesimal sur le bord en gardant le do-
maine

`a sa gauche (faire un petit dessin, il faut tourner de /2 pour trouver la


direction de
ext
!).
Dapr`es Green-Riemann,
_

(Pdy Qdx) =
_ _

_
P
x
+
Q
y
_
dd . (10.3)
En combinant (10.2) et (10.3), on obtient la formule de la divergence
_

(P, Q),
ext
) d =
_
P
x
+
Q
y
_
dd .
Si on applique cette formule `a un champ de gradient (P, Q) = G, o` u G est de
classe C
2
au voisinage de

, on en deduit la formule
_

ext
d =
_ _

(G) d d
puisque div(G) = (G).
Si lon prend deux champs de gradient G
1
et G
2
, G
1
et G
2
etant de classe C
2
au
voisinage de

, on a la formule
_

_
G
1
G
2

ext
G
2
G
1

ext
_
d =
_ _

_
G
1
(G
2
) G
2
(G
1
)
_
d d. (10.4)
Si f est une fonction holomorphe, on voit que dans louvert o` u f ne sannule pas,
log [f[

=
1
2
log [f[
2

=
1
2
log ff

=
f
2[f[
2
=
1
2f
et, par consequent,
log [f[ = 4
_
log [f[

_
= 2(1/f) = 0.
Si on prend G
1
= log [f[ et G
2
= , la formule (10.4) devient
_ _

(log [f[)[] d d =
N

j=1
_

j,
_
log [f[

j,ext

log [f[

j,ext
_
d
j,
, (10.5)
o` u d
j,
est la mesure de Lebesgue sur le cercle de centre
j
et de rayon , la normale
exterieure
j,ext
pointant cette fois vers lexterieur du disque D(
j
, ).
Il reste (comme dans la preuve de la formule de Cauchy-Pompeu) `a faire tendre
vers 0. Pr`es de
j
, on peut ecrire [f()[ = [
j
[
m
f
(
j
)
[g
j
[, o` u g
j
ne sannule pas.
Lorsque tend vers 0, la limite du membre de droite de (10.5) est donc la meme que
la limite lorsque tend vers 0 de

j=1
m
f
(
j
)
_

j,
_
log

ext

log [
j
[

j,ext
_
d
j,
.
53
Or un calcul immediat montre que sur le bord de D(
j
, ),
log [
j
[,
j,ext
) =
1

.
Il en resulte donc que
lim
0
_
N

j=1
m
f
(
j
)
_
D(
j
,)

log [
j
[

j,ext
d
j,
_
=
N

j=1
m
f
(
j
)(
j
).
Dautre part, comme log tend vers 0, on a
lim
0
_
log
N

j=1
m
f
(
j
)
_
D(
j
,)

,ext
d
j,
_
= 0.
En faisant tendre vers 0 dans (10.5), on obtient donc bien la formule de Lelong-
Poincare.
Remarque. La formule de Lelong-Poincare, dans la mesure o` u elle permet de retrouver zeros et
multiplicites dune fonction holomorphe `a partir de la fonction elle-meme (on prend le Laplacien du
logarithme du module, au sens que vous verrez plus tard des distributions), joue un role precieux
en geometrie algebrique ainsi quen theorie des nombres.
II.3. Soient P et Q deux elements de C[X] premiers entre eux et d le maximum de
leurs degres. Verier, si
R
: t [0, 1] Re
2it
, que
d =
i
2
lim
R+
_

_
log[[P()[
2
+[Q()[
2
]
_
=
i
2
_ _
C

_
log[[P()[
2
+[Q()[
2
]
_
.
Dapr`es la formule de Green-Riemann, on a, pour R > 0 xe :
_

_
log[[P()[
2
+[Q()[
2
]
_
=
_ _
D(0,R)
d
_

_
log[[P()[
2
+[Q()[
2
]
__
=
_ _
D(0,R)

_
log[[P()[
2
+[Q()[
2
]
__
.
(10.6)
En eet, P et Q nont par hypoth`ese aucun zero commun (ils sont supposes premiers
entre eux) et la fonction log([P[
2
+ [Q[
2
) est donc bien de classe C

dans C. On a
dautre part
log[[P()[
2
+[Q()[
2
] =
P()P

() + Q()Q

()
[P()[
2
+[Q()[
2
d.
On remarque que, pour R
0
> 0 susamment grand et [[ > R
0
,
P()P

() + Q()Q

()
[P()[
2
+[Q()[
2
=
d

_
1 +

+>0
u
,

1 +

+>0
v
,

_
=
d

_
1 +

+>0
w
,

_
, (10.7)
54 Texte et corrige du DM1 - 2009-2010
les series doubles ci-dessus convergeant normalement dans [[ > R
0
. On a donc
_

R
log[[P()[
2
+[Q()[
2
] = d
_

R
d

+O(1/R) = 2id + O(1/R).


La premi`ere egalite est ici demontree. Il ne reste pour verier la seconde que de
sassurer que lintegrale
_ _
C

_
log[[P()[
2
+[Q()[
2
]
_
est bien convergente. En utilisant (10.7), on observe que, pour [[ > R
0
,

_
P()P

() +Q()Q

()
[P()[
2
+[Q()[
2
_
= O(1/[[
3
)
car (/)(d/) = 0. Comme 1/[[
3
est integrable dans [[ > R
0
, lintegrale
_ _
C

_
log[[P()[
2
+[Q()[
2
]
_
est bien absolument convergente. La seconde formule resulte de la premi`ere, com-
binee avec (10.6) (identite dans laquelle on fait tendre R vers +).
Exercice III (developpement de Taylor en et ).
III.1. Soit f une fonction holomorphe au voisinage de lorigine, non identiquement
nulle et telle que f(0) = 0. Montrer quil existe un changement de variable z w =
w(z), realisant un biholomorphisme entre un voisinage de lorigine dans C
z
et un
voisinage de lorigine dans C
w
, et tel que
f(z(w)) = w
m
au voisinage de 0 pour un certain entier m > 0 (la multiplicite de 0 comme zero de
f).
Si f est non identiquement nulle au voisinage de lorigine, il existe un disque D(0, r)
dans lequel on peut ecrire f(z) = z
m
g(z), o` u g est une fonction holomorphe ne
sannulant pas. Comme le disque D(0, r) est simplement connexe, toute fonction
holomorphe g de D(0, r) dans C

secrit g = exp h avec h holomorphe dans D(0, r).


Pour construire h(z), il sut de considerer le chemin t g(tz), puis dintegrer sur
ce chemin (de support inclus dans C

par hypoth`eses) la forme du/u. Dans D(0, r),


f se represente donc par f(z) = z
m
exp(h(z)) = (z exp(h(z)/m))
m
. Si lon pose
w = z exp(h(z)/m), on constate que z w(z) est une transformation de D(0, r)
dans C R
2
dont la dierentielle (au sens reel) en (0, 0) est inversible (puisque
w

(0) = exp(h(0)/m) ,= 0 et que [w

(0)[
2
represente precisement le jacobien de
d
(0,0)
). Le resultat demande resulte donc du theor`eme diinversion locale (cours
de Calcul Dierentiel). Comme w = z exp(h(z)/m) et que f(z) = z
m
exp(h(z)) au
voisinage de 0, on a bien, si w : w w(z) designe lapplication reciproque (qui
dailleurs satisfait les conditions de Cauchy-Riemann, donc est aussi holomorphe, ce
dapr`es la formule de Leibniz (d
1
)
(x,y)
= (d
x,y
)
1
et le fait que linverse dune
similitude directe est une similitude directe), f(z(w)) = w
m
dans le voisinage de 0
dans C
w
en correspondance biholomorphe avec un disque D(0, ), < r, de C
z
sur
lequel linversion locale sapplique.
55
III.2. Soit, pour > 0 assez petit,

le lacet t [0, 1] w
1
(e
2it
). Montrer que,
si est une fonction de classe C

au voisinage de lorigine dans C,


lim
0
+
1
2i
_

()
f()
d = lim
0
+
1
2i
_

k=0

k
(0)

k
k!
_
d
f()
=
1
(m1)!

m1

m1
_

m
()
f()
_
|=0
En utilisant le changement de variables = (w), lintegrale dont on etudie le
comportement en lorsque tend vers 0 devient :
1
2i
_

()
w()
d =
_
|w|
m
=
((w))
w
m

(w) dw.
Le comportement de la limite est le meme que celui de la limite lorsque tend vers
0
+
de
1
2i
_
|w|=
(w)
w
m
dw,
o` u (w) = ((w))

(w). La fonction est une fonction C

au voisinage de lorigine
que lon peut donc developper au voisinage de 0 en serie de Taylor `a lordre m :
( + i) =
m1

k=0

+=k
1
!!

(0)

+ O([ + i[
m
).
On remarque que lon peut aussi ecrire ce developpement en utilisant les operateurs
/w et /w en place de / et / (o` u = Re w et = Imw). On obtient ainsi
au voisinage de w = 0,
(w) =
m1

k=0

+=k
1
!!

(0)w

+ O([w[
m
). (10.8)
Si lon int`egre la forme (w)dw/w
m
( etant developpe sous la forme (10.8)) sur le
cercle [z[ = parcouru une fois dans le sens trigonometrique, on constate que toutes
les integrales
_
|w|=
w
m
w

dw, N, N, + m1, (10.9)


sont nulles, sauf si m + 1 = 0, i.e. = m1. La seule possibilite pour
avoir une contribution non nulle est = m 1 et = 0, auquel cas lintegrale est
egale `a 2i. On voit donc que
lim
0
+
1
2i
_

()
f()
d =
1
(m1)!

m1

w
m1
(0).
Il faut maintenant pour nir revenir `a une expression en termes de la fonction .
Lexpression de la limite en termes de (a priori compliquee) se presente certaine-
ment de par la r`egle de Leibniz sous la forme dune combinaison des (
l
/z
l
)[](0),
56 Texte et corrige du DM1 - 2009-2010
l = 0, ..., m 1. Ceci implique que resultat resterait inchange si lon supposait que
est remplace par son polynome de Taylor holomorphe :
P
,m1
(z) =
m1

k=0
1
k!

z
k
(0) z
k
.
Or ce polynome P
,m1
est une fonction holomorphe de z. La formule des residus
sapplique si lon fait cette substitution et nous assure que la limite cherchee (lex-
pression est dans ce cas en fait constante en fonction de ) est aussi egale `a Res(P

d/f(), 0),
soit `a
1
(m1)!
d
m1
d
m1
_

m
P

()
f()
_
|=0
.
Or, comme (/)() = 0, on a
d
m1
d
m1
_

m
P

()
f()
_
|=0
=

m1

m1
_

m
()
f()
_
|=0
.
On a obtenu le resultat demande.
Exercice IV (indice et integrale dune forme localement exacte sur un
lacet continu). Soit a et b deux nombres complexes distincts et le lacet continu
de C a, b represente ci-dessous (et parcouru une seule fois dans le sens indique).
Calculer en fonction de a et b lintegrale le long de de la forme dierentielle
dz/((z a)
2
(z b)) apr`es avoir justie que cette 1-forme etait localement exacte au
voisinage du support de . Cette forme est-elle exacte dans C a, b ?
b
a
La forme f(z) dz est bien localement exacte dans C a, b puisque la fraction
rationnelle f(z) = 1/(z a)
2
(z b) est holomorphe hors de ses poles a et b. On
calcule dans un premier temps les indices I(, a) = +1+1+1 = 3 et I(, b) = +1 en
tracant une demi-droite issue de ces points et en comptant avec +1 les intersections
de avec la demi-droite se faisant de gauche `a droite, 1 les intersections de avec
la demi-droite se faisant de droite `a gauche (voir la gure). Lintegrale I `a calculer
est egale (par homotopie entre lacets libres) `a
I = Ind(, a)
_

a,
dz
(z a)
2
(z b)
+ Ind(, b)
_

b,
dz
(z a)
2
(z b)
,
o` u
a,
: t [0, 1] a + e
2it
et
b,
: t [0, 1] b + e
2it
(avec susamment
petit). Il resulte de la formule de Cauchy (en b) que
_

b,
1
(z a)
2
dz
(z b)
=
2i
(b a)
2
.
57
+1
a
b
+1
+1
+1
Il resulte de la formule de Cauchy (en a cette fois) pour les derivees que
_

a,
1
(z b)
dz
(z a)
2
= 2i
d
dz
_
1
z b
_
z=a
=
2i
(a b)
2
.
Le resultat nal est donc
I = 3
2i
(b a)
2
+
2i
(b a)
2
=
4i
(b a)
2
.
Comme I ,= 0, la forme f(z) dz nest pas exacte dans C a, b.
58 Texte et corrige du DM1 - 2009-2010
Chapitre 11
Texte et corrige du DM1 -
2010-2011
Nota. Les renvois aux resultats du cours font reference au polycopie de P. Char-
pentier en ligne :
http://www.math.u-bordeaux1.fr/~pcharpen/enseignement
/fichiers-master1/Analyse_Complexe.pdf
Probl`eme I (un theor`eme de lapplication ouverte topologique ).
I.1 Soit f une application continue injective de D(0, 1) dans C. Pour tout s dans
[0, 1], on consid`ere le lacet

s
: t [0, 1] f
_
e
2it
1 + s
_
f
_
s
e
2it
1 + s
_
.
a) Rappeler ce quest la relation dequivalence correspondant `a lhomotopie entre
lacets libres (dans louvert C

). Quel est le groupe dhomotopie de C

(pour cette
relation dequivalence) ?
Deux lacets continus
0
: [0, 1] C

et
1
: [0, 1] C

sont homotopes (consideres


comme lacets continus de C

`a extremites libres dans C

) si et seulement si il existe
une application continue F : [0, 1] [0, 1] C

telle que
t [0, 1], F(t, 0) =
0
(t)
t [0, 1], F(t, 1) =
1
(t)
s [0, 1], F(0, s) = F(1, s) .
Le groupe dhomotopie de C

pour cette relation dequivalence est isomorphe au


groupe dhomotopie de C

pour la relation dequivalence entre lacets dorigine-


extremite marquee a C

, cest-`a-dire au groupe
1
(C

, a) qui ne depend pas de a (`a


isomorphisme pr`es) et est le groupe
1
(C

) Z. Lisomorphisme est ici materialise


par
1
(C

) Ind(, 0) = deg() Z (on choisit un representant arbitraire


de la classe dhomotopie ).
b) Montrer que tous les
s
, s [0, 1], sont des lacets continus de support dans C

et
que
0
et
1
sont homotopes dans lhomotopie entre lacets libres dans C

. En deduire
Ind(
0
, 0) = Ind(
1
, 0).
59
60 Texte et corrige du DM1 - 2010-2011
La denition de
s
est licite car, pour tout t [0, 1], les points
z
1
(t, s) =
e
2it
1 + s
, z
2
(t, s) = s
e
2it
1 + s
sont des points de D(0, 1) (ensemble o` u f est denie) lorsque s [0, 1]. Dautre
part, ces deux points z
1
(t, s) et z
2
(t, s) sont distincts, car
z
1
(t, s) = z
2
(t, s) = s = 1 ,
ce qui est exclu. Linjectivite de f assure donc f(z
1
(t, s)) ,= f(z
2
(t, s)) lorsque (s, t)
parcourt [0, 1] [0, 1]. Le lacet
s
a donc son support dans C

pour tout s [0, 1].


Cest un lacet continu comme compose dapplications continues.
Pour realiser une homotopie entre lacets libres (de C

) entre
0
et
1
, on pose, pour
(t, s) [0, 1] [0, 1],
F(t, s) =
s
(t) .
La fonction F est une fonction continue de [0, 1]
2
dans C

, avec F(0, s) = F(1, s)


pour tout s [0, 1]. La fonction F realise ainsi (par denition, rappelee au I.1.a)
ci-dessus) lhomotopie entre lacets libres dans C

entre les lacets


0
(s = 0) et
1
(s = 1).
Comme la forme dz/z est fermee dans C

et que
0
et
1
sont homotopes dans
lhomotopie entre lacets libres de C

, on a (Theor`eme I.3.1 du cours)


Ind(
0
, 0) =
1
2i
_

0
dz
z
=
1
2i
_

1
dz
z
= Ind(
1
, 0) .
I.2 Montrer quil existe une fonction continue c
1
: [0, 1] C telle que lon ait

1
(t) = exp(c
1
(t)) pour tout t [0, 1]. Verier
1
quil existe deux entiers relatifs k
1
et l
1
tels que
t [0, 1/2] , c
1
(t + 1/2) c
1
(t) = (2k
1
+ 1)i
t [1/2, 1] , c
1
(t 1/2) c
1
(t) = (2l
1
+ 1)i.
Comme
1
est un lacet de C

, il existe un rel`evement continu c


1
: [0, 1] C tel
que
1
(t) = exp(c
1
(t)). Il sut pour cela de remarquer que la forme dz/z est fermee
dans C

, donc localement exacte au voisinage du support de


1
, puis de choisir (il
en existe dapr`es la Proposition I.3.1 du cours) une primitive F de dz/z le long de

1
. Si t
0
[0, 1], on sait (toujours la Proposition I.3.1, couplee avec la Denition
I.3.2) que F coincide dans un voisinage V ((t
0
)) de (t
0
) avec une determination
F
t
0
du logarithme (i.e. une primitive de dz/z). Si t est assez voisin de t
0
pour
que (t) V ((t
0
)), on a donc (t) = exp[F
t
0
((t))] = exp[F((t))]. La fonction
c
1
= F
1
convient donc.
On remarque que, si t [0, 1/2],

1
(t + 1/2) = f
_

1
2
e
2it
_
f
_
1
2
e
2it
_
=
1
(t) ,
1
On se servira du fait que
1
(t +1/2) =
1
(t) pour tout t [0, 1/2],
1
(t 1/2) =
1
(t) pour
tout t [1/2, 1].
61
et donc
t [0, 1/2], exp
_
c
1
(t + 1/2) c
1
(t)
_
= 1 .
Comme la fonction
t c
1
(t + 1/2) c
1
(t)
est continue sur [0, 1/2], et `a valeurs dans le reseau i(2Z + 1), elle est constante,
egale `a (2k
1
+ 1)i ; cest la premi`ere formule voulue. On a aussi, si t [1/2, 1],

1
(t 1/2) = f
_

1
2
e
2it
_
f
_
1
2
e
2it
_
=
1
(t) ,
donc aussi
t [0, 1/2], exp
_
c
1
(t 1/2) c
1
(t)
_
= 1 .
Comme la fonction
t c
1
(t 1/2) c
1
(t)
est continue sur [1/2, 1], et `a valeurs dans le reseau i(2Z + 1), elle est constante,
egale `a (2l
1
+ 1)i ; cest la seconde formule demandee.
I.3 En veriant, pour tout t [0, 1/2], que
c
1
(t + 1/2) = c
1
(t + 1/2) + 2(k
1
+ l
1
+ 1)i ,
montrer que k
1
,= l
1
, puis que Ind(
1
, 0) = k
1
l
1
,= 0. Deduire de I.1 que lon a
necessairement Ind(
0
, 0) ,= 0.
On combine la premi`ere formule etablie au I.2 avec la seconde (mais ecrite cette fois
au point t + 1/2 qui appartient bien `a [1/2, 1] lorsque t [0, 1/2]). Cela donne :
c
1
(t + 1/2) = c
1
(t) + (2k
1
+ 1)i =
_
c
1
(t + 1/2) + (2l
1
+ 1)i
_
+ (2k
1
+ 1)i.
Ceci est legalite voulue, dont lon deduit immediatement k
1
+ l
1
+ 1 = 0. Comme
k
1
et l
1
sont des entiers, k
1
= l
1
= 1/2 est impossible et lon a bien k
1
,= l
1
.
La premi`ere relation etablie au I.2, ecrite en t = 0, donne
c
1
(1/2) c
1
(0) = (2k
1
+ 1)i ; ()
la seconde relation, ecrite en t = 1, donne
c
1
(1/2) c
1
(1) = (2l
1
+ 1)i. ()
En retranchant () de (), on trouve c
1
(1) c
1
(0) = 2(k
1
l
1
)i. Or on a aussi
c
1
(1) c
1
(0) = 2iInd(
1
, 0) puisque
1
(t) = exp(c
1
(t)) pour t [0, 1] (c
1
est un
rel`evement de
1
). Comme k
1
,= l
1
, on a Ind(
1
, 0). Les indices Ind(
1
, 0) et Ind(
0
, 0)
etant egaux (voir I.1.b)), on a donc aussi Ind(
0
, 0) ,= 0.
I.4 On suppose que f(0) est un point fronti`ere de f(D(0, 1)). Montrer quil existe
une suite (w
n
)
n
de nombres complexes tendant vers f(0) et tels que le lacet
n
:
t [0, 1] f(e
it
) w
n
ait son support dans C

et soit dindice nul par rapport `a


lorigine
2
.
2
On utilisera pour cela en le justiant le fait quune fonction continue ne sannulant pas dans
D(0, 1) secrit comme lexponentielle dune fonction continue dans D(0, 1).
62 Texte et corrige du DM1 - 2010-2011
Si f(0) est un point de la fronti`ere de f(D(0, 1)), il existe une suite de points (w
n
)
n0
convergeant vers f(0), avec
w
n
/ f(D(0, 1)) .
Pour chaque tel w
n
, n N, la fonction
z f(z) w
n
ne sannule pas dans D(0, 1) et y admet un logarithme continu g
n
. Le lacet

n
: t [0, 1] f(e
2it
) w
n
est donc bien un lacet de C

, dont le degre (i.e. lindice par rapport `a lorigine) vaut


deg
n
= Ind(
n
, 0) =
1
2i
(g
n
(
n
(1)) g
n
(
n
(0))) = 0 .
I.5 Montrer (en utilisant le theor`eme de Rouche, version topologique) que Ind(
n
, 0) =
deg
0
pour n assez grand et conclure `a une contradiction.
Soit
: t [0, 1] e
2it
le lacet correspondant au cercle unite parcouru une fois dans le sens trigonometrique.
On a

0
= h
avec h(z) = f(z) f(0) et

n
= h
n

avec h
n
(z) = f(z) w
n
. Si [w
n
f(0)[ verie [w
n
f(0)[ < min
|z|=1
[h[/2, ce qui est
realise si n n
0
, n
0
etant choisi assez grand, on a
[h h
n
[ [h[
sur le support de . Le theor`eme de Rouche version topologique (Proposition I.4.5
du cours) assure alors
Ind(
n
, 0) = Ind(
0
, 0) = deg
0
.
Il y a ici une contradiction car Ind(
n
, 0) = 0 (voir la question I.4) tandis que
Ind(
0
, 0) = deg
0
,= 0 (voir la question I.3). La contradiction reside dans lhy-
poth`ese consistant `a supposer que f(0) etait `a la fronti`ere de f(D(0, 1)). Le point
f(0) est donc interieur `a f(D(0, 1)).
I.6 Montrer que si U est un ouvert de C et si f est une application injective continue
de U dans C, f(U) est un ouvert.
Si z
0
est un point de U, il existe un disque ferme D(z
0
, r) contenant z
0
et inclus dans
U. En appliquant ce qui prec`ede (de I.1 `a I.5) `a la fonction
D(0, 1) f(z
0
+ r)
(qui est bien une fonction injective et continue de D(0, 1) dans C), on voit que f(z
0
)
est interieur `a f(D(z
0
, r)), donc interieur `a f(U). Ceci montre que f(U) est voisinage
de tous ses points, et est donc ouvert.
63
Probl`eme II (de Cauchy Pompeu `a lidentite algebrique de Bezout).
Soient p
1
, ..., p
m
m polynomes de n variables sans zeros communs dans C, avec
d = max(deg p
j
) > 0.
II.1 Montrer que pour tout z C, la fonction
C z
m

j=1
_
p
j
()

m
j=1
[p
j
()[
2
_
p
j
() p
j
(z)
z
se prolonge en une fonction Q
z
de classe C
1
dans C. Calculer Q
z
()(z ) + 1.
Si z est xe et j 1, ..., m, la singularite en = z de la fonction
C z
p
j
() p
j
(z)
z
()
est eliminable puisque lon a, pour tout entier k 1, les identites remarquables

k
z
k
= ( z)
k1

l=0

k1l
z
l
.
Il sut ensuite dexploiter le fait que p
j
est une somme de monomes. Chaque fonction
(*), z etant xe, se prolonge donc en une fonction enti`ere (en fait un polynome de
degre deg p
j
1 dont les coecients sont eux memes polynomiaux en le param`etre
z). Dautre part, pour j = 1, ..., m, la fonction
C
p
j
()

m
j=1
[p
j
()[
2
=
p
j
()

m
l=1
[p
l
()[
2
est C

puisque son denominateur ne sannule pas et que lon compose des fonctions
holomorphes ou antiholomorphes (ici en loccurrence des fonctions polynomiales de
la variable complexe et leurs conjuguees) qui sont donc C

.
Le calcul demande donne
Q
z
()(z ) + 1 = 1 +
m

j=1
p
j
()(p
j
(z) p
j
())

m
l=1
[p
l
()[
2
=
m

j=1
_
p
j
()

m
l=1
[p
l
()[
2
_
p
j
(z).
II.2 Soit R > 0 et z un point du disque ouvert D(0, R). Representer au point z avec
la formule de Cauchy-Pompeu (que lon rappellera) la fonction
D(0, R) (Q
z
()(z ) + 1)
2
.
Si est une fonction de classe C
1
au voisinage du disque ferme D(0, R), la formule
integrale de Cauchy-Pompeu (Proposition I.2.1 du cours) donne (si les coordonnees
reelles de la variable complexe muette sous les integrales sont notees et , i.e
64 Texte et corrige du DM1 - 2010-2011
= + i)
z D(0, R), (z) =
1
2i
_

R
()
z
d
1

_ _
D(0,R)

()
d d
z
=
1
2i
__

R
()
z
d
_ _
D(0,R)

()
d d
z
_
=
1
2i
__

R
()
z
d
_ _
D(0,R)
() d
z
_
.
si lon convient de noter
() :=

() d
et
R
le lacet continu t [0, 2] Re
it
. On applique ici cette formule `a la fonction
(Q
z
()( z) + 1)
2
=
z
()
(z etant un point de D(0, R)). La r`egle de Leibniz et le fait que z soit
holomorphe nous donnent apr`es calcul

z
() = 2[Q
z
()( z) + 1] ( z)

[Q
z
()]
= 2( z)
m

j=1
m

k=1
_
p
j
()

m
l=1
[p
l
()[
2
_
p
k
() p
k
(z)
z

_
p
k
()

m
l=1
[p
l
()[
2
_
p
j
(z).
Comme
_
Q
z
()( z) + 1
_
=z
= 1,
la formule de Cauchy-Pompeu, appliquee `a la fonction
z
, donne donc au point z
(en notant pour simplier |p()|
2
:=

m
l=1
[p
j
()[
2
) :
1 =
1
2i
m

j=1
m

k=1
_
_

R
p
j
() p
k
()
|p()|
4
d
z
_
p
j
(z)p
k
(z)
+
i

j=1
_
m

k=1
_ _
D(0,R)
p
j
()
|p()|
2
p
k
() p
k
(z)
z

_
p
k
()
|p()|
2
_
d
_
p
j
(z).
II.3 En xant z et en faisant tendre R vers linni dans la formule etablie `a la
question II 2), construire m polynomes q
1
, ..., q
m
`a coecients complexes tels que
1 =
m

j=1
p
j
(z)q
j
(z) , z C.
Quelle autre methode (algebrique cette fois) permet aussi de calculer de tels po-
lynomes q
j
?
Pour 1 j, k m, on a

p
j
() p
k
()
|p()|
4


1
|p()|
2


[z[
2d
pour [z[ >> 1
65
et une certaine constante positive . Il resulte de ces estimations que si z est xe et
si R > [z[ tend vers linni, on a
lim
R+
_

R
p
j
() p
k
()
|p()|
4
d
z
= 0
puisque cette integrale est majoree en module par 2R (R
2d
) 1/(R [z[) et
que 2d > 0. Il en resulte donc que lon deduit de la formule de representation etablie
au II.2 lidentite :
1 =
i


lim
R+
m

j=1
_
m

k=1
_ _
D(0,R)
p
j
()
|p()|
2
p
k
() p
k
(z)
z

_
p
k
()
|p()|
2
_
d
_
p
j
(z).
Lorsque z est xe, le terme sous chacune des integrales gurant au second membre
de cette formule est C

(comme fonction de ) et majore en module pour [| >> 1


par

[[
d
C(z)[[
d1

[[
d+1

C(z)
[[
d+2
.
Comme d + 2 3 > 2, il resulte du crit`ere de Riemann la convergence sur C
(au sens de Lebesgue) de toutes les integrales doubles gurant au second membre de
legalite ci dessus. On deduit donc du theor`eme de convergence dominee de Lebesgue
lidentite :
1 =
i

j=1
_
m

k=1
_ _
C
p
j
()
|p()|
2
p
k
() p
k
(z)
z

_
p
k
()
|p()|
2
_
d
_
p
j
(z).
On reconnait en chaque fonction
z C
m

k=1
_ _
C
p
j
()
|p()|
2
p
k
() p
k
(z)
z

_
p
k
()
|p()|
2
_
d
une fonction polynomiale q
j
en la variable z, de degre dailleurs majore par d 1.
Lidentite obtenue est donc bien de la forme
1 =
m

j=1
q
j
(z)p
j
(z)
requise.
Lautre procede (algebrique celui l`a) pour recuperer une identite de cette forme
est lalgorithme dEuclide etendu applique `a p
1
et `a une combinaison lineaire de
p
1
, p
2
, ..., p
m
(il en existe car p
1
, ..., p
m
sont supposes navoir aucun zero commun)
qui ne sannule en aucun zero de p
1
.
Probl`eme III (vers les fonctions holomorphes en deux variables).
Soit f une fonction continue dans D(0, 1) D(0, 1), telle que pour tout w dans
D(0, 1), la fonction f
w
: z f(z, w) soit holomorphe dans le disque ouvert D(0, 1)
et que, pour tout z dans D(0, 1), la fonction f
z
: w f(z, w) soit holomorphe dans
le disque D(0, 1).
66 Texte et corrige du DM1 - 2010-2011
III.1 Montrer que f se represente dans D(0, 1) D(0, 1) sous la forme
f(z, w) =
1
4
2
_ _
[0,2]
2
f(e
i
, e
i
)
(e
i
z)(e
i
w)
d d (z, w) D(0, 1) D(0, 1)
et en deduire
3
que, si (z
0
, w
0
) D(0, 1) D(0, 1), f se developpe dans le produit de
disques ouverts D(z
0
, 1 [z
0
[) D(0, 1 [w
0
[) sous la forme
f(z, w) =

k=0

l=0
a
z
0
,w
0
,k,l
(z z
0
)
k
(w w
0
)
l
,
o` u les coecients a
z
0
,w
0
,k,l
(que lon explicitera sous forme dintegrales) sont tels que

k=0

l=0
[a
z
0
,w
0
,k,l
[r
k
s
l
< r [0, 1 [z
0
[[, s [0, 1 [w
0
[[.
On note : t [0, 2] e
it
. Si (z, w) D(0, 1)D(0, 1), il resulte de lholomorphie
de f
z
dans D(0, 1) et de la continuite de f dans D(0, 1) que lon a la formule de
representation de Cauchy (Corollaire 3 du Theor`eme II.1.3 du cours)
f(z, w) = f
z
(w) =
1
2i
_

f(z, u)
u w
du =
1
2
_
2
0
f(z, e
i
)
e
i
z
d.
On utilise ensuite le fait que f
u
est holomorphe pour tout u dans D(0, 1) (en parti-
culier lorsque [u[ = 1) et lon applique une fois de plus la formule de Cauchy, cette
fois pour chaque f
u
() lorsque [u[ = 1. On obtient ainsi
f(z, w) =
1
2
_
2
0
f(z, e
i
)
e
i
z
d =
1
2
_
2
0
_
_

f(, e
i
) d
z
_
d
=
_
1
2
_
2
_
2
0
_
_
2
0
f(e
i
, e
i
)
e
i
z
d
_
d
e
i
w
.
Puisque f est continue (donc bornee en module) dans D(0, 1) D(0, 1) et que z, w
sont tous deux de module strictement inferieur `a 1, la fonction
(, )
f(e
i
, e
i
)
(e
i
z)(e
i
w)
est integrable (car bornee en module) sur [0, 2]
2
et le theor`eme de Fubini permet
de conclure `a la formule
f(z, w) =
1
4
2
_ _
[0,2]
2
f(e
i
, e
i
)
(e
i
z)(e
i
w)
d d (z, w) D(0, 1) D(0, 1) ()
voulue.
`
A ce stade, on reprend pour obtenir le developpement de f au voisinage dun point
(z
0
, w
0
) de D(0, 1) D(0, 1) la preuve du Theor`eme II.1.3 du cours (implication
3
On sinspirera pour cela de la preuve du theor`eme II.1.3 du polycopie.
67
(1) = (2) de cet enonce). On part pour cela de la formule de representation ()
reecrite :
f(z, w) =
1
4
2
_
[0,2]
2
f(e
i
, e
i
)
_
(e
i
z
0
) (z z
0
)
__
(e
i
w
0
) (w w
0
)
_ dd,
puis on developpe en serie de puissances de z z
0
et w w
0
(pourvu que [z z
0
[ <
1 [z
0
[ et [w w
0
[ < 1 [w
0
[ puisque ces bornes 1 [z
0
[ et 1 [w
0
[ representent
respectivement le minimum des fonctions [0, 2] [e
i
z
0
[ et [0, 2]
[e
i
w
0
[)
1
_
(e
i
z
0
) (z z
0
)
__
(e
i
w
0
) (w w
0
)
_ =
=

k=0

l=0

z
0
,w
0
,k,l
(, )(z z
0
)
k
(w w
0
)
l
, ()
o` u

z
0
,w
0
,k,l
(, ) :=
1
(e
i
z
0
)
k+1
(e
i
w
0
)
l+1
.
Notons que lon a, pour tout r [0, 1 [z
0
[[, pour tout s [0, 1 [w
0
[[,

k=0

l=0
sup
[0,2]
2
[
z
0
,w
0
,k,l
(, )[ r
k
s
l
=
=
1
(1 [z
0
[)(1 [w
0
[)

k=0
_
r
1 [z
0
[
_
k

l=0
_
s
1 [w
0
[
_
l
=
1
(1 [z
0
[ r)(1 [w
0
[ s)
< +.
On peut donc inserer ce developpement () sous lintegrale dans la formule de
representation () pour obtenir, toujours sous les conditions [z z
0
[ < 1 [z
0
[ et
[w w
0
[ < 1 [w
0
[, le developpement
f(z, w) =
=

k=0

l=0
_
1
4
2
_ _
[0,2]
2
f(e
i
, e
i
)
(e
i
z
0
)
k+1
(e
i
w
0
)
l+1
dd
_
(z

z
0
)
k
(w w
0
)
l
,
( )
qui fournit le resultat demande, si lon pose
a
z
0
,w
0
,k,l
=
1
4
2
_ _
[0,2]
2
f(e
i
, e
i
)
(e
i
z
0
)
k+1
(e
i
w
0
)
l+1
dd.
Notons que lon a bien, si 0 r < 1 [z
0
[ et 0 s < 1 [w
0
[,

k=0

l=0
[a
z
0
,w
0
,k,l
[r
k
s
l

sup
[0,2]
2 [f(e
i
, e
i
)[
(1 [z
0
[ r)(1 [w
0
[ s)
< +.
III.2 On suppose que f ne sannule pas dans [z[ = 1 D(0, 1). Montrer que
pour tout w D(0, 1), f
w
na quun nombre ni de zeros (chacun compte avec sa
68 Texte et corrige du DM1 - 2010-2011
multiplicite) dans D(0, 1) et que ce nombre ne depend pas de w. On lappelle dans
la suite p.
Les zeros de la fonction f
w
dans le disque unite sont par hypoth`eses tous inclus dans
un disque D(0, 1 ) avec > 0 puisque la fonction f est uniformement continue
sur le compact D(0, 1) D(0, 1) et ne sannule pas sur [z[ = 1 D(0, 1). On note

1
le lacet t [0, 2] (1 )e
it
. Le nombre de zeros de f
w
dans D(0, 1) (ou, ce
qui revient au meme, dans D(0, 1 )) est donc donne par le theor`eme de Rouche
(Proposition II.3.5 du cours) :
N(f
w
) =
1
2i
_

1
f

w
()
f
w
()
d
et varie donc continuement en fonction du param`etre w (on peut aussi invoquer la
Proposition II.3.6 en prenant pour K le disque D(0, 1 ) et en raisonnant avec f
w
0
et f
w
pour w voisin de w
0
). Comme w D(0, 1) N(f
w
) est une fonction continue
`a valeurs dans N, elle est constante, egale `a un entier p N.
III.3 Montrer
4
quil existe des fonctions a
1
, ..., a
p
holomorphes dans D(0, 1), telles
que, dans D(0, 1) D(0, 1),
f(z, w) = (z
p
+a
1
(w)z
p1
+ + a
p1
(w)z + a
p
(w))g(z, w) ,
o` u g est une fonction continue de D(0, 1) D(0, 1) dans C

telle que, pour tout


w D(0, 1), z g(z, w) soit une fonction holomorphe dans D(0, 1) (et vice versa
en echangeant z et w). Les zeros de f dans D(0, 1) D(0, 1) peuvent-ils etre des
points isoles ?
La k-i`eme somme de Newton des p racines
j
(w) de f
w
vaut
S
k
(w) =
p

j=1

k
j
(w) =
1
2i
_

k
f

w
()
f
w
()
d
dapr`es le Theor`eme des residus (Proposition II.3.4 du cours). Le theor`eme de
derivation des integrales fonctions dun param`etre complexe
5
montre que lintegrale
`a param`etres (en loccurrence ici w) ci dessus est une fonction holomorphe de ce pa-
ram`etre w D(0, 1). On dispose dautre part des relations de Newton
(1)
k

k
(w) =
k1

l=0

l
S
kl
(w), k = 1, ..., p,
0
= 0
pour exprimer les fonctions symetriques elementaires
k
(w), k = 1, ..., p, des
j
(w),
j = 1, ..., p, comme des expressions polynomiales en les S
k
(w), donc aussi comme
des fonctions holomorphes dans D(0, 1). Si lon pose a
k
(w) = (1)
j

k
(w) pour
k = 1, ..., p, on a
z
p
+ a
1
(w)z
p1
+ + a
p1
(w)z +a
p
(w) =
p

j=1
(
j
(w))
4
On rappellera les relations de Newton reliant les sommes de Newton S
1
, ..., S
p
de p nombres
aux fonctions symetriques elementaires
1
, ...,
p
de ces memes p nombres.
5
Voir par exemple le Theor`eme 3.4 dans le polycopie en ligne du cours de MHT512 :
http ://www.math.u-bordeaux1.fr/yger/mht512.pdf
69
et lon peut donc ecrire, pour w D(0, 1),
f(z, w) = (z
p
+a
1
(w)z
p1
+ + a
p1
(w)z + a
p
(w))g
w
(z),
o` u g
w
est une fonction holomorphe dans D(0, 1) ne sannulant pas dans ce disque.
Si lon pose g
w
(z) = g(z, w), il reste `a verier que, pour tout z D(0, 1), la fonction
w g(z, w) est encore holomorphe. Le principe du maximum applique `a la fonction
g
w
dans D(0, 1) implique que pour tout w D(0, 1), pour tout z D(0, 1),
[g
w
(z)[
p
sup
D(0,1)D(0,1)
[f[
car [
j
(w)[ pour tout de module 1 et tout w dans D(0, 1). La fonction
(z, w) g(z, w)
est donc bornee dans D(0, 1) D(0, 1). Si z
0
est tel que la fonction
w z
p
0
+ a
1
(w)z
p1
0
+ + a
p1
(w)z
0
+ a
p
(w)
nest pas identiquement nulle dans D(0, 1), alors la fonction
w
f(z, w)
z
p
0
+ a
1
(w)z
p1
0
+ + a
p1
(w)z
0
+a
p
(w)
= g(z
0
, w)
est une fonction meromorphe dans D(0, 1) et bornee, donc de singularites elimi-
nables ; cest donc bien une fonction holomorphe de la variable w. Si maintenant
exactement 1 p des racines
j
(w) sont identiquement egales `a z
0
pour tout
w D(0, 1), on remarque que
z
p
+ a
1
(w)z
p1
+ + a
p1
(w)z +a
p
(w) =
= (z z
0
)

(z
p
+
1
(w)z
p1
+ +
p
(w)),
o` u les fonctions
j
sont holomorphes dans D(0, 1) et la fonction
w D(0, 1) z
p
0
+
1
(w)z
p1
0
+ +
p
(w)
nest pas identiquement nulle. Dapr`es le developpement local en serie double ( )
etabli en n de question III.1, la fonction f sexprime dans D(0, 1) D(0, 1) sous
la forme f(z, w) = (z z
0
)


f(z, w), o` u la fonction

f est telle que la fonction

f
z
0
:
w

f(z
0
, w) est une fonction holomorphe dans D(0, 1) non identiquement nulle
dans D(0, 1), avec

f(z
0
, z) = (z
p
0
+
1
(w)z
p1
0
+ +
p
(w)) g(z
0
, w).
La fonction
w D(0, 1) g(z
0
, w) =

f(z
0
, z)
z
p
0
+
1
(w)z
p1
0
+ +
p
(w)
est donc encore une fonction meromorphe bornee dans D(0, 1), donc une fonction
meromorphe `a singularites eliminables (on se ram`ene donc ainsi au cas o` u f(z
0
, w) ,
0 dans D(0, 1)). Pour tout z D(0, 1), la fonction w D(0, 1) g(z, w) est donc
bien analytique dans D(0, 1).
70 Texte et corrige du DM1 - 2010-2011
Chapitre 12
Texte et corrige du DM2 -
2010-2011
I. La formule de Jensen.
I.1. Soit u une fonction harmonique dans la couronne ouverte du plan complexe
r
1
< [z[ < r
2
, o` u 0 < r
1
< r
2
. En utilisant la premi`ere formule de Green
(Proposition III.1.1 du cours), montrer que la fonction
M
u
: r ]r
1
, r
2
[
1
2
_
2
0
u(re
i
) d
est, sur ]r
1
, r
2
[, de la forme M
u
(r) = a log r +b, o` u a et b sont deux constantes.
Si u est une fonction harmonique (donc C

) dans la couronne r
1
< [z[ < r
2
, la
fonction
t f(e
t
) =
1
2
_
2
0
u(e
t+i
) d
est de classe C
1
dans ] log r
1
, log r
2
[ et se dierentie en utilisant le theor`eme (elementaire
ici) de derivation des integrales fonction dun param`etre. On a
d
dt
[u(e
t
cos , e
r
sin )] = e
t
u(e
t
cos , e
t
sin ),

) ,
o` u

= (cos , sin ) est le vecteur


ext
au point
(e
t
cos , e
t
sin )
du bord du disque D(0, e
t
). On a donc
d
dt
[f(e
t
)] =
1
2
_
2
0
u

ext
(e
t
cos , e
t
sin ) e
t
d
=
1
2
_
D(0,e
t
)
u

ext
(y) d(y).
La premi`ere formule de Green (Proposition III.1.1), ou encore formule de la diver-
gence , implique que si r
1
< e
t

< e
t
< r
2
on a
_
D(0,e
t
)
u

ext
(y) d(y)
_
D(0,e
t

)
u

ext
(y) d(y)
=
_
e
t

<|y|<e
t
u(y)d(y) = 0.
71
72 Texte et corrige du DM2 - 2010-2011
La derivee de t f(e
t
) est donc constante, ce qui prouve que cette fonction est
ane, ce qui equivaut `a dire que f(r) = a log r +b, a et b etant deux constantes.
I.2. Soit f une fonction holomorphe non identiquement nulle dans la couronne 0 <
[z[ < R, R ]0, ], et
1
, ...,
N
, ... la liste de ses zeros dans cette couronne ouverte,
ranges dans lordre des modules croissants :
0 < [
1
[ [
N
[ < R.
On suppose aussi que f presente une singularite au pire non essentielle (elle peut
etre eliminable) `a lorigine. En utilisant le resultat etabli `a la question I.1 et le
theor`eme de Rouche (Proposition II.3.5 du cours), montrer que si 0 < r
1
< r
2
R
sont tels que f ne sannule pas dans la couronne ouverte r
1
< [z[ < r
2
, on a
r ]r
1
, r
2
[ ,
1
2
_
2
0
log [f(re
i
)[ d = (
f
(r
1
) + (f, 0)) log r + Constante,
o` u
f
(r
1
) designe le nombre de zeros de f (comptes avec leurs multiplicites) dans la
couronne semi-fermee 0 < [z[ r
1
et (f, 0) designe lindice du plus petit k Z
tel que le coecient de Laurent a
k
(f, 0) soit non nul.
La fonction z log [f(z)[ est harmonique dans la couronne r
1
< [z[ < r
2
puisque
f est holomorphe et ne sannule pas dans cette couronne, ce qui implique que log [f[
y est localement la partie reelle dune fonction holomorphe
1
, donc est harmonique
dans cette couronne. Dapr`es le resultat etabli au I.1, il existe deux constantes a
r
1
,r
2
et b
r
1
,r
2
telles que
r ]r
1
, r
2
[ ,
1
2
_
2
0
log [f(re
i
)[ d = a
r
1
,r
2
log r + b
r
1
,r
2
.
Or on a, si
r
: [0, 2] re
i
, r ]r
1
, r
2
[,
a
r
1
,r
2
=
1
2
Re
_
_
2
0
f

(re
i
)
f(re
i
)
re
i
d
_
= Re
_
1
2i
_

r
f

()
f()
d
_
car
d log [f[ =
1
2
_
f

(z)
f(z)
dz +
f

(z)
f(z)
dz
_
et donc, pour t ] log r
1
, log r
2
[,
d
t
log [f(e
t+i
)[ = e
t
Re
_
f

(e
t+i
)
f(e
t+i
)
e
i
_
dt.
Le theor`eme de Rouche (Proposition II.3.5 du cours), applique `a la fonction meromorphe
f dans le disque D(0, r) dont le seul pole est 0 (avec ordre [(f, 0)[) et zeros tous
dans la couronne 0 < [z[ r
1
lorsque r ]r
1
, r
2
[, assure que, si r ]r
1
, r
2
[,
1
2i
_

r
f

()
f()
d = (f, 0) +
f
(r
1
),
1
Une fonction holomorphe et ne sannulant pas dans un disque (ou plus generalement un
ouvert simplement connexe du plan) secrit dans ce disque comme lexponentielle dune fonc-
tion holomorphe, donc le logarithme de son module est (toujours dans ce disque) la par-
tie reelle dune fonction holomorphe. On aurait pu aussi faire un calcul direct en remar-
quant que 2(/z) log[f(z)f(z)] = f

(z)/f(z) et donc que [log [f(z)[


2
] = 2[log [f(z)[] =
2(/z)[f

(z)/f(z)] = 0.
73
do` u la formule demandee.
I.3. En utilisant le theor`eme de convergence dominee de Lebesgue, montrer que, si
est un nombre complexe non nul, la fonction
I

: r ]0, [
1
2
_
2
0
log [re
i
[ d
est une fonction continue de r. En utilisant la formule de la moyenne pour les
fonctions harmoniques (Theor`eme III.2.1 du cours), montrer que I

(r) = log [[ si
r < et en deduire la valeur de I

([[).
Si r > [[, la fonction z z ne sannule pas dans la couronne [z[ > r. Dapr`es
le resultat etabli `a la question I.2, on a donc
r > [[, I

(r) = log r + Constante.


Dautre part, pour, si r < [[, la fonction z log [z [ est la partie reelle dune
fonction holomorphe ne sannulant pas (en loccurrence la fonction z z )
dans D(0, r

) lorsque r < r

< [[. La formule de la moyenne pour les fonctions


harmoniques assure donc que, pour r < [[, on a
I

(r) = (log [z [)
z=0
= log [[.
Il ne reste plus qu`a demontrer que la fonction r I

(r) est bien denie en r = [[


et se trouve etre, ainsi prolongee, une fonction continue sur ]0, [. On en deduira
que la fonction I

est la fonction ane par morceaux de r log r denie sur ]0, [


par
I

(r) = log [[ r ]0, [[] & I

(r) = log r r ][[, +[.


En particulier I

([[) = log [[.


Reste `a prouver la continuite de I

ainsi prolongee en r = [[. Si = [[e


i
0
et
r = [[, la fonction
[ log [re
i
[[ =

log [r(e
i
e
i
0
)[

log [[ + log [e
i(
0
)
1[

est equivalente `a [ log [


0
[[ au voisinage de =
0
. Cette fonction est
integrable au voisinage de =
0
(qui est le seul point de [0, 2] posant probl`eme
au niveau de lintegrabilite). Lintegrale
_
2
0

log [re
i
[

d
est donc bien convergente et la fonction r I

(r) est bien denie pour r = [[,


donc en fait pour tout r ]0, +[. Pour [r [[[ < [[/2 et [
0
[ << 1, on a
(par le theor`eme des obliques inegales)
[re
i
[ r[ sin(
0
)[
r
2
[
0
[
[[
4
[
0
[.
Or

log [
0
[

74 Texte et corrige du DM2 - 2010-2011


est integrable sur ]
0
,
0
+ [. Comme on peut majorer
(r, )

log [re
i
[

par une constante sur


_
(r, ) ; [r [[[ < [[/2 , [
0
[ > modulo 2
_
,
on en deduit lexistence dune fonction integrable sur [0, 2], majorant sur [0, 2] les
fonctions

log [re
i
[

pour tout r tel que [r [[[ < [[/2. Le theor`eme de convergence dominee de
Lebesgue implique donc
lim
n+
_
2
0
log [r
n
e
i
[ d =
_
2
0
log

[[e
i

d
si (r
n
)
n
est une suite tendant vers [[. La fonction r I

(r) est donc bien continue


en [[.
I.4. On reprend la fonction f introduite `a la question I.2. Deduire de I.2 et I.3 que
la fonction
r ]0, R[ M
log |f|
(r) :=
1
2
_
2
0
log [f(re
i
)[ d
sexprime sous la forme
r ]0, R[, M
log |f|
(r) = (f, 0) log r + log [a
(f,0)
(f, 0)[ +
_
r

f
(t)
t
dt , ()
o` u designe un reel quelconque de ]0, [
1
[[. Verier en utilisant le procede somma-
toire dAbel (cest-`a-dire la formule dintegration par parties discr`ete) que lidentite
() se reformule aussi :
r ]0, R[, M
log |f|
(r) = log
_
[a
(f,0)
(f, 0)[ r
(f,0)

f
(r)

j=1
r
[
j
[
_
. ()
Dans le disque ouvert D(0, [
1
[), la fonction meromorphe f (avec comme seul pole
z = 0) se factorise sous la forme
f(z) = a
(f,0)
(f, 0) (z z
0
)
(f,0)
h(z),
o` u h est une fonction holomorphe dans D(0, [
1
[), ne sannulant pas dans ce disque,
et telle que h(0) = 1 ; cela resulte du fait que f admette dans la couronne 0 < [z[ <
[
1
[ un developpement en serie de Laurent convergent
f(z) =

k=(f,0)
a
k
z
k
75
(Proposition II.3.1 du cours). On en deduit donc que, pour r ]0, [
1
[[,
M
log|f|
(r) = log [a
(f,0)
(f, 0)[ + (f, 0) log r +
1
2
_
2
0
log [h(re
i
[ d
= log [a
(f,0)(f,0)
[ +(f, 0) log r + log [h(0)[
= log [a
(f,0)
(f, 0)[ + (f, 0) log r
puisque la fonction z log [h(z)[ est harmonique dans D(0, [
1
[) et verie donc la
propriete de la moyenne. Ceci correspond `a la formule () dans le cas o` u r < [
1
[.
Notons
1,1
, ...,
1,M
1
les zeros de f (comptes avec leurs multiplicites) de module
exactement [
1
[. La fonction h se factorise au voisinage de D(0, [
1
[) sous la forme
h(z) =
M
1

j=1
(z
1,j
)

h(z)
o` u

h est holomorphe et ne sannule pas au voisinage de D(0, [
1
[) et il resulte du
resultat etabli `a la question I.3 que la fonction
r M
log |h|
(r) =
M
1

j=1
I

1,j
(r) + M
log |
e
h|
(r)
est continue au voisinage de r = [
1
[. La fonction
r M
log |f|
(r) = log [a
(f,0)
(f, 0)[ + (f, 0) log r + M
log |h|
(r)
est donc bien continue sur ]0, [
1
[] et la formule
M
log |f|
(r) = log [a
(f,0)
(f, 0)[ + (f, 0) log r
est donc bien valide sur ]R
0
, R
1
] (et meme au voisinage). Supposons () valide dans
]R
k
, R
k+1
] et la fonction M
log |f|
continue au voisinage de R
k+1
. Sur ]R
k+1
, R
k+2
[, on
sait (dapr`es le resultat etabli `a la question I.2) que
M
log |f|
(r) = (
f
(R
k+1
) + (f, 0)) log r + C
k+1
, (12.1)
o` u C
k+1
est une certaine constante. Pour determiner cette constante, on utilise le fait
que la fonction M
log |f|
est continue en R
k+1
et que () est valide pour r ]R
k
, R
k+1
]
pour armer (en comparant les limites `a gauche et `a droite de M
log |f|
en R
k+1
) que
(
f
(R
k+1
) + (f, 0)) log R
k+1
+ C
k+1
= (f, 0) log R
k+1
+ log [a
(f,0)
[ +
_
R
k+1

f
(t)
t
dt. (12.2)
En reportant (12.2) dans (12.1), on trouve, pour r ]R
k+1
, R
k+2
[,
M
log |f|
(r) = log [a
(f,0)
[ + (f, 0) log r +
_
R
k+1

f
(t)
t
dt
+
f
(R
k+1
)(log r log R
k+1
)
= log [a
(f,0)
[ + (f, 0) log r +
_
R
k+1

f
(t)
t
dt
+
f
(R
k+1
)
_
r
R
k+1
dt
t
= log [a
(f,0)
[ + (f, 0) log r +
_
r

f
(t)
t
dt
76 Texte et corrige du DM2 - 2010-2011
dapr`es la relation de Chasles. Comme dans le cas k = 0, on verie, en introduisant
les zeros de f
k+2,j
, j = 1, ..., M
k+2
de module R
k+2
que la fonction
r M
log |f|
(r)
est continue en R
k+2
; en eet, f sexprime dans la couronne R
k+1
< [z[ R
k+2

sous la forme
f(z) =
M
k+2

j=1
(z
k+2,j
) h
k+1
(z),
o` u h
k+1
est une fonction holomorphe et sans zeros au voisinage de la couronne
R
k+1
< [z[ R
k+2
, ce qui permet decrire, pour R
k+1
< [z[ R
k+2
,
M
log |f|
(z) =
M
k+2

j=1
I

k+2,j
(r) +M
log |h
k+1
|
(r),
et de conclure `a la continuite de cette fonction en r = R
k
en utilisant les resultats
des questions I.1 et I.3. La formule () est aussi valide en r = R
k+1
par continuite.
La formule () est ainsi demontree par recurrence.
Lorsque r [R
k
, R
k+1
[ et k 1, le procede dAbel permet de re-exprimer lintegrale
_
r

f
(t)
t
dt =
_
R
1

f
(t)
t
dt +
k1

j=1
_
R
j+1
R
j

f
(t)
t
dt +
_
r
R
k

f
(t)
t
dt
=
k1

j=1

f
(R
j
) (log R
j+1
log R
j
) +
f
(R
k
)(log r log R
k
)
=
f
(r) log r
k

j=1
(
f
(R
j
)
f
(R
j1
)) log R
j
=
f
(r) log r
k

j=1
_
M
j

l=1
log [
j,l
[
_
=
f
(r) log r

f
(R
k
)

j=1
log [
j
[
=
f
(r) log r

f
(r)

j=1
log [
j
[ = log
_

f
(r)

j=1
r
[
j
[
_
. (12.3)
La meme identite vaut lorsque k = 1. Lorsque k = 0, on a bien s ur, pour tout
r ]R
0
, R
1
[=]0, R
1
[,
_
r

f
(t)
t
dt = 0. (12.4)
En ajoutant aux formules (12.3) (si k 1) ou (12.4) (sur ]0, R
1
[) ainsi obtenues
log([a
(f,0)
(f, 0)[ r
(f,0)
)
on transforme bien la relation () sur [R
k
, R
k+1
[, k 1 en la relation (). La meme
chose vaut sur ]R
0
, R
1
[=]0, R
1
[ et la formule () est ainsi bien demontree pour
r ]0, R
1
[

k1
[R
k
, R
k+1
[=]0, R[ (sil ny a quun nombre ni de zeros pour f, on
convient de poser, une fois tous les zeros epuises, R
k+1
= R).
77
I.5. Si P = a
0
X
N
+ + a
N1
X + a
N
est un polynome `a coecients complexes
de degre exactement N non nul en 0, de racines complexes
1
, ...,
N
(comptees avec
leurs multiplicites), deduire de la formule () etablie au I.4 que
exp
_
1
2
_
2
0
log [P(e
i
)[d
_
= [a
0
[
N

j=1
max([
j
[, 1).
Montrer que, si P est de plus `a coecients entiers, la mesure de Mahler de P denie
par
h(P) :=
1
2
_
2
0
log [P(e
i
)[d
est un nombre positif ou nul ; en deduire que si P Z[X] se factorise sous la forme
P = P
1
P
2
, o` u P
1
, P
2
Z[X], h(P) max(h(P
1
), h(P
2
)).
Comme P est non nul en zero, la formule (), appliquee dans C et exponentiee,
montre que, si
1
, ...,
M
sont les zeros de P (comptes avec leurs multiplicites) dans
le disque ferme D(0, 1)
exp
_
1
2
_
2
0
log [P(e
i
)[d
_
= [P(0)[
M

j=1
1
[
j
[
= [a
N
[
M

j=1
1
[
j
[
= [a
0
[
N

j=M+1
[
j
[ = [a
0
[
N

j=1
max([
j
[, 1) (12.5)
car

N
j=1
[
j
[ = [a
N
[/[a
0
[.
Si P est `a coecients entiers, on a [a
0
[ 1 et par consequent exp(h(P)) 1 dapr`es
legalite (12.5). On a donc h(P) 0. Si P se factorise en P = P
1
P
2
, avec P
1
et P
2
`a
coecients entiers, on a h(P
1
) 0 et h(P
2
) 0. Comme
h(P) = h(P
1
P
2
) = h(P
1
) + h(P
2
)
du fait que log transforme produit en somme, on a bien
max(h(P
1
), h(P
2
)) h(P).
II. La formule de Poisson-Jensen.
II.1. Soit f une fonction holomorphe non identiquement nulle dans la couronne
0 < [z[ < R, presentant une singularite eliminable ou non essentielle en z = 0
((f, 0) Z designant lindice du premier des coecients de Laurent a
k
(f, 0) non
nuls. On note toujours
1
, ...,
N
, ... la liste des zeros de f dans la couronne 0 <
[z[ < R, ordonnes suivant les modules croissants et comptes avec leurs multiplicites.
Pour chaque r ]0, R[, on note
f
(r

) le nombre de zeros de f dans la couronne


0 < [z[ < r. Verier que la fonction f se factorise dans la couronne 0 < [z[ < r
sous la forme
f(z) = z
(f,0)
g
r
(z)

f
(r

j=1
r(z
j
)
r
2

j
z
,
o` u g
r
est une fonction holomorphe dans D(0, r) et ne sannulant pas dans ce disque.
78 Texte et corrige du DM2 - 2010-2011
Le principe des zeros isoles (qui implique la non existence de points daccumulation
pour lensemble des zeros de la fonction holomorphe et non identiquement nulle f
dans D(0, r) lorsque 0 < r < R) implique que
f
(r

) est ni. La fonction polyno-


miale

f
r
: z D(0, r) 0

f
(r

j=1
r(z
j
)
r
2

j
z
sannule dans la couronne 0 < [z[ < r exactement aux memes points que f, avec
les memes multiplicites. La fonction
f
r
: z D(0, r) z
(f,0)

f
r
(z)
est donc une fonction meromorphe dans D(0, R) avec un seul pole eventuel (z = 0)
tel que (f
r
, 0) = (f, 0) et memes zeros que f (les multiplicites etant prises en
compte) dans la couronne 0 < [z[ < r. Il en resulte que
f(z) = f
r
(z) g
r
(z),
o` u g
r
est une fonction holomorphe dans D(0, r) et ne sannulant pas dans ce disque
ouvert.
II.2. Montrer que, pour r ]0, R[, il existe une fonction h
r
holomorphe dans D(0, r)
et telle que g
r
= exp(h
r
) dans D(0, r). En utilisant la formule de representation de
Poisson (Proposition III.4.1 du cours), montrer que
r

]0, r[, z D(0, r

) , log [g
r
(z)[ =
1
2
_

(r

)
2
[z[
2
[r

e
i
z[
2
log [g
r
(r

e
i
)[ d.
La fonction g
r
etant une fonction holomorphe et sans zero dans le disque ouvert
D(0, r) (qui est un ouvert U etoile, donc simplement connexe), il existe
2
une fonction
h
r
, holomorphe dans D(0, r), telle que g
r
(z) = exp(h
r
(z)) dans D(0, r). La formule de
Poisson (Proposition III.4.1 du cours) permet de representer la fonction harmonique
Re h
r
= log [g
r
[ dans le disque D(0, r

) lorsque r

< r, i.e. D(0, r

) D(0, r). La
formule de representation obtenue est exactement la formule demandee (integrer
sur [, ] ou [0, 2] est indierent car la fonction de sous lintegrale est 2-
periodique).
II.3. Deduire de II.1 et de II.2 la formule de representation de Poisson-Jensen :
r ]0, R[, z D(0, r) 0, f(z) ,= 0 = log [f(z)[ =
=
1
2
_

r
2
[z[
2
[re
i
z[
2
log [f(re
i
)[ d + (f, 0) log
[z[
r
+

f
(r

j=1
log
[r(z
j
)[
[r
2

j
z[
(on etablira tout dabord cette formule lorsque r est tel que la fonction f ne sannule
pas sur le cercle de rayon r, puis on approchera ensuite par valeurs inferieures le
cas dun r arbitraire dans ]0, R[).
2
Voir lexercice 2.14, complete ici pour montrer que la fonction g que lon y a construit est en
fait holomorphe dans U lorsque f est holomorphe dans U.
79
On suppose dans un premier temps que f ne sannule pas sur le cercle de rayon r.
Sur le bord de ce cercle, on voit que

r(z
j
)
r
2

j
z

= 1 , j = 1, ...,
f
(r

) (12.6)
car
[r(re
i

j
)[ = [r
2
r
j
e
i
[ = [r
2

j
re
i
[ [0, 2].
On a donc, en utilisant la factorisation de f etablie `a la question II.1 (pour z sur
le cercle de rayon r) et les relations (12.6) (passees au logarithme et integrees sur
[0, 2])
1
2
_

r
2
[z[
2
[re
i
z[
2
log [f(re
i
)[ d
=
1
2
_

r
2
[z[
2
[re
i
z[
2
log [g
r
(re
i
)[ d +(f, 0) log r.
En combinant avec le resultat etabli `a la question II.2, on a donc
1
2
_

r
2
[z[
2
[re
i
z[
2
log [f(re
i
)[ d = log [g(z)[ +(f, 0) log r.
Comme
log [f(z)[ = log [g
r
(z)[ + (f, 0) log [z[ +

f
(r

j=1
log
[r(z
j
)[
[r
2

j
z[
pour tout z D(0, r) tel que f(z) ,= 0, on en deduit la formule demandee lorsque
f ne sannule pas sur le cercle de rayon r. Lorsque r est quelconque, on obtient la
formule en remarquant que, pour tout r ]0, R[, pour tout z D(0, r), la fonction
r
1
2
_

r
2
[z[
2
[re
i
z[
2
log [f(re
i
)[ d
est continue sur [r, R[ grace au theor`eme de convergence dominee de Lebesgue.
80 Texte et corrige du DM2 - 2010-2011
Chapitre 13
Texte et corrige du DM3 -
2010-2011
Autour des theor`emes de Picard
Partie I
Soit un ouvert simplement connexe de C, f une fonction holomorphe dans ,
evitant les deux valeurs 0 et 1, et z
0
un point de .
I.1. Montrer quil existe une unique fonction g holomorphe dans et telle que
Re (g(z
0
) [1/2, 1/2[.
La fonction f est une fonction ne sannulant pas dans louvert simplement connexe
. On peut donc (voir lexercice 2.14) trouver
1
une fonction g holomorphe dans
telle que exp(2ig) f dans . Deux telles fonctions g di`erent dun entier relatif,
puisque leur dierence est une fonction holomorphe dans et que est connexe
(car simplement connexe). Il existe donc bien une unique fonction g holomorphe
dans et telle que exp(2ig(z)) = f(z) si lon impose la condition supplementaire
Re (g(z
0
)) [1/2, 1/2[.
I.2. Montrer que la fonction z (g(z))
2
1 ne sannule pas dans et en
deduire lexistence dune fonction G holomorphe dans et telle que
z , (g(z) G(z))(g(z) + G(z)) = 1.
Comme f evite aussi la valeur 1, la fonction g telle que f exp(2ig) ne peut
prendre une valeur dans Z; elle ne saurait en particulier prendre les valeurs 1 ou
1. Il existe donc (puisque est simplement connexe et pour les memes raisons qu`a
la question I.1) une fonction u holomorphe dans telle que g
2
1 exp(u) dans
. Si lon pose G = exp(u/2), on a bien g
2
1 G
2
, ou encore (g G)(g +G) 1.
I.3. Montrer que lune des deux fonctions g G satisfait [(g G)(z
0
)[ 1. On note
H cette fonction. Montrer quil existe une unique fonction holomorphe h dans ,
telle que H = exp(h) et que Im(h(z
0
)) [, [.
Comme (g(z
0
) G(z
0
))(g(z
0
) + G(z
0
)) = 1, lun des deux nombres [g(z
0
) G(z
0
)[
est de module superieur ou egal `a 1. La fonction H = g G ainsi denie ne sannule
1
Dans lexercice 2.14, on avait trouve une fonction continue g, mais lon peut constater que la
fonction construite est holomorphe lorsque f est holomorphe car elle se presente localement comme
la composee de la fonction f avec une determination holomorphe du logarithme.
81
82 Texte et corrige du DM3 - 2010-2011
pas dans (puisque (g G)(g + G) 1) et secrit donc (toujours puisque est
simplement connexe, et en invoquant largument utilise `a la question I.1) sous la
forme H = exp(h). Deux fonction h satisfaisant cette relation di`erent (puisque
est connexe) dun multiple entier de 2i. Si lon impose la condition supplementaire
Imh(z
0
) [, [, la fonction h satisfaisant exp h H dans est parfaitement
determinee et unique.
I.4. Verier que, pour tout z , on a f(z) = exp(2icosh (h(z)), o` u la fonction
cosinus hyperbolique cosh est denie par cosh w := (e
w
+ e
w
)/2.
Il sut de remarquer que H +
1
H
= 2g, donc, comme H = exp(h), g cosh h dans
. Ceci est `a coupler avec lidentite f exp(2ig) etablie au I.1.
I.5. Deduire de H +
1
H
= 2g et de [H(z
0
)[ 1 linegalite [H(z
0
)[ 1 + 2[g(z
0
)[.
Montrer que [Im(g(z
0
))[ (log [f(z
0
)[)/ et conclure que
[h(z
0
)[ [Imh(z
0
)[ + log [H(z
0
)[
+ log [2g(z
0
)[
+ log
_
2 +
[ log [f(z
0
)[[

_
. (13.1)
On a [H(z
0
)[ 2[g(z
0
)[ +
1
|H(z
0
)|
2[g(z
0
)[ + 1. Dautre part [Imh(z
0
)[ et
[Re h(z
0
)[ = [ log [H(z
0
)[[ = log [H(z
0
)[ log(1 + 2[g(z
0
)[).
On a enn
2[g(z
0
)[ 2[Re (g(z
0
))[ + 2
[ log(f(z
0
))[
2
1 +
[ log(f(z
0
))[

puisque 2Img(z
0
) = log [f(z
0
)[ vu que f(z
0
) = exp(2ig(z
0
)). On a donc bien
nalement
[h(z
0
)[ [Re (h(z
0
))[ +[Im(h(z
0
))[ + log
_
2 +
[ log [f(z
0
)[[

_
.
Partie II (un theor`eme de Bloch-Landau)
Nota : cette partie est une reformulation des exercices 9.1 et 9.2 traites en TD;
seules les notations ont change, par souci de coherence avec celles du probl`eme.
Soit une fonction holomorphe dans un voisinage de D(0, 1) et telle que lon ait

(0) = 1. On pose M = sup


D(0,1)
[(z)[.
II.1. Montrer que
: t [0, 1] t sup[

(z)[ ; [z[ 1 t
est continue sur [0, 1] et en deduire quil existe t
0
> 0 et a D(0, 1) avec [a[ 1t
0
,
[

(a)[ = 1/t
0
et [

(z)[ < 1/t pour t < t


0
et [z[ 1 t.
La fonction

est uniformement continue sur D(0, 1) (puisque est holomorphe


dans un voisinage de ce disque ferme). On en deduit que la fonction
t [0, 1] sup[

(z)[ ; [z[ 1 t
83
(donc aussi son produit avec la fonction t t) est continue en tout point t
0
de [0, 1].
Si en eet (t
k
)
k
est une suite de points tendant vers t
0
, on a
sup
D(0,1t
k
)
[

[ sup
D(0,1t
0
)
[

[
lorsque k tend vers linni ; si ce netait pas le cas, ou pourrait, quitte `a extraire une
sous suite, armer que, pour tout k,

sup
D(0,1t
k
)
[

[ sup
D(0,1t
0
)
[

>
pour un certain > 0 alors que la suite (t
k
)
k
tend vers t
0
, ce qui contredirait
luniforme continuite de

sur D(0, 1) (theor`eme de Heine).


On designe par t
0
la borne inferieure de lensemble (non vide, car contenant 1) des
t [0, 1] tels que
t sup[

(z)[ ; [z[ 1 t = 1.
Vu la continuite de la fonction sur [0, 1] et le fait que (0) = 1, on a necessairement
t
0
> 0 et sup
D(0,1t
0
)
[

[ = 1/t
0
. Il existe un point a de D(0, 1 t
0
) D(0, 1) tel que
[

(a)[ realise le maximum de la fonction continue [

sur le compact D(0, 1 t


0
),
soit [

(a)[ = 1/t
0
. Pour tout t < t
0
, on a (t) < 1, i.e. [

(z)[ < 1/t pour tout


z D(0, 1 t).
II.2. Montrer que [

(z)[ 2/t
0
dans le disque D(a, t
0
/2) et en deduire que la
fonction
a
denie dans D(0, 1) par

a
(z) = (z) (a)
verie [
a
(z)[ 1 dans D(a, t
0
/2).
On a D(a, t
0
/2) D(0, 1 t
0
+t
0
/2) = D(0, 1 t
0
/2). Comme t
0
/2 < t
0
, on a,
dapr`es le resultat etabli `a la question II.1., [

(z)[ < 2/t


0
pour z D(0, 1 t
0
/2),
a fortiori pour z D(a, t
0
/2). Par linegalite des accroissements nis, on a, pour
tout z D(a, t
0
/2),
[(z) (a)[ sup
[a,z]
[

[ [z a[
2
t
0

t
0
2
= 1.
II.3. Soit
a
la fonction denie au voisinage de D(0, 1) par

a
(z) =
2
a
_
a +
t
0
z
2
_
t
0

(a)
.
Verier que
a
(0) = 0,

a
(0) = 1 et [
a
(z)[ 2 dans D(0, 1).
Comme
a
(a) = 0, on a
a
(0) = 0. De plus, par la r`egle de Leibniz,

a
(0) =
1. Enn, du fait que [

(a)[ = 1/t
0
et que [
a
[ 1 dans D(0, t
0
/2), on a bien
sup
D(0,1)
[
a
[ 2.
II.4. Soit w C
a
(D(0, 1). Montrer quil existe une et une seule fonction
a
holomorphe dans D(0, 1) telle que
2
a
(z) = 1
a
(z)/w pour tout z dans D(0, 1) et

a
(0) = 1. Donner les premiers termes du developpement de
a
en serie enti`ere.
84 Texte et corrige du DM3 - 2010-2011
Comme w /
a
(D(0, 1), la fonction
z D(0, 1) 1

a
(z)
w
ne sannule pas dans louvert (simplement connexe) D(0, 1) et vaut 1 en z = 0, donc
secrit sous la forme exp(
a
) avec
a
(0) 2iZ (ce resultat a ete utilise plusieurs
fois dans ce probl`eme, voir par exemple la question I.1). On a donc le choix pour

a
entre les deux fonctions exp(
a
/2) ; lune de ces deux fonctions (et une seule)
vaut 1 en z = 0 (lautre valant 1 en z = 0). La fonction
a
est donc bien unique.
Comme

2
a
(z) = (1 +
1
z +
2
z
2
+ )
2
= 1 + 2
1
z + = 1
z + a
2
z
2
+
w
si
a
(z) = z + a
2
z
2
+ , on a par identication

a
(z) = 1
z
2w
+
au voisinage de z = 0.
II.5. Montrer que
sup
D(0,1)
[
a
[
2
1 +
2
[w[
et deduire des inegalites de Cauchy (formulees `a laide de la formule de Plancherel)
que [w[ 1/8. Conclure que
a
(D(0, 1)) contient le disque ouvert D(0, 1/8) et
deduire de la relation entre et
a
que (D(0, 1)) contient un disque ouvert de
rayon au moins egal `a 1/16.
Comme
2
a
= 1
a
/w et que [
a
[ 2 dans D(0, 1), on a
sup
D(0,1)
[
a
[
2
1 +
2
[w[
(par linegalite triangulaire). Dapr`es la formule de Plancherel (appliquee `a la fonc-
tion 2-periodique
a
((1 )e
i
), ]0, 1[, on a

k=0
[
k
[
2
(1 )
k
=
1
2
_
2
0
[
a
((1 )e
i
)[
2
d 1 +
2
[w[
.
On a donc en particulier
1 + (1 )[
1
[
2
= 1 + (1 )
1
4[w[
2
1 +
2
[w[
,
do` u [w[ 1/8 (on fait tendre vers 0). Il en resulte que le disque D(0, 1/8) est
inclus dans
a
(D(0, 1)). Comme, pour tout z D(0, 1),

a
(z) =
2
a
_
a +
t
0
z
2
_
t
0

(a)
,
ce qui se lit aussi

_
a +
t
0
z
2
_
= (a) +
t
0

(a)
2

a
(z),
85
et que [t
0

(a)[ = 1, limage (D(0, 1)) contient un disque de centre (a) et de


rayon 1/2 1/8 = 1/16.
Partie III : vers les theor`emes de Picard
Soit F une fonction enti`ere evitant deux valeurs a et b distinctes. Le but de cette
partie est de montrer que F est constante. On suppose donc ici F non constante et
le but de cette partie est daboutir `a une contradiction.
III.1. En utilisant les resultats etablis dans la partie I, montrer quil existe une
fonction enti`ere h telle que
z C,
F(z) a
b a
= exp(2icosh (h(z)).
Puisque F evite les valeurs distinctes a et b, la fonction z F(z) a ne sannule
pas et evite la valeur b a ,= 0. La fonction enti`ere
f : z C
F(z) a
b a
ne prend ni la valeur 0, ni la valeur 1. Dapr`es la partie I (question I.4), il existe
une fonction enti`ere h telle que
z C, f(z) = exp(2icosh (h(z))).
III.2. Montrer que la fonction enti`ere h de III.1 evite toutes les valeurs
arcosh (n + 1) + ik, n N, k Z,
ou arcosh : [1, []0, [ est la fonction inverse de la fonction cosh.
Si u et v sont deux nombres reels, on a
cosh (u +iv) = cosh u cos v +i sinh(u) sin v.
Si
u + iv = arcosh (n + 1) + ik, n N, k Z,
on constate donc que cosh (u + iv) = (n + 1) Z. La fonction h ne saurait donc
prendre de telles valeurs car cosh h ne peut prendre de valeurs enti`eres (f ne prenant
pas la valeur 1).
III.3. Montrer que la suite
_
arcosh (n + 2) arcosh (n + 1)
_
n0
est une suite decroissante majoree par arcosh (2) 1.317. En deduire que tout point
du plan et `a une distance au plus egale `a
1
2
_

2
+ (arcosh 2)
2
3.22
de lun des points arcosh (n + 1) + ik, n N, k Z.
86 Texte et corrige du DM3 - 2010-2011
Le fait que la fonction t [1, [ arccosh t soit concave et la formule des accrois-
sements nis implique que la suite des taux daccroissements successifs
arcosh (n + 2) arcosh (n + 1)
(n + 2) (n + 1)
= arcosh

(
n
) ,
n
]n + 1, n + 2[, n N,
est une suite decroissante, majoree donc par son premier terme, arcosh (2). La valeur
numerique approchee ( 1.317) de arcosh(2) est donnee par une table. Tout point
du plan se trouve dans un rectangle [n, n + 1] [k, (k + 1)] ou [(n + 1), n]
[k, (k + 1)], o` u n N et k Z. Il se trouve donc necessairement `a une distance
inferieure `a la longueur de la diagonale de ce rectangle de lun des sommets de ce
meme rectangle. La longueur de la diagonale du rectangle est calculee via le theor`eme
de Pythagore et majoree en tenant compte du resultat etabli au debut de la question.
III.4. Pourquoi existe-t-il un point de C tel que h

() ,= 0 ? Montrer (en utilisant


les resultats etablis dans la partie II, en particulier en II.5) que limage du disque
unite D(0, 1) par lapplication
: z D(0, 1)
1
64
h
_
+
64z
h

()
_
contient un disque ouvert de rayon 1/16. En deduire que limage par h du disque
D(, 64/[h

()[) contient un disque de rayon 4 et conclure `a une contradiction avec


la conclusion de la question III.3. Dire pourquoi ceci conclut la preuve du petit
theor`eme de Picard.
Lexistence de resulte du fait que h nest pas constante (sinon f le serait). La
fonction est la restriction `a D(0, 1) dune fonction enti`ere. De plus

(0) = 1
(par la r`egle de Leibniz). On est dans le cadre de la partie II et la conclusion de
la question II.5 est valide pour cette fonction . Limage du disque unite par
contient un disque de rayon 1/16. Compte tenu de la relation
1
64
h
_
+
64z
h

()
_
= (z) z D(0, 1)
liant et h, limage par h du disque ouvert de centre et de rayon 64/[h

()[
contient un disque de rayon 64 1/16 = 4. Ceci est en contradiction avec le fait que
tout point du plan est `a une distance au plus egale `a 3.22 (voir la question III.3)
de lensemble interdit pour les valeurs de h. La contradiction obtenue permet de
conclure `a labsurdite de lhypoth`ese f non constante , donc au petit theor`eme
de Picard.
III.5. (une application du corollaire du grand theor`eme de Picard, theor`e-
me VI-4-1 du cours). Montrer que, si p C[X], lequation e
z
= p(z) a une innite
de solutions.
La fonction z p(z)e
z
est une fonction enti`ere (qui nest pas un polynome) ne
prenant quun nombre ni de fois (puisque p est un polynome) la valeur 0. Elle prend
donc une innite de fois (dapr`es le corollaire du theor`eme VI-4.1 du cours) toute
autre valeur complexe, en particulier la valeur 1. Lequation e
z
= p(z) a donc une
innite de solutions dans le plan complexe.