Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/iii/paper-13/1/b/solution

The strong maximum principle for harmonic functions states that a harmonic function on a connected domain which attains its supremum at an interior point is constant. Applying it to gives the corresponding assertion for an attained infimum.
Let . The ball mean value property for harmonic functions gives, for every sufficiently small ball about ,
The integrand is continuous and nonnegative. If it were positive at any point, it would be bounded below by a positive number on a smaller ball, contradicting the zero integral. Therefore on the whole ball. The set is relatively closed by continuity and relatively open by this same argument at each of its points. It is nonempty. Connected space forces , proving the principle. If the open set is disconnected, constancy is asserted on the relevant connected component.

New to topics? Read the docs here!