The density of the area integral in ${ℝ}_{+}^{n+1}$

Gundy, Richard F.  ; Silverstein, Martin L.

Annales de l'Institut Fourier, Tome 35 (1985) no. 1, pp. 215-229

Abstract (VO)

Let $u(x,y)$ be a harmonic function in the half-plane ${\mathbf{R}}_{+}^{n+1}$, $n\ge 2$. We define a family of functionals $D(u;r),-\infty >r>\infty$, that are analogs of the family of local times associated to the process $u(x_t,y_t)$ where $(x_t,y_t)$ is Brownian motion in ${\mathbf{R}}_{+}^{n+1}$. We show that $D\left(u\right)={sup}_{r}D(u;r)$ is bounded in $L^p$ if and only if $u(x,y)$ belongs to $H^p$, an equivalence already proved by Barlow and Yor for the supremum of the local times. Our proof relies on the theory of singular integrals due to Caldéron and Zygmund, rather than the stochastic calculus.

Résumé

Soit $u(x,y)$ une fonction harmonique dans le demi-plan ${\mathbf{R}}_{+}^{n+1}$, $n\ge 2$. Nous définissons une famille de fonctionnelles $D(u;r),-\infty >r>\infty$, qui sont les analogues géométriques de la famille des temps locaux associés au processus $u(x_t,y_t)$ où $(x_t,y_t)$ est le mouvement brownien dans ${\mathbf{R}}_{+}^{n+1}$. Nous montrons que $D\left(u\right)={sup}_{r}D(u;r)$ est borné dans $L^p$ si et seulement si la fonction $u(x,y)$ appartien à $H^p$, une équivalence qui a été déjà démontrée par Barlow et Yor pour le supremum des temps locaux. Signalons que notre démonstration tourne autour de la théorie des intégrales singulières de Caldéron-Zygmund plutôt que le calcul stochastique.

Détail

DOI : 10.5802/aif.1006