For in the dual cone , copositivity of gives . An upper-bounding Lagrangian for the maximization is therefore
Its supremum over unrestricted is finite precisely when . Minimizing that upper bound gives the conic program
This is completely positive optimization, not simply semidefinite programming: is the completely positive cone.
There is also a direct equality certificate. Every feasible , , has . Its objective is a weighted average of the nonnegative-sphere Rayleigh quotients, hence is at least . For a minimizing unit vector from part (g), is feasible and has objective . Thus attains the dual and both values agree, without relying on unverified regularity assumptions.
Eigenvectors belonging to distinct eigenvalues are linearly independent. With distinct eigenvalues there are eigenvectors forming a basis, and the matrix is diagonalizable. In this eigenbasis, the Rayleigh quotient is a weighted average of the eigenvalues, so it is maximized by choosing in the eigenspace of the largest eigenvalue.
A self-adjoint operator satisfies . If , then , so . An eigenvector exists over ; its orthogonal complement is -invariant. Induction on dimension produces an orthonormal basis of eigenvectors, proving the finite-dimensional spectral theorem.
A self-adjoint is positive definite exactly when every eigenvalue is positive, since in an eigenbasis. The quadratic forms of two positive-definite operators add, so their sum is positive definite.
The same eigenbasis shows that exactly when is positive definite for every and negative definite for every . Finally, if is a unit eigenvector of with eigenvalue , the Rayleigh quotient bounds give
Thus every eigenvalue of lies in .
For , the energy ratio is the Rayleigh quotient of the Hermitian positive-definite matrix :
Expanding in the orthonormal right singular vectors makes this a weighted average of . Hence
Any nonzero vector in the largest right-singular subspace is optimal if is repeated. Its amplified state is proportional to the paired left singular vector. For a non-normal matrix , this optimal initial direction need not be an eigenvector of , explaining transient growth from non-normal modes.
For a normalized trial state , expand it in an orthonormal basis of energy eigenstates, . The Rayleigh quotient is then
This is the quantum variational principle: minimizing the expectation of the Hamiltonian operator over any trial family gives an upper bound on the ground-state energy.
Let be the normalized ground-state wavefunction and form the normalized dilation . Its kinetic and potential expectations are
The true ground state makes the energy stationary at , so
Thus the power-law quantum virial theorem gives
If and , the two sides have opposite signs, because and . If , the scaled energy tends to as , since , so the Hamiltonian is not bounded below. If , the free particle has no normalizable ground state. Hence there is no normalizable ground state for .
For take the normalized Gaussian function
The Gaussian integral gives
and therefore
Its unique minimum satisfies
At this point , consistently with the virial theorem, and the resulting variational estimate is
Put
The Rayleigh quotient shift is exactly
Expanding the denominator gives
The question prints this as , so its sign convention requires
unless every vanishes. Equivalently, is the positive quadratic Rayleigh-quotient error.
The shifted inverse solve has the spectral decomposition
Only relative coefficients matter after normalization, so factor out :
From the shift expansion,
whereas, for ,
Consequently
After the final normalization,
Thus an eigenvector-direction error becomes in one step, proving the Local cubic convergence of Rayleigh quotient iteration for this symmetric matrix.
The kernel ridge regression estimator minimizes
By the representer theorem, its fitted-value vector is
Writing for the true value vector, the variance contribution to is
The squared bias is . In an orthonormal eigenbasis of , the scalar inequality
which is equivalent to , yields
For , only the last term varies. The Rayleigh quotient of is maximized by a unit eigenvector associated with its largest eigenvalue , equivalently an eigenvector of associated with .
The power method starts with a unit vector and iterates
Its eigenvalue estimate is the Rayleigh quotient
By the real spectral theorem, choose an orthonormal eigenbasis and write
Assume , , and . Before normalization,
Thus the direction error is . Orthogonality makes the linear terms vanish from the Rayleigh quotient:
Consequently
This is the quadratic Rayleigh-quotient improvement for the power method.
For a decision in the unit ball, conditional expectation under the posterior gives
The symmetric positive semidefinite matrix has a Rayleigh quotient maximized over by any unit eigenvector corresponding to its largest eigenvalue. Bayes decision rule therefore chooses any such eigenvector for the stated utility.
Write . By the definition of the kernel matrix,
and
The irrelevant positive factor gives exactly the stated constrained optimization.
Let , where is the largest eigenvalue and . The generalized Rayleigh quotient is maximized by
up to sign and addition of a vector in , which does not change . Repeated leading eigenvectors give further principal directions.
For and centered data, the objective is the Rayleigh quotient
This is the first-direction optimization in principal component analysis. Therefore is any unit eigenvector of the sample covariance matrix corresponding to its largest eigenvalue.
For any nonzero state, the Rayleigh quotient is
Expand in normalized energy eigenstates. Then
Because the ground state is unique, equality holds exactly when all coefficients except vanish. Thus the Rayleigh-Ritz variational principle gives its minimum at the ray of .
For the proposed exact state, write . Its logarithmic derivatives give
The stationary Schrödinger equation, after multiplication by , is
Matching the highest power requires , so , and cancellation of requires . Normalizability selects . Then also cancels the quadratic term, leaving . Therefore
This is the exact ground state of a solvable sextic potential candidate .
For the Gaussian trial state , normalization cancels from the quotient. With respect to the probability density proportional to ,
Hence
The stationary equation is
Writing , the quadratic has exactly one positive root,
Since the quotient tends to infinity as or , this is the unique global minimizer. Thus
Using the stationary equation to replace by gives the best estimate
This is the Gaussian variational estimate for a solvable sextic potential.
The exact eigenfunction is positive and has no nodes. The nodeless theorem for a one-dimensional ground state therefore identifies it as the true ground state, with dimensionless energy . The variational value is consistent: since ,
so , as every trial-state upper bound must satisfy.
For a nonzero real vector , the Rayleigh quotient of the matrix is
The Rayleigh quotient iteration starts from a unit vector . Given , compute the shift
solve the linear system
and normalize in the Euclidean norm:
The next eigenvalue estimate is . The process stops when the eigenpair residual is sufficiently small.
Multiply
by and integrate from the rigid bottom to an upper endpoint at which . The bottom term also vanishes because . Integration by parts gives
Therefore the horizontal wavenumber has the Rayleigh quotient
For a trapped wave the upper endpoint may be taken to infinity because the eigenfunction decays.
Let
Because the Rayleigh quotient is stationary with respect to first-order changes of its eigenfunction, only the explicit dependence of on contributes when the quotient is differentiated. Thus
where
It follows that
Since , the horizontal group velocity is
For a stationary ridge wave, . Assume , so downstream is the positive direction. The stated inequality is
The denominator in the group-velocity formula is then positive, and
The atmospheric internal gravity waves generated by the ridge consequently carry their wave packet downstream.
Quadratic Rayleigh-quotient improvement for the power method Created 2026-09-24 Updated 2026-09-24
For a real symmetric matrix with and a starting vector having nonzero component in the leading eigendirection, power-method direction errors are
whereas the Rayleigh quotient error is
The improvement occurs because orthogonality cancels terms linear in the direction error.
For a radial stellar oscillation, put . The self-gravitating adiabatic equation is . It is a Sturm-Liouville problem whose Rayleigh quotient tests radial stability. The familiar constant-exponent threshold is ; a variable exponent requires the full integral test.
Let project onto a leading unit eigenvector of , with as in the Davis-Kahan curvature lemma. Its maximizing Rayleigh quotient gives . Duality of the operator norm and trace norm, together with the rank-two bound , proves the estimate. No gap condition on the perturbed matrix is needed.
Sturm-Liouville operator 2026-10-07
The weighted operator , with real coefficients and in the interior, defines a Sturm-Liouville problem. Its realization as a self-adjoint differential operator requires a domain whose endpoint conditions annihilate the boundary form . Its Rayleigh quotient uses the weight in the denominator.
For quantum witness embedding , verifier unitary and accepting projector , the witness acceptance operator is the positive contraction . The maximum acceptance over normalized quantum witnesses is by the Rayleigh quotient. Restricting to basis quantum witnesses only tests its diagonal entries and need not find that maximum.