Past exam of the applied partial differential equations course of the University of Oxford / 2023 / 1 / a

The supplied positive free-space kernel satisfies $-\Delta H=\delta$, so use the same sign convention for the Dirichlet Green function. For an interior source $Q=(\xi ,\eta ,\zeta )$, requireAway from $Q$, the function is harmonic, and $G-H$ is regular near $Q$. The method of images reflects the source in each coordinate plane, reversing its sign on each reflection. ThereforeOn either face, the terms cancel in pairs. Only the original source lies in the domain, so the other three terms are harmonic there; the required singularity and decay also follow. This is the Dirichlet Green function for a three-dimensional quarter-space. Using $\Delta G=\delta$ instead would change the sign of the kernel and the representation formula together, as in sign conventions for a Dirichlet Green function.

For the preceding sign convention, Green's second identity gives the harmonic representationprovided the far-boundary term vanishes or the bounded-solution representation applies. The face $x=0$ contributes nothing because $g_1=0$. On $\zeta =0$, the outward normal is $-e_{\zeta }$, so the remaining kernel is $-{\partial }_{n_Q}G={\partial }_{\zeta }G$. Differentiating the image sum givesThus the requested constants areThe Poisson kernel of a three-dimensional quarter-space is the difference of the upper-half-space kernel and its reflection in $x=0$. For bounded, suitably continuous data it produces the bounded harmonic solution, taking the prescribed traces away from the edge. Continuous data at the common edge must be compatible. Without any growth restriction at infinity, boundary values alone do not give uniqueness: a multiple of the harmonic function $xz$ can be added while leaving both face values zero.