Past exam of the differential equations 2 course of the University of Oxford / 2023 / 1 / c / ii / Solution

The nonzero endpoint data contribute to the Fredholm alternative condition. With $w=e^x\sin x$, the same integration by parts identity givesFor the specified forcing the left side is $A{\int }_0^{\pi }{\sin }^{2}xdx=A\pi /2$. HenceTo verify sufficiency, set $y=e^{-x}u$. Direct differentiation gives $\mathcal{L}y=e^{-x}(u^{\prime \prime }+u)$. At this value of $A$, a particular solution of $u^{\prime \prime }+u=(2/\pi )\sin x$ is $-(x/\pi )\cos x$. The complete family obeying the two boundary conditions isThe arbitrary constant records the one-dimensional kernel; existence does not imply uniqueness here.