Suppose for a nonzero complex vector. Because a real symmetric matrix is Hermitian, is real. But , so is real. The real matrix is singular; the real or imaginary part of a nonzero complex null vector supplies a nonzero real eigenvector. Thus every eigenvalue is real and has a real eigenvector.
If and , symmetry gives
For , , so the eigenvectors are orthogonal.
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.
From we have with . Thus is singular and .
Multiplication by gives
The numerator is real because is symmetric, while the denominator is strictly positive because is positive definite. Hence is real. As is real and singular, its kernel contains a nonzero real generalized eigenvector.
For and , symmetry gives
If , : the eigenvectors are orthogonal in the inner product induced by .
The generalized characteristic polynomial is
The generalized Rayleigh quotient is maximized by the largest generalized eigenvalue, . Solving gives

Articles by others on the same topic (0)

There are currently no matching articles.