Choose homogeneous Dirichlet boundary conditions, , and nonzero admissible functions with finite and positive . Variations obey the same zero endpoint values. At a stationary Rayleigh quotient, set . Then
The boundary term vanishes, and the fundamental lemma of the calculus of variations gives the Sturm-Liouville equation . Thus stationary functions are eigenfunctions. Conversely, multiply that equation by and integrate by parts to obtain ; its first variation then vanishes by the same calculation. This proves that stationary values are the corresponding eigenvalues. Homogeneous Neumann boundary conditions also make the displayed boundary terms vanish; general Robin boundary conditions can require a boundary contribution to the quadratic form.
For , , on , the polynomial trial function satisfies the endpoint conditions. Its Rayleigh quotient uses
so the polynomial estimate is . The trigonometric trial function gives
and hence . Both are upper bounds on the lowest eigenvalue, by the Rayleigh-Ritz method; neither trial is an exact eigenfunction, so the inequalities are strict.
Their closeness has a useful explanation beyond their similar single-arch shapes. Both trial functions are symmetric under , forcing . The reflection-symmetric trials for a linearly weighted Rayleigh quotient therefore reduce this problem to a constant multiple of the ordinary Dirichlet energy quotient. The sine is the best trial within this symmetric class, and the polynomial's value is only a factor larger. The unrestricted lowest eigenfunction can be asymmetric because the weight is asymmetric.