Showing 1–49 of 49 results for author: Gay-balmaz, F

A Variational Principle for Extended Irreversible Thermodynamics: Heat Conducting Viscous Fluids

Authors: François Gay-Balmaz

Abstract: Extended irreversible thermodynamics is a theory that extends the classical framework of nonequilibrium thermodynamics by going beyond the local-equilibrium assumption. A notable example of this is the Maxwell-Cattaneo heat flux model, which introduces a time lag in the heat flux response to temperature gradients. In this paper, we develop a variational formulation of the equations of extended irr… ▽ More Extended irreversible thermodynamics is a theory that extends the classical framework of nonequilibrium thermodynamics by going beyond the local-equilibrium assumption. A notable example of this is the Maxwell-Cattaneo heat flux model, which introduces a time lag in the heat flux response to temperature gradients. In this paper, we develop a variational formulation of the equations of extended irreversible thermodynamics by introducing an action principle for a nonequilibrium Lagrangian that treats thermodynamic fluxes as independent variables. A key feature of this approach is that it naturally extends both Hamilton's principle of reversible continuum mechanics and the earlier variational formulation of classical irreversible thermodynamics. The variational principle is initially formulated in the material (Lagrangian) description, from which the Eulerian form is derived using material covariance (or relabeling symmetries). The tensorial structure of the thermodynamic fluxes dictates the choice of objective rate in the Eulerian description, leading to the introduction of nonequilibrium stresses arising from both viscous and thermal effects to ensure thermodynamic consistency. This framework naturally results in the Cattaneo-Christov model for heat flux. We also investigate the extension of the approach to accommodate higher-order fluxes and the general form of entropy fluxes. The variational framework presented in this paper has promising applications in the development of structure-preserving and thermodynamically consistent numerical methods. It is particularly relevant for modeling systems where entropy production is a delicate issue that requires careful treatment to ensure consistency with the laws of thermodynamics. △ Less

Submitted 24 February, 2025; originally announced February 2025.

Entropy functionals and equilibrium states in mixed quantum-classical dynamics

Authors: Cesare Tronci, David Martínez-Crespo, François Gay-Balmaz

Abstract: The computational challenges posed by many-particle quantum systems are often overcome by mixed quantum-classical (MQC) models in which certain degrees of freedom are treated as classical while others are retained as quantum. One of the fundamental questions raised by this hybrid picture involves the characterization of the information associated to MQC systems. Based on the theory of dynamical in… ▽ More The computational challenges posed by many-particle quantum systems are often overcome by mixed quantum-classical (MQC) models in which certain degrees of freedom are treated as classical while others are retained as quantum. One of the fundamental questions raised by this hybrid picture involves the characterization of the information associated to MQC systems. Based on the theory of dynamical invariants in Hamiltonian systems, here we propose a family of hybrid entropy functionals that consistently specialize to the usual Rényi and Shannon entropies. Upon considering the MQC Ehrenfest model for the dynamics of quantum and classical probabilities, we apply the hybrid Shannon entropy to characterize equilibrium configurations for simple Hamiltonians. The present construction also applies beyond Ehrenfest dynamics. △ Less

Submitted 30 March, 2025; v1 submitted 30 January, 2025; originally announced January 2025.

Comments: Second version. Submitted to Lecture Notes in Comput. Sci

Infinite-dimensional Lagrange-Dirac systems with boundary energy flow I: Foundations

Authors: François Gay-Balmaz, Álvaro Rodríguez Abella, Hiroaki Yoshimura

Abstract: A new geometric approach to systems with boundary energy flow is developed using infinite-dimensional Dirac structures within the Lagrangian formalism. This framework satisfies a list of consistency criteria with the geometric setting of finite-dimensional mechanics. In particular, the infinite-dimensional Dirac structure can be constructed from the canonical symplectic form on the system's phase… ▽ More A new geometric approach to systems with boundary energy flow is developed using infinite-dimensional Dirac structures within the Lagrangian formalism. This framework satisfies a list of consistency criteria with the geometric setting of finite-dimensional mechanics. In particular, the infinite-dimensional Dirac structure can be constructed from the canonical symplectic form on the system's phase space; the system's evolution equations can be derived equivalently from either a variational perspective or a Dirac structure perspective; the variational principle employed is a direct extension of Hamilton's principle in classical mechanics; and the approach allows for a process of system interconnection within its formulation. This is achieved by developing an appropriate infinite dimensional version of the previously developed Lagrange-Dirac systems. A key step in this construction is the careful choice of a suitable dual space to the configuration space, specifically, a subspace of the topological dual that captures the system's behavior in both the interior and the boundary, while allowing for a natural extension of the canonical geometric structures of mechanics. This paper focuses on systems where the configuration space consists of differential forms on a smooth manifold with a boundary. To illustrate our theory, several examples, including nonlinear wave equations, the telegraph equation, and the Maxwell equations are presented. △ Less

Submitted 29 January, 2025; originally announced January 2025.

Koopmon trajectories in nonadiabatic quantum-classical dynamics

Authors: Werner Bauer, Paul Bergold, François Gay-Balmaz, Cesare Tronci

Abstract: In order to alleviate the computational costs of fully quantum nonadiabatic dynamics, we present a mixed quantum-classical (MQC) particle method based on the theory of Koopman wavefunctions. Although conventional MQC models often suffer from consistency issues such as the violation of Heisenberg's principle, we overcame these difficulties by blending Koopman's classical mechanics on Hilbert spaces… ▽ More In order to alleviate the computational costs of fully quantum nonadiabatic dynamics, we present a mixed quantum-classical (MQC) particle method based on the theory of Koopman wavefunctions. Although conventional MQC models often suffer from consistency issues such as the violation of Heisenberg's principle, we overcame these difficulties by blending Koopman's classical mechanics on Hilbert spaces with methods in symplectic geometry. The resulting continuum model enjoys both a variational and a Hamiltonian structure, while its nonlinear character calls for suitable closures. Benefiting from the underlying action principle, here we apply a regularization technique previously developed within our team. This step allows for a singular solution ansatz which introduces the trajectories of computational particles - the koopmons - sampling the Lagrangian classical paths in phase space. In the case of Tully's nonadiabatic problems, the method reproduces the results of fully quantum simulations with levels of accuracy that are not achieved by standard MQC Ehrenfest simulations. In addition, the koopmon method is computationally advantageous over similar fully quantum approaches, which are also considered in our study. As a further step, we probe the limits of the method by considering the Rabi problem in both the ultrastrong and the deep strong coupling regimes, where MQC treatments appear hardly applicable. In this case, the method succeeds in reproducing parts of the fully quantum results. △ Less

Submitted 17 June, 2024; v1 submitted 21 December, 2023; originally announced December 2023.

Comments: Second version. 40 pages, 15 figures

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.

Comments: 57 pages, 13 figures

MSC Class: 70H15; 65L05 ACM Class: I.6.1; I.2.6

Complex fluid models of mixed quantum-classical dynamics

Authors: François Gay-Balmaz, Cesare Tronci

Abstract: Several methods in nonadiabatic molecular dynamics are based on Madelung's hydrodynamic description of nuclear motion, while the electronic component is treated as a finite-dimensional quantum system. In this context, the quantum potential leads to severe computational challenges and one often seeks to neglect its contribution, thereby approximating nuclear motion as classical. The resulting model… ▽ More Several methods in nonadiabatic molecular dynamics are based on Madelung's hydrodynamic description of nuclear motion, while the electronic component is treated as a finite-dimensional quantum system. In this context, the quantum potential leads to severe computational challenges and one often seeks to neglect its contribution, thereby approximating nuclear motion as classical. The resulting model couples classical hydrodynamics for the nuclei to the quantum motion of the electronic component, leading to the structure of a complex fluid system. This type of mixed quantum-classical fluid models have also appeared in solvation dynamics to describe the coupling between liquid solvents and the quantum solute molecule. While these approaches represent a promising direction, their mathematical structure requires a certain care. In some cases, challenging higher-order gradients make these equations hardly tractable. In other cases, these models are based on phase-space formulations that suffer from well-known consistency issues. Here, we present a new complex fluid system that resolves these difficulties. Unlike common approaches, the current system is obtained by applying the fluid closure at the level of the action principle of the original phase-space model. As a result, the system inherits a Hamiltonian structure and retains energy/momentum balance. After discussing some of its structural properties and dynamical invariants, we illustrate the model in the case of pure-dephasing dynamics. We conclude by presenting some invariant planar models. △ Less

Submitted 19 May, 2024; v1 submitted 27 June, 2023; originally announced June 2023.

Comments: 29 pages. No figures. To appear in J. Nonlinear Sci

Systems, variational principles and interconnections in nonequilibrium thermodynamics

Authors: François Gay-Balmaz, Hiroaki Yoshimura

Abstract: The paper investigates a systematic approach to modeling in nonequilibrium thermodynamics by focusing upon the notion of interconnections, where we propose a novel Lagrangian variational formulation of such interconnected systems by extending the variational principle of Hamilton in mechanics. In particular, we show how a nonequilibrium thermodynamic system can be regarded as an interconnected sys… ▽ More The paper investigates a systematic approach to modeling in nonequilibrium thermodynamics by focusing upon the notion of interconnections, where we propose a novel Lagrangian variational formulation of such interconnected systems by extending the variational principle of Hamilton in mechanics. In particular, we show how a nonequilibrium thermodynamic system can be regarded as an interconnected system of primitive physical elements or subsystems throughout an interconnection. While this approach is new in nonequilibrium thermodynamics, this idea has been known as a useful tool for the modeling of complicated systems in networks as well as in mechanics. Hence, the setting developed in this paper yields a promising direction for building a unifying description in various areas of modern science via thermodynamic principles, while being at the same time related to the early developments of variational mechanics. △ Less

Submitted 21 June, 2023; originally announced June 2023.

Lagrangian trajectories and closure models in mixed quantum-classical dynamics

Authors: Cesare Tronci, François Gay-Balmaz

Abstract: Mixed quantum-classical models have been proposed in several contexts to overcome the computational challenges of fully quantum approaches. However, current models typically suffer from long-standing consistency issues, and, in some cases, invalidate Heisenberg's uncertainty principle. Here, we present a fully Hamiltonian theory of quantum-classical dynamics that appears to be the first to ensure… ▽ More Mixed quantum-classical models have been proposed in several contexts to overcome the computational challenges of fully quantum approaches. However, current models typically suffer from long-standing consistency issues, and, in some cases, invalidate Heisenberg's uncertainty principle. Here, we present a fully Hamiltonian theory of quantum-classical dynamics that appears to be the first to ensure a series of consistency properties, beyond positivity of quantum and classical densities. Based on Lagrangian phase-space paths, the model possesses a quantum-classical Poincaré integral invariant as well as infinite classes of Casimir functionals. We also exploit Lagrangian trajectories to formulate a finite-dimensional closure scheme for numerical implementations. △ Less

Submitted 11 May, 2023; v1 submitted 3 March, 2023; originally announced March 2023.

Comments: 10 pages, no figure. To appear in Lecture Notes in Comput. Sci

Dynamics of mixed quantum-classical spin systems

Authors: François Gay-Balmaz, Cesare Tronci

Abstract: Mixed quantum-classical spin systems have been proposed in spin chain theory and, more recently, in magnon spintronics. However, current models of quantum-classical dynamics beyond mean-field approximations typically suffer from long-standing consistency issues, and, in some cases, invalidate Heisenberg's uncertainty principle. Here, we present a fully Hamiltonian theory of quantum-classical spin… ▽ More Mixed quantum-classical spin systems have been proposed in spin chain theory and, more recently, in magnon spintronics. However, current models of quantum-classical dynamics beyond mean-field approximations typically suffer from long-standing consistency issues, and, in some cases, invalidate Heisenberg's uncertainty principle. Here, we present a fully Hamiltonian theory of quantum-classical spin dynamics that appears to be the first to ensure an entire series of consistency properties, including positivity of both the classical and the quantum density, so that Heisenberg's principle is satisfied at all times. We show how this theory may connect to recent energy-balance considerations in measurement theory and we present its Poisson bracket structure explicitly. After focusing on the simpler case of a classical Bloch vector interacting with a quantum spin observable, we illustrate the extension of the model to systems with several spins, and restore the presence of orbital degrees of freedom. △ Less

Submitted 9 February, 2023; v1 submitted 3 October, 2022; originally announced October 2022.

Comments: Submitted as a contribution to the Special Collection "Koopman methods in classical and quantum-classical mechanics" in the Journal of Physics A. Revised version

A new canonical affine BRACKET formulation of Hamiltonian Classical Field theories of first order

Authors: François Gay-balmaz, Juan C. Marrero, Nicolás Martínez

Abstract: It has been a long standing question how to extend the canonical Poisson bracket formulation from classical mechanics to classical field theories, in a completely general, intrinsic, and canonical way. In this paper, we provide an answer to this question by presenting a new completely canonical bracket formulation of Hamiltonian Classical Field Theories of first order on an arbitrary configuration… ▽ More It has been a long standing question how to extend the canonical Poisson bracket formulation from classical mechanics to classical field theories, in a completely general, intrinsic, and canonical way. In this paper, we provide an answer to this question by presenting a new completely canonical bracket formulation of Hamiltonian Classical Field Theories of first order on an arbitrary configuration bundle. It is obtained via the construction of the appropriate field-theoretic analogues of the Hamiltonian vector field and of the space of observables, via the introduction of a suitable canonical Lie algebra structure on the space of currents (the observables in field theories). This Lie algebra structure is shown to have a representation on the affine space of Hamiltonian sections, which yields an affine analogue to the Jacobi identity for our bracket. The construction is analogous to the canonical Poisson formulation of Hamiltonian systems although the nature of our formulation is linear-affine and not bilinear as the standard Poisson bracket. This is consistent with the fact that the space of currents and Hamiltonian sections are respectively, linear and affine. Our setting is illustrated with some examples including Continuum Mechanics and Yang-Mills theory. △ Less

Submitted 5 February, 2023; v1 submitted 18 September, 2022; originally announced September 2022.

Hamiltonian variational formulation for nonequilibrium thermodynamics of simple closed systems

Authors: Hiroaki Yoshimura, François Gay-Balmaz

Abstract: In this paper, we develop a Hamiltonian variational formulation for the nonequilibrium thermodynamics of simple adiabatically closed systems that is an extension of Hamilton's phase space principle in mechanics. We introduce the Hamilton-d'Alembert principle for thermodynamic systems by considering nonlinear nonholonomic constraints of thermodynamic type. In particular, for the case in which the g… ▽ More In this paper, we develop a Hamiltonian variational formulation for the nonequilibrium thermodynamics of simple adiabatically closed systems that is an extension of Hamilton's phase space principle in mechanics. We introduce the Hamilton-d'Alembert principle for thermodynamic systems by considering nonlinear nonholonomic constraints of thermodynamic type. In particular, for the case in which the given Lagrangian is degenerate, we construct the Hamiltonian by incorporating the primary constraints via Dirac's theory of constraints. We illustrate our Hamiltonian variational formulation with some examples of systems with friction, with internal matter transfer as well as with chemical reactions. △ Less

Submitted 1 April, 2022; originally announced April 2022.

MSC Class: 37J60; 74A15; 37D35; 70H45

General relativistic Lagrangian continuum theories -- Part I: reduced variational principles and junction conditions for hydrodynamics and elasticity

Authors: François Gay-Balmaz

Abstract: We establish a Lagrangian variational framework for general relativistic continuum theories that permits the development of the process of Lagrangian reduction by symmetry in the relativistic context. Starting with a continuum version of the Hamilton principle for the relativistic particle, we deduce two classes of reduced variational principles that are associated to either spacetime covariance,… ▽ More We establish a Lagrangian variational framework for general relativistic continuum theories that permits the development of the process of Lagrangian reduction by symmetry in the relativistic context. Starting with a continuum version of the Hamilton principle for the relativistic particle, we deduce two classes of reduced variational principles that are associated to either spacetime covariance, which is an axiom of the continuum theory, or material covariance, which is related to particular properties of the system such as isotropy. The covariance hypotheses and the Lagrangian reduction process are efficiently formulated by making explicit the dependence of the theory on given material and spacetime tensor fields that are transported by the world-tube of the continuum via the push-forward and pull-back operations. It is shown that the variational formulation, when augmented with the Gibbons-Hawking-York (GHY) boundary terms, also yields the Israel-Darmois junction conditions between the solution at the interior of the relativistic continua and the solution describing the gravity field produced outside from it. The expression of the first variation of the GHY term with respect to the hypersurface involves some extensions of previous results that we also derive in the paper. We consider in details the application of the variational framework to relativistic fluids and relativistic elasticity. For the latter case, our setting also allows to clarify the relation between formulations of relativistic elasticity based on the relativistic right Cauchy-Green tensor or on the relativistic Cauchy deformation tensor. The setting developed here will be further exploited for modelling purpose in subsequent parts of the paper. △ Less

Submitted 20 September, 2024; v1 submitted 14 February, 2022; originally announced February 2022.

Comments: 56 pages, 2 diagrams, 2 tables

Evolution of hybrid quantum-classical wavefunctions

Authors: François Gay-Balmaz, Cesare Tronci

Abstract: A gauge-invariant wave equation for the dynamics of hybrid quantum-classical systems is formulated by combining the variational setting of Lagrangian paths in continuum theories with Koopman wavefunctions in classical mechanics. We identify gauge transformations with unobservable phase factors in the classical phase-space and we introduce gauge invariance in the variational principle underlying a… ▽ More A gauge-invariant wave equation for the dynamics of hybrid quantum-classical systems is formulated by combining the variational setting of Lagrangian paths in continuum theories with Koopman wavefunctions in classical mechanics. We identify gauge transformations with unobservable phase factors in the classical phase-space and we introduce gauge invariance in the variational principle underlying a hybrid wave equation previously proposed by the authors. While the original construction ensures a positive-definite quantum density matrix, the present model also guarantees the same property for the classical Liouville density. After a suitable wavefunction factorization, gauge invariance is achieved by resorting to the classical Lagrangian paths made available by the Madelung transform of Koopman wavefunctions. Due to the appearance of a phase-space analogue of the Berry connection, the new hybrid wave equation is highly nonlinear and it is proposed here as a platform for further developments in quantum-classical dynamics. Indeed, the associated model is Hamiltonian and appears to be the first to ensure a series of consistency properties beyond positivity of quantum and classical densities. For example, the model possesses a quantum-classical Poincaré integral invariant and its special cases include both the mean-field model and the Ehrenfest model from chemical physics. △ Less

Submitted 4 July, 2022; v1 submitted 22 December, 2021; originally announced December 2021.

Comments: New version. 35 pages in total

Koopman wavefunctions and classical states in hybrid quantum-classical dynamics

Authors: François Gay-Balmaz, Cesare Tronci

Abstract: We deal with the reversible dynamics of coupled quantum and classical systems. Based on a recent proposal by the authors, we exploit the theory of hybrid quantum-classical wavefunctions to devise a closure model for the coupled dynamics in which both the quantum density matrix and the classical Liouville distribution retain their initial positive sign. In this way, the evolution allows identifying… ▽ More We deal with the reversible dynamics of coupled quantum and classical systems. Based on a recent proposal by the authors, we exploit the theory of hybrid quantum-classical wavefunctions to devise a closure model for the coupled dynamics in which both the quantum density matrix and the classical Liouville distribution retain their initial positive sign. In this way, the evolution allows identifying a classical and a quantum state in interaction at all times, thereby addressing a series of stringent consistency requirements. After combining Koopman's Hilbert-space method in classical mechanics with van Hove's unitary representations in prequantum theory, the closure model is made available by the variational structure underlying a suitable wavefunction factorization. Also, we use Poisson reduction by symmetry to show that the hybrid model possesses a noncanonical Poisson structure that does not seem to have appeared before. As an example, this structure is specialized to the case of quantum two-level systems. △ Less

Submitted 24 May, 2022; v1 submitted 3 August, 2021; originally announced August 2021.

Comments: Second version. Largely revised. Comments welcome!

From quantum hydrodynamics to Koopman wavefunctions I

Authors: François Gay-Balmaz, Cesare Tronci

Abstract: Based on Koopman's theory of classical wavefunctions in phase space, we present the Koopman-van Hove (KvH) formulation of classical mechanics as well as some of its properties. In particular, we show how the associated classical Liouville density arises as a momentum map associated to the unitary action of strict contact transformations on classical wavefunctions. Upon applying the Madelung transf… ▽ More Based on Koopman's theory of classical wavefunctions in phase space, we present the Koopman-van Hove (KvH) formulation of classical mechanics as well as some of its properties. In particular, we show how the associated classical Liouville density arises as a momentum map associated to the unitary action of strict contact transformations on classical wavefunctions. Upon applying the Madelung transform from quantum hydrodynamics in the new context, we show how the Koopman wavefunction picture is insufficient to reproduce arbitrary classical distributions. However, this problem is entirely overcome by resorting to von Neumann operators. Indeed, we show that the latter also allow for singular $δ-$like profiles of the Liouville density, thereby reproducing point particles in phase space. △ Less

Submitted 27 April, 2021; originally announced April 2021.

Comments: 8 pages, no figures. To appear in Lecture Notes in Comput. Sci

From quantum hydrodynamics to Koopman wavefunctions II

Authors: Cesare Tronci, François Gay-Balmaz

Abstract: Based on the Koopman-van Hove (KvH) formulation of classical mechanics introduced in Part I, we formulate a Hamiltonian model for hybrid quantum-classical systems. This is obtained by writing the KvH wave equation for two classical particles and applying canonical quantization to one of them. We illustrate several geometric properties of the model regarding the associated quantum, classical, and h… ▽ More Based on the Koopman-van Hove (KvH) formulation of classical mechanics introduced in Part I, we formulate a Hamiltonian model for hybrid quantum-classical systems. This is obtained by writing the KvH wave equation for two classical particles and applying canonical quantization to one of them. We illustrate several geometric properties of the model regarding the associated quantum, classical, and hybrid densities. After presenting the quantum-classical Madelung transform, the joint quantum-classical distribution is shown to arise as a momentum map for a unitary action naturally induced from the van Hove representation on the hybrid Hilbert space. While the quantum density matrix is positive by construction, no such result is currently available for the classical density. However, here we present a class of hybrid Hamiltonians whose flow preserves the sign of the classical density. Finally, we provide a simple closure model based on momentum map structures. △ Less

Submitted 27 April, 2021; originally announced April 2021.

Comments: 8 pages, 1 figure. To appear in Lecture Notes in Comput. Sci

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.

Comments: 40 pages, 1 figure

Dirac structures in nonequilibrium thermodynamics for simple open systems

Authors: François Gay-Balmaz, Hiroaki Yoshimura

Abstract: Dirac structures are geometric objects that generalize Poisson structures and presymplectic structures on manifolds. They naturally appear in the formulation of constrained mechanical systems and play an essential role in structuring a dynamical system through the energy flow between its subsystems and elements. In this paper, we show that the evolution equations for open thermodynamic systems, i.… ▽ More Dirac structures are geometric objects that generalize Poisson structures and presymplectic structures on manifolds. They naturally appear in the formulation of constrained mechanical systems and play an essential role in structuring a dynamical system through the energy flow between its subsystems and elements. In this paper, we show that the evolution equations for open thermodynamic systems, i.e., systems exchanging heat and matter with the exterior, admit an intrinsic formulation in terms of Dirac structures. We focus on simple systems, in which the thermodynamic state is described by a single entropy variable. A main difficulty compared to the case of closed systems lies in the explicit time dependence of the constraint associated to the entropy production. We overcome this issue by working with the geometric setting of time-dependent nonholonomic mechanics. We define three type of Dirac dynamical systems for the nonequilibrium thermodynamics of open systems, based either on the generalized energy, the Lagrangian, or the Hamiltonian. The variational formulations associated to the Dirac systems formulations are also presented. △ Less

Submitted 30 July, 2019; originally announced July 2019.

Madelung transform and probability densities in hybrid classical-quantum dynamics

Authors: François Gay-Balmaz, Cesare Tronci

Abstract: This paper extends the Madelung-Bohm formulation of quantum mechanics to describe the time-reversible interaction of classical and quantum systems. The symplectic geometry of the Madelung transform leads to identifying hybrid classical-quantum Lagrangian paths extending the Bohmian trajectories from standard quantum theory. As the classical symplectic form is no longer preserved, the nontrivial ev… ▽ More This paper extends the Madelung-Bohm formulation of quantum mechanics to describe the time-reversible interaction of classical and quantum systems. The symplectic geometry of the Madelung transform leads to identifying hybrid classical-quantum Lagrangian paths extending the Bohmian trajectories from standard quantum theory. As the classical symplectic form is no longer preserved, the nontrivial evolution of the Poincaré integral is presented explicitly. Nevertheless, the classical phase-space components of the hybrid Bohmian trajectory identify a Hamiltonian flow parameterized by the quantum coordinate and this flow is associated to the motion of the classical subsystem. In addition, the continuity equation of the joint classical-quantum density is presented explicitly. While the von Neumann density operator of the quantum subsystem is always positive-definite by construction, the hybrid density is generally allowed to be unsigned. However, the paper concludes by presenting an infinite family of hybrid Hamiltonians whose corresponding evolution preserves the sign of the probability density for the classical subsystem. △ Less

Submitted 2 June, 2020; v1 submitted 15 July, 2019; originally announced July 2019.

Comments: Fully revised. To appear in Nonlinearity

Dirac structures and port-Lagrangian systems in thermodynamics

Authors: Hiroaki Yoshimura, François Gay-Balmaz

Abstract: In this paper, we introduce the notion of port-Lagrangian systems in nonequilibrium thermodynamics, which is constructed by generalizing the notion of port-Lagrangian systems for nonholonomic mechanics proposed in Yoshimura and Marsden [2006c], where the notion of interconnections is described in terms of Dirac structures. The notion of port-Lagrangian systems in nonequilibrium thermodynamics is d… ▽ More In this paper, we introduce the notion of port-Lagrangian systems in nonequilibrium thermodynamics, which is constructed by generalizing the notion of port-Lagrangian systems for nonholonomic mechanics proposed in Yoshimura and Marsden [2006c], where the notion of interconnections is described in terms of Dirac structures. The notion of port-Lagrangian systems in nonequilibrium thermodynamics is deduced from the variational formulation of nonequilibrium thermodynamics developed in Gay-Balmaz and Yoshimura [2017a,2017b]. It is a type of Lagrange-d'Alembert principle associated to a specific class of nonlinear nonholonomic constraints, called phenomenological constraints, which are associated to the entropy production equation of the system. To these phenomenological constraints are systematically associated variational constraints, which need to be imposed on the variations considered in the principle. In this paper, by specifically focusing on the cases of simple thermodynamic systems with constraints, we show how the interconnections in thermodynamics can be also described by Dirac structures on the Pontryagin bundle as well as on the cotangent bundle of the thermodynamic configuration space. Each of these Dirac structures is induced from the variational constraint. Furthermore, the variational structure associated to this Dirac formulation is presented in the context of the Lagrange-d'Alembert-Pontryagin principle. We illustrate our theory with some examples such as a cylinder-piston with ideal gas as well as an LCR circuit with entropy production due to a resistor. △ Less

Submitted 30 June, 2019; originally announced July 2019.

From variational to bracket formulations in nonequilibrium thermodynamics of simple systems

Authors: François Gay-Balmaz, Hiroaki Yoshimura

Abstract: A variational formulation for nonequilibrium thermodynamics was recently proposed in \cite{GBYo2017a,GBYo2017b} for both discrete and continuum systems. This formulation extends the Hamilton principle of classical mechanics to include irreversible processes. In this paper, we show that this variational formulation yields a constructive and systematic way to derive from a unified perspective severa… ▽ More A variational formulation for nonequilibrium thermodynamics was recently proposed in \cite{GBYo2017a,GBYo2017b} for both discrete and continuum systems. This formulation extends the Hamilton principle of classical mechanics to include irreversible processes. In this paper, we show that this variational formulation yields a constructive and systematic way to derive from a unified perspective several bracket formulations for nonequilibrium thermodynamics proposed earlier in the literature, such as the single generator bracket and the double generator bracket. In the case of a linear relation between the thermodynamic fluxes and the thermodynamic forces, the metriplectic or GENERIC bracket is recovered. We also show how the processes of reduction by symmetry can be applied to these brackets. In the reduced setting, we also consider the case in which the coadjoint orbits are preserved and explain the link with double bracket dissipation. A similar development has been presented for continuum systems in \cite{ElGB2019} and applied to multicomponent fluids. △ Less

Submitted 11 April, 2019; originally announced April 2019.

From Lagrangian mechanics to nonequilibrium thermodynamics: a variational perspective

Authors: François Gay-Balmaz, Hiroaki Yoshimura

Abstract: In this paper, we survey our recent results on the variational formulation of nonequilibrium thermodynamics for the finite dimensional case of discrete systems as well as for the infinite dimensional case of continuum systems. Starting with the fundamental variational principle of classical mechanics, namely, Hamilton's principle, we show, with the help of thermodynamic systems with gradually incr… ▽ More In this paper, we survey our recent results on the variational formulation of nonequilibrium thermodynamics for the finite dimensional case of discrete systems as well as for the infinite dimensional case of continuum systems. Starting with the fundamental variational principle of classical mechanics, namely, Hamilton's principle, we show, with the help of thermodynamic systems with gradually increasing level complexity, how to systematically extend it to include irreversible processes. In the finite dimensional cases, we treat systems experiencing the irreversible processes of mechanical friction, heat and mass transfer, both in the adiabatically closed and in the open cases. On the continuum side, we illustrate our theory with the example of multicomponent Navier-Stokes-Fourier systems. △ Less

Submitted 7 April, 2019; originally announced April 2019.

Comments: 7 figures

Journal ref: Entropy 2019, 21(1), 8

A Variational Formulation of Nonequilibrium Thermodynamics for Discrete Open Systems with Mass and Heat Transfer

Authors: François Gay-Balmaz, Hiroaki Yoshimura

Abstract: We propose a variational formulation for the nonequilibrium thermodynamics of discrete open systems, i.e., discrete systems which can exchange mass and heat with the exterior. Our approach is based on a general variational formulation for systems with time-dependent nonlinear nonholonomic constraints and time-dependent Lagrangian. For discrete open systems, the~time-dependent nonlinear constraint… ▽ More We propose a variational formulation for the nonequilibrium thermodynamics of discrete open systems, i.e., discrete systems which can exchange mass and heat with the exterior. Our approach is based on a general variational formulation for systems with time-dependent nonlinear nonholonomic constraints and time-dependent Lagrangian. For discrete open systems, the~time-dependent nonlinear constraint is associated with the rate of internal entropy production of the system. We show that this constraint on the solution curve systematically yields a constraint on the variations to be used in the action functional. The proposed variational formulation is intrinsic and provides the same structure for a wide class of discrete open systems. We illustrate our theory by presenting examples of open systems experiencing mechanical interactions, as well as internal diffusion, internal heat transfer, and their cross-effects. Our approach yields a systematic way to derive the complete evolution equations for the open systems, including the expression of the internal entropy production of the system, independently on its complexity. It might be especially useful for the study of the nonequilibrium thermodynamics of biophysical systems. △ Less

Submitted 28 November, 2018; originally announced November 2018.

Journal ref: Entropy, 20(3), 163, 2018

Koopman wavefunctions and classical-quantum correlation dynamics

Authors: Denys I. Bondar, François Gay-Balmaz, Cesare Tronci

Abstract: Upon revisiting the Hamiltonian structure of classical wavefunctions in Koopman-von Neumann theory, this paper addresses the long-standing problem of formulating a dynamical theory of classical-quantum coupling. The proposed model not only describes the influence of a classical system onto a quantum one, but also the reverse effect -- the quantum backreaction. These interactions are described by a… ▽ More Upon revisiting the Hamiltonian structure of classical wavefunctions in Koopman-von Neumann theory, this paper addresses the long-standing problem of formulating a dynamical theory of classical-quantum coupling. The proposed model not only describes the influence of a classical system onto a quantum one, but also the reverse effect -- the quantum backreaction. These interactions are described by a new Hamiltonian wave equation overcoming shortcomings of currently employed models. For example, the density matrix of the quantum subsystem is always positive-definite. While the Liouville density of the classical subsystem is generally allowed to be unsigned, its sign is shown to be preserved in time for a specific infinite family of hybrid classical-quantum systems. The proposed description is illustrated and compared with previous theories using the exactly solvable model of a degenerate two-level quantum system coupled to a classical harmonic oscillator. △ Less

Submitted 26 July, 2019; v1 submitted 13 February, 2018; originally announced February 2018.

Comments: 21 pages, 2 figures. To appear in Proc. R. Soc. A

Geometric analysis of noisy perturbations to nonholonomic constraints

Authors: François Gay-Balmaz, Vakhtang Putkaradze

Abstract: We propose two types of stochastic extensions of nonholonomic constraints for mechanical systems. Our approach relies on a stochastic extension of the Lagrange-d'Alembert framework. We consider in details the case of invariant nonholonomic systems on the group of rotations and on the special Euclidean group. Based on this, we then develop two types of stochastic deformations of the Suslov problem… ▽ More We propose two types of stochastic extensions of nonholonomic constraints for mechanical systems. Our approach relies on a stochastic extension of the Lagrange-d'Alembert framework. We consider in details the case of invariant nonholonomic systems on the group of rotations and on the special Euclidean group. Based on this, we then develop two types of stochastic deformations of the Suslov problem and study the possibility of extending to the stochastic case the preservation of some of its integrals of motion such as the Kharlamova or Clebsch-Tisserand integrals. △ Less

Submitted 12 July, 2017; originally announced July 2017.

A free energy Lagrangian variational formulation of the Navier-Stokes-Fourier system

Authors: François Gay-Balmaz, Hiroaki Yoshimura

Abstract: We present a variational formulation for the Navier-Stokes-Fourier system based on a free energy Lagrangian. This formulation is a systematic infinite dimensional extension of the variational approach to the thermodynamics of discrete systems using the free energy, which complements the Lagrangian variational formulation using the internal energy developed in \cite{GBYo2016b} as one employs temper… ▽ More We present a variational formulation for the Navier-Stokes-Fourier system based on a free energy Lagrangian. This formulation is a systematic infinite dimensional extension of the variational approach to the thermodynamics of discrete systems using the free energy, which complements the Lagrangian variational formulation using the internal energy developed in \cite{GBYo2016b} as one employs temperature, rather than entropy, as an independent variable. The variational derivation is first expressed in the material (or Lagrangian) representation, from which the spatial (or Eulerian) representation is deduced. The variational framework is intrinsically written in a differential-geometric form that allows the treatment of the Navier-Stokes-Fourier system on Riemannian manifolds. △ Less

Submitted 26 June, 2017; originally announced June 2017.

Comments: 19 Pages

Dirac structures in nonequilibrium thermodynamics

Authors: François Gay-Balmaz, Hiroaki Yoshimura

Abstract: Dirac structures are geometric objects that generalize both Poisson structures and presymplectic structures on manifolds. They naturally appear in the formulation of constrained mechanical systems. In this paper, we show that the evolution equa- tions for nonequilibrium thermodynamics admit an intrinsic formulation in terms of Dirac structures, both on the Lagrangian and the Hamiltonian settings.… ▽ More Dirac structures are geometric objects that generalize both Poisson structures and presymplectic structures on manifolds. They naturally appear in the formulation of constrained mechanical systems. In this paper, we show that the evolution equa- tions for nonequilibrium thermodynamics admit an intrinsic formulation in terms of Dirac structures, both on the Lagrangian and the Hamiltonian settings. In absence of irreversible processes these Dirac structures reduce to canonical Dirac structures associated to canonical symplectic forms on phase spaces. Our geometric formulation of nonequilibrium thermodynamic thus consistently extends the geometric formulation of mechanics, to which it reduces in absence of irreversible processes. The Dirac structures are associated to the variational formulation of nonequilibrium thermodynamics developed in Gay-Balmaz and Yoshimura [2016a,b] and are induced from a nonlinear nonholonomic constraint given by the expression of the entropy production of the system. △ Less

Submitted 12 April, 2017; originally announced April 2017.

Comments: 32 pages, 3 figures

A variational derivation of the nonequilibrium thermodynamics of a moist atmosphere with rain process and its pseudoincompressible approximation

Authors: François Gay-Balmaz

Abstract: Irreversible processes play a major role in the description and prediction of atmospheric dynamics. In this paper, we present a variational derivation of the evolution equations for a moist atmosphere with rain process and subject to the irreversible processes of viscosity, heat conduction, diffusion, and phase transition. This derivation is based on a general variational formalism for nonequilibr… ▽ More Irreversible processes play a major role in the description and prediction of atmospheric dynamics. In this paper, we present a variational derivation of the evolution equations for a moist atmosphere with rain process and subject to the irreversible processes of viscosity, heat conduction, diffusion, and phase transition. This derivation is based on a general variational formalism for nonequilibrium thermodynamics which extends Hamilton's principle to incorporates irreversible processes. It is valid for any state equation and thus also covers the case of the atmosphere of other planets. In this approach, the second law of thermodynamics is understood as a nonlinear constraint formulated with the help of new variables, called thermodynamic displacements, whose time derivative coincides with the thermodynamic force of the irreversible process. The formulation is written both in the Lagrangian and Eulerian descriptions and can be directly adapted to oceanic dynamics. We illustrate the efficiency of our variational formulation as a modeling tool in atmospheric thermodynamics, by deriving a pseudoincompressible model for moist atmospheric thermodynamics with general equations of state and subject to the irreversible processes of viscosity, heat conduction, diffusion, and phase transition. △ Less

Submitted 25 April, 2018; v1 submitted 14 January, 2017; originally announced January 2017.

A Lagrangian formalism for nonequilibrium thermodynamics

Authors: François Gay-Balmaz, Hiroaki Yoshimura

Abstract: In this paper, we present a Lagrangian formalism for nonequilibrium thermodynamics. This formalism is an extension of the Hamilton principle in classical mechanics that allows the inclusion of irreversible phenomena in both discrete and continuum systems (i.e., systems with finite and infinite degrees of freedom). The irreversibility is encoded into a nonlinear nonholonomic constraint given by the… ▽ More In this paper, we present a Lagrangian formalism for nonequilibrium thermodynamics. This formalism is an extension of the Hamilton principle in classical mechanics that allows the inclusion of irreversible phenomena in both discrete and continuum systems (i.e., systems with finite and infinite degrees of freedom). The irreversibility is encoded into a nonlinear nonholonomic constraint given by the expression of entropy production associated to all the irreversible processes involved. Hence from a mathematical point of view, our variational formalism may be regarded as a generalization of the Lagrange-d'Alembert principle used in nonholonomic mechanics. In order to formulate the nonholonomic constraint, we associate to each irreversible process a variable called the thermodynamic displacement. This allows the definition of a corresponding variational constraint. Our theory is illustrated with various examples of discrete systems such as mechanical systems with friction, matter transfer, electric circuits, chemical reactions, and diffusion across membranes. For the continuum case, the variational formalism is naturally extended to the setting of infinite dimensional nonholonomic Lagrangian systems and is expressed in material representation, while its spatial version is obtained via a nonholonomic Lagrangian reduction by symmetry. In the continuum case, our theory is systematically illustrated by the example of a multicomponent viscous heat conducting fluid with chemical reactions and mass transfer. △ Less

Submitted 3 October, 2015; originally announced October 2015.

Dirac Reduction for Nonholonomic Mechanical Systems and Semidirect Products

Authors: François Gay-Balmaz, Hiroaki Yoshimura

Abstract: This paper develops the theory of Dirac reduction by symmetry for nonholonomic systems on Lie groups with broken symmetry. The reduction is carried out for the Dirac structures, as well as for the associated Lagrange-Dirac and Hamilton-Dirac dynamical systems. This reduction procedure is accompanied by reduction of the associated variational structures on both Lagrangian and Hamiltonian sides. The… ▽ More This paper develops the theory of Dirac reduction by symmetry for nonholonomic systems on Lie groups with broken symmetry. The reduction is carried out for the Dirac structures, as well as for the associated Lagrange-Dirac and Hamilton-Dirac dynamical systems. This reduction procedure is accompanied by reduction of the associated variational structures on both Lagrangian and Hamiltonian sides. The reduced dynamical systems obtained are called the implicit Euler-Poincaré-Suslov equations with advected parameters and the implicit Lie-Poisson-Suslov equations with advected parameters. The theory is illustrated with the help of finite and infinite dimensional examples. It is shown that equations of motion for second order Rivlin-Ericksen fluids can be formulated as an infinite dimensional nonholonomic system in the framework of the present paper. △ Less

Submitted 20 October, 2014; originally announced October 2014.

MSC Class: 70H30; 70H45; 70H03; 70H05; 37J60

Higher order Lagrange-Poincaré and Hamilton-Poincaré reductions

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

Abstract: Motivated by the problem of longitudinal data assimilation, e.g., in the registration of a sequence of images, we develop the higher-order framework for Lagrangian and Hamiltonian reduction by symmetry in geometric mechanics. In particular, we obtain the reduced variational principles and the associated Poisson brackets. The special case of higher order Euler-Poincaré and Lie-Poisson reduction is… ▽ More Motivated by the problem of longitudinal data assimilation, e.g., in the registration of a sequence of images, we develop the higher-order framework for Lagrangian and Hamiltonian reduction by symmetry in geometric mechanics. In particular, we obtain the reduced variational principles and the associated Poisson brackets. The special case of higher order Euler-Poincaré and Lie-Poisson reduction is also studied in detail. △ Less

Submitted 1 July, 2014; originally announced July 2014.

Comments: This paper has appeared in 2011 in the Journal of the Brazilian Mathematical Society 42(4), 579--606

MSC Class: 70H50; 37J15; 70H25; 70H30

Journal ref: J. Braz. Math. Soc. 42(4), (2011), 579--606

A new Lagrangian dynamic reduction in field theory

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

Abstract: For symmetric classical field theories on principal bundles there are two methods of symmetry reduction: covariant and dynamic. Assume that the classical field theory is given by a symmetric covariant Lagrangian density defined on the first jet bundle of a principal bundle. It is shown that covariant and dynamic reduction lead to equivalent equations of motion. This is achieved by constructing a n… ▽ More For symmetric classical field theories on principal bundles there are two methods of symmetry reduction: covariant and dynamic. Assume that the classical field theory is given by a symmetric covariant Lagrangian density defined on the first jet bundle of a principal bundle. It is shown that covariant and dynamic reduction lead to equivalent equations of motion. This is achieved by constructing a new Lagrangian defined on an infinite dimensional space which turns out to be gauge group invariant. △ Less

Submitted 1 July, 2014; originally announced July 2014.

Comments: This paper has appeared in 2010 in the Annales de l'Institut Fourier 16(3), 1125-1160

MSC Class: 70S05; 70S15; 70H03; 70H30; 70H99; 58E30; 58E40

Journal ref: Annales de l'Institut Fourier 16(3), (2010), 1125-1160

A dual pair for free boundary fluids

Authors: Francois Gay-Balmaz, Cornelia Vizman

Abstract: We construct a dual pair associated to the Hamiltonian geometric formulation of perfect fluids with free boundaries. This dual pair is defined on the cotangent bundle of the space of volume preserving embeddings of a manifold with boundary into a boundaryless manifold of the same dimension. The dual pair properties are rigorously verified in the infinite dimensional Fréchet manifold setting. It pr… ▽ More We construct a dual pair associated to the Hamiltonian geometric formulation of perfect fluids with free boundaries. This dual pair is defined on the cotangent bundle of the space of volume preserving embeddings of a manifold with boundary into a boundaryless manifold of the same dimension. The dual pair properties are rigorously verified in the infinite dimensional Fréchet manifold setting. It provides an example of a dual pair associated to actions that are not completely mutually orthogonal. △ Less

Submitted 6 February, 2014; originally announced February 2014.

Comments: 17 pages

Selective decay in fluids with advected quantities: MHD and Hall MHD

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

Abstract: Modifications of the equations of ideal fluid dynamics with advected quantities are introduced that allow selective decay of either the energy $h$ or the Casimir quantities $C$ in the Lie-Poisson formulation. The dissipated quantity (energy or Casimir, respectively) is shown to decrease in time until the modified system reaches an equilibrium state consistent with ideal energy-Casimir equilibria,… ▽ More Modifications of the equations of ideal fluid dynamics with advected quantities are introduced that allow selective decay of either the energy $h$ or the Casimir quantities $C$ in the Lie-Poisson formulation. The dissipated quantity (energy or Casimir, respectively) is shown to decrease in time until the modified system reaches an equilibrium state consistent with ideal energy-Casimir equilibria, namely $δ(h+C)=0$. The result holds for Lie-Poisson equations in general, independently of the Lie algebra and the choice of Casimir. This selective decay process is illustrated with a number of examples in 2D and 3D magnetohydrodynamics (MHD). △ Less

Submitted 20 October, 2018; v1 submitted 16 October, 2013; originally announced October 2013.

Comments: As published

Journal ref: Nonlinearity 27, 1747-1777 (2014)

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!

Clebsch variational principles in field theories and singular solutions of covariant EPDiff equations

Authors: François Gay-Balmaz

Abstract: This paper introduces and studies a field theoretic analogue of the Clebsch variational principle of classical mechanics. This principle yields an alternative derivation of the covariant Euler-Poincaré equations that naturally includes covariant Clebsch variables via multisymplectic momentum maps. In the case of diffeomorphism groups, this approach gives a new interpretation of recently derived si… ▽ More This paper introduces and studies a field theoretic analogue of the Clebsch variational principle of classical mechanics. This principle yields an alternative derivation of the covariant Euler-Poincaré equations that naturally includes covariant Clebsch variables via multisymplectic momentum maps. In the case of diffeomorphism groups, this approach gives a new interpretation of recently derived singular peakon solutions of Diff(R)-strand equations, and allows for the construction of singular solutions (such as filaments or sheets) for a more general class of equations, called covariant EPDiff equations. The relation between the covariant Clebsch principle and other variational principles arising in mechanics and field theories, such as Hamilton-Pontryagin principles, is explained through the introduction of a class of covariant Pontryagin variational principles in field theories. △ Less

Submitted 1 September, 2012; originally announced September 2012.

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)

Vlasov moment flows and geodesics on the Jacobi group

Authors: François Gay-Balmaz, Cesare Tronci

Abstract: By using the moment algebra of the Vlasov kinetic equation, we characterize the integrable Bloch-Iserles system on symmetric matrices (arXiv:math-ph/0512093) as a geodesic flow on the Jacobi group. We analyze the corresponding Lie-Poisson structure by presenting a momentum map, which both untangles the bracket structure and produces particle-type solutions that are inherited from the Vlasov-like i… ▽ More By using the moment algebra of the Vlasov kinetic equation, we characterize the integrable Bloch-Iserles system on symmetric matrices (arXiv:math-ph/0512093) as a geodesic flow on the Jacobi group. We analyze the corresponding Lie-Poisson structure by presenting a momentum map, which both untangles the bracket structure and produces particle-type solutions that are inherited from the Vlasov-like interpretation. Moreover, we show how the Vlasov moments associated to Bloch-Iserles dynamics correspond to particular subgroup inclusions into a group central extension (first discovered in arXiv:math/0410100), which in turn underlies Vlasov kinetic theory. In the most general case of Bloch-Iserles dynamics, a generalization of the Jacobi group also emerges naturally. △ Less

Submitted 9 May, 2011; originally announced May 2011.

Comments: 45 pages

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!

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

Dual pairs in fluid dynamics

Authors: François Gay-Balmaz, Cornelia Vizman

Abstract: This paper is a rigorous study of the dual pair structure of the ideal fluid and the dual pair structure for the $n$-dimensional Camassa-Holm (EPDiff) equation, including the proofs of the necessary transitivity results. In the case of the ideal fluid, we show that a careful definition of the momentum maps leads naturally to central extensions of diffeomorphism groups such as the group of quantomo… ▽ More This paper is a rigorous study of the dual pair structure of the ideal fluid and the dual pair structure for the $n$-dimensional Camassa-Holm (EPDiff) equation, including the proofs of the necessary transitivity results. In the case of the ideal fluid, we show that a careful definition of the momentum maps leads naturally to central extensions of diffeomorphism groups such as the group of quantomorphisms and the Ismagilov central extension. △ Less

Submitted 8 July, 2010; originally announced July 2010.

Comments: 33 pages

MSC Class: 53D17; 53D20; 37K65; 58D05; 58D10

Geometric dynamics on the automorphism group of principal bundles: geodesic flows, dual pairs and chromomorphism groups

Authors: François Gay-Balmaz, Cesare Tronci, Cornelia Vizman

Abstract: We formulate Euler-Poincaré equations on the Lie group Aut(P) of automorphisms of a principal bundle P. The corresponding flows are referred to as EPAut flows. We mainly focus on geodesic flows associated to Lagrangians of Kaluza-Klein type. In the special case of a trivial bundle P, we identify geodesics on certain infinite-dimensional semidirect-product Lie groups that emerge naturally from the… ▽ More We formulate Euler-Poincaré equations on the Lie group Aut(P) of automorphisms of a principal bundle P. The corresponding flows are referred to as EPAut flows. We mainly focus on geodesic flows associated to Lagrangians of Kaluza-Klein type. In the special case of a trivial bundle P, we identify geodesics on certain infinite-dimensional semidirect-product Lie groups that emerge naturally from the construction. This approach leads naturally to a dual pair structure containing δ-like momentum map solutions that extend previous results on geodesic flows on the diffeomorphism group (EPDiff). In the second part, we consider incompressible flows on the Lie group of volume-preserving automorphisms of a principal bundle. In this context, the dual pair construction requires the definition of chromomorphism groups, i.e. suitable Lie group extensions generalizing the quantomorphism group. △ Less

Submitted 16 November, 2011; v1 submitted 3 June, 2010; originally announced June 2010.

Comments: 52 pages; revised version

MSC Class: 37K65; 53D20; 53D25

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

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!

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

Reduction theory for symmetry breaking with applications to nematic systems

Authors: François Gay-Balmaz, Cesare Tronci

Abstract: We formulate Euler-Poincaré and Lagrange-Poincaré equations for systems with broken symmetry. We specialize the general theory to present explicit equations of motion for nematic systems, ranging from single nematic molecules to biaxial liquid crystals. The geometric construction applies to order parameter spaces consisting of either unsigned unit vectors (directors) or symmetric matrices (alignme… ▽ More We formulate Euler-Poincaré and Lagrange-Poincaré equations for systems with broken symmetry. We specialize the general theory to present explicit equations of motion for nematic systems, ranging from single nematic molecules to biaxial liquid crystals. The geometric construction applies to order parameter spaces consisting of either unsigned unit vectors (directors) or symmetric matrices (alignment tensors). On the Hamiltonian side, we provide the corresponding Poisson brackets in both Lie-Poisson and Hamilton-Poincaré formulations. The explicit form of the helicity invariant for uniaxial nematics is also presented, together with a whole class of invariant quantities (Casimirs) for two dimensional incompressible flows. △ Less

Submitted 9 July, 2010; v1 submitted 11 September, 2009; originally announced September 2009.

Comments: 40 pages. To appear in Physica D

The Geometric Structure of Complex Fluids

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

Abstract: This paper develops the theory of affine Euler-Poincaré and affine Lie-Poisson reductions and applies these processes to various examples of complex fluids, including Yang-Mills and Hall magnetohydrodynamics for fluids and superfluids, spin glasses, microfluids, and liquid crystals. As a consequence of the Lagrangian approach, the variational formulation of the equations is determined. On the Ha… ▽ More This paper develops the theory of affine Euler-Poincaré and affine Lie-Poisson reductions and applies these processes to various examples of complex fluids, including Yang-Mills and Hall magnetohydrodynamics for fluids and superfluids, spin glasses, microfluids, and liquid crystals. As a consequence of the Lagrangian approach, the variational formulation of the equations is determined. On the Hamiltonian side, the associated Poisson brackets are obtained by reduction of a canonical cotangent bundle. A Kelvin-Noether circulation theorem is presented and is applied to these examples. △ Less

Submitted 25 March, 2009; originally announced March 2009.

Journal ref: Adv. Appl. Math., 42 (2) (2008) 176-275

Affine Lie-Poisson Reduction, Yang-Mills magnetohydrodynamics, and superfluids

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

Abstract: This paper develops the theory of affine Lie-Poisson reduction and applies this process to Yang-Mills and Hall magnetohydrodynamics for fluids and superfluids. As a consequence of this approach, the associated Poisson brackets are obtained by reduction of a canonical cotangent bundle. A Kelvin-Noether circulation theorem is presented and is applied to these examples. This paper develops the theory of affine Lie-Poisson reduction and applies this process to Yang-Mills and Hall magnetohydrodynamics for fluids and superfluids. As a consequence of this approach, the associated Poisson brackets are obtained by reduction of a canonical cotangent bundle. A Kelvin-Noether circulation theorem is presented and is applied to these examples. △ Less

Submitted 25 March, 2009; originally announced March 2009.

Reduced Lagrangian and Hamiltonian formulations of Euler-Yang-Mills fluids

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

Abstract: The Lagrangian and Hamiltonian structures for an ideal gauge-charged fluid are determined. Using a Kaluza-Klein point of view, the equations of motion are obtained by Lagrangian and Poisson reductions associated to the automorphism group of a principal bundle. As a consequence of the Lagrangian approach, a Kelvin-Noether theorem is obtained. The Hamiltonian formulation determines a non-canonical… ▽ More The Lagrangian and Hamiltonian structures for an ideal gauge-charged fluid are determined. Using a Kaluza-Klein point of view, the equations of motion are obtained by Lagrangian and Poisson reductions associated to the automorphism group of a principal bundle. As a consequence of the Lagrangian approach, a Kelvin-Noether theorem is obtained. The Hamiltonian formulation determines a non-canonical Poisson bracket associated to these equations. △ Less

Submitted 25 March, 2009; originally announced March 2009.

Journal ref: Journal of Symplectic Geometry, 6 (2) 2008, 189-237