arXiv subjects

Sebastián Ferraro

Publications and source records attributed to Sebastián Ferraro.

4 recordsLinked to original sources

arXiv2017

The inverse problem of the calculus of variations for discrete systems

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.

math.DG↗

arXiv2017

On the Geometry of the Hamilton-Jacobi Equation and Generating Functions

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.

math-ph↗

arXiv2014

Geometric integrators for higher-order variational systems and their application to optimal control

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.

math.NA↗

arXiv2014

New developments on the Geometric Nonholonomic Integrator

In this paper, we will discuss new developments regarding the Geometric Nonholonomic Integrator (GNI) [23, 24]. GNI is a discretization scheme adapted to nonholonomic mechanical systems through a discrete geometric approach. This method was designed to account for some of the special geometric structures associated to a nonholonomic motion, like preservation of energy, preservation of constraints or the nonholonomic momentum equation. First, we study the GNI versions of the symplectic-Euler methods, paying special attention to their convergence behavior. Then, we construct an extension of the GNI in the case of affine constraints. Finally, we generalize the proposed method to nonholonomic reduced systems, an important subclass of examples in nonholonomic dynamics. We illustrate the behavior of the proposed method with the example of the Chaplygin sphere, which accounts for the last two features, namely it is both a reduced and an affine system.

math-ph↗