Dirichlet Spaces In Balls And Half-spaces of $\R^n$
Yan Yang, Tao Qian
TL;DR
This work extends the classical Douglas–Ahlfors characterizations of the harmonic Dirichlet norm from the 2D unit disk to higher-dimensional balls and upper-half spaces. By combining real harmonic analysis with Clifford analysis, it proves that the gradient form, holomorphic/monogenic derivative form, Fourier-integral form, and double-singular integral (Ahlfors) form are identical in these settings, identifying precise equivalences and the role of fractional Sobolev spaces on boundaries. The results cover the unit ball $B_n$, the upper-half spaces ${b R}_+^{n+1}$, and the quaternionic unit ball, with explicit formulas linking interior energy to boundary data via Fourier transforms and boundary double-integrals; an exceptional behavior is noted for unit balls $B_{n+1}$ with $n>1$, where the Ahlfors quantity is equivalent to the Dirichlet norm but not to the semi-norm. Overall, the paper unifies several representations of Dirichlet norms across real, complex, and hypercomplex frameworks, enriching the Besov-space viewpoint $oldsymbol{ abla u}$ versus $g$-functions and their boundary traces.
Abstract
The present paper studies the Dirichlet spaces in balls and upper-half Euclidean spaces. As main results, we give identical characterizations of the Dirichlet norms in the respective contexts as for the classical 2-D disc case proved by Douglas and Ahlfors.
