-
Reduction of hybrid Hamiltonian systems with non-equivariant momentum maps
Authors:
Leonardo Colombo,
María Emma Eyrea Irazú,
María Eugenia García,
Asier López-Gordón,
Marcela Zuccalli
Abstract:
We develop a reduction scheme à la Marsden-Weinstein-Meyer for hybrid Hamiltonian systems. Our method does not require the momentum map to be equivariant, neither to be preserved by the impact map. We illustrate the applicability of our theory with an example.
We develop a reduction scheme à la Marsden-Weinstein-Meyer for hybrid Hamiltonian systems. Our method does not require the momentum map to be equivariant, neither to be preserved by the impact map. We illustrate the applicability of our theory with an example.
△ Less
Submitted 12 June, 2025; v1 submitted 28 March, 2025;
originally announced March 2025.
-
Momentum map reduction for nonholonomic systems
Authors:
Paula Balseiro,
Maria E. Garcia,
Cora Tori,
Marcela Zuccalli
Abstract:
This paper presents a reduction procedure for nonholonomic systems admitting suitable types of symmetries and conserved quantities. The full procedure contains two steps. The first (simple) step results in a Chaplygin system, described by an almost symplectic structure, carrying additional symmetries. The focus of this paper is on the second step, which consists of a Marsden-Weinstein--type reduct…
▽ More
This paper presents a reduction procedure for nonholonomic systems admitting suitable types of symmetries and conserved quantities. The full procedure contains two steps. The first (simple) step results in a Chaplygin system, described by an almost symplectic structure, carrying additional symmetries. The focus of this paper is on the second step, which consists of a Marsden-Weinstein--type reduction that generalizes constructions in [4,17]. The almost symplectic manifolds obtained in the second step are proven to coincide with the leaves of the reduced nonholonomic brackets defined in [7]. We illustrate our construction with several classical examples.
△ Less
Submitted 5 July, 2022;
originally announced July 2022.
-
Discrete connections on principal bundles: the Discrete Atiyah Sequence
Authors:
Javier Fernandez,
Mariana Juchani,
Marcela Zuccalli
Abstract:
In this work we study discrete analogues of an exact sequence of vector bundles introduced by M. Atiyah in 1957, associated to any smooth principal $G$-bundle $π:Q\rightarrow Q/G$. In the original setting, the splittings of the exact sequence correspond to connections on the principal bundle $π$. The discrete analogues that we consider here can be studied in two different categories: the category…
▽ More
In this work we study discrete analogues of an exact sequence of vector bundles introduced by M. Atiyah in 1957, associated to any smooth principal $G$-bundle $π:Q\rightarrow Q/G$. In the original setting, the splittings of the exact sequence correspond to connections on the principal bundle $π$. The discrete analogues that we consider here can be studied in two different categories: the category of fiber bundles with a (chosen) section, FBS, and the category of local Lie groupoids, lLgpdC. In FBS we find a correspondence between a) (semi-local) splittings of the discrete Atiyah sequence (DAS) of $π$, b) discrete connections on the same bundle $π$, and c) isomorphisms of the DAS with certain fiber product extensions in FBS. We see that the right splittings of the DAS (in FBS) are not necessarily right splittings in lLgpdC: we use this obstruction to define the discrete curvature of a discrete connection. Then, there is a correspondence between the splittings of the DAS in lLgpdC and discrete connections with trivial discrete curvature. We also introduce a semidirect product between (some) local Lie groupoids and prove that there is a correspondence between semidirect product extensions and splittings of the DAS in lLgpdC.
△ Less
Submitted 27 May, 2024; v1 submitted 12 November, 2021;
originally announced November 2021.
-
Discrete connections on principal bundles: abelian group case
Authors:
Javier Fernandez,
Mariana Juchani,
Marcela Zuccalli
Abstract:
In this note we consider a few interesting properties of discrete connections on principal bundles when the structure group of the bundle is an abelian Lie group. In particular, we show that the discrete connection form and its curvature can be interpreted as singular $1$ and $2$ cochains respectively, with the curvature being the coboundary of the connection form. Using this formalism we prove a…
▽ More
In this note we consider a few interesting properties of discrete connections on principal bundles when the structure group of the bundle is an abelian Lie group. In particular, we show that the discrete connection form and its curvature can be interpreted as singular $1$ and $2$ cochains respectively, with the curvature being the coboundary of the connection form. Using this formalism we prove a discrete analogue of a formula for the holonomy around a loop given by Marsden, Montgomery and Ratiu for (continuous) connections in a similar setting.
△ Less
Submitted 18 September, 2021;
originally announced September 2021.
-
Variational reduction of Hamiltonian systems with general constraints
Authors:
Sergio Grillo,
Leandro Salomone,
Marcela Zuccalli
Abstract:
In the Hamiltonian formalism, and in the presence of a symmetry Lie group, a variational reduction procedure has already been developed for Hamiltonian systems without constraints. In this paper we present a procedure of the same kind, but for the entire class of the higher order constrained systems (HOCS), described in the Hamiltonian formalism. Last systems include the standard and generalized n…
▽ More
In the Hamiltonian formalism, and in the presence of a symmetry Lie group, a variational reduction procedure has already been developed for Hamiltonian systems without constraints. In this paper we present a procedure of the same kind, but for the entire class of the higher order constrained systems (HOCS), described in the Hamiltonian formalism. Last systems include the standard and generalized nonholonomic Hamiltonian systems as particular cases. When restricted to Hamiltonian systems without constraints, our procedure gives rise exactly to the so-called Hamilton-Poincaré equations, as expected. In order to illustrate the procedure, we study in detail the case in which both the configuration space of the system and the involved symmetry define a trivial principal bundle.
△ Less
Submitted 25 April, 2019;
originally announced April 2019.
-
Explicit solutions of the kinetic and potential matching conditions of the energy shaping method
Authors:
Sergio D. Grillo,
Leandro M. Salomone,
Marcela Zuccalli
Abstract:
In this paper we present a procedure to integrate, up to quadratures, the matching conditions of the energy shaping method. We do that in the context of underactuated Hamiltonian systems defined by simple Hamiltonian functions. For such systems, the matching conditions split into two decoupled subsets of equations: the kinetic and potential equations. First, assuming that a solution of the kinetic…
▽ More
In this paper we present a procedure to integrate, up to quadratures, the matching conditions of the energy shaping method. We do that in the context of underactuated Hamiltonian systems defined by simple Hamiltonian functions. For such systems, the matching conditions split into two decoupled subsets of equations: the kinetic and potential equations. First, assuming that a solution of the kinetic equation is given, we find integrability and positivity conditions for the potential equation (because positive-definite solutions are the interesting ones), and we find an explicit solution of the latter. Then, in the case of systems with one degree of underactuation, we find in addition a concrete formula for the general solution of the kinetic equation. An example is included to illustrate our results.
△ Less
Submitted 1 October, 2018;
originally announced October 2018.
-
Dirac approach to constrained submanifolds in a double loop group: from WZNW to Poisson-Lie $σ$-model
Authors:
H. Montani,
M. Zuccalli
Abstract:
We study the restriction to a family of second class constrained submanifolds in the cotangent bundle of a double Lie group, equipped with a 2-cocycle extended symplectic form, building the corresponding Dirac brackets. It is shown that, for a 2-cocycle vanishing on each isotropic subspaces of the associated Manin triple, the Dirac bracket contains no traces of the cocycle. We also investigate the…
▽ More
We study the restriction to a family of second class constrained submanifolds in the cotangent bundle of a double Lie group, equipped with a 2-cocycle extended symplectic form, building the corresponding Dirac brackets. It is shown that, for a 2-cocycle vanishing on each isotropic subspaces of the associated Manin triple, the Dirac bracket contains no traces of the cocycle. We also investigate the restriction of the left translation action of the double Lie group on its cotangent bundle, where it fails in to be a symmetry a canonical transformation. However, the hamiltonian symmetry is restored on some special submanifolds. The main application is on loop groups, showing that a WZNW-type model on the double Lie group with a quadratic Hamilton function in the momentum maps associated with the left translation action on the cotangent bundle with the canonical symplectic form, restricts to a collective system on some special submanifolds. There, the lagrangian version coincides with so called Poisson-Lie $σ$-model.
△ Less
Submitted 6 January, 2014;
originally announced January 2014.
-
A geometric approach to discrete connections on principal bundles
Authors:
Javier Fernandez,
Marcela Zuccalli
Abstract:
This work revisits, from a geometric perspective, the notion of discrete connection on a principal bundle, introduced by M. Leok, J. Marsden and A. Weinstein. It provides precise definitions of discrete connection, discrete connection form and discrete horizontal lift and studies some of their basic properties and relationships. An existence result for discrete connections on principal bundles equ…
▽ More
This work revisits, from a geometric perspective, the notion of discrete connection on a principal bundle, introduced by M. Leok, J. Marsden and A. Weinstein. It provides precise definitions of discrete connection, discrete connection form and discrete horizontal lift and studies some of their basic properties and relationships. An existence result for discrete connections on principal bundles equipped with appropriate Riemannian metrics is proved.
△ Less
Submitted 1 November, 2013;
originally announced November 2013.
-
Higher-order discrete variational problems with constraints
Authors:
Leonardo Colombo,
David Martín de Diego,
Marcela Zuccalli
Abstract:
An interesting family of geometric integrators for Lagrangian systems can be defined using discretizations of the Hamilton's principle of critical action. This family of geometric integrators is called variational integrators.
In this paper, we derive new variational integrators for higher-order lagrangian mechanical system subjected to higher-order constraints. From the discretization of the va…
▽ More
An interesting family of geometric integrators for Lagrangian systems can be defined using discretizations of the Hamilton's principle of critical action. This family of geometric integrators is called variational integrators.
In this paper, we derive new variational integrators for higher-order lagrangian mechanical system subjected to higher-order constraints. From the discretization of the variational principles, we show that our methods are automatically symplectic and, in consequence, with a very good energy behavior. Additionally, the symmetries of the discrete Lagrangian imply that momenta is conserved by the integrator. Moreover, we extend our construction to variational integrators where the lagrangian is explicitly time-dependent. Finally, some motivating applications of higher-order problems are considered; in particular, optimal control problems for explicitly time-dependent underactuated systems and an interpolation problem on Riemannian manifolds.
△ Less
Submitted 3 June, 2013;
originally announced June 2013.
-
Lagrangian reduction of nonholonomic discrete mechanical systems
Authors:
Javier Fernandez,
Cora Tori,
Marcela Zuccalli
Abstract:
In this paper we propose a process of lagrangian reduction and reconstruction for nonholonomic discrete mechanical systems where the action of a continuous symmetry group makes the configuration space a principal bundle. The result of the reduction process is a discrete dynamical system that we call the discrete reduced system. We illustrate the techniques by analyzing two types of discrete symmet…
▽ More
In this paper we propose a process of lagrangian reduction and reconstruction for nonholonomic discrete mechanical systems where the action of a continuous symmetry group makes the configuration space a principal bundle. The result of the reduction process is a discrete dynamical system that we call the discrete reduced system. We illustrate the techniques by analyzing two types of discrete symmetric systems where it is possible to go further and obtain (forced) discrete mechanical systems that determine the dynamics of the discrete reduced system.
△ Less
Submitted 24 April, 2010;
originally announced April 2010.
-
Optimal Control of Underactuated Mechanical Systems: A Geometric Approach
Authors:
L. Colombo,
D. Martin de Diego,
M. Zuccalli
Abstract:
In this paper, we consider a geometric formalism for optimal control of underactuated mechanical systems. Our techniques are an adaptation of the classical Skinner and Rusk approach for the case of Lagrangian dynamics with higher-order constraints. We study a regular case where it is possible to establish a symplectic framework and, as a consequence, to obtain a unique vector field determining t…
▽ More
In this paper, we consider a geometric formalism for optimal control of underactuated mechanical systems. Our techniques are an adaptation of the classical Skinner and Rusk approach for the case of Lagrangian dynamics with higher-order constraints. We study a regular case where it is possible to establish a symplectic framework and, as a consequence, to obtain a unique vector field determining the dynamics of the optimal control problem. These developments will allow us to develop a new class of geometric integrators based on discrete variational calculus.
△ Less
Submitted 10 December, 2009;
originally announced December 2009.
-
On Quantum Momentum Maps associated to non Ad*-equivariant Classical Momentum Maps
Authors:
Maria Eugenia Garcia,
Marcela Zuccalli
Abstract:
In an interesting work M.F. Muller-Bahns and N. Neumaier ("Some remarks on g-invariant Fedosov star products and quantum momentum mappings". Journal of Geometry and Physics 50 (2004), 257-272.) analyze the existence of a quantum momentum map based on the existence of a classical momentum map providing an answer to the proposal given by P. Xu in ("Fedosov *-products and quantum momentum maps". Co…
▽ More
In an interesting work M.F. Muller-Bahns and N. Neumaier ("Some remarks on g-invariant Fedosov star products and quantum momentum mappings". Journal of Geometry and Physics 50 (2004), 257-272.) analyze the existence of a quantum momentum map based on the existence of a classical momentum map providing an answer to the proposal given by P. Xu in ("Fedosov *-products and quantum momentum maps". Commun. Math. Phys (1998) 167-197). In both papers only equivariant classical momentum maps are considered.
In these notes, we extend Muller-Bahns and Neumaier analysis to the case of a non equivariant momentum map. In addition, we propose the notion of an anomalous quantum momentum map as an alternative to recover a non equivariant momentum map at the classical level by considering central extensions of the Lie algebra associated with non equivariance.
△ Less
Submitted 28 July, 2009;
originally announced July 2009.
-
Poisson-Lie T-Duality and non trivial monodromies
Authors:
A. Cabrera,
H. Montani,
M. Zuccalli
Abstract:
We describe a general framework for studying duality between different phase spaces which share the same symmetry group $\mathrm{H}$. Solutions corresponding to collective dynamics become dual in the sense that they are generated by the same curve in $\mathrm{H}$. Explicit examples of phase spaces which are dual with respect to a common non trivial coadjoint orbit…
▽ More
We describe a general framework for studying duality between different phase spaces which share the same symmetry group $\mathrm{H}$. Solutions corresponding to collective dynamics become dual in the sense that they are generated by the same curve in $\mathrm{H}$. Explicit examples of phase spaces which are dual with respect to a common non trivial coadjoint orbit $\mathcal{O}_{c,0}(\mathbfα,1) \subset\mathfrak{h}^{\ast}$ are constructed on the cotangent bundles of the factors of a double Lie group $\mathrm{H}=\mathrm{N}\Join\mathrm{N}^{\ast}$. In the case $\mathrm{H}=LD$, the loop group of a Drinfeld double Lie group $D$, a hamiltonian description of Poisson-Lie T-duality for non trivial monodromies and its relation with non trivial coadjoint orbits is obtained.
△ Less
Submitted 20 August, 2008; v1 submitted 13 December, 2007;
originally announced December 2007.
