The Euler equation for an inviscid, incompressible fluid in a three-dimensional domain M implies that the vorticity is a frozen-in field. This can be used to construct a symplectic structure on RxM. The normalized vorticity and the suspended velocity fields are Hamiltonian with the function t and the Bernoulli function, respectively. The symplectic structure incorporates the helicity conservation law as an identity. The infinitesimal dilation for the symplectic two-form can be interpreted as a current vector for the helicity. The symplectic dilation implies the existence of contact hypersurfaces. In particular, these include contact structures on the space of streamlines and the Bernoulli surfaces. The symplectic structure on RxM can be realized as symplectisations of these through the Euler equation.
The clebsch potential approach to fluid lagrangians is developed in order to establish contact with other approaches to fluids. Three variants of the perfect fluid approach are looked at. The first is an explicit linear lagrangian constructed directly from the clebsch potentials, this has fixed equation of state and explicit expression for the pressure but is less general than a perfect fluid. The second is lagrangians more general than that of a perfect fluid which are constructed from higher powers of the comoving vector. The third is lagrangians depending on two vector fields which can repr…
The Lagrangian and Hamiltonian structures for an ideal gauge-charged fluid are determined. Using a Kaluza-Klein point of view, the equations of motion are obtained by Lagrangian and Poisson reductions associated to the automorphism group of a principal bundle. As a consequence of the Lagrangian approach, a Kelvin-Noether theorem is obtained. The Hamiltonian formulation determines a non-canonical Poisson bracket associated to these equations.
The paper considers the overdetermined system of PDE that describes a special type of two-dimensional motion of an ideal fluid. The analysis of the compatibility of the system was performed. All solutions of the system are obtained in a closed form.
A basic issue for Navier-Stokes (NS) fluids is their characterization in terms of the so-called NS phase-space classical dynamical system, which provides a mathematical model for the description of the dynamics of infinitesimal (or i\textit{deal}) tracer particles in these fluids. The goal of this paper is to analyze the properties of a particular subset of solutions of the NS dynamical system, denoted as \textit{thermal tracer particles} (TTPs), whose states are determined uniquely by the NS fluid fields. Applications concerning both deterministic and stochastic NS fluids are pointed out. In …
The incompressibility constraint for fluid flow was imposed by Lagrange in the so-called Lagrangian variable description using his method of multipliers in the Lagrangian (variational) formulation. An alternative is the imposition of incompressibility in the Eulerian variable description by a generalization of Dirac's constraint method using noncanonical Poisson brackets. Here it is shown how to impose the incompressibility constraint using Dirac's method in terms of both the canonical Poisson brackets in the Lagrangian variable description and the noncanonical Poisson brackets in the Eulerian…
In this paper we give a simple proof that when the particle number is conserved, the Lagrangian of a barotropic perfect fluid is $\mathcal{L}_m=-ρ[c^2 +\int P(ρ)/ρ^2 dρ]$, where $ρ$ is the \textit{rest mass} density and $P(ρ)$ is the pressure. To prove this result nor additional fields neither Lagrange multipliers are needed. Besides, the result is applicable to a wide range of theories of gravitation. The only assumptions used in the derivation are: 1) the matter part of the Lagrangian does not depend on the derivatives of the metric, and 2) the particle number of the fluid is conserved ($\na…
We obtain a complete solution to the problem of classifying all two-dimensional ideal fluid flows with harmonic Lagrangian labelling maps; thus, we explicitly provide all solutions, with the specified structural property, to the incompressible two-dimensional Euler equations (in Lagrangian variables).
It is known that the Eulerian and Lagrangian structures of fluid flow can be drastically different; for example, ideal fluid flow can have a trivial (static) Eulerian structure, while displaying chaotic streamlines. Here we show that ideal flow with limited spatial smoothness (an initial vorticity that is just a little better than continuous), nevertheless has time-analytic Lagrangian trajectories before the initial limited smoothness is lost. For proving such results we use a little-known Lagrangian formulation of ideal fluid flow derived by Cauchy in 1815 in a manuscript submitted for a priz…
Non-Abelian extensions of fluid dynamics, which can have applications to the quark-gluon plasma, are given. These theories are presented in a symplectic/Lagrangian formulation and involve a fluid generalization of the Kirillov-Kostant form well known in Lie group theory. In our simplest model the fluid flows with velocity v and in presence of non-Abelian chromoelectric/magnetic E^a / B^a fields, the fluid feels a Lorentz force of the form Q_a E^a + (v / c) \times Q_a B^a, where Q_a is a space-time local non-Abelian charge satisfying a fluid Wong equation [ (D_t + v \cdot D) Q ]_a = 0 with gaug…
Theoretical developments in the field of Lagrangian turbulence are made difficult by the fact that equations governing the evolution of lagrangian flows are implicit contrary to eulerian flows. In this article, an {\it exact} explicit equation for incompressible lagrangian fluid flows at high-Reynolds number is constructed. The method to arrive at the equation of motion and the proof that it describes the motion of an incompressible fluid are provided. A truncated version of this new equation is used to show how the lagrangian turbulent spectrum ($E_\mathrm{lag}(ω)$) could be inferred. This ex…
In {\em{Holm}, Proc. Roy. Soc. A 471 (2015)} stochastic fluid equations were derived by employing a variational principle with an assumed stochastic Lagrangian particle dynamics. Here we show that the same stochastic Lagrangian dynamics naturally arises in a multi-scale decomposition of the deterministic Lagrangian flow map into a slow large-scale mean and a rapidly fluctuating small scale map. We employ homogenization theory to derive effective slow stochastic particle dynamics for the resolved mean part, thereby justifying stochastic fluid partial equations in the Eulerian formulation. To ju…
A new proof is given of the fact that the particle trajectories of the ideal incompressible fluid are analytic curves, though the solutions of the Euler equations may have a finite regularity. This is a consequence of a general fact that the geodesic exponential map on the group of volume preserving diffeomorphisms belonging to the Sobolev space is real-analytic. The proof is based on the general properties of holomorphic maps in complex Banach spaces.
We show the Godbillon-Vey invariant arises as a `restricted Casimir' invariant for three-dimensional ideal fluids associated to a foliation. We compare to a finite-dimensional system, the rattleback, where analogous phenomena occur.
We prove local well-posedness in regular spaces and a Beale-Kato-Majda blow-up criterion for a recently derived stochastic model of the 3D Euler fluid equation for incompressible flow. This model describes incompressible fluid motions whose Lagrangian particle paths follow a stochastic process with cylindrical noise and also satisfy Newton's 2nd Law in every Lagrangian domain.
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 th…
Truncated Taylor expansions of smooth flow maps are used in Hamilton's principle to derive a multiscale Lagrangian particle representation of ideal fluid dynamics. Numerical simulations for scattering of solutions at one level of truncation are found to produce solutions at higher levels. These scattering events to higher levels in the Taylor expansion are interpreted as modeling a cascade to smaller scales.
We are modelling multi-scale, multi-physics uncertainty in wave-current interaction (WCI). To model uncertainty in WCI, we introduce stochasticity into the wave dynamics of two classic models of WCI; namely, the Generalised Lagrangian Mean (GLM) model and the Craik--Leibovich (CL) model. The key idea for the GLM approach is the separation of the Lagrangian (fluid) and Eulerian (wave) degrees of freedom in Hamilton's principle. This is done by coupling an Euler--Poincaré {\it reduced Lagrangian} for the current flow and a {\it phase-space Lagrangian} for the wave field. WCI in the GLM model inv…
