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 givesSince 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.
Articles by others on the same topic
There are currently no matching articles.