Past exam of the calculus of variations course of the University of Oxford / 2009 / 3 / b / iii

Zero is a strict weak local minimizer, but is not a strong local minimizer. The derivative integrand has expansion $\cosh v\cos (v^2)=1+v^2/2+O(v^4)$, so for small $|v|$ it is at least $1+3v^2/8$. Concavity gives $(1+u^2{)}^{1/4}\le 1+u^2/4$ for every real $u$. Therefore, when $\Vert u^{\prime }{\Vert }_{\infty }$ is small,using $\int u^2\le \frac{1}{2}\int u^{\prime 2}$. This proves strict weak minimality.

For the strong claim, let $v_N(x)=\sqrt{\pi }\mathrm{dist}(x,N^{-1}\mathbb{Z})$. Its amplitude tends to zero and its derivative is $\pm \sqrt{\pi }$ almost everywhere, so the derivative integrand is the constant $-\cosh \sqrt{\pi }$. The other integrand term is at most $-2$. HenceThis disproves strong minimality. The same obstruction is detected by the Weierstrass necessary condition, since the supporting-tangent inequality at slope zero fails at $v=\sqrt{\pi }$.