Skip to content

Differential equation

A mathematical equation relating an unknown function to its own derivatives, encoding the law that a quantity's rate of change depends on its current state — so specifying the local rule plus initial or boundary conditions fixes the entire trajectory.

Version
v3 · 2026-09-28 · History · 1 correction
Domain-specific #
273
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomain
Dynamical Systems → Mathematics

Core Idea

A differential equation relates an unknown function to one or more of its derivatives, encoding the principle that the rate at which a quantity changes is governed by a law involving its current state. Solving it yields the quantity's trajectory as it evolves. They divide into ordinary (one independent variable) and partial (several), further classified by order and linearity. The shared commitment is that the future is not specified directly but determined by the governing law plus initial or boundary conditions, subject to well-posedness.

How would you explain it like I'm…

The How-It-Changes Rule

A differential equation is a rule that tells you how something is changing right now, based on how it is right now. For example: the more bunnies there are, the faster new bunnies are born. If you know how many bunnies you start with and you follow the rule, you can figure out how many there will be later.

Rules for How Things Change

A differential equation is a math sentence that connects a changing quantity with how fast it is changing. For example, a population of rabbits grows faster when there are more rabbits, until there is not enough food. Solving the equation means finding how the quantity behaves over time. The rule alone gives many possible stories, so you also need a starting point, like how many rabbits there were at the start, to pick the right one. Scientists use differential equations to describe falling objects, heat spreading, and much more.

Equations About Rates of Change

A differential equation relates an unknown function to its derivatives, meaning its rates of change. It expresses a law that says how fast a quantity changes depending on its current state. Solving it means finding a function that obeys the law, which gives the quantity's whole path over time, space, or both. Ordinary differential equations involve one variable, usually time; partial differential equations involve several, like position and time. The equation alone describes a whole family of possible paths; you pick one by giving starting conditions (initial conditions) or conditions at the edges (boundary conditions). Newton's second law, where force determines acceleration, is an example: given starting position and velocity, the motion is fixed. The heat equation, which describes how temperature spreads through a solid, is an example of a partial differential equation.

 

A differential equation relates an unknown function to one or more of its derivatives, expressing that a quantity's rate of change is governed by a law involving its current state. Ordinary differential equations involve functions of one independent variable; partial differential equations involve several, typically space and time. They are further classified by order (highest derivative), linearity, and whether explicit solutions exist. The equation defines a family of trajectories, and initial conditions (for ODEs and parabolic PDEs) or boundary conditions (for elliptic PDEs and some parabolic cases) select one. This makes differential equations the main modeling language for continuous processes whose change is local, depending on the current state rather than the full history. Examples include Newton's second law, Maxwell's equations, the logistic equation dy/dt = ry(1 − y/K), the heat equation ∂u/∂t = α∇²u, and the Black–Scholes equation for option prices. Whether a unique, stably varying solution exists is the question of well-posedness in Hadamard's sense.

Scope of Application

A differential equation applies literally wherever its precondition holds: a process on a continuum whose change is local and continuous.

  • Classical mechanics — trajectories from force laws (Newton's F = ma).
  • Electromagnetism — fields from sources (Maxwell's equations).
  • Fluid dynamics and diffusion — Navier-Stokes and the heat equation.
  • Population biology and epidemiology — the logistic equation and SIR-type models.
  • Mathematical finance — the Black-Scholes PDE for option prices.

Clarity

The framing makes legible the distinction everyday description runs together: the law versus the trajectory. The equation is the rule any behaviour must obey, characterising a whole family of trajectories, from which initial or boundary conditions select one. It sharpens what kind of process is eligible — change must be local and continuous — and well-posedness (existence, uniqueness, continuous dependence, in Hadamard's sense) gives a checkable meaning to "does this model deserve trust?"

Manages Complexity

A process over time or space is, in raw form, an unbounded object — an entire trajectory value by value. The framing compresses it by relating the quantity only to its derivatives: the modeller writes a finite local rule in a few rate constants and lets the trajectory be derived. Predictive power follows through a branch structure — a coarse classification selects the solution machinery, fixed-point linearisation gives the long-run behaviour without solving, and well-posedness triages whether the model can be trusted at all.

Abstract Reasoning

All moves route through the law-versus-trajectory separation and the trajectory-as-derived principle. The construct licenses diagnosis (separate the law, the solution, and the selecting data), boundary-drawing (test eligibility — local and continuous — before writing the equation), a signature predictive move (recover qualitative long-run behaviour from fixed points and their linear stability without solving), intervention (classify the equation to select the solution machinery), and a well-posedness triage of trust.

Knowledge Transfer

A differential equation is a mathematical construct, so it transfers the way an instrument does — literally wherever its precondition holds (a continuum, smoothness, local and continuous change), applying unchanged as the same object across mechanics, electromagnetism, fluids, biology, finance, and control. Those are literal instances, not analogies. The boundary is over-reading past the precondition: "the differential equation of public attention" invokes the form where there is no continuous state. What genuinely travels beneath is carried by neighbouring parent primes — Feedback, Equilibrium, Gradient, Flow, Diffusion, Conservation Laws, Path Dependence — while the calculus-specific machinery stays bound to continuum settings.

Relationships to Other Abstractions

Local relationship map for Differential equationParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Differential equationDOMAINDomain-specific abstraction: Derivative — includesDerivativeDOMAINDomain-specific abstraction: Bessel Function — includesBessel FunctionDOMAINDomain-specific abstraction: Boundary Value Problem — includesBoundaryValue ProblemDOMAINDomain-specific abstraction: Classical Electromagnetism — includesClassicalElectromagnetismDOMAINDomain-specific abstraction: Simple Wave — presupposesSimple WaveDOMAINDomain-specific abstraction: Dirac Equation — is a kind ofDirac EquationDOMAINDomain-specific abstraction: Equations of Motion — is a kind ofEquationsof MotionDOMAINDomain-specific abstraction: Euler's elliptic differential equation — is a kind ofEuler's ellipti…DOMAINDomain-specific abstraction: Generalized Lotka–Volterra Equations — is a kind ofGeneralized Lot…DOMAINDomain-specific abstraction: Nahm Equations — is a kind ofNahm EquationsDOMAINDomain-specific abstraction: Primitive Equations — is a kind ofPrimitiveEquationsDOMAINDomain-specific abstraction: Schrödinger Equation — is a kind ofSchrödingerEquationDOMAINDomain-specific abstraction: Wave Equation — is a kind ofWave EquationDOMAIN+1 more

Current abstraction Differential equation Domain-specific

Parents (1) — outgoing typed relations

  • Differential equation includes Derivative Domain-specific

    A Differential Equation contains one or more Derivatives of its unknown function as terms in the governing rate law.

Children (13) — abstractions linked here by typed relations

  • Dirac Equation Domain-specific is a kind of Differential equation

    domain_specific:differential_equation is the broader abstraction this entry instantiates.

  • Equations of Motion Domain-specific is a kind of Differential equation

    domain_specific:differential_equation is the broader abstraction this entry instantiates.

  • Euler's elliptic differential equation Domain-specific is a kind of Differential equation

    Every Euler elliptic differential relation equates differentials of two variables and can be expressed as a first-order differential equation on a local branch.

  • Generalized Lotka–Volterra Equations Domain-specific is a kind of Differential equation

    GLV is a strict specialization of the domain-specific Differential Equation node for DAG placement.

  • Nahm Equations Domain-specific is a kind of Differential equation

    Differential Equation — strict subsumption. Nahm's system is a first-order nonlinear ordinary differential equation specialized by a Lie-algebra-valued cyclic commutator rate law.

Hierarchy paths (2) — routes to 2 parentless roots

Neighborhood in Abstraction Space

Differential equation sits in a sparse region of the domain-specific corpus (64th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25