标量场的量子化

贡献者： zhousiyi; _Eden_

预备知识　经典场论基础，标量场

　　这一节的目的是给大家介绍如何对最简单的克莱因-戈登场进行量子化。

　　量子化的步骤是：把 $ϕ$ 场和 $π$ 场升级为算符，然后在上面加入合适的对易关系。在场论里，因为 $ϕ$ 可以类比于坐标，而 $π$ 可以类比于动量，那么场的正则对易关系为

\begin{matrix} (1) & \begin{aligned} [ϕ (x), π (y)] = i δ^{(3)} (x - y) \\ [ϕ (x), ϕ (y)] = [π (x), π (y)] = 0, \end{aligned} \end{matrix}

一般来说在动量空间里面研究问题比较方便。那么我们把

ϕ

场换到动量空间中。那么克莱因-戈登方程的形式为

\begin{matrix} (2) & [\frac{\partial^{2}}{\partial t^{2}} + (| p |^{2} + m^{2})] ϕ (p, t) = 0, \end{matrix}

这也就是一个能量为

ω_{p}

的简谐振子的运动方程。

ω_{p}

的表达式如下

\begin{matrix} (3) & ω_{p} = \sqrt{| p |^{2} + m^{2}}, \end{matrix}

现在我们来找克莱因-戈登场的谱。用的是跟量子力学里面学到的方法类似的方法，首先我们要对场

ϕ

和场

ϕ

进行量子化

\begin{matrix} (4) & \begin{aligned} ϕ (x) = \int \frac{d^{3} p}{(2 π)^{3}} \frac{1}{\sqrt{2 ω_{p}}} (a_{p} e^{i p \cdot x} + a_{p}^{†} e^{- i p \cdot x}), \\ π (x) = \int \frac{d^{3} p}{(2 π)^{3}} (- i) \sqrt{\frac{ω_{p}}{2}} (a_{p} e^{i p \cdot x} - a_{p}^{†} e^{- i p \cdot x}) . \end{aligned} \end{matrix}

可以证明，正则对易关系可以化简为如下的形式

\begin{matrix} (5) & [a_{p}, a_{p^{'}}^{†}] = (2 π)^{3} δ^{(3)} (p - p^{'}) . \end{matrix}

前面我们已经推导过哈密顿量的表达式，现在把

ϕ

场和

π

场的表达式代入，就可以得出用产生湮灭算符来表示的哈密顿量的表达式。

\begin{matrix} (6) & H = \int \frac{d^{3} p}{(2 π)^{3}} ω_{p} (a_{p}^{†} a_{p} + \frac{1}{2} [a_{p}, a_{p}^{†}]) . \end{matrix}

我们可以看出，这里的第二项是正比于

δ (0)

的。这一项是真空能项。这一项实验上是测不到的。因为实验只能测到跟基态的差值。因此以后我们都会忽略这一项。

　　由式 6 以及对易关系，可以推导出

\begin{matrix} (7) & [H, a_{p}^{†}] = ω_{p} a_{p}^{†}, [H, a_{p}] = - ω_{p} a_{p} . \end{matrix}

　　 $a_{p}, a_{p}^{†}$ 被称为产生、湮灭算符。 $a_{p}^{†} a_{p}$ 的本征值为非负整数，其物理意义是动量为 $p$ 的粒子的数目。因此，场的动量算符可以用产生湮灭算符表达为：

\begin{matrix} (8) & P = - \int \frac{d^{3} x}{(2 π)^{3}} \dot{ϕ} \nabla ϕ = \int \frac{d^{3} p}{(2 π)^{3}} k a_{p}^{†} a_{p} . \end{matrix}

　　我们可以从式 6 看出，自由标量场的哈密顿量在动量空间就是一系列无相互作用的谐振子的和，因此量子化的自由标量场的希尔伯特空间可以由所有谐振子的基态，再加上所有可能的产生算符构造出来。这种特殊的粒子数表象中的希尔伯特空间（Hilbert Space）被称为 Fock 空间。自由标量场的基态是唯一的，我们将它记作 $| 0 ⟩$ ，也被称为真空态。任意湮灭算符作用于基态仍得到基态。

\begin{matrix} (9) & a_{p} | 0 ⟩ = | 0 ⟩, \forall p . \end{matrix}

选取归一化条件

⟨ 0 | 0 ⟩ = 1

。在真空态之上的激发被解释为粒子，即可以利用产生算符

a^{†}

构造单粒子态

\begin{matrix} (10) & | p ⟩ = \sqrt{2 ω_{p}} a_{p}^{†} | 0 ⟩ . \end{matrix}

可以继续将产生算符

a^{†}

作用于这个单粒子态，这相当于有多个粒子占据这一量子态，即 Klein-Gordon 场描述的是玻色子系统。

⟨ k | p ⟩ = 2 ω_{k} (2 π)^{3} δ (k - p)

。容易证明这是洛伦兹不变量。与这些单粒子态对应的完备关系可表达为

\begin{matrix} (11) & 1_{1} = \int \frac{d^{3} k}{(2 π)^{3}} \frac{1}{2 ω_{k}} | k ⟩ ⟨ k | . \end{matrix}

1_{1}

表示单粒子态子空间中的单位算符。

d^{3} k / ((2 π)^{3} 2 ω_{k})

为洛伦兹不变的体积元，这可以从下式看出

\begin{matrix} (12) & \int \frac{d^{3} k}{(2 π)^{3}} \frac{1}{2 ω_{k}} = \int \frac{d^{4} k}{(2 π)^{3}} δ (k^{2} - m^{2}) . \end{matrix}

产生算符作用于基态得到的一切量子态构成 Fock 空间的一组基底，即这些多粒子态在整个 Hilbert 空间上是完备的。

　　下面我们来探究量子态以及算符在洛伦兹变换下的结果。在 Fock 空间上，坐标的洛伦兹变换体现为量子化的算符的幺正变换。对于一个洛伦兹变换 $Λ$ ，它将体系的坐标 $x$ 变为 $x^{'} = L x$ ，动量 $k$ 变为 $k^{'}$ ，记为 $k^{'} = L k$ 。设 $Λ$ 对应的 Hilbert 空间的算符为 $U (Λ)$ ，那么我们记

\begin{matrix} (13) & U (Λ) | k ⟩ = | L k ⟩ . \end{matrix}

U (Λ)

为幺正变换，所以单粒子态之间的内积

⟨ k | k^{'} ⟩

在洛伦兹变换下保持不变。那么对于产生湮灭算符，我们要求

\begin{matrix} (14) & \begin{aligned} U (Λ) a_{k}^{†} U^{- 1} (Λ) = \sqrt{\frac{ω_{L k}}{ω_{k}}} a_{L k}^{†}, \\ U (Λ) a_{k} U^{- 1} (Λ) = \sqrt{\frac{ω_{L k}}{ω_{k}}} a_{L k} . \end{aligned} \end{matrix}

类似地，可以得到场算符

ϕ (x)

的表达式

\begin{matrix} (15) & \begin{array}{r} U (Λ) ϕ (x) U^{- 1} (Λ) = ϕ (L x) . \end{array} \end{matrix}

致读者：小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。因此，我们请求广大读者热心打赏 ，使网站得以健康发展。如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损，并在接下来的一年里向所有读者继续免费提供优质内容。但遗憾的是只有不到 1% 的读者愿意捐款，他们的付出帮助了 99% 的读者免费获取知识，我们在此表示感谢。