matrix theory
Matrix Exponential
You should know: diagonalization, eigenvalues and eigenvectors
Overview
The matrix exponential e^A extends the scalar exponential to square matrices via a power series. It is the cornerstone of continuous-time linear dynamical systems: the solution to x'(t) = Ax with x(0) = x_0 is x(t) = e^{At} x_0. For diagonalizable matrices, e^A is computed efficiently using eigendecomposition; for general matrices, Jordan form is used.
Intuition
For a scalar a, e^a = 1 + a + a^2/2! + .... The same series defines e^A for matrices. The key property is that e^A 'exponentiates' the linear vector field Ax: just as e^{at} solves dx/dt = ax, e^{At} solves the matrix ODE. For diagonal A = diag(λ_1,...,λ_n), we get e^A = diag(e^{λ_1},...,e^{λ_n}) — each eigenvalue exponentiates independently.
Formal Definition
For a square matrix A ∈ M_n(C), the matrix exponential is:
This series converges for every square matrix A.
Notation
| Notation | Meaning |
|---|---|
| Matrix exponential of A | |
| Alternative notation for e^A |
Properties
Always invertible
Determinant
Commutativity
Nilpotent case
Applications
Control systems: the state transition matrix e^{At} describes how a linear system evolves. Stability requires all eigenvalues of A to have negative real parts.
Worked Examples
- 1
A is diagonal, so e^A = diag(e^{λ_1}, e^{λ_2}).
✓ Answer
e^A = diag(e, e^2).
Practice Problems
Compute e^A for A = [[2,1],[0,2]] using the Jordan block formula.
The system x'(t) = Ax(t) with A = [[-1,0],[0,-2]] and x(0) = (3, 1)^T. Find x(t).
Common Mistakes
e^{A+B} = e^A e^B always.
This identity holds only when AB = BA. In general, e^{A+B} ≠ e^A e^B for non-commuting matrices (the Baker-Campbell-Hausdorff formula gives the correction).
Quiz
Summary
- The matrix exponential e^A = Σ A^k/k! converges for every square matrix A.
- For diagonal A = diag(λ_i): e^A = diag(e^{λ_i}). For diagonalizable A = PDP^{-1}: e^A = P e^D P^{-1}.
- Key ODE: d/dt e^{At} = A e^{At}; solution to x' = Ax is x(t) = e^{At} x_0.
- det(e^A) = e^{tr(A)}; e^A is always invertible with (e^A)^{-1} = e^{-A}.
- e^{A+B} = e^A e^B only when AB = BA.
Mathematics