Vous êtes sur la page 1sur 140

LYON I

UNIVERSITE

COURS DE MASTER, 2i`eme 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`eme de Poincare et theor`eme de Fejer . . . . . . . . . . . .

1.1.1

Le theor`eme de Poincare . . . . . . . . . . . . . . . . . . . . . . . .

1.1.2

Le theor`eme 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`eme 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 `a valeurs reelles et

2.4

denie sur R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

35

2.3.3

Limite radiale de lintegrale de Poisson par rapport `a 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`eres proprietes . . . . . . . . . .

68

4.4

Theor`emes 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`eme du sous-espace invariant . . . . . . . . . . . . .

89

5.1.1

Notations et rappels . . . . . . . . . . . . . . . . . . . . . . . . . .

89

5.1.2

Le probl`eme 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

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


7.3.1

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

7.4

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

7.5

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

`
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 `a 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 `a ).
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`eme 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`eme 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`ese 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

CHAPITRE 1. FONCTIONS HARMONIQUES

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 `a 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`es 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`es le theor`eme 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`ese 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
DES FONCTIONS HARMONIQUES
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 `a 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`es 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`ere condition.

On obtient ainsi la caracterisation suivante des fonctions harmoniques `a 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 `a valeurs complexes ont la propriete suivante.

12

CHAPITRE 1. FONCTIONS HARMONIQUES

Corollaire 1.2.3 Soit f une fonction continue sur D(a, r) (a C et r > 0), harmonique
sur D(a, r) et `a 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`es le
Theor`eme 1.2.1, il existe holomorphe sur D(a, ) telle que f1 = Re() sur D(a, ).
Dapr`es 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`ese 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
DES FONCTIONS HARMONIQUES
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 `a present
f (x + iy)dxdy. En posant x + iy = sei (ce qui donne
2
r
D(a,r)
dxdy = sdsd) et grace `a 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 `a 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`es 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

CHAPITRE 1. FONCTIONS HARMONIQUES

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`es 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`es 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 `a 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`es ce qui prec`ede, 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 `a la fois ouvert et ferme de qui est connexe, on
obtient S = . La fonction f est donc localement constante sur . Comme par hypoth`ese
f (de classe C 2 ) est continue, f est donc constante sur .

Nous terminerons cette section avec un dernier corollaire.


ES
DES FONCTIONS HARMONIQUES
1.2. DEFINITION
ET PROPRIET

15

Corollaire 1.2.5 Soit K un compact non vide de C et soit f une fonction (`a 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`ere 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 `a 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 `a la
fois ouvertes et fermees (cf. Chap. II, 9, Theor`eme 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`es 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

CHAPITRE 1. FONCTIONS HARMONIQUES

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`eme 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`ere 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`eme 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`eme 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 `a partir de mesures complexes sur T.

18

CHAPITRE 1. FONCTIONS HARMONIQUES

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`es le Corollaire 1.2.1, P () est harmonique

sur D. Ceci termine la preuve de la proposition.



Le theor`eme 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`eme de Dirichlet.

Soient g1 et g2 deux solutions du probl`eme de Dirichlet. Dapr`es 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

1.3. FORMULE DE POISSON

puisque g1 (z) = f (z) = g2 (z) sur T. Ceci termine la preuve de lunicite de la solution du
probl`eme de Dirichlet.
Montrons `a present lexistence dune solution au probl`eme de
 Dirichlet. Dapr`es 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 `a 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 `a 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`es 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`ere 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

CHAPITRE 1. FONCTIONS HARMONIQUES

solution au probl`eme 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`es
la Proposition 1.2.1). La deuxi`
eme
etape consiste `a montrer que P (ep ) est z 7 z p si
p 0 et est egale `a 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 `a present conclure la preuve du theor`eme 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`es la deuxi`eme etape, P (p) est continue sur D pour tout polynome trigonometrique p. Dapr`es le Theor`eme de Fejer, il existe une suite de polynomes trigonometriques (pm )m1 telle que lim kf pm k = 0. Il nous reste `a 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`es (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

1.3. FORMULE DE POISSON

Ainsi P (f ) est bien continue sur T comme limite uniforme dune suite de fonctions continues
sur T. Ceci termine la preuve du theor`eme.

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`eme 1.2.1 de facon constructive.
Si lon souhaite trouver une solution au probl`eme 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`eme 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`es le Theor`eme 1.3.1, il existe
une fonction g1 harmonique sur D, continue sur D et telle que la restriction de g1 `a 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`eses 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

CHAPITRE 1. FONCTIONS HARMONIQUES


Dapr`es 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`eme 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 `a 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 `a valeurs reelles. Soit R > 0 tel que D(a, R) . Dapr`es 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`ere 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

1.3. FORMULE DE POISSON

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`es 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 `a 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

CHAPITRE 1. FONCTIONS HARMONIQUES

1.4

Exercices

Exercice 1.4.1
1. Soient u et v deux fonctions harmoniques `a 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
`a 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`ese 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 `a 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 `a 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`es que D(a, r) .

ZZ

u(x, y)dxdy,
D(a,r)

26

CHAPITRE 1. FONCTIONS HARMONIQUES

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`es 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

DES FONCTIONS HARMONIQUES


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 `a 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 `a 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 `a 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`eme 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`es la Proposition 1.3.2, si est une mesure complexe sur T alors P () est une fonction
harmonique dans D. Il reste `a 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`es le theor`eme 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

DES FONCTIONS HARMONIQUES


CHAPITRE 2. THEORIE
AVANCEE

et ainsi P () S.
R
R 2
Verions que T g d = lims1 0 P ()(seit )g(eit )dt.

Dapr`es le Theor`eme 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`eme 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`es le Theor`eme 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`es (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 `a 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`es le Theor`eme 2.1.1, il sut de montrer que si E alors = 0.
Dapr`es le Theor`eme 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`es le Theor`eme 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 `a 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`es (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

DES FONCTIONS HARMONIQUES


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`ere de Cauchy, est convergente. Appelons L sa limite
qui, dapr`es (2.3), verie kLk (f ). Puisque L (C(T)) , dapr`es le Theor`eme 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`a verier que P () = f .


Dapr`es 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`eme 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`es 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`es le Theor`eme 2.2.1, il existe M(T) telle que f = P ().
Dans la preuve du Theor`eme 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`es le Theor`eme 2.1.2, est
une mesure positive nie.

2.3

Limites radiales des fonctions harmoniques sur D

Nous allons montrer `a 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`eres `a 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


DES FONCTIONS HARMONIQUES
CHAPITRE 2. THEORIE
AVANCEE

34

t0 (E) = 0 si t0 6 E et t0 (E) = 1 si t0 E.
2. On enum`ere (rn )n1 la suite denombrable des rationnels de R et on consid`ere 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`ese (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 `a 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

2.3. LIMITES RADIALES DES FONCTIONS HARMONIQUES SUR D

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

DES FONCTIONS HARMONIQUES


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 `a 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

2.3. LIMITES RADIALES DES FONCTIONS HARMONIQUES SUR D

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 `a 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 `a 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 `a 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 `a 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 `a
, on a donc 1ip Li K . Les intervalles Li , 1 i p, etant deux `a deux disjoints on
a donc :
(K )

1ip

(Li )

38

DES FONCTIONS HARMONIQUES


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`es (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`es 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.


2.3. LIMITES RADIALES DES FONCTIONS HARMONIQUES SUR D

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 `a 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`es 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

DES FONCTIONS HARMONIQUES


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 `a la mesure () qui reste absolument
continue par rapport `a 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 `a 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 `a m si m.

La combinaison du Theor`eme de Radon-Nikodym (Theor`eme 2.3.1) avec les Corollaire 2.3.1 et Corollaire 2.3.2 nous donne le theor`eme 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

2.3. LIMITES RADIALES DES FONCTIONS HARMONIQUES SUR D

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`eme 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) `a valeurs reelles. Lintegrale de Poisson par rapport
`a 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`es 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 `a present
Pr ( t)d(t) =
Pr ( t)d(t).
2 |t|<
2 +
2
On consid`ere 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


DES FONCTIONS HARMONIQUES
CHAPITRE 2. THEORIE
AVANCEE

42

t
+

Fig. 2.1 Domaine dintegration

bornee et comme on lint`egre sur un intervalle borne, dapr`es le Theor`eme 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

2.3. LIMITES RADIALES DES FONCTIONS HARMONIQUES SUR D


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`eme suivant :
Th
eor`
eme 2.3.3 Soit M(T). Pour presque tout t R (par rapport `a 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 `a 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 `a valeurs reelles. En appliquant la Proposi-

tion 2.3.1 `a , 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`es le Theor`eme 2.3.2, D()() = D()() = D()() m-presque partout et de


plus D() coincide avec la derivee de Radon-Nikodym de par rapport `a la mesure de
Lebesgue.. On en deduit immediatement lassertion du theor`eme. Si est une mesure
complexe, on ecrit = 1 + i2 avec 1 et 2 mesures `a 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`eme reste vraie si
est une mesure complexe.



DES FONCTIONS HARMONIQUES
CHAPITRE 2. THEORIE
AVANCEE

44

2.3.4

Applications : description de certaines fonctions harmoniques

En utilisant le Corollaire 2.2.1 et le Theor`eme 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 `a la mesure de Lebesgue).
Plus generalement, dapr`es le Theor`eme 2.2.1 et leZTheor`eme 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 `a 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 `a 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

DES FONCTIONS HARMONIQUES


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`eme 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 `a 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`ede une primitive (holomorphe) dans .


5. Toute fonction holomorphe f sur ne sannulant pas sur poss`ede 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 `a valeurs

3.2. DEFINITION
DE N , FONCTIONS DE N SANS ZERO

49

reelles. Ainsi, quitte `a redenir h sur un ensemble negligeable par rapport `a 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 `a 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`es le Theor`eme 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).

CHAPITRE 3. LA CLASSE DE NEVANLINNA N

50

Par consequent log |f | est harmonique (comme partie reelle dune fonction holomorphe).
Dapr`es 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`es le Theor`eme 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`es 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`es la decomposition de Jordan dune mesure
reelle et dapr`es le Theor`eme 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 `a 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 `a la mesure de Lebesgue) et appartient `a 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`es 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 `a 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 `a 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
.

CHAPITRE 3. LA CLASSE DE NEVANLINNA N

52
Preuve :

Dapr`es le Theor`eme 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`es 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 `a 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`es le Corollaire 2.3.3, (eit ) := limr1 log |h(reit )| existe pour presque tout t [0, 2]
(par rapport `a 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`eme 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`es le Theor`eme 2.3.3,
d(t) = (eit )dt + d(t) avec m et (eit ) = limr1 log |f (reit )| pour presque tout t
(par rapport `a 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`es (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).

CHAPITRE 3. LA CLASSE DE NEVANLINNA N

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`es
le Theor`eme 3.1.1, il existe g holomorphe dans D(0, r + ) telle que f = eg , ce qui implique
log |f | = Re(g). Dapr`es le Corollaire 1.2.3 appliquee `a 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`es ce qui prec`ede on a donc :
Z 2
1
log |g(rei )|d = log |g(0)|,
2 0
cest `a 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 `a 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


3.3. LA FORMULE DE JENSEN ET SES CONSEQUENCES

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`es 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`ere 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`es 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`eme 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

CHAPITRE 3. LA CLASSE DE NEVANLINNA N

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 `a 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`es la formule de Jensen (Theor`eme 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

`a 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.


3.3. LA FORMULE DE JENSEN ET SES CONSEQUENCES

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`es le principe du maximum applique `a 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`es le Lemme 3.2.1, B (eit ) := limr1 B(reit ) existe m-presque partout.

CHAPITRE 3. LA CLASSE DE NEVANLINNA N

58

R
Montrons `a present que limr1 log |B(reit )|dt = 0. Dapr`es 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`es 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`es le crit`ere 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 `a verier que |B (eit )| = 1 m-presque partout. Dapr`es 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 `a 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`es le Theor`eme 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`ebre des fonctions de H (D) continues sur
D.

3.4

Description des fonctions de N

Nous avons `a present tous les elements pour donner une description compl`ete 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 `a 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

CHAPITRE 3. LA CLASSE DE NEVANLINNA N

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 `a 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`es le Theor`eme 3.2.2, g (eit ) :=

limr1 g(reit ) existe m-presque partout avec log |g | L1 (T). Dautre part, dapr`es 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`ere assertion du Theor`eme 3.2.2 nous permet de
conclure la preuve du theor`eme.


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 `a 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) `a 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


`a 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 3. LA CLASSE DE NEVANLINNA N

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 `a 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 `a 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`ere F r() de , on a f (z) U(z) pour tout z .
En pratique, les fonctions continues `a 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`es 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`es 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`erement
contenue dans E (sinon E 6= serait `a 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 `a present > 0 tel que D(z0 , ) et
tels que le cercle z0 , ne soit pas enti`erement 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

CHAPITRE 4. LES ESPACES DE HARDY H P (D), 0 < P

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`eme.


Remarque 4.2.1 Dapr`es le Corollaire 1.2.3, il est clair que toute fonction harmonique
`a 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 `a valeurs
reelles denie par g(z) = |f (z)|p est sous-harmonique.
En eet, dapr`es le Theor`eme 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`es le principe des zeros isoles et
le Theor`eme 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 `a valeurs reelles denie par g(z) = |u(z)|p est sous-harmonique.
En eet, comme u est harmonique dans D, dapr`es 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`es
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`es le Theor`eme 4.2.1 que |u|p est sous-harmonique.

3. Soit f Hol(D). Alors log+ |f | est une fonction continue `a 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 `a 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`es 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


CHAPITRE 4. LES ESPACES DE HARDY H P (D), 0 < P

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`es 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`eme 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`es 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 `a verier pour faire de k kp une norme est de verier

que linegalite triangulaire est satisfaite. Dapr`es linegalite de Minkowski (si 1 p < )
ou dapr`es 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`eme est que k kp ne verie pas linegalite triangulaire.

CHAPITRE 4. LES ESPACES DE HARDY H P (D), 0 < P

70

Fixons `a 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 `a 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`es linegalite de Jensen


appliquee `a 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`es 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 `a 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`es le theor`eme 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),

CHAPITRE 4. LES ESPACES DE HARDY H P (D), 0 < P

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`es le Theor`eme 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`ete 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`es 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`es 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
`a la suite de ses zeros comptes avec multiplicite. Dapr`es le Theor`eme 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`es 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`es 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`es 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.

CHAPITRE 4. LES ESPACES DE HARDY H P (D), 0 < P

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 `a comme dans la Definition 4.4.3.
Alors
1. log |Q| est lintegrale de Poisson de la mesure absolument continue par rapport `a 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`es 1. et en appliquant le Theor`eme 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`es le lemme de
Fatou applique `a 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 (`a laide de la Proposition 4.3.1) kQ kp kQkp . Dapr`es 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`es linegalite de Jensen, Theor`eme 4.1.1 applique `a la fonction convexe x 7 ex et `a


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 `a 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`es le Theor`eme 4.3.1,

H p (D) N et dapr`es le Theor`eme 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`es 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).


CHAPITRE 4. LES ESPACES DE HARDY H P (D), 0 < P

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 `a 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 `a dire des limites radiales de f sur T.
Preuve :

Soit p ]0, ]. Supposons que f H p (D), f non identiquement nulle. Dapr`es

le Theor`eme 4.4.2, log |f | L1 (T). Par suite lintegrale (4.3) est bien denie comme une
fonction exterieure. De plus, comme dapr`es le Theor`eme 4.4.2, f H p (D) implique f
Lp (T), la 3i`eme 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`eme suivant :


P
1. Une fonction f Hol(D) de la forme f (z) = n0 an z n appar
P
P
2 1/2
tient `a 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`eme 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`es le theor`eme de Plancherel-Parseval, on a
1
2

|f (reit )|2 dt =

|an |2 r 2n .

|an |2 .

n0

Par convergence monotone discr`ete, 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 `a 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`es 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`ete,


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`es le Theor`eme 1.3.1, on
a aussi, pour z = rei D,
1
fs (z) =
2

Pr ( t)fs (eit )dt.

CHAPITRE 4. LES ESPACES DE HARDY H P (D), 0 < P

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`es
le Theor`eme 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
`a H 2 (D) dapr`es 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`es le
Theor`eme 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 `a la suite des zeros de f dans D. Dapr`es

le Theor`eme 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`es le Theor`eme 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 `a present clair que limr1 kf fr k1 = 0.
Remarque 4.4.2 Au cours de la demonstration du theor`eme 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 `a 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 , `a savoir la fonction de H p (D)
definie par :
1
Qf (z) = e 2

eit + z
log |f (eit )|dt
eit z
.

CHAPITRE 4. LES ESPACES DE HARDY H P (D), 0 < P

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 `a la suite des zeros de f . Dapr`es le Theor`eme 4.3.3, g :=

H 1(D) avec kgk1 =

kf k1 et |f | = |g |. Pour demontrer le theor`eme, quitte `a remplacer g par f , on peut


supposer que f ne sannule pas sur D. Nous avons dej`a etabli dans le corollaire 4.4.1 que
Qf H 1 (D). La 2i`eme 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 `a 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 `a 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`es le Theor`eme 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`es le Corollaire 4.4.2, limR1 kfR f k1 = 0. Ainsi, limR1 P (log+ |fR |)(rei ) =
P (log+ |f |)(rei ). Dapr`es 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`es 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`es 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`es le Theor`eme 4.3.1, H p (D) H 1 (D), il ny a rien `a faire.
Considerons `a present le cas o`
u p ]0, 1[. Soit f H p (D) et soit B le produit de Blaschke
associe `a la suite des zeros de f . Par construction, g :=

f
B

est holomorphe sur D et

ne sannule pas. Dapr`es le Theor`eme 4.3.3, g H p (D) avec kgkp = kf kp . La fonction

CHAPITRE 4. LES ESPACES DE HARDY H P (D), 0 < P

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`ede donc
une factorisation de la forme f = Bg = Bh1/p avec h H 1 (D) sans zero dans D. Dapr`es
ce qui prec`ede, 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`ere). 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`a 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,
`a savoir, un theor`eme dunicite.
Th
eor`
eme 4.5.1 Soit p ]0, ] et supposons que la fonction f non identiquement nulle
appartienne `a 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`es que (f g )(eit )
sur un sous-ensemble de T de mesure de Lebesgue strictement positive.

Remarque 4.5.1 En fait le Theor`eme 4.5.1 est vrai sous lhypoth`ese 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`es la Proposition 4.4.2, f Lp (T) d`es que f H p (D). Pour cela
nous avons verie que kf kp kf kp . Dautre part, dapr`es le Theor`eme 4.4.3 et la 3i`eme

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`es que f H p (D) avec p ]0, [. Pour demontrer ceci nous allons admettre le lemme
suivant dont la preuve repose sur le Theor`eme dEgoro (cf. Theor`eme 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 .

CHAPITRE 4. LES ESPACES DE HARDY H P (D), 0 < P

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`es le
Theor`eme 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`ebre 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 `a lintegrale de Cauchy et `a 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`es le Theor`eme 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`es le Theor`eme 1.3.1,
Z 2
1
Pr ( t)fR (eit )dt pour z = rei .
fR (z) =
2 0


4.5. RESULTATS
FONDAMENTAUX SUR LES FONCTIONS DE H P , 0 < P 85
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`es 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`es 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`es le Theor`eme 4.5.2, kf kp = kf kp , il


est clair que (f ) Lp (T). Il nous reste `a verier que fb (n) = 0 si n < 0. Comme dapr`es

le Theor`eme 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`es le


Theor`eme de Cauchy, pour 0 < r < 1, on a
Z
f () nd = 0 pour n 0,
r

CHAPITRE 4. LES ESPACES DE HARDY H P (D), 0 < P

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`es
le Theor`eme 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`es le Theor`eme 2.3.3,

f = g m-presque partout. Par consequent kf kp = kgkp < , ce qui implique f H p (D)


dapr`es le Theor`eme 4.5.2. Lapplication est donc surjective, cest donc un isomorphisme
isometrique.


4.5. RESULTATS
FONDAMENTAUX SUR LES FONCTIONS DE H P , 0 < P 87
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.

CHAPITRE 4. LES ESPACES DE HARDY H P (D), 0 < P

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`eres 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`eres 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 `a 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 `a 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`es 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-`a-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 `a deux, tout
operateur T L(X) nest pas transitif. En eet, dans ce cas, T est une matrice nie
`a coecients complexes admettant des valeurs propres. Soit une valeur propre de
T et soit x un vecteur propre associe `a 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 `a 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 `a M. Dautre part, M est
invariant par T et M =
6 X puisque M est separable tandis que X ne lest pas par
hypoth`ese.
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`emes les plus cel`ebres de theorie des operateurs et il est ouvert depuis plus dun

`
5.1. INTRODUCTION : LE PROBLEME
DU SOUS-ESPACE INVARIANT

91

demi-si`ecle. 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`es nombreux theor`emes 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`erement interessant [6]. A titre dexemple, signalons deux resultats
bases sur des techniques tout `a fait dierentes. Le premier utilise un theor`eme ancien
dexistence de point xe (d
u `a Schauder, 1934) et le second est basee entre autre sur un
procede dapproximation (d
u `a S. Brown [4]) qui permet de conclure `a 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`eme du sous-espace invariant, quitte `a 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 `a concevoir son
mode daction (qui peut etre tr`es complique d`es 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

CHAPITRE 5. SOUS-ESPACES INVARIANTS DU SHIFT


Dans la suite nous allons etudier en detail les sous-espaces vectoriels fermes invariants

par un operateur tr`es 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 `a 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
`a T 2 a comme premi`ere 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 `a 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

CHAPITRE 5. SOUS-ESPACES INVARIANTS DU SHIFT

Le shift sur H 2 (D)

5.2.2

Dapr`es le Theor`eme 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 `a 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`es le Lemme 5.2.3, nous obtiendrons une description compl`ete de Lat(T ) si et


seulement si on peut decrire enti`erement 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

CHAPITRE 5. SOUS-ESPACES INVARIANTS DU SHIFT

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`es que est une fonction interieure.

Le resultat suivant nous dit qu`a une constante unimodulaire pr`es 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`es le Theor`eme 4.4.1, il existe c1 , c2 T, B1 et B2 deux produits de
P
Blaschke associes `a 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`eres par rapport `a 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`eres 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`es le Theor`eme 4.4.2, pour z = rei D,
on a :
1
fi (re ) =
2
i

Pr ( t)f (eit )dt.

5.3. DESCRIPTION DE TOUS LES SOUS-ESPACES INVARIANTS DU SHIFT SUR H 2 (D)97


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`es le


S

Theor`eme 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`es 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 `a 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 `a une constante unimodulaire pr`es) tel que M = H 2 (D).
Lunicite `a une constante unimodulaire pr`es 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

CHAPITRE 5. SOUS-ESPACES INVARIANTS DU SHIFT

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 `a 1, u(eit ) = 1 m-presque partout et donc | (eit )| = 1 m-presque partout.
Comme H 2 (D), dapr`es le Theor`eme 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 `a 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`es le Theor`eme 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 `a 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

5.3. DESCRIPTION DE TOUS LES SOUS-ESPACES INVARIANTS DU SHIFT SUR H 2 (D)99


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 `a
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`es le Theor`eme 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`eme de 2
dans H 2 (D).

100

5.4

CHAPITRE 5. SOUS-ESPACES INVARIANTS DU SHIFT

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`ete 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`es 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 `a 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 `a 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`eme 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

104 CHAPITRE 6. OPERATEURS


DE HANKEL ET OPERATEURS
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 `a 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 ; `a 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 (`a 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 `a 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-`a-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`eme 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

106 CHAPITRE 6. OPERATEURS


DE HANKEL ET OPERATEURS
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 `a /2 en choisissant k assez grand et on peut rendre le second
terme inferieure `a /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 , `a moins que T soit loperateur identiquement nul. En


6.2. OPERATEURS
DE HANKEL

107

eet, kT en k |dm | d`es que dm apparait dans la (n + 1)i`eme colonne, ce qui se produit d`es
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 `a present une classe doperateurs tr`es liee `a la precedente et
aussi introduite par Toeplitz.
Notons (H 2 ) le complementaire orthogonal de H 2 dans L2 (T) ; cest-`a-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 `a certaines circonstances, mais nous allons travailler uniquement `a 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 `a 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)

108 CHAPITRE 6. OPERATEURS


DE HANKEL ET OPERATEURS
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 `a present utiliser le theor`eme dHahnBanach pour etendre le domaine


de denition de la forme lineaire `a 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 `a 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.

110 CHAPITRE 6. OPERATEURS


DE HANKEL ET OPERATEURS
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 ; `a 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-`a-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`eme de
Nehari consistant `a trouver un symbole de norme minimale pour un operateur de Hankel ;
ou de facon equivalente `a 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`a-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`es le theor`eme 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`eme de trouver un symbole de norme minimale pour un operateur de Hankel
peut etre revisite de facon tr`es utile en un probl`eme consistant `a 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-`a-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-`a-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 `a 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 `a un operateur de Hankel qui est de rang ni, ou simplement compact, a la propriete
desiree. Par consequent il est naturel de chercher `a savoir quand est-ce quun Hankel est
de rang ni.

112 CHAPITRE 6. OPERATEURS


DE HANKEL ET OPERATEURS
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`eres (r + 1) colonnes de sont lineairement

independantes ; cest-`a-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 `a
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 `a 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 `a
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`eres 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`ebre fermee de
lalg`ebre de Banach L (T).

114 CHAPITRE 6. OPERATEURS


DE HANKEL ET OPERATEURS
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`es (7.1), h = h sur D(a, r),

i.e. Re(h) = 0 sur D(a, r). Dapr`es 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`es 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`es la premi`ere 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`es le calcul qui conduit `a (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 .


Correction de lexercice 1.4.2

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 `a 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`es (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`es 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 .


Correction de lexercice 1.4.3

f = u+iv o`
u u et v sont des fonctions `a 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


CHAPITRE 7. ELEMENTS
DE CORRECTION DES EXERCICES

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`es 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

Correction de lexercice 1.4.4


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.
Correction de lexercice 1.4.5
Rappelons quune fonction f `a valeurs complexes est analytique dans si pour tout z0 ,
P
il existe R(z0 ) > 0 avec D(z0 , R(z0 )) et une serie enti`ere n0 an (z0 )X n de rayon de
convergence au moins egal `a 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`es 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

7.1. EXERCICES DU CHAPITRE I


Comme f est harmonique, on a donc

2f
zz

= 0 sur et donc necessairement

f
z

= 0 sur .

Correction de lexercice 1.4.6


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 (`a 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.


CHAPITRE 7. ELEMENTS
DE CORRECTION DES EXERCICES

120

Correction de lexercice 1.4.7


1. Dapr`es 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`es 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`es 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 `a dire que :


Re(f (z)) = Re

1
2


Reit + z
it
u(Re )dt avec |z| < R < 1.
Reit z

Dapr`es 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

7.1. EXERCICES DU CHAPITRE I


En particulier, dapr`es 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`es que |z| = r < R < 1. Comme |u| < 1 sur D, on
2 0 Reit z
en deduit :
R+r
|f (z)|
d`es que |z| = r < R < 1.
Rr
Comme la fonction x 7

x+r
est decroissante, on en deduit :
xr

|f (rei )|

1+r
d`es que |z| = r < 1.
1r

Correction de lexercice 1.4.8


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


CHAPITRE 7. ELEMENTS
DE CORRECTION DES EXERCICES

122

comme limba u(x + iy)D(a,r)\D(b,r1 ) = 0, dapr`es le theor`eme 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`es le Theor`eme 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`ede 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 `a 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`ere.
En particulier si est une mesure de Borel positive et reelle (donc nie) sur R, est
reguli`ere (en fait si est une mesure de Borel positive sur R qui de plus est nie sur tout
les compacts de R, est reguli`ere).

7.2.2

Corrections
Correction de lexercice 2.4.1

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)


CHAPITRE 7. ELEMENTS
DE CORRECTION DES EXERCICES

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 `a 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`es le Theor`eme 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`es 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`es ce qui prec`ede ceci est absurde.

125

7.2. EXERCICES DU CHAPITRE 2


Correction de lexercice 2.4.2

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`ere. 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`ere 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.
Correction de lexercice 2.4.3
Dapr`es 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.


CHAPITRE 7. ELEMENTS
DE CORRECTION DES EXERCICES

126

Correction de lexercice 2.4.4


Dapr`es 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`ese
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`es 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`es 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
Correction de lexercice 2.4.5
Dapr`es 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`eme revient `a 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 `a 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

7.3. EXERCICES DU CHAPITRE 3

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 `a 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 `a 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`a 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

Exercices du Chapitre 3
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


CHAPITRE 7. ELEMENTS
DE CORRECTION DES EXERCICES

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 .


Correction de lexercice 3.5.1
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`es le crit`ere 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.

Correction de lexercice 3.5.2


1. Par construction f Hol(D). Il reste donc `a 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

7.3. EXERCICES DU CHAPITRE 3

avec d(t) = (eit )dt + d(t). Comme L1 (T), fonction `a 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`es le Theor`eme 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`eme 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 `a 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`eres par


rapport `a 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 (`a une constante unimodulaire pr`es) 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`es le Theor`eme 2.2.1), 1 = 2
et dapr`es 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

CHAPITRE 7. ELEMENTS
DE CORRECTION DES EXERCICES
Correction de lexercice 3.5.3

Dapr`es le Theor`eme 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

Exercices du Chapitre 4
Correction de lexercice 4.6.1

1. Supposons f non identiquement nulle. Soit B le produit de Blaschke associe `a la suite


des zeros de f dans D. Dapr`es le Theor`eme 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`eres associees aux mesures


singuli`eres positives + et (cf. Denition 4.4.2).

131

7.4. EXERCICES DU CHAPITRE 4

S1
Q, o`
u Q est exterieure et S1 , S2 interieures singuli`eres,
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`eres par rapport `a 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 .


Correction de lexercice 4.6.2

1. Dapr`es le Theor`eme 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 `a 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.


CHAPITRE 7. ELEMENTS
DE CORRECTION DES EXERCICES

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`a 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`es 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`ere par rapport `a la
mesure de Lebesgue et avec Qf facteur exterieur de f . Dapr`es le Theor`eme 3.2.1 ou
encore dapr`es 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`es clair que f nest pas exterieure puisquelle sannule sur
D.
Correction de lexercice 4.6.3
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

7.5. EXERCICES DU CHAPITRE 5


Comme

nZ

r n ein(t) converge normalement, donc uniformement par rapport `a t d`es 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`ese 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`es le Theor`eme 4.5.3, nous savons que
F est lintegrale de Poisson de sa limite radiale F L1 (T). Dapr`es le Theor`eme 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

Exercices du Chapitre 5
Correction de lexercice 5.4.1

1. Soient = (n )n0 et = (n )n0 deux elements arbitraires de 2 . Loperateur T


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


CHAPITRE 7. ELEMENTS
DE CORRECTION DES EXERCICES

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 `a 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 `a 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 `a 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.

7.5. EXERCICES DU CHAPITRE 5

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`es 3., M Lat(S ) implique que M Lat(S). Finalement
Lat(S ) = {M : M Lat(S)}. Dapr`es le theor`eme de Beurling, on a donc
Lat(S ) = {(H 2 (D)) : fonction interieure}.
Correction de lexercice 5.4.2
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`es 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 `a verier que Uf H 2 (D) Y . Dapr`es le Theor`eme 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`eme 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`es le Theor`eme 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

CHAPITRE 7. ELEMENTS
DE CORRECTION DES EXERCICES
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 (`a une constante unimodulaire pr`es) 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`eme 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.