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

Fix an admissible $u$. The preceding result gives ${\int }_0^b{u}^{\prime 2}dx\ge {\lambda }^2{\int }_0^b{u}^{2}dx$ for every ${\lambda }^2<{\pi }^2/b^2$. Letting ${\lambda }^2$ increase to ${\pi }^2/b^2$ provesEquality is attained byIndeed the derivative and function squared integrals are $A^2{\pi }^2/(2b)$ and $A^{2}b/2$. These are all equality cases: an equality function minimizes the nonnegative threshold quadratic form, so its first variation vanishes. The resulting weak equation $u^{\prime \prime }+(\pi /b{)}^{2}u=0$ makes $u$ smooth and, with the endpoint conditions, yields precisely these multiples. This is the Wirtinger inequality.