The Navier–Stokes Equations and Viscous Flow

The Navier–Stokes equations are the governing equations of real fluid motion — Euler's ideal-flow system completed by the internal friction every actual fluid exhibits. Conceptually they are nothing more than the continuum-mechanics program of this chapter run to its natural end: mass conservation from the kinematics article, momentum balance through the Cauchy stress tensor, and a constitutive law closing the system. The constitutive step is the dynamical cousin of Hooke's law in linear elasticity, with one decisive substitution — the viscous stress is linear in the rate of strain, not the strain. A fluid does not care how far it has been sheared, only how fast. The equations couple a vector velocity field to a scalar pressure through both the momentum balance and the incompressibility constraint, and the material derivative plants the quadratic term (v⋅∇)v(\mathbf{v}\cdot\nabla)\mathbf{v} in the middle of it all. That single term is responsible for nearly everything difficult and interesting in fluid mechanics: vortex stretching, the energy cascade, turbulence, and the fact that exact solutions exist only in geometries symmetric enough to kill it — pipe flow, sliding plates, a slowly settling sphere. One dimensionless group organizes the entire subject. The Reynolds number Re=ρUL/μRe=\rho UL/\mu weighs inertia against viscosity: honey at Re≪1Re\ll1 creeps in linear, time-reversible Stokes flow, while air past a wing at Re∼107Re\sim10^7 is nearly ideal everywhere except paper-thin boundary layers where the no-slip condition lives. Between the two regimes sits the transition to turbulence — and beneath the whole structure sits an open wound in mathematics: whether smooth three-dimensional solutions persist for all time is a Clay Millennium Problem, a million dollars still unclaimed for the equation that moves the weather.

Key takeaways
  • The Navier–Stokes equations are Newton's second law for a fluid continuum: material acceleration balanced by pressure gradient, viscous stress divergence, and body force.
  • The Newtonian constitutive law σij=−p δij+2μ(eij−13δijekk)+ζδijekk\sigma_{ij}=-p\,\delta_{ij}+2\mu(e_{ij}-\tfrac13\delta_{ij}e_{kk})+\zeta\delta_{ij}e_{kk} is Hooke's law with strain replaced by strain rate; for incompressible flow it collapses the momentum equation to ρ Dv/Dt=−∇p+μ∇2v+f\rho\,\mathrm{D}\mathbf{v}/\mathrm{D}t=-\nabla p+\mu\nabla^2\mathbf{v}+\mathbf{f}.
  • Viscosity is momentum diffusion: ν=μ/ρ\nu=\mu/\rho is a diffusivity with units m2/s\mathrm{m^2/s}, and — counterintuitively — air (ν≈1.5×10−5\nu\approx1.5\times10^{-5}) out-diffuses water (ν≈1.0×10−6\nu\approx1.0\times10^{-6}).
  • The Reynolds number Re=ρUL/μRe=\rho UL/\mu sets the regime: linear reversible Stokes flow below Re∼1Re\sim1, boundary layers of thickness δ∼L/Re\delta\sim L/\sqrt{Re} and turbulence at large ReRe (pipes transition near Re≈2300Re\approx2300).
  • Exact solutions (Poiseuille's Q∝R4Q\propto R^4 pipe law, Stokes' drag F=6πμRUF=6\pi\mu RU) exist only where symmetry kills the nonlinearity; global smoothness of 3D solutions is an unsolved Millennium Problem.
  • Key idea: the Navier–Stokes equations are Newton's second law for a fluid continuum — mass times material acceleration equals the divergence of a stress made of isotropic pressure plus a viscous part linear in the strain rate.
The core insight

The Navier–Stokes equations are Newton's second law for a fluid continuum: mass times the material acceleration of a fluid parcel equals the divergence of the stress tensor plus body forces, with the stress made of an isotropic pressure and a viscous part linear in the strain rate.

Where this lives today

The equations of this article consume a measurable fraction of the world's supercomputing. Weather and climate centers integrate filtered Navier–Stokes (with rotation and stratification) on planetary grids where direct simulation of all scales — down to Kolmogorov's millimeters at atmospheric Re∼109Re\sim10^9 — would demand more floating-point operations than exist; the gap is bridged by turbulence closures whose calibration against the k−5/3k^{-5/3} cascade remains a live research industry. Aerospace runs the same equations as RANS and large-eddy solvers over full aircraft; Formula 1 teams are granted CFD budgets by regulation, wind-tunnel hours and core-hours being competitively equivalent currencies. The newest wave couples the solvers to machine learning — neural subgrid models and differentiable-CFD pipelines trained on resolved simulations — with the classical equations retained as the trusted arbiter. The mathematics is equally alive. The Clay Millennium Problem — do smooth 3D solutions exist for all time? — stands unclaimed, with the vortex-stretching term of equation (7) as the suspected culprit: 2D flow, where stretching vanishes, has been provably smooth since the 1960s. Recent progress runs through computer-assisted analysis: proofs of finite-time blow-up for the related Euler equations near boundaries, and self-similar singularity candidates found with physics-informed neural networks, have sharpened the question without settling it. A million dollars still waits on whether the equation that delivers your weather forecast can break down in finite time.

The physical picture

Picture a small cube of fluid drifting with the flow. Its momentum changes for three reasons: pressure pushes harder on one face than the opposite one (−∇p-\nabla p), neighboring layers moving at different speeds drag on its sides through friction (μ∇2v\mu\nabla^2\mathbf{v}), and gravity acts on its mass. Newton's law for the cube is the Navier–Stokes equation — the only new physics relative to Euler is the drag between layers. That drag is momentum diffusion. Just as heat diffuses down a temperature gradient, transverse momentum diffuses down a velocity gradient: molecules wandering from the fast layer into the slow one deliver excess momentum, and vice versa. The Laplacian is precisely the diffusion operator, and ν=μ/ρ\nu=\mu/\rho is the diffusivity of momentum — which is why air, thin as it is, spreads momentum fifteen times faster than water.

Figure
Viscosity as momentum diffusion between sliding layers — the fast layer drags the slow one through the shear stress mu du/dy, momentum leaking down the velocity gradient exactly like heat down a temperature gradient
fast layer slow layer drag on slow layer reaction on fast layer momentum diffuses down the gradient shear stress τ = μ du/dy · momentum diffusivity ν = μ/ρ air: ν ≈ 1.5×10⁻⁵ m²/s beats water: ν ≈ 1.0×10⁻⁶ m²/s — thin fluids can be fast diffusers u(y)

The convective term (v⋅∇)v(\mathbf{v}\cdot\nabla)\mathbf{v} carries over from the ideal-flow articles: parcels accelerate through steady patterns, the equations are quadratic in v\mathbf{v}, and small disturbances can amplify, fold, and cascade to ever finer scales. What is new is the referee. Viscosity damps the smallest scales, inertia feeds them, and the Reynolds number Re=UL/νRe=UL/\nu scores the contest: honey poured slowly (Re∼10−1Re\sim10^{-1}) is all viscosity — creeping, reversible, and eerily time-symmetric; air past an aircraft (Re∼107Re\sim10^7) is all inertia except in a millimeters-thin boundary layer where the no-slip condition must be honored. Every named regime of fluid mechanics is an entry in the table of ReRe.

The core equations

Mass conservation carries over unchanged from the kinematics article — no constitutive physics ever touches it:

∂ρ∂t+∇⋅(ρv)=0(1)\frac{\partial\rho}{\partial t}+\nabla\cdot(\rho\mathbf{v})=0 \qquad (1)

where: ρ\rho — density; ρv\rho\mathbf{v} — mass flux. For incompressible flow this is the constraint ∇⋅v=0\nabla\cdot\mathbf{v}=0, which the pressure field enforces instantaneously — pressure in incompressible flow is a Lagrange multiplier, not a thermodynamic variable. Momentum balance is Cauchy's equation of motion, the continuum F=ma\mathbf{F}=m\mathbf{a} built in the Stress Tensor and Cauchy's Relation article, now with the material acceleration written out:

ρ(∂v∂t+(v⋅∇)v)=∇⋅σ+f(2)\rho\left(\frac{\partial\mathbf{v}}{\partial t}+(\mathbf{v}\cdot\nabla)\mathbf{v}\right)=\nabla\cdot\boldsymbol{\sigma}+\mathbf{f} \qquad (2)

where: σ\boldsymbol{\sigma} — the Cauchy stress tensor; f\mathbf{f} — body force per unit volume. This holds for any continuum whatsoever — solid, fluid, or silly putty. The physics of "fluid" enters only through the choice of σ\boldsymbol{\sigma}. That choice is the Newtonian constitutive law. Demand that the viscous stress be linear in the velocity gradient, vanish for rigid rotation (only the strain-rate tensor eij=12(∂ivj+∂jvi)e_{ij}=\tfrac12(\partial_iv_j+\partial_jv_i) from the vorticity article's decomposition can enter), and respect isotropy. Two coefficients survive:

σij=−p δij+2μ(eij−13δij ekk)+ζ δij ekk(3)\sigma_{ij}=-p\,\delta_{ij}+2\mu\left(e_{ij}-\tfrac13\delta_{ij}\,e_{kk}\right)+\zeta\,\delta_{ij}\,e_{kk} \qquad (3)

where: pp — pressure; μ\mu — dynamic (shear) viscosity, resisting shape change; ζ\zeta — bulk viscosity, resisting compression. This is Hooke's law for solids with strain replaced by strain rate — the deep structural parallel of this chapter. A fluid holds no memory of how far it has deformed, only of how fast it is deforming; that one substitution turns elastostatics into fluid dynamics. Insert (3) into (2) and impose incompressibility (Derivation A) and the system takes its famous form:

ρ(∂v∂t+(v⋅∇)v)=−∇p+μ∇2v+f,∇⋅v=0(4)\rho\left(\frac{\partial\mathbf{v}}{\partial t}+(\mathbf{v}\cdot\nabla)\mathbf{v}\right)=-\nabla p+\mu\nabla^2\mathbf{v}+\mathbf{f},\qquad \nabla\cdot\mathbf{v}=0 \qquad (4)

where: μ∇2v\mu\nabla^2\mathbf{v} — viscous diffusion of momentum; four scalar equations for the four unknowns (v,p)(\mathbf{v},p). Strike the viscous term and Euler's equation from two articles ago reappears; the whole ideal-flow edifice is the μ→0\mu\to0 face of this system — with one treacherous subtlety about walls that the warning box below spells out. Dividing by ρ\rho exposes the diffusivity and the anchor numbers worth memorizing:

∂v∂t+(v⋅∇)v=−1ρ∇p+ν∇2v,ν=μρ(5)\frac{\partial\mathbf{v}}{\partial t}+(\mathbf{v}\cdot\nabla)\mathbf{v}=-\frac{1}{\rho}\nabla p+\nu\nabla^2\mathbf{v},\qquad \nu=\frac{\mu}{\rho} \qquad (5)

where: ν\nu — kinematic viscosity, units m2/s\mathrm{m^2/s}. Water at 20°C: μ=1.0×10−3 Pa s\mu=1.0\times10^{-3}\ \mathrm{Pa\,s}, ν=1.0×10−6 m2/s\nu=1.0\times10^{-6}\ \mathrm{m^2/s}. Air: μ=1.8×10−5 Pa s\mu=1.8\times10^{-5}\ \mathrm{Pa\,s} but ν=1.5×10−5 m2/s\nu=1.5\times10^{-5}\ \mathrm{m^2/s} — fifteen times water's. In the momentum-diffusion race the relevant stake is ν\nu, not μ\mu. Non-dimensionalize equation (5) with a characteristic speed UU and length LL and a single group survives, the ratio of the inertial term ρU2/L\rho U^2/L to the viscous term μU/L2\mu U/L^2:

Re=ρULμ=ULν(6)Re=\frac{\rho U L}{\mu}=\frac{UL}{\nu} \qquad (6)

where: ReRe — the Reynolds number. Two flows with the same geometry and the same ReRe are dynamically identical — the similarity principle that makes wind tunnels and scale models legitimate. Bacteria swim at Re∼10−5Re\sim10^{-5}, blood flows at Re∼103Re\sim10^3, cars drive at Re∼106Re\sim10^6, and the atmosphere churns at Re∼109Re\sim10^{9} and beyond.

Figure
The two canonical faces of viscous flow — the Poiseuille parabola pinned to zero at both no-slip walls, and the high Reynolds number boundary layer squeezing all of viscosity's work into a thin sheet of thickness L over root Re
Poiseuille channel parabola, u = 0 at both walls (no-slip) u(y) edge of boundary layer, δ ~ L/√Re outer flow: effectively ideal (Euler) high Re over a plate viscosity confined to the thin no-slip layer

Taking the curl of equation (5) eliminates pressure entirely and upgrades the ideal vorticity equation of the previous article with a diffusion term:

DωDt=(ω⋅∇)v+ν∇2ω(7)\frac{\mathrm{D}\boldsymbol{\omega}}{\mathrm{D}t}=(\boldsymbol{\omega}\cdot\nabla)\mathbf{v}+\nu\nabla^2\boldsymbol{\omega} \qquad (7)

where: (ω⋅∇)v(\boldsymbol{\omega}\cdot\nabla)\mathbf{v} — vortex stretching, the 3D amplifier; ν∇2ω\nu\nabla^2\boldsymbol{\omega} — viscous diffusion, the term that finally lets vorticity be created (at no-slip walls) and destroyed, breaking Kelvin's theorem exactly where real flows demand it. The contest between these two terms — stretching feeding vorticity to small scales, diffusion burning it there — is turbulence in one line. The energy ledger closes the story. Dotting equation (4) with v\mathbf{v} and integrating gives

ddt∫V12ρv2 dV=−∫V2μ eijeij dV+(work by surface and body forces)(8)\frac{\mathrm{d}}{\mathrm{d}t}\int_V\tfrac12\rho v^2\,\mathrm{d}V=-\int_V 2\mu\,e_{ij}e_{ij}\,\mathrm{d}V+(\text{work by surface and body forces}) \qquad (8)

where: 2μ eijeij2\mu\,e_{ij}e_{ij} — the viscous dissipation rate per unit volume, a sum of squares and hence never negative. Viscosity is a one-way street: kinetic energy converts irreversibly to heat, the arrow of time that ideal flow lacked, and the reason equation (4) — unlike Euler — cannot be run backwards.

Derivation AFrom Cauchy momentum to the Navier-Stokes equation

We assemble the master equation by inserting the Newtonian constitutive law into the Cauchy momentum balance and imposing incompressibility. The strategy is pure index bookkeeping — differentiate the stress, watch which terms the constraint ∂kvk=0\partial_kv_k=0 kills, and let the survivors organize themselves into a Laplacian. Two structural facts fall out along the way: the bulk viscosity never enters incompressible flow, and the viscous force is proportional to the second derivative of velocity, making the equation diffusive.

Step 1. Start from momentum balance with the stress divergence written in components:

ρ DviDt=∂jσij+fi\rho\,\frac{\mathrm{D}v_i}{\mathrm{D}t}=\partial_j\sigma_{ij}+f_i

Step 2. Differentiate the constitutive law (3), treating μ\mu and ζ\zeta as constants:

∂jσij=−∂ip+μ ∂j ⁣(∂ivj+∂jvi−23δij∂kvk)+ζ ∂i(∂kvk)\partial_j\sigma_{ij}=-\partial_i p+\mu\,\partial_j\!\left(\partial_i v_j+\partial_j v_i-\tfrac23\delta_{ij}\partial_k v_k\right)+\zeta\,\partial_i(\partial_k v_k)

Step 3. Impose incompressibility, ∂kvk=0\partial_kv_k=0. Every term carrying the divergence dies — including the entire bulk-viscosity contribution:

∂jσij=−∂ip+μ(∂i∂jvj+∂j∂jvi)=−∂ip+μ ∇2vi\partial_j\sigma_{ij}=-\partial_i p+\mu\left(\partial_i\partial_j v_j+\partial_j\partial_j v_i\right)=-\partial_i p+\mu\,\nabla^2 v_i

Why ζ\zeta vanishes: bulk viscosity resists volume change, and incompressible parcels change no volume; this is why sound absorption — a compressive phenomenon — is where ζ\zeta finally earns its keep. *Why a Laplacian: the term ∂i∂jvj\partial_i\partial_jv_j is the gradient of the divergence, zero by the constraint; the remaining ∂j∂jvi\partial_j\partial_jv_i is the diffusion operator acting on each velocity component.*

Step 4. Assemble, restoring the material derivative:

ρ(∂tv+(v⋅∇)v)=−∇p+μ∇2v+f\rho\left(\partial_t\mathbf{v}+(\mathbf{v}\cdot\nabla)\mathbf{v}\right)=-\nabla p+\mu\nabla^2\mathbf{v}+\mathbf{f}

together with ∇⋅v=0\nabla\cdot\mathbf{v}=0: four equations, four unknowns, and no equation of state — pressure is whatever field keeps the velocity divergence-free. Two quick checks: setting μ=0\mu=0 recovers Euler's equation exactly, and dimensionally [μ∇2v]=Pa s⋅(m/s)/m2=N/m3[\mu\nabla^2 v]=\mathrm{Pa\,s\cdot(m/s)/m^2}=\mathrm{N/m^3}, matching [∇p][\nabla p] as required.

Go deeper · Derivation B · 1 minPlane Poiseuille flow between parallel plates
Derivation BPlane Poiseuille flow between parallel plates

We solve the Navier–Stokes equations exactly for steady, pressure-driven flow between two stationary plates at y=±hy=\pm h — the archetype of every exact viscous solution. The strategy: adopt the symmetry ansatz v=(u(y),0,0)\mathbf{v}=(u(y),0,0), verify it kills both the incompressibility worry and the nonlinear term identically, and integrate the surviving linear ODE against the no-slip boundary condition. Watch how the nonlinearity dies by geometry, not by approximation — that is the only reason an exact solution exists at all.

Step 1. Check the ansatz against continuity: ∇⋅v=∂xu(y)=0\nabla\cdot\mathbf{v}=\partial_x u(y)=0 identically. Consistent.

Step 2. Check the nonlinear term:

(v⋅∇)v=u ∂x ⁣(u(y))x^=0(\mathbf{v}\cdot\nabla)\mathbf{v}=u\,\partial_x\!\left(u(y)\right)\hat{\mathbf{x}}=0

Why it vanishes: the only nonzero velocity component varies only transversely to itself — parcels move along lines of constant velocity, so no parcel ever accelerates. The full nonlinear problem has become linear by symmetry alone.

Step 3. The xx-momentum equation, steady and body-force-free, with constant pressure gradient dp/dx=−G\mathrm{d}p/\mathrm{d}x=-G (G>0G>0 drives flow toward +x+x):

0=G+μ d2udy20=G+\mu\,\frac{\mathrm{d}^2u}{\mathrm{d}y^2}

The yy-momentum equation gives ∂yp=0\partial_yp=0, so pp varies only along the channel — the transverse problem and the streamwise drive decouple.

Step 4. Integrate twice and apply no-slip u(±h)=0u(\pm h)=0:

u(y)=−G2μy2+Ay+B→ u(±h)=0 u(y)=G2μ(h2−y2)u(y)=-\frac{G}{2\mu}y^2+Ay+B \quad\xrightarrow{\ u(\pm h)=0\ }\quad u(y)=\frac{G}{2\mu}\left(h^2-y^2\right)

Why no-slip: molecularly, fluid adheres to the wall; the boundary condition v=0\mathbf{v}=0 on stationary solids is an experimental fact honored by every viscous solution, and symmetry then forces A=0A=0.

Step 5. Integrate the parabola for the flux per unit width:

Q=∫−hhu dy=G2μ[2h3−2h33]=2Gh33μQ=\int_{-h}^{h}u\,\mathrm{d}y=\frac{G}{2\mu}\left[2h^3-\frac{2h^3}{3}\right]=\frac{2Gh^3}{3\mu}

The cubic growth with channel half-width is the viscous signature; repeating the calculation in a circular pipe of radius RR gives the Hagen–Poiseuille law Q=πR4G/8μQ=\pi R^4G/8\mu — a fourth power, the fact that dominates physiology and plumbing alike. Two internal checks on the solution: the maximum speed u(0)=Gh2/2μu(0)=Gh^2/2\mu is 32\tfrac32 the mean speed Q/2hQ/2h — the standard parabolic-profile ratio — and the wall shear μ∣u′(±h)∣=Gh\mu|u'(\pm h)|=Gh times the wetted perimeter exactly balances the pressure force G×G\times cross-sectional area per unit length.

Go deeper · Derivation C · 2 minStokes drag on a slowly moving sphere
Derivation CStokes drag on a slowly moving sphere

We extract the drag law of creeping flow — the Re≪1Re\ll1 regime where inertia is negligible and the equations linearize. The strategy: drop the inertial terms to get the Stokes equations, quote the classical axisymmetric stream-function solution satisfying no-slip on the sphere and uniform flow far away, and assemble the force by integrating the traction over the surface. The reward is the linear-in-velocity drag that underlies sedimentation, aerosol physics, and Millikan's electron-charge measurement.

Step 1. For Re≪1Re\ll1 discard inertia entirely. The momentum equation becomes the linear Stokes system:

∇p=μ∇2v,∇⋅v=0\nabla p=\mu\nabla^2\mathbf{v},\qquad \nabla\cdot\mathbf{v}=0

Why this is legitimate: the neglected term ρ(v⋅∇)v∼ρU2/L\rho(\mathbf{v}\cdot\nabla)\mathbf{v}\sim\rho U^2/L stands to the kept term μU/L2\mu U/L^2 exactly in the ratio ReRe — small by hypothesis. Taking the divergence shows ∇2p=0\nabla^2p=0; taking the curl shows vorticity is harmonic too.

Step 2. For a sphere of radius RR held in a stream Uz^U\hat{\mathbf{z}}, the axisymmetric solution regular at infinity and obeying no-slip at r=Rr=R has the Stokes stream function

ψ=Usin⁡2 ⁣θ(r22−3Rr4+R34r)\psi=U\sin^2\!\theta\left(\frac{r^2}{2}-\frac{3Rr}{4}+\frac{R^3}{4r}\right)

Why these three powers: r2r^2 is the uniform stream, 1/r1/r a potential dipole, and rr the "Stokeslet" — the signature slow-flow term that decays so lazily that the sphere's influence reaches tens of radii, the root of the famous long-range interactions of suspensions.

Step 3. From ψ\psi compute the surface pressure and viscous traction:

p=p∞−3μUR2r2cos⁡θp=p_\infty-\frac{3\mu U R}{2r^2}\cos\theta

with the corresponding shear stress on r=Rr=R. Both distributions point systematically downstream.

Step 4. Integrate the total traction σ⋅n^\boldsymbol{\sigma}\cdot\hat{\mathbf{n}} over the sphere. Pressure contributes 2πμRU2\pi\mu RU (one third) and viscous shear 4πμRU4\pi\mu RU (two thirds):

Fdrag=6πμRUF_{\text{drag}}=6\pi\mu R U

Why linear in UU: the equations are linear, so doubling the stream doubles every field and hence the force — in stark contrast to the ρU2\rho U^2 drag of high-ReRe flow. Linearity also makes creeping flow time-reversible, with consequences the FAQ explores.

Step 5. Balance against gravity for a falling sphere of density ρs\rho_s in fluid of density ρf\rho_f: 6πμRvt=43πR3(ρs−ρf)g6\pi\mu Rv_t=\tfrac43\pi R^3(\rho_s-\rho_f)g gives the terminal velocity

vt=2(ρs−ρf)gR29μv_t=\frac{2(\rho_s-\rho_f)gR^2}{9\mu}

The R2R^2 scaling is the workhorse of viscometry and sedimentation analysis; Millikan's oil drops (R∼1 μmR\sim1\ \mu\mathrm{m}) fall at the ∼10−4 m/s\sim10^{-4}\ \mathrm{m/s} this formula predicts, slow enough to watch — which is precisely why the experiment worked.

Limiting cases

CaseResultMeaning
Creeping flow, Re≪1Re\ll1∇p=μ∇2v\nabla p=\mu\nabla^2\mathbf{v}, ∇⋅v=0\nabla\cdot\mathbf{v}=0Linear, time-reversible Stokes flow: sedimentation, microswimmers, lubrication; sphere drag 6πμRU6\pi\mu RU.
Ideal limit, Re→∞Re\to\inftyEuler equations + boundary layers δ∼L/Re\delta\sim L/\sqrt{Re}Singular limit: viscosity survives at walls however large ReRe; ignoring it gives d'Alembert's zero drag.
Incompressible limit, M≪1M\ll1∇⋅v=0\nabla\cdot\mathbf{v}=0, ρ\rho constBelow Mach ≈0.3\approx0.3 pressure enforces the constraint instantaneously; no equation of state needed.
Two dimensionsstretching term (ω⋅∇)v=0(\boldsymbol{\omega}\cdot\nabla)\mathbf{v}=0Vorticity merely advects and diffuses; global smoothness is a theorem in 2D — the Millennium Problem is strictly 3D.
Pipe transitionRe≈2300Re\approx2300Laminar Poiseuille flow destabilizes; friction rises sharply and empirical correlations take over.
Fully turbulent, Re≫104Re\gg10^4E(k)∼ε2/3k−5/3E(k)\sim\varepsilon^{2/3}k^{-5/3}Kolmogorov's 1941 cascade: energy injected at large scales flows through an inertial range to viscous dissipation at the smallest.

Worked examples

Example 1 — an IV drip through a fine needle (confidence builder). Saline (ρ=1000 kg/m3\rho=1000\ \mathrm{kg/m^3}, μ=1.0×10−3 Pa s\mu=1.0\times10^{-3}\ \mathrm{Pa\,s}) is pushed through a needle of radius R=0.40 mmR=0.40\ \mathrm{mm} and length L=40 mmL=40\ \mathrm{mm} by a pressure difference Δp=4.0 kPa\Delta p=4.0\ \mathrm{kPa}. Find the flow rate and check the flow is laminar.

Step 1. Hagen–Poiseuille (the pipe version of Derivation B): Q=πR4 Δp8μLQ=\dfrac{\pi R^4\,\Delta p}{8\mu L}. Compute R4=(4.0×10−4)4=2.56×10−14 m4R^4=(4.0\times10^{-4})^4=2.56\times10^{-14}\ \mathrm{m^4}.

Step 2. Q=π×2.56×10−14×4.0×1038×1.0×10−3×0.040=3.22×10−103.2×10−4=1.0×10−6 m3/sQ=\dfrac{\pi\times2.56\times10^{-14}\times4.0\times10^{3}}{8\times1.0\times10^{-3}\times0.040}=\dfrac{3.22\times10^{-10}}{3.2\times10^{-4}}=1.0\times10^{-6}\ \mathrm{m^3/s} — that is 1.0 mL/s1.0\ \mathrm{mL/s}.

Step 3. Mean speed: vˉ=Q/πR2=1.0×10−6/(5.03×10−7)=2.0 m/s\bar v=Q/\pi R^2=1.0\times10^{-6}/(5.03\times10^{-7})=2.0\ \mathrm{m/s}.

Step 4. Reynolds check: Re=ρvˉ(2R)/μ=1000×2.0×8.0×10−4/10−3=1600<2300Re=\rho\bar v(2R)/\mu=1000\times2.0\times8.0\times10^{-4}/10^{-3}=1600<2300 — laminar, so Poiseuille was legitimate.

Step 5. Q=1.0 mL/sQ=1.0\ \mathrm{mL/s} at Re=1600Re=1600. The R4R^4 law is the clinical headline: switching to a needle of half the radius at the same pressure would cut delivery sixteen-fold — and the same law is why a 25% narrowing of a coronary artery raises the pressure cost of the same blood flow by a factor of (1/0.75)4≈3.2(1/0.75)^4\approx3.2.

Example 2 — why fog does not fall (exam level). A fog droplet of radius r=10 μmr=10\ \mu\mathrm{m} (water, ρs=1000 kg/m3\rho_s=1000\ \mathrm{kg/m^3}) settles in still air (ρf=1.2 kg/m3\rho_f=1.2\ \mathrm{kg/m^3}, μ=1.8×10−5 Pa s\mu=1.8\times10^{-5}\ \mathrm{Pa\,s}). Find its terminal speed, verify the Stokes regime, and estimate the settling time from a 100 m cloud base.

Step 1. Terminal velocity from Derivation C (buoyancy negligible since ρf≪ρs\rho_f\ll\rho_s):

vt=2ρsgr29μ=2×1000×9.81×(1.0×10−5)29×1.8×10−5v_t=\frac{2\rho_s g r^2}{9\mu}=\frac{2\times1000\times9.81\times(1.0\times10^{-5})^2}{9\times1.8\times10^{-5}}

Step 2. Numerator: 2×1000×9.81×10−10=1.96×10−62\times1000\times9.81\times10^{-10}=1.96\times10^{-6}; denominator: 1.62×10−41.62\times10^{-4}. So vt=1.96×10−6/1.62×10−4=1.2×10−2 m/sv_t=1.96\times10^{-6}/1.62\times10^{-4}=1.2\times10^{-2}\ \mathrm{m/s} — about 1.2 cm/s.

Step 3. Validity check: Re=ρfvt(2r)/μ=1.2×0.012×2×10−5/1.8×10−5=1.6×10−2≪1Re=\rho_f v_t(2r)/\mu=1.2\times0.012\times2\times10^{-5}/1.8\times10^{-5}=1.6\times10^{-2}\ll1. Deep in the Stokes regime — the linear drag law was legitimate.

Step 4. Settling time from 100 m: t=100/0.012=8.3×103 s≈2.3t=100/0.012=8.3\times10^{3}\ \mathrm{s}\approx2.3 hours — and the gentlest updraft (a few cm/s) suspends the droplet indefinitely.

Step 5. vt≈1.2 cm/sv_t\approx1.2\ \mathrm{cm/s}, Re≈0.016Re\approx0.016, settling time hours. The r2r^2 scaling is the meteorology: double the droplet radius and it falls four times faster, which is why fog persists while drizzle (r∼100 μmr\sim100\ \mu\mathrm{m}, borderline beyond Stokes) reaches the ground.

Origins · 1 minClaude-Louis Navier and how this was discovered
CN
Claude-Louis Navier
1785–1836 · École des Ponts et Chaussées, Paris

Navier was a bridge engineer — France's foremost, author of the standard texts on structural mechanics and builder of suspension bridges — who in 1822 added molecular attraction and repulsion to Euler's fluid equations and produced, from a microscopic model now known to be wrong, exactly the right macroscopic equations. His viscosity coefficient emerged from hypothetical intermolecular forces; the equations survived because their form is fixed by symmetry and conservation, not by the microscopic story. Stokes rederived them in 1845 from the pure continuum argument used in this article — stress linear in strain rate — with no molecular hypothesis at all, which is why both names attach to the equations. Navier's own masterpiece, the Pont des Invalides, was cancelled mid-construction after a sewer collapse; his equations, indifferent to the irony, now simulate the Seine flowing past its replacement.

History
1755
— Euler publishes the equations of ideal flow; friction awaits a constitutive idea
1822
— Navier derives the viscous equations from a molecular-force model, introducing the viscosity coefficient
1845
— Stokes rederives them from the continuum hypothesis alone: stress linear in strain rate
1851
— Stokes solves creeping flow past a sphere: the 6-pi-mu-R-U drag law
1883
— Reynolds' dye experiments locate the laminar-turbulent transition and name the controlling number
1904
— Prandtl's boundary layer reconciles ideal flow with no-slip and resolves d'Alembert's paradox
1941
— Kolmogorov's cascade theory gives turbulence its minus-five-thirds spectrum
2000
— Global regularity of 3D solutions is named a Clay Millennium Problem, still open

Going further

References. Landau & Lifshitz, Fluid Mechanics (Vol. 6), Ch. I–II, §§15, 20 · Batchelor, An Introduction to Fluid Dynamics, Ch. 3–4 · Acheson, Elementary Fluid Dynamics, Ch. 2, 6 · Goldstein, Classical Mechanics, 3rd ed., Ch. 13 · Taylor, Classical Mechanics, Ch. 16 Key numerical landmarks: the Poiseuille channel flux Q=2Gh3/3μQ=2Gh^3/3\mu and pipe law Q=πR4G/8μQ=\pi R^4G/8\mu; Stokes drag 6πμRU6\pi\mu RU splits as 2πμRU2\pi\mu RU from pressure and 4πμRU4\pi\mu RU from viscous shear; Example 1 gives Q=1.0×10−6 m3/sQ=1.0\times10^{-6}\ \mathrm{m^3/s} and Re=1600Re=1600; Example 2 gives vt=1.2×10−2 m/sv_t=1.2\times10^{-2}\ \mathrm{m/s}, Re=1.6×10−2Re=1.6\times10^{-2}, and settling time t≈8.3×103 st\approx8.3\times10^3\ \mathrm{s}. Fluid properties at 20°C and the Re≈2300Re\approx2300 pipe-transition threshold are standard handbook values. The full story — boundary-layer theory, transition and instability, turbulence statistics and modeling, non-Newtonian fluids — lives in the Fluid Mechanics track (migrates later as its own subject); this chapter closes the mechanics thread at the equations themselves.

Builds on: Stress Tensor and Cauchy's Relation · Strain Tensor and Deformation of Continua · Linear Elasticity and Hooke's Law for Solids · Euler's Equations and Bernoulli's Theorem · Vorticity, Circulation, and Potential Flow Leads to: Elastic Waves in Solids · The One-Dimensional Wave Equation · Hamiltonian Density and Canonical Field Momentum

Where does the no-slip condition actually come from? It seems like an extra assumption smuggled in.

It is an empirical boundary condition, not derivable from the bulk equations — and it was controversial for a century, with Navier himself proposing partial slip. The molecular picture: fluid molecules adjacent to a solid exchange momentum with it so efficiently (adsorption, surface roughness at molecular scale) that the tangential velocity equilibrates to the wall's within a few molecular diameters. For continuum purposes that is v=vwall\mathbf{v}=\mathbf{v}_{\text{wall}} exactly. It fails measurably only where the continuum itself thins: rarefied gases (spacecraft reentry), nanochannels, and superhydrophobic surfaces show slip lengths of nanometers to microns. Everywhere else, no-slip is among the best-verified statements in fluid mechanics — and it is the sole reason boundary layers, skin friction, and vorticity generation at walls exist.

Honey is obviously more viscous than air. In what sense does air diffuse momentum faster?

Two different questions hide in "viscous." The shear stress produced by a given velocity gradient is set by the dynamic viscosity μ\mu — honey's is a hundred thousand times air's, which is why stirring honey is hard work. But how fast a velocity disturbance spreads through the quiescent fluid is set by the kinematic viscosity ν=μ/ρ\nu=\mu/\rho: the momentum injected must be shared among the local mass, and air has very little mass to convince. Numbers: νair=1.5×10−5 m2/s\nu_{\text{air}}=1.5\times10^{-5}\ \mathrm{m^2/s} versus νwater=1.0×10−6 m2/s\nu_{\text{water}}=1.0\times10^{-6}\ \mathrm{m^2/s}. A stopped fan's swirl dies in seconds across a room-scale eddy; the same-size eddy in a swimming pool coasts far longer. Whenever the question is "which term wins in the equation," it is ν\nu — hence Re=UL/νRe=UL/\nu — that referees.

Why is Stokes drag linear in velocity when everyday drag — cars, cyclists — is quadratic?

They are opposite ends of the Reynolds axis, with different physics carrying the momentum. At Re≪1Re\ll1 the drag is transmitted by viscous stresses in a linear equation: double UU, double every field, double the force — F=6πμRUF=6\pi\mu RU. At Re≫1Re\gg1 the body must continuously accelerate the mass of fluid it plows through; momentum flux scales as ρU2\rho U^2 times frontal area, giving F=12CDρAU2F=\tfrac12C_D\rho AU^2 with CDC_D roughly constant. The crossover for a given object sits near Re∼1Re\sim1–10210^2. A dust grain, a bacterium, and a fog droplet live in the linear world (Example 2); a raindrop, a car, and a cyclist live in the quadratic one. Using the wrong law is among the commonest errors in estimation problems — always compute ReRe first.

What is the scallop theorem, and why does it rule how microorganisms swim?

The Stokes equations contain no time derivative — inertia is gone — so creeping flow is quasi-static and time-reversible: run any sequence of boundary motions backwards and the fluid retraces itself. Purcell's scallop theorem follows: a swimmer whose stroke is reciprocal (looks identical played forward and backward, like a scallop opening slowly and closing fast) achieves zero net displacement at Re=0Re=0 — the fast half undoes the slow half exactly, because the equations do not know about "fast." Real microswimmers therefore break time-symmetry geometrically: E. coli rotates a rigid helical flagellum (a chiral, non-reciprocal motion), sperm pass bending waves down their tails, and engineered microrobots use magnetic corkscrews. The theorem is also why micro-mixing is hard — reversibility resists stirring — which microfluidic chips defeat with geometry instead of turbulence.

Is blood a Newtonian fluid? Physiology examples keep using Poiseuille anyway.

Blood is honestly non-Newtonian: it is a suspension of deformable cells (~45% by volume), so its effective viscosity falls with shear rate (red cells align and deform), and in vessels below ~300 μm the cells migrate toward the axis, leaving a plasma-rich lubricating layer that lowers resistance (the Fåhræus–Lindqvist effect). Poiseuille with a constant μ≈3\mu\approx3–4×10−3 Pa s4\times10^{-3}\ \mathrm{Pa\,s} is nonetheless a good working model in large vessels at physiological shear rates, where the shear-thinning has saturated. The clinically robust content is the scaling: resistance ∝R−4\propto R^{-4} survives all the rheological corrections, which is why modest arterial narrowing has outsized hemodynamic cost and why vasodilation is such a powerful control knob.

The Millennium Problem asks about smoothness. Why would a smooth equation produce a singularity at all?

The suspect is vortex stretching. In the vorticity equation Dω/Dt=(ω⋅∇)v+ν∇2ω\mathrm{D}\boldsymbol{\omega}/\mathrm{D}t=(\boldsymbol{\omega}\cdot\nabla)\mathbf{v}+\nu\nabla^2\boldsymbol{\omega}, the stretching term feeds vorticity growth at a rate proportional to vorticity itself times the velocity gradient — which is itself built from vorticity. That self-amplifying loop could, in principle, drive ∣ω∣→∞|\boldsymbol{\omega}|\to\infty in finite time, outrunning viscous smoothing; nobody has proven it does or does not. In 2D the term vanishes identically and global smoothness is a theorem. The physical stakes are real but bounded: a mathematical singularity would signal the model breaking (continuum hypothesis, incompressibility) rather than infinite physical velocities — molecular scales intervene first. Recent computer-assisted work has produced rigorous blow-up results for the inviscid Euler equations in special geometries and numerical singularity candidates for related systems, sharpening where the danger lies.

How can pressure be computed if there is no equation of state in incompressible flow?

Pressure changes job. In compressible flow pp is thermodynamic, tied to ρ\rho and TT by a state equation. In incompressible flow it is the Lagrange multiplier of the constraint ∇⋅v=0\nabla\cdot\mathbf{v}=0: taking the divergence of the momentum equation gives a Poisson equation, ∇2p=−ρ ∂ivj ∂jvi\nabla^2p=-\rho\,\partial_i v_j\,\partial_j v_i, whose solution at each instant is exactly the pressure field needed to keep the velocity divergence-free. Two consequences: pressure responds instantaneously and globally (the infinite-sound-speed idealization), and numerical solvers must solve that global Poisson problem every time step — the pressure-projection step that dominates CFD budgets, as the kinematics article noted.

Everything here assumed constant viscosity. When does that fail, and what breaks first?

Two separate assumptions hide there: that μ\mu is constant in space, and that stress is linear in strain rate at all. The first fails benignly whenever temperature varies — μ\mu of liquids drops steeply with heating (engine oil is designed around this), gases the opposite — and the remedy is keeping μ\mu inside the divergence, ∂j(2μeij)\partial_j(2\mu e_{ij}). The second fails structurally for non-Newtonian fluids: polymer solutions and melts carry elastic memory (stress depends on deformation history), suspensions shear-thin or shear-thicken (cornstarch), and yield-stress fluids (toothpaste, drilling mud) refuse to flow below a threshold. Each needs its own constitutive law — Oldroyd-B, power-law, Bingham — slotted into the same Cauchy momentum balance. The balance equation is universal; the constitutive law is where the material's personality lives, exactly as in the elasticity articles.

Before this

Where this leads