Definition:Differential Equation

From ProofWiki
Jump to navigation Jump to search

Definition

A differential equation is a mathematical equation for an unknown function of one or several variables relating:

$(1): \quad$ The values of the function itself
$(2): \quad$ Its derivatives of various orders.


Order

The order of a differential equation is defined as being the order of the highest order derivative that is present in the equation.


Degree

Let $f$ be a differential equation which can be expressed as a polynomial in all the derivatives involved.

The degree of $f$ is defined as being the power to which the derivative of the highest order is raised.


By default, if not specifically mentioned, the degree of a differential equation is assumed to be $1$.


Ordinary, Partial and Total Differential Equations

There are three types of differential equation:


Ordinary Differential Equation

An ordinary differential equation (abbreviated O.D.E. or ODE) is a differential equation which has exactly one independent variable.

All the derivatives occurring in it are therefore ordinary.


The general ODE of order $n$ is:

$\map f {x, y, \dfrac {\d x} {\d y}, \dfrac {\d^2 x} {\d y^2}, \ldots, \dfrac {\d^n x} {\d y^n} } = 0$

or, using the prime notation:

$\map f {x, y, y', y'', \ldots, y^{\paren n} } = 0$


Partial Differential Equation

A partial differential equation (abbreviated P.D.E. or PDE) is a differential equation which has:

one dependent variable
more than one independent variable.

The derivatives occurring in it are therefore partial.


Total Differential Equation

A total differential equation is a differential equation which contains:

more than one dependent variable
one independent variable which may or may not appear explicitly in that differential equation.


Linear and Non-Linear

Differential equations can also be classified as to whether they are linear or non-linear.


Linear

A linear differential equation is a differential equation where all dependent variables and their derivatives appear to the first power.

Neither are products of dependent variables allowed.


Non-Linear

A non-linear differential equation is a differential equation which is not linear.


Solution

Let $\Phi$ be a differential equation.

Any function $\phi$ which satisfies $\Phi$ is known as a solution of $\Phi$.


Note that, in general, there may be more than one solution to a given differential equation.

On the other hand, there may be none at all.


Solution Set

The solution set (or the solution) of $\Phi$ is the set of all functions $\phi$ that satisfy $\Phi$.


Autonomous

A differential equation is autonomous if none of the derivatives depend on the independent variable.

The $n$th order autonomous differential equation takes the form:

$y^{\left({n}\right)} = f \left({y, y', y'', \dots, y^{\left({n-1}\right)}}\right)$


System of Differential Equations

A system of differential equations is a set of simultaneous differential equations.

The solutions for each of the differential equations are in general expected to be consistent.


Explicit and Implicit

Explicit System

A differential equation is called explicit if it can be written in the form:

$y^{\left({n}\right)} = f \left({x, y, y', y'', \dots, y^{\left({n-1}\right)}}\right)$


Implicit

A differential equation that is not explicit is referred to as implicit.


Examples

Second Order Linear Ordinary Differential Equation

Ordinary linear differential equation of the $2$nd order:

$\dfrac {\d^2 y} {\d x^2} + y = x^2$


First Order First Degree Non-Linear Ordinary Differential Equation

Ordinary non-linear differential equation of the $1$st order and $1$st degree:

$\paren {x + y}^2 \dfrac {\d y} {\d x} = 1$


Second Order Second Degree Non-Linear Ordinary Differential Equation

Ordinary non-linear differential equation of the $2$nd order and $2$nd degree:

$\paren {1 + \paren {\dfrac {\d y} {\d x} }^2}^{3/2} = 3 \dfrac {\d^2 y} {\d x^2}$


First Order Linear Partial Differential Equation

Partial linear differential equation of the $1$st order in $2$ independent variables:

$x \dfrac {\partial z} {\partial x} + y \dfrac {\partial z} {\partial y} - z = 0$


Second Order Linear Partial Differential Equation

Partial linear differential equation of the $2$nd order in $3$ independent variables:

$\dfrac {\partial^2 V} {\partial x^2} + \dfrac {\partial^2 V} {\partial y^2} + \dfrac {\partial^2 V} {\partial z^2} = 0$


Second Order Second Degree Non-Linear Partial Differential Equation

Partial non-linear differential equation of the $2$nd order and $2$nd degree in $2$ independent variables:

$\dfrac {\partial^2 z} {\partial x^2} \cdot \dfrac {\partial^2 z} {\partial y^2} - \paren {\dfrac {\partial^2 x} {\partial x \partial y} }^2 = 0$


First Order First Degree Total Differential Equation

Total differential equation of the $1$st order and $1$st degree:

$u \rd x + v \rd y + w \rd z = 0$


First Order Second Degree Total Differential Equation

Total differential equation of the $1$st order and $2$nd degree:

$x^2 \rd x^2 + 2 x y \rd x \rd y + y^2 \rd y^2 - z^2 \rd z^2 = 0$


Also see

  • Results about differential equations can be found here.


Historical Note

The term differential equation was first used by Gottfried Wilhelm von Leibniz (as æquatio differentialis) in $1676$, to denote a relationship between the differentials $\d x$ and $\d y$ of two variables $x$ and $y$.

Much of the theory of differential equations was established by Leonhard Paul Euler.

The first existence proof for the solutions of a differential equation was provided by Augustin Louis Cauchy.


Sources