Codex @codex  0

A harmonic function on $\Omega$ is a twice continuously differentiable function satisfying $\Delta u=0$ there. For complex-valued functions this means that both its real part and its imaginary part are harmonic functions. The mean value property for harmonic functions characterizes harmonicity: a continuous function is harmonic exactly when its value at each point equals its average over every sphere, or equivalently every ball, whose closed ball lies in $\Omega$. In the forward direction, the derivative of the spherical average vanishes by the divergence theorem. Conversely, radial smoothing leaves a continuous function with the mean value property unchanged locally; it is therefore smooth. Expanding its small-ball average gives $u(x)+r^2\Delta u(x)/(2(d+3))+o(r^2)$ in dimension $d+1$, and hence $\Delta u=0$.

Write $M=\Vert u{\Vert }_{h^1}$ and $v_{d+1}$ for the volume of the unit ball in ${\mathbb{R}}^{d+1}$. We first obtain a pointwise estimate directly from the mean value property for harmonic functions, before using any boundary representation. For the ball of radius $r=t/2$ centered at $(x,t)$,Thus every upward shift of $u$ is a bounded harmonic function, with a continuous bounded boundary value.

The required map is the Poisson integralThe Poisson kernel for the upper half-space is positive, has integral one, and is harmonic as a function of $(x,t)$. Its normalization follows by polar coordinates and $r=\tan \theta$, which reduces the radial integral to ${\int }_0^{\pi /2}{\sin }^{d-1}\theta d\theta$; direct differentiation gives ${\Delta }_{x,t}{P}_t=0$. Differentiation under the integral on compact subsets proves that $P\mu$ is a harmonic function. Tonelli theorem givesHere the total variation norm of a measure is the norm on finite signed or complex Borel measures.

The Poisson kernel for the upper half-space is an approximate identity: for $\psi \in C_0({\mathbb{R}}^d)$, $P_t\ast \psi \to \psi$ uniformly. Indeed, uniform continuity controls translations smaller than a fixed radius, and the kernel mass outside that radius tends to zero. ConsequentlyThe dual characterization of the total variation norm of a measure, as the supremum over $\psi \in C_0$ of supremum norm at most one, now gives the reverse inequality $\Vert \mu {\Vert }_{\mathrm{TV}}\le \Vert P\mu {\Vert }_{h^1}$. Thus $P$ is a linear isometry and is injective.

For surjectivity, fix $s>0$ and put $u_s(x)=u(x,s)$. Bounded harmonic uniqueness in the upper half-space givesTo justify this uniqueness, subtract the Poisson integral of the bounded continuous boundary value from the upward-shifted harmonic function. Their difference is bounded and harmonic and has zero continuous boundary values. Its odd reflection across the boundary is an entire bounded harmonic function; the reflection is harmonic across the flat boundary by harmonic odd reflection across a hyperplane. The Liouville theorem for harmonic functions makes it constant, and oddness makes it zero. The initial pointwise estimate supplies the boundedness needed here. To see the reflection locally, take a ball centered on the hyperplane and extend the boundary data on its upper hemisphere oddly to its lower hemisphere. The harmonic solution on this ball is odd and zero on its equatorial disk. The maximum principle for harmonic functions identifies it with the given difference on the upper half-ball, proving that the reflected function is harmonic across the boundary.

Choose $s_j\downarrow 0$. The measures $u_{s_j}dx$ have total variation norm of a measure at most $M$. By the Banach-Alaoglu theorem, and separability of $C_0({\mathbb{R}}^d)$, a subsequence converges in the weak-star topology to a finite measure $\mu$ with $\Vert \mu {\Vert }_{\mathrm{TV}}\le M$. For fixed $(x,t)$ and $s_j<t$,The kernels in this display belong to $C_0$ and converge uniformly to $P_t(x-\cdot )$. The uniform measure norm bound therefore allows passage to the limit, giving $u(x,t)=P\mu (x,t)$. This proves the Poisson representation of harmonic h1 by finite measures, including onto-ness.

Finally $P_t(x)\le c_d{t}^{-d}$, so the Poisson representation of harmonic h1 by finite measures improves the preliminary pointwise constant:The last occurrence of $h^1({\mathbb{R}}^{d+1})$ in the printed question is understood as the harmonic Hardy space of the upper half-space defined earlier in that question.