Apply a constant Lagrange multiplier to the isoperimetric constraint, using the augmented functional . Its integrand isThe Euler-Lagrange equation gives , henceThe 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 giveSince ,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 yieldsAll 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
There are currently no matching articles.