LINEAR-ALGEBRA Β· Interactive Practice | Unit 22 Β· Video 3

Exponentiating a Matrix: Why eAte^{At} Solves Every Linear System

IKey Formulas

Formula Name Description
eAt=I+At+(At)22!+(At)33!+β‹―e^{At} = I + At + \frac{(At)^2}{2!} + \frac{(At)^3}{3!} + \cdots Series definition Always converges for any AA, tt
eAt=S eΞ›t Sβˆ’1e^{At} = S\, e^{\Lambda t}\, S^{-1} Diagonalization formula Requires AA to have full eigenbasis
eΞ›t=diag(eΞ»1t,…,eΞ»nt)e^{\Lambda t} = \mathrm{diag}(e^{\lambda_1 t}, \ldots, e^{\lambda_n t}) Diagonal exponential Just scalar exponentials of eigenvalues
u(t)=eAtu(0)u(t) = e^{At} u(0) Solution to uΛ™=Au\dot u = Au Propagator of linear dynamics

IIVisualization 1 β€” Why the Factorials Save Us

The n!n! denominators tame each power, so the Taylor sum converges where the geometric one explodes.

πŸ’‘ Each diagonal entry of a matrix exponential is exactly this scalar series, so convergence of eAte^{At} reduces to the picture above.

IIIVisualization 2 β€” Eigenvalues Control Stability

Drag the eigenvalue across the complex plane: trajectories decay in the left half, blow up in the right.

πŸ’‘ On the imaginary axis (Ξ±=0\alpha = 0) the orbits close β€” the norm-preserving eβˆ’iHte^{-iHt} evolution of a quantum system.

IVQuiz Questions

Question 1

Suppose Ξ›=(300βˆ’2)\Lambda = \begin{pmatrix} 3 & 0 \\ 0 & -2 \end{pmatrix} is a diagonal matrix.

What is eΞ›te^{\Lambda t}?

βœ… Correct! Each eigenvalue Ξ»i\lambda_i becomes eΞ»ite^{\lambda_i t} on the diagonal.

❌ Not quite. Remember: eΞ›te^{\Lambda t} exponentiates each diagonal entry, treating it as the exponent of ee β€” it does not multiply by tt or scale linearly.

Show solution

Solution:

For a diagonal matrix Ξ›\Lambda, the series eΞ›t=βˆ‘n=0∞(Ξ›t)nn!e^{\Lambda t} = \sum_{n=0}^{\infty} \frac{(\Lambda t)^n}{n!} becomes diagonal because Ξ›n\Lambda^n is diagonal:

Ξ›n=(3n00(βˆ’2)n)\Lambda^n = \begin{pmatrix} 3^n & 0 \\ 0 & (-2)^n \end{pmatrix}

Each diagonal entry is just a scalar Taylor series:

eΞ›t=(βˆ‘n(3t)nn!00βˆ‘n(βˆ’2t)nn!)=(e3t00eβˆ’2t)e^{\Lambda t} = \begin{pmatrix} \sum_n \frac{(3t)^n}{n!} & 0 \\ 0 & \sum_n \frac{(-2t)^n}{n!} \end{pmatrix} = \begin{pmatrix} e^{3t} & 0 \\ 0 & e^{-2t} \end{pmatrix}

So eΞ›t=diag(e3t,eβˆ’2t)e^{\Lambda t} = \mathrm{diag}(e^{3t}, e^{-2t}).

Question 2

A matrix AA has eigenvalues Ξ»1=βˆ’1+2i\lambda_1 = -1 + 2i and Ξ»2=βˆ’1βˆ’2i\lambda_2 = -1 - 2i.

What is the long-term behavior of solutions u(t)=eAtu(0)u(t) = e^{At} u(0) as tβ†’βˆžt \to \infty?

βœ… Correct! Re(Ξ»)<0(\lambda) < 0 gives decay, and Im(Ξ»)β‰ 0(\lambda) \neq 0 gives oscillation.

❌ Not quite. Recall: the real part of λ\lambda controls growth/decay, and the imaginary part controls oscillation.

Show solution

Solution:

Stability is determined by the real part of the eigenvalues, while the imaginary part determines oscillation.

  • Re(Ξ»)=βˆ’1<0\mathrm{Re}(\lambda) = -1 < 0 β†’ modes decay
  • Im(Ξ»)=Β±2β‰ 0\mathrm{Im}(\lambda) = \pm 2 \neq 0 β†’ modes oscillate

Each mode contributes e(βˆ’1Β±2i)t=eβˆ’t(cos⁑2tΒ±isin⁑2t)e^{(-1 \pm 2i) t} = e^{-t}(\cos 2t \pm i \sin 2t). The envelope eβˆ’te^{-t} shrinks while the trigonometric factor oscillates.

The result is a stable spiral: trajectories spiral inward toward the origin.

Question 3

True or False: The series I+At+(At)2+(At)3+β‹―I + At + (At)^2 + (At)^3 + \cdots (with no factorials) is equal to eAte^{At} for all matrices AA.

βœ… Correct! That series equals (Iβˆ’At)βˆ’1(I - At)^{-1}, not eAte^{At}. The factorials in the matrix exponential are what make it always converge.

❌ Not quite. Look closely β€” the matrix exponential has factorial denominators 1n!\frac{1}{n!} on each term. Without those, the series is something else entirely.

Show solution

Solution:

This is False.

The series without factorials is the geometric series:

I+At+(At)2+(At)3+β‹―=(Iβˆ’At)βˆ’1I + At + (At)^2 + (At)^3 + \cdots = (I - At)^{-1}

It only converges when every eigenvalue of AtAt has magnitude less than 1.

The matrix exponential has factorials in the denominator:

eAt=I+At+(At)22!+(At)33!+β‹―e^{At} = I + At + \frac{(At)^2}{2!} + \frac{(At)^3}{3!} + \cdots

Those factorials are essential β€” they make the series converge for every matrix AA and every tt. Without them, terms blow up.

The two series do agree to first order (I+At+β‹―I + At + \cdots), so (Iβˆ’At)βˆ’1(I - At)^{-1} is a useful approximation to eAte^{At} for small tt, but they are not the same object.

Question 4

Suppose A=SΞ›Sβˆ’1A = S \Lambda S^{-1} is diagonalizable. Why does the formula eAt=S eΞ›t Sβˆ’1e^{At} = S\, e^{\Lambda t}\, S^{-1} work?

βœ… Correct! The telescoping Sβˆ’1S=IS^{-1}S = I in every power is the engine that makes diagonalization work.

❌ Not quite. The formula works because of a specific cancellation that happens when we compute powers An=(SΞ›Sβˆ’1)nA^n = (S\Lambda S^{-1})^n.

Show solution

Solution:

The key telescoping argument: when we compute powers of AA,

A2=(SΞ›Sβˆ’1)(SΞ›Sβˆ’1)=SΞ›(Sβˆ’1S)⏟=IΞ›Sβˆ’1=SΞ›2Sβˆ’1A^2 = (S\Lambda S^{-1})(S\Lambda S^{-1}) = S\Lambda \underbrace{(S^{-1}S)}_{= I}\Lambda S^{-1} = S\Lambda^2 S^{-1}

The middle Sβˆ’1SS^{-1}S collapses to the identity. The same cancellation telescopes through every power:

An=SΞ›nSβˆ’1A^n = S\Lambda^n S^{-1}

Now plug into the series:

eAt=βˆ‘n=0∞(At)nn!=βˆ‘n=0∞SΞ›nSβˆ’1tnn!=S(βˆ‘n=0βˆžΞ›ntnn!)Sβˆ’1=S eΞ›t Sβˆ’1e^{At} = \sum_{n=0}^{\infty} \frac{(At)^n}{n!} = \sum_{n=0}^{\infty} \frac{S \Lambda^n S^{-1} t^n}{n!} = S \left(\sum_{n=0}^{\infty} \frac{\Lambda^n t^n}{n!}\right) S^{-1} = S\, e^{\Lambda t}\, S^{-1}

We factor SS on the left and Sβˆ’1S^{-1} on the right out of every term, leaving the diagonal series in the middle.

The other options are wrong:

  • SS does not commute with AA in general.
  • AA and eAte^{At} have related but different eigenvalues (Ξ»i\lambda_i vs eΞ»ite^{\lambda_i t}).
  • Not every matrix series equals its diagonalization β€” this only works because of the specific telescoping structure.

Solved: 0 / 4