Past exam of the partial differential equations for pure and applied mathematicians and calculus of variations course of the University of Oxford / 2007 / B / 6 / b

The Jacobi equation is $z^{\prime \prime }+{\lambda }^{2}z=0$. For $|\lambda |<\pi$ the function $z=\cos (\lambda (x-1/2))$ is positive on the closed interval. The preceding square identity giveswith $z=1$ if $\lambda =0$. As in part (a), its positive minimum and bounded derivative provide a constant $\gamma >0$ with $I(u)\ge \gamma \Vert u{\Vert }_{H^1}^2$. The second variation at zero is $2I$, so is positive, and zero is the unique global minimizer.

For a fixed zero-trace $u$, positivity of $\int u^{\prime 2}-{\lambda }^2\int u^2$ for all ${\lambda }^2<{\pi }^2$ gives, by letting ${\lambda }^2\uparrow {\pi }^2$,This derivation did not assume the sharp inequality in advance. For equality, the nonnegative quadratic form $Q(u)=\int (u^{\prime 2}-{\pi }^2{u}^2)$ has $Q(u)=0$. Expanding $Q(u+t\varphi )\ge 0$ for both signs of $t$ forces $\int u^{\prime }{\varphi }^{\prime }-{\pi }^{2}u\varphi =0$ for every test. Thus $u^{\prime \prime }+{\pi }^{2}u=0$, and the zero endpoint values give exactly $u(x)=C\sin (\pi x)$, including $C=0$. These functions do give equality.

Take $u_t(x)=t\sin (\pi x)$. It is admissible andwhen ${\lambda }^2>{\pi }^2$. Hence the infimum is minus infinity. The roman label (iii) is retained exactly as printed.