-
Lie-Poisson Neural Networks (LPNets): Data-Based Computing of Hamiltonian Systems with Symmetries
Authors:
Christopher Eldred,
François Gay-Balmaz,
Sofiia Huraka,
Vakhtang Putkaradze
Abstract:
An accurate data-based prediction of the long-term evolution of Hamiltonian systems requires a network that preserves the appropriate structure under each time step. Every Hamiltonian system contains two essential ingredients: the Poisson bracket and the Hamiltonian. Hamiltonian systems with symmetries, whose paradigm examples are the Lie-Poisson systems, have been shown to describe a broad catego…
▽ More
An accurate data-based prediction of the long-term evolution of Hamiltonian systems requires a network that preserves the appropriate structure under each time step. Every Hamiltonian system contains two essential ingredients: the Poisson bracket and the Hamiltonian. Hamiltonian systems with symmetries, whose paradigm examples are the Lie-Poisson systems, have been shown to describe a broad category of physical phenomena, from satellite motion to underwater vehicles, fluids, geophysical applications, complex fluids, and plasma physics. The Poisson bracket in these systems comes from the symmetries, while the Hamiltonian comes from the underlying physics. We view the symmetry of the system as primary, hence the Lie-Poisson bracket is known exactly, whereas the Hamiltonian is regarded as coming from physics and is considered not known, or known approximately. Using this approach, we develop a network based on transformations that exactly preserve the Poisson bracket and the special functions of the Lie-Poisson systems (Casimirs) to machine precision. We present two flavors of such systems: one, where the parameters of transformations are computed from data using a dense neural network (LPNets), and another, where the composition of transformations is used as building blocks (G-LPNets). We also show how to adapt these methods to a larger class of Poisson brackets. We apply the resulting methods to several examples, such as rigid body (satellite) motion, underwater vehicles, a particle in a magnetic field, and others. The methods developed in this paper are important for the construction of accurate data-based methods for simulating the long-term dynamics of physical systems.
△ Less
Submitted 29 August, 2023;
originally announced August 2023.
-
An interpretation of TRiSK-type schemes from a discrete exterior calculus perspective
Authors:
Christopher Eldred,
Werner Bauer
Abstract:
TRiSK-type numerical schemes are widely used in both atmospheric and oceanic dynamical cores, due to their discrete analogues of important properties such as energy conservation and steady geostrophic modes. In this work, we show that these numerical methods are best understood as a discrete exterior calculus (DEC) scheme applied to a Hamiltonian formulation of the rotating shallow water equations…
▽ More
TRiSK-type numerical schemes are widely used in both atmospheric and oceanic dynamical cores, due to their discrete analogues of important properties such as energy conservation and steady geostrophic modes. In this work, we show that these numerical methods are best understood as a discrete exterior calculus (DEC) scheme applied to a Hamiltonian formulation of the rotating shallow water equations based on split exterior calculus. This comprehensive description of the differential geometric underpinnings of TRiSK-type schemes completes the one started in \cite{Thuburn2012,Eldred2017}, and provides a new understanding of certain operators in TRiSK-type schemes as discrete wedge products and topological pairings from split exterior calculus. All known TRiSK-type schemes in the literature are shown to fit inside this general framework, by identifying the (implicit) choices made for various DEC operators by the different schemes. In doing so, unexplored choices and combinations are identified that might offer the possibility of fixing known issues with TRiSK-type schemes such as operator accuracy and Hollingsworth instability.
△ Less
Submitted 13 October, 2022;
originally announced October 2022.
-
Thermodynamically consistent versions of approximations used in modelling moist air
Authors:
Christopher Eldred,
Mark Taylor,
Oksana Guba
Abstract:
Some existing approaches to modeling the thermodynamics of moist air make approximations that break $\textit{thermodynamic consistency}$, such that the resulting thermodynamics do not obey the 1st and 2nd laws or have other inconsistencies. Recently, an approach to avoid such inconsistency has been suggested: the use of $\textit{thermodynamic potentials}$ in terms of their…
▽ More
Some existing approaches to modeling the thermodynamics of moist air make approximations that break $\textit{thermodynamic consistency}$, such that the resulting thermodynamics do not obey the 1st and 2nd laws or have other inconsistencies. Recently, an approach to avoid such inconsistency has been suggested: the use of $\textit{thermodynamic potentials}$ in terms of their $\textit{natural variables}$, from which all thermodynamic quantities and relationships are derived. In this paper, we develop this approach for $\textit{unapproximated}$ moist air thermodynamics and two widely used approximations: the constant $κ$ approximation and the dry heat capacities approximation. The consistent constant $κ$ approximation is particularly attractive because it leads to, when using virtual potential temperature $θ_v$ as the thermodynamic variable, adiabatic dynamics that depend only on total mass, independent of the breakdown between water forms. Additionally, a wide variety of material from different sources in the literature on thermodynamics in atmospheric modelling is brought together. It is hoped that this paper provides a comprehensive reference for the use of thermodynamic potentials in atmospheric modelling, especially for the three systems considered here.
△ Less
Submitted 1 September, 2022; v1 submitted 1 April, 2022;
originally announced April 2022.
-
Thermodynamically consistent semi-compressible fluids: a variational perspective
Authors:
Christopher Eldred,
François Gay-Balmaz
Abstract:
This paper presents (Lagrangian) variational formulations for single and multicomponent semi-compressible fluids with both reversible (entropy-conserving) and irreversible (entropy-generating) processes. Semi-compressible fluids are useful in describing \textit{low-Mach} dynamics, since they are \textit{soundproof}. These models find wide use in many areas of fluid dynamics, including both geophys…
▽ More
This paper presents (Lagrangian) variational formulations for single and multicomponent semi-compressible fluids with both reversible (entropy-conserving) and irreversible (entropy-generating) processes. Semi-compressible fluids are useful in describing \textit{low-Mach} dynamics, since they are \textit{soundproof}. These models find wide use in many areas of fluid dynamics, including both geophysical and astrophysical fluid dynamics. Specifically, the Boussinesq, anelastic and pseudoincompressible equations are developed through a unified treatment valid for arbitrary Riemannian manifolds, thermodynamic potentials and geopotentials. By design, these formulations obey the 1st and 2nd laws of thermodynamics, ensuring their thermodynamic consistency. This general approach extends and unifies existing work, and helps clarify the thermodynamics of semi-compressible fluids. To further this goal, evolution equations are presented for a wide range of thermodynamic variables: entropy density $s$, specific entropy $η$, buoyancy $b$, temperature $T$, potential temperature $θ$ and a generic entropic variable $χ$; along with a general definition of buoyancy valid for all three semicompressible models and arbitrary geopotentials. Finally, the elliptic equation is developed for all three equation sets in the case of reversible dynamics, and for the Boussinesq/anelastic equations in the case of irreversible dynamics; and some discussion is given of the difficulty in formulating the elliptic equation for the pseudoincompressible equations with irreversible dynamics.
△ Less
Submitted 16 February, 2021;
originally announced February 2021.
-
An energy consistent discretization of the nonhydrostatic equations in primitive variables
Authors:
Mark A. Taylor,
Oksana Guba,
Andrew Steyer,
Paul Ullrich,
David Hall,
Christopher Eldred
Abstract:
We derive a formulation of the nonhydrostatic equations in spherical geometry with a Lorenz staggered vertical discretization. The combination conserves a discrete energy in exact time integration when coupled with a mimetic horizontal discretization. The formulation is a version of Dubos and Tort (2014) rewritten in terms of primitive variables. It is valid for terrain following mass or height co…
▽ More
We derive a formulation of the nonhydrostatic equations in spherical geometry with a Lorenz staggered vertical discretization. The combination conserves a discrete energy in exact time integration when coupled with a mimetic horizontal discretization. The formulation is a version of Dubos and Tort (2014) rewritten in terms of primitive variables. It is valid for terrain following mass or height coordinates and for both Eulerian or vertically Lagrangian discretizations. The discretization relies on an extension to Simmons and Burridge (1981) vertical differencing which we show obeys a discrete derivative product rule. This product rule allows us to simplify the treatment of the vertical transport terms. Energy conservation is obtained via a term-by-term balance in the kinetic, internal and potential energy budgets, ensuring an energy-consistent discretization with no spurious sources of energy. We demonstrate convergence with respect to time truncation error in a spectral element code with a HEVI IMEX timestep** algorithm
△ Less
Submitted 12 August, 2019;
originally announced August 2019.
-
Single and Double Generator Bracket Formulations of Geophysical Fluids with Irreversible Processes
Authors:
Christopher Eldred,
François Gay-Balmaz
Abstract:
The equations of reversible (inviscid, adiabatic) fluid dynamics have a well-known variational formulation based on Hamilton's principle and the Lagrangian, to which is associated a Hamiltonian formulation that involves a Poisson bracket structure. These variational and bracket structures underlie many of the most basic principles that we know about geophysical fluid flows, such as conservation la…
▽ More
The equations of reversible (inviscid, adiabatic) fluid dynamics have a well-known variational formulation based on Hamilton's principle and the Lagrangian, to which is associated a Hamiltonian formulation that involves a Poisson bracket structure. These variational and bracket structures underlie many of the most basic principles that we know about geophysical fluid flows, such as conservation laws. However, real geophysical flows also include irreversible processes, such as viscous dissipation, heat conduction, diffusion and phase changes. Recent work has demonstrated that the variational formulation can be extended to include irreversible processes and non-equilibrium thermodynamics, through the new concept of thermodynamic displacement. By design, and in accordance with fundamental physical principles, the resulting equations automatically satisfy the first and second law of thermodynamics. Irreversible processes can also be incorporated into the bracket structure through the addition of a dissipation bracket. This gives what are known as the single and double generator bracket formulations, which are the natural generalizations of the Hamiltonian formulation to include irreversible dynamics. Here the variational formulation for irreversible processes is shown to underlie these bracket formulations for fully compressible, multicomponent, multiphase geophysical fluids with a single temperature and velocity. Many previous results in the literature are demonstrated to be special cases of this approach. Finally, some limitations of the current approach (especially with regards to precipitation and nonlocal processes such as convection) are discussed, and future directions of research to overcome them are outlined.
△ Less
Submitted 28 November, 2018;
originally announced November 2018.
-
Total energy and potential enstrophy conserving schemes for the shallow water equations using Hamiltonian methods: Derivation and Properties (Part 1)
Authors:
Christopher Eldred,
David Randall
Abstract:
The shallow water equations provide a useful analogue of the fully compressible Euler equations since they have similar characteristics: conservation laws, inertia-gravity and Rossby waves and a (quasi-) balanced state. In order to obtain realistic simulation results, it is desirable that numerical models have discrete analogues of these properties. Two prototypical examples of such schemes are th…
▽ More
The shallow water equations provide a useful analogue of the fully compressible Euler equations since they have similar characteristics: conservation laws, inertia-gravity and Rossby waves and a (quasi-) balanced state. In order to obtain realistic simulation results, it is desirable that numerical models have discrete analogues of these properties. Two prototypical examples of such schemes are the 1981 Arakawa and Lamb (AL81) C-grid total energy and potential enstrophy conserving scheme, and the 2007 Salmon (S07) Z-grid total energy and potential enstrophy conserving scheme. Unfortunately, the AL81 scheme is restricted to logically square, orthogonal grids; and the S07 scheme is restricted to uniform square grids. The current work extends the AL81 scheme to arbitrary non-orthogonal polygonal grids and the S07 scheme to arbitrary orthogonal spherical polygonal grids in a manner that allows both total energy and potential enstrophy conservation, by combining Hamiltonian methods (work done by Salmon, Gassmann, Dubos and others) and Discrete Exterior Calculus (Thuburn, Cotter, Dubos, Ringler, Skamarock, Klemp and others). Detailed results of the schemes applied to standard test cases are deferred to Part 2 of this series of papers.
△ Less
Submitted 13 September, 2016;
originally announced September 2016.