General relativistic observables of the GRAIL mission

TL;DR

This paper develops a comprehensive relativistic model for the GRAIL mission's observables, enabling precise measurement of lunar gravity by accounting for relativistic effects in signal timing and frequency transformations.

Contribution

It introduces a detailed relativistic framework for GRAIL's measurements, improving accuracy in lunar gravity data analysis and supporting future enhancements.

Findings

Relativistic model for dual one-way range accurate to 1 μm.

Relativistic model for range-rate accurate to 1 μm/s.

Justification of GRAIL's measurement assumptions.

Abstract

We present a realization of astronomical relativistic reference frames in the solar system and its application to the GRAIL mission. We model the necessary spacetime coordinate transformations for light-trip time computations and address some practical aspects of the implementation of the resulting model. We develop all the relevant relativistic coordinate transformations that are needed to describe the motion of the GRAIL spacecraft and to compute all observable quantities. We take into account major relativistic effects contributing to the dual one-way range observable, which is derived from one-way signal travel times between the two GRAIL spacecraft. We develop a general relativistic model for this fundamental observable of GRAIL, accurate to 1 $\mu$m. We develop and present a relativistic model for another key observable of this experiment, the dual one-way range-rate, accurate to 1 $\mu$m/s. The presented formulation justifies the basic assumptions behind the design of the GRAIL mission. It may also be used to further improve the already impressive results of this lunar gravity recovery experiment after the mission is complete. Finally, we present transformation rules for frequencies and gravitational potentials and their application to GRAIL.