Moving frames and Noether's finite difference conservation laws. I

DOI10.1093/IMATRM/TNZ004zbMATH Open1490.70062arXiv1804.00317OpenAlexW2972578195MaRDI QIDQ5082072FDOQ5082072

Authors:

Publication date: 15 June 2022

Published in: Transactions of Mathematics and Its Applications (Search for Journal in Brave)

Abstract: We consider the calculation of Euler--Lagrange systems of ordinary difference equations, including the difference Noether's Theorem, in the light of the recently-developed calculus of difference invariants and discrete moving frames. We introduce the difference moving frame, a natural discrete moving frame that is adapted to difference equations by prolongation conditions. For any Lagrangian that is invariant under a Lie group action on the space of dependent variables, we show that the Euler--Lagrange equations can be calculated directly in terms of the invariants of the group action. Furthermore, Noether's conservation laws can be written in terms of a difference moving frame and the invariants. We show that this form of the laws can significantly ease the problem of solving the Euler--Lagrange equations, and we also show how to use a difference frame to integrate Lie group invariant difference equations. In this Part I, we illustrate the theory by applications to Lagrangians invariant under various solvable Lie groups. The theory is also generalized to deal with variational symmetries that do not leave the Lagrangian invariant. Apart from the study of systems that are inherently discrete, one significant application is to obtain geometric (variational) integrators that have finite difference approximations of the continuous conservation laws embedded extit{a priori}. This is achieved by taking an invariant finite difference Lagrangian in which the discrete invariants have the correct continuum limit to their smooth counterparts. We show the calculations for a discretization of the Lagrangian for Euler's elastica, and compare our discrete solution to that of its smooth continuum limit.

Full work available at URL: https://arxiv.org/abs/1804.00317

Recommendations

• Moving frames and Noether's finite difference conservation laws. II
• On moving frames and Noether's conservation laws
• Moving frames and conservation laws for Euclidean invariant Lagrangians
• A variational complex for difference equations
• Towards approximations which preserve integrals

zbMATH Keywords

finite differenceNoether's theoremdiscrete moving frames

Mathematics Subject Classification ID

Difference equations (39A99) Symmetries and conservation laws in mechanics of particles and systems (70S10)

Cited In (13)

• Invariant variational schemes for ordinary differential equations
• A variational complex for difference equations
• Computation of infinitesimals for a group action on a multispace of one independent variable
• Exponentially fitted methods with a local energy conservation law
• A modified formal Lagrangian formulation for general differential equations
• On moving frames and Noether's conservation laws
• Using Lie group integrators to solve two and higher dimensional variational problems with symmetry
• Towards approximations which preserve integrals
• Discrete moving frames on lattice varieties and lattice-based multispaces
• Moving frames: difference and differential-difference Lagrangians
• Moving frames and Noether's finite difference conservation laws. II
• Multi-component Toda lattice in centro-affine \(\mathbb{R}^n\)
• Invariants: Computation and Applications

This page was built for publication: Moving frames and Noether's finite difference conservation laws. I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5082072)