Crocco form of the unsteady Euler equation 2026-10-14
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 , soThus the velocity potential is a harmonic function. For the Euler equations, use the vorticity cross-product identityThe last term vanishes. Since , the Euler momentum equation becomesOn each connected fluid region, a function with zero gradient is spatially constant. Therefore the Unsteady Bernoulli equation isThe 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.
Past exam of the mathematics course of the University of Cambridge 2006 ia Paper 3 4A Solution Created 2026-09-24 Updated 2026-10-14
Use suffix notation, summing repeated indices, and write . For a twice continuously differentiable vector field, mixed derivatives commute. Thus the divergence of its curl satisfiesbecause the derivatives are symmetric in , while the Levi-Civita symbol is antisymmetric in those indices. HenceFor the second identity, use the contraction of two Levi-Civita symbols:Rearranging each component proves the vorticity cross-product identityThe second identity needs first derivatives; the first additionally uses equality of the mixed second derivatives.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 69 2 a Solution Created 2026-10-03 Updated 2026-10-14
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 , soThe 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.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 331 4 a Solution Created 2026-10-03 Updated 2026-10-06
Use the kinetic-energy inner product , with perturbation energy . On divergence-free fields the primal generator, before the pressure projection, isThe 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. Hencewhere 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 producthold 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 isThe 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.