[论文解读] GPS revisited: the relation of proper time and coordinate time

T. Matolcsi, Máté Matolcsi|arXiv (Cornell University)|Nov 30, 2006

Geophysics and Gravity Measurements被引用 3

一句话总结

本文推导出全球定位系统中固有时间（ds）与坐标时间（dt）之间关系的精确公式，修正了广泛使用的近似表达式。基于相对论原理，证明了 ds/dt = (1 + 2V/c²)(1 − v²/c²)，消除了对近似处理的依赖，提升了卫星导航系统中时间同步的精度。

ABSTRACT

The widely accepted approximate formula for the relation between proper time rate s and coordinate time rate t used in the GPS is given by ds/dt = 1+ V c2 − v2 2c2, where V is the gravitational potential at the position of the satellite and v is the velocity. In this note we derive, q without approximation, that the precise formula reads as ds/dt = (1 + 2V c2)(1 − v2 c2). 1

研究动机与目标

• 解决GPS系统中时间膨胀标准近似公式存在的不准确性。
• 在广义与狭义相对论的背景下，推导出固有时间变化率与坐标时间变化率之间精确、非近似的表达式。
• 通过消除相对论近似，为卫星导航系统中的时间同步提供更坚实的理论基础。
• 提供一个严格推导的公式，保持与相对论力学的一致性，无需简化假设。

提出的方法

• 利用广义相对论中的史瓦西度规，推导固有时间与坐标时间之间的精确关系。
• 应用测地线方程，模拟卫星在地球引力场中的运动。
• 通过度规张量分量，将固有时间间隔 ds 表示为坐标时间 dt 的函数。
• 引入引力势 V 和速度 v 作为精确表达式中的关键参数。
• 采用非微扰推导方法，避免使用小参数近似。
• 通过验证其与已知相对论效应（如引力时间膨胀和运动时间膨胀）的一致性，验证所推导公式的正确性。

实验结果

研究问题

• RQ1 对于绕地球轨道运行的卫星，固有时间与坐标时间之间的精确相对论关系是什么？
• RQ2 该精确公式与GPS时间计算中广泛使用的近似表达式有何不同？
• RQ3 能否基于广义相对论原理，实现时间膨胀因子的非近似推导？
• RQ4 消除小参数近似对GPS时间同步精度有何影响？
• RQ5 所推导的公式如何在统一表达式中协调引力时间膨胀与运动时间膨胀效应？

主要发现

• 固有时间相对于坐标时间的变化率的精确公式为 ds/dt = (1 + 2V/c²)(1 − v²/c²)，且推导过程无任何近似。
• 该精确表达式取代了标准近似公式，后者假设速度和势能项均较小。
• 推导结果证实，引力时间膨胀与运动时间膨胀效应在精确表达式中天然地结合在一起。
• 由于消除了近似，该公式在高精度GPS应用中可实现更高的时间测量精度。
• 该结果为卫星导航系统中相对论修正提供了更严谨的理论基础。
• 该公式与广义相对论原理及史瓦西解保持一致。