Math 2.0

statement theorem

Matrix exponential as the solution of a linear system

Statement

Let AA be a real n×nn \times n matrix, and for t∈Rt \in \mathbb{R} let etA=∑k=0∞tkk!Ake^{t A} = \sum_{k=0}^{\infty} \frac{t^k}{k!} A^k, a series that converges for each tt. Then the map t↦etAt \mapsto e^{t A} is differentiable on R\mathbb{R}, and ddt etA=A etA=etAA.\frac{d}{dt}\, e^{t A} = A\, e^{t A} = e^{t A} A. Consequently, for each x0∈Rnx_0 \in \mathbb{R}^n, the function x(t)=etAx0x(t) = e^{t A} x_0 is the unique solution on R\mathbb{R} of the initial value problem x′=Axx' = A x, x(0)=x0x(0) = x_0.

Remarks

Uniqueness: if xx is a solution, then ddt(e−tAx(t))=0\frac{d}{dt}\left(e^{-tA} x(t)\right) = 0, so e−tAx(t)=x0e^{-tA} x(t) = x_0. If A=PDP−1A = P D P^{-1} with DD diagonal, then etA=PetDP−1e^{tA} = P e^{tD} P^{-1}, and etDe^{tD} is diagonal with the entries etλke^{t \lambda_k}. The matrix etAe^{tA} is the fundamental matrix of x′=Axx' = A x with value II at t=0t = 0.

Explanations

L1 human

For one equation y′=ayy' = a y, the solution is eaty0e^{a t} y_0. The matrix exponential is the same formula for a system, with the matrix AA in place of the number aa. The series is the same as the series of exe^x.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 11 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Differential equation concept
  2. Function concept
  3. Interval concept
  4. Ordinary differential equation definition
  5. Order of a differential equation definition
  6. Solution of an ordinary differential equation definition
  7. Initial value problem definition
  8. Linear differential equation of order n definition
  9. System of linear differential equations definition
  10. Homogeneous linear system with constant coefficients definition
  11. Matrix exponential as the solution of a linear system statement

What depends on this

8 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Matrix_exponential, Linear differential equation systems