Solution

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

The weight cancels the denominator in the Sturm-Liouville operator. Two integrations by parts, with real , give the Lagrange identity for a Sturm-Liouville operator
Thus the boundary form must vanish for every pair in the operator domain:
Separated real Robin boundary conditions at , with , make each endpoint contribution vanish. This includes Dirichlet boundary conditions and Neumann boundary conditions. Coupled conditions can also work: periodic and cancel the two endpoint contributions. For the regular problem, imposing a complete pair of such self-adjoint boundary conditions gives a self-adjoint differential operator; the displayed identity is the boundary-form criterion.

New to topics? Read the docs here!