arXiv subjects

Manuel de León

Publications and source records attributed to Manuel de León.

At least 55 records · Page 3Linked to original sources

arXiv2021

The Hamilton--Jacobi theory for contact Hamiltonian systems

The aim of this paper is to develop a Hamilton--Jacobi theory for contact Hamiltonian systems. We find several forms for a suitable Hamilton-Jacobi equation accordingly to the Hamiltonian and the evolution vector fields for a given Hamiltonian function. We also analyze the corresponding formulation on the symplectification of the contact Hamiltonian system, and establish the relations between these two approaches. In the last section, some examples are discussed.

math-ph↗

arXiv2021

Hamilton-Jacobi Equations for Nonholonomic Reducible Hamiltonian Systems on a Cotangent Bundle

In this paper, for a variety of nonholonomic (reducible) Hamiltonian systems, we first give to various distributional Hamiltonian systems, by analyzing carefully the dynamics and structures of the nonholonomic Hamiltonian systems. Secondly, we derive precisely the geometric constraint conditions of the induced distributional two-form for the nonholonomic dynamical vector field, which are called the Type I and Type II of Hamilton-Jacobi equations. Thirdly, we generalize the above results for the nonholonomic reducible Hamiltonian systems with symmetries, as well as with momentum maps, and prove two types of Hamilton-Jacobi theorems for various nonholonomic reduced distributional Hamiltonian systems. Finally, as an application, we give two examples to illustrate the theoretical results. These researches reveal the deeply internal relationships of the nonholonomic constraints, the induced (resp. reduced) distributional two-forms and the dynamical vector fields of the nonholonomic Hamiltonian system and its various distributional Hamiltonian systems.

math.SG↗

arXiv2021

The Herglotz principle and vakonomic dynamics

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.

math-ph↗

arXiv2021

A review on contact Hamiltonian and Lagrangian systems

Contact Hamiltonian dynamics is a subject that has still a short history, but with relevant applications in many areas: thermodynamics, cosmology, control theory, and neurogeometry, among others. In recent years there has been a great effort to study this type of dynamics both in theoretical aspects and in its potential applications in geometric mechanics and mathematical physics. This paper is intended to be a review of some of the results that the authors and their collaborators have recently obtained on the subject.

math-ph↗

arXiv2021

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

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.

math-ph↗

arXiv2021

Higher-order contact mechanics

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.

math-ph↗

arXiv2020

The geometry of some thermodynamic systems

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.}.

math-ph↗

arXiv2020

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

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.

math-ph↗

arXiv2020

Unified Lagrangian-Hamiltonian formalism for contact systems

We present a unified geometric framework for describing both the Lagrangian and Hamiltonian formalisms of contact autonomous mechanical systems, which is based on the approach of the pionnering work of R. Skinner and R. Rusk. This framework permits to skip the second order differential equation problem, which is obtained as a part of the constraint algorithm (for singular or regular Lagrangians), and is specially useful to describe singular Lagrangian systems. Some examples are also discussed to illustrate the method.

math-ph↗

arXiv2020

Optimal control, contact dynamics and Herglotz variational problem

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.

math.OC↗

arXiv2020

Contact geometry for simple thermodynamical systems with friction

Using contact geometry we give a new characterization of a simple but important class of thermodynamical systems which naturally satisfy the first law of thermodynamics (total energy preservation) and the second law (increase of entropy). We completely clarify its qualitative dynamics, the underlying geometrical structures and we show how to use discrete gradient methods.

math-ph↗

arXiv2020

On the geometry of discrete contact mechanics

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.

math-ph↗

arXiv2020

Cauchy data space and multisymplectic formulation of conformal classical field theories

In this article we inspect the dynamics of classical field theories with a local conformal behavior. Our interest in the multisymplectic setting comes from its suitable description of field theories, and the conformal character has been added to account for field theories that are scale invariant, flat spaces, and because some conformal fields can be exactly solved or classified. In particular, we will solve the example of a conformal scalar field using the geometric Hamilton-Jacobi theory that is explicitly proposed for conformal fields on a multisymplectic manifold. To complete the geometric approach to study field theories, we propose the Hamilton-Jacobi theory for conformal fields in a Cauchy data space, in which space and time are split separately and the dynamics is depicted in an infinite-dimensional manifold.

math-ph↗

arXiv2019

The globalization problem of the Hamilton-DeDonder-Weyl equations on a local $k$-symplectic framework

In this paper we aim at addressing the globalization problem of Hamilton-DeDonder-Weyl equations on a local $k$-symplectic framework and we introduce the notion of {\it locally conformal $k$-symplectic (l.c.k-s.) manifolds}. This formalism describes the dynamical properties of physical systems that locally behave like multi-Hamiltonian systems. Here, we describe the local Hamiltonian properties of such systems, but we also provide a global outlook by introducing the global Lee one-form approach. In particular, the dynamics will be depicted with the aid of the Hamilton--Jacobi equation, which is specifically proposed in a l.c.k-s manifold.

math-ph↗

arXiv2019

Contact Hamiltonian systems with nonholonomic constraints

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.

math-ph↗

arXiv2019

Infinitesimal symmetries in Contact Hamiltonian systems

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.

math-ph↗

arXiv2019

Hamilton-Jacobi Formalism on Locally Conformally Symplectic Manifolds

In this article we provide a Hamilton-Jacobi formalism in locally conformally symplectic manifolds. Our interest in the Hamilton-Jacobi theory comes from the suitability of this theory as an integration method for dynamical systems, whilst our interest in the locally conformal character will account for physical theories described by Hamiltonians defined on well-behaved line bundles, whose dynamic takes place in open subsets of the general manifold. We present a local l.c.s. Hamilton-Jacobi in subsets of the general manifold, and then provide a global view by using the Lichnerowicz-deRham differential. We show a comparison between the global and local description of a l.c.s. Hamilton--Jacobi theory, and how actually the local behavior can be glued to retrieve the global behavior of the Hamilton-Jacobi theory.

math-ph↗

arXiv2019

Singular Lagrangians and precontact Hamiltonian Systems

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.

math-ph↗