Variational Lagrangian formulation of the Euler equations for incompressible flow: A simple derivation

Abstract: In 1966, Arnold [1] showed that the Lagrangian flow of ideal incompressible fluids (described by Euler equations) coincide with the geodesic flow on the manifold of volume preserving diffeomorphisms of the fluid domain. Arnold's proof and the subsequent work on this topic rely heavily on the properties of Lie groups and Lie algebras which remain unfamiliar to most fluid dynamicists. In this note, we provide a simple derivation of Arnold's result which only uses the classical methods of calculus of variations. In particular, we show that the Lagrangian flow maps generated by the solutions of the incompressible Euler equations coincide with the stationary curves of an appropriate energy functional when the extremization is carried out over the set of volume-preserving diffeomorphisms.