统一约定与恢复 SI
本章继续采用
ℏ=c=1,ημν=diag(+1,−1,−1,−1),
并定义
□=∂μ∂μ=∂t2−∇2,p⋅x=Et−p⋅x.
自然单位下 E,p,m 都以 eV、MeV 或 GeV 表示,平面波为
e−ip⋅x。恢复 SI 时,相位是
(Et−p⋅x)/ℏ,质量壳关系为
E2=p2c2+m2c4。本章所有四矢量和指标升降均使用同一号型,不把相反号型的 □ 公式混入。
从质量壳到 Klein–Gordon 方程
经典自由粒子的相对论关系在自然单位下为
E2−p2=m2,pμpμ=m2.
使用量子对应
E→i∂t,p→−i∇,
作用于标量振幅 ϕ(x),得到
(□+m2)ϕ=0.
恢复 SI 后是
(c21∂t2−∇2+ℏ2m2c2)ϕ=0.
mc/ℏ 单位为 m−1,三项都有“场除以长度平方”的单位。Klein–Gordon 方程对时间二阶,需要同时给初始场和初始时间导数;它与 Schrödinger 方程的一阶时间演化结构不同。
实标量场 Lagrange 密度
LKG=21∂μϕ∂μϕ−21m2ϕ2
经 Euler–Lagrange 变分恰给上述方程。四维中自由标量场的自然质量维数为 1,使
L 维数为 E4。
例 1:平面波的质量壳与 SI 频率
令
ϕ=Ae−ip⋅x. 因
∂μϕ=−ipμϕ,
(□+m2)ϕ=(−p2+m2)ϕ. 非零平面波要求
p2=m2,即
Ep=p2+m2. 取 m=0.511MeV、
∣p∣=0.300MeV,
E=0.5112+0.3002≈0.592MeV. 恢复普通角频率需用
ω=E/ℏ;不能把 0.592MeV 直接标为赫兹。负根
p0=−Ep 也是二阶方程的频率分支,但后面会说明它不应简单称为“负概率”。
对正能质量壳
E(p)=p2+m2,波包群速度为
vg=∂p∂E=Ep,∣vg∣<1
(有质量时)。相速度 E/∣p∣ 可大于 1,但它不是信号或能量传播速度,且
vphasevg=1。例 1 参数给
vg≈0.300/0.592=0.507,恢复 SI 即约
0.507c。
相对论方程的因果传播还取决于初值和 Green 函数边界条件。延迟 Green 函数把响应限制在源的未来光锥,超前 Green 函数则对应不同边界问题。质量壳色散本身没有指定使用哪一种传播子;在写“因果解”时必须同时声明时间边界条件。
Klein–Gordon 方程对时间二阶,其守恒结构更接近场的相空间:在一个时刻需要
(ϕ,ϕ˙) 两份数据。选择“仅正频”可在平直静态时空构造一个单粒子子空间,但这种频率分解依赖时间平移对称。时间依赖背景中正负频可能混合,进一步说明固定粒子数解释不是纯局域方程自动保证的。
复 Klein–Gordon 流及其边界
复标量场
L=∂μϕ∗∂μϕ−m2ϕ∗ϕ
在全局相位变换下有 Noether 流
jKGμ=i(ϕ∗∂μϕ−ϕ∂μϕ∗),∂μjKGμ=0.
对实场 ϕ=ϕ∗,该流恒为零,因为实场没有这个连续相位荷。对一般复场,
j0=i(ϕ∗ϕ˙−ϕϕ˙∗)
不是正定量:不同初值可使它为正、负或局部为零。因此它不能像
∣ψ∣2 那样作为任意 Klein–Gordon 单粒子波函数的概率密度。守恒仍然真实;在量子场论中它解释为与粒子和反粒子相反荷相关的电荷流。
例 2:正频与负频模式的 KG 流
正频模式
ϕ+=Ae−iEt+ip⋅x,
E>0,给
jμ[ϕ+]=2pμ∣A∣2,j0=2E∣A∣2>0. 取同一正数 E 的负频写法
ϕ−=Be+iEt−ip⋅x,则
j0[ϕ−]=−2E∣B∣2<0. 这里负的是相位荷密度约定,不是出现“负的概率”。在场量子化后,负频部分与反粒子产生算符配对,反粒子携带相反 Noether 荷而 Hilbert 空间范数仍为正。
为什么要把时间导数线性化
若希望类似 Schrödinger 形式的一阶演化,设
i∂tψ=(−iα⋅∇+βm)ψ.
要求再次作用一次得到
−∂t2ψ=(−∇2+m2)ψ,交叉项必须消失,所以矩阵满足
{αi,αj}=2δijI,{αi,β}=0,β2=I.
普通数不能同时满足这些关系,ψ 必须有多个分量。三维空间中最小复表示为四分量,这些分量不是四矢量分量,而按 Lorentz 群的旋量表示变换。
定义
γ0=β,γi=βαi,
便得到协变方程
(iγμ∂μ−m)ψ=0.
gamma 矩阵满足 Clifford 关系
{γμ,γν}=2ημνI.
在本章号型下可选
(γ0)†=γ0、
(γi)†=−γi。具体矩阵表示可作相似变换,物理双线性量不依赖选择。
Dirac 表示给一个可复算实例:
γ0=(I200−I2),γi=(0−σiσi0),
其中 σi 是 Pauli 矩阵。于是
(γ0)2=I4、
(γi)2=−I4,不同指标矩阵反对易,正好重现
η00=+1、ηii=−1。四分量可在静止系分成两个两分量块,但一般 boost 会混合它们,不能把每个分量独立当作标量波函数。
任意可逆矩阵 U 给
γ′μ=UγμU−1、
ψ′=Uψ,方程形式和所有一致变换的双线性量不变。选择 Dirac、Weyl 或其他表示只是计算基底选择;若只换 gamma 矩阵却不换旋量和共轭约定,才会制造虚假的物理差异。
例 3:平方 Dirac 算子恢复 KG 方程
用左算子
(iγν∂ν+m) 作用 Dirac 方程:
(iγν∂ν+m)(iγμ∂μ−m)ψ=0. 质量交叉项相消,导数交换,故
−γνγμ∂ν∂μψ−m2ψ=0. 只有 gamma 乘积的对称部分贡献:
γνγμ∂ν∂μ=21{γν,γμ}∂ν∂μ=ηνμ∂ν∂μ=□. 于是
(□+m2)ψ=0。这说明每个 Dirac 分量满足质量壳方程,但反向不成立:任意四个 KG 解未必满足一阶 Dirac 约束。
Lorentz 协变与 Dirac 共轭
坐标作 Lorentz 变换 x′=Λx 时,旋量按
ψ′(x′)=S(Λ)ψ(x)
变换,并要求
S−1γμS=Λμνγν.
这样 Dirac 算子在新坐标中保持同一形式。无穷小变换可由
σμν=2i[γμ,γν]
生成。由于 boost 的旋量矩阵一般不是普通酉矩阵,ψ†ψ 本身不是 Lorentz 标量。定义 Dirac 共轭
ψˉ=ψ†γ0,
则
ψˉ′=ψˉS−1,所以
ψˉψ 是标量,
ψˉγμψ 是四矢量。
Dirac Lagrange 密度
LD=ψˉ(iγμ∂μ−m)ψ
是 Lorentz 标量。把 ψ,ψˉ 作为独立变量变分分别得到 Dirac 方程与伴随方程。量子理论中它们成为 Grassmann 值场并采用反对易关系,但经典方程的协变结构已经在这里确定。
Dirac 守恒流与正定时间分量
Dirac 方程和伴随方程为
(iγμ∂μ−m)ψ=0,
i(∂μψˉ)γμ+mψˉ=0.
相乘相加得到
∂μjDμ=0,jDμ=ψˉγμψ.
时间分量
jD0=ψ†ψ≥0.
这使外加背景中、能量不足以产生粒子对时的单粒子 Dirac 量子力学具有概率诠释。然而相对论局域相互作用可改变粒子数,强场可产生粒子—反粒子对;完整理论必须量子化 Dirac 场。场论中
jDμ 更自然解释为守恒电荷或粒子数流,正定 Hilbert 空间范数不意味着固定粒子数图景在所有能标有效。
空间流可写为
j=ψ†αψ.
任意单位方向上的
n⋅α 本征值为 ±1,故
∣j∣≤j0。因此 Dirac 流是未来指向的类时或类光四矢量,不会给出超过自然单位光速的局域概率流。这个不等式依赖同一点的双线性量,不等同于把位置算符或相对论局域化问题全部解决。
对在空间无穷远衰减的外场解,
dtd∫d3xψ†ψ=0.
若存在吸收边界或非 Hermitian 有效势,积分可下降,缺失量应由边界通量或开放系统模型解释。把数值域截断后的范数损失直接称为“粒子衰变”,会混淆计算边界与真实相互作用。
平面波、自旋与反粒子模
取正频平面波
ψ(x)=us(p)e−ip⋅x,p0=Ep>0,
Dirac 方程化为
(p−m)us(p)=0,p=γμpμ.
另一个独立频率部分常写为
ψ(x)=vs(p)e+ip⋅x,(p+m)vs(p)=0,
其中标签 p0=Ep>0。us 和 vs 各有两个自旋态。场量子化后,前者乘粒子湮灭算符,后者乘反粒子产生算符;这避免把稳定真空描述成可无限跌落的负能粒子海。
例 4:标准归一下的 Dirac 平面波流
采用常见协变归一
uˉs(p)us′(p)=2mδss′,uˉs(p)γμus(p)=2pμ. 于是正频平面波的流为
jμ=2pμ,j0=2E>0. 在静止系 pμ=(m,0),得到
jμ=(2m,0)。若改用
u†u=1 的盒归一,数值因子会改变,但流的类时方向和
j0≥0 不变。归一约定必须与模展开和单粒子态内积配套,不能混用。
旋量在空间旋转下表现为自旋 1/2:旋转 2π 时
ψ 可变号,但所有二次可观测双线性保持不变。对有质量粒子,helicity 是自旋沿动量方向投影,低于光速的 boost 可反转动量方向,所以 helicity 不是所有 Lorentz 变换下的不变量。无质量极限中 helicity 与 chirality 的关系更紧密,但规范相互作用中的手征结构需在后续章节单独处理。
当 m=0 时,KG 与 Dirac 模都满足 p2=0,群速度大小为 1;但 Dirac 一阶方程仍对旋量分量施加额外约束。相同色散不代表自由度、统计或守恒流相同,不能只凭
E=∣p∣ 把标量和旋量视为同一种场。
非相对论极限的自洽检查
在 Dirac 表示中写
ψ=e−imt(χξ),
并假设剩余能量与动量远小于 m。两块方程在最低阶给
ξ≈2mσ⋅pχ,
所以“下”两分量相对抑制约 ∣p∣/(2m)。消去
ξ 后,
i∂tχ=−2m∇2χ,
恢复自由 Schrödinger 方程,同时保留两分量自旋。若加入电磁最小耦合,还会得到 Pauli 磁矩项;该步骤需要一致处理协变导数,不能仅把
p 随意替换后忽略算符次序。
这个极限也核对能量:
E=p2+m2=m+2mp2+O(p4/m3).
抽去快速静止相位 e−imt 后,剩余频率就是非相对论动能。极限要求过程能标不足以显著产生粒子对;一旦外场变化或碰撞能量接近
2m,固定单粒子 Schrödinger 描述不再闭合。
概率与粒子解释的边界
Klein–Gordon 场的 j0 非正定,并不说明方程错误;它说明把二阶相对论场强行当成固定粒子数波函数并不普遍可行。Dirac 的
ψ†ψ 虽正定,固定外场单粒子解释仍只在不发生显著粒子产生、真空极化和多体反应时可靠。
“负频”是 Fourier 时间依赖的标签。“反粒子”是量子化后由对称性、能量正定和算符代数共同得到的粒子种类。不能只把
E<0 填入经典能量公式就完成反粒子解释,也不能把 KG 负流密度称为负概率。后续自由场量子化会把所有物理激发的能量取正,并让粒子和反粒子携带相反守恒荷。
电荷共轭把带电 Dirac 解映射为相反电荷的解。若
C 满足适当的 gamma 矩阵关系,可定义
ψC=CψˉT。在电磁背景中,原方程电荷为 q 时,共轭场满足电荷
−q 的方程。具体 C 矩阵依赖表示,但“质量和自旋相同、内部加性荷相反”的物理内容与表示无关。
反粒子不是普通粒子沿坐标时间向后运行的经典轨迹。Feynman 图中的箭头、时间排序和 crossing 是振幅组织语言,最终外态仍取正能量并按因果实验制备。把图示助记法直接当成可观测轨迹,会混淆传播子内部变量与探测器中的真实粒子。
对实标量场,粒子与反粒子相同,因为没有独立全局相位荷;对复标量或带电 Dirac 场,两类激发携带相反荷。这一区别来自场的对称性和量子化,不是仅从色散
E2=p2+m2 就能判断。
常见误区
常见误区
“Klein–Gordon 负频模式具有负概率。”其 Noether 荷密度可为负,但概率范数的正定性与守恒荷符号是不同问题。
常见误区
“每个 KG 解自动是 Dirac 解。”Dirac 方程平方后给 KG 方程;KG 只给二阶质量壳约束,没有一阶旋量约束。
常见误区
“gamma 矩阵是一组四矢量数值。”它们是在旋量空间作用的矩阵,借由 S−1γμS 关系保证双线性量按 Lorentz 张量变换。
练习:质量壳、流与旋量
练习
- 所属知识
- KG 方程
- 难度
- 3/5
从能量动量关系推导 Klein–Gordon 方程,并恢复 SI 质量项。
查看提示
将
E→i∂t、
p→−i∇ 代入
E2−p2=m2,并使用本章 Box。
查看解答
得到
[−∂t2+∇2−m2]ϕ=0,整体乘 -1 即
(∂t2−∇2+m2)ϕ=(□+m2)ϕ=0。恢复 SI 时质量项为
(mc/ℏ)2。
练习
- 所属知识
- KG 流
- 难度
- 4/5
直接由复 KG 方程推导守恒流,并解释时间分量为何不正定。
查看提示
把 KG 方程乘
ϕ∗,共轭方程乘
ϕ,再相减。
查看解答
质量项相消,得到
∂μ[i(ϕ∗∂μϕ−ϕ∂μϕ∗)]=0。
j0 含
ϕ 与
ϕ˙ 的相对相位,可正可负,因此不是一般正定概率密度。
练习
- 所属知识
- Clifford 关系
- 难度
- 4/5
由一阶 Hamilton 量平方推导 αi,β 的代数条件,并改写为 gamma 矩阵关系。
查看提示
平方
α⋅p+βm,要求
pipj 交叉项和 pm 项消失。
查看解答
需
αi,αj=2δijI、
αi,β=0、
β2=I。定义
γ0=β、
γi=βαi 后等价于
γμ,γν=2ημνI。
练习
- 所属知识
- Dirac 流
- 难度
- 4/5
推导 Dirac 流守恒,并证明 j0=ψ†ψ。
查看提示
写出伴随方程,与原方程分别左乘或右乘后相加。
查看解答
伴随方程为
i(∂μψˉ)γμ+mψˉ=0;与 Dirac 方程组合给
∂μ(ψˉγμψ)=0,且
j0=ψˉγ0ψ=ψ†ψ≥0。
练习
- 所属知识
- 平面波旋量
- 难度
- 3/5
分别写出 u 与 v 平面波满足的代数方程,并说明量子化后的解释。
查看提示
把
e−ip⋅x 代入一阶方程;负频部分用
e+ip⋅x。
查看解答
正频给
(p−m)u=0;负频写法给
(p+m)v=0,其中标签
p0=+p2+m2。量子化后 u 对应粒子湮灭,v 对应反粒子产生。
练习
- 所属知识
- 诠释边界
- 难度
- 4/5
比较 Klein–Gordon 与 Dirac 单粒子概率诠释的优点和限制。
查看提示
分别讨论 KG 流正定性、Dirac 粒子数变化和场量子化。
查看解答
KG 的守恒荷密度非正定,不能作一般单粒子概率;
Diracj0 正定但强场和相互作用可产生粒子对,固定粒子数失效;量子场论用正能 Fock 态和反粒子算符统一描述。
知识连接与资源
课程 · 2023Relativistic Quantum Field Theory I
Hong Liu
用于核对 P12 的场作用量、相对论场方程、自由场量子化、相互作用展开、散射规则和规范不变性。
打开官方来源
课程 · 2020Introduction to Nuclear and Particle Physics
Markus Klute
用于核对 P12 标准模型概述、散射可观测量、量子数与守恒律,并保持理论陈述与实验建立范围一致。
打开官方来源
MIT OpenCourseWare 8.323 可用于核对相对论自由场、旋量与反粒子结构;8.701 提供粒子物理语境和守恒量背景。本章不把自由方程直接当成对所有相互作用实验的完整模型,相关散射与规范结构在后续章节建立。