UniMaths
Free chapterTry everything here: cards, proofs and practice. Sign up free to save your progress and unlock all 6 chapters.Sign up free
ODE2 · 1

Linear systems

11 concepts · 28 questions

Systems ẋ = Ax, the matrix exponential, fundamental matrices, repeated and complex eigenvalues, and inhomogeneous systems.

Overview 1The plan of this section

The linear system x˙=Ax\dot{\mathbf{x}} = A\mathbf{x} is solved completely by one formula, x(t)=etAx0\mathbf{x}(t) = e^{tA}\mathbf{x}_0.

  1. Linear systems and the matrix exponential (Def. 1.1, Prop. 1.2); etAx0e^{tA}\mathbf{x}_0 is the unique solution (Thm 1.3).
  2. Fundamental matrices and the Wronskian (Def. 1.4, Prop. 1.5).
  3. Computing etAe^{tA}: diagonalisable, complex and repeated eigenvalues (Prop. 1.6, Example 1.7).
  4. Inhomogeneous systems by variation of parameters (Thm 1.8).
  5. Higher-order linear ODEs as systems (Prop. 1.9).

x˙=Ax\dot{\mathbf x} = A\mathbf x ⇒ x=etAx0\mathbf x = e^{tA}\mathbf x_0; compute etAe^{tA} from eigenvalues or Jordan form; forcing by variation of parameters.

Definition 1.1Linear systems and the matrix exponential

A linear system is x˙=A(t)x+g(t)\dot{\mathbf{x}} = A(t)\mathbf{x} + \mathbf{g}(t); it is homogeneous if g=0\mathbf{g} = 0 and has constant coefficients if AA is constant. For a constant matrix AA, the matrix exponential is

etA=∑k=0∞tkk!Ak,e^{tA} = \sum_{k=0}^\infty\frac{t^k}{k!}A^k,

which converges absolutely for all tt, since ∥tkAkk!∥≤(∣t∣∥A∥)kk!\big\|\frac{t^kA^k}{k!}\big\|\le\frac{(|t|\|A\|)^k}{k!} in the operator norm.

etA=∑tkAkk!e^{tA} = \sum\frac{t^kA^k}{k!}, convergent for every AA and tt (compare with e∣t∣∥A∥e^{|t|\|A\|}).

Proposition 1.2Properties of the matrix exponential

  1. ddtetA=AetA=etAA\frac{\mathrm{d}}{\mathrm{d}t}e^{tA} = Ae^{tA} = e^{tA}A.
  2. If AB=BAAB = BA then eA+B=eAeBe^{A + B} = e^Ae^B. In particular e(s+t)A=esAetAe^{(s+t)A} = e^{sA}e^{tA} and (etA)−1=e−tA(e^{tA})^{-1} = e^{-tA}.
  3. etPAP−1=PetAP−1e^{tPAP^{-1}} = Pe^{tA}P^{-1}.
  4. det⁡etA=ettr⁡A\det e^{tA} = e^{t\operatorname{tr}A}.

ddtetA=AetA\frac{\mathrm d}{\mathrm dt}e^{tA} = Ae^{tA}; eA+B=eAeBe^{A+B} = e^Ae^B only if AB=BAAB = BA; conjugation passes through; det⁡etA=ettr⁡A\det e^{tA} = e^{t\operatorname{tr}A}.

Proof

Theorem 1.3Solution of the constant-coefficient system

For constant AA, the initial value problem x˙=Ax\dot{\mathbf{x}} = A\mathbf{x}, x(0)=x0\mathbf{x}(0) = \mathbf{x}_0 has the unique solution x(t)=etAx0\mathbf{x}(t) = e^{tA}\mathbf{x}_0 for all t∈Rt\in\mathbb{R}. The solutions form an nn-dimensional vector space.

Unique solution etAx0e^{tA}\mathbf x_0 (uniqueness: e−tAye^{-tA}\mathbf y is constant). Solution space ≅ Rn\mathbb{R}^n.

Proof

Definition 1.4Fundamental matrix and Wronskian

For x˙=A(t)x\dot{\mathbf{x}} = A(t)\mathbf{x}, a fundamental matrix Φ(t)\Phi(t) is an n×nn\times n matrix whose columns are nn linearly independent solutions; then every solution is Φ(t)c\Phi(t)\mathbf{c}. Its determinant W(t)=det⁡Φ(t)W(t) = \det\Phi(t) is the Wronskian. For constant AA, etAe^{tA} is the fundamental matrix with Φ(0)=I\Phi(0) = I, and any fundamental matrix satisfies etA=Φ(t)Φ(0)−1e^{tA} = \Phi(t)\Phi(0)^{-1}.

Fundamental matrix: columns = a basis of solutions; Φ˙=AΦ\dot\Phi = A\Phi. etA=Φ(t)Φ(0)−1e^{tA} = \Phi(t)\Phi(0)^{-1}.

Proposition 1.5Liouville's formula for the Wronskian

If Φ\Phi solves Φ˙=A(t)Φ\dot\Phi = A(t)\Phi then W(t)=W(t0)exp⁡(∫t0ttr⁡A(s) ds)W(t) = W(t_0)\exp\big(\int_{t_0}^t\operatorname{tr}A(s)\,\mathrm{d}s\big). In particular WW is either never zero or always zero, so solutions independent at one time are independent at all times.

W˙=(tr⁡A)W\dot W = (\operatorname{tr}A)W: the Wronskian is never zero or always zero.

Proof

Proposition 1.6Computing e^{tA} from eigenvalues

  • If A=PDP−1A = PDP^{-1} with D=diag⁡(λi)D = \operatorname{diag}(\lambda_i), then etA=Pdiag⁡(eλit)P−1e^{tA} = P\operatorname{diag}(e^{\lambda_it})P^{-1}.
  • For a real 2×22\times2 matrix with eigenvalues α±iβ\alpha\pm i\beta (β≠0\beta\ne0), AA is similar to (α−ββα)\begin{pmatrix}\alpha & -\beta\\\beta & \alpha\end{pmatrix}, whose exponential is eαt(cos⁡βt−sin⁡βtsin⁡βtcos⁡βt)e^{\alpha t}\begin{pmatrix}\cos\beta t & -\sin\beta t\\\sin\beta t & \cos\beta t\end{pmatrix}.
  • In general, with Jordan form A=PJP−1A = PJP^{-1}, etA=PetJP−1e^{tA} = Pe^{tJ}P^{-1} and each block gives eλt(I+tN+⋯+tm−1(m−1)!Nm−1)e^{\lambda t}\big(I + tN + \cdots + \frac{t^{m-1}}{(m-1)!}N^{m-1}\big); so solutions are combinations of tjeλtt^je^{\lambda t}.

Diagonalise → eλte^{\lambda t}; complex pair → eαte^{\alpha t}(rotation); Jordan block → tjeλtt^je^{\lambda t}.

Proof

Example 1.7A system with a repeated eigenvalue

A=(1−113)A = \begin{pmatrix}1 & -1\\1 & 3\end{pmatrix} has χA=(x−2)2\chi_A = (x - 2)^2 and N=A−2I=(−1−111)≠0N = A - 2I = \begin{pmatrix}-1 & -1\\1 & 1\end{pmatrix}\ne0, N2=0N^2 = 0. Since 2I2I and NN commute,

etA=e2t(I+tN)=e2t(1−t−tt1+t).e^{tA} = e^{2t}(I + tN) = e^{2t}\begin{pmatrix}1 - t & -t\\t & 1 + t\end{pmatrix}.

The solution with x(0)=(1,0)\mathbf{x}(0) = (1, 0) is e2t(1−t,t)e^{2t}(1 - t, t). No change of basis was needed: A=λI+NA = \lambda I + N with NN nilpotent works whenever AA has a single eigenvalue.

Single eigenvalue λ\lambda: etA=eλt∑tkk!(A−λI)ke^{tA} = e^{\lambda t}\sum\frac{t^k}{k!}(A - \lambda I)^k, a finite sum.

Theorem 1.8Variation of parameters for systems

For continuous g\mathbf{g}, the solution of x˙=Ax+g(t)\dot{\mathbf{x}} = A\mathbf{x} + \mathbf{g}(t), x(0)=x0\mathbf{x}(0) = \mathbf{x}_0 is

x(t)=etAx0+∫0te(t−s)Ag(s) ds.\mathbf{x}(t) = e^{tA}\mathbf{x}_0 + \int_0^te^{(t-s)A}\mathbf{g}(s)\,\mathrm{d}s.

More generally, with a fundamental matrix Φ\Phi of x˙=A(t)x\dot{\mathbf{x}} = A(t)\mathbf{x}, a particular solution is Φ(t)∫Φ(s)−1g(s) ds\Phi(t)\int\Phi(s)^{-1}\mathbf{g}(s)\,\mathrm{d}s.

x(t)=etAx0+∫0te(t−s)Ag(s) ds\mathbf x(t) = e^{tA}\mathbf x_0 + \int_0^te^{(t-s)A}\mathbf g(s)\,\mathrm ds (Duhamel's formula).

Proof

Proposition 1.9Higher-order linear equations as systems

The equation y(n)+an−1y(n−1)+⋯+a0y=0y^{(n)} + a_{n-1}y^{(n-1)} + \dots + a_0y = 0 is equivalent to x˙=Cx\dot{\mathbf{x}} = C\mathbf{x} with x=(y,y′,…,y(n−1))\mathbf{x} = (y, y', \dots, y^{(n-1)}) and CC the companion matrix (ones on the superdiagonal, last row −a0,…,−an−1-a_0, \dots, -a_{n-1}). The characteristic polynomial of CC is the auxiliary polynomial λn+an−1λn−1+⋯+a0\lambda^n + a_{n-1}\lambda^{n-1} + \dots + a_0, and each eigenvalue of CC has a single Jordan block.

Companion matrix: χC\chi_C = auxiliary polynomial; one Jordan block per root, giving tjeλtt^je^{\lambda t} up to the root's multiplicity.

Proof

Check 1.10Check: solving linear systems

  • Find eigenvalues; decide diagonalisable, complex pair, or repeated (Jordan).
  • Verify e0A=Ie^{0A} = I and ddtetA∣t=0=A\frac{\mathrm{d}}{\mathrm{d}t}e^{tA}|_{t=0} = A.
  • Check det⁡etA=ettr⁡A\det e^{tA} = e^{t\operatorname{tr}A}.
  • For forcing, try undetermined coefficients first; Duhamel always works.

Eigen-type → formula; check e0A=Ie^{0A} = I, derivative AA at 00, and the determinant.