Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-107/5/b/solution

Failure of the bound would give normalized with , zero Dirichlet boundary condition, and . The global Schauder estimate bounds them in . By compact embedding of Hölder spaces, a subsequence converges in to with , zero boundary data and . The uniform Hölder seminorm bounds pass to the limit, so . This contradicts the trivial null space, proving
The global Schauder estimate then gives , the bounded-inverse estimate used next.

New to topics? Read the docs here!