Solvability condition at a Sturm-Liouville eigenvalue (source code)

= Solvability condition at a Sturm-Liouville eigenvalue

If $L(y_0;\lambda_0)=0$ and $y_0,y$ satisfy homogeneous separated boundary conditions, the Lagrange identity gives
$$
\int y_0L(y;\lambda_0)\,dx
=\int yL(y_0;\lambda_0)\,dx=0.
$$
Thus $L(y;\lambda_0)=f$ can be solved only if $f$ is orthogonal to the null mode $y_0$.