Espace de Hardy

Les espaces de Hardy, dans le domaine mathématique de l'analyse fonctionnelle, sont des espaces de fonctions analytiques sur le disque unité 𝔻 du plan complexe.

Le cas hilbertien : l'espace $H 2$ (𝔻)

Définition

Soit $f$ une fonction holomorphe sur 𝔻, on sait que $f$ admet un développement en série de Taylor en 0 sur le disque unité :

\forall z\in \mathbb {D} \qquad f(z)=\sum _{n=0}^{+\infty }\,{\hat {f}}(n)\ z^{n}\qquad {\text{avec}}\qquad {\hat {f}}(n):={\frac {f^{(n)}(0)}{n!}}.

On dit alors que $f$ est dans l'espace de Hardy $H 2$ (𝔻) si la suite $({\hat {f}}(n))$ appartient à ℓ². Autrement dit, on a :

H^{2}(\mathbb {D} )=\left\lbrace f\in Hol(\mathbb {D} )~\left|~\sum _{n=0}^{+\infty }\,|{\hat {f}}(n)|^{2}<+\infty \right.\right\rbrace

On définit alors la norme de $f$ par :

\|f\|_{2}:=\left(\sum _{n=0}^{+\infty }|{\hat {f}}(n)|^{2}\right)^{\frac {1}{2}}.

Exemple

La fonction $z\mapsto \log(1-z)=-\sum _{n=1}^{\infty }{\frac {z^{n}}{n}}$ appartient à $H 2$ (𝔻), par convergence de la série $\sum _{n\geq 1}{\frac {1}{n^{2}}}$ (série de Riemann convergente).

Une autre expression de la norme

Pour $f$ holomorphe sur 𝔻 et pour $0 \leq r <1$ , on définit :

M_{2}(f,r):=\left({\frac {1}{2\pi }}\int _{-\pi }^{\pi }\vert f(r\mathrm {e} ^{\mathrm {i} t})\vert ^{2}~\mathrm {d} t\right)^{\frac {1}{2}}.

la fonction $r \mapsto M 2 (f, r)$ est croissante sur $[0, 1[$ .
$f \in H 2$ (𝔻) si et seulement si $\lim _{r\to 1^{-}}M_{2}(f,r)<+\infty$ et l'on a :

\|f\|_{2}^{2}=\lim _{r\to 1^{-}}{{\frac {1}{2\pi }}\int _{-\pi }^{\pi }\vert f(r\mathrm {e} ^{\mathrm {i} t})\vert ^{2}~\mathrm {d} t}=\sup _{0\leq r<1}{\frac {1}{2\pi }}\int _{-\pi }^{\pi }\vert f(r\mathrm {e} ^{\mathrm {i} t})\vert ^{2}~\mathrm {d} t.

Démonstration

Posons $z=r\mathrm {e} ^{\mathrm {i} t}$ où $r\in [0,1[$ et $t\in [-\pi ,\pi ]$ . On a :
$f(z)=\sum _{n=0}^{+\infty }{\hat {f}}(n)z^{n}{\hbox{ donc }}f(r\mathrm {e} ^{\mathrm {i} t})=\sum _{n=0}^{+\infty }{\hat {f}}(n)r^{n}\mathrm {e} ^{\mathrm {i} nt}$
Alors, par la formule de Parseval, on a :
$M_{2}(f,r)^{2}=\sum _{n=0}^{+\infty }\vert {\hat {f}}(n)\vert ^{2}r^{2n}$
Cette formule prouve la première assertion.
Si $f \in H 2$ (𝔻), la formule précédente montre que $M_{2}(f,.)$ est une fonction croissante, bornée donc $\displaystyle {\lim _{r\rightarrow 1-}M_{2}(f,r)}$ existe et d'après le théorème de convergence monotone cette limite est égale à $\|f\|_{2}$ . Réciproquement si $\displaystyle {\lim _{r\rightarrow 1-}M_{2}(f,r)=M<+\infty }$ , pour chaque $N\geq 0$ , on a, par croissance de $M_{2}(f,r)$ :
$\sum _{n=0}^{N}\vert {\hat {f}}(n)\vert ^{2}r^{2n}\leq \sum _{n=0}^{+\infty }\vert {\hat {f}}(n)\vert ^{2}r^{2n}\leq M^{2}$
En passant à la limite quand $r$ tend vers $1^{-}$ puis quand $N$ tend vers $+\infty$ , on obtient la deuxième assertion.

Quelques propriétés de l'espace $H 2$ (𝔻)

L'espace de Hardy $H 2$ (𝔻) est isométriquement isomorphe (en tant qu'espace vectoriel normé) à ℓ². C'est donc un espace de Hilbert.

Démonstration

On considère l'application $T:H^{2}(\mathbb {D} )\rightarrow \ell _{2}$ définie par $T(f)=({\hat {f}}(n))$ . Celle-ci est bien définie par définition de $H 2$ (𝔻), elle est clairement linéaire. Par unicité du développement en série entière elle est injective, il reste à montrer qu'elle est surjective.

Soit $(a_{n})\in \ell _{2}$ , $(a_{n})$ est bornée donc la série entière f définie par $f(z)=\sum _{n=0}^{+\infty }a_{n}z^{n}$ a un rayon de convergence supérieur ou égal à 1, en particulier $f\in Hol(\mathbb {D} )$ et $T(f)=(a_{n})$ . $T$ est donc bien surjective.

Pour tout $f \in H 2$ (𝔻) et pour tout $z$ dans 𝔻, on a :

\vert f(z)\vert \leq {\frac {\|f\|_{2}}{\sqrt {1-\vert z\vert ^{2}}}}.

Démonstration

On applique l'inégalité de Cauchy-Schwarz au développement en série de Taylor de $f$ en 0. On a alors, pour tout $z$ dans 𝔻 :

\vert f(z)\vert \leq \sum _{n=0}^{+\infty }\vert {\hat {f}}(n)\vert \vert z\vert ^{n}\leq \|f\|_{2}\,{(\sum _{n=0}^{+\infty }\vert z\vert ^{2n})}^{\frac {1}{2}}={\frac {\|f\|_{2}}{\sqrt {1-\vert z\vert ^{2}}}}

.

Cela signifie que l'application linéaire d'évaluation $f \mapsto f (z)$ , de $H 2$ (𝔻) dans ℂ, est continue pour tout $z$ dans 𝔻 et sa norme est plus petite que :

{\frac {1}{\sqrt {1-\vert z\vert ^{2}}}}.

En fait, on peut montrer que la norme est exactement égale à cette constante.

La topologie faible de la boule unité de $H 2$ (𝔻) coïncide avec la topologie de la convergence uniforme sur tout compact.

Les deux prochaines propriétés sont alors des conséquences directes de cette dernière.

Soit $(f n)$ une suite d'éléments de $H 2$ (𝔻) qui converge en norme vers $f$ alors $(f n)$ converge uniformément sur tout compact de 𝔻 vers $f$ .
Soit $(f n)$ une suite d'éléments de $H 2$ (𝔻) incluse dans la boule unité. Alors on peut en extraire une sous-suite qui converge uniformément sur tout compact de 𝔻.

Le cas général

Définition

Pour $0 < p < + \infty$ , on définit l'espace de Hardy $H p$ (𝔻) comme étant l'espace des fonctions analytiques $f$ sur le disque unité telles que :

\sup _{0<r<1}\left(\int _{0}^{2\pi }|f(r\mathrm {e} ^{\mathrm {i} t})|^{p}~{\frac {\mathrm {d} t}{2\pi }}\right)<+\infty .

On définit alors :

\|f\|_{p}=\sup _{0<r<1}\left(\int _{0}^{2\pi }|f(r\mathrm {e} ^{\mathrm {i} t})|^{p}~{\frac {\mathrm {d} t}{2\pi }}\right)^{\frac {1}{p}}.

Quelques propriétés

Pour $p \geq 1$ , $H p$ (𝔻) est un espace de Banach.
Soit $f \in H p$ (𝔻) pour $p \geq 1$ . Alors pour presque tout $t$ (au sens de la mesure de Lebesgue) :
$f^{*}(\mathrm {e} ^{\mathrm {i} t}):=\lim _{r\to 1^{-}}f(r\mathrm {e} ^{\mathrm {i} t})$
existe et l'application $f \mapsto f *$ est une isométrie de $H p$ (𝔻) sur le sous-espace $H_{*}^{p}$ de $L^{p}\left([0,2\pi ],{\frac {\mathrm {d} t}{2\pi }}\right)$ où :
$H_{*}^{p}=\left\{\left.f\in L^{p}\left([0,2\pi ],{\frac {\mathrm {d} t}{2\pi }}\right)~\right|~\forall n\leq -1,~{\hat {f}}(n)=0\right\}.$
On a une autre caractérisation de la norme grâce aux propriétés des fonctions sous-harmoniques : Pour toute $f \in H p$ (𝔻), on a :

\|f\|_{p}=\lim _{r\to 1^{-}}\left(\int _{0}^{2\pi }|f(r\mathrm {e} ^{\mathrm {i} t})|^{p}{\frac {\mathrm {d} t}{2\pi }}\right)^{\frac {1}{p}}.

Factorisation de Beurling

Bibliographie

(en) Peter L. Duren, Theory of H^p Spaces, Dover, 2000, 292 p. (ISBN 978-0-486-41184-2, lire en ligne)
Nikolaï Nikolski, Éléments d'analyse avancée T.1 - Espaces de Hardy, Belin, novembre 2012, (ISBN 978-2701163482)

Article connexe

Noyau de Poisson

Portail de l'analyse

Le cas hilbertien : l'espace H2(𝔻)

Définition

Exemple

Une autre expression de la norme

Quelques propriétés de l'espace H2(𝔻)

Le cas général

Définition

Quelques propriétés

Factorisation de Beurling

Bibliographie

Article connexe

Le cas hilbertien : l'espace $H 2$ (𝔻)

Quelques propriétés de l'espace $H 2$ (𝔻)