3
$\begingroup$

Recently, I’m trying to prove all the eigenvalues of a class of matrices are real. The matrices are complex and not hermitian. The problem for me is I don't know any properties for a matrix with all the eigenvalues real. So would you please tell me any sufficient or necessary conditions for such matrices? Thank you!

$\endgroup$
  • 1
    $\begingroup$ Read up on normal matrices, i.e., $AA^H=A^HA$. $\endgroup$ – LutzL Feb 9 '14 at 12:38
  • 1
    $\begingroup$ Well for a symmetric matrix all eigenvalues are real. $\endgroup$ – randomname Feb 9 '14 at 12:50
  • $\begingroup$ Are we to assume the matrix has a complete basis of eigenvectors? As in the real matrix case, there can be a deficiency of the geometric multiplicity versus algebraic multiplicity of an eigenvalue. $\endgroup$ – hardmath Feb 9 '14 at 12:59
  • $\begingroup$ The Gershgorin circle theorem might be handy (en.wikipedia.org/wiki/Gershgorin_circle_theorem). $\endgroup$ – Calle Feb 9 '14 at 13:25
4
$\begingroup$

It is easy to construct complex matrices having all real eigenvalues that are not necessarily hermitian. Start with an upper triangular matrix having all real diagonal entries (which are the eigenvalues of the matrix). If we want the eigenvectors to form a complete basis, this is guaranteed by making the eigenvalues (diagonal entries) distinct.

Further, if $A$ is a complex matrix with real eigenvalues, so will be $PAP^{-1}$ for any invertible matrix $P$, by similarity. Any eigenvalue of $A$, say $Av = \lambda v$, will give the same eigenvalue for $PAP^{-1}$:

$$ PAP^{-1} u = \lambda u \; \text{ where } \; u=Pv $$

Indeed this can be framed as a necessary and sufficient condition, however difficult to apply in practice. Complex matrix $B$ has only real eigenvalues if and only if $B$ is similar to an upper triangular matrix $A$ with real diagonal entries. If we wish to impose a condition of a complete basis of eigenvectors for $B$, then in addition we require $A$ to be a real diagonal matrix (and to avoid hermitian examples, impose a condition that $P$ is not unitary).

As a quick necessary condition to check, the trace of the matrix is the sum of its eigenvalues (taken according to algebraic multiplicity), and accordingly the trace would be real if all the eigenvalues are real. This is of course far from being a sufficient condition for that.

$\endgroup$
  • $\begingroup$ Thank you, I'll try to utilize the conditions. $\endgroup$ – user1992738 Feb 9 '14 at 14:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.