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.

Articles by others on the same topic (0)

There are currently no matching articles.