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, x′=Ax\mathbf{x}' = A\mathbf{x}. 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 AA 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 yk′=λkyky_k' = \lambda_k y_k. The solution is yk(t)=yk(0)eλkty_k(t) = y_k(0) e^{\lambda_k t}. Translating back to the original coordinates produces the general solution of the system. This solution is a linear combination of exponential terms eλktvke^{\lambda_k t}\mathbf{v}_k. This article develops the method rigorously for one case. That case is a real n×nn\times n matrix with nn 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.

Key takeaways
  • A linear system x′=Ax\mathbf{x}' = A\mathbf{x} is solved by finding eigenpairs (λk,vk)(\lambda_k, \mathbf{v}_k) of AA.
  • Each eigenpair contributes an exponential solution eλktvke^{\lambda_k t}\mathbf{v}_k that satisfies the system exactly.
  • If AA is n×nn\times n with nn distinct real eigenvalues, these solutions are linearly independent.
  • The general solution is a linear combination x(t)=∑kckeλktvk\mathbf{x}(t) = \sum_k c_k e^{\lambda_k t}\mathbf{v}_k, 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?

DefinitionLinear homogeneous system and eigen-solution

Let AA be a real n×nn \times n constant matrix. A linear homogeneous system of first-order ODEs is

x′(t)=Ax(t),x(t)∈Rn.\mathbf{x}'(t) = A\mathbf{x}(t), \qquad \mathbf{x}(t) \in \mathbb{R}^n .

A scalar λ∈R\lambda \in \mathbb{R} (or C\mathbb{C}) and a nonzero vector v∈Rn\mathbf{v} \in \mathbb{R}^n (or Cn\mathbb{C}^n) form an eigenpair of AA if

Av=λv.A\mathbf{v} = \lambda \mathbf{v}.

Given an eigenpair (λ,v)(\lambda, \mathbf{v}), the vector-valued function

x(t)=eλtv\mathbf{x}(t) = e^{\lambda t}\mathbf{v}

is called an eigen-solution of the system. A set of nn eigen-solutions {eλktvk}k=1n\{e^{\lambda_k t}\mathbf{v}_k\}_{k=1}^n, with v1,…,vn\mathbf{v}_1,\dots,\mathbf{v}_n 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 R2\mathbb{R}^2 with a matrix AA that has two distinct real eigenvalues λ1≠λ2\lambda_1 \ne \lambda_2 and corresponding eigenvectors v1,v2\mathbf{v}_1, \mathbf{v}_2. These two eigenvectors point along two special directions through the origin. If you release a particle exactly on the line through v1\mathbf{v}_1, the vector field AxA\mathbf{x} at that point is a multiple of v1\mathbf{v}_1 itself — the flow never pushes the particle off the line. It simply scales the position by eλ1te^{\lambda_1 t} as time passes: motion along that line is one-dimensional exponential growth or decay in disguise. The same holds for v2\mathbf{v}_2 with rate λ2\lambda_2. For a general initial condition not on either eigenline, decompose it as x(0)=c1v1+c2v2\mathbf{x}(0) = c_1\mathbf{v}_1 + c_2\mathbf{v}_2 — possible precisely because two linearly independent vectors form a basis of R2\mathbb{R}^2. 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:

x(t)=c1eλ1tv1+c2eλ2tv2.\mathbf{x}(t) = c_1 e^{\lambda_1 t}\mathbf{v}_1 + c_2 e^{\lambda_2 t}\mathbf{v}_2 .

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 λ1\lambda_1 and λ2\lambda_2.

Figure
Two eigendirections and a trajectory blending both exponential rates
v₁ (λ₁=−1) v₂ (λ₂=2) x(0) x(t), t→∞ hugs v₂ Trajectory decays along v₁ direction, grows along v₂ direction

Central theorem

TheoremEigenvalue Method — distinct real eigenvalues

Let AA be a real n×nn \times n matrix with nn distinct real eigenvalues λ1,λ2,…,λn\lambda_1, \lambda_2, \dots, \lambda_n, and let v1,…,vn\mathbf{v}_1, \dots, \mathbf{v}_n be corresponding eigenvectors, Avk=λkvkA\mathbf{v}_k = \lambda_k \mathbf{v}_k, vk≠0\mathbf{v}_k \ne \mathbf{0}. Then: 1. (Eigenvectors are independent.) The set {v1,…,vn}\{\mathbf{v}_1,\dots,\mathbf{v}_n\} is linearly independent in Rn\mathbb{R}^n. 2. (Eigen-solutions solve the system.) Each xk(t)=eλktvk\mathbf{x}_k(t) = e^{\lambda_k t}\mathbf{v}_k satisfies xk′=Axk\mathbf{x}_k' = A\mathbf{x}_k. 3. (General solution.) Every solution of x′=Ax\mathbf{x}' = A\mathbf{x} on R\mathbb{R} has the unique form

x(t)=c1eλ1tv1+c2eλ2tv2+⋯+cneλntvn,c1,…,cn∈R,\mathbf{x}(t) = c_1 e^{\lambda_1 t}\mathbf{v}_1 + c_2 e^{\lambda_2 t}\mathbf{v}_2 + \cdots + c_n e^{\lambda_n t}\mathbf{v}_n, \qquad c_1,\dots,c_n \in \mathbb{R},

and conversely every such combination is a solution. Given an initial condition x(0)=x0\mathbf{x}(0) = \mathbf{x}_0, the constants c1,…,cnc_1,\dots,c_n are uniquely determined.

Proof

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 nn, the classical proof technique for this fact. For n=1n=1 the single vector v1≠0\mathbf{v}_1 \ne \mathbf{0} is trivially linearly independent. Assume the claim holds for any n−1n-1 eigenvectors with distinct eigenvalues; we prove it for nn. Suppose

c1v1+c2v2+⋯+cnvn=0(∗)c_1 \mathbf{v}_1 + c_2 \mathbf{v}_2 + \cdots + c_n \mathbf{v}_n = \mathbf{0} \tag{$\ast$}

for scalars c1,…,cnc_1,\dots,c_n. Apply AA to both sides of (∗)(\ast), using linearity of AA and Avk=λkvkA\mathbf{v}_k = \lambda_k \mathbf{v}_k:

c1λ1v1+c2λ2v2+⋯+cnλnvn=0.(∗∗)c_1 \lambda_1 \mathbf{v}_1 + c_2 \lambda_2 \mathbf{v}_2 + \cdots + c_n \lambda_n \mathbf{v}_n = \mathbf{0}. \tag{$\ast\ast$}

Multiply (∗)(\ast) by λn\lambda_n and subtract from (∗∗)(\ast\ast):

c1(λ1−λn)v1+c2(λ2−λn)v2+⋯+cn−1(λn−1−λn)vn−1=0.c_1(\lambda_1 - \lambda_n)\mathbf{v}_1 + c_2(\lambda_2-\lambda_n)\mathbf{v}_2 + \cdots + c_{n-1}(\lambda_{n-1}-\lambda_n)\mathbf{v}_{n-1} = \mathbf{0}.

By the induction hypothesis, v1,…,vn−1\mathbf{v}_1,\dots,\mathbf{v}_{n-1} (distinct eigenvalues λ1,…,λn−1\lambda_1,\dots,\lambda_{n-1}) are linearly independent, so every coefficient vanishes:

ck(λk−λn)=0,k=1,…,n−1.c_k(\lambda_k - \lambda_n) = 0, \qquad k = 1,\dots,n-1.

Since the eigenvalues are distinct, λk≠λn\lambda_k \ne \lambda_n for k<nk < n, forcing ck=0c_k = 0 for k=1,…,n−1k=1,\dots,n-1. Substituting back into (∗)(\ast) gives cnvn=0c_n \mathbf{v}_n = \mathbf{0}, and since vn≠0\mathbf{v}_n \ne \mathbf{0}, also cn=0c_n = 0. All coefficients vanish, proving linear independence. This completes the induction.

Part 2: Each xk(t)=eλktvk\mathbf{x}_k(t) = e^{\lambda_k t}\mathbf{v}_k solves the system. Since vk\mathbf{v}_k is a constant vector, differentiating componentwise (scalar function times constant vector) gives

xk′(t)=ddt(eλkt)vk=λkeλktvk.\mathbf{x}_k'(t) = \frac{d}{dt}\big(e^{\lambda_k t}\big)\mathbf{v}_k = \lambda_k e^{\lambda_k t}\mathbf{v}_k.

On the other hand,

Axk(t)=A(eλktvk)=eλkt(Avk)=eλkt(λkvk)=λkeλktvk,A\mathbf{x}_k(t) = A\big(e^{\lambda_k t}\mathbf{v}_k\big) = e^{\lambda_k t}(A\mathbf{v}_k) = e^{\lambda_k t}(\lambda_k \mathbf{v}_k) = \lambda_k e^{\lambda_k t}\mathbf{v}_k,

where we used that AA is a linear map (so scalar multiples pass through it) and the eigenvalue equation Avk=λkvkA\mathbf{v}_k = \lambda_k\mathbf{v}_k. The two expressions agree, so xk′=Axk\mathbf{x}_k' = A\mathbf{x}_k: 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 x′=Ax\mathbf{x}' = A\mathbf{x} is linear: if y(t)\mathbf{y}(t) and z(t)\mathbf{z}(t) both solve it, then for any scalars a,ba,b, the function ay+bza\mathbf{y}+b\mathbf{z} also solves it, because differentiation and multiplication by AA are both linear operations:

(ay+bz)′=ay′+bz′=aAy+bAz=A(ay+bz).(a\mathbf{y}+b\mathbf{z})' = a\mathbf{y}' + b\mathbf{z}' = aA\mathbf{y}+bA\mathbf{z} = A(a\mathbf{y}+b\mathbf{z}).

By Part 2 each xk\mathbf{x}_k solves the system, so by repeated application of this linearity (superposition principle) any combination ∑kckxk(t)\sum_k c_k \mathbf{x}_k(t) also solves it. Every solution has this form. Fix any initial condition x0∈Rn\mathbf{x}_0 \in \mathbb{R}^n. Because {v1,…,vn}\{\mathbf{v}_1,\dots,\mathbf{v}_n\} is a linearly independent set of nn vectors in Rn\mathbb{R}^n (Part 1), it is a basis of Rn\mathbb{R}^n. Hence there exist unique scalars c1,…,cnc_1,\dots,c_n with

x0=c1v1+⋯+cnvn.\mathbf{x}_0 = c_1 \mathbf{v}_1 + \cdots + c_n \mathbf{v}_n.

Define Φ(t)=c1eλ1tv1+⋯+cneλntvn\mathbf{\Phi}(t) = c_1 e^{\lambda_1 t}\mathbf{v}_1 + \cdots + c_n e^{\lambda_n t}\mathbf{v}_n. By the previous paragraph Φ\mathbf{\Phi} solves x′=Ax\mathbf{x}' = A\mathbf{x}, and Φ(0)=c1v1+⋯+cnvn=x0\mathbf{\Phi}(0) = c_1\mathbf{v}_1+\cdots+c_n\mathbf{v}_n = \mathbf{x}_0, so Φ\mathbf{\Phi} solves the initial value problem. Now let x(t)\mathbf{x}(t) be any solution of the same initial value problem x′=Ax\mathbf{x}'=A\mathbf{x}, x(0)=x0\mathbf{x}(0)=\mathbf{x}_0. The system x′=Ax\mathbf{x}' = A\mathbf{x} has entries that are linear (hence continuous, in fact smooth) functions of x\mathbf{x}, so the hypotheses of the Picard–Lindelöf existence–uniqueness theorem for first-order systems are satisfied on all of R×Rn\mathbb{R}\times\mathbb{R}^n (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

x(t)=Φ(t)=c1eλ1tv1+⋯+cneλntvn\mathbf{x}(t) = \mathbf{\Phi}(t) = c_1 e^{\lambda_1 t}\mathbf{v}_1 + \cdots + c_n e^{\lambda_n t}\mathbf{v}_n

for all tt, with the same uniquely determined constants c1,…,cnc_1,\dots,c_n found above. This establishes both existence of the stated general form for every solution, and uniqueness of the constants given x0\mathbf{x}_0. ■\blacksquare

∎

Worked examples

Example 1 — an asymmetric 2×22\times 2 system. Solve

x′=Ax,A=(1423),x(0)=(51).\mathbf{x}' = A\mathbf{x}, \qquad A = \begin{pmatrix} 1 & 4 \\ 2 & 3\end{pmatrix}, \qquad \mathbf{x}(0) = \begin{pmatrix} 5 \\ 1 \end{pmatrix}.

Step 1: Eigenvalues. Solve det⁡(A−λI)=0\det(A - \lambda I) = 0:

det⁡(1−λ423−λ)=(1−λ)(3−λ)−8=λ2−4λ+3−8=λ2−4λ−5=0.\det\begin{pmatrix} 1-\lambda & 4 \\ 2 & 3-\lambda\end{pmatrix} = (1-\lambda)(3-\lambda) - 8 = \lambda^2 - 4\lambda + 3 - 8 = \lambda^2 - 4\lambda - 5 = 0.

Factor: (λ−5)(λ+1)=0(\lambda - 5)(\lambda + 1) = 0, so λ1=5\lambda_1 = 5, λ2=−1\lambda_2 = -1. These are real and distinct, so the theorem applies. Step 2: Eigenvectors. For λ1=5\lambda_1 = 5: solve (A−5I)v=0(A - 5I)\mathbf{v} = 0, i.e.

(−442−2)(v1v2)=0  ⟹  −4v1+4v2=0  ⟹  v1=v2.\begin{pmatrix} -4 & 4 \\ 2 & -2\end{pmatrix}\begin{pmatrix} v_1\\v_2\end{pmatrix} = \mathbf{0} \implies -4v_1+4v_2 = 0 \implies v_1 = v_2.

Take v1=(11)\mathbf{v}_1 = \begin{pmatrix}1\\1\end{pmatrix}. For λ2=−1\lambda_2 = -1: solve (A+I)v=0(A+I)\mathbf{v}=0, i.e.

(2424)(v1v2)=0  ⟹  2v1+4v2=0  ⟹  v1=−2v2.\begin{pmatrix} 2 & 4 \\ 2 & 4\end{pmatrix}\begin{pmatrix} v_1\\v_2\end{pmatrix} = \mathbf{0} \implies 2v_1 + 4v_2 = 0 \implies v_1 = -2v_2.

Take v2=(−21)\mathbf{v}_2 = \begin{pmatrix}-2\\1\end{pmatrix}. Step 3: General solution. By the theorem,

x(t)=c1e5t(11)+c2e−t(−21).\mathbf{x}(t) = c_1 e^{5t}\begin{pmatrix}1\\1\end{pmatrix} + c_2 e^{-t}\begin{pmatrix}-2\\1\end{pmatrix}.

Step 4: Apply the initial condition. At t=0t=0:

c1(11)+c2(−21)=(51)  ⟹  {c1−2c2=5c1+c2=1.c_1\begin{pmatrix}1\\1\end{pmatrix} + c_2\begin{pmatrix}-2\\1\end{pmatrix} = \begin{pmatrix}5\\1\end{pmatrix} \implies \begin{cases} c_1 - 2c_2 = 5 \\ c_1 + c_2 = 1.\end{cases}

Subtracting the equations: −3c2=4-3c_2 = 4, so c2=−43c_2 = -\tfrac{4}{3}, and then c1=1−c2=1+43=73c_1 = 1 - c_2 = 1 + \tfrac43 = \tfrac73. Step 5: Final answer.

x(t)=73e5t(11)−43e−t(−21).\mathbf{x}(t) = \frac{7}{3} e^{5t}\begin{pmatrix}1\\1\end{pmatrix} - \frac{4}{3} e^{-t}\begin{pmatrix}-2\\1\end{pmatrix}.

Check at t=0t=0: 73(11)−43(−21)=(73+8373−43)=(51)\frac73\begin{pmatrix}1\\1\end{pmatrix} - \frac43\begin{pmatrix}-2\\1\end{pmatrix} = \begin{pmatrix}\frac73+\frac83\\\frac73-\frac43\end{pmatrix} = \begin{pmatrix}5\\1\end{pmatrix}, matching x(0)\mathbf{x}(0). Since λ1=5>0\lambda_1 = 5 > 0 dominates as t→∞t\to\infty, almost every trajectory is eventually swept toward the direction of v1\mathbf{v}_1: an unstable node.

Example 2 — a 3×33\times 3 system with an initial condition off any eigenline. Solve x′=Ax\mathbf{x}' = A\mathbf{x} with

A=(300112−102),x(0)=(203).A = \begin{pmatrix} 3 & 0 & 0 \\ 1 & 1 & 2 \\ -1 & 0 & 2 \end{pmatrix}, \qquad \mathbf{x}(0) = \begin{pmatrix} 2 \\ 0 \\ 3\end{pmatrix}.

Step 1: Eigenvalues. Since the first row is (3,0,0)(3,0,0), expand the determinant along the first row:

det⁡(A−λI)=det⁡(3−λ0011−λ2−102−λ)=(3−λ)det⁡(1−λ202−λ).\det(A-\lambda I) = \det\begin{pmatrix} 3-\lambda & 0 & 0 \\ 1 & 1-\lambda & 2 \\ -1 & 0 & 2-\lambda\end{pmatrix} = (3-\lambda)\det\begin{pmatrix}1-\lambda & 2 \\ 0 & 2-\lambda\end{pmatrix}.

The 2×22\times 2 block is upper triangular, so its determinant is (1−λ)(2−λ)(1-\lambda)(2-\lambda). Hence

det⁡(A−λI)=(3−λ)(1−λ)(2−λ),\det(A-\lambda I) = (3-\lambda)(1-\lambda)(2-\lambda),

giving eigenvalues λ1=3\lambda_1 = 3, λ2=1\lambda_2 = 1, λ3=2\lambda_3 = 2: three distinct real values. Step 2: Eigenvectors.

For λ1=3\lambda_1 = 3: solve (A−3I)v=0(A-3I)\mathbf{v}=\mathbf 0:

(0001−22−10−1)(v1v2v3)=0.\begin{pmatrix} 0 & 0 & 0 \\ 1 & -2 & 2 \\ -1 & 0 & -1\end{pmatrix}\begin{pmatrix}v_1\\v_2\\v_3\end{pmatrix} = \mathbf 0.

Row 3 gives v1=−v3v_1 = -v_3. Row 2: v1−2v2+2v3=0⇒−v3−2v2+2v3=0⇒v3=2v2v_1 - 2v_2+2v_3 = 0 \Rightarrow -v_3 - 2v_2+2v_3=0 \Rightarrow v_3 = 2v_2. Let v2=1v_2=1: v3=2v_3=2, v1=−2v_1=-2. So v1=(−212)\mathbf{v}_1 = \begin{pmatrix}-2\\1\\2\end{pmatrix}. Check: Av1=(3(−2)−2+1+42+0+4)=(−636)=3(−212)A\mathbf{v}_1 = \begin{pmatrix}3(-2)\\-2+1+4\\2+0+4\end{pmatrix}=\begin{pmatrix}-6\\3\\6\end{pmatrix} = 3\begin{pmatrix}-2\\1\\2\end{pmatrix}. ✓.

For λ2=1\lambda_2 = 1: solve (A−I)v=0(A-I)\mathbf{v}=\mathbf 0:

(200102−101)(v1v2v3)=0.\begin{pmatrix} 2 & 0 & 0 \\ 1 & 0 & 2 \\ -1 & 0 & 1\end{pmatrix}\begin{pmatrix}v_1\\v_2\\v_3\end{pmatrix}=\mathbf 0.

Row 1: 2v1=0⇒v1=02v_1=0\Rightarrow v_1=0. Row 2: v1+2v3=0⇒v3=0v_1+2v_3=0 \Rightarrow v_3=0. v2v_2 is free. Take v2=(010)\mathbf{v}_2 = \begin{pmatrix}0\\1\\0\end{pmatrix}. Check: Av2=(010)=1⋅v2A\mathbf{v}_2 = \begin{pmatrix}0\\1\\0\end{pmatrix} = 1\cdot\mathbf v_2. ✓.

For λ3=2\lambda_3 = 2: solve (A−2I)v=0(A-2I)\mathbf{v}=\mathbf 0:

(1001−12−100)(v1v2v3)=0.\begin{pmatrix} 1 & 0 & 0 \\ 1 & -1 & 2 \\ -1 & 0 & 0\end{pmatrix}\begin{pmatrix}v_1\\v_2\\v_3\end{pmatrix} = \mathbf 0.

Row 1: v1=0v_1=0. Row 2: −v2+2v3=0⇒v2=2v3-v_2+2v_3=0 \Rightarrow v_2=2v_3. Let v3=1v_3=1: v2=2v_2=2. So v3=(021)\mathbf{v}_3 = \begin{pmatrix}0\\2\\1\end{pmatrix}. Check: Av3=(00+2+20+0+2)=(042)=2(021)A\mathbf{v}_3=\begin{pmatrix}0\\0+2+2\\0+0+2\end{pmatrix}=\begin{pmatrix}0\\4\\2\end{pmatrix} = 2\begin{pmatrix}0\\2\\1\end{pmatrix}. ✓. Step 3: General solution.

x(t)=c1e3t(−212)+c2et(010)+c3e2t(021).\mathbf{x}(t) = c_1 e^{3t}\begin{pmatrix}-2\\1\\2\end{pmatrix} + c_2 e^{t}\begin{pmatrix}0\\1\\0\end{pmatrix} + c_3 e^{2t}\begin{pmatrix}0\\2\\1\end{pmatrix}.

Step 4: Solve for constants using x(0)=(2,0,3)T\mathbf{x}(0) = (2,0,3)^T.

−2c1=2,c1+c2+2c3=0,2c1+c3=3.-2c_1 = 2, \qquad c_1 + c_2 + 2c_3 = 0, \qquad 2c_1 + c_3 = 3.

From the first equation, c1=−1c_1 = -1. Substitute into the third: −2+c3=3⇒c3=5-2 + c_3 = 3 \Rightarrow c_3 = 5. Substitute c1=−1,c3=5c_1=-1, c_3=5 into the second: −1+c2+10=0⇒c2=−9-1 + c_2 + 10 = 0 \Rightarrow c_2 = -9. Step 5: Final answer.

x(t)=−e3t(−212)−9et(010)+5e2t(021).\mathbf{x}(t) = -e^{3t}\begin{pmatrix}-2\\1\\2\end{pmatrix} - 9e^{t}\begin{pmatrix}0\\1\\0\end{pmatrix} + 5e^{2t}\begin{pmatrix}0\\2\\1\end{pmatrix}.

Verify at t=0t=0: first component 2+0+0=22 + 0 + 0 = 2; second component −1−9+10=0-1-9+10=0; third component −2+0+5=3-2+0+5=3. Matches x(0)\mathbf{x}(0). As t→∞t\to\infty, the e3te^{3t} term dominates, so the trajectory asymptotically aligns with v1\mathbf{v}_1.

CounterexampleDropping distinctness: a repeated eigenvalue with only one eigenvector

The theorem requires nn distinct eigenvalues so that eigenvectors automatically span Rn\mathbb{R}^n. Drop this hypothesis and the conclusion can fail entirely. Consider

A=(3103).A = \begin{pmatrix} 3 & 1 \\ 0 & 3\end{pmatrix}.

The characteristic polynomial is det⁡(A−λI)=(3−λ)2\det(A-\lambda I) = (3-\lambda)^2, so λ=3\lambda = 3 is a repeated eigenvalue (algebraic multiplicity 2). Solving (A−3I)v=0(A-3I)\mathbf{v} = \mathbf 0:

(0100)(v1v2)=0  ⟹  v2=0,\begin{pmatrix} 0 & 1 \\ 0 & 0\end{pmatrix}\begin{pmatrix}v_1\\v_2\end{pmatrix} = \mathbf 0 \implies v_2 = 0,

with v1v_1 free. The eigenspace is one-dimensional, spanned only by v=(1,0)T\mathbf{v} = (1,0)^T — there is no second, independent eigenvector to pair with it (geometric multiplicity 1<1 < algebraic multiplicity 22). If we tried to force the theorem's conclusion, we would need two independent eigenvectors v1,v2\mathbf{v}_1,\mathbf{v}_2 to write x(t)=c1e3tv1+c2e3tv2\mathbf{x}(t) = c_1e^{3t}\mathbf v_1+c_2e^{3t}\mathbf v_2, but any such combination is just e3te^{3t} times a single fixed vector (a multiple of (1,0)T(1,0)^T), 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 x(0)=(0,1)T\mathbf{x}(0) = (0,1)^T, which is not a multiple of (1,0)T(1,0)^T. Indeed direct solution shows the true general solution is

x(t)=c1e3t(10)+c2e3t(t1),\mathbf{x}(t) = c_1 e^{3t}\begin{pmatrix}1\\0\end{pmatrix} + c_2 e^{3t}\begin{pmatrix} t \\ 1\end{pmatrix},

which contains a genuinely new term te3tte^{3t} that no eigen-solution of the form eλtve^{\lambda t}\mathbf v 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

SituationWhat happensWhere it's handled
nn distinct real eigenvaluesMethod above applies directly; solutions are pure real exponentialsthis article
Complex conjugate eigenvalue pairEigen-solutions are complex; real solutions extracted via Euler's formula, giving spiralsComplex and Repeated Eigenvalues
Repeated eigenvalue, eigenspace too smallNeed generalized eigenvectors; extra teλtt e^{\lambda t} terms appearComplex and Repeated Eigenvalues
Repeated eigenvalue, but eigenspace full size (e.g. A=λIA = \lambda I)Ordinary eigen-solutions still suffice; any basis of eigenvectors worksedge case of this method
Non-square or singular data given as "matrix"Method inapplicable; AA must be a genuine n×nn\times n matrix acting on Rn\mathbb{R}^noutside scope

The mathematician behind it

Origins · 1 minAugustin-Louis Cauchy and how this was discovered
AC
Augustin-Louis Cauchy
1789–1857 · early 19th-century France, mathematical analysis and rigor

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.

History
- 1826 — Cauchy studies "characteristic values" of quadratic forms in the context of principal axes of ellipsoids, an early ancestor of eigenvalues.
- 1858 — Cayley's memoir on matrices develops matrix algebra, giving the operations needed to state Av=λvA\mathbf v = \lambda\mathbf v cleanly.
- 1870s — Jordan formalizes canonical forms for matrices, resolving what to do when eigenvalues repeat (the Jordan block machinery behind repeated-eigenvalue theory).
- 1892 — Poincaré's qualitative theory of differential equations popularizes classifying planar linear systems (nodes, saddles, spirals) by eigenvalue sign and type.
- 20th century — the eigenvalue method becomes a standard chapter in ODE textbooks (Boyce–DiPrima and others), paired with phase-portrait classification.
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 AA is a real matrix with a complex eigenvalue λ=α+iβ\lambda = \alpha + i\beta (β≠0\beta \ne 0), its complex conjugate λˉ=α−iβ\bar\lambda = \alpha - i\beta is automatically an eigenvalue too (since AA has real entries), with conjugate eigenvector. The corresponding complex eigen-solution eλtve^{\lambda t}\mathbf v can be split, via Euler's formula, into two independent real solutions built from eαtcos⁡(βt)e^{\alpha t}\cos(\beta t) and eαtsin⁡(βt)e^{\alpha t}\sin(\beta t). 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 λ\lambda has algebraic multiplicity m>1m > 1 but its eigenspace (geometric multiplicity) has dimension less than mm, ordinary eigen-solutions eλtve^{\lambda t}\mathbf v are too few to span all solutions, as shown in the counterexample above. The fix is to introduce generalized eigenvectors solving (A−λI)2w=0(A-\lambda I)^2\mathbf w = \mathbf 0 but (A−λI)w≠0(A-\lambda I)\mathbf w \ne \mathbf 0, producing extra solutions of the form teλtv+eλtwte^{\lambda t}\mathbf v + e^{\lambda t}\mathbf w. If instead the geometric multiplicity equals the algebraic multiplicity (for instance when AA 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 λ\lambda and v\mathbf v into Av=λvA\mathbf v = \lambda\mathbf v and check the equality entrywise, as done in the worked examples. This catches arithmetic slips in expanding determinants or solving the homogeneous system (A−λI)v=0(A-\lambda I)\mathbf v = \mathbf 0. It is good practice to also check that the sum of eigenvalues equals the trace of AA (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 x(0)\mathbf x(0) is a scalar multiple of an eigenvector v\mathbf v, say x(0)=cv\mathbf x(0) = c\mathbf v, then x(t)=ceλtv\mathbf x(t) = ce^{\lambda t}\mathbf v solves the initial value problem (a special case of the general solution with all other constants zero). At every time tt, x(t)\mathbf x(t) is still a scalar multiple of v\mathbf v — namely ceλtce^{\lambda t} — so the trajectory never leaves the line through the origin spanned by v\mathbf v. Geometrically, the vector field AxA\mathbf x evaluated anywhere on that line points exactly along the line (since A(cv)=cλvA(c\mathbf v) = c\lambda\mathbf v), 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 x′=Ax+g(t)\mathbf x' = A\mathbf x + \mathbf g(t)?

Not directly as stated, since the theorem here covers only the homogeneous system x′=Ax\mathbf x' = A\mathbf x. 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 nn distinct eigenvalues the same as AA 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 A=λIA = \lambda I). 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.

Before this

Where this leads