Solution

ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2021/paper-2/1/a/ii/solution

Let with in the self-adjoint domain. By the boundary identity from part (i),
Since its squared weighted norm is positive, .
For and , the same identity gives
Thus implies
This is orthogonality of Sturm-Liouville eigenfunctions. Degenerate eigenspaces can be given an orthonormal basis, although vectors in a degenerate eigenspace are not automatically orthogonal.

New to topics? Read the docs here!