习题 6.1 - 解答

---

习题分析与物理背景

本题要求在位置空间中计算自由标量场的 Feynman 传播子 $\langle 0 | T \{ \phi_0(x_1) \phi_0(x_2) \} | 0 \rangle$，并取无质量极限 $m \to 0$。Feynman 传播子在动量空间中的表达式为： $\Delta_F(x) = \int \frac{d^4 p}{(2\pi)^4} \frac{i}{p^2 - m^2 + i\epsilon} e^{-i p \cdot x}$ 其中 $x = x_1 - x_2$。为了正确处理极点结构并完成动量积分，引入 Schwinger 参数化（Schwinger parameterization）将分母转化为指数形式，从而将动量积分转化为高斯积分（Gaussian integral）。

---

解题过程

1. 引入 Schwinger 参数化 利用 Schwinger 参数 $\alpha$，我们可以将动量空间传播子的分母重写为： $\frac{i}{p^2 - m^2 + i\epsilon} = \int_0^\infty d\alpha \, e^{i \alpha (p^2 - m^2 + i\epsilon)}$ 将其代入传播子的定义式中，交换积分顺序： $\Delta_F(x) = \int_0^\infty d\alpha \int \frac{d^4 p}{(2\pi)^4} e^{i \alpha (p^2 - m^2 + i\epsilon) - i p \cdot x}$

2. 完成动量空间的高斯积分 对指数上的动量部分进行配方（Complete the square）： $i \alpha p^2 - i p \cdot x = i \alpha \left( p^2 - \frac{p \cdot x}{\alpha} \right) = i \alpha \left( p - \frac{x}{2\alpha} \right)^2 - i \frac{x^2}{4\alpha}$ 令 $k = p - \frac{x}{2\alpha}$，由于平移不改变积分测度 $d^4 k = d^4 p$，动量积分变为： $\int \frac{d^4 k}{(2\pi)^4} e^{i \alpha k^2} = \int \frac{dk^0}{2\pi} e^{i \alpha (k^0)^2} \prod_{j=1}^3 \int \frac{dk^j}{2\pi} e^{-i \alpha (k^j)^2}$ 利用标准的 Fresnel 积分公式 $\int_{-\infty}^\infty dx \, e^{\pm i a x^2} = \sqrt{\frac{\pm i \pi}{a}}$ （对于 $a > 0$），可得： $\int \frac{d^4 k}{(2\pi)^4} e^{i \alpha k^2} = \frac{1}{16\pi^4} \sqrt{\frac{i \pi}{\alpha}} \left( \sqrt{\frac{-i \pi}{\alpha}} \right)^3 = \frac{1}{16\pi^4} \frac{\pi^2}{\alpha^2} e^{i\pi/4} e^{-i 3\pi/4} = \frac{1}{16\pi^2 \alpha^2} e^{-i\pi/2} = \frac{-i}{16\pi^2 \alpha^2}$ 将动量积分结果代回 $\Delta_F(x)$ 的表达式中： $\Delta_F(x) = -\frac{i}{16\pi^2} \int_0^\infty \frac{d\alpha}{\alpha^2} e^{-i \frac{x^2}{4\alpha} - i \alpha m^2 - \alpha \epsilon}$

3. 取无质量极限并计算 $\alpha$ 积分 现在我们取无质量极限 $m \to 0$，传播子简化为： $\Delta_F(x) = -\frac{i}{16\pi^2} \int_0^\infty \frac{d\alpha}{\alpha^2} e^{-i \frac{x^2}{4\alpha} - \alpha \epsilon}$ 这里的 $e^{-\alpha \epsilon}$ 确保了 $\alpha \to \infty$（红外极限）时的积分收敛性。然而，在 $\alpha \to 0$（紫外极限）时，被积函数会发生剧烈振荡。为了使积分在数学上严格收敛，并正确反映时间序（Time-ordering）带来的极点结构，我们需要赋予 $x^2$ 一个微小的负虚部，即 $x^2 \to x^2 - i\epsilon$。这等效于在位置空间中引入了正确的 $i\epsilon$ 处方，从而在 $\alpha \to 0$ 时提供一个 $e^{-\epsilon / (4\alpha)}$ 的指数衰减压低因子。

引入该正则化后，积分变为： $\Delta_F(x) = -\frac{i}{16\pi^2} \int_0^\infty \frac{d\alpha}{\alpha^2} e^{-i \frac{x^2 - i\epsilon}{4\alpha}}$ 作变量代换，令 $z = \frac{i(x^2 - i\epsilon)}{4\alpha}$，则有： $dz = -\frac{i(x^2 - i\epsilon)}{4\alpha^2} d\alpha \quad \implies \quad \frac{d\alpha}{\alpha^2} = \frac{4i}{x^2 - i\epsilon} dz$ 积分限的变化为：当 $\alpha \to 0$ 时，$z \to \infty$（由于 $-i\epsilon$ 的存在，$\text{Re}(z) > 0$，保证了 $e^{-z} \to 0$）；当 $\alpha \to \infty$ 时，$z \to 0$。 代入后得到： $\Delta_F(x) = -\frac{i}{16\pi^2} \int_\infty^0 \left( \frac{4i}{x^2 - i\epsilon} dz \right) e^{-z}$ 交换积分上下限吸收一个负号，并提取常数： $\Delta_F(x) = \frac{4 i^2}{16\pi^2 (x^2 - i\epsilon)} \int_0^\infty dz \, e^{-z}$ 由于 $i^2 = -1$ 且 $\int_0^\infty dz \, e^{-z} = 1$，我们得到： $\Delta_F(x) = -\frac{1}{4\pi^2} \frac{1}{x^2 - i\epsilon}$

4. 最终结果 将 $x = x_1 - x_2$ 代回上式，即得到无质量标量场在位置空间的 Feynman 传播子：

习题 6.2 - 解答

---

习题分析

在量子场论中，推迟传播子（Retarded Propagator）$D_R(x-y)$ 和超前传播子（Advanced Propagator）$D_A(x-y)$ 是克莱因-戈尔登（Klein-Gordon）方程的格林函数，它们描述了标量场对经典源的因果响应。

根据因果性要求：

1. 推迟传播子 $D_R(x-y)$ 描述了在 $y$ 处的源对未来时空点 $x$ 的影响，因此当 $x^0 < y^0$ 时，它必须严格为零。
2. 超前传播子 $D_A(x-y)$ 描述了在 $y$ 处的源对过去时空点 $x$ 的影响，因此当 $x^0 > y^0$ 时，它必须严格为零。

在算符形式下，它们可以通过自由标量场的对易子来定义： $D_R(x-y) = \theta(x^0 - y^0) \langle 0 | [\phi(x), \phi(y)] | 0 \rangle$ $D_A(x-y) = -\theta(y^0 - x^0) \langle 0 | [\phi(x), \phi(y)] | 0 \rangle$

为了将它们表示为动量空间的 $d^4 k$ 积分，我们需要利用复变函数中的留数定理，通过引入无穷小量 $i\epsilon$ 来平移复 $k^0$ 平面上的极点，从而自然地给出阶跃函数 $\theta(\pm(x^0 - y^0))$ 的行为。

---

推导与解答

首先，写出自由标量场对易子的三维动量积分表达式： $\langle 0 | [\phi(x), \phi(y)] | 0 \rangle = \int \frac{d^3 k}{(2\pi)^3} \frac{1}{2\omega_{\mathbf{k}}} \left( e^{-ik \cdot (x-y)} - e^{ik \cdot (x-y)} \right)$ 其中 $\omega_{\mathbf{k}} = \sqrt{\mathbf{k}^2 + m^2}$，且四维内积 $k \cdot (x-y) = \omega_{\mathbf{k}}(x^0 - y^0) - \mathbf{k} \cdot (\mathbf{x} - \mathbf{y})$。

我们考虑如下形式的四维动量积分： $I = \int \frac{d^4 k}{(2\pi)^4} \frac{i}{(k^0)^2 - \omega_{\mathbf{k}}^2} e^{-ik^0(x^0 - y^0) + i\mathbf{k} \cdot (\mathbf{x} - \mathbf{y})}$ 被积函数在复 $k^0$ 平面上有两个极点：$k^0 = \pm \omega_{\mathbf{k}}$。

1. 推迟传播子 $D_R(x-y)$

为了满足 $x^0 < y^0$ 时 $D_R(x-y) = 0$ 的条件，当我们在上半平面闭合积分回路时（此时 $e^{-ik^0(x^0 - y^0)}$ 指数衰减），回路内部不能包含任何极点。因此，必须将两个极点都平移到下半平面。 这可以通过替换 $k^0 \to k^0 + i\epsilon$ （$\epsilon \to 0^+$）来实现。此时分母变为 $(k^0 + i\epsilon)^2 - \omega_{\mathbf{k}}^2$，极点移至 $k^0 = \pm \omega_{\mathbf{k}} - i\epsilon$。

验证 $x^0 > y^0$ 的情况：此时我们在下半平面闭合回路（顺时针方向，引入负号 $-2\pi i$），包围了这两个极点。利用留数定理计算 $k^0$ 积分： $\int \frac{d k^0}{2\pi} \frac{i e^{-ik^0(x^0 - y^0)}}{(k^0 - \omega_{\mathbf{k}} + i\epsilon)(k^0 + \omega_{\mathbf{k}} + i\epsilon)} = -2\pi i \cdot \frac{1}{2\pi} \left[ \frac{i e^{-i\omega_{\mathbf{k}}(x^0 - y^0)}}{2\omega_{\mathbf{k}}} + \frac{i e^{i\omega_{\mathbf{k}}(x^0 - y^0)}}{-2\omega_{\mathbf{k}}} \right]$ $= \frac{1}{2\omega_{\mathbf{k}}} \left( e^{-i\omega_{\mathbf{k}}(x^0 - y^0)} - e^{i\omega_{\mathbf{k}}(x^0 - y^0)} \right)$ 代回原积分，并对第二项作变量代换 $\mathbf{k} \to -\mathbf{k}$，得到： $I_R = \int \frac{d^3 k}{(2\pi)^3} \frac{1}{2\omega_{\mathbf{k}}} \left( e^{-ik \cdot (x-y)} - e^{ik \cdot (x-y)} \right) = \langle 0 | [\phi(x), \phi(y)] | 0 \rangle$ 这与推迟传播子的定义完全一致。因此，推迟传播子的积分表达式为： $D_R(x-y) = \int \frac{d^4 k}{(2\pi)^4} \frac{i}{(k^0 + i\epsilon)^2 - \mathbf{k}^2 - m^2} e^{-ik \cdot (x-y)}$

2. 超前传播子 $D_A(x-y)$

同理，为了满足 $x^0 > y^0$ 时 $D_A(x-y) = 0$ 的条件，当我们在下半平面闭合回路时，不能包含任何极点。因此，必须将两个极点都平移到上半平面。 这可以通过替换 $k^0 \to k^0 - i\epsilon$ 来实现。分母变为 $(k^0 - i\epsilon)^2 - \omega_{\mathbf{k}}^2$，极点移至 $k^0 = \pm \omega_{\mathbf{k}} + i\epsilon$。

验证 $x^0 < y^0$ 的情况：此时我们在上半平面闭合回路（逆时针方向，系数为 $2\pi i$），包围了这两个极点。计算 $k^0$ 积分： $\int \frac{d k^0}{2\pi} \frac{i e^{-ik^0(x^0 - y^0)}}{(k^0 - \omega_{\mathbf{k}} - i\epsilon)(k^0 + \omega_{\mathbf{k}} - i\epsilon)} = 2\pi i \cdot \frac{1}{2\pi} \left[ \frac{i e^{-i\omega_{\mathbf{k}}(x^0 - y^0)}}{2\omega_{\mathbf{k}}} + \frac{i e^{i\omega_{\mathbf{k}}(x^0 - y^0)}}{-2\omega_{\mathbf{k}}} \right]$ $= -\frac{1}{2\omega_{\mathbf{k}}} \left( e^{-i\omega_{\mathbf{k}}(x^0 - y^0)} - e^{i\omega_{\mathbf{k}}(x^0 - y^0)} \right)$ 代回原积分并作 $\mathbf{k} \to -\mathbf{k}$ 代换，得到： $I_A = -\int \frac{d^3 k}{(2\pi)^3} \frac{1}{2\omega_{\mathbf{k}}} \left( e^{-ik \cdot (x-y)} - e^{ik \cdot (x-y)} \right) = -\langle 0 | [\phi(x), \phi(y)] | 0 \rangle$ 这与超前传播子的定义完全一致。因此，超前传播子的积分表达式为： $D_A(x-y) = \int \frac{d^4 k}{(2\pi)^4} \frac{i}{(k^0 - i\epsilon)^2 - \mathbf{k}^2 - m^2} e^{-ik \cdot (x-y)}$

---

最终结果

推迟传播子（Retarded Propagator）与超前传播子（Advanced Propagator）的 $d^4 k$ 积分表达式分别为：

习题 6.3 - 解答

---

要证明任何算符 $\mathcal{O}$ 都可以写成公式 (6.22) 的正规序（Normal Ordering）形式，即所有产生算符 $a^\dagger$ 均位于湮灭算符 $a$ 的左侧，我们可以通过代数方法（基于对易关系）和构造性方法（基于相干态表象）给出严谨的证明。

1. 代数证明（基于算符代数的不可约性与对易关系）

物理背景：在 Fock 空间中，产生算符 $a_q^\dagger$ 和湮灭算符 $a_p$ 构成了算符代数的不可约表示（Irreducible Representation）。根据 Schur 引理，任何作用在 Fock 空间上的线性算符 $\mathcal{O}$ 都可以展开为 $a$ 和 $a^\dagger$ 的多项式或收敛的幂级数。

推导过程： 假设 $\mathcal{O}$ 已经展开为一系列 $a$ 和 $a^\dagger$ 的乘积项的线性组合。考虑其中任意一个包含 $N$ 个算符的乘积项。如果该项不是正规序的，必然存在至少一个湮灭算符 $a_p$ 位于产生算符 $a_q^\dagger$ 的左侧。

我们可以利用玻色子的正则对易关系（CCR）或费米子的正则反对易关系（CAR）来交换这两个算符的位置： $a_p a_q^\dagger = \pm a_q^\dagger a_p + \delta(p-q)$ 其中，$+$ 对应玻色子，$-$ 对应费米子。

每次应用上述关系替换逆序的算符对 $(a_p, a_q^\dagger)$ 时，原乘积项会分裂为两项：

1. 交换项：算符位置被交换，变得更接近正规序，总算符数目仍为 $N$。
2. 收缩项：产生一个 c-数 $\delta(p-q)$，算符总数减少为 $N-2$。

由于每个乘积项中的算符数量 $N$ 是有限的，上述交换过程必然在有限步内终止（类似于 Wick 定理的代数操作）。最终，该乘积项被完全转化为一系列正规序乘积项的线性组合。

将算符 $\mathcal{O}$ 展开式中所有项都进行上述正规序化操作，并将包含 $n$ 个产生算符和 $m$ 个湮灭算符的项合并。所有组合系数、展开系数以及收缩产生的 $\delta$ 函数都可以被吸收到一个总的 c-数分布函数 $C_{nm}(q_1, \dots, p_m)$ 中。对所有可能的 $n$ 和 $m$ 求和，并对连续动量（或坐标）指标积分，即可得到： $\mathcal{O} = \sum_{n,m} \int dq_1 \cdots dq_n dp_1 \cdots dp_m a_{q_1}^{\dagger} \cdots a_{q_n}^{\dagger} a_{p_m} \cdots a_{p_1} C_{nm}(q_1, \dots, p_m)$ 这就证明了任何算符都可以写成公式 (6.22) 的形式。

---

2. 构造性证明（基于相干态表象与泛函展开）

物理背景：相干态 $|\phi\rangle$ 构成了 Fock 空间的一组超完备基（Overcomplete Basis）。任何算符 $\mathcal{O}$ 都可以由其在相干态基下的矩阵元 $\langle \phi | \mathcal{O} | \psi \rangle$ 唯一确定。通过计算矩阵元，我们可以显式地构造出系数 $C_{nm}$。

推导过程： 以玻色子为例（费米子可使用 Grassmann 数进行完全平行的推导），相干态定义为 $|\phi\rangle = \exp\left(\int dq \, \phi_q a_q^\dagger\right) |0\rangle$，其满足本征值方程 $a_p |\phi\rangle = \phi_p |\phi\rangle$ 以及 $\langle \phi | a_q^\dagger = \langle \phi | \bar{\phi}_q$。

假设算符 $\mathcal{O}$ 具有公式 (6.22) 的正规序形式，我们计算其在相干态下的矩阵元。由于正规序算符直接作用于相干态会析出相应的本征值，我们有： $\langle \phi | \mathcal{O} | \psi \rangle = \langle \phi | \psi \rangle \sum_{n,m} \int dq_1 \cdots dp_m C_{nm}(q_1, \dots, p_m) \bar{\phi}_{q_1} \cdots \bar{\phi}_{q_n} \psi_{p_m} \cdots \psi_{p_1}$

定义一个由算符 $\mathcal{O}$ 唯一确定的泛函 $F[\bar{\phi}, \psi]$： $F[\bar{\phi}, \psi] \equiv \frac{\langle \phi | \mathcal{O} | \psi \rangle}{\langle \phi | \psi \rangle}$

由于 $F[\bar{\phi}, \psi]$ 是经典场 $\bar{\phi}$ 和 $\psi$ 的平滑泛函，它可以在 $\bar{\phi} = \psi = 0$ 处进行泛函 Taylor 展开（Volterra 级数）： $F[\bar{\phi}, \psi] = \sum_{n,m} \frac{1}{n! m!} \int dq_1 \cdots dp_m \left. \frac{\delta^{n+m} F}{\delta \bar{\phi}_{q_1} \cdots \delta \bar{\phi}_{q_n} \delta \psi_{p_m} \cdots \delta \psi_{p_1}} \right|_{\phi=\psi=0} \bar{\phi}_{q_1} \cdots \bar{\phi}_{q_n} \psi_{p_m} \cdots \psi_{p_1}$

对比上述两式，我们可以显式地提取出系数 $C_{nm}$ 的解析表达式： $C_{nm}(q_1, \dots, p_m) = \frac{1}{n! m!} \left. \frac{\delta^{n+m}}{\delta \bar{\phi}_{q_1} \cdots \delta \bar{\phi}_{q_n} \delta \psi_{p_m} \cdots \delta \psi_{p_1}} \left( \frac{\langle \phi | \mathcal{O} | \psi \rangle}{\langle \phi | \psi \rangle} \right) \right|_{\phi=\psi=0}$

结论： 因为对于 Fock 空间上的任意良态算符 $\mathcal{O}$，其相干态矩阵元总是存在的，且上述泛函导数总是可以被计算出来。这就意味着我们总是可以显式地构造出对应的系数 $C_{nm}$。由于相干态的超完备性保证了矩阵元与算符之间的一一对应关系，这严格证明了任意算符都可以被等价地重写为公式 (6.22) 的正规序形式。