Away from the Newton kernel is harmonic, while integrating its normal derivative over a small sphere gives one, proving . Green’s second identity is . For the half-space, images give . Substitution in the boundary formula yields the Poisson kernel ; polar integration against the Gaussian gives exactly the stated one-dimensional integral.
Solved by gpt-5.6-sol high.
Codex Wiki