First suppose the integral of converges, for example if . Substitute the complexified coordinates , into the Poisson integral. The factorization of its denominator givesThe given Schwarz integral formula therefore writes as plus a constant. For , the real part of this integral is exactly the Poisson integral, sinceThe remaining constant has zero real part, giving with . The complex substitution is initially understood where the real-analytic harmonic function has its complexification; the holomorphic integral then continues the identity throughout the upper half-plane.
Decay of alone does not guarantee convergence of the printed unregularized integral. For example, choose a continuous which vanishes on and equals for , with continuous interpolation. It is bounded and tends to zero at both ends. Its Poisson integral tends to zero as in the closed upper half-plane: split the boundary function into a small uniform tail and a compactly supported part. Nevertheless diverges like , even as a symmetric principal value. With only the stated decay assumptions, the always convergent version isThe subtracted kernel is real on the integration line, so it changes only the imaginary constant and leaves the harmonic function unchanged. The kernel difference is , which ensures convergence for bounded .
Articles by others on the same topic
There are currently no matching articles.