第十二章量子电动力学：场论的黎明

"自然的基本特征在于，基本的物理定律是用一种具有极大美感和力量的数学理论来描述的。"
—— Paul Dirac

故事引入：虚空中绽放的花

2156年，量子工程师方舟在一台"真空涨落显微镜"前记录到了不可思议的画面：看似空无一物的空间中，电子和正电子如幽灵般凭空出现，相伴起舞一瞬后又湮灭为纯能量。更奇妙的是，当外部电磁场介入时，这些"虚粒子对"会排列成可观测的极化阵列，改变光的传播速度。方舟想起了一个古老的传说：在量子世界的深处，真空不是空无一物的荒漠，而是粒子与反粒子永恒涌现与湮灭的海洋。这正是Dirac在1930年代初期试图描绘的景象——将电磁场、电子场和正电子场统一在量子力学的框架中，让粒子不再是孤立的实体，而是场的激发，让相互作用不再是瞬时的超距作用，而是通过光子的产生与湮灭来传递。这一章，是场论黎明的第一缕曙光。

前置知识：场的量子化思想

在Dirac将电磁场和狄拉克场量子化之前，我们需要理解"为什么要量子化场"以及"场量子化意味着什么"。这是从经典物理到量子场论的概念桥梁。

从粒子到场：物理学的范式转移

经典物理学中有两种基本实体：

粒子（particle）：质点，有确定的位置和动量，离散
场（field）：连续分布在空间中的物理量（如电场、温度场）

19世纪，法拉第和Maxwell将电磁现象统一为场论，颠覆了牛顿力学的超距作用观念。20世纪初，爱因斯坦发现光既是波（场）又是粒子（光子）。量子力学进一步发现，电子等"粒子"也具有波动性。

Dirac的场量子化思想是：粒子是场的激发，场是更基本的实体。

经典场论的拉格朗日表述

一个场 $\phi(\mathbf{r}, t)$ 的拉格朗日密度 $\mathcal{L}$ 是场及其导数的函数。作用量为：

$S = \int d^4x \, \mathcal{L}(\phi, \partial_\mu \phi)$

Euler-Lagrange方程给出场的运动方程：

$\partial_\mu \left(\frac{\partial \mathcal{L}}{\partial(\partial_\mu \phi)}\right) - \frac{\partial \mathcal{L}}{\partial \phi} = 0$

例子：标量场

$\mathcal{L} = \frac{1}{2}\partial_\mu \phi \partial^\mu \phi - \frac{1}{2}m^2\phi^2$

Euler-Lagrange方程给出Klein-Gordon方程：

$(\partial_\mu \partial^\mu + m^2)\phi = 0$

例子：电磁场

$\mathcal{L} = -\frac{1}{4}F_{\mu\nu}F^{\mu\nu}, \quad F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu$

Euler-Lagrange方程给出Maxwell方程组。

从经典场到量子场：正则量子化

量子化的核心步骤：

确定正则坐标和动量：
- 坐标：场本身 $\phi(\mathbf{r}, t)$
- 共轭动量： $\pi(\mathbf{r}, t) = \frac{\partial \mathcal{L}}{\partial \dot{\phi}}$
提升为算符：
$\phi(\mathbf{r}) \rightarrow \hat{\phi}(\mathbf{r})$ ， $\pi(\mathbf{r}) \rightarrow \hat{\pi}(\mathbf{r})$
施加对易关系：
$[\hat{\phi}(\mathbf{r}), \hat{\pi}(\mathbf{r}')] = i\hbar \delta(\mathbf{r} - \mathbf{r}')$
$[\hat{\phi}(\mathbf{r}), \hat{\phi}(\mathbf{r}')] = 0, \quad [\hat{\pi}(\mathbf{r}), \hat{\pi}(\mathbf{r}')] = 0$
展开为模式：
将场展开为平面波模式，每个模式成为独立的谐振子。
产生和湮灭算符：
每个模式用量子谐振子的产生/湮灭算符描述，粒子就是这些模式的激发。

graph TD
    A[经典粒子力学] --> B[量子力学]
    C[经典场论] --> D[量子场论]
    B --> E["x, p → 算符"]
    D --> F["φ, π → 算符"]
    E --> G["对易关系 [x,p]=iℏ"]
    F --> H["对易关系 [φ,π]=iℏδ"]
    G --> I[量子化谐振子]
    H --> J["每个模式=谐振子"]
    I --> K[粒子是激发]
    J --> L[粒子是场的激发]
    style C fill:#1a1a2e,color:#fff
    style D fill:#e94560,color:#fff
    style L fill:#ffd93d,color:#000

场量子化的物理意义

场量子化的核心洞见是：

粒子数不守恒：产生和湮灭算符改变粒子数，这在经典力学中是不可能的
全同性自动满足：场模式是对称化的，自动产生玻色子或费米子的统计
反粒子自然出现：复数场的正频和负频部分对应粒子和反粒子
真空不空：真空是场的基态，但仍有量子涨落

数值例题：一维弦的经典与量子对比

题目：一根长度 $L = 1$ m、张力 $T = 1$ N、线密度 $\mu = 10^{-3}$ kg/m 的弦，固定两端。

(a) 计算基频 $\omega_1$ 和前三个谐波频率
(b) 若将此弦量子化，求基频模式的零点能
© 若弦处于第3激发态，对应的"声子"能量是多少？
(d) 与室温 $T = 300$ K 的热能 $k_B T$ 比较

解答：

(a) 弦的波动方程：

$\frac{\partial^2 y}{\partial t^2} = v^2 \frac{\partial^2 y}{\partial x^2}, \quad v = \sqrt{\frac{T}{\mu}} = \sqrt{\frac{1}{10^{-3}}} = 31.6 \text{ m/s}$

边界条件 $y(0) = y(L) = 0$ ，驻波解：

$y_n(x) = \sin\left(\frac{n\pi x}{L}\right), \quad \omega_n = \frac{n\pi v}{L}$

基频：

$\omega_1 = \frac{\pi \times 31.6}{1} = 99.3 \text{ rad/s} \approx 15.8 \text{ Hz}$

前三个谐波：

$\omega_2 = 2\omega_1 = 199 \text{ rad/s} = 31.6 \text{ Hz}$

$\omega_3 = 3\omega_1 = 298 \text{ rad/s} = 47.4 \text{ Hz}$

$\omega_4 = 4\omega_1 = 397 \text{ rad/s} = 63.2 \text{ Hz}$

(b) 量子化后，每个模式是谐振子，零点能：

$E_0 = \frac{1}{2}\hbar\omega_1 = \frac{1}{2} \times 1.055 \times 10^{-34} \times 99.3 = 5.24 \times 10^{-33} \text{ J}$

换算为温度：

$T_0 = \frac{E_0}{k_B} = \frac{5.24 \times 10^{-33}}{1.38 \times 10^{-23}} = 3.8 \times 10^{-10} \text{ K}$

这个温度低得不可思议——宏观弦的量子效应完全不可观测。这就是为什么日常经验中弦的行为完全是经典的。

$E_3 = 3\hbar\omega_1 + \frac{1}{2}\hbar\omega_1 = 3.5\hbar\omega_1 = 3.67 \times 10^{-33} \text{ J}$

(d) 室温热能：

$k_B T = 1.38 \times 10^{-23} \times 300 = 4.14 \times 10^{-21} \text{ J}$

$\frac{k_B T}{\hbar\omega_1} = \frac{4.14 \times 10^{-21}}{1.05 \times 10^{-34} \times 99.3} = \frac{4.14 \times 10^{-21}}{1.04 \times 10^{-32}} = 3.98 \times 10^{11}$

室温热能是声子能量的约 $4 \times 10^{11}$ 倍！这意味着在室温下，弦上有天文数字的声子——量子效应完全被热涨落淹没。

这个例子告诉我们：量子场论的"粒子"（声子、光子等）在宏观系统中数量巨大，表现连续的场行为；只有在微观系统中，粒子的离散性才显现出来。

12.1 无物质时的电磁场：自由光子的舞蹈

12.1.1 经典电磁场的拉格朗日表述

在经典电动力学中，电磁场由四维矢势 $A^\mu = (\phi, \mathbf{A})$ 描述，场强张量为：

$F^{\mu\nu} = \partial^\mu A^\nu - \partial^\nu A^\mu$

拉格朗日密度为：

$\mathcal{L}_{\text{EM}} = -\frac{1}{4} F_{\mu\nu} F^{\mu\nu}$

展开后：

$\mathcal{L}_{\text{EM}} = \frac{1}{2}(\mathbf{E}^2 - \mathbf{B}^2) = \frac{1}{2}\left[\left(\nabla\phi + \frac{\partial\mathbf{A}}{\partial t}\right)^2 - (\nabla\times\mathbf{A})^2\right]$

12.1.2 库仑规范下的量子化

量子化电磁场面临一个微妙的困难： $A^\mu$ 有四个分量，但物理光子只有两个偏振自由度。这需要规范固定。

在库仑规范 $\nabla\cdot\mathbf{A} = 0$ 下，标势 $\phi$ 由电荷密度决定（泊松方程），不作为独立动力学变量。矢势 $\mathbf{A}$ 的三个分量中，横波条件 $\nabla\cdot\mathbf{A} = 0$ 约束了一个纵向分量，剩下两个独立的横波自由度——这正是光子的两个偏振态。

将矢势展开为模式：

\mathbf{A}(\mathbf{r}, t) = \sum_{\mathbf{k}, \lambda=1,2} \sqrt{\frac{\hbar}{2\varepsilon_0 \omega_k V}} \boldsymbol{\varepsilon}_{\mathbf{k}\lambda} \left[\hat{a}_{\mathbf{k}\lambda} e^{i(\mathbf{k}\cdot\mathbf{r} - \omega_k t)} + \hat{a}_{\mathbf{k}\lambda}^\dagger e^{-i(\mathbf{k}\cdot\mathbf{r} - \omega_k t)}\right]

哈密顿量成为独立谐振子之和：

$H_{\text{EM}} = \sum_{\mathbf{k},\lambda} \hbar\omega_k \left(\hat{a}_{\mathbf{k}\lambda}^\dagger \hat{a}_{\mathbf{k}\lambda} + \frac{1}{2}\right)$

graph TD
    A["经典电磁场\n4分量 Aᵘ"]
    B["规范自由度\n冗余1分量"]
    C["库仑规范\n∇·A = 0"]
    D["物理自由度:\n2偏振 × 动量模式"]
    
    A --> B
    B --> C
    C --> D
    D --> E["每个模式=谐振子\naₖλ, a†ₖλ"]
    E --> F["光子数算符\nnₖλ = a†ₖλaₖλ"]
    
    style D fill:#4ecdc4
    style F fill:#ffd93d

12.1.3 光子的产生与湮灭：场的呼吸

产生算符 $\hat{a}_{\mathbf{k}\lambda}^\dagger$ 在真空中产生一个动量为 $\hbar\mathbf{k}$ 、偏振为 $\lambda$ 、能量为 $\hbar\omega_k$ 的光子。湮灭算符 $\hat{a}_{\mathbf{k}\lambda}$ 则吸收一个光子。

真空态 $|0\rangle$ 定义为所有模式的基态：

$\hat{a}_{\mathbf{k}\lambda}|0\rangle = 0, \quad \forall \mathbf{k}, \lambda$

然而，由于每个谐振子的零点能 $\frac{1}{2}\hbar\omega_k$ ，真空具有无穷大的能量：

$E_{\text{vacuum}} = \sum_{\mathbf{k},\lambda} \frac{1}{2}\hbar\omega_k \rightarrow \infty$

这个发散问题需要通过正常排序（将产生算符放在左边、湮灭算符放在右边）或实验可观测量的重新定义来处理。在大多数散射问题中，只有能量差有物理意义，零点能被抵消。

12.2 相对论形式的量子条件：协变量子化

12.2.1 洛伦兹规范与不定度规

库仑规范虽然物理清晰，但显式破坏了洛伦兹协变性（条件 $\nabla\cdot\mathbf{A} = 0$ 不是洛伦兹不变的）。为了构建完全协变的量子化方案，Dirac引入了洛伦兹规范 $\partial_\mu A^\mu = 0$ 。

但直接将这个条件作为算符方程会与正则对易关系矛盾。Gupta 和 Bleuler 的解决方案是：

放宽约束，只对物理态要求： $\partial_\mu A^\mu |\psi_{\text{phys}}\rangle = 0$
引入不定度规，允许辅助自由度

12.2.2 协变对易关系

在完全协变量子化中，四维势的对易关系为：

$[A_\mu(\mathbf{r}, t), \dot{A}_\nu(\mathbf{r}', t)] = i\hbar g_{\mu\nu} \delta(\mathbf{r} - \mathbf{r}')$

注意 $g_{00} = +1$ 而 $g_{ii} = -1$ ，这意味着时间分量 $A_0$ 的量子化带有"负概率"特征——这正是需要物理态条件来消除的。

物理态的子空间定义为满足以下条件的态：

$(\partial_\mu A^{\mu(+)} ) |\psi_{\text{phys}}\rangle = 0$

其中上标 $(+)$ 表示正频（湮灭）部分。这一条件自动保证了物理态上的洛伦兹规范约束，同时消除了负概率态。

graph TD
    A["完全协变量子化"] --> B["4个分量一起量子化"]
    B --> C["不定度规:\ng₀₀=+1, gᵢᵢ=-1"]
    C --> D["负概率问题!"]
    D --> E["Gupta-Bleuler条件\n∂ᵤAᵘ⁽⁺⁾|ψ⟩=0"]
    E --> F["物理态子空间\n正定概率"]
    E --> G["纵向+标量光子\n对物理可观测\n量无贡献"]
    
    style F fill:#4ecdc4
    style G fill:#4ecdc4

12.3 某一时刻的动力学变量：薛定谔绘景与Heisenberg绘景

12.3.1 场的薛定谔方程

量子化后的电磁场满足薛定谔方程：

$i\hbar \frac{\partial}{\partial t} |\Psi(t)\rangle = H |\Psi(t)\rangle$

其中 $H$ 是所有模式谐振子哈密顿量之和。与点粒子量子力学不同的是，这里的"波函数"是场的泛函——它是无穷多模式占据数的函数。

12.3.2 Heisenberg绘景：算符随时间演化

在Heisenberg绘景中，态固定而算符演化。湮灭算符的时间依赖性：

$\frac{d\hat{a}_{\mathbf{k}\lambda}}{dt} = \frac{i}{\hbar}[H, \hat{a}_{\mathbf{k}\lambda}] = -i\omega_k \hat{a}_{\mathbf{k}\lambda}$

解为：

$\hat{a}_{\mathbf{k}\lambda}(t) = \hat{a}_{\mathbf{k}\lambda}(0) e^{-i\omega_k t}$

因此场的Heisenberg算符自然分离为正频和负频部分：

$A_\mu(x) = A_\mu^{(+)}(x) + A_\mu^{(-)}(x)$

其中 $A_\mu^{(+)}$ 只含湮灭算符， $A_\mu^{(-)}$ 只含产生算符。这种分解在协变量子化中至关重要——Gupta-Bleuler条件只涉及正频部分。

graph LR
    subgraph "绘景对比"
        S["薛定谔绘景\n态演化: |ψ(t)⟩ = e^(-iHt/ℏ)|ψ(0)⟩\n算符固定"]
        H["海森堡绘景\n态固定: |ψ⟩\n算符演化: A(t) = e^(iHt/ℏ)A(0)e^(-iHt/ℏ)"]
    end
    
    H -->|"场算符"| F["A(x) = A⁽⁺⁾(x) + A⁽⁻⁾(x)\n正频=湮灭, 负频=产生"]

12.4 辅助条件：从冗余到物理

12.4.1 纵向与标量光子的抵消

在协变量子化中，对于每个动量 $\mathbf{k}$ ，存在四个"偏振"方向：

$\lambda = 1, 2$ ：横向偏振（物理光子）
$\lambda = 3$ ：纵向偏振（平行于 $\mathbf{k}$ ）
$\lambda = 0$ ：标量/时间分量

Gupta-Bleuler条件要求：

$\left(a_{\mathbf{k}3} - a_{\mathbf{k}0}\right) |\psi_{\text{phys}}\rangle = 0$

这意味着物理态中纵向光子与标量光子的贡献相互抵消——它们不贡献于任何物理可观测量的期望值。

12.4.2 库仑相互作用的涌现

有趣的是，当从协变量子化退到物理子空间时，标量和纵向光子的交换等效于瞬时库仑相互作用：

$V_C(r) = \frac{e^2}{4\pi\varepsilon_0 r}$

而横向光子则传递推迟的辐射场（真实的、可观测的光子）。这一分离澄清了库仑相互作用的本质：它不是超距作用，而是被"吃掉"的虚光子的累积效应。

graph TD
    A["协变量子化\n4种光子: 0,1,2,3"] --> B["横向光子 1,2\n物理实光子"]
    A --> C["纵向 3 + 标量 0"]
    C --> D["Gupta-Bleuler条件\n在物理态中抵消"]
    D --> E["等效为\n库仑相互作用"]
    D --> F["不贡献散射截面\n不贡献能量"]
    
    B --> G["康普顿散射\n韧致辐射\n光子发射/吸收"]
    E --> H["原子能级\n库仑束缚态"]

12.5 电子与正电子本身：狄拉克场的量子化

12.5.1 从狄拉克方程到场

狄拉克方程描述的是一个经典场 $\psi(\mathbf{r}, t)$ ，满足：

i\hbar \frac{\partial \psi}{\partial t} = (-i\hbar c \boldsymbol{\alpha}\cdot\nabla + \beta mc^2)\psi

将其视为经典场，拉格朗日密度为：

$\mathcal{L}_D = \bar{\psi}(i\hbar c \gamma^\mu \partial_\mu - mc^2)\psi$

共轭动量为 $\pi = \frac{\partial \mathcal{L}}{\partial \dot{\psi}} = i\hbar \psi^\dagger$ 。

12.5.2 反对易量子化

如果像标量场一样用对易关系量子化，会得到违反泡利原理的结果。Jordan 和 Wigner 发现，狄拉克场必须用反对易关系量子化：

$\{\psi_\alpha(\mathbf{r}, t), \psi_\beta^\dagger(\mathbf{r}', t)\} = \delta_{\alpha\beta} \delta(\mathbf{r} - \mathbf{r}')$

$\{\psi_\alpha(\mathbf{r}, t), \psi_\beta(\mathbf{r}', t)\} = 0$

12.5.3 电子与正电子的产生算符

将狄拉克场按平面波展开：

$\psi(\mathbf{r}, t) = \sum_{\mathbf{p}, s} \sqrt{\frac{mc^2}{E_p V}} \left[c_{\mathbf{p}s} u^{(s)}(\mathbf{p}) e^{i(\mathbf{p}\cdot\mathbf{r} - E_p t)/\hbar} + d_{\mathbf{p}s}^\dagger v^{(s)}(\mathbf{p}) e^{-i(\mathbf{p}\cdot\mathbf{r} - E_p t)/\hbar}\right]$

其中：

$u^{(s)}(\mathbf{p})$ ：正能量旋量， $s = \pm\frac{1}{2}$ 标记自旋投影
$v^{(s)}(\mathbf{p})$ ：负能量旋量
$c_{\mathbf{p}s}$ ：湮灭一个动量为 $\mathbf{p}$ 、自旋为 $s$ 的电子
$d_{\mathbf{p}s}^\dagger$ ：产生一个动量为 $\mathbf{p}$ 、自旋为 $s$ 的正电子

注意 $d^\dagger$ 在经典场展开中伴随负能量解出现——在QFT语言中，这对应于"湮灭一个负能电子 = 产生一个正电子"。

graph TD
    A["狄拉克场 ψ(x)"] --> B["展开为模式"]
    B --> C["正能解 u(p)\ncₚₛ: 湮灭电子"]
    B --> D["负能解 v(p)\nd†ₚₛ: 产生正电子"]
    C --> E["|0⟩态无电子"]
    D --> F["|0⟩态无正电子"]
    E --> G["cₚₛ|0⟩=0\n电子真空"]
    F --> H["dₚₛ|0⟩=0\n正电子真空"]
    
    C --> I["c†ₚₛ: 产生电子"]
    D --> J["dₚₛ: 湮灭正电子"]
    
    style A fill:#ffd93d

12.5.4 真空与荷算符

狄拉克场的哈密顿量为：

$H = \sum_{\mathbf{p},s} E_p \left(c_{\mathbf{p}s}^\dagger c_{\mathbf{p}s} + d_{\mathbf{p}s}^\dagger d_{\mathbf{p}s}\right)$

（忽略零点能位移）。总电荷算符（以 $-e$ 为单位）：

$Q = -e \sum_{\mathbf{p},s} \left(c_{\mathbf{p}s}^\dagger c_{\mathbf{p}s} - d_{\mathbf{p}s}^\dagger d_{\mathbf{p}s}\right)$

电子贡献 $-e$ （因为 $c^\dagger c = 1$ 时有一个电子），正电子贡献 $+e$ （因为 $d^\dagger d = 1$ 时减少了一个正电子，即增加了一个负电荷）。

真空态 $|0\rangle$ 定义为：

$c_{\mathbf{p}s}|0\rangle = 0, \quad d_{\mathbf{p}s}|0\rangle = 0$

真空能量为零，真空电荷为零——QFT不再需要"狄拉克海"的图像。

12.6 相互作用：电磁力的量子本质

12.6.1 最小耦合的场论形式

带电粒子与电磁场的相互作用通过最小耦合实现：

$\partial_\mu \rightarrow D_\mu = \partial_\mu + \frac{ie}{\hbar} A_\mu$

狄拉克场的拉格朗日密度变为：

$\mathcal{L} = \bar{\psi}(i\hbar c \gamma^\mu D_\mu - mc^2)\psi - \frac{1}{4}F_{\mu\nu}F^{\mu\nu}$

展开后，相互作用项为：

$\mathcal{L}_{\text{int}} = -e \bar{\psi}\gamma^\mu \psi A_\mu = -J^\mu A_\mu$

其中 $J^\mu = e\bar{\psi}\gamma^\mu \psi$ 是狄拉克场的四维电流密度。

12.6.2 相互作用的微扰展开

将相互作用视为微扰，S矩阵可以展开为Dyson级数：

$S = 1 + \sum_{n=1}^{\infty} \frac{(-i)^n}{n!} \int d^4x_1 \cdots d^4x_n T\{\mathcal{H}_{\text{int}}(x_1) \cdots \mathcal{H}_{\text{int}}(x_n)\}$

其中 $\mathcal{H}_{\text{int}} = -\mathcal{L}_{\text{int}} = e \bar{\psi}\gamma^\mu \psi A_\mu$ 是相互作用哈密顿量密度， $T\{\}$ 是时序乘积。

12.6.3 费曼图的诞生

这一展开可以可视化为费曼图：

实线：电子/正电子传播子（狄拉克场）
波浪线：光子传播子（电磁场）
顶点： $e\gamma^\mu$ ，连接两条费米子线和一条光子线

例如，电子-电子散射（Møller散射）的一阶过程：

graph LR
    subgraph "Møller散射"
        A1["e⁻"] --> V1["γᵘ顶点"]
        B1["e⁻"] --> V1
        V1 -->|"虚光子\n动量传递 q"| V2
        V2 --> A2["e⁻"]
        V2 --> B2["e⁻"]
    end

两个电子交换一个虚光子，传递电磁力。虚光子不满足能量-动量关系 $q^2 = 0$ （实光子的条件），而是 $q^2 \neq 0$ ，因此是"离壳"粒子。

12.6.4 电子-正电子对的产生与湮灭

QED中最壮观的过程之一是电子-正电子对的产生与湮灭：

对产生：高能光子 $\gamma \rightarrow e^+ + e^-$ （需要附近有原子核来吸收反冲动量，满足四动量守恒）

湮灭： $e^+ + e^- \rightarrow \gamma + \gamma$ （至少产生两个光子以同时守恒能量和动量）

graph TD
    subgraph "电子对湮灭"
        E1["e⁻\n动量 p₁"] --> V["湮灭顶点"]
        P1["e⁺\n动量 p₂"] --> V
        V --> G1["γ\n动量 k₁"]
        V --> G2["γ\n动量 k₂"]
    end
    
    subgraph "守恒"
        C1["能量守恒:\nE₁+E₂ = ℏω₁+ℏω₂"]
        C2["动量守恒:\np₁+p₂ = ℏk₁+ℏk₂"]
    end
    
    G1 --> C1
    G2 --> C1
    G1 --> C2
    G2 --> C2

Dirac的原始理论预言了这些过程，但只能计算它们的大致概率。QED的微扰框架提供了系统计算任意阶修正的方法。

12.7 物理变量与诠释：可观测量的提取

12.7.1 规范不变性与物理可观测性

在QED中，矢势 $A^\mu$ 本身不可直接观测——它依赖于规范选择。物理可观测的是：

场强 $F^{\mu\nu}$ （ $\mathbf{E}$ 和 $\mathbf{B}$ ）
散射截面（跃迁概率）
能级移动（兰姆位移）

任何物理量的计算结果必须在规范变换 $A_\mu \rightarrow A_\mu + \partial_\mu \Lambda$ 下保持不变。

12.7.2 重整化：消除无穷大的艺术

QED的微扰计算遇到了一个严重问题：高阶修正中出现了无穷大。例如，电子自能（电子与自身电磁场的相互作用）在一阶给出对数发散：

$\Sigma(p) \sim \int d^4k \frac{1}{k^2} \frac{1}{\gamma^\mu(p_\mu - k_\mu) - mc} \rightarrow \infty$

Bethe、Tomonaga、Schwinger 和 Feynman 发展的重整化方案解决了这一困难：

将发散吸收进重新定义的物理参数中（质量重整化 $m_0 \rightarrow m$ ，电荷重整化 $e_0 \rightarrow e$ ）
用实验测得的有限物理量替换裸参数
剩余有限修正给出可观测的预言

重整化后的QED给出了物理学中最精确的预言之一——电子的反常磁矩：

$a_e = \frac{g_e - 2}{2} = 0.00115965218073(28)$

理论计算与实验测量在 $10^{-12}$ 精度上吻合——这是人类有史以来最精确的理论。

数值例题：计算电子的反常磁矩

题目：电子的反常磁矩 $a_e = (g_e - 2)/2$ 是QED最著名的胜利之一。已知：

(a) 狄拉克方程预言 $g_e = 2$ ，即 $a_e = 0$
(b) 一阶QED修正（Schwinger, 1948）： $a_e^{(2)} = \alpha/(2\pi)$
© 实验值： $a_e^{\text{exp}} = 0.00115965218073(28)$

计算：

(a) Schwinger项的数值
(b) 已知三阶修正（ $\alpha^3$ 阶）贡献约 $-0.00000000178$ ，估算还需要多少阶才能匹配实验
© 若将电子视为经典带电球体（半径 $r_e = 2.82 \times 10^{-15}$ m），估算其经典自能并比较

解答：

(a) Schwinger项：

$a_e^{(2)} = \frac{\alpha}{2\pi} = \frac{1}{2\pi \times 137.036} = \frac{1}{860.8} = 0.0011614$

(b) 实验值与Schwinger项的差：

$\Delta a_e = a_e^{\text{exp}} - a_e^{(2)} = 0.001159652 - 0.0011614 = -0.00000175$

三阶修正： $a_e^{(4)} \approx -0.00000000178 \times (137)^2$ ？等等，三阶是 $\alpha^3$ 阶，不是乘137。

实际上，QED的展开是以 $\alpha/\pi$ 为参数的：

$a_e = C_2 \left(\frac{\alpha}{\pi}\right) + C_4 \left(\frac{\alpha}{\pi}\right)^2 + C_6 \left(\frac{\alpha}{\pi}\right)^3 + \cdots$

$C_2 = 0.5$ （Schwinger）
$C_4 \approx -0.328$ （Sommerfield, Petermann）
$C_6 \approx 1.18$ （经过数十年计算）

$\frac{\alpha}{\pi} = \frac{1}{137\pi} = 0.002322$

$a_e^{(2)} = 0.5 \times 0.002322 = 0.001161$

$a_e^{(4)} = -0.328 \times (0.002322)^2 = -0.328 \times 5.39 \times 10^{-6} = -1.77 \times 10^{-6}$

$a_e^{(6)} = 1.18 \times (0.002322)^3 = 1.18 \times 1.25 \times 10^{-8} = 1.48 \times 10^{-8}$

累加：

$a_e^{\text{th}} = 0.001161 - 0.00000177 + 0.0000000148 + \cdots = 0.00115924$

与实验值 $0.001159652$ 的差距需要更高阶项和强相互作用、弱相互作用的贡献来解释。

实际上，目前的理论计算已经做到了五阶（ $\alpha^5$ ），且包含了强子和弱相互作用的修正，理论值与实验值在 $10^{-12}$ 精度上吻合。

$U_{\text{self}} = \frac{3}{5}\frac{e^2}{4\pi\varepsilon_0 r_e} = \frac{3}{5} m_e c^2$

$U_{\text{self}} = 0.6 \times 511 \text{ keV} = 307 \text{ keV}$

这个能量对应的质量：

$\Delta m = \frac{U_{\text{self}}}{c^2} = 0.6 m_e$

如果电磁质量是电子质量的60%，那么"裸质量"只有40%！这是经典电动力学的发散困难之一——电子的电磁自能是无穷大（当 $r_e \rightarrow 0$ 时）。

QED通过重整化解决了这一困难：电子的物理质量 $m$ 包含了电磁自能的贡献，我们不需要知道裸质量 $m_0$ 是多少，只需要用实验测得的 $m$ 即可。

graph TD
    A["裸参数\nm₀, e₀"] --> B["微扰计算"]
    B --> C["圈图修正\n发散!"]
    C --> D["重整化:\nm₀→m, e₀→e"]
    D --> E["有限修正\nδm, δe"]
    E --> F["可观测预言"]
    F --> G["兰姆位移"]
    F --> H["反常磁矩\n(g-2)/2"]
    F --> I["散射截面"]
    
    G -->|"实验验证\n10⁻⁶精度"| J["QED成立!"]
    H -->|"实验验证\n10⁻¹²精度"| J
    
    style J fill:#4ecdc4

12.8 狄拉克的历史地位：量子场论的奠基人

12.8.1 从Dirac到现代QED

Dirac在《量子力学原理》的第XII章中，勾勒了一幅将量子力学与电磁学统一的宏大画卷。但Dirac的原始框架在某些方面仍然粗糙：无穷大的处理问题还不完整，费曼图技术尚未成熟，重整化方案还没有被发明。

从Dirac的算符代数出发，经过几十年的发展：

年代	贡献者	突破
1927	Dirac	电磁场量子化，产生/湮灭算符
1928	Jordan, Wigner	费米子的反对易量子化
1930s	Dirac	空穴理论，正电子预言
1940s	Feynman, Schwinger, Tomonaga	协变微扰理论，重整化
1948	Schwinger	$g-2$ 的一阶计算
1947	Lamb, Retherford	兰姆位移实验
1949	Feynman	费曼图技术
1960s	Veltman, 't Hooft	规范理论重整化
1970s	标准模型	弱电统一，强相互作用

12.8.2 Dirac方程与标准模型

今天，Dirac方程的框架已经扩展为标准模型——描述自然界除引力外所有基本相互作用的理论：

电磁相互作用：U(1)规范对称性，光子为媒介
弱相互作用：SU(2)规范对称性，W和Z玻色子为媒介
强相互作用：SU(3)规范对称性，胶子为媒介

所有这些理论都建立在同一个数学框架上：

拉格朗日场论
规范对称性
路径积分或算符量子化
重整化

Dirac在1930年代播下的种子，在半个世纪后长成了标准模型这棵大树。

12.8.3 真空：物理学中最丰富的概念

Dirac的量子电动力学彻底改变了我们对"真空"的理解：

经典物理：真空是空无一物的空间，粒子在其中运动。

Dirac的量子电动力学：真空是所有负能态被填满的态，是一种动态的、充满量子涨落的基态。

现代QED/QFT：真空是场的基态，是所有量子场的最低能量配置。在这个基态上，虚粒子对不断地产生和湮灭，真空极化改变电荷的有效值，真空涨落驱动自发发射。

这一概念革命的后果是深远的：

卡西米尔效应：两个不带电的金属板在真空中会因为真空涨落产生吸引力
霍金辐射：黑洞附近的真空涨落产生粒子对，导致黑洞蒸发
宇宙学常数问题：真空能量的理论预言与观测值相差120个数量级，是物理学中最严重的难题之一
希格斯机制：真空的对称性破缺赋予粒子质量

12.8.4 数学之美：Dirac的遗产

Dirac一生的信条是："一个物理定律必须具有数学上的美。"他的量子电动力学完美地践行了这一信念。

从数学结构上看，QED的美在于：

规范对称性：局域U(1)对称性决定了电磁相互作用的形式
洛伦兹协变性：方程在所有惯性系中形式相同
重整化群：看似任意的发散消除方案，实际上隐藏着深刻的尺度不变性
CPT定理：电荷共轭、宇称变换和时间反演的联合对称性

这些数学结构不仅仅是计算工具——它们揭示了自然界最深层的规律。Dirac坚信，如果一种数学结构是优美的，那么它必然对应某种物理真理。这一信念在他预言正电子时得到了最辉煌的验证，在标准模型的构建中得到了延续，在今天弦理论和量子引力的探索中仍然是指导原则。

12.9 本章总结：场论的黎明

graph TD
    A["Dirac量子电动力学"] --> B["电磁场量子化\n光子 = 场的激发"]
    A --> C["狄拉克场量子化\n电子+正电子 = 同一种场"]
    A --> D["相互作用\n最小耦合 eJᵘAᵤ"]
    
    B --> E["协变量子化\nGupta-Bleuler条件"]
    C --> F["反对易量子化\nJordan-Wigner"]
    D --> G["费曼图\n微扰展开"]
    
    E --> H["横向光子 = 实光子\n纵向+标量 = 库仑力"]
    F --> I["电子 = c†|0⟩\n正电子 = d†|0⟩"]
    G --> J["对产生/湮灭\n康普顿散射\n辐射修正"]
    
    H --> K["现代QED框架"]
    I --> K
    J --> K
    
    K --> L["重整化:\n最精确的理论!\n10⁻¹²精度"]
    
    style A fill:#ffd93d,stroke:#333
    style L fill:#4ecdc4

Dirac在《量子力学原理》的最后几章中，勾勒了一幅将量子力学与电磁学统一的宏大画卷。他展示了：

电磁场可以被量子化，光子是场的量子化激发
狄拉克场可以被量子化，电子和正电子是同一实体的两面
相互作用可以通过最小耦合描述，电磁力是光子交换的结果
协变量子化可以在保持洛伦兹不变性的同时消除负概率问题

虽然Dirac的原始框架在某些方面仍然粗糙（例如，无穷大的处理问题还不完整，费曼图技术尚未成熟），但它奠定了量子场论的全部基础。从今天的视角看，我们可以说：

粒子是场的激发，不是点状的"小球"
真空是场的基态，不是空无一物
相互作用是虚粒子的交换，不是超距作用
反物质是场的必然产物，不是人为假设

这正是现代粒子物理学的基石。从Dirac的算符代数出发，经过Feynman的路径积分、Weinberg的规范理论和Wilson的重整化群，我们建立了标准模型——描述自然界除引力外所有基本相互作用的理论。而一切的起源，都可以追溯到那个在1920年代末试图统一量子力学与电动力学的年轻人。

练习与思考

Gupta-Bleuler条件的验证：证明在协变量子化中，对于物理态 $|\psi_{\text{phys}}\rangle$ ，纵向和标量光子的贡献在计算跃迁振幅时完全抵消。具体计算 $\langle\psi_{\text{phys}}|A_\mu j^\mu|\psi_{\text{phys}}\rangle$ ，证明只有横向光子有贡献。
狄拉克场的电荷共轭：定义电荷共轭算符 $C$ 使得 $C c_{\mathbf{p}s} C^{-1} = d_{\mathbf{p}s}$ 。证明在电荷共轭下，电流 $j^\mu = e\bar{\psi}\gamma^\mu\psi$ 变号。讨论为什么光子（电磁场）在电荷共轭下保持不变。
对产生的运动学：证明在真空中，单个光子不可能产生电子-正电子对（即 $\gamma \rightarrow e^+ + e^-$ 不可能发生）。计算在有原子核参与时（原子核反冲动量为 $\mathbf{P}$ ）的阈值光子能量。讨论为什么在重原子核附近对产生截面更大。

"It seems to be one of the fundamental features of nature that fundamental physical laws are described in terms of a mathematical theory of great beauty and power." — Paul Dirac

第十二章 量子电动力学：场论的黎明