Fluid Mechanics

The Navier-Stokes Equations

Newton's second law for a viscous fluid — the master equation of flow

The Navier-Stokes equations are a set of nonlinear partial differential equations that express conservation of momentum for a viscous fluid, obtained by applying Newton's second law to an infinitesimal fluid element. In incompressible form they read ρ(∂u/∂t + (u·∇)u) = −∇p + μ∇²u + f, closed by the continuity constraint ∇·u = 0. The left side is the fluid parcel's acceleration times density; the right side sums the pressure-gradient, viscous, and body forces per unit volume. The quadratic convective term (u·∇)u makes them nonlinear and is the mathematical seat of turbulence. They govern almost every flow in engineering — aircraft, turbines, pipes, weather, and blood — form the basis of computational fluid dynamics, and their 3D existence-and-smoothness question is an unsolved Clay Millennium Prize Problem worth one million US dollars.

  • TypeNonlinear second-order PDE
  • Incompressible formρ(∂u/∂t + (u·∇)u) = −∇p + μ∇²u + f
  • Constraint∇·u = 0 (mass conservation)
  • Named forNavier (1822) & Stokes (1845)
  • Key numberRe = ρuL/μ (inertia ÷ viscosity)
  • Pipe transitionTurbulent above Re ≈ 2300
  • Open problemClay Millennium Prize — $1M

Interactive visualization

Press play, or step through manually. The visualization is yours to drive — try it before reading on.

Open visualization fullscreen ↗

Watch the 60-second explainer

A condensed visual walkthrough — narrated, captioned, under a minute.

Why the Navier-Stokes equations matter

Almost every quantitative prediction about a moving fluid traces back to these equations. When an aircraft manufacturer sizes a wing, when a cardiologist models plaque buildup in an artery, when a meteorologist forecasts a storm, or when an engineer designs a pump impeller, the underlying physics is the same momentum balance written by Navier and Stokes. They are to fluids what Newton's laws are to rigid bodies: a compact statement of cause and effect that, in principle, contains every flow phenomenon.

  • Aerodynamics. Lift, drag, boundary layers, and stall on wings, cars, and turbine blades.
  • Turbomachinery. Pumps, compressors, gas turbines, and hydraulic turbines all solve them internally.
  • Weather and climate. Global circulation models integrate the rotating Navier-Stokes equations over the whole atmosphere and ocean.
  • Biomedical flow. Blood in arteries, air in lungs, and drug dispersion — low-Mach, often pulsatile flows.
  • Civil and hydraulic engineering. River flooding, spillways, sediment transport, and wind loads on tall buildings.
  • Chemical and process plants. Mixing, heat exchangers, and multiphase reactors.
  • Foundation of CFD. Every commercial code — ANSYS Fluent, OpenFOAM, STAR-CCM+ — is a numerical solver for these equations.

How the equation is built, term by term

Start from Newton's second law applied to a fluid parcel: mass times acceleration equals the net force. Divide by volume and the "mass" becomes density ρ. The acceleration of a moving parcel is not simply ∂u/∂t, because the parcel also moves into regions of different velocity. The total acceleration is the material derivative:

Du/Dt = ∂u/∂t + (u·∇)u

The first piece is the local acceleration — how the velocity at a fixed point changes with time. The second piece is the convective acceleration — momentum carried by the flow into a new location. This second term is quadratic in the unknown velocity, and it is the sole source of nonlinearity in the whole system. Multiplying by ρ and setting it equal to the forces gives the incompressible Navier-Stokes equation:

ρ(∂u/∂t + (u·∇)u) = −∇p + μ∇²u + f

Read left to right, the right-hand side is a sum of three forces per unit volume:

  1. Pressure gradient, −∇p. Fluid is pushed from high pressure toward low pressure. The minus sign makes force point down the gradient.
  2. Viscous diffusion, μ∇²u. Internal friction smears out velocity differences, transporting momentum from fast to slow layers and dissipating kinetic energy as heat. For a Newtonian fluid this term is linear in u and proportional to the dynamic viscosity μ.
  3. Body force, f. A force acting on the bulk of the fluid, almost always gravity, f = ρg. Buoyancy, electromagnetic (Lorentz) forces, and Coriolis force also enter here.

By itself the momentum equation has four scalar unknowns in 3D — three velocity components and pressure — but only three equations. The missing equation is continuity, the statement of mass conservation. For constant density it reduces to the divergence-free constraint ∇·u = 0, which physically means fluid is neither created nor destroyed and, for an incompressible medium, that inflow equals outflow for every control volume. Pressure then acts as the variable that instantaneously adjusts to keep the field divergence-free.

The table below defines every symbol and its SI units.

SymbolMeaningSI units
uVelocity vector fieldm·s⁻¹
pPressurePa = N·m⁻² = kg·m⁻¹·s⁻²
ρDensitykg·m⁻³
μDynamic viscosityPa·s = kg·m⁻¹·s⁻¹
ν = μ/ρKinematic viscositym²·s⁻¹
fBody force per unit volumeN·m⁻³
∇pPressure gradientPa·m⁻¹
∇²uLaplacian of velocity (diffusion)m⁻¹·s⁻¹
Re = ρuL/μReynolds numberdimensionless

The Reynolds number sets the whole character of the flow

Non-dimensionalize the equations with a characteristic velocity U, length L, and time L/U, and every coefficient collapses into a single dimensionless group in front of the viscous term: its reciprocal is the Reynolds number.

Re = ρUL/μ = UL/ν

Physically Re is the ratio of inertial forces (the convective term) to viscous forces (the diffusion term). When Re is small the viscous term dominates and the flow is smooth, layered, and reversible — laminar. When Re is large the nonlinear convective term dominates, small disturbances amplify, and the flow becomes chaotic and three-dimensional — turbulent. The transition is not universal; it depends on geometry and disturbance level, but characteristic thresholds are well established.

Regime / flowReynolds numberBehavior
Creeping (Stokes) flowRe ≪ 1Viscous-dominated, convective term negligible, fully reversible
Blood in a large artery~10²–10³Laminar, pulsatile
Pipe flow — laminar limitRe ≈ 2300Transition begins in circular pipes
Flow over a car~10⁶–10⁷Turbulent boundary layer, separation
Airliner wing (cruise)~10⁷Fully turbulent, thin boundary layer
Large-scale atmosphere~10¹²Strongly turbulent, rotation-dominated

Matching Reynolds number is the basis of dynamic similarity: a scale model in a wind tunnel reproduces the full-size aerodynamics if Re (and, for compressible flow, Mach number) is matched. It is also why a value like Re ≈ 2300 for pipe transition is quoted so often in handbooks — it marks where the nonlinear term first overwhelms viscous smoothing.

Worked example: laminar pipe flow (Hagen-Poiseuille)

One of the rare exact solutions comes from steady, incompressible, fully-developed laminar flow in a straight circular pipe. With no time dependence, no radial or swirl velocity, and gravity neglected, the momentum equation collapses to a balance between the pressure gradient and the viscous term alone. Integrating twice with a no-slip wall gives a parabolic velocity profile and the Hagen-Poiseuille law for volumetric flow rate:

Q = π R⁴ Δp / (8 μ L)

where Q is volume flow rate (m³·s⁻¹), R is pipe radius (m), Δp is the pressure drop over length L (Pa over m), and μ is dynamic viscosity (Pa·s). Take water (μ ≈ 1.0 × 10⁻³ Pa·s, ρ ≈ 1000 kg·m⁻³) in a pipe of radius R = 5 mm and length L = 2 m under a pressure drop of Δp = 1000 Pa:

Q = π (0.005)⁴ (1000) / (8 × 10⁻³ × 2) ≈ 1.23 × 10⁻⁴ m³·s⁻¹ ≈ 0.12 L·s⁻¹

The mean velocity is U = Q/(πR²) ≈ 1.56 m·s⁻¹, giving Re = ρUD/μ = 1000 × 1.56 × 0.010 / 10⁻³ ≈ 15,600 — well above the laminar threshold. The lesson is important: the elegant Poiseuille formula only applies below Re ≈ 2300, so this pipe is actually turbulent and you must instead use the Darcy-Weisbach relation with a friction factor from the Moody chart. The exact Navier-Stokes solution has limited reach precisely because the nonlinear term takes over so quickly.

The catch: the Millennium Prize Problem

For all their engineering ubiquity, no one knows whether the 3D incompressible Navier-Stokes equations always have well-behaved solutions. The open question, formalized by Charles Fefferman for the Clay Mathematics Institute in 2000, asks: given smooth initial velocity data of finite kinetic energy on all of three-dimensional space, does a smooth solution exist for all time, or can the velocity or its gradients "blow up" — become infinite — in finite time?

In two dimensions the answer has been known since the mid-20th century: solutions stay smooth forever. In three dimensions, only weak solutions (Leray, 1934) are guaranteed, and whether they remain unique and smooth is unresolved. The difficulty is again the convective term: in 3D it drives vortex stretching, which can concentrate energy into ever-smaller scales, and no one has proven this cannot run away to a singularity. A rigorous answer either way earns the one-million-US-dollar Millennium Prize. Of the seven Millennium Problems, only the Poincaré conjecture has been solved to date; Navier-Stokes remains open.

The basis of computational fluid dynamics

Because exact solutions exist only for idealized cases — Couette flow, Poiseuille flow, Stokes flow around a sphere, and a few others — real engineering relies on numerics. Computational fluid dynamics (CFD) discretizes the flow domain into a mesh of finite volumes, elements, or spectral modes, then approximates the derivatives and marches the equations forward in time or iterates to steady state. Solving the divergence-free constraint typically requires a pressure-correction scheme such as SIMPLE or a projection method, because pressure has no evolution equation of its own.

Turbulence is the central practical challenge, and three families of approach trade cost against fidelity:

MethodWhat it resolvesRelative cost
DNS (Direct Numerical Simulation)Every eddy down to the Kolmogorov scaleHighest — scales roughly as Re³; research only
LES (Large Eddy Simulation)Large eddies resolved, small ones modeledHigh — feasible for detailed design
RANS (Reynolds-Averaged)Time-averaged mean flow via k-ε, k-ω, or SST closureLowest — industry workhorse

A full-aircraft RANS simulation may use 50–100+ million cells and run for hours to days on a cluster; a DNS of even a modest jet can consume billions of grid points. The exploding cost with Reynolds number — DNS scales roughly as Re³ — is a direct numerical shadow of the same nonlinearity that keeps the Millennium Problem open.

Common misconceptions and failure modes

  • "They're just F = ma." True in spirit, but the material derivative and the divergence-free constraint make them a coupled, nonlinear, non-local system — not an ordinary differential equation you integrate step by step.
  • "Incompressible means constant pressure." No — it means constant density. Pressure still varies strongly and acts as the field that enforces ∇·u = 0.
  • "CFD gives the exact answer." CFD gives an approximate, mesh- and model-dependent answer. Turbulence closures like k-ε carry empirical constants; results must be validated against experiment.
  • "Viscosity is always negligible at high Re." Even at Re = 10⁷, viscosity dominates inside the thin boundary layer next to the wall, where it governs skin friction and separation.
  • "The equations are solved." They are solved numerically for specific cases, but the general 3D existence-and-smoothness question is an open Millennium Problem.
  • "They apply to any fluid." The standard form assumes a Newtonian fluid where stress is linear in strain rate. Blood, polymers, ketchup, and slurries are non-Newtonian and need modified constitutive laws.

Frequently asked questions

What are the Navier-Stokes equations?

They are the momentum-conservation equations for a viscous fluid, derived by applying Newton's second law to an infinitesimal fluid element. In incompressible form they read ρ(∂u/∂t + (u·∇)u) = −∇p + μ∇²u + f, paired with the continuity constraint ∇·u = 0. Here u is the velocity field, p is pressure, ρ is density, μ is dynamic viscosity, and f is a body force per unit volume such as gravity. The left side is mass times acceleration per unit volume; the right side sums pressure, viscous, and body forces. They are named after Claude-Louis Navier (1822) and George Gabriel Stokes (1845).

Why are the Navier-Stokes equations nonlinear?

The nonlinearity lives in the convective acceleration term (u·∇)u, where the velocity field is multiplied by its own spatial gradient. Because the unknown u appears quadratically, you cannot superpose solutions the way you can for linear equations. This single term is responsible for vortex stretching, energy cascade, and turbulence. Without it the equations reduce to the linear Stokes equations that describe creeping flow at very low Reynolds number, which are far easier to solve.

What does each term in the equation mean?

ρ ∂u/∂t is the local (unsteady) acceleration. ρ(u·∇)u is the convective acceleration — momentum carried by the flow itself, and the source of nonlinearity. −∇p is the pressure-gradient force that pushes fluid from high to low pressure. μ∇²u is viscous diffusion, which smears out velocity differences and dissipates kinetic energy as heat. f is the body force per unit volume, most often gravity ρg. Setting the sum to zero is Newton's second law for the fluid parcel.

What is the Reynolds number and why does it matter?

The Reynolds number Re = ρuL/μ = uL/ν is the dimensionless ratio of inertial to viscous forces, where L is a characteristic length and ν = μ/ρ is kinematic viscosity. It sets the entire character of the flow. Below roughly Re ≈ 2300 in a pipe the flow is smooth and laminar; above it transitions to chaotic turbulence. Matching Reynolds number is why a scaled wind-tunnel model reproduces the aerodynamics of a full-size aircraft. In the equations, Re measures how strongly the nonlinear convective term dominates the viscous term.

What is the incompressible Navier-Stokes assumption?

It assumes density ρ is constant, so the continuity equation ∂ρ/∂t + ∇·(ρu) = 0 collapses to the divergence-free constraint ∇·u = 0. This holds to good accuracy whenever the Mach number M = u/a is below about 0.3, roughly 100 m/s in air, which covers cars, buildings, pumps, pipes, ships, and blood flow. It removes acoustic and shock physics and lets pressure act as a Lagrange multiplier that instantaneously enforces mass conservation rather than as a thermodynamic variable.

What is the Navier-Stokes Millennium Prize Problem?

The Clay Mathematics Institute offers one million US dollars for a proof or counterexample to the existence and smoothness of solutions to the 3D incompressible Navier-Stokes equations. The open question is whether, given smooth initial data of finite energy, a smooth solution exists for all time — or whether a solution can blow up to infinite velocity in finite time. In 2D the answer is known to be yes; in 3D it is unresolved, and it is one of the seven Millennium Problems posed in 2000, none of which except the Poincaré conjecture has been solved.

How are the Navier-Stokes equations solved in practice?

Because closed-form solutions exist only for a handful of idealized cases such as Couette, Poiseuille, and Stokes flow, engineers solve them numerically. Computational fluid dynamics (CFD) discretizes the domain into millions of cells using finite-volume, finite-element, or spectral methods and marches the equations in time. Turbulence is handled by resolving every eddy (DNS), modeling the large eddies (LES), or time-averaging with a closure such as k-ε or k-ω (RANS). A full airliner RANS mesh can exceed 100 million cells and run for days on a supercomputer.