Past exam of the differential equations 2 course of the University of Oxford / 2021 / 1 / a / ii / Solution

The homogeneous solution is $A\cos x+B\sin x$. The left boundary condition removes $A$, and the right boundary condition gives $B\sin l=0$. Thus the kernel of a linear map associated with this boundary value problem isThe Fredholm alternative now gives the complete classification:For necessity at $l=m\pi$, multiply by the homogeneous solution $\sin x$ and use the Lagrange identity for a Sturm-Liouville operator to obtain ${\int }_0^{l}f\sin xdx=0$. For sufficiency, the particular solutionsatisfies $z(0)=0$ and $z^{\prime \prime }+z=f$. At the other endpoint,which is zero under the compatibility condition. All solutions are then $z+B\sin x$, with $B$ arbitrary. The assumed Lipschitz continuity of $f$ in particular makes $f$ continuous, so the displayed integral defines a classical solution. The length $l=0$ is excluded: it would not define a nonempty interval for this boundary value problem.