logo

First-Order Linear Differential Equation System 📂Odinary Differential Equations

First-Order Linear Differential Equation System

Buildup1

When the mass is mm, the damping factor is γ\gamma, and the spring constant is kk, the equation of motion representing the vibration of an object hung on a spring is as follows.

mx+γx+kx=F m x^{\prime \prime} + \gamma x^{\prime} + kx = F

Letting x1=xx_{1}=x, x2=x1x_{2}=x_{1}^{\prime}, the above equation of motion can be expressed as the following system.

x1(t)= x2(t)x2(t)= x1(t)=γmx2(t)kmx1(t)1mF(t) \begin{align*} x_{1}^{\prime}(t) =&\ x_{2}(t) \\ x_{2}^{\prime} (t) =&\ x_{1}^{\prime \prime}(t) = -\dfrac{\gamma}{m}x_{2}(t)-\dfrac{k}{m}x_{1}(t)-\dfrac{1}{m}F(t) \end{align*}

This can be represented as a matrix as follows.

(x1x2)= (01kmγm)(x1x2)+(01mF)    x(t)= Ax(t)+g(t) \begin{align*} && \begin{pmatrix}x_{1}^{\prime} \\ x_{2}^{\prime}\end{pmatrix} =&\ \begin{pmatrix} 0 & 1 \\ -\dfrac{k}{m} & -\dfrac{\gamma}{m} \end{pmatrix} \begin{pmatrix} x_{1} \\ x_{2} \end{pmatrix} + \begin{pmatrix} 0 \\ -\dfrac{1}{m}F \end{pmatrix} \\ \implies&& \mathbf{x}^{\prime}(t) =&\ A\mathbf{x}(t)+g(t) \end{align*}

In the case of g(t)=0g(t)=0 being a homogeneous equation, it can be seen that solving a second-order differential equation simplifies to solving a matrix multiplication problem with solution x=Ax\mathbf{x}^{\prime}=A\mathbf{x}.

Generalization

Let x1x_{1}, x2x_{2}, \cdots, xnx_{n} be functions of tt. Let F1F_{1}, F2F_{2}, \cdots, FnF_{n} be functions of x1x_{1}, x2x_{2}, \cdots, xnx_{n}. Then, the system of first-order differential equations for xi(t),x_{i}(t), 1in1\le i \le n is as follows.

x1(t)= F1(t,x1,x2,,xn)x2(t)= F2(t,x1,x2,,xn)xn(t)= Fn(t,x1,x2,,xn)(1) \begin{align*} x_{1}^{\prime}(t) =&\ F_{1}(t,x_{1},x_{2},\cdots,x_{n}) \\ x_{2}^{\prime}(t) =&\ F_{2}(t,x_{1},x_{2},\cdots,x_{n}) \\ \vdots & \\ x_{n}^{\prime}(t) =&\ F_{n}(t,x_{1},x_{2},\cdots,x_{n}) \end{align*} \tag{1}

When each FiF_{i} is linear, it is called a linear system, and if not, it is called a nonlinear system. The more general form of a first-order linear differential equation system is as follows.

x1(t)= p11(t)x1(t)+p1n(t)xn(t)+g1(t)x2(t)= p21(t)x1(t)+p2n(t)xn(t)+g2(t)xn(t)= pn1(t)x1(t)+pnn(t)xn(t)+gn(t) \begin{align*} x_{1}^{\prime}(t) =&\ p_{11}(t)x_{1}(t)+\cdots p_{1n}(t)x_{n}(t) + g_{1}(t) \\ x_{2}^{\prime}(t) =&\ p_{21}(t)x_{1}(t)+\cdots p_{2n}(t)x_{n}(t) + g_{2}(t) \\ \vdots & \\ x_{n}^{\prime}(t) =&\ p_{n1}(t)x_{1}(t)+\cdots p_{nn}(t)x_{n}(t) + g_{n}(t) \end{align*}

x(t)=P(t)x(t)+g(t) \mathbf{x}^{\prime}(t) = \mathbf{P}(t)\mathbf{x}(t) + \mathbf{g}(t)

Here, x\mathbf{x}, g\mathbf{g} are vector-valued functions, and P\mathbf{P} is a matrix function. If each gi(t)g_{i}(t) is 00, it is called a homogeneous system; otherwise, it is called a nonhomogeneous system.

Solutions

The solution to the ODE system (1)(1) over interval I:α<t<βI : \alpha \lt t \lt \beta consists of nn functions that are differentiable at each point on interval II.

x1=ϕ1(t),x2=ϕ2(t),,xn=ϕn(t) x_{1} = \phi_{1}(t),\quad x_{2} = \phi_{2}(t),\quad \dots,\quad x_{n} = \phi_{n}(t)

Initial Conditions

For fixed t0It_{0} \in I and the xi0x_{i}^{0}s, the following nn conditions are called initial conditions.

x1(t0)=x10,x2(t0)=x20,,xn(t0)=xn0(2) x_{1}(t_{0}) = x_{1}^{0},\quad x_{2}(t_{0}) = x_{2}^{0},\quad \cdots,\quad x_{n}(t_{0}) = x_{n}^{0} \tag{2}

Combining the ODE system (1)(1) with initial conditions (2)(2) is called the initial value problem, commonly abbreviated as IVP. ‘Finding the solution to the initial value problem’ is referred to as ‘solving the initial value problem’. The solution to the initial value problem is guaranteed to exist and be unique by Picard’s theorem.


  1. William E. Boyce, Boyce’s Elementary Differential Equations and Boundary Value Problems (11th Edition, 2017), p281-283 ↩︎