Solution

ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2014/paper-2/3/ii/b/solution

Reflect to . 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 . At a boundary point , the distances to the real and reflected sources have derivatives and . Thus
The outward unit normal of the upper half-space is , and . Hence
Using the decay assumption to discard the distant hemisphere in the boundary representation gives
The qualification at infinity concerns the whole Green boundary term, not just the pointwise limit of . 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 in the kernel gives , the positive Poisson kernel for the upper half-space.

New to topics? Read the docs here!