Une classe d'espaces de fonctions H^p de fonctions holomorphes (sur le disque unité ou le demi-plan) ou de distributions au bord sur R^n (espaces de Hardy réels) avec croissance en norme p contrôlée ou décompositions atomiques ; essentiels en analyse complexe et harmonique comme substituts de L^p aux extrémités.

Principe

Contrôler la croissance ou les singularités via des fonctions maximales non tangentielle, des fonctions carrées ou des décompositions atomiques afin que les valeurs au bord et les intégrales singulières se comportent bien même lorsque la théorie L^p échoue pour de petits p.

Démonstration

L'espace de Hardy réel H^1(R^n) admet une décomposition atomique : toute f∈H^1 s'écrit comme somme d'atomes avec coefficients dans l^1, et les opérateurs d'intégrales singulières bornés sur L^2 s'étendent en applications bornées H^1→L^1, expliquant la dualité avec BMO.

Mauvaise application

Utiliser indifféremment des estimations en espace de Hardy et en L^p sans vérifier les conditions aux extrémités, ou supposer que les correspondances de bord holomorphes de H^p tiennent dans des contextes réels de dimension supérieure sans outils appropriés.

Conséquence

Une utilisation adéquate apporte la bornitude aux extrémités des intégrales singulières, des décompositions atomiques ou moléculaires robustes pour l'analyse non linéaire, et des énoncés de dualité (par ex. (H^1)^*=BMO) qui guident la théorie de Calderón–Zygmund et des résultats de factorisation.

Inversion

Les espaces L^p pour p>1 où les intégrales singulières sont déjà bornées et les décompositions atomiques inutiles ; ou les espaces de fonctions holomorphes avec un contrôle de croissance uniformement plus fort (par ex. espaces de Bloch ou Bergman) présentant des comportements d'extrémité différents.

Limite

S'applique aux fonctions holomorphes en une variable complexe (disque unité, demi-plan) et aux espaces de Hardy réels sur R^n ou groupes homogènes ; définitions et outils diffèrent selon le cadre (limites non tangentielles, atomes, fonctions maximales/carrées) et échouent sans géométrie/mesure adéquates.

Tension sémantique

Tension avec les échelles L^p et Sobolev : les espaces de Hardy remplacent ou étendent L^p pour les petits p par un contrôle atomique ou par fonctions maximales plus fin ; ils recoupent Sobolev ou Besov pour certains indices mais diffèrent en théorie des opérateurs aux extrémités et comportements au bord.

Synthèse

Les espaces de Hardy sont des espaces d'extrémité gouvernant la croissance ou la singularité contrôlée via descriptions maximales, par fonctions carrées ou atomiques, fournissant le cadre adéquat pour le comportement au bord, les intégrales singulières et la dualité avec BMO.