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 .
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 .
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 :
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.
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.