Matrix powers, independent modes and long-term behaviour through diagonalisation.
This page uses diagonalisation to compute matrix powers and to read the long-term behaviour of each mode. In an eigenbasis, repeated multiplication by A becomes repeated scalar multiplication, so the first question is how many independent modes a repeated eigenvalue supplies.
The same separation reappears in linear ODE systems, with eλt in place of λn and in Markov systems, with a probability interpretation.
These two counts explain the failed diagonalisation
example:
an eigenvalue can repeat in the characteristic polynomial while its
eigenspace supplies too few independent eigenvectors.
Let g=dimEλ and begin a basis of the whole space with a basis
of Eλ. In these coordinates, the first g columns of A have
λIg in their first g entries and zeros below. Thus
A−tI is block upper triangular, with λ−t on each of those
g diagonal positions. Its determinant has the factor
(λ−t)g, so the algebraic multiplicity is at least g.
Each has characteristic polynomial (3−λ)3, so the algebraic multiplicity of λ=3 is 3.
For A1,
A1−3I=000200020,
so x2=x3=0 and
E3=span⎩⎨⎧100⎭⎬⎫.
The geometric multiplicity is 1.
For A2,
A2−3I=000000020,
so x3=0 and
E3=span⎩⎨⎧100,010⎭⎬⎫.
The geometric multiplicity is 2. Finally, A3−3I=0, so the eigenspace is R3 and the geometric multiplicity is 3. Only the last case has three independent eigenvectors and hence an eigenbasis.
Suppose A=PDP−1 is diagonalisable, so it has an eigenbasis. A mode
contribution cλkv with c=0 decays to zero when ∣λ∣<1,
has constant magnitude when ∣λ∣=1 and grows when ∣λ∣>1.
Without an eigenbasis, a Jordan block can produce additional factors such as
kλk−1, so the diagonalisation hypothesis is what makes this scalar
classification complete (especially at the unit circle).
This is the modulus test for the modes of a scalar recurrence from stability of systems. Diagonalisation reduces a matrix recurrence to such scalar modes.
The eigenvalue 2 is repeated but has two independent eigenvectors, v2
and v3. Together with v1 they form an eigenbasis, so the diagonal power
calculation is valid.