Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-107/3/a/solution
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 107 3 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-05
Assume , bounded coefficients and uniform ellipticity near the boundary point, an interior tangent ball there, and enough regularity for the boundary normal derivative. The Hopf boundary point lemma says that a nonnegative maximum at with strictly smaller values inside the tangent ball satisfiesfor the outward unit normal. If , the maximum can have either sign. Without existence of a classical derivative, one states a strict one-sided derivative bound.
The PDF also asks to deduce the strong maximum principle for elliptic operators; that request is missing from the TeX transcription. Suppose attains a nonnegative global maximum inside a connected domain but is not constant. A ball in can be chosen relatively compact in the domain and tangent to at an interior point : use the distance from a nearby point to the closed maximum set. The Hopf boundary point lemma on that ball gives a nonzero outward derivative at , contradicting at an interior maximum. Therefore is constant. When , the same proof works for a maximum of either sign.
New to topics? Read the docs here!