Showing 1–50 of 68 results for author: Marrero, J C

Retraction maps: A seed of geometric integrators. Part II: Symmetry and reduction

Authors: María Barbero Liñán, Juan Carlos Marrero, David Martín de Diego

Abstract: In this paper we use retraction and discretization maps (see [Barbero Liñán and Martín de Diego, 2022]) as a tool for deriving in a systematic way numerical integrators preserving geometric structures (such as symplecticity or Lie-Poisson structure), as well as methods that preserve symmetry and the associated discrete momentum map. The classical notion of a retraction map leads to the notion of d… ▽ More In this paper we use retraction and discretization maps (see [Barbero Liñán and Martín de Diego, 2022]) as a tool for deriving in a systematic way numerical integrators preserving geometric structures (such as symplecticity or Lie-Poisson structure), as well as methods that preserve symmetry and the associated discrete momentum map. The classical notion of a retraction map leads to the notion of discretization map extended here to the Lie algebroid of a Lie groupoid so that the configuration manifold is discretized, instead of the equations of motion. As a consequence, geometric integrators are obtained preserving the Lie-Poisson structure of the corresponding reduced system. △ Less

Submitted 19 February, 2025; originally announced February 2025.

MSC Class: 37M15; 65P10; 53D17; 22A22; 70H33

Mechanical presymplectic structures and Marsden-Weinstein reduction of time-dependent Hamiltonian systems

Authors: I. Gutierrez-Sagredo, D. Iglesias Ponte, J. C. Marrero, E. Padrón

Abstract: In 1986, Albert proposed a Marsden-Weinstein reduction process for cosymplectic structures. In this paper, we present the limitations of this theory in the application of the reduction of symmetric time-dependent Hamiltonian systems. As a consequence, we conclude that cosymplectic geometry is not appropriate for this reduction. Motived for this fact, we replace cosymplectic structures by more gene… ▽ More In 1986, Albert proposed a Marsden-Weinstein reduction process for cosymplectic structures. In this paper, we present the limitations of this theory in the application of the reduction of symmetric time-dependent Hamiltonian systems. As a consequence, we conclude that cosymplectic geometry is not appropriate for this reduction. Motived for this fact, we replace cosymplectic structures by more general structures: mechanical presymplectic structures. Then, we develop Marsden-Weinstein reduction for this kind of structures and we apply this theory to interesting examples of time-dependent Hamiltonian systems for which Albert's reduction method doesn't work. △ Less

Submitted 26 March, 2025; v1 submitted 18 November, 2024; originally announced November 2024.

Comments: 24 pages, 2 figures; References added

MSC Class: 53D20; 70G45; 70G65; 70H05; 70H33

Mechanical Hamiltonization of unreduced $φ$-simple Chaplygin systems

Authors: Alexandre Anahory Simoes, Juan Carlos Marrero, David Martín de Diego

Abstract: In this paper, we prove that the trajectories of unreduced $φ$-simple Chaplygin kinetic systems are reparametrizations of horizontal geodesics with respect to a modified Riemannian metric. Furthermore, our proof is constructive and these Riemannian metrics, which are not unique, are obtained explicitly in interesting examples. We also extend these results to $φ$-simple Chaplygin mechanical systems… ▽ More In this paper, we prove that the trajectories of unreduced $φ$-simple Chaplygin kinetic systems are reparametrizations of horizontal geodesics with respect to a modified Riemannian metric. Furthermore, our proof is constructive and these Riemannian metrics, which are not unique, are obtained explicitly in interesting examples. We also extend these results to $φ$-simple Chaplygin mechanical systems (not necessarily kinetic). △ Less

Submitted 31 October, 2024; v1 submitted 27 September, 2024; originally announced September 2024.

MSC Class: 37J60; 53C22; 70F25; 70G45

Unimodularity and invariant volume forms for Hamiltonian dynamics on coisotropic Poisson homogeneous spaces

Authors: Ivan Gutierrez-Sagredo, David Iglesias Ponte, Juan Carlos Marrero, Edith Padrón

Abstract: In this paper, we introduce the notion of a multiplicative unimodularity for a coisotropic Poisson homogeneous space. Then, we discuss the unimodularity and the multiplicative unimodularity for these spaces and the existence of an invariant volume form for explicit Hamiltonian systems on such spaces. Several interesting examples illustrating the theoretical results are also presented. In this paper, we introduce the notion of a multiplicative unimodularity for a coisotropic Poisson homogeneous space. Then, we discuss the unimodularity and the multiplicative unimodularity for these spaces and the existence of an invariant volume form for explicit Hamiltonian systems on such spaces. Several interesting examples illustrating the theoretical results are also presented. △ Less

Submitted 18 November, 2024; v1 submitted 26 August, 2024; originally announced August 2024.

Comments: 36 pages

MSC Class: 37C40; 37J39; 53D17; 70G45; 70H05

From retraction maps to symplectic-momentum numerical integrators

Authors: María Barbero-Liñán, Juan Carlos Marrero, David Martín de Diego

Abstract: Retraction maps have been generalized to discretization maps in (Barbero Liñán and and Martín de Diego, 2022). Discretization maps are used to systematically derive numerical integrators that preserve the symplectic structure, as well as the discrete momemtum map under the assumption of symmetric preservation for the discretization map. The procedure described here gives a geometrical construction… ▽ More Retraction maps have been generalized to discretization maps in (Barbero Liñán and and Martín de Diego, 2022). Discretization maps are used to systematically derive numerical integrators that preserve the symplectic structure, as well as the discrete momemtum map under the assumption of symmetric preservation for the discretization map. The procedure described here gives a geometrical construction that can be easily adapted to discretize dynamics on more general structures and open the door to reduction processes. △ Less

Submitted 26 January, 2024; originally announced January 2024.

Comments: 4 pages

A new perspective on nonholonomic brackets and Hamilton-Jacobi theory

Authors: Manuel de León, Manuel Lainz, Asier López-Gordón, Juan Carlos Marrero

Abstract: The nonholonomic dynamics can be described by the so-called nonholonomic bracket on the constrained submanifold, which is a non-integrable modification of the Poisson bracket of the ambient space, in this case, of the canonical bracket on the cotangent bundle of the configuration manifold. On the other hand, another bracket, also called nonholonomic bracket, was defined using the description of th… ▽ More The nonholonomic dynamics can be described by the so-called nonholonomic bracket on the constrained submanifold, which is a non-integrable modification of the Poisson bracket of the ambient space, in this case, of the canonical bracket on the cotangent bundle of the configuration manifold. On the other hand, another bracket, also called nonholonomic bracket, was defined using the description of the problem in terms of skew-symmetric algebroids. Recently, reviewing two older papers by R. J. Eden, we have defined a new bracket which we call Eden bracket. In the present paper, we prove that these three brackets coincide. Moreover, the description of the nonholonomic bracket à la Eden has allowed us to make important advances in the study of Hamilton-Jacobi theory and the quantization of nonholonomic systems. △ Less

Submitted 1 February, 2024; v1 submitted 12 July, 2023; originally announced July 2023.

Comments: 36 pages, no figures. Final version appearing the journal

MSC Class: primary: 37J60; 70F25; 70H20; secondary: 53D17; 53Z05; 70G45

Journal ref: J. Geom. Phys. 198, 105116, (Mar. 2024)

Kirillov structures and reduction of Hamiltonian systems by scaling and standard symmetries

Authors: A. Bravetti, S. Grillo, J. C. Marrero, E. Padron

Abstract: In this paper, we discuss the reduction of symplectic Hamiltonian systems by scaling and standard symmetries which commute. We prove that such a reduction process produces a so-called Kirillov Hamiltonian system. Moreover, we show that if we reduce first by the scaling symmetries and then by the standard ones or in the opposite order, we obtain equivalent Kirillov Hamiltonian systems. In the parti… ▽ More In this paper, we discuss the reduction of symplectic Hamiltonian systems by scaling and standard symmetries which commute. We prove that such a reduction process produces a so-called Kirillov Hamiltonian system. Moreover, we show that if we reduce first by the scaling symmetries and then by the standard ones or in the opposite order, we obtain equivalent Kirillov Hamiltonian systems. In the particular case when the configuration space of the symplectic Hamiltonian system is a Lie group G, which coincides with the symmetry group, the reduced structure is an interesting Kirillov version of the Lie-Poisson structure on the dual space of the Lie algebra of G. We also discuss a reconstruction process for symplectic Hamiltonian systems which admit a scaling symmetry. All the previous results are illustrated in detail with some interesting examples. △ Less

Submitted 19 October, 2023; v1 submitted 9 July, 2023; originally announced July 2023.

Reduction by symmetries of contact mechanical systems on Lie groups

Authors: Alexandre Anahory Simoes, Leonardo Colombo, Manuel de León, Juan Carlos Marrero, David Martín de Diego, Edith Padrón

Abstract: We study the dynamics of contact mechanical systems on Lie groups that are invariant under a Lie group action. Analogously to standard mechanical systems on Lie groups, existing symmetries allow for reducing the number of equations. Thus, we obtain Euler-Poincaré-Herglotz equations on the extended reduced phase space $\mathfrak{g}\times \R$ associated with the extended phase space $TG\times \R$, w… ▽ More We study the dynamics of contact mechanical systems on Lie groups that are invariant under a Lie group action. Analogously to standard mechanical systems on Lie groups, existing symmetries allow for reducing the number of equations. Thus, we obtain Euler-Poincaré-Herglotz equations on the extended reduced phase space $\mathfrak{g}\times \R$ associated with the extended phase space $TG\times \R$, where the configuration manifold $G$ is a Lie group and $\mathfrak{g}$ its Lie algebra. Furthermore, we obtain the Hamiltonian counterpart of these equations by studying the underlying Jacobi structure. Finally, we extend the reduction process to the case of symmetry-breaking systems which are invariant under a Lie subgroup of symmetries. △ Less

Submitted 13 June, 2023; v1 submitted 12 June, 2023; originally announced June 2023.

Comments: 38 pages

Nonholonomic brackets: Eden revisited

Authors: Manuel de León, Manuel Lainz, Asier López-Gordón, Juan Carlos Marrero

Abstract: The nonholonomic dynamics can be described by the so-called nonholonomic bracket in the constrained submanifold, which is a non-integrable modification of the Poisson bracket of the ambient space, in this case, of the canonical bracket in the cotangent bundle of the configuration manifold. This bracket was defined by Cantrijn et al. and Ibort et al., although there was already some particular and… ▽ More The nonholonomic dynamics can be described by the so-called nonholonomic bracket in the constrained submanifold, which is a non-integrable modification of the Poisson bracket of the ambient space, in this case, of the canonical bracket in the cotangent bundle of the configuration manifold. This bracket was defined by Cantrijn et al. and Ibort et al., although there was already some particular and less direct definition. On the other hand, another bracket, also called noholonomic, was defined using the description of the problem in terms of almost Lie algebroids. Recently, reviewing two older papers by R. J. Eden, we have defined a new bracket which we call Eden bracket. In the present paper, we prove that these three brackets coincide. Moreover, the description of the nonholonomic bracket à la Eden has allowed us to make important advances in the study of Hamilton-Jacobi theory and the quantization of nonholonomic systems. △ Less

Submitted 6 March, 2023; originally announced March 2023.

Comments: 8 pages, preprint submitted to a conference

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

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

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

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

Unimodularity and invariant volume forms for Hamiltonian dynamics on Poisson-Lie groups

Authors: I. Gutierrez-Sagredo, D. Iglesias Ponte, J. C. Marrero, E. Padrón, Z. Ravanpak

Abstract: In this paper, we discuss several relations between the existence of invariant volume forms for Hamiltonian systems on Poisson-Lie groups and the unimodularity of the Poisson-Lie structure. In particular, we prove that Hamiltonian vector fields on a Lie group endowed with a unimodular Poisson-Lie structure preserve a multiple of any left-invariant volume on the group. Conversely, we also prove tha… ▽ More In this paper, we discuss several relations between the existence of invariant volume forms for Hamiltonian systems on Poisson-Lie groups and the unimodularity of the Poisson-Lie structure. In particular, we prove that Hamiltonian vector fields on a Lie group endowed with a unimodular Poisson-Lie structure preserve a multiple of any left-invariant volume on the group. Conversely, we also prove that if there exists a Hamiltonian function such that the identity element of the Lie group is a nondegenerate singularity and the associated Hamiltonian vector field preserves a volume form, then the Poisson-Lie structure is necessarily unimodular. Furthermore, we illustrate our theory with different interesting examples, both on semisimple and unimodular Poisson-Lie groups. △ Less

Submitted 10 January, 2023; v1 submitted 12 July, 2022; originally announced July 2022.

Comments: 17 pages

MSC Class: 37C40; 37J39; 53D17; 70G45; 70H05

Mechanical Hamiltonian systems with respect to linear Poisson structures and Jacobi-Reeb dynamics

Authors: D. Iglesias Ponte, J. C. Marrero, E. Padrón

Abstract: In this paper, we present a relation between Jacobi-Reeb dynamics and the dynamics associated with a mechanical Hamiltonian system with respect to a linear Poisson structure on a vector bundle. For this purpose, we will use the so-called Jacobi bundle metrics induced by the mechanical Hamiltonian system. These constructions extend classical results on the relation between standard mechanical Hamil… ▽ More In this paper, we present a relation between Jacobi-Reeb dynamics and the dynamics associated with a mechanical Hamiltonian system with respect to a linear Poisson structure on a vector bundle. For this purpose, we will use the so-called Jacobi bundle metrics induced by the mechanical Hamiltonian system. These constructions extend classical results on the relation between standard mechanical Hamiltonian systems on cotangent bundles and Reeb dynamics. △ Less

Submitted 21 December, 2022; v1 submitted 28 April, 2022; originally announced April 2022.

Comments: 18 pages, changed title

Nonholonomic Newmark method

Authors: Alexandre Anahory Simões, Sebastián J. Ferraro, Juan Carlos Marrero, David Martín de Diego

Abstract: Using the nonholonomic exponential map, we generalize the well-known family of Newmark methods for nonholonomic systems. We give numerical examples including a test problem where the structure of reversible integrability responsible for good energy behaviour as described in [16] is lost. We observe that the composition of two Newmark methods is able to produce good energy behaviour on this test pr… ▽ More Using the nonholonomic exponential map, we generalize the well-known family of Newmark methods for nonholonomic systems. We give numerical examples including a test problem where the structure of reversible integrability responsible for good energy behaviour as described in [16] is lost. We observe that the composition of two Newmark methods is able to produce good energy behaviour on this test problem. △ Less

Submitted 31 January, 2022; originally announced January 2022.

Comments: 20 pages, 5 figures

MSC Class: 65L05 (Primary); 70F25; 53Z05 (Secondary)

Contact Dynamics versus Legendrian and Lagrangian Submanifolds

Authors: Oğul Esen, Manuel Lainz Valcázar, Manuel de León, Juan Carlos Marrero

Abstract: We are proposing Tulczyjew's triple for contact dynamics. The most important ingredients of the triple, namely symplectic diffeomorphisms, special symplectic manifolds, and Morse families, are generalized to the contact framework. These geometries permit us to determine so-called generating family (obtained by merging a special contact manifold and a Morse family) for a Legendrian submanifold. Con… ▽ More We are proposing Tulczyjew's triple for contact dynamics. The most important ingredients of the triple, namely symplectic diffeomorphisms, special symplectic manifolds, and Morse families, are generalized to the contact framework. These geometries permit us to determine so-called generating family (obtained by merging a special contact manifold and a Morse family) for a Legendrian submanifold. Contact Hamiltonian and Lagrangian Dynamics are recast as Legendrian submanifolds of the tangent contact manifold. In this picture, the Legendre transformation is determined to be a passage between two different generators of the same Legendrian submanifold. A variant of contact Tulczyjew's triple is constructed for evolution contact dynamics. △ Less

Submitted 14 August, 2021; originally announced August 2021.

MSC Class: 53D22; 70G45

Extended Hamilton-Jacobi Theory, symmetries and integrability by quadratures

Authors: Sergio Grillo, Juan Carlos Marrero, Edith Padrón

Abstract: In this paper, we study the extended Hamilton-Jacobi Theory in the context of dynamical systems with symmetries. Given an action of a Lie group $G$ on a manifold $M$ and a $G$-invariant vector field $X$ on $M$, we construct complete solutions of the Hamilton-Jacobi equation (HJE) related to $X$ (and a given fibration on $M$). We do that along each open subset $U\subseteq M$ such that… ▽ More In this paper, we study the extended Hamilton-Jacobi Theory in the context of dynamical systems with symmetries. Given an action of a Lie group $G$ on a manifold $M$ and a $G$-invariant vector field $X$ on $M$, we construct complete solutions of the Hamilton-Jacobi equation (HJE) related to $X$ (and a given fibration on $M$). We do that along each open subset $U\subseteq M$ such that $π\left(U\right)$ has a manifold structure and $π_{\left|U\right.}:U\rightarrowπ\left(U\right)$, the restriction to $U$ of the canonical projection $π:M\rightarrow M/G$, is a surjective submersion. If $X_{\left|U\right.}$ is not vertical with respect to $π_{\left|U\right.}$, we show that such complete solutions solve the "reconstruction equations" related to $X_{\left|U\right.}$ and $G$, i.e., the equations that enable us to write the integral curves of $X_{\left|U\right.}$ in terms of those of its projection on $π\left(U\right)$. On the other hand, if $X_{\left|U\right.}$ is vertical, we show that such complete solutions can be used to construct (around some points of $U$) the integral curves of $X_{\left|U\right.}$ up to quadratures. To do that we give, for some elements $ξ$ of the Lie algebra $\mathfrak{g}$ of $G$, an explicit expression up to quadratures of the exponential curve $\exp\left(ξ\,t\right)$, different to that appearing in the literature for matrix Lie groups. In the case of compact and of semisimple Lie groups, we show that such expression of $\exp\left(ξ\,t\right)$ is valid for all $ξ$ inside an open dense subset of $\mathfrak{g}$. △ Less

Submitted 5 May, 2021; originally announced May 2021.

Contact bundle formulation of nonholonomic Maupertuis-Jacobi principle and a length minimizing property of nonholonomic dynamics

Authors: Alexandre Anahory Simoes, Juan Carlos Marrero, David Martín de Diego

Abstract: We prove a nonholonomic version of the classical Mauper\-tuis-Jacobi principle which transforms an autonomous mechanical nonholonomic problem, determined by a kinetic minus potential energy and a distribution, in a kinetic nonholonomic problem over a fixed level set of the Lagrangian energy. To prove this result we introduce an appropriate contact bundle structure clarifying the geometric equivale… ▽ More We prove a nonholonomic version of the classical Mauper\-tuis-Jacobi principle which transforms an autonomous mechanical nonholonomic problem, determined by a kinetic minus potential energy and a distribution, in a kinetic nonholonomic problem over a fixed level set of the Lagrangian energy. To prove this result we introduce an appropriate contact bundle structure clarifying the geometric equivalence between both problems. By using the nonholonomic Maupertuis-Jacobi principle, we prove that the regular solutions of a mechanical nonholonomic problem starting from a fixed point and in the same level set of the Lagrangian energy are reparametrizations of geodesics for a family of Riemannian metrics defined on the image of the nonholonomic exponential map. In particular, these trajectories minimize Riemannian length. △ Less

Submitted 27 April, 2021; originally announced April 2021.

Comments: 32 pages

MSC Class: 70G45; 53B20; 53C21; 37J60; 70F25

Local convexity for second order differential equations on a Lie algebroid

Authors: Juan Carlos Marrero, David Martín de Diego, Eduardo Martínez

Abstract: A theory of local convexity for a second order differential equation (SODE) on a Lie algebroid is developed. The particular case when the SODE is homogeneous quadratic is extensively discussed. A theory of local convexity for a second order differential equation (SODE) on a Lie algebroid is developed. The particular case when the SODE is homogeneous quadratic is extensively discussed. △ Less

Submitted 12 July, 2021; v1 submitted 26 March, 2021; originally announced March 2021.

Comments: 25 pages. To appear in Journal of Geometric Mechanics. arXiv admin note: substantial text overlap with arXiv:1608.01586

MSC Class: 34A26; 17B66; 22A22; 34B15

Radial kinetic nonholonomic trajectories are Riemannian geodesics!

Authors: Alexandre Anahory Simoes, Juan Carlos Marrero, David Martin de Diego

Abstract: Nonholonomic mechanics describes the motion of systems constrained by nonintegrable constraints. One of its most remarkable properties is that the derivation of the nonholonomic equations is not variational in nature. {However, in} this paper, we prove (Theorem 1.1) that for kinetic nonholonomic {systems}, the solutions starting from a fixed point $q$ are true geodesics for a family of Riemannian… ▽ More Nonholonomic mechanics describes the motion of systems constrained by nonintegrable constraints. One of its most remarkable properties is that the derivation of the nonholonomic equations is not variational in nature. {However, in} this paper, we prove (Theorem 1.1) that for kinetic nonholonomic {systems}, the solutions starting from a fixed point $q$ are true geodesics for a family of Riemannian metrics on the image submanifold ${\mathcal M}^{nh}_q$ of the nonholonomic exponential map. This implies a surprising result: the kinetic nonholonomic trajectories with starting point $q$, for sufficiently small times, minimize length in ${\mathcal M}^{nh}_q$! △ Less

Submitted 23 October, 2020; originally announced October 2020.

Comments: 30 pages

MSC Class: 70G45 (Primary); 53B20; 53C21; 37J60; 70F25 (Secondary)

Invariant measures for contact Hamiltonian systems: symplectic sandwiches with contact bread

Authors: Alessandro Bravetti, Manuel de León, Juan Carlos Marrero, Edith Padrón

Abstract: We prove that, under some natural conditions, Hamiltonian systems on a contact manifold $C$ can be split into a Reeb dynamics on an open subset of $C$ and a Liouville dynamics on a submanifold of $C$ of codimension 1. For the Reeb dynamics we find an invariant measure. Moreover, we show that, under certain completeness conditions, the existence of an invariant measure for the Liouville dynamics ca… ▽ More We prove that, under some natural conditions, Hamiltonian systems on a contact manifold $C$ can be split into a Reeb dynamics on an open subset of $C$ and a Liouville dynamics on a submanifold of $C$ of codimension 1. For the Reeb dynamics we find an invariant measure. Moreover, we show that, under certain completeness conditions, the existence of an invariant measure for the Liouville dynamics can be characterized using the notion of a symplectic sandwich with contact bread. △ Less

Submitted 22 September, 2020; v1 submitted 26 June, 2020; originally announced June 2020.

Comments: 21 pages, no figures, it matches the final version accepted in JPA

MSC Class: 37A05; 37J55; 53D10; 70G45; 70H05

Jacobi fields in nonholonomic mechanics

Authors: Alexandre Anahory Simoes, Juan Carlos Marrero, David Martin de Diego

Abstract: In this paper, we define Jacobi fields for nonholonomic mechanics using a similar characterization than in Riemannian geometry. We give explicit conditions to find Jacobi fields and finally we find the nonholonomic Jacobi equations in two equivalent ways: the first one, using an appropriate complete lift of the nonholonomic system and, in the second one, using the curvature and torsion of the asso… ▽ More In this paper, we define Jacobi fields for nonholonomic mechanics using a similar characterization than in Riemannian geometry. We give explicit conditions to find Jacobi fields and finally we find the nonholonomic Jacobi equations in two equivalent ways: the first one, using an appropriate complete lift of the nonholonomic system and, in the second one, using the curvature and torsion of the associated nonholonomic connection. △ Less

Submitted 11 August, 2020; v1 submitted 22 April, 2020; originally announced April 2020.

Comments: 64 pages

MSC Class: 70G45; 53B20; 53C21; 37J60; 70F25

Exact discrete Lagrangian mechanics for nonholonomic mechanics

Authors: Alexandre Anahory Simoes, Juan Carlos Marrero, David Martin de Diego

Abstract: We construct the exponential map associated to a nonholonomic system that allows us to define an exact discrete nonholonomic constraint submanifold. We reproduce the continuous nonholonomic flow as a discrete flow on this discrete constraint submanifold deriving an exact discrete version of the nonholonomic equations. Finally, we derive a general family of nonholonomic integrators. We construct the exponential map associated to a nonholonomic system that allows us to define an exact discrete nonholonomic constraint submanifold. We reproduce the continuous nonholonomic flow as a discrete flow on this discrete constraint submanifold deriving an exact discrete version of the nonholonomic equations. Finally, we derive a general family of nonholonomic integrators. △ Less

Submitted 3 May, 2020; v1 submitted 25 March, 2020; originally announced March 2020.

Comments: 42 pages, 6 figures

MSC Class: 34C25; 37E40; 70K40

On symplectic lifts of actions for complete Lagrangian fibrations

Authors: Juan Carlos Marrero, Edith Padrón

Abstract: In this note we discuss symplectic lifts of actions for a complete Lagrangian fibration. Firstly, we describe the symplectic cotangent lifts of a G-action on a manifold Q in terms of 1-cocycles in the cohomology of G induced by the action with values in the space of closed 1-forms on Q. After this, we consider the general case of complete Lagrangian fibrations. In this note we discuss symplectic lifts of actions for a complete Lagrangian fibration. Firstly, we describe the symplectic cotangent lifts of a G-action on a manifold Q in terms of 1-cocycles in the cohomology of G induced by the action with values in the space of closed 1-forms on Q. After this, we consider the general case of complete Lagrangian fibrations. △ Less

Submitted 12 October, 2018; originally announced October 2018.

MSC Class: 53D05; 53D12; 70G45; 70H15

Almost formality of quasi-Sasakian and Vaisman manifolds with applications to nilmanifolds

Authors: Beniamino Cappelletti-Montano, Antonio De Nicola, Juan Carlos Marrero, Ivan Yudin

Abstract: We provide models that are as close as possible to being formal for a large class of compact manifolds that admit a transversely Kaehler structure, including Vaisman and quasi-Sasakian manifolds. As an application we are able to classify the corresponding nilmanifolds. We provide models that are as close as possible to being formal for a large class of compact manifolds that admit a transversely Kaehler structure, including Vaisman and quasi-Sasakian manifolds. As an application we are able to classify the corresponding nilmanifolds. △ Less

Submitted 25 October, 2019; v1 submitted 28 December, 2017; originally announced December 2017.

Comments: 33 pages, to appear in Israel Journal of Mathematics

MSC Class: 53C25; 53C55; 53D35; 55P62

Journal ref: Israel Journal of Mathematics, 241 (2021) 37-87

On the exact discrete Lagrangian function for variational integrators: theory and applications

Authors: J. C. Marrero, D. Martín de Diego, E. Martínez

Abstract: In this paper, we will give a rigorous construction of the exact discrete Lagrangian formulation associated to a continuous Lagrangian problem. Moreover, we work in the setting of Lie groupoids and Lie algebroids which is enough general to simultaneously cover several cases of interest in discrete and continuous descriptions as, for instance, Euler-Lagrange equations, Euler-Poincaré equations, Lag… ▽ More In this paper, we will give a rigorous construction of the exact discrete Lagrangian formulation associated to a continuous Lagrangian problem. Moreover, we work in the setting of Lie groupoids and Lie algebroids which is enough general to simultaneously cover several cases of interest in discrete and continuous descriptions as, for instance, Euler-Lagrange equations, Euler-Poincaré equations, Lagrange-Poincaré equations... The construction of an exact discrete Lagrangian is of considerable interest for the analysis of the error between an exact trajectory and the discrete trajectory derived by a variational integrator. △ Less

Submitted 4 August, 2016; originally announced August 2016.

Comments: 40 pages

MSC Class: 17B66; 22A22; 70G45; 70Hxx

A splitting theorem for compact Vaisman manifolds

Authors: Giovanni Bazzoni, Juan Carlos Marrero, John Oprea

Abstract: We extend to metric compact mapping tori a splitting result for coKähler manifolds. In particular, we prove that a compact Vaisman manifold is finitely covered by the product of a Sasakian manifold and a circle. We extend to metric compact mapping tori a splitting result for coKähler manifolds. In particular, we prove that a compact Vaisman manifold is finitely covered by the product of a Sasakian manifold and a circle. △ Less

Submitted 21 March, 2016; v1 submitted 1 December, 2015; originally announced December 2015.

Comments: 9 pages. Revised version. Comments are welcome!

MSC Class: 53C25; 53C55

On locally conformal symplectic manifolds of the first kind

Authors: Giovanni Bazzoni, Juan Carlos Marrero

Abstract: We present some examples of locally conformal symplectic structures of the first kind on compact nilmanifolds which do not admit Vaisman metrics. One of these examples does not admit locally conformal Kähler metrics and all the structures come from left-invariant locally conformal symplectic structures on the corresponding nilpotent Lie groups. Under certain topological restrictions related with t… ▽ More We present some examples of locally conformal symplectic structures of the first kind on compact nilmanifolds which do not admit Vaisman metrics. One of these examples does not admit locally conformal Kähler metrics and all the structures come from left-invariant locally conformal symplectic structures on the corresponding nilpotent Lie groups. Under certain topological restrictions related with the compactness of the canonical foliation, we prove a structure theorem for locally conformal symplectic manifolds of the first kind. In the non compact case, we show that they are the product of a real line with a compact contact manifold and, in the compact case, we obtain that they are mapping tori of compact contact manifolds by strict contactomorphisms. Motivated by the aforementioned examples, we also study left-invariant locally conformal symplectic structures on Lie groups. In particular, we obtain a complete description of these structures (with non-zero Lee $1$-form) on connected simply connected nilpotent Lie groups in terms of locally conformal symplectic extensions and symplectic double extensions of symplectic nilpotent Lie groups. In order to obtain this description, we study locally conformal symplectic structures of the first kind on Lie algebras. △ Less

Submitted 21 March, 2016; v1 submitted 16 October, 2015; originally announced October 2015.

Comments: 50 pages, no figures. Contains and completes the note arXiv:1407.5510. New results on locally conformal symplectic Lie groups. Comments very welcome!

MSC Class: 22E25; 22E60; 53C12; 53D05; 53D10; 53C55

Journal ref: Bulletin des Sciences Mathématiques, Volume 143, March 2018, 1-57

Hard Lefschetz Theorem for Vaisman manifolds

Authors: Beniamino Cappelletti-Montano, Antonio De Nicola, Juan Carlos Marrero, Ivan Yudin

Abstract: We establish a Hard Lefschetz Theorem for the de Rham cohomology of compact Vaisman manifolds. A similar result is proved for the basic cohomology with respect to the Lee vector field. Motivated by these results, we introduce the notions of a Lefschetz and of a basic Lefschetz locally conformal symplectic (l.c.s.) manifold of the first kind. We prove that the two notions are equivalent if there ex… ▽ More We establish a Hard Lefschetz Theorem for the de Rham cohomology of compact Vaisman manifolds. A similar result is proved for the basic cohomology with respect to the Lee vector field. Motivated by these results, we introduce the notions of a Lefschetz and of a basic Lefschetz locally conformal symplectic (l.c.s.) manifold of the first kind. We prove that the two notions are equivalent if there exists a Riemannian metric such that the Lee vector field is unitary and parallel and its metric dual $1$-form coincides with the Lee $1$-form. Finally, we discuss several examples of compact l.c.s. manifolds of the first kind which do not admit compatible Vaisman metrics. △ Less

Submitted 20 July, 2016; v1 submitted 16 October, 2015; originally announced October 2015.

Comments: 18 pages

MSC Class: 53C25; 53C55; 53D35

Journal ref: Transactions of the American Mathematical Society 371 (2019), 755-776

A non-Sasakian Lefschetz K-contact manifold of Tievsky type

Authors: Beniamino Cappelletti-Montano, Antonio De Nicola, Juan Carlos Marrero, Ivan Yudin

Abstract: We find a family of five dimensional completely solvable compact manifolds that constitute the first examples of $K$-contact manifolds which satisfy the Hard Lefschetz Theorem and have a model of Tievsky type just as Sasakian manifolds but do not admit any Sasakian structure. We find a family of five dimensional completely solvable compact manifolds that constitute the first examples of $K$-contact manifolds which satisfy the Hard Lefschetz Theorem and have a model of Tievsky type just as Sasakian manifolds but do not admit any Sasakian structure. △ Less

Submitted 7 March, 2016; v1 submitted 16 July, 2015; originally announced July 2015.

Comments: 10 pages, to appear in Proceedings of the American Mathematical Society

MSC Class: 53C25; 53D35

Journal ref: Proceedings of the American Mathematical Society 144 (2016), 5341--5350

Classification and stability of relative equilibria for the two-body problem in the hyperbolic space of dimension 2

Authors: Luis C. García-Naranjo, Juan C. Marrero, Ernesto Pérez-Chavela, Miguel Rodriguez-Olmos

Abstract: We classify and analyze the stability of all relative equilibria for the two-body problem in the hyperbolic space of dimension 2 and we formulate our results in terms of the intrinsic Riemannian data of the problem. We classify and analyze the stability of all relative equilibria for the two-body problem in the hyperbolic space of dimension 2 and we formulate our results in terms of the intrinsic Riemannian data of the problem. △ Less

Submitted 9 February, 2016; v1 submitted 6 May, 2015; originally announced May 2015.

Comments: 27 pages, 7 figures

MSC Class: 70F05; 70F15; 70H14; 37J15

Journal ref: Journal of Differential Equations, Vol. 260, No. 7, pp 6375-6404, 2016

Locally conformal symplectic nilmanifolds with no locally conformal Kähler metrics

Authors: Giovanni Bazzoni, Juan Carlos Marrero

Abstract: We obtain an example of a compact locally conformal symplectic nilmanifold which admits no locally conformal Kähler metrics. This gives a new positive answer to a question raised by L. Ornea and M. Verbitsky. We obtain an example of a compact locally conformal symplectic nilmanifold which admits no locally conformal Kähler metrics. This gives a new positive answer to a question raised by L. Ornea and M. Verbitsky. △ Less

Submitted 21 July, 2014; originally announced July 2014.

Comments: 7 pages, no figures. Comments are welcome!

MSC Class: Primary: 53D05. Secondary: 53C55

Journal ref: Complex Manifolds 4 (2017), 172-178

Sasakian nilmanifolds

Authors: Beniamino Cappelletti-Montano, Antonio De Nicola, Juan Carlos Marrero, Ivan Yudin

Abstract: We prove that a compact nilmanifold admits a Sasakian structure if and only if it is a compact quotient of the generalized Heisenberg group of odd dimension by a co-compact discrete subgroup. We prove that a compact nilmanifold admits a Sasakian structure if and only if it is a compact quotient of the generalized Heisenberg group of odd dimension by a co-compact discrete subgroup. △ Less

Submitted 10 September, 2014; v1 submitted 1 April, 2014; originally announced April 2014.

Comments: 9 pages, to appear in IMRN

MSC Class: 53C25; 53D35; 53C30

Journal ref: International Mathematics Research Notices, Vol. 2015, No. 15, pp. 6648-6660

Reduced dynamics and Lagrangian submanifolds of symplectic manifolds

Authors: E. García-Toraño Andrés, E. Guzmán, J. C. Marrero, T. Mestdag

Abstract: In this paper, we will see that the symplectic creed by Weinstein "everything is a Lagrangian submanifold" also holds for Hamilton-Poincaré and Lagrange-Poincaré reduction. In fact, we show that solutions of the Hamilton-Poincaré equations and of the Lagrange-Poincaré equations are in one-to-one correspondence with distinguished curves in a Lagrangian submanifold of a symplectic manifold. For this… ▽ More In this paper, we will see that the symplectic creed by Weinstein "everything is a Lagrangian submanifold" also holds for Hamilton-Poincaré and Lagrange-Poincaré reduction. In fact, we show that solutions of the Hamilton-Poincaré equations and of the Lagrange-Poincaré equations are in one-to-one correspondence with distinguished curves in a Lagrangian submanifold of a symplectic manifold. For this purpose, we will combine the concept of a Tulczyjew triple with Marsden-Weinstein symplectic reduction. △ Less

Submitted 19 May, 2014; v1 submitted 12 February, 2014; originally announced February 2014.

Comments: 26 pages

MSC Class: 53D05; 53D12; 70G65; 70H03; 70H05; 70H33

Journal ref: J. Phys. A: Math. Theor. 47 (2014) 225203

Examples of compact K-contact manifolds with no Sasakian metric

Authors: Beniamino Cappelletti-Montano, Antonio De Nicola, Juan Carlos Marrero, Ivan Yudin

Abstract: Using the Hard Lefschetz Theorem for Sasakian manifolds, we find two examples of compact K-contact nilmanifolds with no compatible Sasakian metric in dimensions five and seven, respectively Using the Hard Lefschetz Theorem for Sasakian manifolds, we find two examples of compact K-contact nilmanifolds with no compatible Sasakian metric in dimensions five and seven, respectively △ Less

Submitted 10 September, 2014; v1 submitted 13 November, 2013; originally announced November 2013.

Comments: 8 pages, accepted for publication in IJGMMP (Proceedings of the XXII IFWGP, University of Evora, Portugal)

Journal ref: Int. J. Geom. Methods Mod. Phys. 11 (2014), 1460028

The local description of discrete Mechanics

Authors: Juan Carlos Marrero, David Martín de Diego, Eduardo Martínez

Abstract: In this paper, we introduce local expressions for discrete Mechanics. To apply our results simultaneously to several interesting cases, we derive these local expressions in the framework of Lie groupoids, following the program proposed by Alan Weinstein in [19]. To do this, we will need some results on the geometry of Lie groupoids, as, for instance, the construction of symmetric neighborhoods or… ▽ More In this paper, we introduce local expressions for discrete Mechanics. To apply our results simultaneously to several interesting cases, we derive these local expressions in the framework of Lie groupoids, following the program proposed by Alan Weinstein in [19]. To do this, we will need some results on the geometry of Lie groupoids, as, for instance, the construction of symmetric neighborhoods or the existence of local bisections. These local descriptions will be particular useful for the explicit construction of geometric integrators for mechanical systems (reduced or not), in particular, discrete Euler-Lagrange equations, discrete Euler-Poincaré equations, discrete Lagrange-Poincaré equations... The results contained in this paper can be considered as a local version of the study that we have started in [13], on the geometry of discrete Mechanics on Lie groupoids. △ Less

Submitted 17 March, 2013; originally announced March 2013.

Comments: 25 pages

MSC Class: 17B66; 22A22; 70G45; 70Hxx

Poly-Poisson structures

Authors: D. Iglesias-Ponte, J. C. Marrero, M. Vaquero

Abstract: In this paper we introduce poly-Poisson structures as a higher-order extension of Poisson structures. It is shown that any poly-Poisson structure is endowed with a polysymplectic foliation. It is also proved that if a Lie group acts polysymplectically on a polysymplectic manifold then, under certain regularity conditions, the reduced space is a poly-Poisson manifold. In addition, some interesting… ▽ More In this paper we introduce poly-Poisson structures as a higher-order extension of Poisson structures. It is shown that any poly-Poisson structure is endowed with a polysymplectic foliation. It is also proved that if a Lie group acts polysymplectically on a polysymplectic manifold then, under certain regularity conditions, the reduced space is a poly-Poisson manifold. In addition, some interesting examples of poly-Poisson manifolds are discussed. △ Less

Submitted 18 September, 2012; originally announced September 2012.

Comments: 23 pages

MSC Class: 53D05; 53D17; 70645

Reduction of symplectic principal $\mathbb{R}$-bundles

Authors: Ignazio Lacirasella, Juan Carlos Marrero, Edith Padrón

Abstract: We describe a reduction process for symplectic principal $\mathbb{R}$-bundles in the presence of a momentum map. This type of structures plays an important role in the geometric formulation of non-autonomous Hamiltonian systems. We apply this procedure to the standard symplectic principal $\mathbb{R}$-bundle associated with a fibration $π:M\to\mathbb{R}$. When $π$ is a principal $G$-bundle and… ▽ More We describe a reduction process for symplectic principal $\mathbb{R}$-bundles in the presence of a momentum map. This type of structures plays an important role in the geometric formulation of non-autonomous Hamiltonian systems. We apply this procedure to the standard symplectic principal $\mathbb{R}$-bundle associated with a fibration $π:M\to\mathbb{R}$. When $π$ is a principal $G$-bundle and $G_ν$ denotes the isotropy group associated with an element $ν$ in the dual to the Lie algebra of $G$, we use the reduction process in order to describe a Poisson structure on the quotient manifold $M/G_ν$ whose symplectic leaves are isomorphic to the coadjoint orbit $\mathcal{O}_ν$ . Moreover, we show a reduction process for non-autonomous Hamiltonian systems on symplectic principal $\mathbb{R}$-bundles. △ Less

Submitted 6 August, 2012; v1 submitted 23 January, 2012; originally announced January 2012.

Comments: 35 pages

MSC Class: 37C60; 53D05; 53D20; 55R10

Journal ref: J. Phys. A: Math. Theor. 45 (2012) 325202

Reduction of a symplectic-like Lie algebroid with momentum map and its application to fiberwise linear Poisson structures

Authors: Juan Carlos Marrero, Edith Padron, Miguel Rodriguez-Olmos

Abstract: This article addresses the problem of developing an extension of the Marsden- Weinstein reduction process to symplectic Lie algebroids, and in particular to the case of the symplectic cover of a fiberwise linear Poisson structure, whose reduction process is the analogue to cotangent bundle reduction in the context of Lie algebroids. This article addresses the problem of developing an extension of the Marsden- Weinstein reduction process to symplectic Lie algebroids, and in particular to the case of the symplectic cover of a fiberwise linear Poisson structure, whose reduction process is the analogue to cotangent bundle reduction in the context of Lie algebroids. △ Less

Submitted 20 April, 2012; v1 submitted 20 November, 2011; originally announced November 2011.

Comments: 36 pages

MSC Class: 53D17; 53D20; 37J15; 53D05

Journal ref: 2012 J. Phys. A: Math. Theor. 45 165201

Kinematic reduction and the Hamilton-Jacobi equation

Authors: María Barbero-Liñán, Manuel de León, Juan Carlos Marrero, David Martín de Diego, Miguel C. Muñoz-Lecanda

Abstract: A close relationship between the classical Hamilton-Jacobi theory and the kinematic reduction of control systems by decoupling vector fields is shown in this paper. The geometric interpretation of this relationship relies on new mathematical techniques for mechanics defined on a skew-symmetric algebroid. This geometric structure allows us to describe in a simplified way the mechanics of nonholonom… ▽ More A close relationship between the classical Hamilton-Jacobi theory and the kinematic reduction of control systems by decoupling vector fields is shown in this paper. The geometric interpretation of this relationship relies on new mathematical techniques for mechanics defined on a skew-symmetric algebroid. This geometric structure allows us to describe in a simplified way the mechanics of nonholonomic systems with both control and external forces. △ Less

Submitted 27 October, 2011; originally announced October 2011.

Comments: 33 pages

Classical field theories of first order and lagrangian submanifolds of premultisymplectic manifolds

Authors: Cédric M. Campos, Elisa Guzmán, Juan Carlos Marrero

Abstract: A description of classical field theories of first order in terms of Lagrangian submanifolds of premultisymplectic manifolds is presented. For this purpose, a Tulczyjew's triple associated with a fibration is discussed. The triple is adapted to the extended Hamiltonian formalism. Using this triple, we prove that Euler-Lagrange and Hamilton-De Donder-Weyl equations are the local equations defining… ▽ More A description of classical field theories of first order in terms of Lagrangian submanifolds of premultisymplectic manifolds is presented. For this purpose, a Tulczyjew's triple associated with a fibration is discussed. The triple is adapted to the extended Hamiltonian formalism. Using this triple, we prove that Euler-Lagrange and Hamilton-De Donder-Weyl equations are the local equations defining Lagrangian submanifolds of a premultisymplectic manifold. △ Less

Submitted 5 December, 2011; v1 submitted 21 October, 2011; originally announced October 2011.

Comments: preprint, 27 pages

MSC Class: 70S05 (Primary) 70H03; 70H05; 53D12 (Secondary)

Reduction of Poisson-Nijenhuis Lie algebroids to symplectic-Nijenhuis Lie algebroids with nondegenerate Nijenhuis tensor

Authors: Antonio De Nicola, Juan Carlos Marrero, Edith Padron

Abstract: We show how to reduce, under certain regularities conditions, a Poisson-Nijenhuis Lie algebroid to a symplectic-Nijenhuis Lie algebroid with nondegenerate Nijenhuis tensor. We generalize the work done by Magri and Morosi for the reduction of Poisson-Nijenhuis manifolds. The choice of the more general framework of Lie algebroids is motivated by the geometrical study of some reduced bi-Hamiltonian s… ▽ More We show how to reduce, under certain regularities conditions, a Poisson-Nijenhuis Lie algebroid to a symplectic-Nijenhuis Lie algebroid with nondegenerate Nijenhuis tensor. We generalize the work done by Magri and Morosi for the reduction of Poisson-Nijenhuis manifolds. The choice of the more general framework of Lie algebroids is motivated by the geometrical study of some reduced bi-Hamiltonian systems. An explicit example of reduction of a Poisson-Nijenhuis Lie algebroid is also provided. △ Less

Submitted 28 September, 2011; v1 submitted 24 May, 2011; originally announced May 2011.

Comments: 35 pages, final version to appear in J. Phys. A: Math. Theor

MSC Class: 53D17 (Primary) 17B62; 17B66; 37J05; 37J35; 37K10 (Secondary)

Journal ref: J. Phys. A: Math. Theor. 44 (2011) 425206

Symplectic groupoids and discrete constrained Lagrangian mechanics

Authors: Juan Carlos Marrero, David Martín de Diego, Ari Stern

Abstract: In this article, we generalize the theory of discrete Lagrangian mechanics and variational integrators in two principal directions. First, we show that Lagrangian submanifolds of symplectic groupoids give rise to discrete dynamical systems, and we study the properties of these systems, including their regularity and reversibility, from the perspective of symplectic and Poisson geometry. Next, we u… ▽ More In this article, we generalize the theory of discrete Lagrangian mechanics and variational integrators in two principal directions. First, we show that Lagrangian submanifolds of symplectic groupoids give rise to discrete dynamical systems, and we study the properties of these systems, including their regularity and reversibility, from the perspective of symplectic and Poisson geometry. Next, we use this framework -- along with a generalized notion of generating function due to Sniatycki and Tulczyjew -- to develop a theory of discrete constrained Lagrangian mechanics. This allows for systems with arbitrary constraints, including those which are non-integrable (in an appropriate discrete, variational sense). In addition to characterizing the dynamics of these constrained systems, we also develop a theory of reduction and Noether symmetries, and study the relationship between the dynamics and variational principles. Finally, we apply this theory to discretize several concrete examples of constrained systems in mechanics and optimal control. △ Less

Submitted 3 November, 2015; v1 submitted 31 March, 2011; originally announced March 2011.

Comments: 36 pages; v2: minor revisions

MSC Class: Primary 70G45; Secondary 53D17; 37M15

Journal ref: Discrete Contin. Dyn. Syst., 35 (1), 367-397, 2015

Universal Models via Embedding and Reduction for Locally Conformal Symplectic Structures

Authors: Juan C. Marrero, David Martínez Torres, Edith Padron

Abstract: We obtain universal models for several types of locally conformal symplectic manifolds via pullback or reduction. The relation with recent embedding results for locally conformal Kähler manifolds is discussed. We obtain universal models for several types of locally conformal symplectic manifolds via pullback or reduction. The relation with recent embedding results for locally conformal Kähler manifolds is discussed. △ Less

Submitted 23 February, 2011; v1 submitted 30 December, 2010; originally announced January 2011.

Comments: To appear in Annals of Global Analysis and Geometry

MSC Class: 53D15; 53A30; 53C55

Discrete dynamics in implicit form

Authors: D. Iglesias, J. C. Marrero, D. Martin de Diego, E. Padron

Abstract: A notion of implicit difference equation on a Lie groupoid is introduced and an algorithm for extracting the integrable part (backward or/and forward) is formulated. As an application, we prove that discrete Lagrangian dynamics on a Lie groupoid $G$ may be described in terms of Lagrangian implicit difference equations of the corresponding cotangent groupoid $T^*G$. Other situations include finite… ▽ More A notion of implicit difference equation on a Lie groupoid is introduced and an algorithm for extracting the integrable part (backward or/and forward) is formulated. As an application, we prove that discrete Lagrangian dynamics on a Lie groupoid $G$ may be described in terms of Lagrangian implicit difference equations of the corresponding cotangent groupoid $T^*G$. Other situations include finite difference methods for time-dependent linear differential-algebraic equations and discrete nonholonomic Lagrangian systems, as particular examples. △ Less

Submitted 31 March, 2011; v1 submitted 16 November, 2010; originally announced November 2010.

Comments: 22 pages, several examples have been included, abstract and introduction have been modified, added references

Time-dependent Mechanics and Lagrangian submanifolds of Dirac manifolds

Authors: E. Guzmán, J. C. Marrero

Abstract: A description of time-dependent Mechanics in terms of Lagrangian submanifolds of Dirac manifolds (in particular, presymplectic and Poisson manifolds) is presented. Two new Tulczyjew triples are discussed. The first one is adapted to the restricted Hamiltonian formalism and the second one is adapted to the extended Hamiltonian formalism. A description of time-dependent Mechanics in terms of Lagrangian submanifolds of Dirac manifolds (in particular, presymplectic and Poisson manifolds) is presented. Two new Tulczyjew triples are discussed. The first one is adapted to the restricted Hamiltonian formalism and the second one is adapted to the extended Hamiltonian formalism. △ Less

Submitted 21 October, 2010; v1 submitted 1 September, 2010; originally announced September 2010.

MSC Class: 53D12; 53D17; 70G45; 70H03; 70H05; 70H15

Nonholonomic Constraints: a New Viewpoint

Authors: J. Grabowski, M. de Leon, J. C. Marrero, D. Martin de Diego

Abstract: The purpose of this paper is to show that, at least for Lagrangians of mechanical type, nonholonomic Euler-Lagrange equations for a nonholonomic linear constraint D may be viewed as non-constrained Euler-Lagrange equations but on a new (generally not Lie) algebroid structure on D. The proposed novel formalism allows us to treat in a unified way a variety of situations in nonholonomic mechanics a… ▽ More The purpose of this paper is to show that, at least for Lagrangians of mechanical type, nonholonomic Euler-Lagrange equations for a nonholonomic linear constraint D may be viewed as non-constrained Euler-Lagrange equations but on a new (generally not Lie) algebroid structure on D. The proposed novel formalism allows us to treat in a unified way a variety of situations in nonholonomic mechanics and gives rise to a version of Neoether Theorem producing actual first integrals in case of symmetries. △ Less

Submitted 6 June, 2008; originally announced June 2008.

Comments: 15 pages

MSC Class: 70F25; 53D17; 70G45; 17B66; 70H03; 70H45

Journal ref: J. Math. Phys. 50 (2009), 013520

Nonholonomic systems on Lie algebroids

Authors: Jorge Cortes, Manuel de Leon, Juan Carlos Marrero, Eduardo Martinez

Abstract: This paper is a revised version of a previously posted paper in arxiv. The authors posted it as a new submission by mistake. The latest version of the paper can be found at arXiv:math-ph/0512003v2 This paper is a revised version of a previously posted paper in arxiv. The authors posted it as a new submission by mistake. The latest version of the paper can be found at arXiv:math-ph/0512003v2 △ Less

Submitted 28 April, 2008; v1 submitted 24 April, 2008; originally announced April 2008.

Comments: This paper is a revised version of a previously posted paper in arxiv. The authors posted it as a new submission by mistake. The latest version of the paper can be found at arXiv:math-ph/0512003v2

Singular lagrangian systems and variational constrained mechanics on Lie algebroids

Authors: D. Iglesias, J. C. Marrero, D. Martin de Diego, D. Sosa

Abstract: The purpose of this paper is describe Lagrangian Mechanics for constrained systems on Lie algebroids, a natural framework which covers a wide range of situations (systems on Lie groups, quotients by the action of a Lie group, standard tangent bundles...). In particular, we are interested in two cases: singular Lagrangian systems and vakonomic mechanics (variational constrained mechanics). Severa… ▽ More The purpose of this paper is describe Lagrangian Mechanics for constrained systems on Lie algebroids, a natural framework which covers a wide range of situations (systems on Lie groups, quotients by the action of a Lie group, standard tangent bundles...). In particular, we are interested in two cases: singular Lagrangian systems and vakonomic mechanics (variational constrained mechanics). Several examples illustrate the interest of these developments. △ Less

Submitted 7 February, 2008; v1 submitted 19 June, 2007; originally announced June 2007.

Comments: 42 pages, Section with examples improved

MSC Class: 17B66; 37J60; 70F25; 70H30; 70H33; 70G45

A general framework for nonholonomic mechanics: Nonholonomic Systems on Lie affgebroids

Authors: D. Iglesias, J. C. Marrero, D. Martin de Diego, D. Sosa

Abstract: This paper presents a geometric description of Lagrangian and Hamiltonian systems on Lie affgebroids subject to affine nonholonomic constraints. We define the notion of nonholonomically constrained system, and characterize regularity conditions that guarantee that the dynamics of the system can be obtained as a suitable projection of the unconstrained dynamics. It is shown that one can define an… ▽ More This paper presents a geometric description of Lagrangian and Hamiltonian systems on Lie affgebroids subject to affine nonholonomic constraints. We define the notion of nonholonomically constrained system, and characterize regularity conditions that guarantee that the dynamics of the system can be obtained as a suitable projection of the unconstrained dynamics. It is shown that one can define an almost aff-Poisson bracket on the constraint AV-bundle, which plays a prominent role in the description of nonholonomic dynamics. Moreover, these developments give a general description of nonholonomic systems and the unified treatment permits to study nonholonomic systems after or before reduction in the same framework. Also, it is not necessary to distinguish between linear or affine constraints and the methods are valid for explicitly time-dependent systems. △ Less

Submitted 2 May, 2007; originally announced May 2007.

Comments: 50 pages

MSC Class: 17B66; 37J60; 53D17; 70F25; 70H33

Discrete Nonholonomic Lagrangian Systems on Lie Groupoids

Authors: D. Iglesias, J. C. Marrero, D. Martin de Diego, E. Martinez

Abstract: This paper studies the construction of geometric integrators for nonholonomic systems. We derive the nonholonomic discrete Euler-Lagrange equations in a setting which permits to deduce geometric integrators for continuous nonholonomic systems (reduced or not). The formalism is given in terms of Lie groupoids, specifying a discrete Lagrangian and a constraint submanifold on it. Additionally, it i… ▽ More This paper studies the construction of geometric integrators for nonholonomic systems. We derive the nonholonomic discrete Euler-Lagrange equations in a setting which permits to deduce geometric integrators for continuous nonholonomic systems (reduced or not). The formalism is given in terms of Lie groupoids, specifying a discrete Lagrangian and a constraint submanifold on it. Additionally, it is necessary to fix a vector subbundle of the Lie algebroid associated to the Lie groupoid. We also discuss the existence of nonholonomic evolution operators in terms of the discrete nonholonomic Legendre transformations and in terms of adequate decompositions of the prolongation of the Lie groupoid. The characterization of the reversibility of the evolution operator and the discrete nonholonomic momentum equation are also considered. Finally, we illustrate with several classical examples the wide range of application of the theory (the discrete nonholonomic constrained particle, the Suslov system, the Chaplygin sleigh, the Veselova system, the rolling ball on a rotating table and the two wheeled planar mobile robot). △ Less

Submitted 12 April, 2007; originally announced April 2007.

Comments: 45 pages

Reduction of Symplectic Lie Algebroids by a Lie Subalgebroid and a Symmetry Lie Group

Authors: D. Iglesias, J. C. Marrero, D. Martin de Diego, E. Martinez, E. Padron

Abstract: We describe the reduction procedure for a symplectic Lie algebroid by a Lie subalgebroid and a symmetry Lie group. Moreover, given an invariant Hamiltonian function we obtain the corresponding reduced Hamiltonian dynamics. Several examples illustrate the generality of the theory. We describe the reduction procedure for a symplectic Lie algebroid by a Lie subalgebroid and a symmetry Lie group. Moreover, given an invariant Hamiltonian function we obtain the corresponding reduced Hamiltonian dynamics. Several examples illustrate the generality of the theory. △ Less

Submitted 16 March, 2007; v1 submitted 7 March, 2007; originally announced March 2007.

Comments: This is a contribution to the Proc. of workshop on Geometric Aspects of Integrable Systems (July 17-19, 2006; Coimbra, Portugal), published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

MSC Class: 53D20; 58F05; 70H05

Journal ref: SIGMA 3 (2007), 049, 28 pages