Eigenvalue Method for Linear Systems
Suppose a chemical reactor has two coupled concentrations changing over time. Each feeds back on the other. How do we predict their joint long-term behavior from just the reaction rates? The natural model is a linear system of ordinary differential equations, . The eigenvalue method converts the coupled, tangled problem into a collection of independent problems. Each is a one-dimensional exponential growth or decay problem. This is one of the deepest ideas in elementary differential equations: diagonalizing a linear operator turns dynamics into arithmetic. The idea matters because almost every linear system encountered in practice reduces to one task. Mechanical oscillators, electrical circuits, population models, and continuous-time Markov chains all reduce this way. That task is finding eigenvalues and eigenvectors of a matrix. Once we know these, we know the qualitative fate of every trajectory. We know whether it spirals in, shoots out, or settles onto a stable line. The eigenvalue method is the bridge between two things. It connects the algebra of matrices (covered in Eigenvalues and eigenvectors) to the geometry of flows. These flows occur in the plane and in higher dimensions. The big picture is this: a linear system with a diagonalizable coefficient matrix has a special coordinate system. This system is built from eigenvectors. In it, the equations completely decouple. In these eigen-coordinates, each component solves its own scalar equation . The solution is . Translating back to the original coordinates produces the general solution of the system. This solution is a linear combination of exponential terms . This article develops the method rigorously for one case. That case is a real matrix with distinct real eigenvalues. This is the cleanest and most instructive setting. We state and prove the fundamental theorem that gives the general solution. We work through two fully asymmetric examples. We examine what fails when eigenvalues repeat. Finally, we preview how complex eigenvalues and repeated eigenvalues are handled in companion theory.
- A linear system is solved by finding eigenpairs of .
- Each eigenpair contributes an exponential solution that satisfies the system exactly.
- If is with distinct real eigenvalues, these solutions are linearly independent.
- The general solution is a linear combination , with constants fixed by initial conditions.
- Eigenvectors mark invariant directions: a trajectory starting on one stays on it forever, scaling exponentially.
- Key idea: eigenvectors give coordinates in which the coupled system decouples into independent scalar exponentials.
Where this lives today
The eigenvalue method is the computational core of stability analysis throughout applied mathematics and engineering. In classical mechanics, small oscillations about equilibrium are governed by linear systems whose eigenvalues determine normal-mode frequencies; a purely imaginary eigenvalue signals oscillation, while a real positive eigenvalue signals instability. In electrical engineering, RLC circuit networks reduce to exactly this framework, with eigenvalues predicting whether transients decay, oscillate, or blow up. In population biology and epidemiology, linearizing a nonlinear model near an equilibrium (the technique behind Phase Portraits for Linear Systems) produces a Jacobian matrix whose eigenvalues classify the equilibrium as stable, unstable, or a saddle. In Markov chain theory and numerical analysis, the same eigen-decomposition idea underlies the convergence rate of iterative algorithms and the long-run behavior of continuous-time Markov processes. In control theory, placing eigenvalues of a closed-loop system matrix in the left half-plane (via feedback) is the literal engineering goal of pole placement, a direct descendant of this method. Even in cryptography and data science, eigen-decompositions of transition or covariance matrices (principal component analysis, spectral clustering) reuse the same linear-algebra machinery that makes this ODE method work.
Ask the tutor: How does the eigenvalue method change when the matrix has a complex conjugate pair of eigenvalues instead of real ones?
Let be a real constant matrix. A linear homogeneous system of first-order ODEs is
A scalar (or ) and a nonzero vector (or ) form an eigenpair of if
Given an eigenpair , the vector-valued function
is called an eigen-solution of the system. A set of eigen-solutions , with linearly independent, is called a fundamental set of solutions: every solution of the system is a unique linear combination of them.
Intuition
Picture the plane with a matrix that has two distinct real eigenvalues and corresponding eigenvectors . These two eigenvectors point along two special directions through the origin. If you release a particle exactly on the line through , the vector field at that point is a multiple of itself — the flow never pushes the particle off the line. It simply scales the position by as time passes: motion along that line is one-dimensional exponential growth or decay in disguise. The same holds for with rate . For a general initial condition not on either eigenline, decompose it as — possible precisely because two linearly independent vectors form a basis of . Linearity of the system then guarantees that the solution is just the superposition of the two eigen-solutions, each evolving independently along its own line:
The eigenvectors thus act as natural axes for the dynamics — the coordinate system in which the tangled system becomes two unrelated exponential clocks running at different rates and .
Central theorem
Let be a real matrix with distinct real eigenvalues , and let be corresponding eigenvectors, , . Then: 1. (Eigenvectors are independent.) The set is linearly independent in . 2. (Eigen-solutions solve the system.) Each satisfies . 3. (General solution.) Every solution of on has the unique form
and conversely every such combination is a solution. Given an initial condition , the constants are uniquely determined.
We prove the three parts in order, using linear algebra (for independence), direct differentiation (for the eigen-solution check), and the existence–uniqueness theorem for linear systems together with a dimension-counting argument (for completeness of the general solution).
Part 1: Linear independence of eigenvectors with distinct eigenvalues. We use induction on , the classical proof technique for this fact. For the single vector is trivially linearly independent. Assume the claim holds for any eigenvectors with distinct eigenvalues; we prove it for . Suppose
for scalars . Apply to both sides of , using linearity of and :
Multiply by and subtract from :
By the induction hypothesis, (distinct eigenvalues ) are linearly independent, so every coefficient vanishes:
Since the eigenvalues are distinct, for , forcing for . Substituting back into gives , and since , also . All coefficients vanish, proving linear independence. This completes the induction.
Part 2: Each solves the system. Since is a constant vector, differentiating componentwise (scalar function times constant vector) gives
On the other hand,
where we used that is a linear map (so scalar multiples pass through it) and the eigenvalue equation . The two expressions agree, so : each eigen-solution genuinely solves the system.
Part 3: Every combination solves the system, and every solution has this form. Combinations solve the system. The system is linear: if and both solve it, then for any scalars , the function also solves it, because differentiation and multiplication by are both linear operations:
By Part 2 each solves the system, so by repeated application of this linearity (superposition principle) any combination also solves it. Every solution has this form. Fix any initial condition . Because is a linearly independent set of vectors in (Part 1), it is a basis of . Hence there exist unique scalars with
Define . By the previous paragraph solves , and , so solves the initial value problem. Now let be any solution of the same initial value problem , . The system has entries that are linear (hence continuous, in fact smooth) functions of , so the hypotheses of the Picard–Lindelöf existence–uniqueness theorem for first-order systems are satisfied on all of (this prerequisite fact belongs to Systems of First-Order Linear ODEs and is not re-derived here, since it does not depend on the eigenvalue method). Uniqueness of solutions to this initial value problem then forces
for all , with the same uniquely determined constants found above. This establishes both existence of the stated general form for every solution, and uniqueness of the constants given .
∎Worked examples
Example 1 — an asymmetric system. Solve
Step 1: Eigenvalues. Solve :
Factor: , so , . These are real and distinct, so the theorem applies. Step 2: Eigenvectors. For : solve , i.e.
Take . For : solve , i.e.
Take . Step 3: General solution. By the theorem,
Step 4: Apply the initial condition. At :
Subtracting the equations: , so , and then . Step 5: Final answer.
Check at : , matching . Since dominates as , almost every trajectory is eventually swept toward the direction of : an unstable node.
Example 2 — a system with an initial condition off any eigenline. Solve with
Step 1: Eigenvalues. Since the first row is , expand the determinant along the first row:
The block is upper triangular, so its determinant is . Hence
giving eigenvalues , , : three distinct real values. Step 2: Eigenvectors.
For : solve :
Row 3 gives . Row 2: . Let : , . So . Check: . ✓.
For : solve :
Row 1: . Row 2: . is free. Take . Check: . ✓.
For : solve :
Row 1: . Row 2: . Let : . So . Check: . ✓. Step 3: General solution.
Step 4: Solve for constants using .
From the first equation, . Substitute into the third: . Substitute into the second: . Step 5: Final answer.
Verify at : first component ; second component ; third component . Matches . As , the term dominates, so the trajectory asymptotically aligns with .
The theorem requires distinct eigenvalues so that eigenvectors automatically span . Drop this hypothesis and the conclusion can fail entirely. Consider
The characteristic polynomial is , so is a repeated eigenvalue (algebraic multiplicity 2). Solving :
with free. The eigenspace is one-dimensional, spanned only by — there is no second, independent eigenvector to pair with it (geometric multiplicity algebraic multiplicity ). If we tried to force the theorem's conclusion, we would need two independent eigenvectors to write , but any such combination is just times a single fixed vector (a multiple of ), so it can only produce solutions lying on one line through the origin for all time. This cannot match an arbitrary initial condition such as , which is not a multiple of . Indeed direct solution shows the true general solution is
which contains a genuinely new term that no eigen-solution of the form can produce. This phenomenon — needing polynomial-times-exponential terms — is exactly the content of the theory of Complex and Repeated Eigenvalues, which extends the eigenvalue method using generalized eigenvectors when eigenvalues repeat.
Scope, edge cases & common traps
| Situation | What happens | Where it's handled |
|---|---|---|
| distinct real eigenvalues | Method above applies directly; solutions are pure real exponentials | this article |
| Complex conjugate eigenvalue pair | Eigen-solutions are complex; real solutions extracted via Euler's formula, giving spirals | Complex and Repeated Eigenvalues |
| Repeated eigenvalue, eigenspace too small | Need generalized eigenvectors; extra terms appear | Complex and Repeated Eigenvalues |
| Repeated eigenvalue, but eigenspace full size (e.g. ) | Ordinary eigen-solutions still suffice; any basis of eigenvectors works | edge case of this method |
| Non-square or singular data given as "matrix" | Method inapplicable; must be a genuine matrix acting on | outside scope |
The mathematician behind it
Origins · 1 minAugustin-Louis Cauchy and how this was discovered
Cauchy did not invent "the eigenvalue method" as a named technique for ODE textbooks, but his work on characteristic values of linear substitutions (what we now call eigenvalues) and his foundational treatment of existence and uniqueness for differential equations supplied the two pillars on which this method stands: the algebraic fact that a matrix's characteristic polynomial governs decoupled exponential behavior, and the analytic fact that solutions to well-posed linear systems are unique. The broader theory of eigenvalues, connecting quadratic forms, principal axes, and vibration problems, matured through the 19th century via Cauchy, Sylvester, and later Hilbert in infinite dimensions, eventually crystallizing into the standard linear-algebra course that underlies this article.
Does the eigenvalue method work if some eigenvalues are complex?
Yes, but the method as stated here (Parts 1–3 of the theorem) explicitly assumes real, distinct eigenvalues. If is a real matrix with a complex eigenvalue (), its complex conjugate is automatically an eigenvalue too (since has real entries), with conjugate eigenvector. The corresponding complex eigen-solution can be split, via Euler's formula, into two independent real solutions built from and . This produces spiraling behavior instead of straight-line exponential behavior, and is the subject of the companion theory on complex eigenvalues.
What if the matrix has repeated eigenvalues?
If an eigenvalue has algebraic multiplicity but its eigenspace (geometric multiplicity) has dimension less than , ordinary eigen-solutions are too few to span all solutions, as shown in the counterexample above. The fix is to introduce generalized eigenvectors solving but , producing extra solutions of the form . If instead the geometric multiplicity equals the algebraic multiplicity (for instance when is already a multiple of the identity restricted to that eigenspace), ordinary eigenvectors suffice even though the eigenvalue repeats.
How do I know eigenvalues found from the characteristic polynomial are correct without a computer?
Always verify each eigenpair directly: substitute the claimed and into and check the equality entrywise, as done in the worked examples. This catches arithmetic slips in expanding determinants or solving the homogeneous system . It is good practice to also check that the sum of eigenvalues equals the trace of (sum of diagonal entries) and the product equals the determinant, as a fast consistency check.
Why does an eigenvector give a straight-line invariant trajectory?
If is a scalar multiple of an eigenvector , say , then solves the initial value problem (a special case of the general solution with all other constants zero). At every time , is still a scalar multiple of — namely — so the trajectory never leaves the line through the origin spanned by . Geometrically, the vector field evaluated anywhere on that line points exactly along the line (since ), so the flow cannot push the point off it.
What is the connection to phase portraits?
Once the eigenvalues and eigenvectors are known, the signs and relative sizes of the real eigenvalues classify the qualitative picture of all trajectories in the plane: two negative eigenvalues give a stable node (everything flows to the origin), two positive eigenvalues give an unstable node (everything flows away), and opposite signs give a saddle (most trajectories flow in then out). This classification, built directly on the eigenvalue method, is the subject of the companion treatment of phase portraits for linear systems.
Can the eigenvalue method be used for non-homogeneous systems ?
Not directly as stated, since the theorem here covers only the homogeneous system . However, the eigen-solutions found here form the homogeneous solution piece of the non-homogeneous problem. One then adds a particular solution, found via undetermined coefficients or variation of parameters, both of which rely on already knowing the fundamental set of solutions produced by this eigenvalue method.
Is the requirement of distinct eigenvalues the same as being diagonalizable?
Distinct eigenvalues is a sufficient condition for diagonalizability, but not necessary: a matrix can have repeated eigenvalues and still be diagonalizable, provided each eigenvalue's geometric multiplicity equals its algebraic multiplicity (as with ). This article's theorem is stated for the simpler, sufficient distinct-eigenvalue case because it requires no further multiplicity bookkeeping; the general diagonalizable case and the fully general (possibly non-diagonalizable) case are treated when repeated eigenvalues are introduced.