Apply a constant Lagrange multiplier to the isoperimetric constraint, using the augmented functional . Its integrand is
The Euler-Lagrange equation gives , hence
The multiplier rule applies because the constraint derivative in direction is , so the constraint derivative is not zero. The prescribed endpoint values remove boundary variations.
Multiply the Sturm-Liouville equation by and integrate. The endpoint values and integration by parts give
Since ,
Thus the multiplier equals the stationary value of at the extremal, as in stationary values of a quadratic functional with a quadratic constraint. It is also the corresponding Rayleigh quotient.
Multiply the equation for by and that for by , then subtract. Integrating the resulting identity yields
All endpoint terms vanish because both functions satisfy the zero Dirichlet boundary conditions. Since the multipliers differ,
This is the weighted orthogonality of Sturm-Liouville eigenfunctions.

Articles by others on the same topic (0)

There are currently no matching articles.