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

At $a=\pi$, the nonzero homogeneous solution $e^{-x}\sin x$ satisfies both zero boundary conditions. Thus the boundary value problem has a nontrivial kernel and cannot have an inverse for arbitrary forcing.

More directly, the adjoint operator has the zero-endpoint homogeneous solution $w(x)=e^x\sin x$. If an ordinary Green's function existed, the integration by parts identity would implyBut $w(\xi )\ne 0$ for $0<\xi <\pi$. This contradiction rules out the Green's function for the unmodified operator. It is the Fredholm alternative obstruction.

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.