Exponential ground state of a linearly weighted Sturm-Liouville problem ($-(x{y}^{\prime }{)}^{\prime }+{\omega }^{2}xy=\lambda y,{\lambda }_0=\omega ,y_0=e^{-\omega x}$)

For $\omega >0$ on $x>0$, use the regular finite branch at zero, decay at infinity, and a finite quadratic-form energy. For trial functions with $[x{y}^2{]}_0^{\infty }=0$, integration by parts givesThe Rayleigh quotient is at least $\omega$, with equality exactly for a nonzero multiple of $e^{-\omega x}$. Direct substitution verifies that this is an eigenfunction with eigenvalue $\omega$, so the lower bound is attained. The zero coefficient $p(0)=0$ makes this a singular-endpoint Sturm-Liouville problem; regularity replaces a prescribed zero endpoint value. Continuous piecewise differentiable trials of finite form energy are allowed in the Rayleigh-Ritz method, even if their derivative has a jump away from the endpoint.