5.1 玻色子场的量子化

5.1 玻色子场的量子化

本节摘要：把相对论和量子力学同时成立的系统做二次量子化，粒子的地位被场取代——粒子数不再守恒，产生与湮灭是场的基本过程。本节走一遍"简正模当谐振子"的量子化路线，说明为什么这条路必然给出玻色统计，并用零点能与卡西米尔效应给出场真空的真实物理后果。

为什么必须换语言

非相对论量子力学里粒子数是守恒的：薛定谔方程解多少个粒子就永远多少个。但狭义相对论允许质能转化：能量超过 2m c² 的过程可以创造粒子对（电子对生成在实验里天天发生），光子被原子吸收时干脆消失了。一个粒子数会变的系统，用"固定 N 个粒子的波函数"描述是死路。

量子场论的解法是一次视角反转：基本实体是场，粒子是场的量子化激发。电磁场激发一份是光子，电子场激发一份是电子，希格斯场激发一份是希格斯粒子。粒子的产生湮灭不再奇怪——那只是场的振动被"加入"或"移除"，就像弹一根弦增加一个驻波模式。

量子化路线：三步走

以最简单的实标量场（自旋 0 玻色子，如希格斯的简化版本）为例。

第一步，分解成简正模。就像一根弦的任意振动可以分解成一组离散的驻波（简正模），自由场 φ(x) 可以展开成平面波模式的叠加，每个模式由波矢 k 标记。这是经典步骤，弦振动的教科书内容。

第二步，每个模式是一个谐振子。场 的拉格朗日量代入后，每个简正模的运动方程都是简谐振动——场的自由理论等价于无穷多个互不耦合的谐振子，每个振子的频率是 ω_k = √(k²c² + m²c⁴/ℏ²)（这正是相对论质能关系）。

第三步，量子化谐振子。每个谐振子的能级是量子化的：E = (n + 1/2)ℏω。第 k 个模式激发 n 份能量，就解释为"有 n 个动量为 k 的粒子"。粒子 = 特定简正模式上的激发份数——这就是占据数图像的场论出身，也解释了为什么自旋 0 场自动给出玻色统计：谐振子的 n 本来就可以取任何非负整数。

从弦到场：同一套量子化

零点能：真空不空

量子化留下一个经典理论没有的东西：每个模式都有 1/2 ℏω 的零点能，即使一个粒子都没有（所有 n=0，即"真空"），场仍在零点涨落。这不是数学装饰，有可测的后果：

卡西米尔效应（1948 年预言，1997 年高精度验证）。两块间距 d 的中性理想导体板，只允许板间存在特定驻波模式（波长必须整除间距），板外的真空模式则不受限。内外模式零点能之差产生一个净吸引力，压强精确可算：

单位面积吸引力 F/A = −π²·ℏ·c / (240·d⁴)

数量级感受：d = 1 μm → 压强约 1.3 mPa（微小但可测）
d 减半       → 压强 ×16（四次方杠杆）
实验（Lamoreaux 1997 及后续）：与理论吻合到 ~1%
​

两块不带电的板因为"真空里电磁场的零点涨落"而相互吸引——这是"场真空是物理实体"最直接的实验证词。零点涨落还解释了兰姆移位（氢原子能级的微小劈裂，QED 的早期胜利之一）。

⚠️ 常见困惑："零点能能不能提取利用？"卡西米尔力确实做功，但这是一次性收缩过程，不是永动机；把两板拉开需要还回同等的能量。真空零点能是结构的，不是油箱。

这套框架的普适性

同样的三步（分解模式 → 谐振子量子化 → 激发即粒子）适用于一切自由玻色场：电磁场给出光子（每个模式还有两个偏振自由度）、胶子场给出胶子（附色指标）、希格斯场给出希格斯粒子。差别只在模式的"内务属性"（自旋、荷），量子化机器完全相同。费米子则需要换用反对易关系（这就从根上锁死了泡利不相容），超出本章范围，但第 1 章的二分法在这里得到场论级的解释。

本节要点回顾

• 动机：相对论允许粒子数改变，固定粒子数的波函数语言失效，场才是基本实体。
• 三步量子化：简正模分解 → 每个模是谐振子 → 激发份数即粒子数。
• 统计副产品：谐振子量子数 n 无上限，玻色统计不请自来。
• 零点能：真空有 1/2 ℏω 每模的涨落能，卡西米尔效应以 1% 精度实证。
• 普适机器：同一流程量子化所有玻色场，差异只在模式的自旋与荷。

模式量子化给了"粒子数"的场论含义，下一节把"加一个/减一个粒子"升级成可运算的代数工具：产生与湮灭算符。

从谐振子到真空能：卡西米尔效应的数值

实标量场量子化后每个动量模式都是一个谐振子，能级 E_n = (n+1/2)ħω。真空能 ħω/2 虽不可直接提取，却通过卡西米尔效应可测。两块理想导体板间距 a = 1 μm 时，卡西米尔压强约 1.3 毫帕——小但真实，纳米机械设计中必须计入。

import math
hbar = 1.055e-34; c = 3e8
a = 1e-6  # 板间距 1 um
# 单位面积能量 E/A = -pi^2 hbar c / (720 a^3)；压强 P = -pi^2 hbar c/(240 a^4)
E_over_A = -math.pi ** 2 * hbar * c / (720 * a ** 3)
P = -math.pi ** 2 * hbar * c / (240 * a ** 4)
print(f"E/A = {E_over_A:.3e} J/m^2,  P = {P:.3e} Pa（约 {P*1e3:.2f} mPa，吸引）")
​

正则量子化的步骤清单

步骤 3 的对易关系是分水岭：换成反对易关系就得到费米场。量子化的"玻色性"不是外加规则，而是由场的自旋统计要求唯一确定的选择——自旋 0 与 1 的场只有用对易关系才能同时保证哈密顿量有下界和微观因果性，这把第 1 章的自旋统计定理落地成了算符层面的硬约束。

量子化步骤清单还有一步隐藏前提值得点破：拉氏量必须先做场的傅里叶分解，每个模式独立处理，这依赖于自由场方程的线性。相互作用项（如 φ⁴）会耦合不同模式，此时"每模式一个谐振子"的图像只在微扰层面成立——粒子数不再守恒，产生湮灭算符仍然有效，但态空间必须在相互作用绘景中逐步构建。理解自由场精确可解、相互作用只能微扰或数值，这一让步塑造了整个场论方法论：费曼图（微扰）、格点（数值）、有效场论（分能标）都是对这一困难的回应，第 8 章的量子模拟是最新加入的第四条路线。