引力波为何被视作时空本身的波动？电磁波的波动方程如何成为理解引力波的参照系？在 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“搜狐科技”账号，阅览每期物理课程的详细文章。
