Ideal Fluid Kinematics and the Continuity Equation

Fluid mechanics begins not with forces but with a question of description: how do you even write down the configuration of a medium with effectively infinitely many degrees of freedom? Two complementary answers emerge. In the Lagrangian description you label each material parcel by its initial position a\mathbf{a} and track its trajectory r(a,t)\mathbf{r}(\mathbf{a},t) — particle mechanics for a continuum of particles. In the Eulerian description, far more convenient for field equations, you forget which parcel is where and instead record the velocity field v(r,t)\mathbf{v}(\mathbf{r},t), the density ρ(r,t)\rho(\mathbf{r},t), and the pressure p(r,t)p(\mathbf{r},t) at fixed spatial points. The bridge between the pictures is the material derivative D/Dt=∂t+v⋅∇\mathrm{D}/\mathrm{D}t=\partial_t+\mathbf{v}\cdot\nabla: the rate of change experienced by an observer riding with the flow. Because the fluid acceleration Dv/Dt\mathrm{D}\mathbf{v}/\mathrm{D}t contains the advective term (v⋅∇)v(\mathbf{v}\cdot\nabla)\mathbf{v}, the equations of fluid motion are nonlinear in v\mathbf{v} even when the flow is steady — the single structural fact from which most of fluid dynamics' richness (and difficulty) descends. Mass is neither created nor destroyed, and that one fact, applied to an arbitrary control volume, produces the continuity equation — the cleanest example in physics of a local conservation law: a density ρ\rho paired with a flux ρv\rho\mathbf{v} such that any change inside a region is exactly the net flow through its boundary. The same template recurs for charge, energy, and quantum probability. This article isolates the kinematic and mass-conservation foundation on which Euler's equation, vorticity dynamics, and the Navier–Stokes equations all stand; the techniques parallel those already built for the loaded string's continuum limit and the strain tensor of deformable solids.

Key takeaways
  • Fluid motion has two equivalent descriptions: Lagrangian (follow material parcels, r(a,t)\mathbf{r}(\mathbf{a},t)) and Eulerian (record fields v(r,t)\mathbf{v}(\mathbf{r},t) at fixed points).
  • The dictionary between them is the material derivative DDt=∂t+v⋅∇\frac{\mathrm{D}}{\mathrm{D}t}=\partial_t+\mathbf{v}\cdot\nabla — the rate of change following a parcel; its advective term makes fluid dynamics nonlinear.
  • Mass conservation on any control volume localizes to the continuity equation ∂tρ+∇⋅(ρv)=0\partial_t\rho+\nabla\cdot(\rho\mathbf{v})=0, valid for every fluid whatsoever.
  • The divergence ∇⋅v\nabla\cdot\mathbf{v} is the fractional rate of volume expansion of a material element; incompressible flow means Dρ/Dt=0\mathrm{D}\rho/\mathrm{D}t=0, equivalently ∇⋅v=0\nabla\cdot\mathbf{v}=0.
  • In steady duct flow, continuity integrates to ρAv=const\rho A v=\text{const} — the reason nozzles speed water up and streamline crowding encodes speed.
  • Key idea: All of mass conservation is encoded in ∂tρ+∇⋅(ρv)=0\partial_t\rho+\nabla\cdot(\rho\mathbf{v})=0; the material derivative D/Dt=∂t+v⋅∇\mathrm{D}/\mathrm{D}t=\partial_t+\mathbf{v}\cdot\nabla converts Eulerian field rates into the rate seen by a comoving parcel.

Where this lives today

Every weather forecast you read is a numerical solution of a continuity equation coupled to momentum and energy balances. Global atmosphere models advance the density and wind fields on grids of a few kilometers, and their dynamical cores are built around exactly the conservation-form structure of equation (2) — fluxes through cell faces, finite-volume bookkeeping, mass conserved to machine precision over million-step runs, the discrete descendant of Derivation B's control volume. Ocean and climate models do the same for a stratified, incompressible-to-excellent-approximation sea. In engineering CFD the incompressible constraint ∇⋅v=0\nabla\cdot\mathbf{v}=0 is the expensive part: it is not an evolution equation but an instantaneous condition, enforced at every time step by solving a global Poisson problem for pressure ("pressure projection"). GPU solvers in 2026 — from Formula 1 aerodynamics to real-time surgical blood-flow simulation — spend most of their cycles making velocity fields divergence-free, a striking case of a one-line kinematic identity dominating exascale compute budgets.

The physical picture

Imagine instrumenting a river two different ways. The Eulerian way is a fixed array of flow meters bolted to the riverbed, each reporting the local velocity as water rushes past. The Lagrangian way is a fleet of GPS-tagged corks, each reporting its own trajectory. Both fully describe the flow. The material derivative is the dictionary that translates meter-readings into cork-experiences: a cork's temperature changes both because the river warms up where it sits (∂t\partial_t) and because the cork drifts into warmer water (v⋅∇\mathbf{v}\cdot\nabla).

Figure
Eulerian meters versus Lagrangian corks — fixed probes record fields at points while a drifting cork samples the field along its path; the material derivative adds the two ways its reading can change
streamlines of v(r,t) fixed meter: reads ∂f/∂t fixed meter drifting cork samples the field along its path v Df/Dt = ∂f/∂t + (v·∇)f change at the point + change from moving through the field

Continuity is bookkeeping. Draw an imaginary box in the fluid: the only way the mass inside can change is by mass crossing the walls. Add up the flux ρv\rho\mathbf{v} over the walls and you have the rate of loss; shrink the box to a point and the surface sum becomes the divergence ∇⋅(ρv)\nabla\cdot(\rho\mathbf{v}). This is exactly the localization move used for the Stress Tensor and Cauchy's Relation — balance on an arbitrary region, divergence theorem, then "the region was arbitrary."

Figure
Control-volume bookkeeping — mass inside a fixed box changes only by flux through its walls; shrinking the box turns the wall sum into a divergence and yields the continuity equation
M(t) = ∫ ρ dV mass flux in, ρv mass flux out dM/dt = − (net outflow through walls) box → point: ∂ρ/∂t + ∇·(ρv) = 0 fixed control volume V, boundary S with outward normal n̂

Incompressibility is a no-pile-up rule. ∇⋅v=0\nabla\cdot\mathbf{v}=0 says whatever volume flows into a tiny region per second must flow out, because the fluid cannot be squeezed. Streamlines therefore crowd where the flow speeds up, exactly like the field lines of any divergence-free field — the picture to keep for the duct examples below, and the reason a river narrows where it runs fast.

The core equations

Everything in this subject is written in terms of the rate of change a moving parcel actually experiences. Take any field ff carried by the fluid — temperature, a velocity component, density. Its value at the parcel changes for two reasons: the field evolves at the point where the parcel currently is, and the parcel moves to a place where the field has a different value. The sum is the material derivative, derived cleanly in Derivation A:

DfDt=∂f∂t+(v⋅∇)f(1)\frac{\mathrm{D}f}{\mathrm{D}t}=\frac{\partial f}{\partial t}+(\mathbf{v}\cdot\nabla)f \qquad (1)

where: f(r,t)f(\mathbf{r},t) — any field quantity carried by the fluid; ∂tf\partial_t f — local rate of change at a fixed point; (v⋅∇)f(\mathbf{v}\cdot\nabla)f — advective change from riding through a spatially varying field; v(r,t)\mathbf{v}(\mathbf{r},t) — the Eulerian velocity field. Applied to velocity itself, Dv/Dt=∂tv+(v⋅∇)v\mathrm{D}\mathbf{v}/\mathrm{D}t=\partial_t\mathbf{v}+(\mathbf{v}\cdot\nabla)\mathbf{v} is the parcel's acceleration — nonzero even in steady flow wherever streamlines bend or crowd. That quadratic-in-v\mathbf{v} term is the seed of turbulence. Mass conservation, localized on an arbitrary fixed control volume (Derivation B), becomes the continuity equation in conservation form — a density paired with its flux:

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

where: ρ(r,t)\rho(\mathbf{r},t) — mass density; ρv\rho\mathbf{v} — the mass flux (mass crossing unit area per unit time); ∇⋅\nabla\cdot — divergence. Read it as: density can only change locally by mass streaming in or out. No constitutive assumption enters — equation (2) holds for honey, air, and neutron-star matter alike, which is why it survives unchanged into the Euler and Navier–Stokes systems downstream. Expanding the divergence with the product rule and regrouping the first two terms as a material derivative gives the equivalent material form — the same law, but read from the parcel's seat:

DρDt+ρ ∇⋅v=0(3)\frac{\mathrm{D}\rho}{\mathrm{D}t}+\rho\,\nabla\cdot\mathbf{v}=0 \qquad (3)

where: Dρ/Dt\mathrm{D}\rho/\mathrm{D}t — density change following the parcel; ∇⋅v\nabla\cdot\mathbf{v} — the parcel's fractional volume expansion rate, as Derivation C proves via the Jacobian of the flow map. A parcel's density falls exactly as fast as its volume grows — conservation of the parcel's mass, written as calculus. Equation (3) makes the incompressible idealization transparent. If each parcel keeps its density, Dρ/Dt=0\mathrm{D}\rho/\mathrm{D}t=0, then (with ρ≠0\rho\neq0) the velocity field must be divergence-free:

∇⋅v=0(4)\nabla\cdot\mathbf{v}=0 \qquad (4)

where: ∇⋅v\nabla\cdot\mathbf{v} — local volumetric expansion rate; zero means every material element preserves its volume. This is an excellent approximation for liquids in almost all regimes and for gases moving well below the sound speed (Mach number ≲0.3\lesssim 0.3); it is a statement about the flow, not the substance — air in a gentle breeze flows incompressibly. For steady flow in a duct or stream tube, integrating equation (2) between two cross sections gives the workhorse one-dimensional relation:

ρ1A1v1=ρ2A2v2(5)\rho_1 A_1 v_1=\rho_2 A_2 v_2 \qquad (5)

where: AA — cross-sectional area; vv — speed averaged over the section; ρ\rho — density at that station. For incompressible flow this is Av=constA v=\text{const}: halve the area, double the speed. It is the quantitative content of streamline crowding, and the kinematic half of every venturi-meter and nozzle calculation (the pressure half is Bernoulli's theorem, next article). Two-dimensional incompressible flow admits a beautiful shortcut. Since ∇⋅v=0\nabla\cdot\mathbf{v}=0 in the plane, the velocity can be generated from a single scalar, the stream function:

vx=∂ψ∂y,vy=−∂ψ∂x(6)v_x=\frac{\partial\psi}{\partial y},\qquad v_y=-\frac{\partial\psi}{\partial x} \qquad (6)

where: ψ(x,y,t)\psi(x,y,t) — the stream function; the construction satisfies equation (4) identically. Curves of constant ψ\psi are streamlines, and the difference Δψ\Delta\psi between two streamlines equals the volume flux carried between them — a scalar that draws the flow's own portrait. Its irrotational partner, the velocity potential, takes over in the vorticity and potential-flow article.

Derivation AMaterial derivative from the chain rule

We derive the operator that converts Eulerian field data into the rate of change experienced by a moving parcel. The strategy is nothing more than the multivariable chain rule applied to a field evaluated along a trajectory — but doing it once carefully explains why the advective term is there, why it is nonlinear in velocity, and why "steady" does not mean "unaccelerated." Watch that the parcel's velocity r˙\dot{\mathbf{r}} is, by construction, the local field value v(r(t),t)\mathbf{v}(\mathbf{r}(t),t).

Step 1. Let a parcel follow the trajectory r(t)\mathbf{r}(t) with r˙=v(r(t),t)\dot{\mathbf{r}}=\mathbf{v}(\mathbf{r}(t),t), and let f(r,t)f(\mathbf{r},t) be any field. The value the parcel experiences is the composite function

g(t)≡f(r(t),t)g(t)\equiv f(\mathbf{r}(t),t)

Step 2. Differentiate with the chain rule, summing over the repeated index ii:

dgdt=∂f∂t+dridt∂f∂ri\frac{\mathrm{d}g}{\mathrm{d}t}=\frac{\partial f}{\partial t}+\frac{\mathrm{d}r_i}{\mathrm{d}t}\frac{\partial f}{\partial r_i}

Why two terms: the field changes under the parcel's feet even if it stands still, and the parcel additionally slides its evaluation point through the field's spatial variation.

Step 3. Substitute dri/dt=vi\mathrm{d}r_i/\mathrm{d}t=v_i and name the result:

DfDt≡∂tf+vi ∂if=∂tf+(v⋅∇)f\frac{\mathrm{D}f}{\mathrm{D}t}\equiv\partial_t f+v_i\,\partial_i f=\partial_t f+(\mathbf{v}\cdot\nabla)f

Step 4. Apply it to the velocity field itself, component by component:

DvjDt=∂tvj+(v⋅∇)vj\frac{\mathrm{D}v_j}{\mathrm{D}t}=\partial_t v_j+(\mathbf{v}\cdot\nabla)v_j

Why this matters: the acceleration entering Newton's second law for the parcel is quadratic in v\mathbf{v}. Every equation of fluid dynamics inherits this nonlinearity from pure kinematics — before any force has been mentioned. *Why this works: for a steady one-dimensional nozzle flow v(x)v(x), the material derivative gives a=v dv/dxa=v\,\mathrm{d}v/\mathrm{d}x; substituting v=Q/A(x)v=Q/A(x) reproduces the acceleration obtained by directly differentiating the parcel's position in time.*

Go deeper · Derivation B · 1 minContinuity equation from a fixed control volume
Derivation BContinuity equation from a fixed control volume

We localize "mass is conserved" into a partial differential equation. The strategy is the standard three-move pattern of continuum physics — balance on an arbitrary region, divergence theorem, localization — applied to the simplest conserved quantity there is. Let VV be a fixed region of space with boundary SS and outward normal n^\hat{\mathbf{n}}. The only subtlety is a sign: outward flux decreases the mass inside.

Step 1. The mass currently inside the fixed region is

M(t)=∫Vρ(r,t) dVM(t)=\int_V \rho(\mathbf{r},t)\,\mathrm{d}V

Step 2. Because VV does not move, the time derivative passes through the integral and acts on the integrand alone:

dMdt=∫V∂ρ∂t dV\frac{\mathrm{d}M}{\mathrm{d}t}=\int_V \frac{\partial\rho}{\partial t}\,\mathrm{d}V

Why partial: at a fixed integration point only the explicit time dependence of ρ\rho can change the value.

Step 3. Mass leaves through the boundary at the rate of the outward flux. The mass crossing a patch dS\mathrm{d}S per unit time is ρ v⋅n^ dS\rho\,\mathbf{v}\cdot\hat{\mathbf{n}}\,\mathrm{d}S, so conservation states

∫V∂ρ∂t dV=−∮Sρ v⋅n^ dS\int_V \frac{\partial\rho}{\partial t}\,\mathrm{d}V=-\oint_S \rho\,\mathbf{v}\cdot\hat{\mathbf{n}}\,\mathrm{d}S

Why the minus sign: n^\hat{\mathbf{n}} points outward, so positive v⋅n^\mathbf{v}\cdot\hat{\mathbf{n}} is outflow, which depletes MM.

Step 4. Convert the surface integral with the divergence theorem:

∮Sρ v⋅n^ dS=∫V∇⋅(ρv) dV\oint_S \rho\,\mathbf{v}\cdot\hat{\mathbf{n}}\,\mathrm{d}S=\int_V \nabla\cdot(\rho\mathbf{v})\,\mathrm{d}V

Step 5. Collect both sides under one integral and localize:

∫V(∂ρ∂t+∇⋅(ρv))dV=0⟹∂ρ∂t+∇⋅(ρv)=0\int_V\left(\frac{\partial\rho}{\partial t}+\nabla\cdot(\rho\mathbf{v})\right)\mathrm{d}V=0 \quad\Longrightarrow\quad \frac{\partial\rho}{\partial t}+\nabla\cdot(\rho\mathbf{v})=0

Why localization is allowed: the balance holds for every region VV; a continuous integrand that integrates to zero over all regions must vanish pointwise. *Why this closes the loop: integrating the local equation back over any fixed volume and applying Gauss's theorem recovers the global balance M˙=−∮Sρv⋅n^ dS\dot M=-\oint_S\rho\mathbf{v}\cdot\hat{\mathbf{n}}\,\mathrm{d}S; the identical three-move pattern — arbitrary region, divergence theorem, localization — yields Cauchy's equation of motion when applied to momentum balance instead.*

Go deeper · Derivation C · 1 minDivergence as the parcel expansion rate
Derivation CDivergence as the parcel expansion rate

We prove that ∇⋅v\nabla\cdot\mathbf{v} is the fractional rate of volume growth of a material element — the geometric fact that makes the material form of continuity, and the meaning of incompressibility, transparent. The strategy runs through the Lagrangian flow map: express the current volume of a parcel through the Jacobian determinant of the map from initial labels to current positions, then differentiate that determinant following the flow. The payoff is Euler's expansion formula, plus a second, independent route to the continuity equation.

Step 1. Let r(a,t)\mathbf{r}(\mathbf{a},t) map each initial label a\mathbf{a} to the parcel's current position. A material volume element evolves as

δV(t)=J(t) δV0,J=det⁡ ⁣(∂ri∂aj)\delta V(t)=J(t)\,\delta V_0,\qquad J=\det\!\left(\frac{\partial r_i}{\partial a_j}\right)

Why: the Jacobian is precisely the local volume-stretch factor of the map, exactly as in any change of variables.

Step 2. Differentiate the determinant following the flow. Using ∂r˙i/∂aj=(∂vi/∂rk)(∂rk/∂aj)\partial \dot r_i/\partial a_j=(\partial v_i/\partial r_k)(\partial r_k/\partial a_j) and the rule that differentiating a determinant sums over its rows, every term assembles into the trace of the velocity gradient:

DJDt=J ∂vi∂ri=J (∇⋅v)\frac{\mathrm{D}J}{\mathrm{D}t}=J\,\frac{\partial v_i}{\partial r_i}=J\,(\nabla\cdot\mathbf{v})

Why the trace appears: each row differentiation inserts one factor of the velocity gradient; the off-diagonal insertions cancel by the determinant's antisymmetry, leaving ∂vi/∂ri\partial v_i/\partial r_i.

Step 3. Read off the fractional expansion rate of the element:

1δVD(δV)Dt=1JDJDt=∇⋅v\frac{1}{\delta V}\frac{\mathrm{D}(\delta V)}{\mathrm{D}t}=\frac{1}{J}\frac{\mathrm{D}J}{\mathrm{D}t}=\nabla\cdot\mathbf{v}

Step 4. A material parcel keeps its mass, D(ρ δV)/Dt=0\mathrm{D}(\rho\,\delta V)/\mathrm{D}t=0. Expand with the product rule:

δV DρDt+ρ D(δV)Dt=0\delta V\,\frac{\mathrm{D}\rho}{\mathrm{D}t}+\rho\,\frac{\mathrm{D}(\delta V)}{\mathrm{D}t}=0

Step 5. Divide by δV\delta V and insert Step 3:

DρDt+ρ ∇⋅v=0\frac{\mathrm{D}\rho}{\mathrm{D}t}+\rho\,\nabla\cdot\mathbf{v}=0

Why this closes the loop: the material form of continuity, obtained in Derivation B by algebra, here falls out of pure geometry — and incompressibility ∇⋅v=0\nabla\cdot\mathbf{v}=0 is revealed as literally "parcel volume is preserved." *Why this is consistent: for the uniform expansion v=Hr\mathbf{v}=H\mathbf{r} (Hubble-like flow), ∇⋅v=3H\nabla\cdot\mathbf{v}=3H and the formula predicts δV∝e3Ht\delta V\propto e^{3Ht}, matching the exact cube-growth of a comoving box — a clean check of Euler's identity DJ/Dt=J∇⋅v\mathrm{D}J/\mathrm{D}t=J\nabla\cdot\mathbf{v}.*

Limiting cases

CaseResultMeaning
Incompressible flow∇⋅v=0\nabla\cdot\mathbf{v}=0Each parcel keeps its density (Dρ/Dt=0\mathrm{D}\rho/\mathrm{D}t=0); the velocity field is divergence-free. Excellent for liquids generally and for gases below Mach ≈0.3\approx0.3.
Steady flow∇⋅(ρv)=0\nabla\cdot(\rho\mathbf{v})=0With ∂tρ=0\partial_t\rho=0 the mass flux is divergence-free even when the medium is compressible; integrates to ρAv=const\rho A v=\text{const} along a stream tube.
Uniform constant densityρ=ρ0⇒∇⋅v=0\rho=\rho_0\Rightarrow\nabla\cdot\mathbf{v}=0The textbook special case of incompressibility; note stratified flows are incompressible without being uniform.
Acoustic (linearized) limit∂tρ′+ρ0∇⋅v=0\partial_t\rho'+\rho_0\nabla\cdot\mathbf{v}=0Small disturbances about rest: dropping the quadratic term gives the linear continuity equation that, with linearized momentum balance, builds the sound-wave equation.
No flow∂tρ=0\partial_t\rho=0With v=0\mathbf{v}=0 everywhere, density is frozen: statics. The equation reduces to the trivial truth that mass sits still.

Worked examples

Example 1 — garden hose with a nozzle (confidence builder). A hose of inner diameter 1.9 cm1.9\ \mathrm{cm} delivers Q=15 L/minQ=15\ \mathrm{L/min} of water. The nozzle exit has diameter 6.0 mm6.0\ \mathrm{mm}. Find the speed in the hose, the exit speed, and the average acceleration of a parcel in the 5.0 cm5.0\ \mathrm{cm}-long nozzle.

Step 1. Convert the flow rate: Q=15 L/min=15×10−3/60 m3/s=2.5×10−4 m3/sQ=15\ \mathrm{L/min}=15\times10^{-3}/60\ \mathrm{m^3/s}=2.5\times10^{-4}\ \mathrm{m^3/s}.

Step 2. Hose cross section: A1=π(0.0095)2=2.84×10−4 m2A_1=\pi(0.0095)^2=2.84\times10^{-4}\ \mathrm{m^2}, so v1=Q/A1=2.5×10−4/2.84×10−4=0.88 m/sv_1=Q/A_1=2.5\times10^{-4}/2.84\times10^{-4}=0.88\ \mathrm{m/s}.

Step 3. Nozzle exit: A2=π(0.0030)2=2.83×10−5 m2A_2=\pi(0.0030)^2=2.83\times10^{-5}\ \mathrm{m^2}, so v2=Q/A2=2.5×10−4/2.83×10−5=8.8 m/sv_2=Q/A_2=2.5\times10^{-4}/2.83\times10^{-5}=8.8\ \mathrm{m/s}. The area ratio is (1.9/0.6)2≈10(1.9/0.6)^2\approx10, and the speed jumps by the same factor of ten — equation (5) at work.

Step 4. The flow in the nozzle is steady, so all acceleration is advective: a≈v Δv/Δxa\approx v\,\Delta v/\Delta x. Using the mean speed vˉ=12(0.88+8.8)=4.85 m/s\bar v=\tfrac12(0.88+8.8)=4.85\ \mathrm{m/s} over Δx=0.05 m\Delta x=0.05\ \mathrm{m}: a≈4.85×(8.8−0.88)/0.05=4.85×158.4≈7.7×102 m/s2a\approx4.85\times(8.8-0.88)/0.05=4.85\times158.4\approx7.7\times10^{2}\ \mathrm{m/s^2}.

Step 5. The water moves at 0.88 m/s0.88\ \mathrm{m/s} in the hose, exits at 8.8 m/s8.8\ \mathrm{m/s}, and parcels in the nozzle accelerate at roughly 770 m/s2770\ \mathrm{m/s^2} — about 80g80g — with ∂tv=0\partial_t\mathbf{v}=0 everywhere. Steady is not the same as unaccelerated.

Example 2 — stagnation-point flow (exam level). A two-dimensional flow near a stagnation point is v=(kx, −ky)\mathbf{v}=(kx,\,-ky) with k=2.0 s−1k=2.0\ \mathrm{s^{-1}}. Verify incompressibility, find the stream function and streamlines, and compute the parcel acceleration at (x,y)=(0.50, 0.20) m(x,y)=(0.50,\,0.20)\ \mathrm{m}.

Step 1. Divergence: ∇⋅v=∂x(kx)+∂y(−ky)=k−k=0\nabla\cdot\mathbf{v}=\partial_x(kx)+\partial_y(-ky)=k-k=0. The flow is incompressible everywhere — equation (4) holds exactly.

Step 2. Stream function from equation (6): vx=∂yψ=kxv_x=\partial_y\psi=kx gives ψ=kxy+g(x)\psi=kxy+g(x); then vy=−∂xψ=−ky−g′(x)v_y=-\partial_x\psi=-ky-g'(x) must equal −ky-ky, so g′=0g'=0. Hence ψ=kxy\psi=kxy, and streamlines are the hyperbolas xy=constxy=\text{const} — fluid sweeping in along yy and out along xx around the stagnation point at the origin.

Step 3. The flow is steady, so the acceleration is purely advective, ai=(v⋅∇)via_i=(\mathbf{v}\cdot\nabla)v_i. Compute each component: ax=vx∂xvx+vy∂yvx=(kx)(k)+(−ky)(0)=k2xa_x=v_x\partial_x v_x+v_y\partial_y v_x=(kx)(k)+(-ky)(0)=k^2x, and ay=vx∂xvy+vy∂yvy=(kx)(0)+(−ky)(−k)=k2ya_y=v_x\partial_x v_y+v_y\partial_y v_y=(kx)(0)+(-ky)(-k)=k^2y.

Step 4. Evaluate at (0.50, 0.20) m(0.50,\,0.20)\ \mathrm{m} with k2=4.0 s−2k^2=4.0\ \mathrm{s^{-2}}: ax=4.0×0.50=2.0 m/s2a_x=4.0\times0.50=2.0\ \mathrm{m/s^2}, ay=4.0×0.20=0.80 m/s2a_y=4.0\times0.20=0.80\ \mathrm{m/s^2}; magnitude ∣a∣=2.02+0.802=4.64=2.15 m/s2|\mathbf{a}|=\sqrt{2.0^2+0.80^2}=\sqrt{4.64}=2.15\ \mathrm{m/s^2}.

Step 5. ψ=kxy\psi=kxy with hyperbolic streamlines, and the parcel at (0.50,0.20)(0.50,0.20) m accelerates at (2.0, 0.80) m/s2(2.0,\,0.80)\ \mathrm{m/s^2}, magnitude 2.2 m/s22.2\ \mathrm{m/s^2}, pointing radially away from the stagnation point. Note the elegant structure a=k2(x,y)=k2r\mathbf{a}=k^2(x,y)=k^2\mathbf{r}: an effective outward "centrifugal" field, which the pressure gradient must supply once dynamics (Euler's equation) enters.

Origins · 1 minLeonhard Euler and how this was discovered
LE
Leonhard Euler
1707–1783 · Basel, St. Petersburg, Berlin

Euler is the reason fluid mechanics is a field theory. Where his contemporaries reasoned about tubes and efflux, Euler introduced the velocity field itself — the function v(r,t)\mathbf{v}(\mathbf{r},t) at every point of space — and in his great memoirs of 1755–1757 wrote down both the continuity equation and the momentum equations of ideal flow in essentially modern notation, decades before "vector" was a word. The material derivative, the pressure as a field, the very idea that a PDE system could govern a continuum: all Euler. He did this while nearly blind, dictating calculations of legendary accuracy; his collected works run past 80 volumes, and the equation of ideal fluid motion still bears his name in the next article.

History
1687
— Newton's Principia Book II wrestles with fluid resistance, but without the field concept the treatment stays particulate and partly wrong
1738
— Daniel Bernoulli's Hydrodynamica relates speed and pressure along a tube, anticipating the energy integral of ideal flow
1752
— d'Alembert derives a form of the continuity equation for incompressible flow and stumbles onto his drag paradox
1757
— Euler's Principes généraux du mouvement des fluides gives the velocity field, the continuity equation, and the ideal momentum equations — fluid mechanics becomes a field theory
1822
— Navier adds molecular friction to Euler's equations; Stokes rederives them from the continuum stress tensor in 1845

Going further

References. Landau & Lifshitz, Fluid Mechanics (Vol. 6), §1–2 · Batchelor, An Introduction to Fluid Dynamics, Ch. 2 · Goldstein, Classical Mechanics, 3rd ed., Ch. 13 (continuous systems and fields) · Taylor, Classical Mechanics, Ch. 16 · Morin, Introduction to Classical Mechanics, continuum chapter Key results to keep in mind: the control-volume derivation confirms ∂tρ+∇⋅(ρv)=0\partial_t\rho+\nabla\cdot(\rho\mathbf{v})=0; Euler's expansion identity DJ/Dt=J ∇⋅v\mathrm{D}J/\mathrm{D}t=J\,\nabla\cdot\mathbf{v} provides a second, geometric route to the same continuity equation. Example 1's numbers are Q=2.5×10−4 m3/sQ=2.5\times10^{-4}\ \mathrm{m^3/s}, v1=0.88 m/sv_1=0.88\ \mathrm{m/s}, v2=8.8 m/sv_2=8.8\ \mathrm{m/s}, a≈7.7×102 m/s2a\approx7.7\times10^2\ \mathrm{m/s^2}; Example 2 yields stream function ψ=kxy\psi=kxy and acceleration a=k2r\mathbf{a}=k^2\mathbf{r}. The Mach ≈0.3\approx0.3 incompressibility rule of thumb is the standard engineering threshold, corresponding to density errors under approximately 5%. The full story — compressible flow, boundary layers, flow instabilities, turbulence — lives in the Fluid Mechanics track (migrates later as its own subject); this chapter takes only what the continuum-mechanics thread needs.

Builds on: Discrete Loaded String and the Continuum Limit · Strain Tensor and Deformation of Continua · Vector calculus (divergence theorem) Leads to: Stress Tensor and Cauchy's Relation · Euler's Equations and Bernoulli's Theorem · Lagrangian Density and Continuum Lagrangian Formalism · Elastic Waves in Solids

Is the material derivative a total derivative? The notation D/Dt versus d/dt confuses me.

It is a total time derivative — but along one specific family of curves: the flow trajectories. Writing g(t)=f(r(t),t)g(t)=f(\mathbf{r}(t),t) with r˙=v\dot{\mathbf{r}}=\mathbf{v}, the ordinary dg/dt\mathrm{d}g/\mathrm{d}t equals Df/Dt\mathrm{D}f/\mathrm{D}t. The capital-D notation exists to flag that the answer depends on moving with the fluid: a raindrop falling through the same field, or a probe towed on a different path, would experience ∂tf+u⋅∇f\partial_t f+\mathbf{u}\cdot\nabla f with its own velocity u\mathbf{u}, not the fluid's. So D/Dt is "d/dt, evaluated riding the flow" — one operator from a whole family, singled out because Newton's law applies to material parcels.

Why is the advective term nonlinear? Velocity appears twice, but the equation looks innocent.

The parcel acceleration is (v⋅∇)v(\mathbf{v}\cdot\nabla)\mathbf{v}: the velocity field differentiated and evaluated using itself — velocity advecting velocity. Double the field everywhere and this term quadruples; solutions cannot be superposed. That single quadratic term is why fluid dynamics has no general superposition principle, why simple flows destabilize into turbulence, and why the Navier–Stokes regularity problem is worth a million dollars while the linear wave equation is a homework exercise. Note the nonlinearity is kinematic in origin: it appears before any force or constitutive law enters, purely from describing acceleration in field language.

Air is obviously compressible — I can pump up a bicycle tire. Why do we model air flow as incompressible?

Incompressibility is a property of a flow regime, not of the substance. What matters is whether pressure variations in the flow are large enough to change density appreciably. Bernoulli-scale pressure variations are ∼ρv2\sim\rho v^2, and comparing with the equation of state shows fractional density changes of order the Mach number squared: Δρ/ρ∼M2\Delta\rho/\rho\sim M^2. At 30 m/s30\ \mathrm{m/s} (a fast car), M≈0.09M\approx0.09 and Δρ/ρ≲1%\Delta\rho/\rho\lesssim1\%. The engineering rule is M≲0.3M\lesssim0.3 for incompressible treatment. Your tire pump is a different regime: you impose a large density change by confinement, not by flow.

Does the continuity equation assume anything about viscosity or the type of fluid?

Nothing at all — that is its distinction. Derivation B uses only "mass crosses boundaries at rate ρv⋅n^\rho\mathbf{v}\cdot\hat{\mathbf{n}}," true for honey, superfluid helium, air, and plasma alike. Viscosity, pressure, and constitutive behavior enter the momentum equation (Euler for ideal flow, Navier–Stokes for viscous flow), never the mass balance. That is why every fluid solver, whatever its physics models, carries the same continuity equation, and why the "density plus flux" template transfers verbatim to charge conservation in electromagnetism and probability conservation in quantum mechanics.

What exactly is the difference between a streamline, a pathline, and a streakline?

A streamline is an instantaneous curve everywhere tangent to v\mathbf{v} at one frozen moment — the field's portrait. A pathline is the actual trajectory of one parcel over time — the cork's GPS track. A streakline is the locus of all parcels that ever passed a fixed point — the smoke line from a chimney. In steady flow the three coincide, which is why intro courses blur them. In unsteady flow they differ dramatically: a smoke plume in gusty wind (streakline) looks nothing like either the instantaneous streamlines or any single particle's path.

The stream function seems like magic. Why does incompressibility buy me a scalar description in 2D, and does it work in 3D?

In 2D, ∇⋅v=∂xvx+∂yvy=0\nabla\cdot\mathbf{v}=\partial_x v_x+\partial_y v_y=0 is exactly the integrability condition guaranteeing a function ψ\psi with vx=∂yψv_x=\partial_y\psi, vy=−∂xψv_y=-\partial_x\psi — the same mathematics that gives potentials for conservative forces, with a twist of index. The bonus: v⋅∇ψ=0\mathbf{v}\cdot\nabla\psi=0, so ψ\psi is constant along streamlines, and Δψ\Delta\psi between two streamlines is the volume flux carried between them. In 3D one scalar no longer suffices; axisymmetric flows admit a Stokes stream function, and general 3D flows need a vector potential v=∇×A\mathbf{v}=\nabla\times\mathbf{A} — same idea, more components.

Can density vary in an incompressible flow? These seem contradictory.

They coexist perfectly well. Incompressibility says Dρ/Dt=0\mathrm{D}\rho/\mathrm{D}t=0: each parcel keeps its density as it moves. It does not say all parcels carry the same density. The stratified ocean — warm light water riding over cold dense water — flows incompressibly while ρ\rho varies strongly with depth; each water parcel keeps its own ρ\rho as it circulates. Only the special (though common) case "ρ\rho uniform and constant" collapses the two notions. The distinction matters physically: density stratification with incompressible flow drives internal waves, a huge part of geophysical fluid dynamics.

Where does the continuity equation sit in the Lagrangian field-theory formalism of this chapter?

It enters as kinematics, not dynamics. In the Lagrangian-density formulation of continuum mechanics — as in the Lagrangian Density and Continuum Lagrangian Formalism article — one varies an action to obtain the momentum equations, while mass conservation is built into the description from the start (in Lagrangian coordinates, ρ dV=ρ0 dV0\rho\,\mathrm{d}V=\rho_0\,\mathrm{d}V_0 is an identity of the flow map, Derivation C's statement ρJ=ρ0\rho J=\rho_0). Deeper still, Noether's theorem ties conservation laws to symmetries; for nonrelativistic fluids the mass conservation law pairs with the phase symmetry of the underlying matter description, foreshadowing the probability current of quantum mechanics.

Before this

Where this leads