引力波为何被视为时空本身的波动？电磁波的波动方程又怎样成为理解引力波的参照系？在TT规范下，引力波的平面波解如何刻画引力作用？它又是怎样让相邻测试粒子间的距离产生变动？7月18日12时，《张朝阳的物理课》第二百九十期准时上线。搜狐创始人、董事局主席兼CEO、物理学博士张朝阳现身搜狐视频直播间，针对上述疑问进行深度解析。课程开篇先对电磁波波动方程做了回顾，随后切入弱场近似下的引力波理论，把时空度规拆解为平直背景与微小扰动，并在洛伦茨规范框架内推导出引力波所遵循的波动方程；接着深入探讨远场引力波的平面波解，依托TT规范阐明引力波振幅的具体形态；最后从测地线方程及协变加速度入手，剖析引力波借由时变的度规扰动改变相邻测试粒子固有距离的过程，进而揭示LIGO等干涉仪探测引力波背后的基础物理逻辑。
（张朝阳介绍真空中的引力微扰）
回顾电磁波的波动方程
2015年9月14日，部署于美国Hanford和Louisiana的LIGO引力波探测器，首次捕获到源自双黑洞并合事件的引力波信号。这一具有里程碑意义的事件被命名为GW150914。该事件距地球约 ，参与并合的两个黑洞质量分别约为 倍太阳质量和 倍太阳质量，最终合并形成一个约 倍太阳质量的黑洞。GW150914的发现，不仅直接证实了引力波的存在，也为强引力场中的时空动力学研究提供了关键观测数据。
在切入引力波话题前，不妨先重温电磁波的波动方程。电磁场可通过电势 和磁矢势 来描述。真空中，二者满足如下波动方程：
此类波动方程的解可表示为平面波的叠加。针对单色平面波，其形式为：
为了将这一形式转化为相对论协变表达，引入四维坐标：
并统一记作 ，其中 。在平直时空中，闵可夫斯基度规定义为：
依据爱因斯坦求和约定，电势 满足的波动方程可重写为：
此表达式表明，波动方程能利用度规与四维普通导数统一表述。这不仅揭示了电磁波的传播特性，也印证了电磁波在真空中以光速行进的事实。
（张朝阳回顾电磁波波动方程）
引力波的波动方程
接下来讨论引力波。广义相对论里，引力并非传统意义上的力，而是时空几何属性的体现。在真空区域，能动张量为零，故爱因斯坦场方程简化为：
若某遥远天体系统产生引力波，比如双黑洞并合，波源附近的引力波呈现球面波特征。随着传播距离拉大，球面波振幅逐渐衰减。当引力波抵达地球附近时，因距离极远，振幅已极其微弱。因此，可将地球附近的时空视为闵可夫斯基平直时空上的微小扰动。于是，度规的 型分量可写为：
其中
而 表示相对于平直背景的微小扰动。
第二个等号源于度规分量构成对称矩阵。此处 的每一分量均为小量。相应地，度规的逆分量，即 型分量，在一阶近似下可表达为：
这一点可直接通过相乘验证：
其中
而 是二阶小量，在一阶近似中予以忽略。因此，在保留至 的一阶项时，上述 和 确互为逆矩阵。需注意的是，我们的背景时空是平直的闵可夫斯基时空。若张量场表述于该背景时空，则可使用度规 进行指标升降，例如微扰 是该背景时空上的张量，而 是该时空上与度规适配的导数算符。因此， 和微扰分量 都应使用度规分量 或 来升降指标。但对于像度规 这样不定义在闵可夫斯基时空上的量，不能直接用度规 进行指标升降，须先将其表示成闵可夫斯基时空上的张量，如 型分量 ，随后才能使用度规分量 处理。
里奇张量的 型分量由黎曼曲率张量缩并得到，用克氏符表示时为：
克氏符由度规给出：
将和代入，并仅保留 的一阶项，可得：
由于克氏符本身已是 的一阶小量，里奇张量分量中的 项至少为二阶小量，一阶近似下可忽略。因此：
进一步展开得：
这就是弱场近似下里奇张量分量的一阶表达式。在洛伦茨规范条件下：
代入上式，里奇张量的分量化为：
里奇标量在一阶近似下为：
而从场方程视角看，代表几何的爱因斯坦张量还包含一个里奇标量，爱因斯坦张量在弱场近似下为：
因此，爱因斯坦场方程可写为：
为将方程化为标准波动方程形式，定义反迹扰动：
用 表示时，洛伦茨规范条件可写为：
场方程则变为：
在真空中，能动张量 ，故得到无源波动方程：
这说明，在弱场近似和洛伦茨规范下，引力波满足与电磁波类似的波动方程，且在真空中以光速传播。
（张朝阳推导引力波的波动方程）
引力波的平面波解
实际天体源发出的引力波通常呈球面波形式。因波源距地球极远，当引力波传至地球附近时，球面波的曲率半径已非常大。在探测器所在的局部区域内，可近似认为引力波波前为平面。因此，远场引力波通常可用平面波描述。
假设引力波沿 轴传播，垂直于传播方向的两个空间方向即为 轴和 轴。一般引力波可表示为不同频率平面波的叠加。为分析其基本性质，先取其中一个单色平面波分量：
其中系数 是引力波振幅张量，三维波矢为：
将该平面波解代入真空中的引力波方程，得：
因此色散关系为：
对于沿 轴正方向传播的波，可取：
这说明引力波在真空中以光速传播。
平面波亦可写成四维形式：
其中是4维波矢，其逆变分量为，是四维坐标。若引力波沿 轴传播，则可取：
由于闵可夫斯基度规为，对应的协变分量为：
将4维形式写成分量指标的形式为：
由于度规扰动 是对称矩阵， 起初具有 个独立分量。但引力波真正的物理自由度仅有 个。为剔除多余规范自由度，通常选取横向无迹规范，即TT规范。TT规范的第一个条件为纯空间条件，即 ，因此振幅可写为：
TT规范的第二个条件是横波条件，即扰动张量的散度为零：
代入平面波解，有：
因平面波因子不恒为零，必须满足：
这便是横波条件的分量形式。对于沿 轴传播的引力波，代入波矢，得到：
因纯空间条件已要求 ，所以：
于是振幅进一步化为：
TT规范的第三个条件是无迹条件：
代入沿 轴传播的平面波解，得到：
因此：
最终，沿 轴传播的TT规范平面引力波振幅可写为：
由此可见， 最终仅剩两个独立分量。这两个分量对应引力波的两个独立偏振模式。通常把 所对应的偏振称为 偏振，把 所对应的偏振称为 偏振。也就是说，引力波虽源于度规张量的扰动，但在真空中真正传播的物理自由度只有两个。
（张朝阳介绍TT规范对度规微扰的限制）
时空扰动的形变
引力波的物理效应，在于使时空中相邻自由测试粒子间的空间距离随时间发生微小变化。换言之，引力波并非像普通外力那样直接推动单个粒子，而是通过改变时空几何，使一组自由粒子间的相对距离产生周期性变化。
测试粒子的运动遵循测地线方程：
在弱场低速近似下，粒子的四速度主要沿时间方向，因此：
于是测地线方程近似为：
对于沿 轴传播的TT规范引力波，克氏符为：
所以单个测试粒子的坐标加速度为零：
若考虑两个相邻测试粒子间的空间分离矢量，即形变矢量：
它的坐标分量的加速度满足：
这说明，在TT规范下，引力波不会表现为测试粒子坐标位置的加速变化。测试粒子可保持固定坐标不动。但这并不意味着引力波没有物理效应。真正发生变化的是两个测试粒子间的几何距离，即分离矢量本身的协变变化。
因此，描述形变时不能仅看坐标分量的普通导数，还必须考虑标架随时空扰动发生的变化。也就是说，应计算形变矢量 的协变导数。对 作协变微分，有：
两边除以 ，得到：
定义形变矢量的协变速度为：
相应地，形变矢量的协变加速度为：
在弱场低速近似下：
因此协变速度为：
协变加速度为：
展开计算加速度得到：
在TT规范下，粒子的坐标分离不随时间发生普通加速变化，因此：
同时， 是关于扰动 的一阶小量；若测试粒子最初相对静止，则 也是由扰动引起的一阶小量。因此是二阶小量，在一阶近似下可忽略。最后一项包含两个克氏符，亦为二阶小量，同样可忽略。因此，保留至扰动的一阶，有：
这就是形变矢量 的协变加速度。它正是测地线偏离方程在弱场低速极限下的表现。
接下来，代入克氏符的具体表达式，在平面波情况下：
其中我们用到了TT规范的条件。代入协变加速度表达式，得到：
这个结果说明，引力波通过时变的度规扰动 改变测试粒子间的相对距离。单个自由粒子在TT坐标中可以保持坐标位置不变，但多个测试粒子间的固有距离会随时间振荡。正是这种相对距离的周期性变化，使得LIGO这样的干涉仪能够探测到引力波。
（张朝阳推导形变矢量所满足的加速度方程）
据悉，《张朝阳的物理课》每周周日中午12时在搜狐视频直播。网友可在搜狐视频APP“关注流”中搜索“张朝阳”，观看直播及往期完整视频回放；也可关注“张朝阳的物理课”账号，查看课程中的“知识点”短视频；此外，还能在搜狐新闻APP的“搜狐科技”账号上，阅览每期物理课程的详细文章。
