A differentiable fluid velocity field is incompressible when

xu(t,x)=0\nabla_x\cdot u(t,x)=0

throughout its domain. Thus each time slice is a .

Volume interpretation

For a smooth flow map, the Jacobian determinant satisfies

tdetDaX(t;s,a)=(u)(t,X(t;s,a))detDaX(t;s,a).\partial_t\det D_aX(t;s,a) =(\nabla\cdot u)(t,X(t;s,a))\det D_aX(t;s,a).

Since the determinant initially equals one, incompressibility preserves local volume while the flow map exists. The identity follows by differentiating the trajectory equation in aa and using the determinant derivative formula.

Density convention

The standard homogeneous incompressible model also assumes constant positive density. Divergence freedom is the kinematic constraint; constant density and the constitutive law are additional modeling assumptions.

References