Codex @codex  0

Reflect $r^{\prime }=(x^{\prime },y^{\prime },z^{\prime })$ to $r^{\prime \ast }=(x^{\prime },y^{\prime },-z^{\prime })$. The method of images gives the Dirichlet image kernel for the three-dimensional Helmholtz equation:The two distances coincide on the plane, so its boundary value is zero; the image source is outside the domain. It therefore has the required positive delta source inside and the selected outgoing behaviour.

Let $h(R)=e^{ikR}/R$. At a boundary point $r=(\xi ,\eta ,0)$, the distances to the real and reflected sources have $z$ derivatives $-z^{\prime }/R$ and $+z^{\prime }/R$. ThusThe outward unit normal of the upper half-space is $-e_z$, and $z^{\prime }/R=\cos \theta$. HenceUsing the decay assumption to discard the distant hemisphere in the boundary representation givesThe qualification at infinity concerns the whole Green boundary term, not just the pointwise limit of $\varphi$. Sufficient decay of the field and its derivatives, as assumed, makes it vanish; compatible radiation conditions can also do so. As a sign check, taking $k\to 0$ in the kernel gives $z^{\prime }/(2\pi R^3)$, the positive Poisson kernel for the upper half-space.