Past exam of the calculus of variations course of the University of Oxford / 2010 / 1 / b

Zero is a strict weak local minimizer, but is not a strong local minimizer. Put $D={\int }_0^1|u^{\prime }{|}^{2}dx$. Since $u(0)=0$, the Cauchy-Schwarz inequality gives $|u(x){|}^2\le xD$, and thereforeFor sufficiently small $\Vert u^{\prime }{\Vert }_{\infty }$, $\sin (u^{\prime 2})\ge \frac{1}{2}{u}^{\prime 2}$ pointwise. Hencewith equality only when $u=0$. Thus zero is a strict weak local minimizer of a variational integral.

For the strong claim, define a Lipschitz triangular waveIt has zero endpoint values, $\Vert u_N{\Vert }_{\infty }=\sqrt{\pi }/(2N)\to 0$, and $u_N^{\prime }=\pm \sqrt{\pi }$ almost everywhere. Thus $\sin (u_N^{\prime 2})=\sin \pi =0$, while $u_N$ is nonzero on a set of positive measure. ConsequentlyThese uniformly small competitors disprove the strong local minimizer of a variational integral property.

Zero is a strict strong local minimizer, and therefore also a strict weak local minimizer. Here $I(0)=-2/2010$, andFor $|u|\le 1$, Taylor's theorem gives $\cosh u-1\le \frac{1}{2}\cosh (1)u^2$. Also $u(0)=0$ and the Cauchy-Schwarz inequality give ${\int }_0^1{u}^{2}dx\le \frac{1}{2}{\int }_0^1{u}^{\prime 2}dx$. ThereforeThe coefficient is positive. Thus every nonzero admissible $u$ with $\Vert u{\Vert }_{\infty }\le 1$ has strictly greater energy, proving that zero is a strict strong local minimizer of a variational integral.