Gauge Field Notes
65.1

Problem 65.1

srednickiChapter 65

习题 65.1

来源: 第65章, PDF第394页

65.1 What conditions should be imposed on V3μ(p′,p)\mathbf{V}_3^\mu(p', p) and V4μν(k,p′,p)\mathbf{V}_4^{\mu\nu}(k, p', p) in the OS scheme? (Here kk is the incoming four-momentum of the photon at the μ\mu vertex, and p′p' and pp are the four-momenta of the outgoing and incoming scalars, respectively.)

习题 65.1 - 解答

在标量量子电动力学（Scalar Electrodynamics, SQED）的在壳（On-Shell, OS）重整化方案中，重整化条件的核心物理思想是：当外部标量粒子处于在壳状态（p2=−m2p^2 = -m^2），且光子动量趋于零（即极低能的 Thomson 散射极限）时，精确的顶点函数必须退化为树图级别的形式。这保证了重整化后的耦合常数 ee 对应于物理的、宏观可测的电荷。

在 Srednicki 的约定下（使用大多为正的度规 ημν=diag(−1,1,1,1)\eta_{\mu\nu} = \text{diag}(-1, 1, 1, 1)），树图级别的 3-点和 4-点顶点函数分别为： V3,treeμ(p′,p)=e(p′+p)μV_{3,\text{tree}}^\mu(p', p) = e(p'+p)^\mu V4,treeμν(k,p′,p)=2e2gμνV_{4,\text{tree}}^{\mu\nu}(k, p', p) = 2e^2 g^{\mu\nu}

1. 对 3-点顶点 V3μ(p′,p)\mathbf{V}_3^\mu(p', p) 的条件

设入射标量动量为 pp，出射标量动量为 p′p'，光子动量为 q=p′−pq = p' - p。在 OS 方案中，当光子动量 q→0q \to 0（即 p′→pp' \to p）且标量粒子在壳（p2=−m2p^2 = -m^2）时，精确顶点函数 V3μ\mathbf{V}_3^\mu 必须等于物理电荷 ee 乘以树图运动学结构。 因此，施加的条件为： V3μ(p,p)=2epμ对于 p2=−m2\mathbf{V}_3^\mu(p, p) = 2e p^\mu \quad \text{对于 } p^2 = -m^2

2. 对 4-点顶点 V4μν(k,p′,p)\mathbf{V}_4^{\mu\nu}(k, p', p) 的条件

对于包含两个光子和两个标量粒子的 4-点顶点，设 μ\mu 顶点处的光子入射动量为 kk，ν\nu 顶点处的光子入射动量为 q=p′−p−kq = p' - p - k。当两个光子的动量均趋于零（k→0,q→0k \to 0, q \to 0，从而 p′→pp' \to p）且标量粒子在壳（p2=−m2p^2 = -m^2）时，由洛伦兹协变性可知，顶点函数可分解为如下张量结构： V4μν(0,p,p)=Agμν+Bpμpν\mathbf{V}_4^{\mu\nu}(0, p, p) = A g^{\mu\nu} + B p^\mu p^\nu 在真实的极低能 Thomson 散射中，物理光子的极化矢量 εμ\varepsilon_\mu 满足横向条件 ε⋅p=0\varepsilon \cdot p = 0。因此，物理散射振幅仅依赖于 gμνg^{\mu\nu} 前的系数 AA。OS 方案要求该物理振幅与树图级别完全一致，即要求 A=2e2A = 2e^2。 为了在数学上严格分离出该系数，我们可以使用投影算符 13(gμν+pμpνm2)\frac{1}{3}\left(g_{\mu\nu} + \frac{p_\mu p_\nu}{m^2}\right)，它满足收缩 gμνg^{\mu\nu} 得到 11，收缩 pμpνp^\mu p^\nu 得到 00。 因此，施加的条件为： 13(gμν+pμpνm2)V4μν(0,p,p)=2e2对于 p2=−m2\frac{1}{3} \left( g_{\mu\nu} + \frac{p_\mu p_\nu}{m^2} \right) \mathbf{V}_4^{\mu\nu}(0, p, p) = 2e^2 \quad \text{对于 } p^2 = -m^2

3. 物理一致性与 Ward-Takahashi 恒等式证明

上述条件并非孤立存在，它们受到规范对称性（Ward-Takahashi 恒等式）的严格约束。 对于 3-点顶点，WT 恒等式为： qμV3μ(p′,p)=e[Δ−1(p′)−Δ−1(p)]q_\mu \mathbf{V}_3^\mu(p', p) = e \left[ \boldsymbol{\Delta}^{-1}(p') - \boldsymbol{\Delta}^{-1}(p) \right] 其中 Δ(p)=[p2+m2−Σ(p2)]−1\boldsymbol{\Delta}(p) = [p^2 + m^2 - \Sigma(p^2)]^{-1} 是精确的标量传播子。对 pμ′p'_\mu 求导并取 p′→pp' \to p 极限，得到： V3μ(p,p)=e∂∂pμΔ−1(p)=2epμ[1−Σ′(p2)]\mathbf{V}_3^\mu(p, p) = e \frac{\partial}{\partial p_\mu} \boldsymbol{\Delta}^{-1}(p) = 2e p^\mu [1 - \Sigma'(p^2)] 在 OS 方案中，质量和波函数重整化条件要求 Σ(−m2)=0\Sigma(-m^2) = 0 且 Σ′(−m2)=0\Sigma'(-m^2) = 0。代入 p2=−m2p^2 = -m^2 立即得到 V3μ(p,p)=2epμ\mathbf{V}_3^\mu(p, p) = 2e p^\mu，与条件 1 完全吻合。

对于 4-点顶点，WT 恒等式为： kμV4μν(k,p′,p)=eV3ν(p′,p+k)−eV3ν(p′−k,p)k_\mu \mathbf{V}_4^{\mu\nu}(k, p', p) = e \mathbf{V}_3^\nu(p', p+k) - e \mathbf{V}_3^\nu(p'-k, p) 对 kρk_\rho 求导并取 k→0,p′→pk \to 0, p' \to p 极限，得到： V4ρν(0,p,p)=e∂∂pρV3ν(p,p)\mathbf{V}_4^{\rho\nu}(0, p, p) = e \frac{\partial}{\partial p_\rho} \mathbf{V}_3^\nu(p, p) 将前面任意 pp 下的 V3ν(p,p)\mathbf{V}_3^\nu(p, p) 表达式代入并求导： V4ρν(0,p,p)=e∂∂pρ{2epν[1−Σ′(p2)]}=2e2gρν[1−Σ′(p2)]−4e2pρpνΣ′′(p2)\mathbf{V}_4^{\rho\nu}(0, p, p) = e \frac{\partial}{\partial p_\rho} \left\{ 2e p^\nu [1 - \Sigma'(p^2)] \right\} = 2e^2 g^{\rho\nu} [1 - \Sigma'(p^2)] - 4e^2 p^\rho p^\nu \Sigma''(p^2) 在壳点 p2=−m2p^2 = -m^2 处（利用 Σ′(−m2)=0\Sigma'(-m^2) = 0），精确顶点函数为： V4ρν(0,p,p)=2e2gρν−4e2pρpνΣ′′(−m2)\mathbf{V}_4^{\rho\nu}(0, p, p) = 2e^2 g^{\rho\nu} - 4e^2 p^\rho p^\nu \Sigma''(-m^2) 这证明了精确的 4-点顶点在零动量极限下确实会产生一个正比于 Σ′′(−m2)\Sigma''(-m^2) 的 pρpνp^\rho p^\nu 修正项，但其 gρνg^{\rho\nu} 部分的系数被 WT 恒等式严格固定为 2e22e^2。这完美解释了为什么必须使用投影算符或极化矢量来陈述 4-点顶点的 OS 条件。

最终结论

在 OS 方案中，对精确顶点函数施加的重整化条件为：

V3μ(p,p)=2epμ对于 p2=−m213(gμν+pμpνm2)V4μν(0,p,p)=2e2对于 p2=−m2(等价于物理极化条件: εμεν′∗V4μν(0,p,p)=2e2ε⋅ε′∗其中 ε⋅p=ε′⋅p=0)\boxed{ \begin{aligned} \mathbf{V}_3^\mu(p, p) &= 2e p^\mu \quad &&\text{对于 } p^2 = -m^2 \\ \frac{1}{3} \left( g_{\mu\nu} + \frac{p_\mu p_\nu}{m^2} \right) \mathbf{V}_4^{\mu\nu}(0, p, p) &= 2e^2 \quad &&\text{对于 } p^2 = -m^2 \\ \text{(等价于物理极化条件: } \varepsilon_\mu \varepsilon'^*_\nu \mathbf{V}_4^{\mu\nu}(0, p, p) &= 2e^2 \varepsilon \cdot \varepsilon'^* &&\text{其中 } \varepsilon \cdot p = \varepsilon' \cdot p = 0 \text{)} \end{aligned} }
65.2

Problem 65.2

srednickiChapter 65

习题 65.2

来源: 第65章, PDF第394页

65.2 Consider a gauge transformaton Aμ→Aμ−∂μΓA^\mu \rightarrow A^\mu - \partial^\mu \Gamma. Show that there is a transformation of φ\varphi that leaves the lagrangian of eqs. (65.1–65.4) invariant if and only if Z4=Z12/Z2Z_4 = Z_1^2 / Z_2.

Referenced Equations:

Equation (65.1):

L=L0+L1 ,(65.1)\mathcal{L} = \mathcal{L}_0 + \mathcal{L}_1 \, , \tag{65.1}

Equation (65.2):

L0=−∂μφ†∂μφ−m2φ†φ−14FμνFμν ,(65.2)\mathcal{L}_0 = -\partial^\mu \varphi^\dagger \partial_\mu \varphi - m^2 \varphi^\dagger \varphi - \frac{1}{4} F^{\mu\nu} F_{\mu\nu} \, , \tag{65.2}

Equation (65.3):

L1=iZ1e[φ†∂μφ−(∂μφ†)φ]Aμ−Z4e2φ†φAμAμ−14Zλλ(φ†φ)2+Lct ,(65.3)\begin{aligned} \mathcal{L}_1 &= i Z_1 e [\varphi^\dagger \partial^\mu \varphi - (\partial^\mu \varphi^\dagger) \varphi] A_\mu - Z_4 e^2 \varphi^\dagger \varphi A^\mu A_\mu \\ &\quad - \frac{1}{4} Z_\lambda \lambda (\varphi^\dagger \varphi)^2 + \mathcal{L}_{\text{ct}} \, , \end{aligned} \tag{65.3}

Equation (65.4):

Lct=−(Z2−1)∂μφ†∂μφ−(Zm−1)m2φ†φ−14(Z3−1)FμνFμν .(65.4)\mathcal{L}_{\text{ct}} = -(Z_2 - 1) \partial^\mu \varphi^\dagger \partial_\mu \varphi - (Z_m - 1) m^2 \varphi^\dagger \varphi - \frac{1}{4} (Z_3 - 1) F^{\mu\nu} F_{\mu\nu} \, . \tag{65.4}

习题 65.2 - 解答

物理背景与分析

在标量量子电动力学（Scalar QED）中，裸拉格朗日量（bare Lagrangian）通过协变导数 Dμ=∂μ+ie0AμD_\mu = \partial_\mu + i e_0 A_\mu 引入规范相互作用，从而天然具有局域规范不变性。在重整化过程中，我们引入了多个重整化常数 ZiZ_i 来吸收发散。为了使重整化后的拉格朗日量仍然保持局域规范不变性，这些重整化常数之间不能相互独立，必须满足特定的约束关系（即 Ward-Takahashi 恒等式的推论）。本题旨在通过要求重整化拉格朗日量在规范变换下不变，直接推导出标量 QED 中顶角重整化常数 Z1,Z4Z_1, Z_4 与波函数重整化常数 Z2Z_2 之间的关系。

推导过程

首先，将题目给出的公式 (65.1) 至 (65.4) 合并，写出完整的重整化拉格朗日量：

L=−Z2∂μφ†∂μφ−Zmm2φ†φ−14Z3FμνFμν+iZ1e[φ†∂μφ−(∂μφ†)φ]Aμ−Z4e2φ†φAμAμ−14Zλλ(φ†φ)2\begin{aligned} \mathcal{L} &= -Z_2 \partial^\mu \varphi^\dagger \partial_\mu \varphi - Z_m m^2 \varphi^\dagger \varphi - \frac{1}{4} Z_3 F^{\mu\nu} F_{\mu\nu} \\ &\quad + i Z_1 e [\varphi^\dagger \partial^\mu \varphi - (\partial^\mu \varphi^\dagger) \varphi] A_\mu - Z_4 e^2 \varphi^\dagger \varphi A^\mu A_\mu - \frac{1}{4} Z_\lambda \lambda (\varphi^\dagger \varphi)^2 \end{aligned}

已知规范场 AμA^\mu 的变换为 Aμ→Aμ−∂μΓA^\mu \rightarrow A^\mu - \partial^\mu \Gamma。在此变换下，电磁场张量 FμνF^{\mu\nu} 保持不变。为了使质量项 −Zmm2φ†φ-Z_m m^2 \varphi^\dagger \varphi 和四次相互作用项 −14Zλλ(φ†φ)2-\frac{1}{4} Z_\lambda \lambda (\varphi^\dagger \varphi)^2 保持不变，标量场 φ\varphi 的变换必须是局域相位旋转：

φ→e−iαΓ(x)φ  ⟹  φ†→eiαΓ(x)φ†\varphi \rightarrow e^{-i \alpha \Gamma(x)} \varphi \quad \implies \quad \varphi^\dagger \rightarrow e^{i \alpha \Gamma(x)} \varphi^\dagger

其中 α\alpha 是待定的实常数。

在此变换下，标量场的导数变换规则为：

∂μφ→e−iαΓ(∂μφ−iα(∂μΓ)φ)\partial_\mu \varphi \rightarrow e^{-i \alpha \Gamma} (\partial_\mu \varphi - i \alpha (\partial_\mu \Gamma) \varphi)
∂μφ†→eiαΓ(∂μφ†+iα(∂μΓ)φ†)\partial_\mu \varphi^\dagger \rightarrow e^{i \alpha \Gamma} (\partial_\mu \varphi^\dagger + i \alpha (\partial_\mu \Gamma) \varphi^\dagger)

拉格朗日量中仅有包含导数和规范场的项会发生非平凡的变换，我们将其记为 Lkin+int\mathcal{L}_{\text{kin+int}}：

Lkin+int=−Z2∂μφ†∂μφ+iZ1eAμ[φ†∂μφ−(∂μφ†)φ]−Z4e2AμAμφ†φ\mathcal{L}_{\text{kin+int}} = -Z_2 \partial^\mu \varphi^\dagger \partial_\mu \varphi + i Z_1 e A_\mu [\varphi^\dagger \partial^\mu \varphi - (\partial^\mu \varphi^\dagger) \varphi] - Z_4 e^2 A^\mu A_\mu \varphi^\dagger \varphi

将变换代入上述各项中展开：

  1. 动能项：
−Z2∂μφ†∂μφ→−Z2(∂μφ†+iα(∂μΓ)φ†)(∂μφ−iα(∂μΓ)φ)=−Z2∂μφ†∂μφ−iαZ2(∂μΓ)[φ†∂μφ−(∂μφ†)φ]−Z2α2(∂μΓ)2φ†φ\begin{aligned} -Z_2 \partial^\mu \varphi^\dagger \partial_\mu \varphi &\rightarrow -Z_2 (\partial^\mu \varphi^\dagger + i \alpha (\partial^\mu \Gamma) \varphi^\dagger) (\partial_\mu \varphi - i \alpha (\partial_\mu \Gamma) \varphi) \\ &= -Z_2 \partial^\mu \varphi^\dagger \partial_\mu \varphi - i \alpha Z_2 (\partial^\mu \Gamma) [\varphi^\dagger \partial_\mu \varphi - (\partial_\mu \varphi^\dagger) \varphi] - Z_2 \alpha^2 (\partial^\mu \Gamma)^2 \varphi^\dagger \varphi \end{aligned}
  1. 单光子相互作用项：
iZ1e(Aμ−∂μΓ)[φ†∂μφ−(∂μφ†)φ−2iα(∂μΓ)φ†φ]=iZ1eAμ[φ†∂μφ−(∂μφ†)φ]−iZ1e(∂μΓ)[φ†∂μφ−(∂μφ†)φ]+2αZ1eAμ(∂μΓ)φ†φ−2αZ1e(∂μΓ)2φ†φ\begin{aligned} &i Z_1 e (A_\mu - \partial_\mu \Gamma) [\varphi^\dagger \partial^\mu \varphi - (\partial^\mu \varphi^\dagger) \varphi - 2 i \alpha (\partial^\mu \Gamma) \varphi^\dagger \varphi] \\ &= i Z_1 e A_\mu [\varphi^\dagger \partial^\mu \varphi - (\partial^\mu \varphi^\dagger) \varphi] - i Z_1 e (\partial_\mu \Gamma) [\varphi^\dagger \partial^\mu \varphi - (\partial^\mu \varphi^\dagger) \varphi] \\ &\quad + 2 \alpha Z_1 e A_\mu (\partial^\mu \Gamma) \varphi^\dagger \varphi - 2 \alpha Z_1 e (\partial_\mu \Gamma)^2 \varphi^\dagger \varphi \end{aligned}
  1. 双光子相互作用项：
−Z4e2(Aμ−∂μΓ)(Aμ−∂μΓ)φ†φ=−Z4e2AμAμφ†φ+2Z4e2Aμ(∂μΓ)φ†φ−Z4e2(∂μΓ)2φ†φ\begin{aligned} - Z_4 e^2 (A^\mu - \partial^\mu \Gamma) (A_\mu - \partial_\mu \Gamma) \varphi^\dagger \varphi &= - Z_4 e^2 A^\mu A_\mu \varphi^\dagger \varphi + 2 Z_4 e^2 A^\mu (\partial_\mu \Gamma) \varphi^\dagger \varphi - Z_4 e^2 (\partial^\mu \Gamma)^2 \varphi^\dagger \varphi \end{aligned}

将变换后的各项相加，拉格朗日量的变分 ΔL=L′−L\Delta \mathcal{L} = \mathcal{L}' - \mathcal{L} 为：

ΔL=−i(αZ2+Z1e)(∂μΓ)[φ†∂μφ−(∂μφ†)φ]+2(αZ1e+Z4e2)Aμ(∂μΓ)φ†φ−(Z2α2+2αZ1e+Z4e2)(∂μΓ)2φ†φ\begin{aligned} \Delta \mathcal{L} &= - i (\alpha Z_2 + Z_1 e) (\partial^\mu \Gamma) [\varphi^\dagger \partial_\mu \varphi - (\partial_\mu \varphi^\dagger) \varphi] \\ &\quad + 2 (\alpha Z_1 e + Z_4 e^2) A^\mu (\partial_\mu \Gamma) \varphi^\dagger \varphi \\ &\quad - (Z_2 \alpha^2 + 2 \alpha Z_1 e + Z_4 e^2) (\partial^\mu \Gamma)^2 \varphi^\dagger \varphi \end{aligned}

为了使拉格朗日量在任意规范函数 Γ(x)\Gamma(x) 下保持不变，必须要求 ΔL≡0\Delta \mathcal{L} \equiv 0。这意味着上述三个独立运动学结构的系数必须同时为零：

{αZ2+Z1e=0(1)αZ1e+Z4e2=0(2)Z2α2+2αZ1e+Z4e2=0(3)\begin{cases} \alpha Z_2 + Z_1 e = 0 & \text{(1)} \\ \alpha Z_1 e + Z_4 e^2 = 0 & \text{(2)} \\ Z_2 \alpha^2 + 2 \alpha Z_1 e + Z_4 e^2 = 0 & \text{(3)} \end{cases}

由方程 (1) 可唯一确定标量场的变换参数 α\alpha：

α=−Z1eZ2\alpha = - \frac{Z_1 e}{Z_2}

（即标量场的规范变换为 φ→exp⁡(iZ1eZ2Γ)φ\varphi \rightarrow \exp\left(i \frac{Z_1 e}{Z_2} \Gamma\right) \varphi）。

将 α\alpha 的表达式代入方程 (2) 中：

(−Z1eZ2)Z1e+Z4e2=0  ⟹  Z4e2=Z12e2Z2  ⟹  Z4=Z12Z2\left( - \frac{Z_1 e}{Z_2} \right) Z_1 e + Z_4 e^2 = 0 \quad \implies \quad Z_4 e^2 = \frac{Z_1^2 e^2}{Z_2} \quad \implies \quad Z_4 = \frac{Z_1^2}{Z_2}

最后，我们将 α\alpha 和 Z4Z_4 的结果代入方程 (3) 以验证自洽性：

Z2(−Z1eZ2)2+2(−Z1eZ2)Z1e+(Z12Z2)e2=Z12e2Z2−2Z12e2Z2+Z12e2Z2=0Z_2 \left( - \frac{Z_1 e}{Z_2} \right)^2 + 2 \left( - \frac{Z_1 e}{Z_2} \right) Z_1 e + \left( \frac{Z_1^2}{Z_2} \right) e^2 = \frac{Z_1^2 e^2}{Z_2} - 2 \frac{Z_1^2 e^2}{Z_2} + \frac{Z_1^2 e^2}{Z_2} = 0

方程 (3) 自动满足。

结论

综上所述，存在一个标量场 φ\varphi 的变换使得重整化拉格朗日量保持规范不变，当且仅当重整化常数满足以下关系：

Z4=Z12Z2\boxed{Z_4 = \frac{Z_1^2}{Z_2}}