Showing 1–50 of 79 results for author: de Leon, M

A zoo of coisotropic embeddings

Authors: Rubén Izquierdo-López, Manuel de León, Luca Schiavone, Pablo Soto

Abstract: The aim of this paper is to extend the coisotropic embedding theorem obtained by M. J. Gotay for pre-symplectic manifolds to more general geometric settings: cosymplectic, contact, cocontact, $k$-symplectic, $k$-cosymplectic, $k$-contact, and multisymplectic manifolds. The results are obtained by applying a generic methodology, which gives more relevance to the potential applications. In that sens… ▽ More The aim of this paper is to extend the coisotropic embedding theorem obtained by M. J. Gotay for pre-symplectic manifolds to more general geometric settings: cosymplectic, contact, cocontact, $k$-symplectic, $k$-cosymplectic, $k$-contact, and multisymplectic manifolds. The results are obtained by applying a generic methodology, which gives more relevance to the potential applications. In that sense, this paper gives the fundamental basis to be able to apply the results to the so-called regularization problem of singular Lagrangian systems, both in mechanics and in classical field theories. △ Less

Submitted 23 September, 2025; originally announced September 2025.

MSC Class: 37J39; 37J55; 53D42; 53Z05; 70S20

Brackets in multicontact geometry and multisymplectization

Authors: Manuel de León, Rubén Izquierdo-López, Xavier Rivas

Abstract: In this paper we introduce a graded bracket of forms on multicontact manifolds. This bracket satisfies a graded Jacobi identity as well as two different versions of the Leibniz rule, one of them being a weak Leibniz rule, extending the well-known notions in contact geometry. In addition, we develop the multisymplectization of multicontact structures to relate these brackets to the ones present in… ▽ More In this paper we introduce a graded bracket of forms on multicontact manifolds. This bracket satisfies a graded Jacobi identity as well as two different versions of the Leibniz rule, one of them being a weak Leibniz rule, extending the well-known notions in contact geometry. In addition, we develop the multisymplectization of multicontact structures to relate these brackets to the ones present in multisymplectic geometry and obtain the field equations in an abstract context. The Jacobi bracket also permits to study the evolution of observables and study the dissipation phenomena, which we also address. Finally, we apply the results to classical dissipative field theories. △ Less

Submitted 19 May, 2025; originally announced May 2025.

Comments: 30 pp

MSC Class: 53D42; 70S20; 35B06; 53D10; 53Z05; 70S10

The contact Eden bracket and the evolution of observables

Authors: V. M. Jiménez, M. De León

Abstract: In this paper we discuss nonholonomic contact Lagrangian and Hamiltonian systems, that is, systems with a kind of dissipation that are also subject to nonholonomic constraints. We introduce the so-called contact Eden bracket that allows us to obtain the evolution of any observable. Finally, we present a particular vector subspace of observables where the dynamics remain unconstrained. In this paper we discuss nonholonomic contact Lagrangian and Hamiltonian systems, that is, systems with a kind of dissipation that are also subject to nonholonomic constraints. We introduce the so-called contact Eden bracket that allows us to obtain the evolution of any observable. Finally, we present a particular vector subspace of observables where the dynamics remain unconstrained. △ Less

Submitted 1 April, 2025; originally announced April 2025.

MSC Class: 53D10; 70H45

Homogeneous bi-Hamiltonian structures and integrable contact systems

Authors: Leonardo Colombo, Manuel de León, María Emma Eyrea Irazú, Asier López-Gordón

Abstract: Bi-Hamiltonian structures can be utilised to compute a maximal set of functions in involution for certain integrable systems, given by the eigenvalues of the recursion operator relating both Poisson structures. We show that the recursion operator relating two compatible Jacobi structures cannot produce a maximal set of functions in involution. However, as we illustrate with an example, bi-Hamilton… ▽ More Bi-Hamiltonian structures can be utilised to compute a maximal set of functions in involution for certain integrable systems, given by the eigenvalues of the recursion operator relating both Poisson structures. We show that the recursion operator relating two compatible Jacobi structures cannot produce a maximal set of functions in involution. However, as we illustrate with an example, bi-Hamiltonian structures can still be used to obtain a maximal set of functions in involution on a contact manifold, at the cost of symplectisation. △ Less

Submitted 12 June, 2025; v1 submitted 24 February, 2025; originally announced February 2025.

Comments: 7 pages, to appear on the proceedings of the International Conference on Geometric Science of Information 2025 (GSI 25)

MSC Class: 37J35; 37J55; 70H06

A geometric description of some thermodynamical systems

Authors: Manuel de León, Jaime Bajo

Abstract: In this paper we show how almost cosymplectic structures are a natural framework to study thermodynamical systems. Indeed, we are able to obtain the same evolution equations obtained previously by Gay-Balmaz and Yoshimura (see Entropy, 21(8):39, 2019) using variational arguments. The proposed geometric description allows us to apply geometrical tools to discuss reduction by symmetries, the Hamilto… ▽ More In this paper we show how almost cosymplectic structures are a natural framework to study thermodynamical systems. Indeed, we are able to obtain the same evolution equations obtained previously by Gay-Balmaz and Yoshimura (see Entropy, 21(8):39, 2019) using variational arguments. The proposed geometric description allows us to apply geometrical tools to discuss reduction by symmetries, the Hamilton-Jacobi equation or discretization of these systems. △ Less

Submitted 24 December, 2024; originally announced December 2024.

MSC Class: 80A05; 53Z05; 80A10; 37J39

Graded Poisson and Graded Dirac structures

Authors: Manuel de León, Rubén Izquierdo-López

Abstract: There have been several attempts in recent years to extend the notions of symplectic and Poisson structures in order to create a suitable geometrical framework for classical field theories, trying to achieve a success similar to the use of these concepts in Hamiltonian mechanics. These notions always have a graded character, since the multisymplectic forms are of a higher degree than two. Another… ▽ More There have been several attempts in recent years to extend the notions of symplectic and Poisson structures in order to create a suitable geometrical framework for classical field theories, trying to achieve a success similar to the use of these concepts in Hamiltonian mechanics. These notions always have a graded character, since the multisymplectic forms are of a higher degree than two. Another line of work has been to extend the concept of Dirac structures to these new scenarios. In the present paper we review all these notions, relate them and propose and study a generalization that (under some mild regularity conditions) includes them and is of graded nature. We expect this generalization to allow us to advance in the study of classical field theories, their integrability, reduction, numerical approximations and even their quantization. △ Less

Submitted 5 February, 2025; v1 submitted 8 October, 2024; originally announced October 2024.

MSC Class: 53D42; 70S20

Journal ref: J. Math. Phys. 1 February 2025; 66 (2): 022901

Symmetry reduction and reconstruction in contact geometry and Lagrange-Poincaré-Herglotz equations

Authors: Alexandre Anahory Simoes, Leonardo Colombo, Manuel de Leon, Modesto Salgado, Silvia Souto

Abstract: In this paper, we investigate the reduction process of a contact Lagrangian system whose Lagrangian is invariant under a group of symmetries. We give explicit coordinate expressions of the resulting reduced differential equations, the so-called Lagrange-Poincare-Herglotz equations. Our framework relied on the associated Herglotz vector field and its projected vector field, and the use of well-chos… ▽ More In this paper, we investigate the reduction process of a contact Lagrangian system whose Lagrangian is invariant under a group of symmetries. We give explicit coordinate expressions of the resulting reduced differential equations, the so-called Lagrange-Poincare-Herglotz equations. Our framework relied on the associated Herglotz vector field and its projected vector field, and the use of well-chosen quasi-velocities. Some examples are also discussed. △ Less

Submitted 13 August, 2024; originally announced August 2024.

Comments: 31 pages

Coisotropic reduction in Multisymplectic Geometry

Authors: Manuel de León, Rubén Izquierdo-López

Abstract: In this paper we study coisotropic reduction in multisymplectic geometry. On the one hand, we give an interpretation of Hamiltonian multivector fields as Lagrangian submanifolds and prove that $k$-coisotropic submanifolds induce a Lie subalgebra in the algebra of Hamiltonian $(k-1)$-forms, similar to how coisotropic submanifolds in symplectic geometry induce a Lie subalgebra under the Poisson brac… ▽ More In this paper we study coisotropic reduction in multisymplectic geometry. On the one hand, we give an interpretation of Hamiltonian multivector fields as Lagrangian submanifolds and prove that $k$-coisotropic submanifolds induce a Lie subalgebra in the algebra of Hamiltonian $(k-1)$-forms, similar to how coisotropic submanifolds in symplectic geometry induce a Lie subalgebra under the Poisson bracket. On the other hand, we extend the classical result of symplectic geometry of projection of Lagrangian submanifolds in coisotropic reduction to bundles of forms, which naturally carry a multisymplectic structure. △ Less

Submitted 22 June, 2024; v1 submitted 21 May, 2024; originally announced May 2024.

MSC Class: 53D42; 70S20

Journal ref: Geometric Mechanics, vol 01, no 03, pp 209-244 2024

The nonholonomic bracket on contact mechanical systems

Authors: Manuel De León, Víctor M. Jiménez

Abstract: In this paper we study contact nonholonomic mechanical sys\-tems. We construct a general framework for non-holonomic constraints in contact geometry and, in this framework, we define different nonholonomic brackets using con\-venient \linebreak decompositions of the tangent bundle of the phase space. \linebreak Furthermore, we prove that all of them coincide. In particular, one the brackets is a n… ▽ More In this paper we study contact nonholonomic mechanical sys\-tems. We construct a general framework for non-holonomic constraints in contact geometry and, in this framework, we define different nonholonomic brackets using con\-venient \linebreak decompositions of the tangent bundle of the phase space. \linebreak Furthermore, we prove that all of them coincide. In particular, one the brackets is a natural extension of that defined by R.J. Eden, but now it is an almost Jacobi bracket since it is not satisfy the Leibniz rule. △ Less

Submitted 18 March, 2024; v1 submitted 22 December, 2023; originally announced December 2023.

MSC Class: 37J55; 53D10; 37J60; 70F25; 70G45; 53Z05

On Non-autonomous Hamiltonian Dynamics, Dual Spaces, and Kinetic Lifts

Authors: Begüm Ateşli, Oğul Esen, Manuel de León, Cristina Sardón

Abstract: Vlasov kinetic theory is the dynamics of a bunch of particles flowing according to symplectic Hamiltonian dynamics. More recently, this geometry has been extended to contact Hamiltonian dynamics. In this paper, we introduce geometric kinetic theories within the framework of cosymplectic and cocontact manifolds to extend the present literature to time-dependent dynamics. The cosymplectic and the co… ▽ More Vlasov kinetic theory is the dynamics of a bunch of particles flowing according to symplectic Hamiltonian dynamics. More recently, this geometry has been extended to contact Hamiltonian dynamics. In this paper, we introduce geometric kinetic theories within the framework of cosymplectic and cocontact manifolds to extend the present literature to time-dependent dynamics. The cosymplectic and the cocontact kinetic theories are obtained in terms of both momentum variables and density functions. These alternative realizations are linked via Poisson/momentum maps. Furthermore, in cocontact geometry, we introduce a hierarchical analysis of nine distinct dynamical motions as various manifestations of Hamiltonian, evolution, and gradient flows. △ Less

Submitted 20 August, 2023; originally announced August 2023.

A review on coisotropic reduction in Symplectic, Cosymplectic, Contact and Co-contact Hamiltonian systems

Authors: Manuel de León, Rubén Izquierdo-López

Abstract: In this paper we study the coisotropic reduction in different types of dynamics according to the geometry of the corresponding phase space. The relevance of the coisotropic reduction is motivated by the fact that these dynamics can always be interpreted as Lagrangian or Legendrian submanifolds. Furthermore, Lagrangian or Legendrian submanifolds can be reduced by a coisotropic one. In this paper we study the coisotropic reduction in different types of dynamics according to the geometry of the corresponding phase space. The relevance of the coisotropic reduction is motivated by the fact that these dynamics can always be interpreted as Lagrangian or Legendrian submanifolds. Furthermore, Lagrangian or Legendrian submanifolds can be reduced by a coisotropic one. △ Less

Submitted 4 March, 2024; v1 submitted 15 August, 2023; originally announced August 2023.

MSC Class: 37J39; 37J55; 70H05; 70H33

Journal ref: J. Phys. A57(2024), no.16, Paper No. 163001, 51 pp

Contact formalism for dissipative mechanical systems on Lie algebroids

Authors: Alexandre Anahory Simoes, Leonardo Colombo, Manuel de Leon, Modesto Salgado, Silvia Souto

Abstract: In this paper, we introduce a geometric description of contact Lagrangian and Hamiltonian systems on Lie algebroids in the framework of contact geometry, using the theory of prolongations. We discuss the relation between Lagrangian and Hamiltonian settings through a convenient notion of Legendre transformation. We also discuss the Hamilton-Jacobi problem in this framework and introduce the notion… ▽ More In this paper, we introduce a geometric description of contact Lagrangian and Hamiltonian systems on Lie algebroids in the framework of contact geometry, using the theory of prolongations. We discuss the relation between Lagrangian and Hamiltonian settings through a convenient notion of Legendre transformation. We also discuss the Hamilton-Jacobi problem in this framework and introduce the notion of a Legendrian Lie subalgebroid of a contact Lie algebroid. △ Less

Submitted 2 August, 2023; originally announced August 2023.

Comments: 36 pages. arXiv admin note: text overlap with arXiv:2204.11537 by other authors

MSC Class: 37J55; 53D10; 37C79; 37J37; 70H03; 70H05; 70H20

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)

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

Jacobi structure for dissipative mechanical systems on Lie Algebroids

Authors: Alexandre Anahory Simoes, Leonardo Colombo, Manuel de Leon, Modesto Salgado, Silvia Souto

Abstract: We extend the Jacobi structure from $TQ\times \mathbb{R}$ and $T^{*}Q \times \mathbb{R}$ to $A\times \mathbb{R}$ and $A^{*}\times \mathbb{R}$, respectively, where $A$ is a Lie algebroid and $A^{*}$ carries the associated Poisson structure. We see that $A^*\times \mathbb{R}$ possesses a natural Jacobi structure from where we are able to model dissipative mechanical systems, generalizing previous mo… ▽ More We extend the Jacobi structure from $TQ\times \mathbb{R}$ and $T^{*}Q \times \mathbb{R}$ to $A\times \mathbb{R}$ and $A^{*}\times \mathbb{R}$, respectively, where $A$ is a Lie algebroid and $A^{*}$ carries the associated Poisson structure. We see that $A^*\times \mathbb{R}$ possesses a natural Jacobi structure from where we are able to model dissipative mechanical systems, generalizing previous models on $TQ\times \mathbb{R}$ and $\mathfrak{g}\times \mathbb{R}$. △ Less

Submitted 12 June, 2023; v1 submitted 30 May, 2023; originally announced May 2023.

Comments: 16 pages

New notions of uniformity and homogeneity of Cosserat media

Authors: V. M. Jiménez, M. De León

Abstract: In this paper, we study internal properties of a Cosserat media. In fact, by using groupoids and smooth distributions, we obtain a three canonical equations. The \textit{non-holonomic material equation for Cosserat media} characterizes the uniformity of the material. The \textit{holonomic material equation for Cosserat media} permits us to study when a Cosserat material is a second-grade material.… ▽ More In this paper, we study internal properties of a Cosserat media. In fact, by using groupoids and smooth distributions, we obtain a three canonical equations. The \textit{non-holonomic material equation for Cosserat media} characterizes the uniformity of the material. The \textit{holonomic material equation for Cosserat media} permits us to study when a Cosserat material is a second-grade material. It is remarkable that these two equations also provide us a unique and maximal division of the Cosserat medium into uniform and second-grade parts, respectively. Finally, we present a proper definition of homogeneity of the Cosserat medium, without assuming uniformity. Thus, the \textit{homogeneity equation for Cosserat media} characterizes this notion of homogeneity. △ Less

Submitted 23 May, 2023; originally announced May 2023.

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

MSC Class: 18B40; 20N02; 22A22; 58H05; 53C12; 57R30; 58A30; 74A20; 74A30;

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

Liouville-Arnold theorem for homogeneous symplectic and contact Hamiltonian systems

Authors: Leonardo Colombo, Manuel de León, Manuel Lainz, Asier López-Gordón

Abstract: A Hamiltonian system is completely integrable (in the sense of Liouville) if there exist as many independent integrals of motion in involution as the dimension of the configuration space. Under certain regularity conditions, Liouville-Arnold theorem states that the invariant geometric structure associated with Liouville integrability is a fibration by Lagrangian tori (or, more generally, Abelian L… ▽ More A Hamiltonian system is completely integrable (in the sense of Liouville) if there exist as many independent integrals of motion in involution as the dimension of the configuration space. Under certain regularity conditions, Liouville-Arnold theorem states that the invariant geometric structure associated with Liouville integrability is a fibration by Lagrangian tori (or, more generally, Abelian Lie groups), on which the motion is linear. In this paper, a Liouville-Arnold theorem for contact Hamiltonian systems is proven. More specifically, it is shown that, given a $(2n+1)$-dimensional completely integrable contact system, one can construct a foliation by $(n+1)$-dimensional Abelian Lie groups and induce action-angle coordinates in which the equations of motion are linearized. One important novelty with respect to previous attempts is that the foliation consists of $(n+1)$-dimensional coisotropic submanifolds given by the preimages of rays by the functions in involution. In order to prove the theorem, we first develop a version of Liouville-Arnold theorem for homogeneous functions on exact symplectic manifolds (which is of independent interest), and then apply the symplectization to obtain the contact case. △ Less

Submitted 30 April, 2025; v1 submitted 23 February, 2023; originally announced February 2023.

Comments: 31 pages. Accepted in the journal Geometric Mechanics

MSC Class: primary: 37J35; 37J55; 70H06; secondary: 53D10; 53E50; 53Z05

Hamilton-Jacobi theory for nonholonomic and forced hybrid mechanical systems

Authors: Leonardo Colombo, Manuel de León, María Emma Eyrea Irazú, Asier López-Gordón

Abstract: A hybrid system is a system whose dynamics is given by a mixture of both continuous and discrete transitions. In particular, these systems can be utilised to describe the dynamics of a mechanical system with impacts. Based on the approach by Clark, we develop a geometric Hamilton-Jacobi theory for forced and nonholonomic hybrid dynamical systems. We state the corresponding Hamilton-Jacobi equation… ▽ More A hybrid system is a system whose dynamics is given by a mixture of both continuous and discrete transitions. In particular, these systems can be utilised to describe the dynamics of a mechanical system with impacts. Based on the approach by Clark, we develop a geometric Hamilton-Jacobi theory for forced and nonholonomic hybrid dynamical systems. We state the corresponding Hamilton-Jacobi equations for these classes of systems and apply our results to analyze some examples. △ Less

Submitted 13 May, 2024; v1 submitted 11 November, 2022; originally announced November 2022.

Comments: 31 pages, accepted for publication on Geometric Mechanics

MSC Class: 53Z05; 70F35; 70F40; 70H20; 93C30

Journal ref: Geom. Mech. 01 (02), July 2024

Multicontact formulation for non-conservative field theories

Authors: Manuel de León, Jordi Gaset, Miguel Carlos Muñoz-Lecanda, Xavier Rivas, Narciso Román-Roy

Abstract: A new geometric framework is developed to describe non-conservative classical field theories, which is based on multisymplectic and contact geometries. Assuming certain additional conditions and using the forms that define this multicontact structure, as well as other geometric elements that are derived from them, we can introduce variational field equations in the multicontact manifolds. These eq… ▽ More A new geometric framework is developed to describe non-conservative classical field theories, which is based on multisymplectic and contact geometries. Assuming certain additional conditions and using the forms that define this multicontact structure, as well as other geometric elements that are derived from them, we can introduce variational field equations in the multicontact manifolds. These equations are stated using different geometric tools; namely, sections, multivector fields and Ehresmann connections in fiber bundles. Then, this framework can be adapted to the jet bundle description of classical field theories and the field equations are stated both in the Lagrangian and the Hamiltonian formalisms, which are discussed in the regular and the singular cases. △ Less

Submitted 26 January, 2023; v1 submitted 19 September, 2022; originally announced September 2022.

Comments: 44 pp

MSC Class: 70S05; 70S10; 53D10; 35R01 (Primary); 35Q99; 53C15; 53Z05; 58A10; 70G4 (Secondary)

Hamilton-Jacobi theory and integrability for autonomous and non-autonomous contact systems

Authors: Manuel de León, Manuel Lainz, Asier López-Gordón, Xavier Rivas

Abstract: In this paper, we study the integrability of contact Hamiltonian systems, both time-dependent and independent. In order to do so, we construct a Hamilton--Jacobi theory for these systems following two approaches, obtaining two different Hamilton--Jacobi equations. Compared to conservative Hamiltonian systems, contact Hamiltonian systems depend of one additional parameter. The fact of obtaining two… ▽ More In this paper, we study the integrability of contact Hamiltonian systems, both time-dependent and independent. In order to do so, we construct a Hamilton--Jacobi theory for these systems following two approaches, obtaining two different Hamilton--Jacobi equations. Compared to conservative Hamiltonian systems, contact Hamiltonian systems depend of one additional parameter. The fact of obtaining two equations reflects whether we are looking for solutions depending on this additional parameter or not. In order to illustrate the theory developed in this paper, we study three examples: the free particle with a linear external force, the freely falling particle with linear dissipation and the damped and forced harmonic oscillator. △ Less

Submitted 28 February, 2023; v1 submitted 15 August, 2022; originally announced August 2022.

Comments: 27 pages

MSC Class: 37J55; 70H20; 70H33; 53D10; 53Z05

Journal ref: J. Geom. Phys., Feb. 2023

Nonsmooth Herglotz variational principle

Authors: Asier López-Gordón, Leonardo Colombo, Manuel de León

Abstract: In this paper, the theory of smooth action-dependent Lagrangian mechanics (also known as contact Lagrangians) is extended to a non-smooth context appropriate for collision problems. In particular, we develop a Herglotz variational principle for non-smooth action-dependent Lagrangians which leads to the preservation of energy and momentum at impacts. By defining appropriately a Legendre transform,… ▽ More In this paper, the theory of smooth action-dependent Lagrangian mechanics (also known as contact Lagrangians) is extended to a non-smooth context appropriate for collision problems. In particular, we develop a Herglotz variational principle for non-smooth action-dependent Lagrangians which leads to the preservation of energy and momentum at impacts. By defining appropriately a Legendre transform, we can obtain the Hamilton equations of motion for the corresponding non-smooth Hamiltonian system. We apply the result to a billiard problem in the presence of dissipation. △ Less

Submitted 28 September, 2022; v1 submitted 3 August, 2022; originally announced August 2022.

Comments: 7 pages, 1 figure. Preprint submitted to a conference. Comments welcome!

MSC Class: 53Z05; 70F35; 70F40; 93C30

Journal ref: 2023 American Control Conference (ACC), San Diego, CA, USA, 2023, pp. 3376-3381

A geometric model for non-uniform processes of morphogenesis

Authors: V. M. Jiménez, M. de León

Abstract: In this paper we present an application of the groupoid theory to the study of relevant case of material evolution phenomena, the \textit{process of morphogenesis}. Our theory is inspired by Walter Noll's theories of continuous distributions and provides a unifying and very simple framework of these phenomena. We present the explicit equation, the \textit{morphogenesis equation}, to calculate the… ▽ More In this paper we present an application of the groupoid theory to the study of relevant case of material evolution phenomena, the \textit{process of morphogenesis}. Our theory is inspired by Walter Noll's theories of continuous distributions and provides a unifying and very simple framework of these phenomena. We present the explicit equation, the \textit{morphogenesis equation}, to calculate the \textit{material distributions} associated to this phenomenon. △ Less

Submitted 23 September, 2022; v1 submitted 7 July, 2022; originally announced July 2022.

Comments: arXiv admin note: substantial text overlap with arXiv:2108.02865

MSC Class: 74A20; 53C12; 22A22

Contact Lagrangian systems subject to impulsive constraints

Authors: Leonardo J. Colombo, Manuel de León, Asier López-Gordón

Abstract: We describe geometrically contact Lagrangian systems under impulsive forces and constraints, as well as instantaneous nonholonomic constraints which are not uniform along the configuration space. In both situations, the vector field describing the dynamics of a contact Lagrangian system is determined by defining projectors to evaluate the constraints by using a Riemannian metric. In particular, we… ▽ More We describe geometrically contact Lagrangian systems under impulsive forces and constraints, as well as instantaneous nonholonomic constraints which are not uniform along the configuration space. In both situations, the vector field describing the dynamics of a contact Lagrangian system is determined by defining projectors to evaluate the constraints by using a Riemannian metric. In particular, we introduce the Herglotz equations for contact Lagrangian systems subject to instantaneous nonholonomic constraints. Moreover, we provide a Carnot-type theorem for contact Lagrangian systems subject to impulsive forces and constraints, which characterizes the changes of energy due to contact-type dissipation and impulsive forces. We illustrate the applicability of the method with practical examples, in particular, a rolling cylinder on a springily surface and a rolling sphere on a non-uniform surface, both with dissipation. △ Less

Submitted 21 January, 2023; v1 submitted 23 June, 2022; originally announced June 2022.

Comments: 23 pages

MSC Class: 53D10; 53Z05; 70F20; 70F25; 70F40

Journal ref: J. Phys. A: Math. Theor. 55, 425203 (2022)

On Locally Conformally Cosymplectic Hamiltonian Dynamics and Hamilton-Jacobi Theory

Authors: Begüm Ateşli, Oğul Esen, Manuel de León, Cristina Sardón

Abstract: Cosymplectic geometry has been proven to be a very useful geometric background to describe time-dependent Hamiltonian dynamics. In this work, we address the globalization problem of locally cosymplectic Hamiltonian dynamics that failed to be globally defined. We investigate both the geometry of locally conformally cosymplectic (abbreviated as LCC) manifolds and the Hamiltonian dynamics constructed… ▽ More Cosymplectic geometry has been proven to be a very useful geometric background to describe time-dependent Hamiltonian dynamics. In this work, we address the globalization problem of locally cosymplectic Hamiltonian dynamics that failed to be globally defined. We investigate both the geometry of locally conformally cosymplectic (abbreviated as LCC) manifolds and the Hamiltonian dynamics constructed on such LCC manifolds. Further, we provide a geometric Hamilton-Jacobi theory on this geometric framework. △ Less

Submitted 26 May, 2022; originally announced May 2022.

Comments: 52 pages, 3 tables

Time-dependent contact mechanics

Authors: Manuel de León, Jordi Gaset, Xavier Gràcia, Miguel Carlos Muñoz-Lecanda, Xavier Rivas

Abstract: Contact geometry allows to describe some thermodynamic and dissipative systems. In this paper we introduce a new geometric structure in order to describe time-dependent contact systems: cocontact manifolds. Within this setting we develop the Hamiltonian and Lagrangian formalisms, both in the regular and singular cases. In the singular case, we present a constraint algorithm aiming to find a subman… ▽ More Contact geometry allows to describe some thermodynamic and dissipative systems. In this paper we introduce a new geometric structure in order to describe time-dependent contact systems: cocontact manifolds. Within this setting we develop the Hamiltonian and Lagrangian formalisms, both in the regular and singular cases. In the singular case, we present a constraint algorithm aiming to find a submanifold where solutions exist. As a particular case we study contact systems with holonomic time-dependent constraints. Some regular and singular examples are analyzed, along with numerical simulations. △ Less

Submitted 26 January, 2023; v1 submitted 19 May, 2022; originally announced May 2022.

Comments: 28pp

MSC Class: 37J55; 70H03; 70H05; 53D05; 53D10; 53Z05; 70H45

Hybrid Routhian reduction for simple hybrid forced Lagrangian systems

Authors: María Emma Eyrea Irazú, Asier López-Gordón, Leonardo J. Colombo, Manuel de León

Abstract: This paper discusses Routh reduction for simple hybrid forced mechanical systems. We give general conditions on whether it is possible to perform symmetry reduction for a simple hybrid Lagrangian system subject to non-conservative external forces, emphasizing the case of case of cyclic coordinates. We illustrate the applicability of the symmetry reduction procedure with an example and numerical si… ▽ More This paper discusses Routh reduction for simple hybrid forced mechanical systems. We give general conditions on whether it is possible to perform symmetry reduction for a simple hybrid Lagrangian system subject to non-conservative external forces, emphasizing the case of case of cyclic coordinates. We illustrate the applicability of the symmetry reduction procedure with an example and numerical simulations. △ Less

Submitted 12 April, 2022; v1 submitted 17 February, 2022; originally announced February 2022.

Comments: Submitted. arXiv admin note: substantial text overlap with arXiv:2112.02573, arXiv:2003.07484, arXiv:2001.08941

Journal ref: 2022 European Control Conference (ECC), pp. 345-350

Reviewing the Geometric Hamilton-Jacobi Theory concerning Jacobi and Leibniz identities

Authors: O. Esen, M. de León, M. Lainz, C. Sardón, M. Zając

Abstract: In this survey, we review the classical Hamilton Jacobi theory from a geometric point of view in different geometric backgrounds. We propose a Hamilton Jacobi equation for different geometric structures attending to one particular characterization: whether they fulfill the Jacobi and Leibniz identities simultaneously, or if at least they satisfy one of them. In this regard, we review the case of… ▽ More In this survey, we review the classical Hamilton Jacobi theory from a geometric point of view in different geometric backgrounds. We propose a Hamilton Jacobi equation for different geometric structures attending to one particular characterization: whether they fulfill the Jacobi and Leibniz identities simultaneously, or if at least they satisfy one of them. In this regard, we review the case of time dependent and dissipative physical systems as systems that fulfill the Jacobi identity but not the Leibnitz identity. Furthermore, we review the contact evolution Hamilton Jacobi theory as a split off the regular contact geometry, and that actually satisfies the Leibniz rule instead of Jacobi. Furthermore, we include a novel result, which is the Hamilton-Jacobi equation for conformal Hamiltonian vector fields as a generalization of the well known Hamilton Jacobi on a symplectic manifold, that is retrieved in the case of a zero conformal factor. The interest of a geometric Hamilton Jacobi equation is the primordial observation that if a Hamiltonian vector field can be projected into a configuration manifold by means of a 1-form dW, then the integral curves of the projected vector field can be transformed into integral curves of the Hamiltonian vector field provided that W is a solution of the Hamilton-Jacobi equation. Geometrically, the solution of the Hamilton Jacobi equation plays the role of a Lagrangian submanifold of a certain bundle. Exploiting these features in different geometric scenarios we propose a geometric theory for multiple physical systems depending on the fundamental identities that their dynamic satisfies. Different examples are pictured to reflect the results provided, being all of them new, except for one that is reassessment of a previously considered example. △ Less

Submitted 14 February, 2022; originally announced February 2022.

Generalized hybrid momentum maps and reduction by symmetries of forced mechanical systems with inelastic collisions

Authors: Leonardo J. Colombo, Manuel de León, María Emma Eyrea Irazú, Asier López-Gordón

Abstract: This paper discusses reduction by symmetries for autonomous and non-autonomous forced mechanical systems with inelastic collisions. In particular, we introduce the notion of generalized hybrid momentum map and hybrid constants of the motion to give general conditions on whether it is possible to perform symmetry reduction for Hamiltonian and Lagrangian systems subject to non-conservative external… ▽ More This paper discusses reduction by symmetries for autonomous and non-autonomous forced mechanical systems with inelastic collisions. In particular, we introduce the notion of generalized hybrid momentum map and hybrid constants of the motion to give general conditions on whether it is possible to perform symmetry reduction for Hamiltonian and Lagrangian systems subject to non-conservative external forces and non-elastic impacts, as well as its extension to time-dependent mechanical systems subject to time-dependent external forces and time-dependent inelastic collisions. We illustrate the applicability of the method with examples and numerical simulations. △ Less

Submitted 1 June, 2025; v1 submitted 5 December, 2021; originally announced December 2021.

Comments: 29 pages, 4 figures. Accepted in J. Math. Phys

MSC Class: 53Z05; 70F35; 70F40; 93C30

Journal ref: J. Math. Phys. 66, 062901 (2025)

Discrete Hamilton-Jacobi theory for systems with external forces

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

Abstract: This paper is devoted to discrete mechanical systems subject to external forces. We introduce a discrete version of systems with Rayleigh-type forces, obtain the equations of motion and characterize the equivalence for these systems. Additionally, we obtain a Noether's theorem and other theorem characterizing the Lie subalgebra of symmetries of a forced discrete Lagrangian system. Moreover, we dev… ▽ More This paper is devoted to discrete mechanical systems subject to external forces. We introduce a discrete version of systems with Rayleigh-type forces, obtain the equations of motion and characterize the equivalence for these systems. Additionally, we obtain a Noether's theorem and other theorem characterizing the Lie subalgebra of symmetries of a forced discrete Lagrangian system. Moreover, we develop a Hamilton-Jacobi theory for forced discrete Hamiltonian systems. These results are useful for the construction of so-called variational integrators, which, as we illustrate with some examples, are remarkably superior to the usual numerical integrators such as the Runge-Kutta method. △ Less

Submitted 22 February, 2022; v1 submitted 27 October, 2021; originally announced October 2021.

Comments: 30 pages, 3 figures; submitted to a journal, comments are welcome

MSC Class: Primary: 65P10; 70F40; 70H20; Secondary: 37M15; 53Z05; 70H03; 70H05; 70H33

Journal ref: J. Phys. A: Math. Theor. 55, 205201 (2022)

Implicit Contact Dynamics and Hamilton-Jacobi Theory

Authors: Oğul Esen, Manuel Lainz Valcázar, Manuel de León, Cristina Sardón

Abstract: In this paper we propose a Hamilton-Jacobi theory for implicit contact Hamiltonian systems in two different ways. One is the understanding of implicit contact Hamiltonian dynamics as a Legendrian submanifold of the tangent contact space, and another is as a Lagrangian submanifold of a certain symplectic space embedded into the tangent contact space. In these two scenarios, we propose a Hamilton-Ja… ▽ More In this paper we propose a Hamilton-Jacobi theory for implicit contact Hamiltonian systems in two different ways. One is the understanding of implicit contact Hamiltonian dynamics as a Legendrian submanifold of the tangent contact space, and another is as a Lagrangian submanifold of a certain symplectic space embedded into the tangent contact space. In these two scenarios, we propose a Hamilton-Jacobi theory specifically derived with the aid of Herglotz Lagrangian dynamics generated by non-regular Lagrangian functions. △ Less

Submitted 30 September, 2021; originally announced September 2021.

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

Geometric Hamilton-Jacobi theory for systems with external forces

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

Abstract: In this paper, we develop a Hamilton-Jacobi theory for forced Hamiltonian and Lagrangian systems. We study the complete solutions, particularize for Rayleigh systems and present some examples. Additionally, we present a method for the reduction and reconstruction of the Hamilton-Jacobi problem for forced Hamiltonian systems with symmetry. Furthermore, we consider the reduction of the Hamilton-Jaco… ▽ More In this paper, we develop a Hamilton-Jacobi theory for forced Hamiltonian and Lagrangian systems. We study the complete solutions, particularize for Rayleigh systems and present some examples. Additionally, we present a method for the reduction and reconstruction of the Hamilton-Jacobi problem for forced Hamiltonian systems with symmetry. Furthermore, we consider the reduction of the Hamilton-Jacobi problem for a Čaplygin system to the Hamilton-Jacobi problem for a forced Lagrangian system. △ Less

Submitted 6 January, 2022; v1 submitted 28 September, 2021; originally announced September 2021.

Comments: 39 pages, submitted to J. Math. Phys

MSC Class: 70H20; 70H33; 70F40; 53Z05

Journal ref: J. Math. Phys. 63, 022901 (2022)

The evolution equation: an application of groupoids to material evolution

Authors: V. M. Jiménez, M. De León

Abstract: The aim of this paper is to study the evolution of a material point of a body by itself, and not the body as a whole. To do this, we construct a groupoid encoding all the intrinsic properties of the particle and its characteristic foliations, which permits us to define the evolution equation. We also discuss phenomena like remodeling and aging. The aim of this paper is to study the evolution of a material point of a body by itself, and not the body as a whole. To do this, we construct a groupoid encoding all the intrinsic properties of the particle and its characteristic foliations, which permits us to define the evolution equation. We also discuss phenomena like remodeling and aging. △ Less

Submitted 15 August, 2021; originally announced August 2021.

Comments: arXiv admin note: substantial text overlap with arXiv:2108.02865

MSC Class: 74A20; 53C12; 22A22

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

The Herglotz principle and vakonomic dynamics

Authors: Manuel de León, Manuel Lainz, Miguel C. Muñoz-Lecanda

Abstract: In this paper we study vakonomic dynamics on contact systems with nonlinear constraints. In order to obtain the dynamics, we consider a space of admisible paths, which are the ones tangent to a given submanifold. Then, we find the critical points of the Herglotz action on this space of paths. This dynamics can be also obtained through an extended Lagrangian, including Lagrange multiplier terms.… ▽ More In this paper we study vakonomic dynamics on contact systems with nonlinear constraints. In order to obtain the dynamics, we consider a space of admisible paths, which are the ones tangent to a given submanifold. Then, we find the critical points of the Herglotz action on this space of paths. This dynamics can be also obtained through an extended Lagrangian, including Lagrange multiplier terms. This theory has important applications in optimal control theory for Herglotz control problems, in which the cost function is given implicitly, through an ODE, instead of by a definite integral. Indeed, these control problems can be considered as particular cases of vakonomic contact systems, and we can use the Lagrangian theory of contact systems in order to understand their symmetries and dynamics. △ Less

Submitted 4 June, 2021; originally announced June 2021.

MSC Class: 37J55; 70H45; 70H30 (Primary) 49J15; 70Q05 (Secondary)

Symmetries, constants of the motion and reduction of mechanical systems with external forces

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

Abstract: This paper is devoted to the study of mechanical systems subjected to external forces in the framework of symplectic geometry. We obtain a Noether's theorem for Lagrangian systems with external forces, among other results regarding symmetries and conserved quantities. We particularize our results for the so-called Rayleigh dissipation, i.e., external forces that are derived from a dissipation func… ▽ More This paper is devoted to the study of mechanical systems subjected to external forces in the framework of symplectic geometry. We obtain a Noether's theorem for Lagrangian systems with external forces, among other results regarding symmetries and conserved quantities. We particularize our results for the so-called Rayleigh dissipation, i.e., external forces that are derived from a dissipation function, and illustrate them with some examples. Moreover, we present a theory for the reduction of Lagrangian systems subjected to external forces which are invariant under the action of a Lie group. △ Less

Submitted 22 February, 2021; v1 submitted 22 January, 2021; originally announced January 2021.

Comments: 29 pages, submitted to J. Math. Phys

MSC Class: 53Z05; 70F40; 70H33

Journal ref: J. Math. Phys. 62, 042901 (2021)

The geometry of some thermodynamic systems

Authors: Alexandre Anahory Simoes, David Martín de Diego, Manuel Lainz Valcázar, Manuel de León

Abstract: In this article, we continue the program started in our previous article of exploring an important class of thermodynamic systems from a geometric point of view. In order to model the time evolution of systems verifying the two laws of thermodynamics, we show that the notion of evolution vector field is adequate to appropriately describe such systems. Our formulation naturally arises from the intr… ▽ More In this article, we continue the program started in our previous article of exploring an important class of thermodynamic systems from a geometric point of view. In order to model the time evolution of systems verifying the two laws of thermodynamics, we show that the notion of evolution vector field is adequate to appropriately describe such systems. Our formulation naturally arises from the introduction of a skew-symmetric bracket to which numerical methods based on discrete gradients fit nicely. Moreover, we study the corresponding Lagrangian and Hamiltonian formalism, discussing the fundamental principles from which the equations are derived. An important class of systems that is naturally covered by our formalism are composed thermodynamic systems, which are described by at least two thermal variables and exchange heat between its components.}. △ Less

Submitted 14 December, 2020; originally announced December 2020.

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

MSC Class: 37J55 (Primary) 37D35; 70G45; 80M25 (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

Optimal control, contact dynamics and Herglotz variational problem

Authors: Manuel de León, Manuel Lainz, Miguel C. Muñoz-Lecanda

Abstract: In this paper we combine two main topics in mechanics and optimal control theory: contact Hamiltonian systems and Pontryagin Maximum Principle. As an important result, among others, we develop a contact Pontryagin Maximum Principle that permits to deal with optimal control problems with dissipation. We also consider the Herglotz optimal control problem, which is simultaneously a generalization of… ▽ More In this paper we combine two main topics in mechanics and optimal control theory: contact Hamiltonian systems and Pontryagin Maximum Principle. As an important result, among others, we develop a contact Pontryagin Maximum Principle that permits to deal with optimal control problems with dissipation. We also consider the Herglotz optimal control problem, which is simultaneously a generalization of the Herglotz variational principle and an optimal control problem. An application to the study of a thermodynamic system is provided. △ Less

Submitted 25 June, 2020; originally announced June 2020.

MSC Class: 49J15; 37J55 (Primary) 80M50; 70Q05 (Secondary)

On the geometry of discrete contact mechanics

Authors: Alexandre Anahory Simoes, David Martín de Diego, Manuel de León, Manuel Lainz Valcázar

Abstract: In this paper, we continue the construction of variational integrators adapted to contact geometry started in \cite{VBS}, in particular, we introduce a discrete Herglotz Principle and the corresponding discrete Herglotz Equations for a discrete Lagrangian in the contact setting. This allows us to develop convenient numerical integrators for contact Lagrangian systems that are conformally contact b… ▽ More In this paper, we continue the construction of variational integrators adapted to contact geometry started in \cite{VBS}, in particular, we introduce a discrete Herglotz Principle and the corresponding discrete Herglotz Equations for a discrete Lagrangian in the contact setting. This allows us to develop convenient numerical integrators for contact Lagrangian systems that are conformally contact by construction. The existence of an exact Lagrangian function is also discussed. △ Less

Submitted 26 March, 2020; originally announced March 2020.

MSC Class: Primary 34C25; Secondary 37E40; 70K40

Contact Hamiltonian systems with nonholonomic constraints

Authors: Manuel de León, Víctor Manuel Jiménez, Manuel Lainz Valcázar

Abstract: In this article we develop a theory of contact systems with nonholonomic constraints. We obtain the dynamics from Herglotz's variational principle, by restricting the variations so that they satisfy the nonholonomic constraints. We prove that the nonholonomic dynamics can be obtained as a projection of the unconstrained Hamiltonian vector field. Finally, we construct the nonholonomic bracket, whic… ▽ More In this article we develop a theory of contact systems with nonholonomic constraints. We obtain the dynamics from Herglotz's variational principle, by restricting the variations so that they satisfy the nonholonomic constraints. We prove that the nonholonomic dynamics can be obtained as a projection of the unconstrained Hamiltonian vector field. Finally, we construct the nonholonomic bracket, which is an almost Jacobi bracket on the space of observables and provides the nonholonomic dynamics. △ Less

Submitted 13 November, 2019; originally announced November 2019.

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

Infinitesimal symmetries in Contact Hamiltonian systems

Authors: Manuel de León, Manuel Lainz Valcázar

Abstract: In this paper, we extend the well-known Noether theorem for Lagrangian systems to contact Lagrangian systems. We introduce a classification of infinitesimal symmetries and obtain the corresponding dissipated quantities. We notice that in contact dynamics, the existence of infinitesimal symmetries does not produce conserved quantities, but functions that dissipate at the same rate than the energy;… ▽ More In this paper, we extend the well-known Noether theorem for Lagrangian systems to contact Lagrangian systems. We introduce a classification of infinitesimal symmetries and obtain the corresponding dissipated quantities. We notice that in contact dynamics, the existence of infinitesimal symmetries does not produce conserved quantities, but functions that dissipate at the same rate than the energy; so, the corresponding quotients are true conserved quantities. △ Less

Submitted 7 October, 2019; v1 submitted 17 September, 2019; originally announced September 2019.

Singular Lagrangians and precontact Hamiltonian Systems

Authors: Manuel de León, Manuel Lainz Valcázar

Abstract: In this paper we discuss singular Lagrangian systems on the framework of contact geometry. These systems exhibit a dissipative behavior in contrast with the symplectic scenario. We develop a constraint algorithm similar to the presymplectic one studied by Gotay and Nester (the geometrization of the well-known Dirac-Bergman algorithm). We also construct the Hamiltonian counterpart and prove the equ… ▽ More In this paper we discuss singular Lagrangian systems on the framework of contact geometry. These systems exhibit a dissipative behavior in contrast with the symplectic scenario. We develop a constraint algorithm similar to the presymplectic one studied by Gotay and Nester (the geometrization of the well-known Dirac-Bergman algorithm). We also construct the Hamiltonian counterpart and prove the equivalence with the Lagrangian side. A Dirac-Jacobi bracket is constructed similar to the Dirac bracket. △ Less

Submitted 25 April, 2019; originally announced April 2019.

MSC Class: 70H45; 37J55; 70H30

On the homogeneity of non-uniform material bodies

Authors: V. M. Jiménez, M. de León, M. Epstein

Abstract: A groupoid $Ω\left( \mathcal{B} \right)$ called material groupoid is naturally associated to any simple body $\mathcal{B}$. The material distribution is introduced due to the (possible) lack of differentiability of the material groupoid. Thus, the inclusion of these new objects in the theory of material bodies opens the possibility of studying non-uniform bodies. As an example, the material distri… ▽ More A groupoid $Ω\left( \mathcal{B} \right)$ called material groupoid is naturally associated to any simple body $\mathcal{B}$. The material distribution is introduced due to the (possible) lack of differentiability of the material groupoid. Thus, the inclusion of these new objects in the theory of material bodies opens the possibility of studying non-uniform bodies. As an example, the material distribution and its associated singular foliation result in a rigorous and unique subdivision of the material body into strictly smoothly uniform sub-bodies, laminates, filaments and isolated points. Furthermore, the material distribution permits us to present a "measure" of uniformity of a simple body as well as more general definitions of homogeneity for non-uniform bodies. △ Less

Submitted 17 December, 2018; v1 submitted 11 December, 2018; originally announced December 2018.

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

MSC Class: 53D17; 18B40; 20L05; 22A22; 74A45; 53Z05

Contact Hamiltonian Systems

Authors: Manuel Lainz Valcázar, Manuel de León

Abstract: In this paper we study Hamiltonian systems on contact manifolds, which is an appropriate scenario to discuss dissipative systems. We prove a coisotropic reduction theorem similar to the one in symplectic mechanics. In this paper we study Hamiltonian systems on contact manifolds, which is an appropriate scenario to discuss dissipative systems. We prove a coisotropic reduction theorem similar to the one in symplectic mechanics. △ Less

Submitted 8 November, 2018; originally announced November 2018.

MSC Class: 37J55; 70H05; 53D10

Reduction of a Hamilton-Jacobi equation for nonholonomic systems

Authors: Oğul Esen, Manuel de León, Víctor Manuel Jiménez Morales, Cristina Sardón

Abstract: Nonholonomic mechanical systems have been attracting more interest in recent years because of their rich geometric properties and their applications in Engineering. In all generality, we discuss the reduction of a Hamilton-Jacobi theory for systems subject to nonholonomic constraints and that are invariant under the action of a group of symmetries. We consider nonholonomic systems subject to linea… ▽ More Nonholonomic mechanical systems have been attracting more interest in recent years because of their rich geometric properties and their applications in Engineering. In all generality, we discuss the reduction of a Hamilton-Jacobi theory for systems subject to nonholonomic constraints and that are invariant under the action of a group of symmetries. We consider nonholonomic systems subject to linear or nonlinear constraints, with different positioning with respect to the symmetries. We describe the reduction procedure first, to later reconstruct solutions in the unreduced picture, by starting from a reduced Hamilton-Jacobi equation. Examples can be depicted in a wide range of scenarios: from free particles with linear constraints, to vehicle motion. △ Less

Submitted 15 October, 2018; v1 submitted 11 October, 2018; originally announced October 2018.

MSC Class: 37J05; 35F21; 70H20; 53D12; 37J15; 53D20; 37J60

Material groupoids and algebroids

Authors: Marcelo Epstein, Manuel de Leon

Abstract: Lie groupoids and their associated algebroids arise naturally in the study of the constitutive properties of continuous media. Thus, Continuum Mechanics and Differential Geometry illuminate each other in a mutual entanglement of theory and applications. Given any material property, such as the elastic energy or an index of refraction, affected by the state of deformation of the material body, one… ▽ More Lie groupoids and their associated algebroids arise naturally in the study of the constitutive properties of continuous media. Thus, Continuum Mechanics and Differential Geometry illuminate each other in a mutual entanglement of theory and applications. Given any material property, such as the elastic energy or an index of refraction, affected by the state of deformation of the material body, one can automatically associate to it a groupoid. Under conditions of differentiability, this material groupoid is a Lie groupoid. Its associated Lie algebroid plays an important role in the determination of the existence of material defects, such as dislocations. This paper presents a rather intuitive treatment of these ideas. △ Less

Submitted 23 December, 2017; originally announced December 2017.

MSC Class: 58Z05

Characteristic distribution: An application to material bodies

Authors: V. M. Jiménez, M. de León, M. Epstein

Abstract: Associated to each material body $\mathcal{B}$ there exists a groupoid $Ω\left( \mathcal{B} \right)$ consisting of all the material isomorphisms connecting the points of $\mathcal{B}$. The uniformity character of $\mathcal{B}$ is reflected in the properties of $Ω\left( \mathcal{B} \right)$: $\mathcal{B}$ is uniform if, and only if, $Ω\left( \mathcal{B} \right)$ is transitive. Smooth uniformity cor… ▽ More Associated to each material body $\mathcal{B}$ there exists a groupoid $Ω\left( \mathcal{B} \right)$ consisting of all the material isomorphisms connecting the points of $\mathcal{B}$. The uniformity character of $\mathcal{B}$ is reflected in the properties of $Ω\left( \mathcal{B} \right)$: $\mathcal{B}$ is uniform if, and only if, $Ω\left( \mathcal{B} \right)$ is transitive. Smooth uniformity corresponds to a Lie groupoid and, specifically, to a Lie subgroupoid of the groupoid $Π^1\left({\mathcal B}, {\mathcal B} \right)$ of 1-jets of $\mathcal B$. We consider a general situation when $Ω\left( \mathcal{B} \right)$ is only an algebraic subgroupoid. Even in this case, we can cover $\mathcal{B}$ by a material foliation whose leaves are transitive. The same happens with $Ω\left( \mathcal{B} \right)$ and the corresponding leaves generate transitive Lie groupoids (roughly speaking, the leaves covering $\mathcal B$). This result opens the possibility to study the homogeneity of general material bodies using geometric instruments. △ Less

Submitted 31 January, 2018; v1 submitted 24 November, 2017; originally announced November 2017.

MSC Class: 74A20; 58H05

Lie groupoids and algebroids applied to the study of uniformity and homogeneity of Cosserat media

Authors: V. M. Jiménez, M. de León, M. Esptein

Abstract: A Lie groupoid, called \textit{second-order non-holonomic material Lie groupoid}, is associated in a natural way to any Cosserat media. This groupoid is used to give a new definition of homogeneity which does not depend on a reference crystal. The corresponding Lie algebroid, called \textit{second-order non-holonomic material Lie algebroid}, is used to characterize the homogeneity property of the… ▽ More A Lie groupoid, called \textit{second-order non-holonomic material Lie groupoid}, is associated in a natural way to any Cosserat media. This groupoid is used to give a new definition of homogeneity which does not depend on a reference crystal. The corresponding Lie algebroid, called \textit{second-order non-holonomic material Lie algebroid}, is used to characterize the homogeneity property of the material. We also relate these results with the previously ones in terms of non-holonomic second-order $\overline{G}$-structures. △ Less

Submitted 31 July, 2017; originally announced August 2017.

Comments: arXiv admin note: substantial text overlap with arXiv:1607.04043

Lie groupoids and algebroids applied to the study of uniformity and homogeneity of material bodies

Authors: V. M. Jiménez, M. de León, M. Epstein

Abstract: A Lie groupoid, called \textit{material Lie groupoid}, is associated in a natural way to any elastic material. The corresponding Lie algebroid, called \textit{material algebroid}, is used to characterize the uniformity and the homogeneity properties of the material. The relation to previous results in terms of $G-$structures is discussed in detail. An illustrative example is presented as an applic… ▽ More A Lie groupoid, called \textit{material Lie groupoid}, is associated in a natural way to any elastic material. The corresponding Lie algebroid, called \textit{material algebroid}, is used to characterize the uniformity and the homogeneity properties of the material. The relation to previous results in terms of $G-$structures is discussed in detail. An illustrative example is presented as an application of the theory. △ Less

Submitted 5 November, 2018; v1 submitted 14 July, 2016; originally announced July 2016.

MSC Class: 74A20; 20L05; 58Z05