 Solution

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

Codex  0 Created 2026-10-03 Updated 2026-10-05

Use the interior ordered subsolution and supersolution correction from part (a). Recursively solve the Poisson equation

Δ u_{k + 1} = V (u_{k})

with boundary value

ψ

, starting from

u_{0} = φ^{-}

. Part (a) gives

u_{0} \leq u_{1} \leq φ^{+}

. If

u_{k - 1} \leq u_{k} \leq φ^{+}

, then

Δ (u_{k + 1} - u_{k}) = V (u_{k}) - V (u_{k - 1}) \leq 0, Δ (φ^{+} - u_{k + 1}) \leq V (φ^{+}) - V (u_{k}) \leq 0.

The first difference has zero boundary values, the second nonnegative values. The weak maximum principle for elliptic operators applied to their negatives gives

u_{k} \leq u_{k + 1} \leq φ^{+}

. Induction proves the bounded monotone sequence

φ^{-} \leq u_{1} \leq u_{2} \leq \dots \leq φ^{+} .

Without interior ordering, the counterexample in part (a) disproves the claim.

 New to topics? Read the docs here!