Regularized Jacobi criterion for a degenerate second variation ($q_{\eta }=q+\eta \int |{\phi }^{\prime }{|}^2$)

For continuous $P\ge 0,Q$, a scalar second variation $q=\int (P{\phi }^{\prime 2}+Q{\phi }^2)$ is strictly positive on nonzero fixed-endpoint Lipschitz variations if and only if every regularized form $q_{\eta }$ for $\eta >0$ has no conjugate point in $(a,b]$, and the original weak Jacobi boundary problem has no nonzero Lipschitz solution. The Jacobi positivity criterion applies to each regularized coefficient $P+\eta >0$. Letting $\eta$ decrease to zero gives $q\ge 0$. For a nonnegative quadratic form, $q(\phi )=0$ forces its mixed bilinear form with every test function to vanish, by considering $q(\phi +t\psi )$ for both signs of $t$. This is the weak Jacobi equation, so the kernel condition gives strict positivity. Necessity follows by the same argument in reverse. It distinguishes strict positivity from a uniform coercive estimate when the derivative coefficient degenerates.