You are here
Homeeigenvalue problem
Primary tabs
eigenvalue problem
The general eigenvalue problem
Suppose we have a vector space $V$ and a linear operator $A\in\operatorname{End}(V)$. Then the eigenvalue problem is this:
For what values $\lambda$ does the equation
$Ax=\lambda x$ 
have a nonzero solution $x$? For such a $\lambda$, what are all the solution vectors $x$?
Values $\lambda$ admitting a solution are called eigenvalues; nonzero solutions $x$ are called eigenvectors.
The question may be rephrased as a question about the linear operator $(A\lambda I)$, where $I$ is the identity on $V$. Since $\lambda I$ is invertible whenever $\lambda$ is nonzero, one might expect that $(A\lambda I)$ should be invertible for “most” $\lambda$. As usual, when dealing with infinitedimensional spaces, the situation is more complicated.
A special sitation arises when $V$ has an inner product under which $A$ is selfadjoint. In this case, $A$ has a discrete set of eigenvalues, and if $x_{{\lambda_{1}}}$ and $x_{{\lambda_{2}}}$ are eigenvectors corresponding to distinct eigenvalues, then $x_{{\lambda_{1}}}$ and $x_{{\lambda_{2}}}$ are orthogonal. In fact, since the inner product makes $V$ into a normed linear space one can find an orthonormal basis for $V$ consisting entirely of eigenvectors of $A$.
Differential eigenvalue problems
Many problems in physics and elsewhere lead to differential eigenvalue problems, that is, problems where the vector space is some space of differentiable functions and where the linear operator involves multiplication by functions and taking derivatives. Such problems arise from the method of separation of variables, for example. One class of eigenvalue problems that is wellstudied are SturmLiouville problems, which always lead to selfadjoint operators. The sequences of eigenvectors obtained are therefore orthogonal under a suitable inner product.
An example of a SturmLiouville problem is this: Find a function $f(x)$ satisfying
$f^{{\prime\prime}}(x)=\lambda f(x)$ 
and
$f(0)=f(1)=0.$ 
Observe that for most values of $\lambda$, there is only the solution $f(x)=0$. If $\lambda=(n\pi)^{2}$ for some $n$, though, $\sin(\sqrt{\lambda}x)$ is a solution. Observe that if $n\neq m$, then
$\int_{0}^{1}\sin(n\pi x)\sin(m\pi x)dx=0.$ 
Moreover, recalling the properties of Fourier series, we see that any function satisfying the boundary conditions can be written as an infinite linear combination of eigenvectors of this problem.
Many of the families of special functions that turn up throughout applied mathematics do so precisely because they are an orthogonal family of eigenvectors for a SturmLiouville problem. For example, the trigonometric functions sine and cosine and the Bessel functions both arise in this way.
Matrix eigenvalue problems
Matrix eigenvalue problems arise in a number of different situations. The eigenvalues of a matrix describe its behaviour in a coordinateindependent way; theorems about diagonalization allow computation of matrix powers efficiently, for example. As a result, matrix eigenvalues are useful in statistics, for example in analyzing Markov chains and in the fundamental theorem of demography.
Matrix eigenvalue problems also arise as the discretization of differential eigenvalue problems.
An example of where a matrix eigenvalue problem arises is the determination of the main axes of a second order surface $Q=x^{T}Ax=1$ (defined by a symmetric matrix $A$). The task is to find the places where the normal
$\nabla(Q)=\left(\frac{\partial Q}{\partial x_{1}},\cdots,\frac{\partial Q}{% \partial x_{n}}\right)=2Ax$ 
is parallel to the vector $x$, i.e $Ax=\lambda x$.
A solution $x$ of the above equation with $x^{T}Ax=1$ has the squared distance $x^{T}x=d^{2}$ from the origin. Therefore, $\lambda x^{T}x=1$ and $d^{2}=1/\lambda$. The main axes are $a_{i}=1/\sqrt{\lambda_{i}}\quad(i=1,\ldots,n)$.
The matrix eigenvalue problem can be written as $(A\lambda I)x=0$. A nontrivial solution to this system of $n$ linear homogeneous equations exists if and only if the determinant
$\det(A\lambda I)=\left\begin{matrix}a_{{11}}\lambda&a_{{12}}&\cdots&a_{{1n}% }\\ a_{{21}}&a_{{22}}\lambda&\cdots&a_{{2n}}\\ \vdots&\vdots&\ddots&\vdots\\ a_{{n1}}&a_{{n2}}&\cdots&a_{{nn}}\lambda\end{matrix}\right=0$ 
This $n$th degree polynomial in $\lambda$ is called the characteristic polynomial. Its roots $\lambda$ are called the eigenvalues and the corresponding vectors $x$ eigenvectors. In the example, $x$ is a right eigenvector for $\lambda$; a left eigenvector $y$ is defined by $y^{T}A=\mu y^{T}$.
Numerical eigenvalue problems
Frequently, one wishes to solve the eigenvalue problem approximately (generally on a computer). While one can do this using generic matrix methods such as Gaussian elimination, $LU$ factorization, and others, these have problems due to roundoff error when attempting to deal with eigenvalue problems. Other methods are necessary. For example, a $QR$based method is a much more adequate tool ([Golub89]); it works as follows. Assume that $A\in\mathbb{R}^{{n\times n}}$ is diagonalizable. The $QR$ iteration is given by
$A_{0}=A$
for $k=1,2,\ldots$
$\quad A_{k}=:Q_{k}R_{k}$
$\quad A_{{k+1}}:=R_{k}Q_{k}$
end
At each step, the matrix $Q_{k}$ is orthogonal and $R_{k}$ is upper triangular.
Note that
$A_{{k+1}}=\big(Q_{0}\cdots Q_{k})^{{\mathrm{T}}}AQ_{0}\cdots Q_{k}.$ 
For a full matrix, the $QR$ iteration requires $O(n^{3})$ flops per step. This is prohibitively expensive, so we first reduce $A$ to an upper Hessenberg matrix, $H$, using an orthogonal similarity transformation:
$U^{{\mathrm{T}}}AU=H$ 
($H$ is upper Hessenberg if $h_{{ij}}=0$ for $i>j+1$). We will use Householder transformations to achieve this. Note that if $A$ is symmetric then $H$ is symmetric, and hence tridiagonal.
The eigenvalues of $A$ are found by applying iteratively the $QR$ decomposition to $H$. These two matrices have the same eigenvalues as they are similar. In particular: $H=H_{1}$ is decomposed into $H_{1}=Q_{1}R_{1}$, then an $H_{2}$ is computed, $H_{2}=R_{1}Q_{1}$. $H_{2}$ is similar to $H_{1}$ because $H_{2}=R_{1}Q_{1}=Q_{1}^{{1}}H_{1}Q_{1}$, and is decomposed to $H_{2}=Q_{2}R_{2}$. Then $H_{3}$ is formed, $H_{3}=R_{2}Q_{2}$, etc. In this way a sequence of $H_{i}$’s (with the same eigenvalues) is generated, that finally converges to (for conditions, see [Golub89])
$\begin{pmatrix}\lambda_{1}&*&*&\cdots&*&*\\ 0&\lambda_{2}&*&\cdots&*&*\\ 0&0&\lambda_{3}&\cdots&*&*\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots\\ 0&0&0&\cdots&\lambda_{{n1}}&*\\ 0&0&0&\cdots&0&\lambda_{n}\end{pmatrix}$ 
for the Hessenberg and
$\begin{pmatrix}\lambda_{1}&0&0&\cdots&0&0\\ 0&\lambda_{2}&0&\cdots&0&0\\ 0&0&\lambda_{3}&\cdots&0&0\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots\\ 0&0&0&\cdots&\lambda_{{n1}}&0\\ 0&0&0&\cdots&0&\lambda_{n}\end{pmatrix}$ 
for the tridiagonal.
References
 DAB

Originally from The Data Analysis Briefbook (http://rkb.home.cern.ch/rkb/titleA.html)
 Golub89

Gene H. Golub and Charles F. van Loan: Matrix Computations, 2nd edn., The John Hopkins University Press, 1989.
Mathematics Subject Classification
65F15 no label found6500 no label found15A18 no label found1500 no label found Forums
 Planetary Bugs
 HS/Secondary
 University/Tertiary
 Graduate/Advanced
 Industry/Practice
 Research Topics
 LaTeX help
 Math Comptetitions
 Math History
 Math Humor
 PlanetMath Comments
 PlanetMath System Updates and News
 PlanetMath help
 PlanetMath.ORG
 Strategic Communications Development
 The Math Pub
 Testing messages (ignore)
 Other useful stuff
Recent Activity
new question: Prove a formula is part of the Gentzen System by LadyAnne
Mar 30
new question: A problem about Euler's totient function by mbhatia
new problem: Problem: Show that phi(a^n1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia
new problem: MSC browser just displays "No articles found. Up to ." by jaimeglz
Mar 26
new correction: Misspelled name by DavidSteinsaltz
Mar 21
new correction: underlinetypo by Filipe
Mar 19
new correction: cocycle pro cocyle by pahio
Mar 7
new image: plot W(t) = P(waiting time <= t) (2nd attempt) by robert_dodier
new image: expected waiting time by robert_dodier
new image: plot W(t) = P(waiting time <= t) by robert_dodier