You are on page 1of 28

Quelques rsultats d'analyse complexe

lis aux familles normales


Nicolas Tosel
Agrg de mathmatiques, professeur en classe de MP au lyce du Parc, Lyon.
(Suite et fin de l'article paru dans le volume prcdent.)

Partie 5
Le principe de renormalisation de Zalcman
Partie 6
Le petit thorme de Picard par la mthode de Ros
Partie 7
Le thorme de Montel et le grand thorme de Picard
Partie 8
Autres applications du thorme de Montel
Partie 9
Fonctions injectives
Partie 10
Conclusion
Bibliographie

Partie 5
Le principe de renormalisation de Zalcman
Nous allons commencer par une observation lmentaire mais ingnieuse due en substance
Landau.

Lemme 8 Soient , et une fonction holomorphe sur un voisinage de
et non constante sur . Il existe alors dans tel que :

* ,

* ,

* .

Page 1sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...
Preuve
Soit o dsigne ici la distance usuelle. Par continuit et
compacit, atteint son maximum sur en un point . Puisque n'est pas constante sur
, ne peut tre nulle sur et appartient . Ainsi :


Cette ingalit implique en particulier :


ce qui prouve simultanment les deux premiers points du lemme. Et pour


on obltient : .
Voici enfin le principe de renormalisation de Zalcman.

Thorme 9 Soient une famille de et dans . Les deux assertions suivantes sont
quivalentes :

i) n'est pas normale en ,

ii) il existe une suite d'lments de , une suite d'lments de tendant vers ,
une suite d'lments de convergeant vers telles que, si on pose :
, converge uniformment sur tout compact de vers une fonction
entire non constante.
Il faut remarquer que dans les convergences et assurent que les sont
dfinies sur des boules centres en dont les rayons tendent vers avec .

Page 2sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...
Exercice 20. tablir l'implication simple (et inutile) .


Preuve de l'implication
Supposant , le critre de Marty fournit une suite d'lments de et une suite
d'lments de de limite telles que . Soit une suite de rels tendant
vers . Pour assez grand, contient et on peut appliquer le lemme 8 sur
. On obtient un dans tel que :
* ,

* ,

* .

Posons :


La fonction est dfinie au moins sur :


On choisit dsormais :


de sorte que et que . La formule :
Page 3sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...


entrane alors :


Cette estimation et le critre de Marty montrent que de on peut extraire une suite qui soit
converge uniformment sur tout compact de vers une fonction entire, soit converge
uniformment sur tout compact de vers . L'galit et la proprit 5) du
paragraphe 4 excluent la seconde possibilit. Enfin, si est limite d'une suite extraite de ,
la relation force et n'est pas constante.

Le thorme 9 a t tabli par Zalcman dans [16] la suite d'une question pose par A.Robinson.
Le but de Zalcman tait de trouver une explication du phnomne connu sous le nom de
principe de Bloch . Ce principe heuristique stipule qu'une famille de constitue de
fonctions ayant une proprit en commun a des chances d'tre normale ds que les seules
fonctions entires vrifiant dans sont les fonctions constantes. Le thorme 9 fournit
diverses formulations de ce fait. En voici une trs simple.

Exercice 21. Soit l'ensemble des ouverts connexes non vides de . Pour , soit
une famille de (il faut penser comme la famille des fonctions de
vrifiant ). On suppose que les conditions suivantes sont satisfaites :

i) si et , alors ,

ii) si et si est une bijection affine de sur alors :


iii) si est une suite croissante d'lments de donc la runion est , si est, pour tout
, une fonction de et si converge uniformment sur tout compact de vers une
fonction , alors ,
Page 4sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...

iv) les fonctions sont les fonctions constantes.

Montrer, pour tout , que est une famille normale de .


Dans [17], on trouvera des formes plus fines du principe de Bloch. titre d'illustration le lecteur
pourra observer que l'exercice 21 implique, via le thorme de Liouville, un corollaire simple du
thorme 1.


Exercice 22.
Soit . Dduire de l'exercice 21 la normalit de la famille :


(ce qui est assurment un peu vicieux!).


En conclusion, la condition du thorme 9 est une traduction trs forte de la non normalit,
qui permet effectivement de retrouver un certain nombre de critres classiques de normalit en
les rduisant des noncs concernant les fonctions entires. Une application plus inattendue est
la preuve du petit thorme de Picard dcouverte en 1998 par A. Ros, qui fait l'objet du
paragraphe suivant.

Partie 6
Le petit thorme de Picard par la mthode de Ros
Commenons par une application du principe de Zalcman aux fonctions entires.

Lemme 9 Soit une suite de fonctions entires non constantes. Il existe une suite
de rels et une suite de complexes telles que, si


la suite admette une valeur d'adhrence non constante dans .

Page 5sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...

Preuve Pour tout on choisit dans tel que , puis une suite de rels
telle que :


Posant , et n'est pas normale en . Reste
appliquer le thorme 9 cette famille.

Tous les cours introductifs aux fonctions d'une variable complexe prouvent le thorme de
Liouville : une fonction entire borne est constante. Les artifices employs dans les exemples
du paragraphe 5 permettent d'amliorer ce rsultat sans grand effort :

Exercice 23.
Soient un segment non rduit un point, et une fonction entire telle que .
Montrer que est constante.
Indication. Procder comme dans les exemples du paragraphe 3.

Se pose alors la question suivante : si est entire non constante, que dire de ? Dans sa
thse, en 1879, Emile Picard a obtenu la rponse dfinitive cette question. Il se peut que ne
soit pas surjective (ainsi ), mais elle ne peut omettre plus d'une valeur.

Thorme 10 Soit dans . Si contient deux points distincts, alors est
constante.

Preuve
On suppose par l'absurde l'existence de entire non constante telle que . Si
, soit une fonction entire telle que : . Grce au lemme 9, il existe une suite
de rels , une suite de complexes telles que, si on pose


Page 6sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...
a une valeur d'adhrence non constante dans . D'aprs le thorme d'Hurwitz,
vite tous les o . Puisque est ouverte et dense dans
, vite . Par connexit, est valeurs dans ou . En appliquant ou le
principe du maximum, on voit que est constante. Contradiction.

La preuve originale de Picard tait toute diffrente. Elle reposait sur la construction de la
fonction modulaire, issue de la thorie des fonctions elliptiques. En fait, la seule proprit utile
de cette fonction est ici de raliser un revtement holomorphe de par le demi-plan
de Poincar. L'existence de tant admise, le thorme 10 suit aussitt de la thorie
lmentaire des revtements ( principe de monodromie ) : si la fonction entire est
valeurs dans , la simple connexit de permet de factoriser en o est
valeurs dans . Puisque est conformment quivalent (via une homographie idoine), le
thorme de Liouville assure que est constante et il en va de mme de . Dans la littrature on
trouvera diverses variantes de cette dmonstration utilisant, selon les cas, des fonctions
elliptiques ou une construction directe base sur le thorme de reprsentation conforme de
Riemann ([2], [3], [4], [11], [12], [15]...). Cette approche, qui se fonde en fin de compte sur un
cas particulier du thorme d'uniformisation des surfaces de Riemann, est sans doute la plus
clairante.
Cependant, la recherche d'une preuve lmentaire a suscit rapidement de nombreux travaux.
C'est ainsi que, ds 1897, Borel a tabli le petit thorme de Picard pour toutes les fonctions
entires croissance raisonnable , ie majores l'infini par une exponentielle itre. Les
deux exercices suivants dcrivent son argument.

Exercice 24 (Ingalit de Borel-Carathodory).
Soit dans telle que . Si , on pose :


Montrer, si , que :


En particulier, .
Indication. Exprimer les coefficients de Taylor de l'aide d'intgrales faisant intervenir les
valeurs de sur .
Page 7sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...

Exercice 25.
Si , soit l'ensemble des de telles que :


Montrer que, si est dans et non constante, est soit vide, soit un singleton.
Indication. Raisonner par rcurrence sur . Si est dans et ne prend pas la valeur ,
noter, en utilisant l'exercice prcdent, que l'on peut crire o .

Aprs Borel, Schottky, Landai, Bloch (entre autres) ont obtenu des preuves du thorme 10 sans
recours l'uniformisation par la fonction modulaire ; nous rencontrerons certains des rsultats
qu'ils ont tablis dans ce but au paragraphe 8. Pour en finir avec cette digression historique, que
le lecteur pourra complter par la lecture du premier chapitre de [3], il est intressant de signaler
que le thorme 10 peut se dduire d'ides venues de la gomtrie diffrentielle ; le point de
dpart d'une telle approche est l'interprtation du lemme de Schwarz comme rsultat de courbure
obtenue par Ahlfors en 1938, cf. [5] et [7].
Pour terminer, voici quelques consquences simples du thorme 10.

Exercice 26.
Soient et deux fonctions entires telles que : . Montrer que et sont
constantes.

Exercice 27.
Soit un entier . Montrer, si et sont entires et vrifient , que et sont
constantes.
Indication. Pour racine -ime de l'unit, il existe une fonction entire telle que
. Montrer, si et sont trois racines -imes distinctes, que
, et forment une famille lie de ; conclure avec l'exercice
prcdent.

Exercice 28 (Fatou, 1926).
Soit dans telle que n'ait pas de point fixe. Montrer que est une translation.
Page 8sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...
Indication. Utiliser dfinie sur par :



Partie 7
Le thorme de Montel et le grand thorme de Picard
Ds 1975, Zalcman a montr comment le principe de renormalisation se combinait au petit
thorme de Picard pour fournir une preuve trs simple du critre de normalit fondamental ci-
aprs, d Montel (1912) et dj voqu dans le paragraphe 4. Il s'agit videmment ici d'une des
manifestations du principe de Bloch brivement discut dans le paragraphe 5.

Thorme 11 Soient et deux complexes distincts et :


Alors est une famille normale de .


Preuve
Si le rsultat tait faux, il existerait , une suite de points de de limite , une suite
de rels de limite 0, une suite d'lments de telles que la suite dfinie
par :


converge uniformment sur tout compact de vers une fonction entire non constante. Mais,
puisque les vitent et , et n'est pas constante, le thorme d'Hurwitz implique que
vite et , ce qui contredit le thorme 10.

Exercice 29.
Constater que la preuve du thorme 11 donne ci-dessus revient redmontrer dans un cas
particulier le rsultat de l'exercice 21.

Voici deux extensions simples du thorme 11, galement dcouverte par Montel. Le lecteur
trouvera d'autres rsultats de ce genre dans [6] et [13].
Page 9sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...

Exercice 30.
Soient , et :


Montrer que est normale.
Exercice 31.
Soient dans , et deux complexes distincts et :


Montrer que est normale.
Indication. On peut supposer que est un disque et que . Dans ces conditions,
toute de admet une racine -ime dans laquelle vite au moins une racine
-ime de .

L'nonc suivant n'est qu'une consquence banale du thorme 11, dont il souligne la porte.

Thorme 12 Soient un point de de une suite d'lments de telle que
ne soit pas normale en . Il existe alors dans tel que, pour tout ouvert de
contenant et tout de , on ait :




Preuve
Si le rsultat tait faux, il existerait dans , un ouvert de contenant tels que :


contienne au moins deux points distincts. Mais alors serait, grce au thorme
Page 10sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...
11, une famille normale de et serait normale en .

Exercice 32.
Sous les hypothses du thorme 12, et si , montrer qu'il existe une suite d'entiers
strictement croissante et une suite d'lments de convergeant vers telles que :
.

Le thorme 12 claire le thorme de J entzsch (thorme 7). Si


est une srie entire de rayon de convergence 1, si on pose, pour et ,


alors n'est normale en aucun point de . Le thorme de J entzsch apliqu aux
sries entires


dit alors, si , si est un ouvert de contenant , et , que :


Le thorme 12 amne, dans un contexte beaucoup plus gnral, une conclusion un peu moins
forte.
Du thorme 11 on peut dduire le grand thorme de Picard , extension du petit thorme
ponyme galement dcouverte en 1879.

Thorme 13 Soient dans , dans admettant une singularit essentielle
en . Alors il existe dans tel que, dans tout voisinage de , la fonction prenne toute
valeur de .
Page 11sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...

videmment, prend alors dans tout voisinage de une infinit de fois toute valeur de
. D'autre part, l'exemple de en montre qu'une valeur exceptionnelle (ici
) peut exister.
Nous dduirons le thorme 13 du :

Lemme 10 Soient dans , dans admettant une singularit essentielle en ,
une suite de rels tendant vers , tel que toutes les fonctions
donnes par :


soient dfinies sur . Alors n'est pas une famille normale de
.

Preuve
On raisonne par l'absurde. Deux cas se prsentent.
a) Quitte extraire, converge uniformment vers sur tout
compact de . En particulier, est uniformment borne sur
et il existe tel que :


Si , on voit en appliquant le principe du maximum sur l'anneau :


que est borne par sur cet anneau. Puisque , est borne par au
voisinage de . Le thorme de singularit inexistante dit que se prolonge
holomorphiquement en , ce qui contredit l'hypothse de singularit essentielle.
b)
Page 12sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...
La suite converge uniformment vers sur tout compact . Le
raisonnement fait en a) s'applique et montre que se prolonge
holomorphiquement en en posant . Par suite, a une singularit polaire
en ; nouvelle contradiction.


Preuve du thorme 13
Sous les hypothses du thorme 13, on reprend les notations du lemme 10 en choisissant
pour tout de . Puisque n'est pas une famille normale de
, le thorme 12 fournit dans tel que pour tout de :


Le rsultat suit.

Le lien entre les deux thormes de Picard consiste envoyer le point a l'infini par
, ce qui fournit l'amlioration suivante du thorme 10.

Exercice 33.
Soit une fonction entire non polynomiale. Montrer qu'il existe tel que prenne toute
valeur de une infinit de fois.

D'autre part, l'exercice ci-aprs montre que l'existence de la valeur exceptionnelle, autorise par
l'nonc prcdent, est un phnomne rare.

Exercice 34.
Soient , , et l'ensemble des fonctions entires qui prennent dans le
secteur angulaire


toutes les valeurs de module au plus .
Vrifier que est un ouvert de . Avec l'aide ventuelle du thorme de Runge,
Page 13sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...
montrer que est dense dans . En dduire que l'ensemble des fonctions qui prennent
dans tout secteur angulaire issu de l'origine chaque valeur complexe est un dense de .

Enfin, la preuve du thorme 13 conduit immdiatement un rsultat plus fort d J ulia (1924).

Thorme 14 Soient dans , dans admettant une singularit essentielle
en . Il existe un complexe et une demi-droite issue de tels que, dans l'intersection de
tout secteur angulaire issu de et de tout voisinage de dans , prenne toutes les valeurs
de .


Preuve
On reprend la dmonstration du thorme 13, mais en invoquant le lemme 6, qui fournit un point
de en lequel n'est pas normale. Grce au thorme 12, il existe
dans tel que pour tout voisinage de dans et tout de , on ait :


Il est alors ais de vrifier la conclusion du thorme 14 en prenant pour la demi-droite issue
de et passant par .

Exercice 35.
Donner la version fonctions entires du thorme 14.

Exercice 36.
Sous les hypothses du thorme 14, on appelle direction de en , toute demi-droite
satisfaisant la conclusion du thorme. Dterminer les directions de J ulia de et
en .

Partie 8
Autres applications du thorme de Montel
Les premiers rsultats de ce paragraphe ont t dcouverts au dbut du vingtime sicle, dans le
but de prouver les thormes de Picard sans recours la fonction modulaire. Dans la perspective
Page 14sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...
actuelle, ce sont des corollaires plus ou moins triviaux du thorme de Montel. Le premier
nonc est d Schottky (1904).

Thorme 15 Soient , , et :


Il existe tel que :




Preuve
Le thorme 11 et la condition entranent la compacit relative de dans .

Exercice 37.
Dduire le petit thorme de Picard du thorme 15.
Indication. Soit une fonction entire vitant et . Appliquer le thorme 15 aux restrictions
des pour .

L'nonc du thorme de Schottky donn ici n'est pas effectif : l'emploi brutal d'un thorme de
compacit tel celui de Montel ne permet pas de prciser la constante . On trouvera une
majoration explicite dans [4], [7], [10], [14] et [15].
L'exercice suivant explique comment on peut dduire le thorme 15 de l'existence d'une
fonction modulaire ; on observera que la connaissance prcise d'une telle fonction conduit mme
des majorations explicites.

Exercice 38.
On suppose donn un revtement holomorphe de sur . En dduire, via l'exercice 3
ou l'exerice 4, le thorme de Schottky.

Le problme de l'ineffectivit des bornes se retrouve dans la suite du texte, par exemple dans le
thorme ci-aprs d Landau (1904).
Page 15sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...
Thorme 16 Soient dans , et :


Il existe tel que :




Preuve
Supposons non vide, et considrons dans . Dfinissons par :
. Il vient :


De plus, est contenu dans . En reprenant la notation du thorme 15, on
a :


Or,


o dsigne le cercle de centre et de rayon dcrit une fois dans le sens direct. Il suffit de
poser : pour conclure.

L'nonc suivant a t dcouvert plus tardivement (1933) par Montel. Il donne un renseignement
remarquable sur l'image d'une fonction de dont on contrle infrieurement la drive en
.

Thorme 17 Soient dans , et deux rels tels que et :


Il existe une constante telle que, pour toute de , l'une au moins des deux
Page 16sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...
proprits suivantes soit ralise :

i) contient ,

ii) contient l'anneau : .


Preuve
En remplaant par , on se ramne prouver que l'on peut trouver tel que
l'alternative ci-dessus ait lieu pour toute de . Supposons le rsultat
faux. Il existerait alors deux suites complexes et , une suite d'lments de
telles que :
* ,
* ,
* .
Si , posons :


Chaque vite et , et est donc normale. Puisque ,
est en fait une famille relativement compacte de . Soit une valeur d'adhrence de
dans . D'une part , mais, par ailleurs, les vitent . Le thorme d'Hurwitz
entrane que est nulle. Mais la formule :


montre que , d'o la contradiction dsire.

Exercice 39.
Page 17sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...
tablir l'extension suivantes du thorme 17.
Soient dans , et deux rels tels que , et dans . Si est comme
dans l'nonc du thorme 17, il existe une constante telle que, pour toute de
, l'une au moins des deux proprits suivantes soit ralise :
i) contient ,
ii) chaque lment de l'anneau a au moins antcdents distincts
par dans .
Le thorme 17 a pour corollaire une forme qualitative d'un clbre thorme de Bloch :

Thorme 18 Soit . Il existe une constante absolue telle
que, si contienne au moins un disque ferm de .

Preuve
Pour tout couple de rels tels que et pour tout de , l'anneau
contient au moins un disque ferm de rayon . N'importe
quel de la forme :


fait l'affaire, par exemple .

Par des mthodes lmentaires, on montre que l'on peut prendre . Le chapitre de [10]
discute de faon extrmement lgante le thorme de Bloch, et explique comment, par des
constructions de fonctions vitant de plus en plus de valeurs, on peut en dduire le thorme de
Schottky donc (exercice 37) le petit thorme de Picard, dont cette approche a longtemps t
considre comme la plus lmentaire. La preuve de Ros expose au paragraphe 6 peut tre vue
comme un ultime avatar de cette mthode. D'une part on y reprend, de faon substantiellement
plus simple, l'ide de construire des fonctions vitant beaucoup de valeurs, et d'autre part on y
utilise, la place du thorme de Bloch, le principe de Zalcman, dont la preuve est fonde sur un
argument analogue, savoir celui utilis ici pour tablir le lemme 9.
Le thorme de Bloch peut tre compris comme une version quantitative de la proprit
d'ouverture des fonctions holomorphes non constantes. Il convient cependant de noter que le
Page 18sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...
disque ferm qu'il fournit n'est pas centr sur en gnral ; en effet, si :


ne contient pas .

Exercice 40.
Pour dans , soit :


Montrer qu'il existe une constante telle que, pour toute fonction de ,
contienne le disque ferm de centre et de rayon .

Les exercices finaux du paragraphe 9 prsentent des applications du thorme de Montel aux
fonctions injectives.

Partie 9
Fonctions injectives
L'injectivit d'une fonction est videmment une proprit rapprocher de celle d'omettre
certaines valeurs. Il n'est donc pas tonnant que l'on dispose de rsultats de normalit concernant
les fonctions injectives. La plupart des noncs de ce paragraphe (thorme 19, 22, 23) ont t
tablis par Paul Koebe dans travaux sur la reprsentation conforme entre 1907 et 1909. Les
thormes prsents ici sont, comme d'habitude, non effectifs. Les rfrences [11], [12] et le
chapitre Schlicht Mappings de [9] donnent les majorations explicites correspondantes.
Pour commencer, l'exercice 30, gnralisation du thorme de Montel, admet le pendant suivant,
de preuve aise, pour les fonctions injectives.

Thorme 19 Soient et


Alors est une famille normale de .


Preuve
Page 19sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...
Si le rsutlat est faux, il existe , , , et comme au dbut de la preuve du
thorme 11. Les tant injectives et non constante, le thorme d'Hurwitz entrane
l'injectivit de . Le lemme 11 ci-aprs implique que est affine, et ralise donc en particulier
une bijection de sur . Mais si on note, pour tout , un lment de vit par ,
le thorme d'Hurwitz assure que vite toute valeur d'adhrence de : c'est la
contradiction souhaite.

Lemme 11 Si est une fonction entire injective, est affine.


Preuve
Le thorme de l'image ouverte fournit et un voisinage de tel que :


Pour dans , l'injectivit de implique alors : . Par ailleurs,
l'injectivit locale de en force . On dfinit donc une fonction entire en posant :



On a, pour :


Il reste appliquer les ingalits de Cauchy aux coefficients de Taylor de pour obtenir que
est affine puis, vu que est entire, que est affine.

Le thorme 6 du paragraphe 3 montre, si est born, que le seul de tel que
est l'identit. En 1922, Tibor Rado a montr que ce rsultat est vrai pour tout
ouvert .

Thorme 20 Supposons et . Si alors est l'identit de .
Page 20sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...


Preuve
Supposons d'abord et soit dans . Grce au thorme 19, l'ensemble des de
injectives et vitant est une famille normale de . Il en rsulte aussitt que
est relativement compact, et la dmonstration se poursuit comme celle du thorme 6.
Si , le lemme 11 permet de conclure directement.

Exercice 41.
Soient et deux ouverts connexes non vides, dans , dans et dans .
Montrer qu'il existe au plus un isomorphisme conforme de sur tel que et
.

Exercice 42.
Dterminer . Si , vrifier que est de cardinal 2.

Exercice 43.
Si et , montrer que le groupe topologique est isomorphe ou un
groupe cyclique. Que se passe-t-il si ?

Exercice 44.
Si , si et si , montrer que . On en dduit dans ce cas la
version suivante du thorme 20 : si et si alors .

Le rsultat ci-aprs donne une nouvelle famille normale de fonctions injectives.

Thorme 21 Soient , et


Page 21sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...
Alors est une famille normale de .


Preuve
Posons . Il suffit de montrer que est une famille relativement
compacte de . On raisonne par l'absurde en supposant non normale, et on considre
encore , , , , et comme dans la dmonstration du thorme 11. En
raisonnant comme dans la preuve du thorme 19, on voit que est affine non constante. Soit
l'antcdent de par . Grce au thorme d'Hurwitz, il existe un entier et une suite
de tels que : et . D'autre part :


et l'injectivit de implique :


Mais par ailleurs :


et donc . Par consquent, , ce qui contredit que est affine non
constante.

Exercice 45.
Soient et une suite de fonctions de toutes injectives telles que
converge et . Que peut-on dire de ?
Exercice 46.
Montrer, si , qu'il existe une constante telle que, pour toute de
injective telle que , on ait :
Page 22sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...



En 1916, Bieberbach a conjectur que l'on pouvait prendre pour tout de . Il a
dmontr cette galit pour par des arguments d'aire ; le cas gnral n'a t obtenu qu'en
1985 par Louis de Branges.

Exercice 47.
Soit, pour :


Vrifier que est injective sur , ce qui montre l'optimalit de la majoration conjecture par
Bieberbach.
Exercice 48.
(La conjecture de Bieberbach dans le cas des coeffiecients rels, thorme de Dieudonn, 1931.)
Soit une srie entire de rayon de convergence 1 et de somme . On suppose
injective sur , et . Montrer, si , que , quivaut . En
dduire . En crivant, si et :


et en utilisant l'ingalit , montrer . Conclure.

Nous dduisons du thrme 21 deux noncs clbres. Le premier est une forme du thorme de
distorsion ( Verzerrungsatz ) de Koebe.

Thorme 22 Soient la famille des fonctions injectives de et un compact non vide
de . Il existe deux constantes et telle que :

Page 23sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...



Preuve
Soient dans et la famille des de telles que et . Si est dans
:


est dans et, pour :


Il suffit donc de montrer l'existence de constantes et telles que l'encadrement demand
ait lieu pour tout de . Maitenant le thorme 21 assure que est relativement compacte
dans . De plus, le thorme d'Hurwitz implique que est ferme dans , et en est
donc une partie compacte. Il reste noter que l'application qui, au triplet de
, associe :


est continue sur le compact et donc est borne et y atteint ses bornes pour
conclure.
Le nom de thorme de distorsion est justifi par le fait que la quantit mesure ce qui
spare d'une similitude, ou encore la faon dont une figure est distordue par un lment
de . Bieberbach a prouv en 1916 que pour toute fonction injective de on a, si
et :


La preuve repose encore sur des considrations d'aire ([9]). videmment, combinant ce rsultat
au thorme de Borel-Lebesgue, on retrouve le thorme 22.

Page 24sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...
Exercice 49.
En considrant :


montrer que les ingalits prcdentes sont optimales.

La seconde consquence du thorme 21 est une version non effective du thorme du quart
de Koebe.

Thorme 23 Soit . Il existe tel que :



Preuve
Soit l'ensemble des de telles que . Ici encore, le thorme 21 montre que
est relativement compacte dans , et le thorme d'Hurwitz que est ferme dans ,
donc, en fin de compte, compacte. Si le rsultat tait faux, il existerait une suite d'lments
de et une suite de complexes non nuls tendant vers de sorte que, pour tout ,
n'appartienne pas . Si est une valeur d'adhrence de dans , n'est pas
constante ; mais est galement valeur d'adhrence de , et les vitent
toutes 0. Il en rsulte, toujours grce au thorme d'Hurwitz, que vite 0, et ceci contredit
.

Le thorme du quart dit que l'on peut prendre dans le thorme 22 ; il est lui aussi
d Bierberbach et se dmontre galement par des considrations d'aire (cf. [9], [12]).
En fait, on peut dduire le thorme 23 d'un nonc antrieur d A. Hurwitz (1904), dont la
preuve est trs simple condition d'utiliser le thorme 11 de Montel ; c'est l'objet de l'exercice
suivant.

Exercice 50.
Soit . Montrer qu'il existe tel que :
Page 25sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...



Indication. Si tel n'tait pas le cas, il existerait une suite d'lments de s'annulant
en 0, et une suite de complexes non nuls tendant vers 0 telles que, pour tout ,
n'appartienne pas . Il existe alors, pour tout , dans telle que :


l'aide du thorme 11, tablir que est relativement compacte. Conclure en
considrant .

Nous terminons ce paragraphe par des exercices tirs de [6] qui soulignent et exploitent la
tendance la normalit des familles de fonctions injectives.

Exercice 51.
Soit une suite de fonctions holomorphes sur . On suppose, pour tout , que
s'annule au plus une fois sur . Montrer qu'il existe une extraction et un point de tels
que, pour tout compact contenu dans , l'ensemble
soit fini.
Indication. On peut supposer qu'il existe tel que, pour tout , s'annule sur en un
point . Discuter selon que a au moins une valeur d'adhrence dans .
Exercice 52.
Soit une suite de fonctions holomorphes injectives sur . Montrer qu'il existe et
dans et une extraction tels que, pour tout compact de , l'ensemble :
soit fini. Sous cette hypothse, montrer que
est une famille normale de puis que est
une famille normale de .

(On notera que, pour l'exemple trs simple o et , le seul qui satisfasse la
Page 26sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...
dernire phrase de l'exercice est .)

Exercice 53.
Soient une suite de fonctions holomorphes et injectives sur , et deux points
distincts de . Si et sont bornes, montrer que est une famille
relativement compacte de . Que dire s'il existe dans tel que et
?

Partie 10
Conclusion
Nous n'avons fait ici qu'effleurer certains des aspects les plus classiques de la thorie des
familles normales. On trouvera de trs nombreux complments dans les textes voqus dans
l'introduction. Par ailleurs, malgr ses connections cruciales avec le sujet, la dynamique
holomorphe n'a pas t aborde ici, principalement en raison de son caractre plus spcialis.
Dans cette direction, une rfrence rcente, faisant la part belle au principe de Zalcman, est le
cours de DEA de Bertellot et Mayer ([1]). On pourra, notamment, y lire une trs jolie
dmonstration du clbre thorme de I.N. Baker (1960) aussurant la densit des points
priodiques rpulsifs d'une fonction entire dans son ensemble de J ulia, rsultat dont l'analogue,
pour les fractions rationnelles sur la sphre de Riemann, remonte Fatou.
Par ailleurs, le lecteur pourra sans difficult tendre un certain nombre de rsultats prouvs ici
aux fonctions mromorphes sur . Un premier programme, dans cette direction, est de
gnraliser le critre de Marty, le principe de Zalcman, le thorme de Montel et le grand
thorme de Picard. videmment, dans ces derniers noncs, il faut remplacer deux complexes
distincts par trois lments distincts de . Comme on l'a dit dans l'introduction, on obtient
de la sorte les bonnes formulations, commodes mme pour l'tude des fonctions entires.
C'est ce qu'illustre le dernier exercice de ce texte.

Exercice 54.
Donner une solution trs simple de l'exercice 27 en utilisant la fonction mromorphe .

Bibliographie
1 F. Berteloot et V. Mayer, Rudiments de dynamique holomorphe, SMF.
2 K. Chandrasekharan, Elliptic Functions, Springer Verlag.
3 L. Garding, Some Points of Analysis and their History, AMS.
4 M. Herv, Les fonctions analytiques, PUF.
Page 27sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...
5 S. Krantz, Complex Analysis : the Geometric Viewpoint, The Carus Mathematical
Monographs.
6 P. Montel, Familles normales, Chelsea.
7 R. Narasimhan, Complex Analysis in one Variable, Birkhaser.
8 R. Narasimhan, Several Complex Variables, The University of Chicago Press.
9 G. Polya et G. Szeg, Problems and Theorems in Analysis II.
10 R. Remmert, Classical Topics in Complex Function Theory, Springer Verlag.
11 W. Rudin, Analyse relle et complexe, Masson.
12 S. Sacks et A. Zygmind, Fonctions analytiques, Masson.
13 J .L. Schiff, Normal Families, Springer Verlag.
14 E.C. Titchmarsh, The Theory of Functions, Oxford University Press.
15 G. Valiron, Thorie des fonctions, Masson.
16 L. Zalcman, A Heuristic Principle in Complex Function Theory, A.M.M. 1975, p. 813-
817.
17 L. Zalcman, Normal Families : New Perspectives, B.A.M.S. vol.35, 1998, p. 215-230.

Page 28sur 28 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=235&Type=enonce&Num=0&Mode=...

You might also like