费曼的三阶拉格朗日密度对引力场正确吗？

费曼三阶项必须满足的条件

费曼的讲义把引力当作平直时空中的场论来构造：引力场是生活在闵可夫斯基背景上的对称张量 hμν，作用量按 hμν 的阶数逐阶展开。二阶部分是 Fierz-Pauli 拉格朗日密度。下一项，即 hμν 的三阶项，并不是可以随意选取的：它必须满足费曼由点质量运动方程以及该系统能量-动量张量的散度导出的一个条件。

这个条件就是非线性比安基恒等式的微扰形式。用论文的记号，它写成二阶场方程散度所满足的方程 ηλμ∂νχμν(2) = −Γλμνχμν(1)，并且必须在拉格朗日密度层面成立，而不只是在由此得到的运动方程层面成立。论文在五条明确公设下工作：局域性与洛伦兹不变性；场方程中最多含两个导数；等效原理，即与守恒能量-动量张量的普适耦合；二阶拉格朗日密度的线性比安基恒等式；以及比安基恒等式。

参照点是爱因斯坦自己的三阶拉格朗日密度 L(3)E，它由展开爱因斯坦拉格朗日密度得到。论文的主张是：任何可接受的三阶项都必须在相差一个全导数意义下等于 L(3)E，记作 L(3) ≃ L(3)E，其中 A ≃ B 表示 A 与 B 相差 ∂μCμ。

十六个结构与两个自由参数

由 hμν 构成、每个场带一个导数的最一般三阶候选式有 16 个独立结构，记作 T_1 到 T_16。论文对每个结构算出二阶场方程 χμν(2)，再算出其散度 (∂χ[i])μ，把条件组装成线性组合 Σ gi(∂χ[i])μ = Vμ，其中 Vμ 由二阶拉格朗日密度确定。

解这个方程组得到 L(3) = L(3)E + x(T_3 + T_9 − T_13 − T_15) + y(T_6 + T_8 − T_12 − T_16)，其中 x 和 y 是任意实常数。这两个括号组合在相差一个全导数意义下为零，因此无论 x 和 y 取何值，结果都与 L(3)E 等价。三阶项正是在这个具体意义上被固定下来：剩下的自由度是表面项自由度，不是物理自由度。

论文还把展开推进了一阶。四阶候选式包含 43 个结构，其解带有五个任意实常数 C1、C12、C13、C18 和 C21；三阶场方程 χμν(3) 不依赖这些常数。取 C1 = 1、C12 = −1、C13 = 1/2、C18 = 0、C21 = −1，就重现了 L(4)E；论文还指出，早先 Goroff-Sagnotti 表达式中 {7}/2 这一项有一处错误。

费曼表达式与爱因斯坦式的分歧所在

费曼印出的三阶密度用迹反转场 h̄μν = hμν − ½ημνh 写出，可以在同一套 16 个结构的基下重新展开。结果在多数系数上与 L(3)E 一致，但有两处不同：费曼版本带的是 −4T_8 + 2T_12，而爱因斯坦版本带的是 −2T_8 + 2T_13。因此两者之差为 L(3)Feynman/g − L(3)E/g ≃ −2T_8 + 2T_12，论文指出它不为零。

这一行就是论文的核心技术结果。由于这个差不是全导数，费曼的三阶拉格朗日密度不是它本应满足的那条条件的解。论文明确指出，这是关于拉格朗日密度本身的陈述，而不是关于某个可能碰巧一致的导出运动方程的陈述。

arXiv v3 版新增的一条注记指出，另一个来源，即 Huggins 1962 年的学位论文，印出的三阶拉格朗日密度第三项是 −2hαβhγδ∂γ∂βh̄δα，而不是费曼的 −2hαβhδβ∂γ∂δh̄γα。那个版本是正确的，满足 L(3) ≃ L(3)E。因此，出入出在广为流传的讲义表达式上，而不在总体框架上。

近日点进动为何仍然算对

近日点进动是在球对称静态系统中计算的：一个粒子绕质量为 M 的恒星运动，hμν 取为对角形式且只依赖半径。仅靠二阶拉格朗日密度无法解释观测到的进动，必须计入三阶项。在所需阶数上，每圈进动为 δ ≈ π(2GNM)²/L² (α² + αβ − a)，其中 α、β 和 a 来自把 hμν 的时间分量与空间分量按 φ = −2GNMu 的幂次展开。

按 GN 逐阶求解场方程，一阶给出 (α⟨1⟩, β⟨1⟩, a⟨1⟩, b⟨1⟩) = (1, 1, 0, 0)，二阶给出 (α⟨2⟩, β⟨2⟩, a⟨2⟩, b⟨2⟩) = (1, 1, 1/2, −3/8)，后者与 Ortín 和 Nikishov 的结果一致。由此得到 δ⟨1⟩ = π(2GNM)²/L² · 2 和 δ⟨2⟩ = π(2GNM)²/L² · 3/2，所以 δ⟨1⟩ = (4/3)δ⟨2⟩。只有 δ⟨2⟩ 与实验相符。

费曼那个不正确的密度为何仍能通过这项检验，论文直接给出了原因：在这个背景下 χμνT_8[h⟨1⟩] = χμνT_12[h⟨1⟩] 成立，于是两个“出错”的结构贡献相同，其差值被消掉。这一致性只是受限的静态球对称情形的性质，并不能证明两个拉格朗日密度等价。

两种密度应在何处分道扬镳

论文列出了预期差异会显现的情形：真正依赖时间的场景，例如辐射；对完整离壳三阶顶点敏感的過程，例如散射振幅；以及超出近日点进动所检验的受限静态区域的更高后牛顿阶。在这些情形中，挽救近日点计算的那种抵消不再可用，于是费曼表达式与 L(3)E 之间的取舍会在物理上显现出来。

这些是论文对差异应在何处出现的预期，而不是已经算出的差异。论文没有给出辐射过程或散射振幅的数值预言；它指出的是这样一类可观测量，在其中 −2T_8 + 2T_12 之差不能指望被抵消。

与主要结果并列，论文还给出一个适用范围条件：分析采用 gμν = ημν + hμν 这一识别以及由此得到的比安基条件形式。若要纳入局域场重定义意义上的更广泛等价性，需要另行讨论，因此对费曼表达式的判定是与这一特定框架绑定的。

这一更正对读者意味着什么

实际结论是两种用途要分开看。如果用三阶拉格朗日密度在静态球对称系统中重现经典近日点进动，费曼印出的表达式与正确表达式给出相同答案，在那里这个错误无害。如果把它用作任何探测离壳三阶顶点的计算的输入，或用于依赖时间的、更高阶的引力计算，论文的结果表明应把印出的表达式换成 L(3)E，或等价地换成 Huggins 的版本。

论文对自身价值的定位也指向同一方向：它为一本广为阅读的讲义提供具体更正，借费曼的构造展示现代自旋-2 视角下广义相对论为何唯一，并把显式的三阶和四阶拉格朗日密度整理成便于查阅的形式。四阶解连同它的五个自由常数和更正后的 {7}/2 项，是作为技术参考给出的，而不是作为新的物理主张。

因此，读者最该关注的不是“费曼错了”，而是哪项检验能发现这个错误、哪项不能。近日点进动是这里唯一计算过的可观测量，由于一个依赖背景的抵消，它对这一差异是盲的；论文的贡献在于准确指出是哪两个结构不同，并点明这种抵消应当失效的场景。

本文引用的文献