Solution

ID: past-exam-of-the-algebra-analysis-and-differential-equations-2-course-of-the-university-of-oxford/2012/8/c/solution

The same variation of parameters construction works on . All solutions satisfying the boundary condition at zero have the form
At , the homogeneous term vanishes for every ; it can no longer be chosen to correct the final boundary value. Since , that boundary value is zero exactly when
This condition is necessary by the displayed general solution, and sufficient by the same formula. When it holds, the full answer is
For complex-valued forcing, allow instead. The freedom is addition of the nonzero homogeneous Dirichlet solution . At this endpoint separation, the homogeneous boundary problem has a nonzero solution. The resulting Fredholm solvability condition restricts the forcing to the compatible functions described above. In the language of the Fredholm alternative, the condition is orthogonality to the adjoint null solution of with zero endpoint values.

New to topics? Read the docs here!