简单来说，它的关键作用是：
把特定参考系下才能用的“等时对易子”，替换成了在任何惯性参考系下都成立的“协变对易子”。
下面我们展开它的具体形式、用途和意义。
1. 什么是协变对易关系与 \(\Delta(x-x’)\) 函数？
1.1 等时对易关系的局限
我们之前推导的正则对易关系： \[ [\phi(\mathbf{x}, t), \pi(\mathbf{x}’, t)] = i\delta^3(\mathbf{x} - \mathbf{x}’) \] 有三个局限：
- 非协变：它指定了“等时” \(t = t’\)，破坏了时间和空间的平等地位。
- 非封闭：它只是 \([\phi, \pi]\)，而不是场算符自身在不同时空点的对易子 \([\phi(x), \phi(x’)]\)。
- 不完整：我们需要知道任意两个时空点的场算符是否对易。
1.2 从等时到协变
我们可以推导出场算符在不同时空点的对易子。利用平面波展开： \[ \phi(x) = \int \frac{d^3k}{(2\pi)^3 \sqrt{2\omega_{\mathbf{k}}}} \left( a_{\mathbf{k}} e^{-ikx} + a_{\mathbf{k}}^\dagger e^{ikx} \right) \] 计算对易子 \([\phi(x), \phi(x’)]\)，代入 \([a_{\mathbf{k}}, a_{\mathbf{k}’}^\dagger] = \delta^3(\mathbf{k}-\mathbf{k}’)\)，经过化简得到：
\[ [\phi(x), \phi(x’)] = \int \frac{d^3k}{(2\pi)^3 2\omega_{\mathbf{k}}} \left( e^{-ik(x-x’)} - e^{ik(x-x’)} \right) \]
这个结果自然地定义了一个函数，它就是 \(\Delta(x-x’)\)：
\[ \boxed{ \Delta(x-x’) \equiv \int \frac{d^3k}{(2\pi)^3 2\omega_{\mathbf{k}}} \left( e^{-ik(x-x’)} - e^{ik(x-x’)} \right) } \]
于是协变对易关系就是： \[ [\phi(x), \phi(x’)] = i \Delta(x - x’) \]
协变性体现在哪？
积分测度 \(\frac{d^3k}{2\omega_{\mathbf{k}}}\) 是 Lorentz 不变的，被积函数是指数函数的差，整体构成一个 Lorentz 不变的奇异函数。它只依赖于 \(x-x’\)，形式在所有惯性系相同。
2. \(\Delta(x-x’)\) 函数的性质与核心用途
这个函数有两个决定性性质，决定了它在量子场论中的核心地位。
2.1 微观因果性（类空间隔对易）
这是最关键的应用。可以证明，当两个时空点 \(x\) 和 \(x’\) 是类空分离的 (\((x-x’)^2 < 0\))，存在一个参考系使得 \(t=t’\)。
- 此时积分中正频和负频部分相互抵消，导致： \[ \Delta(x-y) = 0 \quad \text{当} \quad (x-y)^2 < 0 \]
- 物理意义： \[ [\phi(x), \phi(x’)] = 0 \quad \text{(类空间隔)} \] 这意味着，在类空间隔上，场的测量互不干扰。对 \(\phi(x)\) 的测量不会影响对 \(\phi(x’)\) 的测量。这是微观因果性和Einstein定域性的数学保证，是相对论量子场论公理系统的基石之一。
2.2 Klein-Gordon 方程的解
\(\Delta(x-x’)\) 本身满足齐次 Klein-Gordon 方程： \[ (\Box_x + m^2) \Delta(x - x’) = 0 \] 并且满足初始条件： \[ \Delta(0, \mathbf{x}) = 0, \quad \partial_t \Delta(0, \mathbf{x}) = \delta^3(\mathbf{x}) \] 这使它成为 Klein-Gordon 方程的奇异基本解之一。它描述了从点源产生的场在光锥上的传播特性。
3. 后续理论构建中的作用
在得到基础的 \(\Delta(x-x’)\) 后，它像一块基石，用来构造其他更复杂的协变格林函数，而后者直接进入微扰计算（费曼图）。
| 函数 | 定义 | 作用 |
|---|---|---|
| \(\Delta(x-x’)\) | 场的对易子 / 基本解 | 保证微观因果性、构造其他函数 |
| \(\Delta^{\text{ret}}(x-x’)\) | 推迟格林函数 | 因果传播子，描述信号以光速或低于光速传播 |
| \(\Delta_F(x-x’)\) | Feynman 传播子 | 微扰论的核心：费曼图中代表粒子传播的内线 |
其中 Feynman 传播子 \(\Delta_F(x-y) = \langle 0|T\{\phi(x)\phi(y)\}|0\rangle\) 可以直接用 \(\Delta(x-x’)\) 和阶跃函数构造出来： \[ \Delta_F(x-y) = \theta(t-t’) \Delta^{(+)}(x-y) + \theta(t’-t) \Delta^{(-)}(x-y) \] 而 \(\Delta^{(+)}\) 和 \(\Delta^{(-)}\) 就是 \(\Delta\) 的正频和负频部分（Wightman 函数），它们都源于最初的平面波展开和 \(\Delta(x-x’)\)。
总结：\(\Delta(x-x’)\) 函数的功能
- 核心功能：将非协变的等时对易关系，升级为 Lorentz 协变的对易关系。
- 理论基石：它的类空等于零，是微观因果性的数学表达，确保了相对论与量子力学的兼容。
- 计算起点：它是定义 Feynman 传播子和推迟/超前格林函数的基础，从而打开了微扰计算（即费曼图）的大门。
所以，书中引入这个函数，是为了把理论从一个“在特定参考系下成立的量子化规则”，变成一个“满足狭义相对论全部要求的、自洽的量子场论”。
我们分两层来回答：
- 为什么教科书要用升降算符求它？（物理动机与自洽性）
- 如果不通过升降算符，如何直接得到它？（纯数学路径）
一、为什么用升降算符？——物理学家在“织毛衣”
教科书用升降算符推导 \(\Delta(x-x’)\)，不是简单的数学游戏，而是在把量子化程序与相对论协变性编织在一起。这有几个无法绕开的物理考量：
1. 证明量子化程序的自洽性
正则量子化以破坏明显洛伦兹协变性为代价（等时对易），强行把场和动量变为算符。用升降算符求出 \(\Delta(x-x’)\)，并证明它在类空间隔上为零，是从正则量子化公理出发，反向推导出相对论因果律。
- 逻辑链条：正则量子化（非协变）\(\xrightarrow{\text{平面波展开}}\) 升降算符 \(\xrightarrow{\text{代入计算}}\) \(\Delta(x-y)=0\) (类空) \(\Rightarrow\) 因果律 \(\Rightarrow\) 正则量子化是自洽的相对论理论。 不打这个补丁，正则量子化就是跛脚的。
2. 为微扰论铺设跑道
这条路径自然地引出了正频和负频分解： \[ \Delta(x-x’) = \int \frac{d^3k}{(2\pi)^3 2\omega} \left( e^{-ik(x-x’)} - e^{ik(x-x’)} \right) \equiv -i \langle 0|[\phi(x),\phi(x’)]|0\rangle \] 此处 \(e^{-ikx}\) 直接对应于湮灭算符的正频波，\(e^{ikx}\) 对应产生算符的负频波。这种分解立刻导向费曼传播子： \[ \Delta_F(x-y) = \theta(t-t’) \langle 0|\phi(x)\phi(y)|0\rangle + \theta(t’-t) \langle 0|\phi(y)\phi(x)|0\rangle \] 不用升降算符，你就无法自然地引入时序算符 \(T\) 和真空期望值，从而无法从对易子过渡到微扰论的核心——费曼传播子。
3. 建立粒子诠释的字典
升降算符方法直接显示 \(\Delta(x-y)\) 是“粒子从 \(y\) 传播到 \(x\)”和“反粒子从 \(x\) 传播到 \(y\)”两种量子振幅的差。这种物理图像只有通过算符语言才能得到。
二、如何不用升降算符求 \(\Delta(x-x’)\)？——数学家的捷径
如果不引入量子算符，\(\Delta(x-x’)\) 只是一个经典波动方程的特定格林函数。有三种纯数学方法可以直接写出它：
方法1：作为 Klein-Gordon 方程的 Cauchy 问题的基本解
定义 \(\Delta(x)\) 为满足以下初值问题的唯一解：
- 方程：\((\Box + m^2)\Delta(x) = 0\)
- 初始条件：\(\Delta(0,\mathbf{x}) = 0\)，\(\partial_t \Delta(0,\mathbf{x}) = \delta^3(\mathbf{x})\)
这个定义完全不需要量子力学和算符。它的解可以用傅里叶变换法直接求出：设 \(\Delta(x) = \int \frac{d^4k}{(2\pi)^4} \tilde{\Delta}(k) e^{-ikx}\)，代入方程和初条件，同样得到： \[ \Delta(x) = \int \frac{d^3k}{(2\pi)^3 2\omega_{\mathbf{k}}} \left( e^{-ikx} - e^{ikx} \right) \]
方法2：直接进行四维傅里叶积分（绕过等时面）
在动量空间，对易子函数的形式是： \[ \tilde{\Delta}(k) = -2\pi i , \text{sgn}(k^0) \delta(k^2 - m^2) \] 这里 \(\text{sgn}(k^0)\) 是频率的符号函数。通过四维傅里叶变换 \(\Delta(x) = \int \frac{d^4k}{(2\pi)^4} \tilde{\Delta}(k) e^{-ikx}\)，直接用留数定理对 \(\omega\) 积分，结果完全一样。这条路甚至不显含三维空间积分测度。
方法3：用已知特殊函数表示
\(\Delta(x)\) 可以直接用贝塞尔函数或球汉克尔函数写出显式：
- 类时 (\(s = t^2 - r^2 > 0\))： \[ \Delta(x) = \frac{1}{2\pi} \epsilon(t) \left[ \delta(s) - \frac{m}{2\sqrt{s}} J_1(m\sqrt{s}) \theta(s) \right] \]
- 类空 (\(s < 0\))：\(\Delta(x) = 0\)。 这是19世纪的经典数学物理就能给出的答案，与量子力学无关。
总结：两种路径的对比
| 路径 | 出发点 | 关键工具 | 最终结果 | 优劣势 |
|---|---|---|---|---|
| 物理路径 (升降算符) |
正则量子化 \([\phi,\pi]=i\delta^3\) |
产生湮灭算符 \(a_{\mathbf{k}}, a_{\mathbf{k}}^\dagger\) |
\(i\Delta(x-y)\) | 优：物理图像清晰，直通粒子诠释和微扰论，自洽性证明完整。 劣：过程稍长，引入了非必需的算符。 |
| 数学路径 (微分方程法) |
Klein-Gordon 方程 \((\Box+m^2)\phi=0\) |
傅里叶/格林函数 初值条件 |
\(\Delta(x-y)\) | 优：干净利落，逻辑独立，凸显其作为特殊函数的本质。 劣：割裂了与量子化程序的联系，无法解释为何它恰好是对易子，更难自然导出费曼传播子。 |
结论： 你的判断非常准。\(\Delta(x-x’)\) 的数学本质不过是一个经典的、相对论性波动方程的奇异基本解。升降算符之路，是物理学家为了一步到位地同时完成“量子化”和“证明因果律” 而选择的构建性证明。它虽然路途稍长，但每一站（真空态、产生、湮灭）都是后续微扰场论计算必须停靠的站点。