System of differential equations
In mathematics, a system of differential equations is a finite set of differential equations. Such a system can be either linear or non-linear. Also, such a system can be either a system of ordinary differential equations or a system of partial differential equations.
Linear systems of differential equations
A first-order linear system of ODEs is a system in which every equation is first order and depends on the unknown functions linearly. Here we consider systems with an equal number of unknown functions and equations. These may be written as
[math]\displaystyle{ \frac{dx_j}{dt} = a_{j1}(t) x_1 + \ldots + a_{jn}(t)x_n + g_{j}(t), \qquad j=1,\ldots,n }[/math]
where [math]\displaystyle{ n }[/math] is a positive integer, and [math]\displaystyle{ a_{ji}(t),g_{j}(t) }[/math] are arbitrary functions of the independent variable t. A first-order linear system of ODEs may be written in matrix form:
[math]\displaystyle{ \frac{d}{dt} \begin{bmatrix} x_1 \\ x_2 \\ \vdots \\ x_n \end{bmatrix} = \begin{bmatrix} a_{11} & \ldots & a_{1n} \\ a_{21} & \ldots & a_{2 n} \\ \vdots & \ldots & \vdots \\ x_{n1} & & a_{n n} \end{bmatrix} \begin{bmatrix} x_1 \\ x_2 \\ \vdots \\ x_n \end{bmatrix} + \begin{bmatrix} g_1 \\ g_2 \\ \vdots \\ g_n \end{bmatrix} , }[/math]
or simply
[math]\displaystyle{ \mathbf{\dot{x}}(t) = \mathbf{A}(t)\mathbf{x}(t) + \mathbf{g}(t) }[/math].
Homogeneous systems of differential equations
A linear system is said to be homogeneous if [math]\displaystyle{ g_j(t)=0 }[/math] for each [math]\displaystyle{ j }[/math] and for all values of [math]\displaystyle{ t }[/math], otherwise it is referred to as non-homogeneous. Homogeneous systems have the property that if [math]\displaystyle{ \mathbf{x_1},\ldots ,\mathbf{x_p} }[/math] are linearly independent solutions to the system, then any linear combination of these, [math]\displaystyle{ C_1 \mathbf{x _1}+ \ldots + C_p \mathbf{x _p} }[/math], is also a solution to the linear system where [math]\displaystyle{ C_1, \ldots, C_p }[/math] are constant.
The case where the coefficients [math]\displaystyle{ a_{ji}(t) }[/math] are all constant has a general solution: [math]\displaystyle{ \mathbf{x} = C_1 \mathbf{v_1}e^{\lambda_1 t } + \ldots + C_n \mathbf{v_n}e^{\lambda_n t } }[/math], where [math]\displaystyle{ \lambda_i }[/math] is an eigenvalue of the matrix [math]\displaystyle{ \mathbf{A} }[/math] with corresponding eigenvectors [math]\displaystyle{ \mathbf{v}_i }[/math] for [math]\displaystyle{ 1 \leq i \leq n }[/math]. This general solution only applies in cases where [math]\displaystyle{ \mathbf{A} }[/math] has n distinct eigenvalues, cases with fewer than n distinct eigenvalues must be treated differently.
Linear independence of solutions
For an arbitrary system of ODEs, a set of solutions [math]\displaystyle{ \mathbf{x_1}(t), \ldots ,\mathbf{x_n}(t) }[/math] are said to be linearly-independent if:
[math]\displaystyle{ C_1\mathbf{x_1}(t) + \ldots + C_n \mathbf{x_n} = 0 \quad \forall t }[/math] is satisfied only for [math]\displaystyle{ C_1 = \ldots = C_n=0 }[/math].
A second-order differential equation [math]\displaystyle{ \ddot{x} = f(t,x,\dot{x}) }[/math] may be converted into a system of first order linear differential equations by defining [math]\displaystyle{ y=\dot{x} }[/math], which gives us the first-order system:
[math]\displaystyle{ \begin{cases} \dot{x} & = & y \\ \dot{y} & = & f(t,x,y) \end{cases} }[/math]
Just as with any linear system of two equations, two solutions may be called linearly-independent if [math]\displaystyle{ C_1 \mathbf{x}_1 + C_2 \mathbf{x}_2=\mathbf{0 } }[/math] implies [math]\displaystyle{ C_1 = C_2 = 0 }[/math], or equivalently that [math]\displaystyle{ \begin{vmatrix} x_1 & x_ 2 \\ \dot{x}_ 1 & \dot{x}_ 2 \end{vmatrix} }[/math] is non-zero. This notion is extended to second-order systems, and any two solutions to a second-order ODE are called linearly-independent if they are linearly-independent in this sense.
Overdetermination of systems of differential equations
Like any system of equations, a system of linear differential equations is said to be overdetermined if there are more equations than the unknowns. For an overdetermined system to have a solution, it needs to satisfy the compatibility conditions.[1] For example, consider the system:
- [math]\displaystyle{ \frac{\partial u}{\partial x_i} = f_i, 1 \le i \le m. }[/math]
Then the necessary conditions for the system to have a solution are:
- [math]\displaystyle{ \frac{\partial f_i}{\partial x_k} - \frac{\partial f_k}{\partial x_i} = 0, 1 \le i, k \le m. }[/math]
See also: Cauchy problem and Ehrenpreis's fundamental principle.
Non-linear system of differential equations
Perhaps the most famous example of a non-linear system of differential equations is the Navier–Stokes equations. Unlike the linear case, the existence of a solution of a non-linear system is a difficult problem (cf. Navier–Stokes existence and smoothness.)
Differential system
A differential system is a means of studying a system of partial differential equations using geometric ideas such as differential forms and vector fields.
For example, the compatibility conditions of an overdetermined system of differential equations can be succinctly stated in terms of differential forms (i.e., a form to be exact, it needs to be closed). See integrability conditions for differential systems for more.
Notes
See also
References
- L. Ehrenpreis, The Universality of the Radon Transform, Oxford Univ. Press, 2003.
- Gromov, M. (1986), Partial differential relations, Springer, ISBN:3-540-12177-3
- M. Kuranishi, "Lectures on involutive systems of partial differential equations", Publ. Soc. Mat. São Paulo (1967)
- Pierre Schapira, Microdifferential systems in the complex domain, Grundlehren der Math- ematischen Wissenschaften, vol. 269, Springer-Verlag, 1985.
Further reading
- https://mathoverflow.net/questions/273235/a-very-basic-question-about-projections-in-formal-pde-theory
- https://www.encyclopediaofmath.org/index.php/Involutional_system
- https://www.encyclopediaofmath.org/index.php/Complete_system
- https://www.encyclopediaofmath.org/index.php/Partial_differential_equations_on_a_manifold
 |  |
