Move the differential terms to the left in the sign convention of part (a). Then , , and . The integrating factor is therefore , up to a positive constant. The Sturm-Liouville problem isThe trial is admissible because and vanishes at one. Its Rayleigh quotient has numeratorand denominatorConsequently the Rayleigh-Ritz variational principle givesThe numerator is positive for every nonzero admissible function, so the lowest eigenvalue is positive. The trial is not an exact eigenfunction: substituting it would require for every . Thus the upper inequality is actually strict. This example underlies the exponential-polynomial trial space for a mixed Sturm-Liouville problem.
For the added trial term , the left Dirichlet boundary condition is automatic for a positive integer . At the right endpoint,To preserve for an arbitrary variational coefficient , choose . Then minimize the Rayleigh quotient of over .
Since remains available, this optimization cannot worsen the original upper bound. For , the added function is a multiple of the first trial, so the quotient does not change: an independent choice is needed for extra freedom. More generally, several such functions form the exponential-polynomial trial space for a mixed Sturm-Liouville problem, and the Rayleigh-Ritz method reduces minimization to a small generalized eigenvalue problem.