Relative to the kinetic-energy inner product, integration by parts reverses incompressible base transport, transposes the velocity-gradient coupling, and preserves viscous diffusion. With reverse time , the adjoint base state is evaluated at . The Leray-Helmholtz projection or adjoint pressure enforces divergence-free adjoint velocity. The curl of a cross product and vorticity cross-product identity give the equivalent form .
For a fixed-composition inviscid fluid, specific enthalpy satisfies . Combining this identity with the vorticity cross-product identity gives the displayed equation, with and . It exposes entropy gradients as the thermodynamic source of a mismatch between Bernoulli function gradients and the vorticity term. In a steady adiabatic process, its projection along a streamline makes constant there.
An irrotational flow has . Hence a velocity potential exists locally, and globally on a simply connected domain, with . The exterior of a sphere in three dimensions has this property. Constant mass density reduces the continuity equation to , so
Thus the velocity potential is a harmonic function. For the Euler equations, use the vorticity cross-product identity
The last term vanishes. Since , the Euler momentum equation becomes
On each connected fluid region, a function with zero gradient is spatially constant. Therefore the Unsteady Bernoulli equation is
The freedom to add a function of time to the velocity potential changes but leaves the velocity field unchanged. On a multiply connected region, zero vorticity alone guarantees only local potentials; a global single-valued velocity potential additionally requires zero circulation around every closed path.
Use suffix notation, summing repeated indices, and write . For a twice continuously differentiable vector field, mixed derivatives commute. Thus the divergence of its curl satisfies
because the derivatives are symmetric in , while the Levi-Civita symbol is antisymmetric in those indices. Hence
For the second identity, use the contraction of two Levi-Civita symbols:
Rearranging each component proves the vorticity cross-product identity
The second identity needs first derivatives; the first additionally uses equality of the mixed second derivatives.
Let be the specific internal energy, the specific entropy, the absolute temperature, and the specific enthalpy. The first law of thermodynamics for a simple fluid of fixed composition is , so
The unmagnetized Euler equations for an inviscid fluid are . Define the vorticity and use the vorticity cross-product identity . Substitution gives the Crocco form of the unsteady Euler equation:
Adiabaticity means for smooth flow without dissipative heating. It does not require to be uniform between different fluid elements, so the entropy-gradient term generally remains. For a perfect gas with constant adiabatic exponent , one may write , but the thermodynamic derivation does not require that particular equation of state.
Use the kinetic-energy inner product , with perturbation energy . On divergence-free fields the primal generator, before the pressure projection, is
The base state is also divergence-free. The periodic boundary terms in cancel, and decay at removes the remaining boundary terms. Integration by parts changes to ; the Laplacian is self-adjoint under these conditions. Writing , the shear term has adjoint operator . A pressure gradient pairs to zero with a divergence-free field. Hence
where the last term enforces the divergence-free projection.
To conserve over the finite interval, the physical-time adjoint obeys . Put and ; then . This reverses the interval from towards , or towards .
For , the vorticity cross-product identity and the curl of a cross product
hold when both fields are divergence-free. Their difference equals the transport and shear terms in the adjoint operator. Therefore the adjoint linearized Navier-Stokes evolution is
The Leray-Helmholtz projection determines the adjoint pressure. The time-dependent base state is evaluated at ; no extra time derivative of that base state appears in the spatial adjoint operator.