Sign Errors in "The Four Laws of Black Hole Mechanics"

本文指出巴丁、卡特和霍金在 1973 年发表的《黑洞力学四定律》一文中存在两处相互抵消的符号错误：即总粒子数和总熵的定义中缺失了负号，以及由此导致的质量公式中相关积分项的符号错误，并澄清这些错误不影响原论文的所有结论。

要点

这篇论文就像是一位细心的“数学侦探”，在检查一本经典的物理教科书（1973 年巴丁、卡特和霍金合著的《黑洞力学四定律》）时，发现了一个非常有趣的“双重错误”现象。

简单来说，作者发现书中有两个地方写错了符号（正负号），但这两个错误恰好互相抵消了。就像你算账时，本来应该减去 100 元，结果你错误地加上了 100 元；但紧接着，你又错误地把你的收入记成了负数。结果一算，总账竟然还是对的！

下面我用几个生动的比喻来拆解这篇论文的核心内容：

1. 背景：黑洞的“记账本”

想象一下，黑洞就像一个巨大的银行，它有自己的“资产”（质量）、“利息”（自旋）和“存款”（粒子数和熵）。
1973 年的那篇经典论文，就是给这个银行制定了一套完美的“记账规则”（即著名的方程 33 和 34）。这套规则告诉我们要怎么计算黑洞能量的变化。

2. 第一个错误：公式里的“加减号”搞反了

作者理查德·贝希尔（Richard Behiel）在重新推导这套规则时，发现如果严格按照书里定义的“粒子数”和“熵”来算，公式里的最后两项（涉及化学势和温度）应该是减号，但书上写成了加号。

• 比喻：这就好比食谱上说：“做这道菜需要加糖和盐。”但如果你严格按照书里的定义去量，糖和盐其实应该减去，而不是加上。如果按书上的写法做，味道（物理结果）就全错了。

3. 第二个错误：定义的“正负”搞反了

那么，为什么书上会写错呢？作者发现，问题出在书里对“粒子数（N）”和“熵（S）”的定义上。
在物理学中，粒子的数量和熵（混乱度）必须是正数（你不能有负 5 个苹果）。但是，书里给出的计算公式，在特定的数学坐标系下，算出来的结果竟然是负数！

• 比喻：这就像你定义“苹果”时，规定“一个苹果 = -1"。虽然这很荒谬，但如果你一直这么定义，你的数学逻辑也能自洽。书里就是这样定义的：它把“正粒子”算成了“负数”。

4. 神奇的“负负得正”

现在，让我们看看这两个错误是如何相遇的：

1. 错误 A：公式里本该是“减去负数”，结果写成了“加上负数”（导致符号错误）。
2. 错误 B：书里定义的“粒子数”本身是负数（导致数值错误）。

当你把这两个错误放在一起时：

• 因为定义的粒子数是负的，所以公式里本该减去它（因为它是负的，减去负数等于加上正数，这才是物理上正确的增加能量）。
• 但书里的公式写成了加上它。
• 结果：加上一个“负数”，等于减去一个“正数”。等等，这里有点绕，让我们换个更直观的说法：

更简单的理解：

• 书里的定义让 $N$ 变成了负数（比如 $N = -10$）。
• 书里的公式在计算时，本该用 $-N$（即 $-(-10) = +10$），但它错误地写成了 $+N$（即 $+(-10) = -10$）。
• 但是！ 作者发现，如果修正定义，让 $N$ 变成正数（$N = +10$），那么公式里的 $+N$ 就正好等于 $+10$，这就对了！

结论：书里犯了一个“定义错误”（把正数定义成负数），又犯了一个“公式错误”（把减号写成了加号）。这两个错误就像两个方向相反的力，互相抵消了。所以，尽管中间过程全是错的，但最终算出来的黑洞物理结论（比如黑洞质量怎么变）竟然是完全正确的。

5. 这篇论文的意义是什么？

作者并不是要推翻黑洞理论，也不是要指责前人。他的目的非常纯粹：

• 给读者指路：如果你是一个学生，试图一步步推导书中的公式，你会发现怎么算都对不上号，会非常困惑。这篇论文就是告诉你：“别慌，不是你的数学不好，是书里有两个错字，它们碰巧抵消了。”
• 修正定义：作者建议，为了逻辑的严谨性，我们应该把“粒子数”和“熵”的定义改过来（加上一个负号），让它们变成正数。一旦我们这么做了，公式里的符号也就自然变正确了。

总结

这就好比一本经典的烹饪书，里面写的是：“把负两勺盐（定义错了）加到汤里（公式写错了，本该减盐）”。
虽然过程很荒谬，但如果你真的去执行，发现汤的味道竟然是对的（因为负负得正，或者错误抵消）。
这篇论文的作用就是告诉厨师们：“嘿，虽然汤没坏，但为了以后不迷路，我们得把‘盐’的定义改回正的，然后把‘加盐’的指令改对。”

最终结论：黑洞的物理学大厦依然稳固，所有结论都有效，只是我们需要把地基里的两块砖稍微扶正一下，以免后人修房子时感到困惑。

技术摘要

这篇由 Richard P. Behiel 撰写的短文《“黑洞力学四定律”中的符号错误》（Sign Errors in "The Four Laws of Black Hole Mechanics"），旨在指出并纠正 1973 年 Bardeen、Carter 和 Hawking（简称 BCH）发表的经典论文中存在的两处相互抵消的符号错误。尽管这些错误不影响原论文的最终物理结论，但它们会导致读者在逐步推导过程中产生困惑。

以下是该文的详细技术总结：

1. 问题背景 (Problem)

BCH 论文建立了黑洞力学的数学框架，并将其与热力学联系起来。该论文的核心在于方程 (33) 和 (34)，其中方程 (34) 即著名的“黑洞力学第一定律”。
Behiel 指出，如果严格按照 BCH 论文中给出的定义（特别是关于总粒子数 $N$ 和总熵 $S$ 的定义）进行推导，方程 (33) 和 (34) 中涉及红移化学势 $\bar{\mu}$ 和红移温度 $\bar{\theta}$ 的积分项会出现错误的符号（应为负号，但原论文写为正号）。这种符号不一致性会让试图复现推导过程的读者感到困惑。

2. 方法论 (Methodology)

作者通过严格的数学推导和符号分析来验证这一问题：

• 从方程 (32) 推导方程 (33)：
  作者从 BCH 论文中的方程 (32)（能量 - 动量张量变分的表达式）出发，逐步推导至方程 (33)。

  • 利用流体力学关系（如 $\varepsilon + p = \mu n + \theta s$）和四维速度 $u^a$ 与单位矢量 $v^a$ 的关系（$v^a = (-u_c u^c)^{-1/2} u^a$）。
  • 应用乘积法则展开变分项。
  • 利用 $u^a v_a = -(-u_c u^c)^{1/2}$ 这一关系，发现推导过程中自然产生了负号。
  • 结果：如果保持 BCH 原文中 $N$ 和 $S$ 的定义不变，推导出的方程 (33) 中 $\bar{\mu}$ 和 $\bar{\theta}$ 项前必须带有负号，这与 BCH 原文中的正号不符。

• 分析定义中的符号约定：
  作者检查了 BCH 论文中角动量 $J$、熵 $S$ 和粒子数 $N$ 的定义。

  • 在“大部分为正”（mostly-plus）的度规符号约定下，类空超曲面的法向量 $d\Sigma_0$ 为负。
  • BCH 对 $J$ 的定义包含显式的负号（$J = -\int T^a_b \tilde{K}_b d\Sigma_a$），以确保正向旋转对应正的角动量。
  • 然而，$N$ 和 $S$ 的定义（$N = \int n v_a d\Sigma^a$, $S = \int s v_a d\Sigma^a$）缺少这个负号。
  • 物理后果：这导致对于正的粒子密度 $n$ 和熵密度 $s$，计算出的总粒子数 $N$ 和总熵 $S$ 为负值，这在物理上是不可接受的。

3. 关键贡献与发现 (Key Contributions & Results)

文章揭示了两个相互补偿的符号错误：

1. 定义错误：BCH 论文中 $N$ 和 $S$ 的定义缺少负号，导致计算出的总量为负。
   • 修正：应定义为 $N = -\int n v_a d\Sigma^a$ 和 $S = -\int s v_a d\Sigma^a$，以确保物理量为正。
2. 方程错误：由于上述定义错误，BCH 论文在推导方程 (33) 和 (34) 时，$\bar{\mu}$ 和 $\bar{\theta}$ 项前的符号也出现了错误（应为负，写成了正）。
   • 补偿机制：如果修正 $N$ 和 $S$ 的定义（引入一个负号），那么微分项 $\delta dN$ 和 $\delta dS$ 也会相应改变符号。这个新引入的负号恰好抵消了推导过程中产生的那个“错误”的负号。
   • 最终结果：修正定义后，方程 (33) 和 (34) 的形式与 BCH 原文完全一致。

其他发现：
作者还指出了 BCH 论文中两个不影响逻辑结构的排版错误（Typographical errors）：

• 方程 (26) 前的李导数恒等式存在自由指标不匹配的问题。
• 方程 (33) 前的 $u^a \delta \{ \dots \}$ 表达式中缺少了一个因子 $(-u^e u_e)^{1/2}$。

4. 结论与意义 (Conclusion & Significance)

• 物理结论不变：由于定义中的符号错误与方程推导中的符号错误相互抵消（Double Negative），BCH 论文关于黑洞力学四定律的所有物理结论、最终公式形式以及热力学类比都是正确且有效的。
• 教学与指导意义：这篇注记的主要价值在于为读者提供了一份“指南”。它解释了为什么读者在一步步复现 BCH 推导时会遇到符号不一致的困惑，并澄清了这些不一致并非物理原理的矛盾，而是原始文献中定义与推导步骤之间的符号约定偏差。
• 规范建议：为了物理量的正定性（Positive Definiteness），在后续引用或重新表述时，应将 $N$ 和 $S$ 的定义修正为包含负号的形式，这样方程 (33) 和 (34) 就能在逻辑上自洽地保持原样。

简而言之，Behiel 的工作确认了黑洞热力学基础文献的稳健性，同时通过细致的符号分析消除了潜在的推导歧义。