-
Numerical Integrators for Mechanical Systems on Lie Groups
Authors:
Viyom Vivek,
David Martin de Diego,
Ravi N Banavar
Abstract:
Retraction maps are known to be the seed for all numerical integrators. These retraction maps-based integrators can be further lifted to tangent and cotangent bundles, giving rise to structure-preserving integrators for mechanical systems. We explore the particular case where the configuration space of our mechanical system is a Lie group with certain symmetries. Here, the integrator simplifies ba…
▽ More
Retraction maps are known to be the seed for all numerical integrators. These retraction maps-based integrators can be further lifted to tangent and cotangent bundles, giving rise to structure-preserving integrators for mechanical systems. We explore the particular case where the configuration space of our mechanical system is a Lie group with certain symmetries. Here, the integrator simplifies based on the property that the tangent and cotangent bundles of Lie groups are trivializable. Finally, we present a framework for designing numerical integrators for Euler- Poincare and Lie-Poisson type equations.
△ Less
Submitted 17 May, 2025;
originally announced May 2025.
-
Discretization of Dirac systems and port-Hamiltonian systems: the role of the constraint algorithm
Authors:
María Barbero-Liñán,
Juan Manuel López Medel,
David Martín de Diego
Abstract:
We study the discretization of (almost-)Dirac structures using the notion of retraction and discretization maps on manifolds. Additionally, we apply the proposed discretization techniques to obtain numerical integrators for port-Hamiltonian systems and we discuss how to merge the discretization procedure and the constraint algorithm associated to systems of implicit differential equations.
We study the discretization of (almost-)Dirac structures using the notion of retraction and discretization maps on manifolds. Additionally, we apply the proposed discretization techniques to obtain numerical integrators for port-Hamiltonian systems and we discuss how to merge the discretization procedure and the constraint algorithm associated to systems of implicit differential equations.
△ Less
Submitted 9 May, 2025;
originally announced May 2025.
-
Retraction maps in optimal control of nonholonomic systems
Authors:
Alexandre Anahory Simoes,
María Barbero Liñán,
Anthony Bloch,
Leonardo Colombo,
David Martín de Diego
Abstract:
In this paper, we compare the performance of different numerical schemes in approximating Pontryagin's Maximum Principle's necessary conditions for the optimal control of nonholonomic systems. Retraction maps are used as a seed to construct geometric integrators for the corresponding Hamilton equations. First, we obtain an intrinsic formulation of a discretization map on a distribution…
▽ More
In this paper, we compare the performance of different numerical schemes in approximating Pontryagin's Maximum Principle's necessary conditions for the optimal control of nonholonomic systems. Retraction maps are used as a seed to construct geometric integrators for the corresponding Hamilton equations. First, we obtain an intrinsic formulation of a discretization map on a distribution $\mathcal{D}$. Then, we illustrate this construction on a particular example for which the performance of different symplectic integrators is examined and compared with that of non-symplectic integrators.
△ Less
Submitted 1 April, 2025;
originally announced April 2025.
-
Retraction maps: A seed of geometric integrators. Part II: Symmetry and reduction
Authors:
María Barbero Liñán,
Juan Carlos Marrero,
David Martín de Diego
Abstract:
In this paper we use retraction and discretization maps (see [Barbero Liñán and Martín de Diego, 2022]) as a tool for deriving in a systematic way numerical integrators preserving geometric structures (such as symplecticity or Lie-Poisson structure), as well as methods that preserve symmetry and the associated discrete momentum map. The classical notion of a retraction map leads to the notion of d…
▽ More
In this paper we use retraction and discretization maps (see [Barbero Liñán and Martín de Diego, 2022]) as a tool for deriving in a systematic way numerical integrators preserving geometric structures (such as symplecticity or Lie-Poisson structure), as well as methods that preserve symmetry and the associated discrete momentum map. The classical notion of a retraction map leads to the notion of discretization map extended here to the Lie algebroid of a Lie groupoid so that the configuration manifold is discretized, instead of the equations of motion. As a consequence, geometric integrators are obtained preserving the Lie-Poisson structure of the corresponding reduced system.
△ Less
Submitted 19 February, 2025;
originally announced February 2025.
-
Variational integrators for optimal control of foldable drones
Authors:
L. Colombo,
J. Giribet,
D. Martín de Diego
Abstract:
Numerical methods that preserves geometric invariants of the system such as energy, momentum and symplectic form, are called geometric integrators. These include variational integrators as an important subclass of geometric integrators. The general idea for those variational integrators is to discretize Hamilton's principle rather than the equations of motion and as a consequence these methods pre…
▽ More
Numerical methods that preserves geometric invariants of the system such as energy, momentum and symplectic form, are called geometric integrators. These include variational integrators as an important subclass of geometric integrators. The general idea for those variational integrators is to discretize Hamilton's principle rather than the equations of motion and as a consequence these methods preserves some of the invariants of the original system (symplecticity, symmetry, good behavior of energy,...). In this paper, we construct variational integrators for control-dependent Lagrangian systems on Lie groups. These integrators are derived via a discrete-time variational principle for discrete-time control-dependent reduced Lagrangians. We employ the variational integrator into optimal control problems for path planning of foldable unmanned aerial vehicles (UAVs). Simulation are shown to validate the performance of the geometric integrator.
△ Less
Submitted 8 February, 2025;
originally announced February 2025.
-
Mechanical Hamiltonization of unreduced $φ$-simple Chaplygin systems
Authors:
Alexandre Anahory Simoes,
Juan Carlos Marrero,
David Martín de Diego
Abstract:
In this paper, we prove that the trajectories of unreduced $φ$-simple Chaplygin kinetic systems are reparametrizations of horizontal geodesics with respect to a modified Riemannian metric. Furthermore, our proof is constructive and these Riemannian metrics, which are not unique, are obtained explicitly in interesting examples. We also extend these results to $φ$-simple Chaplygin mechanical systems…
▽ More
In this paper, we prove that the trajectories of unreduced $φ$-simple Chaplygin kinetic systems are reparametrizations of horizontal geodesics with respect to a modified Riemannian metric. Furthermore, our proof is constructive and these Riemannian metrics, which are not unique, are obtained explicitly in interesting examples. We also extend these results to $φ$-simple Chaplygin mechanical systems (not necessarily kinetic).
△ Less
Submitted 31 October, 2024; v1 submitted 27 September, 2024;
originally announced September 2024.
-
Approximating Symplectic Realizations: A General Framework for the Construction of Poisson Integrators
Authors:
Alejandro Cabrera,
David Martín de Diego,
Miguel Vaquero
Abstract:
While the construction of symplectic integrators for Hamiltonian dynamics is well understood, an analogous general theory for Poisson integrators is still lacking. The main challenge lies in overcoming the singular and non-linear geometric behavior of Poisson structures, such as the presence of symplectic leaves with varying dimensions. In this paper, we propose a general approach for the construc…
▽ More
While the construction of symplectic integrators for Hamiltonian dynamics is well understood, an analogous general theory for Poisson integrators is still lacking. The main challenge lies in overcoming the singular and non-linear geometric behavior of Poisson structures, such as the presence of symplectic leaves with varying dimensions. In this paper, we propose a general approach for the construction of geometric integrators on any Poisson manifold based on independent geometric and dynamic sources of approximation. The novel geometric approximation is obtained by adapting structural results about symplectic realizations of general Poisson manifolds. We also provide an error analysis for the resulting methods and illustrative applications.
△ Less
Submitted 6 September, 2024;
originally announced September 2024.
-
Momentum-based gradient descent methods for Lie groups
Authors:
Cédric M. Campos,
David Martín de Diego,
José Torrente
Abstract:
Polyak's Heavy Ball (PHB; Polyak, 1964), a.k.a. Classical Momentum, and Nesterov's Accelerated Gradient (NAG; Nesterov, 1983) are well know examples of momentum-descent methods for optimization. While the latter outperforms the former, solely generalizations of PHB-like methods to nonlinear spaces have been described in the literature. We propose here a generalization of NAG-like methods for Lie g…
▽ More
Polyak's Heavy Ball (PHB; Polyak, 1964), a.k.a. Classical Momentum, and Nesterov's Accelerated Gradient (NAG; Nesterov, 1983) are well know examples of momentum-descent methods for optimization. While the latter outperforms the former, solely generalizations of PHB-like methods to nonlinear spaces have been described in the literature. We propose here a generalization of NAG-like methods for Lie group optimization based on the variational one-to-one correspondence between classical and accelerated momentum methods (Campos et al., 2023). Numerical experiments are shown.
△ Less
Submitted 14 April, 2024;
originally announced April 2024.
-
Designing Poisson Integrators Through Machine Learning
Authors:
Miguel Vaquero,
David Martín de Diego,
Jorge Cortés
Abstract:
This paper presents a general method to construct Poisson integrators, i.e., integrators that preserve the underlying Poisson geometry. We assume the Poisson manifold is integrable, meaning there is a known local symplectic groupoid for which the Poisson manifold serves as the set of units. Our constructions build upon the correspondence between Poisson diffeomorphisms and Lagrangian bisections, w…
▽ More
This paper presents a general method to construct Poisson integrators, i.e., integrators that preserve the underlying Poisson geometry. We assume the Poisson manifold is integrable, meaning there is a known local symplectic groupoid for which the Poisson manifold serves as the set of units. Our constructions build upon the correspondence between Poisson diffeomorphisms and Lagrangian bisections, which allows us to reformulate the design of Poisson integrators as solutions to a certain PDE (Hamilton-Jacobi). The main novelty of this work is to understand the Hamilton-Jacobi PDE as an optimization problem, whose solution can be easily approximated using machine learning related techniques. This research direction aligns with the current trend in the PDE and machine learning communities, as initiated by Physics- Informed Neural Networks, advocating for designs that combine both physical modeling (the Hamilton-Jacobi PDE) and data.
△ Less
Submitted 29 March, 2024;
originally announced March 2024.
-
From retraction maps to symplectic-momentum numerical integrators
Authors:
María Barbero-Liñán,
Juan Carlos Marrero,
David Martín de Diego
Abstract:
Retraction maps have been generalized to discretization maps in (Barbero Liñán and and Martín de Diego, 2022). Discretization maps are used to systematically derive numerical integrators that preserve the symplectic structure, as well as the discrete momemtum map under the assumption of symmetric preservation for the discretization map. The procedure described here gives a geometrical construction…
▽ More
Retraction maps have been generalized to discretization maps in (Barbero Liñán and and Martín de Diego, 2022). Discretization maps are used to systematically derive numerical integrators that preserve the symplectic structure, as well as the discrete momemtum map under the assumption of symmetric preservation for the discretization map. The procedure described here gives a geometrical construction that can be easily adapted to discretize dynamics on more general structures and open the door to reduction processes.
△ Less
Submitted 26 January, 2024;
originally announced January 2024.
-
Metriplectic Euler-Poincaré equations: smooth and discrete dynamics
Authors:
Anthony Bloch,
Marta Farré Puiggalí,
David Martín de Diego
Abstract:
In this paper we will study some interesting properties of modifications of the Euler-Poincaré equations when we add a special type of dissipative force, so that the equations of motion can be described using the metriplectic formalism. The metriplectic representation of the dynamics allows us to describe the conservation of energy, as well as to guarantee entropy production. Moreover, we describe…
▽ More
In this paper we will study some interesting properties of modifications of the Euler-Poincaré equations when we add a special type of dissipative force, so that the equations of motion can be described using the metriplectic formalism. The metriplectic representation of the dynamics allows us to describe the conservation of energy, as well as to guarantee entropy production. Moreover, we describe the use of discrete gradient systems to numerically simulate the evolution of the continuous metriplectic equations preserving their main properties: preservation of energy and correct entropy production rate.
△ Less
Submitted 10 January, 2024;
originally announced January 2024.
-
Completeness of Riemannian metrics: an application to the control of constrained mechanical systems
Authors:
José Ángel Acosta,
Anthony Bloch,
David Martín de Diego
Abstract:
We introduce a mathematical technique based on modifying a given Riemannian metric and we investigate its applicability to controlling and stabilizing constrained mechanical systems. In essence our result is based on the construction of a complete Riemannian metric in the modified space where the constraint is included. In particular this can be applied to the controlled Lagrangians technique Bloc…
▽ More
We introduce a mathematical technique based on modifying a given Riemannian metric and we investigate its applicability to controlling and stabilizing constrained mechanical systems. In essence our result is based on the construction of a complete Riemannian metric in the modified space where the constraint is included. In particular this can be applied to the controlled Lagrangians technique Bloch et al. [2000b, 2001] modifying its metric to additionally cover mechanical systems with configuration constraints via control. The technique used consists of approximating incomplete Riemannian metrics by complete ones, modifying the evolution near a boundary and finding a controller satisfying a given design criterion.
△ Less
Submitted 25 November, 2023;
originally announced November 2023.
-
Symmetry Preservation in Hamiltonian Systems: Simulation and Learning
Authors:
Miguel Vaquero,
Jorge Cortés,
David Martín de Diego
Abstract:
This work presents a general geometric framework for simulating and learning the dynamics of Hamiltonian systems that are invariant under a Lie group of transformations. This means that a group of symmetries is known to act on the system respecting its dynamics and, as a consequence, Noether's Theorem, conserved quantities are observed. We propose to simulate and learn the mappings of interest thr…
▽ More
This work presents a general geometric framework for simulating and learning the dynamics of Hamiltonian systems that are invariant under a Lie group of transformations. This means that a group of symmetries is known to act on the system respecting its dynamics and, as a consequence, Noether's Theorem, conserved quantities are observed. We propose to simulate and learn the mappings of interest through the construction of $G$-invariant Lagrangian submanifolds, which are pivotal objects in symplectic geometry. A notable property of our constructions is that the simulated/learned dynamics also preserves the same conserved quantities as the original system, resulting in a more faithful surrogate of the original dynamics than non-symmetry aware methods, and in a more accurate predictor of non-observed trajectories. Furthermore, our setting is able to simulate/learn not only Hamiltonian flows, but any Lie group-equivariant symplectic transformation. Our designs leverage pivotal techniques and concepts in symplectic geometry and geometric mechanics: reduction theory, Noether's Theorem, Lagrangian submanifolds, momentum mappings, and coisotropic reduction among others. We also present methods to learn Poisson transformations while preserving the underlying geometry and how to endow non-geometric integrators with geometric properties. Thus, this work presents a novel attempt to harness the power of symplectic and Poisson geometry towards simulating and learning problems.
△ Less
Submitted 30 August, 2023;
originally announced August 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.
-
A new perspective on symplectic integration of constrained mechanical systems via discretization maps
Authors:
María Barbero Liñán,
David Martín de Diego,
Rodrigo T. Sato Martín de Almagro
Abstract:
A new geometric procedure to construct symplectic methods for constrained mechanical systems is developed in this paper. The definition of a map coming from the notion of retraction maps allows to adapt the continuous problem to the discretization rule rather than viceversa. As a result, the constraint submanifold is exactly preserved by the symplectic discrete flow and the extension of these meth…
▽ More
A new geometric procedure to construct symplectic methods for constrained mechanical systems is developed in this paper. The definition of a map coming from the notion of retraction maps allows to adapt the continuous problem to the discretization rule rather than viceversa. As a result, the constraint submanifold is exactly preserved by the symplectic discrete flow and the extension of these methods to the case of non-linear configuration spaces is doable.
△ Less
Submitted 8 December, 2024; v1 submitted 11 June, 2023;
originally announced June 2023.
-
Higher-order retraction maps and construction of numerical methods for optimal control of mechanical systems
Authors:
Alexandre Anahory Simoes,
Maria Barbero Liñán,
Leonardo Colombo,
David Martín de Diego
Abstract:
Retractions maps are used to define a discretization of the tangent bundle of the configuration manifold as two copies of the configuration manifold where the dynamics take place. Such discretization maps can be conveniently lifted to a higher-order tangent bundle to construct geometric integrators for the higher-order Euler-Lagrange equations. Given a cost function, an optimal control problem for…
▽ More
Retractions maps are used to define a discretization of the tangent bundle of the configuration manifold as two copies of the configuration manifold where the dynamics take place. Such discretization maps can be conveniently lifted to a higher-order tangent bundle to construct geometric integrators for the higher-order Euler-Lagrange equations. Given a cost function, an optimal control problem for fully actuated mechanical systems can be understood as a higher-order variational problem. In this paper we introduce the notion of a higher-order discretization map associated with a retraction map to construct geometric integrators for the optimal control of mechanical systems. In particular, we study applications to path planning for obstacle avoidance of a planar rigid body.
△ Less
Submitted 31 March, 2023;
originally announced March 2023.
-
Discrete gradient methods for irreversible port-Hamiltonian systems
Authors:
Alexandre Anahory Simoes,
David Martín de Diego,
Bernhard Maschke
Abstract:
In this paper we introduce discrete gradient methods to discretize irreversible port-Hamiltonian systems showing that the main qualitative properties of the continuous system are preserved using this kind discretizations methods.
In this paper we introduce discrete gradient methods to discretize irreversible port-Hamiltonian systems showing that the main qualitative properties of the continuous system are preserved using this kind discretizations methods.
△ Less
Submitted 14 March, 2023;
originally announced March 2023.
-
A parallel iterative method for variational integration
Authors:
Sebastián J. Ferraro,
David Martín de Diego,
Rodrigo Takuro Sato Martín de Almagro
Abstract:
Discrete variational methods show excellent performance in numerical simulations of different mechanical systems. In this paper, we introduce an iterative procedure for the solution of discrete variational equations for boundary value problems. More concretely, we explore a parallelization strategy that leverages the capabilities of multicore CPUs and GPUs (graphics cards). We study this parallel…
▽ More
Discrete variational methods show excellent performance in numerical simulations of different mechanical systems. In this paper, we introduce an iterative procedure for the solution of discrete variational equations for boundary value problems. More concretely, we explore a parallelization strategy that leverages the capabilities of multicore CPUs and GPUs (graphics cards). We study this parallel method for higher-order Lagrangian systems, which appear in fully-actuated problems and beyond. The most important part of the paper is devoted to a precise study of different convergence conditions for these methods. We illustrate their excellent behavior in some interesting examples, namely Zermelo's navigation problem, a fuel-optimal navigation problem, interpolation problems or in a fuel optimization problem for a controlled 4-body problem in astrodynamics showing the potential of our method.
△ Less
Submitted 17 June, 2022;
originally announced June 2022.
-
Presymplectic integrators for optimal control problems via retraction maps
Authors:
María Barbero Liñán,
David Martín de Diego
Abstract:
Retractions maps are used to define a discretization of the tangent bundle of the configuration manifold as two copies of the configuration manifold where the dynamics take place. Such discretization maps can be conveniently lifted to the cotangent bundle so that symplectic integrators are constructed for Hamilton's equations. Optimal control problems are provided with a Hamiltonian framework by P…
▽ More
Retractions maps are used to define a discretization of the tangent bundle of the configuration manifold as two copies of the configuration manifold where the dynamics take place. Such discretization maps can be conveniently lifted to the cotangent bundle so that symplectic integrators are constructed for Hamilton's equations. Optimal control problems are provided with a Hamiltonian framework by Pontryagin's Maximum Principle. That is why we use discretization maps and the integrability algorithm to obtain presymplectic integrators for optimal control problems.
△ Less
Submitted 1 March, 2022;
originally announced March 2022.
-
Variational integrators for non-autonomous systems with applications to stabilization of multi-agent formations
Authors:
Leonardo Colombo,
Manuela Gamonal Fernández,
David Martín de Diego
Abstract:
Numerical methods that preserve geometric invariants of the system, such as energy, momentum or the symplectic form, are called geometric integrators. Variational integrators are an important class of geometric integrators. The general idea for those variational integrators is to discretize Hamilton's principle rather than the equations of motion in a way that preserves some of the invariants of t…
▽ More
Numerical methods that preserve geometric invariants of the system, such as energy, momentum or the symplectic form, are called geometric integrators. Variational integrators are an important class of geometric integrators. The general idea for those variational integrators is to discretize Hamilton's principle rather than the equations of motion in a way that preserves some of the invariants of the original system. In this paper we construct variational integrators with fixed time step for time-dependent Lagrangian systems modelling an important class of autonomous dissipative systems. These integrators are derived via a family of discrete Lagrangian functions each one for a fixed time-step. This allows to recover at each step on the set of discrete sequences the preservation properties of variational integrators for autonomous Lagrangian systems, such as symplecticity or backward error analysis for these systems. We also present a discrete Noether theorem for this class of systems. Applications of the results are shown for the problem of formation stabilization of multi-agent systems.
△ Less
Submitted 3 February, 2022;
originally announced February 2022.
-
Nonholonomic Newmark method
Authors:
Alexandre Anahory Simões,
Sebastián J. Ferraro,
Juan Carlos Marrero,
David Martín de Diego
Abstract:
Using the nonholonomic exponential map, we generalize the well-known family of Newmark methods for nonholonomic systems. We give numerical examples including a test problem where the structure of reversible integrability responsible for good energy behaviour as described in [16] is lost. We observe that the composition of two Newmark methods is able to produce good energy behaviour on this test pr…
▽ More
Using the nonholonomic exponential map, we generalize the well-known family of Newmark methods for nonholonomic systems. We give numerical examples including a test problem where the structure of reversible integrability responsible for good energy behaviour as described in [16] is lost. We observe that the composition of two Newmark methods is able to produce good energy behaviour on this test problem.
△ Less
Submitted 31 January, 2022;
originally announced January 2022.
-
Parallel iterative methods for variational integration applied to navigation problems
Authors:
Sebastián J. Ferraro,
David Martín de Diego,
Rodrigo T. Sato Martín de Almagro
Abstract:
Discrete variational methods have shown an excellent performance in numerical simulations of different mechanical systems. In this paper, we introduce an iterative method for discrete variational methods appropriate for boundary value problems. More concretely, we explore a parallelization strategy that leverages the power of multicore CPUs and GPUs (graphics cards). We study this parallel method…
▽ More
Discrete variational methods have shown an excellent performance in numerical simulations of different mechanical systems. In this paper, we introduce an iterative method for discrete variational methods appropriate for boundary value problems. More concretely, we explore a parallelization strategy that leverages the power of multicore CPUs and GPUs (graphics cards). We study this parallel method for first-order and second-order Lagrangians and we illustrate its excellent behavior in some interesting applications, namely Zermelo's navigation problem, a fuel-optimal navigation problem, and an interpolation problem.
△ Less
Submitted 12 September, 2021;
originally announced September 2021.
-
Linear connections and shape maps for second order ODEs with and without constraints
Authors:
G. E. Prince,
M. Farré Puiggalí,
D. J. Saunders,
D. Martín de Diego
Abstract:
We deal with the construction of linear connections associated with second order ordinary differential equations with and without first order constraints. We use a novel method allowing glueing of submodule covariant derivatives to produce new, closed form expressions for the Massa-Pagani connection and our extension of it to the constrained case.
We deal with the construction of linear connections associated with second order ordinary differential equations with and without first order constraints. We use a novel method allowing glueing of submodule covariant derivatives to produce new, closed form expressions for the Massa-Pagani connection and our extension of it to the constrained case.
△ Less
Submitted 22 September, 2021; v1 submitted 5 July, 2021;
originally announced July 2021.
-
A Discrete Variational Derivation of Accelerated Methods in Optimization
Authors:
Cédric M. Campos,
Alejandro Mahillo,
David Martín de Diego
Abstract:
Many of the new developments in machine learning are connected with gradient-based optimization methods. Recently, these methods have been studied using a variational perspective. This has opened up the possibility of introducing variational and symplectic methods using geometric integration. In particular, in this paper, we introduce variational integrators which allow us to derive different meth…
▽ More
Many of the new developments in machine learning are connected with gradient-based optimization methods. Recently, these methods have been studied using a variational perspective. This has opened up the possibility of introducing variational and symplectic methods using geometric integration. In particular, in this paper, we introduce variational integrators which allow us to derive different methods for optimization. Using both, Hamilton's and Lagrange-d'Alembert's principle, we derive two families of respective optimization methods in one-to-one correspondence that generalize Polyak's heavy ball and the well known Nesterov accelerated gradient method, the second of which mimics the behavior of the first reducing the oscillations of classical momentum methods. However, since the systems considered are explicitly time-dependent, the preservation of symplecticity of autonomous systems occurs here solely on the fibers. Several experiments exemplify the result.
△ Less
Submitted 20 November, 2022; v1 submitted 4 June, 2021;
originally announced June 2021.
-
Retraction maps: a seed of geometric integrators
Authors:
María Barbero Liñán,
David Martín de Diego
Abstract:
The classical notion of retraction map used to approximate geodesics is extended and rigorously defined to become a powerful tool to construct geometric integrators and it is called discretization map. Using the geometry of the tangent and cotangent bundles, we are able to tangently and cotangent lift such a map so that these lifts inherit the same properties as the original one and they continue…
▽ More
The classical notion of retraction map used to approximate geodesics is extended and rigorously defined to become a powerful tool to construct geometric integrators and it is called discretization map. Using the geometry of the tangent and cotangent bundles, we are able to tangently and cotangent lift such a map so that these lifts inherit the same properties as the original one and they continue to be discretization maps. In particular, the cotangent lift of a discretization map is a natural symplectomorphism, what plays a key role for constructing geometric integrators and symplectic methods. As a result, a wide range of (higer-order) numerical methods are recovered and canonically constructed by using different discretization maps, as well as some operations with Lagrangian submanifolds.
△ Less
Submitted 1 March, 2022; v1 submitted 1 June, 2021;
originally announced June 2021.
-
Contact bundle formulation of nonholonomic Maupertuis-Jacobi principle and a length minimizing property of nonholonomic dynamics
Authors:
Alexandre Anahory Simoes,
Juan Carlos Marrero,
David Martín de Diego
Abstract:
We prove a nonholonomic version of the classical Mauper\-tuis-Jacobi principle which transforms an autonomous mechanical nonholonomic problem, determined by a kinetic minus potential energy and a distribution, in a kinetic nonholonomic problem over a fixed level set of the Lagrangian energy. To prove this result we introduce an appropriate contact bundle structure clarifying the geometric equivale…
▽ More
We prove a nonholonomic version of the classical Mauper\-tuis-Jacobi principle which transforms an autonomous mechanical nonholonomic problem, determined by a kinetic minus potential energy and a distribution, in a kinetic nonholonomic problem over a fixed level set of the Lagrangian energy. To prove this result we introduce an appropriate contact bundle structure clarifying the geometric equivalence between both problems.
By using the nonholonomic Maupertuis-Jacobi principle, we prove that the regular solutions of a mechanical nonholonomic problem starting from a fixed point and in the same level set of the Lagrangian energy are reparametrizations of geodesics for a family of Riemannian metrics defined on the image of the nonholonomic exponential map. In particular, these trajectories minimize Riemannian length.
△ Less
Submitted 27 April, 2021;
originally announced April 2021.
-
Local convexity for second order differential equations on a Lie algebroid
Authors:
Juan Carlos Marrero,
David Martín de Diego,
Eduardo Martínez
Abstract:
A theory of local convexity for a second order differential equation (SODE) on a Lie algebroid is developed. The particular case when the SODE is homogeneous quadratic is extensively discussed.
A theory of local convexity for a second order differential equation (SODE) on a Lie algebroid is developed. The particular case when the SODE is homogeneous quadratic is extensively discussed.
△ Less
Submitted 12 July, 2021; v1 submitted 26 March, 2021;
originally announced March 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.
-
Radial kinetic nonholonomic trajectories are Riemannian geodesics!
Authors:
Alexandre Anahory Simoes,
Juan Carlos Marrero,
David Martin de Diego
Abstract:
Nonholonomic mechanics describes the motion of systems constrained by nonintegrable constraints. One of its most remarkable properties is that the derivation of the nonholonomic equations is not variational in nature. {However, in} this paper, we prove (Theorem 1.1) that for kinetic nonholonomic {systems}, the solutions starting from a fixed point $q$ are true geodesics for a family of Riemannian…
▽ More
Nonholonomic mechanics describes the motion of systems constrained by nonintegrable constraints. One of its most remarkable properties is that the derivation of the nonholonomic equations is not variational in nature. {However, in} this paper, we prove (Theorem 1.1) that for kinetic nonholonomic {systems}, the solutions starting from a fixed point $q$ are true geodesics for a family of Riemannian metrics on the image submanifold ${\mathcal M}^{nh}_q$ of the nonholonomic exponential map. This implies a surprising result: the kinetic nonholonomic trajectories with starting point $q$, for sufficiently small times, minimize length in ${\mathcal M}^{nh}_q$!
△ Less
Submitted 23 October, 2020;
originally announced October 2020.
-
Jacobi fields in nonholonomic mechanics
Authors:
Alexandre Anahory Simoes,
Juan Carlos Marrero,
David Martin de Diego
Abstract:
In this paper, we define Jacobi fields for nonholonomic mechanics using a similar characterization than in Riemannian geometry. We give explicit conditions to find Jacobi fields and finally we find the nonholonomic Jacobi equations in two equivalent ways: the first one, using an appropriate complete lift of the nonholonomic system and, in the second one, using the curvature and torsion of the asso…
▽ More
In this paper, we define Jacobi fields for nonholonomic mechanics using a similar characterization than in Riemannian geometry. We give explicit conditions to find Jacobi fields and finally we find the nonholonomic Jacobi equations in two equivalent ways: the first one, using an appropriate complete lift of the nonholonomic system and, in the second one, using the curvature and torsion of the associated nonholonomic connection.
△ Less
Submitted 11 August, 2020; v1 submitted 22 April, 2020;
originally announced April 2020.
-
On the geometry of discrete contact mechanics
Authors:
Alexandre Anahory Simoes,
David Martín de Diego,
Manuel de León,
Manuel Lainz Valcázar
Abstract:
In this paper, we continue the construction of variational integrators adapted to contact geometry started in \cite{VBS}, in particular, we introduce a discrete Herglotz Principle and the corresponding discrete Herglotz Equations for a discrete Lagrangian in the contact setting. This allows us to develop convenient numerical integrators for contact Lagrangian systems that are conformally contact b…
▽ More
In this paper, we continue the construction of variational integrators adapted to contact geometry started in \cite{VBS}, in particular, we introduce a discrete Herglotz Principle and the corresponding discrete Herglotz Equations for a discrete Lagrangian in the contact setting. This allows us to develop convenient numerical integrators for contact Lagrangian systems that are conformally contact by construction. The existence of an exact Lagrangian function is also discussed.
△ Less
Submitted 26 March, 2020;
originally announced March 2020.
-
Exact discrete Lagrangian mechanics for nonholonomic mechanics
Authors:
Alexandre Anahory Simoes,
Juan Carlos Marrero,
David Martin de Diego
Abstract:
We construct the exponential map associated to a nonholonomic system that allows us to define an exact discrete nonholonomic constraint submanifold. We reproduce the continuous nonholonomic flow as a discrete flow on this discrete constraint submanifold deriving an exact discrete version of the nonholonomic equations. Finally, we derive a general family of nonholonomic integrators.
We construct the exponential map associated to a nonholonomic system that allows us to define an exact discrete nonholonomic constraint submanifold. We reproduce the continuous nonholonomic flow as a discrete flow on this discrete constraint submanifold deriving an exact discrete version of the nonholonomic equations. Finally, we derive a general family of nonholonomic integrators.
△ Less
Submitted 3 May, 2020; v1 submitted 25 March, 2020;
originally announced March 2020.
-
Geometric Optimal Trajectory Tracking of Nonholonomic Mechanical Systems
Authors:
Leonardo J. Colombo,
David Martín de Diego,
Aradhana Nayak,
Rodrigo T. Sato Martín de Almagro
Abstract:
We study the tracking of a trajectory for a nonholonomic system by recasting the problem as a constrained optimal control problem. The cost function is chosen to minimize the error in positions and velocities between the trajectory of a nonholonomic system and the desired reference trajectory, both evolving on the distribution which defines the nonholonomic constraints. The problem is studied from…
▽ More
We study the tracking of a trajectory for a nonholonomic system by recasting the problem as a constrained optimal control problem. The cost function is chosen to minimize the error in positions and velocities between the trajectory of a nonholonomic system and the desired reference trajectory, both evolving on the distribution which defines the nonholonomic constraints. The problem is studied from a geometric framework. Optimality conditions are determined by the Pontryagin Maximum Principle and also from a variational point of view, which allows the construction of geometric integrators. Examples and numerical simulations are shown to validate the results.
△ Less
Submitted 25 January, 2020;
originally announced January 2020.
-
On the observability of relative positions in left-invariant multi-agent control systems and its application to formation control
Authors:
Leonardo Colombo,
Hector Garcia de Marina,
María Barbero Liñán,
David Martín de Diego
Abstract:
We consider the localization problem between agents while they run a formation control algorithm. These algorithms typically demand from the agents the information about their relative positions with respect to their neighbors. We assume that this information is not available. Therefore, the agents need to solve the observability problem of reconstructing their relative positions based on other me…
▽ More
We consider the localization problem between agents while they run a formation control algorithm. These algorithms typically demand from the agents the information about their relative positions with respect to their neighbors. We assume that this information is not available. Therefore, the agents need to solve the observability problem of reconstructing their relative positions based on other measurements between them. We first model the relative kinematics between the agents as a left-invariant control system so that we can exploit its appealing properties to solve the observability problem. Then, as a particular application, we will focus on agents running a distance-based control algorithm where their relative positions are not accessible but the distances between them are.
△ Less
Submitted 19 September, 2019;
originally announced September 2019.
-
Variational order for forced Lagrangian systems II: Euler-Poincaré equations with forcing
Authors:
David Martín de Diego,
Rodrigo T. Sato Martín de Almagro
Abstract:
In this paper we provide a variational derivation of the Euler-Poincaré equations for systems subjected to external forces using an adaptation of the techniques introduced by Galley and others. Moreover, we study in detail the underlying geometry which is related to the notion of Poisson groupoid. Finally, we apply the previous construction to the formal derivation of the variational error for num…
▽ More
In this paper we provide a variational derivation of the Euler-Poincaré equations for systems subjected to external forces using an adaptation of the techniques introduced by Galley and others. Moreover, we study in detail the underlying geometry which is related to the notion of Poisson groupoid. Finally, we apply the previous construction to the formal derivation of the variational error for numerical integrators of forced Euler-Poincaré equations and the application of this theory to the derivation of geometric integrators for forced systems.
△ Less
Submitted 24 June, 2019;
originally announced June 2019.
-
Global controllability tests for geometric hybrid control systems
Authors:
M. Barbero Liñán,
J. Cortés,
D. Martín de Diego,
S. Martínez,
M. C. Muñoz Lecanda
Abstract:
Hybrid systems are characterized by having an interaction between continuous dynamics and discrete events. The contribution of this paper is to provide hybrid systems with a novel geometric formulation so that controls can be added. Using this framework we describe some new global controllability tests for hybrid control systems exploiting the geometry and the topology of the set of jump points, w…
▽ More
Hybrid systems are characterized by having an interaction between continuous dynamics and discrete events. The contribution of this paper is to provide hybrid systems with a novel geometric formulation so that controls can be added. Using this framework we describe some new global controllability tests for hybrid control systems exploiting the geometry and the topology of the set of jump points, where the instantaneous change of dynamics take place. Controllability is understood as the existence of a feasible trajectory for the system joining any two given points. As a result we describe examples where none of the continuous control systems are controllable, but the associated hybrid system is controllable because of the characteristics of the jump set.
△ Less
Submitted 22 June, 2020; v1 submitted 7 May, 2019;
originally announced May 2019.
-
Optimal Trajectory Tracking of Nonholonomic Mechanical Systems: a geometric approach
Authors:
Aradhana Nayak,
Rodrigo Sato Martín de Almagro,
Leonardo Colombo,
David Martín de Diego
Abstract:
We study the tracking of a trajectory for a nonholonomic system by recasting the problem as an optimal control problem. The cost function is chosen to minimize the error in positions and velocities between the trajectory of a nonholonomic system and the desired reference trajectory evolving on the distribution which defines the nonholonomic constraints. We prepose a geometric framework since it de…
▽ More
We study the tracking of a trajectory for a nonholonomic system by recasting the problem as an optimal control problem. The cost function is chosen to minimize the error in positions and velocities between the trajectory of a nonholonomic system and the desired reference trajectory evolving on the distribution which defines the nonholonomic constraints. We prepose a geometric framework since it describes the class of nonlinear systems under study in a coordinate-free framework. Necessary conditions for the existence of extrema are determined by the Pontryagin Minimum Principle. A nonholonomic fully actuated particle is used as a benchmark example to show how the proposed method is applied.
△ Less
Submitted 29 January, 2019;
originally announced January 2019.
-
High-order geometric methods for nonholonomic mechanical systems
Authors:
David Martín de Diego,
Rodrigo T. Sato Martín de Almagro
Abstract:
In the last two decades, significant effort has been put in understanding and designing so-called structure-preserving numerical methods for the simulation of mechanical systems. Geometric integrators attempt to preserve the geometry associated to the original system as much as possible, such as the structure of the configuration space, the energy behaviour, preservation of constants of the motion…
▽ More
In the last two decades, significant effort has been put in understanding and designing so-called structure-preserving numerical methods for the simulation of mechanical systems. Geometric integrators attempt to preserve the geometry associated to the original system as much as possible, such as the structure of the configuration space, the energy behaviour, preservation of constants of the motion and of constraints or other structures associated to the continuous system (symplecticity, Poisson structure...). In this article, we develop high-order geometric (or pseudo-variational) integrators for nonholonomic systems, i.e., mechanical systems subjected to constraint functions which are, roughly speaking, functions on velocities that are not derivable from position constraints. These systems realize rolling or certain kinds of sliding contact and are important for describing different classes of vehicles.
△ Less
Submitted 25 October, 2018;
originally announced October 2018.
-
New insights in the geometry and interconnection of port-Hamiltonian systems
Authors:
M. Barbero-Liñán,
H. Cendra,
E. García-Toraño Andrés,
D. Martín de Diego
Abstract:
We discuss a new geometric construction of port-Hamiltonian systems. Using this framework, we revisit the notion of interconnection providing it with an intrinsic description. Special emphasis on theoretical and applied examples is given throughout the paper to show the applicability and the novel contributions of the proposed framework.
We discuss a new geometric construction of port-Hamiltonian systems. Using this framework, we revisit the notion of interconnection providing it with an intrinsic description. Special emphasis on theoretical and applied examples is given throughout the paper to show the applicability and the novel contributions of the proposed framework.
△ Less
Submitted 8 August, 2018; v1 submitted 13 April, 2018;
originally announced April 2018.
-
Morse families and Dirac systems
Authors:
M. Barbero-Liñán,
H. Cendra,
E. García-Toraño Andrés,
D. Martín de Diego
Abstract:
Dirac structures and Morse families are used to obtain a geometric formalism that unifies most of the scenarios in mechanics (constrained calculus, nonholonomic systems, optimal control theory, higher-order mechanics, etc.), as the examples in the paper show. This approach generalizes the previous results on Dirac structures associated with Lagrangian submanifolds. An integrability algorithm in th…
▽ More
Dirac structures and Morse families are used to obtain a geometric formalism that unifies most of the scenarios in mechanics (constrained calculus, nonholonomic systems, optimal control theory, higher-order mechanics, etc.), as the examples in the paper show. This approach generalizes the previous results on Dirac structures associated with Lagrangian submanifolds. An integrability algorithm in the sense of Mendela, Marmo and Tulczyjew is described for the generalized Dirac dynamical systems under study to determine the set where the implicit differential equations have solutions.
△ Less
Submitted 13 April, 2018;
originally announced April 2018.
-
Lie-Poisson integrators
Authors:
David Martin de Diego
Abstract:
In this paper, we discuss the geometric integration of hamiltonian systems on Poisson manifolds, in particular, in the case, when the Poisson structure is induced by a Lie algebra, that is, it is a Lie-Poisson structure.
A Hamiltonian system on a Poisson manifold $(P, Π)$ is a smooth manifold $P$ equipped with a bivector field $Π$ satisfying $[Π, Π]=0$ (Jacobi identity), inducing the Poisson bra…
▽ More
In this paper, we discuss the geometric integration of hamiltonian systems on Poisson manifolds, in particular, in the case, when the Poisson structure is induced by a Lie algebra, that is, it is a Lie-Poisson structure.
A Hamiltonian system on a Poisson manifold $(P, Π)$ is a smooth manifold $P$ equipped with a bivector field $Π$ satisfying $[Π, Π]=0$ (Jacobi identity), inducing the Poisson bracket on $C^{\infty}(P)$, $\{f, g\}\equiv Π(df, dg)$ where $f, g\in C^{\infty}(P)$. For any $f\in C^{\infty}(P)$ the Hamiltonian vector field is defined by $X_f(g)=\{g, f\}$. The Hamiltonian vector fields $X_f$ generate an integrable generalized distribution on $P$ and the leaves of this foliation are symplectic. The flow of any hamiltonian vector field preserves the Poisson structure, it fixes each leaf and the hamiltonian itself is a first integral.
It is important to characterize numerical methods preserving some of these fundamental properties of the hamiltonian flow on Poisson manifolds (geometric integrators). We discuss the difficulties of deriving these Poisson methods using standard techniques and we present some modern approaches to the problem.
△ Less
Submitted 4 March, 2018;
originally announced March 2018.
-
Variational order for forced Lagrangian systems
Authors:
D. Martín de Diego,
R. Sato Martín de Almagro
Abstract:
We are able to derive the equations of motion for forced mechanical systems in a purely variational setting, both in the context of Lagrangian or Hamiltonian mechanics, by duplicating the variables of the system as introduced by Galley [2013], Galley, Tsang, and Stein [2014]. We show that this construction is useful to design high-order integrators for forced Lagrangian systems and, more important…
▽ More
We are able to derive the equations of motion for forced mechanical systems in a purely variational setting, both in the context of Lagrangian or Hamiltonian mechanics, by duplicating the variables of the system as introduced by Galley [2013], Galley, Tsang, and Stein [2014]. We show that this construction is useful to design high-order integrators for forced Lagrangian systems and, more importantly, we give a characterization of the order of a method applied to a forced system using the corresponding variational order of the duplicated one.
△ Less
Submitted 26 December, 2017;
originally announced December 2017.
-
The inverse problem of the calculus of variations for discrete systems
Authors:
María Barbero-Liñán,
Marta Farré Puiggalí,
Sebastián Ferraro,
David Martín de Diego
Abstract:
We develop a geometric version of the inverse problem of the calculus of variations for discrete mechanics and constrained discrete mechanics. The geometric approach consists of using suitable Lagrangian and isotropic submanifolds. We also provide a transition between the discrete and the continuous problems and propose variationality as an interesting geometric property to take into account in th…
▽ More
We develop a geometric version of the inverse problem of the calculus of variations for discrete mechanics and constrained discrete mechanics. The geometric approach consists of using suitable Lagrangian and isotropic submanifolds. We also provide a transition between the discrete and the continuous problems and propose variationality as an interesting geometric property to take into account in the design and computer simulation of numerical integrators.
△ Less
Submitted 14 August, 2017;
originally announced August 2017.
-
The interplay between Dirac systems, Morse families and Interconnection
Authors:
M. Barbero-Liñán,
H. Cendra,
E. García-Toraño Andrés,
D. Martín de Diego
Abstract:
We provide a generalization of the notion of Dirac system by using Morse families to intrinsically embrace the dynamics associated with different physical systems such as constrained variational calculus, optimal control, Lagrangian mechanics, etc., from both the Lagrangian and the Hamiltonian viewpoint. Besides, we introduce a geometric construction of Port-Dirac systems and use it to describe th…
▽ More
We provide a generalization of the notion of Dirac system by using Morse families to intrinsically embrace the dynamics associated with different physical systems such as constrained variational calculus, optimal control, Lagrangian mechanics, etc., from both the Lagrangian and the Hamiltonian viewpoint. Besides, we introduce a geometric construction of Port-Dirac systems and use it to describe the interconnection of Dirac systems. Special emphasis on theoretical and applied examples is given throughout the paper to show the applicability of the proposed framework.
△ Less
Submitted 15 April, 2018; v1 submitted 27 February, 2017;
originally announced February 2017.
-
On the exact discrete Lagrangian function for variational integrators: theory and applications
Authors:
J. C. Marrero,
D. Martín de Diego,
E. Martínez
Abstract:
In this paper, we will give a rigorous construction of the exact discrete Lagrangian formulation associated to a continuous Lagrangian problem. Moreover, we work in the setting of Lie groupoids and Lie algebroids which is enough general to simultaneously cover several cases of interest in discrete and continuous descriptions as, for instance, Euler-Lagrange equations, Euler-Poincaré equations, Lag…
▽ More
In this paper, we will give a rigorous construction of the exact discrete Lagrangian formulation associated to a continuous Lagrangian problem. Moreover, we work in the setting of Lie groupoids and Lie algebroids which is enough general to simultaneously cover several cases of interest in discrete and continuous descriptions as, for instance, Euler-Lagrange equations, Euler-Poincaré equations, Lagrange-Poincaré equations... The construction of an exact discrete Lagrangian is of considerable interest for the analysis of the error between an exact trajectory and the discrete trajectory derived by a variational integrator.
△ Less
Submitted 4 August, 2016;
originally announced August 2016.
-
Energy-Preserving Integrators Applied to Nonholonomic Systems
Authors:
Elena Celledoni,
Marta Farré Puiggalí,
Eirik Hoel Høiseth,
David Martín de Diego
Abstract:
We introduce energy-preserving integrators for nonholonomic mechanical systems. We will see that the nonholonomic dynamics is completely determined by a triple $({\mathcal D}^*, Π, \mathcal{H})$, where ${\mathcal D}^*$ is the dual of the vector bundle determined by the nonholonomic constraints, $Π$ is an almost-Poisson bracket (the nonholonomic bracket) and…
▽ More
We introduce energy-preserving integrators for nonholonomic mechanical systems. We will see that the nonholonomic dynamics is completely determined by a triple $({\mathcal D}^*, Π, \mathcal{H})$, where ${\mathcal D}^*$ is the dual of the vector bundle determined by the nonholonomic constraints, $Π$ is an almost-Poisson bracket (the nonholonomic bracket) and $\mathcal{H}:{\mathcal D}^{*}\rightarrow \mathbb{R}$ is a Hamiltonian function. For this triple, we can apply energy-preserving integrators, in particular, we show that discrete gradients can be used in the numerical integration of nonholonomic dynamics. By construction, we achieve preservation of the constraints and of the energy of the nonholonomic system. Moreover, to facilitate their applicability to complex systems which cannot be easily transformed into the aforementioned almost-Poisson form, we rewrite our integrators using just the initial information of the nonholonomic system. The derived procedures are tested on several examples: A chaotic quartic nonholonomic mechanical system, the Chaplygin sleigh system, the Suslov problem and a continuous gearbox driven by an asymmetric pendulum. Their performace is compared with other standard methods in nonholonomic dynamics, and their merits verified in practice.
△ Less
Submitted 10 May, 2016;
originally announced May 2016.
-
Hamilton-Jacobi theory, Symmetries and Coisotropic Reduction
Authors:
Manuel de León,
David Martín de Diego,
Miguel Vaquero
Abstract:
Reduction theory has played a major role in the study of Hamiltonian systems. On the other hand, the Hamilton-Jacobi theory is one of the main tools to integrate the dynamics of certain Hamiltonian problems and a topic of research on its own. Moreover, the construction of several symplectic integrators rely on approximations of a complete solution of the Hamilton-Jacobi equation. The natural quest…
▽ More
Reduction theory has played a major role in the study of Hamiltonian systems. On the other hand, the Hamilton-Jacobi theory is one of the main tools to integrate the dynamics of certain Hamiltonian problems and a topic of research on its own. Moreover, the construction of several symplectic integrators rely on approximations of a complete solution of the Hamilton-Jacobi equation. The natural question that we address in this paper is how these two topics (reduction and Hamilton-Jacobi theory) fit together. We obtain a reduction and reconstruction procedure for the Hamilton-Jacobi equation with symmetries, even in a generalized sense to be clarified below. Several applications and relations to other reductions of the Hamilton-Jacobi theory are shown in the last section of the paper. It is remarkable that as a by-product we obtain a generalization of the Ge-Marsden reduction procedure. Quite surprinsingly, the classical ansatzs available in the literature to solve the Hamilton-Jacobi equation are also particular instances of our framework.
△ Less
Submitted 1 September, 2015;
originally announced September 2015.
-
Second-order variational problems on Lie groupoids and optimal control applications
Authors:
Leonardo Colombo,
David Martin de Diego
Abstract:
In this paper we study, from a variational and geometrical point of view, second-order variational problems on Lie groupoids and the construction of variational integrators for optimal control problems. First, we develop variational techniques for second-order variational problems on Lie groupoids and their applications to the construction of variational integrators for optimal control problems of…
▽ More
In this paper we study, from a variational and geometrical point of view, second-order variational problems on Lie groupoids and the construction of variational integrators for optimal control problems. First, we develop variational techniques for second-order variational problems on Lie groupoids and their applications to the construction of variational integrators for optimal control problems of mechanical systems. Next, we show how Lagrangian submanifolds of a symplectic groupoid gives intrinsically the discrete dynamics for second-order systems, both unconstrained and constrained, and we study the geometric properties of the implicit flow which defines the dynamics in the Lagrangian submanifold. We also study the theory of reduction by symmetries and the corresponding Noether theorem.
△ Less
Submitted 29 June, 2015;
originally announced June 2015.
-
Inverse problem for Lagrangian systems on Lie algebroids and applications to reduction by symmetries
Authors:
María Barbero-Liñán,
Marta Farré Puiggalí,
David Martín de Diego
Abstract:
The language of Lagrangian submanifolds is used to extend a geometric characterization of the inverse problem of the calculus of variations on tangent bundles to regular Lie algebroids. Since not all closed sections are locally exact on Lie algebroids, the Helmholtz conditions on Lie algebroids are necessary but not sufficient, so they give a weaker definition of the inverse problem. As an applica…
▽ More
The language of Lagrangian submanifolds is used to extend a geometric characterization of the inverse problem of the calculus of variations on tangent bundles to regular Lie algebroids. Since not all closed sections are locally exact on Lie algebroids, the Helmholtz conditions on Lie algebroids are necessary but not sufficient, so they give a weaker definition of the inverse problem. As an application the Helmholtz conditions on Atiyah algebroids are obtained so that the relationship between the inverse problem and the reduced inverse problem by symmetries can be described. Some examples and comparison with previous approaches in the literature are provided.
△ Less
Submitted 5 March, 2015;
originally announced March 2015.
-
Generalized variational calculus for continuous and discrete mechanical systems
Authors:
Viviana Alejandra Díaz,
David Martín de Diego
Abstract:
In this paper, we consider a generalization of variational calculus which allows us to consider in the same framework different cases of mechanical systems, for instance, Lagrangian mechanics, Hamiltonian mechanics, systems subjected to constraints, optimal control theory and so on. This generalized variational calculus is based on two main notions: the tangent lift of curves and the notion of com…
▽ More
In this paper, we consider a generalization of variational calculus which allows us to consider in the same framework different cases of mechanical systems, for instance, Lagrangian mechanics, Hamiltonian mechanics, systems subjected to constraints, optimal control theory and so on. This generalized variational calculus is based on two main notions: the tangent lift of curves and the notion of complete lift of a vector field. Both concepts are also adapted for the case of skew-symmetric algebroids, therefore, our formalism easily extends to the case of Lie algebroids and nonholonomic systems. Hence, this framework automatically includes reduced mechanical systems subjected or not to constraints. Finally, we show that our formalism can be used to tackle the case of discrete mechanics, including reduced systems, systems subjected to constraints and discrete optimal control theory.
△ Less
Submitted 12 November, 2014;
originally announced November 2014.
