-
On discrete Routh reduction and structures on the reduced space
Authors:
Matías I. Caruso,
Javier Fernández,
Cora Tori,
Marcela Zuccalli
Abstract:
In this paper we work, first, with forced discrete-time mechanical systems on the configuration space $Q$ and construct closed $2$-forms $ω^+$ and $ω^-$ on $Q \times Q$, that are symplectic if and only if the system is regular. For a special type of discrete force, we prove that $ω^+$ and $ω^-$ are invariant by the flow of the system. We also consider the Lagrangian reduction of a discrete mechani…
▽ More
In this paper we work, first, with forced discrete-time mechanical systems on the configuration space $Q$ and construct closed $2$-forms $ω^+$ and $ω^-$ on $Q \times Q$, that are symplectic if and only if the system is regular. For a special type of discrete force, we prove that $ω^+$ and $ω^-$ are invariant by the flow of the system. We also consider the Lagrangian reduction of a discrete mechanical system by a symmetry group (using an affine discrete connection derived from the discrete momentum) and prove that, under some conditions on the action, the trajectories of the reduced system (with constant discrete momentum $μ$) can be seen as trajectories of a forced discrete mechanical system, where the discrete force is of the type analyzed before. Therefore, we prove that there is a symplectic structure that is invariant by the flow of the forced reduced system; the symplectic structure can be seen as a pullback of a canonical cotangent structure plus a magnetic term. This discrete reduction process is the (discrete) Routh reduction and the behavior obtained runs parallel to the well known case for (continuous) Routh reduction.
△ Less
Submitted 5 July, 2024; v1 submitted 8 March, 2024;
originally announced March 2024.
-
Lagrangian reduction of forced discrete mechanical systems
Authors:
Matías I. Caruso,
Javier Fernández,
Cora Tori,
Marcela Zuccalli
Abstract:
In this paper we propose a process of Lagrangian reduction and reconstruction for symmetric discrete-time mechanical systems acted on by external forces, where the symmetry group action on the configuration manifold turns it into a principal bundle. We analyze the evolution of momentum maps and Poisson structures under different conditions.
In this paper we propose a process of Lagrangian reduction and reconstruction for symmetric discrete-time mechanical systems acted on by external forces, where the symmetry group action on the configuration manifold turns it into a principal bundle. We analyze the evolution of momentum maps and Poisson structures under different conditions.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
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 Mechanical Systems in a Dirac Setting: a Proposal
Authors:
Matías I. Caruso,
Javier Fernández,
Cora Tori,
Marcela Zuccalli
Abstract:
In these notes, we present an alternative version of discrete Dirac mechanics using Dirac structures. We first establish a notion of 'continuous Dirac system' and then propose a definition of discrete Dirac system, proving that it is possible to recover discrete Lagrangian and Hamiltonian systems as particular cases. We also note that this approach allows for kinematic as well as variational const…
▽ More
In these notes, we present an alternative version of discrete Dirac mechanics using Dirac structures. We first establish a notion of 'continuous Dirac system' and then propose a definition of discrete Dirac system, proving that it is possible to recover discrete Lagrangian and Hamiltonian systems as particular cases. We also note that this approach allows for kinematic as well as variational constraints.
△ Less
Submitted 10 March, 2022;
originally announced March 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.
-
Lagrangian reduction of nonholonomic discrete mechanical systems by stages
Authors:
Javier Fernandez,
Cora Tori,
Marcela Zuccalli
Abstract:
In this work we introduce a category $LDP_d$ of discrete-time dynamical systems, that we call discrete Lagrange--D'Alembert--Poincaré systems, and study some of its elementary properties. Examples of objects of $LDP_d$ are nonholonomic discrete mechanical systems as well as their lagrangian reductions and, also, discrete Lagrange-Poincaré systems. We also introduce a notion of symmetry group for o…
▽ More
In this work we introduce a category $LDP_d$ of discrete-time dynamical systems, that we call discrete Lagrange--D'Alembert--Poincaré systems, and study some of its elementary properties. Examples of objects of $LDP_d$ are nonholonomic discrete mechanical systems as well as their lagrangian reductions and, also, discrete Lagrange-Poincaré systems. We also introduce a notion of symmetry group for objects of $LDP_d$ and a process of reduction when symmetries are present. This reduction process extends the reduction process of discrete Lagrange--Poincaré systems as well as the one defined for nonholonomic discrete mechanical systems. In addition, we prove that, under some conditions, the two-stage reduction process (first by a closed and normal subgroup of the symmetry group and, then, by the residual symmetry group) produces a system that is isomorphic in $LDP_d$ to the system obtained by a one-stage reduction by the full symmetry group.
△ Less
Submitted 20 September, 2020;
originally announced September 2020.
-
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.
-
Explicit equations from orbit reduction: one and two stages
Authors:
Viviana Alejandra Díaz,
Marcela Zuccalli
Abstract:
It is known that orbit reduction can be performed in one or two stages and it has been proven that the two processes are symplectically equivalent. In the context of orbit reduction by one stage we shall write an expression for the reduced two-form in the general case and obtain the equations of motion derived from this theory. Then we shall develop the same process in the case in which the symmet…
▽ More
It is known that orbit reduction can be performed in one or two stages and it has been proven that the two processes are symplectically equivalent. In the context of orbit reduction by one stage we shall write an expression for the reduced two-form in the general case and obtain the equations of motion derived from this theory. Then we shall develop the same process in the case in which the symmetry group has a normal subgroup to get the reduced symplectic form by two stages and the consequent orbit reduced equations. In both cases we shall illustrate the method with the example of a rigid body with rotors and compare the obtained equations with the ones given by other authors in different frameworks.
△ Less
Submitted 3 May, 2019; v1 submitted 11 June, 2018;
originally announced June 2018.
-
Asymptotic Stabilizability of Underactuated Hamiltonian Systems With Two Degrees of Freedom
Authors:
Sergio Grillo,
Leandro Salomone,
Marcela Zuccalli
Abstract:
For an underactuated (simple) Hamiltonian system with two degrees of freedom and one degree of underactuation, a rather general condition that ensures its stabilizability, by means of the existence of a (simple) Lyapunov function, was found in a recent paper by D.E. Chang within the context of the energy shaping method. Also, in the same paper, some additional assumptions were presented in order t…
▽ More
For an underactuated (simple) Hamiltonian system with two degrees of freedom and one degree of underactuation, a rather general condition that ensures its stabilizability, by means of the existence of a (simple) Lyapunov function, was found in a recent paper by D.E. Chang within the context of the energy shaping method. Also, in the same paper, some additional assumptions were presented in order to ensure also asymptotic stabilizability. In this paper we extend these results by showing that above mentioned condition is not only sufficient, but also a necessary one. And, more importantly, we show that no additional assumption is needed to ensure asymptotic stabilizability.
△ Less
Submitted 25 April, 2019; v1 submitted 28 April, 2016;
originally announced April 2016.
-
On the relationship between the energy shaping and the Lyapunov constraint based methods
Authors:
Sergio Grillo,
Leandro Salomone,
Marcela Zuccalli
Abstract:
In this paper, we make a review of the controlled Hamiltonians (CH) method and its related matching conditions, focusing on an improved version recently developed by D.E. Chang. Also, we review the general ideas around the Lyapunov constraint based (LCB) method, whose related partial differential equations (PDEs) were originally studied for underactuated systems with only one actuator, and then we…
▽ More
In this paper, we make a review of the controlled Hamiltonians (CH) method and its related matching conditions, focusing on an improved version recently developed by D.E. Chang. Also, we review the general ideas around the Lyapunov constraint based (LCB) method, whose related partial differential equations (PDEs) were originally studied for underactuated systems with only one actuator, and then we study its PDEs for an arbitrary number of actuators. We analyze and compare these methods within the framework of Differential Geometry, and from a purely theoretical point of view. We show, in the context of underactuated systems defined by simple Hamiltonian functions, that the LCB method and the Chang's version of the CH method are equivalent stabilization methods (i.e. they give rise to the same set of control laws). In other words, we show that the Chang's improvement of the energy shaping method is precisely the LCB method. As a by-product, coordinate-free and connection-free expressions of Chang's matching conditions are obtained.
△ Less
Submitted 2 December, 2016; v1 submitted 15 January, 2016;
originally announced January 2016.
-
Lagrangian reduction of discrete mechanical systems by stages
Authors:
Javier Fernandez,
Cora Tori,
Marcela Zuccalli
Abstract:
In this work we introduce a category of discrete Lagrange--Poincare systems LP_d and study some of its properties. In particular, we show that the discrete mechanical systems and the discrete mechanical systems obtained by the Lagrangian reduction of symmetric discrete mechanical systems are objects in LP_d. We introduce a notion of symmetry groups for objects of LP_d and introduce a reduction pro…
▽ More
In this work we introduce a category of discrete Lagrange--Poincare systems LP_d and study some of its properties. In particular, we show that the discrete mechanical systems and the discrete mechanical systems obtained by the Lagrangian reduction of symmetric discrete mechanical systems are objects in LP_d. We introduce a notion of symmetry groups for objects of LP_d and introduce a reduction procedure that is closed in the category LP_d. Furthermore, under some conditions, we show that the reduction in two steps (first by a closed normal subgroup of the symmetry group and then by the residual symmetry group) is isomorphic in LP_d to the reduction by the full symmetry group.
△ Less
Submitted 20 November, 2015;
originally announced November 2015.
-
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.
-
Noncentral extensions as anomalies in classical dynamical systems
Authors:
Jorge E. Solomin,
Marcela Zuccalli
Abstract:
A two cocycle is associated to any action of a Lie group on a symplectic manifold. This allows to enlarge the concept of anomaly in classical dynamical systems considered by F. Toppan [in J. Nonlinear Math. Phys. 8, no.3 (2001) 518-533] so as to encompass some extensions of Lie algebras related to noncanonical actions.
A two cocycle is associated to any action of a Lie group on a symplectic manifold. This allows to enlarge the concept of anomaly in classical dynamical systems considered by F. Toppan [in J. Nonlinear Math. Phys. 8, no.3 (2001) 518-533] so as to encompass some extensions of Lie algebras related to noncanonical actions.
△ Less
Submitted 5 September, 2003;
originally announced September 2003.