Note on Jackson's formalism of gauge transformation

本文概述了杰克逊在 2002 年《美国物理杂志》论文中推导辅助函数 $\Psi$ 和 $\mathbf{V}$ 非齐次波动方程的可能思路，并阐明了它们在计算库仑规范矢量势 $\mathbf{A}_C$ 中的具体作用，即 $\mathbf{A}_C$ 由 $\nabla \times \mathbf{V}$ 直接给出，而需从洛伦兹规范矢量势 $\mathbf{A}_L$ 中减去 $\nabla \Psi$ 才能得到。

要点

这篇论文其实是在做一件非常细致的工作：给物理学界的一位“大明星”——杰克逊（Jackson）教授，做了一次“逻辑体检”。

为了让你轻松理解，我们可以把电磁学中的“规范变换”想象成给同一个房间换不同的装修风格。

1. 背景：同一个房间，两种装修（规范）

在电磁学里，描述电场和磁场有两种非常著名的“装修风格”（也就是规范）：

• 洛伦兹规范（Lorenz gauge）：这是一种很对称、很优雅的装修，所有的东西都整齐划一，计算起来很顺畅。
• 库仑规范（Coulomb gauge）：这是一种更强调“横向”和“纵向”分离的装修，特别适合处理某些特定的物理问题。

杰克逊教授在 2002 年写了一篇很有影响力的文章，教大家如何从“洛伦兹风格”的装修，通过一套数学公式，完美地转换成“库仑风格”的装修。

2. 问题所在：说明书里的一个小糊涂

这篇论文的作者（Hnizdo 先生）发现，杰克逊教授在那篇著名的文章里，虽然给出了转换的最终公式（就像给出了装修后的效果图），但他没有解释这些公式是怎么推导出来的，而且有一处表述让人容易产生误解。

那个误解是什么？
杰克逊在文中提到两个辅助函数（我们可以叫它们“小助手” $\Psi$ 和 $V$），并说它们满足某些方程。

• 读者的困惑：读者可能会以为，库仑风格的装修（库仑规范下的矢量势）是由这两个小助手共同搭建的（一部分是 $\Psi$，一部分是 $V$）。
• 事实真相：作者指出，其实库仑风格的装修完全是由助手 $V$ 决定的（就像房子的主体框架）。而助手 $\Psi$ 其实是个“拆墙工”，它的作用仅仅是把洛伦兹风格里多余的那部分“纵向墙壁”拆掉，剩下的才是库仑风格。

打个比方：
想象你有一辆装满货物的卡车（洛伦兹规范下的矢量势）。

• 你想把车变成一辆只有横向货物的赛车（库仑规范）。
• 杰克逊的公式里有两个工具：$V$ 和 $\Psi$。
• $V$ 是造赛车的工具，它直接生成了赛车需要的横向部分。
• $\Psi$ 是拆车的工具，它负责把卡车里多余的纵向货物（纵向部分）给拆掉。
• 杰克逊的表述让人误以为赛车是“拆车工具”和“造车工具”一起造出来的。
• 作者的澄清：赛车（库仑势）完全是由“造车工具”（$V$）造的；“拆车工具”（$\Psi$）只是用来从原来的卡车上减去多余部分，从而得到赛车。

3. 作者做了什么？

作者 Hnizdo 在这篇短文中做了三件事：

1. 还原推导过程：他像侦探一样，一步步推演了杰克逊可能是怎么得出那些数学公式的。他展示了如何把电流分成“纵向”和“横向”两部分，然后分别对应到两个小助手身上。
2. 纠正概念混淆：他明确指出，库仑规范下的矢量势（$A_C$）本质上就是那个“横向部分”（即 $V$ 的旋度）。而 $\Psi$ 的作用，仅仅是通过公式 $A_C = A_L - \nabla\Psi$（从洛伦兹势中减去 $\Psi$ 的梯度）来体现的。
3. 验证计算：作者还举了一个具体的例子（一个匀速运动的电荷），亲自算了一遍，证明 $\Psi$ 确实等于杰克逊之前定义的另一个函数（$\chi_C$）的相反数。这就像是用一个具体的案例，验证了“拆墙工”的工作量确实和预期一致。

4. 总结：这篇论文重要吗？

对普通大众来说：这就像是一个资深的装修监理，指出大师的说明书里有一句话写得不够清楚，容易让新手以为“拆墙”也是“造房”的一部分。虽然大师的最终结果（装修好的房子）是完全正确的，但解释过程如果更清晰，大家就不会走弯路。

对物理学家来说：

• 杰克逊的论文依然是经典，大家用的时候都没出错。
• 但这篇短文澄清了逻辑上的细微差别，防止后来者在学习时产生“库仑规范包含纵向分量”这种错误的直觉。
• 它强调了数学工具（$\Psi$ 和 $V$）在物理图像中的真实角色：一个是构建者，一个是修正者。

一句话总结：
这篇论文是在说：“杰克逊教授给出的‘装修方案’（公式）是完美的，但他对两个‘装修工人’（$\Psi$ 和 $V$）分工的描述有点让人迷糊。其实，库仑风格的房子完全是由工人 $V$ 盖的，工人 $\Psi$ 只是负责把洛伦兹风格里多余的部分拆掉而已。”

技术摘要

以下是基于 V. Hnizdo 的论文《关于 Jackson 规范变换形式体系的注记》（Note on Jackson's formalism of gauge transformation）的详细技术总结：

1. 研究背景与问题 (Problem)

• 背景：J.D. Jackson 在 2002 年发表于《美国物理杂志》（Am. J. Phys.）的著名论文中，提出了一套从洛伦兹规范（Lorenz gauge）变换到其他电磁规范（特别是库仑规范，Coulomb gauge）的形式体系。该体系引入了两个辅助函数 $\Psi$ 和 $V$。
• 核心问题：
  1. Jackson 在其原文中未推导辅助函数 $\Psi$ 和 $V$ 所满足的非齐次波动方程（即原文中的 Eq. 2.10），而是直接给出了这些方程。
  2. Jackson 在描述这些方程时存在表述上的混淆。他提到“对于库仑规范矢量势，辅助函数 $\Psi$ 和 $V$ 满足 [这些方程]"，这容易让读者误以为库仑规范矢量势 $\mathbf{A}_C$ 同时包含纵向部分（$\nabla\Psi$）和横向部分（$\nabla\times\mathbf{V}$）。
  3. 实际上，根据定义，库仑规范矢量势 $\mathbf{A}_C$ 必须是纯横向的（transverse），即 $\nabla \cdot \mathbf{A}_C = 0$。

2. 方法论 (Methodology)

作者 Hnizdo 通过以下步骤重构并澄清了 Jackson 的形式体系：

• 分解洛伦兹规范矢量势：
  将洛伦兹规范下的矢量势 $\mathbf{A}_L$ 分解为纵向分量 $\mathbf{A}_{Ll}$ 和横向分量 $\mathbf{A}_{Lt}$。
  利用电流密度 $\mathbf{J}$ 的亥姆霍兹分解（Helmholtz decomposition），将其分解为纵向部分 $\mathbf{J}_l$ 和横向部分 $\mathbf{J}_t$。
• 推导波动方程：
  从洛伦兹规范下的非齐次波动方程 $\square \mathbf{A}_L = -(4\pi/c)\mathbf{J}$ 出发，分别对纵向和横向分量进行分离：
  • 横向部分直接对应库仑规范矢量势：$\mathbf{A}_{Lt} = \mathbf{A}_C$，满足 $\square \mathbf{A}_C = -(4\pi/c)\mathbf{J}_t$。
  • 纵向部分满足 $\square \mathbf{A}_{Ll} = -(4\pi/c)\mathbf{J}_l$。
• 引入辅助函数：
  • 利用纵向矢量场可表示为标量梯度的性质，设 $\mathbf{A}_{Ll} = \nabla \Psi$。
  • 利用横向矢量场可表示为矢量旋度的性质，设 $\mathbf{A}_C = \nabla \times \mathbf{V}$。
  • 将电流密度的积分表达式代入，推导出 $\Psi$ 和 $\mathbf{V}$ 各自满足的非齐次波动方程。
• 澄清物理意义：
  明确 $\mathbf{A}_C$ 与 $\mathbf{A}_L$ 的关系为 $\mathbf{A}_C = \mathbf{A}_L - \nabla \Psi$。指出 $\Psi$ 的作用仅在于从 $\mathbf{A}_L$ 中“减去”纵向部分以得到纯横向的 $\mathbf{A}_C$，而不是 $\mathbf{A}_C$ 本身包含 $\nabla \Psi$。
• 具体算例验证：
  以沿 $z$ 轴匀速运动的点电荷为例，利用已知的洛伦兹规范矢量势 $\mathbf{A}_L$，通过积分计算其纵向分量，进而求出 $\Psi$ 的具体解析表达式，并验证其与规范变换函数 $\chi_C$ 的关系（$\Psi = -\chi_C$）。

3. 关键贡献 (Key Contributions)

1. 推导缺失的方程：详细展示了 Jackson 如何可能从基本波动方程推导出辅助函数 $\Psi$ 和 $V$ 的波动方程（即原文 Eq. 2.10 的来源）：
   • $\square \Psi = -\frac{1}{c} \int \frac{d^3x'}{R} \frac{\partial \rho(\mathbf{x}', t)}{\partial t}$
   • $\square \mathbf{V} = -\frac{1}{c} \nabla \times \int \frac{d^3x'}{R} \mathbf{J}(\mathbf{x}', t)$
2. 纠正概念混淆：明确指出 Jackson 原文中关于“库仑规范矢量势包含 $\nabla \Psi$"的表述具有误导性。澄清了 $\mathbf{A}_C$ 仅由 $\nabla \times \mathbf{V}$ 给出，而 $\nabla \Psi$ 是洛伦兹规范矢量势的纵向部分，必须被减去才能得到库仑规范势。
3. 建立与规范变换函数的联系：证明了辅助函数 $\Psi$ 满足的方程与从洛伦兹规范变换到库仑规范的规范函数 $\chi_C$ 的方程完全相同（仅符号相反）。这意味着 $\Psi = -\chi_C$，从而在数学上统一了这两种描述。
4. 解析解的验证：通过匀速运动点电荷的具体案例，显式计算了 $\Psi$，验证了理论框架的一致性。

4. 主要结果 (Results)

• 数学形式：确认了 $\mathbf{A}_C = \nabla \times \mathbf{V}$，且 $\mathbf{A}_C = \mathbf{A}_L - \nabla \Psi$。
• 物理图像：
  • 库仑规范矢量势 $\mathbf{A}_C$ 本质上是洛伦兹规范矢量势 $\mathbf{A}_L$ 的横向分量。
  • 辅助函数 $\Psi$ 实际上就是规范变换中的标量函数（取负号），用于消除 $\mathbf{A}_L$ 中的纵向分量。
  • 辅助函数 $\mathbf{V}$ 的旋度直接给出了 $\mathbf{A}_C$。
• 具体案例：对于速度为 $v$ 沿 $z$ 轴运动的点电荷，$\Psi$ 的表达式为：
  $$\Psi(\mathbf{x}, t) = \frac{q}{\beta} \left[ \text{arsinh}\left(\frac{\gamma(z-vt)}{s}\right) - \text{arsinh}\left(\frac{z-vt}{s}\right) \right]$$
  其中 $s = \sqrt{x^2+y^2}$。该结果与文献中已知的规范变换函数 $\chi_C$ 互为相反数。

5. 意义与影响 (Significance)

• 澄清教学与文献中的误解：Jackson 的 2002 年论文被广泛引用，但其关于辅助函数定义的表述可能导致初学者或读者产生误解。本文通过严谨的推导和清晰的物理图像解释，消除了这一潜在的混淆。
• 强化理论自洽性：明确了 $\Psi$ 和 $V$ 在规范变换中的确切角色，即 $\Psi$ 负责处理纵向部分（与电荷密度相关），$V$ 负责生成横向部分（与电流密度相关）。
• 方法论价值：提供了一种从洛伦兹规范到库仑规范转换的清晰、系统的数学路径，不仅适用于理论推导，也适用于具体物理问题（如运动电荷）的计算。
• 学术补充：尽管 Jackson 的原始论文在应用上是正确的，但本文填补了推导过程的空白，并纠正了表述上的模糊之处，有助于更准确地理解电磁势在不同规范下的变换机制。

总结：Hnizdo 的这篇注记并非否定 Jackson 的工作，而是对其形式体系进行了“去模糊化”处理，通过补全推导过程并厘清物理概念，确保了读者能正确理解库仑规范矢量势的构成及其与洛伦兹规范势的关系。