Solution

ID: past-exam-of-the-differential-equations-and-applications-course-of-the-university-of-oxford/2007/b/8/solution

Choose the positive Green function convention
Away from its pole, is harmonic, and the maximum principle for harmonic functions makes it positive inside . The sign of its logarithmic singularity is important: it is the convention for , whereas a Green function for has the opposite sign.
Green's second identity, justified by removing a small disk about the pole and taking its radius to zero, gives
Since , and vanishes on the outer boundary, this rearranges to
The local logarithmic singularity is integrable, so continuous gives a well-defined volume integral.
In complex coordinates , for the unit disk, use
The numerator has no zeros inside the disk, so its logarithm is harmonic there. On , the numerator and denominator have equal modulus, giving the required zero boundary value. Differentiating in the outward radial direction at gives
With zero forcing the representation therefore becomes the Poisson integral
Finally replace by and change variable . Cosine stays the same, sine changes sign and the assumed boundary symmetry leaves unchanged. The integral is therefore invariant, so . Equivalently, reflection produces a harmonic function with the same Dirichlet data, and uniqueness identifies it with the original solution.

New to topics? Read the docs here!