-
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.
-
Almost-Poisson brackets for nonholonomic systems with gyroscopic terms and Hamiltonisation
Authors:
L. C. García-Naranjo,
J. C. Marrero,
D. Martín de Diego,
E. P. Petit Valdés
Abstract:
We extend known constructions of almost-Poisson brackets and their gauge transformations to nonholonomic systems whose Lagrangian is not mechanical but possesses a gyroscopic term linear in the velocities. The new feature introduced by such a term is that the Legendre transformation is an affine, instead of linear, bundle isomorphism between the tangent and cotangent bundles of the configuration s…
▽ More
We extend known constructions of almost-Poisson brackets and their gauge transformations to nonholonomic systems whose Lagrangian is not mechanical but possesses a gyroscopic term linear in the velocities. The new feature introduced by such a term is that the Legendre transformation is an affine, instead of linear, bundle isomorphism between the tangent and cotangent bundles of the configuration space and some care is needed in the development of the geometric formalism. At the end of the day, the affine nature of the Legendre transform is reflected in the affine dependence of the brackets that we construct on the momentum variables. Our study is motivated by a wide class of nonholonomic systems involving rigid bodies with internal rotors which are of interest in control. Our construction provides a natural geometric framework for the (known) Hamiltonisations of the Suslov and Chaplygin sphere problems with a gyrostat.
△ Less
Submitted 20 September, 2023;
originally announced September 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 map**s 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 map**s 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 map**s, 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 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 discrete flow and the extension of the methods to the case of non-…
▽ More
A new 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 discrete flow and the extension of the methods to the case of non-linear configuration spaces is straightforward.
△ Less
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.
-
Contact geometry for simple thermodynamical systems with friction
Authors:
Alexandre Anahory Simoes,
Manuel de León,
Manuel Lainz Valcázar,
David Martín de Diego
Abstract:
Using contact geometry we give a new characterization of a simple but important class of thermodynamical systems which naturally satisfy the first law of thermodynamics (total energy preservation) and the second law (increase of entropy). We completely clarify its qualitative dynamics, the underlying geometrical structures and we show how to use discrete gradient methods.
Using contact geometry we give a new characterization of a simple but important class of thermodynamical systems which naturally satisfy the first law of thermodynamics (total energy preservation) and the second law (increase of entropy). We completely clarify its qualitative dynamics, the underlying geometrical structures and we show how to use discrete gradient methods.
△ Less
Submitted 4 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.
-
On the Geometry of the Hamilton-Jacobi Equation and Generating Functions
Authors:
Sebastián Ferraro,
Manuel de León,
Juan Carlos Marrero,
David Martín de Diego,
Miguel Vaquero
Abstract:
In this paper we develop a geometric version of the Hamilton-Jacobi equation in the Poisson setting. Specifically, we "geometrize" what is usually called a complete solution of the Hamilton-Jacobi equation. We use some well-known results about symplectic groupoids, in particular cotangent groupoids, as a keystone for the construction of our framework. Our methodology follows the ambitious program…
▽ More
In this paper we develop a geometric version of the Hamilton-Jacobi equation in the Poisson setting. Specifically, we "geometrize" what is usually called a complete solution of the Hamilton-Jacobi equation. We use some well-known results about symplectic groupoids, in particular cotangent groupoids, as a keystone for the construction of our framework. Our methodology follows the ambitious program proposed by A. Weinstein, [62], in order to develop geometric formulations of the dynamical behavior of Lagrangian and Hamiltonian systems on Lie algebroids and Lie groupoids. This procedure allows us to take symmetries into account, and, as a by-product, we recover results from [14, 29, 31], but even in these situations our approach is new. A theory of generating functions for the Poisson structures considered here is also developed following the same pattern, solving a longstanding problem of the area: how to obtain a generating function for the identity tranformation and the nearby Poisson automorphisms of Poisson manifolds. A direct application of our results give the construction of a family of Poisson integrators, that is, integrators that conserve the underlying Poisson geometry. These integrators are implemented in the paper in benchmark problems. Some conclusions, current and future directions of research are shown at the end of the paper.
△ Less
Submitted 12 May, 2017; v1 submitted 2 June, 2016;
originally announced June 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.
-
Hamilton-Jacobi theory in Cauchy data space
Authors:
Cédirc M. Campos,
Manuel de León,
David Martín de Diego,
Miguel Vaquero
Abstract:
Recently, M. de León el al. ([9]) have developed a geometric Hamilton-Jacobi theory for Classical Field Theories in the setting of multisymplectic geometry. Our purpose in the current paper is to establish the corresponding Hamilton-Jacobi theory in the Cauchy data space, and relate both approaches.
Recently, M. de León el al. ([9]) have developed a geometric Hamilton-Jacobi theory for Classical Field Theories in the setting of multisymplectic geometry. Our purpose in the current paper is to establish the corresponding Hamilton-Jacobi theory in the Cauchy data space, and relate both approaches.
△ Less
Submitted 14 November, 2014;
originally announced November 2014.
-
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.
-
Geometric integrators for higher-order variational systems and their application to optimal control
Authors:
Leonardo Colombo,
Sebastián Ferraro,
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. In this paper we present a method to construct symplectic-momentum integrators for higher-order Lagrangian systems. Given a regular higher-order Lagrangian $L\colon T^{(k)}Q\to\mathbb{R}$ with $k\geq 1$, the resulting discrete equations define a gen…
▽ More
Numerical methods that preserve geometric invariants of the system, such as energy, momentum or the symplectic form, are called geometric integrators. In this paper we present a method to construct symplectic-momentum integrators for higher-order Lagrangian systems. Given a regular higher-order Lagrangian $L\colon T^{(k)}Q\to\mathbb{R}$ with $k\geq 1$, the resulting discrete equations define a generally implicit numerical integrator algorithm on $T^{(k-1)}Q\times T^{(k-1)}Q$ that approximates the flow of the higher-order Euler--Lagrange equations for $L$. The algorithm equations are called higher-order discrete Euler--Lagrange equations and constitute a variational integrator for higher-order mechanical systems. The general idea for those variational integrators is to directly discretize Hamilton's principle rather than the equations of motion in a way that preserves the invariants of the original system, notably the symplectic form and, via a discrete version of Noether's theorem, the momentum map.
We construct an exact discrete Lagrangian $L_d^e$ using the locally unique solution of the higher-order Euler--Lagrange equations for $L$ with boundary conditions. By taking the discrete Lagrangian as an approximation of $L_d^e$, we obtain variational integrators for higher-order mechanical systems. We apply our techniques to optimal control problems since, given a cost function, the optimal control problem is understood as a second-order variational problem.
△ Less
Submitted 6 November, 2014; v1 submitted 21 October, 2014;
originally announced October 2014.
-
A geometric approach to the optimal control of nonholnomic mechanical systems
Authors:
Anthony Bloch,
Leonardo Colombo,
Rohit Gupta,
David Martin de Diego
Abstract:
In this paper, we describe a constrained Lagrangian and Hamiltonian formalism for the optimal control of nonholonomic mechanical systems. In particular, we aim to minimize a cost functional, given initial and final conditions where the controlled dynamics is given by nonholonomic mechanical system. In our paper, the controlled equations are derived using a basis of vector fields adapted to the non…
▽ More
In this paper, we describe a constrained Lagrangian and Hamiltonian formalism for the optimal control of nonholonomic mechanical systems. In particular, we aim to minimize a cost functional, given initial and final conditions where the controlled dynamics is given by nonholonomic mechanical system. In our paper, the controlled equations are derived using a basis of vector fields adapted to the nonholonomic distribution and the Riemannian metric determined by the kinetic energy. Given a cost function, the optimal control problem is understood as a constrained problem or equivalently, under some mild regularity conditions, as a Hamiltonian problem on the cotangent bundle of the nonholonomic distribution. A suitable Lagrangian submanifold is also shown to lead to the correct dynamics. We demonstrate our techniques in several examples including a continuously variable transmission problem and motion planning for obstacle avoidance problems.
△ Less
Submitted 23 December, 2014; v1 submitted 21 October, 2014;
originally announced October 2014.
-
Isotropic submanifolds and the inverse problem for mechanical constrained systems
Authors:
María Barbero-Liñán,
Marta Farré Puiggalí,
David Martín de Diego
Abstract:
The inverse problem of the calculus of variations consists in determining if the solutions of a given system of second order differential equations correspond with the solutions of the Euler-Lagrange equations for some regular Lagrangian. This problem in the general version remains unsolved. Here, we contribute to it with a novel description in terms of Lagrangian submanifolds of a symplectic mani…
▽ More
The inverse problem of the calculus of variations consists in determining if the solutions of a given system of second order differential equations correspond with the solutions of the Euler-Lagrange equations for some regular Lagrangian. This problem in the general version remains unsolved. Here, we contribute to it with a novel description in terms of Lagrangian submanifolds of a symplectic manifold, also valid under some adaptation for the non-autonomous version. One of the advantages of this new point of view is that we can easily extend our description to the study of the inverse problem of the calculus of variations for second order systems along submanifolds. In this case, instead of Lagrangian submanifolds we will use isotropic submanifolds, covering both the nonholonomic and holonomic constraints for autonomous and non-autonomous systems as particular examples. Moreover, we use symplectic techniques to extend these isotropic submanifolds to Lagrangian ones, allowing us to describe the constrained solutions as solutions of a variational problem now without constraints. Mechanical examples such as the rolling disk are provided to illustrate the main results.
△ Less
Submitted 7 April, 2014;
originally announced April 2014.