Complet M2R Hardy PDF

LYON I
UNIVERSITE
COURS DE MASTER, 2ième annee (MATHEMATIQUES

PURES)
ANALYSE FONCTIONNELLE :
Fonctions Harmoniques, Classe de Nevanlinna,
Espaces de Hardy, et
une introduction aux op
erateurs de Toeplitz et
de Hankel
Isabelle CHALENDAR
- 2008 -
Table des mati`

eres
1 Fonctions harmoniques
1.1
Rappels : theorème de Poincare et theorème de Fejer . . . . . . . . . . . .
1.1.1
Le theorème de Poincare . . . . . . . . . . . . . . . . . . . . . . . .
1.1.2
Le theorème de Fejer . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2
Denition et proprietes des fonctions harmoniques . . . . . . . . . . . . . .
1.3
Formule de Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
16
1.4
Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
24
2 Th
eorie avanc
ee des fonctions harmoniques
2.1
27
Rappels : theorème dHahn-Banach et mesures complexes . . . . . . . . . .
27
2.1.1
Consequence de la theorie dHahn-Banach . . . . . . . . . . . . . .
27
2.1.2
Mesures complexes . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
2.2
Mesures complexes sur T et fonctions harmoniques . . . . . . . . . . . . .
29
2.3
Limites radiales des fonctions harmoniques sur D . . . . . . . . . . . . . .
33
2.3.1
Rappels de theorie de la mesure sur R . . . . . . . . . . . . . . . .
33
2.3.2
Derivees superieures et inferieures dune mesure à valeurs reelles et
2.4
denie sur R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
35
2.3.3
Limite radiale de lintegrale de Poisson par rapport à M(T) . .
41
2.3.4
Applications : description de certaines fonctions harmoniques . . . .
44
Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
45
3 La classe de Nevanlinna N
47
3
`
TABLE DES MATIERES
4
3.1
Rappels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
47
3.1.1
Primitive de fonction holomorphe . . . . . . . . . . . . . . . . . . .
47
3.1.2
Fonctions log+ et log . . . . . . . . . . . . . . . . . . . . . . . . .
47
3.1.3
Decomposition de Jordan dune mesure reelle . . . . . . . . . . . .
48
3.2
Denition de N , fonctions de N sans zero . . . . . . . . . . . . . . . . . .
49
3.3
La formule de Jensen et ses consequences . . . . . . . . . . . . . . . . . . .
53
3.4
Description des fonctions de N
. . . . . . . . . . . . . . . . . . . . . . . .
59
3.5
Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
61
4 Les espaces de Hardy H p (D), 0 < p

4.1
63
Rappels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
63
4.1.1
Inegalite de Jensen . . . . . . . . . . . . . . . . . . . . . . . . . . .
63
4.1.2
Inegalite de Holder et Minkowski . . . . . . . . . . . . . . . . . . .
63
4.1.3
Lespace L2 (T) . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
64
Fonctions sous-harmoniques . . . . . . . . . . . . . . . . . . . . . . . . . .
64
4.2.1
Denition et caracterisation . . . . . . . . . . . . . . . . . . . . . .
64
4.2.2
Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
66
4.3
Denitions des espaces de Hardy et premières proprietes . . . . . . . . . .
68
4.4
Theorèmes de factorisation . . . . . . . . . . . . . . . . . . . . . . . . . . .
72
4.4.1
Les fonctions interieures . . . . . . . . . . . . . . . . . . . . . . . .
72
4.4.2
Les fonctions exterieures . . . . . . . . . . . . . . . . . . . . . . . .
74
4.4.3
Facteurs exterieures des fonctions de H p (D), 0 < p
. . . . . .
75
4.4.4
Lespace de Hardy H 2 (D) . . . . . . . . . . . . . . . . . . . . . . .
76
4.4.5
Factorisations des fonctions de H p (D), 0 < p . . . . . . . . . .
79
Resultats fondamentaux sur les fonctions de H p , 0 < p . . . . . . . .
82
4.5.1
Limites radiales des fonctions de H p (D), 0 < p . . . . . . . . .
82
4.5.2
Resultat de representation des fonctions de H p (D) pour p [1, ] .
84
4.5.3
Identication entre H p (D) et H p (T) pour 1 p . . . . . . . .
85
Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
88
4.2
4.5
4.6
`
TABLE DES MATIERES
5 Sous-espaces invariants du shift
5.1
5
89
Introduction : le problème du sous-espace invariant . . . . . . . . . . . . .
89
5.1.1
Notations et rappels . . . . . . . . . . . . . . . . . . . . . . . . . .
89
5.1.2
Le problème du sous-espace invariant . . . . . . . . . . . . . . . . .
90
Le shift sur 2 et H 2 (D) : denition et proprietes spectrales . . . . . . . . .
92
5.2.1
Le shift sur 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
92
5.2.2
Le shift sur H 2 (D) . . . . . . . . . . . . . . . . . . . . . . . . . . .
94
5.3
Description de tous les sous-espaces invariants du shift sur H 2 (D) . . . . .
95
5.4
Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
5.2
6 Op
erateurs de Hankel et op
erateurs de Toeplitz
101
6.1
Operateurs de Laurent et operators de Toeplitz . . . . . . . . . . . . . . . 101
6.2
Operateurs de Hankel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
7 El
ements de correction des exercices
115
7.1
Exercices du Chapitre I . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
7.2
Exercices du Chapitre 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
7.3
7.2.1
Rappels de topologie et regularite des mesures de Borel . . . . . . . 122
7.2.2
Corrections . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123

7.3.1
Rappels sur les produits innis de nombres complexes . . . . . . . . 127
7.4
7.5
`
TABLE DES MATIERES
Chapitre 1
Fonctions harmoniques
On designera par D le disque unite ouvert de C et par T le cercle unite de C. Lensemble
des fonctions holomorphes sur D est note Hol(D).
1.1
Rappels : th
eor`
eme de Poincar
e et th
eor`
eme de
Fej
er
1.1.1
Le th
eor`
eme de Poincar
e
Soit w = f dx + gdy une 1-forme dierentielle de classe C 1 (i.e. f et g sont de classe

C 1 ) sur un ouvert de C. Rappelons que dw est la 2-forme dierentielle denie par
dw = df dx + dg dy et rappelons que si f est de classe C 1 , df est appelee la 1-forme
dierentielle associee à f et est denie par df =
f
dx
x
f
dy.
y
On dit que w est ferm

ee si dw = 0 et on dit que w est exacte sil existe une fonction
de classe C 2 sur telle que w = d (i.e. w est la 1-forme dierentielle associee à ).
Lemme 1.1.1 Toute forme exacte sur un ouvert de C est fermee.
Preuve :
dw =
Si w = d =
dx
x
dx +
y
dy,
y
alors

dy dx +
dx +
y
dy dy.
Rappelons que le produit exterieur est anticommutatif, ce qui implique dx dy =

dy dx, dx dx = 0 = dy dy. Dautre part, comme est de classe C 2 , nous avons
7
CHAPITRE 1. FONCTIONS HARMONIQUES
2
xy
. On obtient donc :

2
2
dx dy = 0.
+
dw =
xy xy
Il existe une reciproque du Lemme 1.1.1 que nous admettrons (la preuve utilise la
formule de Stokes, [7], Chap. 1, Section 2.8).
Th
eor`
eme 1.1.1 (de Poincar
e) Soit un ouvert simplement connexe. Alors toute
1-forme differentielle fermee sur est exacte.
Remarque 1.1.1 Tout convexe est simplement connexe.
1.1.2
Le th
eor`
eme de Fej
er
Pour f continue sur T et pour tout n Z, on denit le n-ième coefficient de Fourier

de f par
Z 2
1
f(n) =
f (eit )eint dt.
2 0
X
f(n)eint . La somme partielle de la serie de
La s
erie de Fourier de f est la serie
it
Fourier de f est Sm (f )(e ) =
nZ
f(n)eint . Le theorème suivant, que nous admettrons,
|n|m
dit que les sommes partielles ne convergent pas en general mais, si f est continue, on peut
les regulariser et les rendre convergentes en prenant leurs moyennes.
Th
eor`
eme 1.1.2 (de Fej
er) Si f est continue sur T, alors la moyenne de Ces`
aro
n
X
1
Sm (f ) converge uniformement vers f sur T.
n
m=1
Corollaire 1.1.1 Les polynomes trigonometriques sont denses dans lensemble des fonctions continues sur T, C(T), pour la convergence uniforme sur T.
Pour f C(T), la somme partielle Sm (f ) est un polynome trigonometrique
p
X
it
cn eint avec cn C).
(un polynome trigonometrique est une fonction de la forme e 7
Preuve :
n=p

ES
DES FONCTIONS HARMONIQUES
1.2. DEFINITION
ET PROPRIET
1.2
D
efinition et premi`
eres propri
et
es des fonctions
harmoniques
D
efinition 1.2.1 Soit un ouvert de C et soit f une fonction f : C. On dit que
f est harmonique sur si f est de classe C 2 sur et si f 0 sur , o`
u f est le
Laplacien de f defini par f =
2f
x2
2f
.
y 2
Remarque 1.2.1 Pour toute fonction f de classe C 2 sur un ouvert de C, on a :

2f
2f
=4
,
zz
zz

+ i y .
f = 4
avec
1
2
i y
et
En eet,
2f
zz
2f
xy
montre que
2f
zz
car
2f
yx
1
2

+ i f
y

f
f
f
f
1 1
i
+
i
+
i
= 2 2 x
x
y
y
x
y
2

2f
2f
2f
= 14 x2 + i xy i yx + y2
= 41 f,

1
2
f
x
puisque f est par hypothèse de classe C 2 . Via un calcul analogue, on

= 14 f .
Proposition 1.2.1 Toute fonction holomorphe ou anti-holomorphe sur un ouvert est

harmonique sur
Si f Hol(), f est de classe C 2 et de plus f
0 sur . Par consequent,
z

f
f = 4 z
0. Si f est anti-holomorphe, f est de la forme g o`
u g est holomorphe.
z

f
Ainsi f est elle-aussi de classe C 2 et f
0
sur
.
Par
cons
e
quent,
f
=
4
0.
z
z z
Preuve :
Remarque 1.2.2 Soit un ouvert de C. Une fonction f : C est harmonique si et

seulement si Re(f ) et Im(f ) sont harmoniques sur .
La remarque ci-dessus est une consequence immediate du fait que Re(f ) = (Re(f )) et
Im(f ) = (Im(f )).
10
Corollaire 1.2.1 Soit un ouvert de C. Si une fonction f : C est holomorphe, alors

Re(f ) et Im(f ) sont harmoniques sur .
Le corollaire ci-dessus admet une reciproque à condition dimposer une condition supplementaire sur louvert .
Th
eor`
eme 1.2.1 Soit un ouvert simplement connexe de C et soit f : R de
classe C 2 . Si f est une fonction harmonique sur alors il existe une fonction holomorphe
sur telle que Re() = f .
On cherche une fonction g : R, de classe C 2 telle que f + ig soit
Preuve :
holomorphe sur . Daprès les

equations de Cauchy-Riemann, f + ig est holomorphe
si et seulement si
f
x
g
y
et
f
y
g
= x
sur .
Considerons la 1-forme dierentielle w de classe C 1 denie par w = f

dx +
y
Alors w est une forme fermee. En eet,

2

2f
2f
dw = xy dx y2 dy dx + xf2 dx +

2
2f
f
+
dx dy
=
2
2
y
x
= f dx dy
= 0.
2f
dy
yx
f
dy.
x
dy
Louvert etant simplement connexe, daprès le theorème de Poincare, il existe une fonction g de classe C 2 sur telle que
On a donc
g
x
= f
et
y
f
f
g
g
dx +
dy = w = dg =
dx +
dy.
y
x
x
y
g
y
f
.
x
La fonction : C denie par = f + ig est donc
holomorphe sur et par construction f = Re().

Remarque 1.2.3 Lhypothèse simplement connexe est necessaire.
En eet, posons f (z) = log |z| pour z 6= 0. Si a C \ {0}, il existe une determination
holomorphe du logarithme sur D(a, |a|), le disque ouvert centre en a et de rayon |a| (en

ES
1.2. DEFINITION
ET PROPRIET
11
fait, plus generalement, il existe une determination holomorphe du logarithme sur C prive
dune demi-droite dextremite lorigine). On a donc e(z) = z pour |z a| < |a|, ce qui
implique |z| = eRe((z)) et log |z| = Re((z)). Ainsi log |z| est une fonction harmonique sur
D(a, |a|) pour tout a 6= 0 et donc log |z| est une fonction harmonique à valeurs reelles sur
C \ {0}. Sil existait une fonction 1 holomorphe sur C \ {0} telle que Re(1 (z)) = log |z|,
on obtiendrait une determination holomorphe du logarithme sur C \ {0}, ce qui est
absurde. En eet, rappelons quune fonction holomorphe sur un ouvert non vide est
une determination holomorphe du logarithme sur si e(z) = z sur . Daprès les equations
de Cauchy-Riemann, on a lequivalence suivante :
(z)
Re((z)) = log |z| sur
e
= z, z
holomorphe sur
holomorphe sur
z0 tel que e(z0 ) = z0 .
Sil existait une fonction 1 holomorphe sur C \ {0} telle que Re(1 (z)) = log |z|, on obtiendrait une determination holomorphe 1 du logarithme sur C \ {0} en posant (z) =
1 (z) 1 (1). Ceci est absurde car toute determination holomorphe du logarithme sur
R
est une primitive de 1/z, ce qui implique 1/zdz = 0 pour tout lacet trace dans . Or
louvert C \ {0} ne verie pas cette dernière condition.
On obtient ainsi la caracterisation suivante des fonctions harmoniques à valeurs reelles.

Corollaire 1.2.2 Soit un ouvert de C et soit f : R de classe C 2 . Les trois conditions suivantes sont equivalentes :
1. f est harmonique sur .
2. Pour tout z0 , il existe r > 0 et holomorphe sur D(z0 , r) tels que f = Re()
sur D(z0 , r).
3. Pour tout ouvert simplement connexe U de , il existe holomorphe sur U tel que
f = Re() sur U.
Les fonctions harmoniques sur un disque ouvert D(a, r) (a C et r > 0), continues sur le
disque ferme D(a, r) et à valeurs complexes ont la propriete suivante.
12
Corollaire 1.2.3 Soit f une fonction continue sur D(a, r) (a C et r > 0), harmonique
sur D(a, r) et à valeurs complexes. Alors on a la formule de la moyenne :
Z 2
1
f (a + reit )dt
f (a) =
2 0
ZZ
1
=
f (x + iy)dxdy.
r 2
D(a,r)
Preuve :
Supposons que f soit harmonique sur D(a, ) avec > r. Soit f1 = Re(f ).
Alors f1 est harmonique sur D(a, ). Comme D(a, ) est simplement connexe, daprès le
Theorème 1.2.1, il existe holomorphe sur D(a, ) telle que f1 = Re() sur D(a, ).
Daprès la formule de Cauchy, nous avons :
Z
()
1
d,
(a) =
2i (a,r) a
avec 0 < r < et o`
u (a, r) est le cercle centre en a et de rayon r. Posons = a + reit
pour 0 t 2. On obtient :
1
(a) =
2i
1
=
2
(a + reit ) it
ire dt
reit
(a + reit )dt.
0
Ainsi,
1
f1 (a) = Re((a)) =
2
1
Re((a + re ))dt =
2
it
f1 (a + reit )dt,
avecZ f1 = Re(f ). De meme, en remplacant f1 par f2 = Im(f ) on montre que Im(f (a)) =
2
1
Im(f (a + reit ))dt. On obtient donc
2 0
Z 2
1
f (a) =
f (a + reit )dt,
2 0
sous lhypothèse f harmonique sur D(a, ) avec > r.
Dans le cas general, on a, pour tout s < r,
Z 2
1
f (a + seit )dt.
f (a) =
2 0

ES
1.2. DEFINITION
ET PROPRIET
13
En faisant tendre s vers r et par continuite de f sur D(a, r), on obtient :

Z 2
Z 2
1
1
it
f (a + se )dt =
f (a + reit )dt.
f (a) = lim
sr 2 0
2 0
ZZ
1
Calculons à present
f (x + iy)dxdy. En posant x + iy = sei (ce qui donne
2
r
D(a,r)
dxdy = sdsd) et grace à la continuite de f sur le compact D(a, r) (ce qui implique que f
est uniformement bornee) on peut alors calculer lintegrale double de la facon suivante :
ZZ
Z r Z 2
f (x + iy)dxdy =
f (a + sei )sdsd
D(a,r)
Z
2
i
f (a + se )d ds
s(2f (a))ds
2
= 2f (a) r2 = r 2 f (a).

Nous allons à present demontrer le Principe du maximum pour les fonctions harmoniques `
a valeurs r
eelles et denies sur un ouvert connexe.
Corollaire 1.2.4 ( Principe du Maximum) Soit un ouvert connexe et soit f :
R une fonction harmonique. Si f admet un maximum relatif sur , alors f est constante.
Preuve :
Soit S lensemble des maxima relatifs de f sur . Supposons que S est non
vide. Soit a S et soit D(b, r) un disque ouvert centre en b, de rayon r, contenant a et

contenu dans (cf. Figure 1.1).
Puisque a S, il existe > 0 tel que D(a, ) D(b, r) et tel que f (a) f (z) pour
tout z D(a, ). Daprès le Corollaire 1.2.3, nous avons :
ZZ
1
f (x + iy)dxdy.
f (a) = 2
D(a,)
ZZ
ZZ
2
1
Comme =
dxdy, on a donc f (a) = 2
f (a)dxdy, et ainsi
D(a,)
D(a,)
ZZ
D(a,)
(f (a) f (x + iy))dxdy = 0,
14
D(b, r)
D(a, )
a
Fig. 1.1 Principe du maximum
avec (x, y) 7 f (a) f (x + iy) continue et positive sur D(a, ). Ainsi f (z) = f (a) pour
tout z D(a, ). De ce fait D(a, ) S et donc S est ouvert dans .
Nous allons montrer quen fait f (z) = f (a) pour tout z D(b, r), autrement dit que
f est constante sur tout disque ouvert contenu dans et contenant un maximum relatif.
Daprès lassertion 2. du Corollaire 1.2.2, il existe une fonction holomorphe sur D(b, r)
telle que f = Re() sur D(b, r). Nous venons de montrer que necessairement Re() etait
constante sur D(a, ). Daprès les equations de Cauchy-Riemann, Im() est egalement
constante sur D(a, ). Il resulte du principe des z
eros isol
es que est constante sur
D(b, r). Ainsi f est elle aussi constante sur D(b, r).
Nous allons montrer à present que S est aussi ferme dans . Soit u S. Soit s > 0
tel que D(u, s) . Comme u S, D(u, s) S =
6 . Daprès ce qui precède, on a donc
D(u, s) S et donc en particulier, u S, ce qui prouve que S est ferme dans .
Comme S =
6 est un sous-ensemble à la fois ouvert et ferme de qui est connexe, on
obtient S = . La fonction f est donc localement constante sur . Comme par hypothèse
f (de classe C 2 ) est continue, f est donc constante sur .

Nous terminerons cette section avec un dernier corollaire.

ES
1.2. DEFINITION
ET PROPRIET
15
Corollaire 1.2.5 Soit K un compact non vide de C et soit f une fonction (à valeurs
complexes) continue sur K et harmonique sur linterieur de K, K . Alors

sup |f (z)| =
zK
sup |f (z)|,
zF r(K)
o`
u F r(K) designe la frontière de K.
Preuve :
Comme une fonction continue sur un compact atteint son supremum, il existe
z0 K tel que |f (z0 )| |f (z)| pour tout z K. Si z0 F r(K), la preuve du corollaire

est termine.
Supposons que z0 K . Soit U la composante connexe de z0 dans K . Rappelons que les

composantes connexes de tout ouvert V de C sont à la fois ouvertes et fermees dans V
(cf. Chap. II, 9, Remarque 9 de [23]). Ceci resulte en fait dun resultat beaucoup plus
general qui dit que les composantes connexes de tout espace localement connexe sont à la
fois ouvertes et fermees (cf. Chap. II, 9, Theorème 2.9.19 de [23]).
|f (z0 )|
f (z). Par construction, g est harmonique
Supposons que |f (z0 )| > 0 et posons g(z) =
f (z0 )
sur K , |g(z)| = |f (z)| pour tout z K et g(z0 ) = |f (z0 )|. Pour z K, on a :

Re(g(z)) |g(z)| = |f (z)| |f (z0 )| = g(z0 ) = Re(g(z0 )).
Daprès le Corollaire 1.2.4, Re(g) est constante sur louvert connexe U. Comme Re(g) est
continue sur U, Re(g) est constante sur U. Il existe donc z1 F r(U) tel que Re(g(z1 )) =
Re(g(z0 )) = g(z0 ). On a donc
|f (z1 )| Re(g(z1 )) = g(z0 ) = |f (z0 )| |f (z1 )|.
Par consequent, |f (z1 )| = |f (z0 )| et |f | atteint son maximum en z1 avec z1 F r(U).
Comme U est une composante connexe de K , U est ferme dans K . On en deduit que
necessairement z1 F r(K) car z1 K implique z1 U puisque U K = U K . Ceci

termine la preuve du corollaire.
16
1.3
Formule de Poisson
D
efinition 1.3.1 Pour 0 r < 1, t R, on pose
+
X
Pr (t) =
r |n| eint .
n=
Pour r fixe, 0 r < 1, Pr est appele un noyau de Poisson et (Pr )0r<1 est appelee la
famille des noyaux de Poisson.
Remarque 1.3.1
1. Pour r fixe, 0 r < 1, la serie
P+
n=
r |n|eint converge normalement, donc uni-
formement en t. La fonction Pr est continue sur [0, 2]

2. Pour r fixe, 0 r < 1, on a
1
2
Pr (t)dt = 1.
Pour voir ceci, on peut inverser lintegrale et la serie qui definit Pr (t) ou encore
R 2
1
Pr (t)dt = c
Pr (0), le 0-ième coefficient de Fourier de la fonction
remarquer que 2
0
continue Pr .
Proposition 1.3.1 Pour z = rei avec 0 r < 1 et R, on a :

Pr ( t) = 1 + 2

r n cos(n( t))
(1.1)
n=1
it

e +z
= Re it
e z
1 r2
=
.
1 2r cos( t) + r 2
Preuve :
(1.2)
(1.3)
La première egalite est immediate. Elle provient du fait que
Pr ( t) = 1 +
X
n=1
n in(t)
r e
X
n=1
n in(t)
r e
=1+2
X
n=1
r n cos(n( t)).
17
1.3. FORMULE DE POISSON

Pour demontrer la deuxième egalite on remarque que :
eit + rei
1 + rei(t)
eit + z
=
=
eit z
eit rei
1 rei(t)
i(t)
2rei(t)
1 re
+ 2rei(t)
=
1
+
=
1 rei(t)
1 rei(t)
X
= 1 + 2rei(t)
r n ein(t)
n=0
= 1+2
r n ein(t) .
n=1
On obtient donc
Re
eit + z
eit z
= 1+2
r n cos(n( t)) = Pr ( t).
n=1
La troisième egalite sobtient en remarquant que :

(eit + z)(eit z)
1 |z|2 + (zeit zeit )
eit + z
=
=
.
eit z
|eit z|2
|eit z|2
Comme zeit zeit est imaginaire pur,

it
1 |z|2
1 r2
1 r2
1 r2
e +z
= it
=
=
=
.
Re it
e z
|e z|2
|eit z|2
|1 zeit |2
|1 rei(t) |2
Enn on calcule
|1 rei(t) |2 = |1 r cos( t) ir sin( t)|2
= (1 r cos( t))2 + r 2 sin2 ( t)
= 1 + r 2 2r cos( t),
et la preuve de la proposition est achevee.

Remarque 1.3.2 Il resulte de la proposition precedente quun noyau de Poisson est une
fonction uniformement continue sur [0, 2], 2-periodique, positive et paire.
La proposition suivante nous montre comment construire des fonctions harmoniques dans
D à partir de mesures complexes sur T.
18
Proposition 1.3.2 Soit une mesure complexe (finie) sur [, ]. Pour z = rei avec
0 r < 1 et R, on pose :
1
P ()(z) =
2
Pr ( t)d(t).
Alors P est une fonction harmonique sur D.

Preuve :
La mesure complexe est de la forme = 1 +i2 avec 1 et 2 mesures reelles
denies par 1 (A) = Re((A)) et 2 (A) = Im((A)) pour tout borelien A de [, ]. Ainsi
P ()(z) = P (1)(z) + iP (2 )(z) et pour montrer que P (avec mesure complexe sur T)
est une fonction harmonique sur D il sut de montrer que si est une mesure r
eelle sur
T alors P () est une fonction harmonique sur D. Pour cela on remarque que :

Z it

it
Z
1
1
e +z
e +z
P ()(z) =
d(t) = Re
d(t) = Re((z)),
Re it
2
e z
2 eit z
R eit +z
1
d(eit ). La fonction etant holomorphe sur D (comme integrale de
avec (z) = 2
eit z
la fonction holomorphe z 7
eit +z
eit z
sur D), daprès le Corollaire 1.2.1, P () est harmonique
sur D. Ceci termine la preuve de la proposition.

Le theorème suivant est la solution du probl`
eme de Dirichlet que lon peut formuler
ainsi :
Etant donnee une fonction f continue sur T, trouver une fonction g continue sur le disque
ferme unite D, harmonique dans D et telle que g|T = f .
Th
eor`
eme 1.3.1 Soit f une fonction continue sur T. Alors il existe une unique fonction
g continue sur D, harmonique dans D Zet verifiant g|T = f . De plus, pour z = rei avec
1
Pr ( t)f (eit )dt. On notera P (f ) la fonction
0 r < 1 et R, on a g(z) =
2
R
1
definie par rei 7 2
P ( t)f (eit )dt.
r
Preuve :
Montrons tout dabord lunicit

e de la solution du problème de Dirichlet.
Soient g1 et g2 deux solutions du problème de Dirichlet. Daprès le Corollaire 1.2.5, comme

g1 g2 est continue sur le compact D et harmonique sur D, on a :
sup{|g1 (z) g2 (z)|} = sup{|g1 (z) g2 (z)|} = 0,
zD
zT
19
puisque g1 (z) = f (z) = g2 (z) sur T. Ceci termine la preuve de lunicite de la solution du
problème de Dirichlet.
Montrons à present lexistence dune solution au problème de
Dirichlet. Daprès la ProP (f )(z) si |z| < 1
position 1.3.2, P (f ) est harmonique sur D. Posons P (f )(z) =
.
f (z)
si |z| = 1
Il nous reste à demontrer la continuite de P (f ) sur D. Pour cela nous allons montrer que
P (f ) est la limite uniforme de fonctions continues sur D.
La premi`
ere
etape consiste à verier que pour toute fonction f continue sur T on a :
|P (f )(z)| kf k pour |z| 1.
(1.4)
Pour |z| < 1, z = rei , on a :

Z 2

1

it

|P (f )(z)| = |P (f )(z)| =
Pr ( t)f (e )dt
2 0
Z 2
1
Pr ( t)|f (eit )|dt

2 0
Z 2
1
kf k
Pr ( t)dt
2 0
= kf k .
En eet, comme s 7 Pr (s) est 2 periodique et paire, via le changement de variable
s = t , on obtient :
Z
Pr ( t)dt =
0
=
=
Pr (t )dt
0
+2
Pr (s)ds
Z 2
Pr (s)ds
= 2,
daprès la Remarque 1.3.1. Comme pour |z| = 1, par denition, on a |P (f )(z)| = |f (z)|,
linegalite (1.4) est veriee.
Pour p Z, on considère la fonction ep fonction continue de T dans lui-meme denie
par ep (eit ) = eipt . Cest aussi la fonction z 7 z p si p 0 et z 7 z p si p < 0. La
20
solution au problème de Dirichlet est triviale pour les fonctions ep : il sagit de la fonction
g(z) = z p sur D si p 0 et g(z) = z p si p < 0 (fonctions harmoniques sur D daprès
la Proposition 1.2.1). La deuxi`
eme
etape consiste à montrer que P (ep ) est z 7 z p si
p 0 et est egale à z 7 z p si p < 0. Ceci nous montrera que P (ep ) est continue sur
D pour tout p Z. Pour z = rei avec 0 r < 1 et R, par denition, nous avons :
!
Z 2
Z 2 X
1
1
P (ep )(z) =
Pr ( t)eipt dt =
r |n|ein(t) eipt dt.
2 0
2 0
nZ
Comme, pour r xe, 0 r < 1, la serie
nZ
r |n| ein(t) converge normalement, donc
uniformement sur [0, 2], on peut inverser lintegrale et la somme dans legalite ci-dessus.
On obtient ainsi :
P (ep )(z) =
X r |n| eint Z
nZ
|p| ip
ei(pn) dt
= r e ,
car
R 2
0
ei(pn)t dt = 0 si p 6= n et
R 2
0
ei(pn)t dt = 2 si p = n. On obtient ainsi, pour tout
z D, P (ep )(z) = z p si p 0 et P (ep )(z) = z p si p < 0.

Nous allons à present conclure la preuve du theorème en utilisant le th
eor`
eme de Fej
er.
Rappelons quun polynome trigonometrique est une application p denie sur T de la forme
X
P
eit 7
cn eint avec cn C. Autrement dit p = |n|k cn en . Par denition, de facon
|n|k
evidente, nous avons :
P (p) =
cn P (en ).
|n|k
Ainsi, daprès la deuxième etape, P (p) est continue sur D pour tout polynome trigonometrique p. Daprès le Theorème de Fejer, il existe une suite de polynomes trigonometriques (pm )m1 telle que lim kf pm k = 0. Il nous reste à verier que P (f ) est la
m
limite uniforme de P (pm ). Pour cela, on remarque que, par denition, P (f )(z)P (pm )(z) =
P (f pm )(z). De plus, daprès (1.4), |P (f pm )(z)| kf pm k et donc
lim sup |P (f )(z) P (pm )(z)| lim kf pm k = 0.
zD
21
Ainsi P (f ) est bien continue sur T comme limite uniforme dune suite de fonctions continues
sur T. Ceci termine la preuve du theorème.

Remarque 1.3.3 Si f est une fonction harmonique reelle sur D(0, r) avec r 1, on a :

Z 2 it
e +z
1
it
f (e )dt pour |z| 1
f (z) = Re
2 0 eit z
Z 2 it
1
e +z
et la fonction z 7
f (eit )dt est holomorphe sur D. On a ainsi redemontre
2 0 eit z
le resultat annonce par le Theorème 1.2.1 de facon constructive.
Si lon souhaite trouver une solution au problème de Dirichlet en remplacant le disque
unite D par un disque quelconque de C, il sut de faire un changement de variable. Cest
ce que nous dit le corollaire suivant.

Corollaire 1.3.1 Soient a C et R > 0. Pour toute fonction f continue sur (a, R) o`
u
(a, R) = {z C : |z a| = R}, il existe une unique fonction g continue sur D(a, R) :=
{z C : |z a| R}, harmonique sur D(a, R) := {z C : |z a| < R} et telle que
g|(a,R) = f . De plus, si z = a + rei avec 0 r < R et R on a :
1
g(z) =
2
Preuve :
Pr/R ( t)f (a + Reit )dt.
Comme dans la preuve du Theorème 1.3.1, lunicite de la solution resulte
du principe du maximum. Pour demontrer lexistence dune solution g posons f1 (z) =

f (a + Rz) pour |z| = 1. Comme f1 est continue sur T, daprès le Theorème 1.3.1, il existe
une fonction g1 harmonique sur D, continue sur D et telle que la restriction de g1 à T

coincide avec f1 . On pose g(z) = g1 za
pour z D(a, r). Par construction on verie
R
aisement que g verie les hypothèses du corollaire. Notons aussi que
Pr/R ( t) =
r2
R2
1 2 Rr cos( t) +
r2
R2
R2 r 2
.
R2 2rR cos( t) + r 2
22

Daprès le Corollaire 1.2.3, si une fonction f est harmonique sur un ouvert de C alors
f verie la propriete de la moyenne sur ,

i.e., pour a et pour tout disque ferme
Z 2
1
f (a + reit )dt. Le theorème suivant est en
D(a, r) tel que D(a, r) on a f (a) =
2 0
quelque sorte la reciproque de ce resultat : on montre que si f verie la propri
et
e de la
moyenne faible (condition un peu moins forte que la propriete de la moyenne) sur ,
nous pourrons conclure à lharmonicite de la fonction f sur .
Th
eor`
eme 1.3.2 Soit f une fonction continue sur verifiant la propriete suivante dite
propri
et
e de la moyenne faible sur : pour tout a , il existe
Z 2 une suite (rn )n1
1
de reels positifs tels que D(a, rn ) , limn rn = 0 et f (a) =
f (a + rn eit )dt pour
2 0
tout n 1. Alors f est harmonique sur .
Preuve :
En considerant separement Re(f ) et Im(f ) on peut se limiter au cas o`

uf
est à valeurs reelles. Soit R > 0 tel que D(a, R) . Daprès le Corollaire 1.3.1, puisque
f est continue sur le cercle (a, R) = {z C : |z a| = R}, il existe une fonction g
reelle, continue sur D(a, R), harmonique sur D(a, R) et telle que g et f soient egales sur
(a, R). La fonction g, etant harmonique sur D(a, R), verie la propriete de la moyenne
sur D(a, R) et donc elle verie aussi la propriete de la moyenne faible sur D(a, R). Ainsi
la fonction h := g f reelle verie la propriete de la moyenne faible sur D(a, R) et h est
identiquement nulle sur (a, R). Soit m =
sup h(z) et soit

zD(a,R)
K = { D(a, R) : h() = m}.

Comme h est continue sur le compact D(a, R), K est un compact non vide de D(a, R).
Supposons que m > 0. Alors K D(a, R). Soit z0 un point de la frontière de K en lequel
la fonction continue sur le compact K denie par z 7 |z a| atteint son maximum.
Comme h verie la propriete de la moyenne faible sur D(a, R), il existe une suite (rn )n0
de reels positifs tels que limn rn = 0, D(z0 , rn ) D(a, R) avec
Z 2
1
h(z0 + rn eit )dt.
m = h(z0 ) =
2 0
On a donc :
23
rn z 0
K
R
Fig. 1.2 Propriete de la moyenne faible et harmonicite
1
2
(h(z0 ) h(z0 + rn eit ))dt = 0,
it
avec t 7 h(z0 ) h(z0 + rn e ) continue, reelle et positive sur [0, 2]. Par consequent
h(z0 ) = h(z0 + rn eit ) et donc (z0 , rn ) K, ce qui est absurde daprès le choix de z0 .
On obtient ainsi m = 0 (puisque h(z) = 0 pour z (a, R)) et donc h(z) 0 pour
z D(a, R). En appliquant un raisonnement analogue à h on montre que h(z) 0 pour
z D(a, R). Finalement h(z) = 0 pour z D(a, R). La fonction f est donc harmonique
car elle coincide avec une fonction harmonique au voisinage de tout point de .

Remarque 1.3.4 Soit f est une fonction continue sur un ouvert de C. Les trois assertions suivantes sont equivalentes :
1. La fonction f est harmonique sur .
2. La fonction f verifie la propriete de la moyenne faible sur .
3. La fonction f verifie la propriete de la moyenne sur .
24
1.4
Exercices
Exercice 1.4.1
1. Soient u et v deux fonctions harmoniques à valeurs reelles dans un ouvert connexe
de C. A quelles conditions la fonction uv est-elle harmonique ?
(remarquer que la reponse depend fortement du fait que les fonctions considerees sont
à valeurs reelles).
2. Montrer que u2 ne peut etre harmonique dans que si u est constante.
3. Pour quelles fonctions f Hol() la fonction |f |2 est-elle harmonique ?
Exercice 1.4.2
Soit un ouvert connexe de C et soit f : C harmonique et telle que f 2 est harmonique.
1. Demontrer que f ou f est holomorphe.
2. Si lon remplace lhypothèse f 2 est harmonique par |f |2 est harmonique, que dire
de f ?
Exercice 1.4.3
Soit un ouvert de C et soit f Hol() ne sannulant pas sur .
Demontrer que log |f | est harmonique en calculant son laplacien.
Exercice 1.4.4
Soit un ouvert simplement connexe de C et soit f Hol() ne sannulant pas sur .
Demontrer que log |f | est harmonique (sans calculer son laplacien !).
Exercice 1.4.5
Soit un ouvert de C et soit f : C une fonction harmonique. Montrer que si
g : C defini par g(z) = zf (z) est harmonique alors f est analytique sur .
Exercice 1.4.6
Soit f une fonction de classe C 3 sur un ouvert de C.
25
1.4. EXERCICES
1. Demontrer que si f est harmonique sur , les derivees partielles de f sont elles aussi
harmoniques.
2. Verifier par un calcul direct que pour t fixe, rei 7 Pr ( t) est une fonction
harmonique sur D.
3. En deduire (sans introduire de fonction holomorphe) que lintegrale de Poisson P ()
de toute mesure de Borel finie sur T est harmonique dans D en montrant que toute
derivee partielle de P () est egale à lintegrale de la derivee correspondante du noyau.
Exercice 1.4.7
1. Soit u une fonction harmonique positive sur D et telle que u(0) = 1. Majorer et
minorer du mieux possible u(1/2).
2. Soit f = u + iv, f Hol(D), f (0) = 0 et |u| 1 sur D. Pour 0 < r < 1, majorer
|f (rei )|.
Exercice 1.4.8
Soit u une fonction Lebesgue-mesurable dans un ouvert connexe et appartenant localement à L1 (cela signifie que lintegrale de |u| sur tout sous-ensemble compact de est
finie). Demontrer que u est harmonique si elle satisfait la forme suivante de la propriete
de la moyenne :
1
u(a) = 2
r
dès que D(a, r) .
ZZ
u(x, y)dxdy,
D(a,r)
26
Chapitre 2
Th
eorie avanc
ee des fonctions
harmoniques
2.1
2.1.1
Rappels : th
eor`
eme dHahn-Banach et mesures
complexes
Cons
equence de la th
eorie dHahn-Banach
Th
eor`
eme 2.1.1 Soit X un espace vectoriel norme et soit X son dual topologique. Pour
M X, on pose M := { X : M ker }. Soit E un sous-espace vectoriel de X. Les
assertions suivantes sont equivalentes :
1. E est dense dans X.
2. E = {0}.
2.1.2
Mesures complexes
Soit (X, M) un espace mesurable. Autrement dit X est un ensemble et M est une tribu
sur X (i.e. M P(X), lensemble des parties de X, avec X M, X \ A M dès que
A M et de plus pour toute famille (An )n nie ou denombrable de M, n An M).
Une mesure complexe est une application : M C veriant la propriete suivante :
pour tout E M et toute partition denombrable (Ei )i1 de E, on a : (E) =
X
i1
27
(Ei ).
28

CHAPITRE 2. THEORIE
AVANCEE
A toute mesure complexe on associe sa variation totale || denie par la formule :

(
)
X
||(E) = sup
|(Ei )| : (Ei )i1 partition denombrable de E ,
i1
pour tout E M.
On verie que est bien deni, ||(X) < et || est une mesure positive au sens usuel.
En fait || = si est une mesure positive nie (i.e. (X) < ). On demontre aussi (cf.
[22], p.120) quil existe h : X 7 C mesurable (i.e. limage reciproque par h de tout ouvert
de C est un element de M) telle que |h(x)| = 1, ||-presque partout veriant :
Z
(E) =
h d|| pour tout E M.
E
Si f est mesurable et si f L (X, M, ||), on pose alors :

Z
Z
f d =
f h d||.
X
Si de plus X est un espace topologique s

epar
e compact, on note C(X) lensemble
des fonctions continues sur X et à valeurs dans C et C (X) le dual topologique de C(X).
Lensemble C+ (X) designe le sous-ensemble des applications de C (X) telles que (f ) 0
si f C(X) est positive. On note M(X) lensemble des mesures complexes sur (X, B) o`
u
B est la tribu des boreliens, cest à dire la tribu engendree par les ouverts de X. On note
M+ (X) lensemble des mesures positives nies sur (X, B). On verie que M(X) est un
espace de Banach pour la norme kk := ||(X).
Pour M(X), f C(X), on pose
Lc ()(f ) =
R
f d (=
f h d||).
X
f d est bien deni car comme f C(X), f est mesurable et bornee (X etant compact).
Ainsi la fonction f h mesurable et bornee sur X est integrable pour la mesure positive nie
||. Nous rappelons à present le lien entre M(X) et C (X) et entre M+ (X) et C+ (X),
toujours dans le cas o`
u X est compact :
Th
eor`
eme 2.1.2 (de repr
esentation de Riesz) Soit X un espace topologique separe
compact. Alors lapplication Lc : M(X) C (X) (resp. L+ : M+ (X) C+ (X)) definie
R
R
par Lc ()(f ) = X f d (resp. L+ ()(f ) = X f d) est une isometrie bijective.
2.2. MESURES COMPLEXES SUR T ET FONCTIONS HARMONIQUES
29
Il existe une version plus generale de ce theorème pour les espaces topologiques separes
localement compacts (cf. [22], p. 126).
2.2
Bijection entre les mesures complexes sur T et

certaines fonctions harmoniques
Th
eor`
eme 2.2.1 Soit S lensemble des fonctions harmoniques f sur D telles que
(f ) := sup
0s<1
|f (sei )|d < .
Alors lapplication 7 P () est une bijection de M(T) sur S. De plus,

(P ()) = ||(T) = kk et
g d = lim
s1
P ()(seit )g(eit )dt
pour toute fonction g C(T) et toute mesure M(T).

Preuve :
Montrons que P () S.
Daprès la Proposition 1.3.2, si est une mesure complexe sur T alors P () est une fonction
harmonique dans D. Il reste à verier que (P ()) < . On a :

Z 2
Z 2 Z 2

1
i

d
|P ()(re )|d =
P
(
t)d(t)
r

2 0 0
0

Z 2 Z 2
1
Pr ( t)d||(t) d.
2 0
0
Le noyau de Poisson positif Pr etant continu par rapport aux variables t et , Pr est
mesurable. Daprès le theorème de Fubini, on a :

Z 2 Z 2
Z 2 Z 2
1
1
Pr ( t)d d||(t)
Pr ( t)d||(t) d =
2 0
2 0
0
0
Z 2
=
d||(t) = ||(T) = kk.
0
On a donc
(P () (T) = kk < ,
(2.1)
30

CHAPITRE 2. THEORIE
AVANCEE
et ainsi P () S.
R
R 2
Verions que T g d = lims1 0 P ()(seit )g(eit )dt.
Daprès le Theorème 1.3.1, il existe une unique fonction G continue sur D, harmonique
u Gs (ei ) = G(sei ). En eet, G

dans D avec G|T = g. On a donc lims1 kGs gk = 0 o`
continue sur le compact D est uniformement continue sur D. Ainsi, pour > 0, il existe
> 0 tel que pour tout couple (z1 , z2 ) de D veriant |z1 z2 | < on ait |G(z1 )G(z2 )| < .
En particulier, pour tout R et pour 1 > s > 1 on a |Gs (ei ) g(ei )| = |G(sei )
G(ei )| < . Ainsi pour s > 1 on a
kGs gk < et donc lim kGs gk = 0.
s1
Rappelons que
1
G(re ) =
2
i
Pr ( t)g(eit )dt.
En utilisant de nouveau le theorème de Fubini, on obtient :

Z 2

Z 2
Z 2
Z 2
1
it
i
g(eit )P (seit )dt.
g(e )
Ps ( t)d(t) dt = lim
g(e )d() = lim
s1
s1 2 0
0
0
0
(2.2)
Montrons que (P ) = kk.
Daprès le Theorème 2.1.2, kk = kLc ()k avec Lc ()(f ) =
f C(T). Ainsi
Z

kk = sup
f d pour toute fonction

g(e )d() : g C(T), kgk 1 .
i
Daprès (2.2), on a donc
kk lim sup
s1
|P ()(seit )|dt (P ()).
Finalement, en utilisant (2.1) on a montre que (P ()) = kk.

Montrons que T : M(T) S deni par T () = P () est bijective.
Par denition, lapplication T est lineaire. Dautre part legalite (P ()) = kk nous
garantit linjectivite de T . Il nous reste donc à verier que toute fonction f S est de la
forme f = P () pour une certaine mesure M(T). Pour 0 r < 1 et R, posons
31
2.2. MESURES COMPLEXES SUR T ET FONCTIONS HARMONIQUES
r, (eit ) = Pr ( t). On a donc r, C(T) pour 0 r < 1 et R. Soit E le sous-espace

vectoriel de C(T) engendre par {r, : 0 r < 1, R}. Nous allons montrer que E est
dense dans C(T). Daprès le Theorème 2.1.1, il sut de montrer que si E alors = 0.
Daprès le Theorème 2.1.2, est denie par une mesure M(T) et = 0 si et seulement
si = 0. Comme
on a donc
R 2
0
2
it
r, (e )d(t) =
0
Pr ( t)d(t) = P ()(rei ),
r, (eit )d(t) = 0 pour 0 r < 1 et R si et seulement si P () = 0, ce
qui implique 0 = (P ()) = kk. Finalement = 0 et de ce fait E est dense dans C(T).
Fixons f S non identiquement nulle. Pour 0 s < 1, on denit lapplication lineaire
Ls : C(T) C par
Ls (g) =
R 2
g(eit )f (seit )dt.
Pr ( t)f (seit )dt. Comme la fonction u 7 f (su) est

R 2
continue sur D, harmonique dans D, daprès le Theorème 1.3.1, 0 Pr ( t)f (seit )dt =
On remarque que Ls (r, ) =
2f (srei ). On a donc Ls (r, ) = 2f (srei ) et par continuite de f sur D(0, r) on obtient :

lim Ls (r, ) = 2f (rei ).
s1
La linearite de Ls nous garantit que pour tout g E, lims1 Ls (g) existe.

Letape suivante de la preuve consiste à montrer que lims1 Ls (h) existe pour toute fonction h C(T). On a

Z 2
Z

it
it
kLs k = sup
f (se )g(e )dt : kgk 1
0
|f (seit )|dt (f ) < .
(2.3)
Soit > 0 et soit h C(T). Comme E est dense dans C(T), il existe g E telle que
kg hk
.
2(f )
De plus, comme L(g) := lims1 Ls (g) existe, il existe > 0 tel que
pour 1 < s < 1, on ait |Ls (g) L(g)| <
.
4(f )
Pour s, s ]1 , 1[, daprès (2.3), on
obtient :
|Ls (h) Ls (h)| |Ls (h) Ls (g)| + |Ls (g) L(g)| + |L(g) Ls (g)| + |Ls (g) Ls (h)|
kLs kkh gk +
+
+ kLs kkh gk
4(f ) 4(f )
32

CHAPITRE 2. THEORIE
AVANCEE
+
+ (f )
(f )
2(f ) 2(f )
2(f )

1
= 1+
.
2(f )
Comme C est complet, lensemble des applications lineaires de C(T) dans C est complet.
Ainsi, la suite (Ls )0s<1 , veriant le critère de Cauchy, est convergente. Appelons L sa limite
qui, daprès (2.3), verie kLk (f ). Puisque L (C(T)) , daprès le Theorème 2.1.2, il
existe une mesure complexe M(T) telle que :
Z 2
L(h) = Lc ()(h) =
h(eit )d(t), h C(T).
0
Il ne reste plus quà verier que P () = f .

Daprès les calculs precedents, nous avons :
i
P ()(re ) =
=
=
=
Z 2
1
Pr ( t)d(t)
2 0
1
L(r, )
2
1
lim Ls (r, )
2 s1
1
2f (rei ) = f (rei ).
2
Ainsi P () = f et la preuve du theorème est achevee.

Corollaire 2.2.1 Lapplication 7 P () est une isometrie bijective de M+ (T) :=
{mesure positive finie sur T} sur lensemble des fonctions harmoniques positives sur D.
R
Soit M+ (T). Pour toute fonction f C(T) positive on a donc T f d 0.
R 2
1
Comme P ()(rei ) = 2
Pr ( t)d(t) avec t 7 Pr ( t) continue et positive pour
0
Preuve :
tout R, on a donc P () fonction harmonique positive sur D.
Reciproquement, si lon suppose que f est une fonction harmonique positive sur D, on a
donc :
Z
2
it
|f (se )|dt =
f (seit )dt
= 2f (0),
2.3. LIMITES RADIALES DES FONCTIONS HARMONIQUES SUR D

daprès le Corollaire 1.2.3. On a donc (f ) := sup0s<1
R 2
0
33
|f (sei )|d = 2f (0) < , ce
qui prouve que f S. Daprès le Theorème 2.2.1, il existe M(T) telle que f = P ().
Dans la preuve du Theorème 2.2.1, on a vu que pour toute fonction h continue sur T on
a:
it
h(e ) d(t) = lim

s1
h(eit )f (seit ) dt.
R 2
h(eit ) d(t) 0. Ceci montre

R 2
1
h(eit ) d(t) est
aussi que lapplication lineaire : C(T) C denie par (h) = 2
0
Ainsi, si h est une fonction continue positive sur T on a
continue avec kk = f (0) et positive. Ainsi C+ (T). Daprès le Theorème 2.1.2, est
une mesure positive nie.
2.3
Limites radiales des fonctions harmoniques sur D
Nous allons montrer à present que si f est une fonction harmonique positive dans D
alors limr1 f (reit ) existe pour presque tout t et de plus cette limite radiale coincide avec
la derivee de Radon-Nikodym de la mesure positive veriant f = P ().
2.3.1
Rappels de th
eorie de la mesure sur R
Soit m la mesure de Lebesgue sur R, m(E) =

Soit une mesure complexe sur R.
dx pour tout borelien E de R.
Mesure
etrang`
ere `
a la mesure de Lebesgue
On dit que est
etrang`
ere `
a m et on note m sil existe un borelien A de R tel
que m(A) = 0 et tel que (E) = (E A) pour tout borelien E. Autrement dit, est
portee par un borelien de mesure de Lebesgue nulle. Voici deux exemples de mesures sur
R etrangères à m :
1. Soit t0 un point de R et soit t0 la mesure de Dirac en t0 . Posons A = {t0 }. On a
donc m(A) = 0 tandis que pour tout borelien E de R on a t0 (E) = t0 (E A) car

CHAPITRE 2. THEORIE
AVANCEE
34
t0 (E) = 0 si t0 6 E et t0 (E) = 1 si t0 E.
2. On enumère (rn )n1 la suite denombrable des rationnels de R et on considère la
X 1
, serie convergente dans lespace de Banach M(R). Posons
mesure =
2 rn
n
n1
A = Q. Nous avons m(A) = 0 et par construction, pour tout borelien E de R, nous
avons (E) = (E A) meme si A est dense dans R.
De plus, si est portee par un borelien A, il en est de meme pour ||. En eet, pour tout
borelien E de R, on a :
||(E A) = sup
(
X
|(Fj )| : (Fj )j partition de E A
= sup
(
X
|(Ej A)| : (Ej )j partition de E
Comme par hypothèse (F A) = (F ) pour tout borelien F de R, on a donc ||(E A) =

P
sup{ j |(Ej )| : (Ej )j partition de E} = ||(E). Ainsi
m || m.
(2.4)
Mesure absolument continue par rapport a la mesure de Lebesgue

Soit une mesure complexe sur R. On dit que est absolument continue par rapport
a la mesure de Lebesgue et on note m si m(E) = 0 implique (E) = 0. Si est
1
absolument
Z continue par rapport à m, il existe une unique fonction f L (R) telle que
(E) =
f (x)dx. On ecrit aussi d(x) = f (x)dx.
E
Th
eor`
eme de Radon-Nikodym et d
eriv
ee dune mesure au sens de RadonNikodym
Th
eor`
eme 2.3.1 (de Radon-Nikodym) Soit m la mesure de Lebesgue sur R et soit
une mesure complexe definie sur R, i.e. M(R). Alors il existe un unique couple (, )
de mesures de M(R) tel que
= + avec m et m.
35
Lobjet de la section suivante (cf. [22], Chap. 8, p. 148) est de montrer que siZ f est la
d
eriv
ee de Radon-Nikodym de , i.e. la fonction f L1 (R) telle que (E) =
f (x)dx
E
pour tout borelien E de R, alors

lim
s0
2.3.2
(]x s, x + s[)
= f (x) m-presque partout.
2s
D
eriv
ees sup
erieures et inf
erieures dune mesure `
a valeurs
r
eelles et d
efinie sur R
D
efinition 2.3.1 Pour x R et s > 0, on pose Ix,s =]x s, x + s[. Soit une mesure `
a
valeurs reelles et definie sur R.
On appelle d
eriv
ee sup
erieure de en x la quantite
D()(x) := lim sup
s0
(Ix,s )
.
2s
On appelle d
eriv
ee inf
erieure de en x la quantite
D()(x) := lim inf
s0
(Ix,s )
.
2s
Nous allons tout dabord donner deux lemmes precisant certaines proprietes des derivees
superieures et inferieures dune mesure positive.
Lemme 2.3.1 Si M(R) est positive alors D() et D() sont des fonctions boreliennes
(i.e. limage reciproque de tout ouvert de R+ est un borelien de R).
Preuve :
Pour x R et n 1, on pose :
n (x) =
Soit s ]0, 1[ et soit n 1 tel que
1
n+1

Ix,
et donc
1
n+1
(Ix, 1 )
n
2
n
n(Ix, 1 )
n
< s n1 . Comme est une mesure positive on a :

(Ix,s ) Ix, 1
n
(I )

n
n+1
x,s
Ix, 1
Ix, 1 .
n+1
n
2
2s
2
36

CHAPITRE 2. THEORIE
AVANCEE
Ainsi on obtient :
(Ix,s )
n+1
n
n+1 (x)
n (x).
n+1
2s
n
Comme lim supn n (x) = lim supn
n+1
n (x)
n
= lim supn
et lim inf n n (x) = lim inf n n+1

n (x) = lim inf n
n
lim sup n (x) = lim sup
n
s0
n
(x)
n+1 n+1
n
(x),
n+1 n+1
on en deduit que
(Ix,s )
(Ix,s)
et lim inf n (x) = lim inf
.
n
s0
2s
2s
Fixons n 1 et choisissons a R tel que a < x n1 . On obtient alors :

2
1
1
a, x
.
n (x) = Ix, 1 = a, x +
n
n
n
n

La positivite de implique que x 7 a, x + n1 et x 7 a, x n1 sont des fonctions croissantes donc boreliennes. Par consequent, x 7 n (x) est une fonction borelienne
et D() et D() sont des fonctions boreliennes comme limite superieure ou inferieure de
fonctions boreliennes.

Lemme 2.3.2 Soit une mesure de Borel positive sur R non necessairement finie
mais telle que (K) < pour tout compact K de R et soit A un borelien tel que (A) = 0.
Alors il existe un borelien B A tel que m(B) = 0 avec D()(x) = 0 pour tout x A \ B.
Preuve :
Soit P = {x R : D()(x) > 0}. P est un borelien comme image reciproque
de louvert ]0, +[ par la fonction borelienne D(). Posons B = A P . Par denition

B A et si x A \ B alors x 6 P et donc D()(x) = 0.
Il nous reste donc à verier que m(B) = 0.

On pose Pn = x R : D()(x) > n1 , de sorte que P = n1 Pn et donc B = P A =
n1 (Pn A). Si m(P A) > 0, il existe n0 1 tel que m(Pn0 A) > 0. On pose
alors D = Pn0 A. Nous savons que m(D) = sup{m(K) : K D, K compact} (=

inf{m(V ) : V D, V ouvert}). Donc si m(B) > 0 il existe K compact, K D avec
m(K) > 0.
Fixons > 0. Comme K Pn0
n
= x R : lim sups0 (I2sx,s ) >
1
n0
, pour tout x K, il
37
existe s(x) > 0 avec s(x) < veriant

(Ix,s(x))
1
.
2s(x)
n0
La famille douverts (Ix,s(x) )xK forme un recouvrement ouvert de K. K etant compact, on
peut en extraire un recouvrement ni Ix1 ,s(x1 ) , , Ixk ,s(xk ) avec (modulo un rearrangement)
s(x1 ) s(xk ). On pose ensuite u1 = 1 et on denit la suite croissante dentiers
u2 , , up avec p k par la relation :
ui+1 = inf{j ui : Ixj ,s(xj ) (ti Ixut ,s(xut ) ) = }.
On sarrete à p k tel que
(tp Ixut ,s(xut ) ) Ixj ,s(xj ) 6= pour tout j > up .
Par construction les intervalles Li = Ixui ,s(xui ) sont disjoints deux à deux pour 1 i p.
Pour 1 i p, on note ensuite par Lei lintervalle ouvert ]xui 3s(xui ), xui + 3s(xui )[.
Autrement dit Lei est, comme Li , centre en xui mais a une longueur triple de celle de Li .
Nous allons verier que (Lei )1ip est un recouvrement ouvert de K.
Si i = ut pour un certain t avec 1 t p alors Ixi ,s(xi ) = Lt Let .
Si i 6= ut pour tout t avec 1 t p, soit t0 le plus grand entier tel que ut0 < i. Alors
Ixi ,s(xi ) rencontre Ixuj ,s(xuj ) pour un certain j t0 . Comme uj ut0 < i, la longueur de
Ixi ,s(xi ) qui vaut 2s(xi ) est donc par construction inferieure ou egale à 2s(xuj ) qui est la
fj .
longueur de Lj . Ainsi on a donc Ixi ,s(xi ) L
En resume on a montre que les intervalles (Li )1ip etaient disjoints deux à deux et que
(Lei )1ip forment un recouvrement ouvert de K.
Soit K le compact deni par K = {x R : dist(x, K) } (cest la continuite de

la distance qui nous garantit que K est compact). Par construction les intervalles Li ,
1 i p, sont centres en des points de K et de demi-longueur strictement inferieures à
, on a donc 1ip Li K . Les intervalles Li , 1 i p, etant deux à deux disjoints on
a donc :
(K )
1ip
(Li )
38

CHAPITRE 2. THEORIE
AVANCEE
Comme Li est de la forme ]x s, x + s[ avec

(Li )
(]xs,x+s[)
2s
1
,
n0
on a donc :
m(Lei )
m(Li )
=
pour 1 i p.
n0
3n0
On en deduit :
(K )
X m(Lei )
1
1
m(1ip Lei )
m(K),
3n0
3n0
3n0
1ip
avec m(K) > 0. Comme K = m1 K 1 , on a donc :

m

1
1
(K) = lim K
m(K) > 0.
m
m
3n0
Dautre part, comme K A avec (A) = 0, necessairement (K) = 0. On a donc une
contradiction et on en deduit que m(B) = 0 avec B = A P .

Corollaire 2.3.1 Si M(R) est telle que m alors
(Ix,s )
s0
2s
D()(x) := lim
existe et est nul m-presque partout.
Preuve :
Daprès (2.4) nous avons || m. Ainsi il existe un borelien A de R tel que
m(A) = 0 et ||(E) = ||(E A) pour tout borelien E de R. Soit D = R \ A. On a donc

||(D) = ||(D A) = 0.
Daprès le Lemme 2.3.2, il existe un borelien F D tel que m(F ) = 0 et D(||)(x) = 0
pour tout x D \ F . Comme
|(Ix,s )|
2s
||(Ix,s )
,
2s
D(||)(x) = 0 implique D()(x) = 0 pour
tout x D \ F . Le complementaire dans R de D \ F est R \ ((R \ A) (R \ F )) = A F .

Comme m(A) = 0 = m(F ), on a donc m(A F ) = 0 et donc D()(x) est nul m-presque
partout.
39
Corollaire 2.3.2 Si M(R) est telle que m alors

(Ix,s )
s0
2s
D()(x) := lim
existe et coincide avec f (x) m-presque partout o`

u f est la fonction de L1 (R) telle que
R
(E) = E f (x)dx pour tout borelien E de R.
Preuve :
Soit f la fonction de L1 (R) telle que (E) =
de R. Si f est continue, on a :
(]x s, x + s[) =
et donc
(]x s, x + s[)
1
lim
= lim
s0
s0 2s
2s
f (x)dx pour tout borelien E
x+s
f (t)dt,
xs
x+s
f (t)dt = f (x).
xs
Dans un premier temps nous allons nous restreindre au cas o`

u est une mesure r
eelle.
Dans ce cas f est elle-aussi à valeurs reelles.
Pour r Q on pose Ar = {x R : f (x) < r} et Br = {x R : f (x) r}. On denit la
mesure r sur tout borelien E de R par la formule :
Z
(f (x) r)dx.
r (E) =
EBr
r a bien un sens car x 7 f (x) r est mesurable. Comme f (x) r est positive sur
E Br , la mesure r est positive. Dautre part, comme f L1 (R) et comme la mesure
de Lebesgue est nie sur les compacts, la mesure r est nie sur les compacts. De plus
R
r (Ar ) = (f (x) r)dx = 0. Daprès le Lemme 2.3.2, il existe un borelien Ar Ar tel
que m(Ar \ Ar ) = 0 et D(r )(x) = 0 pour tout x Ar . Par construction, la mesure r est
positive et donc D(r )(x) 0. Ainsi D(r )(x) = 0 pour tout x Ar implique D(r )(x) = 0
pour tout x Ar . On pose Y := rQ (Ar \ Ar ). Q etant denombrable, Y est la reunion
denombrable densembles de mesures de Lebesgue nulle. On a donc m(Y ) = 0. Soit x 6 Y
et soit r un rationnel tel que r > f (x). On a donc x Ar et comme x 6 Y , on a donc
r (]x s, x + s[)
x Ar . On a donc lim
= 0. On remarque que :
s0
2s
Z
Z
r (]x s, x + s[) =
(f (t) r)dt
(f (t) r)dt = (]x s, x + s[) 2rs,
]xs,x+s[Br
]xs,x+s[
40

CHAPITRE 2. THEORIE
AVANCEE
car pour t Ar on a (f (t) r) 0. On en deduit ainsi que :

(]x s, x + s[)
r (]x s, x + s[)
+r
.
2s
2s
Ainsi, si x 6 Y et si r est un rationnel tel que r > f (x), on a :
lim sup
s0
(]x s, x + s[)
r.
2s
La densite de Q dans R nous permet darmer que pour tout x 6 Y on a :

lim sup
s0
(]x s, x + s[)
f (x).
2s
Par un raisonnement analogue applique cette fois-ci à la mesure () qui reste absolument
continue par rapport à m (et dont la derivee de Radon-Nikodym est f ) on montre quil
existe un borelien Z de mesure de Lebesgue nulle tel que si x 6 Z on a :
lim sup
s0
(]x s, x + s[)
f (x),
2s
ce qui implique :
lim inf
s0
(]x s, x + s[)
(]x s, x + s[)
= lim sup
(f (x)) = f (x).
2s
2s
s0
On a donc montre que si est une mesure reelle absolument continue par rapport à m,
pour tout x 6 (Y Z) avec m(Y Z) = 0 (car m(Y ) = m(Z) = 0), D()(x) existe et
coincide avec f (x).
On obtient la preuve du corollaire dans le cas o`
u est une mesure complexe en
considerant separement la partie reelle 1 = Re() et la partie imaginaire 2 = Im()
de qui sont absolument continues par rapport à m si m.

La combinaison du Theorème de Radon-Nikodym (Theorème 2.3.1) avec les Corollaire 2.3.1 et Corollaire 2.3.2 nous donne le theorème suivant.
Th
eor`
eme 2.3.2 Soit M(R). Alors il existe un unique couple de mesures (, ) avec
m et m et il existe une unique fonction f L1 (R) verifiant :
Z
(E) =
f (x)dx pour tout borelien E de R
E
D()(x) := lim (]x s, x + s[) = f (x) m-presque partout.

s0
2s
41
Autrement dit, si M(R), alors D()(x) L1 (R) et si on pose (E) := (E)

R
D()(x)dx pour tout borelien E de R alors m.
E
Il existe un analogue du theorème ci-dessus pour des mesures complexes sur Rk , k 1 (cf.
[22]).
2.3.3
Limite radiale de lint

egrale de Poisson par rapport `
a
M(T)
Proposition 2.3.1 Soit M(T) à valeurs reelles. Lintegrale de Poisson par rapport
à est la fonction harmonique sur D definie par :
1
P ()(re ) =
2
i
Pr ( t)d(t),
pour 0 r < 1 et R. On a alors :

lim sup P ()(rei ) D()() := lim sup
s0
r1
Preuve :
(] s, + s[)
.
2s
Soit ]0, [. On a alors :

1
P ()(re ) =
2
i
1
Pr ( t)d(t) +
2
|t|
Daprès la Proposition 1.3.1, on a Pr ( t) =
Pr ( t)d(t).
|t|<
1 r2
. Si | t| on
1 2r cos( t) + r 2
1 r2
= Pr () et donc
1 2r cos + r 2

Z
Z
Pr ()
1
Pr ()

Pr ( t)d(t)
d||(t)
kk.
2
2 |t|
2
|t|
obtient Pr ( t)
1 r2
On remarque que comme ]0, [, lim Pr () = lim
= 0. Nous allons
r1 1 2r cos + r 2
r1
Z
Z
1
1
estimer à present
Pr ( t)d(t) =
Pr ( t)d(t).
2 |t|<
2 +
2
On considère le domaine de CZd
Zeni par = {(s, t) R : s < t < + s, 0 < s < }
(cf. Figure 2.1). Calculons I =
Pr (s) dsd(t). Comme la fonction Pr est continue et

CHAPITRE 2. THEORIE
AVANCEE
42
t
+
Fig. 2.1 Domaine dintegration
bornee et comme on lintègre sur un intervalle borne, daprès le Theorème de Fubini, on

obtient :
I =
I =
=
Z Z
Z
+s
d(t)
Z +
Z
|t|
Pr (s)ds
Pr (s)ds
d(t) =
(] s, + s[)Pr (s)ds
et
(Pr () Pr (| t|))d(t)
(Pr () Pr ( t))d(t),
car Pr est une fonction paire. On en deduit que :

Z +
Z +
Z
Pr ( t)d(t) =
Pr ()d(t) +
(] s, + s[)(Pr (s))ds
= Pr ()(] s, + s[) +
(] s, + s[)(Pr (s))ds,
avec Pr (s) 0 pour tout s [0, ] car Pr est decroissante sur [0, ] car ]0, [. Soit
A > D()(). Si est assez petit, on a :
s ]0, ], (] s, + s[) < 2sA.
Ainsi on obtient :
Z
Pr ( t)d(t) 2APr () +
= 2A(Pr () +
2As(Pr (s))ds
sPr (s)ds).
En integrant par parties, on a :

Z
Z
Pr () +
sPr (s)ds = Pr () + [sPr (s)]0 +
Pr (s)ds
0

Z
43
Pr (s)ds
Pr (s)ds = .
Finalement, pour assez petit, comme
Pr ( t)d(t) 2A, on obtient :
|t|<
A > D()(), P ()(rei ) A + Pr ()
kk
.
2
Comme lim Pr () = 0, lim supr1 P ()(rei ) D().

r1

Nous deduisons aisement de la proposition precedente le theorème suivant :
Th
eor`
eme 2.3.3 Soit M(T). Pour presque tout t R (par rapport à la mesure
de Lebesgue), limr1 P ()(reit) existe et si on pose (eit ) = limr1 P ()(reit), alors
L1 (T) et est la derivee de Radon-Nikodym de par rapport à la mesure de Lebesgue.
R
Autrement dit, si lon pose (E) := (E) E (eit )dt pour tout borelien E de T, alors
m.
Preuve :
Supposons tout dabord que est à valeurs reelles. En appliquant la Proposi-
tion 2.3.1 à , comme P = P (), lim supr1 P ()(reit ) = lim inf r1 P ()(reit)
et D() = D(), on obtient :
P ()(reit) lim sup P ()(reit) D()().
D()() lim inf
r1
r1
Or, daprès le Theorème 2.3.2, D()() = D()() = D()() m-presque partout et de

plus D() coincide avec la derivee de Radon-Nikodym de par rapport à la mesure de
Lebesgue.. On en deduit immediatement lassertion du theorème. Si est une mesure
complexe, on ecrit = 1 + i2 avec 1 et 2 mesures à valeurs reelles. Comme D(1 ) et
D(2 ) existent m-presque partout et comme D() = D(1 ) + iD(2 ), D() est bien deni
m-presque partout. Comme P () = P (1) + iP (2 ), lassertion du theorème reste vraie si
est une mesure complexe.

CHAPITRE 2. THEORIE
AVANCEE
44
2.3.4
Applications : description de certaines fonctions harmoniques
En utilisant le Corollaire 2.2.1 et le Theorème 2.3.3, on obtient une description des

fonctions harmoniques positive sur D.
Corollaire 2.3.3 Soit F une fonction harmonique positive sur D. Alors
F (eit ) := lim F (reit )
r1
existe m-presque partout et F L1 (T). De plus il existe une mesure positive finie sur T
telle que m et F = P (F ) + P () avec limr1 P ()(reit ) = 0 pour presque tout t R
(par rapport à la mesure de Lebesgue).
Plus generalement, daprès le Theorème 2.2.1 et leZTheorème 2.3.3, on obtient la description
2
|f (sei )|d < .
des fonctions harmoniques sur D telles que sup
0s<1
Corollaire 2.3.4 Soit F une fonction harmonique sur D telle que sup
0s<1
. Alors
|f (sei )|d <
F (eit ) := lim F (reit )

r1
existe m-presque partout et F L (T). De plus il existe une mesure finie sur T telle
que m et F = P (F ) + P () avec limr1 P ()(reit ) = 0 pour presque tout t R (par
rapport à la mesure de Lebesgue).
45
2.4. EXERCICES
2.4
Exercices
Exercice 2.4.1
Soit u la fonction definie sur D par u(z) = Im

1+z 2
1z
1. Demontrer que u est une fonction harmonique qui nest pas identiquement nulle mais
dont toutes les limites radiales sont nulles.
2. Demontrer que la fonction u nest lintegrale de Poisson daucune mesure sur T et
quelle nest pas la difference de deux fonctions harmoniques positives dans D.
Exercice 2.4.2
Soit une mesure de Borel positive reelle sur R (une mesure de Borel est une mesure
definie sur la tribu des boreliens dun espace separe localement compact) telle que m.
Alors D()(x) = + presque partout par rapport à la mesure .
Exercice 2.4.3 [utiliser lexercice 2.4.2]
Soit une mesure de Borel positive reelle sur T non identiquement nulle et telle que m.
Si u = P (), demontrer que limr1 u(rei ) = pour au moins un R.
Exercice 2.4.4 [utiliser lexercice 2.4.2]
Soit u une fonction harmonique positive dans D telle que limr1 u(rei ) = 0 pour tout
ei 6= 1. Demontrer quil existe une constante c telle que u(rei ) = cPr ().
Exercice 2.4.5 Soit lensemble des fonctions harmoniques positives dans D telles que
u(0) = 1. Montrer que est un ensemble convexe et trouver les points extremaux de
(un point x dun ensemble convexe est appele un point extremal de si lon ne peut pas
trouver de segment contenant x dont les extremites sont dans et sont differentes de x).
Indication : Si C est lensemble convexe des mesures de Borel positives sur T, de variation
totale 1, montrer que les points extremaux de C sont exactement les mesures de Dirac
concentrees en un point de T.
46

CHAPITRE 2. THEORIE
AVANCEE
Chapitre 3
La classe de Nevanlinna N
3.1
Rappels : primitive de fonction holomorphe, fonctions log+ et log , d

ecomposition de Jordan dune
mesure complexe
3.1.1
Primitive de fonction holomorphe
Les equivalences que donnent le theorème suivant se trouvent en particulier dans [15].
Th
eor`
eme 3.1.1 Pour tout ouvert non vide de C, les assertions suivantes sont equivalentes.
1. est homeomorphe à D.
2. est simplement connexe.
3. Pour toute fonction holomorphe sur et pour tout lacet dans :
f (z)dz = 0.
4. Toute fonction holomorphe sur possède une primitive (holomorphe) dans .

5. Toute fonction holomorphe f sur ne sannulant pas sur possède une determination
holomorphe de log f , i.e. , il existe g holomorphe sur verifiant f = eg .
3.1.2
Fonctions log+ et log
La fonction log+ est la fonction continue denie sur ]0, +[ par

+
log (s) =
log s
0
47
si
si
s1
0 < s < 1.
CHAPITRE 3. LA CLASSE DE NEVANLINNA N
48
Autrement dit, log+ (s) = sup(log s, 0).

La fonction log est la fonction continue denie sur ]0, +[ par

0
si s 1
log (s) =
log s si 0 < s < 1.
Autrement dit, log (s) = sup( log s, 0).
On a donc log(s) = log+ (s) log (s) et | log(s)| = log+ (s) + log (s).
3.1.3
D
ecomposition de Jordan dune mesure r
eelle
Soit une mesure reelle sur une tribu M dun ensemble X. On denit les mesures +
et par
1
1
+ = (|| + ) et = (|| ),
2
2
o`
u || est la mesure positive denie pour tout E M par :
(
)
X
||(E) = sup
|(Ei )| : (Ei )i1 partition denombrable de E .
i1
Alors + et sont des mesures positives telles que = + et || = + + .

La mesure + est appelee la variation positive de et la mesure est appelee la
variation n
egative de . La decomposition de sous la forme = + est appelee
la d
ecomposition de Jordan de .
Th
eor`
eme 3.1.2 (de d
ecomposition de Hahn) Soit une mesure reelle (finie) sur
une tribu M dun ensemble X. Il existe deux ensembles A et B de M tels que A B = X,
A B = et tels que les variations positives et negatives de satisfassent :
+ (E) = (E A) et (E) = (E B) pour tout E M,
ce qui implique en particulier que + . Le couple (A, B) est appele la d
ecomposition
de Hahn de X induite par .
Preuve :
Nous avons vu dans le paragraphe 2.1.2 quil existait une fonction h mesurable
avec |h| = 1 ||-presque partout et d = hd||. Comme est reelle, h est aussi à valeurs
3.2. DEFINITION
DE N , FONCTIONS DE N SANS ZERO
49
reelles. Ainsi, quitte à redenir h sur un ensemble negligeable par rapport à la mesure ||,
on peut supposer que les deux seules valeurs que prend h sont 1 et 1. On denit ensuite les
deux elements A et B de M par A := {x
X : h(x) = 1} et B := {x X : h(x) = 1}.
h sur A
Comme + = 21 (|| + ) et 12 (1 + h) =
, nous en deduisons que pour tout
0 sur B
E M,
Z
Z
1
+
(1 + h)d|| =
hd|| = (E A).
(E) =
2 E
EA
Comme (E) = (E A) + (E B) et = + , on obtient (E) = (E B).
3.2
D
efinition de la classe de Nevanlinna N et description des fonctions de N ne sannulant pas sur
D
D
efinition 3.2.1 La classe de Nevanlinna N est definie par :

Z
+
it
N := f Hol(D) : sup
log |f (re )|dt < .
0r<1
Les fonctions de N etant holomorphes, ce sont des fonctions harmoniques sur D à valeurs
complexes. Nous allons tout dabord considerer les fonctions de N qui ne sannulent pas
sur D.
Th
eor`
eme 3.2.1 Soit f N ne sannulant pas sur D. Alors il existe R et une mesure
(finie) reelle sur T dont les variations positives et negatives + et satisfont :
f (z) = ei
1
e 2
1
e 2
eit + z
d (t)
eit z
eit + z +
d (t)
eit z
En particulier f est le quotient de deux fonctions holomorphes bornees sur D.

Preuve :
Comme D est simplement connexe, daprès le Theorème 3.1.1, si f N
ne sannule pas sur D, il existe g Hol(D) veriant f = eg et ainsi log |f | = Re(g).
50
Par consequent log |f | est harmonique (comme partie reelle dune fonction holomorphe).
Daprès le Corollaire 1.2.3, pour 0 r < 1,
Z
log |f (reit )|dt = 2 log |f (0)|.
Comme, par denition de N , sup

0r<1
it
log+ |f (reit )|dt < et comme
log |f (re )|dt =
it
log |f (re )|dt
on obtient :
sup
0r<1
log |f (reit )|dt,
log |f (reit )|dt < .
De plus, comme | log(s)| = log (s) + log (s), on a :

Z
sup
| log |f (reit )||dt < .
+
0r<1
Daprès le Theorème 2.2.1, il existe une mesure M(T) telle que log |f | = P () sur D.
Comme log |f | est reelle, il est clair que est reelle. On a donc

Z it
e +z
1
d(t) .
Re(g(z)) = log |f (z)| = Re
2 eit z
Daprès les equations de Cauchy-Riemann, il existe R tel que :
Z it
1
e +z
g(z) =
d(t) + i,
2 eit z
ce qui implique
1
f (z) = ei e 2
eit + z
d(t)
eit z
,
o`
u est une mesure reelle et R. Daprès la decomposition de Jordan dune mesure
reelle et daprès le Theorème 3.1.2, = + avec + et mesures positives telles que
+ (car concentrees sur deux ensembles disjoints). Finalement on obtient :
Z
1 eit + z
d (t)
2 eit z
e
.
f (z) = ei
Z
1 eit + z +
d (t)
it z
2
e
3.2. DEFINITION
DE N , FONCTIONS DE N SANS ZERO
51
On remarque que si est une mesure positive, on a :

1

Re@
1 R eit +z d(t)
2
=e
e 2 eit z

0
eit + z
d(t)A
eit z
= eP (z) 1,
1
car si 0, P (z) 0. La fonction f N est donc le quotient de deux fonctions

holomorphes bornees sur D.

Nous allons tout dabord enoncer un resultat concernant les fonctions analytiques
bornees qui nous permettra de caracteriser les fonctions f de N qui ne sannulent pas
et de conclure à lexistence de limite radiale pour f m-presque partout.
Lemme 3.2.1 Soit f H (D) lensemble des fonctions holomorphes bornees sur D muni
de la norme du supremum k k . Alors , f (eit ) := limr1 f (reit ) existe pour presque tout
t R (par rapport à la mesure de Lebesgue) et appartient à L (T).
Preuve :
Soit f une fonction analytique et bornee sur D. Nous avons

sup
0r<1
|f (reit )|dt 2kf k o`

u kf k := sup |f (z)|.
|z|<1
De plus, comme f est holomorphe sur D elle est harmonique sur D. Daprès le Corollaire 2.3.4, f (eit ) := limr1 f (reit ) existe m-presque partout et f L1 (T). De plus
|f (eit )| kf k m-presque partout. Ainsi on obtient f L (T).

Nous pouvons decrire à present les fonctions de N sans zero.
Th
eor`
eme 3.2.2 Soit f N ne sannulant pas sur D. Alors, f (eit ) := limr1 f (reit )
existe pour presque tout t R (par rapport à la mesure de Lebesgue) et de plus log |f |
L1 (T). De plus il existe une mesure reelle m et R verifiant :
1
f (z) = ei e 2
eit + z
1
log |f (eit )|dt
it
e z
e 2
eit + z
d(t)
eit z
.
52
Preuve :
Daprès le Theorème 3.2.1, il existe g, h H (D) avec g(z) 6= 0 et h(z) 6= 0
pour tout z D, kgk 1, khk 1 et f = hg . Ainsi

Z
Z
it
sup
|g(re )|dt 2 et sup
|h(reit )|dt 2.
0r<1
0r<1
Daprès le Lemme 3.2.1, g (eit ) = limr1 g(reit ) et h (eit ) = limr1 h(reit ) existe pour
presque tout t [0, 2] (par rapport à la mesure de Lebesgue). Comme D est simplement
connexe et h ne sannule pas sur D, il existe une fonction Hol(D) telle que h = e .
Comme khk 1, la fonction Re()(= log |h|) est une fonction harmonique negative sur D.
Daprès le Corollaire 2.3.3, (eit ) := limr1 log |h(reit )| existe pour presque tout t [0, 2]
(par rapport à la mesure de Lebesgue). Il existe donc un borelien A de [0, 2] de mesure
de Lebesgue nulle tel que pour tout t [0, 2] \ A, on est simultanement :

limr1 log |h(reit )| = (eit ) existe
= h (eit ) existe.
limr1 h(reit )
Par consequent, pour t [0, 2] \ A, on a |h (eit )| =
6 0. Si B est un borelien de mesure
de Lebesgue nulle telle que g (eit ) = limr1 g(reit ) existe pour tout t [0, 2] \ B, on a
donc :
f (eit ) = lim f (reit ) existe pour tout t [0, 2] \ (A B) et f (eit ) =
r1
g (eit )
.
h (eit )
Nous avons vu dans la preuve du Theorème 3.2.1 que f etait de la forme

Z it
1
e +z
d(t)
it
f (z) = ei e 2 e z
avec mesure reelle de M(T) telle que log |f | = P () sur D. Daprès le Theorème 2.3.3,
d(t) = (eit )dt + d(t) avec m et (eit ) = limr1 log |f (reit )| pour presque tout t
(par rapport à la mesure de Lebesgue) avec L1 (T). Nous venons de voir que, pour
presque tout t, (eit ) = log |f (eit )|. On obtient donc log |f | L1 (T) et
Z it
Z it
e +z
1
e +z
1
it
log |f (e )|dt
d(t)
it
it
e 2 e z
,
f (z) = ei e 2 e z
avec mesure reelle, m.

3.3. LA FORMULE DE JENSEN ET SES CONSEQUENCES
3.3
53
La formule de Jensen et ses cons

equences
Dans cette section, nous allons montrer que les zeros de fonctions de N , sils forment
une suite innie, tendent en module vers 1 assez rapidement.
An de demontrer la formule de Jensen, nous allons etablir le lemme suivant.
Lemme 3.3.1
Z 2
log |1 ei |d = 0.
0
Preuve :
On remarque tout dabord que :

|1 ei | = |(1 cos )2 + sin2 |1/2 = |2(1 cos )|1/2 = |2 sin(/2)|.
Si lon pose I =
R 2
0
log |1 ei |d, on obtient :

Z 2
Z
I=
log |2 sin(/2)|d =
0
log(2 sin(/2))d.
En eectuant le changement de variable s = /2 et en utilisant le fait que sin(x) = sin x,

on obtient :
I=
2 log(2 sin s)ds = 4

0
/2
log(2 sin s)ds.
(3.1)
R /2
Dautre part, comme sin(/2s) = cos s, on a aussi I = 4 0 log(2 cos s)ds, ce qui donne :
R

R /2
R /2
/2
I = 21 4 0 log(2 sin s)ds + 4 0 log(2 cos s)ds = 2 0 log(4 cos s sin s)ds
R /2
R
= 2 0 log(2 sin 2s)ds = 0 log(2 sin u)du avec 2s = u.
R /2
Comme sin( x) = sin x, on obtient ainsi I = 2 0 log(2 sin u)du. Daprès (3.1) on a
donc 2I = I, ce qui implique I = 0.

Th
eor`
eme 3.3.1 (Formule de Jensen) Soient 0 < r < R et soit f holomorphe sur le
disque ouvert D(0, R) avec f (0) 6= 0. Si 1 , N designe la suite des zeros (eventuellement
vide) de f dans le disque ferme D(0, r) comptes selon leur multiplicite, alors on a :
Z 2
N
X
1
r
log |f (rei )|d
=
log |f (0)| +
log
|
|
2
n
0
n=1
avec la convention
PN
r
n=1 log |n |
= 0 si f na pas de zero dans D(0, r).
54
Si f na pas de zeros dans D(0, r), elle nen a pas dans le disque ouvert
Preuve :
D(0, r + ) pour susamment petit. Comme D(0, r + ) est simplement connexe, daprès
le Theorème 3.1.1, il existe g holomorphe dans D(0, r + ) telle que f = eg , ce qui implique
log |f | = Re(g). Daprès le Corollaire 1.2.3 appliquee à la fonction harmonique log |f |
continue sur D(0, r) (puisque harmonique sur D(0, r + )) et harmonique sur D(0, r), on
a:
1
log |f (0)| =
2
log |f (rei )|d.
Si f a des zeros dans D(0, r), on peut les enumerer de sorte que :

|1 | |m |
< r
|m+1 | = |N | = r.
On pose alors
N
m
Y
Y
n
r 2 n z
.
g(z) = f (z)
r(n z) n=m+1 n z
n=1
Par construction la fonction g est holomorphe dans D(0, R) et elle ne sannule pas dans
D(0, r). Daprès ce qui precède on a donc :
Z 2
1
log |g(rei )|d = log |g(0)|,
2 0
cest à dire :
Z 2
m
N
X
X
1
r
r
log |g(rei )|d = log |f (0)| +
log
= log |f (0)| +
log
2 0
|n |
|n |
n=1
n=1
R 2
puisque |rn | = 1 pour m + 1 n N. Il nous reste à verier que 0 log |g(rei )|d =

R 2
r2 n z
i
log |f (re )|d. Tout dabord on remarque que si |z| = r et si |n | < r alors r(n z) = 1.
0
En eet, si |z| = r, on a :
|r(n z)| = r|n z| = |z||n z| = |zn r 2 | = |r 2 n z|.

On a donc :
Z 2
0
log |g(re )|d =
2
i
log |f (re )|d +

0
Z
N
X
n=m+1
2
0

n
d.
log
n rei

55
Or si n = rein on obtient :

Z 2
Z 2n
Z 2

n
i(n )

log |1 eiu |du,
d =
log |1 e
|d =
log
i
re
n
n
0
0
en posant u = n . La periodicite de lexponentielle nous donne nalement :

Z 2
Z 2
n

log
d =
log |1 eiu |du = 0,

i
n re
0
0
daprès le Lemme 3.3.1. Par consequent, on a bien

et donc
N
X
1
r
=
log |f (0)| +
log
|n |
2
n=1
R 2
0
log |g(rei )|d =
R 2
0
log |f (rei )|d
log |f (rei )|d.
Une première consequence de la formule de Jensen est le resultat suivant.

Corollaire 3.3.1 Si f est une fonction holomorphe sur le disque ouvert D(0, R) avec
R
f (0) 6= 0 alors r 7 log |f (reit )|dt est fonction croissante de r avec 0 r < R et en
R 2
1
particulier log |f (0)| 2
log |f (reit)|dt pour 0 r < R.
0
Preuve :
En eet, daprès la formule de Jensen, pour 0 r < R on a :

N
X
r
1
log |f (0)| +
log
=
|n |
2
n=1
avec log |rn | 0. Lorsque r augmente,
PN
log |f (rei )|d,
r
n=1 log |n |
augmente aussi.
La deuxième application de la formule de Jensen nous donne un renseignement sur la

suite des zeros de toute fonction de N .
Corollaire 3.3.2 Si f N a une suite infinie de zeros (n )n1 repetes selon leur multiP
plicite, alors necessairement n1 1 |n | < .
La condition
Preuve :
n1 1
|n | < implique que |n | 1 assez rapidement.
En remplacant f par g : z 7
f (z)
zk
si 0 est un zero de f de multiplicite k, on
56
peut supposer que f (0) 6= 0. Pour cela il faut verier que g N . Par construction, nous
avons g Hol(D). Il reste à verier que
J := sup
0r<1
it
log |g(re )|dt = sup

0r<1
Pour 0 < < 1 on a :

J = max
sup
0r
sup

Z
it
it

f
(re
)
f
(re
)
log+ k ikt dt .
log+ k ikt dt, sup
r
e
r e
r<1
Comme log+ (ab) log+ a + log+ b et comme
r<1

f (reit )

log k ikt dt < .
r e
1
rk
1
k
pour r , on obtient :

Z

Z
f (reit )
1
+
it
log k dt +
log |f (re )|dt < ,
log k ikt dt sup
r e
r<1
car f N . La fonction z 7
f (z)
zk
continue sur le compact D(0, ) est uniformement

R
+ f (reit )
majoree par une constante M et de ce fait sup0r log rk eikt dt < . On a ainsi
verie que g N et lon peut donc supposer que f (0) 6= 0. Soit (n )n1 la suite (innie)
des zeros de f repetes selon leur multiplicite. Fixons p N et considerons r ]0, 1[ tel que
r maxnp |n |. Daprès la formule de Jensen (Theorème 3.3.1), on a :
p
X
1
r
log
log |f (0)| +
|n |
2
n=1
1
2
log |f (reit )|dt
log+ |f (reit )|dt < M0 < ,
car f N . Lentier p etant xe, on fait tendre r vers 1 et on obtient :

log |f (0)| +
p
X
n=1
et donc
Pp
n=1
log
1
M0 ,
|n |
log |1n | M0 log |f (0)| pour tout entier p 1. La serie
n1
log |1n | etant
à termes positifs, elle est donc convergente. Comme |n | 1, on a aussi |1n | 1 et donc
P
log |1n | |1n | 1 1 |n | quand n . On en deduit que n1 1 |n | < .
Le resultat suivant est en quelque sorte une reciproque du corollaire precedent.

57
Th
eor`
eme 3.3.2 Soit (n )n1 une suite de complexes non nuls tels que |n | < 1, n 1
P
avec de plus n1 1 |n | < . Alors le produit infini
Y |n | n z
n 1 n z
n1
converge uniformement sur tout compact de D vers une fonction B H (D) dont les
zeros sont exactement les nombres n repetes selon leur multiplicite. Enfin B (eit ) :=
limr1 B(reit ) existe m-presque partout et est de module 1 m-presque partout avec
Z
log |B(reit )|dt = 0.
lim
r1
Preuve :
Rappelons que si est un ouvert de C et si (fn )n1 est une suite de fonctions
P
holomorphes dans telle que n1 |1 fn (z)| converge uniformement sur tout compact
Q
de , alors le produit n1 fn (z) converge uniformement sur tout compact de vers f
fonction holomorphe sur et lensemble des zeros de f est lunion des zeros de fn , n 1.
Posons fn (z) =
|n | n z
n 1n z
et remarquons que
1 fn (z) =
=
(1 |n |)(n + |n |z)
n (1 n z)
(1 |n |)(1 +
(1 n z)
|n |
z)
n
On en deduit alors que

|1 fn (z)|
2(1 |n |)
2(1 |n |)
2(1 |n |)
,
|1 n z|
1 |z|
1r
P
si |z| r < 1. Ainsi n1 |1 fn (z)| converge uniformement sur D(0, r) pour r < 1 si
P
Q
enit bien une fonction holomorphe sur
n1 1 |n | < et donc B(z) =
n1 fn (z) d
D dont la suite des zeros est la suite (n )n1 . De plus, pour |z| = 1, on a

n z |n z|
=
|fn (z)| =
= 1.
1 n z |z n |
Daprès le principe du maximum applique à la fonction z 7 fn (z) holomorphe sur D et
continue sur D, on a |fn (z)| < 1 pour z D. Par consequent |B(z)| < 1 pour z D et
B H (D). Daprès le Lemme 3.2.1, B (eit ) := limr1 B(reit ) existe m-presque partout.
58
R
Montrons à present que limr1 log |B(reit )|dt = 0. Daprès le Corollaire 3.3.1, r 7
R
log |B(reit )|dt est une fonction croissante de r avec 0 r < 1. Comme les integrales
R
R
log |B(reit )|dt sont negatives, := limr1 log |B(reit )|dt existe et 0. Posons
Y
Y
B(z)
|n | z n
|n | z n
et Bp (z) :=
=
.
Rp (z) =
n 1 n z
Rp (z) n=1 n 1 n z
n=p+1
La fonction Bp est holomorphe sur D(0, r1p ) avec rp = maxnp |n |. On remarque que
|Bp (z)| = 1 si |z| = 1. On en deduit que

Z
log |Bp (reit )|dt = 0,
lim
r1
car la fonction z 7 log |Bp (z)| est continue pour rp < |z| <
1
rp
et nulle sur T. On obtient
alors :
lim
r1
it
log |B(re )|dt =
it
lim (
log |Bp (re )|dt +
r1
Z
log |Rp (reit )|dt,
= lim
r1
log |Rp (reit )|dt)
pour tout p 1. Daprès le Corollaire 3.3.1,

Z
log |Rp (reit )|dt 2 log |Rp (0)|.
log |B(reit )|dt verie

!
Y
2 log |Rp (0)| = 2 log
|n | .
Par consequent pour tout p 1, := limr1
np+1
Comme
n1 (1
|n |) < , le produit inni
n1
|n | converge. Daprès le critère de
Cauchy pour la convergence dun produit inni de termes strictement positifs (cf. exercice),
Q
on a limp np |n | = 1. Finalement 0 et donc = 0.
IL nous reste à verier que |B (eit )| = 1 m-presque partout. Daprès le lemme de
Fatou (qui dit que si n est une suite de fonctions positives mesurables sur [, ],
R
R
alors lim inf n (t)dt lim inf n (t)dt ou encore que si n est une suite de fonctions
R
R
n
egatives mesurables sur [, ], alors lim sup n (t)dt lim sup n (t)dt), si
rn 1 , on a :
lim sup
it
log |B(rn e )|dt
lim sup log |B(rn eit )|dt
3.4. DESCRIPTION DES FONCTIONS DE N

et donc 0 =
59
log |B (eit )|dt. Dautre part, comme |B (eit )| 1 m-presque partout,
on a log |B (eit )| 0 m-presque partout. Finalement on en deduit que log |B (eit )| = 0

m-presque partout et donc |B (eit )| = 1 m-presque partout.

Nous allons à present denir les produits de Blaschke generaux.
D
efinition 3.3.1 Un produit de Blaschke est un produit de la forme
B(z) = ei z k
Y |n | n z
,
n 1 n z
n
o`
u R, k entier naturel et (n )n suite vide, finie ou infinie de points de D \ {0} tels que
P
Q || n z
n 1 |n | < lorsque (n )n est infinie. Par convention
n 1n z = 1 si (n )n est
une suite vide. Si (n )n est vide ou finie (resp. infinie) on dit que le produit de Blaschke
est fini (resp. infini).

Remarque 3.3.1 Daprès le Theorème 3.3.2, les produits de Blaschke sont des fonctions
de H (D) tels que B (eit ) := limr B(reit ) existe m-presque partout et est de module 1.
De plus on a aussi
lim
r1
log |B(reit )|dt = 0.
Les produits de Blaschke finis sont par construction continus sur D, ce sont donc des
fonctions de A(D), lalg`
ebre du disque, lalgèbre des fonctions de H (D) continues sur
D.
3.4
Description des fonctions de N
Nous avons à present tous les elements pour donner une description complète des fonctions de la classe de Nevanlinna.
Th
eor`
eme 3.4.1 Soit f N non identiquement nulle. Soit B le produit de Blaschke
Q
n z
associe à la suite des zeros de f , i.e. B(z) = z k n1 |nn | 1
si 0 est un zero dordre k
nz
de f et avec (n )n1 suite des zeros non nuls de f repetes selon leur multiplicite. Alors
60
f
B
N , f (eit ) := limr1 f (reit ) existe m-presque partout et log |f | L1 (T). Enfin il
existe une mesure f reelle (finie) sur T, f m et un reel tels que pour tout z D on
ait :
1
f (z) = ei B(z)e 2
eit + z
1
log |f (eit )|dt
it
e z
e 2
eit + z
df (t)
eit z
.
f
N . Par construction, g est une fonction holomorphe
B

Z
it

f
(re
)
dt < .
dans D (qui ne sannule pas). Il reste à montrer que sup
log+
B(reit )
0r<1
Comme log+ (ab) log+ (a) + log+ (b) et comme |B(reit )| < 1 si r < 1 on a :

Z
Z
Z
it
1

+
+
+ f (re )
it
dt
dt
log |f (re )|dt +
log
log
it )
it )
B(re
B(re

Z
Z
1
+
it
dt

=
log |f (re )|dt +
log
it )
B(re
Z
Z
=
log+ |f (reit )|dt
log |B(reit )|dt.
Preuve :
Verions que g :=
R
R
Comme limr1 log |B(reit )|dt = 0 et sup0r<1 log+ |f (reit )|dt < puisque f N ,

Z
it

f
+ f (re )
dt < , ce qui prouve que
N.
on a donc sup
log

it
B(re )
B
0r<1
Comme g est une fonction de N qui ne sannule pas, daprès le Theorème 3.2.2, g (eit ) :=
limr1 g(reit ) existe m-presque partout avec log |g | L1 (T). Dautre part, daprès le
Remarque 3.3.1, B (eit ) := limr1 B(reit ) existe m-presque partout et est de module 1.
Comme f = Bg, on obtient f (eit ) := limr1 f (reit ) = B (eit )g (eit ) denie m-presque
partout avec |f | = |g | L1 (T). La dernière assertion du Theorème 3.2.2 nous permet de
conclure la preuve du theorème.
61
3.5. EXERCICES
3.5
Exercices
Exercice 3.5.1 Soit (un )n1 une suite de nombres complexes.

Q
1. Montrer que si n1 un converge strictement vers p C , alors limn un = 1.
Q
2. Montrer que n1 un converge (au sens large) si et seulement si pour tout > 0, il
existe n N tel que si q > p , alors |up+1 uq 1| < .
Exercice 3.5.2
1. Soit B un produit de Blaschke, soit L1 (T) une fonction à valeurs reelles et soit
M(T) une mesure reelle (donc finie) telle que m. Verifier que f definie sur
D par
1
f (z) = B(z)e 2
eit + z
1
it
(e
)dt
eit z
e 2
eit + z
d(t)
eit z
est une fonction de N .

2. Montrer que pour tout fonction f N il existe un unique produit de Blaschke B, une
unique fonction L1 (T) à valeurs reelles et une unique mesure reelle M(T)
telle que m avec
1
f (z) = B(z)e 2
1
eit + z
(eit )dt
it
e z
e 2
eit + z
d(t)
eit z
.
Exercice 3.5.3 Soit f N et soit f+ la variation positive de la mesure f reelle associee

à f (f M(T), f m). Montrer que la fonction g definie sur D par
Z it
Z it
1
1
e +z
e +z +
+
it
log |f (e )|dt
df (t)
it
it
g(z) = f (z)e 2 e z
e 2 e z
est une fonction de H (D).
62
Chapitre 4
Les espaces de Hardy H p(D),
0<p
4.1
4.1.1
Rappels
In
egalit
e de Jensen
Th
eor`
eme 4.1.1 (In
egalit
e de Jensen, p. 59 de [22]) Soit une mesure positive sur
une tribu M dans un ensemble telle que () ]0, [. Soit f L1 () une fonction `
a
valeurs reelles telle que a < f (x) < b pour tout x avec a R{} et b R{+}.
Soit une fonction convexe sur ]a, b[. On a linegalite

Z
Z
1
1
f d
( f )d.
()
()
En particulier si () = 1 on obtient :
Z
Z
f d ( f )d.
4.1.2
In
egalit
e de H
older et Minkowski
Th
eor`
eme 4.1.2 (p. 60 de [22]) Soit X un espace mesure, de mesure positive. Soient
f et g deux fonctions mesurables sur X à valeurs dans [0, ].
1. Soient p et q deux exposants conjugues (i.e.
Z
f gd
Z
f d
1/p Z
1
p
g d
X
63
1
q
1/q
= 1) avec 1 < p < . Alors

in
egalit
e de H
older.
CHAPITRE 4. LES ESPACES DE HARDY H P (D), 0 < P
64
2. Soit p [1, [. Alors

1/p Z
1/p Z
Z
1/p
p
p
p
(f + g) d
f d
g d
+
X
in
egalit
e de Minkowski.
Linegalite de Holder dans le cas o`

u p = q = 2 sappelle lin
egalit
e de (Herman)
Schwarz.
4.1.3
Lespace L2(T)
Th
eor`
eme 4.1.3 (de Plancherel-Parseval) Si f L2 (T) et si (cn )nZ est la suite de
R 2
1
f (eit )eint dt) alors
ses coefficients de Fourier (cn = 2
0
kf k2 :=
1
2
1/2
X
|cn |2 .
|f (e )| dt
dt =
it
nZ
De plus f est la somme de sa serie de Fourier (Sn (f ))n0 (o`

u Sn (f )(eit ) =
avec limn kf Sn k2 = 0.
ikt
|k|n ck e )
Remarque 4.1.1 Lorsque f 6 L2 (T) f nest pas en general egal à la somme de serie de
P
Fourier nZ cn eint .
Th
eor`
eme 4.1.4 (de Riesz-Fischer) Toute suite (an )nZ de C telle que
est la suite des coefficients de Fourier dune fonction g L2 (T).
4.2
4.2.1
nZ
|an |2 <
Fonctions sous-harmoniques
D
efinition et caract
erisation
D
efinition 4.2.1 Une fonction f : D R continue sur D est dite sous-harmonique si
elle a la propriete suivante : pour tout domaine (ouvert connexe) de D dont la fermeture
est inclus dans D et pour toute fonction U harmonique dans et continue dans
verifiant f (z) U(z) sur la frontière F r() de , on a f (z) U(z) pour tout z .
En pratique, les fonctions continues à valeurs reelles sous-harmoniques sur D sont caracterisees par la propri
et
e locale de majoration par la valeur moyenne avec laquelle
il est souvent plus facile de travailler ([9], p. 7).
65
4.2. FONCTIONS SOUS-HARMONIQUES
Th
eor`
eme 4.2.1 Soit f : D R continue sur D. Alors f est sous-harmonique si et
seulement si pour tout z0 D il existe 0 > 0 tel que D(z0 , 0 ) D avec de plus
Z 2
1
f (z0 )
f (z0 + eit )dt
2 0
(4.1)
pour tout < 0 .

Preuve :
Soit z0 D et soit > 0 tel que < 0 = 1|z0 |. Comme f est continue sur D,
daprès le Corollaire 1.3.1, il existe une unique fonction U harmonique sur D(z0 , ), continue
sur D(z0 , ) tel que U et f coincident sur le cercle (z0 , ). Si f est sous-harmonique on
R 2
1
a f (z0 ) U(z0 ). Daprès le Corollaire 1.2.3, on a aussi U(z0 ) = 2
U(z0 + eit )dt.
0
Finalement on obtient :
1
f (z0 ) U(z0 ) =
2
1
U(z0 + e )dt =
2
it
f (z0 + eit )dt,
ce qui prouve que (4.1) est une condition necessaire pour que f soit sous-harmonique. Pour
montrer que (4.1) est une condition susante pour que f soit sous-harmonique, supposons
quil existe un domaine avec D, une fonction U harmonique dans , continue sur
telle que f (z) U(z) sur avec f (z1 ) > U(z1 ) pour un point z1 . On denit la
fonction h sur le compact par h(z) = f (z) U(z). Comme h est continue sur le compact
, h atteint son maximum avec m > 0 car h(z1 ) > 0. Soit E 6= lensemble o`
u h atteint
son maximum. Comme h(z) 0 sur , E . Comme E est ferme (par continuite de
h), il existe un point z0 pour lequel aucune boule ouverte centree en z0 ne soit entièrement
contenue dans E (sinon E 6= serait à la fois ouvert et ferme dans connexe, et donc
on aurait E = , ce qui est absurde puisque est un ouvert non vide de C tandis que E
est un ferme borne non vide de C). Considerons à present > 0 tel que D(z0 , ) et
tels que le cercle z0 , ne soit pas entièrement contenu dans E. Par consequent h(z) m
sur z0 , avec une inegalite stricte sur un ouvert de z0 , donc sur un arc (de longueur
strictement positive). La fonction U harmonique veriant la propriete de la moyenne, on
obtient ainsi :
Z 2
Z 2
1
1
it
f (z0 + e )dt U(z0 ) =
(f (z0 + eit ) U(z0 + eit ))dt
2 0
2 0
66
Z 2
1
=
h(z0 + eit )dt
2 0
< m = h(z0 ) = f (z0 ) U(z0 ),
et donc
1
2
R 2
0
f (z0 +eit )dt < f (z0 ), ce qui contredit (4.1) et termine la preuve du theorème.
Remarque 4.2.1 Daprès le Corollaire 1.2.3, il est clair que toute fonction harmonique
à valeurs dans R est une fonction sous-harmonique.
4.2.2
Exemples
1. Soit f analytique dans D et soit p > 0. Alors la fonction g continue sur D à valeurs
reelles denie par g(z) = |f (z)|p est sous-harmonique.
En eet, daprès le Theorème 4.2.1, il sut de verier (4.1). Soit z0 D. Si f (z0 ) = 0,
(4.1) est automatique. Supposons que f (z0 ) 6= 0. Daprès le principe des zeros isoles et
le Theorème 3.1.1, il existe alors 0 > 0 tel quil existe une determination holomorphe
du logarithme sur D(z0 , 0 ) avec D(z0 , 0 ) D et ainsi on peut denir z 7 f (z)p
comme une fonction holomorphe dans D(z0 , 0 ). En particulier, pour tout < 0 , on
a:
1
(f (z0 )) =
2
p
ce qui implique naturellement

1
|f (z0 )|
2
p
(f (z0 + eit ))p dt,
|f (z0 + eit )|p dt.
2. Soit u une fonction harmonique dans D et soit p 1. Alors la fonction g continue

sur D à valeurs reelles denie par g(z) = |u(z)|p est sous-harmonique.
En eet, comme u est harmonique dans D, daprès le Corollaire 1.2.3, pour tout
z0 D et pour tout < 0 = 1 |z0 |, on a legalite :
Z 2
1
u(z0 ) =
u(z0 + eit )dt,
2 0
ce qui implique
1
|u(z0 )|
2
|u(z0 + eit )|dt.
67
4.2. FONCTIONS SOUS-HARMONIQUES
Si p = 1, (4.1) est bien veriee et donc |u| est sous-harmonique. Si p > 1, daprès
linegalite de Holder, on a :
Z
Z 2
it
|u(z0 + e )|dt
0
=
avec
1
p
1
q
Z
1/p Z
|u(z0 + e )| dt
it
2
0
1/q
1 dt
q
1/p
it p
|u(z0 + e )| dt
(2)1/q
= 1. Par consequent on a :
Z 2
Z 2
1
p
1p+p/q 1
it p
|u(z0)| (2)
|u(z0 + e )| dt =
|u(z0 + eit )|p dt,
2 0
2 0
ce qui prouve daprès le Theorème 4.2.1 que |u|p est sous-harmonique.
3. Soit f Hol(D). Alors log+ |f | est une fonction continue à valeurs reelles sousharmonique sur D.
En eet, si z0 D est tel que |f (z0 )| 1, linegalite (4.1) est trivialement veriee. Si
z0 D est tel que |f (z0 )| > 1, par continuite de |f |, il existe 0 > 0 tel que |f (z)| > 1
sur D(z0 , 0 ) D. Par consequent pour tout < 0 , log+ |f (z)| = log |f (z)| pour
tout z D(z0 , ). Comme log |f | est une fonction harmonique sur D(z0 , 0 ) (cf.
Exercices 1.4.3 et 1.4.4), (4.1) est veriee (cest meme une egalite) pour < 0 .
Proposition 4.2.1 Soit f une fonction continue à valeurs reelles sous-harmonique sur D
et soit
Z 2
1
m(r) =
f (reit )dt pour 0 r < 1.
2 0
Alors r
7 m(r) est une fonction croissante sur [0, 1[.
Preuve :
Soient 0 r1 < r2 < 1. Comme f continue sur D, daprès le Corollaire 1.3.1,
il existe une unique fonction U harmonique sur D(0, r2), continue sur D(0, r2 ) tel que U et
f coincident sur le cercle (0, r2). Comme f est sous-harmonique, on a f (z) U(z) pour
tout z D(0, r2). On a donc :
Z 2
1
U(r1 eit )dt = U(0)
m(r1 )
2 0
Z 2
1
=
U(r2 eit )dt = m(r2 ).
2 0
68
4.3
D
efinitions des espaces de Hardy et premi`
eres
propri
et
es
D
efinition 4.3.1 Pour f Hol(D) on definit les quantites suivantes :
R 2
1
log+ |f (reit )|dt,
M0 (f, r) = 2
o1/p
n 0R
1
it p
|f
(re
)|
dt
, si 0 < p < et
Mp (f, r) =
2
it
M (f, r) = supt[0,2[ |f (re )|.
Lespace de Hardy H p (D), 0 < p , est defini par
H p (D) = {f Hol(D) : sup Mp (f, r) < }.
0r<1
Proposition 4.3.1 Soit f Hol(D). Les fonctions r 7 Mp (f, r) (pour 0 p )

sont des fonctions croissantes sur [0, 1[.
Preuve :
Nous avons vu precedemment que si f Hol(D) alors |f |p et log+ |f | sont
des fonctions sous-harmoniques sur D pour 0 < p < . Daprès la Proposition 4.2.1,
r 7 Mp (f, r) (pour 0 p < ) est une fonction croissante sur [0, 1[. Le fait que
r 7 M (f, r) est croissante sur [0, 1[ est une consequence du principe du maximum pour
les fonctions de Hol(D).

On peut alors redenir les espaces de Hardy H p (D) (pour 0 < p ) ainsi que la
classe de Nevanlinna N de la facon suivante :
Corollaire 4.3.1 Pour 0 < p nous avons :
H p (D) = {f Hol(D) : lim Mp (f, r) < }
r1
et
N = {f Hol(D) : lim M0 (f, r) < }.
r1
Notation : si f H p (D) pour 0 < p nous noterons par kf kp la limite limr1 Mp (f, r).
Le theorème suivant precise le lien entre les dierents espaces de Hardy et la classe de Nevanlinna.

`
ES
4.3. DEFINITIONS
DES ESPACES DE HARDY ET PREMIERES
PROPRIET
69
Th
eor`
eme 4.3.1 Nous avons les inclusions suivantes :
H (D) H p (D) H s (D) N
pour 0 < s < p < .
Preuve :
Si f H (D), pour tout p ]0, [ on a |f (reit )|p kf kp pour r [0, 1[ et
t [0, 2[. On en deduit alors Mp (f, r) kf k pour r [0, 1[, ce qui implique kf kp
kf k et donc H (D) H p (D) pour tout p > 0.
Pour p > s > 0, daprès linegalite de Holder, pour f mesurable sur le cercle centre en 0
de rayon r ]0, 1[, on a
Z
it
|f (re )| dt
Z
s/p
|f (re )| dt
(2)1s/p ,
it
et donc Ms (f, r) Mp (f, r). Ainsi H p (D) H s (D) pour p > s > 0. Enn, pour tout s > 0,
x
= 0, il existe A > 0 tel que
comme limx log
xs
log x
xs
A pour tout x 1. Par consequent,
si f mesurable sur le cercle centre en 0 de rayon r ]0, 1[, on a :

Z
Z
Z
+
it
it
log |f (re )|dt =
log |f (re )|dt A
t[,]:|f (reit )|1
|f (reit )|s dt.
t[,]:|f (reit )|1
On a donc M0 (f, r) AMs (f, r)s , ce qui prouve que H s (D) N pour s > 0.

Th
eor`
eme 4.3.2 Si 1 p , lespace de Hardy H p (D) muni de la norme k kp est un
espace de Banach.
Preuve :
La seule chose delicate à verier pour faire de k kp une norme est de verier
que linegalite triangulaire est satisfaite. Daprès linegalite de Minkowski (si 1 p < )
ou daprès linegalite triangulaire que verie le module sur C (si p = ), pour toutes les
fonctions f et g mesurables sur le cercle centre en 0 de rayon r ]0, 1[, on a :
Mp (f + g, r) Mp (f, r) + Mp (g, r) pour tout r [0, 1[.
Pour toutes les fonctions f, g H p (D) (avec 1 p ), on a donc kf +gkp kf kp +kgkp.
Ainsi k kp est bien une norme sur H p (D). Pour p < 1, H p (D) est encore un espace vectoriel
mais le problème est que k kp ne verie pas linegalite triangulaire.
70
Fixons à present p [1, ] et montrons que les espaces vectoriels normes H p (D) sont
complets. Soit (fn )n1 une suite de Cauchy dans H p (D). Soient r, R tels que r < R < 1 et
supposons que |z| r. On applique la formule de Cauchy à fn fm sur le cercle R centre
en 0 et de rayon R. On obtient alors :

Z
1
fn () fm ()

d
|fn (z) fm (z)| =
2i R
z
Z
1 1
R|fn (Rei ) fm (Rei )|d.

2 R r
Ainsi, pour |z| r on a :
|fn (z) fm (z)|
1
M1 (fn fm , R).
Rr
Comme lapplication : x 7 xp est convexe pour p 1, daprès linegalite de Jensen

appliquee à la mesure denie par d(t) =
Z
1
dt
2
sur [, ], on obtient :
p
Z
1
|(fn fm )(Reit )|
dt
|(fn fm )(Reit )|p dt,
2
2
et donc M1 (fn fm , R) Mp (fn fm , R). Daprès la Proposition 4.3.1, Mp (fn fm , R)

limR1 Mp (fn fm , R) = kfn fm kp et donc pour |z| r on a :
|fn (z) fm (z)|
1
kfn fm kp .
Rr
La suite (fn )n converge donc uniformement sur tout compact de D vers une fonction f
holomorphe sur D. Comme on a suppose que (fn )n etait de Cauchy dans H p (D), etant
donne > 0, il existe m = m() 1 tel que pour tout n > m on ait kfn fm kp < . Pour
r < 1 on obtient :
Mp (f fm , r) = lim Mp (fn fm , r) lim kfn fm kp ,
n
ce qui implique limm kf fm kp = 0. Dautre part, sachant que kf kp kf fm kp +

kfm kp , il est clair que kf kp < . La suite (fn )n converge donc dans H p (D) qui est donc
un espace de Banach.

`
ES
4.3. DEFINITIONS
DES ESPACES DE HARDY ET PREMIERES
PROPRIET
71
Th
eor`
eme 4.3.3 Soit p ]0, ] et soit f une fonction de H p (D) non identiquement nulle.

Si B est le produit de Blaschke associe à f (f N ) alors Bf H p (D) avec Bf p = kf kp .
Preuve :
Soit (n )n1 la suite des zeros de f comptes avec multiplicite et soit Bn le
produit de Blaschke ni associe aux n premiers zeros de f . Nous avons vu que Bn est
une fonction de H (D) continue sur D avec |Bn (eit )| = 1 pour t R. Comme Bn est
continue sur le compact D, Bn est uniformement continue sur D. Par consequent, si lon
choisit ]0, 1[, il existe < 1 tel que pour tous z1 , z2 D veriant |z1 z2 | <
on ait |Bn (z1 ) Bn (z2 )| < . En particulier, pour tous t R et 1 < r < 1 on a
|Bn (reit ) Bn (eit )| < . Comme |Bn (eit )| = 1, on obtient 1 < |Bn (reit | < 1 + pour
tous t R et 1 < r < 1. On en deduit :

it

f
(re
)
1
< 1 |f (reit )|
|f (reit)| <
it
1+
Bn (re ) 1
pour tous t R et 1 < r < 1. Si p ]0, ] et f H p (D) on obtient ainsi

f
1
< 1 kf kp
kf kp <

1+
Bn p 1
pour tout ]0, 1[. Finalement on a kgn kp = kf kp avec p ]0, [ et avec gn =
g =
f
.
B
f
.
Bn
Posons
Par construction g Hol(D). De plus, pour z D, limn gn (z) = g(z) et
(|gn (z)|)n1 est une suite croissante. Daprès le theorème de convergence monotone, pour
p ]0, [ et pour r [0, 1[ xe, on a :
Z
Z
it p
lim
|gn (re )| dt =
n
it
lim |gn (re )| dt =
|g(reit )|p dt,
ce qui implique Mp (g, r) = limn Mp (gn , r). Comme r 7 Mp (gn , r) est une fonction
croissante avec limr1 Mp (gn , r) = kf kp , on obtient limn Mp (gn , r) kf kp pour tout
r [0, 1[ et donc kgkp = limr1 Mp (g, r) kf kp . Par consequent g H p (D) avec kgkp
kf kp . Dautre part, comme |B(z)| < 1 pour tout z D, on en deduit |g(z)| > |f (z)| pour
tout z D. Ainsi on a kgkp kf kp . Finalement, pour p ]0, [, nous avons kgkp = kf kp .
Si f H (D), comme supzD |gn (z)| = kgn k = kf k , on a |gn (z)| kf k pour tout
z D et pour tout entier n 1. Comme pour z D nous avons g(z) = limn gn (z),
72
on a kgk := supzD |g(z)| kf k . De plus, comme |g(z)| > |f (z)| pour tout z D, on
obtient kgk kf k , et donc kgk = kf k .
4.4
Th
eor`
emes de factorisation
Nous venons de voir que, daprès le Theorème 4.3.3, toute fonction f non identiquement
nulle de H p (D) (p ]0, ]) peut se factoriser sous la forme f = Bg o`
u B est un produit
de Blaschke et g H p (D) sans zero dans D. Il existe une factorisation plus subtile qui fait
lobjet de la section suivante.
4.4.1
Les fonctions int

erieures
D
efinition 4.4.1 Une fonction int
erieure est une fonction U H (D) telle que |U (eit )| =
1 m-presque partout (avec U (eit ) = limr1 U(reit )).
Le resultat suivant donne une description complète de toute fonction interieure.
Th
eor`
eme 4.4.1 Soit c C, |c| = 1, soit B un produit de Blaschke et soit une mesure
de Borel positive finie sur T telle que m. Pour z D on pose
Z it
e +z
1
d(t)
it
.
U(z) = cB(z)e 2 e z
(4.2)
La fonction U est une fonction interieure et toute fonction interieure peut sobtenir de cette
facon.
Preuve :
Supposons que U soit denie sur D par (4.2). Par construction U Hol(D).
Posons g =
U
.
B
On note que log |g| est lintegrale de Poisson de la mesure nie negative
. Ainsi log |g| est une fonction harmonique negative sur D, ce qui implique |g(z)| 1
pour z D. Par consequent, g et par suite U sont des fonctions de H (D). De plus,
comme m et log |g| = P (), daprès le Corollaire 2.3.3, on a limr1 log |g(reit )| =
log |g (eit )| = 0 m-presque partout. On a donc |g (eit )| = 1 m-presque partout. Comme

`
4.4. THEOR
EMES
DE FACTORISATION
73
daprès la Remarque 3.3.1, |B (eit )| = 1 m-presque partout, on a donc |U (eit )| = 1 mpresque partout et ainsi la fonction U est bien une fonction interieure.
Reciproquement, soit U une fonction interieure et soit B le produit de Blaschke associe
à la suite de ses zeros comptes avec multiplicite. Daprès le Theorème 4.3.3, g :=
U
B
H (D), kgk = kUk = 1 et par construction g ne sannule pas sur D. Il existe donc
Hol(D) veriant log |g| = Re(), ce qui implique que log |g| est une fonction harmonique
sur D. Dautre part log |g| est negative puisque kgk = 1. Daprès la Remarque 3.3.1,
|B (eit )| = 1 m-presque partout. Comme |U (eit )| = 1 m-presque partout, necessairement
|g (eit )| = 1 m-presque partout et donc log |g (eit )| = 0 m-presque partout. Daprès le
Corollaire 2.3.3, il existe 0, nie sur T, m telle que log |g| soit lintegrale
de Poisson
holomorphe
h(z) =
de laZfonction

Z itde . Finalement log |g| est la partie reelle
it
1
1
e +z
e
+
z
d(t). Comme g = e avec Re() = Re

d(t) , on obtient
2 eit zZ
2 eit z
it
e +z
1
Z it
d(t)
it z
1
e +z
2
e
avec |c| = 1 puisque

g(z) = ce
d(t) iR. Ceci
2 eit z
termine la demonstration.

Un exemple très simple dune fonction interieure qui ne soit pas un produit de Blaschke
est le suivant : prenons c = 1, B(z) = 1 et = 1 , la mesure de Dirac en 1. On obtient
z+1
alors que la fonction denie sur D par U(z) = e z1 est une fonction interieure sans zero
dans D.
D
efinition 4.4.2 Les fonctions int
erieures singuli`
eres sont les fonctions interieures
qui ne sannulent pas sur D, i.e. les fonctions de la forme
1
S (z) = ce 2
eit + z
d(t)
eit z
o`
u |c| = 1 et o`
u est une mesure de Borel positive finie sur T telle que m.
74
4.4.2
Les fonctions ext

erieures
D
efinition 4.4.3 Une fonction ext
erieure est une fonction Q Hol(D) de la forme
Z it
e +z
1
log (eit )dt
it z
2
e
Q(z) = ce
o`
u |c| = 1 et o`
u est une fonction positive mesurable telle que log L1 (T).
Proposition 4.4.1 Soit Q une fonction exterieure reliee à comme dans la Definition 4.4.3.
Alors
1. log |Q| est lintegrale de Poisson de la mesure absolument continue par rapport à la
mesure de Lebesgue dont la derivee de Radon-Nikodym est log .
2. limr1 |Q(reit )| = (eit ) m-presque partout.
3. Pour p ]0, ], Q H p (D) si et seulement si Lp (T). Dans ce cas kQkp = kkp .
Preuve :
Comme
Z it

it

Z
1
e +z
e +z
1
it
Re
log (eit )
Re it
log (e )dt
it
2 e z
e z
|Q(z)| = e
,
= e 2
it
R
1
i
i
avec Re eeit +z
=
P
(
t)
si
z
=
re
,
on
a
log
|Q(re
)|
=
P ( t) log (eit )dt,
r
z
2 r
ce qui prouve 1. De plus, daprès 1. et en appliquant le Theorème 2.3.3, on obtient
limr1 log |Q(reit )| = log (eit ) m-presque partout, ce qui implique 2.
Si p = , compte tenu de 2. lassertion 3. est evidente. Supposons p ]0, [ et Q H p (D).
Soit (rn )n1 une suite croissante de reels de ]0, 1[ tendant vers 1. Daprès le lemme de
Fatou applique à la suite de fonctions mesurables positives (sur T) (Qn )n1 denie par
Qn (eit ) = |Q(rn eit )|p , on a :
Z
Z
it
lim inf Qn (e )dt lim inf
Qn (eit )dt,
ce qui implique (à laide de la Proposition 4.3.1) kQ kp kQkp . Daprès 2., on a donc
kkp kQkp . Par consequent, si Q H p (D) alors Lp (T). Reciproquement, supposons
que Lp (T). On a alors :
1
|Q(rei )|p = e 2
Pr ( t) log p (eit )dt

.

`
4.4. THEOR
EMES
DE FACTORISATION
75
Daprès linegalite de Jensen, Theorème 4.1.1 applique à la fonction convexe x 7 ex et à

la mesure positive denie par d(t) =
1
e 2
1
P (
2 r
t)dt, on obtient :
Pr ( t) log p (eit )dt
On a donc
1
|Q(re )|
2
i
Pr ( t)p (eit )dt.
Pr ( t)p (eit )dt.
En integrant cette inegalite par rapport à la variable , sachant que
1
2
Pr ( t)d = 1,
on obtient Mp (Q, r) kkp , et donc limr1 Mp (Q, r) = kQkp kkp . Lequivalence

Q H p (D) Lp (T) est demontree. Il resulte des calculs ci-dessus que si Q H p (D)
alors kQkp = kkp .
4.4.3
Facteurs ext
erieures des fonctions de H p (D), 0 < p
Proposition 4.4.2 Soit p ]0, ]. Supposons que f H p (D), f non identiquement nulle.
Alors la limite radiale de f , notee f , est telle que log |f | L1 (T) et f Lp (T).
Preuve :
Si f H p (D) alors log |f | L1 (T). En eet, daprès le Theorème 4.3.1,
H p (D) N et daprès le Theorème 3.4.1, si f N alors f (eit ) est denie m-presque

partout avec log |f | L1 (T). De plus, pour p ]0, [, daprès le lemme de Fatou,
Z
2
it
|f (re )| dt lim inf

lim inf
r1
r1
ce qui donne :
1
2
|f (reit )|p dt,
|f (eit )|p dt lim Mp (f, r)p = kf kpp .

r1
Par consequent, pour p ]0, [, si f H p (D) alors f Lp (T). Pour p = , comme

|f (z)| kf k pour z D, on a donc |f (eit )| kf k m-presque partout. De ce fait, si
f H (D) on a donc f L (T).
76
Corollaire 4.4.1 Soit p ]0, ]. Supposons que f H p (D), f non identiquement nulle.
Dans ce cas, la fonction exterieure Qf definie par
Z it
e +z
1
log |f (eit )|dt
it z
2
e
Q (z) = e
f
(4.3)
appartient à H p (D).
Remarque 4.4.1 La fonction Qf est appelee le facteur ext
erieur de f . Notons que Qf
ne depend que de f , cest à dire des limites radiales de f sur T.
Preuve :
Soit p ]0, ]. Supposons que f H p (D), f non identiquement nulle. Daprès
le Theorème 4.4.2, log |f | L1 (T). Par suite lintegrale (4.3) est bien denie comme une
fonction exterieure. De plus, comme daprès le Theorème 4.4.2, f H p (D) implique f
Lp (T), la 3ième assertion de la Proposition 4.4.1 nous permet de conclure que Qf H p (D).
4.4.4
Lespace de Hardy H 2(D)
Les proprietes fondamentales de H 2(D) sont resumees par le theorème suivant :

P
1. Une fonction f Hol(D) de la forme f (z) = n0 an z n appar
P
P
2 1/2
tient à H 2 (D) si et seulement si n0 |an |2 < . Dans ce cas kf k2 =
.
n0 |an |
Th
eor`
eme 4.4.2
2. Si f H 2 (D), f L2 (T) et le nième coefficient de Fourier de f est an si n 0 et

0 si n < 0. De plus
1
lim
s1 2
|f (eit ) f (seit )|2 dt = 0

0
et f est lintegrale de Poisson ainsi que lintegrale de Cauchy de f .

3. Lapplication f 7 f est un isomorphisme isometrique de H 2 (D) dans H 2 (T) :=
{g L2 (T) : g(n) = 0, n < 0}.
4. H 2 (D) est un espace de Hilbert muni du produit scalaire
Z 2
1

< f, g >H 2 (D) =< f , g >L2 (T) :=
f (eit )g (eit )dt.
2 0

`
4.4. THEOR
EMES
DE FACTORISATION
77
P
Preuve : Soit f (z) = n0 an z n pour z D. On a donc, pour r [0, 1[ et t R,
P
f (reit ) = n0 an r n eint . Daprès le theorème de Plancherel-Parseval, on a
1
2
|f (reit )|2 dt =
|an |2 r 2n .
|an |2 .
n0
Par convergence monotone discrète, on a :

lim
r1
|an |2 r 2n =
n0
n0
R 2
1
Comme kf k22 = limr1 2
|f (reit )|2 dt, on obtient f appartient à H 2 (D) si et seulement
0

P
P
2 1/2
si n0 |an |2 < et kf k2 =
|a
|
, ce qui termine la preuve de 1.
n
n0
Daprès la Proposition 4.4.2, f L2 (T) si f H 2 (D). Supposons f H 2 (D) et pour

P
0 < s < 1 on denit les fonctions fs sur T par fs (eit ) = f (seit ) = n0 an sn eint . Comme
P
2
eor`
eme de Riesz-Fischer nous garantit lexistence dune fonction
n0 |an | < , le th
g L2 (T) telle que g(n) = an si n 0 et 0 si n < 0. Les coecients de Fourier de
g fs valent (1 sn )an si n 0 et 0 si n < 0. Une nouvelle application de legalite de

Plancherel-Parseval donne :
kg fs k22 =
(1 sn )2 |an |2 .
n0
Par convergence monotone decroissante discrète,

lim
s1
(1 sn )2 |an |2 = 0.
n0
On a donc lims1 kg fs k2 = 0. Pour 0 < s < 1, la fonction fs denie par fs (z) = f (sz)
est holomorphe dans D(0, 1s ). On a donc, pour z D,
Z
fs ()
1
d.
fs (z) =
2i T z
La fonction fs etant en particulier harmonique sur D(0, 1s ), daprès le Theorème 1.3.1, on
a aussi, pour z = rei D,
1
fs (z) =
2
Pr ( t)fs (eit )dt.
78
, nous donne
Linegalite de Schwarz et le fait que Pr ( t) 1+r
1r
Z 2

Z 2
1

it
it
it

fs (rei ) 1
=
P
(
t)g(e
)dt
P
(
t)(f
(e
)
g(e
))dt
r
r
s
2

2 0
0
1+r
kfs gk2,
1r
et

Z
Z
1

1
g()
fs () g()

fs (rei ) 1
d =
d
kfs gk2.

i
i
2i T re
2i T re
1r
Comme lims1 kg fs k2 = 0, on a donc

Z 2
Z
1
1
g()
it
i
i
Pr ( t)g(e )dt =
d.
f (re ) = lim fs (re ) =
s1
2 0
2i T rei
En particulier, f est la fonction harmonique denie comme lintegrale de Poisson de la

mesure m denie par d(t) = g(eit )dt avec g L1 (T) puisque g L2 (T). Daprès
le Theorème 2.3.3, f (eit ) = g(eit ) m-presque partout. On en deduit que f L2 (T),
fb (n) = an si n 0 et que fb (n) = 0 si n < 0. Enn on a aussi :
Z 2
Z
1
1
f ()
i
it
f (re ) =
Pr ( t)f (e )dt =
d,
2 0
2i T rei
ce qui termine la preuve de 2.
Puisque lims1 kf fs k2 = 0, on a kf k2 := lims1 kfs k2 = kf k2 . Comme fb (n) = 0
pour tout n < 0, lapplication : f 7 f est bien une isometrie de H 2 (D) dans
H 2 (T). Par denition lapplication est lineaire. Etant isometrique, elle est automatiP
int
quement injective. Enn, si g H 2 (T), g est de la forme g(eit ) =
avec
n0 an e
P
P
kgk22 = n0 |an |2 < . Alors la fonction f denie sur D par f (z) = n0 an z n appartient
à H 2 (D) daprès 1. Lapplication est donc surjective. Ainsi est bien un isomorphisme
isometrique.
Par denition, < f, f >H 2 (D) = kf k22 . Comme kf k2 = kf k2, la norme sur H 2 (D) se
deduit bien du produit scalaire que nous avons xe. De plus H 2 (D) est complet daprès le
Theorème 4.3.2. Ainsi H 2 (D) est bien un espace de Hilbert.

Corollaire 4.4.2 Si f H 1 (D) alors limr1
1
2
R 2
0
|f (eit ) f (reit )|dt = 0.

`
4.4. THEOR
EMES
DE FACTORISATION
Preuve :
79
Soit B le produit de Blaschke associe à la suite des zeros de f dans D. Daprès
le Theorème 4.3.3, g :=
f
B
H 1 (D) avec kgk1 = kf k1. Comme par construction g ne
sannule par sur D, il existe donc une determination holomorphe du logarithme de g. De

ce fait on peut denir la fonction holomorphe h = g 1/2 sur D. On a donc h2 = g et
nalement f = Bg = (Bh)h avec khk22 = kgk1 = kf k1 . Par consequent h et := Bh
sont deux fonctions de H 2 (D) et f = h. Pour r ]0, 1[, on denit la fonction fr sur
T par fr (eit ) = f (reit ) = (reit )h(reit ) = r (eit )hr (eit ) si lon pose r (eit ) = (reit ) et
hr (eit ) = h(reit ). Comme f = h , on a :
f fr = (h hr ) + hr ( r ).
(4.4)
Daprès le Theorème 4.4.2, comme , h H 2 (D), on a

lim kh hr k2 = 0 = lim k r k2 et k k22 = kk22 = kf k1 , khr k22 khk22 = kf k1 .
r1
r1
Linegalite de Schwarz appliquee aux deux produit du membre de droite de (4.4) nous
donne :
1/2
kf fr k1 kf k1 (kh hr k2 + k r k2 ).
Il est à present clair que limr1 kf fr k1 = 0.
Remarque 4.4.2 Au cours de la demonstration du theorème precedent, nous avons montre
que toute fonction de H 1 (D) est le produit de deux fonctions de H 2 (D).
4.4.5
Factorisations des fonctions de H p (D), 0 < p
Le Corollaire 4.4.2 va nous permettre detablir la factorisation de toute fonction appartenant à un espace de Hardy sous la forme dun produit dune fonction interieure par une
fonction exterieure.
Th
eor`
eme 4.4.3 Soit p ]0, ] et soit f H p (D). Alors il existe une fonction interieure
Uf telle que f = Uf Qf o`
u Qf et le facteur exterieur de f , à savoir la fonction de H p (D)
definie par :
1
Qf (z) = e 2
eit + z
log |f (eit )|dt
eit z
.
80
De plus
1
log |f (0)|
2
log |f (eit )|dt,
(4.5)
avec egalite dans (4.5) si et seulement si Uf est constante, autrement dit, si et seulement
si f est exterieure.
Preuve :
Supposons tout dabord que f H 1 (D). Soit B est le produit de Blaschke

f
B
associe à la suite des zeros de f . Daprès le Theorème 4.3.3, g :=
H 1(D) avec kgk1 =
kf k1 et |f | = |g |. Pour demontrer le theorème, quitte à remplacer g par f , on peut

supposer que f ne sannule pas sur D. Nous avons dejà etabli dans le corollaire 4.4.1 que
Qf H 1 (D). La 2ième assertion de la Proposition 4.4.1 nous dit que |Qf (eit )| = |f (eit )| =
6
0 m-presque partout. Ainsi, si nous montrons que |f (z)| |Qf (z)| pour z D, nous
aurons montre que
f
Qf
est une fonction interieure, ce qui prouvera quil existe une fonction
interieure telle que f = Uf Qf . Comme |Qf | est egal à eP (log |f

lintegrale de Poisson de log |f | denie par P (log |f |)(rei ) =
pour r [0, 1[ et R), pour z D, on a,
1
2
|)
(o`
u P (log |f |) designe
R 2
0
Pr (t) log |f (eit )|dt
|f (z)| |Qf (z)| log |f (z)| P (log |f |)(z).

Verions à present que log |f (z)| P (log |f |)(z) pour z D. Pour |z| 1 et 0 < R < 1
on denit fR par fR (z) = f (Rz). Ainsi fR est holomorphe dans D(0, R1 ) et fR ne sannule
pas. Par suite, log |fR | est harmonique dans D(0, R1 ). Daprès le Theorème 1.3.1, pour
z = rei D, on a donc
1
log |fR (z)| =
2
log |fR (eit )|Pr ( t)dt.
Comme log = log+ log , on a donc :

Z 2
Z 2
1
1
+
it
log |fR (e )|Pr ( t)dt
log |fR (eit )|Pr ( t)dt.
log |fR (z)| =
2 0
2 0
Notons que pour u, v > 0, on a | log+ u log+ v| |u v|. Par consequent on obtient :
Z 2

P (log+ |fR |)(rei ) P (log+ |f |)(rei ) 1
Pr ( t)||fR (eit )| |f (eit )||dt
2 0

`
4.4. THEOR
EMES
DE FACTORISATION
81
Z 2
1
Pr ( t)|fR (eit ) f (eit )|dt

2 0
1+r
kfR f k1 .
1r
Daprès le Corollaire 4.4.2, limR1 kfR f k1 = 0. Ainsi, limR1 P (log+ |fR |)(rei ) =
P (log+ |f |)(rei ). Daprès le lemme de Fatou,
Z 2
Z 2
1
1
it
Pr ( t) log |f (e )|dt =
lim inf log |fR (eit )|dt
2 0
2 0 R1
Z 2
1
lim inf
Pr ( t) log |fR (eit )|dt.
R1 2 0
Comme
lim P (log+ |fR |)(rei ) = P (log+ |f |)(rei )
R1
et
lim P (log |fR |)(rei ) = lim log |fR (rei )| = log |f (rei )|,
R1
R1
on obtient :
P (log |f |)(rei ) P (log+ |f |)(rei ) log |f (rei )|,
ce qui implique
log |f (rei )| P (log+ |f | log |f |)(rei ) = P (log |f |)(rei ),
inegalite desiree qui permet de conclure que
f
Qf
est bien une fonction interieure Uf dès que
f H 1 (D). Comme |f (z)| |Qf (z)| pour tout z D, en particulier, pour z = 0, on obtient
linegalite (4.5). Notons que si f (0) = 0, (4.5) est trivialement veriee. Legalite survient
dans (4.5) si et seulement si |f (0)| = |Qf (0)|. Comme f (0) = Uf (0)Qf (0), on a donc
Uf (0) = 1 avec kUf k = 1. Daprès le principe du maximum, on a donc necessairement
Uf = c avec |c| = 1. Ceci termine la preuve de cas o`
u p = 1.
Lorsque p ]1, ], comme daprès le Theorème 4.3.1, H p (D) H 1 (D), il ny a rien à faire.
Considerons à present le cas o`
u p ]0, 1[. Soit f H p (D) et soit B le produit de Blaschke
associe à la suite des zeros de f . Par construction, g :=
f
B
est holomorphe sur D et
ne sannule pas. Daprès le Theorème 4.3.3, g H p (D) avec kgkp = kf kp . La fonction
82
g ne sannulant pas sur D simplement connexe, il existe une determination holomorphe

du logarithme de g. On peut donc denir la fonction h = ep = g p . De plus, on a
kgkpp = khk1 , ce qui prouve que h H 1 (D) puisque g H p (D). La fonction f possède donc
une factorisation de la forme f = Bg = Bh1/p avec h H 1 (D) sans zero dans D. Daprès
ce qui precède, h = Uh Qh avec Uh fonction interieure sans zero dans D et Qh exterieure.
Comme
1
1/p
Q (z) = e 2
h
eit + z 1
1
log |h (eit )|dt
it
e zp
= e 2
eit + z
log |h (eit )1/p |dt
eit z
1/p
avec |h (eit )1/p | = |g (eit )| = |f (eit )| m-presque partout, Qh est le facteur exterieur de f .
1/p
De plus il est clair que Uf
est bien une fonction interieure (singulière). Ainsi, si f H p (D)
f se decompose comme le produit dune fonction interieure par une fonction exterieure.
Linegalite (4.5) etant une consequence de la factorisation que nous venons detablir, elle
reste vraie si p ]0, 1[.

Remarque 4.4.3 Les fonctions Qf et Uf sont appelees respectivement les facteurs ext
erieures et les facteurs int
erieures de f . Le facteur Uf tient compte des zeros de f dans
D et du comportement de f sur T tandis que le facteur Qf ne depend que des valeurs de
|f | sur T.
4.5
4.5.1
R
esultats fondamentaux sur les fonctions de H p,
0<p
Limites radiales des fonctions de H p (D), 0 < p
Nous avons dejà mentionne que H p (D) N impliquait automatiquement que f soit
denie m-presque partout avec de plus log |f | L1 (T). Ceci merite une mention speciale,
à savoir, un theorème dunicite.
Th
eor`
eme 4.5.1 Soit p ]0, ] et supposons que la fonction f non identiquement nulle
appartienne à H p (D). Alors f (eit ) 6= 0 m-presque partout. Par consequent, si f, g

4.5. RESULTATS
FONDAMENTAUX SUR LES FONCTIONS DE H P , 0 < P 83
H p (D) sont telles que f (eit ) = g (eit ) sur un sous-ensemble de T de mesure de Lebesgue
strictement positive, necessairement f = g.
Preuve :
Si f (eit ) = 0 alors log |f (eit )| = et si cela survient sur un ensemble
de mesure positive, cela met en defaut le fait que log |f | L1 (T). En appliquant ceci a
f g H p (D) si f, g H p (D) on a donc f g identiquement nulle dès que (f g )(eit )
sur un sous-ensemble de T de mesure de Lebesgue strictement positive.

Remarque 4.5.1 En fait le Theorème 4.5.1 est vrai sous lhypothèse un peu plus generale
f N.
Nous avons vu dans la Proposition 4.4.2 que si f H p (D) alors f Lp (T). Nous allons
montrer quen fait lapplication f 7 f est une isometrie de H p (D) dans Lp (T).
Th
eor`
eme 4.5.2 Soit p ]0, ] et soit f H p (D). Alors kf kp = kf kp .
Daprès la Proposition 4.4.2, f Lp (T) dès que f H p (D). Pour cela
nous avons verie que kf kp kf kp . Dautre part, daprès le Theorème 4.4.3 et la 3ième
Preuve :
assertion de la Proposition 4.4.1, f = Uf Qf avec Qf exterieure, Uf interieure et kQf kp =

kf kp . Comme Qf =
f
Uf
avec |Uf (z)| 1 sur D, on a immediatement |Qf (z)| |f (z)|,
z D. Ceci implique kQf kp kf kp . Finalement, on obtient :

kf kp kQf kp = kf kp kf kp ,
ce qui prouve que kf kp = kf kp .

Nous deduisons de ceci un resultat de convergence en moyenne vers la limite radiale
dès que f H p (D) avec p ]0, [. Pour demontrer ceci nous allons admettre le lemme
suivant dont la preuve repose sur le Theorème dEgoro (cf. Theorème 5.6.20 de [24]).
Lemme 4.5.1 (p.21 de [9]) Soit un sous-ensemble mesurable de R et soit n Lp (),
0 < p < , n 1. Supposons de plus que limn n (t) = (t) m-presque partout sur .
84
Si
lim kn kp = kkp < ,
alors
lim kn kp = 0.
Soit f H p (D), pour 0 < p < . Pour 0 < r < 1 posons gr (t) = f (reit ) pour t [0, 2[.
Sachant que limr1 kgr kp = limr1 Mp (f, r) = kf kp avec kf kp = kf kp (daprès le
Theorème 4.5.2), et comme de plus limr1 gr (t) = g (t) m-presque partout avec g (t) :=
f (eit ), on obtient le resultat suivant.
Corollaire 4.5.1 Soit p ]0, [ et soit f H p (D). Alors
lim kfr f kp = 0,
r1
avec, pour 0 < r < 1 et |z| 1, fr definie par fr (z) = f (rz).

Remarque 4.5.2 Le Corollaire ci-dessus nest pas verifie en general pour f H (D),
nous avons besoin pour cela que f soit continue sur T, autrement dit que f ne soit pas
simplement dans H (D) mais dans lalgèbre du disque A(D).
4.5.2
R
esultat de repr
esentation des fonctions de H p (D) pour p
[1, ]
Nous allons voir quune consequence immediate du Corollaire 4.4.2 est le fait que si
f H 1 (D) alors f est egale à lintegrale de Cauchy et à lintegrale de Poisson de sa limite
radiale.
Th
eor`
eme 4.5.3 Soit f H p (D) pour p [1, ]. Alors pour tout z = rei D, on a :
Z 2
Z
1
f ()
1
it
Pr ( t)f (e )dt =
d.
f (z) =
2 0
2i T z
Preuve :
Si f H p (D) pour p [1, ], daprès le Theorème 4.3.1, on a en particulier
f H 1 (D). Pour R ]0, 1[ posons fR (z) = f (Rz) fonction holomorphe sur D(0, R1 ). En
particulier fR est harmonique sur D et continue sur D. On a donc, daprès le Theorème 1.3.1,
Z 2
1
Pr ( t)fR (eit )dt pour z = rei .
fR (z) =
2 0

4.5. RESULTATS
On en deduit :

Z 2
Z 2

1
1
it
fR (z)
Pr ( t)f (e )dt
Pr ( t)|f (eit ) fR (eit )|dt

2 0
2 0
1+r
kf fR k1 .
1r
Comme daprès le Corollaire 4.4.2, limR1 kf fR k1 = 0, on en deduit, f (z) = P (f )(z)
pour z D. Dautre part, fR etant holomorphe sur D(0, R1 ), daprès la formule de Cauchy,
on a :
1
fR (z) =
2i
i
fR ()
d.
z
Pour z = re , on en deduit :

Z
Z

1

1
f
()
f
()
f
()
R
fR (z)
=

d
d

2i

2i T z
z
T

Z 2
1
fR (eit ) f (eit ) it

=
ie dt
2i 0
eit rei
Z 2
1 1
|fR (eit ) f (eit )|dt

1 r 2 0
1
kf fR k1 .
=
1r
R f ()
1
d.
Le Corollaire 4.4.2 permet alors de conclure que f (z) = 2i
T z
4.5.3
Identification entre H p (D) et H p (T) pour 1 p
Th
eor`
eme 4.5.4 Soit 1 p . Lapplication : H p (D) H p (T) telle que (f ) = f
et o`
u H p (T) := {f Lp (T) : fb(n) = 0, n < 0} est un isomorphisme isometrique.
Preuve :
La linearite de est evidente. Verions tout dabord que si f H p (D) pour
1 p , alors (f ) = f H p (T). Comme daprès le Theorème 4.5.2, kf kp = kf kp , il

est clair que (f ) Lp (T). Il nous reste à verier que fb (n) = 0 si n < 0. Comme daprès
le Theorème 4.3.1, nous avons H p (D) H 1 (D) pour p [1, ], il sut de verier que si
f H 1(D) alors fb (n) = 0 si n < 0. Si f H 1 (D), en particulier, f Hol(D). Daprès le

Theorème de Cauchy, pour 0 < r < 1, on a
Z
f () nd = 0 pour n 0,
r
86
o`
u r designe le cercle centre en 0 et de rayon r. Posons = reit . On obtient alors
Z 2
r n+1f (reit )ei(n+1)t dt = 0 pour n 0.
0
Le Corollaire 4.4.2 nous permet de dire que

Z 2
Z
n+1
it i(n+1)t
lim
r f (re )e
dt =
r1
car
f (eit )ei(n+1)t dt
2
n+1
it
i(n+1)t
f (re )e
o`
u fr (eit ) := f (reit ). On a donc
dt
it
i(n+1)t
f (e )e
R 2

dt 2kfr f k1 ,
f (eit )ei(n+1)t dt = 0, ce qui prouve que fb (n) = 0
si n < 0. Une autre facon de verier ceci est dutiliser le fait que f H 1 (D) est le
produit de deux fonctions de H 2 (D) dont les limites radiales sont dans H 2 (T) daprès
le Theorème 4.4.2. Ainsi (H p (D)) H p (T) et est une isometrie. De ce fait est
automatiquement injective. Verions la surjectivite de pour conclure. Soit p [1, ] et
g H p (T). Comme en particulier g L1 (T), on peut considerer la fonction harmonique f
sur D denie par
1
f (z) = P (g)(z) =
2
On a donc
1
f (z) =
2
La serie
nZ
Pr ( t)g(eit )dt si z = rei .
r |n| ein(t) )g(eit )dt.
nZ
r |n| ein(t) etant normalement convergente pour r < 1, donc uniformement
convergente, on en deduit :
f (z) =
X
nZ
|n| in
r e
1
2
eint g(eit )dt =
Comme b
g (n) = 0 si n < 0, on a donc f (z) =
X
nZ
n0
r |n| ein gb(n) =
X
nZ
gb(n)z n .
g (n)z n . La fonction f est donc holob
morphe sur D. Comme f est lintegrale de Poisson de g L1 (T), daprès le Theorème 2.3.3,
f = g m-presque partout. Par consequent kf kp = kgkp < , ce qui implique f H p (D)

daprès le Theorème 4.5.2. Lapplication est donc surjective, cest donc un isomorphisme
isometrique.

4.5. RESULTATS
Remarque 4.5.3 Lorsque p [1, ], compte tenu de lexistence dun isomorphisme isometrique entre H p (D) et H p (T), dans la plupart des articles de recherche on trouvera la notation H p , laquelle designera indifferemment H p (D) ou H p (T) suivant le contexte.
88
4.6
Exercices
Exercice 4.6.1
1. Montrer que toute fonction f de N non identiquement nulle se decompose sous la
S1
u B est un produit de Blaschke, o`
u S1 et S2 sont deux fonctions
forme f = B Q o`
S2
interieures singulières et o`
u Q est une fonction exterieure.
S1
2. Reciproquement, montrer que toute fonction de la forme B Q (o`
u B est un produit
S2
de Blaschke, o`
u S1 et S2 sont deux fonctions interieures singulières et o`
u Q est une
fonction exterieure) est bien dans la classe de Nevanlinna.
Exercice 4.6.2 Soit p ]0, ] et f H p (D).
1. Montrer que pour tout z = rei D on a :
Z 2
1
Pr ( t) log |f (eit )|dt.
log |f (z)|
2 0
2. Montrer lequivalence suivante
i0
f est exterieure z0 = r0 e
1
D; log |f (z0 )| =
2
Pr0 (0 t) log |f (eit )|dt.
3. Si lon suppose à present que f N au lieu de f H p (D) avec p ]0, ], lequivalence

ci-dessus est-elle toujours vraie ?
Exercice 4.6.3 (Th
eor`
eme de F. et M. Riesz) Soit une mesure complexe (finie) sur
[0, 2]. Supposons que pour tout n < 0 on ait :
Z 2
eint d(t) = 0.
0
Montrer qualors est absolument

continue par rapport à la mesure de Lebesgue.
Z 2
1
1
d(t). Verifier que F = P (d) et que F
Indication : Poser F (z) =
2 0 1 zeit
H 1 (D) puis conclure.
Chapitre 5
Sous-espaces invariants du shift
5.1
Introduction : le probl`
eme du sous-espace invariant
5.1.1
Notations et rappels
Soit X un espace vectoriel sur C complet. Notons par L(X) lensemble des applications
lineaires continues (ou bornees) de X dans X. Les elements de L(X) sont souvent appeles
des op
erateurs. Lorsque T L(X) on designera par (T ) le spectre de T deni par
(T ) := { C : (T Id) non inversible}.
Rappelons que si T L(X), (T ) est un compact de C non vide. Le spectre ponctuel
de T , note p (T ), est lensemble des valeurs propres de T . Autrement dit, par denition,
p (T ) := { C : (T Id) non injective} = { C : Ker(T Id) 6= {0}}.
Si X est de dimension nie, etant donnee que dans ce cas toute application lineaire est
inversible si et seulement si elle est injective, on a (T ) = p (T ) pour tout T L(X). Par
contre dès que X est de dimension innie, on peut simplement armer que p (T ) (T )
et p (T ) peut etre vide comme nous le verrons dans la suite.
Pour T L(X) on denit Lat(T ) comme lensemble de tous les sous-espaces vectoriels ferm
es M invariants par T , cest-à-dire tels que T M M. Automatiquement, pour
T L(X), les sous-espaces vectoriels fermes {0} et X sont des elements de Lat(T ). On les
89
90
CHAPITRE 5. SOUS-ESPACES INVARIANTS DU SHIFT
appelle les sous-espaces invariants triviaux de T . Tout element de Lat(T ) dierent

de {0} et X est appele un sous-espace invariant non trivial de T . Les operateurs
T L(X) tels que Lat(T ) = {{0}, X} sont appeles les operateurs transitifs. En dautres
termes un operateur transitif est un operateur sans sous-espace invariant non trivial.
5.1.2
Le probl`
eme du sous-espace invariant
1. Si X est un espace vectoriel sur C de dimension nie au moins egale à deux, tout
operateur T L(X) nest pas transitif. En eet, dans ce cas, T est une matrice nie
à coecients complexes admettant des valeurs propres. Soit une valeur propre de
T et soit x un vecteur propre associe à la valeur propre . Le sous-espace vectoriel
ferme Cx etant de dimension 1, il est dierent de {0} et X. De plus, comme T x = x,
Cx est invariant par T .
2. De facon plus generale, si T L(X) (avec X de dimension innie ou nie au moins
egale à deux) est tel que p (T ) 6= , alors T est non transitif.
3. Si X est un espace vectoriel complet sur C non s
eparable (i.e. contenant une partie
dense non denombrable), tout operateur T L(X) nest pas transitif. En eet, pour
x X \ {0}, soit M la fermeture de lensemble des combinaisons lineaires nies des
vecteurs du type T n x avec n N. Par construction M est un sous-espace vectoriel
ferme de X dierent de {0} puisque x 6= 0 appartient à M. Dautre part, M est
invariant par T et M =
6 X puisque M est separable tandis que X ne lest pas par
hypothèse.
Grace aux travaux de Peter Eno [10, 11], Charles Read [17, 18, 19, 20, 21], Bernard
Beauzamy [1], on sait quil existe des operateurs transitifs T L(X) o`
u X est un espace
vectoriel sur C complet de dimension innie et separable tel que 1 . Cependant tous les
exemples doperateurs transitifs que lon connait ont ete construit sur des espaces de Banach
complexes non hilbertiens.
Ce quon appelle communement le Probl`
eme du Sous-Espace Invariant est un
des problèmes les plus celèbres de theorie des operateurs et il est ouvert depuis plus dun
`
5.1. INTRODUCTION : LE PROBLEME
DU SOUS-ESPACE INVARIANT
91
demi-siècle. Son enonce est le suivant :

Soit H un espace de Hilbert sur C separable et de dimension innie. Existe-t-il un
operateur T L(H) transitif ?
Il existe de très nombreux theorèmes donnant des conditions susantes pour que T L(H)
ne soit pas transitif et les outils utilises sont extremement varies, ce qui rend ce sujet
de recherche particulièrement interessant [6]. A titre dexemple, signalons deux resultats
bases sur des techniques tout à fait dierentes. Le premier utilise un theorème ancien
dexistence de point xe (d
u à Schauder, 1934) et le second est basee entre autre sur un
procede dapproximation (d
u à S. Brown [4]) qui permet de conclure à la surjectivite dune
application bilineaire [2].
Soit H un espace de Hilbert sur C separable et de dimension innie.
Th
eor`
eme 5.1.1 ([13]) Soit T L(H). Supposons quil existe un operateur compact
K L(H) non identiquement nul tel que T K = KT . Alors T nest pas transitif.
En fait le resultat de Lomonosov est valable dans le cas plus general o`
u X est un espace
de Banach sur C de dimension innie et separable. Rappelons quun operateur T L(X)
est appele un operateur compact si ladherence de limage par T de la boule unite fermee
de X est un compact de X. En particulier, le resultat de Lomonosov nous dit que tout
operateur compact T nest pas transitif puisque T commute avec lui-meme.
Th
eor`
eme 5.1.2 ([5]) Soit T L(H), kT k 1. Si T (T ) alors T nest pas transitif.
Notons que pour le problème du sous-espace invariant, quitte à diviser par la norme de
loperateur considere, on peut toujours supposer que T L(H) avec kT k 1.
Letude des sous-espaces invariants non triviaux dun operateur aide à concevoir son
mode daction (qui peut etre très complique dès que loperateur est deni sur un espace
de dimension innie). En eet, de facon generale, dans letude dune transformation quelconque, il est utile de savoir ce que cette transformation conserve.
92

Dans la suite nous allons etudier en detail les sous-espaces vectoriels fermes invariants
par un operateur très particulier appele shift ou operateur de deplacement sur lespace
de Hilbert 2 . Historiquement cest precisement cette etude qui a suggere la denition de
lespace de Hardy H 2 (D) et par la suite des espaces de Hardy H p (D), 0 < p .
5.2
Le shift sur 2 et H 2(D) : d

efinition et propri
etes
spectrales
5.2.1
Le shift sur 2
Soit 2 := {(an )n0 : an C,
|an |2 < }. Rappelons que lespace de Hilbert 2

P
est muni de la norme k k2 denie par k(an )n0 k2 = ( n0 |an |2 )1/2 .
n0
D
efinition 5.2.1 Soit T lapplication lineaire de 2 dans 2 definie par
T ((an )n0 ) = (an1 )n0 avec la convention a1 = 0.
Lapplication lineaire T est appelee le shift sur 2 .

Proposition 5.2.1 Le shift sur 2 , T , est un operateur de 2 isometrique. Par consequent
kT k = 1. De plus p (T ) = et (T ) = D.
Preuve :
Si a = (an )n0 2 , comme T (a) = (0, a0 , a1 , a2 , ), il est clair que kT (a)k2 =
kak2 , ce qui prouve que T est une isometrie. Comme

kT k =
sup
a2 :kak2 1
kT (a)k2 =
sup
kT (a)k2 ,
a2 :kak2 =1
automatiquement kT k = 1.
Pour determiner p (T ), on cherche à resoudre T a = a avec C et a = (an )n0 2 ,
a 6= 0. Comme T a = (0, a0 , a1 , a2 , ) on a donc 0 = a1 , a0 = a1 , a1 = a2 , . En
etudiant separement le cas = 0 et 6= 0, on obtient an = 0, n 0, ce qui implique
p (T ) = . Ainsi pour tout C, T Id est injective. De ce fait C est un element de
(T ) si et seulement si T Id est non surjective. Soient (en )n0 la base canonique de 2 ,
i.e., ek = (an )n0 avec an = 0 si n 6= k et an = 1 si n = k. Il est clair que T Id est surjectif
5.2. LE SHIFT SUR 2 ET H 2 (D) : DEFINITION

ET PROPRIETES
SPECTRALES93
si et seulement si, pour tout n N, en (T Id)2 . Comme toute suite appartenant
à T 2 a comme première coordonnee 0, e0 6 T 2 . De ce fait T nest pas surjectif et donc
0 (T ). Soit 6= 0, || 1. Alors e0 6 (T Id)2 . En eet, soit a = (an )n0 2 tel
que (T Id)a = e0 . On a donc
a0 = 1, a0 a1 = 0, a1 a2 = 0, a2 a3 = 0,
1
Finalement an = n+1
pour tout n 0. Comme || 1, 6= 0, il est clair que a 6 2 .
Finalement D (T ). Supposons à present || > 1. Nous allons montrer que dans ce cas
T Id est surjectif. Pour cela, on xe n N et on cherche a = (an )n0 2 tel que
(T Id)a = en . On a donc
a0 = 0, a0 a1 = 0, , an2 an1 = 0, an1 an = 1, an an+1 = 0,
1
On a donc ak = 0 pour 0 k n 1 et ak = kn+1
si k n. Comme || > 1, la suite
a est de carre sommable, cest bien un element de 2 . Finalement (T ) = D.

Remarque 5.2.1 Soit X un espace de Banach sur C. Sachant que pour tout operateur
A L(X), sup{|| : (A)} kAk, on pouvait tout de suite dire que (T ) D.
De plus, sachant que le spectre est un compact de C, D (T ) implique D (T ).
Autrement dit, modulo les deux resultats theoriques que lon vient de rappeler (vrais en
toute generalite), pour montrer que (T ) = D, comme kT k = 1, il suffisait de verifier que
D (T ).
Le spectre ponctuel de T est vide mais cependant il nest pas dicile de trouver des
sous-espaces vectoriels fermes de 2 non triviaux invariants par T . Prenons par exemple
M = {(an )n0 2 : a0 = 0, a1 = 0, , an0 = 0} pour n0 N xe. Par contre il nest pas
du tout evident de decrire tous les elements de Lat(T ). Cest dans ce but que nous allons
introduire loperateur shift sur H 2 (D), espace de fonctions analytiques o`
u il sera plus facile
de raisonner.
94
Le shift sur H 2 (D)
5.2.2
Daprès le Theorème 4.4.2, lespace de Hardy H 2 (D) est lensemble des fonctions hoP
lomorphes sur D de la forme f (z) = n0 an z n avec a = (an )n0 2 . De plus kf k2 =

P
2 1/2
= kak2 . Une reformulation immediate de ceci est le lemme suivant.
n0 |an |
Lemme 5.2.1 Soit : 2 H 2(D) defini par (a) = fa avec a = (an )n0 2 et
P
fa (z) = n0 an z n . Alors est un isomorphisme isometrique.
Nous allons à present introduire loperateur shift sur H 2 (D).
Lemme 5.2.2 Lapplication lineaire continue S de H 2 (D) dans lui-meme definie par S :=
T 1 est lisometrie de H 2 (D) telle que Sf = f avec (z) = z pour tout z D. De
plus (S) = D et p (S) = .
Preuve :
Soit f H 2 (D) denie par f (z) =
n0
an z n avec a = (an )n0 2 . On a
donc 1 (f ) = a et T 1 (f ) = (an1 )n0 avec a1 = 0. Finalement S(f ) = g avec

g(z) =
an1 z n =
n0
an1 z n = z
n1
an1 z n1 = zf (z).
n1
Comme S Id = (T Id) 1 avec et 1 inversibles, il est clair que T Id est

inversible si et seulement si S Id est inversible. De ce fait (S) = (T ) = D. Dautre
part, comme
(S Id)f = 0 (T Id) 1 f = 0 (T Id) 1 f = 0,
linjectivite de T Id et le fait que 1 soit injective, nous garantit que S Id est
injective et donc p (T ) = .

Compte tenu du lien entre T et S, on en deduit :
Lemme 5.2.3 Lat(T ) = {1 (M) : M Lat(S)}.
Preuve :
Comme 1 est une application lineaire isometrique, si M est un sous-espace
vectoriel ferme, il en est de meme pour 1 (M) (si V est une isometrie lineaire sur X et si
5.3. DESCRIPTION DE TOUS LES SOUS-ESPACES INVARIANTS DU SHIFT SUR H 2 (D)95

(xn ) X est de Cauchy, alors (V (xn ))n est elle aussi de Cauchy puisque kV (xn )V (xp )k =
kV (xn xp )k = kxn xp k).
De plus, si M Lat(S), on a (T 1)(M) M et donc T (1 (M)) 1 (M). Par
consequent nous avons {1 (M) : M Lat(S)} Lat(T ). Dautre part, si N Lat(T ),
posons M = (N ). On remarque que
S(M) = ( T 1 )(M) = ( T )(N ) (N ) = M.
Par consequent tout element N Lat(T ) est de la forme 1 (M) o`
u M Lat(S). Ainsi
nous avons Lat(T ) = {1 (M) : M Lat(S)}.
5.3
Description de tous les sous-espaces invariants du

shift sur H 2(D)
Daprès le Lemme 5.2.3, nous obtiendrons une description complète de Lat(T ) si et

seulement si on peut decrire entièrement Lat(S). Nous allons tout dabord verier que
{H 2 (D) : fonction interieure} Lat(S).
Lemme 5.3.1 Soit une fonction interieure. Alors H 2 (D) := {f : f H 2 (D)} est un
element de Lat(S).
Preuve :
Il est clair que H 2 (D) est un sous-espace vectoriel de H 2 (D). Pour verier que
H 2 (D) est ferme dans H 2(D), notons que H 2 (D) est limage de H 2 (D) par loperateur
M deni par M (f ) = f , f H 2 (D). Comme
kf kH 2 (D) = k f kL2 (T) = kf kL2 (T) = kf kH 2 (D) ,
M est une isometrie, son image est fermee dans H 2 (D). Ainsi H 2 (D) est bien un sousespace vectoriel ferme dans H 2 (D).
Remarquons que
S(H 2 (D)) = {f : f H 2 (D)} {g : f H 2 (D)} = H 2 (D),
96
etant donne que si f H 2 (D) alors f H 2 (D) puisque

kf kH 2 (D) = k f kL2 (T) = kf kL2 (T) = kf kH 2 (D) .
Finalement H 2 (D) := {f : f H 2 (D)} Lat(S) dès que est une fonction interieure.

Le resultat suivant nous dit quà une constante unimodulaire près il y a unicite de la
representation de tout element de Lat(S) de la forme H 2 (D) o`
u est une fonction
interieure.
Lemme 5.3.2 Soient 1 et 2 deux fonctions interieures telles que 1 H 2 (D) = 2 H 2 (D).
Alors il existe c T tel que 1 = c2 .
Daprès le Theorème 4.4.1, il existe c1 , c2 T, B1 et B2 deux produits de
P
Blaschke associes à deux suites (n1 )n0 et (n2 )n0 de D (satisfaisant n0 1 |ni | <
Preuve :
pour i = 1, 2) et deux mesures 1 , 2 positives et singulières par rapport à la mesure de
Lebesgue tels que

1
i (z) = ci Bi (z)Si (z) avec Si (z) = e 2
eit + z
di (t)
eit z
pour i = 1, 2.
Rappelons que les fonctions interieures singulières S1 et S2 ne sannulent pas sur D.

Legalite 1 H 2 (D) = 2 H 2 (D) implique quil existe f1 , f2 H 2 (D) telles que
c1 B1 S1 f1 = c2 B2 S2 et c1 B1 S1 = c2 B2 S2 f2 .
En particulier B1 (z) = 0 implique B2 (z) = 0 et reciproquement. De ce fait B1 et B2 ont la
meme suite de zeros avec meme multiplicite et donc B1 = B2 . Nous en deduisons
c1 S1 f1 = c2 S2 et c1 S1 = c2 S2 f2 .
Comme S1 et S2 sont des fonctions interieures, |fi (eit )| = 1 m-presque partout pour
i = 1, 2. Comme fi H 2 (D) pour i = 1, 2, daprès le Theorème 4.4.2, pour z = rei D,
on a :
1
fi (re ) =
2
i
Pr ( t)f (eit )dt.

Par consequent |fi (z)| 1 pour z D et i = 1, 2. On en deduit que |S1 (z)| |S2 (z)|
et |S2 (z)| |S1 (z)| pour z D. Ainsi |S1 (z)| = |S2 (z)| pour z D. La fonction
S1
S2
etant holomorphe sur louvert simplement connexe D et ne sannulant pas, daprès le

S
Theorème 1.2.1, il existe Hol(D) tel que S1 = e sur D. En particulier on obtient

2

S1 (z)
Re(l(z)) = log S (z) = 0 pour tout z D. Daprès les equations de Cauchy-Riemann, il
2
existe R tel que Im(l(z)) = pour tout z D. Finalement S1 = ei S2 et donc il
existe c T tel que 1 = c2 .

Nous allons à present verier que tous les elements de Lat(S) dierents de {0} sont de
la forme H 2 (D) o`
u est une fonction interieure donnee.
Th
eor`
eme 5.3.1 (de Beurling [3]) Soit M =
6 {0} un element de Lat(S). Alors il existe
une fonction interieure (unique à une constante unimodulaire près) tel que M = H 2 (D).
Lunicite à une constante unimodulaire près resulte du Lemme 5.3.2. Soit M =
6 {0} un
element de Lat(S) et soit p = inf{k 0 : f M avec 0 zero dordre k de f }. Soit
P
n
f M de la forme f (z) =
avec cp 6= 0. Alors f 6 S(M) car S(M)
np cn z
{g H 2 (D) : 0 zero dordre au moins p + 1 de g}. Comme S est une isometrie et M un
sous-espace vectoriel ferme de H 2 (D), S(M) est aussi un sous-espace vectoriel ferme dans
H 2 (D). On a donc
M = S(M) (S(M) M),
avec S(M) M =
6 {0} car il existe f M \ S(M). Soit g M S(M) , g non
identiquement nulle, et soit =
g
.
kgk2
Comme M Lat(S) et M, on a S n () S(M)
pour tout entier n 1. On en deduit < , S n () >= 0 pour tout n 1 puisque par
construction S(M) . En dautres termes nous avons :
Z 2
1
(eit )eint (eit )dt = 0, n 1.
2 0
En conjuguant lexpression ci-dessus nous obtenons :
Z 2
| (eit )|2 eint dt = 0, n Z \ {0}.
0
98
Posons u(eit ) = | (eit )|2 . Comme H 2 (D), L2 (T) et donc u L1 (T) avec u
b(n) = 0
pour n Z \ {0}. De plus
1
u
b(0) =
2
| (eit )|2 dt = kk22 = 1.
Comme la transformee de Fourier F : L1 (Z) c0 (Z) denie par F (f ) = (fb(n))nZ est
injective et comme tous les coecients de Fourier de f coincident avec ceux de la fonction
constante egale à 1, u(eit ) = 1 m-presque partout et donc | (eit )| = 1 m-presque partout.
Comme H 2 (D), daprès le Theorème 4.4.2, pour z = rei D, on a :
Z 2
1
i
Pr ( t) (eit )dt.
(re ) =
2 0
Par consequent |(z)| 1 pour z D et donc H (D). En fait on a montre que est
une fonction interieure.

Nous allons verier à present que M = H 2 (D). Pour cela nous allons tout dabord
montrer que H 2 (D) M. Comme M et M Lat(S), S n () = n M pour
tout n N. Comme M est un sous-espace vectoriel de H 2 (D), P () M pour tout
polynome P C[X]. Soit f H 2 (D). Daprès le Theorème 4.4.2, il existe une suite
P
P
2
n
(an )n0 de C telle que
n0 |an | < et f (z) =
n0 an z si z D. Pour k N,
P
Pk
n
2
2
posons Pk (z) =
n=0 an z . On a donc kf Pk ()k2 =
nk+1 |an | , ce qui implique
P
limk kf Pk ()k2 = 0 puisque n0 |an |2 < . Comme est interieure,
kf Pk ()kH 2 (D) = k (f Pk () )kL2 (T) = kf Pk () kL2 (T) = kf Pk ()kH 2 (D) .
Par consequent limk kf Pk ()k2 = 0 avec Pk () M pour tout entier k. Comme

M est ferme dans H 2 (D), f M pour tout f H 2 (D). On a donc montre que H 2 (D)
M.
Pour montrer que H 2 (D) = M, il nous reste à verier que si v M et si v H 2 (D),
alors v = 0. Notons que v H 2 (D) implique que < v, n >= 0 pour tout n 0.
Dautre part, comme S(M), on a aussi < , S n (v) >= 0 pour tout n 1. On a donc :
(
R 2 it
1
v (e ) (eit )eint dt n 0
2 R0
2
1
v (eit ) (eit )eint dt n 1
2 0

Comme v H 2 (D), v L2 (T) L1 (T). De plus, comme est interieure, nous avons
|v (eit ) (eit )| = |v (eit )| m-presque partout. Finalement la fonction v appartient à
L1 (T) et tous ses coecients de Fourier sont nuls. Linjectivite de la transformee de Fourier
F nous garantit que v = 0. Comme | (eit )| = 1 m-presque partout, on a v = 0 et par
suite v = 0 daprès le Theorème 4.5.1.

Remarque 5.3.1 Si M = n0 H 2 (D), alors 1 (M) = {a = (an )n0 2 : a0 = a1 =
= an0 1 = 0}. Cependant il nest pas evident de decrire 1 (M) si M est un element
de Lat(S) de la forme M = H 2 (D) avec fonction interieure quelconque. Ceci explique
pourquoi la description de Lat(T ) est si difficile si lon ne transpose pas le problème de 2
dans H 2 (D).
100
5.4
Exercices
Exercice 5.4.1 Soient T le shift sur 2 et S le shift sur H 2 (D) definis comme dans la
Definition 5.2.1 et le Lemme 5.2.2.
1. Identifier T et S .
2. Determiner p (S ) et (S ).
3. Verifier que si M Lat(S) alors M Lat(S ).
4. En deduire la description complète de Lat(S ).
Exercice 5.4.2 Soit Uf le facteur interieur dune fonction f H 2 (D) avec f 6= 0 et soit
Y le plus petit sous-espace vectoriel ferme invariant par S et contenant f .
1. Montrer que Y = Uf H 2 (D).
2. En deduire que Y = H 2 (D) si et seulement si f est une fonction exterieure.
Chapitre 6
Op
erateurs de Hankel et op
erateurs
de Toeplitz
Nous allons voir dans ce chapitre un apercu de certains operateurs très etudies sur
lespace de Hardy H 2 = H 2 (T). La plupart des resultats presentes ici proviennent de
[16, 8, 12, 14].
6.1
Op
erateurs de Laurent et operators de Toeplitz
Soit PH 2 : L2 (T) H 2 la projection orthogonale denie par :

!
X
X
int
2
=
an eint .
an e
PH
n=0
n=
Clairement, kPH 2 f k2 kf k2 pour tout f L2 (T).
D
efinition 6.1.1 Soit L (T). Alors loperateur de Laurent (ou operateur de multiplication) M : L2 (T) L2 (T) est donne par :
(M f )(eit ) = (eit )f (eit ).
(6.1)
Th
eor`
eme 6.1.1 Soit L (T). Alors M est un operateur borne et sa norme est donne
par kM k = kk . De plus,
sup{kM f k2 : f H 2 , kf k2 = 1} = kk .
Si est une fonction mesurable sur T qui nest pas dans L (T), alors M nest pas un
operateur borne sur L2 (T).
101
102 CHAPITRE 6. OPERATEURS

DE HANKEL ET OPERATEURS
DE TOEPLITZ
Preuve :
Clairement, kM k kk , car :
kM f k22
1
=
2
|(eit )f (eit )|2 dt

0
Z 2
2 1
kk
|f (eit )|2 dt = kk2 kf k22.
2 0
La reciproque est un peu plus compliquee. Etant donne > 0 on peut trouver un
ensemble A T de mesure strictement positive tel que |(eit )| > kk sur A .
On denit = A comme la fonction qui est egale à 1 sur A et 0 sur son complementaire.
On a L2 (T) et kk22 = (A ), o`
u est la mesure de Lebesgue normalisee sur le cercle
unite.
De plus,
kM k22
Z 2
1
|(eit )|2 (eit )2 dt
=
2 0
> (kk )2 (A ).
Par consequent kM k2 /kk2 > kk et kM k > kk . Comme > 0 etait

arbitraire, cela nous montre que kM k kk , et nous avons donc egalite.
A present, notons que = A nest pas necessairement dans H 2 , mais, si lon ecrit
P
ikt
ee par
(eit ) =
k= ck e , alors la suite de fonctions (fm ) donn
fm (eit ) = eimt (eit ) =
ck ei(k+m)t
n=
satisfait kfm k2 = kk2 et

kM fm k2 = kMeimt M k2 > (kk )kk2.
A present on remarque que :
kPH 2 fm fm k2

X
X

ck ei(k+m)t
ck ei(k+m)t
=

k=
k=m
2
!1/2
m1
X
=
0
lorsque m .
|ck |2
k=

6.1. OPERATEURS
DE LAURENT ET OPERATORS DE TOEPLITZ
103
Par consequent kPH 2 fm k2 kk2 et kM PH 2 fm M fm k2 0, ce qui implique

kM PH 2 fm k2 kM k2
lorsque m .
Notons que PH 2 fm H 2 et kM PH 2 fm k2 /kPH 2 fm k2 > (kk ) pour m susamment

grand, ce qui donne linequalite inverse.
Finalement, si est essentiellement non borne, alors nous pouvons prendre des fonctions
n L (T) telles que |n (eit )| croit de facon monotone vers |(eit )| presque partout et
kn k (on remplace simplement par 0 aux points o`
u la valeur absolue de est
superieure à n). Alors kM f k kMn f k pour toute fonction f H 2 et
kMn k = kn k ,
de sorte que M est non borne sur H 2 .

Corollaire 6.1.1 Supposons que H . Alors M : H 2 H 2 defini par (6.1) satisfait
kM k = kk .
Preuve :
Ceci resulte du theorème 6.1.1, une fois que lon a verie que f H 2 (et
pas simplement dans L2 (T)) pour H et f H 2 . On peut montrer ceci directement

en multipliant les series, ou alternativement, en calculant les produits scalaires :
( f, eikt ) = (, feikt ) = 0
pour k < 0,
car H 2 et f(eit )eikt na que des coecients de Fourier dindice strictement negatifs non
nuls.

2
Notation matricielle. Notons (en )
enie par
n= la base orthonormale de L (T), d
2
en (eit ) = eint ou en (z) = z n . Rappelons que (en )
n=0 est une base orthonormale de H .
P
P
ikt int
k
On remarque ensuite que M en =
d
e
e
,
o`
u
(z)
=
k
k=0
k=0 dk z (la convergence
devant etre comprise au sens L2 ) et H . Alors nous obtenons la matrice innie suivante

DE TOEPLITZ
d0
d1
d2
d3
..
.
0
d0
d1
d2
..
.
0
0
d0
d1
..
.
...
...
....
...
..
.
0
0
0
d0
..
.
Une matrice qui est constante sur les diagonales orientees Nord-Ouest /Sud-Est, comme
ci-dessus est appelee une matrice de Toeplitz.
Il existe un moyen dobtenir un operateur ayant une matrice de Toeplitz generale, pas
necessairement triangulaire inferieure, et cest ce que nous allons observer à present.
D
efinition 6.1.2 Pour L (T), loperateur de Toeplitz de symbole est loperateur
T : H 2 H 2 defini par T f = PH 2 (M f ).
Comme kPH 2 k = 1 et kM k = kk nous avons que T est un operateur borne sur
H 2 qui satisfait kT k kk . Dans le cas o`
u H , on remarque aussi que T est le
meme operateur que M . Nous allons voir bientot que kT k = kk pour tout symbole
L (T).
Soit (z) =
k= dk z
. Alors
T en = PH 2 (
dk eikt eint )
k=
dpn eipt ,
p=0
o`
u p = n + k. Ceci donne une matrice de Toeplitz de T ; à savoir la matrice
d0
d1
d2
d3
..
.
d1
d0
d1
d2
..
.
d2
d1
d0
d1
..
.
d3
d2
d1
d0
..
.
Des cas speciaux importants sont les suivants :

si = 1, alors T ;
si (z) = z, alors T est le shift (à droite) ;
...
...
...
.
...
..
.

6.1. OPERATEURS
DE LAURENT ET OPERATORS DE TOEPLITZ
105
si (z) = 1/z, alors T est ladjoint du shift (ou encore le shift à gauche).
Enn, clairement, T = 0 si et seulement si = 0.
Th
eor`
eme 6.1.2 Pour L (T) on a kT k = kk ; cest-à-dire,
Preuve :

sup kT f k2 : f H 2 , kf k2 = 1 = kk .
Comme kT k = kPH 2 M k kM k = kk , il sut simplement de prouver
que est vrai.

Etant donne > 0, il existe une function f H 2 avec kf k2 = 1 et
kM f k2 > kk ,
par le theorème 6.1.1. En fait, on peut supposer sans perte de generalite f est un polynome
it
p(e ) =
N
X
ck eikt ,
k=0
car on peut toujours trouver une suite de polynomes pn telle que

kpn f k2 0
kM pn M f k2 0.
et
Nous allons tout dabord montrer que, pour tout k 0, on a k(T M )(eimt eikt )k2 0
lorsque m . A cette n, avec ayant lescoecients de Fourier (dn ) comme ci-dessus,
cette quantite est simplement

X

irt imt ikt
dr e e e
(I PH 2 )

r=

1mk
X

i(r+m+k)t
dr e
=

r=
2
!1/2
1mk
X
=
|dr |2
0
r=
lorsque m . Il sensuit que

imt
k(T M )(e
it
p(e ))k2
N
X
k=0
lorsque m .
|ck |k(T M )eimt eikt k2 0

DE TOEPLITZ
Comme keimt pk2 = kpk2 , on a donc
kT (eimt p)k2 kM (eimt p)k2 = keimt pk2 = kM pk2 .
Mais dautre part, kM pk2 > kk , ce qui donne le resultat car > 0 est arbitraire.

Le resultat ci-dessus est de grand interet et de grande importance. En eet, en general,
etant donnee une matrice innie, il nexiste pas de formule qui nous donne sa norme comme
operateur agissant sur 2 .
Bien que les operateurs de Toeplitz peuvent etre bornes, ils ne sont pas, en genaral, des
operateurs compacts.
Proposition 6.1.1 Le seul operateur de Toeplitz qui soit compact est T0 = 0.
Preuve :
Soit (en ) une base orthonormale de H 2 . Il est facile de voir que si S est un
operateur de rang ni, alors kSen k 0 lorsque n , etant donne que lon peut ecrire
r
X
(en , xk )yk ,
Sen =
k=1
o`
u (xk )rk=1 et (yk )rk=1 sont des suites nies de H 2 . Alors
kSen k
r
X
|(en , xk )| kyk k 0
k=1
lorsque n , car (en , xk ) 0 pour tout k.

A present, pour tout operateur compact S sur H 2 , la meme chose est vraie, car on
peut ecrire S comme la limite (en norme operateur) dune suite (Sk ) doperateurs de rang
ni et lon observe que kSen k kS Sk k + kSk en k. Etant donne > 0 on peut rendre
le premier terme inferieure à /2 en choisissant k assez grand et on peut rendre le second
terme inferieure à /2 en choisissant n assez grand.
Cependant, il est facile de voir que pour un operateur de Toeplitz T , on ne peut pas
avoir kT en k 0 lorsque n , à moins que T soit loperateur identiquement nul. En

6.2. OPERATEURS
DE HANKEL
107
eet, kT en k |dm | dès que dm apparait dans la (n + 1)ième colonne, ce qui se produit dès
que n m. Donc T est non compact sauf si tous les coecients de Fourier de sont
nuls (i.e. = 0).
6.2
Op
erateurs de Hankel
Nous allons considerer à present une classe doperateurs très liee à la precedente et
aussi introduite par Toeplitz.
Notons (H 2 ) le complementaire orthogonal de H 2 dans L2 (T) ; cest-à-dire lenveloppe
lineaire fermee engendree par
en (eit ) = eint ,
n < 0.
D
efinition 6.2.1 Pour L (T) loperateur de Hankel de symbole est defini
comme loperateur de H 2 dans (H 2 ) donne par
f = (I PH 2 )M f ;
ce qui implique en particulier, M = T + .
Il existe plusieurs denitions alternatives, qui sont plus ou moins bien adaptees à certaines circonstances, mais nous allons travailler uniquement à partir de la denition cidessus.
Proposition 6.2.1 On a linegalite k k kk . De plus, si (ei ) a comme serie
P
ik
, alors la matrice de , relativement à la base orthonormale
de Fourier
k= dk e
(en )n=0,1,2,... de H 2 et (en )n=1,2,... de (H 2 ) , est
d1
d2
d3
d4
..
.
d2
d3
d4
d5
..
.
d3
d4
d5
d6
..
.
d4
d5
d6
d7
..
.
...
...
...,
...
..
.
(6.2)

DE TOEPLITZ
laquelle est constante sur les diagonales orientees Sud-Ouest/Nord-Est (ce quon appelle
une matrice de Hankel).
De plus, = 0 si et seulement si H .
Preuve :
Tout dabord, k f k2 = k(I PH 2 )M f k2 kM f k2 kk kf k2. De plus,

ek = (I PH 2 )
dn eint eikt
n=
1
X
i(n+k)t
dn e
n=
drk eirt ,
r=1
obtenu en posant n + k = r. Ceci donne la matrice recquise, et clairement = 0 si et

seulement si dn = 0 pour tout n < 0, ce qui arrive precisement lorsque est dans H .

Th
eor`
eme 6.2.1 (Z. Nehari) Supposons que : H 2 (H 2 ) est un operateur de
Hankel. Alors il existe une fonction L (T) avec = et k k = kk . Par
consequent
k k = inf{k + hk : h H } = dist(, H )
et linfimum est atteint en h = .
Preuve :
Observons tout dabord que, si (eit ) =
ikt
k= dk e
et n, m > 0, alors
(eint , eimt eit ) = dnm1 = (eint eimt , eit ).

Par consequent
N
X
n=0
bn eint ,
M
X
m=0
cm eimt eit
N
X
bn eint
n=0
M
X
cm eimt , eit .
m=0
On peut alors denir une fonctionnelle lineaire sur les polynomes par
(f ) = (f, eit ),
et si f se factorise comme un produit de polynomes f = f1 f2 , alors
(f ) = ((f1 f2 ), eit ) = (f1 , f 2 eit ),

6.2. OPERATEURS
DE HANKEL
109
et donc
|(f1 f2 )| kk kf1k2 kf2 k2 .
Cependant, comme toute fonction de H 1 est le produit de deux fonctions de H 2, le
produit de polynomes est dense dans H 1 , et donc a une unique extension sur H 1 denie
par
(f1 f2 ) = (f1 , f 2 eit )
pour f1 , f2 H 2 ,
avec |(f1 f2 )| kk kf1 k2 kf2 k2 , ou (en utilisant le fait quune fonction f de H 1 et le

produit de deux fonctions de H 2 , f = f1 f2 avec kf k1 = kf1 k2 kkf2 k2 ))
pourtout g H 1 .
|(g)| kk kgk1
Nous pouvons à present utiliser le theorème dHahnBanach pour etendre le domaine

de denition de la forme lineaire à tout lespace L1 (T), en gardant la condition |(g)|
kk kgk1 pour tout g L1 (T). Ceci implique quil existe une representation
1
(g) =
2
g(ei )(ei ) d,
0
pour un certain L (T) avec

kk = kk kk.
De plus, pour k 0,
ikt
(, e
1
)=
2
eikt (eit ) dt = (eikt ) = (eikt , eit ) = dk1 .
Par consequent les coecients de Fourier (n ) de satisfont k = dk1 pour k 0.

On prend à present (eit ) = eit (eit ), de sorte que les coecients de Fourier (n ) de
satisfont k1 = dk1 pour k 0. De plus,
kk = kk kk,
comme annonce.

DE TOEPLITZ
A present, comme = si et seulement si la fonction h, denie par h = , est
dans H , nous avons que
k k inf{k + hk : h H }
et il existe une fonction telle que = + h et
kk k k kk .
On obtient ainsi kk = k k.

Remarque 6.2.1 La preuve ci-dessus montre en fait bien plus ; à savoir que tout operateur
borne T de H 2 dans (H 2 ) donne par une matrice de Hankel est en fait un operateur de
Hankel cest-à-dire, T = pour un certain L avec kk = kT k.
Nous avons vu dans le chapitre sur les espaces de Hardy que, pour toute fonction
f H 2 sauf pour la fonction identiquement nulle, on a f (ei ) 6= 0 presque partout. Ceci
nous permet de donner une solution explicite, pour un grand nombre de cas, au problème de
Nehari consistant à trouver un symbole de norme minimale pour un operateur de Hankel ;
ou de facon equivalente à trouver un meilleur approximant analytique pour une fonction
mesurable et bornee.
Th
eor`
eme 6.2.2 (D. Sarason) Supposons que : H 2 (H 2 ) est un operateur de
Hankel pour lequel il existe f H 2 , f 6= 0 avec kf k2 = kkkf k2. Alors il existe un unique
symbole L pour tel que kk = kk. De plus, est donne par = (f )/f ; cestà-dire, (ei ) = (f )(ei )/f (ei ) presque partout. Dautre part, lidentite |(ei )| = kk est
verifie presque partout.
Preuve :
Soit un symbole de norme minimal, lequel existe daprès le theorème de
Nehari. Comme f = (I PH 2 )M f nous avons que

k kkf k2 = kf k2 k f k2 kk kf k2 .

6.2. OPERATEURS
DE HANKEL
111
Comme k k = kk , nous avons necessairement f = f . Par consequent = (f )/f

presque partout, sachant que f (ei ) 6= 0 presque partout. De plus, comme k f k2 =
kk kf k2 , lidentite |(ei )| = kk doit etre vraie presque partout.

Le problème de trouver un symbole de norme minimale pour un operateur de Hankel
peut etre revisite de facon très utile en un problème consistant à trouver une approximation
dune fonction de L (T) une fonction de H , comme nous allons le voir maintenant.
Corollaire 6.2.1 Supposons que L (T) est tel que atteint sa norme (cest-à-dire,
k f k2 = k kkf k2
pour une certaine fonction f H 2 , f 6= 0). Alors a un unique meilleur approximant
h H ; cest-à-dire, une fonction satisfaisant k hk = dist(, H ). De plus, h =
(f )/f et |( h)(ei )| = k hk = k k presque partout.
Preuve :
Si g H alors g = , et donc
k gk kg k = k k.
Mais il existe une fonction L (T), donnee par = (f )/f , telle que = , et
kk = k k = k k.
Par consequent h = appartient à H (car h est loperateur identiquement nul) et
k hk = kk = k k,
de sorte que h est un meilleur approximant de . Cependant, est unique et donc h aussi.
De plus, la fonction h = a un module constant presque partout.

Comme les fonctions correspondant aux operateurs de Hankel qui atteignent leur norme
ont un unique meilleur approximant dans H , nous savons que toute fonction correspondante à un operateur de Hankel qui est de rang ni, ou simplement compact, a la propriete
desiree. Par consequent il est naturel de chercher à savoir quand est-ce quun Hankel est
de rang ni.

DE TOEPLITZ
Th
eor`
eme 6.2.3 (L. Kronecker) Loperateur de Hankel dont la matrice est donnee
P
k
par lequation (6.2) est de rang fini si et seulement si f (z) = 1
k= dk z est une fonction
rationnelle de z. Son rang est le nombre de poles de f (les poles sont necessairement dans
D).
Preuve :
Si le rang de est r, alors les premières (r + 1) colonnes de sont lineairement
independantes ; cest-à-dire quil existe des scalaires 1 , . . . , r+1 , non tous nuls, tels que
r+1
X
pour tout m 0.
k dkm = 0
k=1
Ceci implique que

d1 d2
+ 2 + ...
(1 + 2 z + . . . + r+1 z )
z
z
r
est un polynome de degre au plus (r 1) en z, car les coecients des puissances negatives
z m1 sont egaux à
1 dm1 + . . . + r+1 dmr1 ,
qui valent zero. Ainsi f est rationnel de degre au plus r.
P
k
omes P et Q avec le
Reciproquement, si P (z) 1
dk z = Q(z) pour certains polyn
degre de P inferieur ou egal à r, alors en remontant les implications ci-dessus on voit que
le rang de est au plus r.
Par consequent le rang est actuellement egal au nombre de poles. Notons que f est la
projection dune fonction de L2 (T) sur (H 2 ) . Comme g(z) = (1/z)f (1/z) appartient à
H 2 et par consequent a des poles en dehors de D, il sensuit que les poles de f sont dans
D.

Notons Rk lensemble des fonctions rationnelles f (z) qui ont au plus k poles dans le
disque unite ouvert D.
Corollaire 6.2.2 Loperateur de Hankel est de rang au plus k si et seulement si
H + Rk .

6.2. OPERATEURS
DE HANKEL
Preuve :
113
Ceci resulte du fait que = si et seulement si H .

Nous terminons avec une caracterisation des symboles des operateurs de Hankel compacts, sans donner les preuves mais ces dernières sont detaillees dans [12] ou [16].
Th
eor`
eme 6.2.4 (P. Hartman) Loperateur de Hankel est compact si et seulement
si H + C(T).
Le resultat suivant, sur lespace quelque peu mysterieux H + C(T) est assez dicile
mais est dune grande importance theorique.
Th
eor`
eme 6.2.5 (D. E. Sarason) Lespace H + C(T) est une sous-algèbre fermee de
lalgèbre de Banach L (T).

DE TOEPLITZ
Chapitre 7
El
ements de correction des exercices
7.1
Exercices du Chapitre I
Correction de lexercice 1.4.1
1. Nous allons montrer que uv est harmonique si et seulement si u est constante ou v

est constante ou il existe deux reels et non nuls tels que la fonction u + iv soit
holomorphe.
La fonction uv est harmonique si et seulement si
2 uv
= 0. Or
zz

2 uv
v
u
u
=
+v
zz
z
z
z
2
v
v u
2u
u v
+u
+
+v
.
=
z z
zz z z
zz
Comme u et v sont harmoniques, on obtient :
u v v u
2 uv
=
+
.
zz
z z z z
(7.1)
Il est clair que si u ou v est constante alors uv est harmonique. Dautre part, sil
existe deux reels et non nuls tels que la fonction u + iv soit holomorphe, alors
(u + iv)2 est holomorphe et donc Im((u + iv)2) = 2uv est harmonique. Ainsi
uv est harmonique.
v
Reciproquement supposons que uv est harmonique. Comme v est harmonique, z
=
z

v
v
0 et donc v
est holomorphe. Si lon suppose que v
= 0, comme v
= 12 x
i y
z
z
z
115

CHAPITRE 7. ELEMENTS
DE CORRECTION DES EXERCICES
116
et comme v est reelle, on a donc

comme u est harmonique,
u
z
v
x
=0=
v
.
y
Finalement v est constante. De meme,
est holomorphe et
u
z
si et seulement si u est constante.

u
z
Supposons que ni u ni v nest constante, autrement dit que
et
v
z
tions holomorphes non identiquement nulles. Lensemble des zeros de

discrets. Soit D(a, r) tel que
sont des fonc-
v
z
u
z
et de
sont
v
z
ne sannule pas sur D(a, r). La fonction h :=
v
z
et
u
z
v
z
est donc holomorphe sur D(a, r).

Comme u et v sont reelles,
v
z
u
z
u
.
z
Daprès (7.1), h = h sur D(a, r),
i.e. Re(h) = 0 sur D(a, r). Daprès les equations de Cauchy-Riemann, Im(h) est
constante sur D(a, r). Comme on a suppose que u etait non constante, h est non nul
et donc il existe R \ {0} tel que
u
z
= i v
sur D(a, r). Daprès le principe des
z
zeros isoles (que lon peut appliquer car est un ouvert connexe)
Finalement
(u iv)
z
= 0 sur , i.e.
(u + iv)
z
u
z
= i v
sur .
z
= 0 sur car R et u et v sont
des fonctions reelles. La fonction u + iv est donc holomorphe sur .

2. Daprès la première question, u2 est harmonique si et seulement si u est constante
ou sil existe et constantes reelles non nulles telles que u + iu holomorphe. Or
(u
z
+ iu) = 0
u
z
= 0 sur . Comme u est reelle, on obtient
u
z
= 0 sur ,
ce qui implique que u est constante sur .

3. Daprès le calcul qui conduit à (7.1), puisque f et f sont des fonctions harmoniques,
on a :
f f
f f
2
(f f) =
+
.
zz
z z
z z
= 0 et donc |f |2 est harmonique si et seulement si
Comme f est holomorphe, f
z
2
f
f f
f f
=
= = 0 sur .
z z
z z
z
Finalement
f
z
= 0 sur , ce qui implique f constante sur .

1. f 2 harmonique sur signie

2f
zz
2f 2
zz
= 0 sur . Comme
2f 2
zz
f
f
= 2 f
+ 2f zz
avec
z z
= 0 car f est harmonique, on a donc :

f f
= 0 sur .
z z
(7.2)
117
7.1. EXERCICES DU CHAPITRE I

Si
f
z
= 0 sur , alors
f
z
= 0 sur et donc f est holomorphe.
Supposons à present quil existe z0 tel que

2f
(i.e.
zz
= 0) la fonction
f
z
f
(z )
z 0
6= 0. Comme f est harmonique
est holomorphe sur . Ses zeros sont donc discrets
puisque nous la supposons non identiquement nulle. Ainsi il existe r > 0 tel que
f
(z)
z
f
z
6= 0 sur D(z0 , r). Daprès (7.2), on a donc
f
z
= 0 sur D(z0 , r) et par consequent
= 0 sur D(z0 , r). Comme f est harmonique, f est harmonique et ainsi
. On obtient
f
z
f
z
= 0 sur
fonction holomorphe sur et nulle sur D(z0 , r). Daprès le principe
des zeros isoles (que lon peut appliquer car est un ouvert connexe)
i.e.
2f
zz
f
z
= 0 sur .,
= 0 sur . La fonction f est donc holomorphe sur .
2. Si |f |2 est harmonique, sachant que f (et donc f ) est harmonique, on obtient :

2 2
f
f
2 (f f )
f f
f f
0=
=
+
= + .
zz
z z
z z
z
z
Ainsi
f
z
f
z
= 0 sur , ce qui implique f constante sur .

f = u+iv o`
u u et v sont des fonctions à valeurs reelles qui ne sannulent pas simultanement.
1
On pose g := log |f | = log(u2 + v 2 ) 2 =

On a
g
1 1
=
x
2 u2 + v 2
et donc :
2
g
=
x2

u 2
x
+ u xu2 +
1
2
log(u2 + v 2 ). Calculons (g) :=
u
v
2u
+ 2v
x
x

v 2
x
2g
x2
2g
.
y 2

u
1
v
= u
+v
,
2
x
x u + v 2

2v
+ v x
(u2 + v 2 )
2
u

v
v
+ 2v x
u x + v x
2u u
x
(u2 + v 2 )2
(u2 + v 2 )2

v 2
u v
u2 x + v 2 x
+ 4uv x
x
+
=
(u2 + v 2 )2

2
2
v 2
2v
2v
2 u 2
+ u2 v x
+ uv 2 xu2 + v 3 x
u3 xu2 + u2 x
2 + v
2
x
(u2 + v 2 )2

2
v 2 2
2v
u v
u 2 2
3
2
(v u2 ) + x
(u v 2 ) + xu2 (u3 + uv 2 ) + x
2 (v + vu ) 4uv x x
x
=
(u2 + v 2 )2

2
2
v 2
2v
u v
3
2
(v 2 u2 ) u
x
+ xu2 (u3 + uv 2 ) + x
2 (v + vu ) 4uv x x
x
=
.
(u2 + v 2 )2

u 2

118
2g
sobtient en remplacant x par y. Comme u et v sont harmoniques en
y 2
2
2
tant que partie reelle et imaginaire dune fonction holomorphe, on a bien sur xu2 + yu2 =
Lexpression de
0=
2v
x2
2v
.
y 2
(g) =
On a donc :

2
2
(v u )

u 2
x

v 2
x
u
y
2
2
v
y
4uv
(u2 + v 2 )2
u v
x x
Comme f est holomorphe, daprès les equations de Cauchy-Riemann,
v
. On verie ainsi que (g) = 0 et donc log |f | est harmonique.
x
u v
y y
u
v
u
=
et
=
x
y
y

Comme est simplement connexe et comme f ne sannule pas, la fonction holomorphe
f
f
a une primitive holomorphe qui est une determination holomorphe du logarithme de f .
En dautres termes il existe g holomorphe sur tel que f = eg . On a donc en particulier

|f | = eRe(g) , i.e. log |f | = Re(g). La fonction log |f | est donc harmonique comme partie
reelle dune fonction holomorphe.
Rappelons quune fonction f à valeurs complexes est analytique dans si pour tout z0 ,
P
il existe R(z0 ) > 0 avec D(z0 , R(z0 )) et une serie entière n0 an (z0 )X n de rayon de
convergence au moins egal à R(z0 ) tels que
f (z) =
an (z0 )(z z0 )n , z D(z0 , R(z0 )).
n0
Rappelons le lien entre lholomorphie et lanalyticite : si f holomorphe dans un ouvert

de C alors f est analytique dans . (cf. par exemple Section 2.4 de [25] ou [15]).
Daprès les rappels ci-dessus, il sut de montrer que si f et z 7 zf (z) sont harmoniques dans alors f est holomorphe sur , i.e.
f
z
= 0 sur . Or, comme g : z 7 zf (z)
est harmonique, pour tout z , on a :

f
2f
f
g
(z) =
z (z) + f (z) = z
(z) +
(z).
0=
z z
z
z
zz
z
119

Comme f est harmonique, on a donc
2f
zz
= 0 sur et donc necessairement
f
z
= 0 sur .

1.
f
est harmonique car
x

2 f
2f
2f
2 f
+ 2
=
+ 2 = 0,
x2 x
y
x
x x2
y
car f est harmonique de classe C 3 . De facon analogue on montre que
f
est harmoy
nique.
2.
Pr ( t) =
r |n| ein(t)
nZ
r n ein(t) +
r n ein(t)
n>0
n0
z n eint +
(z)n eint ,
n>0
n0
n
n
2 Pr ( t)
(z ) = 0 et
(z ) = 0, on a donc
=
z
z
zz
0 et donc Pr ( t) est harmonique (à t xe) sur D.
si z = rei . Comme, pour n 0,
3. Pour z = rei ,
1
P ()(re ) =
2
i
1
=
2
Z
Z
Pr ( t)d(t)
X
n0
z n eint +
X
n>0
(z)n eint d(t).
Comme pour |z| < 1 les sommes convergent normalement, on obtient :

Z X
Z X
1
1
n int
i
z e
d(t) +
(z)n eint d(t).
P ()(re ) =
2 n0
2 n>0
Les derivees des series etant elles aussi convergentes et comme ||(0, 2) < , la
derivee des integrales et les integrales de la derivee sont egales. On obtient ainsi :
Z X 2 n int
Z X 2
2 P ()
(z e
)
1
1
((z)n eint )
(z) =
d(t) +
d(t) = 0,
zz
2 n0
zz
2 n>0
zz
ce qui prouve que P () est bien une fonction harmonique sur D.

120

1. Daprès le Corollaire 1.3.1, nous savons que si a D et si R > 0 satisfait D(a, R) D
alors pour tout r veriant 0 r < R, on a :
Z
1
i
Pr/R ( t)u(a + Reit )dt.
u(a + re ) =
2
Comme Pr/R ( t) =
R2 r 2
,
R2 2rR cos(t)+r 2
on a :
R2 r 2
R2 r 2
R+r
Rr
= 2
P
(
t)
=
.
r/R
2
2
2
R+r
R + 2rR + r
R 2rR + r
Rr
Z
1
Dautre part, daprès la formule de la moyenne, u(a) =
u(a+ Reit )dt. De plus,
2
comme u(a) 0, on obtient :
R+r
Rr
u(a) u(a + reit )
u(a).
R+r
Rr
Prenons a = 0, r = 21 , t = 0 et R = 1 avec ]0, 21 [. On obtient :
3/2
1/2
u(1/2)
.
3/2 +
1/2
Comme 7
3/2
1/2
est une fonction croissante et comme 7
1/2
3/2+
est une fonction
decroissante, cest en faisant tendre vers 0 que lon obtient le meilleur encadrement.
On a donc 1/3 u(1/2) 3.
2. Comme u est une fonction harmonique sur D, daprès le Corollaire 1.3.1, pour tout
0 r < R < 1, on a :
1
u(re ) =
2
i
Pr/R ( t)u(Reit )dt,
ce qui revient à dire que :

Re(f (z)) = Re
1
2

Reit + z
it
u(Re )dt avec |z| < R < 1.
Reit z
Daprès les equations de Cauchy-Riemann, il existe R tel que

Z 2
1
Reit + z
f (z) =
u(Reit )dt + i pour tout z D(0, R).
2 0 Reit z
121

En particulier, daprès le Corollaire 1.2.3 on a f (0) =
1
2
R 2
0
u(Reit )dt + i =
u(0)Z + i . Comme f (0) = 0 = u(0), on obtient = 0. On a donc f (z) =

2
Reit + z
1
u(Reit )dt dès que |z| = r < R < 1. Comme |u| < 1 sur D, on
2 0 Reit z
en deduit :
R+r
|f (z)|
dès que |z| = r < R < 1.
Rr
Comme la fonction x 7
x+r
est decroissante, on en deduit :
xr
|f (rei )|
1+r
dès que |z| = r < 1.
1r

Montrons que u est continue. Soit D(a, r) . Nous savons qualors
1
u(a) = 2
r
ZZ
u(x + iy)dxdy.
D(a,r)
Soit b D(a,
Z Zr) et soit r1 := r |b a|. Par construction on a D(b, r1 ) . On a donc
1
u(b) = 2
u(x + iy)dxdy et ainsi :
r1
D(b,r1 )

ZZ
ZZ

1
1
u(x + iy)dxdy 2
u(x + iy)dxdy
|u(a) u(b)| = 2
r
r1
D(a,r)
D(b,r1 )

ZZ
ZZ
1

1

2
u(x + iy)dxdy 2
u(x + iy)dxdy +
r
r1
D(a,r)
D(a,r)

ZZ
ZZ
1

1

u(x
+
iy)dxdy
u(x
+
iy)dxdy
r 2

r12
D(a,r)
D(b,r1 )
1
Z Z

1
1
|u(x + iy)|dxdy +
2 2
r
r1
D(a,r)
Z Z

1
.
u(x
+
iy)
dxdy
D(a,r)\D(b,r1 )

r12 R2
Comme u L1 localement,
RR
D(a,r)
|u(x + iy)|dxdy = M < et comme limba |b
a|
= 0 lim
Z Zba r1 = r, pour > 0 xe, il existe > 0 tel que si |b a| < alors
1

1

|u(x + iy)|dxdy < . Dautre part, comme u L1 localement et
r 2 r 2
2
D(a,r)
1

122
comme limba u(x + iy)D(a,r)\D(b,r1 ) = 0, daprès le theorème de convergence dominee de

Lebesgue, il existe > 0 tel que si |b a| < alors
Z Z

1
< .
u(x
+
iy)
dxdy
D(a,r)\D(b,r1 )
2
r12 R2
La fonction u est donc continue. Comme u verie la propriete de la moyenne, elle verie
la propriete de la moyenne faible. Daprès le Theorème 1.3.2, f est harmonique.
7.2
Exercices du Chapitre 2
7.2.1
Quelques rappels de topologie et notion de r

egularit
e de
mesure de Borel positive
Rappels topologiques
Soit X un espace topologique.
Un voisinage dun point a X est un ouvert de X contenant a.
X est s
epar
e (ou de Hausdorff) lorsque lon a la propriete suivante : pour deux
points distincts quelconques a et b, il existe un voisinage U de a et un voisinage V
de b tels que U V = .
Un sous-ensemble K de X est compact si de tout recouvrement ouvert de K on
peut extraire un sous-recouvrement ni.
X est localement compact si tout point de X possède un voisinage dont la fermeture est compacte. Naturellement si X est compact alors X est localement compact.
Un sous-ensemble E de X est -compact si E est la reunion denombrable de compacts de X.
Rappels sur les mesures de Borel
Une mesure de Borel est une mesure denie sur la tribu des boreliens B dun espace
topologique X separe et localement compact.
Une mesure de Borel est dite positive si (E) R+ {+} pour tout borelien
E de X.
7.2. EXERCICES DU CHAPITRE 2
123
Une mesure de Borel est dite r

eelle (resp. complexe) si (E) R (resp. (E) C)
pour tout borelien E de X. Naturellement les mesures de Borel reelles sont des
mesures de Borel complexes et ce sont des mesures nies.
Soit une mesure de Borel positive et soit E un borelien. Alors E est ext
erieurement
r
egulier si
(E) = inf{(V ) : V ouvert , V E}.
Soit une mesure de Borel positive et soit E un borelien. Alors E est int
erieurement
r
egulier si
(E) = sup{(K) : K compact , K E}.
Soit une mesure de Borel positive.
Une mesure de Borel positive est r
eguli`
ere si tout borelien E est à la fois exterieurement et interieurement regulier.
Th
eor`
eme 7.2.1 (Th
eor`
eme 2.18, p.47 de [22]) Soit X un espace topologique separe
localement compact sur lequel tout ouvert est -compact. Soit une mesure de Borel positive
telle que (K) < pour tout compact K de X. Dans ce cas est regulière.
En particulier si est une mesure de Borel positive et reelle (donc nie) sur R, est
regulière (en fait si est une mesure de Borel positive sur R qui de plus est nie sur tout
les compacts de R, est regulière).
7.2.2
Corrections
1. La fonction u est harmonique sur D comme partie imaginaire dune fonction holomorphe sur D. De plus, si z = ei avec 0 r < 1 et ]0, 2[, on a :
1 + ei
ei/2 + ei/2
1+z
=
=
1z
1 ei
ei/2 ei/2
2 cos(/2)
=
= icotan(/2).
2i sin(/2)

124
Par consequent, pour tout z T \ 1, on a

1+z 2
1z
R et donc u(z) = 0. En 1 la limite

1+r 2
est
radiale de u est egale à la limite quand r 1 de la partie imaginaire de 1r
identiquement nulle. Ainsi les limites radiales de u sont identiquement nulles.
2. Supposons
Z 2 quil existe mesure reelle (nie) sur T telle que u = P (). Soit (u) :=
sup
|u(reit )|dt. Si u = P (), daprès le Theorème 2.2.1, (u) < . Nous allons
0r<1
calculer (u) et en montrant que (u) nest pas ni nous aurons montre que u = P ()
est absurde.
Si z = rei avec 0 r < 1, on a :
1+z
1 + rei
=
1z
1 rei
1 r 2 + 2ir sin
=
.
1 + r 2 2r cos
4r(1 r 2 ) sin
i
, ce qui implique
Ainsi, on obtient u(re ) =
(1 + r 2 2r cos )2
|u(rei )| =
Par consequent,
Z 2
Z
i
|u(re )|d =
0
4r(1 r 2 )| sin |
.
(1 + r 2 2r cos )2
4r(1 r 2 ) sin
d
(1 + r 2 2r cos )2
4r(1 r 2 ) sin
d.
(1 + r 2 2r cos )2
(1r 2 )2r sin
et Pr () = (12r cos +r2 )2 . Ainsi on obtient :

Rappelons que Pr () = 12r1r
cos +r 2
Z 2
Z
Z 2
i
|u(re )|d = 2
Pr ()d + 2
Pr ()d
0
= 2(Pr () + Pr (0) + Pr (2) Pr ()).
1r
1+r
et Pr () = 1+r
, on obtient :
Comme Pr (0) = Pr (2) = 1r

Z 2
1+r 1r
r
i
|u(re )|d = 4
= 16
.
1r 1+r
1 r2
0
r
= +.
Par consequent (u) = sup
2
0r<1 1 r
Si lon suppose que u est la dierence de deux fonctions harmoniques positives sur
D, daprès le Corollaire 2.2.1, il existe deux mesures positives nies 1 et 2 telles

que u = P (1) P (2) = P (1 2 ). On a donc u = P () avec = 1 2 mesure
reelle (nie). Daprès ce qui precède ceci est absurde.
125

Comme m, il existe un borelien A de R tel que m(A) = 0 et (E) = (E A) pour

tout borelien E de R. Pour 0 < < , soit E := {x A : D()(x) < }. Comme D()
est une fonction borelienne (cf. Lemme 2.3.1) et comme E = D()1 (] , [) A, E
est un borelien de R. Nous allons montrer que (E ) = 0, ce qui permettra de conclure.
Comme est une mesure positive reelle, est regulière. Ainsi pour montrer que (E ) = 0
il sut de montrer que (K) = 0 pour tout compact K E . Fixons > 0 et K un
compact inclus dans E . Comme K A, m(K) = 0 et K est inclus dans un ouvert V de
R avec m(V ) < . Comme K E , tout x K est dans un intervalle ouvert Ix V tel
que (Ix ) < m(Ix ). Comme K est compact, il existe un nombre ni de points x1 , , xn
de K tels que K 1in Ixi . Si un point de R est situe dans trois intervalles, lun deux est
inclus dans la reunion des deux autres et peut-etre supprime sans que la reunion change.
En supprimant de cette manière les intervalles superus de la forme Ixi (1 i n) on
montre quil existe des intervalles I1 , , Ik choisis parmi les intervalles Ix1 , , Ixn avec
K 1ik Ii et tel que aucun point de K nest contenu que plus de 2 intervalles de la
forme Ii , 1 i k. On obtient alors :
(K) (1ik Ii )
k
X
(Ii) <
i=1
k
X
m(Ii )
i=1
2m(1ik Ii ) 2m(V ) < 2.

Comme etait arbitraire, (K) = 0.
Daprès la Proposition 2.3.1 si u = P () alors lim inf r1 u(rei ) D()() pour tout
R. Si lon suppose que limr1 u(rei ) existe pour tout R, on aura alors D()()
nie pour tout R. Or nous avons vu dans lExercice 2.4.2 que, comme m, on a
D()() = -presque partout. Comme est non identiquement nulle, son support A
est non vide et lon obtient ainsi une contradiction.

126

Daprès le Corollaire 2.3.3, il existe une mesure positive, m telle que u = P (u)+P ()
avec u L1 (T), u (eit ) = limr1 u(reit ) m-presque partout. Comme par hypothèse
u (eit ) = 0 m-presque partout, on a donc P (u) = 0. On a donc u = P () o`
u m et
mesure positive nie. Daprès la Proposition 2.3.1 lim inf r1 u(rei ) D()() pour tout
R. Par consequent pour tout ]0, 2[, on a D()() 0. Or daprès lExercice 2.4.2,
comme m, D()() = -presque partout. Comme u et donc est non identiquement
nul, necessairement le support de est reduit au point 1. Posons alors c = ({1}). On a
donc = c 1 o`
u 1 est la mesure de Dirac concentree au point 1. Finalement on obtient
Z
1
c
c
i
i
u(re ) = P (c 1 )(re ) =
Pr ( t)c d0 (eit ) =
Pr () = cPr () avec c =
.
2
2
2
Daprès le Corollaire 2.2.1, nous avons
:= {P () : mesure positive nie sur R avec de plus P ()(0) = 1}.
Or P ()(0) =
1
2
P0 ( t)d(t) =
1
([, ])
2
kk
.
2
On a donc
:= {P () : mesure positive nie sur R, kk = 2}.
Par une homothetie evidente de rapport
1
,
2
le problème revient à chercher les points
extremaux de lensemble C des mesures positives nies sur T de variation totale 1.

(0, 1] et soient u1 , u2 deux fonctions harmoniques positives telles u1 (0) = 1 = u2 (0).
Il est clair que u1 + (1 )u2 est bien un element de C. Ainsi C est bien un ensemble
convexe.
Nous allons montrer à present que les points extremaux de C sont des mesures de Dirac
concentrees en un point de T. Soit z0 T et soit z0 la mesure de Dirac concentree en z0 .
Nous allons tout dabord montrer que z0 est bien un point extremal de C. Soit ]0, 1[ et
soit , C tels que z0 = + (1 ). En particulier on a :
1 = z0 ({z0 }) = ({z0 }) + (1 )({z0 }).
127
Il est clair que si ({z0 }) < 1 ou si ({z0 }) < 1 alors legalite ci-dessus nest pas veriee.
Finalement on a ({z0 }) = 1 = ({z0 }), ce qui implique (puisque et sont des mesures
positives de variation totale 1) (T\{z0}) = 0 = (T\{z0 }). Soit E un borelien quelconque
de T. Si z0 6 E, comme (E) (T \ {z0 }), on a donc (E) = 0. Par contre si z0 E,
comme 1 (E) ({z0 }) = 1, on a donc (E) = 1. On a donc montre que = z0 . De
meme on montre que = z0 . On conclut alors que z0 est bien un point extremal de C.
Supposons à present que 6= z0 pour tout z0 T et montrons que nest pas un
point extremal de C. Il est clair que si le support de (deni comme le complementaire
du plus grand ouvert V tel que (V ) = 0) est reduit à un point z0 alors est de la
forme 6= z0 . On peut donc supposer que le support de contient au moins deux points
distincts z1 = ei1 et z2 = ei2 avec 0 1 < 2 < 2. Soit A = {ei : 0
B = {ei :
1 +2
2
1 +2
}
2
et
< < 2}. Les boreliens A et B forment une partition de T. Si (A) = 0
alors A nest pas dans le support de et donc z1 A nest pas dans le support de , ce
qui est absurde. De meme, si (A) = 1 alors (B) = 0 et donc le support de est inclus
dans A, ce qui implique que z2 nest pas dans le support de . Là encore on obtient une
contradiction. Finalement (A) = ]0, 1[ et (B) = 1 . Si lon denit 1 et 2 par
1 (E) =
(EA)
et 2 (E) =
(EB)
1
pour tout borelien E de T, on obtient 1 , 2 C avec
= 1 + (1 )2 . Les mesures 1 et 2 sont distinctes nayant pas le meme support.

Ainsi nest pas un point extremal de C.
7.3
7.3.1
Rappels sur les produits infinis de nombres complexes
D
efinition 7.3.1 (Notion de convergence au sens strict) On suppose que pour tout
Y
k 1 , uk C \ {0}. On dit que le produit infini des un , note
un , converge strictement
n1
vers p C si lim pn = p avec p C \ {0} et pn =

n
n
Y
uk .
k=1
D
efinition 7.3.2 (Notion de convergence au sens large) Soit (un )n1 une suite de
nombres complexes telle quil existe n0 1 tel que un 6= 0 si n n0 . Si le produit infini

128
Y
un converge strictement vers p1 C , on dira que que le produit infini
un converge
n1
nn0
au sens large vers p avec p = u0 u1 un0 1 p1 .

1. Soit pn =
pn+1
pn
n
Y
pn+1
= 1. De plus, comme
n pn
uk . Comme lim pn = p C , on a lim

n
k=1
= un+1 , on obtient lim un = 1.

n
Y
2. Supposons que
un converge au sens large. Il existe donc n0 1 tel que un 6= 0 si
n1
n n0 et tel que
un converge au sens strict vers p C \ {0}. Pour n n0 on
nn0
denit le produit pn par pn =
n
Y
uk de sorte que limn pn = p avec |p| > 0. Alors
kn0
il existe > 0 tel que |pn | pour tout n n0 . Fixons > 0. Daprès le critère de
Cauchy, il existe n n0 tel
que si q > p n on ait |Pq Pp | < . Par consequent,
Pq

si q > p n on a 1 <
= , i.e., |uq uq1 up+1 1| < .
Pp
Reciproquement, supposons que pour tout > 0, il existe n N tel que si q > p n ,
alors |up+1 uq 1| < . Fixons ]0, 21 ] et posons qn = un +1 un pour n n +1.

1
2
< |qn | < 23 . Pour m > p n + 1 on a :

qm
3
3
|qm qp | = |qp |
1 |um up+1 1| < .
qp
2
2
On a donc |qn 1| < et ainsi
La suite (qn )nn +1 est donc de Cauchy dans C (complet). Elle converge donc vers
Q
q C \ {0} car |qn | 12 . Par consequent le produit inni n1 un (= u1 un qn )
converge au sens large.

1. Par construction f Hol(D). Il reste donc à verier que
Z
sup
log+ |f (reit )|dt < .
0r<1
On remarque que si z = rei avec r [0, 1[, R, on a f (z) = B(z)g(z) avec

Z
Z
1
1
it
Pr ( t)(e )dt
Pr ( t)d(t)
e 2
= eP ()(z) ,
|g(z)| = e 2
129
avec d(t) = (eit )dt + d(t). Comme L1 (T), fonction à valeurs reelles, et
comme est une mesure reelle de M(T), on a M(T), mesure reelle. On a
donc log |g(z)| = P ()(z) o`
u mesure reelle de M(T). Daprès le Theorème 2.2.1,
R
sup0r<1 | log |g(reit )||dt < . Comme log+ |g(reit )| | log |g(reit)||, on a donc
R
sup0r<1 log+ |g(reit)|dt < . Enn, sachant que log+ (ab) log+ (a) + log+ (b)
pour a, b > 0, on obtient log+ |f (reit )| log+ |g(reit)| + log+ |B(reit )| = log+ |g(reit)|
R
car |B(reit )| < 1. Ainsi sup0r<1 log+ |f (reit )|dt < et donc f N .
2. Le Theorème 3.4.1 nous donne lexistence dune telle decomposition pour tout fonction f N avec = log |f | et f (eit ) = limr1 f (reit ) qui existe m presque
partout. Supposons à present quil existe deux produits de Blaschke B1 et B2 , deux
fonctions 1 , 2 de L1 (T) et deux mesures reelles 1 et 2 de M(T) singulières par

rapport à m veriant f (z) = B1 (z)g1 (z) = B2 (z)g2 (z) avec
Z it
Z it
e +z
e +z
1
1
it
(e
)dt
dj (t)
j
it z
it z
2
e
2
e
e
,
g (z) = e
j
1 j 2.
Comme g1 et g2 ne sannulent pas sur D, il est clair que les suites des zeros de B1 et
B2 coincident avec la suite des zeros de f . Un produit de Blaschke etant uniquement
determine (à une constante unimodulaire près) par la suite de ses zeros, il existe donc
c C, |c| = 1 avec B1 (z) = cB2 (z). Par consequent les fonctions holomorphes
f
B2
f
B1
et
sont de meme module, i.e., |g1 (z)| = |g2 (z)| pour tout z D. On a donc
log |g1 (z)| = P (1 )(z) = P (2 )(z) = log |g2 (z)|,
o`
u, pour 1 j 2, j mesure reelle de M(T) denie par avec dj (t) = j (eit )dt +
dj (t). Lapplication P () etant injective (daprès le Theorème 2.2.1), 1 = 2
et daprès lunicite de la decomposition de Radon-Nikodym de toute mesure M,
on donc 1 = 2 et 1 = 2 . Finalement g1 = g2 sur D et donc c = 1.
130
Daprès le Theorème 3.4.1, il existe une mesure f reelle de M(T) avec f m et un

produit de Blaschke B tels que
Z it
Z it
1
e +z
e +z
1
it
log |f (e )|dt
df (t)
it
it z
2
e
z
2
e
e
.
f (z) = B(z)e
Par consequent, on obtient
Z it
Z it
1
e +z
1
e +z
+
it
it
(log |f (e )| log |f (e )|)dt
d(f f+ )(t)
it
it z
2
e
z
2
e
g(z) = B(z)e
e
.
Comme log |f (eit )| log+ |f (eit )| = log |f (eit )| 0 et comme f f+ = f 0,
on en deduit |g(z)| = |B(z)|eP ()(z) o`
u est une mesure positive de M(T) denie par
d(t) = log |f (eit |dt + df (t). Enn, comme 0 et P () = P (), on a donc
P ()(z) 0 et de ce fait |g(z)| |B(z)| 1. La fonction g, etant holomorphe dans D et
bornee en module sur D par 1, est bien une fonction de H (D).
7.4
1. Supposons f non identiquement nulle. Soit B le produit de Blaschke associe à la suite

des zeros de f dans D. Daprès le Theorème 3.4.1, il existe une mesure reelle (nie)
sur T, m et un reel tels que pour tout z D on ait :
Z it
Z it
e +z
e +z
1
1
it
log
|f
(e
)|dt
d(t)
it z
it z
i
2
e
2
e
f (z) = e B(z)e
e
.
En considerant la decomposition de Jordan de sous la forme = + avec
+ et deux mesure positives nies sur T qui verient de plus + , m (car
m), on a donc
f = B1 Qf
S
,
S+
avec B1 = ei B, S et S+ fonctions interieures singulières associees aux mesures

singulières positives + et (cf. Denition 4.4.2).
131
S1
Q, o`
u Q est exterieure et S1 , S2 interieures singulières,
S2
alors f N . En eet, par construction, f Hol(D) et si z = rei D, on a :
Z
1
Pr ( t)d(t)
|f (z)| = |B(z)|e 2
,
2. Reciproquement, si f = B
avec mesure complexe sur [0, 2] denie par d(t) = log (eit )dt + d(1 2 )(t)
o`
u 0, log L1 (T) et 1 , 2 mesure positive nie singulières par rapport à m.
Comme log+ (ab) log+ a + log+ b et comme log+ |B(z)| = 0 puisque |B(z)| 1 pour
z D, on a donc
log+ |f (z)| log+ e 2
Pr ( t)d(t)
De plus, comme log+ a | log a|, on obtient :

Z
Z

1
1
+

Pr ( t)d(t)
Pr ( t)d||(t).
log |f (z)|
2
2
Finalement,
R 2
0
log+ |f (rei )|d kk < , et donc f N .

1. Daprès le Theorème 4.4.3, si f H p (D) avec p ]0, ], il existe une fonction

interieure Uf telle que f = Uf Qf avec Qf facteur exterieur de f appartient à H p (D)
et deni par
1
Qf (z) = e 2
eit + z
log |f (eit )|dt
eit z
.
Comme |Uf (z)| 1 pour z D, on a donc |f (z)| |Qf (z)|. Or

Z it

Z
e +z
1
1
it
Pr ( t) log |f (eit )|dt
Re
log |f (e )|dt
it z
2
e
2
,
|Qf (z)| = e
=e
si z = rei . On obtient donc linegalite demandee, cette inegalite etant triviale si
f (z) = 0.

132
Z it
1
e +z
log |f (eit )|dt
it z
2
e
2. Si f est exterieure, on a donc f (z) = e

, ce qui implique
R
1
P ( t) log |f (eit )|dt pour tout z = rei D. Reciproquement,
log |f (z)| = 2
r
supposons que f H p (D) pour un certain p ]0, ] et supposons quil existe z0 =

r0 ei0 D tel que
1
log |f (z0 )| =
2
Pr0 (0 t) log |f (eit )|dt.
(7.3)
Comme nous lavons dejà mentionne, le fait que f H p (D), implique que f =
Uf Qf avec Uf fonction interieure et Qf deni comme ci-dessus. Legalite (7.3) signie
|f (z0 )| = |Qf (z0 )|, ce qui implique |Uf (z0 )| = 1. La fonction Uf etant interieure,
daprès le principe du maximum, ceci nest possible que si Uf est constante. Par
consequent f est exterieure.
3. La reciproque est fausse. En eet, soit f N de la forme
Z it
1
e +z
d(2 log |B(0)|0 )(t)
it
f (z) = B(z)Q (z)e 2 e z
,
f
o`
u B(z) est un produit de Blaschke non constant ne sannulant pas en 0, o`
u la mesure
denie par 2 log |B(0)|0 est une mesure positive nie singulière par rapport à la
mesure de Lebesgue et avec Qf facteur exterieur de f . Daprès le Theorème 3.2.1 ou
encore daprès lExercice 4.6.1, il est facile de voir que f N . Par construction, on
verie aussi aisement que
1
log |f (0)| =
2
log |f (eit )|dt.
Dautre part, il est aussi très clair que f nest pas exterieure puisquelle sannule sur
D.
Z 2
1
1
d(t). Pour z = rei D, on remarque que
Pour z D, posons F (z) =
2 0 1 zeit
X
1
=
r n ein(t) .
it
1 ze
n0
133

Comme
nZ
r n ein(t) converge normalement, donc uniformement par rapport à t dès que
r < 1, si z = rei , on obtient :

X
X 1 Z 2
r n ein(t) d(t) =
(n)z n .
F (z) =
2
0
n0
n0
La fonction F est holomorphe sur D. Lhypothèse faite sur nous permet darmer que
X 1 Z 2
F (z) =
r n ein(t) d(t).
2
0
nZ
Toujours par convergence normale, donc uniforme en t de la serie
avons nalement :
1
F (z) =
2
n in(t)
r e
nZ
1
d(t) =
2
nZ
r n ein(t) , nous
Pr ( t)d(t) = P (d)(z).
De plus,
Z
|F (rei )|d =
=
=
Z 2

1

d
P
(
t)d(t)
r
2

0
0

Z 2 Z 2
1
Pr ( t)d||(t) d
2 0
0

Z 2 Z 2
1
Pr ( t)d d||(t)
2 0
0
kk < .
Z
On a donc F H 1 (D) avec kF k1 kk. Daprès le Theorème 4.5.3, nous savons que
F est lintegrale de Poisson de sa limite radiale F L1 (T). Daprès le Theorème 2.2.1,
lapplication denie sur lensemble des mesures complexes sur [0, 2] par 7 P (d) est
injective. Ainsi d(t) = F (eit )dt, et ainsi m.
7.5
1. Soient = (n )n0 et = (n )n0 deux elements arbitraires de 2 . Loperateur T

est deni par la formule
< T (), >=< , T () > .

134
Comme
< T (), >=< (n1 )n0 , >=
n1 n =
n1 n =
n1
n0
k k+1 ,
k0
on en deduit T ((n )n0 ) = (n+1 )n0 . En dautres termes,

T (0 , 1 , 2 , ) = (1 , 2 , 3 , ).
Loperateur T est aussi appele le shift à gauche sur 2 .
P
Soient f et g deux fonctions de H 2 (D) arbitraires et de la forme f (z) = n0 an z n ,
P
g(z) = n0 bn z n avec a = (an )n0 et b = (bn )n0 dans 2 . Loperateur S est deni
par la formule
< S(f ), g >=< f, S (g) > .

P
P
Comme S(f )(z) = n0 an z n+1 , on obtient < S(f ), g >= n0 an bn+1 . On en deduit
P
alors S (g)(z) = n0 bn+1 z n . Par consequent
g(z)g(0)
z 6= 0
z
S (g)(z) =
g (0)
z = 0.
P
2. Soit f H 2 (D) de la forme f (z) = n0 an z n avec a = (an )n0 2 . Pour C on
a les equivalences suivantes :
S f = f z D,
an+1 z n =
n0
an n
n0
an+1 = an , n 0
ak = k a0 , k 1
X
f (z) = a0 + a0
k z k .
k1
Il est à present clair que lon peut trouver f H 2 (D) \ {0} telle que S f = f si et
P
seulement si || < 1. En eet, pour D, posons f (z) = 1 + n0 n z n . Alors f
est un vecteur propre associe à la valeur propre f . On a donc p (S ) = D. Comme
p (S ) (S ) et comme (S ) est ferme dans C, D (S ). Dautre part, comme

sup{|| : (S )} kS k = kSk = 1, necessairement (S ) D. Par consequent
on a (S ) = D.
135
3. Soit M Lat(S) et soient x M, y M . On remarque que

< S (y), x >=< y, S(x) >= 0
car y M et S(x) M puisque x M et M Lat(S). Par consequent S (M )
M .
4. Comme M est un sous-espace vectoriel ferme de H 2 (D), (M ) = M. Etant donne
que (S ) = S, daprès 3., M Lat(S ) implique que M Lat(S). Finalement
Lat(S ) = {M : M Lat(S)}. Daprès le theorème de Beurling, on a donc
Lat(S ) = {(H 2 (D)) : fonction interieure}.
1. Comme f est de la forme f = Uf Qf avec Qf fonction exterieure de H 2 (D), il est clair
que f Uf H 2 (D). Daprès le Lemme 5.3.1, Uf H 2 (D) Lat(S). Etant donne que
Y est le plus petit element de Lat(S) contenant f , necessairement Y Uf H 2 (D).
Il reste à verier que Uf H 2 (D) Y . Daprès le Theorème de Beurling, il existe une
fonction interieure telle que Y = H 2 (D). Puisque f Y , il existe donc une
fonction h H 2 (D) de la forme h = Uh Qh avec Uh interieure et Qh exterieure telle
que Uf Qf = Uh Qh . Par unicite de la decomposition dune fonction de H 2 (D) en
facteurs exterieur et interieur, on obtient Uf = Uh . Comme Uh H (D) H 2 (D),
Uf Y = H 2 (D). Nous allons reprendre le raisonnement vu dans la preuve du
theorème de Beurling. Comme Uf Y et Y Lat(S), S n (Uf ) = n Uf M pour
tout n N. Comme Y est un sous-espace vectoriel de H 2 (D), P ()Uf M pour tout
polynome P C[X]. Soit g H 2 (D). Daprès le Theorème 4.4.2, il existe une suite
P
P
(an )n0 de C telle que n0 |an |2 < et g(z) = n0 an z n si z D. Pour k N,
P
P
posons Pk (z) = kn=0 an z n . On a donc kg Pk ()k22 = nk+1 |an |2 , ce qui implique
P
limk kg Pk ()k2 = 0 puisque n0 |an |2 < . Comme Uf est interieure,
kUf gPk ()kH 2 (D) = kUf (g Pk () )kL2 (T) = kg Pk () kL2 (T) = kgPk ()kH 2 (D) .
136
Par consequent limk kUf f Uf Pk ()k2 = 0 avec Pk () M pour tout entier k.
Comme M est ferme dans H 2 (D), Uf g Y pour tout g H 2 (D). On a donc montre
que Uf H 2 (D) Y , ce qui implique Y = Uf H 2(D).
2. Par unicite (à une constante unimodulaire près) de la representation dun element de
Lat(S) sous la forme H 2 (D) avec interieure (cf. Lemme 5.3.2), on peut armer
que Y = H 2 (D) si et seulement si Uf = c avec c T. En dautres termes, Y = H 2 (D)
si et seulement si le facteur interieur de f est constant, ce qui signie aussi que la
fonction f est exterieure.
Bibliographie
[1] B. Beauzamy. Proprietes spectrales dun operateur sans sous-espace invariant. J.
Operator Theory, 16 :349353, 1986.
[2] H. Bercovici, C. Foias, and C. Pearcy. Two Banach space methods and dual operator
algebras. J. Funct. Anal., 78 :306345, 1988.
[3] A. Beurling. On two problems concerning linear transformations in Hilbert space.
Acta Math., 81 :239255, 1949.
[4] S. Brown. Some invariant subspaces for subnormal operators. Integral Equations and
Operator Theory, 1 :310333, 1978.
[5] S. Brown, B. Chevreau, and C. Pearcy. On the structure of contraction operators. II.
J. Funct. Anal., 76 :3055, 1988.
[6] I. Chalendar and J. Esterle. Le problème du sous-espace invariant. In Development
of mathematics 1950-2000, pages 235267. Birkha
user, Basel, 2000.
[7] P. Dolbeault. Analyse complexe. Masson, 1990.
[8] R. G. Douglas. Banach algebra techniques in operator theory. Springer-Verlag, 1998.
2nd edition.
[9] P. L. Duren. Theory of H p spaces. Dover Publications, INC., Mineloa, New-York,
2000.
[10] P. Eno. On the invariant subspace problem in Banach spaces. In Espaces Lp , applications radonifiantes et geometrie des espaces de Banach, Seminaire Maurey-Schwartz
(1975 1976). 1976.
137
138
BIBLIOGRAPHIE
[11] P. Eno. On the invariant subspace problem in Banach spaces. Acta Math., 158 :213
313, 1987.
[12] J. B. Garnett. Bounded analytic functions. Academic Press, New-York, 1981.
[13] V. I. Lomonosov. Invariant subspaces for operators commuting with compact operators. Funct. Anal. Appl., 7 :213214, 1973.
[14] N. K. Nikolski. Operators, functions, and systems : an easy reading. Vol. 1, volume 92 of Mathematical Surveys and Monographs. American Mathematical Society,
Providence, RI, 2002. Hardy, Hankel, and Toeplitz, Translated from the French by
Andreas Hartmann.
[15] J. F. Pabion. Elements danalyse complexe. Ellipses, 1995.
[16] J. R. Partington. Interpolation, identification and sampling. Oxford University Press
(Clarendon Press), 1997. London Mathematical Society Monographs vol. 17.
[17] C. Read. A solution to the invariant subspace problem. Bull. London Math. Soc.,
16 :337401, 1984.
[18] C. Read. A solution to the invariant subspace problem on the space 1 . Bull. London
Math. Soc., 17 :305317, 1985.
[19] C. Read. A short proof concerning the invariant subspace problem. J. London Math.
Soc., 34(2) :335348, 1986.
[20] C. Read. The invariant subspace problem for a class of Banach spaces. II. Hypercyclic
operators. Israel J. Math., 63(1) :140, 1988.
[21] C. Read. The invariant subspace problem on some Banach spaces with separable dual.
Proc. London Math. Soc., 58(3) :583607, 1989.
[22] W. Rudin. Analyse reelle et complexe. Masson, 1991.
[23] L. Schwartz. Analyse I : theorie des ensembles et topologie, volume 42. Hermann,
1991.
[24] L. Schwartz. Analyse III : Calcul integral, volume 44. Hermann, 1993.
[25] A. Yger. Analyse complexe et distributions. Ellipses, 2001.
A. Beurling (1905-1986) Suedois.
G. H. Hardy (1877-1947) Anglais.
O. Holder (1859-1937) Allemand.
J. Jensen (1859-1925) Danois.
R. Nevanlinna (1895-1980) Finlandais.
S. Poisson (1781-1840) Francais.

Complet M2R Hardy PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Complet M2R Hardy PDF

Enviado por

Direitos autorais:

Formatos disponíveis

LYON I

COURS DE MASTER, 2i`eme annee (MATHEMATIQUES

Table des mati`

Rappels : theor`eme de Poincare et theor`eme de Fejer . . . . . . . . . . . .

Denition et proprietes des fonctions harmoniques . . . . . . . . . . . . . .

Rappels : theor`eme dHahn-Banach et mesures complexes . . . . . . . . . .

Consequence de la theorie dHahn-Banach . . . . . . . . . . . . . .

Mesures complexes sur T et fonctions harmoniques . . . . . . . . . . . . .

Limites radiales des fonctions harmoniques sur D . . . . . . . . . . . . . .

Rappels de theorie de la mesure sur R . . . . . . . . . . . . . . . .

Derivees superieures et inferieures dune mesure `a valeurs reelles et

Limite radiale de lintegrale de Poisson par rapport `a M(T) . .

Applications : description de certaines fonctions harmoniques . . . .

Primitive de fonction holomorphe . . . . . . . . . . . . . . . . . . .

Fonctions log+ et log . . . . . . . . . . . . . . . . . . . . . . . . .

Decomposition de Jordan dune mesure reelle . . . . . . . . . . . .

Denition de N , fonctions de N sans zero . . . . . . . . . . . . . . . . . .

La formule de Jensen et ses consequences . . . . . . . . . . . . . . . . . . .

Description des fonctions de N

4 Les espaces de Hardy H p (D), 0 < p

Inegalite de Holder et Minkowski . . . . . . . . . . . . . . . . . . .

Denitions des espaces de Hardy et premi`eres proprietes . . . . . . . . . .

Les fonctions interieures . . . . . . . . . . . . . . . . . . . . . . . .

Les fonctions exterieures . . . . . . . . . . . . . . . . . . . . . . . .

Facteurs exterieures des fonctions de H p (D), 0 < p

Lespace de Hardy H 2 (D) . . . . . . . . . . . . . . . . . . . . . . .

Factorisations des fonctions de H p (D), 0 < p . . . . . . . . . .

Resultats fondamentaux sur les fonctions de H p , 0 < p . . . . . . . .

Limites radiales des fonctions de H p (D), 0 < p . . . . . . . . .

Resultat de representation des fonctions de H p (D) pour p [1, ] .

Identication entre H p (D) et H p (T) pour 1 p . . . . . . . .

Introduction : le probl`eme du sous-espace invariant . . . . . . . . . . . . .

Le probl`eme du sous-espace invariant . . . . . . . . . . . . . . . . .

Le shift sur 2 et H 2 (D) : denition et proprietes spectrales . . . . . . . . .

Le shift sur H 2 (D) . . . . . . . . . . . . . . . . . . . . . . . . . . .

Description de tous les sous-espaces invariants du shift sur H 2 (D) . . . . .

Operateurs de Laurent et operators de Toeplitz . . . . . . . . . . . . . . . 101

Operateurs de Hankel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107

Exercices du Chapitre I . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115

Exercices du Chapitre 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122

Rappels de topologie et regularite des mesures de Borel . . . . . . . 122

Exercices du Chapitre 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127

Rappels sur les produits innis de nombres complexes . . . . . . . . 127

Exercices du Chapitre 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130

Exercices du Chapitre 5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133

Soit w = f dx + gdy une 1-forme dierentielle de classe C 1 (i.e. f et g sont de classe

On dit que w est ferm

Rappelons que le produit exterieur est anticommutatif, ce qui implique dx dy =

CHAPITRE 1. FONCTIONS HARMONIQUES

Pour f continue sur T et pour tout n Z, on denit le n-i`eme coefficient de Fourier

Fourier de f est Sm (f )(e ) =

f(n)eint . Le theor`eme suivant, que nous admettrons,

Remarque 1.2.1 Pour toute fonction f de classe C 2 sur un ouvert de C, on a :

puisque f est par hypoth`ese de classe C 2 . Via un calcul analogue, on

Proposition 1.2.1 Toute fonction holomorphe ou anti-holomorphe sur un ouvert est

Ainsi f est elle-aussi de classe C 2 et f

Remarque 1.2.2 Soit un ouvert de C. Une fonction f : C est harmonique si et

CHAPITRE 1. FONCTIONS HARMONIQUES

Corollaire 1.2.1 Soit un ouvert de C. Si une fonction f : C est holomorphe, alors

holomorphe sur . Dapr`es les

Considerons la 1-forme dierentielle w de classe C 1 denie par w = f

La fonction : C denie par = f + ig est donc

holomorphe sur et par construction f = Re().