For an eigenfunction in the operator domain, . Substitution into the Rayleigh quotient givesThe cancellation only needs a finite nonzero norm; orthonormalization makes both denominator and norm equal to one.
Assume is self-adjoint on its specified operator domain, and the admissible variations preserve that domain and any boundary conditions, so no boundary terms spoil self-adjointness. Let . The first variation of the Rayleigh quotient isAt , the residual vanishes, so . More explicitly, for a normalized and ,For a fixed admissible direction scaled by a small parameter, the change is second order. This is stationarity, and is not necessarily a minimum for an excited state.
Conversely, vanishing first variation for every admissible complex direction yields the stationary equationAt the original stationary point, this is . The printed equation with an arbitrary perturbed in the final factor is not generally true. Taking with gives , even though the first-order change in is zero. Thus the valid claim is the stationary equation at the extremal state, not an exact eigenvalue equation for every variation.
Assume a complete orthonormal eigenbasis and a self-adjoint operator bounded below, with the trial state in its operator domain or associated energy-form domain. The expansion and orthogonality giveConsequentlyIt is a weighted average of eigenvalues, all at least . This is the Rayleigh-Ritz variational principle; equality holds precisely when the trial state lies in the ground-state subspace. A continuous part of the spectrum would require the corresponding spectral integral in place of part of the sum.
Use the intended infinite square well interpretation: the kinetic-energy operator on with zero Dirichlet boundary conditions. The variational energy is most safely evaluated through its quadratic form,The boundary term vanishes because the trial function vanishes at both walls. Its zero extension has derivative jumps there, so the form interpretation avoids assigning an unrestricted full-line second derivative to it.
Set and . Apart from an irrelevant factor , the trial function is . Polynomial integration givesHence the polynomial Rayleigh-Ritz trial space for a one-dimensional box has energyThe denominator is strictly positive, since . Differentiation givesThe two stationary parameters are . The smaller is a local maximum; the larger is a local minimum. Since the energy tends to as , the latter is the global minimum:The upper stationary value is . Exact roots give a slightly tighter bound than substituting the rounded hints.
There are two qualifications to the printed operator and comparison energy. For the box with Dirichlet boundary conditions and width , the actual ground-state energy iswhich lies just below the variational result. The coefficient printed as an exact eigenvalue is inconsistent with this box problem. Also, merely declaring the differential expression to be zero outside the interval does not impose hard-wall confinement or specify a self-adjoint domain. Read literally on a space admitting exterior-supported states, it has zero-energy states outside and does not have the claimed positive ground energy. The boxed variational result is the well-defined answer for the intended confined particle; a different full-line operator would need its domain and matching conditions supplied.
Articles by others on the same topic
There are currently no matching articles.