Link to originalInner Product for Iterative Methods
For then
Link to originalNotation for Iterative Methods
For iterative methods then
is used to denote the vector at -th iteration
Link to originalPower Iteration
Method to calculate single largest eigenvalue of square matrix with associated eigenvector
Let
Let be arbitrary thenFor then
ComputeThen set
Proof
Suppose is diagonalisable so there exists basis of eigenvectors of
where
Assume
Then
for for hence
As as then
as
Link to originalQR Algorithm
Let be a symmetric matrix
LetFor then
Letusing QR Factorisation
Then
Link to originalProperty of QR Algorithm
Let be from QR Algorithm then
are all symmetric and similar so have same eigenvalues
Proof
As
So is symmetric if is symmetric and similar to
Link to originalProperty of Iterates of QR Algorithm lemma
Let be iterates of QR algorithm
LetThen
and
is the QR factorisation of
Proof
First part follows from repeatedly applying
Using induction then for result follows trivially
Suppose thenAnd
Hence
Thus
Link to originalProperty of First Column of QR Factorisation lemma
Let be defined as from Property of Iterates of QR Algorithm with first column
Let thenProof
Multiplying by then
As is upper triangular then
Hence is parallel to which has unit form
Link to originalConvergence of of QR Algorithm
For fixed
Let column be defined by
that is it is the -th column of
Then
So columns of converge to eigenvectors
Hence converges to diagonal matrix of eigenvalues
Link to originalTridiagonal
Let be a matrix then
is tridiagonal if only non-zero elements are along diagonal, lower diagonal and upper diagonal
So is in form
Link to originalReduction to Tridiagonal Form
Let be a matrix then
There exists construction for such that
where is orthogonal so a similarity transformation
Proof
If
Then is generally full so
All zeroes created by pre-multiplication are destroyed by post-multiplicationAssume then is in form
with
Then
However
where
Inductively apply to smaller matrix
After such Householder Similarity Transformations then
is tridiagonal
Link to originalSimilar Matrices
Let be a symmetric matrix
is similar to if there exists non-singular matrix such that
where have same eigenvalues as
Hence
Link to originalGivens Rotation
Let then
Orthogonal Matrix
is defined by
except for the four elements replaced bywhere
Rotating
Given any vector
Can always find such that
Link to originalConstruction of Upper Triangular Matrix
Let be a matrix then exists orthogonal matrix such that
And so in form
Proof
From Reduction to Tridiagonal Form there exists such that
Then using Givens Rotation Matrices choosing such that
So there exists
such that is upper triangular and in form
Link to originalQR Algorithm on Symmetric Diagonal Matrix lemma
Let be a symmetric tridiagonal matrix then
Applying QR Algorithm to preserves symmetry and tridiagonal form so
is symmetric tridiagonal for all
Proof
As is symmetric if is symmetric
IfThen
is also tridiagonal
Post multiplication by replaces columns and by linear combination
With columns being the sameAs is upper triangular then subdiagonal entry is in position
Similarly,
Subdiagonal entries in is position and
Hence inductivelyare in positions for
Hence lower triangular part of has non-zeros on first subdiagonalAs is symmetric then it must be tridiagonal
Link to originalShifted QR Algorithm
For then
Find QR Factorisation of
Define
Note are symmetric and tridiagonal if satisfies it as well for any sequence
Link to originalDeflation
Using Shifted QR Algorithm where so bottom-right element of then
Generally rapidly leads towhere is a tridiagonal matrix and an eigenvalue of
Link to originalProperty of Last Column of QR Factorisation
Let be defined as from Property of Iterates of QR Algorithm with last column
Let thenProof
Inversing so
Then
So
As is lower triangular then
Link to originalEigenvalue Algorithm
Let be a symmetric matrix
For
While
LetEnd while
Let eigenvalue be defined by
Redefine as
End for
Let eigenvalue be defined by
Note that is a very small number to check for convergence to
Link to originalRoots of Polynomials through Eigenvalues
Let
be a -degree polynomial
Consider companion matrix for defined by
Then eigenvalues of are the roots of
Proof
If then
where
as characteristic polynomial is