Showing 1–30 of 30 results for author: Gay-Balmaz, F

Thermodynamically consistent variational theory of porous media with a breaking component

Authors: François Gay-Balmaz, Vakhtang Putkaradze

Abstract: If a porous media is being damaged by excessive stress, the elastic matrix at every infinitesimal volume separates into a 'solid' and a 'broken' component. The 'solid' part is the one that is capable of transferring stress, whereas the 'broken' part is advecting passively and is not able to transfer the stress. In previous works, damage mechanics was addressed by introducing the damage parameter a… ▽ More If a porous media is being damaged by excessive stress, the elastic matrix at every infinitesimal volume separates into a 'solid' and a 'broken' component. The 'solid' part is the one that is capable of transferring stress, whereas the 'broken' part is advecting passively and is not able to transfer the stress. In previous works, damage mechanics was addressed by introducing the damage parameter affecting the elastic properties of the material. In this work, we take a more microscopic point of view, by considering the transition from the 'solid' part, which can transfer mechanical stress, to the 'broken' part, which consists of microscopic solid particles and does not transfer mechanical stress. Based on this approach, we develop a thermodynamically consistent dynamical theory for porous media including the transfer between the 'broken' and 'solid' components, by using a variational principle recently proposed in thermodynamics. This setting allows us to derive an explicit formula for the breaking rate, i.e., the transition from the 'solid' to the 'broken' phase, dependent on the Gibbs' free energy of each phase. Using that expression, we derive a reduced variational model for material breaking under one-dimensional deformations. We show that the material is destroyed in finite time, and that the number of 'solid' strands vanishing at the singularity follows a power law. We also discuss connections with existing experiments on material breaking and extensions to multi-phase porous media. △ Less

Submitted 6 May, 2023; originally announced May 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

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!

Variational geometric approach to the thermodynamics of porous media

Authors: François Gay-Balmaz, Vakhtang Putkaradze

Abstract: Many applications of porous media research involves high pressures and, correspondingly, exchange of thermal energy between the fluid and the matrix. While the system is relatively well understood for the case of non-moving porous media, the situation when the elastic matrix can move and deform, is much more complex. In this paper we derive the equations of motion for the dynamics of a deformable… ▽ More Many applications of porous media research involves high pressures and, correspondingly, exchange of thermal energy between the fluid and the matrix. While the system is relatively well understood for the case of non-moving porous media, the situation when the elastic matrix can move and deform, is much more complex. In this paper we derive the equations of motion for the dynamics of a deformable porous media which includes the effects of friction forces, stresses, and heat exchanges between the media, by using the new methodology of variational approach to thermodynamics. This theory extends the recently developed variational derivation of the mechanics of deformable porous media to include thermodynamic processes and can easily include incompressibility constraints. The model for the combined fluid-matrix system, written in the spatial frame, is developed by introducing mechanical and additional variables describing the thermal energy part of the system, writing the action principle for the system, and using a nonlinear, nonholonomic constraint on the system deduced from the second law of thermodynamics. The resulting equations give us the general version of possible friction forces incorporating thermodynamics, Darcy-like forces and friction forces similar to those used in the Navier-Stokes equations. The equations of motion are valid for arbitrary dependence of the kinetic and potential energies on the state variables. The results of our work are relevant for geophysical applications, industrial applications involving high pressures and temperatures, food processing industry, and other situations when both thermodynamics and mechanical considerations are important. △ Less

Submitted 9 July, 2021; originally announced July 2021.

Comments: arXiv admin note: text overlap with arXiv:2007.02605, arXiv:2107.03661

Actively deforming porous media in an incompressible fluid: a variational approach

Authors: Tagir Farkhutdinov, François Gay-Balmaz, Vakhtang Putkaradze

Abstract: Many parts of biological organisms are comprised of deformable porous media. The biological media is both pliable enough to deform in response to an outside force and can deform by itself using the work of an embedded muscle. For example, the recent work (Ludeman et al., 2014) has demonstrated interesting 'sneezing' dynamics of a freshwater sponge, when the sponge contracts and expands to clear it… ▽ More Many parts of biological organisms are comprised of deformable porous media. The biological media is both pliable enough to deform in response to an outside force and can deform by itself using the work of an embedded muscle. For example, the recent work (Ludeman et al., 2014) has demonstrated interesting 'sneezing' dynamics of a freshwater sponge, when the sponge contracts and expands to clear itself from surrounding polluted water. We derive the equations of motion for the dynamics of such an active porous media (i.e., a deformable porous media that is capable of applying a force to itself with internal muscles), filled with an incompressible fluid. These equations of motion extend the earlier derived equation for a passive porous media filled with an incompressible fluid. We use a variational approach with a Lagrangian written as the sum of terms representing the kinetic and potential energy of the elastic matrix, and the kinetic energy of the fluid, coupled through the constraint of incompressibility. We then proceed to extend this theory by computing the case when both the active porous media and the fluid are incompressible, with the porous media still being deformable, which is often the case for biological applications. For the particular case of a uniform initial state, we rewrite the equations of motion in terms of two coupled telegraph-like equations for the material (Lagrangian) particles expressed in the Eulerian frame of reference, particularly suitable for numerical simulations, formulated for both the compressible media/incompressible fluid case and the doubly incompressible case. We derive interesting conservation laws for the motion, perform numerical simulations in both cases and show the possibility of self-propulsion of a biological organism due to particular running wave-like application of the muscle stress. △ Less

Submitted 8 July, 2021; originally announced July 2021.

Comments: 51 pages, 7 figures. arXiv admin note: text overlap with arXiv:2007.02605

Geometric variational approach to the dynamics of porous media filled with incompressible fluid

Authors: Tagir Farkhutdinov, François Gay-Balmaz, Vakhtang Putkaradze

Abstract: We derive the equations of motion for the dynamics of a porous media filled with an incompressible fluid. We use a variational approach with a Lagrangian written as the sum of terms representing the kinetic and potential energy of the elastic matrix, and the kinetic energy of the fluid, coupled through the constraint of incompressibility. As an illustration of the method, the equations of motion f… ▽ More We derive the equations of motion for the dynamics of a porous media filled with an incompressible fluid. We use a variational approach with a Lagrangian written as the sum of terms representing the kinetic and potential energy of the elastic matrix, and the kinetic energy of the fluid, coupled through the constraint of incompressibility. As an illustration of the method, the equations of motion for both the elastic matrix and the fluid are derived in the spatial (Eulerian) frame. Such an approach is of relevance e.g. for biological problems, such as sponges in water, where the elastic porous media is highly flexible and the motion of the fluid has a 'primary' role in the motion of the whole system. We then analyze the linearized equations of motion describing the propagation of waves through the media. In particular, we derive the propagation of S-waves and P-waves in an isotropic media. We also analyze the stability criteria for the wave equations and show that they are equivalent to the physicality conditions of the elastic matrix. Finally, we show that the celebrated Biot's equations for waves in porous media are obtained for certain values of parameters in our models. △ Less

Submitted 6 July, 2020; originally announced July 2020.

Comments: 34 pages, 6 figures, to appear in Acta Mechanica

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

Predicting Uncertainty in Geometric Fluid Mechanics

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

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

Submitted 26 June, 2018; originally announced June 2018.

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

Geometric theory of flexible and expandable tubes conveying fluid: equations, solutions and shock waves

Authors: François Gay-Balmaz, Vakhtang Putkaradze

Abstract: We present a theory for the three-dimensional evolution of tubes with expandable walls conveying fluid. Our theory can accommodate arbitrary deformations of the tube, arbitrary elasticity of the walls, and both compressible and incompressible flows inside the tube. We also present the theory of propagation of shock waves in such tubes and derive the conservation laws and Rankine-Hugoniot condition… ▽ More We present a theory for the three-dimensional evolution of tubes with expandable walls conveying fluid. Our theory can accommodate arbitrary deformations of the tube, arbitrary elasticity of the walls, and both compressible and incompressible flows inside the tube. We also present the theory of propagation of shock waves in such tubes and derive the conservation laws and Rankine-Hugoniot conditions in arbitrary spatial configuration of the tubes, and compute several examples of particular solutions. The theory is derived from a variational treatment of Cosserat rod theory extended to incorporate expandable walls and moving flow inside the tube. The results presented here are useful for biological flows and industrial applications involving high speed motion of gas in flexible tubes. △ Less

Submitted 24 May, 2018; originally announced May 2018.

Stability of helical tubes conveying fluid

Authors: François Gay-Balmaz, Dimitri Georgievskii, Vakhtang Putkaradze

Abstract: We study the linear stability of elastic collapsible tubes conveying fluid, when the equilibrium configuration of the tube is helical. A particular case of such tubes, commonly encountered in applications, is represented by quarter- or semi-circular tubular joints used at pipe's turning points. The stability theory for pipes with non-straight equilibrium configurations, especially for collapsible… ▽ More We study the linear stability of elastic collapsible tubes conveying fluid, when the equilibrium configuration of the tube is helical. A particular case of such tubes, commonly encountered in applications, is represented by quarter- or semi-circular tubular joints used at pipe's turning points. The stability theory for pipes with non-straight equilibrium configurations, especially for collapsible tubes, allowing dynamical change of the cross-section, has been elusive as it is difficult to accurately develop the dynamic description via traditional methods. We develop a methodology for studying the three-dimensional dynamics of collapsible tubes based on the geometric variational approach. We show that the linear stability theory based on this approach allows for a complete treatment for arbitrary three-dimensional helical configurations of collapsible tubes by reduction to an equation with constant coefficients. We discuss new results on stability loss of straight tubes caused by the cross-sectional area change. Finally, we develop a numerical algorithm for computation of the linear stability using our theory and present the results of numerical studies for both straight and helical tubes. △ Less

Submitted 27 September, 2017; v1 submitted 6 August, 2017; originally announced August 2017.

Comments: 47 pages, 5 figures

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

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

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

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

Comments: 27 pages, 3 figures

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

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!

Dynamics of elastic rods in perfect friction contact

Authors: François Gay-Balmaz, Vakhtang Putkaradze

Abstract: One of the most challenging and basic problems in elastic rod dynamics is a description of rods in contact that prevents any unphysical self-intersections. Most previous works addressed this issue through the introduction of short-range potentials. We study the dynamics of elastic rods with perfect rolling contact which is physically relevant for rods with rough surface, and cannot be described by… ▽ More One of the most challenging and basic problems in elastic rod dynamics is a description of rods in contact that prevents any unphysical self-intersections. Most previous works addressed this issue through the introduction of short-range potentials. We study the dynamics of elastic rods with perfect rolling contact which is physically relevant for rods with rough surface, and cannot be described by any kind of potential. We derive the equations of motion and show that the system is essentially non-linear due to the moving contact position, resulting in a surprisingly complex behavior of the system. △ Less

Submitted 15 July, 2012; originally announced July 2012.

Comments: 4 pages, 3 figures

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)

Euler-Poincaré approaches to nematodynamics

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

Abstract: Nematodynamics is the orientation dynamics of flowless liquid-crystals. We show how Euler-Poincaré reduction produces a unifying framework for various theories, including Ericksen-Leslie, Luhiller-Rey, and Eringen's micropolar theory. In particular, we show that these theories are all compatible with each other and some of them allow for more general configurations involving a non vanishing discin… ▽ More Nematodynamics is the orientation dynamics of flowless liquid-crystals. We show how Euler-Poincaré reduction produces a unifying framework for various theories, including Ericksen-Leslie, Luhiller-Rey, and Eringen's micropolar theory. In particular, we show that these theories are all compatible with each other and some of them allow for more general configurations involving a non vanishing discination density. All results are also extended to flowing liquid crystals. △ Less

Submitted 12 March, 2012; v1 submitted 12 October, 2011; originally announced October 2011.

Comments: 26 pages, no figures

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

Equivalent theories of liquid crystal dynamics

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

Abstract: There are two competing descriptions of nematic liquid crystal dynamics: the Ericksen-Leslie director theory and the Eringen micropolar approach. Up to this day, these two descriptions have remained distinct in spite of several attempts to show that the micropolar theory comprises the director theory. In this paper we show that this is the case by using symmetry reduction techniques and introducin… ▽ More There are two competing descriptions of nematic liquid crystal dynamics: the Ericksen-Leslie director theory and the Eringen micropolar approach. Up to this day, these two descriptions have remained distinct in spite of several attempts to show that the micropolar theory comprises the director theory. In this paper we show that this is the case by using symmetry reduction techniques and introducing a new system that is equivalent to the Ericksen-Leslie equations and includes disclination dynamics. The resulting equations of motion are verified to be completely equivalent, although one of the two different reductions offers the possibility of accounting for orientational defects. After applying these two approaches to the ordered micropolar theory of Lhuiller and Rey, all the results are eventually extended to flowing complex fluids, such as nematic liquid crystals. △ Less

Submitted 6 July, 2013; v1 submitted 14 February, 2011; originally announced February 2011.

Comments: 37 pages. To Appear in Arch. Ration. Mech. Anal

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

The helicity and vorticity of liquid crystal flows

Authors: François Gay-Balmaz, Cesare Tronci

Abstract: We present explicit expressions of the helicity conservation in nematic liquid crystal flows, for both the Ericksen-Leslie and Landau-de Gennes theories. This is done by using a minimal coupling argument that leads to an Euler-like equation for a modified vorticity involving both velocity and structure fields (e.g. director and alignment tensor). This equation for the modified vorticity shares man… ▽ More We present explicit expressions of the helicity conservation in nematic liquid crystal flows, for both the Ericksen-Leslie and Landau-de Gennes theories. This is done by using a minimal coupling argument that leads to an Euler-like equation for a modified vorticity involving both velocity and structure fields (e.g. director and alignment tensor). This equation for the modified vorticity shares many relevant properties with ideal fluid dynamics and it allows for vortex filament configurations as well as point vortices in 2D. We extend all these results to particles of arbitrary shape by considering systems with fully broken rotational symmetry. △ Less

Submitted 15 September, 2010; v1 submitted 15 June, 2010; originally announced June 2010.

Comments: 22 pages; no figures

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

The momentum map representation of images

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

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

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

Comments: 34 pages, revised version

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

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

Geometric dynamics of optimization

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

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

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

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

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

Variational principles for spin systems and the Kirchhoff rod

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

Abstract: We obtain the affine Euler-Poincaré equations by standard Lagrangian reduction and deduce the associated Clebsch-constrained variational principle. These results are illustrated in deriving the equations of motion for continuum spin systems and Kirchhoff's rod, where they provide a unified geometric interpretation. We obtain the affine Euler-Poincaré equations by standard Lagrangian reduction and deduce the associated Clebsch-constrained variational principle. These results are illustrated in deriving the equations of motion for continuum spin systems and Kirchhoff's rod, where they provide a unified geometric interpretation. △ Less

Submitted 8 April, 2009; originally announced April 2009.

Comments: Submitted to Journal of Geometric Mechanics, 29 pages, no figures

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.

Dynamics of charged molecular strands

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

Abstract: Euler-Poincare equations are derived for the dynamical folding of charged molecular strands (such as DNA) modeled as flexible continuous filamentary distributions of interacting rigid charge conformations. The new feature is that the equations of motion for the dynamics of such molecular strands are nonlocal when the screened Coulomb interactions, or Lennard-Jones potentials between pairs of cha… ▽ More Euler-Poincare equations are derived for the dynamical folding of charged molecular strands (such as DNA) modeled as flexible continuous filamentary distributions of interacting rigid charge conformations. The new feature is that the equations of motion for the dynamics of such molecular strands are nonlocal when the screened Coulomb interactions, or Lennard-Jones potentials between pairs of charges are included. These nonlocal dynamical equations are derived in the convective representation of continuum motion by using modified Euler-Poincare and Hamilton-Pontryagin variational formulations that illuminate the various approaches within the framework of symmetry reduction of Hamilton's principle for exact geometric rods. In the absence of nonlocal interactions, the equations recover the classical Kirchhoff theory of elastic rods in the spatial representation. The motion equations in the convective representation are shown to be affine Euler-Poincare equations relative to a certain cocycle. This property relates the geometry of the molecular strands to that of complex fluids. An elegant change of variables allows a direct passage from the infinite dimensional point of view to the covariant formulation in terms of Lagrange-Poincare equations. In another revealing perspective, the convective representation of the nonlocal equations of molecular strand motion is transformed into quaternionic form. △ Less

Submitted 19 January, 2009; originally announced January 2009.

Comments: 86 pages, 1 figure, submitted to Archive or Rational Mechanics and Analysis