When has fewer than linearly independent eigenvectors, the eigenvector method comes up short and extra solutions must be built. The natural guess , copied from the repeated-root rule for single equations, does not work here. What does work is , where is a generalized eigenvector satisfying .
Quick Reference
| Item | Statement |
|---|---|
| Defective matrix | Fewer than linearly independent eigenvectors |
| Only possible when | Some eigenvalue is repeated; distinct eigenvalues always give independent eigenvectors |
| Double eigenvalue, one eigenvector | , |
| Equation for | |
| Triple eigenvalue, one eigenvector | Add |
| Equation for | |
| Generalized eigenvector property | |
| Common warning | alone is not a solution |
When Does a Matrix Become Defective?
This case can only happen if some eigenvalues of are repeated, because eigenvectors corresponding to distinct eigenvalues are always linearly independent. So if has distinct eigenvalues, it certainly has linearly independent eigenvectors.
Even if the matrix has repeated eigenvalues, it might still have linearly independent eigenvectors. For example, if is symmetric or skew-symmetric, it has independent eigenvectors regardless of repetition. Repetition is necessary for defectiveness, not sufficient.
The relevant vocabulary: the algebraic multiplicity of an eigenvalue is how many times it appears as a root of , and its geometric multiplicity is the number of independent eigenvectors it has. A matrix is defective exactly when some eigenvalue has geometric multiplicity strictly less than its algebraic multiplicity.
The Solutions
1. If and only one linearly independent eigenvector is associated with this eigenvalue, then two linearly independent solutions corresponding to it are
and
where is a constant column vector determined by
2. If with only one independent eigenvector, then three linearly independent solutions are where and satisfy
Derivation for the double eigenvalue
If and is the only linearly independent eigenvector corresponding to , one solution is obviously .
Experience with double roots in single equations may lead us to expect a second solution of the form . Unfortunately that is not enough. Substituting it gives
while the right-hand side gives . The leftover term has nothing to cancel it. A constant vector must be added to absorb it, which is exactly what does.
So look for a solution of the form
where the constant vector is found by substituting into \mathbf{y}' = \mathbf{A}\mathbf{y}. Differentiating by the product rule,
Since , the terms containing on both sides are both equal to and cancel. What remains is
Dividing both sides by and rearranging,
Because , applying to both sides of this equation gives
The vector is called a generalized eigenvector of : it is killed by the second power of though not by the first.
The general pattern. If there is only one linearly independent eigenvector corresponding to an eigenvalue of algebraic multiplicity , then linearly independent solutions are
\begin{aligned} \mathbf{y}^{(1)} &= e^{\lambda_1t}\mathbf{v}_1^{(1)} \\ \mathbf{y}^{(2)} &= e^{\lambda_1t}\left(\mathbf{v}_1^{(1)}t + \mathbf{v}_2^{(1)}\right) \\ \mathbf{y}^{(3)} &= e^{\lambda_1t}\left(\mathbf{v}_1^{(1)}\frac{t^{2}}{2} + \mathbf{v}_2^{(1)}t + \mathbf{v}_3^{(1)}\right) \\ &\ \ \vdots \\ \mathbf{y}^{(m)} &= e^{\lambda_1t}\left(\mathbf{v}_1^{(1)}\frac{t^{m-1}}{(m-1)!} + \mathbf{v}_2^{(1)}\frac{t^{m-2}}{(m-2)!} + \cdots + \mathbf{v}_{m-1}^{(1)}t + \mathbf{v}_m^{(1)}\right) \end{aligned}where the vectors are obtained from the chain
\begin{aligned} \left(\mathbf{A} - \lambda\mathbf{I}\right)\mathbf{v}_1^{(1)} &= \mathbf{0} \\ \left(\mathbf{A} - \lambda\mathbf{I}\right)\mathbf{v}_2^{(1)} &= \mathbf{v}_1^{(1)} \\ \left(\mathbf{A} - \lambda\mathbf{I}\right)\mathbf{v}_3^{(1)} &= \mathbf{v}_2^{(1)} \\ &\ \ \vdots \\ \left(\mathbf{A} - \lambda\mathbf{I}\right)\mathbf{v}_m^{(1)} &= \mathbf{v}_{m-1}^{(1)} \end{aligned}Each vector in the chain is the input for finding the next, and the factorials appear because differentiating that term reproduces the previous one exactly.
Worked Example
Find the solution of the system
\left\{ \begin{aligned} y_1' &= 3y_1 \\ y_2' &= 2y_1 + 3y_2 \\ y_3' &= -2y_1 + 3y_3 \end{aligned} \right.subject to , , and .
Solution
In matrix form,
\mathbf{y}' = \mathbf{A}\mathbf{y}, \qquad \mathbf{A} = \begin{bmatrix} 3 & 0 & 0 \\ 2 & 3 & 0 \\ -2 & 0 & 3 \end{bmatrix} .Step 1: eigenvalues. The matrix is lower triangular except for the zero in position , and expanding the determinant gives
Therefore , an eigenvalue of algebraic multiplicity .
Step 2: eigenvectors. Solve with :
This forces , while and are arbitrary. Choosing , and then , gives two linearly independent eigenvectors
So the geometric multiplicity is while the algebraic multiplicity is : the matrix is defective, short by exactly one solution.
Two solutions are
Step 3: the third solution. It has the form
where and is some linear combination of the two eigenvectors:
Not every combination will do. We must choose and so that the equation for is solvable:
The left side always has its third component equal to minus its second, so we need . Setting and makes , while and remain arbitrary. Choosing ,
Step 4: general solution.
\begin{aligned} \mathbf{y}(t) &= c_1\mathbf{y}^{(1)} + c_2\mathbf{y}^{(2)} + c_3\mathbf{y}^{(3)} \\ &= c_1\begin{bmatrix} 0 \\ 1 \\ 0 \end{bmatrix}e^{3t} + c_2\begin{bmatrix} 0 \\ 0 \\ 1 \end{bmatrix}e^{3t} + c_3\begin{bmatrix} 1 \\ 2t \\ -2t \end{bmatrix}e^{3t} \\ &= \begin{bmatrix} c_3e^{3t} \\ c_1e^{3t} + 2c_3te^{3t} \\ c_2e^{3t} - 2c_3te^{3t} \end{bmatrix} \end{aligned}Step 5: initial conditions. At the exponentials are and the terms with vanish, so
Therefore
\begin{aligned} y_1(t) &= -e^{3t} \\ y_2(t) &= 2e^{3t} - 2te^{3t} \\ y_3(t) &= e^{3t} + 2te^{3t} \end{aligned}Check. y_1' = -3e^{3t} = 3y_1. â And y_2' = 6e^{3t} - 2e^{3t} - 6te^{3t} = 4e^{3t} - 6te^{3t}, while . â
Exercises
Solve \mathbf{y}' = \begin{bmatrix} 3 & -1 \\ 1 & 1 \end{bmatrix}\mathbf{y}.
Solution
so is a double eigenvalue.
For the eigenvector, gives , so and only one independent eigenvector exists. The matrix is defective.
For , solve , that is, . Take .
Show that has a repeated eigenvalue but is not defective, and solve \mathbf{y}' = \mathbf{A}\mathbf{y}.
Solution
The characteristic polynomial is , so has algebraic multiplicity . But is the zero matrix, so every vector is an eigenvector and the geometric multiplicity is also . The matrix is non-defective.
that is, and . The system was uncoupled all along.
This confirms that repeated eigenvalues do not by themselves imply defectiveness.
Verify directly that alone is not a solution of \mathbf{y}' = \mathbf{A}\mathbf{y} when .
Solution
Differentiating,
Applying instead,
The two differ by , which is nonzero. So the trial function fails, and the discrepancy is exactly what the added term is designed to cancel, giving the condition .
Frequently Asked Questions
What makes a matrix defective?
Having fewer independent eigenvectors than its size. Concretely, some eigenvalue's geometric multiplicity, the number of independent eigenvectors it has, is smaller than its algebraic multiplicity, the number of times it appears as a root of the characteristic polynomial.
Why does fail here when worked for single equations?
Differentiating produces an extra that the right-hand side cannot match. In the scalar case the analogous leftover was absorbed by the fact that the characteristic polynomial and its derivative both vanished. Here it must be cancelled explicitly, which is what the constant vector does.
What is a generalized eigenvector?
A vector satisfying for an eigenvector . Equivalently, while . It sits one rung above on a chain that continues for higher multiplicities.
The equation for has no solution. What now?
Then the eigenvector you started with is the wrong one. When an eigenvalue has two or more independent eigenvectors but still falls short, only certain combinations put the right-hand side in the range of . Leave and symbolic and impose the solvability condition, as the worked example does.
Is unique?
No. Any multiple of the eigenvector may be added to , since . Different choices change by a multiple of , which is absorbed into the arbitrary constants. Pick the simplest, usually by setting free components to zero.
How is this related to Jordan form?
Directly. The chain is a Jordan chain, and using it as a basis puts into a Jordan block. The polynomial-times-exponential solutions listed here are exactly what the matrix exponential of a Jordan block produces. Nothing in this section requires that theory, but it explains why the pattern is what it is.