-
Nonholonomic momentum map reduction and a Chaplygin-type foliation
Authors:
Paula Balseiro,
Danilo Machado Tereza
Abstract:
This paper presents a set-up for momentum map reduction of nonholonomic systems with symmetries, extending previous constructions in [3,25], based on the existence of certain conserved quantities and making essential use of the nonholonomic momentum bundle map of [10]. We show that the reductions of the momentum level sets carry an almost symplectic form codifying the reduced dynamics. These reduc…
▽ More
This paper presents a set-up for momentum map reduction of nonholonomic systems with symmetries, extending previous constructions in [3,25], based on the existence of certain conserved quantities and making essential use of the nonholonomic momentum bundle map of [10]. We show that the reductions of the momentum level sets carry an almost symplectic form codifying the reduced dynamics. These reduced manifolds are the leaves of the foliation associated with an almost Poisson bracket obtained by a (dynamically compatible) gauge transformation of the nonholonomic bracket. We show that each leaf is a "Chaplygin-type leaf", in the sense that it is isomorphic to a cotangent bundle with the canonical symplectic form plus a "magnetic term".
△ Less
Submitted 30 September, 2024; v1 submitted 9 September, 2024;
originally announced September 2024.
-
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.
-
First Integrals and symmetries of nonholonomic systems
Authors:
Paula Balseiro,
Nicola Sansonetto
Abstract:
In nonholonomic mechanics, the presence of constraints in the velocities breaks the well-under\-stood link between symmetries and first integrals of holonomic systems, expressed in Noether's Theorem. However there is a known special class of first integrals of nonholonomic systems generated by vector fields tangent to the group orbits, called {\it horizontal gauge momenta}, that suggest that some…
▽ More
In nonholonomic mechanics, the presence of constraints in the velocities breaks the well-under\-stood link between symmetries and first integrals of holonomic systems, expressed in Noether's Theorem. However there is a known special class of first integrals of nonholonomic systems generated by vector fields tangent to the group orbits, called {\it horizontal gauge momenta}, that suggest that some version of this link should still hold. In this paper we prove that, under certain conditions on the symmetry Lie group, the (nonholonomic) momentum map is conserved along the nonholonomic dynamics, thus extending Noether Theorem to the nonholonomic framework. Our analysis leads to a constructive method, with fundamental consequences to the integrability of some nonholonomic systems as well as their hamiltonization. We apply our results to three paradigmatic examples: the snakeboard, a solid of revolution rolling without sliding on a plane and a heavy homogeneous ball that rolls without sliding inside a convex surface of revolution. In particular, for the snakeboard we show the existence of a new horizontal gauge momentum that reveals new aspects of its integrability.
△ Less
Submitted 10 February, 2022; v1 submitted 4 January, 2021;
originally announced January 2021.
-
Conserved quantities and Hamiltonization of nonholonomic systems
Authors:
Paula Balseiro,
Luis P. Yapu
Abstract:
This paper studies hamiltonization of nonholonomic systems using geometric tools. By making use of symmetries and suitable first integrals of the system, we explicitly define a global 2-form for which the gauge transformed nonholonomic bracket gives rise to a new bracket on the reduced space codifying the nonholonomic dynamics and carrying an almost symplectic foliation (determined by the common l…
▽ More
This paper studies hamiltonization of nonholonomic systems using geometric tools. By making use of symmetries and suitable first integrals of the system, we explicitly define a global 2-form for which the gauge transformed nonholonomic bracket gives rise to a new bracket on the reduced space codifying the nonholonomic dynamics and carrying an almost symplectic foliation (determined by the common level sets of the first integrals). In appropriate coordinates, this 2-form is shown to agree with the one previously introduced locally in [34]. We use our coordinate-free viewpoint to study various geometric features of the reduced brackets. We apply our formulas to obtain a new geometric proof of the hamiltonization of a homogeneous ball rolling without sliding in the interior side of a convex surface of revolution using our formulas.
△ Less
Submitted 30 March, 2019;
originally announced April 2019.
-
About simple variational splines from the Hamiltonian viewpoint
Authors:
Paula Balseiro,
Alejandro Cabrera,
Teresinha J. Stuchi,
Jair Koiller
Abstract:
In this paper, we study simple splines on a Riemannian manifold $Q$ from the point of view of the Pontryagin maximum principle (PMP) in optimal control theory. The control problem consists in finding smooth curves matching two given tangent vectors with the control being the curve's acceleration, while minimizing a given cost functional. We focus on cubic splines (quadratic cost function) and on t…
▽ More
In this paper, we study simple splines on a Riemannian manifold $Q$ from the point of view of the Pontryagin maximum principle (PMP) in optimal control theory. The control problem consists in finding smooth curves matching two given tangent vectors with the control being the curve's acceleration, while minimizing a given cost functional. We focus on cubic splines (quadratic cost function) and on time-minimal splines (constant cost function) under bounded acceleration. We present a general strategy to solve for the optimal hamiltonian within the PMP framework based on splitting the variables by means of a linear connection. We write down the corresponding hamiltonian equations in intrinsic form and study the corresponding hamiltonian dynamics in the case $Q$ is the $2$-sphere. We also elaborate on possible applications, including landmark cometrics in computational anatomy.
△ Less
Submitted 7 November, 2017;
originally announced November 2017.
-
Hamiltonization of solids of revolution through reduction
Authors:
Paula Balseiro
Abstract:
In this paper we study the relation between conserved quantities of nonholonomic systems and the hamiltonization problem employing the geometric methods of [1,3]. We illustrate the theory with classical examples describing the dynamics of solids of revolution rolling without sliding on a plane. In these cases, using the existence of two conserved quantities we obtain, by means of 'gauge transforma…
▽ More
In this paper we study the relation between conserved quantities of nonholonomic systems and the hamiltonization problem employing the geometric methods of [1,3]. We illustrate the theory with classical examples describing the dynamics of solids of revolution rolling without sliding on a plane. In these cases, using the existence of two conserved quantities we obtain, by means of 'gauge transformations' and symmetry reduction, genuine Poisson brackets describing the reduced dynamics.
△ Less
Submitted 4 February, 2017; v1 submitted 19 October, 2016;
originally announced October 2016.
-
A Geometric Characterization of Certain First Integrals for Nonholonomic Systems with Symmetries
Authors:
Paula Balseiro,
Nicola Sansonetto
Abstract:
We study the existence of first integrals in nonholonomic systems with symmetry. First we define the concept of $\mathcal{M}$-cotangent lift of a vector field on a manifold $Q$ in order to unify the works [Balseiro P., Arch. Ration. Mech. Anal. 214 (2014), 453-501, arXiv:1301.1091], [Fassò F., Ramos A., Sansonetto N., Regul. Chaotic Dyn. 12 (2007), 579-588], and [Fassò F., Giacobbe A., Sansonetto…
▽ More
We study the existence of first integrals in nonholonomic systems with symmetry. First we define the concept of $\mathcal{M}$-cotangent lift of a vector field on a manifold $Q$ in order to unify the works [Balseiro P., Arch. Ration. Mech. Anal. 214 (2014), 453-501, arXiv:1301.1091], [Fassò F., Ramos A., Sansonetto N., Regul. Chaotic Dyn. 12 (2007), 579-588], and [Fassò F., Giacobbe A., Sansonetto N., Rep. Math. Phys. 62 (2008), 345-367]. Second, we study gauge symmetries and gauge momenta, in the cases in which there are the symmetries that satisfy the so-called vertical symmetry condition. Under such condition we can predict the number of linearly independent first integrals (that are gauge momenta). We illustrate the theory with two examples.
△ Less
Submitted 21 February, 2016; v1 submitted 28 October, 2015;
originally announced October 2015.
-
Reduction of nonholonomic systems in two stages and Hamiltonization
Authors:
Paula Balseiro,
Oscar E. Fernandez
Abstract:
In this paper we study the reduction of a nonholonomic system by a group of symmetries in two steps. Using the so-called 'vertical-symmetry' condition, we first perform a 'compression' of the nonholonomic system leading to an almost symplectic manifold. Second, we perform an (almost) symplectic reduction, relying on the existence of a momentum map. In this case, we verify that the resulting (almos…
▽ More
In this paper we study the reduction of a nonholonomic system by a group of symmetries in two steps. Using the so-called 'vertical-symmetry' condition, we first perform a 'compression' of the nonholonomic system leading to an almost symplectic manifold. Second, we perform an (almost) symplectic reduction, relying on the existence of a momentum map. In this case, we verify that the resulting (almost) symplectic reduced spaces are the leaves of the characteristic foliation of the reduced nonholonomic bracket. On each leaf we study the (Lagrangian) equations of motion, obtaining a nonholonomic version of the Lagrange-Routh equations, and we analyze the existence of a conformal factor for the reduced bracket in terms of the existence of conformal factors for the almost symplectic leaves. We also relate the conditions for the existence of a momentum map for the compressed system with gauge transformations by 2-forms. The results are illustrated in three different examples.
△ Less
Submitted 21 September, 2015; v1 submitted 1 September, 2014;
originally announced September 2014.
-
A global version of the Koon-Marsden Jacobiator formula
Authors:
Paula Balseiro
Abstract:
In this paper we study the Jacobiator (the cyclic sum that vanishes when the Jacobi identity holds) of the almost Poisson brackets describing nonholonomic systems. We revisit the local formula for the Jacobiator established by Koon and Marsden in \cite{MarsdenKoon} using suitable local coordinates and explain how it is related to the global formula obtained in \cite{paula}, based on the choice of…
▽ More
In this paper we study the Jacobiator (the cyclic sum that vanishes when the Jacobi identity holds) of the almost Poisson brackets describing nonholonomic systems. We revisit the local formula for the Jacobiator established by Koon and Marsden in \cite{MarsdenKoon} using suitable local coordinates and explain how it is related to the global formula obtained in \cite{paula}, based on the choice of a complement to the constraint distribution. We use an example to illustrate the benefits of the coordinate-free viewpoint.
△ Less
Submitted 1 September, 2014;
originally announced September 2014.
-
The Jacobiator of nonholonomic systems and the geometry of reduced nonholonomic brackets
Authors:
Paula Balseiro
Abstract:
In this paper, we consider the hamiltonian formulation of nonholonomic systems with symmetries and study several aspects of the geometry of their reduced almost Poisson brackets, including the integrability of their characteristic distributions. Our starting point is establishing global formulas for the nonholonomic Jacobiators, before and after reduction, which are used to clarify the relationshi…
▽ More
In this paper, we consider the hamiltonian formulation of nonholonomic systems with symmetries and study several aspects of the geometry of their reduced almost Poisson brackets, including the integrability of their characteristic distributions. Our starting point is establishing global formulas for the nonholonomic Jacobiators, before and after reduction, which are used to clarify the relationship between reduced nonholonomic brackets and twisted Poisson structures. For certain types of symmetries (generalizing the Chaplygin case), we obtain genuine Poisson structures on the reduced spaces and analyze situations in which the reduced nonholonomic brackets arise by applying a gauge transformation to these Poisson structures. We illustrate our results with mechanical examples, and in particular show how to recover several well-known facts in the special case of Chaplygin symmetries.
△ Less
Submitted 1 September, 2014; v1 submitted 6 January, 2013;
originally announced January 2013.
-
Gauge Transformations, Twisted Poisson Brackets and Hamiltonization of Nonholonomic Systems
Authors:
Paula Balseiro,
Luis García-Naranjo
Abstract:
In this paper we study the problem of Hamiltonization of nonholonomic systems from a geometric point of view. We use gauge transformations by 2-forms (in the sense of Severa and Weinstein [29]) to construct different almost Poisson structures describing the same nonholonomic system. In the presence of symmetries, we observe that these almost Poisson structures, although gauge related, may have fun…
▽ More
In this paper we study the problem of Hamiltonization of nonholonomic systems from a geometric point of view. We use gauge transformations by 2-forms (in the sense of Severa and Weinstein [29]) to construct different almost Poisson structures describing the same nonholonomic system. In the presence of symmetries, we observe that these almost Poisson structures, although gauge related, may have fundamentally different properties after reduction, and that brackets that Hamiltonize the problem may be found within this family. We illustrate this framework with the example of rigid bodies with generalized rolling constraints, including the Chaplygin sphere rolling problem. We also see how twisted Poisson brackets appear naturally in nonholonomic mechanics through these examples.
△ Less
Submitted 22 August, 2011; v1 submitted 5 April, 2011;
originally announced April 2011.
-
A unified framework for mechanics. Hamilton-Jacobi equation and applications
Authors:
P. Balseiro,
J. C. Marrero,
D. Martin de Diego,
E. Padron
Abstract:
In this paper, we construct Hamilton-Jacobi equations for a great variety of mechanical systems (nonholonomic systems subjected to linear or affine constraints, dissipative systems subjected to external forces, time-dependent mechanical systems...). We recover all these, in principle, different cases using a unified framework based on skew-symmetric algebroids with a distinguished 1-cocycle. Sev…
▽ More
In this paper, we construct Hamilton-Jacobi equations for a great variety of mechanical systems (nonholonomic systems subjected to linear or affine constraints, dissipative systems subjected to external forces, time-dependent mechanical systems...). We recover all these, in principle, different cases using a unified framework based on skew-symmetric algebroids with a distinguished 1-cocycle. Several examples illustrate the theory.
△ Less
Submitted 4 January, 2010;
originally announced January 2010.
-
The ubiquity of the symplectic hamiltonian equations in mechanics
Authors:
P. Balseiro,
M. de Leon,
J. C. Marrero,
D. Martin de Diego
Abstract:
In this paper, we derive a "hamiltonian formalism" for a wide class of mechanical systems, including classical hamiltonian systems, nonholonomic systems, some classes of servomechanism... This construction strongly relies in the geometry characterizing the different systems. In particular, we obtain that the class of the so-called algebroids covers a great variety of mechanical systems. Finally,…
▽ More
In this paper, we derive a "hamiltonian formalism" for a wide class of mechanical systems, including classical hamiltonian systems, nonholonomic systems, some classes of servomechanism... This construction strongly relies in the geometry characterizing the different systems. In particular, we obtain that the class of the so-called algebroids covers a great variety of mechanical systems. Finally, as the main result, a hamiltonian symplectic realization of systems defined on algebroids is obtained.
△ Less
Submitted 26 November, 2008;
originally announced November 2008.
