Geometric Generalisations of shake and rattle
A geometric analysis of the shake and rattle methods for constrained Hamiltonian problems is carried out. The study reveals the underlying differential geometric foundation of the two methods, and the exact relation between them. In addition, the geometric insight naturally generalises shake and rattle to allow for a strictly larger class of constrained Hamiltonian systems than in the classical setting.
In order for shake and rattle to be well defined, two basic assumptions are needed. First, a nondegeneracy assumption, which is a condition on the Hamiltonian, i.e., on the dynamics of the system. Second, a coisotropy assumption, which is a condition on the geometry of the constrained phase space. Non-trivial examples of systems fulfilling, and failing to fulfill, these assumptions are given.
KeywordsSymplectic integrators Constrained Hamiltonian systems Coisotropic submanifolds Differential algebraic equations
Mathematics Subject Classification (2010)37M15 65P10 70H45 65L80
O. Verdier would like to acknowledge the support of the GeNuIn Project, funded by the Research Council of Norway, the Marie Curie International Research Staff Exchange Scheme Fellowship within the European Commission’s Seventh Framework Programme as well as the hospitality of the Institute for Fundamental Sciences of Massey University, New Zealand, where some of this research was conducted. K. Modin would like to thank the Marsden Fund in New Zealand, the Department of Mathematics at NTNU in Trondheim, the Royal Swedish Academy of Science and the Swedish Research Council, contract VR-2012-335, for support. We would like to thank the reviewers for helpful suggestions.
- 2.P. Dirac, Lectures on Quantum Mechanics (Dover Publications, New York, 2001). Google Scholar
- 8.E. Hairer, C. Lubich, G. Wanner, Geometric Numerical Integration: Structure-Preserving Algorithms for Ordinary Differential Equations (Springer, Berlin, 2006). Google Scholar
- 14.R. McLachlan, K. Modin, O. Verdier, M. Wilkins, Symplectic integrators for index one constraints (2012). arXiv:1207.4250.