1. Soit fholomorphe sur l’ouvert Dtelle que f(0) = 0. Montrer que f∈Γ(D)si et
seulement s’il existe λcomplexe de module 1tel que f=λιD.
2. Montrer que pour tout a∈D, l’application ϕadéfinie par
ϕa(z) = a−z
1−¯az
est un élément de Γ(D)d’inverse ϕa.
Remarque : De façon plus générale, pour A=a b
c d∈GL2(C),l’homographie associée
ψA:z→az+b
cz+dest une bijection holomorphe de C\{− d
c}vers C\{a
c}, de réciproque
ψA−1. En fait on a, pour A, B ∈GL2(C),ψA◦ψB=ψAB ... Nous reviendrons sur ces
homographies en travaillant sur les bijections holomorphes de la sphère de Riemann.
3. Décrire Γ(D).
4. Soit Uun ouvert connexe borné de C, et f:¯
U→Ccontinue, holomorphe sur U, telle
que |f|= 1 sur la frontière de U. Montrer que f(U)est un singleton ou bien D.
6 Fonctions harmoniques
1. Principe du maximum pour les fonctions harmoniques.
(a) Montrer qu’une fonction harmonique réelle non constante sur un ouvert connexe
n’admet pas d’extrémum local.
(b) Considérons maintenant un ouvert connexe borné non vide U. Pourquoi la frontière
de Uest-elle non vide ? Soient h1, h2des fonctions réelles continues sur l’adhérence
de Uqui, restreintes à U, sont harmoniques. On suppose qu’elles coïncident sur la
frontière de U. Montrer qu’elles sont égales.
2. R-Analycité des fonctions harmoniques. Soit Uun ouvert de Cet u:U→Cune
fonction. On dit que uest R-analytique sur Usi pour tout point (x0, y0)∈U, on peut
trouver un voisinage Vde (x0, y0)et une famille de nombres complexes (cp,q)p,q∈Ntels
que pour tout (x, y)∈Von puisse écrire
u(x, y) = X
p,q∈N
cp,q(x−x0)p(y−y0)q,
où la série double converge uniformément sur tous les compacts de V.
(a) Montrer qu’une fonction harmonique est R-analytique sur son domaine de défini-
tion. (indication : se servir de la question 5.1.(b) du TD précédent pour montrer
d’abord qu’une fonction harmonique au voisinage de 0s’écrit localement comme
la somme de deux séries Panznet Pbn¯znqui convergent normalement sur tout
compact de ce voisinage.)
(b) Soit hune fonction harmonique définie sur l’ouvert Ucontenant le segment [a, b].
On suppose que hs’annule une infinité de fois sur [a, b]. Après avoir montré que
l’on peut se ramener à un segment [a, b]⊂R, montrer que la fonction hest identi-
quement nulle sur [a, b].
2