Solution

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

For the weighted inner product, the factor cancels the in the Sturm-Liouville operator. Assuming the coefficients are real, two applications of integration by parts give
This is the boundary form in the Lagrange identity for a Sturm-Liouville operator. The potential terms cancel; if were complex, an additional integral of would remain, so suitable real coefficients are part of formal self-adjointness. The endpoint restrictions in part (a) eliminate the displayed form for every pair of functions in the domain.

New to topics? Read the docs here!