Celestial ephemerides in an expanding universe

The post-Newtonian theory of motion of celestial bodies and propagation of light was instrumental in conducting the critical experimental tests of general relativity and in building the astronomical ephemerides of celestial bodies in the Solar System with unparalleled precision. The cornerstone of the theory is the postulate that the Solar System is gravitationally isolated from the rest of the Universe and the background spacetime is asymptotically flat. The present article extends this theoretical concept and formulates the principles of celestial dynamics of particles and light moving in the gravitational field of a localized astronomical system embedded to the expanding Friedmann-Lemaître-Robertson-Walker universe. We formulate the precise mathematical concept of the Newtonian limit of Einstein’s field equations in the conformally flat Friedmann-Lemaître-Robertson-Walker spacetime and analyze the geodesic motion of massive particles and light in this limit. We prove that by doing conformal spacetime transformations, one can reduce the equations of motion of particles and light to the classical form of the Newtonian theory. However, the time arguments in the equations of motion of particles and light differ from each other in terms being proportional to the Hubble constant $\mathcal{H}$. This leads to the important conclusion that the equations of light propagation used currently by space navigation centers for fitting range and Doppler-tracking observations of celestial bodies are missing some terms of the cosmological origin that are proportional to the Hubble constant $\mathcal{H}$. We also analyze the effect of the cosmological expansion on motion of electrons in atoms. We prove that the Hubble expansion does not affect the atomic frequencies and hence does not affect the atomic time scale used in the creation of astronomical ephemerides. We derive the cosmological correction to the light travel time equation and argue that its measurement opens an exciting opportunity to determine the local value of the Hubble constant $\mathcal{H}$ in the Solar System independently of cosmological observations.