Applying a matrix a thousand times is a thousand matrix multiplications in general and a single exponentiation along an eigenvector, so a basis of eigenvectors converts the hard problem into the easy one.
The previous two lessons supply everything needed. A change of basis replaces by , where the columns of are the new basis vectors. An eigenvector is a direction the transformation merely scales. Putting the two together is this lesson.
The factorisation
Suppose an by matrix has independent eigenvectors , with eigenvalues . Let be the matrix whose columns are those eigenvectors, and the diagonal matrix with the eigenvalues down the diagonal in the same order.
Consider . Its th column is applied to the th column of , which is . Now consider . Its th column is applied to the th column of , which is times the th standard basis vector, so applied to it is . The two agree column by column, so
where is invertible precisely because the eigenvectors were assumed independent. A matrix admitting this is called diagonalisable, and is its description in the eigenvector basis: a list of stretch factors, one per direction.
Take , whose eigenvalues were found to be and with eigenvectors and . Then and . Since , the inverse is , and multiplying out returns exactly.
Example. Diagonalise .
Its eigenvalues are and , with eigenvectors and , from the previous lesson. So and . Here , so , which happens to be because the eigenvectors are perpendicular and of equal length. Multiplying reproduces .
Now you. Diagonalise , whose eigenvalues are and .
Answer
The eigenvectors are for and for , so and . This is the change of basis performed two lessons ago, now explained: the basis that worked was the eigenvector basis, and there was never anything else it could have been.
Powers become arithmetic
The point of the factorisation is what it does to repeated application. Since
and the same collapse happens at every stage, for every . Raising a diagonal matrix to a power raises each diagonal entry to that power and nothing else, so the entire cost is exponentiations plus two matrix multiplications, however large is.
Do it explicitly for , with , and . Multiplying out gives every entry as a combination of and :
At that is , correct. At it gives , and multiplying by itself three times confirms it. At it gives , which also checks. The general behaviour is now readable: every entry grows like , so the matrix is asymptotically times the matrix of all ones, and the dominant eigenvalue dictates everything.
Example. Using the formula above, what is ?
, so the diagonal entries are and the off-diagonal entries are . Ten matrix multiplications avoided, and the answer is exact.
Now you. What is ?
Answer
, so . Checking against : multiplying by gives first column , which agrees.
A Markov chain
Here is the machinery on a problem worth solving. Two mobile networks compete. Each month, per cent of network A's customers leave for B, and per cent of B's leave for A. Writing the state as the pair of market shares, the update is with
whose first column says where A's customers go and whose second says where B's go. Each column sums to one, since customers are not created or destroyed, which is what makes this a Markov matrix.
Find the eigenvalues. The trace is and the determinant is , so , which factors as . The eigenvalue is not a coincidence. Every column of sums to zero, so adding all the rows of together gives a row of zeros, which makes the rows dependent and the matrix singular. Hence , and is an eigenvalue of every Markov matrix.
The eigenvector for solves , where has rows and , so and the eigenvector is , or as shares, . For , the matrix has rows and , so and the eigenvector is .
Now start with everyone on network A, , and write it in the eigenvector basis: gives . Then
because each eigenvector component is multiplied by its own eigenvalue each month. The first term never changes. The second decays by a factor per month, so the shares converge to whatever the starting point, and the speed of the approach is set by the second eigenvalue.
Check at : , so the formula gives . Multiplying by five times directly gives , then , , and finally . The two agree to every digit shown.
This is the whole method of eigenvalue analysis of a repeated process, and it reads off three things that simulation gives only slowly: the limit, the fact that the limit is independent of the start, and the rate of approach.
Example. For , find the long-run shares.
Trace , determinant , so and the eigenvalues are and . For : , whose first row is , so and . As shares that is , and checking, , fixed as it should be. The deviation halves each step, since the second eigenvalue is .
Now you. In the original chain, how many months until the deviation from the steady state falls below one per cent of its initial size?
Answer
The deviation is multiplied by each month, so it needs , that is . So thirteen months. Note that the answer depends only on the second eigenvalue and not at all on the starting shares.
Fibonacci in closed form
The same trick produces a formula for a sequence defined by a rule. The Fibonacci numbers satisfy with and . Package two consecutive terms as a vector: if then with , since the new pair is .
The trace is and the determinant is , so and the eigenvalues are
that is , the golden ratio, and . Diagonalising and reading off the second component gives Binet's formula,
Test it at : and , so , which is correct. Since its powers vanish, so is the nearest whole number to , and consecutive Fibonacci numbers have ratio tending to . A formula built entirely out of irrational numbers returns whole numbers every time, which is the two irrational parts cancelling exactly.
When it fails, and one guarantee
Not every matrix is diagonalisable. The shear has only one independent eigenvector, so no basis of eigenvectors exists and no can be built. Since similarity preserves the eigenvalues, and a diagonal matrix similar to it would have to be , and the only matrix similar to is itself, the shear is provably not diagonalisable rather than merely resistant.
One condition is easy to check and covers most cases: if the eigenvalues are distinct, the matrix is diagonalisable. The reason is that eigenvectors with different eigenvalues are automatically independent. Suppose and have distinct eigenvalues and . Apply to get , and subtract times the first relation to get . Since and , we get , and then too. The same argument extended by induction handles eigenvectors.
Distinct eigenvalues are sufficient and not necessary: the identity has every eigenvalue equal and is already diagonal. The genuine criterion is that each repeated eigenvalue must supply as many independent eigenvectors as its multiplicity in the characteristic polynomial, and a defective matrix is one where it does not.
Honest limits
Diagonalisation over the real numbers fails for rotations, which have no real eigenvectors at all, and over the complex numbers it fails for defective matrices such as the shear. The complete answer is the Jordan form, in which any matrix is similar to a nearly diagonal one with the eigenvalues on the diagonal and some ones just above it, one for each missing eigenvector. It is a theoretical instrument only: the Jordan form is discontinuous in the entries, so any rounding destroys it, and no numerical library computes it.
The factorisation is also useless when is badly conditioned, meaning the eigenvectors are nearly parallel. Then has enormous entries, and the near-cancellation that follows swamps the answer. The tell is that a matrix close to a defective one has eigenvectors close to parallel, so being nearly defective is the practical version of being defective.
Finally, this whole method requires the same matrix to be applied repeatedly. A process whose matrix changes at every step gets no benefit, since has no relation to the eigenvectors of either factor.
One family of matrices escapes every one of these problems. Symmetric matrices always have a full set of eigenvectors, always have real eigenvalues, and their eigenvectors are always perpendicular, which makes orthogonal and free. That is the last lesson, together with what such matrices are for.