Sturm comparison theorem (source code)

= Sturm comparison theorem
{c}

If $q_1\leq q_2$, then between consecutive zeros of a nontrivial solution of
$$
y''+q_1(x)y=0
$$
there is a zero of every nontrivial solution of $y''+q_2(x)y=0$, unless the two coefficients agree throughout that interval.