Shapiro 延迟：额外光程与传播计数

01从信号到达计数提出问题

向远处发出一个光或无线电信号，再记录其接收时刻，测得的传播量不只取决于端点之间画出的直线距离。当链路经过太阳等质量源附近时，还需计算非均匀空间对沿程光程的作用。Shapiro 延迟讨论的正是：与同端点、同参考下的无引力传播相比，信号多积累了多少传播计数？

ASD 将这一增量解释为空间拉伸区域中的额外参考光程。物质改变路径的真实空间长度，也改变记录过程所依托的标准尺度；将全过程归算到共同参考后，到达计数增加。光的局域传播速度始终保持 $c$。光线偏折读出同一光程的横向梯度，本页则计算沿路径的积累。

测量对象必须先确定：一程传播涉及发射与接收两个端点及它们的参考联系；往返测量记录信号去程与回程的总间隔。两者使用相同背景，但其事件和路径不能不加条件地互换。下面先处理静态背景中的固定端点真空链路，再说明怎样进入实际测量。

02同一空间状态怎样进入传播

设中心源质量为 $M$，引力耦合系数为 $G_0$，记 $\ell_g=G_0M/c^2$。面积半径 $r$ 由球面面积 $4\pi r^2$ 定义。在物质源外且 $r>2\ell_g$ 的静态球对称区域，书稿采用 $X=1-2\ell_g/r$、线膨胀系数 $\Omega=X^{-1/2}$ 和无量纲线密度系数 $\Phi=\Omega^{-1}$。本页 $\Phi$ 不是量子波场，$\rho$ 也将只表示坐标半径，而非体密度。

轨道平面内的真实空间线元为 $d\ell_s^2=X^{-1}dr^2+r^2d\varphi^2$，其中 $\varphi$ 是方位角。远场标准建立计数参数 $t$；局域标准过程积累的周期数满足 $dN=f_0\Phi\,dt$，$f_0$ 为远场参考频率。于是局域标定速度 $v_*=\Phi^{-1}d\ell_s/dt$。令光的 $v_*=c$，得到参考光程 $d\ell_{\rm opt}=\Phi^{-1}d\ell_s$。真实长度与参考光程承担不同角色，不能混作一条欧几里得几何路径。

为积分方便，引入各向同性径向坐标 $\rho$，由 $r=\rho(1+\ell_g/2\rho)^2$ 与面积半径相联系。在这一表示中，$d\ell_{\rm opt}=n_{\rm iso}\,ds_0$，$ds_0$ 是参考欧氏线元；$n_{\rm iso}$ 是将每段参考长度折算成光程的权重。它来自径向长度与周期参考的共同折算，坐标变换本身不增加物理效应。

这一空间与标准过程的响应是模型的构成输入。给定它以后，延迟可以由路径积分得到；局域 $c$ 不变本身并不单独规定额外光程的大小。

03先确定无引力参考传播量

令 $\Gamma$ 为连接两个固定端点的实际驻值光路。沿每一段把参考光程除以 $c$，再相加，得到

$T[\Gamma]$ 表示整条路径对应的传播量。为了定义“额外”，必须采用同一坐标下的同一对端点。设它们之间的无引力欧氏直线为 $\Gamma_0$，长度为 $R_{12}$，则基线传播量为 $R_{12}/c$，一程引力延迟定义为

这项相减把普通距离对应的传播量从总量中分出，留下引力背景的增量。它并不把实测总传播时间的其余链路影响一并消除；端点运动、钟参考和仪器响应仍需在具体测量中处理。

图中两个模式保持相同端点，颜色表示 $n_{\rm iso}-1$ 的相对沿程权重。它是概念示意及一阶模型计算，不是实验数据或实际航天器链路拟合。交互使用任意参考长度 $L$，不预设日地或航天器距离；保留直线 $\Gamma_0$ 对应下面的一阶算法，不能从图形外观读出真实的高阶弯曲量。

04为什么一阶积分可以使用直线

实际光路会弯曲，为什么仍可沿 $\Gamma_0$ 计算延迟？关键在于区分路径改变和光程权重改变，并对二者按同一阶数展开。写成 $n=1+\delta n$、$\Gamma=\Gamma_0+\delta\Gamma$，其中 $\delta n$ 与路径扰动都是弱场的一阶量。

固定端点之间的直线已经使欧氏长度取驻值，故 $\delta\int ds_0=0$。小偏折引起的纯几何长度增量从更高阶开始；将一阶权重 $\delta n$ 再乘一阶路径改变，也超出当前精度。因此一阶延迟只需保留

这正是书稿式（2.53）的构造。空间真实路径和标准过程的参考折算已经进入 $n_{\rm iso}$，并没有因为沿参考直线积分而被忽略。额外光程主要由沿程权重读出；把它全部等同于“光绕弯后多走的欧氏距离”，会漏掉这里的一阶项。

05从端点积分得到对数关系

在参考坐标平面中，以中心源为原点，未扰动路径取 $y=b>0$，沿路径用 $x$ 参数化。$b$ 是这条直线到中心的最近参考距离，即当前弱场计算中的冲击参数。设发射与接收端分居最近接点两侧，分别为 $x=-x_1$ 和 $x=x_2$，其中 $x_1,x_2>0$；端点坐标半径为 $\rho_i=\sqrt{x_i^2+b^2}$，沿途 $\rho=\sqrt{x^2+b^2}$。

将 $n_{\rm iso}-1\simeq2\ell_g/\rho$ 代入上一式，并用 $ds_0=dx$，有

原函数为

以 $b$ 作对数中的长度归一化，可使对数参数无量纲。代入两端，记积分值为 $I$，得到

因 $(\rho_1-x_1)(\rho_1+x_1)=b^2$，负端点的表达可改写成正长度之积，因而

对同一条参考直线，$R_{12}=x_1+x_2$。利用这组端点关系，可以把同一个结果写成只含两个端点半径和端点间距离的形式：

最终式（2.57）明确给出这一步改写所用的代数恒等式：

恒等式在上述端点几何中精确成立；乘在其对数前的引力延迟仍属于首阶弱场计算。这两种“精确”的对象必须分别说明。

后一式是前一式的代数整理，没有加入新的传播效应。两式的等号都在本节一阶弱场精度内理解；它们保留了实际积分端点，却不是完整强场传播的精确闭式。$\rho_1$、$\rho_2$ 和 $R_{12}$ 必须在同一参考坐标中给出。

06远端点与往返链路

当两端均远离最近接区，即 $\rho_1,\rho_2\gg b$ 时，$x_i\simeq\rho_i$，端点式化为

这一近似突出两个物理量：源质量确定额外光程的尺度，链路的最近接距离与端点位置决定沿程积累。$G_0M/c^3$ 具有时间量纲，对数参数无量纲；$M\to0$ 时增量消失。

在这一条件下，往返延迟为

此处登记最终式（2.58）的完整端点比值，不要求 $\rho_i\gg b$；再增加这一远端点条件，才退化为 $4G_0M\ln(4\rho_1\rho_2/b^2)/c^3$。

若信号在航天器处转发时，地面站或航天器的位置已发生可观变化，去程与回程应各自使用相应事件和路径，再合并到同一计数参考。静态倍增式帮助说明一程与往返的关系，不能直接代替移动航天器的原始测距模型。

07怎样进入实际实验比较

Shapiro 测量将传播理论落实到发射、转发和接收事件。除了引力项，测量方程还需包括端点轨道、站点钟与频率参考、传播介质及仪器效应；太阳附近的无线电链路尤其要处理等离子体等影响。以 Cassini 无线电实验为例，链路频率变化与相应往返光行时变化相联系，其比较对象是经过装置和传播处理后的信号量。NASA/JPL 实验说明。

本页从 ASD 的空间光程推得静态一阶延迟。在匹配端点、坐标和近似阶数后，它与比较理论的相应结果同形，因而这一结果自身不区分 ASD 与广义相对论。这里没有完成 Cassini 数据的独立重拟合，也没有把交互示意当作装置模型。现有观测依据和计算范围见引力实验条目 GRV-EXP-003。

08适用范围与后续计算的衔接

上述积分用于静态球对称外部真空背景，路径全程处于弱场，且小偏折展开有效。最近接点两侧的端点构型用于显式积分，远端点和往返关系分别增加了自己的近似条件。更高精度应从完整光程和端点条件一致展开，同时纳入源多极矩、旋转、路径弯曲及实际链路项；不能只在某一个式子里把坐标半径换成面积半径。

ASD 在这里以同一空间状态连接两个传播现象：光程的横向变化改变射线方向，沿程积累改变到达计数。共同背景见引力总览，光程的坐标转换见光线偏折，标准过程的尺度与计数关系见引力红移。进一步进入强场时，应使用静态致密天体中的完整外部光学模型及其适用范围。