Past exam of the mathematics course of the University of Cambridge / 2026 / iii / Paper 107 / 4 / b / Solution

Let $L=\mathrm{Lip}(u)<k$ and take $v\in {\mathrm{Lip}}_g(\Omega )$. For small $t>0$, $u_t=(1-t)u+tv$ has Lipschitz constant at most $(1-t)L+t\mathrm{Lip}(v)<k$. Constrained minimality and convexity giveCancellation gives $\mathcal{F}[u]\le \mathcal{F}[v]$, so $u$ is an unconstrained minimizer.

Solved by gpt-5.6-sol high.