Showing 1–39 of 39 results for author: Muñoz-Lecanda, M C

Practical Introduction to Action-Dependent Field Theories

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

Abstract: Action-dependent field theories are systems where the Lagrangian or Hamiltonian depends on new variables that encode the action. They model a larger class of field theories, including non-conservative behavior, while maintaining a well-defined notion of symmetries and a Noether theorem. This makes them especially suited for open systems. After a conceptual introduction, we make a quick presentatio… ▽ More Action-dependent field theories are systems where the Lagrangian or Hamiltonian depends on new variables that encode the action. They model a larger class of field theories, including non-conservative behavior, while maintaining a well-defined notion of symmetries and a Noether theorem. This makes them especially suited for open systems. After a conceptual introduction, we make a quick presentation of a new mathematical framework for action-dependent field theory: multicontact geometry. The formalism is illustrated with a variety of action-dependent Lagrangians, some of which are regular and others singular, derived from well-known theories whose Lagrangians have been modified to incorporate action-dependent terms. Detailed computations are provided, including the constraint algorithm for the singular cases, in both the Lagrangian and Hamiltonian formalisms. These are the one-dimensional wave equation, the Klein-Gordon equation and the telegrapher equation, Maxwell's electromagnetism, Metric-affine gravity, the heat equation and Burguers' equation, the Bosonic string theory, and (2+1)-dimensional gravity and Chern-Simons equation. △ Less

Submitted 4 April, 2025; v1 submitted 12 September, 2024; originally announced September 2024.

Comments: 34 pages, plus appendix and references. The paper has been substantially improved. A better explanation of the results is presented. New subdivisions, a list notation and diagrams have been added to add clarity and make the text more readable. Some results have been improved. Notational errors and misprints have been corrected along the paper

MSC Class: 70S05; 70S10; 53D10; 35R01

Geometry of Mechanics

Authors: Miguel C. Muñoz-Lecanda, Narciso Román-Roy

Abstract: The aim of this work is to study the geometry underlying mechanics and its application to describe autonomous and nonautonomous conservative dynamical systems of different types; as well as dissipative dynamical systems. We use different geometric descriptions to study the main properties and characteristics of these systems; such as their Lagrangian, Hamiltonian and unified formalisms, their symm… ▽ More The aim of this work is to study the geometry underlying mechanics and its application to describe autonomous and nonautonomous conservative dynamical systems of different types; as well as dissipative dynamical systems. We use different geometric descriptions to study the main properties and characteristics of these systems; such as their Lagrangian, Hamiltonian and unified formalisms, their symmetries, the variational principles, and others. The study is done mainly for the regular case, although some comments and explanations about singular systems are also included. △ Less

Submitted 6 May, 2025; v1 submitted 23 January, 2024; originally announced January 2024.

Comments: 234 pages. These notes are a preliminary and partial version of the contents of the homonymous book

MSC Class: 53B20; 53B21; 53D05; 53D10; 53D20; 53D22; 53Z05; 58A30; 70A05; 70F20; 70F25; 70G10; 70G45; 70G65; 70G75; 70H03; 70H05; 70H15; 70H20; 70H25; 70H33

Journal ref: Advanced Textbooks in Mathematics, World Scientific. 2025

Sundman transformation and alternative tangent structuresSundman transformation and alternative tangent structures

Authors: José F. Cariñena, Eduardo Martínez, Miguel C. Muñoz-Lecanda

Abstract: A geometric approach to Sundman transformation defined by basic functions for systems of second-order differential equations is developed and the necessity of a change of the tangent structure by means of the function defining the Sundman transformation is shown. Among other applications of such theory we study the linearisability of a system of second-order differential equations and in particula… ▽ More A geometric approach to Sundman transformation defined by basic functions for systems of second-order differential equations is developed and the necessity of a change of the tangent structure by means of the function defining the Sundman transformation is shown. Among other applications of such theory we study the linearisability of a system of second-order differential equations and in particular the simplest case of a second-order differential equation. The theory is illustrated with several examples. △ Less

Submitted 1 April, 2023; originally announced April 2023.

MSC Class: 34A34; 37N05; 53C15; 70F16

Journal ref: J. Phys. A: Math. Theor. 56 (2023)

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)

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

Infinitesimal time reparametrisation and its applications

Authors: José F. Cariñena, Eduardo Martínez, Miguel C. Muñoz-Lecanda

Abstract: A geometric approach to Sundman infinitesimal time-reparametrisation is given and some of its applications are used to illustrate the general theory. Special emphasis is put on geodesic motions and systems described by mechanical type Lagrangians. The Jacobi metric appears as a particular case of a Sundman transformation. A geometric approach to Sundman infinitesimal time-reparametrisation is given and some of its applications are used to illustrate the general theory. Special emphasis is put on geodesic motions and systems described by mechanical type Lagrangians. The Jacobi metric appears as a particular case of a Sundman transformation. △ Less

Submitted 19 February, 2022; originally announced February 2022.

Comments: To appear in Journal of Nonlinear Mathematical Physics

MSC Class: 34A34; 37N05; 53C15; 70F16

Constrained Lagrangian dissipative contact dynamics

Authors: Manuel de León, Manuel Laínz, Miguel C. Muñoz-Lecanda, Narciso Román-Roy

Abstract: We show that the contact dynamics obtained from the Herglotz variational principle can be described as a constrained nonholonomic or vakonomic ordinary Lagrangian system depending on a dissipative variable with an adequate choice of one constraint. As a consequence we obtain the dynamics of contact nonholonomic and vakonomic systems as ordinary variational calculus with constraints on a Lagrangian… ▽ More We show that the contact dynamics obtained from the Herglotz variational principle can be described as a constrained nonholonomic or vakonomic ordinary Lagrangian system depending on a dissipative variable with an adequate choice of one constraint. As a consequence we obtain the dynamics of contact nonholonomic and vakonomic systems as ordinary variational calculus with constraints on a Lagrangian with a dissipative variable. The variation of the energy and the other dissipative quantities are also obtained giving the usual results. △ Less

Submitted 1 February, 2022; v1 submitted 11 September, 2021; originally announced September 2021.

Comments: 32 pp. New sections are added (3.4, 4.3, 5.5). Other minor changes. The bibliography is updated

MSC Class: Primary: 37J55; 53D10; 70G75. Secondary: 37J06; 70G45; 70H03

Journal ref: J. Math. Phys. 62 (12) (2021) 122902

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)

Higher-order contact mechanics

Authors: Manuel de León, Jordi Gaset, Manuel Laínz, Miguel C. Muñoz-Lecanda, Narciso Román-Roy

Abstract: We present a complete theory of higher-order autonomous contact mechanics, which allows us to describe higher-order dynamical systems with dissipation. The essential tools for the theory are the extended higher-order tangent bundles, ${\rm T}^kQ\times{\mathbb R}$, whose geometric structures are previously introduced in order to state the Lagrangian and Hamiltonian formalisms for these kinds of sys… ▽ More We present a complete theory of higher-order autonomous contact mechanics, which allows us to describe higher-order dynamical systems with dissipation. The essential tools for the theory are the extended higher-order tangent bundles, ${\rm T}^kQ\times{\mathbb R}$, whose geometric structures are previously introduced in order to state the Lagrangian and Hamiltonian formalisms for these kinds of systems, including their variational formulation. The variational principle, the contact forms, and the geometric dynamical equations are obtained by using those structures and generalizing the standard formulation of contact Lagrangian and Hamiltonian systems. As an alternative approach, we develop a unified description that encompasses the Lagrangian and Hamiltonian equations as well as their relationship through the Legendre map; all of them are obtained from the contact dynamical equations and the constraint algorithm that is implemented because, in this formalism, the dynamical systems are always singular. Some interesting examples are finally analyzed using these geometric formulations. △ Less

Submitted 1 February, 2021; v1 submitted 25 September, 2020; originally announced September 2020.

Comments: 39 pp. Minor changes. References updated

MSC Class: Primary: 37J55; 53D10; 70G75; 70H50. Secondary: 37J05; 70G45; 70H03; 70H05

Journal ref: Ann. Phys. {\bf 425} (2021) 168396

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)

A $k$-contact Lagrangian formulation for nonconservative field theories

Authors: Jordi Gaset, Xavier Gràcia, Miguel C. Muñoz-Lecanda, Xavier Rivas, Narciso Román-Roy

Abstract: We present a geometric Lagrangian formulation for first-order field theories with dissipation. This formulation is based on the $k$-contact geometry introduced in a previous paper, and gathers contact Lagrangian mechanics with $k$-symplectic Lagrangian field theory together. We also study the symmetries and dissipation laws for these nonconservative theories, and analyze some examples. We present a geometric Lagrangian formulation for first-order field theories with dissipation. This formulation is based on the $k$-contact geometry introduced in a previous paper, and gathers contact Lagrangian mechanics with $k$-symplectic Lagrangian field theory together. We also study the symmetries and dissipation laws for these nonconservative theories, and analyze some examples. △ Less

Submitted 24 February, 2020; originally announced February 2020.

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

New contributions to the Hamiltonian and Lagrangian contact formalisms for dissipative mechanical systems and their symmetries

Authors: Jordi Gaset, Xavier Gràcia, Miguel C. Muñoz-Lecanda, Xavier Rivas, Narciso Román-Roy

Abstract: We provide new insights into the contact Hamiltonian and Lagrangian formulations of dissipative mechanical systems. In particular, we state a new form of the contact dynamical equations, and we review two recently presented Lagrangian formalisms, studying their equivalence. We define several kinds of symmetries for contact dynamical systems, as well as the notion of dissipation laws, prove a dissi… ▽ More We provide new insights into the contact Hamiltonian and Lagrangian formulations of dissipative mechanical systems. In particular, we state a new form of the contact dynamical equations, and we review two recently presented Lagrangian formalisms, studying their equivalence. We define several kinds of symmetries for contact dynamical systems, as well as the notion of dissipation laws, prove a dissipation theorem and give a way to construct conserved quantities. Some well-known examples of dissipative systems are discussed. △ Less

Submitted 13 June, 2020; v1 submitted 5 July, 2019; originally announced July 2019.

Comments: 24 pp. This is the final version of the article. Some minor misprints are corrected. Some bibliographycal references are uploaded

MSC Class: 37J55; 53D10; 70H05; 70H33; 70G45; 70G65; 70H03

Journal ref: Int. J. Geom. Meth. Mod. Phys. {\bf 17}(6) 2050090 (2020)

A contact geometry framework for field theories with dissipation

Authors: Jordi Gaset, Xavier Gràcia, Miguel C. Muñoz-Lecanda, Xavier Rivas, Narciso Román-Roy

Abstract: We develop a new geometric framework suitable for dealing with Hamiltonian field theories with dissipation. To this end we define the notions of $k$-contact structure and $k$-contact Hamiltonian system. This is a generalization of both the contact Hamiltonian systems in mechanics and the $k$-symplectic Hamiltonian systems in field theory. The concepts of symmetries and dissipation laws are introdu… ▽ More We develop a new geometric framework suitable for dealing with Hamiltonian field theories with dissipation. To this end we define the notions of $k$-contact structure and $k$-contact Hamiltonian system. This is a generalization of both the contact Hamiltonian systems in mechanics and the $k$-symplectic Hamiltonian systems in field theory. The concepts of symmetries and dissipation laws are introduced and developed. Two relevant examples are analyzed in detail: the damped vibrating string and Burgers' equation. △ Less

Submitted 23 February, 2020; v1 submitted 17 May, 2019; originally announced May 2019.

Comments: 26 pp. Minor corrections. The bibliography has been updated

MSC Class: 53C15; 53D10; 58A10; 70S05; 70S10; 35R01

Journal ref: Annals of Physics Volume 414, March 2020, 168092

Multisymplectic structures and invariant tensors for Lie systems

Authors: X. Gràcia, J. de Lucas, M. C. Muñoz-Lecanda, S. Vilariño

Abstract: A Lie system is the non-autonomous system of differential equations describing the integral curves of a non-autonomous vector field taking values in a finite-dimensional Lie algebra of vector fields, a so-called Vessiot--Guldberg Lie algebra. This work pioneers the analysis of Lie systems admitting a Vessiot--Guldberg Lie algebra of Hamiltonian vector fields relative to a multisymplectic structure… ▽ More A Lie system is the non-autonomous system of differential equations describing the integral curves of a non-autonomous vector field taking values in a finite-dimensional Lie algebra of vector fields, a so-called Vessiot--Guldberg Lie algebra. This work pioneers the analysis of Lie systems admitting a Vessiot--Guldberg Lie algebra of Hamiltonian vector fields relative to a multisymplectic structure: the multisymplectic Lie systems. Geometric methods are developed to consider a Lie system as a multisymplectic one. By attaching a multisymplectic Lie system via its multisymplectic structure with a tensor coalgebra, we find methods to derive superposition rules, constants of motion, and invariant tensor fields relative to the evolution of the multisymplectic Lie system. Our results are illustrated with examples occurring in physics, mathematics, and control theory. △ Less

Submitted 19 August, 2018; originally announced August 2018.

Comments: 33 pages

MSC Class: 34A26 (primary); 34A05; 34C14; 53C15; 16T15 (secondary)

Connections and jet fields

Authors: A. Echeverría-Enríquez, M. C. Muñoz-Lecanda, N. Román-Roy

Abstract: In this review paper we discuss the different interpretations of the concept of connection in a fiber bundle and in a jet bundle, and relate it with first and second-order systems of partial differential equations (PDE's) and multivector fields. As particular cases we analyze the concepts of linear connections and connections in a manifold. In this review paper we discuss the different interpretations of the concept of connection in a fiber bundle and in a jet bundle, and relate it with first and second-order systems of partial differential equations (PDE's) and multivector fields. As particular cases we analyze the concepts of linear connections and connections in a manifold. △ Less

Submitted 21 July, 2018; v1 submitted 28 March, 2018; originally announced March 2018.

Comments: 21 pp. A new section (5) has been added. On it, new concepts, results and properties about connections in a manifold have been developed. arXiv admin note: text overlap with arXiv:dg-ga/9505004

Remarks on multisymplectic reduction

Authors: Arturo Echeverría-Enríquez, Miguel C. Muñoz-Lecanda, Narciso Román-Roy

Abstract: The problem of reduction of multisymplectic manifolds by the action of Lie groups is stated and discussed, as a previous step to give a fully covariant scheme of reduction for classical field theories with symmetries. The problem of reduction of multisymplectic manifolds by the action of Lie groups is stated and discussed, as a previous step to give a fully covariant scheme of reduction for classical field theories with symmetries. △ Less

Submitted 5 January, 2023; v1 submitted 28 December, 2017; originally announced December 2017.

Comments: 9 pages. The definition of bracket of Hamiltonian forms has been corrected (and an acknowledgment to Prof. C. Blacker has been added in the "Acknowledgments")

MSC Class: 53D05; 53D20; 55R10; 57M60; 57S25; 70S05; 70S10

Structural aspects of Hamilton-Jacobi theory

Authors: José F. Cariñena, Xavier Gràcia, Giuseppe Marmo, Eduardo Martínez, Miguel C. Muñoz-Lecanda, Narciso Román-Roy

Abstract: In our previous papers [11,13] we showed that the Hamilton-Jacobi problem can be regarded as a way to describe a given dynamics on a phase space manifold in terms of a family of dynamics on a lower-dimensional manifold. We also showed how constants of the motion help to solve the Hamilton-Jacobi equation. Here we want to delve into this interpretation by considering the most general case: a dynami… ▽ More In our previous papers [11,13] we showed that the Hamilton-Jacobi problem can be regarded as a way to describe a given dynamics on a phase space manifold in terms of a family of dynamics on a lower-dimensional manifold. We also showed how constants of the motion help to solve the Hamilton-Jacobi equation. Here we want to delve into this interpretation by considering the most general case: a dynamical system on a manifold that is described in terms of a family of dynamics (`slicing vector fields') on lower-dimensional manifolds. We identify the relevant geometric structures that lead from this decomposition of the dynamics to the classical Hamilton-Jacobi theory, by considering special cases like fibred manifolds and Hamiltonian dynamics, in the symplectic framework and the Poisson one. We also show how a set of functions on a tangent bundle can determine a second-order dynamics for which they are constants of the motion. △ Less

Submitted 8 April, 2016; v1 submitted 1 November, 2015; originally announced November 2015.

Comments: 26 pages. Minor changes (some minor mistakes are corrected)

MSC Class: 70H20; 70G45

Journal ref: International Journal of Geometric Methods in Modern Physics Vol. 13 (2016) 1650017 (28 pages)

Presymplectic high order maximum principle

Authors: M. Barbero-Liñán, M. C. Muñoz-Lecanda

Abstract: Pontryagin's Maximum Principle is an outstanding result for solving optimal control problems by means of optimizing a specific function on some particular variables, the so called controls. However, this is not always enough for solving all these problems. A high order maximum principle (Krener, 1977) must be used in order to obtain more necessary conditions for optimality. These new conditions de… ▽ More Pontryagin's Maximum Principle is an outstanding result for solving optimal control problems by means of optimizing a specific function on some particular variables, the so called controls. However, this is not always enough for solving all these problems. A high order maximum principle (Krener, 1977) must be used in order to obtain more necessary conditions for optimality. These new conditions determine candidates to be optimal controls for a wider range of optimal control problems. Here, we focus on control-affine systems. Krener's high order perturbations are redefined following the notions introduced in Aguilar-Lewis (2008). A weaker version of Krener's high order maximum principle is stated in the framework of presymplectic geometry. As a result, the presymplectic constraint algorithm in the sense of Gotay-Nester-Hinds (1979) can be used. We establish the connections between the presymplectic constraint algorithm and the candidates to be optimal curves obtained from the necessary conditions in Krener's high order maximum principle. In this paper we obtain weaker geometric necessary conditions for optimality of abnormal solutions than the ones in Krener (1977) and the ones in the weak high order maximum principle. These new necessary conditions are more useful, computationally speaking, for finding curves candidate to be optimal. The theory is supported by describing specifically some of the above-mentioned conditions for some mechanical control systems. △ Less

Submitted 25 October, 2012; originally announced October 2012.

Comments: 13 pages. Old paper, submitted for archival purposes

MSC Class: 49E25; 49J15; 70H05; 70H50; 93.40

$k$-symplectic Pontryagin's Maximum Principle for some families of PDEs

Authors: María Barbero-Liñán, Miguel C. Muñoz-Lecanda

Abstract: An optimal control problem associated with the dynamics of the orientation of a bipolar molecule in the plane can be understood by means of tools in differential geometry. For first time in the literature $k$-symplectic formalism is used to provide the optimal control problems associated to some families of partial differential equations with a geometric formulation. A parallel between the classic… ▽ More An optimal control problem associated with the dynamics of the orientation of a bipolar molecule in the plane can be understood by means of tools in differential geometry. For first time in the literature $k$-symplectic formalism is used to provide the optimal control problems associated to some families of partial differential equations with a geometric formulation. A parallel between the classic formalism of optimal control theory with ordinary differential equations and the one with particular families of partial differential equations is established. This description allows us to state and prove Pontryagin's Maximum Principle on $k$-symplectic formalism. We also consider the unified Skinner-Rusk formalism for optimal control problems governed by an implicit partial differential equation. △ Less

Submitted 25 October, 2012; originally announced October 2012.

Comments: 21 pages

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

Geometric Hamilton-Jacobi Theory for Nonholonomic Dynamical Systems

Authors: J. F. Cariñena, X. Gracia, G. Marmo, E. Martinez, M. C. Muñoz-Lecanda, N. Roman-Roy

Abstract: The geometric formulation of Hamilton--Jacobi theory for systems with nonholonomic constraints is developed, following the ideas of the authors in previous papers. The relation between the solutions of the Hamilton--Jacobi problem with the symplectic structure defined from the Lagrangian function and the constraints is studied. The concept of complete solutions and their relationship with consta… ▽ More The geometric formulation of Hamilton--Jacobi theory for systems with nonholonomic constraints is developed, following the ideas of the authors in previous papers. The relation between the solutions of the Hamilton--Jacobi problem with the symplectic structure defined from the Lagrangian function and the constraints is studied. The concept of complete solutions and their relationship with constants of motion, are also studied in detail. Local expressions using quasivelocities are provided. As an example, the nonholonomic free particle is considered. △ Less

Submitted 17 August, 2009; originally announced August 2009.

Comments: 22 pp

MSC Class: 34A26; 37C1; 37J60; 70F25; 70G45; 70H03; 70H05; 70H20

Journal ref: Int.J.Geom.Meth.Mod.Phys. 7 (2010) 431-454

Hamilton-Jacobi theory and the evolution operator

Authors: J. F. Carinena, X. Gracia, E. Martinez, G. Marmo, M. C. Munoz-Lecanda, N. Roman-Roy

Abstract: We present a new setting of the geometric Hamilton-Jacobi theory by using the so-called time-evolution operator K. This new approach unifies both the Lagrangian and the Hamiltonian formulation of the problem developed in a previous paper [7], and can be applied to the case of singular Lagrangian dynamical systems. We present a new setting of the geometric Hamilton-Jacobi theory by using the so-called time-evolution operator K. This new approach unifies both the Lagrangian and the Hamiltonian formulation of the problem developed in a previous paper [7], and can be applied to the case of singular Lagrangian dynamical systems. △ Less

Submitted 6 July, 2009; originally announced July 2009.

Comments: 10 pp

MSC Class: 70H20; 70G45; 70H45; 70H03; 70H05

Journal ref: Mathematical Physics and Field Theory. Julio Abad in memoriam. (2009) 177-186

Unified formalism for non-autonomous mechanical systems

Authors: María Barbero-Liñán, Arturo Echeverrí a-Enríquez, David Martín de Diego, Miguel C. Muñoz-Lecanda, Narciso Román-Roy

Abstract: We present a unified geometric framework for describing both the Lagrangian and Hamiltonian formalisms of regular and non-regular time-dependent mechanical systems, which is based on the approach of Skinner and Rusk (1983). The dynamical equations of motion and their compatibility and consistency are carefully studied, making clear that all the characteristics of the Lagrangian and the Hamiltoni… ▽ More We present a unified geometric framework for describing both the Lagrangian and Hamiltonian formalisms of regular and non-regular time-dependent mechanical systems, which is based on the approach of Skinner and Rusk (1983). The dynamical equations of motion and their compatibility and consistency are carefully studied, making clear that all the characteristics of the Lagrangian and the Hamiltonian formalisms are recovered in this formulation. As an example, it is studied a semidiscretization of the nonlinear wave equation proving the applicability of the proposed formalism. △ Less

Submitted 28 March, 2008; originally announced March 2008.

Comments: 15 pp

MSC Class: 37J05; 53D05; 55R10; 70H03; 70H05

Journal ref: J. Math. Phys. 49(6) (2008) 062902 (14 pp)

Constraint Algorithm for Extremals in Optimal Control Problems

Authors: Maria Barbero-Liñan, Miguel C. Muñoz-Lecanda

Abstract: A geometric method is described to characterize the different kinds of extremals in optimal control theory. This comes from the use of a presymplectic constraint algorithm starting from the necessary conditions given by Pontryagin's Maximum Principle. Apart from the design of this general algorithm useful for any optimal control problem, it is showed how it works to split the set of extremals an… ▽ More A geometric method is described to characterize the different kinds of extremals in optimal control theory. This comes from the use of a presymplectic constraint algorithm starting from the necessary conditions given by Pontryagin's Maximum Principle. Apart from the design of this general algorithm useful for any optimal control problem, it is showed how it works to split the set of extremals and, in particular, to characterize the strict abnormality. An example of strict abnormal extremal for a particular control-affine system is also given. △ Less

Submitted 6 February, 2008; v1 submitted 1 August, 2007; originally announced August 2007.

Comments: 15 pages. The introduction and the abstract have been modified. The paper has been significantly shortened. The previous examples have been substituted for a new example

MSC Class: 34A26; 49J15; 49K15; 70G45; 70H05; 70H45

Skinner-Rusk Unified Formalism for Optimal Control Systems and Applications

Authors: M. Barbero-Liñan, A. Echeverria-Enriquez, D. Martin de Diego, M. C. Muñoz-Lecanda, N. Roman-Roy

Abstract: A geometric approach to time-dependent optimal control problems is proposed. This formulation is based on the Skinner and Rusk formalism for Lagrangian and Hamiltonian systems. The corresponding unified formalism developed for optimal control systems allows us to formulate geometrically the necessary conditions given by Pontryagin's Maximum Principle, provided that the differentiability with res… ▽ More A geometric approach to time-dependent optimal control problems is proposed. This formulation is based on the Skinner and Rusk formalism for Lagrangian and Hamiltonian systems. The corresponding unified formalism developed for optimal control systems allows us to formulate geometrically the necessary conditions given by Pontryagin's Maximum Principle, provided that the differentiability with respect to controls is assumed and the space of controls is open. Furthermore, our method is also valid for implicit optimal control systems and, in particular, for the so-called descriptor systems (optimal control problems including both differential and algebraic equations). △ Less

Submitted 18 October, 2007; v1 submitted 15 May, 2007; originally announced May 2007.

Comments: 26 pp. Replaced with the published version. Section 2 has been shortened. Minor mistakes are corrected

MSC Class: 70G45; 49J15; 34A26; 49K15; 70H03; 70H05

Journal ref: J. Phys. A: Math. Theor. 40 (2007) 12071--12093

Pre-multisymplectic constraint algorithm for field theories

Authors: M. de Leon, J. Marin-Solano, J. C. Marrero, M. C. Munoz-Lecanda, N. Roman-Roy

Abstract: We present a geometric algorithm for obtaining consistent solutions to systems of partial differential equations, mainly arising from singular covariant first-order classical field theories. This algorithm gives an intrinsic description of all the constraint submanifolds. The field equations are stated geometrically, either representing their solutions by integrable connections or, what is equ… ▽ More We present a geometric algorithm for obtaining consistent solutions to systems of partial differential equations, mainly arising from singular covariant first-order classical field theories. This algorithm gives an intrinsic description of all the constraint submanifolds. The field equations are stated geometrically, either representing their solutions by integrable connections or, what is equivalent, by certain kinds of integrable m-vector fields. First, we consider the problem of finding connections or multivector fields solutions to the field equations in a general framework: a pre-multisymplectic fibre bundle (which will be identified with the first-order jet bundle and the multimomentum bundle when Lagrangian and Hamiltonian field theories are considered). Then, the problem is stated and solved in a linear context, and a pointwise application of the results leads to the algorithm for the general case. In a second step, the integrability of the solutions is also studied. Finally, the method is applied to Lagrangian and Hamiltonian field theories and, for the former, the problem of finding holonomic solutions is also analized. △ Less

Submitted 1 June, 2005; originally announced June 2005.

Comments: 30 pp. Presented in the International Workshop on Geometric Methods in Modern Physics (Firenze, April 2005)

MSC Class: 70S05; 58A20; 55R10; 53D99; 53C05; 37J05; 35Q99

Journal ref: Int.J.Geom.Meth.Mod.Phys. 2 (2005) 839

Extended Hamiltonian systems in multisymplectic field theories

Authors: Arturo Echeverria-Enriquez, Manuel de Leon, Miguel C. Munoz-Lecanda, Narciso Roman-Roy

Abstract: We consider Hamiltonian systems in first-order multisymplectic field theories. We review the properties of Hamiltonian systems in the so-called restricted multimomentum bundle, including the variational principle which leads to the Hamiltonian field equations. In an analogous way to how these systems are defined in the so-called extended (symplectic) formulation of non-autonomous mechanics, we i… ▽ More We consider Hamiltonian systems in first-order multisymplectic field theories. We review the properties of Hamiltonian systems in the so-called restricted multimomentum bundle, including the variational principle which leads to the Hamiltonian field equations. In an analogous way to how these systems are defined in the so-called extended (symplectic) formulation of non-autonomous mechanics, we introduce Hamiltonian systems in the extended multimomentum bundle. The geometric properties of these systems are studied, the Hamiltonian equations are analyzed using integrable multivector fields, the corresponding variational principle is also stated, and the relation between the extended and the restricted Hamiltonian systems is established. All these properties are also adapted to certain kinds of submanifolds of the multimomentum bundles in order to cover the case of almost-regular field theories. △ Less

Submitted 19 June, 2006; v1 submitted 1 June, 2005; originally announced June 2005.

Comments: 36 pp. The introduction and the abstract have been rewritten. New references are added and some little mistakes are corrected. The title has been slightly modified

Report number: hdl.handle.net/2117/399 MSC Class: 70S05; 55R10; 53C80

Journal ref: J. Math. Phys. 48(11) (2007) 112901

On some aspects of the geometry of differential equations in physics

Authors: Xavier Gràcia, Miguel C. Muñoz-Lecanda, Narciso Román-Roy

Abstract: In this review paper, we consider three kinds of systems of differential equations, which are relevant in physics, control theory and other applications in engineering and applied mathematics; namely: Hamilton equations, singular differential equations, and partial differential equations in field theories. The geometric structures underlying these systems are presented and commented. The main re… ▽ More In this review paper, we consider three kinds of systems of differential equations, which are relevant in physics, control theory and other applications in engineering and applied mathematics; namely: Hamilton equations, singular differential equations, and partial differential equations in field theories. The geometric structures underlying these systems are presented and commented. The main results concerning these structures are stated and discussed, as well as their influence on the study of the differential equations with which they are related. Furthermore, research to be developed in these areas is also commented. △ Less

Submitted 12 February, 2004; originally announced February 2004.

Comments: 21 pages

MSC Class: 34A09; 34A26; 35Q99; 37J05; 53D05; 53D35; 70H05

Journal ref: Int. J. Geom. Meth. Mod. Phys. 1(3) (2004) 265-284

Lagrangian-Hamiltonian unified formalism for field theory

Authors: A. Echeverría-Enríquez, C. López, J. Marín-Solano, M. C. Muñoz-Lecanda, N. Román-Roy

Abstract: The Rusk-Skinner formalism was developed in order to give a geometrical unified formalism for describing mechanical systems. It incorporates all the characteristics of Lagrangian and Hamiltonian descriptions of these systems (including dynamical equations and solutions, constraints, Legendre map, evolution operators, equivalence, etc.). In this work we extend this unified framework to first-or… ▽ More The Rusk-Skinner formalism was developed in order to give a geometrical unified formalism for describing mechanical systems. It incorporates all the characteristics of Lagrangian and Hamiltonian descriptions of these systems (including dynamical equations and solutions, constraints, Legendre map, evolution operators, equivalence, etc.). In this work we extend this unified framework to first-order classical field theories, and show how this description comprises the main features of the Lagrangian and Hamiltonian formalisms, both for the regular and singular cases. This formulation is a first step toward further applications in optimal control theory for PDE's. △ Less

Submitted 13 February, 2004; v1 submitted 2 December, 2002; originally announced December 2002.

Comments: LaTeX file, 23 pages. Minor changes have been made. References are updated

MSC Class: 51P05; 53C05; 53C80; 55R10; 58A20; 58A30; 70S05

Journal ref: J.Math.Phys. 45 (2004) 360-380

Geometric reduction in optimal control theory with symmetries

Authors: A. Echeverría-Enríquez, J. Marín-Solano, M. C. Muñoz-Lecanda, N. Román-Roy

Abstract: A general study of symmetries in optimal control theory is given, starting from the presymplectic description of this kind of system. Then, Noether's theorem, as well as the corresponding reduction procedure (based on the application of the Marsden-Weinstein theorem adapted to the presymplectic case) are stated both in the regular and singular cases, which are previously described. A general study of symmetries in optimal control theory is given, starting from the presymplectic description of this kind of system. Then, Noether's theorem, as well as the corresponding reduction procedure (based on the application of the Marsden-Weinstein theorem adapted to the presymplectic case) are stated both in the regular and singular cases, which are previously described. △ Less

Submitted 30 January, 2003; v1 submitted 20 June, 2002; originally announced June 2002.

Comments: 24 pages. LaTeX file. The paper has been reorganized. Additional comments have been included in Section 3. The example in Section 5.2 has been revisited. Some references have been added

MSC Class: 37J15; 49K15; 70G45; 70G65

Journal ref: Rep. Math. Phys. 52(1) (2003) 89-113

A geometrical analysis of the field equations in field theory

Authors: A. Echeverría-Enríquez, M. C. Muñoz-Lecanda, N. Román-Roy

Abstract: In this review paper we give a geometrical formulation of the field equations in the Lagrangian and Hamiltonian formalisms of classical field theories (of first order) in terms of multivector fields. This formulation enables us to discuss the existence and non-uniqueness of solutions, as well as their integrability. In this review paper we give a geometrical formulation of the field equations in the Lagrangian and Hamiltonian formalisms of classical field theories (of first order) in terms of multivector fields. This formulation enables us to discuss the existence and non-uniqueness of solutions, as well as their integrability. △ Less

Submitted 15 May, 2001; originally announced May 2001.

Comments: 14 pages. LaTeX file. This is a review paper based on previous works by the same authors

MSC Class: 53C05; 53C80; 55R10; 55R99; 58A20; 70S05

Journal ref: International Journal of Mathematics and Mathematical Sciences 29 (2002) 687-700

Singular Lagrangian Systems on Jet Bundles

Authors: M. de León, J. Marín-Solano, J. C. Marrero, M. C. Muñoz-Lecanda, N. Román-Roy

Abstract: The jet bundle description of time-dependent mechanics is revisited. The constraint algorithm for singular Lagrangians is discussed and an exhaustive description of the constraint functions is given. By means of auxiliary connections we give a basis of constraint functions in the Lagrangian and Hamiltonian sides. An additional description of constraints is also given considering at the same time… ▽ More The jet bundle description of time-dependent mechanics is revisited. The constraint algorithm for singular Lagrangians is discussed and an exhaustive description of the constraint functions is given. By means of auxiliary connections we give a basis of constraint functions in the Lagrangian and Hamiltonian sides. An additional description of constraints is also given considering at the same time compatibility, stability and second-order condition problems. Finally, a classification of the constraints in first and second class is obtained using a cosymplectic geometry setting. Using the second class constraints, a Dirac bracket is introduced, extending the well-known construction by Dirac. △ Less

Submitted 10 May, 2001; originally announced May 2001.

Comments: 65 pages. LaTeX file

MSC Class: 37C10; 37J05; 53C05; 53D05; 55R10; 58A20; 70G45; 70H03; 70H05; 70H45

Journal ref: Fortschritte der Physik 50 (2002) 105-169

On the construction of K-operators in field theories as sections along Legendre maps

Authors: A. Echeverría-Enríquez, J. Marín-Solano, M. C. Muñoz-Lecanda, N. Román-Roy

Abstract: The ``time-evolution operator'' in mechanics is a powerful tool which can be geometrically defined as a vector field along the Legendre map. It has been extensively used by several authors for studying the structure and properties of the dynamical systems (mainly the non-regular ones), such as the relation between the Lagrangian and Hamiltonian formalisms, constraints, and higher-order mechanics… ▽ More The ``time-evolution operator'' in mechanics is a powerful tool which can be geometrically defined as a vector field along the Legendre map. It has been extensively used by several authors for studying the structure and properties of the dynamical systems (mainly the non-regular ones), such as the relation between the Lagrangian and Hamiltonian formalisms, constraints, and higher-order mechanics. This paper is devoted to defining a generalization of this operator for field theories, in a covariant formulation. In order to do this, we also use sections along maps, in particular multivector fields (skew-symmetric contravariant tensor fields of order greater than 1), jet fields and connection forms along the Legendre map. As a first relevant property, we use these geometrical objects to obtain the solutions of the Lagrangian and Hamiltonian field equations, and the equivalence among them (specially for non-regular field theories). △ Less

Submitted 14 May, 2003; v1 submitted 15 March, 2001; originally announced March 2001.

Comments: 35 pages, LaTeX. Replaced with the edited version. The title has been changed. Minor details are corrected

MSC Class: 51P05; 43C05; 53C80; 55R10; 58A20; 58A30; 70S05

Journal ref: Acta Applicandae Mathematicae {\bf 77}(1) (2003) 1-40

Time-dependent Lagrangians invariant by a vector field

Authors: M. C. Muñoz-Lecanda, N. Román-Roy, F. J. Yániz-Fernández

Abstract: We study the reduction of non-autonomous regular Lagrangian systems by symmetries, which are generated by vector fields associated with connections in the configuration bundle of the system $Q\times\real\to\real$. These kind of symmetries generalize the idea of ``time-invariance'' (which corresponds to taking the trivial connection in the above trivial bundle). We study the reduction of non-autonomous regular Lagrangian systems by symmetries, which are generated by vector fields associated with connections in the configuration bundle of the system $Q\times\real\to\real$. These kind of symmetries generalize the idea of ``time-invariance'' (which corresponds to taking the trivial connection in the above trivial bundle). △ Less

Submitted 4 October, 2001; v1 submitted 9 February, 2001; originally announced February 2001.

Comments: 12 pages, LaTeX. Replaced with the published version. Minor changes. The bibliography is updated

Journal ref: Lett.Math.Phys. 57 (2001) 107-121

Geometry of multisymplectic Hamiltonian first-order field theories

Authors: A. Echeverrí a-Enrí quez, M. C. Muñoz-Lecanda, N. Román-Roy

Abstract: In the jet bundle description of Field Theories (multisymplectic models, in particular), there are several choices for the multimomentum bundle where the covariant Hamiltonian formalism takes place. As a consequence, several proposals for this formalism can be stated, and, on each one of them, the differentiable structures needed for setting the formalism are obtained in different ways. In this… ▽ More In the jet bundle description of Field Theories (multisymplectic models, in particular), there are several choices for the multimomentum bundle where the covariant Hamiltonian formalism takes place. As a consequence, several proposals for this formalism can be stated, and, on each one of them, the differentiable structures needed for setting the formalism are obtained in different ways. In this work we make an accurate study of some of these Hamiltonian formalisms, showing their equivalence. In particular, the geometrical structures (canonical or not) needed for the Hamiltonian formalism, are introduced and compared, and the derivation of Hamiltonian field equations from the corresponding variational principle is shown in detail. Furthermore, the Hamiltonian formalism of systems described by Lagrangians is performed, both for the hyper-regular and almost-regular cases. Finally, the role of connections in the construction of Hamiltonian Field theories is clarified. △ Less

Submitted 6 April, 2000; originally announced April 2000.

Comments: 50 pages. LaTeX file

Journal ref: J.Math.Phys.41:7402-7444,2000

Reduction of Presymplectic Manifolds with Symmetry

Authors: A. Echeverrí a-Enrí quez, M. C. Muñoz-Lecanda, N. Román-Roy

Abstract: Actions of Lie groups on presymplectic manifolds are analyzed, introducing the suitable comomentum and momentum maps. The subsequent theory of reduction of presymplectic dynamical systems with symmetry is studied. In this way, we give a method of reduction which enables us to remove gauge symmetries as well as non-gauge ``rigid'' symmetries at once. This method is compared with other step-by-ste… ▽ More Actions of Lie groups on presymplectic manifolds are analyzed, introducing the suitable comomentum and momentum maps. The subsequent theory of reduction of presymplectic dynamical systems with symmetry is studied. In this way, we give a method of reduction which enables us to remove gauge symmetries as well as non-gauge ``rigid'' symmetries at once. This method is compared with other step-by-step reduction procedures. As particular examples in this framework, we discuss the reduction of time-dependent dynamical systems with symmetry, the reduction of a mechanical model of field theories with gauge and non-gauge symmetries, and the gauge reduction of the system made of a conformal particle. △ Less

Submitted 5 November, 1999; originally announced November 1999.

Comments: 36 pages. LaTeX file. To be published in Reviews in Mathematical Physics

Journal ref: Rev. Math. Phys. 11(10) (1999) 1209-1247

Multivector Field Formulation of Hamiltonian Field Theories: Equations and Symmetries

Authors: A. Echeverría-Enríquez, M. C. Muñoz-Lecanda, N. Román-Roy

Abstract: We state the intrinsic form of the Hamiltonian equations of first-order Classical Field theories in three equivalent geometrical ways: using multivector fields, jet fields and connections. Thus, these equations are given in a form similar to that in which the Hamiltonian equations of mechanics are usually given. Then, using multivector fields, we study several aspects of these equations, such as… ▽ More We state the intrinsic form of the Hamiltonian equations of first-order Classical Field theories in three equivalent geometrical ways: using multivector fields, jet fields and connections. Thus, these equations are given in a form similar to that in which the Hamiltonian equations of mechanics are usually given. Then, using multivector fields, we study several aspects of these equations, such as the existence and non-uniqueness of solutions, and the integrability problem. In particular, these problems are analyzed for the case of Hamiltonian systems defined in a submanifold of the multimomentum bundle. Furthermore, the existence of first integrals of these Hamiltonian equations is considered, and the relation between {\sl Cartan-Noether symmetries} and {\sl general symmetries} of the system is discussed. Noether's theorem is also stated in this context, both the ``classical'' version and its generalization to include higher-order Cartan-Noether symmetries. Finally, the equivalence between the Lagrangian and Hamiltonian formalisms is also discussed. △ Less

Submitted 5 November, 1999; v1 submitted 7 July, 1999; originally announced July 1999.

Comments: Some minor mistakes are corrected. Bibliography is updated. To be published in J. Phys. A: Mathematical and General

Journal ref: J. Phys. A 32(48) (1999) 8461-8484

Mathematical Foundations of Geometric Quantization

Authors: A. Echeverria-Enriquez, M. C. Munoz-Lecanda, N. Roman-Roy, C. Victoria-Monge

Abstract: In this review the foundations of Geometric Quantization are explained and discussed. In particular, we want to clarify the mathematical aspects related to the geometrical structures involved in this theory: complex line bundles, hermitian connections, real and complex polarizations, metalinear bundles and bundles of densities and half-forms. In addition, we justify all the steps followed in the… ▽ More In this review the foundations of Geometric Quantization are explained and discussed. In particular, we want to clarify the mathematical aspects related to the geometrical structures involved in this theory: complex line bundles, hermitian connections, real and complex polarizations, metalinear bundles and bundles of densities and half-forms. In addition, we justify all the steps followed in the geometric quantization programme, from the standpoint definition to the structures which are successively introduced. △ Less

Submitted 13 April, 1999; originally announced April 1999.

Comments: LaTeX file, 79 pages

Journal ref: Extracta Mathematicae 13(2) (1998) 135-238

On the Multimomentum Bundles and the Legendre Maps in Field Theories

Authors: A. Echeverria-Enriquez, M. C. Munoz-Lecanda, N. Roman-Roy

Abstract: We study the geometrical background of the Hamiltonian formalism of first-order Classical Field Theories. In particular, different proposals of multimomentum bundles existing in the usual literature (including their canonical structures) are analyzed and compared. The corresponding Legendre maps are introduced. As a consequence, the definition of regular and almost-regular Lagrangian systems is… ▽ More We study the geometrical background of the Hamiltonian formalism of first-order Classical Field Theories. In particular, different proposals of multimomentum bundles existing in the usual literature (including their canonical structures) are analyzed and compared. The corresponding Legendre maps are introduced. As a consequence, the definition of regular and almost-regular Lagrangian systems is reviewed and extended from different but equivalent ways. △ Less

Submitted 21 September, 2001; v1 submitted 12 April, 1999; originally announced April 1999.

Comments: LaTeX file, 19 pages. Replaced with the published version. Minor mistakes are corrected

Journal ref: Rep. Math. Phys. 45(1) (2000) 85-105