Past exam of the mathematics course of the University of Cambridge / 2023 / iii / Paper 107 / 3 / a / i / Solution

First replace $u$ by $u+\epsilon$ and later let $\epsilon \downarrow 0$. In the weak subsolution inequality use the admissible truncations approximating ${\eta }^2{u}^{\alpha -1}$. Uniform ellipticity, the coefficient bound, Cauchy-Schwarz inequality, and Young inequality giveand thereforeApply the Sobolev embedding theorem to $w=\eta u^{\alpha /2}$. The preceding estimate yields, for concentric balls $B_r\subset B_R\subset B_1$,Starting with $\alpha =p>1$, taking ${\alpha }_k=p{\sigma }^k$, and choosing radii decreasing to $1/2$, the product of constants converges because ${\sum }_k{\alpha }_k^{-1}<\infty$. Letting $k\to \infty$ provesThis exponent-raising argument is Moser iteration.