In Linear Algebra , one of the most important problems is designing efficient and Stable Algorithm s for finding the Eigenvalue s of a Matrix . These may also find Eigenvectors .
Given a square matrix ''A'', an eigenvalue λ and its associated eigenvector are, by definition, a pair such that
:
Equivalently, (''A''−λ''I'') = 0, implying det(''A''−λ''I'') = 0. This Determinant expands to a polynomial in λ, called the Characteristic Polynomial of ''A''. One common method for finding the eigenvalues of a small matrix is by finding Roots of the characteristic polynomial. This is explained in more detail in the article Symbolic Computation Of Matrix Eigenvalues .
Unfortunately, this method has some limitations. A general polynomial of order ''n'' > 4 cannot be solved by a finite sequence of arithmetic operations and radicals (see Abel-Ruffini Theorem ). There do exist efficient Root-finding Algorithm s for higher order polynomials. However, finding the roots of the characteristic polynomial may be an Ill-conditioned problem even when the underlying eigenvalue problem is well-conditioned. For this reason, this method is rarely used.
The above discussion implies a restriction on all eigenvalue algorithms. It can be shown that for any polynomial, there exists a matrix (see Companion Matrix ) having that polynomial as its characteristic polynomial (actually, there are infinitely many). If there did exist a finite sequence of arithmetic operations for exactly finding the eigenvalues of a general matrix, this would provide a corresponding finite sequence for general polynomials, in contradiction of the Abel-Ruffini theorem. Therefore, general eigenvalue algorithms are expected to be Iterative .
|
If
:
then the characteristic polynomial of ''A'' is
:
The eigenvalues of the matrix are the roots of this polynomial, which can be found using the method for solving
Cubic Equation s.
A formula for the eigenvalues of a 4x4 matrix could be derived in an analogous way, using the formulae for the solutions of the
Quartic Equation .
For matrices satysfying
one can write explicit formulas for the possible eigenvalues and the projectors on the corresponding eigenspaces.
:
:
with
:
and
:
This provides the following resolution of identity
:
The multiplicity of the possible eigenvalues is given by the rank of the projectors.
The computation of eigenvalue/eigenvector can be realized with the following algorithm.
Consider an n-square matrix ''A''
:1. Find the roots of the characteristic polynomial of ''A''. These are the eigenvalues.
- If n different roots are found, then the matrix can be diagonalized.
:2. Find a basis for the kernel of the matrix given by . For each of the eigenvalues. These are the eigenvectors
- The eigenvectors given from different eigenvalues are linearly independent.
- The eigenvectors given from a root-multiplicity are also linearly independent.
Let us determine the eigenvalues of the matrix
:
which represents a linear operator ³ → ³.
We first compute the characteristic polynomial of ''A'':
:
This polynomial factors to
. Therefore, the eigenvalues of ''A'' are 2, 1 and −1.
With the eigenvalues in hand, we can solve sets of simultaneous linear equations to determine the corresponding eigenvectors. Since we are solving for the system
, if
then,
:
Now, reducing
to
Row Echelon Form :
:
allows us to solve easily for the eigenspace
:
:
::
.
We can confirm that a simple example vector chosen from eigenspace
is a valid eigenvector with eigenvalue
:
:
Note that we can determine the degrees of freedom of the solution by the number of pivots.
If ''A'' is a
Real matrix, the characteristic polynomial will have real coefficients, but its roots will not necessarily all be real. The
Complex eigenvalues come in pairs which are
Conjugate s. For a real matrix, the eigenvectors of a non-real eigenvalue ''z'' , which are the solutions of
, cannot be real.
If ''v''
1, ..., ''v''
''m'' are eigenvectors with different eigenvalues λ
1, ..., λ
''m'', then the vectors ''v''
1, ..., ''v''
''m'' are necessarily
Linearly Independent .
The
Spectral Theorem for symmetric matrices states that if ''A'' is a real symmetric ''n''-by-''n'' matrix, then all its eigenvalues are real, and there exist ''n'' linearly independent eigenvectors for ''A'' which are mutually
Orthogonal . Symmetric matrices are commonly encountered in engineering.
Our example matrix from above is symmetric, and three mutually orthogonal eigenvectors of ''A'' are
:
These three vectors form a
Basis of ³. With respect to this basis, the
Linear Map represented by ''A'' takes a particularly simple form: every vector ''x'' in ³ can be written uniquely as
:
and then we have
:
A popular method for finding eigenvalues is the
QR Algorithm , which is based on the
QR Decomposition . Other advanced methods include:
Most eigenvalue algorithms rely on first reducing the matrix
A to
Hessenberg or
Tridiagonal form. This is usually accomplished via
Projections .