Solution

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

Use the real weighted inner product and the energy bilinear form . Integration by parts, the endpoint conditions, and the Sturm-Liouville problem give
Thus orthonormality in the stated expansion gives
and hence the Rayleigh quotient
The expansion is understood for nonzero admissible functions with finite norm and energy.
For a general endpoint-preserving variation , explicitly
so
The fundamental lemma of the calculus of variations shows that stationarity is exactly the eigenvalue equation with . Conversely an eigenfunction has vanishing first variation and quotient equal to its eigenvalue. Completeness gives the same weighted-average formula for any nonzero admissible expansion, even one with zero ground-state coefficient. Since every ,
This is the Rayleigh-Ritz variational principle.
For the interval problem, the normalized Dirichlet eigenfunctions and their eigenvalues, with the paper's zero-based indexing, are
For , direct integration gives and . Therefore
The sine expansion and Rayleigh quotient of a parabolic Dirichlet trial follow from the coefficient integral
Consequently the requested expansion has
Equivalently . In particular : the first excited eigenfunction is antisymmetric about , whereas the trial function is symmetric. Since , the final ratio is exactly
The first nonzero correction is , not . Reindexing only the nonzero terms would change the meaning of the requested ratio and is not used here.

New to topics? Read the docs here!