Documente Academic
Documente Profesional
Documente Cultură
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
.
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
?
exacte dans 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 :=
,
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
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
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
: [0, 1] C
tel que
(0) = 1,
.
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
1
(C
, a).
b) Soient
0
et
1
deux lacets continus de 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
R
: t [0, 1] P(Re
2it
)
est de support inclus dans 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
) 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
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
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
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
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
_
.
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
. 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
,
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
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
()
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
:= z C
; [arg
],[
(z)[ < .
a) Pour ]0, [, on denit la fonction z z
dans C
par
z
.
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
et continue sur
, on ait
x
(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
(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
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
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
(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
).
(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
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
()[
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.
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)[ 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
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 =
_
, le chemin parametre
(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
_
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
(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
()
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))
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
()
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
(pour cette
relation dequivalence) ?
Deux lacets continus
0
: [0, 1] C
et
1
: [0, 1] 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
, cest-`a-dire au groupe
1
(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
) 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
et que
0
et
1
sont homotopes dans
lhomotopie entre lacets libres de C
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
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
n
: t [0, 1] f(e
2it
) w
n
est donc bien un lacet de C
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
[[
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
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
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)] = 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
) lorsque r < r
(r) = (log [z [)
z=0
= log [[.
Il ne reste plus qu`a demontrer que la fonction r I
log [r(e
i
e
i
0
)[
log [[ + log [e
i(
0
)
1[
log [re
i
[
d
est donc bien convergente et la fonction r I
log [
0
[
log [re
i
[
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
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
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
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
) , 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
) 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
(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)[ ; [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
(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)[ = 1/t
0
. Pour tout t < t
0
, on a (t) < 1, i.e. [
(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 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
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
()
_
contient un disque ouvert de rayon 1/16. En deduire que limage par h du disque
D(, 64/[h
(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.