杨正行简明量子场论：2.1 实标量场量子化-2

Klein‑Gordon 方程的完整形式 Klein‑Gordon 方程的完整形式依赖于所采用的度规符号约定，常见的有两种主流约定。以下是其最通用的协变形式和分量形式。

1. 最通用的协变形式（与度规约定无关）

\[ (\Box + m^2) \phi = 0 \]

或者带源项（如有外源 \(J\)）：

\[ (\Box + m^2) \phi = J \]

其中 达朗贝尔算符 \(\Box\) 定义为：

\[ \Box \equiv \partial_\mu \partial^\mu = g^{\mu\nu} \partial_\mu \partial_\nu \]

2. 根据常见度规约定的具体展开

注意：尽管度规符号不同，通过调整拉氏密度的整体符号，最终得到的物理方程形式完全相同： \[ \frac{\partial^2 \phi}{\partial t^2} - \nabla^2 \phi + m^2 \phi = 0 \]

3. 傅里叶变换后的色散关系（动量空间形式）

将平面波解 \(\phi(x) \propto e^{-i k \cdot x} = e^{-i(E t - \mathbf{p} \cdot \mathbf{x})}\) 代入，得到：

\[ (-E^2 + \mathbf{p}^2 + m^2) \phi = 0 \quad \Rightarrow \quad E^2 = \mathbf{p}^2 + m^2 \]

这正是相对论能量-动量关系 \(E = \pm \sqrt{\mathbf{p}^2 + m^2}\)。

4. 有电磁相互作用时的形式（最小耦合）

若粒子带电荷 \(q\)，引入协变导数 \(D_\mu = \partial_\mu + i q A_\mu\)，则 Klein‑Gordon 方程推广为：

\[ (D_\mu D^\mu + m^2)\phi = 0 \]

展开为：

\[ (\partial_\mu + i q A_\mu)(\partial^\mu + i q A^\mu)\phi + m^2 \phi = 0 \]

总结：无论在哪种约定下，自由 Klein‑Gordon 方程的物理内容都是相对论能量-动量关系的量子对应，其分量形式总是：

\[ \boxed{\frac{\partial^2 \phi}{\partial t^2} - \nabla^2 \phi + m^2 \phi = 0} \]

如果需要补充含外源、弯曲时空或非线性的推广形式，可以进一步说明。

算符的正则对易关系 [\phi(x,t), \phi(x’,t)]=0, [\pi(x,t),\pi(x’,t)]=0, [\phi(x,t),\pi(x’,t)]=i\delta(x-x’)是怎么来的 正则对易关系的来源可以拆解为三步逻辑递进：经典质点力学 → 经典场论（无穷多自由度） → 正则量子化规则。

第一步：单质点系统的正则量子化（量子力学基础）

在经典力学中，坐标 \(q\) 和动量 \(p\) 的泊松括号为： \[ \{q, p\}_{\text{PB}} = 1 \] 狄拉克正则量子化规则要求将泊松括号替换为算符对易子除以 \(i\hbar\)（自然单位下 \(\hbar=1\)）： \[ \{A, B\}_{\text{PB}} ;\longrightarrow; \frac{1}{i} [\hat{A}, \hat{B}] \] 于是得到量子力学的基本对易关系： \[ [\hat{q}, \hat{p}] = i \] 同时，坐标与自身、动量与自身的泊松括号为零，故对应的对易子也为零： \[ [\hat{q}, \hat{q}] = [\hat{p}, \hat{p}] = 0 \]

第二步：将系统推广到“无穷多自由度”——经典场论

标量场 \(\phi(\mathbf{x}, t)\) 在每一空间点 \(\mathbf{x}\) 处都是一个独立的广义坐标。为了看出与质点力学的对应，可以先把空间离散化为格点，格点指标为 \(i\)：

• 坐标：\(q_i(t) = \phi(\mathbf{x}_i, t)\)
• 共轭动量：\(p_i(t) = \pi(\mathbf{x}_i, t) = \frac{\partial \mathcal{L}}{\partial \dot{q}_i}\)

在离散系统中，经典泊松括号为： \[ \{q_i, p_j\}_{\text{PB}} = \delta_{ij}, \quad \{q_i, q_j\} = \{p_i, p_j\} = 0 \]

现在取连续极限：格点间距趋于零，指标 \(i\) 变为连续坐标 \(\mathbf{x}\)，克罗内克 \(\delta_{ij}\) 变为狄拉克 \(\delta\) 函数： \[ \delta_{ij} ;\longrightarrow; \delta^3(\mathbf{x} - \mathbf{x}’) \] 这是因为在连续空间中，求和 \(\sum_j \delta_{ij} f_j = f_i\) 对应积分 \(\int d^3x’ , \delta^3(\mathbf{x} - \mathbf{x}’) f(\mathbf{x}’) = f(\mathbf{x})\)。

因此，经典场的泊松括号变为： \[ \{\phi(\mathbf{x}, t), \pi(\mathbf{x}’, t)\}_{\text{PB}} = \delta^3(\mathbf{x} - \mathbf{x}’) \] \[ \{\phi(\mathbf{x}, t), \phi(\mathbf{x}’, t)\}_{\text{PB}} = \{\pi(\mathbf{x}, t), \pi(\mathbf{x}’, t)\}_{\text{PB}} = 0 \]

第三步：施加量子化规则，得到场的正则对易关系

应用狄拉克量子化规则 \(\{A,B\}_{\text{PB}} \to \frac{1}{i} [\hat{A}, \hat{B}]\)，直接得到： \[ [\hat{\phi}(\mathbf{x}, t), \hat{\pi}(\mathbf{x}’, t)] = i \delta^3(\mathbf{x} - \mathbf{x}’) \] \[ [\hat{\phi}(\mathbf{x}, t), \hat{\phi}(\mathbf{x}’, t)] = [\hat{\pi}(\mathbf{x}, t), \hat{\pi}(\mathbf{x}’, t)] = 0 \]

注意：所有算符取等时 \(t\)，故称为“等时对易关系”。此时它们不具备明显的洛伦兹协变性，但可以通过场方程的解推导出协变的对易子（如 Pauli‑Jordan 函数）。

关键点解释：为什么出现 \(\delta\) 函数？

• 物理意义：不同空间点的场量是独立的自由度。在 \(\mathbf{x} \neq \mathbf{x}’\) 处，\(\phi(\mathbf{x})\) 和 \(\pi(\mathbf{x}’)\) 代表两个完全不同的动力学变量，因此它们对易。
• 数学本质：\(\delta\) 函数是无穷维指标空间的“单位矩阵”。它保证了对易关系在连续极限下的一致性。

总结成一句话

场的正则对易关系是将单质点量子力学的 \([q, p] = i\) 推广到连续无穷维自由度时，将克罗内克 \(\delta\) 替换为狄拉克 \(\delta\) 函数的自然结果。

若需要进一步导出产生/湮灭算符的对易关系，只需将场算符的平面波展开代入上述等时对易子，利用傅里叶变换的正交性即可解出 \([a_{\mathbf{k}}, a_{\mathbf{k}’}^\dagger] = \delta^3(\mathbf{k} - \mathbf{k}’)\)。

第二步：从经典场到量子场——提升算符，这一步中，为什么可以把经典系数直接替换为升降算法 这个替换看似“简单粗暴”，但它背后有严格的数学必然性和物理动机。不是随意替换，而是在正则量子化规则下，将经典场在动量空间表示中自然涌现的“简谐振子结构”量子化的唯一途径。

我们从三个递进的层面来拆解这个过程。

1. 经典场的哈密顿结构已经暗示了“简谐振子”

当你把经典自由实标量场按平面波展开时（取有限体积 \(V\) 以便看清离散结构）：

\[ \phi(\mathbf{x}, t) = \sum_{\mathbf{k}} \frac{1}{\sqrt{2\omega_{\mathbf{k}} V}} \left( \alpha_{\mathbf{k}} e^{-i\omega_{\mathbf{k}} t + i\mathbf{k}\cdot\mathbf{x}} + \alpha_{\mathbf{k}}^* e^{i\omega_{\mathbf{k}} t - i\mathbf{k}\cdot\mathbf{x}} \right) \]

将它代入场的哈密顿量 \(H = \int d^3x , \frac{1}{2} (\pi^2 + (\nabla\phi)^2 + m^2\phi^2)\)，经过一系列积分后，你会得到一个令人惊讶的结果：

\[ H = \sum_{\mathbf{k}} \omega_{\mathbf{k}} \left( \alpha_{\mathbf{k}}^* \alpha_{\mathbf{k}} + \frac{1}{2} \right) \cdot (\text{常数因子}) \]

这里的 \(\alpha_{\mathbf{k}}\) 是复数振幅。如果你定义实部和虚部的线性组合：

\[ Q_{\mathbf{k}} = \frac{\alpha_{\mathbf{k}} + \alpha_{\mathbf{k}}^*}{\sqrt{2\omega_{\mathbf{k}}}}, \quad P_{\mathbf{k}} = -i\omega_{\mathbf{k}} \frac{\alpha_{\mathbf{k}} - \alpha_{\mathbf{k}}^*}{\sqrt{2\omega_{\mathbf{k}}}} \]

那么哈密顿量变成：

\[ H = \sum_{\mathbf{k}} \frac{1}{2} \left( P_{\mathbf{k}}^2 + \omega_{\mathbf{k}}^2 Q_{\mathbf{k}}^2 \right) \]

结论：在动量空间里，自由标量场等价于无穷多个独立、退耦的经典简谐振子的集合。 每一个波矢 \(\mathbf{k}\) 对应一个频率为 \(\omega_{\mathbf{k}}\) 的谐振子。

2. 量子化规则要求将谐振子的坐标和动量替换为算符

既然经典场的每个模都是独立的谐振子，那么对这个场进行正则量子化，就等价于对每一个动量模的谐振子进行正则量子化。

• 经典谐振子：坐标 \(Q\)，动量 \(P\)，泊松括号 \(\{Q, P\} = 1\)。
• 量子谐振子：将 \(Q, P\) 提升为算符，并施加对易关系 \([\hat{Q}, \hat{P}] = i\)。

在量子力学中，为了对角化谐振子的哈密顿量，我们会定义产生算符 \(a^\dagger\) 和湮灭算符 \(a\)：

\[ a = \sqrt{\frac{\omega}{2}} \left( \hat{Q} + \frac{i}{\omega} \hat{P} \right), \quad a^\dagger = \sqrt{\frac{\omega}{2}} \left( \hat{Q} - \frac{i}{\omega} \hat{P} \right) \]

这正是将经典复数振幅 \(\alpha_{\mathbf{k}}\) 替换为算符 \(a_{\mathbf{k}}\) 的数学根源。

• 经典振幅：\(\alpha_{\mathbf{k}} \propto Q_{\mathbf{k}} + \frac{i}{\omega_{\mathbf{k}}} P_{\mathbf{k}}\)（复数组合）。
• 量子算符：\(a_{\mathbf{k}} \propto \hat{Q}_{\mathbf{k}} + \frac{i}{\omega_{\mathbf{k}}} \hat{P}_{\mathbf{k}}\)。

因为 \(Q_{\mathbf{k}}\) 和 \(P_{\mathbf{k}}\) 在量子化时必须变为算符，它们的任何线性组合——包括那个复数振幅 \(\alpha_{\mathbf{k}}\)——也必须变为算符。

3. 为什么直接替换是“合法”的？——因为它自动满足场的正则对易关系

我们可以反向验证：如果我们将 \(\alpha_{\mathbf{k}}\) 替换为 \(a_{\mathbf{k}}\)，并规定 \([a_{\mathbf{k}}, a_{\mathbf{k}’}^\dagger] = \delta_{\mathbf{k}\mathbf{k}’}\)，那么通过场的展开式算出来的 \([\phi(\mathbf{x}), \pi(\mathbf{y})]\) 恰好等于 \(i\delta(\mathbf{x}-\mathbf{y})\)。

这不是巧合，这是傅里叶变换的“幺正性”保证的必然结果。 从离散指标到连续指标的极限下，\(a_{\mathbf{k}}\) 和 \(a_{\mathbf{k}}^\dagger\) 的对易关系与场的对易关系是互为傅里叶变换的关系。

换句话说：“将经典系数替换为算符”是满足场算符正则对易关系的最简构造。 如果不用算符 \(a_{\mathbf{k}}\)，你就无法构造出一个既能满足 Klein‑Gordon 方程、又能满足非平凡等时对易关系的 \(\hat{\phi}(x)\)。

4. 物理动机：解释“粒子”概念的必然要求

从物理图像上看，这个替换是非做不可的。

• 经典场：\(\alpha_{\mathbf{k}}\) 是一个普通的复数，它的模平方 \(|\alpha_{\mathbf{k}}|^2\) 代表该振动模式的能量强度。能量可以连续变化。
• 实验事实：我们在探测器里看到的是一个一个分立的电子、光子。能量不是连续的，而是 \(\hbar\omega\) 的整数倍。
• 唯一出路：为了让场的能量是分立的（\(E = \sum n_{\mathbf{k}} \hbar \omega_{\mathbf{k}}\)），复数振幅必须变成阶梯算符——能够将能量本征值改变 \(\pm 1\) 的算符。这正是 \(a_{\mathbf{k}}\) 和 \(a_{\mathbf{k}}^\dagger\)。

总结：替换的合法性链条

经典场展开（复数振幅 α）
        ↓
代入哈密顿量，发现是退耦谐振子集合
        ↓
正则量子化要求将谐振子坐标/动量提升为算符
        ↓
谐振子的产生/湮灭算符正是 α 的算符对应物
        ↓
替换后自动满足场的正则对易关系
        ↓
由此产生的粒子数表象解释了量子化的能量

因此，将 \(\alpha_{\mathbf{k}} \to a_{\mathbf{k}}\) 不是一个假设，而是正则量子化程序在动量空间的自然表达。它唯一的“假设”是正则量子化规则本身——即泊松括号变为对易子。一旦接受这个前提，系数变为算符就是不可避免的数学推论。

怎么解出a_k, a_k^\dagger 从场的平面波展开式出发，利用傅里叶变换的正交性，可以反解出产生湮灭算符 \(a_{\mathbf{k}}\) 和 \(a_{\mathbf{k}}^\dagger\)，并利用正则对易关系导出它们之间的对易规则。

一、场的展开式（连续动量空间）

取无限大空间，采用连续动量积分。自由实标量场及其共轭动量为：

\[ \hat{\phi}(\mathbf{x}, t) = \int \frac{d^3k}{(2\pi)^{3/2}} \frac{1}{\sqrt{2\omega_{\mathbf{k}}}} \left( a_{\mathbf{k}} e^{-i k x} + a_{\mathbf{k}}^\dagger e^{i k x} \right) \Big|_{k^0 = \omega_{\mathbf{k}}} \] \[ \hat{\pi}(\mathbf{x}, t) = \partial_t \hat{\phi}(\mathbf{x}, t) = \int \frac{d^3k}{(2\pi)^{3/2}} \frac{-i\omega_{\mathbf{k}}}{\sqrt{2\omega_{\mathbf{k}}}} \left( a_{\mathbf{k}} e^{-i k x} - a_{\mathbf{k}}^\dagger e^{i k x} \right) \] 其中 \(k x = \omega_{\mathbf{k}} t - \mathbf{k}\cdot\mathbf{x}\)，\(\omega_{\mathbf{k}} = \sqrt{\mathbf{k}^2 + m^2}\)。

约定：所有算符取等时 \(t\)，积分测度为 \(d^3k\)。

二、傅里叶逆变换：用 \(\hat{\phi}\) 和 \(\hat{\pi}\) 表示 \(a_{\mathbf{k}}\)

我们的目标是消去指数中的时间因子和空间积分，孤立出 \(a_{\mathbf{k}}\)。

1. 计算空间傅里叶变换

对 \(\hat{\phi}(\mathbf{x}, t)\) 和 \(\hat{\pi}(\mathbf{x}, t)\) 做三维傅里叶变换（固定 \(t\)）：

\[ \tilde{\phi}(\mathbf{k}, t) \equiv \int \frac{d^3x}{(2\pi)^{3/2}} , e^{-i\mathbf{k}\cdot\mathbf{x}} \hat{\phi}(\mathbf{x}, t) \] 代入展开式，交换积分次序，利用 \[ \int \frac{d^3x}{(2\pi)^3} e^{i(\mathbf{k}’ - \mathbf{k})\cdot\mathbf{x}} = \delta^3(\mathbf{k}’ - \mathbf{k}) \] 得到： \[ \tilde{\phi}(\mathbf{k}, t) = \frac{1}{\sqrt{2\omega_{\mathbf{k}}}} \left( a_{\mathbf{k}} e^{-i\omega_{\mathbf{k}} t} + a_{-\mathbf{k}}^\dagger e^{i\omega_{\mathbf{k}} t} \right) \] 注意第二项中，对 \(e^{i\mathbf{k}’\cdot\mathbf{x}}\) 积分要求 \(\mathbf{k}’ = -\mathbf{k}\)，故出现 \(a_{-\mathbf{k}}^\dagger\)。

同理，对 \(\hat{\pi}(\mathbf{x}, t)\) 做傅里叶变换： \[ \tilde{\pi}(\mathbf{k}, t) \equiv \int \frac{d^3x}{(2\pi)^{3/2}} , e^{-i\mathbf{k}\cdot\mathbf{x}} \hat{\pi}(\mathbf{x}, t) = -i\sqrt{\frac{\omega_{\mathbf{k}}}{2}} \left( a_{\mathbf{k}} e^{-i\omega_{\mathbf{k}} t} - a_{-\mathbf{k}}^\dagger e^{i\omega_{\mathbf{k}} t} \right) \]

2. 解线性方程组求 \(a_{\mathbf{k}}\)

我们现在有两个方程： \[ \begin{cases} \sqrt{2\omega_{\mathbf{k}}} , \tilde{\phi}(\mathbf{k}, t) = a_{\mathbf{k}} e^{-i\omega_{\mathbf{k}} t} + a_{-\mathbf{k}}^\dagger e^{i\omega_{\mathbf{k}} t} \\ i\sqrt{\frac{2}{\omega_{\mathbf{k}}}} , \tilde{\pi}(\mathbf{k}, t) = a_{\mathbf{k}} e^{-i\omega_{\mathbf{k}} t} - a_{-\mathbf{k}}^\dagger e^{i\omega_{\mathbf{k}} t} \end{cases} \]

两式相加，消去 \(a_{-\mathbf{k}}^\dagger\)： \[ \sqrt{2\omega_{\mathbf{k}}} , \tilde{\phi}(\mathbf{k}, t) + i\sqrt{\frac{2}{\omega_{\mathbf{k}}}} , \tilde{\pi}(\mathbf{k}, t) = 2 a_{\mathbf{k}} e^{-i\omega_{\mathbf{k}} t} \]

因此： \[ a_{\mathbf{k}} = e^{i\omega_{\mathbf{k}} t} \int \frac{d^3x}{(2\pi)^{3/2}} , e^{-i\mathbf{k}\cdot\mathbf{x}} \left[ \sqrt{\frac{\omega_{\mathbf{k}}}{2}} \hat{\phi}(\mathbf{x}, t) + \frac{i}{\sqrt{2\omega_{\mathbf{k}}}} \hat{\pi}(\mathbf{x}, t) \right] \]

完全类似地，两式相减可得 \(a_{-\mathbf{k}}^\dagger\)，或通过厄米共轭直接得到： \[ a_{\mathbf{k}}^\dagger = e^{-i\omega_{\mathbf{k}} t} \int \frac{d^3x}{(2\pi)^{3/2}} , e^{i\mathbf{k}\cdot\mathbf{x}} \left[ \sqrt{\frac{\omega_{\mathbf{k}}}{2}} \hat{\phi}(\mathbf{x}, t) - \frac{i}{\sqrt{2\omega_{\mathbf{k}}}} \hat{\pi}(\mathbf{x}, t) \right] \]

三、利用正则对易关系导出 \([a_{\mathbf{k}}, a_{\mathbf{k}’}^\dagger]\)

已知等时对易关系： \[ [\hat{\phi}(\mathbf{x}, t), \hat{\pi}(\mathbf{y}, t)] = i\delta^3(\mathbf{x} - \mathbf{y}), \quad [\hat{\phi}, \hat{\phi}] = [\hat{\pi}, \hat{\pi}] = 0 \]

利用上述 \(a_{\mathbf{k}}\) 和 \(a_{\mathbf{k}’}^\dagger\) 的积分表达式，计算对易子。注意时间 \(t\) 相同，指数因子中时间部分相互抵消。

\[ [a_{\mathbf{k}}, a_{\mathbf{k}’}^\dagger] = e^{i(\omega_{\mathbf{k}} - \omega_{\mathbf{k}’})t} \int \frac{d^3x,d^3y}{(2\pi)^3} e^{-i\mathbf{k}\cdot\mathbf{x} + i\mathbf{k}’\cdot\mathbf{y}} \times \] \[ \left[ \sqrt{\frac{\omega_{\mathbf{k}}}{2}} \hat{\phi}(\mathbf{x}) + \frac{i}{\sqrt{2\omega_{\mathbf{k}}}} \hat{\pi}(\mathbf{x}), ; \sqrt{\frac{\omega_{\mathbf{k}’}}{2}} \hat{\phi}(\mathbf{y}) - \frac{i}{\sqrt{2\omega_{\mathbf{k}’}}} \hat{\pi}(\mathbf{y}) \right] \]

展开对易子，只有 \(\phi\) 与 \(\pi\) 的交叉项非零：

• 第一项与第四项：\(\left[ \sqrt{\frac{\omega_{\mathbf{k}}}{2}} \hat{\phi}(\mathbf{x}), ; -\frac{i}{\sqrt{2\omega_{\mathbf{k}’}}} \hat{\pi}(\mathbf{y}) \right] = -i \frac{\sqrt{\omega_{\mathbf{k}}}}{2\sqrt{\omega_{\mathbf{k}’}}} [\hat{\phi}(\mathbf{x}), \hat{\pi}(\mathbf{y})] = -i \frac{\sqrt{\omega_{\mathbf{k}}}}{2\sqrt{\omega_{\mathbf{k}’}}} \cdot i\delta^3(\mathbf{x}-\mathbf{y}) = \frac{\sqrt{\omega_{\mathbf{k}}}}{2\sqrt{\omega_{\mathbf{k}’}}} \delta^3(\mathbf{x}-\mathbf{y})\)

• 第二项与第三项：\(\left[ \frac{i}{\sqrt{2\omega_{\mathbf{k}}}} \hat{\pi}(\mathbf{x}), ; \sqrt{\frac{\omega_{\mathbf{k}’}}{2}} \hat{\phi}(\mathbf{y}) \right] = i \frac{\sqrt{\omega_{\mathbf{k}’}}}{2\sqrt{\omega_{\mathbf{k}}}} [\hat{\pi}(\mathbf{x}), \hat{\phi}(\mathbf{y})] = i \frac{\sqrt{\omega_{\mathbf{k}’}}}{2\sqrt{\omega_{\mathbf{k}}}} \cdot (-i\delta^3(\mathbf{x}-\mathbf{y})) = \frac{\sqrt{\omega_{\mathbf{k}’}}}{2\sqrt{\omega_{\mathbf{k}}}} \delta^3(\mathbf{x}-\mathbf{y})\)

两项相加： \[ \left( \frac{\sqrt{\omega_{\mathbf{k}}}}{2\sqrt{\omega_{\mathbf{k}’}}} + \frac{\sqrt{\omega_{\mathbf{k}’}}}{2\sqrt{\omega_{\mathbf{k}}}} \right) \delta^3(\mathbf{x}-\mathbf{y}) = \frac{\omega_{\mathbf{k}} + \omega_{\mathbf{k}’}}{2\sqrt{\omega_{\mathbf{k}}\omega_{\mathbf{k}’}}} \delta^3(\mathbf{x}-\mathbf{y}) \]

代回积分，先对 \(\mathbf{y}\) 积分，\(\delta^3(\mathbf{x}-\mathbf{y})\) 使 \(\mathbf{y} \to \mathbf{x}\)，指数变为 \(e^{-i(\mathbf{k} - \mathbf{k}’)\cdot\mathbf{x}}\)。再对 \(\mathbf{x}\) 积分： \[ \int \frac{d^3x}{(2\pi)^3} e^{-i(\mathbf{k} - \mathbf{k}’)\cdot\mathbf{x}} = \delta^3(\mathbf{k} - \mathbf{k}’) \]

前面的系数中 \(\omega_{\mathbf{k}} + \omega_{\mathbf{k}’}\) 在 \(\mathbf{k}=\mathbf{k}’\) 时等于 \(2\omega_{\mathbf{k}}\)，与分母 \(2\sqrt{\omega_{\mathbf{k}}\omega_{\mathbf{k}’}} \to 2\omega_{\mathbf{k}}\) 相消，结果为 1。

因此： \[ [a_{\mathbf{k}}, a_{\mathbf{k}’}^\dagger] = \delta^3(\mathbf{k} - \mathbf{k}’) \]

完全类似可得： \[ [a_{\mathbf{k}}, a_{\mathbf{k}’}] = [a_{\mathbf{k}}^\dagger, a_{\mathbf{k}’}^\dagger] = 0 \]

四、总结

通过傅里叶逆变换，我们解出了用场算符表示的产生湮灭算符：

\[ \boxed{ \begin{aligned} a_{\mathbf{k}} &= \int \frac{d^3x}{(2\pi)^{3/2}} e^{-i\mathbf{k}\cdot\mathbf{x}} \left[ \sqrt{\frac{\omega_{\mathbf{k}}}{2}} \hat{\phi}(\mathbf{x}, t) + \frac{i}{\sqrt{2\omega_{\mathbf{k}}}} \hat{\pi}(\mathbf{x}, t) \right] e^{i\omega_{\mathbf{k}} t} \\ a_{\mathbf{k}}^\dagger &= \int \frac{d^3x}{(2\pi)^{3/2}} e^{i\mathbf{k}\cdot\mathbf{x}} \left[ \sqrt{\frac{\omega_{\mathbf{k}}}{2}} \hat{\phi}(\mathbf{x}, t) - \frac{i}{\sqrt{2\omega_{\mathbf{k}}}} \hat{\pi}(\mathbf{x}, t) \right] e^{-i\omega_{\mathbf{k}} t} \end{aligned} } \]

并且，作为正则对易关系 \([ \phi, \pi ] = i\delta^3\) 的直接推论，它们满足期望的对易关系： \[ \boxed{[a_{\mathbf{k}}, a_{\mathbf{k}’}^\dagger] = \delta^3(\mathbf{k} - \mathbf{k}’), \quad [a_{\mathbf{k}}, a_{\mathbf{k}’}] = [a_{\mathbf{k}}^\dagger, a_{\mathbf{k}’}^\dagger] = 0} \]

这就是从正则量子化框架中“解出”产生湮灭算符的完整过程。