arXiv subjects

Manuel de León

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

At least 19 recordsLinked to original sources

arXiv2026

Higher-order and non-geometric symmetries and Noether's theorem in k-cosymplectic Hamiltonian field theory

In this paper, we investigate higher-order symmetries and non-geometric symmetries within the framework of $k$-cosymplectic Hamiltonian field theory. We introduce the concept of generalized infinitesimal symmetry, which relaxes the standard symmetry condition, and then define two new classes of symmetries: higher-order general infinitesimal Cartan symmetries and good non-geometric symmetries. For each of these symmetry classes, we establish a Noether-type theorem that provides explicit conserved quantities for exact $k$-cosymplectic Hamiltonian systems. These results extend and generalize previous work on standard Cartan symmetries in the $k$-cosymplectic setting. Furthermore, we extend all of these results in a parallel fashion to Hamiltonian systems on $k$-symplectic manifolds, demonstrating the unifying nature of our approach. Concrete examples are provided to illustrate the existence and applicability of the proposed symmetries. Our framework offers a systematic geometric treatment of generalized symmetries and their associated conservation laws in classical field theories.

math-ph↗

arXiv2026

From 2-covariant tensor fields to Poisson and Jacobi structures

Poisson and Jacobi structures play a fundamental role in the geometric description of many systems arising in classical mechanics. In most cases, the corresponding bivector field is induced by a non-degenerate 2-covariant tensor field. In this paper, we present a unified framework for constructing the associated brackets by studying the Poisson and Jacobi structures induced by these tensors. More specifically, under suitable assumptions on the tensor, we derive a formula for computing the Schouten--Nijenhuis bracket of the associated bivector field in terms of the curvature of a certain distribution and the exterior derivative of a differential form. This formula provides the obstruction to the existence of a Poisson or Jacobi structure. To illustrate the theory, we recover the classical brackets associated with symplectic, locally conformally symplectic, contact, cosymplectic, and cocontact geometries. Finally, we characterise the conditions under which fat bundles and almost cosymplectic structures of order $p$ determine a Jacobi bracket.

math.DG↗

arXiv2026

A geometric approach to the (generalized) Noether theorem for Hamiltonian systems on (non)-uniform q-contact manifolds

In this paper, we develop a unified Hamiltonian framework for dynamical systems with multiple independent dissipation channels based on q-contact geometry. As an application, we embed an elastoplastic damage model with two internal variables into the non-uniform 2-contact framework, explicitly construct the underlying geometric structure, derive the effective equations of motion, and validate the theoretical predictions through numerical simulations, which confirm the exponential dissipation law and the associated rescaled conserved quantity.

math.SG↗

arXiv2026

The Spencer cohomology and integrability of multisymplectic structures

We study the integrability problem of multisymplectic structures, by identifying them as $G$-structures. Applying the theory of Spencer cohomology, we give conditions on a multisymplectic form for it to admit a chart in which it has constant coefficients. This general study allows for a rough classification of multisymplectic structures of constant linear type, depending on the natural action of the stabilizer group. The theory is illustrated by providing a scheme for proving a Darboux theorem, which is exemplified with several relevant cases. We also build linear types of multisymplectic forms $\varpi_j$ whose flatness strictly requires a condition of order $j$. Finally, the corresponding Lie algebras are computed in the case of field theories.

math.DG↗

arXiv2026

Contact Tulczyjew Geometry for Continuous and Discrete Dissipative Dynamics on Skew Algebroids

We develop a contact Tulczyjew formalism for dissipative dynamics on skew algebroids. Starting from the Tulczyjew morphism of an skew algebroid, we identify its contact extension in a local line-bundle trivialization. The local representative is obtained by adding to the ordinary Tulczyjew morphism the Euler vector field contribution on $E^*$. This gives an intrinsic explanation of the contact term appearing in the local contact Tulczyjew morphism. For a contact generating object, the construction produces an implicit dissipative dynamics on the contact phase side. In local coordinates, the matching condition gives the Euler-Lagrange-Herglotz equations on the skew algebroid. In the hyperregular case, the corresponding contact Hamiltonian equations are recovered by Legendre transformation. We also develop the discrete counterpart of the construction. After fixing a discrete admissibility relation, a discrete contact generating object defines a discrete contact Tulczyjew relation on the contact phase space. Discrete Herglotz extremals are obtained by matching consecutive contact momenta, with the usual conormal interpretation in the constrained case. In the regular tangent-bundle case, this recovers standard contact variational integrators, while in the singular or skew algebroid setting the same construction remains meaningful as an implicit discrete relation rather than an a priori update map.

math-ph↗

arXiv2026

Brackets in multicontact geometry and multisymplectization

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.

math.DG↗

arXiv2026

Geometric integrators for adiabatically closed simple thermodynamic systems

A variational formulation for non-equilibrium thermodynamics was developed by Gay-Balmaz and Yoshimura. In a recent article, the first two authors of the present paper introduced partially cosymplectic structures as a geometric framework for thermodynamic systems, recovering the evolution equations obtained variationally. In this paper, we develop a discrete variational principle for adiabatically closed simple thermodynamic systems, which can be utilised to construct numerical integrators for the dynamics of such systems. The effectiveness of our method is illustrated with several examples.

math-ph↗

arXiv2025

A zoo of coisotropic embeddings

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.

math.DG↗

arXiv2025

A description of classical field equations using extensions of graded Poisson brackets

As it is well-known, Poisson brackets play a fundamental role both in mechanics and in classical field theories. In this paper we develop a theory of extensions of graded Poisson brackets in graded Dirac manifolds. We then show how these extensions can be used to obtain the field equations of a particular theory as well as the evolution of forms of arbitrary order, in a similar way that ordinary Poisson brackets provide in mechanics.

math-ph↗

arXiv2025

Homogeneous bi-Hamiltonian structures and integrable contact systems

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.

math-ph↗

arXiv2025

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

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.

eess.SY↗

arXiv2025

Liouville-Arnold theorem for homogeneous symplectic and contact Hamiltonian systems

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.

math.SG↗

arXiv2025

Practical Introduction to Action-Dependent Field Theories

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.

hep-th↗

arXiv2025

Graded Poisson and Graded Dirac structures

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.

math-ph↗

arXiv2024

A geometric description of some thermodynamical systems

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.

math-ph↗

arXiv2024

Coisotropic embeddings of precosymplectic manifolds

In this paper we provide a complete characterisation of coisotropic embeddings of precosymplectic manifolds into cosymplectic manifolds. This result extends a theorem of Gotay about coisotropic embeddings of presymplectic manifolds. We also extend to the cosymplectic case some results of A. Weinstein which generalise the Darboux theorem. While symplectic geometry is the natural framework for developing Hamiltonian mechanics, cosymplectic geometry is the corresponding framework for time-dependent Hamiltonian mechanics. The motivation behind proving this theorem is to generalise known results for symplectic geometry to cosymplectic geometry, so that they can be used to study time-dependent systems, for instance for the regularization problem of singular Lagrangian systems.

math-ph↗

arXiv2024

Coisotropic reduction in Multisymplectic Geometry

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.

math.SG↗

arXiv2024

Hamilton-Jacobi theory for nonholonomic and forced hybrid mechanical systems

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.

math-ph↗