We derive a variational characterization of the exact discrete Hamiltonian, which is a Type II generating function for the exact flow of a Hamiltonian system, by considering a Legendre transformation of Jacobi's solution of the Hamilton-Jacobi equation. This provides an exact correspondence between continuous and discrete Hamiltonian mechanics, which arise from the continuous-and discrete-time Hamilton's variational principle on phase space, respectively. The variational characterization of the exact discrete Hamiltonian naturally leads to a class of generalized Galerkin Hamiltonian variational integrators that includes the symplectic partitioned Runge-Kutta methods. This extends the framework of variational integrators to Hamiltonian systems with degenerate Hamiltonians, for which the standard theory of Lagrangian variational integrators cannot be applied. We also characterize the group invariance properties of discrete Hamiltonians that lead to a discrete Noether's theorem.
In this article, we develop high-order symplectic integrators for solving second order differential equations which can be transformed into separable Hamiltonian systems. The construction of such high-order integrators is based on the notion of continuous-stage Runge-Kutta-Nyström methods in conjunction with the Legendre polynomial expansion techniques and simplifying assumptions of order conditions. As examples, three new one-parameter families of symplectic methods which are of order 4, 6 and 8 respectively are derived in use of Gaussian-type quadrature. Some numerical tests are well performed to verify our theoretical results.
We develop continuous-stage Runge-Kutta-Nyström (csRKN) methods for solving second order ordinary differential equations (ODEs) in this paper. The second order ODEs are commonly encountered in various fields and some of them can be reduced to the first order ODEs with the form of separable Hamiltonian systems. The symplecticity-preserving numerical algorithm is of interest for solving such special systems. We present a sufficient condition for a csRKN method to be symplecticity-preserving, and by using Legendre polynomial expansion we show a simple way to construct such symplectic RKN type method.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.