Use a Lagrange multiplier for the norm constraint. For real variations with , integration by parts givesThus stationarity is equivalent to the Sturm-Liouville problemMultiplying 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 iswhere 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 givesThus the sine trial bound for a linear potential on an interval isFor 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 .
Articles by others on the same topic
There are currently no matching articles.