Showing 1–50 of 141 results for author: Holm, D D

Compound Burgers-KdV Soliton Behaviour: Refraction, Reflection and Fusion

Authors: Darryl D. Holm, Ruiao Hu, Oliver D. Street, Hanchun Wang

Abstract: We consider a coupled PDE system between the Burgers equation and the KdV equation to model the interactions between `bore'-like structures and wave-like solitons in shallow water. Two derivations of the resulting Burgers-swept KdV system are presented, based on Lie group symmetry and reduced variational principles. Exact compound soliton solutions are obtained, and numerical simulations show that… ▽ More We consider a coupled PDE system between the Burgers equation and the KdV equation to model the interactions between `bore'-like structures and wave-like solitons in shallow water. Two derivations of the resulting Burgers-swept KdV system are presented, based on Lie group symmetry and reduced variational principles. Exact compound soliton solutions are obtained, and numerical simulations show that the Burgers and KdV momenta tend toward a balance at which the coupled system reduces to the integrable Gardner equation. The numerical simulations also reveal rich nonlinear solution behaviours that include refraction, reflection, and soliton fusion, before the balance is finally achieved. △ Less

Submitted 5 May, 2025; originally announced May 2025.

Comments: 17 pages, 17 figures

MSC Class: 35Q35 (Primary); 35Q53; 37K40; 76-10 (Secondary) ACM Class: I.6.3; I.6.5

Lagrangian reduction and wave mean flow interaction

Authors: Darryl D. Holm, Ruiao Hu, Oliver D. Street

Abstract: How does one derive models of dynamical feedback effects in multiscale, multiphysics systems such as wave mean flow interaction (WMFI)? We shall address this question for hybrid dynamical systems, whose motion can be expressed as the composition of two or more Lie-group actions. Hybrid systems abound in fluid dynamics. Examples include: the dynamics of complex fluids such as liquid crystals; wind-… ▽ More How does one derive models of dynamical feedback effects in multiscale, multiphysics systems such as wave mean flow interaction (WMFI)? We shall address this question for hybrid dynamical systems, whose motion can be expressed as the composition of two or more Lie-group actions. Hybrid systems abound in fluid dynamics. Examples include: the dynamics of complex fluids such as liquid crystals; wind-driven waves propagating with the currents moving on the sea surface; turbulence modelling in fluids and plasmas; and classical-quantum hydrodynamic models in molecular chemistry. From among these examples, the motivating question in this paper is: How do wind-driven waves produce ocean surface currents? The paper first summarises the geometric mechanics approach for deriving hybrid models of multiscale, multiphysics motions in ideal fluid dynamics. It then illustrates this approach for WMFI in the examples of 3D WKB waves and 2D wave amplitudes governed by the nonlinear Schrödinger (NLS) equation propagating in the frame of motion of an ideal incompressible inhomogeneous Euler fluid flow. The results for these examples tell us that the fluid flow in WMFI does not create waves. However, feedback in the opposite direction is possible, since 3D WKB and 2D NLS wave dynamics can indeed create circulatory fluid flow. △ Less

Submitted 27 April, 2023; v1 submitted 12 December, 2022; originally announced January 2023.

Comments: 2nd version, 32 pages, 3 figures, comments welcome by email

Variational Principles on Geometric Rough Paths and the Lévy Area Correction

Authors: Theo Diamantakis, Darryl D. Holm, Grigorios A. Pavliotis

Abstract: In this paper, we describe two effects of the Lévy area correction on the invariant measure of stochastic rigid body dynamics on geometric rough paths. From the viewpoint of dynamics, the Lévy area correction introduces an additional deterministic torque into the rigid body motion equation on geometric rough paths. When the dynamics is driven by coloured noise, and for rigid body dynamics with dou… ▽ More In this paper, we describe two effects of the Lévy area correction on the invariant measure of stochastic rigid body dynamics on geometric rough paths. From the viewpoint of dynamics, the Lévy area correction introduces an additional deterministic torque into the rigid body motion equation on geometric rough paths. When the dynamics is driven by coloured noise, and for rigid body dynamics with double-bracket dissipation, theoretical and numerical results show that this additional deterministic torque shifts the centre of the probability distribution function by shifting the Hamiltonian function in the exponent of the Gibbsian invariant measure. △ Less

Submitted 19 June, 2023; v1 submitted 29 August, 2022; originally announced August 2022.

Comments: 39 pages, 9 figures, 3rd version, comments welcome

Journal ref: SIAM Journal on Applied Dynamical Systems (2023) Volume 22 Issue 2 pp. 1182-1218

The r-Camassa-Holm equation: smooth and singular solutions

Authors: C. J. Cotter, D. D. Holm, T. Pryer

Abstract: This paper introduces the r-Camassa-Holm (r-CH) equation, which describes a geodesic flow on the manifold of diffeomorphisms acting on the real line induced by the W1,r metric. The conserved energy is for the problem is given by the full W1,r norm and the for r = 2, we recover the Camassa-Holm equation. We compute the Lie symmetries for r-CH and study various symmetry reductions. We introduce sing… ▽ More This paper introduces the r-Camassa-Holm (r-CH) equation, which describes a geodesic flow on the manifold of diffeomorphisms acting on the real line induced by the W1,r metric. The conserved energy is for the problem is given by the full W1,r norm and the for r = 2, we recover the Camassa-Holm equation. We compute the Lie symmetries for r-CH and study various symmetry reductions. We introduce singular weak solutions of the r-CH equation for r >= 2 and demonstrates their robustness in numerical simulations of their nonlinear interactions in both overtaking and head-on collisions. Several open questions are formulated about the unexplored properties of the r-CH weak singular solutions, including the question of whether they would emerge from smooth initial conditions. △ Less

Submitted 18 July, 2023; v1 submitted 28 February, 2022; originally announced March 2022.

Comments: Revised manuscript after comments from reviewers

Stochastic geometric mechanics with diffeomorphisms

Authors: Darryl D. Holm, Erwin Luesink

Abstract: Noether's celebrated theorem associating symmetry and conservation laws in classical field theory is adapted to allow for broken symmetry in geometric mechanics and is shown to play a central role in deriving and understanding the generation of fluid circulation via the Kelvin-Noether theorem for ideal fluids with stochastic advection by Lie transport (SALT). Noether's celebrated theorem associating symmetry and conservation laws in classical field theory is adapted to allow for broken symmetry in geometric mechanics and is shown to play a central role in deriving and understanding the generation of fluid circulation via the Kelvin-Noether theorem for ideal fluids with stochastic advection by Lie transport (SALT). △ Less

Submitted 17 August, 2021; originally announced August 2021.

Comments: 10 pages, for book chapter

Wave-current interaction on a free surface

Authors: Dan Crisan, Darryl D. Holm, Oliver D. Street

Abstract: The classic evolution equations for potential flow on the free surface of a fluid flow are not closed because the pressure and the vertical velocity dynamics are not specified on the free surface. Moreover, their wave dynamics does not cause circulation of the fluid velocity on the free surface. The equations for free-surface motion we derive here are closed and they are not restricted to potentia… ▽ More The classic evolution equations for potential flow on the free surface of a fluid flow are not closed because the pressure and the vertical velocity dynamics are not specified on the free surface. Moreover, their wave dynamics does not cause circulation of the fluid velocity on the free surface. The equations for free-surface motion we derive here are closed and they are not restricted to potential flow. Hence, true wave-current interaction dynamics can occur. In particular, the Kelvin-Noether theorem demonstrates that wave activity can induce fluid circulation and vorticity dynamics on the free surface. The wave-current interaction equations introduced here open new vistas for both the deterministic and stochastic analysis of nonlinear waves on free surfaces. △ Less

Submitted 15 April, 2021; v1 submitted 23 December, 2020; originally announced December 2020.

Comments: Refereed version, comments still welcome (please email)

Stochastic wave-current interaction in thermal shallow water dynamics

Authors: Darryl D Holm, Erwin Luesink

Abstract: Holm (Proc. Roy. Soc 2015) introduced a variational framework for stochastically parametrising unresolved scales of hydrodynamic motion. This variational framework preserves fundamental features of fluid dynamics, such as Kelvin's circulation theorem, while also allowing for dispersive nonlinear wave propagation, both within a stratified fluid and at its free surface. The present paper combines as… ▽ More Holm (Proc. Roy. Soc 2015) introduced a variational framework for stochastically parametrising unresolved scales of hydrodynamic motion. This variational framework preserves fundamental features of fluid dynamics, such as Kelvin's circulation theorem, while also allowing for dispersive nonlinear wave propagation, both within a stratified fluid and at its free surface. The present paper combines asymptotic expansions and vertical averaging with the stochastic variational framework to formulate a new approach for developing stochastic parametrisation schemes for nonlinear wave fields. The approach is applied to a variety of shallow water equations which descend from Euler's three-dimensional fluid equations with rotation and stratification under approximation by asymptotic expansions and vertical averaging. In the entire family of nonlinear stochastic wave-current interaction equations derived here using this approach, Kelvin's circulation theorem reveals a barotropic mechanism for wave generation of horizontal circulation or convection (cyclogenesis) which is activated whenever the gradients of wave elevation and/or topography are not aligned with the gradient of the vertically averaged buoyancy. △ Less

Submitted 8 December, 2020; v1 submitted 23 October, 2019; originally announced October 2019.

Comments: 39 pages, 1 figure and 3 diagrams. Seventh version, comments are always welcome!

Geometry of nonadiabatic quantum hydrodynamics

Authors: Michael S. Foskett, Darryl D. Holm, Cesare Tronci

Abstract: The Hamiltonian action of a Lie group on a symplectic manifold induces a momentum map generalizing Noether's conserved quantity occurring in the case of a symmetry group. Then, when a Hamiltonian function can be written in terms of this momentum map, the Hamiltonian is called `collective'. Here, we derive collective Hamiltonians for a series of models in quantum molecular dynamics for which the Li… ▽ More The Hamiltonian action of a Lie group on a symplectic manifold induces a momentum map generalizing Noether's conserved quantity occurring in the case of a symmetry group. Then, when a Hamiltonian function can be written in terms of this momentum map, the Hamiltonian is called `collective'. Here, we derive collective Hamiltonians for a series of models in quantum molecular dynamics for which the Lie group is the composition of smooth invertible maps and unitary transformations. In this process, different fluid descriptions emerge from different factorization schemes for either the wavefunction or the density operator. After deriving this series of quantum fluid models, we regularize their Hamiltonians for finite $\hbar$ by introducing local spatial smoothing. In the case of standard quantum hydrodynamics, the $\hbar\ne0$ dynamics of the Lagrangian path can be derived as a finite-dimensional canonical Hamiltonian system for the evolution of singular solutions called `Bohmions', which follow Bohmian trajectories in configuration space. For molecular dynamics models, application of the smoothing process to a new factorization of the density operator leads to a finite-dimensional Hamiltonian system for the interaction of multiple (nuclear) Bohmions and a sequence of electronic quantum states. △ Less

Submitted 27 March, 2019; v1 submitted 3 July, 2018; originally announced July 2018.

Comments: 41 pages, no figures

Predicting Uncertainty in Geometric Fluid Mechanics

Authors: François Gay-Balmaz, Darryl D. Holm

Abstract: We review opportunities for stochastic geometric mechanics to incorporate observed data into variational principles, in order to derive data-driven nonlinear dynamical models of effects on the variability of computationally resolvable scales of fluid motion, due to unresolvable, small, rapid scales of fluid motion. We review opportunities for stochastic geometric mechanics to incorporate observed data into variational principles, in order to derive data-driven nonlinear dynamical models of effects on the variability of computationally resolvable scales of fluid motion, due to unresolvable, small, rapid scales of fluid motion. △ Less

Submitted 26 June, 2018; originally announced June 2018.

Comments: arXiv admin note: text overlap with arXiv:1802.05711

Stochastic Parametrization of the Richardson Triple

Authors: Darryl D. Holm

Abstract: A Richardson triple is an ideal fluid flow map $g_{t/\ep,t,\ep t} = h_{t/\ep}k_t l_{\ep t}$ composed of three smooth maps with separated time scales: slow, intermediate and fast; corresponding to the big, little, and lesser whorls in Richardson's well-known metaphor for turbulence. Under homogenisation, as $\lim \ep\to0$, the composition $h_{t/\ep}k_t $ of the fast flow and the intermediate flow i… ▽ More A Richardson triple is an ideal fluid flow map $g_{t/\ep,t,\ep t} = h_{t/\ep}k_t l_{\ep t}$ composed of three smooth maps with separated time scales: slow, intermediate and fast; corresponding to the big, little, and lesser whorls in Richardson's well-known metaphor for turbulence. Under homogenisation, as $\lim \ep\to0$, the composition $h_{t/\ep}k_t $ of the fast flow and the intermediate flow is known to be describable as a single stochastic flow $\dd g$. The interaction of the homogenised stochastic flow $\dd g$ with the slow flow of the big whorl is obtained by going into its non-inertial moving reference frame, via the composition of maps $(\dd g)l_{\ep t}$. This procedure parameterises the interactions of the three flow components of the Richardson triple as a single stochastic fluid flow in a moving reference frame. The Kelvin circulation theorem for the stochastic dynamics of the Richardson triple reveals the interactions among its three components. Namely, (i) the velocity in the circulation integrand acquires is kinematically swept by the large scales; and (ii) the velocity of the material circulation loop acquires additional stochastic Lie transport by the small scales. The stochastic dynamics of the composite homogenised flow is derived from a stochastic Hamilton's principle, and then recast into Lie-Poisson bracket form with a stochastic Hamiltonian. Several examples are given, including fluid flow with stochastically advected quantities, and rigid body motion under gravity, i.e., the stochastic heavy top in a rotating frame. △ Less

Submitted 20 October, 2018; v1 submitted 14 August, 2017; originally announced August 2017.

Comments: Printed in J Nonlinear Science

Wave breaking for the Stochastic Camassa-Holm equation

Authors: Dan O. Crisan, Darryl D. Holm

Abstract: We show that wave breaking occurs with positive probability for the Stochastic Camassa-Holm (SCH) equation. This means that temporal stochasticity in the diffeomorphic flow map for SCH does not prevent the wave breaking process which leads to the formation of peakon solutions. We conjecture that the time-asymptotic solutions of SCH will consist of emergent wave trains of peakons moving along stoch… ▽ More We show that wave breaking occurs with positive probability for the Stochastic Camassa-Holm (SCH) equation. This means that temporal stochasticity in the diffeomorphic flow map for SCH does not prevent the wave breaking process which leads to the formation of peakon solutions. We conjecture that the time-asymptotic solutions of SCH will consist of emergent wave trains of peakons moving along stochastic space-time paths. △ Less

Submitted 27 July, 2017; originally announced July 2017.

Comments: 9 pages, 1 figure, dedicated to Edriss Titi on the occasion of his 60th birthday!

Dynamics of non-holonomic systems with stochastic transport

Authors: Darryl D Holm, Vakhtang Putkaradze

Abstract: This paper formulates a variational approach for treating observational uncertainty and/or computational model errors as stochastic transport in dynamical systems governed by action principles under nonholonomic constraints. For this purpose, we derive, analyze and numerically study the example of an unbalanced spherical ball rolling under gravity along a stochastic path. Our approach uses the Ham… ▽ More This paper formulates a variational approach for treating observational uncertainty and/or computational model errors as stochastic transport in dynamical systems governed by action principles under nonholonomic constraints. For this purpose, we derive, analyze and numerically study the example of an unbalanced spherical ball rolling under gravity along a stochastic path. Our approach uses the Hamilton-Pontryagin variational principle, constrained by a stochastic rolling condition, which we show is equivalent to the corresponding stochastic Lagrange-d'Alembert principle. In the example of the rolling ball, the stochasticity represents uncertainty in the observation and/or error in the computational simulation of the angular velocity of rolling. The influence of the stochasticity on the deterministically conserved quantities is investigated both analytically and numerically. Our approach applies to a wide variety of stochastic, nonholonomically constrained systems, because it preserves the mathematical properties inherited from the variational principle. Keywords: Nonholonomic constraints, Stochastic dynamics, Transport noise. △ Less

Submitted 21 October, 2018; v1 submitted 15 July, 2017; originally announced July 2017.

Comments: Published version

Journal ref: Proc Roy Soc A 474(2209): 20170479 (2018)

Stochastic geometric models with non-stationary spatial correlations in Lagrangian fluid flows

Authors: François Gay-Balmaz, Darryl D. Holm

Abstract: Inspired by spatiotemporal observations from satellites of the trajectories of objects drifting near the surface of the ocean in the National Oceanic and Atmospheric Administration's `Global Drifter Program', this paper develops data-driven stochastic models of geophysical fluid dynamics (GFD) with non-stationary spatial correlations representing the dynamical behaviour of oceanic currents. Three… ▽ More Inspired by spatiotemporal observations from satellites of the trajectories of objects drifting near the surface of the ocean in the National Oceanic and Atmospheric Administration's `Global Drifter Program', this paper develops data-driven stochastic models of geophysical fluid dynamics (GFD) with non-stationary spatial correlations representing the dynamical behaviour of oceanic currents. Three models are considered. Model 1 from Holm [2015] is reviewed, in which the spatial correlations are time independent. Two new models, called Model 2 and Model 3, introduce two different symmetry breaking mechanisms by which the spatial correlations may be advected by the flow. These models are derived using reduction by symmetry of stochastic variational principles, leading to stochastic Hamiltonian systems, whose momentum maps, conservation laws and Lie-Poisson bracket structures are used in developing the new stochastic Hamiltonian models of GFD. △ Less

Submitted 18 October, 2018; v1 submitted 20 March, 2017; originally announced March 2017.

Comments: 27 pages, 3 figures

$G$-Strands on symmetric spaces

Authors: Alexis Arnaudon, Darryl D. Holm, Rossen I. Ivanov

Abstract: We study the $G$-strand equations that are extensions of the classical chiral model of particle physics in the particular setting of broken symmetries described by symmetric spaces. These equations are simple field theory models whose configuration space is a Lie group, or in this case a symmetric space. In this class of systems, we derive several models that are completely integrable on finite di… ▽ More We study the $G$-strand equations that are extensions of the classical chiral model of particle physics in the particular setting of broken symmetries described by symmetric spaces. These equations are simple field theory models whose configuration space is a Lie group, or in this case a symmetric space. In this class of systems, we derive several models that are completely integrable on finite dimensional Lie group $G$ and we treat in more details examples with symmetric space $SU(2)/S^1$ and $SO(4)/SO(3)$. The later model simplifies to an apparently new integrable $9$ dimensional system. We also study the $G$-strands on the infinite dimensional group of diffeomorphisms, which gives, together with the Sobolev norm, systems of $1+2$ Camassa-Holm equations. The solutions of these equations on the complementary space related to the Witt algebra decomposition are the odd function solutions. △ Less

Submitted 9 February, 2017; originally announced February 2017.

Comments: To appear in Proceedings of the Royal Society A

Journal ref: Proceedings of the Royal Society A 473, issue 2199 (2017); 20160795

Bounds on solutions of the rotating, stratified, incompressible, non-hydrostatic, three-dimensional Boussinesq equations

Authors: John D. Gibbon, Darryl D. Holm

Abstract: We study the three-dimensional, incompressible, non-hydrostatic Boussinesq fluid equations, which are applicable to the dynamics of the oceans and atmosphere. These equations describe the interplay between velocity and buoyancy in a rotating frame. A hierarchy of dynamical variables is introduced whose members $Ω_{m}(t)$ ($1 \leq m < \infty$) are made up from the respective sum of the $L^{2m}$-nor… ▽ More We study the three-dimensional, incompressible, non-hydrostatic Boussinesq fluid equations, which are applicable to the dynamics of the oceans and atmosphere. These equations describe the interplay between velocity and buoyancy in a rotating frame. A hierarchy of dynamical variables is introduced whose members $Ω_{m}(t)$ ($1 \leq m < \infty$) are made up from the respective sum of the $L^{2m}$-norms of vorticity and the density gradient. Each $Ω_{m}(t)$ has a lower bound in terms of the inverse Rossby number, $Ro^{-1}$, that turns out to be crucial to the argument. For convenience, the $Ω_{m}$ are also scaled into a new set of variables $D_{m}(t)$. By assuming the existence and uniqueness of solutions, conditional upper bounds are found on the $D_{m}(t)$ in terms of $Ro^{-1}$ and the Reynolds number $Re$. These upper bounds vary across bands in the $\{D_{1},\,D_{m}\}$ phase plane. The boundaries of these bands depend subtly upon $Ro^{-1}$, $Re$, and the inverse Froude number $Fr^{-1}$. For example, solutions in the lower band conditionally live in an absorbing ball in which the maximum value of $Ω_{1}$ deviates from $Re^{3/4}$ as a function of $Ro^{-1},\,Re$ and $Fr^{-1}$. △ Less

Submitted 23 March, 2017; v1 submitted 7 November, 2016; originally announced November 2016.

Comments: 24 pages, 3 figures and 1 table

Noise and dissipation in rigid body motion

Authors: Alexis Arnaudon, Alex L. De Castro, Darryl D. Holm

Abstract: Using the rigid body as an example, we illustrate some features of stochastic geometric mechanics. These features include: i) a geometric variational motivation for the noise structure involving Lie-Poisson brackets and momentum maps, ii) stochastic coadjoint motion with double bracket dissipation, iii) the Lie-Poisson Fokker-Planck description and its stationary solutions, iv) random dynamical sy… ▽ More Using the rigid body as an example, we illustrate some features of stochastic geometric mechanics. These features include: i) a geometric variational motivation for the noise structure involving Lie-Poisson brackets and momentum maps, ii) stochastic coadjoint motion with double bracket dissipation, iii) the Lie-Poisson Fokker-Planck description and its stationary solutions, iv) random dynamical systems, random attractors and SRB measures connected to statistical physics. △ Less

Submitted 20 June, 2016; originally announced June 2016.

Noise and dissipation on coadjoint orbits

Authors: Alexis Arnaudon, Alex L. Castro, Darryl D. Holm

Abstract: We derive and study stochastic dissipative dynamics on coadjoint orbits by incorporating noise and dissipation into mechanical systems arising from the theory of reduction by symmetry, including a semidirect-product extension. Random attractors are found for this general class of systems when the Lie algebra is semi- simple, provided the top Lyapunov exponent is positive. We study two canonical ex… ▽ More We derive and study stochastic dissipative dynamics on coadjoint orbits by incorporating noise and dissipation into mechanical systems arising from the theory of reduction by symmetry, including a semidirect-product extension. Random attractors are found for this general class of systems when the Lie algebra is semi- simple, provided the top Lyapunov exponent is positive. We study two canonical examples, the free rigid body and the heavy top, whose stochastic integrable reductions are found and numerical simulations of their random attractors are shown. △ Less

Submitted 14 May, 2016; v1 submitted 10 January, 2016; originally announced January 2016.

A jetlet hierarchy for ideal fluid dynamics

Authors: C. J. Cotter, D. D. Holm, H. O. Jacobs, D. M. Meier

Abstract: 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 smal… ▽ More 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. △ Less

Submitted 6 May, 2014; v1 submitted 1 February, 2014; originally announced February 2014.

Comments: 1st revision -- Comments welcome

Euler-Poincaré equations for $G$-Strands

Authors: Darryl D. Holm, Rossen I. Ivanov

Abstract: The $G$-strand equations for a map $\mathbb{R}\times \mathbb{R}$ into a Lie group $G$ are associated to a $G$-invariant Lagrangian. The Lie group manifold is also the configuration space for the Lagrangian. The $G$-strand itself is the map $g(t,s): \mathbb{R}\times \mathbb{R}\to G$, where $t$ and $s$ are the independent variables of the $G$-strand equations. The Euler-Poincaré reduction of the var… ▽ More The $G$-strand equations for a map $\mathbb{R}\times \mathbb{R}$ into a Lie group $G$ are associated to a $G$-invariant Lagrangian. The Lie group manifold is also the configuration space for the Lagrangian. The $G$-strand itself is the map $g(t,s): \mathbb{R}\times \mathbb{R}\to G$, where $t$ and $s$ are the independent variables of the $G$-strand equations. The Euler-Poincaré reduction of the variational principle leads to a formulation where the dependent variables of the $G$-strand equations take values in the corresponding Lie algebra $\mathfrak{g}$ and its co-algebra, $\mathfrak{g}^*$ with respect to the pairing provided by the variational derivatives of the Lagrangian. We review examples of different $G$-strand constructions, including matrix Lie groups and diffeomorphism group. In some cases the $G$-strand equations are completely integrable 1+1 Hamiltonian systems that admit soliton solutions. △ Less

Submitted 8 November, 2013; originally announced November 2013.

Comments: To appear in Conference Proceedings for Physics and Mathematics of Nonlinear Phenomena, 22 - 29 June 2013, Gallipoli (Italy) http://pmnp2013.dmf.unisalento.it/talks.shtml, 9 pages, no figures

Integrable G-Strands on semisimple Lie groups

Authors: François Gay-Balmaz, Darryl D. Holm, Tudor S. Ratiu

Abstract: The present paper derives systems of partial differential equations that admit a quadratic zero curvature representation for an arbitrary real semisimple Lie algebra. It also determines the general form of Hamilton's principles and Hamiltonians for these systems and analyzes the linear stability of their equilibrium solutions in the examples of $\mathfrak{so}(3)$ and $\mathfrak{sl}(2,\mathbb{R})$. The present paper derives systems of partial differential equations that admit a quadratic zero curvature representation for an arbitrary real semisimple Lie algebra. It also determines the general form of Hamilton's principles and Hamiltonians for these systems and analyzes the linear stability of their equilibrium solutions in the examples of $\mathfrak{so}(3)$ and $\mathfrak{sl}(2,\mathbb{R})$. △ Less

Submitted 17 August, 2013; originally announced August 2013.

Comments: 17 pages, no figures. First version, comments welcome!

Toda lattice G-Strands

Authors: Darryl D. Holm, Alexander M. Lucas

Abstract: Hamilton's principle is used to extend for the Toda lattice ODEs to systems of PDEs called the Toda lattice strand equations (T-Strands). The T-Strands in the $n$-particle Toda case comprise $4n-2$ quadratically nonlinear PDEs in one space and one time variable. T-Strands form a symmetric hyperbolic Lie-Poisson Hamiltonian system of quadratically nonlinear PDEs with constant characteristic velocit… ▽ More Hamilton's principle is used to extend for the Toda lattice ODEs to systems of PDEs called the Toda lattice strand equations (T-Strands). The T-Strands in the $n$-particle Toda case comprise $4n-2$ quadratically nonlinear PDEs in one space and one time variable. T-Strands form a symmetric hyperbolic Lie-Poisson Hamiltonian system of quadratically nonlinear PDEs with constant characteristic velocities. The travelling wave solutions for the two-particle T-Strand equations are solved geometrically, and their Lax pair is given to show how nonlinearity affects the solution. The three-particle T-Strands equations are also derived from Hamilton's principle. For both the two-particle and three-particle T-Strand PDEs the determining conditions for the existence of a quadratic zero-curvature relation (ZCR) exactly cancel the nonlinear terms in the PDEs. Thus, the two-particle and three-particle T-Strand PDEs do not pass the ZCR test for integrability. △ Less

Submitted 12 June, 2013; originally announced June 2013.

Comments: 26 pages, 1 figure. This began as a master's student project. It may continue developing, especially if we get helpful comments!

Matrix G-Strands

Authors: Darryl D. Holm, Rossen I. Ivanov

Abstract: We discuss three examples in which one may extend integrable Euler--Poincaré ODEs to integrable Euler--Poincaré PDEs in the matrix G-Strand context. After describing matrix G-Strand examples for $SO(3)$ and $SO(4)$ we turn our attention to $SE(3)$ where the matrix G-Strand equations recover the exact rod theory in the convective representation. We then find a zero curvature representation (ZCR) of… ▽ More We discuss three examples in which one may extend integrable Euler--Poincaré ODEs to integrable Euler--Poincaré PDEs in the matrix G-Strand context. After describing matrix G-Strand examples for $SO(3)$ and $SO(4)$ we turn our attention to $SE(3)$ where the matrix G-Strand equations recover the exact rod theory in the convective representation. We then find a zero curvature representation (ZCR) of these equations and establish the conditions under which they are completely integrable. Thus, the G-Strand equations turn out to be a rich source of integrable systems. The treatment is meant to be expository and most concepts are explained in examples in the language of vectors in $\mathbb{R}^3$. △ Less

Submitted 9 February, 2014; v1 submitted 17 May, 2013; originally announced May 2013.

Comments: COMMENTS WELCOME!

Variational formulations of sound-proof models

Authors: C. J. Cotter, D. D. Holm

Abstract: We derive a family of ideal (nondissipative) 3D sound-proof fluid models that includes both the Lipps-Hemler anelastic approximation (AA) and the Durran pseudo-incompressible approximation (PIA). This family of models arises in the Euler-Poincaré framework involving a constrained Hamilton's principle expressed in the Eulerian fluid description. The derivation in this framework establishes the foll… ▽ More We derive a family of ideal (nondissipative) 3D sound-proof fluid models that includes both the Lipps-Hemler anelastic approximation (AA) and the Durran pseudo-incompressible approximation (PIA). This family of models arises in the Euler-Poincaré framework involving a constrained Hamilton's principle expressed in the Eulerian fluid description. The derivation in this framework establishes the following properties of each member of the entire family: the Kelvin-Noether circulation theorem, conservation of potential vorticity on fluid parcels, a Lie-Poisson Hamiltonian formulation possessing conserved Casimirs, a conserved domain integrated energy and an associated variational principle satisfied by the equilibrium solutions. \smallskip Having set the stage with the derivations of 3D models using the constrained Hamilton's principle, we then derive the corresponding 2D vertical slice models for these sound-proof theories. △ Less

Submitted 24 April, 2013; originally announced April 2013.

Comments: 1st version, comments welcome!. arXiv admin note: text overlap with arXiv:1211.5827

Interaction Dynamics of Singular Wave Fronts

Authors: Darryl D. Holm, Martin F. Staley

Abstract: Some of the most impressive singular wave fronts seen in Nature are the transbasin oceanic internal waves, which may be observed from the Space Shuttle as they propagate and interact with each other, for example, in the South China Sea. The characteristic feature of these strongly nonlinear wavefronts is that they reconnect when two of them collide transversely. We derive the EPDiff equation, and… ▽ More Some of the most impressive singular wave fronts seen in Nature are the transbasin oceanic internal waves, which may be observed from the Space Shuttle as they propagate and interact with each other, for example, in the South China Sea. The characteristic feature of these strongly nonlinear wavefronts is that they reconnect when two of them collide transversely. We derive the EPDiff equation, and use it to model this phenomenon as elastic collisions between singular wave fronts (solitons) whose momentum is distributed along curves moving in the plane. Numerical methods for EPDiff based on compatible differencing algorithms (CDAs) are used for simulating these collisions among curves. The numerical results show the same nonlinear behavior of wavefront reconnections as that observed for internal waves in the South China Sea. We generalize the singular solutions of EPDiff for other applications, in computational anatomy and in imaging science, where the singular wavefronts are evolving image outlines, whose momentum may be distributed on surfaces moving though space in three dimensions. The key idea is always momentum exchange during collisions of the wavefronts. A suite of 2d and 3d numerical simulations provide collision rules for the wavefront reconnection phenomenon in a variety of scenarios. △ Less

Submitted 8 January, 2013; originally announced January 2013.

Comments: 141 pages, 88 figures

Quasi-conservation laws for compressible 3D Navier-Stokes flow

Authors: J. D. Gibbon, D. D. Holm

Abstract: We formulate the quasi-Lagrangian fluid transport dynamics of mass density $ρ$ and the projection $q=\bom\cdot\nablaρ$ of the vorticity $\bom$ onto the density gradient, as determined by the 3D compressible Navier-Stokes equations for an ideal gas, although the results apply for an arbitrary equation of state. It turns out that the quasi-Lagrangian transport of $q$ cannot cross a level set of $ρ$.… ▽ More We formulate the quasi-Lagrangian fluid transport dynamics of mass density $ρ$ and the projection $q=\bom\cdot\nablaρ$ of the vorticity $\bom$ onto the density gradient, as determined by the 3D compressible Navier-Stokes equations for an ideal gas, although the results apply for an arbitrary equation of state. It turns out that the quasi-Lagrangian transport of $q$ cannot cross a level set of $ρ$. That is, in this formulation, level sets of $ρ$ (isopychnals) are impermeable to the transport of the projection $q$. △ Less

Submitted 6 October, 2012; v1 submitted 15 June, 2012; originally announced June 2012.

Comments: 2 page note, to appear in Phys Rev E

On Noether's theorem for the Euler-Poincaré equation on the diffeomorphism group with advected quantities

Authors: Colin J. Cotter, Darryl D. Holm

Abstract: We show how Noether conservation laws can be obtained from the particle relabelling symmetries in the Euler-Poincaré theory of ideal fluids with advected quantities. All calculations can be performed without Lagrangian variables, by using the Eulerian vector fields that generate the symmetries, and we identify the time-evolution equation that these vector fields satisfy. When advected quantities (… ▽ More We show how Noether conservation laws can be obtained from the particle relabelling symmetries in the Euler-Poincaré theory of ideal fluids with advected quantities. All calculations can be performed without Lagrangian variables, by using the Eulerian vector fields that generate the symmetries, and we identify the time-evolution equation that these vector fields satisfy. When advected quantities (such as advected scalars or densities) are present, there is an additional constraint that the vector fields must leave the advected quantities invariant. We show that if this constraint is satisfied initially then it will be satisfied for all times. We then show how to solve these constraint equations in various examples to obtain evolution equations from the conservation laws. We also discuss some fluid conservation laws in the Euler-Poincaré theory that do not arise from Noether symmetries, and explain the relationship between the conservation laws obtained here, and the Kelvin-Noether theorem given in Section 4 of Holm, Marsden and Ratiu, {\it Adv. in Math.}, 1998. △ Less

Submitted 20 October, 2018; v1 submitted 13 June, 2012; originally announced June 2012.

Comments: 16 pages, no figures, to appear in Foundations of Computational Mathematics special volume in honor of Peter Olver's 60th birthday

Journal ref: Found. of Comp. Math.} 13:457-477 (2013)

Selective decay by Casimir dissipation in fluids

Authors: F. Gay-Balmaz, D. D. Holm

Abstract: The problem of parameterizing the interactions of larger scales and smaller scales in fluid flows is addressed by considering a property of two-dimensional incompressible turbulence. The property we consider is selective decay, in which a Casimir of the ideal formulation (enstrophy in 2D flows, helicity in 3D flows) decays in time, while the energy stays essentially constant. This paper introduces… ▽ More The problem of parameterizing the interactions of larger scales and smaller scales in fluid flows is addressed by considering a property of two-dimensional incompressible turbulence. The property we consider is selective decay, in which a Casimir of the ideal formulation (enstrophy in 2D flows, helicity in 3D flows) decays in time, while the energy stays essentially constant. This paper introduces a mechanism that produces selective decay by enforcing Casimir dissipation in fluid dynamics. This mechanism turns out to be related in certain cases to the numerical method of anticipated vorticity discussed in \cite{SaBa1981,SaBa1985}. Several examples are given and a general theory of selective decay is developed that uses the Lie-Poisson structure of the ideal theory. A scale-selection operator allows the resulting modifications of the fluid motion equations to be interpreted in several examples as parameterizing the nonlinear, dynamical interactions between disparate scales. The type of modified fluid equation systems derived here may be useful in modelling turbulent geophysical flows where it is computationally prohibitive to rely on the slower, indirect effects of a realistic viscosity, such as in large-scale, coherent, oceanic flows interacting with much smaller eddies. △ Less

Submitted 20 October, 2018; v1 submitted 12 June, 2012; originally announced June 2012.

Journal ref: Nonlinearity 26(2):495--524 (2013)

Multiscale Turbulence Models Based on Convected Fluid Microstructure

Authors: Darryl D. Holm, Cesare Tronci

Abstract: The Euler-Poincaré approach to complex fluids is used to derive multiscale equations for computationally modelling Euler flows as a basis for modelling turbulence. The model is based on a \emph{kinematic sweeping ansatz} (KSA) which assumes that the mean fluid flow serves as a Lagrangian frame of motion for the fluctuation dynamics. Thus, we regard the motion of a fluid parcel on the computational… ▽ More The Euler-Poincaré approach to complex fluids is used to derive multiscale equations for computationally modelling Euler flows as a basis for modelling turbulence. The model is based on a \emph{kinematic sweeping ansatz} (KSA) which assumes that the mean fluid flow serves as a Lagrangian frame of motion for the fluctuation dynamics. Thus, we regard the motion of a fluid parcel on the computationally resolvable length scales as a moving Lagrange coordinate for the fluctuating (zero-mean) motion of fluid parcels at the unresolved scales. Even in the simplest 2-scale version on which we concentrate here, the contributions of the fluctuating motion under the KSA to the mean motion yields a system of equations that extends known results and appears to be suitable for modelling nonlinear backscatter (energy transfer from smaller to larger scales) in turbulence using multiscale methods. △ Less

Submitted 20 March, 2012; originally announced March 2012.

Comments: 1st version, comments welcome! 23 pages, no figures. In honor of Peter Constantin's 60th birthday

Collisionless kinetic theory of rolling molecules

Authors: Darryl D. Holm, Vakhtang Putkaradze, Cesare Tronci

Abstract: We derive a collisionless kinetic theory for an ensemble of molecules undergoing nonholonomic rolling dynamics. We demonstrate that the existence of nonholonomic constraints leads to problems in generalizing the standard methods of statistical physics. In particular, we show that even though the energy of the system is conserved, and the system is closed in the thermodynamic sense, some fundamenta… ▽ More We derive a collisionless kinetic theory for an ensemble of molecules undergoing nonholonomic rolling dynamics. We demonstrate that the existence of nonholonomic constraints leads to problems in generalizing the standard methods of statistical physics. In particular, we show that even though the energy of the system is conserved, and the system is closed in the thermodynamic sense, some fundamental features of statistical physics such as invariant measure do not hold for such nonholonomic systems. Nevertheless, we are able to construct a consistent kinetic theory using Hamilton's variational principle in Lagrangian variables, by regarding the kinetic solution as being concentrated on the constraint distribution. A cold fluid closure for the kinetic system is also presented, along with a particular class of exact solutions of the kinetic equations. △ Less

Submitted 5 December, 2012; v1 submitted 28 September, 2011; originally announced September 2011.

Comments: Revised version; 31 pages, 1 figure

$G$-Strands

Authors: Darryl D. Holm, Rossen I. Ivanov, James R. Percival

Abstract: A $G$-strand is a map $g(t,{s}):\,\mathbb{R}\times\mathbb{R}\to G$ for a Lie group $G$ that follows from Hamilton's principle for a certain class of $G$-invariant Lagrangians. The SO(3)-strand is the $G$-strand version of the rigid body equation and it may be regarded physically as a continuous spin chain. Here, $SO(3)_K$-strand dynamics for ellipsoidal rotations is derived as an Euler-Poincaré sy… ▽ More A $G$-strand is a map $g(t,{s}):\,\mathbb{R}\times\mathbb{R}\to G$ for a Lie group $G$ that follows from Hamilton's principle for a certain class of $G$-invariant Lagrangians. The SO(3)-strand is the $G$-strand version of the rigid body equation and it may be regarded physically as a continuous spin chain. Here, $SO(3)_K$-strand dynamics for ellipsoidal rotations is derived as an Euler-Poincaré system for a certain class of variations and recast as a Lie-Poisson system for coadjoint flow with the same Hamiltonian structure as for a perfect complex fluid. For a special Hamiltonian, the $SO(3)_K$-strand is mapped into a completely integrable generalization of the classical chiral model for the SO(3)-strand. Analogous results are obtained for the $Sp(2)$-strand. The $Sp(2)$-strand is the $G$-strand version of the $Sp(2)$ Bloch-Iserles ordinary differential equation, whose solutions exhibit dynamical sorting. Numerical solutions show nonlinear interactions of coherent wave-like solutions in both cases. ${\rm Diff}(\mathbb{R})$-strand equations on the diffeomorphism group $G={\rm Diff}(\mathbb{R})$ are also introduced and shown to admit solutions with singular support (e.g., peakons). △ Less

Submitted 13 May, 2012; v1 submitted 20 September, 2011; originally announced September 2011.

Comments: 35 pages, 5 figures, 3rd version. To appear in J Nonlin Sci

Enstrophy bounds and the range of space-time scales in the hydrostatic primitive equations

Authors: J. D. Gibbon, D. D. Holm

Abstract: The hydrostatic primitive equations (HPE) form the basis of most numerical weather, climate and global ocean circulation models. Analytical (not statistical) methods are used to find a scaling proportional to $(Nu\,Ra\,Re)^{1/4}$ for the range of horizontal spatial sizes in HPE solutions, which is much broader than currently achievable computationally. The range of scales for the HPE is determined… ▽ More The hydrostatic primitive equations (HPE) form the basis of most numerical weather, climate and global ocean circulation models. Analytical (not statistical) methods are used to find a scaling proportional to $(Nu\,Ra\,Re)^{1/4}$ for the range of horizontal spatial sizes in HPE solutions, which is much broader than currently achievable computationally. The range of scales for the HPE is determined from an analytical bound on the time-averaged enstrophy of the horizontal circulation. This bound allows the formation of very small spatial scales, whose existence would excite unphysically large linear oscillation frequencies and gravity wave speeds. △ Less

Submitted 14 September, 2011; v1 submitted 3 April, 2011; originally announced April 2011.

Comments: 7 pages, 2 figures, second version, comments welcome!

The n:m resonance dual pair

Authors: Darryl D. Holm, Cornelia Vizman

Abstract: In this paper we build dual pairs of Poisson maps \[ \RR\stackrel{R_\pm}{\longleftarrow}(D,\om_\pm) \stackrel{Π_\pm}{\longrightarrow} B \] associated to $n:m$ resonance, as well as to $n:-m$ resonance. Except for the above mentioned cases $1:\pm1$, these are not pairs of momentum maps. Here $D$ is an open subset of $\CC^2$ with the above mentioned symplectic forms $\om_\pm$, and $B$ an open subset… ▽ More In this paper we build dual pairs of Poisson maps \[ \RR\stackrel{R_\pm}{\longleftarrow}(D,\om_\pm) \stackrel{Π_\pm}{\longrightarrow} B \] associated to $n:m$ resonance, as well as to $n:-m$ resonance. Except for the above mentioned cases $1:\pm1$, these are not pairs of momentum maps. Here $D$ is an open subset of $\CC^2$ with the above mentioned symplectic forms $\om_\pm$, and $B$ an open subset of $\RR^3$. The Poisson structure on $B$, which depends on the natural numbers $n$ and $m$, is not Lie-Poisson. Instead, its symplectic leaves are the Kummer shapes: bounded surfaces for $n:m$ resonance, and unbounded surfaces for $n:-m$ resonance △ Less

Submitted 21 February, 2011; originally announced February 2011.

Comments: 12 pages, 5 figures

Invariant higher-order variational problems

Authors: F. Gay-Balmaz, D. D. Holm, D. M. Meier, T. S. Ratiu, F. -X. Vialard

Abstract: We investigate higher-order geometric $k$-splines for template matching on Lie groups. This is motivated by the need to apply diffeomorphic template matching to a series of images, e.g., in longitudinal studies of Computational Anatomy. Our approach formulates Euler-Poincaré theory in higher-order tangent spaces on Lie groups. In particular, we develop the Euler-Poincaré formalism for higher-order… ▽ More We investigate higher-order geometric $k$-splines for template matching on Lie groups. This is motivated by the need to apply diffeomorphic template matching to a series of images, e.g., in longitudinal studies of Computational Anatomy. Our approach formulates Euler-Poincaré theory in higher-order tangent spaces on Lie groups. In particular, we develop the Euler-Poincaré formalism for higher-order variational problems that are invariant under Lie group transformations. The theory is then applied to higher-order template matching and the corresponding curves on the Lie group of transformations are shown to satisfy higher-order Euler-Poincaré equations. The example of SO(3) for template matching on the sphere is presented explicitly. Various cotangent bundle momentum maps emerge naturally that help organize the formulas. We also present Hamiltonian and Hamilton-Ostrogradsky Lie-Poisson formulations of the higher-order Euler-Poincaré theory for applications on the Hamiltonian side. △ Less

Submitted 22 December, 2010; originally announced December 2010.

Comments: 46 pages, 8 figures, First version -- comments welcome!

Stretching and folding diagnostics in solutions of the three-dimensional Euler and Navier-Stokes equations

Authors: J. D. Gibbon, D. D. Holm

Abstract: Two possible diagnostics of stretching and folding (S&F) in fluid flows are discussed, based on the dynamics of the gradient of potential vorticity ($q = \bom\cdot\nablaθ$) associated with solutions of the three-dimensional Euler and Navier-Stokes equations. The vector $\bdB = \nabla q \times \nablaθ$ satisfies the same type of stretching and folding equation as that for the vorticity field… ▽ More Two possible diagnostics of stretching and folding (S&F) in fluid flows are discussed, based on the dynamics of the gradient of potential vorticity ($q = \bom\cdot\nablaθ$) associated with solutions of the three-dimensional Euler and Navier-Stokes equations. The vector $\bdB = \nabla q \times \nablaθ$ satisfies the same type of stretching and folding equation as that for the vorticity field $\bom $ in the incompressible Euler equations (Gibbon & Holm, 2010). The quantity $θ$ may be chosen as the potential temperature for the stratified, rotating Euler/Navier-Stokes equations, or it may play the role of a seeded passive scalar for the Euler equations alone. The first discussion of these S&F-flow diagnostics concerns a numerical test for Euler codes and also includes a connection with the two-dimensional surface quasi-geostrophic equations. The second S&F-flow diagnostic concerns the evolution of the Lamb vector $\bsD = \bom\times\bu$, which is the nonlinearity for Euler's equations apart from the pressure. The curl of the Lamb vector ($\boldsymbol{\varpi} := \bsD$) turns out to possess similar stretching and folding properties to that of the $\bdB$-vector. △ Less

Submitted 16 December, 2010; originally announced December 2010.

Comments: To appear in Proceedings of Warwick University Conference, July 2010

Euler-Poincaré formulation of hybrid plasma models

Authors: Darryl D. Holm, Cesare Tronci

Abstract: Three different hybrid Vlasov-fluid systems are derived by applying reduction by symmetry to Hamilton's variational principle. In particular, the discussion focuses on the Euler-Poincaré formulation of three major hybrid MHD models, which are compared in the same framework. These are the current-coupling scheme and two different variants of the pressure-coupling scheme. The Kelvin-Noether theorem… ▽ More Three different hybrid Vlasov-fluid systems are derived by applying reduction by symmetry to Hamilton's variational principle. In particular, the discussion focuses on the Euler-Poincaré formulation of three major hybrid MHD models, which are compared in the same framework. These are the current-coupling scheme and two different variants of the pressure-coupling scheme. The Kelvin-Noether theorem is presented explicitly for each scheme, together with the Poincaré invariants for its hot particle trajectories. Extensions of Ertel's relation for the potential vorticity and for its gradient are also found in each case, as well as new expressions of cross helicity invariants. △ Less

Submitted 4 June, 2011; v1 submitted 5 December, 2010; originally announced December 2010.

Comments: 32 pages; no figures. To appear in Comm. Math. Sci

Un-reduction

Authors: Martins Bruveris, David C. P. Ellis, Francois Gay-Balmaz, Darryl D. Holm

Abstract: This paper provides a full geometric development of a new technique called un-reduction, for dealing with dynamics and optimal control problems posed on spaces that are unwieldy for numerical implementation. The technique, which was originally concieved for an application to image dynamics, uses Lagrangian reduction by symmetry in reverse. A deeper understanding of un-reduction leads to new develo… ▽ More This paper provides a full geometric development of a new technique called un-reduction, for dealing with dynamics and optimal control problems posed on spaces that are unwieldy for numerical implementation. The technique, which was originally concieved for an application to image dynamics, uses Lagrangian reduction by symmetry in reverse. A deeper understanding of un-reduction leads to new developments in image matching which serve to illustrate the mathematical power of the technique. △ Less

Submitted 8 April, 2015; v1 submitted 30 November, 2010; originally announced December 2010.

Comments: 25 pages, revised version

MSC Class: 37K05; 37K65

Journal ref: J. Geom. Mech., 3(4), 363-387, 2011

Two-component {CH} system: Inverse Scattering, Peakons and Geometry

Authors: D. D. Holm, R. I. Ivanov

Abstract: An inverse scattering transform method corresponding to a Riemann-Hilbert problem is formulated for CH2, the two-component generalization of the Camassa-Holm (CH) equation. As an illustration of the method, the multi - soliton solutions corresponding to the reflectionless potentials are constructed in terms of the scattering data for CH2. An inverse scattering transform method corresponding to a Riemann-Hilbert problem is formulated for CH2, the two-component generalization of the Camassa-Holm (CH) equation. As an illustration of the method, the multi - soliton solutions corresponding to the reflectionless potentials are constructed in terms of the scattering data for CH2. △ Less

Submitted 27 September, 2010; originally announced September 2010.

Comments: 22 pages, 3 figures, draft, please send comments

Multi-component generalizations of the {CH} equation: Geometrical Aspects, Peakons and Numerical Examples

Authors: D. D. Holm, R. I. Ivanov

Abstract: The Lax pair formulation of the two-component Camassa-Holm equation (CH2) is generalized to produce an integrable multi-component family, CH(n,k), of equations with $n$ components and $1\le |k|\le n$ velocities. All of the members of the CH(n,k) family show fluid-dynamics properties with coherent solitons following particle characteristics. We determine their Lie-Poisson Hamiltonian structures and… ▽ More The Lax pair formulation of the two-component Camassa-Holm equation (CH2) is generalized to produce an integrable multi-component family, CH(n,k), of equations with $n$ components and $1\le |k|\le n$ velocities. All of the members of the CH(n,k) family show fluid-dynamics properties with coherent solitons following particle characteristics. We determine their Lie-Poisson Hamiltonian structures and give numerical examples of their soliton solution behaviour. We concentrate on the CH(2,k) family with one or two velocities, including the CH(2,-1) equation in the Dym position of the CH2 hierarchy. A brief discussion of the CH(3,1) system reveals the underlying graded Lie-algebraic structure of the Hamiltonian formulation for CH(n,k) when $n\ge3$. △ Less

Submitted 28 September, 2010; v1 submitted 27 September, 2010; originally announced September 2010.

Comments: 19 pages 5 figures comments are welcome

Journal ref: J. Phys. A: Math. Theor. 43 No 49 (10 December 2010) 492001 (20pp)

The gradient of potential vorticity, quaternions and an orthonormal frame for fluid particles

Authors: J. D. Gibbon, D. D. Holm

Abstract: The gradient of potential vorticity (PV) is an important quantity because of the way PV (denoted as $q$) tends to accumulate locally in the oceans and atmospheres. Recent analysis by the authors has shown that the vector quantity $\bdB = \bnabla q\times \bnablaθ$ for the three-dimensional incompressible rotating Euler equations evolves according to the same stretching equation as for $\bom$ the vo… ▽ More The gradient of potential vorticity (PV) is an important quantity because of the way PV (denoted as $q$) tends to accumulate locally in the oceans and atmospheres. Recent analysis by the authors has shown that the vector quantity $\bdB = \bnabla q\times \bnablaθ$ for the three-dimensional incompressible rotating Euler equations evolves according to the same stretching equation as for $\bom$ the vorticity and $\bB$, the magnetic field in magnetohydrodynamics (MHD). The $\bdB$-vector therefore acts like the vorticity $\bom$ in Euler's equations and the $\bB$-field in MHD. For example, it allows various analogies, such as stretching dynamics, helicity, superhelicity and cross helicity. In addition, using quaternionic analysis, the dynamics of the $\bdB$-vector naturally allow the construction of an orthonormal frame attached to fluid particles\,; this is designated as a quaternion frame. The alignment dynamics of this frame are particularly relevant to the three-axis rotations that particles undergo as they traverse regions of a flow when the PV gradient $\bnabla q$ is large. △ Less

Submitted 19 June, 2010; originally announced June 2010.

Comments: Dedicated to Raymond Hide on the occasion of his 80th birthday

Helical states of nonlocally interacting molecules and their linear stability: geometric approach

Authors: Steve Benoit, Darryl D. Holm, Vakhtang Putkaradze

Abstract: The equations for strands of rigid charge configurations interacting nonlocally are formulated on the special Euclidean group, SE(3), which naturally generates helical conformations. Helical stationary shapes are found by minimizing the energy for rigid charge configurations positioned along an infinitely long molecule with charges that are off-axis. The classical energy landscape for such a molec… ▽ More The equations for strands of rigid charge configurations interacting nonlocally are formulated on the special Euclidean group, SE(3), which naturally generates helical conformations. Helical stationary shapes are found by minimizing the energy for rigid charge configurations positioned along an infinitely long molecule with charges that are off-axis. The classical energy landscape for such a molecule is complex with a large number of energy minima, even when limited to helical shapes. The question of linear stability and selection of stationary shapes is studied using an SE(3) method that naturally accounts for the helical geometry. We investigate the linear stability of a general helical polymer that possesses torque-inducing non-local self-interactions and find the exact dispersion relation for the stability of the helical shapes with an arbitrary interaction potential. We explicitly determine the linearization operators and compute the numerical stability for the particular example of a linear polymer comprising a flexible rod with a repeated configuration of two equal and opposite off-axis charges, thereby showing that even in this simple case the non-local terms can induce instability that leads to the rod assuming helical shapes. △ Less

Submitted 7 October, 2010; v1 submitted 6 June, 2010; originally announced June 2010.

Comments: 34 pages, 9 figures

Journal ref: J. Phys. A: Math. Theor. 44 (2011) 055201

Exact geometric theory of dendronized polymer dynamics

Authors: François Gay-Balmaz, Darryl D. Holm, Vakhtang Putkaradze, Tudor S. Ratiu

Abstract: Dendronized polymers consist of an elastic backbone with a set of iterated branch structures (dendrimers)attached at every base point of the backbone. The conformations of such molecules depend on the elastic deformation of the backbone and the branches, as well as on nonlocal (e.g., electrostatic, or Lennard-Jones) interactions between the elementary molecular units comprising the dendrimers and/… ▽ More Dendronized polymers consist of an elastic backbone with a set of iterated branch structures (dendrimers)attached at every base point of the backbone. The conformations of such molecules depend on the elastic deformation of the backbone and the branches, as well as on nonlocal (e.g., electrostatic, or Lennard-Jones) interactions between the elementary molecular units comprising the dendrimers and/or backbone. We develop a geometrically exact theory for the dynamics of such polymers, taking into account both local (elastic) and nonlocal interactions. The theory is based on applying symmetry reduction of Hamilton's principle for a Lagrangian defined on the tangent bundle of iterated semidirect products of the rotation groups that represent the relative orientations of the dendritic branches of the polymer. The resulting symmetry-reduced equations of motion are written in conservative form. △ Less

Submitted 15 May, 2010; originally announced May 2010.

Comments: 33 pages, 2 figures, first version, please send comments

Smooth and Peaked Solitons of the CH equation

Authors: Darryl D. Holm, Rossen I. Ivanov

Abstract: The relations between smooth and peaked soliton solutions are reviewed for the Camassa-Holm (CH) shallow water wave equation in one spatial dimension. The canonical Hamiltonian formulation of the CH equation in action-angle variables is expressed for solitons by using the scattering data for its associated isospectral eigenvalue problem, rephrased as a Riemann-Hilbert problem. The momentum map f… ▽ More The relations between smooth and peaked soliton solutions are reviewed for the Camassa-Holm (CH) shallow water wave equation in one spatial dimension. The canonical Hamiltonian formulation of the CH equation in action-angle variables is expressed for solitons by using the scattering data for its associated isospectral eigenvalue problem, rephrased as a Riemann-Hilbert problem. The momentum map from the action-angle scattering variables $T^*({\mathbb{T}^N})$ to the flow momentum ($\mathfrak{X}^*$) provides the Eulerian representation of the $N$-soliton solution of CH in terms of the scattering data and squared eigenfunctions of its isospectral eigenvalue problem. The dispersionless limit of the CH equation and its resulting peakon solutions are examined by using an asymptotic expansion in the dispersion parameter. The peakon solutions of the dispersionless CH equation in one dimension are shown to generalize in higher dimensions to peakon wave-front solutions of the EPDiff equation whose associated momentum is supported on smoothly embedded subspaces. The Eulerian representations of the singular solutions of both CH and EPDiff are given by the (cotangent-lift) momentum maps arising from the left action of the diffeomorphisms on smoothly embedded subspaces. △ Less

Submitted 5 March, 2010; originally announced March 2010.

Comments: First version -- comments welcome! Submitted to JPhysA

The effect of subfilter-scale physics on regularization models

Authors: Jonathan Pietarila Graham, Darryl D. Holm, Pablo Mininni, Annick Pouquet

Abstract: The subfilter-scale (SFS) physics of regularization models are investigated to understand the regularizations' performance as SFS models. The strong suppression of spectrally local SFS interactions and the conservation of small-scale circulation in the Lagrangian-averaged Navier-Stokes alpha-model (LANS-alpha) is found to lead to the formation of rigid bodies. These contaminate the superfilter-sca… ▽ More The subfilter-scale (SFS) physics of regularization models are investigated to understand the regularizations' performance as SFS models. The strong suppression of spectrally local SFS interactions and the conservation of small-scale circulation in the Lagrangian-averaged Navier-Stokes alpha-model (LANS-alpha) is found to lead to the formation of rigid bodies. These contaminate the superfilter-scale energy spectrum with a scaling that approaches k^1 as the SFS spectra is resolved. The Clark-alpha and Leray-alpha models, truncations of LANS-alpha, do not conserve small-scale circulation and do not develop rigid bodies. LANS-alpha, however, is closest to Navier-Stokes in intermittency properties. All three models are found to be stable at high Reynolds number. Differences between L^2 and H^1 norm models are clarified. For magnetohydrodynamics (MHD), the presence of the Lorentz force as a source (or sink) for circulation and as a facilitator of both spectrally nonlocal large to small scale interactions as well as local SFS interactions prevents the formation of rigid bodies in Lagrangian-averaged MHD (LAMHD-alpha). We find LAMHD-alpha performs well as a predictor of superfilter-scale energy spectra and of intermittent current sheets at high Reynolds numbers. We expect it may prove to be a generally applicable MHD-LES. △ Less

Submitted 11 October, 2010; v1 submitted 1 March, 2010; originally announced March 2010.

Comments: Proceedings of the Quality and Reliability of Large-Eddy Simulations II 2009 Workshop, Springer ERCOFTAC volume 16 (2011); submitted to Journal of Scientific Computing; 22 pages, 8 figures

A new diagnostic for the relative accuracy of Euler codes

Authors: C. R. Doering, J. D. Gibbon, D. D. Holm

Abstract: A procedure is suggested for testing the resolution and comparing the relative accuracy of numerical schemes for integration of the incompressible Euler equations. A procedure is suggested for testing the resolution and comparing the relative accuracy of numerical schemes for integration of the incompressible Euler equations. △ Less

Submitted 15 February, 2010; originally announced February 2010.

Comments: First version -- comments welcome!

The momentum map representation of images

Authors: M. Bruveris, F. Gay-Balmaz, D. D. Holm, T. S. Ratiu

Abstract: This paper discusses the mathematical framework for designing methods of large deformation matching (LDM) for image registration in computational anatomy. After reviewing the geometrical framework of LDM image registration methods, a theorem is proved showing that these methods may be designed by using the actions of diffeomorphisms on the image data structure to define their associated momentum r… ▽ More This paper discusses the mathematical framework for designing methods of large deformation matching (LDM) for image registration in computational anatomy. After reviewing the geometrical framework of LDM image registration methods, a theorem is proved showing that these methods may be designed by using the actions of diffeomorphisms on the image data structure to define their associated momentum representations as (cotangent lift) momentum maps. To illustrate its use, the momentum map theorem is shown to recover the known algorithms for matching landmarks, scalar images and vector fields. After briefly discussing the use of this approach for Diffusion Tensor (DT) images, we explain how to use momentum maps in the design of registration algorithms for more general data structures. For example, we extend our methods to determine the corresponding momentum map for registration using semidirect product groups, for the purpose of matching images at two different length scales. Finally, we discuss the use of momentum maps in the design of image registration algorithms when the image data is defined on manifolds instead of vector spaces. △ Less

Submitted 8 April, 2015; v1 submitted 15 December, 2009; originally announced December 2009.

Comments: 34 pages, revised version

MSC Class: 58E50; 53D20; 58D05; 68U10; 94A08

Journal ref: J. Nonlinear Sci., 21(1), 115-150, 2011

Geometric dynamics of optimization

Authors: F. Gay-Balmaz, D. D. Holm, T. S. Ratiu

Abstract: This paper investigates a family of dynamical systems arising from an evolutionary re-interpretation of certain optimal control and optimization problems. We focus particularly on the application in image registration of the theory of \emph{metamorphosis}. Metamorphosis is a means of tracking the optimal changes of shape that are necessary for registration of images with various types of data stru… ▽ More This paper investigates a family of dynamical systems arising from an evolutionary re-interpretation of certain optimal control and optimization problems. We focus particularly on the application in image registration of the theory of \emph{metamorphosis}. Metamorphosis is a means of tracking the optimal changes of shape that are necessary for registration of images with various types of data structures, without requiring that the transformations of shape be diffeomorphisms. This is a rich field whose possibilities are just beginning to be developed. In particular, metamorphosis and its related variants in the geometric approach to control and optimization can be expected to produce many exciting opportunities for new applications and analysis in geometric dynamics. △ Less

Submitted 19 June, 2011; v1 submitted 15 December, 2009; originally announced December 2009.

Comments: 2nd revision: Enhanced Introduction and Conclusion sections, Comments welcome!

The Square Root Depth Wave Equations

Authors: Colin C. Cotter, Darryl D. Holm, James R. Percival

Abstract: We introduce a set of coupled equations for multilayer water waves that removes the ill-posedness of the multilayer Green-Naghdi (MGN) equations in the presence of shear. The new well-posed equations are Hamiltonian and in the absence of imposed background shear they retain the same travelling wave solutions as MGN. We call the new model the Square Root Depth equations, from the modified form of… ▽ More We introduce a set of coupled equations for multilayer water waves that removes the ill-posedness of the multilayer Green-Naghdi (MGN) equations in the presence of shear. The new well-posed equations are Hamiltonian and in the absence of imposed background shear they retain the same travelling wave solutions as MGN. We call the new model the Square Root Depth equations, from the modified form of their kinetic energy of vertical motion. Our numerical results show how the Square Root Depth equations model the effects of multilayer wave propagation and interaction, with and without shear. △ Less

Submitted 11 December, 2009; originally announced December 2009.

Comments: 10 pages, 5 figures

Geodesic boundary value problems with symmetry

Authors: C. J. Cotter, D. D. Holm

Abstract: This paper shows how left and right actions of Lie groups on a manifold may be used to complement one another in a variational reformulation of optimal control problems equivalently as geodesic boundary value problems with symmetry. We prove an equivalence theorem to this effect and illustrate it with several examples. In finite-dimensions, we discuss geodesic flows on the Lie groups SO(3) and S… ▽ More This paper shows how left and right actions of Lie groups on a manifold may be used to complement one another in a variational reformulation of optimal control problems equivalently as geodesic boundary value problems with symmetry. We prove an equivalence theorem to this effect and illustrate it with several examples. In finite-dimensions, we discuss geodesic flows on the Lie groups SO(3) and SE(3) under the left and right actions of their respective Lie algebras. In an infinite-dimensional example, we discuss optimal large-deformation matching of one closed curve to another embedded in the same plane. In the curve-matching example, the manifold $\Emb(S^1, \mathbb{R}^2)$ comprises the space of closed curves $S^1$ embedded in the plane $\mathbb{R}^2$. The diffeomorphic left action $\Diff(\mathbb{R}^2)$ deforms the curve by a smooth invertible time-dependent transformation of the coordinate system in which it is embedded, while leaving the parameterisation of the curve invariant. The diffeomorphic right action $\Diff(S^1)$ corresponds to a smooth invertible reparameterisation of the $S^1$ domain coordinates of the curve. As we show, this right action unlocks an important degree of freedom for geodesically matching the curve shapes using an equivalent fixed boundary value problem, without being constrained to match corresponding points along the template and target curves at the endpoint in time. △ Less

Submitted 22 December, 2009; v1 submitted 11 November, 2009; originally announced November 2009.

Comments: First version -- comments welcome!

The dynamics of the gradient of potential vorticity

Authors: J. D. Gibbon, D. D. Holm

Abstract: The transport of the potential vorticity gradient $\bnabla{q}$ along surfaces of constant temperature $θ$ is investigated for the stratified Euler, Navier-Stokes and hydrostatic primitive equations of the oceans and atmosphere using the divergenceless flux vector $\bdB = \bnabla Q(q)\times\bnablaθ$, for any smooth function $Q(q)$. The flux $\bdB$ is shown to satisfy… ▽ More The transport of the potential vorticity gradient $\bnabla{q}$ along surfaces of constant temperature $θ$ is investigated for the stratified Euler, Navier-Stokes and hydrostatic primitive equations of the oceans and atmosphere using the divergenceless flux vector $\bdB = \bnabla Q(q)\times\bnablaθ$, for any smooth function $Q(q)$. The flux $\bdB$ is shown to satisfy $$ \partial_t\bdB - {curl} (\bU\times\bdB) = - \bnabla\big[qQ'(q) {div} \bU\big]\times\bnablaθ, $$ where $\bU$ is a formal transport velocity of PV flux. While the left hand side of this expression is reminiscent of the frozen-in magnetic field flux in magnetohydrodynamics, the non-zero right hand side means that $\bdB$ is not frozen into the flow of $\bU$ when ${div} \bU \neq 0$. The result may apply to measurements of potential vorticity and potential temperature at the tropopause. △ Less

Submitted 18 March, 2010; v1 submitted 7 November, 2009; originally announced November 2009.

Comments: 8 pages, 1 figure. Comments welcome! Accepted at J Phys A

Lagrange-Poincare field equations

Authors: David C. P. Ellis, Francois Gay-Balmaz, Darryl D. Holm, Tudor S. Ratiu

Abstract: The Lagrange-Poincare equations of classical mechanics are cast into a field theoretic context together with their associated constrained variational principle. An integrability/reconstruction condition is established that relates solutions of the original problem with those of the reduced problem. The Kelvin-Noether theorem is formulated in this context. Applications to the isoperimetric proble… ▽ More The Lagrange-Poincare equations of classical mechanics are cast into a field theoretic context together with their associated constrained variational principle. An integrability/reconstruction condition is established that relates solutions of the original problem with those of the reduced problem. The Kelvin-Noether theorem is formulated in this context. Applications to the isoperimetric problem, the Skyrme model for meson interaction, metamorphosis image dynamics, and molecular strands illustrate various aspects of the theory. △ Less

Submitted 5 October, 2009; originally announced October 2009.

Comments: Submitted to Journal of Geometry and Physics, 45 pages, 1 figure

Journal ref: J.Geom.Phys.61:2120-2146,2011