Complet M2R Hardy PDF

UNIVERSIT
E LYON I
COURS DE MASTER, 2ième annee (MATH
EMATIQUES PURES)
ANALYSE FONCTIONNELLE :
Fonctions Harmoniques, Classe de Nevanlinna,
Espaces de Hardy, et
une introduction aux operateurs de Toeplitz et
de Hankel
Isabelle CHALENDAR
- 2008 -
2
Table des matières
1 Fonctions harmoniques 7
1.1 Rappels : theorème de Poincare et theorème de Fejer . . . . . . . . . . . . 7
1.1.1 Le theorème de Poincare . . . . . . . . . . . . . . . . . . . . . . . . 7
1.1.2 Le theorème de Fejer . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2 Denition et proprietes des fonctions harmoniques . . . . . . . . . . . . . . 9
1.3 Formule de Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.4 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2 Theorie avancee des fonctions harmoniques 27
2.1 Rappels : theorème dHahn-Banach et mesures complexes . . . . . . . . . . 27
2.1.1 Consequence de la theorie dHahn-Banach . . . . . . . . . . . . . . 27
2.1.2 Mesures complexes . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.2 Mesures complexes sur T et fonctions harmoniques . . . . . . . . . . . . . 29
2.3 Limites radiales des fonctions harmoniques sur D . . . . . . . . . . . . . . 33
2.3.1 Rappels de theorie de la mesure sur R . . . . . . . . . . . . . . . . 33
2.3.2 Derivees superieures et inferieures dune mesure à valeurs reelles et
denie sur R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.3.3 Limite radiale de lintegrale de Poisson par rapport à /(T) . . 41
2.3.4 Applications : description de certaines fonctions harmoniques . . . . 44
2.4 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3 La classe de Nevanlinna ^ 47
3
4 TABLE DES MATI
`
ERES
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 ^, fonctions de ^ sans zero . . . . . . . . . . . . . . . . . . 49
3.3 La formule de Jensen et ses consequences . . . . . . . . . . . . . . . . . . . 53
3.4 Description des fonctions de ^ . . . . . . . . . . . . . . . . . . . . . . . . 59
3.5 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4 Les espaces de Hardy H
p
(D), 0 < p 63
4.1 Rappels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.1.1 Inegalite de Jensen . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.1.2 Inegalite de Holder et Minkowski . . . . . . . . . . . . . . . . . . . 63
4.1.3 Lespace L
2
(T) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.2 Fonctions sous-harmoniques . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.2.1 Denition et caracterisation . . . . . . . . . . . . . . . . . . . . . . 64
4.2.2 Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
4.3 Denitions des espaces de Hardy et premières proprietes . . . . . . . . . . 68
4.4 Theorèmes de factorisation . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
4.4.1 Les fonctions interieures . . . . . . . . . . . . . . . . . . . . . . . . 72
4.4.2 Les fonctions exterieures . . . . . . . . . . . . . . . . . . . . . . . . 74
4.4.3 Facteurs exterieures des fonctions de H
p
(D), 0 < p . . . . . . 75
4.4.4 Lespace de Hardy H
2
(D) . . . . . . . . . . . . . . . . . . . . . . . 76
4.4.5 Factorisations des fonctions de H
p
(D), 0 < p . . . . . . . . . . 79
4.5 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
4.6 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
TABLE DES MATI
`
ERES 5
5 Sous-espaces invariants du shift 89
5.1 Introduction : le problème du sous-espace invariant . . . . . . . . . . . . . 89
5.1.1 Notations et rappels . . . . . . . . . . . . . . . . . . . . . . . . . . 89
5.1.2 Le problème du sous-espace invariant . . . . . . . . . . . . . . . . . 90
5.2 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
6 Operateurs de Hankel et operateurs de Toeplitz 101
6.1 Operateurs de Laurent et operators de Toeplitz . . . . . . . . . . . . . . . 101
6.2 Operateurs de Hankel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
7 Elements de correction des exercices 115
7.1 Exercices du Chapitre I . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
7.2 Exercices du Chapitre 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
7.2.1 Rappels de topologie et regularite des mesures de Borel . . . . . . . 122
7.2.2 Corrections . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
7.3.1 Rappels sur les produits innis de nombres complexes . . . . . . . . 127
6 TABLE DES MATI
`
ERES
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 : theorème de Poincare et theorème de
Fejer
1.1.1 Le theorème de Poincare
Soit w = fdx + gdy une 1-forme dierentielle de classe C
1
(i.e. f et g sont de classe
C
1
) sur un ouvert de C. Rappelons que dw est la 2-forme dierentielle denie par
dw = df dx + dg dy et rappelons que si f est de classe C
1
, df est appelee la 1-forme
dierentielle associee à f et est denie par df =
f
x
dx +
f
y
dy.
On dit que w est fermee si dw = 0 et on dit que w est exacte sil existe une fonction
de classe C
2
sur telle que w = d (i.e. w est la 1-forme dierentielle associee à ).
Lemme 1.1.1 Toute forme exacte sur un ouvert de C est fermee.
Preuve : Si w = d =

x
dx +

y
dy, alors
dw =
_

x
_
x
_
dx +

y
_
x
_
dy
_
dx +
_

x
_
y
_
dx +

y
_
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
8 CHAPITRE 1. FONCTIONS HARMONIQUES
x
_
y
_
=

2
xy
=

y
_
x
_
. On obtient donc :
dw =
_
xy
+

2
xy
_
dx dy = 0.
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).
Theorème 1.1.1 (de Poincare) Soit un ouvert simplement connexe. Alors toute
1-forme dierentielle fermee sur est exacte.
Remarque 1.1.1 Tout convexe est simplement connexe.
1.1.2 Le theorème de Fejer
Pour f continue sur T et pour tout n Z, on denit le n-ième coecient de Fourier
de f par
f(n) =
1
2
_
2
0
f(e
it
)e
int
dt.
La serie de Fourier de f est la serie
nZ
f(n)e
int
. La somme partielle de la serie de
Fourier de f est S
m
(f)(e
it
) =
|n|m
f(n)e
int
. Le theorème suivant, que nous admettrons,
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.
Theorème 1.1.2 (de Fejer) Si f est continue sur T, alors la moyenne de Ces` aro
1
n
n
m=1
S
m
(f) converge uniformement vers f sur T.
Corollaire 1.1.1 Les polynomes trigonometriques sont denses dans lensemble des fonc-
tions continues sur T, c(T), pour la convergence uniforme sur T.
Preuve : Pour f c(T), la somme partielle S
m
(f) est un polynome trigonometrique
(un polynome trigonometrique est une fonction de la forme e
it
n=p
c
n
e
int
avec c
n
C).
1.2. D
EFINITION ET PROPRI
ET
ES DES FONCTIONS HARMONIQUES 9

1.2 Denition et premières proprietes des fonctions
harmoniques
Denition 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 deni par f =

2
f
x
2
+

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

2
f
zz
= 4

2
f
zz
,
avec

z
=
1
2
_
x
i

y
_
et

z
=
1
2
_
x
+ i

y
_
.
En eet,
2
f
zz
=

z
_
1
2
_
f
x
+ i
f
y
__
=
1
2
_
1
2
_
x
_
f
x
+ i
f
y
_
i

y
_
f
x
+ i
f
y
___
=
1
4
_
2
f
x
2
+ i

2
f
xy
i

2
f
yx
+

2
f
y
2
_
=
1
4
f,
car

2
f
yx
=

2
f
xy
puisque f est par hypothèse de classe C
2
. Via un calcul analogue, on
montre que

2
f
zz
=
1
4
f.
Proposition 1.2.1 Toute fonction holomorphe ou anti-holomorphe sur un ouvert est
harmonique sur
Preuve : Si f Hol(), f est de classe C
2
et de plus
f
z
0 sur . Par consequent,
f = 4

z
_
f
z
_
0. Si f est anti-holomorphe, f est de la forme g o` u g est holomorphe.
Ainsi f est elle-aussi de classe C
2
et
f
z
0 sur . Par consequent, f = 4

z
_
f
z
_
0.
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)).
Corollaire 1.2.1 Soit un ouvert de C. Si une fonction f : C est holomorphe, alors
Re(f) et Im(f) sont harmoniques sur .
Le corollaire ci-dessus admet une reciproque à condition dimposer une condition supple-
mentaire sur louvert .
Theorème 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.
Preuve : On cherche une fonction g : R, de classe C
2
telle que f + ig soit
holomorphe sur . Daprès les equations de Cauchy-Riemann, f + ig est holomorphe
si et seulement si
f
x
=
g
y
et
f
y
=
g
x
sur .
Considerons la 1-forme dierentielle w de classe C
1
denie par w =
f
y
dx +
f
x
dy.
Alors w est une forme fermee. En eet,
dw =
_

2
f
xy
dx

2
f
y
2
dy
_
dx +
_
2
f
x
2
dx +

2
f
yx
dy
_
dy
=
_
2
f
y
2
+

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

En eet, posons f(z) = log [z[ pour z ,= 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
1.2. D
EFINITION ET PROPRI
ET

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[ = e
Re((z))
et log [z[ = Re((z)). Ainsi log [z[ est une fonction harmonique sur
D(a, [a[) pour tout a ,= 0 et donc log [z[ est une fonction harmonique à valeurs reelles sur
C 0. Sil existait une fonction
1
holomorphe sur C 0 telle que Re(
1
(z)) = log [z[,
on obtiendrait une determination holomorphe du logarithme sur C 0, ce qui est
absurde. En eet, rappelons quune fonction holomorphe sur un ouvert non vide est
une determination holomorphe du logarithme sur si e
(z)
= z sur . Daprès les equations
de Cauchy-Riemann, on a lequivalence suivante :
_
e
(z)
= z, z
holomorphe sur

_
_
_
Re((z)) = log [z[ sur
holomorphe sur
z
0
tel que e
(z
0
)
= z
0
.
Sil existait une fonction
1
holomorphe sur C 0 telle que Re(
1
(z)) = log [z[, on ob-
tiendrait 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
est une primitive de 1/z, ce qui implique
_
1/zdz = 0 pour tout lacet trace dans . Or

louvert C 0 ne verie pas cette dernière condition.
On obtient ainsi la caracterisation suivante des fonctions harmoniques à valeurs reelles.
Corollaire 1.2.2 Soit un ouvert de C et soit f : R de classe C
2
. Les trois condi-
tions suivantes sont equivalentes :
1. f est harmonique sur .
2. Pour tout z
0
, il existe r > 0 et holomorphe sur D(z
0
, r) tels que f = Re()
sur D(z
0
, r).
3. Pour tout ouvert simplement connexe | de , il existe holomorphe sur | tel que
f = Re() sur |.
Les fonctions harmoniques sur un disque ouvert D(a, r) (a C et r > 0), continues sur le
disque ferme D(a, r) et à valeurs complexes ont la propriete suivante.
Corollaire 1.2.3 Soit f une fonction continue sur D(a, r) (a C et r > 0), harmonique
sur D(a, r) et à valeurs complexes. Alors on a la formule de la moyenne :
f(a) =
1
2
_
2
0
f(a + re
it
)dt
=
1
r
2
_ _
D(a,r)
f(x + iy)dxdy.
Preuve : Supposons que f soit harmonique sur D(a, ) avec > r. Soit f
1
= Re(f).
Alors f
1
est harmonique sur D(a, ). Comme D(a, ) est simplement connexe, daprès le
Theorème 1.2.1, il existe holomorphe sur D(a, ) telle que f
1
= Re() sur D(a, ).
Daprès la formule de Cauchy, nous avons :
(a) =
1
2i
_
(a,r)
()
a
d,
avec 0 < r < et o` u (a, r) est le cercle centre en a et de rayon r. Posons = a + re
it
pour 0 t 2. On obtient :
(a) =
1
2i
_
2
0
(a + re
it
)
re
it
ire
it
dt
=
1
2
_
2
0
(a + re
it
)dt.
Ainsi,
f
1
(a) = Re((a)) =
1
2
_
2
0
Re((a + re
it
))dt =
1
2
_
2
0
f
1
(a + re
it
)dt,
avec f
1
= Re(f). De meme, en rempla cant f
1
par f
2
= Im(f) on montre que Im(f(a)) =
1
2
_
2
0
Im(f(a + re
it
))dt. On obtient donc
f(a) =
1
2
_
2
0
f(a + re
it
)dt,
sous lhypothèse f harmonique sur D(a, ) avec > r.
Dans le cas general, on a, pour tout s < r,
f(a) =
1
2
_
2
0
f(a + se
it
)dt.
1.2. D
EFINITION ET PROPRI
ET

En faisant tendre s vers r et par continuite de f sur D(a, r), on obtient :
f(a) = lim
sr
1
2
_
2
0
f(a + se
it
)dt =
1
2
_
2
0
f(a + re
it
)dt.
Calculons à present
1
r
2
_ _
D(a,r)
f(x + iy)dxdy. En posant x + iy = se
i
(ce qui donne
dxdy = sdsd) et grace à la continuite de f sur le compact D(a, r) (ce qui implique que f
est uniformement bornee) on peut alors calculer lintegrale double de la fa con suivante :
_ _
D(a,r)
f(x + iy)dxdy =
_
r
0
_
2
0
f(a + se
i
)sdsd
=
_
r
0
s
__
2
0
f(a + se
i
)d
_
ds
=
_
r
0
s(2f(a))ds
= 2f(a)
r
2
2
= r
2
f(a).
Nous allons à present demontrer le Principe du maximum pour les fonctions har-
moniques à valeurs reelles 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 o lensemble des maxima relatifs de f sur . Supposons que o est non
vide. Soit a o 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 o, il existe > 0 tel que D(a, ) D(b, r) et tel que f(a) f(z) pour
tout z D(a, ). Daprès le Corollaire 1.2.3, nous avons :
f(a) =
1
2
_ _
D(a,)
f(x + iy)dxdy.
Comme
2
=
_ _
D(a,)
dxdy, on a donc f(a) =
1
2
_ _
D(a,)
f(a)dxdy, et ainsi
_ _
D(a,)
(f(a) f(x + iy))dxdy = 0,
r
D(b, r)
b
D(a, )
a
Fig. 1.1 Principe du maximum

avec (x, y) 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, ) o et donc o est ouvert dans .
Nous allons montrer quen fait f(z) = f(a) pour tout z D(b, r), autrement dit que
f est constante sur tout disque ouvert contenu dans et contenant un maximum relatif.
Daprès lassertion 2. du Corollaire 1.2.2, il existe une fonction holomorphe sur D(b, r)
telle que f = Re() sur D(b, r). Nous venons de montrer que necessairement Re() etait
constante sur D(a, ). Daprès les equations de Cauchy-Riemann, Im() est egalement
constante sur D(a, ). Il resulte du principe des zeros isoles que est constante sur
D(b, r). Ainsi f est elle aussi constante sur D(b, r).
Nous allons montrer à present que o est aussi ferme dans . Soit u o. Soit s > 0
tel que D(u, s) . Comme u o, D(u, s) o , = . Daprès ce qui precède, on a donc
D(u, s) o et donc en particulier, u o, ce qui prouve que o est ferme dans .
Comme o , = est un sous-ensemble à la fois ouvert et ferme de qui est connexe, on
obtient o = . La fonction f est donc localement constante sur . Comme par hypothèse
f (de classe C
2
) est continue, f est donc constante sur .
Nous terminerons cette section avec un dernier corollaire.

1.2. D
EFINITION ET PROPRI
ET

Corollaire 1.2.5 Soit K un compact non vide de C et soit f une fonction (à valeurs
complexes) continue sur K et harmonique sur linterieur de K,
K
. Alors
sup
zK
[f(z)[ = sup
zFr(K)
[f(z)[,
o` u Fr(K) designe la frontière de K.
Preuve : Comme une fonction continue sur un compact atteint son supremum, il existe
z
0
K tel que [f(z
0
)[ [f(z)[ pour tout z K. Si z
0
Fr(K), la preuve du corollaire
est termine.
Supposons que z
0

K
. Soit | la composante connexe de z
0
dans
K
. Rappelons que les
composantes connexes de tout ouvert 1 de C sont à la fois ouvertes et fermees dans 1
(cf. Chap. II, 9, Remarque 9 de [23]). Ceci resulte en fait dun resultat beaucoup plus
general qui dit que les composantes connexes de tout espace localement connexe sont à la
fois ouvertes et fermees (cf. Chap. II, 9, Theorème 2.9.19 de [23]).
Supposons que [f(z
0
)[ > 0 et posons g(z) =
[f(z
0
)[
f(z
0
)
f(z). Par construction, g est harmonique
sur
K
, [g(z)[ = [f(z)[ pour tout z K et g(z
0
) = [f(z
0
)[. Pour z K, on a :
Re(g(z)) [g(z)[ = [f(z)[ [f(z
0
)[ = g(z
0
) = Re(g(z
0
)).
Daprès le Corollaire 1.2.4, Re(g) est constante sur louvert connexe |. Comme Re(g) est
continue sur |, Re(g) est constante sur |. Il existe donc z
1
Fr(|) tel que Re(g(z
1
)) =
Re(g(z
0
)) = g(z
0
). On a donc
[f(z
1
)[ Re(g(z
1
)) = g(z
0
) = [f(z
0
)[ [f(z
1
)[.
Par consequent, [f(z
1
)[ = [f(z
0
)[ et [f[ atteint son maximum en z
1
avec z
1
Fr(|).
Comme | est une composante connexe de
K
, | est ferme dans
K
. On en deduit que
necessairement z
1
Fr(K) car z
1

K
implique z
1
| puisque |
K
= |
K
. Ceci
termine la preuve du corollaire.

1.3 Formule de Poisson
Denition 1.3.1 Pour 0 r < 1, t R, on pose
P
r
(t) =
+
n=
r
|n|
e
int
.
Pour r xe, 0 r < 1, P
r
est appele un noyau de Poisson et (P
r
)
0r<1
est appelee la
famille des noyaux de Poisson.
Remarque 1.3.1
1. Pour r xe, 0 r < 1, la serie
+
n=
r
|n|
e
int
converge normalement, donc uni-
formement en t. La fonction P
r
est continue sur [0, 2]
2. Pour r xe, 0 r < 1, on a
1
2
_
2
0
P
r
(t)dt = 1.
Pour voir ceci, on peut inverser lintegrale et la serie qui denit P
r
(t) ou encore
remarquer que
1
2
_
2
0
P
r
(t)dt =
P
r
(0), le 0-ième coecient de Fourier de la fonction
continue P
r
.
Proposition 1.3.1 Pour z = re
i
avec 0 r < 1 et R, on a :
P
r
( t) = 1 + 2
n=1
r
n
cos(n( t)) (1.1)
= Re
_
e
it
+ z
e
it
z
_
(1.2)
=
1 r
2
1 2r cos( t) + r
2
. (1.3)
Preuve : La première egalite est immediate. Elle provient du fait que
P
r
( t) = 1 +
n=1
r
n
e
in(t)
+
n=1
r
n
e
in(t)
= 1 + 2
n=1
r
n
cos(n( t)).
1.3. FORMULE DE POISSON 17
Pour demontrer la deuxième egalite on remarque que :
e
it
+ z
e
it
z
=
e
it
+ re
i
e
it
re
i
=
1 +re
i(t)
1 re
i(t)
=
1 re
i(t)
+ 2re
i(t)
1 re
i(t)
= 1 +
2re
i(t)
1 re
i(t)
= 1 + 2re
i(t)
n=0
r
n
e
in(t)
= 1 + 2
n=1
r
n
e
in(t)
.
On obtient donc
Re
_
e
it
+ z
e
it
z
_
= 1 + 2
n=1
r
n
cos(n( t)) = P
r
( t).
La troisième egalite sobtient en remarquant que :
e
it
+ z
e
it
z
=
(e
it
+ z)(e
it
z)
[e
it
z[
2
=
1 [z[
2
+ (ze
it
ze
it
)
[e
it
z[
2
.
Comme ze
it
ze
it
est imaginaire pur,
Re
_
e
it
+ z
e
it
z
_
=
1 [z[
2
[e
it
z[
2
=
1 r
2
[e
it
z[
2
=
1 r
2
[1 ze
it
[
2
=
1 r
2
[1 re
i(t)
[
2
.
Enn on calcule
[1 re
i(t)
[
2
= [1 r cos( t) ir sin( t)[
2
= (1 r cos( t))
2
+ r
2
sin
2
( t)
= 1 +r
2
2r cos( t),
et la preuve de la proposition est achevee.
Remarque 1.3.2 Il resulte de la proposition precedente quun noyau de Poisson est une
fonction uniformement continue sur [0, 2], 2-periodique, positive et paire.
La proposition suivante nous montre comment construire des fonctions harmoniques dans
D à partir de mesures complexes sur T.
Proposition 1.3.2 Soit une mesure complexe (nie) sur [, ]. Pour z = re
i
avec
0 r < 1 et R, on pose :
P()(z) =
1
2
_

P
r
( t)d(t).
Alors P
est une fonction harmonique sur D.

Preuve : La mesure complexe est de la forme =
1
+i
2
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 reelle sur
T alors P() est une fonction harmonique sur D. Pour cela on remarque que :
P()(z) =
1
2
_

Re
_
e
it
+ z
e
it
z
_
d(t) = Re
_
1
2
_

e
it
+ z
e
it
z
d(t)
_
= Re((z)),
avec (z) =
1
2
_
e
it
+z
e
it
z
d(e
it
). La fonction etant holomorphe sur D (comme integrale de
la fonction holomorphe z
e
it
+z
e
it
z
sur D), daprès le Corollaire 1.2.1, P() est harmonique
sur D. Ceci termine la preuve de la proposition.
Le theorème suivant est la solution du problème 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.
Theorème 1.3.1 Soit f une fonction continue sur T. Alors il existe une unique fonction
g continue sur D, harmonique dans D et veriant g
|T
= f. De plus, pour z = re
i
avec
0 r < 1 et R, on a g(z) =
1
2
_

P
r
( t)f(e
it
)dt. On notera P(f) la fonction
denie par re
i
1
2
_
P
r
( t)f(e
it
)dt.
Preuve : Montrons tout dabord lunicite de la solution du problème de Dirichlet.
Soient g
1
et g
2
deux solutions du problème de Dirichlet. Daprès le Corollaire 1.2.5, comme
g
1
g
2
est continue sur le compact D et harmonique sur D, on a :
sup
zD
[g
1
(z) g
2
(z)[ = sup
zT
[g
1
(z) g
2
(z)[ = 0,
puisque g
1
(z) = f(z) = g
2
(z) sur T. Ceci termine la preuve de lunicite de la solution du
problème de Dirichlet.
Montrons à present lexistence dune solution au problème de Dirichlet. Daprès la Pro-
position 1.3.2, P(f) est harmonique sur D. Posons

P(f)(z) =
_
P(f)(z) si [z[ < 1
f(z) si [z[ = 1
.
Il nous reste à demontrer la continuite de

P(f) sur D. Pour cela nous allons montrer que
P(f) est la limite uniforme de fonctions continues sur D.

La première etape consiste à verier que pour toute fonction f continue sur T on a :
[
P(f)(z)[ |f|
pour [z[ 1. (1.4)

Pour [z[ < 1, z = re
i
, on a :
[
P(f)(z)[ = [P(f)(z)[ =
1
2
_
2
0
P
r
( t)f(e
it
)dt
1
2
_
2
0
P
r
( t)[f(e
it
)[dt
|f|
1
2
_
2
0
P
r
( t)dt
= |f|
.
En eet, comme s P
r
(s) est 2 periodique et paire, via le changement de variable
s = t , on obtient :
_
2
0
P
r
( t)dt =
_
2
0
P
r
(t )dt
=
_
+2
P
r
(s)ds
=
_
2
0
P
r
(s)ds
= 2,
daprès la Remarque 1.3.1. Comme pour [z[ = 1, par denition, on a [
P(f)(z)[ = [f(z)[,
linegalite (1.4) est veriee.
Pour p Z, on considère la fonction e
p
fonction continue de T dans lui-meme denie
par e
p
(e
it
) = e
ipt
. Cest aussi la fonction z z
p
si p 0 et z z
p
si p < 0. La
solution au problème de Dirichlet est triviale pour les fonctions e
p
: il sagit de la fonction
g(z) = z
p
sur D si p 0 et g(z) = z
p
si p < 0 (fonctions harmoniques sur D daprès
la Proposition 1.2.1). La deuxième etape consiste à montrer que

P(e
p
) est z z
p
si
p 0 et est egale à z z
p
si p < 0. Ceci nous montrera que

P(e
p
) est continue sur
D pour tout p Z. Pour z = re
i
avec 0 r < 1 et R, par denition, nous avons :
P(e
p
)(z) =
1
2
_
2
0
P
r
( t)e
ipt
dt =
1
2
_
2
0
_
nZ
r
|n|
e
in(t)
_
e
ipt
dt.
Comme, pour r xe, 0 r < 1, la serie
nZ
r
|n|
e
in(t)
converge normalement, donc
uniformement sur [0, 2], on peut inverser lintegrale et la somme dans legalite ci-dessus.
On obtient ainsi :
P(e
p
)(z) =
nZ
r
|n|
e
int
2
_
2
0
e
i(pn)
dt
= r
|p|
e
ip
,
car
_
2
0
e
i(pn)t
dt = 0 si p ,= n et
_
2
0
e
i(pn)t
dt = 2 si p = n. On obtient ainsi, pour tout
z D,

P(e
p
)(z) = z
p
si p 0 et

P(e
p
)(z) = z
p
si p < 0.
Nous allons à present conclure la preuve du theorème en utilisant le theorème de Fejer.
Rappelons quun polynome trigonometrique est une application p denie sur T de la forme
e
it
|n|k
c
n
e
int
avec c
n
C. Autrement dit p =
|n|k
c
n
e
n
. Par denition, de fa con
evidente, nous avons :
P(p) =
|n|k
c
n

P(e
n
).
Ainsi, daprès la deuxième etape,

P(p) est continue sur D pour tout polynome trigo-
nometrique p. Daprès le Theorème de Fejer, il existe une suite de polynomes trigo-
nometriques (p
m
)
m1
telle que lim
m
|f p
m
|
= 0. Il nous reste à verier que

P(f) est la
limite uniforme de

P(p
m
). Pour cela, on remarque que, par denition,

P(f)(z)
P(p
m
)(z) =
P(f p
m
)(z). De plus, daprès (1.4), [
P(f p
m
)(z)[ |f p
m
|
et donc
lim
m
sup
zD
[
P(f)(z)

P(p
m
)(z)[ lim
m
|f p
m
|
= 0.
Ainsi

P(f) est bien continue sur T comme limite uniforme dune suite de fonctions continues
sur T. Ceci termine la preuve du theorème.
Remarque 1.3.3 Si f est une fonction harmonique reelle sur D(0, r) avec r 1, on a :
f(z) = Re
_
1
2
_
2
0
e
it
+ z
e
it
z
f(e
it
)dt
_
pour [z[ 1
et la fonction z
1
2
_
2
0
e
it
+ z
e
it
z
f(e
it
)dt est holomorphe sur D. On a ainsi redemontre
le resultat annonce par le Theorème 1.2.1 de facon constructive.
Si lon souhaite trouver une solution au problème de Dirichlet en rempla cant 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 + re
i
avec 0 r < R et R on a :
g(z) =
1
2
_

P
r/R
( t)f(a + Re
it
)dt.
Preuve : Comme dans la preuve du Theorème 1.3.1, lunicite de la solution resulte
du principe du maximum. Pour demontrer lexistence dune solution g posons f
1
(z) =
f(a + Rz) pour [z[ = 1. Comme f
1
est continue sur T, daprès le Theorème 1.3.1, il existe
une fonction g
1
harmonique sur D, continue sur D et telle que la restriction de g
1
à T
co
incide avec f
1
. On pose g(z) = g
1
_
za
R
_
pour z D(a, r). Par construction on verie
aisement que g verie les hypothèses du corollaire. Notons aussi que
P
r/R
( t) =
1
r
2
R
2
1 2
r
R
cos( t) +
r
2
R
2
=
R
2
r
2
R
2
2rRcos( t) + r
2
.

Daprès le Corollaire 1.2.3, si une fonction f est harmonique sur un ouvert de C alors
f verie la propriete de la moyenne sur , i.e., pour a et pour tout disque ferme
D(a, r) tel que D(a, r) on a f(a) =
1
2
_
2
0
f(a + re
it
)dt. Le theorème suivant est en
quelque sorte la reciproque de ce resultat : on montre que si f verie la propriete de la
moyenne faible (condition un peu moins forte que la propriete de la moyenne) sur ,
nous pourrons conclure à lharmonicite de la fonction f sur .
Theorème 1.3.2 Soit f une fonction continue sur veriant la propriete suivante dite
propriete de la moyenne faible sur : pour tout a , il existe une suite (r
n
)
n1
de reels positifs tels que D(a, r
n
) , lim
n
r
n
= 0 et f(a) =
1
2
_
2
0
f(a+r
n
e
it
)dt pour
tout n 1. Alors f est harmonique sur .
Preuve : En considerant separement Re(f) et Im(f) on peut se limiter au cas o` u f
est à valeurs reelles. Soit R > 0 tel que D(a, R) . Daprès le Corollaire 1.3.1, puisque
f est continue sur le cercle (a, R) = z C : [z a[ = R, il existe une fonction g
reelle, continue sur D(a, R), harmonique sur D(a, R) et telle que g et f soient egales sur
(a, R). La fonction g, etant harmonique sur D(a, R), verie la propriete de la moyenne
sur D(a, R) et donc elle verie aussi la propriete de la moyenne faible sur D(a, R). Ainsi
la fonction h := g f reelle verie la propriete de la moyenne faible sur D(a, R) et h est
identiquement nulle sur (a, R). Soit m = sup
zD(a,R)
h(z) et soit
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 z
0
un point de la frontière de K en lequel
la fonction continue sur le compact K denie par z [z a[ atteint son maximum.
Comme h verie la propriete de la moyenne faible sur D(a, R), il existe une suite (r
n
)
n0
de reels positifs tels que lim
n
r
n
= 0, D(z
0
, r
n
) D(a, R) avec
m = h(z
0
) =
1
2
_
2
0
h(z
0
+ r
n
e
it
)dt.
On a donc :
z0
a R
rn
K
Fig. 1.2 Propriete de la moyenne faible et harmonicite
1
2
_
2
0
(h(z
0
) h(z
0
+ r
n
e
it
))dt = 0,
avec t h(z
0
) h(z
0
+ r
n
e
it
) continue, reelle et positive sur [0, 2]. Par consequent
h(z
0
) = h(z
0
+ r
n
e
it
) et donc (z
0
, r
n
) K, ce qui est absurde daprès le choix de z
0
.
On obtient ainsi m = 0 (puisque h(z) = 0 pour z (a, R)) et donc h(z) 0 pour
z D(a, R). En appliquant un raisonnement analogue à h on montre que h(z) 0 pour
z D(a, R). Finalement h(z) = 0 pour z D(a, R). La fonction f est donc harmonique
car elle co
incide 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 asser-
tions suivantes sont equivalentes :
1. La fonction f est harmonique sur .
2. La fonction f verie la propriete de la moyenne faible sur .
3. La fonction f verie la propriete de la moyenne sur .
1.4 Exercices
Exercice 1.4.1
1. Soient u et v deux fonctions harmoniques à valeurs reelles dans un ouvert connexe
de C. A quelles conditions la fonction uv est-elle harmonique ?
(remarquer que la reponse depend fortement du fait que les fonctions considerees sont
à valeurs reelles).
2. Montrer que u
2
ne peut etre harmonique dans que si u est constante.
3. Pour quelles fonctions f Hol() la fonction [f[
2
est-elle harmonique ?
Exercice 1.4.2
Soit un ouvert connexe de C et soit f : C harmonique et telle que f
2
est harmonique.
1. Demontrer que f ou f est holomorphe.
2. Si lon remplace lhypothèse f
2
est harmonique par [f[
2
est harmonique, que dire
de f ?
Exercice 1.4.3
Soit un ouvert de C et soit f Hol() ne sannulant pas sur .
Demontrer que log [f[ est harmonique en calculant son laplacien.
Exercice 1.4.4
Soit un ouvert simplement connexe de C et soit f Hol() ne sannulant pas sur .
Demontrer que log [f[ est harmonique (sans calculer son laplacien!).
Exercice 1.4.5
Soit un ouvert de C et soit f : C une fonction harmonique. Montrer que si
g : C deni 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.
1.4. EXERCICES 25
1. Demontrer que si f est harmonique sur , les derivees partielles de f sont elles aussi
harmoniques.
2. Verier par un calcul direct que pour t xe, re
i
P
r
( 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 nie sur T est harmonique dans D en montrant que toute
derivee partielle de P() est egale à lintegrale de la derivee correspondante du noyau.
Exercice 1.4.7
1. Soit u une fonction harmonique positive sur D et telle que u(0) = 1. Majorer et
minorer du mieux possible u(1/2).
2. Soit f = u + iv, f Hol(D), f(0) = 0 et [u[ 1 sur D. Pour 0 < r < 1, majorer
[f(re
i
)[.
Exercice 1.4.8
Soit u une fonction Lebesgue-mesurable dans un ouvert connexe et appartenant loca-
lement à L
1
(cela signie que lintegrale de [u[ sur tout sous-ensemble compact de est
nie). Demontrer que u est harmonique si elle satisfait la forme suivante de la propriete
de la moyenne :
u(a) =
1
r
2
_ _
D(a,r)
u(x, y)dxdy,
dès que D(a, r) .
Chapitre 2
Theorie avancee des fonctions
harmoniques
2.1 Rappels : theorème dHahn-Banach et mesures
complexes
2.1.1 Consequence de la theorie dHahn-Banach
Theorème 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, /) un espace mesurable. Autrement dit X est un ensemble et /est une tribu
sur X (i.e. / T(X), lensemble des parties de X, avec X /, X A / dès que
A / et de plus pour toute famille (A
n
)
n
nie ou denombrable de /,
n
A
n
/).
Une mesure complexe est une application : / C veriant la propriete suivante :
pour tout E / et toute partition denombrable (E
i
)
i1
de E, on a : (E) =
i1
(E
i
).
27
28 CHAPITRE 2. TH
EORIE AVANC
EE DES FONCTIONS HARMONIQUES

A toute mesure complexe on associe sa variation totale [[ denie par la formule :
[[(E) = sup
_
i1
[(E
i
)[ : (E
i
)
i1
partition denombrable de E
_
,
pour tout E /.
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 C mesurable (i.e. limage reciproque par h de tout ouvert
de C est un element de /) telle que [h(x)[ = 1, [[-presque partout veriant :
(E) =
_
E
h d[[ pour tout E /.
Si f est mesurable et si f L
1
(X, /, [[), on pose alors :
_
X
fd =
_
X
fh d[[.
Si de plus X est un espace topologique separe compact, on note c(X) lensemble
des fonctions continues sur X et à valeurs dans C et c
(X) le dual topologique de c(X).

Lensemble c
+
(X) designe le sous-ensemble des applications de c
(X) telles que (f) 0

si f c(X) est positive. On note /(X) lensemble des mesures complexes sur (X, B) o` u
B est la tribu des boreliens, cest à dire la tribu engendree par les ouverts de X. On note
/
+
(X) lensemble des mesures positives nies sur (X, B). On verie que /(X) est un
espace de Banach pour la norme || := [[(X).
Pour /(X), f c(X), on pose
L
c
()(f) =
_
X
f d (=
_
X
fh d[[).
_
X
f d est bien deni car comme f c(X), f est mesurable et bornee (X etant compact).
Ainsi la fonction fh mesurable et bornee sur X est integrable pour la mesure positive nie
[[. Nous rappelons à present le lien entre /(X) et c
(X) et entre /
+
(X) et c
+
(X),
toujours dans le cas o` u X est compact :
Theorème 2.1.2 (de representation de Riesz) Soit X un espace topologique separe
compact. Alors lapplication L
c
: /(X) c
(X) (resp. L
+
: /
+
(X) c
+
(X)) denie
par L
c
()(f) =
_
X
f d (resp. L
+
()(f) =
_
X
f d) est une isometrie bijective.
2.2. MESURES COMPLEXES SUR T ET FONCTIONS HARMONIQUES 29
Il existe une version plus generale de ce theorème pour les espaces topologiques separes
localement compacts (cf. [22], p. 126).
2.2 Bijection entre les mesures complexes sur T et
certaines fonctions harmoniques
Theorème 2.2.1 Soit S lensemble des fonctions harmoniques f sur D telles que
(f) := sup
0s<1
_
2
0
[f(se
i
)[d < .
Alors lapplication P() est une bijection de /(T) sur S. De plus,
(P()) = [[(T) = || et
_
T
g d = lim
s1
_
2
0
P()(se
it
)g(e
it
)dt
pour toute fonction g c(T) et toute mesure /(T).
Preuve :
Montrons que P() S.
Daprès la Proposition 1.3.2, si est une mesure complexe sur T alors P() est une fonction
harmonique dans D. Il reste à verier que (P()) < . On a :
_
2
0
[P()(re
i
)[d =
1
2
_
2
0
_
2
0
P
r
( t)d(t)
1
2
_
2
0
__
2
0
P
r
( t)d[[(t)
_
d.
Le noyau de Poisson positif P
r
etant continu par rapport aux variables t et , P
r
est
mesurable. Daprès le theorème de Fubini, on a :
1
2
_
2
0
__
2
0
P
r
( t)d[[(t)
_
d =
_
2
0
_
1
2
_
2
0
P
r
( t)d
_
d[[(t)
=
_
2
0
d[[(t) = [[(T) = ||.
On a donc
(P() (T) = || < , (2.1)
30 CHAPITRE 2. TH
EORIE AVANC

et ainsi P() S.
Verions que
_
T
g d = lim
s1
_
2
0
P()(se
it
)g(e
it
)dt.
Daprès le Theorème 1.3.1, il existe une unique fonction G continue sur D, harmonique
dans D avec G
|T
= g. On a donc lim
s1
|G
s
g|
= 0 o` u G
s
(e
i
) = G(se
i
). En eet, G
continue sur le compact D est uniformement continue sur D. Ainsi, pour > 0, il existe
> 0 tel que pour tout couple (z
1
, z
2
) de D veriant [z
1
z
2
[ < on ait [G(z
1
)G(z
2
)[ < .
En particulier, pour tout R et pour 1 > s > 1 on a [G
s
(e
i
) g(e
i
)[ = [G(se
i
)
G(e
i
)[ < . Ainsi pour s > 1 on a
|G
s
g|
< et donc lim

s1
|G
s
g|
= 0.
Rappelons que
G(re
i
) =
1
2
_
2
0
P
r
( t)g(e
it
)dt.
En utilisant de nouveau le theorème de Fubini, on obtient :
_
2
0
g(e
i
)d() = lim
s1
1
2
_
2
0
g(e
it
)
__
2
0
P
s
( t)d(t)
_
dt = lim
s1
_
2
0
g(e
it
)P
(se
it
)dt.
(2.2)
Montrons que (P
) = ||.
Daprès le Theorème 2.1.2, || = |L
c
()| avec L
c
()(f) =
_
T
f d pour toute fonction
f c(T). Ainsi
|| = sup
_
_
2
0
g(e
i
)d()
: g c(T), |g|
1
_
.
Daprès (2.2), on a donc
|| limsup
s1
_
2
0
[P()(se
it
)[dt (P()).
Finalement, en utilisant (2.1) on a montre que (P()) = ||.
Montrons que T : /(T) S deni par T() = P() est bijective.
Par denition, lapplication T est lineaire. Dautre part legalite (P()) = || nous
garantit linjectivite de T. Il nous reste donc à verier que toute fonction f S est de la
forme f = P() pour une certaine mesure /(T). Pour 0 r < 1 et R, posons
2.2. MESURES COMPLEXES SUR T ET FONCTIONS HARMONIQUES 31
r,
(e
it
) = P
r
( t). On a donc
r,
c(T) pour 0 r < 1 et R. Soit E le sous-espace
vectoriel de c(T) engendre par
r,
: 0 r < 1, R. Nous allons montrer que E est
dense dans c(T). Daprès le Theorème 2.1.1, il sut de montrer que si E
alors = 0.
Daprès le Theorème 2.1.2, est denie par une mesure /(T) et = 0 si et seulement
si = 0. Comme
_
2
0
r,
(e
it
)d(t) =
_
2
0
P
r
( t)d(t) = P()(re
i
),
on a donc
_
2
0

r,
(e
it
)d(t) = 0 pour 0 r < 1 et R si et seulement si P() = 0, ce
qui implique 0 = (P()) = ||. 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
L
s
: c(T) C par
L
s
(g) =
_
2
0
g(e
it
)f(se
it
)dt.
On remarque que L
s
(
r,
) =
_
2
0
P
r
( t)f(se
it
)dt. Comme la fonction u f(su) est
continue sur D, harmonique dans D, daprès le Theorème 1.3.1,
_
2
0
P
r
( t)f(se
it
)dt =
2f(sre
i
). On a donc L
s
(
r,
) = 2f(sre
i
) et par continuite de f sur D(0, r) on obtient :
lim
s1
L
s
(
r,
) = 2f(re
i
).
La linearite de L
s
nous garantit que pour tout g E, lim
s1
L
s
(g) existe.
Letape suivante de la preuve consiste à montrer que lim
s1
L
s
(h) existe pour toute fonc-
tion h c(T). On a
|L
s
| = sup
_
_
2
0
f(se
it
)g(e
it
)dt
: |g|
1
_
_
2
0
[f(se
it
)[dt (f) < . (2.3)
Soit > 0 et soit h c(T). Comme E est dense dans c(T), il existe g E telle que
|g h|

2(f)
. De plus, comme L(g) := lim
s1
L
s
(g) existe, il existe > 0 tel que
pour 1 < s < 1, on ait [L
s
(g) L(g)[ <

4(f)
. Pour s, s
]1 , 1[, daprès (2.3), on

obtient :
[L
s
(h) L
s
(h)[ [L
s
(h) L
s
(g)[ +[L
s
(g) L(g)[ +[L(g) L
s
(g)[ +[L
s
(g) L
s
(h)[
|L
s
||h g|
+

4(f)
+

4(f)
+|L
s
||h g|
32 CHAPITRE 2. TH
EORIE AVANC

(f)

2(f)
+

2(f)
+ (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 (L
s
)
0s<1
, veriant le critère de Cauchy, est convergente. Appelons L sa limite
qui, daprès (2.3), verie |L| (f). Puisque L (c(T))
, daprès le Theorème 2.1.2, il

existe une mesure complexe /(T) telle que :
L(h) = L
c
()(h) =
_
2
0
h(e
it
)d(t), h c(T).
Il ne reste plus quà verier que P() = f.
Daprès les calculs precedents, nous avons :
P()(re
i
) =
1
2
_
2
0
P
r
( t)d(t)
=
1
2
L(
r,
)
=
1
2
lim
s1
L
s
(
r,
)
=
1
2
2f(re
i
) = f(re
i
).
Ainsi P() = f et la preuve du theorème est achevee.
Corollaire 2.2.1 Lapplication P() est une isometrie bijective de /

+
(T) :=
mesure positive nie sur T sur lensemble des fonctions harmoniques positives sur D.
Preuve : Soit /
+
(T). Pour toute fonction f c(T) positive on a donc
_
T
fd 0.
Comme P()(re
i
) =
1
2
_
2
0
P
r
( t)d(t) avec t P
r
( t) continue et positive pour
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 :
_
2
0
[f(se
it
)[dt =
_
2
0
f(se
it
)dt
= 2f(0),
2.3. LIMITES RADIALES DES FONCTIONS HARMONIQUES SUR D 33
daprès le Corollaire 1.2.3. On a donc (f) := sup
0s<1
_
2
0
[f(se
i
)[d = 2f(0) < , ce
qui prouve que f S. Daprès le Theorème 2.2.1, il existe /(T) telle que f = P().
Dans la preuve du Theorème 2.2.1, on a vu que pour toute fonction h continue sur T on
a :
_
2
0
h(e
it
) d(t) = lim
s1
_
2
0
h(e
it
)f(se
it
) dt.
Ainsi, si h est une fonction continue positive sur T on a
_
2
0
h(e
it
) d(t) 0. Ceci montre
aussi que lapplication lineaire : c(T) C denie par (h) =
1
2
_
2
0
h(e
it
) d(t) est
continue avec || = f(0) et positive. Ainsi c
+
(T). Daprès le Theorème 2.1.2, est
une mesure positive nie.
2.3 Limites radiales des fonctions harmoniques sur D

Nous allons montrer à present que si f est une fonction harmonique positive dans D
alors lim
r1
f(re
it
) existe pour presque tout t et de plus cette limite radiale co
incide avec
la derivee de Radon-Nikodym de la mesure positive veriant f = P().
2.3.1 Rappels de theorie de la mesure sur R
Soit m la mesure de Lebesgue sur R, m(E) =
_
E
dx pour tout borelien E de R.
Soit une mesure complexe sur R.
Mesure etrangère à la mesure de Lebesgue
On dit que est etrangère à m et on note m sil existe un borelien A de R tel
que m(A) = 0 et tel que (E) = (E A) pour tout borelien E. Autrement dit, est
portee par un borelien de mesure de Lebesgue nulle. Voici deux exemples de mesures sur
R etrangères à m :
1. Soit t
0
un point de R et soit
t
0
la mesure de Dirac en t
0
. Posons A = t
0
. On a
donc m(A) = 0 tandis que pour tout borelien E de R on a
t
0
(E) =
t
0
(E A) car
34 CHAPITRE 2. TH
EORIE AVANC
t
0
(E) = 0 si t
0
, E et
t
0
(E) = 1 si t
0
E.
2. On enumère (r
n
)
n1
la suite denombrable des rationnels de R et on considère la
mesure =
n1
1
n
2
rn
, serie convergente dans lespace de Banach /(R). Posons
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
_
j
[(F
j
)[ : (F
j
)
j
partition de E A
_
= sup
_
j
[(E
j
A)[ : (E
j
)
j
partition de E
_
.
Comme par hypothèse (F A) = (F) pour tout borelien F de R, on a donc [[(EA) =
sup
j
[(E
j
)[ : (E
j
)
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
absolument continue par rapport à m, il existe une unique fonction f L
1
(R) telle que
(E) =
_
E
f(x)dx. On ecrit aussi d(x) = f(x)dx.
Theorème de Radon-Nikodym et derivee dune mesure au sens de Radon-
Nikodym
Theorème 2.3.1 (de Radon-Nikodym) Soit m la mesure de Lebesgue sur R et soit
une mesure complexe denie sur R, i.e. /(R). Alors il existe un unique couple (, )
de mesures de /(R) tel que
= + avec m et m.
Lobjet de la section suivante (cf. [22], Chap. 8, p. 148) est de montrer que si f est la
derivee de Radon-Nikodym de , i.e. la fonction f L
1
(R) telle que (E) =
_
E
f(x)dx
pour tout borelien E de R, alors
lim
s0
(]x s, x + s[)
2s
= f(x) m-presque partout.
2.3.2 Derivees superieures et inferieures dune mesure à valeurs
reelles et denie sur R
Denition 2.3.1 Pour x R et s > 0, on pose I
x,s
=]x s, x + s[. Soit une mesure à
valeurs reelles et denie sur R.
On appelle derivee superieure de en x la quantite
D()(x) := limsup
s0
(I
x,s
)
2s
.
On appelle derivee inferieure de en x la quantite
D()(x) := liminf
s0
(I
x,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 /(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) =
(I
x,
1
n
)
2
n
=
n(I
x,
1
n
)
2
.
Soit s ]0, 1[ et soit n 1 tel que
1
n+1
< s
1
n
. Comme est une mesure positive on a :
_
I
x,
1
n+1
_
(I
x,s
)
_
I
x,
1
n
_
et donc
n
2
_
I
x,
1
n+1
_
(I
x,s
)
2s

n + 1
2

_
I
x,
1
n
_
.
36 CHAPITRE 2. TH
EORIE AVANC

Ainsi on obtient :
n
n + 1
n+1
(x)
(I
x,s
)
2s

n + 1
n

n
(x).
Comme limsup
n
n
(x) = limsup
n
n+1
n

n
(x) = limsup
n
n
n+1
n+1
(x)
et liminf
n

n
(x) = liminf
n
n+1
n

n
(x) = liminf
n
n
n+1
n+1
(x), on en deduit que
limsup
n
n
(x) = limsup
s0
(I
x,s
)
2s
et liminf
n
n
(x) = liminf
s0
(I
x,s
)
2s
.
Fixons n 1 et choisissons a R tel que a < x
1
n
. On obtient alors :
2
n
n
(x) =
_
I
x,
1
n
_
=
__
a, x +
1
n
__
__
a, x
1
n
__
.
La positivite de implique que x
_
a, x +
1
n
__
et x
_
a, x
1
n
_
sont des fonc-
tions croissantes donc boreliennes. Par consequent, x
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 nie
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 , P et donc D()(x) = 0.
Il nous reste donc à verier que m(B) = 0.
On pose P
n
=
_
x R : D()(x) >
1
n
_
, de sorte que P =
n1
P
n
et donc B = P A =
n1
(P
n
A). Si m(P A) > 0, il existe n
0
1 tel que m(P
n
0
A) > 0. On pose
alors D = P
n
0
A. Nous savons que m(D) = supm(K) : K D, K compact (=
infm(V ) : V D, V ouvert). Donc si m(B) > 0 il existe K compact, K D avec
m(K) > 0.
Fixons > 0. Comme K P
n
0
=
_
x R : limsup
s0
(Ix,s)
2s
>
1
n
0
_
, pour tout x K, il
existe s(x) > 0 avec s(x) < veriant
(I
x,s(x)
)
2s(x)

1
n
0
.
La famille douverts (I
x,s(x)
)
xK
forme un recouvrement ouvert de K. K etant compact, on
peut en extraire un recouvrement ni I
x
1
,s(x
1
)
, , I
x
k
,s(x
k
)
avec (modulo un rearrangement)
s(x
1
) s(x
k
). On pose ensuite u
1
= 1 et on denit la suite croissante dentiers
u
2
, , u
p
avec p k par la relation :
u
i+1
= infj u
i
: I
x
j
,s(x
j
)
(
ti
I
xu
t
,s(xu
t
)
) = .
On sarrete à p k tel que
(
tp
I
xu
t
,s(xu
t
)
) I
x
j
,s(x
j
)
,= pour tout j > u
p
.
Par construction les intervalles L
i
= I
xu
i
,s(xu
i
)
sont disjoints deux à deux pour 1 i p.
Pour 1 i p, on note ensuite par

L
i
lintervalle ouvert ]x
u
i
3s(x
u
i
), x
u
i
+ 3s(x
u
i
)[.
Autrement dit

L
i
est, comme L
i
, centre en x
u
i
mais a une longueur triple de celle de L
i
.
Nous allons verier que (
L
i
)
1ip
est un recouvrement ouvert de K.
Si i = u
t
pour un certain t avec 1 t p alors I
x
i
,s(x
i
)
= L
t

L
t
.
Si i ,= u
t
pour tout t avec 1 t p, soit t
0
le plus grand entier tel que u
t
0
< i. Alors
I
x
i
,s(x
i
)
rencontre I
xu
j
,s(xu
j
)
pour un certain j t
0
. Comme u
j
u
t
0
< i, la longueur de
I
x
i
,s(x
i
)
qui vaut 2s(x
i
) est donc par construction inferieure ou egale à 2s(x
u
j
) qui est la
longueur de L
j
. Ainsi on a donc I
x
i
,s(x
i
)

L
j
.
En resume on a montre que les intervalles (L
i
)
1ip
etaient disjoints deux à deux et que
(
L
i
)
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 L

i
,
1 i p, sont centres en des points de K et de demi-longueur strictement inferieures à
, on a donc
1ip
L
i
K
. Les intervalles L
i
, 1 i p, etant deux à deux disjoints on
a donc :
(K
1ip
(L
i
)
38 CHAPITRE 2. TH
EORIE AVANC

Comme L
i
est de la forme ]x s, x + s[ avec
(]xs,x+s[)
2s

1
n
0
, on a donc :
(L
i
)
m(L
i
)
n
0
=
m(
L
i
)
3n
0
pour 1 i p.
On en deduit :
(K
1ip
m(
L
i
)
3n
0
1
3n
0
m(
1ip
L
i
)
1
3n
0
m(K),
avec m(K) > 0. Comme K =
m1
K1
m
, on a donc :
(K) = lim
m
_
K1
m
_
1
3n
0
m(K) > 0.
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 /(R) est telle que m alors

D()(x) := lim
s0
(I
x,s
)
2s
existe et est nul m-presque partout.
Preuve : Daprès (2.4) nous avons [[ m. Ainsi il existe un borelien A de R tel que
m(A) = 0 et [[(E) = [[(E A) pour tout borelien E de R. Soit D = R A. On a donc
[[(D) = [[(D A) = 0.
Daprès le Lemme 2.3.2, il existe un borelien F D tel que m(F) = 0 et D([[)(x) = 0
pour tout x D F. Comme
|(Ix,s)|
2s

||(Ix,s)
2s
, D([[)(x) = 0 implique D()(x) = 0 pour
tout x D F. Le complementaire dans R de D F est R ((R A) (R F)) = A F.
Comme m(A) = 0 = m(F), on a donc m(A F) = 0 et donc D()(x) est nul m-presque
partout.

Corollaire 2.3.2 Si /(R) est telle que m alors
D()(x) := lim
s0
(I
x,s
)
2s
existe et co
incide avec f(x) m-presque partout o` u f est la fonction de L

1
(R) telle que
(E) =
_
E
f(x)dx pour tout borelien E de R.
Preuve : Soit f la fonction de L
1
(R) telle que (E) =
_
E
f(x)dx pour tout borelien E
de R. Si f est continue, on a :
(]x s, x + s[) =
_
x+s
xs
f(t)dt,
et donc
lim
s0
(]x s, x + s[)
2s
= lim
s0
1
2s
_
x+s
xs
f(t)dt = f(x).
Dans un premier temps nous allons nous restreindre au cas o` u est une mesure reelle.
Dans ce cas f est elle-aussi à valeurs reelles.
Pour r Q on pose A
r
= x R : f(x) < r et B
r
= x R : f(x) r. On denit la
mesure
r
sur tout borelien E de R par la formule :
r
(E) =
_
EBr
(f(x) r)dx.
r
a bien un sens car x f(x) r est mesurable. Comme f(x) r est positive sur
E B
r
, la mesure
r
est positive. Dautre part, comme f L
1
(R) et comme la mesure
de Lebesgue est nie sur les compacts, la mesure
r
est nie sur les compacts. De plus
r
(A
r
) =
_
(f(x) r)dx = 0. Daprès le Lemme 2.3.2, il existe un borelien A
r
A
r
tel
que m(A
r
A
r
) = 0 et D(
r
)(x) = 0 pour tout x A
r
. Par construction, la mesure
r
est
positive et donc D(
r
)(x) 0. Ainsi D(
r
)(x) = 0 pour tout x A
r
implique D(
r
)(x) = 0
pour tout x A
r
. On pose Y :=
rQ
(A
r
A
r
). Q etant denombrable, Y est la reunion
denombrable densembles de mesures de Lebesgue nulle. On a donc m(Y ) = 0. Soit x , Y
et soit r un rationnel tel que r > f(x). On a donc x A
r
et comme x , Y , on a donc
x A
r
. On a donc lim
s0
r
(]x s, x + s[)
2s
= 0. On remarque que :
r
(]xs, x+s[) =
_
]xs,x+s[Br
(f(t) r)dt
_
]xs,x+s[
(f(t) r)dt = (]xs, x+s[) 2rs,
40 CHAPITRE 2. TH
EORIE AVANC

car pour t A
r
on a (f(t) r) 0. On en deduit ainsi que :
r
(]x s, x + s[)
2s
+ r
(]x s, x + s[)
2s
.
Ainsi, si x , Y et si r est un rationnel tel que r > f(x), on a :
limsup
s0
(]x s, x + s[)
2s
r.
La densite de Q dans R nous permet darmer que pour tout x , Y on a :
limsup
s0
(]x s, x + s[)
2s
f(x).
Par un raisonnement analogue applique cette fois-ci à la mesure () qui reste absolument
continue par rapport à m (et dont la derivee de Radon-Nikodym est f) on montre quil
existe un borelien Z de mesure de Lebesgue nulle tel que si x , Z on a :
limsup
s0
(]x s, x + s[)
2s
f(x),
ce qui implique :
liminf
s0
(]x s, x + s[)
2s
= limsup
s0
(]x s, x + s[)
2s
(f(x)) = f(x).
On a donc montre que si est une mesure reelle absolument continue par rapport à m,
pour tout x , (Y Z) avec m(Y Z) = 0 (car m(Y ) = m(Z) = 0), D()(x) existe et
co
incide avec f(x).

On obtient la preuve du corollaire dans le cas o` u est une mesure complexe en
considerant separement la partie reelle
1
= Re() et la partie imaginaire
2
= Im()
de qui sont absolument continues par rapport à m si m.
La combinaison du Theorème de Radon-Nikodym (Theorème 2.3.1) avec les Corol-

laire 2.3.1 et Corollaire 2.3.2 nous donne le theorème suivant.
Theorème 2.3.2 Soit /(R). Alors il existe un unique couple de mesures (, ) avec
m et m et il existe une unique fonction f L
1
(R) veriant :
_
_
(E) =
_
E
f(x)dx pour tout borelien E de R
D()(x) := lim
s0
(]x s, x + s[)
2s
= f(x) m-presque partout.
Autrement dit, si /(R), alors D()(x) L
1
(R) et si on pose (E) := (E)
_
E
D()(x)dx pour tout borelien E de R alors m.
Il existe un analogue du theorème ci-dessus pour des mesures complexes sur R
k
, k 1 (cf.
[22]).
2.3.3 Limite radiale de lintegrale de Poisson par rapport à
/(T)
Proposition 2.3.1 Soit /(T) à valeurs reelles. Lintegrale de Poisson par rapport
à est la fonction harmonique sur D denie par :
P()(re
i
) =
1
2
_

P
r
( t)d(t),
pour 0 r < 1 et R. On a alors :
limsup
r1
P()(re
i
) D()() := limsup
s0
(] s, + s[)
2s
.
Preuve : Soit ]0, [. On a alors :
P()(re
i
) =
1
2
_
|t|
P
r
( t)d(t) +
1
2
_
|t|<
P
r
( t)d(t).
Daprès la Proposition 1.3.1, on a P
r
( t) =
1 r
2
1 2r cos( t) + r
2
. Si [ t[ on
obtient P
r
( t)
1 r
2
1 2r cos + r
2
= P
r
() et donc
1
2
_
|t|
P
r
( t)d(t)
P
r
()
2
_
|t|
d[[(t)
P
r
()
2
||.
On remarque que comme ]0, [, lim
r1
P
r
() = lim
r1
1 r
2
1 2r cos + r
2
= 0. Nous allons
estimer à present
1
2
_
|t|<
P
r
( t)d(t) =
1
2
_

+
P
r
( t)d(t).
On considère le domaine de C deni par = (s, t) R
2
: s < t < +s, 0 < s <
(cf. Figure 2.1). Calculons I =
_ _
r
(s) dsd(t). Comme la fonction P
r
est continue et
42 CHAPITRE 2. TH
EORIE AVANC
+

t
s
Fig. 2.1 Domaine dintegration
bornee et comme on lintègre sur un intervalle borne, daprès le Theorème de Fubini, on
obtient :
I =
_

0
__
+s
s
d(t)
_
P
r
(s)ds =
_

0
(] s, + s[)P
r
(s)ds et
I =
_
+
__

|t|
P
r
(s)ds
_
d(t) =
_
+
(P
r
() P
r
([ t[))d(t)
=
_
+
(P
r
() P
r
( t))d(t),
car P
r
est une fonction paire. On en deduit que :
_
+
P
r
( t)d(t) =
_
+
P
r
()d(t) +
_

0
(] s, + s[)(P
r
(s))ds
= P
r
()(] s, + s[) +
_

0
(] s, + s[)(P
r
(s))ds,
avec P
r
(s) 0 pour tout s [0, ] car P
r
est decroissante sur [0, ] car ]0, [. Soit
A > D()(). Si est assez petit, on a :
s ]0, ], (] s, + s[) < 2sA.
Ainsi on obtient :
_
+
P
r
( t)d(t) 2AP
r
() +
_

0
2As(P
r
(s))ds
= 2A(P
r
() +
_

0
sP
r
(s)ds).
En integrant par parties, on a :
P
r
() +
_

0
sP
r
(s)ds = P
r
() + [sP
r
(s)]
0
+
_

0
P
r
(s)ds
=
_

0
P
r
(s)ds
_

0
P
r
(s)ds = .
Finalement, pour assez petit, comme
_
|t|<
P
r
( t)d(t) 2A, on obtient :
A > D()(), P()(re
i
) A+ P
r
()
||
2
.
Comme lim
r1
P
r
() = 0, limsup
r1
P()(re
i
) D().
Nous deduisons aisement de la proposition precedente le theorème suivant :

Theorème 2.3.3 Soit /(T). Pour presque tout t R (par rapport à la mesure
de Lebesgue), lim
r1
P()(re
it
) existe et si on pose (e
it
) = lim
r1
P()(re
it
), alors
L
1
(T) et est la derivee de Radon-Nikodym de par rapport à la mesure de Lebesgue.
Autrement dit, si lon pose (E) := (E)
_
E
(e
it
)dt pour tout borelien E de T, alors
m.
Preuve : Supposons tout dabord que est à valeurs reelles. En appliquant la Proposi-
tion 2.3.1 à , comme P
= P(), limsup
r1
P()(re
it
) = liminf
r1
P()(re
it
)
et D() = D(), on obtient :
D()() liminf
r1
P()(re
it
) limsup
r1
P()(re
it
) D()().
Or, daprès le Theorème 2.3.2, D()() = D()() = D()() m-presque partout et de
plus D() co
incide avec la derivee de Radon-Nikodym de par rapport à la mesure de

Lebesgue.. On en deduit immediatement lassertion du theorème. Si est une mesure
complexe, on ecrit =
1
+ i
2
avec
1
et
2
mesures à valeurs reelles. Comme D(
1
) et
D(
2
) existent m-presque partout et comme D() = D(
1
) +iD(
2
), D() est bien deni
m-presque partout. Comme P() = P(
1
) +iP(
2
), lassertion du theorème reste vraie si
est une mesure complexe.
44 CHAPITRE 2. TH
EORIE AVANC

2.3.4 Applications : description de certaines fonctions harmo-
niques
En utilisant le Corollaire 2.2.1 et le Theorème 2.3.3, on obtient une description des
fonctions harmoniques positive sur D.
Corollaire 2.3.3 Soit F une fonction harmonique positive sur D. Alors
F
(e
it
) := lim
r1
F(re
it
)
existe m-presque partout et F
L
1
(T). De plus il existe une mesure positive nie sur T
telle que m et F = P(F
) +P() avec lim

r1
P()(re
it
) = 0 pour presque tout t R
(par rapport à la mesure de Lebesgue).
Plus generalement, daprès le Theorème 2.2.1 et le Theorème 2.3.3, on obtient la description
des fonctions harmoniques sur D telles que sup
0s<1
_
2
0
[f(se
i
)[d < .
Corollaire 2.3.4 Soit F une fonction harmonique sur D telle que sup
0s<1
_
2
0
[f(se
i
)[d <
. Alors
F
(e
it
) := lim
r1
F(re
it
)
existe m-presque partout et F
L
1
(T). De plus il existe une mesure nie sur T telle
que m et F = P(F
) +P() avec lim

r1
P()(re
it
) = 0 pour presque tout t R (par
rapport à la mesure de Lebesgue).
2.4. EXERCICES 45
2.4 Exercices
Exercice 2.4.1
Soit u la fonction denie sur D par u(z) = Im
_
_
1+z
1z
_
2
_
.
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 dierence 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
denie sur la tribu des boreliens dun espace separe localement compact) telle que m.
Alors D()(x) = + presque partout par rapport à la mesure .
Exercice 2.4.3 [utiliser lexercice 2.4.2]
Soit une mesure de Borel positive reelle sur T non identiquement nulle et telle que m.
Si u = P(), demontrer que lim
r1
u(re
i
) = pour au moins un R.
Exercice 2.4.4 [utiliser lexercice 2.4.2]
Soit u une fonction harmonique positive dans D telle que lim
r1
u(re
i
) = 0 pour tout
e
i
,= 1. Demontrer quil existe une constante c telle que u(re
i
) = cP
r
().
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 dierentes de x).
Indication : Si C est lensemble convexe des mesures de Borel positives sur T, de variation
totale 1, montrer que les points extremaux de C sont exactement les mesures de Dirac
concentrees en un point de T.
46 CHAPITRE 2. TH
EORIE AVANC

Chapitre 3
La classe de Nevanlinna ^
3.1 Rappels : primitive de fonction holomorphe, fonc-
tions log
+
et log
, decomposition de Jordan dune

mesure complexe
3.1.1 Primitive de fonction holomorphe
Les equivalences que donnent le theorème suivant se trouvent en particulier dans [15].
Theorème 3.1.1 Pour tout ouvert non vide de C, les assertions suivantes sont equivalentes.
1. est homeomorphe à D.
2. est simplement connexe.
3. Pour toute fonction holomorphe sur et pour tout lacet dans :
_
f(z)dz = 0.
4. Toute fonction holomorphe sur possède une primitive (holomorphe) dans .
5. Toute fonction holomorphe f sur ne sannulant pas sur possède une determination
holomorphe de log f, i.e. , il existe g holomorphe sur veriant f = e
g
.
3.1.2 Fonctions log
+
et log
La fonction log
+
est la fonction continue denie sur ]0, +[ par
log
+
(s) =
_
log s si s 1
0 si 0 < s < 1.
47
48 CHAPITRE 3. LA CLASSE DE NEVANLINNA ^
Autrement dit, log
+
(s) = sup(log s, 0).
La fonction log
est la fonction continue denie sur ]0, +[ par

log
(s) =
_
0 si s 1
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 Decomposition de Jordan dune mesure reelle
Soit une mesure reelle sur une tribu / dun ensemble X. On denit les mesures
+
et
par
+
=
1
2
([[ + ) et
=
1
2
([[ ),
o` u [[ est la mesure positive denie pour tout E / par :
[[(E) = sup
_
i1
[(E
i
)[ : (E
i
)
i1
partition denombrable de E
_
.
Alors
+
et
sont des mesures positives telles que =

+

et [[ =
+
+
.
La mesure
+
est appelee la variation positive de et la mesure
est appelee la
variation negative de . La decomposition de sous la forme =
+
est appelee
la decomposition de Jordan de .
Theorème 3.1.2 (de decomposition de Hahn) Soit une mesure reelle (nie) sur
une tribu / dun ensemble X. Il existe deux ensembles A et B de / tels que AB = X,
A B = et tels que les variations positives et negatives de satisfassent :
+
(E) = (E A) et
(E) = (E B) pour tout E /,

ce qui implique en particulier que
+

. Le couple (A, B) est appele la decomposition

de Hahn de X induite par .
Preuve : Nous avons vu dans le paragraphe 2.1.2 quil existait une fonction h mesurable
avec [h[ = 1 [[-presque partout et d = hd[[. Comme est reelle, h est aussi à valeurs
3.2. D
EFINITION DE ^, FONCTIONS DE ^ SANS Z
ERO 49
reelles. Ainsi, quitte à redenir h sur un ensemble negligeable par rapport à la mesure [[,
on peut supposer que les deux seules valeurs que prend h sont 1 et 1. On denit ensuite les
deux elements A et B de / par A := x X : h(x) = 1 et B := x X : h(x) = 1.
Comme
+
=
1
2
([[ + ) et
1
2
(1 + h) =
_
h sur A
0 sur B
, nous en deduisons que pour tout
E /,
+
(E) =
1
2
_
E
(1 +h)d[[ =
_
EA
hd[[ = (E A).
Comme (E) = (E A) + (E B) et =
+
, on obtient
(E) = (E B).
3.2 Denition de la classe de Nevanlinna ^ et des-

cription des fonctions de ^ ne sannulant pas sur
D
Denition 3.2.1 La classe de Nevanlinna ^ est denie par :
^ :=
_
f Hol(D) : sup
0r<1
_

log
+
[f(re
it
)[dt <
_
.
Les fonctions de ^ etant holomorphes, ce sont des fonctions harmoniques sur D à valeurs
complexes. Nous allons tout dabord considerer les fonctions de ^ qui ne sannulent pas
sur D.
Theorème 3.2.1 Soit f ^ ne sannulant pas sur D. Alors il existe R et une mesure
(nie) reelle sur T dont les variations positives et negatives
+
et
satisfont :
f(z) = e
i
e
1
2
_

e
it
+ z
e
it
z
d
(t)
e
1
2
_

e
it
+ z
e
it
z
d
+
(t)
.
En particulier f est le quotient de deux fonctions holomorphes bornees sur D.
Preuve : Comme D est simplement connexe, daprès le Theorème 3.1.1, si f ^
ne sannule pas sur D, il existe g Hol(D) veriant f = e
g
et ainsi log [f[ = Re(g).
Par consequent log [f[ est harmonique (comme partie reelle dune fonction holomorphe).
Daprès le Corollaire 1.2.3, pour 0 r < 1,
_

log [f(re
it
)[dt = 2 log [f(0)[.
Comme, par denition de ^, sup
0r<1
_

log
+
[f(re
it
)[dt < et comme
_

log
[f(re
it
)[dt =
_

log
+
[f(re
it
)[dt
_

log [f(re
it
)[dt,
on obtient :
sup
0r<1
_

log
[f(re
it
)[dt < .
De plus, comme [ log(s)[ = log
+
(s) + log
(s), on a :
sup
0r<1
_

[ log [f(re
it
)[[dt < .
Daprès le Theorème 2.2.1, il existe une mesure /(T) telle que log [f[ = P() sur D.
Comme log [f[ est reelle, il est clair que est reelle. On a donc
Re(g(z)) = log [f(z)[ = Re
_
1
2
_

e
it
+ z
e
it
z
d(t)
_
.
Daprès les equations de Cauchy-Riemann, il existe R tel que :
g(z) =
1
2
_

e
it
+ z
e
it
z
d(t) + i,
ce qui implique
f(z) = e
i
e
1
2
_

e
it
+ z
e
it
z
d(t)
,
o` u est une mesure reelle et R. Daprès la decomposition de Jordan dune mesure
reelle et daprès le Theorème 3.1.2, =
+
avec
+
et
mesures positives telles que
(car concentrees sur deux ensembles disjoints). Finalement on obtient :

f(z) = e
i
e
1
2
_

e
it
+ z
e
it
z
d
(t)
e
1
2
_

e
it
+ z
e
it
z
d
+
(t)
.
3.2. D
EFINITION DE ^, FONCTIONS DE ^ SANS Z
ERO 51
On remarque que si est une mesure positive, on a :
e
1
2
R
e
it
+z
e
it
z
d(t)
= e
Re
0
@
1
2
_

e
it
+ z
e
it
z
d(t)
1
A
= e
P(z)
1,
car si 0, P
(z) 0. La fonction f ^ 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 ^ qui ne sannulent pas
et de conclure à lexistence de limite radiale pour f m-presque partout.
Lemme 3.2.1 Soit f H
(D) lensemble des fonctions holomorphes bornees sur D muni

de la norme du supremum | |
. Alors , f
(e
it
) := lim
r1
f(re
it
) existe pour presque tout
t R (par rapport à la mesure de Lebesgue) et appartient à L
(T).
Preuve : Soit f une fonction analytique et bornee sur D. Nous avons
sup
0r<1
_

[f(re
it
)[dt 2|f|
o` u |f|
:= sup
|z|<1
[f(z)[.
De plus, comme f est holomorphe sur D elle est harmonique sur D. Daprès le Corol-
laire 2.3.4, f
(e
it
) := lim
r1
f(re
it
) existe m-presque partout et f
L
1
(T). De plus
[f
(e
it
)[ |f|
m-presque partout. Ainsi on obtient f
(T).
Nous pouvons decrire à present les fonctions de ^ sans zero.

Theorème 3.2.2 Soit f ^ ne sannulant pas sur D. Alors, f
(e
it
) := lim
r1
f(re
it
)
existe pour presque tout t R (par rapport à la mesure de Lebesgue) et de plus log [f
[
L
1
(T). De plus il existe une mesure reelle m et R veriant :
f(z) = e
i
e
1
2
_

e
it
+ z
e
it
z
log [f
(e
it
)[dt
e
1
2
_

e
it
+ z
e
it
z
d(t)
.
Preuve : Daprès le Theorème 3.2.1, il existe g, h H
(D) avec g(z) ,= 0 et h(z) ,= 0

pour tout z D, |g|
1, |h|
1 et f =
g
h
. Ainsi
sup
0r<1
_

[g(re
it
)[dt 2 et sup
0r<1
_

[h(re
it
)[dt 2.
Daprès le Lemme 3.2.1, g
(e
it
) = lim
r1
g(re
it
) et h
(e
it
) = lim
r1
h(re
it
) existe pour
presque tout t [0, 2] (par rapport à la mesure de Lebesgue). Comme D est simplement
connexe et h ne sannule pas sur D, il existe une fonction Hol(D) telle que h = e
.
Comme |h|
1, la fonction Re()(= log [h[) est une fonction harmonique negative sur D.
Daprès le Corollaire 2.3.3, (e
it
) := lim
r1
log [h(re
it
)[ existe pour presque tout t [0, 2]
(par rapport à la mesure de Lebesgue). Il existe donc un borelien A de [0, 2] de mesure
de Lebesgue nulle tel que pour tout t [0, 2] A, on est simultanement :
_
lim
r1
log [h(re
it
)[ = (e
it
) existe
lim
r1
h(re
it
) = h
(e
it
) existe.
Par consequent, pour t [0, 2] A, on a [h
(e
it
)[ , = 0. Si B est un borelien de mesure
de Lebesgue nulle telle que g
(e
it
) = lim
r1
g(re
it
) existe pour tout t [0, 2] B, on a
donc :
f
(e
it
) = lim
r1
f(re
it
) existe pour tout t [0, 2] (A B) et f
(e
it
) =
g
(e
it
)
h
(e
it
)
.
Nous avons vu dans la preuve du Theorème 3.2.1 que f etait de la forme
f(z) = e
i
e
1
2
_

e
it
+ z
e
it
z
d(t)
avec mesure reelle de /(T) telle que log [f[ = P() sur D. Daprès le Theorème 2.3.3,
d(t) = (e
it
)dt + d(t) avec m et (e
it
) = lim
r1
log [f(re
it
)[ pour presque tout t
(par rapport à la mesure de Lebesgue) avec L
1
(T). Nous venons de voir que, pour
presque tout t, (e
it
) = log [f
(e
it
)[. On obtient donc log [f
[ L
1
(T) et
f(z) = e
i
e
1
2
_

e
it
+ z
e
it
z
log [f
(e
it
)[dt
e
1
2
_

e
it
+ z
e
it
z
d(t)
,
avec mesure reelle, m.
3.3. LA FORMULE DE JENSEN ET SES CONS
EQUENCES 53
3.3 La formule de Jensen et ses consequences
Dans cette section, nous allons montrer que les zeros de fonctions de ^, 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
_
2
0
log [1 e
i
[d = 0.
Preuve : On remarque tout dabord que :
[1 e
i
[ = [(1 cos )
2
+ sin
2
[
1/2
= [2(1 cos )[
1/2
= [2 sin(/2)[.
Si lon pose I =
_
2
0
log [1 e
i
[d, on obtient :
I =
_
2
0
log [2 sin(/2)[d =
_
2
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 =
_

0
2 log(2 sin s)ds = 4
_
/2
0
log(2 sins)ds. (3.1)
Dautre part, comme sin(/2s) = cos s, on a aussi I = 4
_
/2
0
log(2 cos s)ds, ce qui donne :
I =
1
2
_
4
_
/2
0
log(2 sin s)ds + 4
_
/2
0
log(2 cos s)ds
_
= 2
_
/2
0
log(4 cos s sin s)ds
= 2
_
/2
0
log(2 sin 2s)ds =
_
0
log(2 sin u)du avec 2s = u.
Comme sin( x) = sin x, on obtient ainsi I = 2
_
/2
0
log(2 sinu)du. Daprès (3.1) on a
donc 2I = I, ce qui implique I = 0.
Theorème 3.3.1 (Formule de Jensen) Soient 0 < r < R et soit f holomorphe sur le
disque ouvert D(0, R) avec f(0) ,= 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 :
log [f(0)[ +
N
n=1
log
r
[
n
[
=
1
2
_
2
0
log [f(re
i
)[d
avec la convention
N
n=1
log
r
|n|
= 0 si f na pas de zero dans D(0, r).
Preuve : Si f na pas de zeros dans D(0, r), elle nen a pas dans le disque ouvert
D(0, r +) pour susamment petit. Comme D(0, r +) est simplement connexe, daprès
le Theorème 3.1.1, il existe g holomorphe dans D(0, r +) telle que f = e
g
, ce qui implique
log [f[ = Re(g). Daprès le Corollaire 1.2.3 appliquee à la fonction harmonique log [f[
continue sur D(0, r) (puisque harmonique sur D(0, r + )) et harmonique sur D(0, r), on
a :
log [f(0)[ =
1
2
_
2
0
log [f(re
i
)[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
g(z) = f(z)
m
n=1
r
2
n
z
r(
n
z)

N
n=m+1
n
z
.
Par construction la fonction g est holomorphe dans D(0, R) et elle ne sannule pas dans
D(0, r). Daprès ce qui precède on a donc :
1
2
_
2
0
log [g(re
i
)[d = log [g(0)[,
cest à dire :
1
2
_
2
0
log [g(re
i
)[d = log [f(0)[ +
m
n=1
log
r
[
n
[
= log [f(0)[ +
N
n=1
log
r
[
n
[
puisque
r
|n|
= 1 pour m + 1 n N. Il nous reste à verier que
_
2
0
log [g(re
i
)[d =
_
2
0
log [f(re
i
)[d. Tout dabord on remarque que si [z[ = r et si [
n
[ < r alors
r
2
nz
r(nz)
= 1.
En eet, si [z[ = r, on a :
[r(
n
z)[ = r[
n
z[ = [z[[
n
z[ = [z
n
r
2
[ = [r
2
n
z[.
On a donc :
_
2
0
log [g(re
i
)[d =
_
2
0
log [f(re
i
)[d +
N
n=m+1
_
2
0
log
n
re
i
d.
EQUENCES 55
Or si
n
= re
in
on obtient :
_
2
0
log
n
re
i
d =
_
2
0
log [1 e
i(n)
[d =
_
2n
n
log [1 e
iu
[du,
en posant u =
n
. La periodicite de lexponentielle nous donne nalement :
_
2
0
log
n
re
i
d =
_
2
0
log [1 e
iu
[du = 0,
daprès le Lemme 3.3.1. Par consequent, on a bien
_
2
0
log [g(re
i
)[d =
_
2
0
log [f(re
i
)[d
et donc
log [f(0)[ +
N
n=1
log
r
[
n
[
=
1
2
_
2
0
log [f(re
i
)[d.
Une première consequence de la formule de Jensen est le resultat suivant.

Corollaire 3.3.1 Si f est une fonction holomorphe sur le disque ouvert D(0, R) avec
f(0) ,= 0 alors r
_
log [f(re
it
)[dt est fonction croissante de r avec 0 r < R et en
particulier log [f(0)[
1
2
_
2
0
log [f(re
it
)[dt pour 0 r < R.
Preuve : En eet, daprès la formule de Jensen, pour 0 r < R on a :
log [f(0)[ +
N
n=1
log
r
[
n
[
=
1
2
_
2
0
log [f(re
i
)[d,
avec log
r
|n|
0. Lorsque r augmente,
N
n=1
log
r
|n|
augmente aussi.
La deuxième application de la formule de Jensen nous donne un renseignement sur la

suite des zeros de toute fonction de ^.
Corollaire 3.3.2 Si f ^ a une suite innie de zeros (
n
)
n1
repetes selon leur multi-
plicite, alors necessairement
n1
1 [
n
[ < .
La condition
n1
1 [
n
[ < implique que [
n
[ 1 assez rapidement.
Preuve : En rempla cant f par g : z
f(z)
z
k
si 0 est un zero de f de multiplicite k, on
peut supposer que f(0) ,= 0. Pour cela il faut verier que g ^. Par construction, nous
avons g Hol(D). Il reste à verier que
J := sup
0r<1
_

log
+
[g(re
it
)[dt = sup
0r<1
_

log
+
f(re
it
)
r
k
e
ikt
dt < .
Pour 0 < < 1 on a :
J = max
_
sup
0r
_

log
+
f(re
it
)
r
k
e
ikt
dt, sup
r<1
_

log
+
f(re
it
)
r
k
e
ikt
dt
_
.
Comme log
+
(ab) log
+
a + log
+
b et comme
1
r
k

1
k
pour r , on obtient :
sup
r<1
_

log
+
f(re
it
)
r
k
e
ikt
dt sup
r<1
__

log
1
k
dt +
_

log
+
[f(re
it
)[dt
_
< ,
car f ^. La fonction z
f(z)
z
k
continue sur le compact D(0, ) est uniformement
majoree par une constante M et de ce fait sup
0r
_
log
+
f(re
it
)
r
k
e
ikt
dt < . On a ainsi
verie que g ^ et lon peut donc supposer que f(0) ,= 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 max
np
[
n
[. Daprès la formule de Jensen (Theorème 3.3.1), on a :
log [f(0)[ +
p
n=1
log
r
[
n
[

1
2
_
2
0
log [f(re
it
)[dt
1
2
_
2
0
log
+
[f(re
it
)[dt < M
0
< ,
car f ^. Lentier p etant xe, on fait tendre r vers 1
et on obtient :
log [f(0)[ +
p
n=1
log
1
[
n
[
M
0
,
et donc
p
n=1
log
1
|n|
M
0
log [f(0)[ pour tout entier p 1. La serie
n1
log
1
|n|
etant
à termes positifs, elle est donc convergente. Comme [
n
[ 1, on a aussi
1
|n|
1 et donc
log
1
|n|

1
|n|
1 1 [
n
[ quand n . On en deduit que
n1
1 [
n
[ < .
Le resultat suivant est en quelque sorte une reciproque du corollaire precedent.

EQUENCES 57
Theorème 3.3.2 Soit (
n
)
n1
une suite de complexes non nuls tels que [
n
[ < 1, n 1
avec de plus
n1
1 [
n
[ < . Alors le produit inni
n1
[
n
[
n
z
1
n
z
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. Enn B
(e
it
) :=
lim
r1
B(re
it
) existe m-presque partout et est de module 1 m-presque partout avec
lim
r1
log [B(re
it
)[dt = 0.
Preuve : Rappelons que si est un ouvert de C et si (f
n
)
n1
est une suite de fonctions
holomorphes dans telle que
n1
[1 f
n
(z)[ converge uniformement sur tout compact
de , alors le produit
n1
f
n
(z) converge uniformement sur tout compact de vers f
fonction holomorphe sur et lensemble des zeros de f est lunion des zeros de f
n
, n 1.
Posons f
n
(z) =
|n|
n
nz
1nz
et remarquons que
1 f
n
(z) =
(1 [
n
[)(
n
+[
n
[z)
n
(1
n
z)
=
(1 [
n
[)(1 +
|n|
n
z)
(1
n
z)
.
On en deduit alors que
[1 f
n
(z)[
2(1 [
n
[)
[1
n
z[

2(1 [
n
[)
1 [z[

2(1 [
n
[)
1 r
,
si [z[ r < 1. Ainsi
n1
[1 f
n
(z)[ converge uniformement sur D(0, r) pour r < 1 si
n1
1 [
n
[ < et donc B(z) =
n1
f
n
(z) denit bien une fonction holomorphe sur
D dont la suite des zeros est la suite (
n
)
n1
. De plus, pour [z[ = 1, on a
[f
n
(z)[ =
n
z
1
n
z
=
[
n
z[
[z
n
[
= 1.
Daprès le principe du maximum applique à la fonction z f
n
(z) holomorphe sur D et
continue sur D, on a [f
n
(z)[ < 1 pour z D. Par consequent [B(z)[ < 1 pour z D et
B H
(D). Daprès le Lemme 3.2.1, B
(e
it
) := lim
r1
B(re
it
) existe m-presque partout.
Montrons à present que lim
r1
log [B(re
it
)[dt = 0. Daprès le Corollaire 3.3.1, r
_
log [B(re
it
)[dt est une fonction croissante de r avec 0 r < 1. Comme les integrales
_
log [B(re
it
)[dt sont negatives, := lim
r1
log [B(re
it
)[dt existe et 0. Posons
R
p
(z) =
n=p+1
[
n
[
n
z
n
1
n
z
et B
p
(z) :=
B(z)
R
p
(z)
=
p
n=1
[
n
[
n
z
n
1
n
z
.
La fonction B
p
est holomorphe sur D(0,
1
rp
) avec r
p
= max
np
[
n
[. On remarque que
[B
p
(z)[ = 1 si [z[ = 1. On en deduit que
lim
r1
log [B
p
(re
it
)[dt = 0,
car la fonction z log [B
p
(z)[ est continue pour r
p
< [z[ <
1
rp
et nulle sur T. On obtient
alors :
lim
r1
log [B(re
it
)[dt = lim
r1
(
_

log [B
p
(re
it
)[dt +
_

log [R
p
(re
it
)[dt)
= lim
r1
log [R
p
(re
it
)[dt,
pour tout p 1. Daprès le Corollaire 3.3.1,
_

log [R
p
(re
it
)[dt 2 log [R
p
(0)[.
Par consequent pour tout p 1, := lim
r1
log [B(re
it
)[dt verie
2 log [R
p
(0)[ = 2 log
_

np+1
[
n
[
_
.
Comme
n1
(1 [
n
[) < , le produit inni
n1
[
n
[ converge. Daprès le critère de
Cauchy pour la convergence dun produit inni de termes strictement positifs (cf. exercice),
on a lim
p
np
[
n
[ = 1. Finalement 0 et donc = 0.
IL nous reste à verier que [B
(e
it
)[ = 1 m-presque partout. Daprès le lemme de
Fatou (qui dit que si
n
est une suite de fonctions positives mesurables sur [, ],
alors
_
liminf
n
(t)dt liminf
_

n
(t)dt ou encore que si
n
est une suite de fonctions
negatives mesurables sur [, ], alors limsup
_

n
(t)dt
_
limsup
n
(t)dt), si
r
n
1
, on a :
limsup
_

log [B(r
n
e
it
)[dt
_

limsup log [B(r

n
e
it
)[dt
3.4. DESCRIPTION DES FONCTIONS DE ^ 59
et donc 0 =
_
log [B
(e
it
)[dt. Dautre part, comme [B
(e
it
)[ 1 m-presque partout,
on a log [B
(e
it
)[ 0 m-presque partout. Finalement on en deduit que log [B
(e
it
)[ = 0
m-presque partout et donc [B
(e
it
)[ = 1 m-presque partout.
Nous allons à present denir les produits de Blaschke generaux.

Denition 3.3.1 Un produit de Blaschke est un produit de la forme
B(z) = e
i
z
k
n
[
n
[
n
z
1
n
z
,
o` u R, k entier naturel et (
n
)
n
suite vide, nie ou innie de points de D 0 tels que
n
1 [
n
[ < lorsque (
n
)
n
est innie. Par convention
n
||
nz
1nz
= 1 si (
n
)
n
est
une suite vide. Si (
n
)
n
est vide ou nie (resp. innie) on dit que le produit de Blaschke
est ni (resp. inni).
Remarque 3.3.1 Daprès le Theorème 3.3.2, les produits de Blaschke sont des fonctions
de H
(D) tels que B
(e
it
) := lim
r
B(re
it
) existe m-presque partout et est de module 1.
De plus on a aussi
lim
r1
log [B(re
it
)[dt = 0.
Les produits de Blaschke nis sont par construction continus sur D, ce sont donc des
fonctions de A(D), lalgèbre du disque, lalgèbre des fonctions de H
(D) continues sur

D.
3.4 Description des fonctions de ^
Nous avons à present tous les elements pour donner une description complète des fonc-
tions de la classe de Nevanlinna.
Theorème 3.4.1 Soit f ^ non identiquement nulle. Soit B le produit de Blaschke
associe à la suite des zeros de f, i.e. B(z) = z
k
n1
|n|
n
nz
1nz
si 0 est un zero dordre k
de f et avec (
n
)
n1
suite des zeros non nuls de f repetes selon leur multiplicite. Alors
f
B
^, f
(e
it
) := lim
r1
f(re
it
) existe m-presque partout et log [f
[ L
1
(T). Enn il
existe une mesure
f
reelle (nie) sur T,
f
m et un reel tels que pour tout z D on
ait :
f(z) = e
i
B(z)e
1
2
_

e
it
+ z
e
it
z
log [f
(e
it
)[dt
e
1
2
_

e
it
+ z
e
it
z
d
f
(t)
.
Preuve : Verions que g :=
f
B
^. Par construction, g est une fonction holomorphe
dans D (qui ne sannule pas). Il reste à montrer que sup
0r<1
_

log
+
f(re
it
)
B(re
it
)
dt < .
Comme log
+
(ab) log
+
(a) + log
+
(b) et comme [B(re
it
)[ < 1 si r < 1 on a :
_

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

log
+
[f(re
it
)[dt +
_

log
+
1
B(re
it
)
dt
=
_

log
+
[f(re
it
)[dt +
_

log
1
B(re
it
)
dt
=
_

log
+
[f(re
it
)[dt
_

log [B(re
it
)[dt.
Comme lim
r1
log [B(re
it
)[dt = 0 et sup
0r<1
_
log
+
[f(re
it
)[dt < puisque f ^,
on a donc sup
0r<1
_

log
+
f(re
it
)
B(re
it
)
dt < , ce qui prouve que

f
B
^.
Comme g est une fonction de ^ qui ne sannule pas, daprès le Theorème 3.2.2, g
(e
it
) :=
lim
r1
g(re
it
) existe m-presque partout avec log [g
[ L
1
(T). Dautre part, daprès le
Remarque 3.3.1, B
(e
it
) := lim
r1
B(re
it
) existe m-presque partout et est de module 1.
Comme f = Bg, on obtient f
(e
it
) := lim
r1
f(re
it
) = B
(e
it
)g
(e
it
) denie m-presque
partout avec [f
[ = [g
[ L
1
(T). La dernière assertion du Theorème 3.2.2 nous permet de
conclure la preuve du theorème.
3.5. EXERCICES 61
3.5 Exercices
Exercice 3.5.1 Soit (u
n
)
n1
une suite de nombres complexes.
1. Montrer que si
n1
u
n
converge strictement vers p C
, alors lim
n
u
n
= 1.
2. Montrer que
n1
u
n
converge (au sens large) si et seulement si pour tout > 0, il
existe n
N tel que si q > p , alors [u

p+1
u
q
1[ < .
Exercice 3.5.2
1. Soit B un produit de Blaschke, soit L
1
(T) une fonction à valeurs reelles et soit
/(T) une mesure reelle (donc nie) telle que m. Verier que f denie sur
D par
f(z) = B(z)e
1
2
_

e
it
+ z
e
it
z
(e
it
)dt
e
1
2
_

e
it
+ z
e
it
z
d(t)
est une fonction de ^.
2. Montrer que pour tout fonction f ^ il existe un unique produit de Blaschke B, une
unique fonction L
1
(T) à valeurs reelles et une unique mesure reelle /(T)
telle que m avec
f(z) = B(z)e
1
2
_

e
it
+ z
e
it
z
(e
it
)dt
e
1
2
_

e
it
+ z
e
it
z
d(t)
.
Exercice 3.5.3 Soit f ^ et soit
+
f
la variation positive de la mesure
f
reelle associee
à f (
f
/(T),
f
m). Montrer que la fonction g denie sur D par
g(z) = f(z)e
1
2
_

e
it
+ z
e
it
z
log
+
[f
(e
it
)[dt
e
1
2
_

e
it
+ z
e
it
z
d
+
f
(t)
est une fonction de H
(D).
Chapitre 4
Les espaces de Hardy H
p
(D),
0 < p
4.1 Rappels
4.1.1 Inegalite de Jensen
Theorème 4.1.1 (Inegalite de Jensen, p. 59 de [22]) Soit une mesure positive sur
une tribu / dans un ensemble telle que () ]0, [. Soit f L
1
() une fonction à
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
_
1
()
_
fd
_
1
()
_
( f)d.
En particulier si () = 1 on obtient :
__
fd
_
( f)d.
4.1.2 Inegalite de Holder et Minkowski
Theorème 4.1.2 (p. 60 de [22]) Soit X un espace mesure, de mesure positive. Soient
f et g deux fonctions mesurables sur X à valeurs dans [0, ].
1. Soient p et q deux exposants conjugues (i.e.
1
p
+
1
q
= 1) avec 1 < p < . Alors
_
X
fgd
__
X
f
p
d
_
1/p
__
X
g
q
d
_
1/q
inegalite de H older.
63
64 CHAPITRE 4. LES ESPACES DE HARDY H
P
(D), 0 < P
2. Soit p [1, [. Alors
__
X
(f + g)
p
d
_
1/p
__
X
f
p
d
_
1/p
+
__
X
g
p
d
_
1/p
inegalite de Minkowski.
Linegalite de Holder dans le cas o` u p = q = 2 sappelle linegalite de (Herman)
Schwarz.
4.1.3 Lespace L
2
(T)
Theorème 4.1.3 (de Plancherel-Parseval) Si f L
2
(T) et si (c
n
)
nZ
est la suite de
ses coecients de Fourier (c
n
=
1
2
_
2
0
f(e
it
)e
int
dt) alors
|f|
2
:=
_
1
2
_
2
0
[f(e
it
)[
2
dt
_
1/2
dt =
nZ
[c
n
[
2
.
De plus f est la somme de sa serie de Fourier (S
n
(f))
n0
(o` u S
n
(f)(e
it
) =
|k|n
c
k
e
ikt
)
avec lim
n
|f S
n
|
2
= 0.
Remarque 4.1.1 Lorsque f , L
2
(T) f nest pas en general egal à la somme de serie de
Fourier
nZ
c
n
e
int
.
Theorème 4.1.4 (de Riesz-Fischer) Toute suite (a
n
)
nZ
de C telle que
nZ
[a
n
[
2
<
est la suite des coecients de Fourier dune fonction g L
2
(T).
4.2 Fonctions sous-harmoniques
4.2.1 Denition et caracterisation
Denition 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
veriant f(z) U(z) sur la frontière Fr() de , on a f(z) U(z) pour tout z .
En pratique, les fonctions continues à valeurs reelles sous-harmoniques sur D sont ca-
racterisees par la propriete locale de majoration par la valeur moyenne avec laquelle
il est souvent plus facile de travailler ([9], p. 7).
4.2. FONCTIONS SOUS-HARMONIQUES 65
Theorème 4.2.1 Soit f : D R continue sur D. Alors f est sous-harmonique si et
seulement si pour tout z
0
D il existe
0
> 0 tel que D(z
0
,
0
) D avec de plus
f(z
0
)
1
2
_
2
0
f(z
0
+ e
it
)dt (4.1)
pour tout <
0
.
Preuve : Soit z
0
D et soit > 0 tel que <
0
= 1[z
0
[. Comme f est continue sur D,
daprès le Corollaire 1.3.1, il existe une unique fonction U harmonique sur D(z
0
, ), continue
sur D(z
0
, ) tel que U et f co
incident sur le cercle (z

0
, ). Si f est sous-harmonique on
a f(z
0
) U(z
0
). Daprès le Corollaire 1.2.3, on a aussi U(z
0
) =
1
2
_
2
0
U(z
0
+ e
it
)dt.
Finalement on obtient :
f(z
0
) U(z
0
) =
1
2
_
2
0
U(z
0
+ e
it
)dt =
1
2
_
2
0
f(z
0
+ e
it
)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(z
1
) > U(z
1
) pour un point z
1
. 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(z
1
) > 0. Soit E ,= 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 z
0
pour lequel aucune boule ouverte centree en z
0
ne soit entièrement
contenue dans E (sinon E ,= serait à la fois ouvert et ferme dans connexe, et donc
on aurait E = , ce qui est absurde puisque est un ouvert non vide de C tandis que E
est un ferme borne non vide de C). Considerons à present > 0 tel que D(z
0
, ) et
tels que le cercle
z
0
,
ne soit pas entièrement contenu dans E. Par consequent h(z) m
sur
z
0
,
avec une inegalite stricte sur un ouvert de
z
0
,
donc sur un arc (de longueur
strictement positive). La fonction U harmonique veriant la propriete de la moyenne, on
obtient ainsi :
1
2
_
2
0
f(z
0
+ e
it
)dt U(z
0
) =
1
2
_
2
0
(f(z
0
+ e
it
) U(z
0
+ e
it
))dt
P
(D), 0 < P
=
1
2
_
2
0
h(z
0
+ e
it
)dt
< m = h(z
0
) = f(z
0
) U(z
0
),
et donc
1
2
_
2
0
f(z
0
+e
it
)dt < f(z
0
), ce qui contredit (4.1) et termine la preuve du theorème.
Remarque 4.2.1 Daprès le Corollaire 1.2.3, il est clair que toute fonction harmonique
à valeurs dans R est une fonction sous-harmonique.
4.2.2 Exemples
1. Soit f analytique dans D et soit p > 0. Alors la fonction g continue sur D à valeurs
reelles denie par g(z) = [f(z)[
p
est sous-harmonique.
En eet, daprès le Theorème 4.2.1, il sut de verier (4.1). Soit z
0
D. Si f(z
0
) = 0,
(4.1) est automatique. Supposons que f(z
0
) ,= 0. Daprès le principe des zeros isoles et
le Theorème 3.1.1, il existe alors
0
> 0 tel quil existe une determination holomorphe
du logarithme sur D(z
0
,
0
) avec D(z
0
,
0
) D et ainsi on peut denir z f(z)
p
comme une fonction holomorphe dans D(z
0
,
0
). En particulier, pour tout <
0
, on
a :
(f(z
0
))
p
=
1
2
_
2
0
(f(z
0
+ e
it
))
p
dt,
ce qui implique naturellement
[f(z
0
)[
p
1
2
_
2
0
[f(z
0
+ e
it
)[
p
dt.
2. Soit u une fonction harmonique dans D et soit p 1. Alors la fonction g continue
sur D à valeurs reelles denie par g(z) = [u(z)[
p
En eet, comme u est harmonique dans D, daprès le Corollaire 1.2.3, pour tout
z
0
D et pour tout <
0
= 1 [z
0
[, on a legalite :
u(z
0
) =
1
2
_
2
0
u(z
0
+ e
it
)dt,
ce qui implique
[u(z
0
)[
1
2
_
2
0
[u(z
0
+ e
it
)[dt.
4.2. FONCTIONS SOUS-HARMONIQUES 67
Si p = 1, (4.1) est bien veriee et donc [u[ est sous-harmonique. Si p > 1, daprès
linegalite de Holder, on a :
_
2
0
[u(z
0
+ e
it
)[dt
__
2
0
[u(z
0
+ e
it
)[
p
dt
_
1/p
__
2
0
1
q
dt
_
1/q
=
__
2
0
[u(z
0
+ e
it
)[
p
dt
_
1/p
(2)
1/q
avec
1
p
+
1
q
= 1. Par consequent on a :
[u(z
0
)[
p
(2)
1p+p/q
1
2
_
2
0
[u(z
0
+ e
it
)[
p
dt =
1
2
_
2
0
[u(z
0
+ e
it
)[
p
dt,
ce qui prouve daprès le Theorème 4.2.1 que [u[
p
3. Soit f Hol(D). Alors log
+
[f[ est une fonction continue à valeurs reelles sous-
harmonique sur D.
En eet, si z
0
D est tel que [f(z
0
)[ 1, linegalite (4.1) est trivialement veriee. Si
z
0
D est tel que [f(z
0
)[ > 1, par continuite de [f[, il existe
0
> 0 tel que [f(z)[ > 1
sur D(z
0
,
0
) D. Par consequent pour tout <
0
, log
+
[f(z)[ = log [f(z)[ pour
tout z D(z
0
, ). Comme log [f[ est une fonction harmonique sur D(z
0
,
0
) (cf.
Exercices 1.4.3 et 1.4.4), (4.1) est veriee (cest meme une egalite) pour <
0
.
Proposition 4.2.1 Soit f une fonction continue à valeurs reelles sous-harmonique sur D
et soit
m(r) =
1
2
_
2
0
f(re
it
)dt pour 0 r < 1.
Alors r m(r) est une fonction croissante sur [0, 1[.
Preuve : Soient 0 r
1
< r
2
< 1. Comme f continue sur D, daprès le Corollaire 1.3.1,
il existe une unique fonction U harmonique sur D(0, r
2
), continue sur D(0, r
2
) tel que U et
f co
incident sur le cercle (0, r

2
). Comme f est sous-harmonique, on a f(z) U(z) pour
tout z D(0, r
2
). On a donc :
m(r
1
)
1
2
_
2
0
U(r
1
e
it
)dt = U(0)
=
1
2
_
2
0
U(r
2
e
it
)dt = m(r
2
).

P
(D), 0 < P
4.3 Denitions des espaces de Hardy et premières
proprietes
Denition 4.3.1 Pour f Hol(D) on denit les quantites suivantes :
M
0
(f, r) =
1
2
_
2
0
log
+
[f(re
it
)[dt,
M
p
(f, r) =
_
1
2
_
[f(re
it
)[
p
dt
_
1/p
, si 0 < p < et
M
(f, r) = sup
t[0,2[
[f(re
it
)[.
Lespace de Hardy H
p
(D), 0 < p , est deni par
H
p
(D) = f Hol(D) : sup
0r<1
M
p
(f, r) < .
Proposition 4.3.1 Soit f Hol(D). Les fonctions r M
p
(f, r) (pour 0 p )
sont des fonctions croissantes sur [0, 1[.
Preuve : Nous avons vu precedemment que si f Hol(D) alors [f[
p
et log
+
[f[ sont
des fonctions sous-harmoniques sur D pour 0 < p < . Daprès la Proposition 4.2.1,
r M
p
(f, r) (pour 0 p < ) est une fonction croissante sur [0, 1[. Le fait que
r 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 ^ de la fa con suivante :
Corollaire 4.3.1 Pour 0 < p nous avons :
H
p
(D) = f Hol(D) : lim
r1
M
p
(f, r) <
et
^ = f Hol(D) : lim
r1
M
0
(f, r) < .
Notation : si f H
p
(D) pour 0 < p nous noterons par |f|
p
la limite lim
r1
M
p
(f, r).
Le theorème suivant precise le lien entre les dierents espaces de Hardy et la classe de Ne-
vanlinna.
4.3. D
EFINITIONS DES ESPACES DE HARDY ET PREMI

`
ERES PROPRI
ET
ES 69
Theorème 4.3.1 Nous avons les inclusions suivantes :
H
(D) H
p
(D) H
s
(D) ^
pour 0 < s < p < .
Preuve : Si f H
(D), pour tout p ]0, [ on a [f(re

it
)[
p
|f|
p
pour r [0, 1[ et
t [0, 2[. On en deduit alors M
p
(f, r) |f|
pour r [0, 1[, ce qui implique |f|

p

|f|
et donc H
(D) H
p
(D) pour tout p > 0.
Pour p > s > 0, daprès linegalite de Holder, pour f mesurable sur le cercle centre en 0
de rayon r ]0, 1[, on a
_

[f(re
it
)[
s
dt
__

[f(re
it
)[
p
dt
_
s/p
(2)
1s/p
,
et donc M
s
(f, r) M
p
(f, r). Ainsi H
p
(D) H
s
(D) pour p > s > 0. Enn, pour tout s > 0,
comme lim
x
log x
x
s
= 0, il existe A > 0 tel que
log x
x
s
A pour tout x 1. Par consequent,
si f mesurable sur le cercle centre en 0 de rayon r ]0, 1[, on a :
_

log
+
[f(re
it
)[dt =
_
t[,]:|f(re
it
)|1
log [f(re
it
)[dt A
_
t[,]:|f(re
it
)|1
[f(re
it
)[
s
dt.
On a donc M
0
(f, r) AM
s
(f, r)
s
, ce qui prouve que H
s
(D) ^ pour s > 0.
Theorème 4.3.2 Si 1 p , lespace de Hardy H

p
(D) muni de la norme | |
p
est un
espace de Banach.
Preuve : La seule chose delicate à verier pour faire de | |
p
une norme est de verier
que linegalite triangulaire est satisfaite. Daprès linegalite de Minkowski (si 1 p < )
ou daprès linegalite triangulaire que verie le module sur C (si p = ), pour toutes les
fonctions f et g mesurables sur le cercle centre en 0 de rayon r ]0, 1[, on a :
M
p
(f + g, r) M
p
(f, r) + M
p
(g, r) pour tout r [0, 1[.
Pour toutes les fonctions f, g H
p
(D) (avec 1 p ), on a donc |f +g|
p
|f|
p
+|g|
p
.
Ainsi | |
p
est bien une norme sur H
p
(D). Pour p < 1, H
p
(D) est encore un espace vectoriel
mais le problème est que | |
p
ne verie pas linegalite triangulaire.
P
(D), 0 < P
Fixons à present p [1, ] et montrons que les espaces vectoriels normes H
p
(D) sont
complets. Soit (f
n
)
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 à f
n
f
m
sur le cercle
R
centre
en 0 et de rayon R. On obtient alors :
[f
n
(z) f
m
(z)[ =
1
2i
_
R
f
n
() f
m
()
z
d
1
2
1
R r
_

R[f
n
(Re
i
) f
m
(Re
i
)[d.
Ainsi, pour [z[ r on a :
[f
n
(z) f
m
(z)[
1
R r
M
1
(f
n
f
m
, R).
Comme lapplication : x x
p
est convexe pour p 1, daprès linegalite de Jensen
appliquee à la mesure denie par d(t) =
1
2
dt sur [, ], on obtient :
__

[(f
n
f
m
)(Re
it
)[
2
dt
_
p
1
2
_

[(f
n
f
m
)(Re
it
)[
p
dt,
et donc M
1
(f
n
f
m
, R) M
p
(f
n
f
m
, R). Daprès la Proposition 4.3.1, M
p
(f
n
f
m
, R)
lim
R1
M
p
(f
n
f
m
, R) = |f
n
f
m
|
p
et donc pour [z[ r on a :
[f
n
(z) f
m
(z)[
1
R r
|f
n
f
m
|
p
.
La suite (f
n
)
n
converge donc uniformement sur tout compact de D vers une fonction f
holomorphe sur D. Comme on a suppose que (f
n
)
n
etait de Cauchy dans H
p
(D), etant
donne > 0, il existe m = m() 1 tel que pour tout n > m on ait |f
n
f
m
|
p
< . Pour
r < 1 on obtient :
M
p
(f f
m
, r) = lim
n
M
p
(f
n
f
m
, r) lim
n
|f
n
f
m
|
p
,
ce qui implique lim
m
|f f
m
|
p
= 0. Dautre part, sachant que |f|
p
|f f
m
|
p
+
|f
m
|
p
, il est clair que |f|
p
< . La suite (f
n
)
n
converge donc dans H
p
(D) qui est donc
un espace de Banach.
4.3. D
EFINITIONS DES ESPACES DE HARDY ET PREMI

`
ERES PROPRI
ET
ES 71
Theorème 4.3.3 Soit p ]0, ] et soit f une fonction de H
p
(D) non identiquement nulle.
Si B est le produit de Blaschke associe à f (f ^) alors
f
B
H
p
(D) avec
_
_
f
B
_
_
p
= |f|
p
.
Preuve : Soit (
n
)
n1
la suite des zeros de f comptes avec multiplicite et soit B
n
le
produit de Blaschke ni associe aux n premiers zeros de f. Nous avons vu que B
n
est
une fonction de H
(D) continue sur D avec [B

n
(e
it
)[ = 1 pour t R. Comme B
n
est
continue sur le compact D, B
n
est uniformement continue sur D. Par consequent, si lon
choisit ]0, 1[, il existe < 1 tel que pour tous z
1
, z
2
D veriant [z
1
z
2
[ <
on ait [B
n
(z
1
) B
n
(z
2
)[ < . En particulier, pour tous t R et 1 < r < 1 on a
[B
n
(re
it
) B
n
(e
it
)[ < . Comme [B
n
(e
it
)[ = 1, on obtient 1 < [B
n
(re
it
[ < 1 + pour
tous t R et 1 < r < 1. On en deduit :
1
1 +
[f(re
it
)[ <
f(re
it
)
B
n
(re
it
)
<
1
1
[f(re
it
)[
pour tous t R et 1 < r < 1. Si p ]0, ] et f H
p
(D) on obtient ainsi
1
1 +
|f|
p
<
_
_
_
_
f
B
n
_
_
_
_
p
<
1
1
|f|
p
pour tout ]0, 1[. Finalement on a |g
n
|
p
= |f|
p
avec p ]0, [ et avec g
n
=
f
Bn
. Posons
g =
f
B
. Par construction g Hol(D). De plus, pour z D, lim
n
g
n
(z) = g(z) et
([g
n
(z)[)
n1
est une suite croissante. Daprès le theorème de convergence monotone, pour
p ]0, [ et pour r [0, 1[ xe, on a :
lim
n
_

[g
n
(re
it
)[
p
dt =
_

lim
n
[g
n
(re
it
)[
p
dt =
_

[g(re
it
)[
p
dt,
ce qui implique M
p
(g, r) = lim
n
M
p
(g
n
, r). Comme r M
p
(g
n
, r) est une fonction
croissante avec lim
r1
M
p
(g
n
, r) = |f|
p
, on obtient lim
n
M
p
(g
n
, r) |f|
p
pour tout
r [0, 1[ et donc |g|
p
= lim
r1
M
p
(g, r) |f|
p
. Par consequent g H
p
(D) avec |g|
p

|f|
p
. Dautre part, comme [B(z)[ < 1 pour tout z D, on en deduit [g(z)[ > [f(z)[ pour
tout z D. Ainsi on a |g|
p
|f|
p
. Finalement, pour p ]0, [, nous avons |g|
p
= |f|
p
.
Si f H
(D), comme sup

zD
[g
n
(z)[ = |g
n
|
= |f|
, on a [g
n
(z)[ |f|
pour tout
z D et pour tout entier n 1. Comme pour z D nous avons g(z) = lim
n
g
n
(z),
P
(D), 0 < P
on a |g|
:= sup
zD
[g(z)[ |f|
. De plus, comme [g(z)[ > [f(z)[ pour tout z D, on

obtient |g|
|f|
, et donc |g|
= |f|
4.4 Theorèmes de factorisation

Nous venons de voir que, daprès le Theorème 4.3.3, toute fonction f non identiquement
nulle de H
p
(D) (p ]0, ]) peut se factoriser sous la forme f = Bg o` u B est un produit
de Blaschke et g H
p
(D) sans zero dans D. Il existe une factorisation plus subtile qui fait
lobjet de la section suivante.
4.4.1 Les fonctions interieures
Denition 4.4.1 Une fonction interieure est une fonction U H
(D) telle que [U
(e
it
)[ =
1 m-presque partout (avec U
(e
it
) = lim
r1
U(re
it
)).
Le resultat suivant donne une description complète de toute fonction interieure.
Theorème 4.4.1 Soit c C, [c[ = 1, soit B un produit de Blaschke et soit une mesure
de Borel positive nie sur T telle que m. Pour z D on pose
U(z) = cB(z)e
1
2
_

e
it
+ z
e
it
z
d(t)
. (4.2)
La fonction U est une fonction interieure et toute fonction interieure peut sobtenir de cette
facon.
Preuve : Supposons que U soit denie sur D par (4.2). Par construction U Hol(D).
Posons g =
U
B
. On note que log [g[ est lintegrale de Poisson de la mesure nie negative
. Ainsi log [g[ est une fonction harmonique negative sur D, ce qui implique [g(z)[ 1
pour z D. Par consequent, g et par suite U sont des fonctions de H
(D). De plus,
comme m et log [g[ = P(), daprès le Corollaire 2.3.3, on a lim
r1
log [g(re
it
)[ =
log [g
(e
it
)[ = 0 m-presque partout. On a donc [g
(e
it
)[ = 1 m-presque partout. Comme
4.4. TH
EOR
`
EMES DE FACTORISATION 73
daprès la Remarque 3.3.1, [B
(e
it
)[ = 1 m-presque partout, on a donc [U
(e
it
)[ = 1 m-
presque partout et ainsi la fonction U est bien une fonction interieure.
Reciproquement, soit U une fonction interieure et soit B le produit de Blaschke associe
à la suite de ses zeros comptes avec multiplicite. Daprès le Theorème 4.3.3, g :=
U
B

H
(D), |g|
= |U|
= 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 |g|
= 1. Daprès la Remarque 3.3.1,

[B
(e
it
)[ = 1 m-presque partout. Comme [U
(e
it
)[ = 1 m-presque partout, necessairement
[g
(e
it
)[ = 1 m-presque partout et donc log [g
(e
it
)[ = 0 m-presque partout. Daprès le
Corollaire 2.3.3, il existe 0, nie sur T, m telle que log [g[ soit lintegrale
de Poisson de . Finalement log [g[ est la partie reelle de la fonction holomorphe h(z) =
1
2
_

e
it
+ z
e
it
z
d(t). Comme g = e
avec Re() = Re
_
1
2
_

e
it
+ z
e
it
z
d(t)
_
, on obtient
g(z) = ce
1
2
_

e
it
+ z
e
it
z
d(t)
avec [c[ = 1 puisque
1
2
_

e
it
+ z
e
it
z
d(t) iR. Ceci
termine la demonstration.
Un exemple très simple dune fonction interieure qui ne soit pas un produit de Blaschke
est le suivant : prenons c = 1, B(z) = 1 et =
1
, la mesure de Dirac en 1. On obtient
alors que la fonction denie sur D par U(z) = e
z+1
z1
est une fonction interieure sans zero
dans D.
Denition 4.4.2 Les fonctions interieures singulières sont les fonctions interieures
qui ne sannulent pas sur D, i.e. les fonctions de la forme
S
(z) = ce
1
2
_

e
it
+ z
e
it
z
d(t)
o` u [c[ = 1 et o` u est une mesure de Borel positive nie sur T telle que m.
P
(D), 0 < P
4.4.2 Les fonctions exterieures
Denition 4.4.3 Une fonction exterieure est une fonction Q Hol(D) de la forme
Q(z) = ce
1
2
_

e
it
+ z
e
it
z
log (e
it
)dt
o` u [c[ = 1 et o` u est une fonction positive mesurable telle que log L
1
(T).
Proposition 4.4.1 Soit Q une fonction exterieure reliee à comme dans la Denition 4.4.3.
Alors
1. log [Q[ est lintegrale de Poisson de la mesure absolument continue par rapport à la
mesure de Lebesgue dont la derivee de Radon-Nikodym est log .
2. lim
r1
[Q(re
it
)[ = (e
it
) m-presque partout.
3. Pour p ]0, ], Q H
p
(D) si et seulement si L
p
(T). Dans ce cas |Q|
p
= ||
p
.
Preuve : Comme
[Q(z)[ = e
Re
_
1
2
_

e
it
+ z
e
it
z
log (e
it
)dt
_
= e
1
2
_

Re
_
e
it
+ z
e
it
z
_
log (e
it
)
,
avec Re
_
e
it
+z
e
it
z
_
= P
r
( t) si z = re
i
, on a log [Q(re
i
)[ =
1
2
_
P
r
( t) log (e
it
)dt,
ce qui prouve 1. De plus, daprès 1. et en appliquant le Theorème 2.3.3, on obtient
lim
r1
log [Q(re
it
)[ = log (e
it
) 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 (r
n
)
n1
une suite croissante de reels de ]0, 1[ tendant vers 1. Daprès le lemme de
Fatou applique à la suite de fonctions mesurables positives (sur T) (Q
n
)
n1
denie par
Q
n
(e
it
) = [Q(r
n
e
it
)[
p
, on a :
_

liminf
n
Q
n
(e
it
)dt liminf
n
_

Q
n
(e
it
)dt,
ce qui implique (à laide de la Proposition 4.3.1) |Q
|
p
|Q|
p
. Daprès 2., on a donc
||
p
|Q|
p
. Par consequent, si Q H
p
(D) alors L
p
(T). Reciproquement, supposons
que L
p
(T). On a alors :
[Q(re
i
)[
p
= e
1
2
_

P
r
( t) log
p
(e
it
)dt
.
4.4. TH
EOR
`
Daprès linegalite de Jensen, Theorème 4.1.1 applique à la fonction convexe x e
x
et à
la mesure positive denie par d(t) =
1
2
P
r
( t)dt, on obtient :
e
1
2
_

P
r
( t) log
p
(e
it
)dt
1
2
_

P
r
( t)
p
(e
it
)dt.
On a donc
[Q(re
i
)[
p
1
2
_

P
r
( t)
p
(e
it
)dt.
En integrant cette inegalite par rapport à la variable , sachant que
1
2
_
P
r
( t)d = 1,
on obtient M
p
(Q, r) ||
p
, et donc lim
r1
M
p
(Q, r) = |Q|
p
||
p
. Lequivalence
Q H
p
(D) L
p
(T) est demontree. Il resulte des calculs ci-dessus que si Q H
p
(D)
alors |Q|
p
= ||
p
.
4.4.3 Facteurs exterieures 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
[ L
1
(T) et f
L
p
(T).
Preuve : Si f H
p
(D) alors log [f
[ L
1
(T). En eet, daprès le Theorème 4.3.1,
H
p
(D) ^ et daprès le Theorème 3.4.1, si f ^ alors f
(e
it
) est denie m-presque
partout avec log [f
[ L
1
(T). De plus, pour p ]0, [, daprès le lemme de Fatou,
_
2
0
liminf
r1
[f(re
it
)[
p
dt liminf
r1
_
2
0
[f(re
it
)[
p
dt,
ce qui donne :
1
2
_
2
0
[f
(e
it
)[
p
dt lim
r1
M
p
(f, r)
p
= |f|
p
p
.
Par consequent, pour p ]0, [, si f H
p
(D) alors f
L
p
(T). Pour p = , comme
[f(z)[ |f|
pour z D, on a donc [f
(e
it
)[ |f|
m-presque partout. De ce fait, si

f H
(D) on a donc f
(T).

P
(D), 0 < P
Corollaire 4.4.1 Soit p ]0, ]. Supposons que f H
p
(D), f non identiquement nulle.
Dans ce cas, la fonction exterieure Q
f
denie par
Q
f
(z) = e
1
2
_

e
it
+ z
e
it
z
log [f
(e
it
)[dt
(4.3)
appartient à H
p
(D).
Remarque 4.4.1 La fonction Q
f
est appelee le facteur exterieur de f. Notons que Q
f
ne depend que de f
, cest à dire des limites radiales de f sur T.

Preuve : Soit p ]0, ]. Supposons que f H
p
(D), f non identiquement nulle. Daprès
le Theorème 4.4.2, log [f
[ L
1
(T). Par suite lintegrale (4.3) est bien denie comme une
fonction exterieure. De plus, comme daprès le Theorème 4.4.2, f H
p
(D) implique f
L
p
(T), la 3ième assertion de la Proposition 4.4.1 nous permet de conclure que Q
f
H
p
(D).
4.4.4 Lespace de Hardy H

2
(D)
Les proprietes fondamentales de H
2
(D) sont resumees par le theorème suivant :
Theorème 4.4.2 1. Une fonction f Hol(D) de la forme f(z) =
n0
a
n
z
n
appar-
tient à H
2
(D) si et seulement si
n0
[a
n
[
2
< . Dans ce cas |f|
2
=
_
n0
[a
n
[
2
_
1/2
.
2. Si f H
2
(D), f
L
2
(T) et le n
ième
coecient de Fourier de f
est a
n
si n 0 et
0 si n < 0. De plus
lim
s1
1
2
_
2
0
[f
(e
it
) f(se
it
)[
2
dt = 0
et f est lintegrale de Poisson ainsi que lintegrale de Cauchy de f
.
3. Lapplication f f
est un isomorphisme isometrique de H

2
(D) dans H
2
(T) :=
g L
2
(T) : g(n) = 0, n < 0.
4. H
2
(D) est un espace de Hilbert muni du produit scalaire
< f, g >
H
2
(D)
=< f
, g
>
L
2
(T)
:=
1
2
_
2
0
f
(e
it
)g
(e
it
)dt.
4.4. TH
EOR
`
Preuve : Soit f(z) =
n0
a
n
z
n
pour z D. On a donc, pour r [0, 1[ et t R,
f(re
it
) =
n0
a
n
r
n
e
int
. Daprès le theorème de Plancherel-Parseval, on a
1
2
_
2
0
[f(re
it
)[
2
dt =
n0
[a
n
[
2
r
2n
.
Par convergence monotone discrète, on a :
lim
r1
n0
[a
n
[
2
r
2n
=
n0
[a
n
[
2
.
Comme |f|
2
2
= lim
r1
1
2
_
2
0
[f(re
it
)[
2
dt, on obtient f appartient à H
2
(D) si et seulement
si
n0
[a
n
[
2
< et |f|
2
=
_
n0
[a
n
[
2
_
1/2
, ce qui termine la preuve de 1.
Daprès la Proposition 4.4.2, f
L
2
(T) si f H
2
(D). Supposons f H
2
(D) et pour
0 < s < 1 on denit les fonctions f
s
sur T par f
s
(e
it
) = f(se
it
) =
n0
a
n
s
n
e
int
. Comme
n0
[a
n
[
2
< , le theorème de Riesz-Fischer nous garantit lexistence dune fonction
g L
2
(T) telle que g(n) = a
n
si n 0 et 0 si n < 0. Les coecients de Fourier de
g f
s
valent (1 s
n
)a
n
si n 0 et 0 si n < 0. Une nouvelle application de legalite de
Plancherel-Parseval donne :
|g f
s
|
2
2
=
n0
(1 s
n
)
2
[a
n
[
2
.
Par convergence monotone decroissante discrète,
lim
s1
n0
(1 s
n
)
2
[a
n
[
2
= 0.
On a donc lim
s1
|g f
s
|
2
= 0. Pour 0 < s < 1, la fonction f
s
denie par f
s
(z) = f(sz)
est holomorphe dans D(0,
1
s
). On a donc, pour z D,
f
s
(z) =
1
2i
_
T
f
s
()
z
d.
La fonction f
s
etant en particulier harmonique sur D(0,
1
s
), daprès le Theorème 1.3.1, on
a aussi, pour z = re
i
D,
f
s
(z) =
1
2
_
2
0
P
r
( t)f
s
(e
it
)dt.
P
(D), 0 < P
Linegalite de Schwarz et le fait que P
r
( t)
1+r
1r
, nous donne
f
s
(re
i
)
1
2
_
2
0
P
r
( t)g(e
it
)dt
1
2
_
2
0
P
r
( t)(f
s
(e
it
) g(e
it
))dt
1 +r
1 r
|f
s
g|
2
,
et
f
s
(re
i
)
1
2i
_
T
g()
re
i
d
1
2i
_
T
f
s
() g()
re
i
d
1
1 r
|f
s
g|
2
.
Comme lim
s1
|g f
s
|
2
= 0, on a donc
f(re
i
) = lim
s1
f
s
(re
i
) =
1
2
_
2
0
P
r
( t)g(e
it
)dt =
1
2i
_
T
g()
re
i
d.
En particulier, f est la fonction harmonique denie comme lintegrale de Poisson de la
mesure m denie par d(t) = g(e
it
)dt avec g L
1
(T) puisque g L
2
(T). Daprès
le Theorème 2.3.3, f
(e
it
) = g(e
it
) m-presque partout. On en deduit que f
L
2
(T),
(n) = a
n
si n 0 et que

f
(n) = 0 si n < 0. Enn on a aussi :

f(re
i
) =
1
2
_
2
0
P
r
( t)f
(e
it
)dt =
1
2i
_
T
f
()
re
i
d,
ce qui termine la preuve de 2.
Puisque lim
s1
|f
f
s
|
2
= 0, on a |f|
2
:= lim
s1
|f
s
|
2
= |f
|
2
. Comme

f
(n) = 0
pour tout n < 0, lapplication : f f
est bien une isometrie de H

2
(D) dans
H
2
(T). Par denition lapplication est lineaire. Etant isometrique, elle est automati-
quement injective. Enn, si g H
2
(T), g est de la forme g(e
it
) =
n0
a
n
e
int
avec
|g|
2
2
=
n0
[a
n
[
2
< . Alors la fonction f denie sur D par f(z) =
n0
a
n
z
n
appartient
à H
2
(D) daprès 1. Lapplication est donc surjective. Ainsi est bien un isomorphisme
isometrique.
Par denition, < f, f >
H
2
(D)
= |f
|
2
2
. Comme |f
|
2
= |f|
2
, la norme sur H
2
(D) se
deduit bien du produit scalaire que nous avons xe. De plus H
2
(D) est complet daprès le
Theorème 4.3.2. Ainsi H
2
(D) est bien un espace de Hilbert.
Corollaire 4.4.2 Si f H
1
(D) alors lim
r1
1
2
_
2
0
[f
(e
it
) f(re
it
)[dt = 0.
4.4. TH
EOR
`
Preuve : Soit B le produit de Blaschke associe à la suite des zeros de f dans D. Daprès
le Theorème 4.3.3, g :=
f
B
H
1
(D) avec |g|
1
= |f|
1
. 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 h
2
= g et
nalement f = Bg = (Bh)h avec |h|
2
2
= |g|
1
= |f|
1
. Par consequent h et := Bh
sont deux fonctions de H
2
(D) et f = h. Pour r ]0, 1[, on denit la fonction f
r
sur
T par f
r
(e
it
) = f(re
it
) = (re
it
)h(re
it
) =
r
(e
it
)h
r
(e
it
) si lon pose
r
(e
it
) = (re
it
) et
h
r
(e
it
) = h(re
it
). Comme f
, on a :
f
f
r
=
(h
h
r
) + h
r
(
r
). (4.4)
Daprès le Theorème 4.4.2, comme , h H
2
(D), on a
lim
r1
|h
h
r
|
2
= 0 = lim
r1
r
|
2
et |
|
2
2
= ||
2
2
= |f|
1
, |h
r
|
2
2
|h|
2
2
= |f|
1
.
Linegalite de Schwarz appliquee aux deux produit du membre de droite de (4.4) nous
donne :
|f
f
r
|
1
|f|
1/2
1
(|h
h
r
|
2
+|
r
|
2
).
Il est à present clair que lim
r1
|f
f
r
|
1
= 0.
Remarque 4.4.2 Au cours de la demonstration du theorème precedent, nous avons montre
que toute fonction de H
1
(D) est le produit de deux fonctions de H
2
(D).
4.4.5 Factorisations des fonctions de H
p
(D), 0 < p
Le Corollaire 4.4.2 va nous permettre detablir la factorisation de toute fonction appar-
tenant à un espace de Hardy sous la forme dun produit dune fonction interieure par une
fonction exterieure.
Theorème 4.4.3 Soit p ]0, ] et soit f H
p
(D). Alors il existe une fonction interieure
U
f
telle que f = U
f
Q
f
o` u Q
f
et le facteur exterieur de f, à savoir la fonction de H
p
(D)
denie par :
Q
f
(z) = e
1
2
_

e
it
+ z
e
it
z
log [f
(e
it
)[dt
.
P
(D), 0 < P
De plus
log [f(0)[
1
2
_
2
0
log [f
(e
it
)[dt, (4.5)
avec egalite dans (4.5) si et seulement si U
f
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
associe à la suite des zeros de f. Daprès le Theorème 4.3.3, g :=
f
B
H
1
(D) avec |g|
1
=
|f|
1
et [f
[ = [g
[. Pour demontrer le theorème, quitte à remplacer g par f, on peut

supposer que f ne sannule pas sur D. Nous avons dejà etabli dans le corollaire 4.4.1 que
Q
f
H
1
(D). La 2ième assertion de la Proposition 4.4.1 nous dit que [Q
f
(e
it
)[ = [f
(e
it
)[ , =
0 m-presque partout. Ainsi, si nous montrons que [f(z)[ [Q
f
(z)[ pour z D, nous
aurons montre que
f
Q
f
est une fonction interieure, ce qui prouvera quil existe une fonction
interieure telle que f = U
f
Q
f
. Comme [Q
f
[ est egal à e
P(log |f
|)
(o` u P(log [f
[) designe
lintegrale de Poisson de log [f
[ denie par P(log [f
[)(re
i
) =
1
2
_
2
0
P
r
(t) log [f
(e
it
)[dt
pour r [0, 1[ et R), pour z D, on a,
[f(z)[ [Q
f
(z)[ log [f(z)[ P(log [f
[)(z).
Verions à present que log [f(z)[ P(log [f
[)(z) pour z D. Pour [z[ 1 et 0 < R < 1

on denit f
R
par f
R
(z) = f(Rz). Ainsi f
R
est holomorphe dans D(0,
1
R
) et f
R
ne sannule
pas. Par suite, log [f
R
[ est harmonique dans D(0,
1
R
). Daprès le Theorème 1.3.1, pour
z = re
i
D, on a donc
log [f
R
(z)[ =
1
2
_
2
0
log [f
R
(e
it
)[P
r
( t)dt.
Comme log = log
+
log
, on a donc :
log [f
R
(z)[ =
1
2
_
2
0
log
+
[f
R
(e
it
)[P
r
( t)dt
1
2
_
2
0
log
[f
R
(e
it
)[P
r
( t)dt.
Notons que pour u, v > 0, on a [ log
+
u log
+
v[ [u v[. Par consequent on obtient :
P(log
+
[f
R
[)(re
i
) P(log
+
[f
[)(re
i
)

1
2
_
2
0
P
r
( t)[[f
R
(e
it
)[ [f
(e
it
)[[dt
4.4. TH
EOR
`
1
2
_
2
0
P
r
( t)[f
R
(e
it
) f
(e
it
)[dt
1 +r
1 r
|f
R
f
|
1
.
Daprès le Corollaire 4.4.2, lim
R1
|f
R
f
|
1
= 0. Ainsi, lim
R1
P(log
+
[f
R
[)(re
i
) =
P(log
+
[f
[)(re
i
). Daprès le lemme de Fatou,
1
2
_
2
0
P
r
( t) log
[f
(e
it
)[dt =
1
2
_
2
0
liminf
R1
log
[f
R
(e
it
)[dt
liminf
R1
1
2
_
2
0
P
r
( t) log
[f
R
(e
it
)[dt.
Comme
lim
R1
P(log
+
[f
R
[)(re
i
) = P(log
+
[f
[)(re
i
)
et
lim
R1
P(log [f
R
[)(re
i
) = lim
R1
log [f
R
(re
i
)[ = log [f(re
i
)[,
on obtient :
P(log
[f
[)(re
i
) P(log
+
[f
[)(re
i
) log [f(re
i
)[,
ce qui implique
log [f(re
i
)[ P(log
+
[f
[ log
[f
[)(re
i
) = P(log [f
[)(re
i
),
inegalite desiree qui permet de conclure que
f
Q
f
est bien une fonction interieure U
f
dès que
f H
1
(D). Comme [f(z)[ [Q
f
(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)[ = [Q
f
(0)[. Comme f(0) = U
f
(0)Q
f
(0), on a donc
U
f
(0) = 1 avec |U
f
|
= 1. Daprès le principe du maximum, on a donc necessairement

U
f
= c avec [c[ = 1. Ceci termine la preuve de cas o` u p = 1.
Lorsque p ]1, ], comme daprès le Theorème 4.3.1, H
p
(D) H
1
(D), il ny a rien à faire.
Considerons à present le cas o` u p ]0, 1[. Soit f H
p
(D) et soit B le produit de Blaschke
associe à la suite des zeros de f. Par construction, g :=
f
B
est holomorphe sur D et
ne sannule pas. Daprès le Theorème 4.3.3, g H
p
(D) avec |g|
p
= |f|
p
. La fonction
P
(D), 0 < P
g ne sannulant pas sur D simplement connexe, il existe une determination holomorphe
du logarithme de g. On peut donc denir la fonction h = e
p
= g
p
. De plus, on a
|g|
p
p
= |h|
1
, ce qui prouve que h H
1
(D) puisque g H
p
(D). La fonction f possède donc
une factorisation de la forme f = Bg = Bh
1/p
avec h H
1
(D) sans zero dans D. Daprès
ce qui precède, h = U
h
Q
h
avec U
h
fonction interieure sans zero dans D et Q
h
exterieure.
Comme
Q
1/p
h
(z) = e
1
2
_

e
it
+ z
e
it
z
1
p
log [h
(e
it
)[dt
= e
1
2
_

e
it
+ z
e
it
z
log [h
(e
it
)
1/p
[dt
avec [h
(e
it
)
1/p
[ = [g
(e
it
)[ = [f
(e
it
)[ m-presque partout, Q
1/p
h
est le facteur exterieur de f.
De plus il est clair que U
1/p
f
est bien une fonction interieure (singulière). Ainsi, si f H
p
(D)
f se decompose comme le produit dune fonction interieure par une fonction exterieure.
Linegalite (4.5) etant une consequence de la factorisation que nous venons detablir, elle
reste vraie si p ]0, 1[.
Remarque 4.4.3 Les fonctions Q

f
et U
f
sont appelees respectivement les facteurs exte-
rieures et les facteurs interieures de f. Le facteur U
f
tient compte des zeros de f dans
D et du comportement de f
sur T tandis que le facteur Q

f
ne depend que des valeurs de
[f
[ sur T.
4.5 Resultats fondamentaux sur les fonctions de H
p
,
0 < p
4.5.1 Limites radiales des fonctions de H
p
(D), 0 < p
Nous avons dejà mentionne que H
p
(D) ^ impliquait automatiquement que f
soit
denie m-presque partout avec de plus log [f
[ L
1
(T). Ceci merite une mention speciale,
à savoir, un theorème dunicite.
Theorème 4.5.1 Soit p ]0, ] et supposons que la fonction f non identiquement nulle
appartienne à H
p
(D). Alors f
(e
it
) ,= 0 m-presque partout. Par consequent, si f, g
4.5. R
ESULTATS FONDAMENTAUX SUR LES FONCTIONS DE H

P
, 0 < P 83
H
p
(D) sont telles que f
(e
it
) = g
(e
it
) sur un sous-ensemble de T de mesure de Lebesgue
strictement positive, necessairement f = g.
Preuve : Si f
(e
it
) = 0 alors log [f
(e
it
)[ = et si cela survient sur un ensemble
de mesure positive, cela met en defaut le fait que log [f
[ L
1
(T). En appliquant ceci a
f g H
p
(D) si f, g H
p
(D) on a donc f g identiquement nulle dès que (f
)(e
it
)
sur un sous-ensemble de T de mesure de Lebesgue strictement positive.
Remarque 4.5.1 En fait le Theorème 4.5.1 est vrai sous lhypothèse un peu plus generale
f ^.
Nous avons vu dans la Proposition 4.4.2 que si f H
p
(D) alors f
L
p
(T). Nous allons
montrer quen fait lapplication f f
est une isometrie de H

p
(D) dans L
p
(T).
Theorème 4.5.2 Soit p ]0, ] et soit f H
p
(D). Alors |f|
p
= |f
|
p
.
Preuve : Daprès la Proposition 4.4.2, f
L
p
(T) dès que f H
p
(D). Pour cela
nous avons verie que |f
|
p
|f|
p
. Dautre part, daprès le Theorème 4.4.3 et la 3
ième
assertion de la Proposition 4.4.1, f = U
f
Q
f
avec Q
f
exterieure, U
f
interieure et |Q
f
|
p
=
|f
|
p
. Comme Q
f
=
f
U
f
avec [U
f
(z)[ 1 sur D, on a immediatement [Q
f
(z)[ [f(z)[,
z D. Ceci implique |Q
f
|
p
|f|
p
. Finalement, on obtient :
|f|
p
|Q
f
|
p
= |f
|
p
|f|
p
,
ce qui prouve que |f|
p
= |f
|
p
.
Nous deduisons de ceci un resultat de convergence en moyenne vers la limite radiale

dès que f H
p
(D) avec p ]0, [. Pour demontrer ceci nous allons admettre le lemme
suivant dont la preuve repose sur le Theorème dEgoro (cf. Theorème 5.6.20 de [24]).
Lemme 4.5.1 (p.21 de [9]) Soit un sous-ensemble mesurable de R et soit
n
L
p
(),
0 < p < , n 1. Supposons de plus que lim
n
n
(t) = (t) m-presque partout sur .
P
(D), 0 < P
Si
lim
n
|
n
|
p
= ||
p
< ,
alors
lim
n
|
n
|
p
= 0.
Soit f H
p
(D), pour 0 < p < . Pour 0 < r < 1 posons g
r
(t) = f(re
it
) pour t [0, 2[.
Sachant que lim
r1
|g
r
|
p
= lim
r1
M
p
(f, r) = |f|
p
avec |f|
p
= |f
|
p
(daprès le
Theorème 4.5.2), et comme de plus lim
r1
g
r
(t) = g
(t) m-presque partout avec g
(t) :=
f
(e
it
), on obtient le resultat suivant.
Corollaire 4.5.1 Soit p ]0, [ et soit f H
p
(D). Alors
lim
r1
|f
r
f
|
p
= 0,
avec, pour 0 < r < 1 et [z[ 1, f
r
denie par f
r
(z) = f(rz).
Remarque 4.5.2 Le Corollaire ci-dessus nest pas verie en general pour f H
(D),
nous avons besoin pour cela que f
soit continue sur T, autrement dit que f ne soit pas

simplement dans H
(D) mais dans lalgèbre du disque A(D).

4.5.2 Resultat de representation des fonctions de H
p
(D) pour p
[1, ]
Nous allons voir quune consequence immediate du Corollaire 4.4.2 est le fait que si
f H
1
(D) alors f est egale à lintegrale de Cauchy et à lintegrale de Poisson de sa limite
radiale.
Theorème 4.5.3 Soit f H
p
(D) pour p [1, ]. Alors pour tout z = re
i
D, on a :
f(z) =
1
2
_
2
0
P
r
( t)f
(e
it
)dt =
1
2i
_
T
f
()
z
d.
Preuve : Si f H
p
(D) pour p [1, ], daprès le Theorème 4.3.1, on a en particulier
f H
1
(D). Pour R ]0, 1[ posons f
R
(z) = f(Rz) fonction holomorphe sur D(0,
1
R
). En
particulier f
R
est harmonique sur D et continue sur D. On a donc, daprès le Theorème 1.3.1,
f
R
(z) =
1
2
_
2
0
P
r
( t)f
R
(e
it
)dt pour z = re
i
.
4.5. R

P
, 0 < P 85
On en deduit :
f
R
(z)
1
2
_
2
0
P
r
( t)f
(e
it
)dt

1
2
_
2
0
P
r
( t)[f
(e
it
) f
R
(e
it
)[dt
1 +r
1 r
|f
f
R
|
1
.
Comme daprès le Corollaire 4.4.2, lim
R1
|f
f
R
|
1
= 0, on en deduit, f(z) = P(f
)(z)
pour z D. Dautre part, f
R
etant holomorphe sur D(0,
1
R
), daprès la formule de Cauchy,
on a :
f
R
(z) =
1
2i
_
T
f
R
()
z
d.
Pour z = re
i
, on en deduit :
f
R
(z)
1
2i
_
T
f
()
z
d
1
2i
_
T
f
R
() f
()
z
d
1
2i
_
2
0
f
R
(e
it
) f
(e
it
)
e
it
re
i
ie
it
dt
1
1 r
1
2
_
2
0
[f
R
(e
it
) f
(e
it
)[dt
=
1
1 r
|f
f
R
|
1
.
Le Corollaire 4.4.2 permet alors de conclure que f(z) =
1
2i
_
T
f
()
z
d.
4.5.3 Identication entre H

p
(D) et H
p
(T) pour 1 p
Theorème 4.5.4 Soit 1 p . Lapplication : H
p
(D) H
p
(T) telle que (f) = f
et o` u H
p
(T) := f L
p
(T) :

f(n) = 0, n < 0 est un isomorphisme isometrique.
Preuve : La linearite de est evidente. Verions tout dabord que si f H
p
(D) pour
1 p , alors (f) = f
H
p
(T). Comme daprès le Theorème 4.5.2, |f|
p
= |f
|
p
, il
est clair que (f) L
p
(T). Il nous reste à verier que

f
(n) = 0 si n < 0. Comme daprès

le Theorème 4.3.1, nous avons H
p
(D) H
1
(D) pour p [1, ], il sut de verier que si
f H
1
(D) alors

f
(n) = 0 si n < 0. Si f H
1
(D), en particulier, f Hol(D). Daprès le
Theorème de Cauchy, pour 0 < r < 1, on a
_
r
f()
n
d = 0 pour n 0,
P
(D), 0 < P
o` u
r
designe le cercle centre en 0 et de rayon r. Posons = re
it
. On obtient alors
_
2
0
r
n+1
f(re
it
)e
i(n+1)t
dt = 0 pour n 0.
Le Corollaire 4.4.2 nous permet de dire que
lim
r1
_
2
0
r
n+1
f(re
it
)e
i(n+1)t
dt =
_
2
0
f
(e
it
)e
i(n+1)t
dt
car
_
2
0
r
n+1
f(re
it
)e
i(n+1)t
dt
_
2
0
f
(e
it
)e
i(n+1)t
dt
2|f
r
f
|
1
,
o` u f
r
(e
it
) := f(re
it
). On a donc
_
2
0
f
(e
it
)e
i(n+1)t
dt = 0, ce qui prouve que

f
(n) = 0
si n < 0. Une autre fa con de verier ceci est dutiliser le fait que f H
1
(D) est le
produit de deux fonctions de H
2
(D) dont les limites radiales sont dans H
2
(T) daprès
le Theorème 4.4.2. Ainsi (H
p
(D)) H
p
(T) et est une isometrie. De ce fait est
automatiquement injective. Verions la surjectivite de pour conclure. Soit p [1, ] et
g H
p
(T). Comme en particulier g L
1
(T), on peut considerer la fonction harmonique f
sur D denie par
f(z) = P(g)(z) =
1
2
_
2
0
P
r
( t)g(e
it
)dt si z = re
i
.
On a donc
f(z) =
1
2
_
2
0
(
nZ
r
|n|
e
in(t)
)g(e
it
)dt.
La serie
nZ
r
|n|
e
in(t)
etant normalement convergente pour r < 1, donc uniformement
convergente, on en deduit :
f(z) =
nZ
r
|n|
e
in
1
2
_
2
0
e
int
g(e
it
)dt =
nZ
r
|n|
e
in
g(n) =
nZ
g(n)z
n
.
Comme g(n) = 0 si n < 0, on a donc f(z) =
n0
g(n)z
n
. La fonction f est donc holo-
morphe sur D. Comme f est lintegrale de Poisson de g L
1
(T), daprès le Theorème 2.3.3,
f
= g m-presque partout. Par consequent |f
|
p
= |g|
p
< , ce qui implique f H
p
(D)
daprès le Theorème 4.5.2. Lapplication est donc surjective, cest donc un isomorphisme
isometrique.
4.5. R

P
, 0 < P 87
Remarque 4.5.3 Lorsque p [1, ], compte tenu de lexistence dun isomorphisme isome-
trique entre H
p
(D) et H
p
(T), dans la plupart des articles de recherche on trouvera la no-
tation H
p
, laquelle designera indieremment H
p
(D) ou H
p
(T) suivant le contexte.
P
(D), 0 < P
4.6 Exercices
Exercice 4.6.1
1. Montrer que toute fonction f de ^ non identiquement nulle se decompose sous la
forme f = B
S
1
S
2
Q o` u B est un produit de Blaschke, o` u S
1
et S
2
sont deux fonctions
interieures singulières et o` u Q est une fonction exterieure.
2. Reciproquement, montrer que toute fonction de la forme B
S
1
S
2
Q (o` u B est un produit
de Blaschke, o` u S
1
et S
2
sont deux fonctions interieures singulières et o` u Q est une
fonction exterieure) est bien dans la classe de Nevanlinna.
Exercice 4.6.2 Soit p ]0, ] et f H
p
(D).
1. Montrer que pour tout z = re
i
D on a :
log [f(z)[
1
2
_
2
0
P
r
( t) log [f
(e
it
)[dt.
2. Montrer lequivalence suivante
f est exterieure z
0
= r
0
e
i
0
D; log [f(z
0
)[ =
1
2
_
2
0
P
r
0
(
0
t) log [f
(e
it
)[dt.
3. Si lon suppose à present que f ^ au lieu de f H
p
(D) avec p ]0, ], lequivalence
ci-dessus est-elle toujours vraie ?
Exercice 4.6.3 (Theorème de F. et M. Riesz) Soit une mesure complexe (nie) sur
[0, 2]. Supposons que pour tout n < 0 on ait :
_
2
0
e
int
d(t) = 0.
Montrer qualors est absolument continue par rapport à la mesure de Lebesgue.
Indication : Poser F(z) =
1
2
_
2
0
1
1 ze
it
d(t). Verier que F = P(d) et que F
H
1
(D) puis conclure.
Chapitre 5
Sous-espaces invariants du shift
5.1 Introduction : le problème du sous-espace inva-
riant
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 operateurs. 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) ,= 0.
Si X est de dimension nie, etant donnee que dans ce cas toute application lineaire est
inversible si et seulement si elle est injective, on a (T) =
p
(T) pour tout T L(X). Par
contre dès que X est de dimension innie, on peut simplement armer que
p
(T) (T)
et
p
(T) peut etre vide comme nous le verrons dans la suite.
Pour T L(X) on denit Lat(T) comme lensemble de tous les sous-espaces vecto-
riels fermes /invariants par T, cest-à-dire tels que T/ /. 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ème du sous-espace invariant
1. Si X est un espace vectoriel sur C de dimension nie au moins egale à deux, tout
operateur T L(X) nest pas transitif. En eet, dans ce cas, T est une matrice nie
à coecients complexes admettant des valeurs propres. Soit une valeur propre de
T et soit x un vecteur propre associe à la valeur propre . Le sous-espace vectoriel
ferme Cx etant de dimension 1, il est dierent de 0 et X. De plus, comme Tx = x,
Cx est invariant par T.
2. De fa con plus generale, si T L(X) (avec X de dimension innie ou nie au moins
egale à deux) est tel que
p
(T) ,= , alors T est non transitif.
3. Si X est un espace vectoriel complet sur C non separable (i.e. contenant une partie
dense non denombrable), tout operateur T L(X) nest pas transitif. En eet, pour
x X 0, soit / la fermeture de lensemble des combinaisons lineaires nies des
vecteurs du type T
n
x avec n N. Par construction / est un sous-espace vectoriel
ferme de X dierent de 0 puisque x ,= 0 appartient à /. Dautre part, / est
invariant par T et / , = X puisque / est separable tandis que X ne lest pas par
hypothèse.
Grace aux travaux de Peter Eno [10, 11], Charles Read [17, 18, 19, 20, 21], Bernard
Beauzamy [1], on sait quil existe des operateurs transitifs T L(X) o` u X est un espace
vectoriel sur C complet de dimension innie et separable tel que
1
. Cependant tous les
exemples doperateurs transitifs que lon connait ont ete construit sur des espaces de Banach
complexes non hilbertiens.
Ce quon appelle communement le Problème du Sous-Espace Invariant est un
des problèmes les plus celèbres de theorie des operateurs et il est ouvert depuis plus dun
5.1. INTRODUCTION : LE PROBL
`
EME DU SOUS-ESPACE INVARIANT 91
demi-siècle. Son enonce est le suivant :
Soit H un espace de Hilbert sur C separable et de dimension innie. Existe-t-il un
operateur T L(H) transitif ?
Il existe de très nombreux theorèmes donnant des conditions susantes pour que T L(H)
ne soit pas transitif et les outils utilises sont extremement varies, ce qui rend ce sujet
de recherche particulièrement interessant [6]. A titre dexemple, signalons deux resultats
bases sur des techniques tout à fait dierentes. Le premier utilise un theorème ancien
dexistence de point xe (d u à Schauder, 1934) et le second est basee entre autre sur un
procede dapproximation (d u à S. Brown [4]) qui permet de conclure à la surjectivite dune
application bilineaire [2].
Soit H un espace de Hilbert sur C separable et de dimension innie.
Theorème 5.1.1 ([13]) Soit T L(H). Supposons quil existe un operateur compact
K L(H) non identiquement nul tel que TK = 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.
Theorème 5.1.2 ([5]) Soit T L(H), |T| 1. Si T (T) alors T nest pas transitif.
Notons que pour le problème du sous-espace invariant, quitte à diviser par la norme de
loperateur considere, on peut toujours supposer que T L(H) avec |T| 1.
Letude des sous-espaces invariants non triviaux dun operateur aide à concevoir son
mode daction (qui peut etre très complique dès que loperateur est deni sur un espace
de dimension innie). En eet, de fa con generale, dans letude dune transformation quel-
conque, il est utile de savoir ce que cette transformation conserve.
Dans la suite nous allons etudier en detail les sous-espaces vectoriels fermes invariants
par un operateur très particulier appele shift ou operateur de deplacement sur lespace
de Hilbert
2
. Historiquement cest precisement cette etude qui a suggere la denition de
lespace de Hardy H
2
(D) et par la suite des espaces de Hardy H
p
(D), 0 < p .
5.2 Le shift sur
2
et H
2
(D) : denition et proprietes
spectrales
5.2.1 Le shift sur
2
Soit
2
:= (a
n
)
n0
: a
n
C,
n0
[a
n
[
2
< . Rappelons que lespace de Hilbert
2
est muni de la norme | |
2
denie par |(a
n
)
n0
|
2
= (
n0
[a
n
[
2
)
1/2
.
Denition 5.2.1 Soit T lapplication lineaire de
2
dans
2
denie par
T((a
n
)
n0
) = (a
n1
)
n0
avec la convention a
1
= 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
|T| = 1. De plus
p
(T) = et (T) = D.
Preuve : Si a = (a
n
)
n0

2
, comme T(a) = (0, a
0
, a
1
, a
2
, ), il est clair que |T(a)|
2
=
|a|
2
, ce qui prouve que T est une isometrie. Comme
|T| = sup
a
2
:a
2
1
|T(a)|
2
= sup
a
2
:a
2
=1
|T(a)|
2
,
automatiquement |T| = 1.
Pour determiner
p
(T), on cherche à resoudre Ta = a avec C et a = (a
n
)
n0

2
,
a ,= 0. Comme Ta = (0, a
0
, a
1
, a
2
, ) on a donc 0 = a
1
, a
0
= a
1
, a
1
= a
2
, . En
etudiant separement le cas = 0 et ,= 0, on obtient a
n
= 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 (e
n
)
n0
la base canonique de
2
,
i.e., e
k
= (a
n
)
n0
avec a
n
= 0 si n ,= k et a
n
= 1 si n = k. Il est clair que T Id est surjectif
5.2. LE SHIFT SUR
2
ET H
2
(D) : D
EFINITION ET PROPRI
ETES SPECTRALES93
si et seulement si, pour tout n N, e
n
(T Id)
2
. Comme toute suite appartenant
à T
2
a comme première coordonnee 0, e
0
, T
2
. De ce fait T nest pas surjectif et donc
0 (T). Soit ,= 0, [[ 1. Alors e
0
, (T Id)
2
. En eet, soit a = (a
n
)
n0

2
tel
que (T Id)a = e
0
. On a donc
a
0
= 1, a
0
a
1
= 0, a
1
a
2
= 0, a
2
a
3
= 0,
Finalement a
n
=
1
n+1
pour tout n 0. Comme [[ 1, ,= 0, il est clair que a ,
2
.
Finalement D (T). Supposons à present [[ > 1. Nous allons montrer que dans ce cas
T Id est surjectif. Pour cela, on xe n N et on cherche a = (a
n
)
n0

2
tel que
(T Id)a = e
n
. On a donc
a
0
= 0, a
0
a
1
= 0, , a
n2
a
n1
= 0, a
n1
a
n
= 1, a
n
a
n+1
= 0,
On a donc a
k
= 0 pour 0 k n 1 et a
k
=
1
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) |A|, 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 |T| = 1, il susait de verier 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
/ = (a
n
)
n0

2
: a
0
= 0, a
1
= 0, , a
n
0
= 0 pour n
0
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.
5.2.2 Le shift sur H
2
(D)
Daprès le Theorème 4.4.2, lespace de Hardy H
2
(D) est lensemble des fonctions ho-
lomorphes sur D de la forme f(z) =
n0
a
n
z
n
avec a = (a
n
)
n0

2
. De plus |f|
2
=
_
n0
[a
n
[
2
_
1/2
= |a|
2
. Une reformulation immediate de ceci est le lemme suivant.
Lemme 5.2.1 Soit :
2
H
2
(D) deni par (a) = f
a
avec a = (a
n
)
n0

2
et
f
a
(z) =
n0
a
n
z
n
. Alors est un isomorphisme isometrique.
Nous allons à present introduire loperateur shift sur H
2
(D).
Lemme 5.2.2 Lapplication lineaire continue S de H
2
(D) dans lui-meme denie 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
a
n
z
n
avec a = (a
n
)
n0

2
. On a
donc
1
(f) = a et T
1
(f) = (a
n1
)
n0
avec a
1
= 0. Finalement S(f) = g avec
g(z) =
n0
a
n1
z
n
=
n1
a
n1
z
n
= z
n1
a
n1
z
n1
= zf(z).
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
(/) : / Lat(S).
Preuve : Comme
1
est une application lineaire isometrique, si / est un sous-espace
vectoriel ferme, il en est de meme pour
1
(/) (si V est une isometrie lineaire sur X et si
5.3. DESCRIPTION DE TOUS LES SOUS-ESPACES INVARIANTS DUSHIFT SUR H
2
(D)95
(x
n
) X est de Cauchy, alors (V (x
n
))
n
est elle aussi de Cauchy puisque |V (x
n
)V (x
p
)| =
|V (x
n
x
p
)| = |x
n
x
p
|).
De plus, si / Lat(S), on a (T
1
)(/) /et donc T(
1
(/))
1
(/). Par
consequent nous avons
1
(/) : / Lat(S) Lat(T). Dautre part, si ^ Lat(T),
posons / = (^). On remarque que
S(/) = ( T
1
)(/) = ( T)(^) (^) = /.
Par consequent tout element ^ Lat(T) est de la forme
1
(/) o` u / Lat(S). Ainsi
nous avons Lat(T) =
1
(/) : / Lat(S).
5.3 Description de tous les sous-espaces invariants du

shift sur H
2
(D)
Daprès le Lemme 5.2.3, nous obtiendrons une description complète de Lat(T) si et
seulement si on peut decrire entièrement Lat(S). Nous allons tout dabord verier que
H
2
(D) : fonction interieure Lat(S).
Lemme 5.3.1 Soit une fonction interieure. Alors H
2
(D) := f : f H
2
(D) est un
element de Lat(S).
Preuve : Il est clair que H
2
(D) est un sous-espace vectoriel de H
2
(D). Pour verier que
H
2
(D) est ferme dans H
2
(D), notons que H
2
(D) est limage de H
2
(D) par loperateur
M
deni par M
(f) = f, f H
2
(D). Comme
|f|
H
2
(D)
= |
|
L
2
(T)
= |f
|
L
2
(T)
= |f|
H
2
(D)
,
M
est une isometrie, son image est fermee dans H

2
(D). Ainsi H
2
(D) est bien un sous-
espace 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),
etant donne que si f H
2
(D) alors f H
2
(D) puisque
|f|
H
2
(D)
= |
|
L
2
(T)
= |f
|
L
2
(T)
= |f|
H
2
(D)
.
Finalement H
2
(D) := f : f H
2
(D) Lat(S) dès que est une fonction interieure.
Le resultat suivant nous dit quà une constante unimodulaire près il y a unicite de la
representation de tout element de Lat(S) de la forme H
2
(D) o` u est une fonction
interieure.
Lemme 5.3.2 Soient
1
et
2
deux fonctions interieures telles que
1
H
2
(D) =
2
H
2
(D).
Alors il existe c T tel que
1
= c
2
.
Preuve : Daprès le Theorème 4.4.1, il existe c
1
, c
2
T, B
1
et B
2
deux produits de
Blaschke associes à deux suites (
1
n
)
n0
et (
2
n
)
n0
de D (satisfaisant
n0
1 [
i
n
[ <
pour i = 1, 2) et deux mesures
1
,
2
positives et singulières par rapport à la mesure de
Lebesgue tels que
i
(z) = c
i
B
i
(z)S
i
(z) avec S
i
(z) = e
1
2
_

e
it
+ z
e
it
z
d
i
(t)
pour i = 1, 2.
Rappelons que les fonctions interieures singulières S
1
et S
2
ne sannulent pas sur D.
Legalite
1
H
2
(D) =
2
H
2
(D) implique quil existe f
1
, f
2
H
2
(D) telles que
c
1
B
1
S
1
f
1
= c
2
B
2
S
2
et c
1
B
1
S
1
= c
2
B
2
S
2
f
2
.
En particulier B
1
(z) = 0 implique B
2
(z) = 0 et reciproquement. De ce fait B
1
et B
2
ont la
meme suite de zeros avec meme multiplicite et donc B
1
= B
2
. Nous en deduisons
c
1
S
1
f
1
= c
2
S
2
et c
1
S
1
= c
2
S
2
f
2
.
Comme S
1
et S
2
sont des fonctions interieures, [f
i
(e
it
)[ = 1 m-presque partout pour
i = 1, 2. Comme f
i
H
2
(D) pour i = 1, 2, daprès le Theorème 4.4.2, pour z = re
i
D,
on a :
f
i
(re
i
) =
1
2
_
2
0
P
r
( t)f
(e
it
)dt.
2
(D)97
Par consequent [f
i
(z)[ 1 pour z D et i = 1, 2. On en deduit que [S
1
(z)[ [S
2
(z)[
et [S
2
(z)[ [S
1
(z)[ pour z D. Ainsi [S
1
(z)[ = [S
2
(z)[ pour z D. La fonction
S
1
S
2
etant holomorphe sur louvert simplement connexe D et ne sannulant pas, daprès le
Theorème 1.2.1, il existe Hol(D) tel que
S
1
S
2
= e
sur D. En particulier on obtient

Re(l(z)) = log
S
1
(z)
S
2
(z)
= 0 pour tout z D. Daprès les equations de Cauchy-Riemann, il

existe R tel que Im(l(z)) = pour tout z D. Finalement S
1
= e
i
S
2
et donc il
existe c T tel que
1
= c
2
.
Nous allons à present verier que tous les elements de Lat(S) dierents de 0 sont de
la forme H
2
(D) o` u est une fonction interieure donnee.
Theorème 5.3.1 (de Beurling [3]) Soit / , = 0 un element de Lat(S). Alors il existe
une fonction interieure (unique à une constante unimodulaire près) tel que / = H
2
(D).
Lunicite à une constante unimodulaire près resulte du Lemme 5.3.2. Soit / , = 0 un
element de Lat(S) et soit p = infk 0 : f / avec 0 zero dordre k de f. Soit
f / de la forme f(z) =
np
c
n
z
n
avec c
p
,= 0. Alors f , S(/) car S(/)
g H
2
(D) : 0 zero dordre au moins p + 1 de g. Comme S est une isometrie et / un
sous-espace vectoriel ferme de H
2
(D), S(/) est aussi un sous-espace vectoriel ferme dans
H
2
(D). On a donc
/ = S(/) (S(/)
/),
avec S(/)
/ , = 0 car il existe f / S(/). Soit g / S(/)
, g non
identiquement nulle, et soit =
g
g
2
. Comme / Lat(S) et /, on a S
n
() S(/)
pour tout entier n 1. On en deduit < , S
n
() >= 0 pour tout n 1 puisque par
construction S(/)
. En dautres termes nous avons :

1
2
_
2
0
(e
it
)e
int
(e
it
)dt = 0, n 1.
En conjuguant lexpression ci-dessus nous obtenons :
_
2
0
[
(e
it
)[
2
e
int
dt = 0, n Z 0.
Posons u(e
it
) = [
(e
it
)[
2
. Comme H
2
(D),
L
2
(T) et donc u L
1
(T) avec u(n) = 0
pour n Z 0. De plus
u(0) =
1
2
_
2
0
[
(e
it
)[
2
dt = ||
2
2
= 1.
Comme la transformee de Fourier T : L
1
(Z) c
0
(Z) denie par T(f) = (
f(n))
nZ
est
injective et comme tous les coecients de Fourier de f co
incident avec ceux de la fonction

constante egale à 1, u(e
it
) = 1 m-presque partout et donc [
(e
it
)[ = 1 m-presque partout.
Comme H
2
(D), daprès le Theorème 4.4.2, pour z = re
i
D, on a :
(re
i
) =
1
2
_
2
0
P
r
( t)
(e
it
)dt.
Par consequent [(z)[ 1 pour z D et donc H
(D). En fait on a montre que est

une fonction interieure.
Nous allons verier à present que / = H
2
(D). Pour cela nous allons tout dabord
montrer que H
2
(D) /. Comme / et / Lat(S), S
n
() =
n
/ pour
tout n N. Comme / est un sous-espace vectoriel de H
2
(D), P() / pour tout
polynome P C[X]. Soit f H
2
(D). Daprès le Theorème 4.4.2, il existe une suite
(a
n
)
n0
de C telle que
n0
[a
n
[
2
< et f(z) =
n0
a
n
z
n
si z D. Pour k N,
posons P
k
(z) =
k
n=0
a
n
z
n
. On a donc |f P
k
()|
2
2
=
nk+1
[a
n
[
2
, ce qui implique
lim
k
|f P
k
()|
2
= 0 puisque
n0
[a
n
[
2
< . Comme est interieure,
|f P
k
()|
H
2
(D)
= |
(f
P
k
()
)|
L
2
(T)
= |f
P
k
()
|
L
2
(T)
= |f P
k
()|
H
2
(D)
.
Par consequent lim
k
|f P
k
()|
2
= 0 avec P
k
() / pour tout entier k. Comme
/est ferme dans H
2
(D), f /pour tout f H
2
(D). On a donc montre que H
2
(D)
/.
Pour montrer que H
2
(D) = /, il nous reste à verier que si v / 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(/), on a aussi < , S
n
(v) >= 0 pour tout n 1. On a donc :
_
1
2
_
2
0
v
(e
it
)
(e
it
)e
int
dt n 0
1
2
_
2
0
v
(e
it
)
(e
it
)e
int
dt n 1
2
(D)99
Comme v H
2
(D), v
L
2
(T) L
1
(T). De plus, comme est interieure, nous avons
[v
(e
it
)
(e
it
)[ = [v
(e
it
)[ m-presque partout. Finalement la fonction v
appartient à
L
1
(T) et tous ses coecients de Fourier sont nuls. Linjectivite de la transformee de Fourier
T nous garantit que v
= 0. Comme [
(e
it
)[ = 1 m-presque partout, on a v
= 0 et par
suite v = 0 daprès le Theorème 4.5.1.
Remarque 5.3.1 Si / =
n
0
H
2
(D), alors
1
(/) = a = (a
n
)
n0

2
: a
0
= a
1
=
= a
n
0
1
= 0. Cependant il nest pas evident de decrire
1
(/) si / est un element
de Lat(S) de la forme / = H
2
(D) avec fonction interieure quelconque. Ceci explique
pourquoi la description de Lat(T) est si dicile si lon ne transpose pas le problème de
2
dans H
2
(D).
5.4 Exercices
Exercice 5.4.1 Soient T le shift sur
2
et S le shift sur H
2
(D) denis comme dans la
Denition 5.2.1 et le Lemme 5.2.2.
1. Identier T
et S
.
2. Determiner
p
(S
) et (S
).
3. Verier que si / Lat(S) alors /
Lat(S
).
4. En deduire la description complète de Lat(S
).
Exercice 5.4.2 Soit U
f
le facteur interieur dune fonction f H
2
(D) avec f ,= 0 et soit
Y le plus petit sous-espace vectoriel ferme invariant par S et contenant f.
1. Montrer que Y = U
f
H
2
(D).
2. En deduire que Y = H
2
(D) si et seulement si f est une fonction exterieure.
Chapitre 6
Operateurs de Hankel et operateurs
de Toeplitz
Nous allons voir dans ce chapitre un aper cu de certains operateurs très etudies sur
lespace de Hardy H
2
= H
2
(T). La plupart des resultats presentes ici proviennent de
[16, 8, 12, 14].
6.1 Operateurs de Laurent et operators de Toeplitz
Soit P
H
2 : L
2
(T) H
2
la projection orthogonale denie par :
P
H
2
_

n=
a
n
e
int
_
=
n=0
a
n
e
int
.
Clairement, |P
H
2f|
2
|f|
2
pour tout f L
2
(T).
Denition 6.1.1 Soit L
(T). Alors loperateur de Laurent (ou operateur de multi-

plication) M
: L
2
(T) L
2
(T) est donne par :
(M
f)(e
it
) = (e
it
)f(e
it
). (6.1)
Theorème 6.1.1 Soit L
(T). Alors M
est un operateur borne et sa norme est donne

par |M
| = ||
. De plus,
sup|M
f|
2
: f H
2
, |f|
2
= 1 = ||
.
Si est une fonction mesurable sur T qui nest pas dans L
(T), alors M
nest pas un
operateur borne sur L
2
(T).
101
102 CHAPITRE 6. OP
ERATEURS DE HANKEL ET OP
ERATEURS DE TOEPLITZ
Preuve : Clairement, |M
| ||
, car :
|M
f|
2
2
=
1
2
_
2
0
[(e
it
)f(e
it
)[
2
dt
||
2
1
2
_
2
0
[f(e
it
)[
2
dt = ||
2
|f|
2
2
.
La reciproque est un peu plus compliquee. Etant donne > 0 on peut trouver un
ensemble A
T de mesure strictement positive tel que [(e

it
)[ > ||
sur A
.
On denit =
A
comme la fonction qui est egale à 1 sur A
et 0 sur son complementaire.

On a L
2
(T) et ||
2
2
= (A
), o` u est la mesure de Lebesgue normalisee sur le cercle

unite.
De plus,
|M
|
2
2
=
1
2
_
2
0
[(e
it
)[
2
(e
it
)
2
dt
> (||
)
2
(A
).
Par consequent |M
|
2
/||
2
> ||
et |M
| > ||
. Comme > 0 etait

arbitraire, cela nous montre que |M
| ||
, et nous avons donc egalite.

A present, notons que =
A
nest pas necessairement dans H
2
, mais, si lon ecrit
(e
it
) =
k=
c
k
e
ikt
, alors la suite de fonctions (f
m
) donnee par
f
m
(e
it
) = e
imt
(e
it
) =
n=
c
k
e
i(k+m)t
satisfait |f
m
|
2
= ||
2
et
|M
f
m
|
2
= |M
e
imt M
|
2
> (||
)||
2
.
A present on remarque que :
|P
H
2f
m
f
m
|
2
=
_
_
_
_
_
k=m
c
k
e
i(k+m)t
k=
c
k
e
i(k+m)t
_
_
_
_
_
2
=
_
m1
k=
[c
k
[
2
_
1/2
0 lorsque m .
6.1. OP
ERATEURS DE LAURENT ET OPERATORS DE TOEPLITZ 103

Par consequent |P
H
2f
m
|
2
||
2
et |M
P
H
2f
m
M
f
m
|
2
0, ce qui implique
|M
P
H
2f
m
|
2
|M
|
2
lorsque m .
Notons que P
H
2f
m
H
2
et |M
P
H
2f
m
|
2
/|P
H
2f
m
|
2
> (||
) 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
(e
it
)[ cro
it de fa con monotone vers [(e

it
)[ presque partout et
|
n
|
(on remplace simplement par 0 aux points o` u la valeur absolue de est

superieure à n). Alors |M
f| |M
n
f| pour toute fonction f H
2
et
|M
n
| = |
n
|
,
de sorte que M
est non borne sur H

2
.
Corollaire 6.1.1 Supposons que H
. Alors M
: H
2
H
2
deni par (6.1) satisfait
|M
| = ||
.
Preuve : Ceci resulte du theorème 6.1.1, une fois que lon a verie que f H
2
(et
pas simplement dans L
2
(T)) pour H
et f H
2
. On peut montrer ceci directement
en multipliant les series, ou alternativement, en calculant les produits scalaires :
( f, e
ikt
) = (, fe
ikt
) = 0 pour k < 0,
car H
2
et f(e
it
)e
ikt
na que des coecients de Fourier dindice strictement negatifs non
nuls.
Notation matricielle. Notons (e

n
)
n=
la base orthonormale de L
2
(T), denie par
e
n
(e
it
) = e
int
ou e
n
(z) = z
n
. Rappelons que (e
n
)
n=0
est une base orthonormale de H
2
.
On remarque ensuite que M
e
n
=
k=0
d
k
e
ikt
e
int
, o` u (z) =
k=0
d
k
z
k
(la convergence
devant etre comprise au sens L
2
) et H
. Alors nous obtenons la matrice innie suivante

104 CHAPITRE 6. OP
_
_
_
_
_
_
d
0
0 0 0 . . .
d
1
d
0
0 0 . . .
d
2
d
1
d
0
0 . . .
d
3
d
2
d
1
d
0
. . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
_
_
_
_
_
_
.
Une matrice qui est constante sur les diagonales orientees Nord-Ouest /Sud-Est, comme
ci-dessus est appelee une matrice de Toeplitz.
Il existe un moyen dobtenir un operateur ayant une matrice de Toeplitz generale, pas
necessairement triangulaire inferieure, et cest ce que nous allons observer à present.
Denition 6.1.2 Pour L
(T), loperateur de Toeplitz de symbole est loperateur

T
: H
2
H
2
deni par T
f = P
H
2(M
f).
Comme |P
H
2| = 1 et |M
| = ||
nous avons que T
est un operateur borne sur

H
2
qui satisfait |T
| ||
. Dans le cas o` u H
, on remarque aussi que T
est le
meme operateur que M
. Nous allons voir bientot que |T
| = ||
pour tout symbole

L
(T).
Soit (z) =
k=
d
k
z
k
. Alors
T
e
n
= P
H
2(
k=
d
k
e
ikt
e
int
)
=
p=0
d
pn
e
ipt
,
o` u p = n + k. Ceci donne une matrice de Toeplitz de T
; à savoir la matrice
_
_
_
_
_
_
d
0
d
1
d
2
d
3
. . .
d
1
d
0
d
1
d
2
. . .
d
2
d
1
d
0
d
1
. . .
d
3
d
2
d
1
d
0
. . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
_
_
_
_
_
_
.
Des cas speciaux importants sont les suivants :
si = 1, alors T
;
si (z) = z, alors T
est le shift (à droite) ;

6.1. OP
ERATEURS DE LAURENT ET OPERATORS DE TOEPLITZ 105

si (z) = 1/z, alors T
est ladjoint du shift (ou encore le shift à gauche).

Enn, clairement, T
= 0 si et seulement si = 0.
Theorème 6.1.2 Pour L
(T) on a |T
| = ||
; cest-à-dire,
sup
_
|T
f|
2
: f H
2
, |f|
2
= 1
_
= ||
.
Preuve : Comme |T
| = |P
H
2M
| |M
| = ||
, il sut simplement de prouver

que est vrai.
Etant donne > 0, il existe une function f H
2
avec |f|
2
= 1 et
|M
f|
2
> ||
,
par le theorème 6.1.1. En fait, on peut supposer sans perte de generalite f est un polynome
p(e
it
) =
N
k=0
c
k
e
ikt
,
car on peut toujours trouver une suite de polynomes p
n
telle que
|p
n
f|
2
0 et |M
p
n
M
f|
2
0.
Nous allons tout dabord montrer que, pour tout k 0, on a |(T
)(e
imt
e
ikt
)|
2
0
lorsque m . A cette n, avec ayant lescoecients de Fourier (d
n
) comme ci-dessus,
cette quantite est simplement
_
_
_
_
_
(I P
H
2)
r=
d
r
e
irt
e
imt
e
ikt
_
_
_
_
_
2
=
_
_
_
_
_
1mk
r=
d
r
e
i(r+m+k)t
_
_
_
_
_
2
=
_
1mk
r=
[d
r
[
2
_
1/2
0
lorsque m . Il sensuit que
|(T
)(e
imt
p(e
it
))|
2

N
k=0
[c
k
[|(T
)e
imt
e
ikt
|
2
0
lorsque m .
106 CHAPITRE 6. OP
Comme |e
imt
p|
2
= |p|
2
, on a donc
|T
(e
imt
p)|
2
|M
(e
imt
p)|
2
= |e
imt
p|
2
= |M
p|
2
.
Mais dautre part, |M
p|
2
> ||
, 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 T
0
= 0.
Preuve : Soit (e
n
) une base orthonormale de H
2
. Il est facile de voir que si S est un
operateur de rang ni, alors |Se
n
| 0 lorsque n , etant donne que lon peut ecrire
Se
n
=
r
k=1
(e
n
, x
k
)y
k
,
o` u (x
k
)
r
k=1
et (y
k
)
r
k=1
sont des suites nies de H
2
. Alors
|Se
n
|
r
k=1
[(e
n
, x
k
)[ |y
k
| 0
lorsque n , car (e
n
, x
k
) 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 (S
k
) doperateurs de rang
ni et lon observe que |Se
n
| |S S
k
| + |S
k
e
n
|. Etant donne > 0 on peut rendre
le premier terme inferieure à /2 en choisissant k assez grand et on peut rendre le second
terme inferieure à /2 en choisissant n assez grand.
Cependant, il est facile de voir que pour un operateur de Toeplitz T
, on ne peut pas
avoir |T
e
n
| 0 lorsque n , à moins que T
soit loperateur identiquement nul. En

6.2. OP
ERATEURS DE HANKEL 107

eet, |T
e
n
| [d
m
[ dès que d
m
apparait dans la (n+1)ième colonne, ce qui se produit dès
que n m. Donc T
est non compact sauf si tous les coecients de Fourier de sont

nuls (i.e. = 0).
6.2 Operateurs de Hankel

Nous allons considerer à present une classe doperateurs très liee à la precedente et
aussi introduite par Toeplitz.
Notons (H
2
)
le complementaire orthogonal de H
2
dans L
2
(T) ; cest-à-dire lenveloppe
lineaire fermee engendree par
e
n
(e
it
) = e
int
, n < 0.
Denition 6.2.1 Pour L
(T) loperateur de Hankel
de symbole est deni

comme loperateur de H
2
dans (H
2
)
donne par
f = (I P
H
2)M
f;
ce qui implique en particulier, M
= T
.
Il existe plusieurs denitions alternatives, qui sont plus ou moins bien adaptees à cer-
taines circonstances, mais nous allons travailler uniquement à partir de la denition ci-
dessus.
Proposition 6.2.1 On a linegalite |
| ||
. De plus, si (e
i
) a comme serie
de Fourier
k=
d
k
e
ik
, alors la matrice de
, relativement à la base orthonormale

(e
n
)
n=0,1,2,...
de H
2
et (e
n
)
n=1,2,...
de (H
2
)
, est
_
_
_
_
_
_
d
1
d
2
d
3
d
4
. . .
d
2
d
3
d
4
d
5
. . .
d
3
d
4
d
5
d
6
. . .
d
4
d
5
d
6
d
7
. . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
_
_
_
_
_
_
, (6.2)
108 CHAPITRE 6. OP
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, |
f|
2
= |(I P
H
2)M
f|
2
|M
f|
2
||
|f|
2
. De plus,
e
k
= (I P
H
2)
n=
d
n
e
int
e
ikt
=
1
n=
d
n
e
i(n+k)t
=
r=1
d
rk
e
irt
,
obtenu en posant n + k = r. Ceci donne la matrice recquise, et clairement
= 0 si et
seulement si d
n
= 0 pour tout n < 0, ce qui arrive precisement lorsque est dans H
Theorème 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 |
| = ||
. Par
consequent
|
| = inf| + h|
: h H
= dist(, H
)
et linmum est atteint en h = .
Preuve : Observons tout dabord que, si (e
it
) =
k=
d
k
e
ikt
et n, m > 0, alors
(e
int
, e
imt
e
it
) = d
nm1
= (e
int
e
imt
, e
it
).
Par consequent
_
n=0
b
n
e
int
,
M
m=0
c
m
e
imt
e
it
_
=
_
_
N
n=0
b
n
e
int
M
m=0
c
m
e
imt
_
, e
it
_
.
On peut alors denir une fonctionnelle lineaire sur les polynomes par
(f) = (f, e
it
),
et si f se factorise comme un produit de polynomes f = f
1
f
2
, alors
(f) = ((f
1
f
2
), e
it
) = (f
1
, f
2
e
it
),
6.2. OP

et donc
[(f
1
f
2
)[ || |f
1
|
2
|f
2
|
2
.
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
(f
1
f
2
) = (f
1
, f
2
e
it
) pour f
1
, f
2
H
2
,
avec [(f
1
f
2
)[ || |f
1
|
2
|f
2
|
2
, ou (en utilisant le fait quune fonction f de H
1
et le
produit de deux fonctions de H
2
, f = f
1
f
2
avec |f|
1
= |f
1
|
2
||f
2
|
2
))
[(g)[ || |g|
1
pourtout g H
1
.
Nous pouvons à present utiliser le theorème dHahnBanach pour etendre le domaine
de denition de la forme lineaire à tout lespace L
1
(T), en gardant la condition [(g)[
|| |g|
1
pour tout g L
1
(T). Ceci implique quil existe une representation
(g) =
1
2
_
2
0
g(e
i
)(e
i
) d,
pour un certain L
(T) avec
||
= || ||.
De plus, pour k 0,
(, e
ikt
) =
1
2
_
2
0
e
ikt
(e
it
) dt = (e
ikt
) = (e
ikt
, e
it
) = d
k1
.
Par consequent les coecients de Fourier (
n
) de satisfont
k
= d
k1
pour k 0.
On prend à present (e
it
) = e
it
(e
it
), de sorte que les coecients de Fourier (
n
) de
satisfont
k1
= d
k1
pour k 0. De plus,
||
= ||
||,
comme annonce.
110 CHAPITRE 6. OP
A present, comme
si et seulement si la fonction h, denie par h = , est

dans H
, nous avons que

|
| inf| + h|
: h H
et il existe une fonction telle que = + h et

||
| ||
.
On obtient ainsi ||
= |
|.
Remarque 6.2.1 La preuve ci-dessus montre en fait bien plus ; à savoir que tout operateur
borne T de H
2
dans (H
2
)
donne par une matrice de Hankel est en fait un operateur de

Hankel cest-à-dire, T =
pour un certain L
avec ||
= |T|.
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(e
i
) ,= 0 presque partout. Ceci
nous permet de donner une solution explicite, pour un grand nombre de cas, au problème de
Nehari consistant à trouver un symbole de norme minimale pour un operateur de Hankel ;
ou de fa con equivalente à trouver un meilleur approximant analytique pour une fonction
mesurable et bornee.
Theorème 6.2.2 (D. Sarason) Supposons que : H
2
(H
2
)
est un operateur de
Hankel pour lequel il existe f H
2
, f ,= 0 avec |f|
2
= |||f|
2
. Alors il existe un unique
symbole L
pour tel que ||
= ||. De plus, est donne par = (f)/f ; cest-

à-dire, (e
i
) = (f)(e
i
)/f(e
i
) presque partout. Dautre part, lidentite [(e
i
)[ = || est
verie presque partout.
Preuve : Soit un symbole de norme minimal, lequel existe daprès le theorème de
Nehari. Comme
f = (I P
H
2)M
f nous avons que

|
||f|
2
= |f|
2
| f|
2
||
|f|
2
.
6.2. OP

Comme |
| = ||
, nous avons necessairement f = f. Par consequent = (f)/f

presque partout, sachant que f(e
i
) ,= 0 presque partout. De plus, comme | f|
2
=
||
|f|
2
, lidentite [(e
i
)[ = ||
doit etre vraie presque partout.
Le problème de trouver un symbole de norme minimale pour un operateur de Hankel

peut etre revisite de fa con très utile en un problème consistant à trouver une approximation
dune fonction de L
(T) une fonction de H
, comme nous allons le voir maintenant.

Corollaire 6.2.1 Supposons que L
(T) est tel que
atteint sa norme (cest-à-dire,

|
f|
2
= |
||f|
2
pour une certaine fonction f H
2
, f ,= 0). Alors a un unique meilleur approximant
h H
; cest-à-dire, une fonction satisfaisant | h|
= dist(, H
). De plus, h =
(f)/f et [( h)(e
i
)[ = | h|
= |
| presque partout.
Preuve : Si g H
alors
g
=
, et donc
| g|
|
g
| = |
|.
Mais il existe une fonction L
(T), donnee par = (f)/f, telle que
, et
||
= |
| = |
|.
Par consequent h = appartient à H
(car
h
est loperateur identiquement nul) et
| h|
= ||
= |
|,
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 correspon-

dante à un operateur de Hankel qui est de rang ni, ou simplement compact, a la propriete
desiree. Par consequent il est naturel de chercher à savoir quand est-ce quun Hankel est
de rang ni.
112 CHAPITRE 6. OP
Theorème 6.2.3 (L. Kronecker) Loperateur de Hankel dont la matrice est donnee
par lequation (6.2) est de rang ni si et seulement si f(z) =
1
k=
d
k
z
k
est une fonction
rationnelle de z. Son rang est le nombre de poles de f (les poles sont necessairement dans
D).
Preuve : Si le rang de est r, alors les premières (r+1) colonnes de sont lineairement
independantes ; cest-à-dire quil existe des scalaires
1
, . . . ,
r+1
, non tous nuls, tels que
r+1
k=1
k
d
km
= 0 pour tout m 0.
Ceci implique que
(
1
+
2
z + . . . +
r+1
z
r
)
_
d
1
z
+
d
2
z
2
+ . . .
_
est un polynome de degre au plus (r 1) en z, car les coecients des puissances negatives
z
m1
sont egaux à
1
d
m1
+ . . . +
r+1
d
mr1
,
qui valent zero. Ainsi f est rationnel de degre au plus r.
Reciproquement, si P(z)
d
k
z
k
= Q(z) pour certains polynomes P et Q avec le
degre de P inferieur ou egal à r, alors en remontant les implications ci-dessus on voit que
le rang de est au plus r.
Par consequent le rang est actuellement egal au nombre de poles. Notons que f est la
projection dune fonction de L
2
(T) sur (H
2
)
. Comme g(z) = (1/z)f(1/z) appartient à

H
2
et par consequent a des poles en dehors de D, il sensuit que les poles de f sont dans
D.
Notons R
k
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
+ R
k
.
6.2. OP

Preuve : Ceci resulte du fait que
si et seulement si H
Nous terminons avec une caracterisation des symboles des operateurs de Hankel com-
pacts, sans donner les preuves mais ces dernières sont detaillees dans [12] ou [16].
Theorème 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.
Theorème 6.2.5 (D. E. Sarason) Lespace H
+ C(T) est une sous-algèbre fermee de

lalgèbre de Banach L
(T).
114 CHAPITRE 6. OP
Chapitre 7
Elements 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
zz
= 0. Or
2
uv
zz
=

z
_
u
v
z
+ v
u
z
_
=
u
z
v
z
+ u

2
v
zz
+
v
z
u
z
+ v

2
u
zz
.
Comme u et v sont harmoniques, on obtient :
2
uv
zz
=
u
z
v
z
+
v
z
u
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.
Reciproquement supposons que uv est harmonique. Comme v est harmonique,

z
_
v
z
_
=
0 et donc
v
z
est holomorphe. Si lon suppose que
v
z
= 0, comme
v
z
=
1
2
_
v
x
i
v
y
_
115
116 CHAPITRE 7. EL
EMENTS DE CORRECTION DES EXERCICES

et comme v est reelle, on a donc
v
x
= 0 =
v
y
. Finalement v est constante. De meme,
comme u est harmonique,
u
z
est holomorphe et
u
z
si et seulement si u est constante.
Supposons que ni u ni v nest constante, autrement dit que
u
z
et
v
z
sont des fonc-
tions holomorphes non identiquement nulles. Lensemble des zeros de
v
z
et de
u
z
sont
discrets. Soit D(a, r) tel que
v
z
ne sannule pas sur D(a, r). La fonction h :=
u
z
v
z
est donc holomorphe sur D(a, r).
Comme u et v sont reelles,
v
z
=
v
z
et
u
z
=
u
z
. Daprès (7.1), h = h sur D(a, r),
i.e. Re(h) = 0 sur D(a, r). Daprès les equations de Cauchy-Riemann, Im(h) est
constante sur D(a, r). Comme on a suppose que u etait non constante, h est non nul
et donc il existe R 0 tel que
u
z
= i
v
z
sur D(a, r). Daprès le principe des
zeros isoles (que lon peut appliquer car est un ouvert connexe)
u
z
= i
v
z
sur .
Finalement

z
(uiv) = 0 sur , i.e.

z
(u+iv) = 0 sur car R et u et v sont
des fonctions reelles. La fonction u + iv est donc holomorphe sur .
2. Daprès la première question, u
2
est harmonique si et seulement si u est constante
ou sil existe et constantes reelles non nulles telles que u +iu holomorphe. Or
z
(u + iu) = 0
u
z
= 0 sur . Comme u est reelle, on obtient
u
z
= 0 sur ,
ce qui implique que u est constante sur .
3. Daprès le calcul qui conduit à (7.1), puisque f et f sont des fonctions harmoniques,
on a :
2
zz
(ff) =
f
z
f
z
+
f
z
f
z
.
Comme f est holomorphe,
f
z
= 0 et donc [f[
2
est harmonique si et seulement si
f
z
f
z
=
f
z
f
z
=
f
z
2
= 0 sur .
Finalement
f
z
= 0 sur , ce qui implique f constante sur .
1. f
2
harmonique sur signie

2
f
2
zz
= 0 sur . Comme

2
f
2
zz
= 2
f
z
f
z
+ 2f

2
f
zz
avec
2
f
zz
= 0 car f est harmonique, on a donc :
f
z
f
z
= 0 sur . (7.2)
7.1. EXERCICES DU CHAPITRE I 117
Si
f
z
= 0 sur , alors
f
z
= 0 sur et donc f est holomorphe.
Supposons à present quil existe z
0
tel que
f
z
(z
0
) ,= 0. Comme f est harmonique
(i.e.

2
f
zz
= 0) la fonction
f
z
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) ,= 0 sur D(z
0
, r). Daprès (7.2), on a donc
f
z
= 0 sur D(z
0
, r) et par consequent
f
z
= 0 sur D(z
0
, r). Comme f est harmonique, f est harmonique et ainsi

2
f
zz
= 0 sur
. On obtient
f
z
fonction holomorphe sur et nulle sur D(z
0
, r). Daprès le principe
des zeros isoles (que lon peut appliquer car est un ouvert connexe)
f
z
= 0 sur .,
i.e.
f
z
= 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 :
0 =

2
(ff)
zz
=
f
z
f
z
+
f
z
f
z
=
f
z
2
+
f
z
2
.
Ainsi
f
z
=
f
z
= 0 sur , ce qui implique f constante sur .
f = u+iv o` u u et v sont des fonctions à valeurs reelles qui ne sannulent pas simultanement.
On pose g := log [f[ = log(u
2
+ v
2
)
1
2
=
1
2
log(u
2
+ v
2
). Calculons (g) :=

2
g
x
2
+

2
g
y
2
.
On a
g
x
=
1
2
1
u
2
+ v
2
_
2u
u
x
+ 2v
v
x
_
=
_
u
u
x
+ v
v
x
_
1
u
2
+ v
2
,
et donc :
2
g
x
2
=
_
_
u
x
_
2
+ u
2
u
x
2
+
_
v
x
_
2
+ v
2
v
x
2
_
(u
2
+ v
2
)
(u
2
+ v
2
)
2

_
2u
u
x
+ 2v
v
x
_ _
u
u
x
+ v
v
x
_
(u
2
+ v
2
)
2
=
u
2
_
u
x
_
2
+ v
2
_
v
x
_
2
+ 4uv
u
x
v
x
(u
2
+ v
2
)
2
+
u
3
2
u
x
2
+ u
2
_
v
x
_
2
+ u
2
v
2
v
x
2
+ v
2
_
u
x
_
2
+ uv
2
2
u
x
2
+ v
3
2
v
x
2
(u
2
+ v
2
)
2
=
_
u
x
_
2
(v
2
u
2
) +
_
v
x
_
2
(u
2
v
2
) +

2
u
x
2
(u
3
+ uv
2
) +

2
v
x
2
(v
3
+ vu
2
) 4uv
u
x
v
x
(u
2
+ v
2
)
2
=
(v
2
u
2
)
_
_
u
x
_
2
_
v
x
_
2
_
+

2
u
x
2
(u
3
+ uv
2
) +

2
v
x
2
(v
3
+ vu
2
) 4uv
u
x
v
x
(u
2
+ v
2
)
2
.
118 CHAPITRE 7. EL

Lexpression de

2
g
y
2
sobtient en rempla cant x par y. Comme u et v sont harmoniques en
tant que partie reelle et imaginaire dune fonction holomorphe, on a bien sur

2
u
x
2
+

2
u
y
2
=
0 =

2
v
x
2
+

2
v
y
2
. On a donc :
(g) =
(v
2
u
2
)
_
_
u
x
_
2
_
v
x
_
2
+
_
u
y
_
2
_
v
y
_
2
_
4uv
_
u
x
v
x
+
u
y
v
y
_
(u
2
+ v
2
)
2
.
Comme f est holomorphe, daprès les equations de Cauchy-Riemann,
u
x
=
v
y
et
u
y
=
v
x
. On verie ainsi que (g) = 0 et donc log [f[ est harmonique.
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 = e
g
. On a donc en particulier
[f[ = e
Re(g)
, i.e. log [f[ = Re(g). La fonction log [f[ est donc harmonique comme partie
reelle dune fonction holomorphe.
Rappelons quune fonction f à valeurs complexes est analytique dans si pour tout z
0
,
il existe R(z
0
) > 0 avec D(z
0
, R(z
0
)) et une serie entière
n0
a
n
(z
0
)X
n
de rayon de
convergence au moins egal à R(z
0
) tels que
f(z) =
n0
a
n
(z
0
)(z z
0
)
n
, z D(z
0
, R(z
0
)).
Rappelons le lien entre lholomorphie et lanalyticite : si f holomorphe dans un ouvert
de C alors f est analytique dans . (cf. par exemple Section 2.4 de [25] ou [15]).
Daprès les rappels ci-dessus, il sut de montrer que si f et z zf(z) sont harmo-
niques dans alors f est holomorphe sur , i.e.
f
z
= 0 sur . Or, comme g : z zf(z)
est harmonique, pour tout z , on a :
0 =

z
_
g
z
_
(z) =

z
_
z
f
z
(z) + f(z)
_
= z

2
f
zz
(z) +
f
z
(z).
Comme f est harmonique, on a donc

2
f
zz
= 0 sur et donc necessairement
f
z
= 0 sur .
1.
f
x
est harmonique car
2
x
2
_
f
x
_
+

2
y
2
_
f
x
_
=

x
_
2
f
x
2
+

2
f
y
2
_
= 0,
car f est harmonique de classe C
3
. De fa con analogue on montre que
f
y
est harmo-
nique.
2.
P
r
( t) =
nZ
r
|n|
e
in(t)
=
n0
r
n
e
in(t)
+
n>0
r
n
e
in(t)
=
n0
z
n
e
int
+
n>0
(z)
n
e
int
,
si z = re
i
. Comme, pour n 0,

z
(z
n
) = 0 et

z
(z
n
) = 0, on a donc

2
P
r
( t)
zz
=
0 et donc P
r
( t) est harmonique (à t xe) sur D.
3. Pour z = re
i
,
P()(re
i
) =
1
2
_

P
r
( t)d(t)
=
1
2
_

n0
z
n
e
int
+
n>0
(z)
n
e
int
_
d(t).
Comme pour [z[ < 1 les sommes convergent normalement, on obtient :
P()(re
i
) =
1
2
_

n0
z
n
e
int
d(t) +
1
2
_

n>0
(z)
n
e
int
d(t).
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 :
2
P()
zz
(z) =
1
2
_

n0
2
(z
n
e
int
)
zz
d(t) +
1
2
_

n>0
2
((z)
n
e
int
)
zz
d(t) = 0,
ce qui prouve que P() est bien une fonction harmonique sur D.
120 CHAPITRE 7. EL

1. Daprès le Corollaire 1.3.1, nous savons que si a D et si R > 0 satisfait D(a, R) D
alors pour tout r veriant 0 r < R, on a :
u(a + re
i
) =
1
2
_

P
r/R
( t)u(a + Re
it
)dt.
Comme P
r/R
( t) =
R
2
r
2
R
2
2rRcos(t)+r
2
, on a :
R r
R + r
=
R
2
r
2
R
2
+ 2rR + r
2
P
r/R
( t)
R
2
r
2
R
2
2rR+ r
2
=
R + r
R r
.
Dautre part, daprès la formule de la moyenne, u(a) =
1
2
_

u(a+Re
it
)dt. De plus,
comme u(a) 0, on obtient :
R r
R + r
u(a) u(a + re
it
)
R + r
R r
u(a).
Prenons a = 0, r =
1
2
, t = 0 et R = 1 avec ]0,
1
2
[. On obtient :
1/2
3/2 +
u(1/2)
3/2
1/2
.
Comme
3/2
1/2
est une fonction croissante et comme
1/2
3/2+
est une fonction
decroissante, cest en faisant tendre vers 0 que lon obtient le meilleur encadrement.
On a donc 1/3 u(1/2) 3.
2. Comme u est une fonction harmonique sur D, daprès le Corollaire 1.3.1, pour tout
0 r < R < 1, on a :
u(re
i
) =
1
2
_
2
0
P
r/R
( t)u(Re
it
)dt,
ce qui revient à dire que :
Re(f(z)) = Re
_
1
2
_
2
0
Re
it
+ z
Re
it
z
u(Re
it
)dt
_
avec [z[ < R < 1.
Daprès les equations de Cauchy-Riemann, il existe R tel que
f(z) =
1
2
_
2
0
Re
it
+ z
Re
it
z
u(Re
it
)dt + i pour tout z D(0, R).
En particulier, daprès le Corollaire 1.2.3 on a f(0) =
1
2
_
2
0
u(Re
it
)dt + i =
u(0) + i . Comme f(0) = 0 = u(0), on obtient = 0. On a donc f(z) =
1
2
_
2
0
Re
it
+ z
Re
it
z
u(Re
it
)dt dès que [z[ = r < R < 1. Comme [u[ < 1 sur D, on
en deduit :
[f(z)[
R + r
R r
dès que [z[ = r < R < 1.
Comme la fonction x
x + r
x r
est decroissante, on en deduit :
[f(re
i
)[
1 +r
1 r
dès que [z[ = r < 1.
Montrons que u est continue. Soit D(a, r) . Nous savons qualors
u(a) =
1
r
2
_ _
D(a,r)
u(x + iy)dxdy.
Soit b D(a, r) et soit r
1
:= r [b a[. Par construction on a D(b, r
1
) . On a donc
u(b) =
1
r
2
1
_ _
D(b,r
1
)
u(x + iy)dxdy et ainsi :
[u(a) u(b)[ =
1
r
2
_ _
D(a,r)
u(x + iy)dxdy
1
r
2
1
_ _
D(b,r
1
)
u(x + iy)dxdy
1
r
2
_ _
D(a,r)
u(x + iy)dxdy
1
r
2
1
_ _
D(a,r)
u(x + iy)dxdy
1
r
2
1
_ _
D(a,r)
u(x + iy)dxdy
1
r
2
1
_ _
D(b,r
1
)
u(x + iy)dxdy
1
r
2

1
r
2
1
_ _
D(a,r)
[u(x + iy)[dxdy +
1
r
2
1
_ _
R
2
u(x + iy)
D(a,r)\D(b,r
1
)
dxdy
.
Comme u L
1
localement,
__
D(a,r)
[u(x + iy)[dxdy = M < et comme lim
ba
[b
a[ = 0 lim
ba
r
1
= r, pour > 0 xe, il existe > 0 tel que si [b a[ < alors
1
r
2

1
r
2
1
_ _
D(a,r)
[u(x + iy)[dxdy <

2
. Dautre part, comme u L
1
localement et
122 CHAPITRE 7. EL

comme lim
ba
u(x + iy)
D(a,r)\D(b,r
1
)
= 0, daprès le theorème de convergence dominee de
Lebesgue, il existe
> 0 tel que si [b a[ <
alors
1
r
2
1
_ _
R
2
u(x + iy)
D(a,r)\D(b,r
1
)
dxdy
<

2
.
La fonction u est donc continue. Comme u verie la propriete de la moyenne, elle verie
la propriete de la moyenne faible. Daprès le Theorème 1.3.2, f est harmonique.
7.2 Exercices du Chapitre 2
7.2.1 Quelques rappels de topologie et notion de regularite 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 separe (ou de Hausdor) lorsque lon a la propriete suivante : pour deux
points distincts quelconques a et b, il existe un voisinage U de a et un voisinage V
de b tels que U V = .
Un sous-ensemble K de X est compact si de tout recouvrement ouvert de K on
peut extraire un sous-recouvrement ni.
X est localement compact si tout point de X possède un voisinage dont la ferme-
ture 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 com-
pacts 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 reelle (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 exterieurement
regulier si
(E) = inf(V ) : V ouvert , V E.
Soit une mesure de Borel positive et soit E un borelien. Alors E est interieurement
regulier si
(E) = sup(K) : K compact , K E.
Soit une mesure de Borel positive.
Une mesure de Borel positive est regulière si tout borelien E est à la fois exteri-
eurement et interieurement regulier.
Theorème 7.2.1 (Theorème 2.18, p.47 de [22]) Soit X un espace topologique separe
localement compact sur lequel tout ouvert est -compact. Soit une mesure de Borel positive
telle que (K) < pour tout compact K de X. Dans ce cas est regulière.
En particulier si est une mesure de Borel positive et reelle (donc nie) sur R, est
regulière (en fait si est une mesure de Borel positive sur R qui de plus est nie sur tout
les compacts de R, est regulière).
7.2.2 Corrections
1. La fonction u est harmonique sur D comme partie imaginaire dune fonction holo-
morphe sur D. De plus, si z = e
i
avec 0 r < 1 et ]0, 2[, on a :
1 +z
1 z
=
1 +e
i
1 e
i
=
e
i/2
+ e
i/2
e
i/2
e
i/2
=
2 cos(/2)
2i sin(/2)
= icotan(/2).
124 CHAPITRE 7. EL

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

0
4r(1 r
2
) sin
(1 +r
2
2r cos )
2
d
_
2
4r(1 r
2
) sin
(1 +r
2
2r cos )
2
d.
Rappelons que P
r
() =
1r
2
12r cos +r
2
et P
r
() =
(1r
2
)2r sin
(12r cos +r
2
)
2
. Ainsi on obtient :
_
2
0
[u(re
i
)[d = 2
_

0
P
r
()d + 2
_
2
r
()d
= 2(P
r
() + P
r
(0) +P
r
(2) P
r
()).
Comme P
r
(0) = P
r
(2) =
1+r
1r
et P
r
() =
1r
1+r
, on obtient :
_
2
0
[u(re
i
)[d = 4
_
1 +r
1 r

1 r
1 +r
_
= 16
r
1 r
2
.
Par consequent (u) = sup
0r<1
r
1 r
2
= +.
Si lon suppose que u est la dierence de deux fonctions harmoniques positives sur
D, daprès le Corollaire 2.2.1, il existe deux mesures positives nies
1
et
2
telles
que u = P(
1
) P(
2
) = P(
1
2
). On a donc u = P() avec =
1
2
mesure
reelle (nie). Daprès ce qui precède ceci est absurde.
Comme m, il existe un borelien A de R tel que m(A) = 0 et (E) = (E A) pour
tout borelien E de R. Pour 0 < < , soit E
:= x A : D()(x) < . Comme D()

est une fonction borelienne (cf. Lemme 2.3.1) et comme E
= D()
1
(] , [) A, E
est un borelien de R. Nous allons montrer que (E
) = 0, ce qui permettra de conclure.

Comme est une mesure positive reelle, est regulière. Ainsi pour montrer que (E
) = 0
il sut de montrer que (K) = 0 pour tout compact K E
. Fixons > 0 et K un
compact inclus dans E
. Comme K A, m(K) = 0 et K est inclus dans un ouvert V de

R avec m(V ) < . Comme K E
, tout x K est dans un intervalle ouvert I

x
V tel
que (I
x
) < m(I
x
). Comme K est compact, il existe un nombre ni de points x
1
, , x
n
de K tels que K
1in
I
x
i
. Si un point de R est situe dans trois intervalles, lun deux est
inclus dans la reunion des deux autres et peut-etre supprime sans que la reunion change.
En supprimant de cette manière les intervalles superus de la forme I
x
i
(1 i n) on
montre quil existe des intervalles I
1
, , I
k
choisis parmi les intervalles I
x
1
, , I
xn
avec
K
1ik
I
i
et tel que aucun point de K nest contenu que plus de 2 intervalles de la
forme I
i
, 1 i k. On obtient alors :
(K) (
1ik
I
i
)
k
i=1
(I
i
) <
k
i=1
m(I
i
)
2m(
1ik
I
i
) 2m(V ) < 2.
Comme etait arbitraire, (K) = 0.
Daprès la Proposition 2.3.1 si u = P() alors liminf
r1
u(re
i
) D()() pour tout
R. Si lon suppose que lim
r1
u(re
i
) existe pour tout R, on aura alors D()()
nie pour tout R. Or nous avons vu dans lExercice 2.4.2 que, comme m, on a
D()() = -presque partout. Comme est non identiquement nulle, son support A
est non vide et lon obtient ainsi une contradiction.
126 CHAPITRE 7. EL

Daprès le Corollaire 2.3.3, il existe une mesure positive, m telle que u = P(u
)+P()
avec u
L
1
(T), u
(e
it
) = lim
r1
u(re
it
) m-presque partout. Comme par hypothèse
u
(e
it
) = 0 m-presque partout, on a donc P(u
) = 0. On a donc u = P() o` u m et
mesure positive nie. Daprès la Proposition 2.3.1 liminf
r1
u(re
i
) D()() pour tout
R. Par consequent pour tout ]0, 2[, on a D()() 0. Or daprès lExercice 2.4.2,
comme m, D()() = -presque partout. Comme u et donc est non identiquement
nul, necessairement le support de est reduit au point 1. Posons alors c
= (1). On a
donc = c
1
o` u
1
est la mesure de Dirac concentree au point 1. Finalement on obtient
u(re
i
) = P(c
1
)(re
i
) =
1
2
_

P
r
( t)c
d
0
(e
it
) =
c
2
P
r
() = cP
r
() avec c =
c
2
.
Daprès le Corollaire 2.2.1, nous avons
:= P() : mesure positive nie sur R avec de plus P()(0) = 1.
Or P()(0) =
1
2
_
P
0
( t)d(t) =
1
2
([, ]) =

2
. On a donc
:= P() : mesure positive nie sur R, || = 2.
Par une homothetie evidente de rapport
1
2
, le problème revient à chercher les points
extremaux de lensemble c des mesures positives nies sur T de variation totale 1.
(0, 1] et soient u
1
, u
2
deux fonctions harmoniques positives telles u
1
(0) = 1 = u
2
(0).
Il est clair que u
1
+ (1 )u
2
est bien un element de c. Ainsi c est bien un ensemble
convexe.
Nous allons montrer à present que les points extremaux de c sont des mesures de Dirac
concentrees en un point de T. Soit z
0
T et soit
z
0
la mesure de Dirac concentree en z
0
.
Nous allons tout dabord montrer que
z
0
est bien un point extremal de c. Soit ]0, 1[ et
soit , c tels que
z
0
= + (1 ). En particulier on a :
1 =
z
0
(z
0
) = (z
0
) + (1 )(z
0
).
Il est clair que si (z
0
) < 1 ou si (z
0
) < 1 alors legalite ci-dessus nest pas veriee.
Finalement on a (z
0
) = 1 = (z
0
), ce qui implique (puisque et sont des mesures
positives de variation totale 1) (Tz
0
) = 0 = (Tz
0
). Soit E un borelien quelconque
de T. Si z
0
, E, comme (E) (T z
0
), on a donc (E) = 0. Par contre si z
0
E,
comme 1 (E) (z
0
) = 1, on a donc (E) = 1. On a donc montre que =
z
0
. De
meme on montre que =
z
0
. On conclut alors que
z
0
est bien un point extremal de c.
Supposons à present que ,=
z
0
pour tout z
0
T et montrons que nest pas un
point extremal de c. Il est clair que si le support de (deni comme le complementaire
du plus grand ouvert V tel que (V ) = 0) est reduit à un point z
0
alors est de la
forme ,=
z
0
. On peut donc supposer que le support de contient au moins deux points
distincts z
1
= e
i
1
et z
2
= e
i
2
avec 0
1
<
2
< 2. Soit A = e
i
: 0

1
+
2
2
et
B = e
i
:

1
+
2
2
< < 2. Les boreliens A et B forment une partition de T. Si (A) = 0
alors A nest pas dans le support de et donc z
1
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 z
2
nest pas dans le support de . Là encore on obtient une
contradiction. Finalement (A) = ]0, 1[ et (B) = 1 . Si lon denit
1
et
2
par
1
(E) =
(EA)
et
2
(E) =
(EB)
1
pour tout borelien E de T, on obtient
1
,
2
c avec
=
1
+ (1 )
2
. Les mesures
1
et
2
sont distinctes nayant pas le meme support.
Ainsi nest pas un point extremal de c.
7.3.1 Rappels sur les produits innis de nombres complexes
Denition 7.3.1 (Notion de convergence au sens strict) On suppose que pour tout
k 1 , u
k
C 0. On dit que le produit inni des u
n
, note
n1
u
n
, converge strictement
vers p C si lim
n
p
n
= p avec p C 0 et p
n
=
n
k=1
u
k
.
Denition 7.3.2 (Notion de convergence au sens large) Soit (u
n
)
n1
une suite de
nombres complexes telle quil existe n
0
1 tel que u
n
,= 0 si n n
0
. Si le produit inni
128 CHAPITRE 7. EL
nn
0
u
n
converge strictement vers p
1
C
, on dira que que le produit inni
n1
u
n
converge
au sens large vers p avec p = u
0
u
1
u
n
0
1
p
1
.
1. Soit p
n
=
n
k=1
u
k
. Comme lim
n
p
n
= p C
, on a lim
n
p
n+1
p
n
= 1. De plus, comme
p
n+1
pn
= u
n+1
, on obtient lim
n
u
n
= 1.
2. Supposons que
n1
u
n
converge au sens large. Il existe donc n
0
1 tel que u
n
,= 0 si
n n
0
et tel que
nn
0
u
n
converge au sens strict vers p C 0. Pour n n
0
on
denit le produit p
n
par p
n
=
n
kn
0
u
k
de sorte que lim
n
p
n
= p avec [p[ > 0. Alors
il existe > 0 tel que [p
n
[ pour tout n n
0
. Fixons > 0. Daprès le critère de
Cauchy, il existe n
n
0
tel que si q > p n
on ait [P
q
P
p
[ < . Par consequent,
si q > p n
on a
P
q
P
p
1
<

= , i.e., [u
q
u
q1
u
p+1
1[ < .
Reciproquement, supposons que pour tout > 0, il existe n
N tel que si q > p n
,
alors [u
p+1
u
q
1[ < . Fixons ]0,
1
2
] et posons q
n
= u
n+1
u
n
pour n n
+1.
On a donc [q
n
1[ < et ainsi
1
2
< [q
n
[ <
3
2
. Pour m > p n
+ 1 on a :
[q
m
q
p
[ = [q
p
[
q
m
q
p
1
3
2
[u
m
u
p+1
1[ <
3
2
.
La suite (q
n
)
nn+1
est donc de Cauchy dans C (complet). Elle converge donc vers
q C 0 car [q
n
[
1
2
. Par consequent le produit inni
n1
u
n
(= u
1
u
n
q
n
)
converge au sens large.
1. Par construction f Hol(D). Il reste donc à verier que
sup
0r<1
_

log
+
[f(re
it
)[dt < .
On remarque que si z = re
i
avec r [0, 1[, R, on a f(z) = B(z)g(z) avec
[g(z)[ = e
1
2
_

P
r
( t)(e
it
)dt
e
1
2
_

P
r
( t)d(t)
= e
P()(z)
,
avec d(t) = (e
it
)dt + d(t). Comme L
1
(T), fonction à valeurs reelles, et
comme est une mesure reelle de /(T), on a /(T), mesure reelle. On a
donc log [g(z)[ = P()(z) o` u mesure reelle de /(T). Daprès le Theorème 2.2.1,
sup
0r<1
_
[ log [g(re
it
)[[dt < . Comme log
+
[g(re
it
)[ [ log [g(re
it
)[[, on a donc
sup
0r<1
_
log
+
[g(re
it
)[dt < . Enn, sachant que log
+
(ab) log
+
(a) + log
+
(b)
pour a, b > 0, on obtient log
+
[f(re
it
)[ log
+
[g(re
it
)[ +log
+
[B(re
it
)[ = log
+
[g(re
it
)[
car [B(re
it
)[ < 1. Ainsi sup
0r<1
_
log
+
[f(re
it
)[dt < et donc f ^.
2. Le Theorème 3.4.1 nous donne lexistence dune telle decomposition pour tout fonc-
tion f ^ avec = log [f
[ et f
(e
it
) = lim
r1
f(re
it
) qui existe m presque
partout. Supposons à present quil existe deux produits de Blaschke B
1
et B
2
, deux
fonctions
1
,
2
de L
1
(T) et deux mesures reelles
1
et
2
de /(T) singulières par
rapport à m veriant f(z) = B
1
(z)g
1
(z) = B
2
(z)g
2
(z) avec
g
j
(z) = e
1
2
_

e
it
+ z
e
it
z
j
(e
it
)dt
e
1
2
_

e
it
+ z
e
it
z
d
j
(t)
, 1 j 2.
Comme g
1
et g
2
ne sannulent pas sur D, il est clair que les suites des zeros de B
1
et
B
2
co
incident avec la suite des zeros de f. Un produit de Blaschke etant uniquement

determine (à une constante unimodulaire près) par la suite de ses zeros, il existe donc
c C, [c[ = 1 avec B
1
(z) = cB
2
(z). Par consequent les fonctions holomorphes
f
B
1
et
f
B
2
sont de meme module, i.e., [g
1
(z)[ = [g
2
(z)[ pour tout z D. On a donc
log [g
1
(z)[ = P(
1
)(z) = P(
2
)(z) = log [g
2
(z)[,
o` u, pour 1 j 2,
j
mesure reelle de /(T) denie par avec d
j
(t) =
j
(e
it
)dt +
d
j
(t). Lapplication P() etant injective (daprès le Theorème 2.2.1),
1
=
2
et daprès lunicite de la decomposition de Radon-Nikodym de toute mesure /,
on donc
1
=
2
et
1
=
2
. Finalement g
1
= g
2
sur D et donc c = 1.
130 CHAPITRE 7. EL

Daprès le Theorème 3.4.1, il existe une mesure
f
reelle de /(T) avec
f
m et un
produit de Blaschke B tels que
f(z) = B(z)e
1
2
_

e
it
+ z
e
it
z
log [f
(e
it
)[dt
e
1
2
_

e
it
+ z
e
it
z
d
f
(t)
.
Par consequent, on obtient
g(z) = B(z)e
1
2
_

e
it
+ z
e
it
z
(log [f
(e
it
)[ log
+
[f
(e
it
)[)dt
e
1
2
_

e
it
+ z
e
it
z
d(
f

+
f
)(t)
.
Comme log [f
(e
it
)[ log
+
[f
(e
it
)[ = log
[f
(e
it
)[ 0 et comme
f
+
f
=
f
0,
on en deduit [g(z)[ = [B(z)[e
P()(z)
o` u est une mesure positive de /(T) denie par
d(t) = log
[f
(e
it
[dt + d
f
(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).
1. Supposons f non identiquement nulle. Soit B le produit de Blaschke associe à la suite
des zeros de f dans D. Daprès le Theorème 3.4.1, il existe une mesure reelle (nie)
sur T, m et un reel tels que pour tout z D on ait :
f(z) = e
i
B(z)e
1
2
_

e
it
+ z
e
it
z
log [f
(e
it
)[dt
e
1
2
_

e
it
+ z
e
it
z
d(t)
.
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 = B
1
Q
f
S
+
,
avec B
1
= e
i
B, S
et S
+ fonctions interieures singulières associees aux mesures

singulières positives
+
et
(cf. Denition 4.4.2).

2. Reciproquement, si f = B
S
1
S
2
Q, o` u Q est exterieure et S
1
, S
2
interieures singulières,
alors f ^. En eet, par construction, f Hol(D) et si z = re
i
D, on a :
[f(z)[ = [B(z)[e
1
2
_

P
r
( t)d(t)
,
avec mesure complexe sur [0, 2] denie par d(t) = log (e
it
)dt + d(
1

2
)(t)
o` u 0, log L
1
(T) et
1
,
2
mesure positive nie singulières par rapport à m.
Comme log
+
(ab) log
+
a+log
+
b et comme log
+
[B(z)[ = 0 puisque [B(z)[ 1 pour
z D, on a donc
log
+
[f(z)[ log
+
_
_
_
e
1
2
_

P
r
( t)d(t)
_
_
_
.
De plus, comme log
+
a [ log a[, on obtient :
log
+
[f(z)[
1
2
_

P
r
( t)d(t)
1
2
_

P
r
( t)d[[(t).
Finalement,
_
2
0
log
+
[f(re
i
)[d || < , et donc f ^.
1. Daprès le Theorème 4.4.3, si f H
p
(D) avec p ]0, ], il existe une fonction
interieure U
f
telle que f = U
f
Q
f
avec Q
f
facteur exterieur de f appartient à H
p
(D)
et deni par
Q
f
(z) = e
1
2
_

e
it
+ z
e
it
z
log [f
(e
it
)[dt
.
Comme [U
f
(z)[ 1 pour z D, on a donc [f(z)[ [Q
f
(z)[. Or
[Q
f
(z)[ = e
Re
_
1
2
_

e
it
+ z
e
it
z
log [f
(e
it
)[dt
_
= e
1
2
_

P
r
( t) log [f
(e
it
)[dt
,
si z = re
i
. On obtient donc linegalite demandee, cette inegalite etant triviale si
f(z) = 0.
132 CHAPITRE 7. EL

2. Si f est exterieure, on a donc f(z) = e
1
2
_

e
it
+ z
e
it
z
log [f
(e
it
)[dt
, ce qui implique
log [f(z)[ =
1
2
_
P
r
( t) log [f
(e
it
)[dt pour tout z = re
i
D. Reciproquement,
supposons que f H
p
(D) pour un certain p ]0, ] et supposons quil existe z
0
=
r
0
e
i
0
D tel que
log [f(z
0
)[ =
1
2
_
2
0
P
r
0
(
0
t) log [f
(e
it
)[dt. (7.3)
Comme nous lavons dejà mentionne, le fait que f H
p
(D), implique que f =
U
f
Q
f
avec U
f
fonction interieure et Q
f
deni comme ci-dessus. Legalite (7.3) signie
[f(z
0
)[ = [Q
f
(z
0
)[, ce qui implique [U
f
(z
0
)[ = 1. La fonction U
f
etant interieure,
daprès le principe du maximum, ceci nest possible que si U
f
est constante. Par
consequent f est exterieure.
3. La reciproque est fausse. En eet, soit f ^ de la forme
f(z) = B(z)Q
f
(z)e
1
2
_

e
it
+ z
e
it
z
d(2 log [B(0)[
0
)(t)
,
o` u B(z) est un produit de Blaschke non constant ne sannulant pas en 0, o` u la mesure
denie par 2 log [B(0)[
0
est une mesure positive nie singulière par rapport à la
mesure de Lebesgue et avec Q
f
facteur exterieur de f. Daprès le Theorème 3.2.1 ou
encore daprès lExercice 4.6.1, il est facile de voir que f ^. Par construction, on
verie aussi aisement que
log [f(0)[ =
1
2
_
2
0
log [f
(e
it
)[dt.
Dautre part, il est aussi très clair que f nest pas exterieure puisquelle sannule sur
D.
Pour z D, posons F(z) =
1
2
_
2
0
1
1 ze
it
d(t). Pour z = re
i
D, on remarque que
1
1 ze
it
=
n0
r
n
e
in(t)
.
Comme
nZ
r
n
e
in(t)
converge normalement, donc uniformement par rapport à t dès que
r < 1, si z = re
i
, on obtient :
F(z) =
n0
1
2
_
2
0
r
n
e
in(t)
d(t) =
n0
(n)z
n
.
La fonction F est holomorphe sur D. Lhypothèse faite sur nous permet darmer que
F(z) =
nZ
1
2
_
2
0
r
n
e
in(t)
d(t).
Toujours par convergence normale, donc uniforme en t de la serie
nZ
r
n
e
in(t)
, nous
avons nalement :
F(z) =
1
2
_
2
0
nZ
r
n
e
in(t)
d(t) =
1
2
_
2
0
P
r
( t)d(t) = P(d)(z).
De plus,
_
2
0
[F(re
i
)[d =
_
2
0
1
2
_
2
0
P
r
( t)d(t)
_
2
0
_
1
2
_
2
0
P
r
( t)d[[(t)
_
d
=
_
2
0
_
1
2
_
2
0
P
r
( t)d
_
d[[(t)
= || < .
On a donc F H
1
(D) avec |F|
1
||. Daprès le Theorème 4.5.3, nous savons que
F est lintegrale de Poisson de sa limite radiale F
L
1
(T). Daprès le Theorème 2.2.1,
lapplication denie sur lensemble des mesures complexes sur [0, 2] par P(d) est
injective. Ainsi d(t) = F
(e
it
)dt, et ainsi m.
1. Soient = (
n
)
n0
et = (
n
)
n0
deux elements arbitraires de
2
. Loperateur T
est deni par la formule

< T(), >=< , T
() > .
134 CHAPITRE 7. EL

Comme
< T(), >=< (
n1
)
n0
, >=
n0
n1
n
=
n1
n1
n
=
k0
k+1
,
on en deduit T
((
n
)
n0
) = (
n+1
)
n0
. En dautres termes,
T
(
0
,
1
,
2
, ) = (
1
,
2
,
3
, ).
Loperateur T
est aussi appele le shift à gauche sur

2
.
Soient f et g deux fonctions de H
2
(D) arbitraires et de la forme f(z) =
n0
a
n
z
n
,
g(z) =
n0
b
n
z
n
avec a = (a
n
)
n0
et b = (b
n
)
n0
dans
2
. Loperateur S
est deni
par la formule
< S(f), g >=< f, S
(g) > .
Comme S(f)(z) =
n0
a
n
z
n+1
, on obtient < S(f), g >=
n0
a
n
b
n+1
. On en deduit
alors S
(g)(z) =
n0
b
n+1
z
n
. Par consequent
S
(g)(z) =
_
g(z)g(0)
z
z ,= 0
g
(0) z = 0.
2. Soit f H
2
(D) de la forme f(z) =
n0
a
n
z
n
avec a = (a
n
)
n0

2
. Pour C on
a les equivalences suivantes :
S
f = f z D,
n0
a
n+1
z
n
=
n0
a
n
n
a
n+1
= a
n
, n 0
a
k
=
k
a
0
, k 1
f(z) = a
0
+ a
0
k1
k
z
k
.
Il est à present clair que lon peut trouver f H
2
(D) 0 telle que S
f = f si et
seulement si [[ < 1. En eet, pour D, posons f
(z) = 1 +
n0
n
z
n
. Alors f
est un vecteur propre associe à la valeur propre f
. On a donc
p
(S
) = D. Comme
p
(S
) (S
) et comme (S
) est ferme dans C, D (S
). Dautre part, comme

sup[[ : (S
) |S
| = |S| = 1, necessairement (S
) D. Par consequent
on a (S
) = D.
3. Soit / Lat(S) et soient x /, y /
. On remarque que
< S
(y), x >=< y, S(x) >= 0

car y /
et S(x) /puisque x /et / Lat(S). Par consequent S
(/
)
/
.
4. Comme / est un sous-espace vectoriel ferme de H
2
(D), (/
= /. Etant donne
que (S
= S, daprès 3., /
Lat(S
) implique que / Lat(S). Finalement

Lat(S
) = /
: / Lat(S). Daprès le theorème de Beurling, on a donc

Lat(S
) = (H
2
(D))
: fonction interieure.
1. Comme f est de la forme f = U
f
Q
f
avec Q
f
fonction exterieure de H
2
(D), il est clair
que f U
f
H
2
(D). Daprès le Lemme 5.3.1, U
f
H
2
(D) Lat(S). Etant donne que
Y est le plus petit element de Lat(S) contenant f, necessairement Y U
f
H
2
(D).
Il reste à verier que U
f
H
2
(D) Y . Daprès le Theorème de Beurling, il existe une
fonction interieure telle que Y = H
2
(D). Puisque f Y , il existe donc une
fonction h H
2
(D) de la forme h = U
h
Q
h
avec U
h
interieure et Q
h
exterieure telle
que U
f
Q
f
= U
h
Q
h
. Par unicite de la decomposition dune fonction de H
2
(D) en
facteurs exterieur et interieur, on obtient U
f
= U
h
. Comme U
h
H
(D) H
2
(D),
U
f
Y = H
2
(D). Nous allons reprendre le raisonnement vu dans la preuve du
theorème de Beurling. Comme U
f
Y et Y Lat(S), S
n
(U
f
) =
n
U
f
/ pour
tout n N. Comme Y est un sous-espace vectoriel de H
2
(D), P()U
f
/pour tout
polynome P C[X]. Soit g H
2
(D). Daprès le Theorème 4.4.2, il existe une suite
(a
n
)
n0
de C telle que
n0
[a
n
[
2
< et g(z) =
n0
a
n
z
n
si z D. Pour k N,
posons P
k
(z) =
k
n=0
a
n
z
n
. On a donc |g P
k
()|
2
2
=
nk+1
[a
n
[
2
, ce qui implique
lim
k
|g P
k
()|
2
= 0 puisque
n0
[a
n
[
2
< . Comme U
f
est interieure,
|U
f
gP
k
()|
H
2
(D)
= |U
f
(g
P
k
()
)|
L
2
(T)
= |g
P
k
()
|
L
2
(T)
= |gP
k
()|
H
2
(D)
.
136 CHAPITRE 7. EL

Par consequent lim
k
|U
f
f U
f
P
k
()|
2
= 0 avec P
k
() / pour tout entier k.
Comme / est ferme dans H
2
(D), U
f
g Y pour tout g H
2
(D). On a donc montre
que U
f
H
2
(D) Y , ce qui implique Y = U
f
H
2
(D).
2. Par unicite (à une constante unimodulaire près) de la representation dun element de
Lat(S) sous la forme H
2
(D) avec interieure (cf. Lemme 5.3.2), on peut armer
que Y = H
2
(D) si et seulement si U
f
= c avec c T. En dautres termes, Y = H
2
(D)
si et seulement si le facteur interieur de f est constant, ce qui signie aussi que la
fonction f est exterieure.
Bibliographie
[1] B. Beauzamy. Proprietes spectrales dun operateur sans sous-espace invariant. J.
Operator Theory, 16 :349353, 1986.
[2] H. Bercovici, C. Foias, and C. Pearcy. Two Banach space methods and dual operator
algebras. J. Funct. Anal., 78 :306345, 1988.
[3] A. Beurling. On two problems concerning linear transformations in Hilbert space.
Acta Math., 81 :239255, 1949.
[4] S. Brown. Some invariant subspaces for subnormal operators. Integral Equations and
Operator Theory, 1 :310333, 1978.
[5] S. Brown, B. Chevreau, and C. Pearcy. On the structure of contraction operators. II.
J. Funct. Anal., 76 :3055, 1988.
[6] I. Chalendar and J. Esterle. Le problème du sous-espace invariant. In Development
of mathematics 1950-2000, pages 235267. Birkha user, Basel, 2000.
[7] P. Dolbeault. Analyse complexe. Masson, 1990.
[8] R. G. Douglas. Banach algebra techniques in operator theory. Springer-Verlag, 1998.
2nd edition.
[9] P. L. Duren. Theory of H
p
spaces. Dover Publications, INC., Mineloa, New-York,
2000.
[10] P. Eno. On the invariant subspace problem in Banach spaces. In Espaces L
p
, applica-
tions radoniantes 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 opera-
tors. Funct. Anal. Appl., 7 :213214, 1973.
[14] N. K. Nikolski. Operators, functions, and systems : an easy reading. Vol. 1, vo-
lume 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, identication 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) Fran cais.

Complet M2R Hardy PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Complet M2R Hardy PDF

Uploaded by

Copyright:

Available Formats

UNIVERSIT

ES DES FONCTIONS HARMONIQUES 9

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

Remarque 1.2.3 Lhypoth`ese simplement connexe est necessaire.

ES DES FONCTIONS HARMONIQUES 11

1/zdz = 0 pour tout lacet trace dans . Or

ES DES FONCTIONS HARMONIQUES 13

Fig. 1.1 Principe du maximum

Nous terminerons cette section avec un dernier corollaire.

ES DES FONCTIONS HARMONIQUES 15

16 CHAPITRE 1. FONCTIONS HARMONIQUES

est une fonction harmonique sur D.

(avec mesure complexe sur T)

P(f) est la limite uniforme de fonctions continues sur D.

pour [z[ 1. (1.4)

= 0. Il nous reste `a verier que

22 CHAPITRE 1. FONCTIONS HARMONIQUES

incide avec une fonction harmonique au voisinage de tout point de .

son dual topologique. Pour

: M ker . Soit E un sous-espace vectoriel de X. Les

EE DES FONCTIONS HARMONIQUES

(X) le dual topologique de c(X).

(X) telles que (f) 0

EE DES FONCTIONS HARMONIQUES

< et donc lim

]1 , 1[, dapr`es (2.3), on

EE DES FONCTIONS HARMONIQUES

, dapr`es le Theor`eme 2.1.2, il

Corollaire 2.2.1 Lapplication P() est une isometrie bijective de /

2.3 Limites radiales des fonctions harmoniques sur D

EE DES FONCTIONS HARMONIQUES

EE DES FONCTIONS HARMONIQUES

le compact deni par K

= x R : dist(x, K) (cest la continuite de

est compact). Par construction les intervalles L

EE DES FONCTIONS HARMONIQUES

Corollaire 2.3.1 Si /(R) est telle que m alors

2.3. LIMITES RADIALES DES FONCTIONS HARMONIQUES SUR D 39

incide avec f(x) m-presque partout o` u f est la fonction de L

(f(x) r)dx = 0. Dapr`es le Lemme 2.3.2, il existe un borelien A

EE DES FONCTIONS HARMONIQUES

incide avec f(x).

La combinaison du Theor`eme de Radon-Nikodym (Theor`eme 2.3.1) avec les Corol-

EE DES FONCTIONS HARMONIQUES

Nous deduisons aisement de la proposition precedente le theor`eme suivant :

incide avec la derivee de Radon-Nikodym de par rapport `a la mesure de

EE DES FONCTIONS HARMONIQUES

) +P() avec lim

) +P() avec lim

EE DES FONCTIONS HARMONIQUES

, decomposition de Jordan dune

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

(s) = sup(log s, 0).

(s) et [ log(s)[ = log

sont des mesures positives telles que =

(E) = (E B) pour tout E /,

. Le couple (A, B) est appele la decomposition

EFINITION DE ^, FONCTIONS DE ^ SANS Z

3.2 Denition de la classe de Nevanlinna ^ et des-

mesures positives telles que

(car concentrees sur deux ensembles disjoints). Finalement on obtient :

EFINITION DE ^, FONCTIONS DE ^ SANS Z

(z) 0. La fonction f ^ est donc le quotient de deux fonctions