https://hal-insu.archives-ouvertes.fr/insu-03748190Agol, EricEricAgolIAP - Institut d'Astrophysique de Paris - INSU - CNRS - Institut national des sciences de l'Univers - SU - Sorbonne UniversiteĢ - CNRS - Centre National de la Recherche ScientifiqueHernandez, David M.David M.HernandezLangford, ZacharyZacharyLangfordA differentiable N-body code for transit timing and dynamical modelling - I. Algorithm and derivativesHAL CCSD2021planetary systemsplanets and satellites: dynamical evolution and stabilityAstrophysics - Earth and Planetary AstrophysicsAstrophysics - Instrumentation and Methods for AstrophysicsAstrophysics - Solar and Stellar Astrophysics[SDU] Sciences of the Universe [physics][SDU.ASTR] Sciences of the Universe [physics]/Astrophysics [astro-ph]POTHIER, Nathalie2022-08-09 13:36:162022-11-24 17:02:582022-08-09 13:36:17enJournal articleshttps://hal-insu.archives-ouvertes.fr/insu-03748190/document10.1093/mnras/stab2044application/pdf1When fitting N-body models to astronomical data - such as transit times, radial velocity, and astrometric positions at observed times - the derivatives of the model outputs with respect to the initial conditions can help with model optimization and posterior sampling. Here, we describe a general purpose symplectic integrator for arbitrary orbital architectures, including those with close encounters, which we have recast to maintain numerical stability and precision for small step sizes. We compute the derivatives of the N-body coordinates and velocities as a function of time with respect to the initial conditions and masses by propagating the Jacobian along with the N-body integration. For the first time, we obtain the derivatives of the transit times with respect to the initial conditions and masses using the chain rule, which is quicker and more accurate than using finite differences or automatic differentiation. We implement this algorithm in an open source package, NbodyGradient.jl, written in the JULIA language, which has been used in the optimization and error analysis of transit-timing variations in the TRAPPIST-1 system. We present tests of the accuracy and precision of the code, and show that it compares favourably in speed to other integrators that are written in C.