Use a Lagrange multiplier for the norm constraint. For real variations with , integration by parts gives
Thus stationarity is equivalent to the Sturm-Liouville problem
Multiplying by and integrating shows , so the constrained stationary values are the eigenvalues, and the normalized stationary functions are their eigenfunctions. Conversely the eigenvalue equation makes the constrained first variation vanish. The self-adjoint operator has weight one.
For , zero and negative eigenvalues yield no nonzero solution with both Dirichlet boundary conditions. Positive eigenvalues have solutions after the left condition, and the right condition gives , . Hence the lowest eigenpair is
where the amplitude follows from .
The Rayleigh-Ritz variational principle bounds the full lowest eigenvalue by . Its derivative contribution is one. For the linear potential, reflection about gives
Thus the sine trial bound for a linear potential on an interval is
For the bound is strict, since is not a constant multiple of . Also by the Poincaré inequality and the nonnegative potential. Equality in the upper bound holds at .