Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 107 / 3 / d

Take ${\Omega }^{\prime }$ nonempty. If the bound failed, normalization would give nonnegative $v_j$ with supremum one, zero boundary values, ${\inf }_{{\Omega }^{\prime }}{v}_j\to 0$, and $\Vert L{v}_j{\Vert }_{C^{0,\alpha }}\to 0$. The global Schauder estimate bounds them in the Hölder space $C^{2,\alpha }$. By compact embedding of Hölder spaces, a subsequence converges in $C^{2,\beta }$, $0<\beta <\alpha$, to $v\ge 0$ with $Lv=0$, zero boundary data and supremum one.

Points approaching the infima have a subsequence converging in $\overline{{\Omega }^{\prime }}\subset \Omega$. Uniform convergence gives an interior zero of $v$, and part (c), the strong minimum principle for elliptic operators after replacing $c$ by $\min (c,0)$, gives $v=0$. This contradicts its supremum one, proving