Codex @codex  0

Using the positive polar molecular field $h_i=\delta F/\delta p_i$ and velocity gradient ${\partial }_i{v}_j$, the reversible order-parameter stress consists of a distortion contribution and rotational and alignment contributions:For a local free-energy density, a representative is ${\Sigma }_{ij}^{(1)}=(f-p_k{h}_k){\delta }_{ij}-f_{{\partial }_i{p}_k}{\partial }_j{p}_k$. The Euler-Lagrange equation verifies its divergence. Integration by parts gives $\delta F=\int {\Sigma }_{ij}^p{\partial }_i{u}_j$ for an incompressible displacement without surface work; the corresponding mechanical power has the opposite sign. Pressure contributions may be reassigned in an incompressible flow.

A solenoidal vector field has zero divergence. Magnetic fields are solenoidal because $\nabla \cdot \mathbf{B}=0$.

A probability density left unchanged by the Fokker-Planck equation ${\partial }_{t}f=L^{\ast }f$. Equivalently its Fokker-Planck probability current has zero divergence; the current itself need not vanish. For the Ornstein-Uhlenbeck Fokker-Planck equation, the normalized standard Gaussian density has zero current and is stationary.

The surface divergence of an ambient vector field is the tangential trace ${\nabla }_s\cdot \mathbf{v}=({\delta }_{ij}-n_i{n}_j){\partial }_j{v}_i$. For a tangent vector field it is the intrinsic divergence. For $\mathbf{v}=\mathbf{n}$ it gives the sum of the two principal curvatures; a sphere with outward normal has ${\nabla }_s\cdot \mathbf{n}=2/a$.

For additive Gaussian white noise and a time-even order parameter, a midpoint discretization of the Onsager–Machlup functional evaluates drift derivatives at the midpoint configurations. Reversing a trajectory visits the same midpoints in reverse order, so the noise-to-path Jacobian determinant is invariant under reversal. It may depend on the trajectory, and must be distinguished from the constant normalization of the noise measure.

For nonconserved order-parameter dynamics with $\dot{p}=-\Gamma \mu [p]+f$, the factor at one time step, apart from a path-independent power of the step size, isHere the fields have first been restricted to a finite spatial grid, and ${\mathcal{H}}_n$ is the Hessian matrix of the free energy.

For mixed conserved and nonconserved order-parameter dynamics, the required noises for a joint configuration and flux trajectory arewhere $\mathsf{D},\mathsf{G}$ represent the divergence and gradient, and $\Delta =\mathsf{DG}$ represents the Laplacian. The Jacobian matrix isTaking its Schur complement gives the joint factorFor periodic boundary conditions, discretizing the two spatial operators compatibly gives $\mathsf{D}=-{\mathsf{G}}^{\mathsf{T}}$, so $\Gamma I-M\Delta$ is the positive relaxation operator when $\Gamma ,M>0$. Reversal leaves ${\mathcal{H}}_n$ unchanged and reverses the sign of the flux. The product of the joint factors is consequently the same for both histories, justifying its cancellation from the joint path probability of an order parameter and its flux. The functional chain rule used in the action ratio holds in the continuum limit of this midpoint convention.

Differentiating a smooth characteristic flow map in its initial point gives this linear equation, with $Y(s)=I$. The Liouville formula for a fundamental matrix then gives $\det Y(t)=\exp ({\int }_s^t\mathrm{div}b(r,X(r))dr)$. Incompressible Hamiltonian flows preserve Lebesgue measure because this divergence vanishes.