We develop a semi-discrete version of discrete variational mechanics with applications to numerical integration of classical field theories. The geometric preservation properties are studied.
Finite-dimensional non-canonical Hamiltonian systems arise naturally from Hamilton's principle in phase space. We present a method for deriving variational integrators that can be applied to perturbed non-canonical Hamiltonian systems on manifolds based on discretizing this phase-space variational principle. Relative to the perturbation parameter $ε$, this type of integrator can take $O(1)$ time steps with arbitrary accuracy in $ε$ by leveraging the unperturbed dynamics. Moreover, these integrators are coordinate independent in the sense that their time-advance rules transform correctly when p…
An interesting family of geometric integrators for Lagrangian systems can be defined using discretizations of the Hamilton's principle of critical action. This family of geometric integrators is called variational integrators. In this paper, we derive new variational integrators for higher-order lagrangian mechanical system subjected to higher-order constraints. From the discretization of the variational principles, we show that our methods are automatically symplectic and, in consequence, with a very good energy behavior. Additionally, the symmetries of the discrete Lagrangian imply that mome…
This paper formulates variational integrators for finite element discretizations of deformable bodies with heat conduction in the form of finite speed thermal waves. The cornerstone of the construction consists in taking advantage of the fact that the Green-Naghdi theory of type II for thermo-elastic solids has a Hamiltonian structure. Thus, standard techniques to construct variational integrators can be applied to finite element discretizations of the problem. The resulting discrete-in-time trajectories are then consistent with the laws of thermodynamics for these systems: for an isolated sys…
For the linearized setting of the dynamics of complex bodies we construct variational integrators and prove their convergence by making use of BV estimates on the rate fields. We allow for peculiar substructural inertia and internal dissipation, all accounted for by a d'Alembert-Lagrange-type principle.
We present geometric numerical integrators for contact flows that stem from a discretization of Herglotz' variational principle. First we show that the resulting discrete map is a contact transformation and that any contact map can be derived from a variational principle. Then we discuss the backward error analysis of our variational integrators, including the construction of a modified Lagrangian. Throughout the paper we use the damped harmonic oscillator as a benchmark example to compare our integrators to their symplectic analogues.
Optimal control problems for underactuated mechanical systems can be seen as a higher-order variational problem subject to higher-order constraints (that is, when the Lagrangian function and the constraints depend on higher-order derivatives such as the acceleration, jerk or jounces). In this paper we discuss the variational formalism for the class of underactuated mechanical control systems when the configuration space is a trivial principal bundle and the construction of variational integrators for such mechanical control systems. An interesting family of geometric integrators can be defined…
In this work, we present a new approach to the construction of variational integrators. In the general case, the estimation of the action integral in a time interval $[q_k,q_{k+1}]$ is used to construct a symplectic map $(q_k,q_{k+1})\to (q_{k+1},q_{k+2})$. The basic idea here, is that only the partial derivatives of the estimation of the action integral of the Lagrangian are needed in the general theory. The analytic calculation of these derivatives, give raise to a new integral which depends not on the Lagrangian but on the Euler--Lagrange vector, which in the continuous and exact case vanis…
By introducing an integration factor to the differential one-form of contact dynamics, equations of motion are derived variationally, and contact Poisson bracket and contact Lagrangian are formulated. Discrete symplectic integrator, named hybrid leap-frog method, is found to be a numerical solver of equations of motion for contact dissipative systems.
Variational integrators are derived for structure-preserving simulation of stochastic forced Hamiltonian systems. The derivation is based on a stochastic discrete Hamiltonian which approximates a type-II stochastic generating function for the stochastic flow of the Hamiltonian system. The generating function is obtained by introducing an appropriate stochastic action functional and considering a stochastic generalization of the deterministic Lagrange-d'Alembert principle. Our approach presents a general methodology to derive new structure-preserving numerical schemes. The resulting integrators…
Variational integrators using forced discrete Hamiltonian systems
Universidad Nacional de Cuyo(门多萨国立大学);Instituto Balseiro(巴尔塞罗研究所);Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET)(国家科学研究委员会);Universidad Nacional de La Plata(拉普拉塔国立大学);Facultad de Ingeniería Universidad Nacional de La Plata(拉普拉塔国立大学工程学院);Centro de Matemática de La Plata (CMaLP)(拉普拉塔数学中心);Facultad de Ciencias Exactas Universidad Nacional de La Plata(拉普拉塔国立大学理学院)
In this paper, high-order numerical integrators on homogeneous spaces will be presented as an application of nonholonomic partitioned Runge-Kutta Munthe-Kaas (RKMK) methods on Lie groups. A homogeneous space $M$ is a manifold where a group $G$ acts transitively. Such a space can be understood as a quotient $M \cong G/H$, where $H$ a closed Lie subgroup, is the isotropy group of each point of $M$. The Lie algebra of $G$ may be decomposed into $\mathfrak{g} = \mathfrak{m} \oplus \mathfrak{h}$, where $\mathfrak{h}$ is the subalgebra that generates $H$ and $\mathfrak{m}$ is a subspace. Thus, varia…
Geometric integrators for adiabatically closed simple thermodynamic systems
ETH Zürich(苏黎世联邦理工学院);Institute of Mathematical Sciences, Spanish National Research Council(西班牙国家研究委员会数学科学研究所);Royal Academy of Exact, Physical and Natural Sciences of Spain(西班牙皇家精确、物理和自然科学学院);Institute of Mathematics, Polish Academy of Sciences(波兰科学院数学研究所)
Discretizing variational principles, as opposed to discretizing differential equations, leads to discrete-time analogues of mechanics, and, systematically, to geometric numerical integrators. The phase space of such variational discretizations is often the set of configuration pairs, analogously corresponding to initial and terminal points of a tangent vectors. We develop alternative discrete analogues of tangent bundles, by extending tangent vectors to finite curve segments, one curve segment for each tangent vector. Towards flexible, high order numerical integrators, we use these discrete ta…
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 s…
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.
Compatible discretizations, such as finite element exterior calculus, provide a discretization framework that respect the cohomological structure of the de Rham complex, which can be used to systematically construct stable mixed finite element methods. Multisymplectic variational integrators are a class of geometric numerical integrators for Lagrangian and Hamiltonian field theories, and they yield methods that preserve the multisymplectic structure and momentum-conservation properties of the continuous system. In this paper, we investigate the synthesis of these two approaches, by constructin…
The purpose of this paper is to perform an error analysis of the variational integrators of mechanical systems subject to external forcing. Essentially, we prove that when a discretization of contact order $r$ of the Lagrangian and force are used, the integrator has the same contact order. Our analysis is performed first for discrete forced mechanical systems defined over $TQ$, where we study the existence of flows, the construction and properties of discrete exact systems and the contact order of the flows (variational integrators) in terms of the contact order of the original systems. Then w…