WHFAST: a fast and unbiased implementation of a symplectic Wisdom-Holman integrator for long-term gravitational simulations

We present WHFast, a fast and accurate implementation of a Wisdom-Holman symplectic integrator for long-term orbit integrations of planetary systems. WHFast is significantly faster and conserves energy better than all other Wisdom-Holman integrators tested. We achieve this by significantly improving the Kepler-solver and ensuring numerical stability of coordinate transformations to and from Jacobi coordinates. These refinements allow us to remove the linear secular trend in the energy error that is present in other implementations. For small enough timesteps we achieve Brouwer's law, i.e. the energy error is dominated by an unbiased random walk due to floating-point round-off errors. We implement symplectic correctors up to order eleven that significantly reduce the energy error. We also implement a symplectic tangent map for the variational equations. This allows us to efficiently calculate two widely used chaos indicators the Lyapunov characteristic number (LCN) and the Mean Exponential Growth factor of Nearby Orbits (MEGNO). WHFast is freely available as a flexible C package, as a shared library, and as an easy-to-use python module.

[1]  S. Tremaine,et al.  Symplectic integrators for solar system dynamics , 1992 .

[2]  Fernando Roig,et al.  A COMPARISON BETWEEN METHODS TO COMPUTE LYAPUNOV EXPONENTS , 2001 .

[3]  Dirk Brouwer,et al.  Erratum [On the accumulation of errors in numerical integration] , 1937 .

[4]  H. Plummer,et al.  An Introductory Treatise on Dynamical Astronomy , 1919 .

[5]  C. Murray,et al.  Solar System Dynamics: Expansion of the Disturbing Function , 1999 .

[6]  S. Mikkola.  Practical Symplectic Methods with Time Transformation for the Few-Body Problem , 1997 .

[7]  J. Wisdom,et al.  Symplectic maps for the N-body problem. , 1991 .

[8]  J. M. A. Danby,et al.  The solution of Kepler's equation, I , 1983 .

[9]  H. Rein,et al.  REBOUND: An open-source multi-purpose N-body code for collisional dynamics , 2011, 1110.4876.

[10]  Hanno Rein,et al.  ias15: a fast, adaptive, high-order integrator for gravitational dynamics, accurate to machine precision over a billion orbits , 2014, 1409.4779.

[11]  J. Wisdom.  Symplectic Correctors for Canonical Heliocentric n-Body Maps , 2006 .

[12]  E. Stiefel.  Linear And Regular Celestial Mechanics , 1971 .

[13]  Hiroshi Nakai,et al.  Symplectic integrators and their application to dynamical astronomy , 1990 .

[14]  Symplectic Tangent map for Planetary Motions , 1999 .

[15]  J. Wisdom,et al.  Tidal evolution of the Uranian satellites: II. An explanation of the anomalously high orbital inclination of Miranda , 1989 .

[16]  Carles Simó,et al.  Phase space structure of multi-dimensional systems by means of the mean exponential growth factor of nearby orbits , 2003 .

[17]  T. Hinse,et al.  Application of the MEGNO technique to the dynamics of Jovian irregular satellites , 2009, 0907.4886.

[18]  S. Tremaine,et al.  Roundoff error in long-term planetary orbit integrations , 1990 .

[19]  J. Wisdom,et al.  The Chaotic Obliquity of Mars , 1993, Science.

[20]  J. Danby,et al.  The solution of Kepler's equation, III , 1987 .

[21]  Gerald J. Sussman,et al.  Structure and interpretation of classical mechanics , 2001 .

[22]  Jack Wisdom,et al.  Symplectic Maps for the n-Body Problem: Stability Analysis , 1992 .

[23]  R. Devaney.  Celestial mechanics. , 1979, Science.

[24]  Harold F. Levison,et al.  A Multiple Time Step Symplectic Algorithm for Integrating Close Encounters , 1998 .

[25]  Kevin P. Rauch,et al.  Dynamical Chaos in the Wisdom-Holman Integrator: Origins and Solutions , 1999 .

[26]  S. Newcomb.  On the Limitation of the Period during which special Perturbations can be used in Planetary Theory. , 2022 .

[27]  Bruce A. Conway.  An improved algorithm due to laguerre for the solution of Kepler's equation , 1986 .

[28]  J. Candy,et al.  Symplectic integrators for long-term integrations in celestial mechanics , 1991 .

[29]  Simple derivation of Symplectic Integrators with First Order Correctors , 2000 .