A differential equation (DE) is a mathematical equation that relates an unknown function to one or more of its derivatives. Unlike algebraic equations, which describe static relationships between variables, differential equations describe change over continuous domains, making them indispensable tools in physics, engineering, biology, economics, and climate science.

In standard notation, if $y$ is a function of an independent variable $x$, a general ordinary differential equation (ODE) of order $n$ can be written as:

$$F\left(x, y, \frac{dy}{dx}, \frac{d^2y}{dx^2}, \dots, \frac{d^n y}{dx^n}\right) = 0$$

When partial derivatives with respect to multiple independent variables are involved, the equation is classified as a partial differential equation (PDE).

Classification of Differential Equations

Differential equations are categorized based on their structure, order, and linearity. Proper classification determines the solution strategy.

Property Description Example
Order Highest derivative present $\frac{d^2y}{dx^2} + \sin(y) = 0$ (2nd order)
Linearity Unknown function & derivatives appear to power 1 $y'' + 3y' + 2y = e^x$ (Linear)
Homogeneity All terms depend on $y$ or its derivatives $y'' + y' = 0$ (Homogeneous)
Type ODE vs PDE $\frac{\partial u}{\partial t} = k\frac{\partial^2 u}{\partial x^2}$ (PDE)

A linear $n$-th order ODE takes the form:

$$a_n(x)y^{(n)} + a_{n-1}(x)y^{(n-1)} + \cdots + a_1(x)y' + a_0(x)y = g(x)$$

where $g(x) = 0$ implies homogeneity. If any $a_i(x)$ is constant, the equation has constant coefficients, which greatly simplifies analytical solution.

First-Order Differential Equations

First-order ODEs involve only the first derivative $y'$ and are foundational to understanding higher-order systems. Key solvable forms include:

Separable Equations

An equation is separable if it can be written as $\frac{dy}{dx} = f(x)g(y)$. Solutions are found by integrating both sides:

$$\int \frac{1}{g(y)} \, dy = \int f(x) \, dx$$

Linear First-Order Equations

Standard form: $y' + P(x)y = Q(x)$. Solved using an integrating factor $\mu(x) = e^{\int P(x)\,dx}$:

$$\frac{d}{dx}\left[\mu(x)y\right] = \mu(x)Q(x) \implies y = \frac{1}{\mu(x)}\int \mu(x)Q(x)\,dx + \frac{C}{\mu(x)}$$
Note: The constant $C$ represents a family of solutions. Applying an initial condition $y(x_0) = y_0$ yields a unique particular solution.

Second-Order Linear ODEs

Second-order linear ODEs with constant coefficients model oscillatory systems, damped motion, and electrical circuits. The homogeneous form is:

$$ay'' + by' + cy = 0$$

Assuming a solution of the form $y = e^{rx}$ leads to the characteristic equation:

$$ar^2 + br + c = 0$$

The nature of the roots $r_{1,2}$ determines the general solution:

  • Distinct real roots: $y(x) = C_1 e^{r_1 x} + C_2 e^{r_2 x}$
  • Repeated real root: $y(x) = (C_1 + C_2 x)e^{rx}$
  • Complex conjugate roots: $r = \alpha \pm i\beta \implies y(x) = e^{\alpha x}(C_1 \cos \beta x + C_2 \sin \beta x)$

For nonhomogeneous equations $ay'' + by' + cy = g(x)$, the general solution is $y = y_h + y_p$, where $y_h$ is the homogeneous solution and $y_p$ is a particular solution found via undetermined coefficients or variation of parameters.

Existence & Uniqueness Theorems

Not every differential equation has a solution, and solutions may not be unique. The Picard–Lindelöf Theorem guarantees existence and uniqueness for first-order IVPs $y' = f(x,y),\ y(x_0)=y_0$ if $f$ and $\frac{\partial f}{\partial y}$ are continuous in a rectangle containing $(x_0, y_0)$.

For higher-order linear equations with continuous coefficients on an interval $I$, a unique solution exists satisfying $n$ initial conditions. These theorems underpin numerical methods and stability analysis.

Applications

Differential equations are the language of dynamical systems. Key applications include:

  • Population Dynamics: Logistic growth $\frac{dP}{dt} = rP\left(1 - \frac{P}{K}\right)$
  • Mechanical Systems: Damped harmonic oscillator $m x'' + c x' + k x = F(t)$
  • Electrical Circuits: RLC circuit voltage $L\frac{d^2q}{dt^2} + R\frac{dq}{dt} + \frac{1}{C}q = V(t)$
  • Heat & Diffusion: Heat equation $\frac{\partial u}{\partial t} = \alpha \nabla^2 u$
  • Quantum Mechanics: Schrödinger equation $i\hbar\frac{\partial \psi}{\partial t} = \hat{H}\psi$

Further Reading & References

  • [1] Boyce, W. E., & DiPrima, R. C. (2017). Elementary Differential Equations and Boundary Value Problems. Wiley.
  • [2] Tenenbaum, M., & Pollard, H. (2012). Ordinary Differential Equations. Dover Publications.
  • [3] Aevum Encyclopedia. (2025). 1.3 Calculus Foundations & 3.2 Fourier Analysis for PDEs.
  • [4] Strogatz, S. H. (2018). Nonlinear Dynamics and Chaos. Westview Press.
← Previous: 2.0 Systems of Linear Equations Next: 2.2 Laplace Transforms →