Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/ii/paper-3/2g/i/solution

Because is compact, attains a maximum. If a maximizer lay in , its Hessian matrix would be negative semidefinite, so its trace would satisfy , contradicting . Hence every strictly subharmonic function under the stated hypotheses attains a maximum on .
Statement (i) is true. For , the function
has , so
Letting gives
This is the maximum principle for harmonic functions.

New to topics? Read the docs here!