Let be a lower-bounded self-adjoint Hamiltonian operator and a commuting self-adjoint operator with . For a normalized trial vector , define , , . The Rayleigh quotient on is , with derivative . Unless , its extrema are the normalized nonzero vectors , with energies . Their difference is , identifying the maximum and minimum.
The orthogonal projections split any trial energy into a weighted mean of the two sector energies, so one nonzero sector projection never raises the trial energy. If , one projected vector is zero and its quotient is undefined; the remaining family has constant energy. Exchange symmetry makes these sectors bosonic and fermionic spatial wavefunctions. Stationarity within this two-dimensional trial space does not generally make a vector an exact eigenvector of .

Articles by others on the same topic (0)

There are currently no matching articles.