Abstract
We develop a geometric formulation of fluid dynamics, valid on arbitrary Riemannian manifolds, that regards the momentum-flux and stress tensors as 1-form-valued 2-forms, and their divergence as a covariant exterior derivative. We review the necessary tools of differential geometry and obtain the corresponding coordinate-free form of the equations of motion for a variety of inviscid fluid models—compressible and incompressible Euler equations, Lagrangian-averaged Euler-\(\alpha \) equations, magnetohydrodynamics and shallow-water models—using a variational derivation which automatically yields a symmetric momentum flux. We also consider dissipative effects and discuss the geometric form of the Navier–Stokes equations for viscous fluids and of the Oldroyd-B model for visco-elastic fluids.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The equations of fluid dynamics are traditionally presented in coordinate forms, typically using Cartesian coordinates. There are advantages, however, in geometrically intrinsic formulations which highlight the underlying structure of the equations, apply to arbitrary manifolds and, when the need arises, are readily translated into whatever coordinate system is convenient. The most straightforward geometric formulations rely on the advective form of the momentum equation, with the advective derivative expressed in terms of Lie or covariant derivatives (Arnold and Khesin 1998; Frankel 1997; Schutz 1980; Holm et al. 2009). One benefit of the Lie-derivative form is that the metric appears only undifferentiated, in the relationship between advected momentum and advecting velocity. It is in this form that the Euler equations and more general inviscid fluid models emerge from variational arguments as so-called Euler–Poincaré systems (Arnold 1966; Salmon 1988; Morrison 1998; Arnold and Khesin 1998; Holm et al. 1998; Webb 2018).
An alternative to the advective form of the momentum equation is the conservation form, in which the material advection term is replaced by the divergence of the momentum flux. The conservation form is particularly useful for its close relationship to the global conservation law of (volume-integrated) momentum, when such a law holds. It is also useful in the context of Reynolds averaging and its extensions, where the effect of unresolved fluctuations naturally emerges as the divergence of the Reynolds stress, the fluctuation-averaged momentum flux. In Euclidean space and for the Euler equations, it is straightforward to switch between the two forms and to derive global conservation laws for momentum in each spatial direction. It is less straightforward on other manifolds, where global momentum conservation laws exist only in the presence of spatial symmetries, and for fluid models more complicated than the Euler equations. This points to the benefits of formulating fluid models in conservation form in a geometrically intrinsic way. This is the first objective of this paper. The second is to discuss the geometric nature of the Cauchy stress tensor (associated with pressure and irreversible effects) and of its divergence, noting that the momentum-flux and stress tensors enter the equations of fluid mechanics on a similar footing.
A first question concerns the geometric interpretation of these tensors. We follow Kanso et al. (2007) and regard them fundamentally as 1-form valued 2-forms (equivalently, co-vector valued 2-forms), related to the more familiar twice contravariant tensors through operations involving the metric. In this formulation, the divergence of the momentum flux and stress tensors becomes the covariant exterior derivative of the associated 1-form valued 2-forms. Defining and manipulating these objects requires some differential-geometric machinery which we introduce in §2. The interpretation of momentum flux and stress as 1-form valued 2-forms (or their close relatives, namely vector valued 2-forms) is advocated by Frankel (1997) who points to its origin in the work of Brillouin (1919) and Cartan (1925). It has both conceptual and practical benefits. First, 1-form valued 2-forms arise naturally when the stress is regarded as a force, to be paired with a velocity field and integrated over a surface to obtain a rate of work. Second, it enables a simple coordinate-free formulation that makes minimal use of the metric and associated connection. The computations, of the covariant exterior derivative in particular, are then straightforward when carried out at the level of differential forms rather than coordinates. We illustrate this by computation in spherical geometry in appendix A (see also Frankel (1997) for similar computations using vector valued forms in the context of solid mechanics). Third, the formulation proves useful for the derivation of momentum-conserving discretisations of the Navier–Stokes equations (Toshniwal et al. 2014; Gerritsma 2014).
We note that form-, vector- or, more generally, vector-bundled-valued differential forms appear in various guises in continuum mechanics. In the metric-free formulation of continuum mechanics and other field theories developed by Segev (see Segev 2013, 2016), for instance, stress is a 2-form with values dual to the first jet space of vector fields, so that the pairing involved in the construction of power is with both the velocity vector and its spatial derivatives. In the theory of elasticity, stress is usually defined as the variational derivative of the energy with respect to a deformation tensor; it then naturally is a rank-2 tensor, twice contravariant in the case of the Cauchy stress (e.g. Marsden and Hughes 1983). In more general formulations, which describe the configuration of a deformed body as a surface in the six-dimensional space of joint reference and deformed positions (e.g. Giaquinta et al. 1998), deformation and stress can be encoded in rank-3 fully antisymmetric tensors (a 3-form in the case of the stress) (see Giaquinta et al. 2015). The formulation that we describe remains at a less abstract level, using differential forms to recast in a convenient, coordinate-free form fluid dynamical equations that are, conceptually, identical to those of standard fluid dynamics texts.
We consider the derivation of fluid equations in their conservation form, starting with the Euler equations for compressible perfect fluids in §3. We follow two routes. The first takes the Euler equations in their advective form as starting point, and uses a relation between Lie derivative and covariant exterior derivative to deduce the conservation form. The second relies on a variational formulation of the Euler equations: we show that the stationarity of the relevant action functional, when combined with an infinitesimal condition for the covariance of the action (that is, for its invariance with respect to arbitrary changes of variables), leads directly to the Euler equations in their conservation form. The variational route has the benefit of being systematic and of automatically yielding the momentum flux as a symmetric 1-form valued 2-form. We follow this route to derive the conservation form of further inviscid fluid models: the incompressible Euler equations in §4.1, the Lagrangian-averaged Euler \(\alpha \)-model in §4.2 and the magnetohydrodynamics (MHD) equations in §4.3. Analogous derivations for the shallow-water model and its MHD extension are sketched in Appendix C. We emphasise that, for models such as the Euler-\(\alpha \) model, the form of the momentum flux does not follow readily from the advective form of the equations, even in Euclidean geometry, making the variational derivation valuable.
In §5 we examine the interpretation of the Cauchy stress tensor as a 1-form valued 2-form for Newtonian and viscoelastic fluids. In the Newtonian case, we give an expression for the viscous stress tensor in terms of the Lie derivative of the metric tensor along the fluid flow, and we emphasise the significance of this derivative as a natural measure of the rate of deformation of the fluid. In the conservation form of the Navier–Stokes equations which emerges by taking a covariant exterior derivative, the viscous term involves the Ricci Laplacian of the momentum. This Laplacian differs from both the Laplace–de Rham operator and the rough Laplacian by terms proportional to the Ricci tensor. Its appearance is consistent with physical arguments (Gilbert et al. 2014). For viscoelastic fluids, we discuss models whose constitutive laws involve the transport of the stress tensors and sketch a geometric derivation of the constitutive law of one standard representative of this class, the Oldroyd-B model. The formulation in terms of 1-form (or vector) valued 2-forms sheds light on the reasons underlying the appearance of a particular type of material derivative of the stress tensor (the upper-convected derivative in this instance).
Many of the concepts and techniques presented in this paper are standard and discussed in existing literature on differential geometry and on geometric mechanics. Their use in fluid dynamics is, however, not well established. By introducing them in the context of familiar fluid models we aim to promote their adoption more broadly in fluid dynamics and its applications.
2 Machinery
We will be using techniques of differential geometry and work on a smooth, orientable Riemannian manifold \(\mathcal {M}\), with or without a boundary \(\partial \mathcal {M}\). We take \(\mathcal {M}\) to be three-dimensional, although formulae and arguments are easily modified for the two-dimensional case. To avoid unnecessary complications we assume \(\mathcal {M}\) has a straightforward topology, so that all curves and surfaces in \(\mathcal {M}\) may be contracted to a point. The manifold is equipped with a metric g and we also need the compatible volume form \(\mu \) and covariant derivative \(\nabla \). We assume that the reader is familiar with the fundamental constructions of differential geometry including vectors, p-forms, the interior product \(\lrcorner \), the Lie derivative \(\mathcal {L}\), the exterior derivative d, the Hodge star operator \(\star \), and the musical raising and lowering operators \(\sharp \) and \(\flat \) (see for example Frankel (1997); Schutz (1980); Hawking and Ellis (1973); Besse and Frisch (2017); Gilbert and Vanneste (2018)). Note that we prefer to use the term 1-form rather than covector in what follows. As well as this machinery we will need the notions of 1-form-valued 2- and 3-forms: we will define these from scratch, following closely Kanso et al. (2007) and Frankel (1997), in order to establish notation and properties, and because they may be unfamiliar to some readers, although such objects arise naturally in the discussion of continuum mechanics for the treatment of stress. While, as indicated above, our aim is to use purely geometrical constructions where possible, it is sometimes awkward to represent complicated contractions of objects using coordinate-free notation, and in some calculations we will use indexed objects. Both approaches have benefits and the maximum utility is obtained by switching between them fluidly.
2.1 Momentum Flux
We recall that in a traditional treatment of fluid flow in Euclidean space (Batchelor 1967), the stress on an element of surface with normal vector \(\varvec{n}\) at a point \((\varvec{x},t)\) is a vector force \(\varvec{f}(\varvec{x}, t, \varvec{n})\) per unit area. It can be established that \(\varvec{f}\) depends linearly on \(\varvec{n}\) and so we can write \(f_i = \sigma _{ij}(\varvec{x},t) n_j\), where the stress tensor \(\varvec{\sigma }\) is symmetric. Then, the divergence of the stress tensor \(\partial _j \sigma _{ij}\) gives the net force per unit volume, and appears in the Navier–Stokes equation which in conservation form is
This form highlights the role of the momentum flux \(\rho u_i u_j\) as a tensor of a nature similar to that of \(\varvec{\sigma }\). For a compressible Newtonian fluid, the stress tensor is given by
where p is the pressure field, and \(\varsigma \) and \(\lambda \) denote the dynamic and bulk viscosities.
In our more general setting for flow on an arbitrary three-dimensional manifold \(\mathcal {M}\), the appropriate geometrical object to represent the stress is a 1-form valued 2-form \(\tau \) which can be defined by
This can be thought of as an object with two legs; the first leg, given by the i index, has the nature of a 1-form or covector, while the second leg, given by indices j and k, has the nature of a 2-form. The interpretation of \(\tau \) is as follows: if we have a surface element given by vectors v and w at a point in the fluid, and the fluid has velocity u there, then the rate of working of the stress force by flow through that element of surface, per unit area, is given by contracting \(\tau \) with u on the first leg and \(v\otimes w\) on the second leg:
Note that in a geometric setting momentum is a 1-form, and so it is natural to work with 1-form valued objects such as \(\tau \); its value (when contracted on the second leg) is not the force on the surface element itself, but the rate of working or power of the force when contracted with the vector fluid velocity u on its first leg. Nonetheless for brevity in the discussion below we refer to this 1-form value \(\tau (\cdot , v, w)\) as the force. Vector valued 2-forms, with components \(\tau ^i_{jk}\), may be defined similarly but we will not need these.
2.2 Exterior Covariant Derivative
Given that a 1-form valued 2-form \(\tau \) is the appropriate description of the force on surface elements in a fluid flow, we need to obtain its divergence, in other words calculate a net force on elements of volume. This divergence is a 1-form valued 3-form given by \(\mathfrak {d}\tau \), where \(\mathfrak {d}\) is the exterior covariant derivative defined by Kanso et al. (2007)
Here u is any vector field, \((u,\tau )\) denotes u contracted into the first leg of \(\tau \); likewise \((u,\mathfrak {d}\tau )\) is u contracted into the first leg of \(\mathfrak {d}\tau \). In \(\nabla u \overset{\cdot }{\wedge }\tau \) the u is contracted into the first leg of \(\tau \) and the covariant derivative is wedged with the second leg of \(\tau \). In the general use of \(\overset{\cdot }{\wedge }\), the first legs of the two sides are contracted, the second legs are wedged: for example for 1-forms \(\alpha \) and \(\beta \), a 2-form \(\gamma \) and a vector u,
Consistent with this, we adopt the (somewhat awkward) convention that the first leg of \(\nabla u\) is taken to be u and the second to be \(\nabla \) and write
with a semicolon as alternative notation for a covariant derivative (Kanso et al. 2007).
Using components the definition of \(\mathfrak {d}\) amounts to
and so we have
with square brackets denoting full antisymmetrisation (see Schutz (1980) for the formulation of exterior derivatives and wedge products in terms of antisymmetrised tensors). The definition is thus independent of the choice of u. The resulting object \(\mathfrak {d}\tau \) has the physical interpretation that the net force on a volume element supplied by vectors u, v and w is the 1-form obtained as the first leg of \(\mathfrak {d}\tau \), when we take the contraction \(\mathfrak {d}\tau (\cdot , u,v,w)\) on the second leg. We note that the appearance of the covariant derivative in this definition is natural, since computing the net force on a volume element involves the differences between forces on the various faces and taking these differences requires parallel transport. The metric-free theory of Segev (2013, 2016) constructs a more general divergence that does not involve the covariant derivative by having the stress tensor act on both u and its spatial derivatives in an arbitrarily chosen manner.
The general definition (2.5) of \(\mathfrak {d}\tau \) in fact holds for 1-form valued p-forms for any p and is easily extended to p-forms with values in other vector bundles. The theory of these ‘valued’ forms and the exterior covariant derivative \(\mathfrak {d}\) was developed by E. Cartan as the natural language for discussing curvature, gauge theories, and stress in elasticity and fluid flow (Frankel 1997; Kanso et al. 2007).
The usual operations such as raising and lowering indices with \(\sharp \) and \(\flat \), and the Hodge star \(\star \) operator can be applied to either leg of \(\tau \), with a numeral subscript used to indicate which leg. With this notation, we can relate \(\tau \) to the usual definition of the (twice contravariant) stress tensor \(T = T^{ij}\partial _i \otimes \partial _j\) through
or in components
We also need to relate the exterior covariant derivative of \(\tau \) to the usual divergence of the tensor T. We have that
as the covariant derivatives of g and \(\mu \) vanish. A short computation shows this reduces to
This is precisely \(\mathfrak {d}\tau = \alpha \otimes \mu \) with \( \alpha _m = g_{ml} \, T^{ln}_{\,\,;n} \), giving the natural relation between the 1-form valued 3-form \(\mathfrak {d}\tau \) and the usual divergence \(T^{ij}_{\,\,;j}\) of \(T^{ij}\).
The symmetry of the stress tensor, easily expressed as \(T^{ij}=T^{ji}\) or \(T(\alpha ,\beta )=T(\beta ,\alpha )\) for arbitrary 1-forms \(\alpha \) and \(\beta \), can be rewritten in terms of the 1-form valued 1-form \(\star _2\tau = T_{ij} d x^i \otimes d x^j\) as
for arbitrary vectors u and v. It can equivalently be stated in terms of \(\tau \) itself as
for arbitrary 1-forms \(\alpha \) and \(\beta \), by applying the property that for any 2-form \(\gamma \),
to the second leg of \(\star _2 \tau \).
2.3 Interpretation
For a useful physical interpretation of the definition (2.5) of \(\mathfrak {d}\tau \), consider the work done by the stress \(\tau \) on the surface of a volume \(\mathcal {V}\) moving with a velocity field u. The rate of work, that is the power generated, is given by
where, as usual, the contraction in \((u,\tau )\) is into the first leg of \(\tau \). The first term on the right-hand side corresponds to the work done by the force \(\mathfrak {d}\tau \) on the moving volume \(\mathcal {V}\) and is associated with a change in kinetic energy; the second term corresponds to an internal work and is associated with the deformation of \(\mathcal {V}\) and the resulting change of internal energy. This is better seen by rewriting the second term as
where \(\mathcal {L}_u\) denotes the Lie derivative along u and \(\langle \! \langle \cdot , \cdot \rangle \! \rangle \) denotes the contraction of tensors defined, using the metric twice, as \(\langle \!\langle \sigma ,\tau \rangle \!\rangle = g^{ij} g^{kl} \sigma _{ik} \tau _{jl} \). We have also used the result
that is, \(\tfrac{1}{2} \mathcal {L}_u g\) is the symmetrisation of \(\nabla u_\flat \). This follows from the computation
for arbitrary vectors \(v, \, w\), using that \(\nabla _u g(v,w)= g(\nabla _u v,w)+g(v,\nabla _u w)\) and \(\mathcal {L}_u v = \nabla _u v - \nabla _v u\). We emphasise that \(\mathcal {L}_u g\) provides a natural measure of the deformation induced by u, consistent with the interpretation of (2.18) as the power associated with the deformation of \(\mathcal {V}\).
For vector fields u that satisfy \(\nabla u =0\), and so are parallel-transported across \(\mathcal {M}\), (2.17) reduces to
which gives a metric-independent weak form of \(\mathfrak {d}\tau \) that can be exploited for momentum-preserving discretisation (Toshniwal et al. 2014; Gerritsma 2014).
2.4 Properties of \(\mathfrak {d}\)
We conclude this section with properties of the exterior covariant derivative \(\mathfrak {d}\) useful for our purpose. We first note that we can regard any 3-form \(\omega \) as a 1-form valued 2-form by simply using formula (2.4). With this in mind it is easy to establish that when multiplied by a scalar function f we have
In addition, when \(\omega \) is the metric-induced volume form \(\mu \) on \(\mathcal {M}\) it follows from \(\nabla \mu =0\) that
In writing the equations of fluid mechanics in a general setting, Lie derivatives naturally emerge that express transport of quantities. For example in the Euler equation (3.1a) below, a Lie derivative \(\mathcal {L}_u \nu \) appears to express transport of momentum, in place of the traditional \(\varvec{u}\cdot \nabla \varvec{u}\) in Euclidean space. Thus crucial to any analysis is a link between the divergence \(\mathfrak {d}\) of a quantity and an appropriate Lie derivative. We use the following key identity, which holds for any vector field u, 1-form field \(\alpha \) and 3-form field \(\omega \),
and links a Lie derivative of the 1-form valued 3-form \(\alpha \otimes \omega \) and the exterior covariant derivative of the 1-form valued 2-form \(\alpha \otimes u \lrcorner \omega \). In the term \((\nabla u,\alpha )\) the inner product is taken between the u and the \(\alpha \), leaving behind a 1-form. To prove this identity we contract the left-hand side with an arbitrary vector field v on the first leg only, so that for example \((v,\alpha \otimes \omega ) = (v,\alpha )\omega \), writing first
using Cartan’s formula
and noting that \(( v, \alpha \otimes \omega )\) is a 3-form and so vanishes under the action of d. We can now apply (2.5) and \(\mathcal {L}_u v = \nabla _u v - \nabla _v u\) to write
Since
for any 1-form \(\beta \), letting \(\nabla \) take the place of \(\beta \), we observe that the second and third terms of (2.27) cancel and the last can be rewritten to give
The vector field v is arbitrary and so the result (2.24) follows.
We finally observe that for practical computations, it may be preferable to avoid using the full coordinate expression (2.9) for \(\mathfrak {d}\tau \). Instead, a convenient expression emerges by expanding \(\tau \) as a sum
where the \(\alpha ^{(i)}\) are 2-forms. The exterior covariant derivative is then given by
Here, \(\otimes _\wedge \) denotes a Cartesian product with the first leg of \(\nabla d x^i\) and a wedge product with the second leg, with as above, the covariant derivative treated as the second leg (that is, \(\nabla d x^i = \nabla _j(d x^i) \otimes d x^j\)), so that \(\nabla d x^i \otimes _\wedge \alpha ^{(i)}\) is the 1-form valued volume form \(\nabla _j(d x^i) \otimes d x^j \wedge \alpha ^{(i)}\). We can check (2.31) from the coordinate-free definition of \(\mathfrak {d}\):
where we use that \((\nabla _j u, d x^i) = \nabla _j (u,d x^i) - (u,\nabla _j d x^i)\) and \(\nabla _j (u,d x^i) = \nabla _j u^i =u^i_{,j}\). We illustrate the application of this formula and, more broadly, manipulations of the 1-form valued \(\tau \) with explicit computations in spherical geometry in appendix A.
3 Application to Compressible Perfect Fluid
Having set up the necessary machinery and linked the divergence \(\mathfrak {d}\) to Lie derivatives, we now use this to write systems of fluid equations on a general manifold \(\mathcal {M}\) in conservation form. The most fundamental case is the compressible Euler equation, which takes the coordinate-free form
where \(\rho \) is the density, u is the velocity (vector) field, \(\rho \nu = \rho u_{\flat }\) is the corresponding (1-form) momentum and p is the pressure field (Gilbert and Vanneste 2018). For the maximum flexibility to write a variety of fluid systems in conservation form, we develop this for the Euler equation using two distinct lines of argument.
In the first, we simply apply identities obtained in §2 to (3.1a). From (3.1) we can form an equation for the momentum, now thought of as the 1-form valued 3-form \(\rho \nu \otimes \mu \),
We then apply (2.24) together with
as \(\nu = u_\flat \) and the covariant derivative of the metric vanishes, \(\nabla g = 0\), to obtain
We can also use (2.22) and (2.23), Cartan’s formula and note that \(u\lrcorner \mu = \star \nu \) to write both the momentum and continuity equations in the desired conservation form
This identifies the momentum flux as the 1-form-valued 2-form \(\rho \nu \otimes \star \nu \) and the mass flux as the 2-form \( \rho \, {\star } \nu \).
The second line of argument starts from an action principle (Gotay et al. 1992; Hawking and Ellis 1973) and provides a direct variational derivation of the Euler equations in conservation form, as an alternative to the Euler–Poincaré derivation which yields (3.1a) (Newcomb 1962; Salmon 1988; Holm et al. 1998; Webb 2018; Gilbert and Vanneste 2018) and which we record in Appendix B for completeness. We suppose that the time-dependent family of diffeomorphisms \(\phi _t: \mathcal {M}\rightarrow \mathcal {M}\) moves the fluid elements, together with the mass 3-form \(\rho \mu \) and the scalar entropy s, from some initial configuration. If we let the internal energy be \(e(\rho , s)\) per unit mass, the action is given by
is the Lagrangian 3-form, that is the Lagrangian density multiplied by \(\mu \). Here we abbreviate \(\phi \) for \(\phi _t\) and
where \(\phi _*\) is the push forward under the map \(\phi \) from the initial conditions, with \(\rho _0\) as the initial density, \(s_0\) the initial entropy.
We require the action to be stationary under any variation \(\phi \mapsto \psi _\varepsilon \circ \phi \), where \(\psi _\varepsilon \) is a family of mappings with \(\psi _0\) the identity, so that
We can take the family \(\psi _\varepsilon \) to be generated by a vector field w at \(\varepsilon =0\). We can choose w to vanish except between some initial and final time, and to vanish outside some local region of \(\mathcal {M}\), meaning that we can freely integrate by parts in time or on \(\mathcal {M}\) in what follows. Under such a variation we obtain variations in the fields, labelled fleetingly by \(\varepsilon \), with
Requiring the action (3.6) to be stationary, (3.8), then gives
with the \(\rho \) and s subscripts denoting partial derivatives.
The standard derivation in Appendix B uses integration by parts to write each term in (3.10) as a pairing with the undifferentiated w before invoking the arbitrariness of w to obtain the Euler equations in the form (3.1). To obtain the conservation form instead, we return to the action integral (3.6) and note that \(\psi _\varepsilon : \mathcal {M}\rightarrow \mathcal {M}\), so that we can write schematically
with \(\psi ^*_\varepsilon L\) the pull back of the Lagrangian 3-form. Differentiating with respect to \(\varepsilon \) at \(\varepsilon =0\) replaces the pull back by a Lie derivative with respect to the vector field w and gives
This key equation expresses the principle of covariance — the invariance of laws of motion under change of variables — at an infinitesimal level; it allows us to reformulate the result of applying the action principle and to obtain an equivalent form for the resulting equation of motion (Hawking and Ellis 1973). Applying (3.12) to the action integral (3.6) gives
Both this equation and (3.10) must hold; adding them together leaves
after simplifying and using \(p = \rho ^2 e_\rho \). This equation gives the momentum equation in a weak form, suitable for finite element discretisation; see Toshniwal et al. (2014) and Gerritsma (2014).
We can now use integration by parts, and so discard total time derivatives or total space derivatives \(d\omega \), where \(\omega \) is any 2-form, by applying
given that \(\omega \) vanishes on the boundary \(\partial \mathcal {M}\). This typically requires boundary conditions on the fields, here that u be parallel to \(\partial \mathcal {M}\), and using that w, as the flow generating a diffeomorphism from \(\mathcal {M}\) to \(\mathcal {M}\), is also parallel to \(\partial \mathcal {M}\). We do not consider boundary conditions in detail since they are well established for the fluid models under consideration in this paper. We denote the equivalence up to total time and space derivatives by \(\simeq \). For the last two terms in (3.14) we find
on using that \(\mathcal {L}_w p = (w,dp)\). For the first term we claim that
Substituting into (3.14) then gives
and as the vector field w is arbitrary (albeit parallel to \(\partial \mathcal {M}\)), the conservation form (3.5a) must hold, completing the derivation directly from the action principle. We remark that the covariance of the action (3.12) merely encodes an identity, namely (2.24), in the form used to go from the advective to the conservation forms of the momentum equation. Its benefit lies in the cancellations of terms that arise when it is added to the stationarity condition of the action, that is, when (3.10) and (3.13) are added together. These cancellations are a generic feature of the approach, as the consideration of an abstract model in §4.4 demonstrates.
We now need to prove the identity (3.17). First we use the identity (2.19) contracted with the symmetric tensor \(u \otimes u \) to write
using that \(\nabla g = 0\). Then we have, applying (2.28) to the contraction between the u and the \(\nabla \),
Hence by the definition of \(\mathfrak {d}\), and discarding the resulting divergence term (as per integration by parts), we have
which establishes (3.17).
4 Other Fluid Models
The above calculation establishes the principle that allows us to obtain equations in conservation form by playing off the terms gained from the variational principle in (3.8) with those obtained by an infinitesimal change of variables in the integral, the limiting Lie derivative action of a pull back, in the covariance condition (3.12). This systematic method can be applied to other systems, with varying level of complexity in the resulting calculations. We consider three important specific systems, namely incompressible fluid flow, the Euler-\(\alpha \) model and MHD before illuminating the overall structure by examining an abstract model of Euler–Poincaré type.
4.1 Incompressible Perfect Fluid
We commence with the Euler equations for an incompressible fluid. The action in this case takes the form
where \(-\pi \) is a Lagrangian multiplier enforcing the volume-preservation constraint \(\phi _* \mu = \mu \). Under variation of the path, we obtain
while the covariance condition (3.12) gives
which holds for any map \(\phi \) and field \(\pi \). We now impose the incompressibility condition \(\phi _* \mu = \mu \) (as follows from variations of (4.2) in \(\pi \)) in the integrals above which become
As before we add these two equations to obtain
If we set \(p = \pi + \tfrac{1}{2} g(u, u)\), we recover (3.14) with \(\rho =1\) and, following the compressible case, the incompressible equations in the form
with \(\mu \mathop {\textrm{div}}\nolimits u = d \, {\star } \nu \).
4.2 Euler-\(\alpha \) Model
We next consider the Lagrangian averaged Euler-\(\alpha \) model first introduced by Holm (1999). The model is a generalisation of the Euler equations for incompressible perfect fluids that accounts for the averaged effect of small-scale fluctuations (see Holm (2002), Marsden and Shkoller (2003), Oliver (2017) and Oliver and Vasylkevych (2019) for increasingly sophisticated heuristic derivations); it has been formulated on Riemannian manifolds (Marsden et al. 2000; Shkoller 1998, 2000; Gay-Balmaz and Ratiu 2005; Oliver and Vasylkevych 2019). We now show that the variational route enables a relatively straightforward derivation of the conservation form of the Euler-\(\alpha \) model on manifolds, which otherwise would be difficult to obtain.
The Euler-\(\alpha \) action for an incompressible flow u is
where \(\alpha \) is a parameter and \(|\mathcal {L}_u g|^2 = \langle \!\langle \mathcal {L}_u g,\mathcal {L}_u g\rangle \!\rangle \) is the square of the deformation of u (cf. (2.19)). This action is identical to Euler action (4.1) except for the addition of the middle term, which we denote by \(\alpha ^2 \mathcal {A}_2\). We note that other forms for this term – equivalent in Euclidean geometry but distinct on curved manifolds – have been proposed originally (Marsden et al. 2000; Shkoller 1998) and that (4.8) follows the more recent literature (Shkoller 2000; Gay-Balmaz and Ratiu 2005; Oliver and Vasylkevych 2019). We focus on \(\alpha ^2 \mathcal {A}_2\) since we have dealt with the other two terms in the treatment of the Euler equations above. For simplicity, we assume that the manifold \(\mathcal {M}\) has empty boundary to avoid unnecessary complications when discarding integrals over \(\mathcal {M}\) that are the derivative d of a 2-form (see Shkoller (2000) for a careful treatment of the boundary conditions). We have
on using (2.5), (2.19) and (2.29). In the last equality, we have introduced the Ricci Laplacian of 1-forms via
recalling that \(\nu = u_\flat \). This is related to the Laplace–de Rham operator \(\Delta \nu = - ( {\star } d{\star } d + d{\star } d{\star } )\nu \) and the analyst’s (or rough) Laplacian \((\tilde{\Delta }\nu )_i = g^{jk} \nabla _j \nabla _k \nu _i\) through
where R is the Ricci tensor given by, in general, \(R(u)_i = R_{ij} u^j = \nabla _j \nabla _i u^j - \nabla _i \nabla _j u^j\). The latter equality in (4.11) is known as the Weizenböck formula (Frankel 1997); we check the former. Setting temporarily \(S_{ij} = (\mathcal {L}_u g)_{ij}\), (2.13) shows that we need to compute \(\nabla _j S^{ij}\), which gives
using incompressibility, \(\mathop {\textrm{div}}\nolimits u = \nabla _i u^i = 0\).
The Euler–\(\alpha \) momentum equation is obtained by extremising the action (4.8) under variations of the form (3.9a). The contribution of \(\mathcal {A}_2\) is readily obtained from (4.9b) using the self-adjointness of \(\Delta _R\) (as used in Oliver and Vasylkevych (2019)) to find
Adding this to the variation obtained for the Euler equation in (4.4) and requiring the sum to vanish for arbitrary w yields the Euler–\(\alpha \) equations in the advective form
It is not obvious how to put (4.14) into conservation form by inspection and so we proceed to use the pull back of the action according to (3.12). We focus again on \(\mathcal {A}_2\) since the contributions of the other terms are as in (4.5). The variation of \(\mathcal {A}_2\) can be written as the sum of three terms proportional to \(\mathcal {L}_w u\), \(\mathcal {L}_w g\) and \(\mathcal {L}_w \mu \). It is convenient to use the form (4.9b) of \(\mathcal {A}_2\) for the first and (4.9a) for the other two. This leads to
where the tilde in \(\tilde{\mathcal {L}}_w\) indicates a Lie derivative at fixed u. We work out the second term in coordinates, noting that, as \(g_{ij} \, g^{jk} = \delta _i^k\),
to obtain
where we introduce the twice covariant tensor
Adding together the variations (4.2), (4.3), (4.13) and (4.15) then leads to
Integrating by parts, in particular using that
and requiring (4.19) to vanish for arbitrary w gives the conservation form of the Euler–\(\alpha \) equation,
A direct check that this can be expanded to give (4.14) is tedious but confirms the result. We emphasise that the momentum flux tensor that emerges as the argument of \(\mathfrak {d}\) is not simply \(\upsilon \otimes {\star } \nu = \upsilon \otimes u \lrcorner \mu \), namely transport of the momentum \(\upsilon \) by the velocity u, as might have been expected naively. The latter tensor is not symmetric, whereas the tensor we obtain in (4.21) is symmetric by construction (Hawking and Ellis 1973; Gotay et al. 1992). Note that the pressure is augmented by the fluctuations giving the total effective pressure as \(p + \tfrac{1}{4} \alpha ^2 |\mathcal {L}_g u|^2 \).
4.3 Magnetohydrodynamics
Finally we consider magnetohydrodynamics (MHD) and outline a derivation of the conservation form of the governing equation of ideal MHD which generalises (3.5) by including the Lorentz force; see the classic study by Newcomb (1962) and also Gilbert and Vanneste (2019). The general procedure is already established, but because the flow u and magnetic field b have distinct transport properties, there are notable differences, and one effect is that a magnetic pressure term emerges from the analysis.
The MHD action is given by \(\mathcal {A}- \mathcal {B}\) where \(\mathcal {A}\) is the compressible perfect fluid action (3.6) and
is the magnetic energy. Here b is the magnetic vector field, and we again allow \(\mathcal {M}\) to have a non-empty boundary with the boundary condition \(b \parallel \partial \mathcal {M}\). The most fundamental representation of the magnetic field is perhaps not the vector field b itself but the associated magnetic flux 2-form, \(\beta = b \lrcorner \mu \) (Frankel 1997). The absence of magnetic monopoles, that the flux across any closed surface is zero, is simply expressed by \(\beta \) being closed, \(d\beta =0\) and hence \(\mathop {\textrm{div}}\nolimits b = 0\). The flux 2-form is transported by the flow so that
or equivalently pushed forward from the initial condition according to \(\beta = \phi _* \beta _0\). The magnetic vector field b obeys a more complicated equation (and in fact may be considered as a tensor density; see Roberts and Soward 2006),
Let us now consider the effect of a variation in the path \(\phi \mapsto \psi _\varepsilon \circ \phi \) on \(\mathcal {B}\) (Newcomb 1962). We have using (4.24) that b is transported according to
and so making the total action \(\mathcal {A}-\mathcal {B}\) stationary introduces new integral terms:
Combining with \(\textrm{d} \mathcal {A}/ \textrm{d} \varepsilon |_{\varepsilon =0}\) in (3.10), and using the integration by parts identities (B.1) and similar, gives the momentum equation
noting that \(b_\flat = \star \beta \).
To obtain the conservation form of (4.27), we use the covariance of the action (3.12), adding to (4.26) the term
This gives
Subtracting this from (3.14) and following the now usual manipulations we obtain the conservation form
The magnetic pressure term \(\tfrac{1}{2} g(b,b)\) emerges naturally in the derivation, and its origin may traced back to the term \(b \mathop {\textrm{div}}\nolimits u\) in the transport equation (4.24) for b. In a compressible fluid, whereas the fundamental magnetic flux \(\beta \) is simply Lie transported by the flow map, and so conserved, the magnetic vector field b with \(b\lrcorner \mu = \beta \) is intensified where the fluid is locally compressed, and this contributes to increased energy density \(\tfrac{1}{2} g(b,b)\) in (4.22) and a resulting restoring force in (4.30). In an incompressible fluid, the magnetic pressure can simply be absorbed in the pressure p. In appendix C, we also derive the shallow-water and MHD shallow-water equations in conservation form.
4.4 Abstract Model
The variational derivations above and in appendix C indicate that combining the stationarity of the action with its covariance leads to a number of cancellations and, as a result, relatively simple expressions for the conservation and weak forms of the governing equations. To understand how these cancellations come about and illuminate the underlying structure, it is useful to consider a general, abstract fluid model of the Euler–Poincaré type examined by Holm et al. (1998) and governed by the action
where the Lagrangian 3-form depends on the velocity field u and metric g, and on tensorial fields a that are advected by the flow, that is, satisfy \(a = \phi _* a_0\), with \(a_0\) the initial fields. The stationarity of the action reads
using (3.9a) and that \(\left. \textrm{d} a_\varepsilon /\textrm{d}\varepsilon \right| _{\varepsilon =0} = - \mathcal {L}_w \,a\). Its covariance reads
Note that \(\delta L/\delta g\) should be interpreted as a 3-form whose value (on a triple of vectors) is a twice contravariant tensor. Adding the conditions yields the compact expression
We can now integrate by parts and exploit the arbitrariness of w. Defining the bilinear diamond operator \(\diamond \) by
for any tensor-valued 3-form S (Holm et al. 1998; Holm 2002), we obtain the governing equation in the form
It turns out that the diamond operator \(\diamond \), when applied to a pair of symmetric tensor-valued 3-form and tensor as is the case here, is equivalent to the covariant exterior derivative \(\mathfrak {d}\). To see this, define the twice contravariant tensor M (dual to g) by
Using the symmetry of M, (2.19), (2.16) and the definition (2.5) of \(\mathfrak {d}\), we have, for any vector field w,
Hence \(\delta L/\delta g \diamond g = \mathfrak {d}({\star }_2 \flat _1\flat _2 M)\) and the governing Eq. (4.36) can be rewritten in the conservation form
While this expression is general and pleasantly compact, obtaining the explicit form of M often requires intricate computations, as our treatment of specific models illustrates, because of the complex dependence of the Lagrangian L on the metric g, including through the volume form. Equation (4.39) shows that \({\star }_2 \flat _1\flat _2 M\) is the general formula for the stress, including the contribution from the momentum flux, represented as a 1-form valued 2-form. Equation (2.10) then implies that M itself is this stress in the conventional (twice-contravariant) tensorial form T.
5 Viscosity and Viscoelasticity
5.1 Newtonian Fluids
We now turn to the geometric representation of the viscous stress tensor given in (2.2) for ordinary Euclidean space. The construction involves the Lie derivative of the metric which, according to (2.19), is given by
since \(\nu = u_\flat \). It is then natural to replace the terms \(\partial _i u_j + \partial _j u_i\) in (2.2) by \(\mathcal {L}_u g\), both following the general rule of replacing ordinary derivatives by covariant derivatives, but more importantly as in our understanding of Newtonian fluids, it is the deformation of fluid elements that generates viscous stresses, and deformation corresponds precisely to nonzero transport of the metric under a flow u. With this, the geometric version of the stress tensor as a 1-form valued 2-form is
and then the Navier–Stokes momentum equation in conservation form is
In the incompressible case, this simplifies as
when (4.10) is used to substitute the Ricci Laplacian for \(\mathfrak {d}( \star _2 \, \mathcal {L}_u g)\) in the sole remaining viscous term. We emphasise that the Ricci Laplacian is the proper choice of Laplacian, rather than the Laplace–de Rham operator or the analyst’s Laplacian, on a manifold with nonzero Ricci tensor. This choice ensures that velocity fields that leave the metric invariant, and hence do not cause any deformation, are not dissipated, for example solid body rotation on the surface of the sphere \(\mathcal {M}= S^2\) (Gilbert et al. 2014; Lindborg and Nordmark 2022).
The total energy in the system is \( E = \int _{\mathcal {M}} \bigl [ \tfrac{1}{2} g(u,u) \, \rho \mu + e(\rho , s)\, \rho \mu \bigr ]. \) Following the development in (2.17) and (2.18), we can write
where \(\sigma '=\sigma + p \mu \) denotes the viscous part of the stress tensor. To obtain this we observe that the momentum flux makes no contribution to \(\textrm{d}E/\textrm{d}t\), and that the terms involving the internal energy e cancel out the pressure term \(-(u,dp)\, \mu \) (after integration by parts, as in (B.1c)–(B.1d), and following the argument below (B.4)). Using the form (5.2) of the viscous stress, we obtain
as \( \langle \!\langle \mathcal {L}_u g , \star _2 \mu \rangle \!\rangle = 2 \mathop {\textrm{div}}\nolimits u\). Note that this derivation requires the additional no-slip boundary condition \(u=0\) on \(\partial \mathcal {M}\) so that the term \( d(u, \star _2 \mathcal {L}_u g) \) in \( d(u,\sigma )\) integrates to zero.
5.2 Viscoelastic Fluids
In models of viscoelastic fluids such as polymer solutions, the stress \(\sigma \) often appears as a dynamical variable, obeying a transport equation of the form \((\partial _t + \mathcal {L}_u) \sigma = \cdots \), where the right-hand side captures the rheology of the fluid. The type of tensor chosen for \(\sigma \) determines the meaning of \(\mathcal {L}_u\), leading to different physical models depending on the choice made; standard choices take \(\sigma \) as a twice covariant or a twice contravariant tensor, with the corresponding Lie derivatives termed ‘lower-convected’ or ‘upper-convected’ derivatives (see, e.g., Marsden and Hughes (1983)). In the context of this paper, a natural alternative takes \(\sigma \) to be a 1-form valued 2-form, \(\sigma = \tfrac{1}{2}\sigma _{ijk} \, d x^i \otimes d x^j \wedge d x^k\). A coordinate expression for its Lie derivative is readily computed: since \(\mathcal {L}_u\) and d commute, we have
where the comma indicates differentiation (see Frankel (1997) for the analogous computation for a vector valued 2-form). This derivative can be rewritten in terms of the twice contravariant tensor \(T = \sharp _1 \sharp _2 {\star }_2 \sigma \) (cf. (2.10)) but differs from the upper convected derivative by terms proportional to \(\mathcal {L}_u g\) that result from the lack of commutativity of \(\mathcal {L}_u\) with the operators \(\sharp \) and \(\star \).
While it is tempting to postulate an evolution equation for the 1-form valued \(\sigma \) of the form \((\partial _t + \mathcal {L}_u) \sigma = \cdots \) with the right-hand side containing only rheological terms, physical considerations dictate the type of the tensor that is transported by the flow and hence the form of the evolution equation. We illustrate this with a brief geometric derivation of the Oldroyd-B model Oldroyd (1950) and its formulation in terms of \(\sigma \). The derivation considers a solution of polymers modelled as small dumbbells whose ends are connected by springs and which move under a combination of flow motion (through Stokes drag), spring force, and thermal noise (Bird et al. 1977, Degond, Lemou and Picasso 2002). We follow closely the presentation in Morozov and Spagnolie (2015). In a continuum description, the dumbbell extension is naturally represented by a vector field, r say, measuring the total extension per unit volume. The balance of the three forces then reads
where \(\zeta \) is the drag coefficient, f(r) is the elastic force in the dumbell, a vector aligned with r, \(k_B\) the Boltzmann constant, \(\mathcal {T}\) the temperature, and \(\dot{W}\) a (possibly spatially dependent) vector-valued white noise with \(\langle \textrm{d} W^i \, \textrm{d} W^j \rangle = g^{ij} \, \textrm{d} t\). The noise in (5.8) is the sum of two independent white noises acting on each end of the dumbbells, each with strength \(\sqrt{2 k_B \mathcal {T} \zeta }\) as determined by the fluctuation–dissipation theorem. The force exerted by the dumbbells on a surface element is the spring force f(r) multiplied by the number of dumbbells crossing the surface. A geometrically intrinsic representation of this is simply \(f \otimes r \lrcorner \mu \). The stress is proportional to the average \(\langle f \otimes r \lrcorner \mu \rangle \) over realisations of the white noise and can be written as the 1-form valued 2-form
where the equilibrium value is subtracted to retain only the stress induced by the flow.
In general, \(\sigma \) does not satisfy a closed equation. A Fokker–Planck equation governing the probability distribution of r need to be solved to carry out the average in (5.9) (e.g. Degond, Lemou and Picasso 2002). However, for a linear (Hookean) spring, with \(f(r) = K r\), (5.8) is linear and a closed equation for \(\sigma \) is readily obtained, as we now detail. Using Itô’s formula and assuming incompressibilty, \(\mathcal {L}_u \mu = 0\), we obtain from (5.8) that
At equilibrium, the left-hand side vanishes, leading to
We now consider the representation of the stress in (5.9) as the vector-valued 2-form
Applying \((\partial _t + \mathcal {L}_u)\) and using (5.10) and (5.11) we obtain
on noting that that \(\mathcal {L}_u g^{-1} = - g^{-1} (\mathcal {L}_u g) g^{-1}\) (see (4.16)), and that contraction with \(g^{-1} \lrcorner \mu \) amounts to an application of \(\star \). Here \(\lambda ={\zeta }/{4K}\) and \(\varsigma ={k_B \mathcal {T} \zeta }/4K\) are the relevant rheological parameters.
Equation (5.13) is the evolution equation for the stress in the Oldroyd-B model on a manifold, expressed here in terms of \(\tilde{\sigma }\). It takes a more familiar form using the usual twice contravariant stress tensor \(T = \sharp _2 {\star }_2 \, \tilde{\sigma }\), namely
using that the operator \(\sharp _2 \star _2\) involves only the volume form and hence commutes with \(\mathcal {L}_u\) for incompressible flows. The Lie derivative in (5.14) can be identified as the upper-convected derivative. Finally, the 1-form valued 2-form obeys the slightly more complicated equation
where \(( \mathcal {L}_u g \lrcorner \sharp _1 \sigma )_{ijk} = (\mathcal {L}_u g)_{il} \, g^{lm} \, \sigma _{mjk}\) in coordinates.
6 Concluding Remarks
We conclude with three remarks. First, one of the benefits of the conservation form of the fluid equations is that it makes the derivation of conservation laws arising from spatial symmetries according to Noether’s theorem straightforward. On a manifold \(\mathcal {M}\), a spatial symmetry is identified with a Killing vector field, that is, a vector field k that transports the metric without deformation,
or \(k_{i;j} + k_{j;i} = 0\). For example, if the domain \(\mathcal {M}\) is \(\mathbb {R}^3\) or a periodic domain (flat torus), these are translations; for a sphere \(\mathcal {M}= S^2\) these are rotations. The associated conservation law is obtained by noting that
where the vanishing of the term \(\nabla k \overset{\cdot }{\wedge }\tau \) follows from the symmetry of \(\tau \) as in (2.14) and use of (2.28). Contracting k with the first leg of the dynamical equation for the 1-form valued momentum
then leads to the conservation law
For instance, in the case of viscous compressible fluids, contracting k with (5.3) gives
The density of the conserved quantity, the k-directed momentum, is then \((k,\rho \nu )\) while the flux \((k,\tau )\) consists of the terms within the square brackets. Integrating (6.5) over any subregion \(\mathcal {N}\) of \(\mathcal {M}\) relates the time derivative of the integral of \((k,\rho \nu )\) to the transport of \((k,\rho \nu )\) across the boundary \(\partial \mathcal {N}\) and the k-directed pressure and viscous stress on the boundary, using Stokes’ theorem. In the case of \(\mathbb {R}^3\) and \(\mathbb {S}^2\), \((k,\rho \nu )\) corresponds to linear and angular momenta.
Second, it is well known that, in the variational derivation of the equations for motion for inviscid fluids, the statement of the stationarity of the action directly gives a weak form of the equations—with the vector field w generating an arbitrary diffeomorphism regarded as a test function—which can provide the starting point for a finite-element discretisation. The weak forms we obtain by exploiting the covariance of the action (namely (3.14), (4.6) and (4.18) for the compressible, incompressible and Euler-\(\alpha \) equations, and (4.29) for the additional magnetic term) are particularly simple and well suited for discretisations that preserve discrete analogues of the conserved global momenta (Toshniwal et al. 2014; Gerritsma 2014).
Third, we return to one of the motivations for using the conservation form of the equations of momentum, namely the suitability of this form when carrying out an average over fluctuations. Eulerian (Reynolds) averaging is straightforward; for the incompressible Navier–Stokes equations it leads to the 1-form valued 2-form Reynolds stress \(- \overline{\nu ' \otimes \star \nu '}\), where \(\nu ' = \nu - \overline{\nu }\) is the momentum fluctuation and the overbar denotes averaging. The situation is more complex for averages that are performed at moving rather than fixed Eulerian position, such as the thickness-weighted average used in oceanography (Young 2012). The derivation of thickness-weighted average equations, leading to a geometric interpretation of the Eliassen–Palm tensor (the relevant generalisation of the Reynolds stress; see Maddison and Marshall (2013)) is the subject of ongoing work (Gilbert and Vanneste 2023).
Data Access:
No data were created or analysed in this study.
References
Arnold, V.I.: Sur la géométrie différentielle des groupes de Lie de dimension infinie et ses applications à l’hydrodynamique des fluides parfaits. Ann. Inst. Fourier 16, 316–361 (1966)
Arnold, V.I., Khesin, B.A.: Topological Methods in Hydrodynamics, p. 125. Springer-Verlag, Applied Mathematical Sciences, vol (1998)
Batchelor, G.K.: An Introduction to Fluid Dynamics. Cambridge University Press, Cambridge (1967)
Besse, N., Frisch, U.: Geometric formulation of the Cauchy invariants for incompressible Euler flow in flat and curved spaces. J. Fluid Mech. 825, 412–478 (2017)
Bird, R.B., Hassager, O., Armstrong, R.C., Curtiss, C. F.: Dynamics of polymeric liquids, vol. 2: kinetic theory. Wiley (1977)
Brillouin, L.: Les tenseurs en mécanique et en élasticité. Dover (1919)
Cartan, E.: Sur les variétés à connexion affine, et la théorie de la relativité généralisée (deuxième partie). Ann. Sci. Ecole Normale Sup. 42, 17–88 (1925)
Davidson, P.: Turbulence: An Introduction for Scientists and Engineers, 2nd edn. Oxford University Press, Oxford (2015)
Degond, P., Lemou, L. Picasso, M.: Viscoelastic fluid models derived from kinetic equations for polymers. SIAM J. Appl. Math. 62, 1501–1519
Dellar, P.J.: Hamiltonian and symmetric hyperbolic structures of shallow water magnetohydrodynamics. Phys. Plasmas 9, 1130–1136 (2002)
Frankel, T.: The Geometry of Physics. Cambridge University Press, Cambridge (1997)
Gay-Balmaz, F., Ratiu, T.S.: The Lie-Poisson structure of the LAE-\(\alpha \) equation. Dyn. PDEs 2, 25–57 (2005)
Gerritsma, M.: Structure-preserving discretization for continuum models. In Proc. 21st International Symposium on Mathematical Theory of Systems and Networks, July 7-11, 2014. Groningen, The Netherlands (2014)
Giaquinta, M., Mariano, P.M., Modica, G.: Stress constraints in simple bodies undergoing large strains: a variational approach. Proc. R. Soc. Edin. 145A, 1183–1214 (2015)
Giaquinta, M., Modica, G., Souček, J.: Cartesian Currents in the Calculus of Variations II. Springer, Berlin (1998)
Gilbert, A.D., Riedinger, X., Thuburn, J.: On the form of the viscous term for two dimensional Navier-Stokes flows. QJMAM 67, 205–228 (2014)
Gilbert, A.D., Vanneste, J.: Geometric generalised Lagrangian mean theories. J. Fluid Mech. 839, 95–134 (2018)
Gilbert, A.D., Vanneste, J.: A geometric look at MHD and the Braginsky dynamo. Geophys. Astrophys. Fluid Dynam. 115, 436–471 (2019)
Gilbert, A.D., Vanneste, J.: A geometric look at thickness-weighted averaging. In preparation (2023)
Gilman, P.A.: Magnetohydrodynamic ‘shallow water’ equations for the solar tachocline. Astrophys. J. 544, L79-82 (2000)
Gotay, M.J., Marsden, J.E.: Stress–energy–momentum tensors and the Belinfante-Rosenfield formula. In: Mathematical aspects of classical field theory. Contemp. Math., No. 132. American Mathematical Society, 367–392 (1992)
Hawking, S.W., Ellis, G.F.R.: The Large Scale Structure of Space-Time. Cambridge University Press, Cambridge (1973)
Holm, D.D.: Fluctuation effects on 3D Lagrangian mean and Eulerian mean fluid motion. Phys. D 133, 215–269 (1999)
Holm, D.D.: Variational principles for Lagrangian-averaged fluid dynamics. J. Phys. A. Math. Gen. 35, 679–668 (2002)
Holm, D.D., Marsden, J.E., Ratiu, T.: The Euler-Poincaré equations and semi-direct products with applications to continuum theories. Adv. Math. 137, 1–81 (1998)
Holm, D.D., Schmah, T., Stoica, C.: Geometric Mechanics and Symmetry: From Finite to Infinite Dimensions. Oxford University Press, Oxford (2009)
Kanso, E., Arroyo, M., Tong, Y., Yavari, A., Marsden, J.E., Desbrun, M.: On the geometric character of stress in continuum mechanics. Z. angew. Math. Phys. 58, 843–856 (2007)
Lindborg, E., Nordmark, A.: Two-dimensional turbulence on a sphere. J. Fluid Mech. 933, A60 (2022)
Maddison, J.R., Marshall, D.P.: The Eliassen-Palm flux tensor. J. Fluid Mech. 729, 62–102 (2013)
Marsden, J.E., Hughes, T.J.R.: Mathematical Foundations of Elasticity. Dover, Mineola (1983)
Marsden, J.E., Ratiu, T.S., Shkoller, S.: The geometry and analysis of the averaged Euler equations and a new diffeomorphism group. Geom. Funct. Anal. 10, 582–599 (2000)
Marsden, J.E., Shkoller, S.: The anisotropic Lagrangian averaged Euler and Navier-Stokes equations. Arch. Ration. Mech. Anal. 166, 27–46 (2003)
Morozov, A., Spagnolie, S.E.: Introduction to complex fluids. In Complex fluids in biological systems, S. E. Spagnolie (ed.), Springer (2015)
Morrison, P.J.: Hamiltonian description of the ideal fluid. Rev. Mod. Phys. 70, 467–521 (1998)
Newcomb, W.A.: Lagrangian and Hamiltonian methods in magnetohydrodynamics. Nucl. Fusion Suppl., part 2, 451–463 (1962)
Oldroyd, J.G.: On the formulation of rheological equations of state. Proc. Roy. Soc. Lond. A 200, 523–541 (1950)
Oliver, M.: Lagrangian averaging with geodesic mean. Proc. R. Soc. Lond. A 473, 20170558 (2017)
Oliver, M., Vasylkevych, S.: Geodesic motion on groups of diffeomorphisms with \(H^1\) metric as geometric generalised Lagrangian mean theory. Geophys. Astrophys. Fluid Dynam. 113, 466–490 (2019)
Roberts, P.H., Soward, A.M.: Covariant description of non-relativistic magnetohydrodynamics. Geophys. Astrophys. Fluid Dynam. 100, 485–502 (2006)
Salmon, R.: Hamiltonian fluid mechanics. Ann. Rev. Fluid Mech. 20, 225–256 (1988)
Segev, R.: Notes on metric independent analysis of classical fields. Math. Meth. Appl. Sci. 36, 497–566 (2013)
Segev, R.: Continuum mechanics, stresses, currents and electrodynamics. Phil. Trans. R. Soc. A 374, 20150174 (2016)
Schutz, B.: Geometrical Methods of Mathematical Physics. Cambridge University Press (1980)
Shkoller, S.: Geometry and curvature of diffeomorphism groups with H1 metric and mean hydrodynamics. J. Funct. Anal. 160, 337–365 (1998)
Shkoller, S.: Analysis on groups of diffeomorphisms of manifolds with boundary and the averaged motion of a fluid. J. Diff. Geom. 55, 145–191 (2000)
Toshniwal, D., Huijsmans, R.H.M., Gerritsma, M.I.: A geometric approach towards momentum conservation. In: Azaïez, M., El Fekih, H., Hesthaven, J. (eds.) Spectral and High Order Methods for Partial Differential Equations. Springer, Berlin (2014)
Webb, G.: Magnetohydrodynamics and Fluid Dynamics: Action Principles and Conservation Laws. Springer, Berlin (2018)
Young, W.R.: An exact thickness-weighted average formulation of the Boussinesq equations. J. Phys. Oceanogr. 42, 692–707 (2012)
Acknowledgements
The authors thank Darryl Holm, Alexander Morozov, Marcel Oliver and Andrew Soward for helpful discussions relating to geometrical fluid dynamics, MHD and viscoelastic fluids.
Funding
ADG’s work was supported by the Leverhulme Trust through the award of a Research Fellowship (grant RF-2018-023), and by EPSRC through the award of research grant EP/T023139/1.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by Paul Newton.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
A Computations in spherical geometry
We consider the 1-form valued stress \(\tau \) on the sphere \(\mathbb {S}^2\). In terms of the polar and azimuthal angles \(\theta \) and \(\varphi \), the standard metric and associated volume (in fact area) form read
On this two dimensional manifold the stress \(\tau \) becomes a 1-form valued 1-form (rather than the 1-form valued 2-forms used earlier for three dimensions). We write it as
The symmetry of the stress tensor implies a relationship between its components. Using (A.1), we find that
hence
The symmetry condition in the form (2.14) therefore implies that
We compute the exterior covariant derivative \(\mathfrak {d}\tau \) using (2.31). This requires the covariant derivatives of \(d \theta \) and \(d \varphi \). The (Levi–Civita) connection on the sphere is determined by the relations
Using that \(\nabla \) applied to contractions of basis 1-forms and basis vectors vanishes, we find the counterparts
With these expressions, the computation of \(\mathfrak {d}\tau \) from (2.31) is straightforward:
using the symmetry property (A.5) to simplify the penultimate line.
It is interesting to verify explicitly the property (6.2) that contraction of the first leg of \(\mathfrak {d}\tau \) with a Killing vector field k yields the (metric-independent) pairing \((k,\tau )\). The sphere \(\mathbb {S}^2\) has the three Killing fields
corresponding to rotation about the x-, y- and z-axes. We have
while
A direct computation using (A.5) gives \((k_i, \mathfrak {d}\tau ) = d(k_i,\tau )\) for \(i=1,\,2,\,3\), as expected from (6.2). This implies conservation laws of the form (6.4) for the angular momenta \((k_i,\rho \nu \otimes \mu )\), explicitly
B Variational Derivation of (3.1)
We detail the variational derivation of the Euler equations in (3.1) from the action (3.6). Starting with condition (3.10) for the stationarity of the action, we use integration by parts to rewrite each term as a pairing with the undifferentiated w. The first term is given in (3.16a); the others are
on using that, for any scalar field f, \(\mathcal {L}_w(f \mu ) = d(f w \lrcorner \mu ) {\; \;\simeq \; \;} 0\) by Cartan’s formula. To explain, as an example, one of these in more detail, consider (B.1a). We write first
We have from Cartan’s formula (2.26) applied to the term we wish to remove, \( \mathcal {L}_u [ (w\lrcorner \nu ) \, \rho \mu ] = d [ (w\lrcorner \nu ) \, u \lrcorner \rho \mu ]\), and then on integrating over \(\mathcal {M}\) we find
using (3.15) and the boundary condition that \(u \parallel \partial \mathcal {M}\): if a surface element is defined by vectors a and b at a point, then \(u \lrcorner \mu (a,b) = \mu (u,a,b)\) vanishes as u is contained in the vector space spanned by a and b.
Introducing the various formulae (B.1) into (3.10) gives
We use the thermodynamic definitions that \(T=\partial _s e\) is the temperature and \(h=(\rho e)_\rho = e + p / \rho \) is the enthalpy, together with \(dh = \rho ^{-1} \,dp + T\, ds\) to simplify the last terms. Requiring this integral to be zero for arbitrary w recovers the equation of motion as precisely (3.2).
C Shallow Water Equations in Conservation Form
In this appendix, we derive conservation forms for the shallow water and MHD shallow water models. We consider a two-dimensional manifold \(\mathcal {M}\) supporting a (two-dimensional) fluid flow u and scalar height field h; flows and magnetic fields are taken parallel to any boundary of \(\mathcal {M}\). The shallow water action is given by
where the height field transport is governed by conservation of mass,
or equivalently \( h \mu = \phi _* (h_0 \mu )\), where \(h_0\) is the initial height. When the flow map is varied we have
Varying the action (C.1) gives
and so we gain
Given (C.2) we can write this equation in the usual form
If on the other hand we apply the covariance of the action (3.12), we have
Combining with (C.4) and tidying gives
with the conservation form easily derived as
Magnetic fields can also be incorporated into shallow water systems and the resulting modelling is relevant to the solar tachocline and other stratified MHD systems in astrophysics (Gilman 2000; Dellar 2002). In our setting, given any two points x and y of our two-dimensional \(\mathcal {M}\), what is key is the magnetic flux between these points and so we define a scalar magnetic potential a (up to a constant) so that this flux is \(a(y)-a(x)\). Since these points, i.e. these columns of fluid in the real system, move as Lagrangian markers in the flow, the flux between them is conserved and so a evolves according to
We then set \(h\beta = da\) where the magnetic flux \(\beta \) is now a 1-form such that the total flux through a one-dimensional surface element in M, that is integrated over the fluid layer from base to h, is given by \(h \beta \). This satisfies \(d(h\beta ) =0\) and also
The corresponding magnetic vector field b is related to \(\beta \) through \(b\lrcorner \mu = \beta \) or, equivalently \(\star \beta = b_\flat \). It satisfies \(\mathop {\textrm{div}}\nolimits (hb)=0\) and, from (C.2) and (C.11),
Note that there is no \( b \mathop {\textrm{div}}\nolimits u\) term present, in contrast to (4.24): the effects of nonzero divergence of the flow u are absorbed into the height field h.
The action is \(\mathcal {A}-\mathcal {B}\), with \(\mathcal {A}\) the shallow-water action (C.1) and \(\mathcal {B}\) the magnetic term
When the path is varied we have (C.3) and
(contrast (4.25)). Hence we find that
Integrating by parts and using the arbitrariness of w we obtain the equation of motion
Using (C.2) and noting that \(\mathcal {L}_b (h \mu ) = d ( b \lrcorner h\mu ) = \mu \mathop {\textrm{div}}\nolimits (hb) = 0 \), we can write this as
If instead we apply the covariance (3.12) the terms associated with \(\mathcal {B}\) are
Combining this with the path variation (C.15) leaves only
giving the conservation version of shallow water MHD as
Note that there is no magnetic pressure term here, that is the term \( - \tfrac{1}{2} d g(b,b)\mu \) present in (4.30). Although shallow water dynamics has many attributes of compressible fluid flow, with the height field h playing the role of pressure, the underlying fluid dynamics is incompressible and the magnetic pressure does not emerge in the resulting equations (Gilman 2000; Dellar 2002).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gilbert, A.D., Vanneste, J. A Geometric Look at Momentum Flux and Stress in Fluid Mechanics. J Nonlinear Sci 33, 31 (2023). https://doi.org/10.1007/s00332-023-09887-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00332-023-09887-0