Camille Laurent-Gengoux.

1M05

2005-2006

Analyse complexe. Devoir `

a la maison 1.
Dans les exercices ci-dessous, on note A B, pour toute paire densembles A et B avec B A,
le complementaire de B dans A. On identifie tacitement C `a R2 . On appelle disque unite le
disque ouvert de centre 0 et de rayon 1. On appelle verticale (resp. horizontale) toute droite
parall`ele `a laxe des imaginaires purs (resp. `a laxe des reels).
Exercice 1 : 2 pts Soit f (z) une application holomorphe sur le disque unite. Trouver toutes
les applications holomorphes g(z), definies sur le disque unite, telles que, pour tout n N ,
f ( 12 )
1
g( ) = n3
n
n
Exercice 2 : 3 pts

Soit (n )nN la suite definie par

= 1
n
2n = n

2n+1 = n

a) Justifier la definition de cette suite.

P
n
b) Montrer que le rayon de convergence de la serie enti`ere f (z) =
n=0 n z est 1.
c) Montrer que pour tout z dans le disque unite, on a
f (z) = (1 z)f (z 2 )
d) En deduire que, pour tout z dans le disque unite
i

f (z) = limn ni=0 (1 z 2 ).

Exercice 3 : 4 pts Considerons, dans le plan, les ouverts U1 = C iR et U2 = C R .
a) Montrer que les ouverts U1 et U2 verifient les conditions suivantes (i) U1 est connexe (ii)
U2 est connexe et (iii) U1 U2 a deux composantes connexes.
b) Donner deux fonctions f et g holomorphes sur respectivement U1 et U2 qui concident sur
une des deux composantes connexes de U1 U2 et ne concident pas sur lautre. Indication :
chercher du cote des logarithmes...
1

Exercice 4 : 5 pts Si z est un nombre complexe, <z (resp. =z) designe sa partie reelle (resp.
sa partie imaginaire). Soit a < b R, U la bande ouverte a < <z < b, U son adherence et
U = U U sa fronti`ere. Soit f : U C une fonction continue sur U et holomorphe sur U .
On suppose que f est bornee et on pose M = supzU |f (z)|, m = supzU |f (z)|.
1) On se donne > 0 et on consid`ere la fonction
h (z) =

1
, z U .
1 + (z a)

a) Calculer supzU |h (z)| et, pour r > 0, donner un majorant simple de supzU ,|=z|>r |h (z)|.
b) Montrer que lon a |f (z)h (z)| 6 m, z U (on pourra appliquer le principe du maximum `a
M
la fonction f h sur le rectangle R = {z U /|=z| 6 m
}).
c) Montrer que M = m.
2) Pour a 6 x 6 b, on pose
M (x) = sup |f (z)|,
<z=x

et on definit la fonction enti`ere g en posant

(bz)

(za)

g(z) = M (a) (ba) M (b) (ba) .

a) On suppose M (a) et M (b) strictement positifs. Montrer que lon peut appliquer les resultats
de la question 1 `a la fonction fg et en deduire que lon a
M (x)ba 6 M (a)bx M (b)xa , a 6 x 6 b.

(1)

b) Montrer que si M (a) ou M (b) est nul, alors f 0 et que linegalite 1 reste encore vraie dans
ce cas.
Exercice 5 : 6 pts On appelle demi-plan de Poincare et lon note H lensemble des nombres
complexes de partie imaginaire strictement positive.
On note M+
ees reelles de taille 2 et `a determinant strictement
2 (R) lensemble des matrices carr
positif.
1. A une matrice M M+
2 (R) de la forme


a b
M=
c d

ad bc > 0

on associe lapplication de C {d/c} C donnee par

z 7

az + b
.
cz + d

a) Montrer que cette application se restreint en une application de H dans H. Dans la

suite du devoir, on notera M cette application.
b) Montrer que M est holomorphe sur H.
c) Montrer que pour toute paire de matrices M, N M+
2 (R),
M N = M N
o`
u le designe le produit des matrices.
2

(2)

 d) Montrer que M est, pour tout M M+

2 (R), une bijection holomorphe de H dans
H dont linverse est holomorphe.
2. `
a partir dici et jusqu`a la fin, les questions sont facultatives, ne donneront au plus que
1.5 points de bonus, mais constituent une introduction simple `
a un riche sujet : la
construction dune geometrie non-Euclidienne.
On appelera inversion lapplication de C {0} C {0} donnee par z 1
(note : en
z
1
general, on donne plutot ce nom `a z z , mais peu importe ici).
a) Montrer que la restriction de linversion `a H est egale `a M pour au moins une
matrice M M+
eterminera.
2 (R) que lon d
b) Montrer que limage par linversion dune droite passant par lorigine est une droite
passant par lorigine (ces deux droites etant supposees privees de lorigine).
c) Montrer que limage par linversion de toutes les autres droites sont des cercles
passant par lorigine (mais prives de ce point)
d) Montrer que limage par linversion dune droite verticale est un cercle dont le
centre appartient `a laxe horizontal (pour etre elegant, on pourra utiliser le fait que
la differentielle dune application holomorphe est une similitude ou le montrer directement).
Passons maintenant `a letude de la geometrie non-Euclidienne proprement dite.
a) montrer que M est, pour toute matrice reelle inversible `a determinant positif M ,
obtenue en composant uniquement des applications prises de la liste suivante (i) des
translations parall`eles `a laxe horizontal (ii) des homotheties de rapport strictement
positif et de centre 0 (iii) linversion. Indication : bien distinguer les cas.
b) On appelle longueur de Poincare dune courbe (t) : [0, 1] H que lon suppose C 1
la quantite :
Z t=1
| 0 (t)|
l() =
dt
t=0 Im((t))
Montrer que la longueur de Poincare dune courbe est egale `a la longueur de son
image par linversion.
c) Montrer que, pour toute matrice M M+
e de M
2 (R), la longueur de Poincar
est egale `a celle de .
d) Montrer que la longueur de Poincare dune courbe ne depend pas du parametrage
(cest `a dire l() = l( ) pour toute bijection C 1 ([0, 1], [0, 1])).
e) Soient A et B deux points de H places sur une droite D parall`ele `a laxe vertical.
Soit : [0, 1] H une courbe de classe C 1 reliant ces deux points et soit p : C D la
projection orthogonale sur la droite D. Montrer linegalite l(p ) 6 l()
f) montrer quil ny a egalite dans linegalite precedente que si est `a valeurs dans D,
g) montrer que le plus court chemin de A `a B est donne par le segment reliant A `a B,
cest `a dire la courbe
(t) = tA + (1 t)B
(pour cette question, un raisonnemment geometrique, meme manquant de rigueur formelle, sera suffisant)
h) Supposons maintenant que la droite passant par A et B nest pas verticale. En
utilisant la question precedente, montrer que le plus court chemin entre deux points
quelconques de H est donne par un arc du cercle passant par ces deux points et dont
le centre est situe sur laxe horizontal. (Indication : utiliser c))
3

On appellera droite de H (le nom officiel est geodesique) les courbes qui sont obtenue en
prenant lintersection de H avec ou bien une droite parall`ele `a laxe vertical ou bien un
cerclee dont le centre est sur laxe horizontal. On appelle segments de H une partie connexe
dune droite de H. Deux droites de H seront dites parall`eles si elles ne sintersectent pas.
Un cercle de H de rayon R et de centre z0 H est lensemble des points relies `a z0 par
un segment de H de longueur de Poincare R.
Les droites de H doivent leur nom de droite au fait quelles sont, vis-`a-vis de la
longueur de Poincare, le plus court chemin reliant deux points, tout comme les vraies
droites du plan Euclidien sont les plus courts chemins entre deux points, vis-`a-vis de
la metrique Euclidienne. Plus precisement encore, ces droites, segments et cercles de
H precedemment definis verifient les quatre premiers de cinq postulats demandes par
ements, et qui secrivent, sous une forme modernisee :
Euclide au debut de ses El
(a) Etant donnes deux points A et B, il existe une droite passant par A et B ;
(b) Tout segment [AB] est prolongeable en une droite passant par A et B ;
(c) Pour tout point A et tout point B distinct de A, on peut decrire un cercle de centre
A passant par B ;
(d) Tous les angles droits sont egaux entre eux ;
(e) Par un point exterieur `a une droite, on peut mener une parall`ele et une seule `a cette
droite.
3. Deux derni`eres questions :
a) Montrer (par un dessin) que les droites de H ne verifient pas le cinqui`eme postulat
dEuclide.
b) Ptolemee, Proclus, Aganis, Tabit-Ibn-Qurra, Ibn-al-Haytam, Clavius, Borelli et Wallis ont pretendu prouver le cinqui`eme postulat en partant des quatre autres. Expliquer pourquoi, soit ils se sont trompes ( !), soit ils ont eu recours `a une hypoth`ese
supplementaire lors de quelque etape de leurs raisonnements.
Remarque : ce nest en fait pas le demi-plan de Poincare qui a donne un des premiers
exemples de geometrie non-Euclidienne, mais un mod`ele equivalent sur des hyberbolodes
`a deux nappes.