Solution

ID: past-exam-of-the-calculus-of-variations-course-of-the-university-of-oxford/2010/2/b/i/solution

Here , and the Jacobi equation is . With and , its solution is for , and for . Its first positive zero is when .
If , no conjugate point occurs in . The Jacobi positivity criterion gives
Since itself is this quadratic form divided by two, for every nonzero admissible . Thus zero is the unique global minimizer. This argument establishes the result before using the sharp Poincaré inequality.

New to topics? Read the docs here!