- Espace de Hardy
-
En analyse complexe, les espaces de Hardy sont des espaces particuliers de fonctions holomorphes sur le disque unité.
Lorsque f est une fonction harmonique définie sur le disque unité , il n'est pas toujours vrai que f se prolonge sur . On aimerait savoir quand un tel prolongement existe.
Noyau de Poisson
Le noyau de Poisson peut être vu comme la partie réelle de
Le noyau de Poisson Pr est un noyau sommable, c’est-à-dire qu'il vérifie les conditions suivantes:
- lorsque
De plus, Pr(eiθ) = P(z) est une fonction harmonique. On peut montrer que tout noyau sommable Kn, vérifie la règle suivante :
dès que et .
Ainsi, si , on a Δ(Pr * f) = (ΔPr) * f = 0 et h = p * f est une fonction harmonique dans le disque unité . La question à se poser est alors de savoir si la réciproque de ce résultat est vraie. Notamment, étant donné une fonction harmonique h, est-il toujours possible de trouver une fonction f telle que h = p * f ?
Théorème de représentation
Notons . On a le théorème de représentation suivant :
pour
.
Le problème qui survient est que la « valeur au bord » d'une fonction , c’est-à-dire la limite dans de Pr * f, n'est pas nécessairement une fonction, mais peut être une « vraie » mesure.
Par exemple, si f est le noyau de Poisson lui même, on a P * δ = P.
Ce problème ne survient pas lorsque les fonctions que l'on considère sont « un peu plus jolies » et notamment lorsqu'elles sont holomorphes.
Théorème de représentation pour les espaces de Hardy
Notons . On a le théorème de représentation suivant :
pour
Wikimedia Foundation. 2010.