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

As printed, the hypotheses are insufficient. They order the barriers only on the boundary; the intended monotone iteration for a semilinear elliptic equation needs an ordered subsolution and supersolution throughout the domain. On $B_1$, take a positive first Dirichlet Laplacian eigenfunction $e_1$ with $-\Delta e_1={\lambda }_1{e}_1$, and setBoth barriers satisfy $Q{\phi }^{\pm }=0$ and vanish on the boundary, but ${\phi }^{-}>{\phi }^{+}$ inside. No function lies between them. This also disproves the unconditional conclusions in (b) and (d).

With the intended extra hypothesis ${\phi }^{-}\le {\phi }^{+}$ on $\overline{\Omega }$, solvability of the Poisson equation and the Schauder estimate give a unique $u_1\in C^{2,\alpha }$ with forcing $V({\phi }^{-})$ and boundary data $\psi$. Smooth $V$ composed with the $C^{0,\alpha }$ barrier has the required forcing regularity. The barrier inequalities giveBoth differences have nonnegative boundary values. The weak maximum principle for elliptic operators applied to their negatives gives $\boxed{{\phi }^{-}\le u_1\le {\phi }^{+}}$ under the corrected hypothesis.

Use the interior ordered subsolution and supersolution correction from part (a). Recursively solve the Poisson equation $\Delta u_{k+1}=V(u_k)$ with boundary value $\psi$, starting from $u_0={\phi }^{-}$. Part (a) gives $u_0\le u_1\le {\phi }^{+}$. If $u_{k-1}\le u_k\le {\phi }^{+}$, thenThe first difference has zero boundary values, the second nonnegative values. The weak maximum principle for elliptic operators applied to their negatives gives $u_k\le u_{k+1}\le {\phi }^{+}$. Induction proves the bounded monotone sequenceWithout interior ordering, the counterexample in part (a) disproves the claim.

For a sequence trapped between the fixed barriers, let $M$ bound their absolute values and put $A={\sup }_{|s|\le M}|V^{\prime }(s)|$. The mean value theorem givesThe global Schauder estimate, including the fixed boundary data $\psi$, and $\Vert u_k{\Vert }_{\infty }\le M$ implyApply the supplied Hölder interpolation inequality with $KA\epsilon \le 1/2$. Its remaining supremum-norm term is bounded by $M$, yieldingIf $A=0$, the stronger bound without a previous-iterate term holds directly. The constant depends on the fixed domain, exponent, barriers, boundary data and $V$, independently of $k$.

With the interior ordering correction in part (a), iteration of part (c) givesThe bounded monotone sequence has a pointwise limit $u$. By compact embedding of Hölder spaces, a subsequence converges in $C^{2,\beta }$ for $0<\beta <\alpha$, necessarily to this same limit. All convergent subsequences have that limit, so compactness gives convergence of the full sequence in $C^{2,\beta }$. Passing to the limit in $\Delta u_k=V(u_{k-1})$ gives the equation and boundary values. The uniform Hölder seminorm bounds on second derivatives pass to the limit, so $u\in C^{2,\alpha }(\overline{\Omega })$, and the barriers remain ordered:This proves the intended monotone iteration for a semilinear elliptic equation. With only the boundary ordering printed in the PDF, the counterexample in part (a) shows the requested trapped solution need not exist.