时间传递函数作为验证空间天体测量光传播解的一种方法
Time Transfer functions as a way to validate light propagation solutions for space astrometry
摘要：
鉴于现代空间天体测量的极端精确性，需要精确的观测相对论建模。关于光的传播，标准的程序是零测地线方程的解。然而，另一种基于时间传递函数（TTF）的方法已经证明了它能够使用基于积分的方法来获得关键量，例如两个点事件之间的光信号的飞行时间以及弱引力场中的零测地线的切向量。以不同和独立的方式制定的几个模型的可用性，不应被视为一个超大的相对论工具箱。恰恰相反，他们需要作为验证，把未来的实验结果坚实的基础。因此，这项工作的目标是双重的。首先，我们建立了一个封闭的形式内的TTF形式主义的时间依赖性度量的情况下，飞行时间和切向量。其次，我们展示了如何使用这种新的方法来获得TTF与现有的两个建模，即GREM和RAMOD的比较。通过这种方式，我们证明了三种模型的相互一致性，为所有方法之间的进一步联系奠定了基础，这对于解释未来的空间飞行任务数据是强制性的。这将通过两个公认的例子来说明：静态的引力场和匀速运动的单极子系统。
英文摘要：
Given the extreme accuracy of modern space astrometry, a precise relativistic modeling of observations is required. Concerning light propagation, the standard procedure is the solution of the null-geodesic equations. However, another approach based on the Time Transfer Functions (TTF) has demonstrated its capability to give access to key quantities such as the time of flight of a light signal between two point-events and the tangent vector to its null-geodesic in a weak gravitational field using an integral-based method. The availability of several models, formulated in different and independent ways, must not be considered like an oversized relativistic toolbox. Quite the contrary, they are needed as validation to put future experimental results on solid ground. The objective of this work is then twofold. First, we build the time of flight and tangent vectors in a closed form within the TTF formalism giving the case of a time dependent metric. Second, we show how to use this new approach to obtain a comparison of the TTF with two existing modelings, namely GREM and RAMOD. In this way, we evidentiate the mutual consistency of the three models, opening the basis for further links between all the approaches, which is mandatory for the interpretation of future space missions data. This will be illustrated through two recognized cases: a static gravitational field and a system of monopoles in uniform motion.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
