Time integration and discrete Hamiltonian systems (Q2563690)

The paper deals with numerical integration schemes for Hamiltonian systems with symmetry. It is desirable that numerical time-integration schemes preserve physically meaningful integrals of the underlying system. These types of integrators are usually referred to as conserving integrators and are the subject of this investigation. Let \((P,\Omega)\) be a symplectic space with \(P\) open in \(\mathbb{R}^m\) and \(H:P\to \mathbb{R}\) any smooth function. Consider the Hamiltonian differential equation (1): \(\dot z= X_H (z)\), where the Hamiltonian vector field \(X_H\) is assumed to be smooth. With respect to equation (1), the numerical scheme (2): \(z_{n+1}- z_n=h \widetilde X_H (z_n,z_{n+1})\) is constructed in such a way that it inherits an arbitrary integral from the underlying system. In (2), \(h>0\) is the time step and \(\widetilde X_H: P\times P\to \mathbb{R}^m\) is a given smooth map. The author further defines discrete derivative, discrete Hamiltonian vector field and discrete bracket, which is used to define integrals for discrete Hamiltonian systems. Namely the ones with symmetry are investigated within the context of discrete dynamical systems. This important paper is clearly written and well organized.