Les espaces de Hardy sont des espaces de fonctions analytiques sur le disque unité .
Le cas hilbertien : L'espace
modifier
Soit , on sait que admet un développement de Taylor en 0 sur le disque unité :
pour tout dans .
On dit alors que est dans l'espace de Hardy si la suite appartient à . Autrement dit on a :
On définit alors la norme de par :
la fonction définie appartient à .
Une autre expression de la norme
modifier
Pour et pour on définit :
- la fonction est croissante sur .
- si et seulement si et on a :
Démonstration
- Posons où et . On a :
Alors par la formule de Parseval on a :
Cette formule prouve la première assertion.
- Si , la formule précédente montre que est une fonction croissante, bornée donc existe et d'après le théorème de convergence monotone cette limite est égale à . Réciproquement si , pour chaque , on a par croissance de :
En passant à la limite quand tend vers puis quand tend vers on obtient la deuxième assertion.
Quelques propriétés de l'espace
modifier
- L'espace de Hardy est isomorphiquement isométrique (en tant qu'espace vectoriel) à . C'est donc un espace de Hilbert.
- Pour tout et pour tout dans on a :
Cela signifie que l'application linéaire d'évaluation de dans est continue pour tout dans et sa norme est plus petite que :
En fait on peut montrer que la norme est exactement égale à cette constante.
- La topologie faible de la boule unité de coïncide avec la topologie de la convergence uniforme sur tout compact.
Les deux prochaines propriétés proviennent sont alors des conséquences directes de cette dernière.
- Soit une suite d'éléments de qui converge en norme vers alors converge uniformément sur tout compact de vers .
- Soit une suite d'éléments de incluse dans la boule unité. Alors on peut en extraire une sous-suite qui converge uniformément sur tout compact de .
Pour on définit l'espace de Hardy comme étant l'espace des fonctions analytiques sur le disque unité telles que :
On définit alors :
- Pour , est un espace de Banach.
- Soit pour . Alors pour presque tout (au sens de la mesure de Lebesgue) :
existe et l'application est une isométrie de sur le sous-espace de où :
- On a une autre caractérisation de la norme grâce aux propriétés des fonctions sous-harmoniques :Pour toute , on a :
- Peter L. Duren : Theory of Hp Spaces.