-
A False Discovery Rate Control Method Using a Fully Connected Hidden Markov Random Field for Neuroimaging Data
Authors:
Taehyo Kim,
Qiran Jia,
Mony J. de Leon,
Hai Shu
Abstract:
False discovery rate (FDR) control methods are essential for voxel-wise multiple testing in neuroimaging data analysis, where hundreds of thousands or even millions of tests are conducted to detect brain regions associated with disease-related changes. Classical FDR control methods (e.g., BH, q-value, and LocalFDR) assume independence among tests and often lead to high false non-discovery rates (F…
▽ More
False discovery rate (FDR) control methods are essential for voxel-wise multiple testing in neuroimaging data analysis, where hundreds of thousands or even millions of tests are conducted to detect brain regions associated with disease-related changes. Classical FDR control methods (e.g., BH, q-value, and LocalFDR) assume independence among tests and often lead to high false non-discovery rates (FNR). Although various spatial FDR control methods have been developed to improve power, they still fall short of jointly addressing three major challenges in neuroimaging applications: capturing complex spatial dependencies, maintaining low variability in both false discovery proportion (FDP) and false non-discovery proportion (FNP) across replications, and achieving computational scalability for high-resolution data. To address these challenges, we propose fcHMRF-LIS, a powerful, stable, and scalable spatial FDR control method for voxel-wise multiple testing. It integrates the local index of significance (LIS)-based testing procedure with a novel fully connected hidden Markov random field (fcHMRF) designed to model complex spatial structures using a parsimonious parameterization. We develop an efficient expectation-maximization algorithm incorporating mean-field approximation, the Conditional Random Fields as Recurrent Neural Networks (CRF-RNN) technique, and permutohedral lattice filtering, reducing the time complexity from quadratic to linear in the number of tests. Extensive simulations demonstrate that fcHMRF-LIS achieves accurate FDR control, lower FNR, reduced variability in FDP and FNP, and a higher number of true positives compared to existing methods. Applied to an FDG-PET dataset from the Alzheimer's Disease Neuroimaging Initiative, fcHMRF-LIS identifies neurobiologically relevant brain regions and offers notable advantages in computational efficiency.
△ Less
Submitted 29 May, 2025; v1 submitted 26 May, 2025;
originally announced May 2025.
-
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.
-
Future Circular Collider Feasibility Study Report: Volume 2, Accelerators, Technical Infrastructure and Safety
Authors:
M. Benedikt,
F. Zimmermann,
B. Auchmann,
W. Bartmann,
J. P. Burnet,
C. Carli,
A. Chancé,
P. Craievich,
M. Giovannozzi,
C. Grojean,
J. Gutleber,
K. Hanke,
A. Henriques,
P. Janot,
C. Lourenço,
M. Mangano,
T. Otto,
J. Poole,
S. Rajagopalan,
T. Raubenheimer,
E. Todesco,
L. Ulrici,
T. Watson,
G. Wilkinson,
A. Abada
, et al. (1439 additional authors not shown)
Abstract:
In response to the 2020 Update of the European Strategy for Particle Physics, the Future Circular Collider (FCC) Feasibility Study was launched as an international collaboration hosted by CERN. This report describes the FCC integrated programme, which consists of two stages: an electron-positron collider (FCC-ee) in the first phase, serving as a high-luminosity Higgs, top, and electroweak factory;…
▽ More
In response to the 2020 Update of the European Strategy for Particle Physics, the Future Circular Collider (FCC) Feasibility Study was launched as an international collaboration hosted by CERN. This report describes the FCC integrated programme, which consists of two stages: an electron-positron collider (FCC-ee) in the first phase, serving as a high-luminosity Higgs, top, and electroweak factory; followed by a proton-proton collider (FCC-hh) at the energy frontier in the second phase.
FCC-ee is designed to operate at four key centre-of-mass energies: the Z pole, the WW production threshold, the ZH production peak, and the top/anti-top production threshold - delivering the highest possible luminosities to four experiments. Over 15 years of operation, FCC-ee will produce more than 6 trillion Z bosons, 200 million WW pairs, nearly 3 million Higgs bosons, and 2 million top anti-top pairs. Precise energy calibration at the Z pole and WW threshold will be achieved through frequent resonant depolarisation of pilot bunches. The sequence of operation modes remains flexible.
FCC-hh will operate at a centre-of-mass energy of approximately 85 TeV - nearly an order of magnitude higher than the LHC - and is designed to deliver 5 to 10 times the integrated luminosity of the HL-LHC. Its mass reach for direct discovery extends to several tens of TeV. In addition to proton-proton collisions, FCC-hh is capable of supporting ion-ion, ion-proton, and lepton-hadron collision modes.
This second volume of the Feasibility Study Report presents the complete design of the FCC-ee collider, its operation and staging strategy, the full-energy booster and injector complex, required accelerator technologies, safety concepts, and technical infrastructure. It also includes the design of the FCC-hh hadron collider, development of high-field magnets, hadron injector options, and key technical systems for FCC-hh.
△ Less
Submitted 25 April, 2025;
originally announced May 2025.
-
Future Circular Collider Feasibility Study Report: Volume 3, Civil Engineering, Implementation and Sustainability
Authors:
M. Benedikt,
F. Zimmermann,
B. Auchmann,
W. Bartmann,
J. P. Burnet,
C. Carli,
A. Chancé,
P. Craievich,
M. Giovannozzi,
C. Grojean,
J. Gutleber,
K. Hanke,
A. Henriques,
P. Janot,
C. Lourenço,
M. Mangano,
T. Otto,
J. Poole,
S. Rajagopalan,
T. Raubenheimer,
E. Todesco,
L. Ulrici,
T. Watson,
G. Wilkinson,
P. Azzi
, et al. (1439 additional authors not shown)
Abstract:
Volume 3 of the FCC Feasibility Report presents studies related to civil engineering, the development of a project implementation scenario, and environmental and sustainability aspects. The report details the iterative improvements made to the civil engineering concepts since 2018, taking into account subsurface conditions, accelerator and experiment requirements, and territorial considerations. I…
▽ More
Volume 3 of the FCC Feasibility Report presents studies related to civil engineering, the development of a project implementation scenario, and environmental and sustainability aspects. The report details the iterative improvements made to the civil engineering concepts since 2018, taking into account subsurface conditions, accelerator and experiment requirements, and territorial considerations. It outlines a technically feasible and economically viable civil engineering configuration that serves as the baseline for detailed subsurface investigations, construction design, cost estimation, and project implementation planning. Additionally, the report highlights ongoing subsurface investigations in key areas to support the development of an improved 3D subsurface model of the region.
The report describes development of the project scenario based on the 'avoid-reduce-compensate' iterative optimisation approach. The reference scenario balances optimal physics performance with territorial compatibility, implementation risks, and costs. Environmental field investigations covering almost 600 hectares of terrain - including numerous urban, economic, social, and technical aspects - confirmed the project's technical feasibility and contributed to the preparation of essential input documents for the formal project authorisation phase. The summary also highlights the initiation of public dialogue as part of the authorisation process. The results of a comprehensive socio-economic impact assessment, which included significant environmental effects, are presented. Even under the most conservative and stringent conditions, a positive benefit-cost ratio for the FCC-ee is obtained. Finally, the report provides a concise summary of the studies conducted to document the current state of the environment.
△ Less
Submitted 25 April, 2025;
originally announced May 2025.
-
Future Circular Collider Feasibility Study Report: Volume 1, Physics, Experiments, Detectors
Authors:
M. Benedikt,
F. Zimmermann,
B. Auchmann,
W. Bartmann,
J. P. Burnet,
C. Carli,
A. Chancé,
P. Craievich,
M. Giovannozzi,
C. Grojean,
J. Gutleber,
K. Hanke,
A. Henriques,
P. Janot,
C. Lourenço,
M. Mangano,
T. Otto,
J. Poole,
S. Rajagopalan,
T. Raubenheimer,
E. Todesco,
L. Ulrici,
T. Watson,
G. Wilkinson,
P. Azzi
, et al. (1439 additional authors not shown)
Abstract:
Volume 1 of the FCC Feasibility Report presents an overview of the physics case, experimental programme, and detector concepts for the Future Circular Collider (FCC). This volume outlines how FCC would address some of the most profound open questions in particle physics, from precision studies of the Higgs and EW bosons and of the top quark, to the exploration of physics beyond the Standard Model.…
▽ More
Volume 1 of the FCC Feasibility Report presents an overview of the physics case, experimental programme, and detector concepts for the Future Circular Collider (FCC). This volume outlines how FCC would address some of the most profound open questions in particle physics, from precision studies of the Higgs and EW bosons and of the top quark, to the exploration of physics beyond the Standard Model. The report reviews the experimental opportunities offered by the staged implementation of FCC, beginning with an electron-positron collider (FCC-ee), operating at several centre-of-mass energies, followed by a hadron collider (FCC-hh). Benchmark examples are given of the expected physics performance, in terms of precision and sensitivity to new phenomena, of each collider stage. Detector requirements and conceptual designs for FCC-ee experiments are discussed, as are the specific demands that the physics programme imposes on the accelerator in the domains of the calibration of the collision energy, and the interface region between the accelerator and the detector. The report also highlights advances in detector, software and computing technologies, as well as the theoretical tools /reconstruction techniques that will enable the precision measurements and discovery potential of the FCC experimental programme. This volume reflects the outcome of a global collaborative effort involving hundreds of scientists and institutions, aided by a dedicated community-building coordination, and provides a targeted assessment of the scientific opportunities and experimental foundations of the FCC programme.
△ Less
Submitted 25 April, 2025;
originally announced May 2025.
-
Double groupoids of composites: applications to uniformity
Authors:
V. M. Jiménez,
M. De León,
M. Epstein
Abstract:
In this paper we present a geometrical framework to study the uniformity of a composite material by means of double groupoid theory. The notions of vertical and horizontal uniformity are introduced, as well as other weaker ones that allows us to study other possible notions of more general uniformity.
In this paper we present a geometrical framework to study the uniformity of a composite material by means of double groupoid theory. The notions of vertical and horizontal uniformity are introduced, as well as other weaker ones that allows us to study other possible notions of more general uniformity.
△ Less
Submitted 3 April, 2025;
originally announced April 2025.
-
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.
-
Reproducibility of Large Eddy Simulations for mixing in stirred tank reactors
Authors:
Cees Haringa,
Ryan Rautenbach,
Héctor Maldonado de Léon,
Pieter Brorens,
Michael Schlüter
Abstract:
CFD simulations are widely used to quantify mixing performance of stirred tanks, for various applications in chemical engineering and biotechnology. Due to advances in GPU computing, more and more often these simulations make use of Large Eddy Simulations (LES), which explicitly simulate the dynamics of large-scale turbulence. Although these simulations are fully deterministic and hence theoretica…
▽ More
CFD simulations are widely used to quantify mixing performance of stirred tanks, for various applications in chemical engineering and biotechnology. Due to advances in GPU computing, more and more often these simulations make use of Large Eddy Simulations (LES), which explicitly simulate the dynamics of large-scale turbulence. Although these simulations are fully deterministic and hence theoretically reproducible, small numerical variations induced by round-off errors combined with differences in distribution and order of operations in parallel computing lead to separation of trajectories, i.e. different flowfield evolutions and different mixing times between repeat simulations, even on the same architecture. We investigate the impact of repeat simulations on the mixing time distribution observed in a $30 \liter$ stirred vessel with two commercial CFD packages, and compare to experimental variability. While the distribution between simulations and experiments is in very good agreement, we do conclude confidence intervals should be reported for CFD simulations of mixing.
△ Less
Submitted 26 March, 2025;
originally announced March 2025.
-
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.
-
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.
-
Coisotropic embeddings of precosymplectic manifolds
Authors:
Manuel de León,
Pablo Soto Martín
Abstract:
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 devel…
▽ More
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.
△ Less
Submitted 20 October, 2024;
originally announced October 2024.
-
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.
-
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.
-
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.
-
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.
-
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.
-
DeepFDR: A Deep Learning-based False Discovery Rate Control Method for Neuroimaging Data
Authors:
Taehyo Kim,
Hai Shu,
Qiran Jia,
Mony J. de Leon
Abstract:
Voxel-based multiple testing is widely used in neuroimaging data analysis. Traditional false discovery rate (FDR) control methods often ignore the spatial dependence among the voxel-based tests and thus suffer from substantial loss of testing power. While recent spatial FDR control methods have emerged, their validity and optimality remain questionable when handling the complex spatial dependencie…
▽ More
Voxel-based multiple testing is widely used in neuroimaging data analysis. Traditional false discovery rate (FDR) control methods often ignore the spatial dependence among the voxel-based tests and thus suffer from substantial loss of testing power. While recent spatial FDR control methods have emerged, their validity and optimality remain questionable when handling the complex spatial dependencies of the brain. Concurrently, deep learning methods have revolutionized image segmentation, a task closely related to voxel-based multiple testing. In this paper, we propose DeepFDR, a novel spatial FDR control method that leverages unsupervised deep learning-based image segmentation to address the voxel-based multiple testing problem. Numerical studies, including comprehensive simulations and Alzheimer's disease FDG-PET image analysis, demonstrate DeepFDR's superiority over existing methods. DeepFDR not only excels in FDR control and effectively diminishes the false nondiscovery rate, but also boasts exceptional computational efficiency highly suited for tackling large-scale neuroimaging data.
△ Less
Submitted 10 March, 2024; v1 submitted 20 October, 2023;
originally announced October 2023.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Inverse problem and equivalent contact systems
Authors:
Manuel de León,
Jordi Gaset,
Manuel Lainz Valcázar
Abstract:
We present several results on the inverse problem and equivalent contactLagrangian systems. These problems naturally lead to consider smooth transformations on the z variable (i.e., reparametrizations of the action). We present the extended contact Lagrangian systems to formalize this notion. With this structure we define horizontal equivalence of Lagrangians, which generalizes the symplectic case…
▽ More
We present several results on the inverse problem and equivalent contactLagrangian systems. These problems naturally lead to consider smooth transformations on the z variable (i.e., reparametrizations of the action). We present the extended contact Lagrangian systems to formalize this notion. With this structure we define horizontal equivalence of Lagrangians, which generalizes the symplectic case. We also present some results on the inverse problem for extended contact systems.
△ Less
Submitted 10 October, 2021;
originally announced October 2021.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
The Hamilton--Jacobi theory for contact Hamiltonian systems
Authors:
Manuel de León,
Manuel Laínz,
Álvaro Muñiz--Brea
Abstract:
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 thes…
▽ More
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.
△ Less
Submitted 5 July, 2021; v1 submitted 31 March, 2021;
originally announced March 2021.
-
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.
-
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.
-
A review on contact Hamiltonian and Lagrangian systems
Authors:
Manuel de León,
Manuel Lainz
Abstract:
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 in…
▽ More
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.
△ Less
Submitted 22 February, 2021; v1 submitted 10 November, 2020;
originally announced November 2020.
-
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.
