Solution

ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2019/paper-2/3/d/solution

At the origin, the Poisson kernel is one, so the mean value property for harmonic functions gives
For , the denominator in the Poisson kernel satisfies . Thus
The nonnegativity of allows this upper bound to be inserted under the Poisson integral on the unit disk:
This is the upper bound in the Harnack inequality on the unit disk. The same argument with the minimum of the Poisson kernel gives the corresponding lower bound .

New to topics? Read the docs here!