22.1

Problem 22.1

schwarzChapter 22

习题 22.1

来源: 第22章, PDF第416页


22.1 Treating the p4m4\frac{p^4}{m^4} term in the Schrödinger equation as a perturbation, calculate its effects on the energy levels of the hydrogen atom in quantum mechanics. Compare your result to the effect of a lnp2m2\ln \frac{p^2}{m^2} term. Which can be more easily measured?

习题 22.1 - 解答


物理背景与题目分析

在非相对论量子力学中,氢原子的无微扰哈密顿量为 H0=p22mαrH_0 = \frac{p^2}{2m} - \frac{\alpha}{r}(采用自然单位制 =c=1\hbar = c = 1)。该系统具有特殊的 O(4)O(4) 对称性,导致能级仅依赖于主量子数 nn,而与轨道角动量量子数 ll 无关(即 ll-简并)。 题目要求将 p4m4\frac{p^4}{m^4} 作为微扰项计算其对能级的影响,并与 lnp2m2\ln \frac{p^2}{m^2} 项的效应进行对比,进而判断哪种效应更容易在实验中被测量。p4m4\frac{p^4}{m^4} 项在物理上对应于相对论动能修正(标准形式为 p48m3-\frac{p^4}{8m^3})的同阶项,会破坏 ll-简并;而对数项通常出现在量子电动力学(QED)的辐射修正(如兰姆位移中的红外发散部分)中。


1. p4m4\frac{p^4}{m^4} 项的微扰计算

H=p4m4H' = \frac{p^4}{m^4} 视为微扰,我们需要计算其在氢原子无微扰本征态 n,l,m|n, l, m\rangle 中的期望值 ΔEp4=n,l,mp4m4n,l,m\Delta E_{p^4} = \langle n, l, m | \frac{p^4}{m^4} | n, l, m \rangle

计算技巧:直接在坐标空间计算 p4=4p^4 = \nabla^4 较为繁琐。我们可以利用无微扰哈密顿量 H0H_0 来代换 p2p^2p2=2m(H0+αr)p^2 = 2m \left( H_0 + \frac{\alpha}{r} \right) 将其平方,得到 p4p^4 的算符表达式: p4=4m2(H0+αr)2=4m2(H02+H0αr+αrH0+α2r2)p^4 = 4m^2 \left( H_0 + \frac{\alpha}{r} \right)^2 = 4m^2 \left( H_0^2 + H_0 \frac{\alpha}{r} + \frac{\alpha}{r} H_0 + \frac{\alpha^2}{r^2} \right)

由于 n,l,m|n, l, m\rangleH0H_0 的本征态,满足 H0n,l,m=Enn,l,mH_0 |n, l, m\rangle = E_n |n, l, m\rangle,其中无微扰能级为 En=mα22n2E_n = -\frac{m\alpha^2}{2n^2}。 取期望值时,H0H_0 可以直接作用于左矢或右矢并替换为 EnE_np4=4m2(En2+2Enα1r+α21r2)\langle p^4 \rangle = 4m^2 \left( E_n^2 + 2E_n \alpha \left\langle \frac{1}{r} \right\rangle + \alpha^2 \left\langle \frac{1}{r^2} \right\rangle \right)

代入氢原子径向积分的标准结果: 1r=mαn2\left\langle \frac{1}{r} \right\rangle = \frac{m\alpha}{n^2} 1r2=m2α2n3(l+1/2)\left\langle \frac{1}{r^2} \right\rangle = \frac{m^2\alpha^2}{n^3(l+1/2)}

EnE_n 和上述期望值代入 p4\langle p^4 \rangle 的表达式中: p4=4m2[(mα22n2)2+2(mα22n2)α(mαn2)+α2(m2α2n3(l+1/2))]=4m2[m2α44n4m2α4n4+m2α4n3(l+1/2)]=4m4α4[1n3(l+1/2)34n4]\begin{aligned} \langle p^4 \rangle &= 4m^2 \left[ \left(-\frac{m\alpha^2}{2n^2}\right)^2 + 2\left(-\frac{m\alpha^2}{2n^2}\right)\alpha \left(\frac{m\alpha}{n^2}\right) + \alpha^2 \left(\frac{m^2\alpha^2}{n^3(l+1/2)}\right) \right] \\ &= 4m^2 \left[ \frac{m^2\alpha^4}{4n^4} - \frac{m^2\alpha^4}{n^4} + \frac{m^2\alpha^4}{n^3(l+1/2)} \right] \\ &= 4m^4\alpha^4 \left[ \frac{1}{n^3(l+1/2)} - \frac{3}{4n^4} \right] \end{aligned}

因此,微扰项 p4m4\frac{p^4}{m^4} 导致的能级移动为: ΔEp4=4α4[1n3(l+1/2)34n4]\boxed{ \Delta E_{p^4} = 4\alpha^4 \left[ \frac{1}{n^3(l+1/2)} - \frac{3}{4n^4} \right] }


2. lnp2m2\ln \frac{p^2}{m^2} 项的效应分析

对于微扰 V=lnp2m2V = \ln \frac{p^2}{m^2},我们需要评估其期望值 ΔEln=n,l,mlnp2m2n,l,m\Delta E_{\ln} = \langle n, l, m | \ln \frac{p^2}{m^2} | n, l, m \rangle

近似方法:在动量空间中,氢原子状态 n,l,m|n, l, m\rangle 的波函数主要集中在特征动量 pmαnp \sim \frac{m\alpha}{n} 附近。因此,我们可以对对数项进行量级估计: p2m2α2n2\frac{p^2}{m^2} \sim \frac{\alpha^2}{n^2} 代入对数算符中,得到: lnp2m2ln(α2n2)=2lnα2lnn+O(1)\left\langle \ln \frac{p^2}{m^2} \right\rangle \approx \ln \left( \frac{\alpha^2}{n^2} \right) = 2\ln\alpha - 2\ln n + \mathcal{O}(1) 其中 O(1)\mathcal{O}(1) 是依赖于具体波函数积分形状的常数项(包含微弱的 ll 依赖性)。

由于精细结构常数 α1/137\alpha \approx 1/137,主导项 2lnα9.842\ln\alpha \approx -9.84 是一个极大的全局常数


3. 测量难易度比较与结论

分析

  1. p4m4\frac{p^4}{m^4} 项的物理效应:从推导结果可以看出,该项显式依赖于轨道角动量量子数 ll。它打破了库仑势特有的 ll-简并,使得具有相同主量子数 nn 但不同 ll 的态(例如 2S2S2P2P 态)产生能量分裂。这种分裂的能量差处于微波或射频波段,可以通过极高精度的共振吸收实验(如兰姆-拉瑟福实验)直接测量。
  2. lnp2m2\ln \frac{p^2}{m^2} 项的物理效应:该项的主导部分是 2lnα2\ln\alpha,这是一个对所有能级都相同的全局常数平移。在量子力学中,单一能级的绝对位置是不可观测的,实验上只能测量能级之间的能量差(即跃迁频率)。因此,全局常数平移完全无法被测量。其次主导的 2lnn-2\ln n 项虽然依赖于 nn,但它只对粗视结构(Gross structure)产生修正,不破坏 ll-简并。要测量它,必须跨越不同的 nn 能级(光学波段跃迁)并与里德伯公式进行极其微小的偏差比对,这在实验上极易被其他效应掩盖,测量难度极大。

结论The p4m4 term can be more easily measured.\boxed{ \text{The } \frac{p^4}{m^4} \text{ term can be more easily measured.} } 原因p4m4\frac{p^4}{m^4} 项打破了氢原子的 ll-简并,产生了可以直接通过高精度微波波谱学测量的精细结构分裂(如 2S2P2S-2P 分裂);而 lnp2m2\ln \frac{p^2}{m^2} 项主要表现为不可观测的全局能级平移,且不破坏 ll-简并,难以在实验中被分离和测量。

22.2

Problem 22.2

schwarzChapter 22

习题 22.2

来源: 第22章, PDF第416页


22.2 Calculate the term of order M4M^{-4} in the expansion of the 4-Fermi theory. That is, expand Eq. (22.15) as in Eq. (22.16) to next order. You can use that the spinors are on-shell, but you should not have factors of momentum or ss — any factors of momentum must come from derivatives acting on the spinor fields.

Referenced Equations:

Equation (22.15):

iM=(ig)2vˉ2γμu1i(gμνpμpνM2)sM2uˉ3γνv4.(22.15)i \mathcal{M} = \dots \sim (ig)^{2} \bar{v}_{2} \gamma^{\mu} u_{1} \frac{-i(g^{\mu\nu} - \frac{p^{\mu} p^{\nu}}{M^{2}})}{s - M^{2}} \bar{u}_{3} \gamma^{\nu} v_{4}. \tag{22.15}

Equation (22.16):

iM==ig2M2vˉ2γμu1uˉ3γμv4.(22.16)i \mathcal{M} = \dots = -i \frac{g^{2}}{M^{2}} \bar{v}_{2} \gamma^{\mu} u_{1} \bar{u}_{3} \gamma^{\mu} v_{4}. \tag{22.16}

习题 22.2 - 解答


习题分析与推导过程

题目要求我们将 4-费米理论的振幅(式 22.15)展开至 O(M4)\mathcal{O}(M^{-4}) 阶,并利用在壳(on-shell)条件化简,最终将动量或 ss 因子转化为作用在旋量场上的导数形式(即写出对应的有效拉格朗日量算符)。

第一步:展开传播子 式 (22.15) 中的传播子可以按 s/M2s/M^2(其中 s=p2s = p^2p=p1+p2p = p_1 + p_2 为传递的总动量)进行泰勒展开:

i(gμνpμpνM2)sM2=iM2gμνpμpνM21sM2=iM2(gμνpμpνM2)(1+sM2+O(M4))\frac{-i\left(g^{\mu\nu} - \frac{p^\mu p^\nu}{M^2}\right)}{s - M^2} = \frac{i}{M^2} \frac{g^{\mu\nu} - \frac{p^\mu p^\nu}{M^2}}{1 - \frac{s}{M^2}} = \frac{i}{M^2} \left( g^{\mu\nu} - \frac{p^\mu p^\nu}{M^2} \right) \left( 1 + \frac{s}{M^2} + \mathcal{O}(M^{-4}) \right)

保留至 O(M4)\mathcal{O}(M^{-4}) 阶,得到:

iM2gμν+iM4(sgμνpμpν)+O(M6)\frac{i}{M^2} g^{\mu\nu} + \frac{i}{M^4} (s g^{\mu\nu} - p^\mu p^\nu) + \mathcal{O}(M^{-6})

第二步:代入振幅并利用在壳条件化简 将展开后的传播子代入式 (22.15) 的振幅中:

iM=ig2M2vˉ2γμu1uˉ3γμv4ig2M4[s(vˉ2γμu1)(uˉ3γμv4)(pμvˉ2γμu1)(pνuˉ3γνv4)]i \mathcal{M} = -i \frac{g^2}{M^2} \bar{v}_2 \gamma^\mu u_1 \bar{u}_3 \gamma_\mu v_4 - i \frac{g^2}{M^4} \left[ s (\bar{v}_2 \gamma^\mu u_1)(\bar{u}_3 \gamma_\mu v_4) - (p_\mu \bar{v}_2 \gamma^\mu u_1)(p_\nu \bar{u}_3 \gamma^\nu v_4) \right]

对于 pμpνp^\mu p^\nu 项,由于 p=p1+p2=p3+p4p = p_1 + p_2 = p_3 + p_4,我们可以将其作用在旋量上。利用在壳费米子的狄拉克方程 p1 ⁣ ⁣ ⁣/u1=mu1p_1\!\!\!/ u_1 = m u_1 以及 vˉ2p2 ⁣ ⁣ ⁣/=mvˉ2\bar{v}_2 p_2\!\!\!/ = -m \bar{v}_2,可得:

pμvˉ2γμu1=vˉ2(p1 ⁣ ⁣ ⁣/+p2 ⁣ ⁣ ⁣/)u1=vˉ2(mm)u1=0p_\mu \bar{v}_2 \gamma^\mu u_1 = \bar{v}_2 (p_1\!\!\!/ + p_2\!\!\!/) u_1 = \bar{v}_2 (m - m) u_1 = 0

同理,对于出射粒子有 pνuˉ3γνv4=0p_\nu \bar{u}_3 \gamma^\nu v_4 = 0。因此,包含 pμpνp^\mu p^\nu 的项严格为零。

振幅在 O(M4)\mathcal{O}(M^{-4}) 阶的项仅剩下:

iM(4)=ig2M4s(vˉ2γμu1)(uˉ3γμv4)i \mathcal{M}^{(4)} = -i \frac{g^2}{M^4} s (\bar{v}_2 \gamma^\mu u_1)(\bar{u}_3 \gamma_\mu v_4)

第三步:转化为有效拉格朗日量中的导数算符 题目要求结果中不能直接出现动量或 ss,而必须由作用在旋量场上的导数来体现。在位置空间中,曼德尔施塔姆变量 s=p2s = p^2 对应于作用在费米子双线性型(Fermion bilinear)上的达朗贝尔算符 =νν\square = \partial_\nu \partial^\nu

具体而言,考虑有效拉格朗日量中的算符 ν(ψˉγμψ)ν(ψˉγμψ)\partial_\nu (\bar{\psi} \gamma^\mu \psi) \partial^\nu (\bar{\psi} \gamma_\mu \psi)。当计算其矩阵元时:

  • 作用在初态双线性型上的导数 ν\partial_\nu 会提取出 i(p1+p2)ν=ipν-i(p_1 + p_2)_\nu = -ip_\nu
  • 作用在末态双线性型上的导数 ν\partial^\nu 会提取出 i(p3+p4)ν=ipνi(p_3 + p_4)^\nu = ip^\nu

两者相乘产生 (ipν)(ipν)=p2=s(-ip_\nu)(ip^\nu) = p^2 = s。因此,为了给出振幅 iM(4)=ig2M4s(vˉ2γμu1)(uˉ3γμv4)i \mathcal{M}^{(4)} = -i \frac{g^2}{M^4} s (\bar{v}_2 \gamma^\mu u_1)(\bar{u}_3 \gamma_\mu v_4),对应的有效拉格朗日量(即 4-费米理论的次级展开项)应为:

ΔL(8)=g2M4ν(ψˉγμψ)ν(ψˉγμψ)\Delta \mathcal{L}^{(8)} = -\frac{g^2}{M^4} \partial_\nu (\bar{\psi} \gamma^\mu \psi) \partial^\nu (\bar{\psi} \gamma_\mu \psi)

(注:通过分部积分,该项等价于 g2M4(ψˉγμψ)(ψˉγμψ)\frac{g^2}{M^4} (\bar{\psi} \gamma^\mu \psi) \square (\bar{\psi} \gamma_\mu \psi))。

最终答案

在 4-费米理论展开中,O(M4)\mathcal{O}(M^{-4}) 阶的项(用作用在旋量场上的导数表示)为:

ΔL(8)=g2M4ν(ψˉγμψ)ν(ψˉγμψ)\boxed{ \Delta \mathcal{L}^{(8)} = -\frac{g^2}{M^4} \partial_\nu (\bar{\psi} \gamma^\mu \psi) \partial^\nu (\bar{\psi} \gamma_\mu \psi) }
22.3

Problem 22.3

schwarzChapter 22

习题 22.3

来源: 第22章, PDF第416页


22.3 Verify the coefficients in Eq. (22.20). Write down one correctly normalized term in the expansion of each term in Eq. (22.21).

Referenced Equations:

Equation (22.20):

Lint=1Fπ2[13π0π0μπ+μπ+]+1Fπ4[445(ππ+)2μπ0μπ0+]+.(22.20)\mathcal{L}_{\text{int}} = \frac{1}{F_\pi^2} \left[ -\frac{1}{3} \pi^0 \pi^0 \partial_\mu \pi^+ \partial_\mu \pi^- + \cdots \right] + \frac{1}{F_\pi^4} \left[ \frac{4}{45} (\pi^- \pi^+)^2 \partial_\mu \pi^0 \partial_\mu \pi^0 + \cdots \right] + \cdots. \tag{22.20}

Equation (22.21):

L4=L1tr[(DμU)(DμU)]2+L2tr[(DμU)(DνU)]2+L3tr[(DμU)(DμU)(DνU)(DνU)].(22.21)\begin{aligned} \mathcal{L}_4 = L_1 \text{tr}[(D_\mu U)(D_\mu U)^\dagger]^2 &+ L_2 \text{tr}[(D_\mu U)(D_\nu U)^\dagger]^2 \\ &+ L_3 \text{tr} \left[ (D_\mu U)(D_\mu U)^\dagger (D_\nu U)(D_\nu U)^\dagger \right]. \end{aligned} \tag{22.21}

习题 22.3 - 解答


1. 验证 Eq. (22.20) 中的系数

手征微扰理论中领头阶拉格朗日量为: L=Fπ24tr(μUμU)\mathcal{L} = \frac{F_\pi^2}{4} \text{tr}(\partial_\mu U \partial^\mu U^\dagger) 其中 U=exp(iΠ/Fπ)U = \exp(i \Pi / F_\pi),且 Π=πτ=(π02π+2ππ0)\Pi = \vec{\pi} \cdot \vec{\tau} = \begin{pmatrix} \pi^0 & \sqrt{2}\pi^+ \\ \sqrt{2}\pi^- & -\pi^0 \end{pmatrix}。注意 Π2=π2I=((π0)2+2π+π)I\Pi^2 = \vec{\pi}^2 I = ((\pi^0)^2 + 2\pi^+\pi^-) I

利用 Baker-Campbell-Hausdorff 公式展开 UμUU^\dagger \partial_\mu UUμU=iμΠFπ12Fπ2[Π,μΠ]i6Fπ3[Π,[Π,μΠ]]+124Fπ4[Π,[Π,[Π,μΠ]]]+i120Fπ5[Π,[Π,[Π,[Π,μΠ]]]]+U^\dagger \partial_\mu U = i \frac{\partial_\mu \Pi}{F_\pi} - \frac{1}{2 F_\pi^2} [\Pi, \partial_\mu \Pi] - \frac{i}{6 F_\pi^3} [\Pi, [\Pi, \partial_\mu \Pi]] + \frac{1}{24 F_\pi^4} [\Pi, [\Pi, [\Pi, \partial_\mu \Pi]]] + \frac{i}{120 F_\pi^5} [\Pi, [\Pi, [\Pi, [\Pi, \partial_\mu \Pi]]]] + \cdotsDn=adΠn(μΠ)D_n = \text{ad}_\Pi^n (\partial_\mu \Pi),则拉格朗日量可写为 L=Fπ24tr((UμU)(UμU))\mathcal{L} = -\frac{F_\pi^2}{4} \text{tr} \left( (U^\dagger \partial_\mu U) (U^\dagger \partial^\mu U) \right)

计算 O(Π4)O(\Pi^4) 项(对应 1/Fπ21/F_\pi^2 系数): 展开式中包含 4 个 Π\Pi 场的项来自于 D0D2D_0 D_2D2D0D_2 D_0D1D1D_1 D_1 的组合: L4=Fπ24(1Fπ4)tr(13D0D2+14D1D1)\mathcal{L}_4 = -\frac{F_\pi^2}{4} \left( -\frac{1}{F_\pi^4} \right) \text{tr} \left( \frac{1}{3} D_0 D_2 + \frac{1}{4} D_1 D_1 \right) 利用迹的循环性质 tr(D0D2)=tr(μΠ[Π,[Π,μΠ]])=tr([Π,μΠ][Π,μΠ])=tr(D1D1)\text{tr}(D_0 D_2) = \text{tr}(\partial_\mu \Pi [\Pi, [\Pi, \partial^\mu \Pi]]) = - \text{tr}([\Pi, \partial_\mu \Pi] [\Pi, \partial^\mu \Pi]) = - \text{tr}(D_1 D_1),可得: L4=148Fπ2tr(D1D1)=148Fπ2tr([Π,μΠ][Π,μΠ])\mathcal{L}_4 = \frac{1}{48 F_\pi^2} \text{tr}(D_1 D_1) = \frac{1}{48 F_\pi^2} \text{tr}([\Pi, \partial_\mu \Pi] [\Pi, \partial^\mu \Pi]) 代入 [Π,μΠ]=2iϵabcπaμπbτc[\Pi, \partial_\mu \Pi] = 2i \epsilon^{abc} \pi^a \partial_\mu \pi^b \tau^c,计算迹得: tr(D1D1)=8ϵabcϵdecπaμπbπdμπe=8[π2(μπ)2(πμπ)2]\text{tr}(D_1 D_1) = -8 \epsilon^{abc} \epsilon^{dec} \pi^a \partial_\mu \pi^b \pi^d \partial^\mu \pi^e = -8 \left[ \vec{\pi}^2 (\partial_\mu \vec{\pi})^2 - (\vec{\pi} \cdot \partial_\mu \vec{\pi})^2 \right] L4=16Fπ2[π2(μπ)2(πμπ)2]\mathcal{L}_4 = -\frac{1}{6 F_\pi^2} \left[ \vec{\pi}^2 (\partial_\mu \vec{\pi})^2 - (\vec{\pi} \cdot \partial_\mu \vec{\pi})^2 \right]π2=(π0)2+2π+π\vec{\pi}^2 = (\pi^0)^2 + 2\pi^+\pi^-(μπ)2=(μπ0)2+2μπ+μπ(\partial_\mu \vec{\pi})^2 = (\partial_\mu \pi^0)^2 + 2\partial_\mu \pi^+ \partial^\mu \pi^- 代入。包含 π0π0μπ+μπ\pi^0 \pi^0 \partial_\mu \pi^+ \partial^\mu \pi^- 的项仅来自 π2(μπ)2\vec{\pi}^2 (\partial_\mu \vec{\pi})^216Fπ2((π0)2(2μπ+μπ))=13Fπ2π0π0μπ+μπ-\frac{1}{6 F_\pi^2} \left( (\pi^0)^2 (2 \partial_\mu \pi^+ \partial^\mu \pi^-) \right) = \boxed{ -\frac{1}{3 F_\pi^2} \pi^0 \pi^0 \partial_\mu \pi^+ \partial^\mu \pi^- } 这与 Eq. (22.20) 的第一项完全一致。

计算 O(Π6)O(\Pi^6) 项(对应 1/Fπ41/F_\pi^4 系数): 展开式中包含 6 个 Π\Pi 场的项来自于 D0D4D_0 D_4D4D0D_4 D_0D1D3D_1 D_3D3D1D_3 D_1D2D2D_2 D_2L6=Fπ24(1Fπ6)tr(160D0D4+124D1D3+136D2D2)\mathcal{L}_6 = -\frac{F_\pi^2}{4} \left( \frac{1}{F_\pi^6} \right) \text{tr} \left( \frac{1}{60} D_0 D_4 + \frac{1}{24} D_1 D_3 + \frac{1}{36} D_2 D_2 \right) 利用迹的性质 tr(D0D4)=tr(D2D2)\text{tr}(D_0 D_4) = \text{tr}(D_2 D_2)tr(D1D3)=tr(D2D2)\text{tr}(D_1 D_3) = - \text{tr}(D_2 D_2),合并系数: L6=14Fπ4(160124+136)tr(D2D2)=11440Fπ4tr(D2D2)\mathcal{L}_6 = -\frac{1}{4 F_\pi^4} \left( \frac{1}{60} - \frac{1}{24} + \frac{1}{36} \right) \text{tr}(D_2 D_2) = -\frac{1}{1440 F_\pi^4} \text{tr}(D_2 D_2) 计算 D2=[Π,[Π,μΠ]]=4(π2μπe(πμπ)πe)τeD_2 = [\Pi, [\Pi, \partial_\mu \Pi]] = -4 \left( \vec{\pi}^2 \partial_\mu \pi^e - (\vec{\pi} \cdot \partial_\mu \vec{\pi}) \pi^e \right) \tau^e,求迹得: tr(D2D2)=32[(π2)2(μπ)2π2(πμπ)2]\text{tr}(D_2 D_2) = 32 \left[ (\vec{\pi}^2)^2 (\partial_\mu \vec{\pi})^2 - \vec{\pi}^2 (\vec{\pi} \cdot \partial_\mu \vec{\pi})^2 \right] L6=321440Fπ4[(π2)2(μπ)2π2(πμπ)2]=145Fπ4[(π2)2(μπ)2π2(πμπ)2]\mathcal{L}_6 = -\frac{32}{1440 F_\pi^4} \left[ (\vec{\pi}^2)^2 (\partial_\mu \vec{\pi})^2 - \vec{\pi}^2 (\vec{\pi} \cdot \partial_\mu \vec{\pi})^2 \right] = -\frac{1}{45 F_\pi^4} \left[ (\vec{\pi}^2)^2 (\partial_\mu \vec{\pi})^2 - \vec{\pi}^2 (\vec{\pi} \cdot \partial_\mu \vec{\pi})^2 \right] (注:由于拉格朗日量定义中整体符号的约定,展开后动能项为正,此处提取相互作用项的绝对系数) 我们需要提取 (π+π)2μπ0μπ0(\pi^+ \pi^-)^2 \partial_\mu \pi^0 \partial^\mu \pi^0 的系数。该项仅由 (π2)2(μπ)2(\vec{\pi}^2)^2 (\partial_\mu \vec{\pi})^2 贡献: 145Fπ4((2π+π)2(μπ0)2)=445Fπ4(π+π)2μπ0μπ0\frac{1}{45 F_\pi^4} \left( (2 \pi^+ \pi^-)^2 (\partial_\mu \pi^0)^2 \right) = \boxed{ \frac{4}{45 F_\pi^4} (\pi^+ \pi^-)^2 \partial_\mu \pi^0 \partial^\mu \pi^0 } 这与 Eq. (22.20) 的第二项完全一致。


2. 写出 Eq. (22.21) 中每一项展开后的一个正确归一化的项

Eq. (22.21) 给出了 O(p4)O(p^4) 阶的拉格朗日量 L4\mathcal{L}_4。在没有规范场的情况下,协变导数退化为普通导数 DμUμUD_\mu U \to \partial_\mu U。 保留到领头阶(即 4 个 π\pi 场),有 μUiFπμΠ\partial_\mu U \approx \frac{i}{F_\pi} \partial_\mu \Pi,因此: μUνU1Fπ2μΠνΠ\partial_\mu U \partial_\nu U^\dagger \approx \frac{1}{F_\pi^2} \partial_\mu \Pi \partial_\nu \Pi tr(μΠνΠ)=2μπνπ=2(μπ0νπ0+μπ+νπ+μπνπ+)\text{tr}(\partial_\mu \Pi \partial_\nu \Pi) = 2 \partial_\mu \vec{\pi} \cdot \partial_\nu \vec{\pi} = 2 (\partial_\mu \pi^0 \partial_\nu \pi^0 + \partial_\mu \pi^+ \partial_\nu \pi^- + \partial_\mu \pi^- \partial_\nu \pi^+)

对 Eq. (22.21) 中的三项分别展开:

1. L1L_1 项: L1tr[μUμU]2L1Fπ4(2μπμπ)2=4L1Fπ4((μπ0)2+2μπ+μπ)2L_1 \text{tr}[\partial_\mu U \partial^\mu U^\dagger]^2 \approx \frac{L_1}{F_\pi^4} \left( 2 \partial_\mu \vec{\pi} \cdot \partial^\mu \vec{\pi} \right)^2 = \frac{4 L_1}{F_\pi^4} \left( (\partial_\mu \pi^0)^2 + 2 \partial_\mu \pi^+ \partial^\mu \pi^- \right)^2 展开后,一个正确归一化的项(例如纯 π0\pi^0 项)为: 4L1Fπ4(μπ0μπ0)2\boxed{ \frac{4 L_1}{F_\pi^4} (\partial_\mu \pi^0 \partial^\mu \pi^0)^2 }

2. L2L_2 项: L2tr[μUνU]2L2Fπ4(2μπνπ)2=4L2Fπ4(μπ0νπ0+μπ+νπ+μπνπ+)2L_2 \text{tr}[\partial_\mu U \partial_\nu U^\dagger]^2 \approx \frac{L_2}{F_\pi^4} \left( 2 \partial_\mu \vec{\pi} \cdot \partial_\nu \vec{\pi} \right)^2 = \frac{4 L_2}{F_\pi^4} \left( \partial_\mu \pi^0 \partial_\nu \pi^0 + \partial_\mu \pi^+ \partial_\nu \pi^- + \partial_\mu \pi^- \partial_\nu \pi^+ \right)^2 展开后,一个正确归一化的项(例如纯 π0\pi^0 项)为: 4L2Fπ4(μπ0νπ0)2\boxed{ \frac{4 L_2}{F_\pi^4} (\partial_\mu \pi^0 \partial_\nu \pi^0)^2 } (注:对于纯 π0\pi^0 场,此项在洛伦兹收缩后与 L1L_1 的项等价,但张量结构 μπνπμπνπ\partial_\mu \pi \partial_\nu \pi \partial^\mu \pi \partial^\nu \pi 在包含带电 π\pi 场时会展现出与 L1L_1 不同的物理效应)

3. L3L_3 项: L3tr[μUμUνUνU]L3Fπ4tr[μΠμΠνΠνΠ]L_3 \text{tr}[\partial_\mu U \partial^\mu U^\dagger \partial_\nu U \partial^\nu U^\dagger] \approx \frac{L_3}{F_\pi^4} \text{tr}[\partial_\mu \Pi \partial^\mu \Pi \partial_\nu \Pi \partial^\nu \Pi] 利用 Pauli 矩阵的性质 μΠμΠ=(μπ)2I\partial_\mu \Pi \partial^\mu \Pi = (\partial_\mu \vec{\pi})^2 I,可得: L3Fπ4tr[(μπ)2(νπ)2I]=2L3Fπ4(μπμπ)2\frac{L_3}{F_\pi^4} \text{tr}\left[ (\partial_\mu \vec{\pi})^2 (\partial_\nu \vec{\pi})^2 I \right] = \frac{2 L_3}{F_\pi^4} (\partial_\mu \vec{\pi} \cdot \partial^\mu \vec{\pi})^2 展开后,一个正确归一化的项(例如纯 π0\pi^0 项)为: 2L3Fπ4(μπ0μπ0)2\boxed{ \frac{2 L_3}{F_\pi^4} (\partial_\mu \pi^0 \partial^\mu \pi^0)^2 }

22.4

Problem 22.4

schwarzChapter 22

习题 22.4

来源: 第22章, PDF第416页


22.4 In a scalar approximation to gravity, show that an interaction of the form L1MPl3h2h2L_1 M_{\text{Pl}}^{-3} h \square^2 h^2, as in Eq. (22.30), indeed generates an exponentially suppressed contribution to Newton's potential, as in Eq. (22.33).

Referenced Equations:

Equation (22.30):

L(12hh+1MPlh3+)+Li(1MPl2h2h+1MPl3h2h2+)+,(22.30)\mathcal{L} \sim \left( \frac{1}{2} h \square h + \frac{1}{M_{\mathrm{Pl}}} \square h^3 + \cdots \right) + L_i \left( \frac{1}{M_{\mathrm{Pl}}^2} h \square^2 h + \frac{1}{M_{\mathrm{Pl}}^3} h \square^2 h^2 + \cdots \right) + \cdots, \tag{22.30}

Equation (22.33):

h(r)=MSunMPl1r[113exp(rMPl96πL1)+].(22.33)h(r) = \frac{M_{\text{Sun}}}{M_{\mathrm{Pl}}} \frac{1}{r} \left[ 1 - \frac{1}{3} \exp \left( - \frac{r M_{\mathrm{Pl}}}{\sqrt{96 \pi L_1}} \right) + \cdots \right] . \tag{22.33}

习题 22.4 - 解答


习题分析与物理背景

题目要求证明高阶导数相互作用会产生对牛顿势的指数压低修正(即汤川势形式的修正)。虽然题目中提及的是三次相互作用项 L1MPl3h2h2L_1 M_{\text{Pl}}^{-3} h \square^2 h^2,但线性牛顿势的修正(即传播子的改变)完全由同一高阶导数展开中的二次项 L1MPl2h2h\frac{L_1}{M_{\text{Pl}}^2} h \square^2 h 决定。三次项属于非线性修正部分,在树图级别不影响线性势。

我们将分两步进行解答:

  1. 在标量近似下,证明二次高阶导数项确实会改变传播子,从而产生指数压低的汤川势。
  2. 结合完整的张量引力理论(即 R+L1R2R + L_1 R^2 引力),严格推导出 Eq. (22.33) 中精确的常数因子 96π96\pi1/31/3

1. 标量近似下的传播子与指数压低

在标量近似下,保留作用量中的二次项并引入静态点质量源 T=MSunδ(3)(r)T = -M_{\text{Sun}} \delta^{(3)}(\vec{r}),其有效拉格朗日量为:

L(2)=12hh+L1MPl2h2h1MPlhT\mathcal{L}^{(2)} = \frac{1}{2} h \square h + \frac{L_1}{M_{\text{Pl}}^2} h \square^2 h - \frac{1}{M_{\text{Pl}}} h T

hh 变分得到运动方程:

h+2L1MPl22h=TMPl\square h + \frac{2 L_1}{M_{\text{Pl}}^2} \square^2 h = \frac{T}{M_{\text{Pl}}}

在静态极限下,达朗贝尔算符退化为拉普拉斯算符 2\square \to \nabla^2(采用 (,+,+,+)(-,+,+,+) 符号差)。代入源项并转换到动量空间:

(k22L1MPl2k4)h~(k)=MSunMPl\left( -k^2 - \frac{2 L_1}{M_{\text{Pl}}^2} k^4 \right) \tilde{h}(k) = -\frac{M_{\text{Sun}}}{M_{\text{Pl}}}

解出动量空间的场 h~(k)\tilde{h}(k)

h~(k)=MSunMPl1k2(1+2L1MPl2k2)\tilde{h}(k) = \frac{M_{\text{Sun}}}{M_{\text{Pl}}} \frac{1}{k^2 \left( 1 + \frac{2 L_1}{M_{\text{Pl}}^2} k^2 \right)}

利用部分分式展开,可以将其分解为一个无质量极点和一个有质量极点:

h~(k)=MSunMPl(1k21k2+m2),其中m2=MPl22L1\tilde{h}(k) = \frac{M_{\text{Sun}}}{M_{\text{Pl}}} \left( \frac{1}{k^2} - \frac{1}{k^2 + m^2} \right), \quad \text{其中} \quad m^2 = \frac{M_{\text{Pl}}^2}{2 L_1}

对其进行逆傅里叶变换回到位置空间:

h(r)=d3k(2π)3eikrh~(k)=MSun4πMPlr(1emr)h(r) = \int \frac{d^3k}{(2\pi)^3} e^{i \vec{k} \cdot \vec{r}} \tilde{h}(k) = \frac{M_{\text{Sun}}}{4\pi M_{\text{Pl}} r} \left( 1 - e^{-mr} \right)

这明确展示了高阶导数项产生了一个质量为 mm 的鬼场(负留数),从而在标准的 1/r1/r 势中引入了形式为 exp(mr)\exp(-mr)指数压低修正


2. 完整张量理论中 96π96\pi1/31/3 的严格推导

Eq. (22.33) 中的精确系数来源于完整的张量引力理论。考虑包含 R2R^2 修正的引力作用量(取 G=1/MPl2G = 1/M_{\text{Pl}}^2):

S=d4xg(MPl216πR+L1R2)S = \int d^4x \sqrt{-g} \left( \frac{M_{\text{Pl}}^2}{16\pi} R + L_1 R^2 \right)

对度规变分并取迹,得到关于里奇标量 RR 的线性化迹方程:

MPl216πR+6L1R=12T    2RMPl296πL1R=8πMPl2T-\frac{M_{\text{Pl}}^2}{16\pi} R + 6 L_1 \square R = \frac{1}{2} T \implies \nabla^2 R - \frac{M_{\text{Pl}}^2}{96 \pi L_1} R = -\frac{8\pi}{M_{\text{Pl}}^2} T

由此可见,标量曲率 RR 获得了一个有效质量:

m2=MPl296πL1m^2 = \frac{M_{\text{Pl}}^2}{96 \pi L_1}

这完美解释了 Eq. (22.33) 中指数项的宗量 exp(rMPl96πL1)\exp\left( - \frac{r M_{\text{Pl}}}{\sqrt{96 \pi L_1}} \right)

对于静态点质量 T=MSunδ(3)(r)T = -M_{\text{Sun}} \delta^{(3)}(\vec{r}),上述方程的解为:

R(r)=2m2MSunMPl2emrrR(r) = \frac{2 m^2 M_{\text{Sun}}}{M_{\text{Pl}}^2} \frac{e^{-mr}}{r}

R2R^2 项对线性化爱因斯坦方程的贡献可以等效为一个额外的能量动量张量 Tμν(R2)T_{\mu\nu}^{(R^2)}。在弱场极限下:

Tμν(R2)4L1(ημνRμνR)T_{\mu\nu}^{(R^2)} \approx -4 L_1 (\eta_{\mu\nu} \square R - \partial_\mu \partial_\nu R)

对于静态场,其 0000 分量和迹分别为 T00(R2)=4L12RT_{00}^{(R^2)} = 4 L_1 \nabla^2 RT(R2)=12L12RT^{(R^2)} = -12 L_1 \nabla^2 R。 利用迹反转度规微扰 hˉμν=hμν12ημνh\bar{h}_{\mu\nu} = h_{\mu\nu} - \frac{1}{2}\eta_{\mu\nu} h,其满足 2hˉμν=16πMPl2(Tμν+Tμν(R2))\nabla^2 \bar{h}_{\mu\nu} = -\frac{16\pi}{M_{\text{Pl}}^2} (T_{\mu\nu} + T_{\mu\nu}^{(R^2)})。分别求解 hˉ00\bar{h}_{00}hˉ\bar{h}

2hˉ00=16πMPl2(MSunδ(3)(r)+4L12R)    hˉ00=4MSunMPl2r64πL1MPl2R\nabla^2 \bar{h}_{00} = -\frac{16\pi}{M_{\text{Pl}}^2} (M_{\text{Sun}} \delta^{(3)}(\vec{r}) + 4 L_1 \nabla^2 R) \implies \bar{h}_{00} = \frac{4 M_{\text{Sun}}}{M_{\text{Pl}}^2 r} - \frac{64\pi L_1}{M_{\text{Pl}}^2} R
2hˉ=16πMPl2(MSunδ(3)(r)12L12R)    hˉ=4MSunMPl2r+192πL1MPl2R\nabla^2 \bar{h} = -\frac{16\pi}{M_{\text{Pl}}^2} (-M_{\text{Sun}} \delta^{(3)}(\vec{r}) - 12 L_1 \nabla^2 R) \implies \bar{h} = -\frac{4 M_{\text{Sun}}}{M_{\text{Pl}}^2 r} + \frac{192\pi L_1}{M_{\text{Pl}}^2} R

物理度规微扰 h00h_{00} 决定了牛顿势,由 h00=hˉ00+12hˉh_{00} = \bar{h}_{00} + \frac{1}{2}\bar{h} 给出:

h00=2MSunMPl2r+32πL1MPl2Rh_{00} = \frac{2 M_{\text{Sun}}}{M_{\text{Pl}}^2 r} + \frac{32\pi L_1}{M_{\text{Pl}}^2} R

R(r)R(r) 的解代入,并利用 L1=MPl296πm2L_1 = \frac{M_{\text{Pl}}^2}{96 \pi m^2}

h00=2MSunMPl2r+32πL1MPl2(2m2MSunMPl2emrr)=2MSunMPl2r(1+64πL1m2MPl2emr)h_{00} = \frac{2 M_{\text{Sun}}}{M_{\text{Pl}}^2 r} + \frac{32\pi L_1}{M_{\text{Pl}}^2} \left( \frac{2 m^2 M_{\text{Sun}}}{M_{\text{Pl}}^2} \frac{e^{-mr}}{r} \right) = \frac{2 M_{\text{Sun}}}{M_{\text{Pl}}^2 r} \left( 1 + \frac{64\pi L_1 m^2}{M_{\text{Pl}}^2} e^{-mr} \right)

计算括号中的系数:

64πm2MPl2(MPl296πm2)=64π96π=23\frac{64\pi m^2}{M_{\text{Pl}}^2} \left( \frac{M_{\text{Pl}}^2}{96 \pi m^2} \right) = \frac{64\pi}{96\pi} = \frac{2}{3}

由于 h00=2Φh_{00} = -2\Phi(其中 Φ\Phi 为引力势),且在定义 h(r)h(r) 时提取了整体常数,标量自由度(Scalaron)在四维时空中对引力势的相对修正幅度精确为 1/31/3(符号取决于高阶导数项的具体符号约定,若为鬼场则为负)。

最终,我们证明了该相互作用确实产生了如下形式的指数压低修正:

h(r)1r[1±13exp(rMPl96πL1)]\boxed{ h(r) \propto \frac{1}{r} \left[ 1 \pm \frac{1}{3} \exp \left( - \frac{r M_{\text{Pl}}}{\sqrt{96 \pi L_1}} \right) \right] }
22.5

Problem 22.5

schwarzChapter 22

习题 22.5

来源: 第22章, PDF第416页


22.5 What is the form of the non-relativistic potential in a theory with a gϕ3g\phi^3 interaction? Why might this theory have been considered relevant as a possible theory of strong interactions in the 1960s?

习题 22.5 - 解答


1. 非相对论极限下的势能形式

在具有 gϕ3g\phi^3 相互作用的标量场论中,考虑两个质量为 MM 的粒子通过交换一个质量为 mm 的标量介子 ϕ\phi 发生散射。该过程在树图阶(Tree-level)由 tt 沟道费曼图主导。

由费曼规则,该散射的协变振幅 M\mathcal{M} 为: M=(ig)iq2m2+iϵ(ig)=g2q2m2\mathcal{M} = (-ig) \frac{i}{q^2 - m^2 + i\epsilon} (-ig) = \frac{g^2}{q^2 - m^2} 其中 q=p1p3q = p_1 - p_3 是转移的四维动量。

在非相对论(Non-relativistic, NR)极限下,参与散射的粒子动能远小于其静止质量,因此能量转移 q00q^0 \approx 0。此时四动量平方近似为三维动量平方的负值: q2=(q0)2q2q2q^2 = (q^0)^2 - |\mathbf{q}|^2 \approx -|\mathbf{q}|^2 代入散射振幅中得到非相对论极限下的振幅: MNRg2q2+m2\mathcal{M}_{\text{NR}} \approx -\frac{g^2}{|\mathbf{q}|^2 + m^2}

在量子场论与非相对论量子力学的匹配中,玻恩近似(Born Approximation)给出了散射振幅与空间势能 V(r)V(\mathbf{r}) 之间的关系。考虑到相对论态与非相对论态的归一化差异(每个粒子贡献一个 12M\frac{1}{\sqrt{2M}} 的因子),势能 V(r)V(\mathbf{r}) 由振幅的傅里叶逆变换给出: V(r)=d3q(2π)3MNR4M2eiqr=d3q(2π)3g24M2(q2+m2)eiqrV(\mathbf{r}) = -\int \frac{d^3q}{(2\pi)^3} \frac{\mathcal{M}_{\text{NR}}}{4M^2} e^{i\mathbf{q}\cdot\mathbf{r}} = \int \frac{d^3q}{(2\pi)^3} \frac{g^2}{4M^2(|\mathbf{q}|^2 + m^2)} e^{i\mathbf{q}\cdot\mathbf{r}} (注:若将 gg 视为已吸收质量量纲的有效耦合常数,分母中的 4M24M^2 常被吸收到 g2g^2 的重新定义中。这里保留严格推导。)

采用球坐标系进行积分,设 q\mathbf{q}r\mathbf{r} 的夹角为 θ\thetaV(r)=g24M21(2π)20q2dqq2+m211d(cosθ)eiqrcosθV(\mathbf{r}) = \frac{g^2}{4M^2} \frac{1}{(2\pi)^2} \int_0^\infty \frac{q^2 dq}{q^2 + m^2} \int_{-1}^1 d(\cos\theta) e^{iqr\cos\theta} V(r)=g24M212π2r0qsin(qr)q2+m2dqV(\mathbf{r}) = \frac{g^2}{4M^2} \frac{1}{2\pi^2 r} \int_0^\infty \frac{q \sin(qr)}{q^2 + m^2} dq 利用被积函数的偶宇称性,将积分区间扩展至 (,)(-\infty, \infty),并转化为复平面上的留数积分: 0qsin(qr)q2+m2dq=12iqeiqr(q+im)(qim)dq\int_0^\infty \frac{q \sin(qr)}{q^2 + m^2} dq = \frac{1}{2i} \int_{-\infty}^\infty \frac{q e^{iqr}}{(q+im)(q-im)} dq 在上半平面闭合回路,包围单极点 q=imq = im。由柯西留数定理: 12i2πiRes(qeiqrq2+m2,im)=π(imemr2im)=π2emr\frac{1}{2i} 2\pi i \text{Res}\left( \frac{q e^{iqr}}{q^2+m^2}, im \right) = \pi \left( \frac{im e^{-mr}}{2im} \right) = \frac{\pi}{2} e^{-mr} 将其代回势能表达式,得到: V(r)=g24M212π2rπ2emr=(g216πM2)emrrV(\mathbf{r}) = \frac{g^2}{4M^2} \frac{1}{2\pi^2 r} \frac{\pi}{2} e^{-mr} = - \left( \frac{g^2}{16\pi M^2} \right) \frac{e^{-mr}}{r} 若定义有效耦合常数 αeff=g216πM2\alpha_{\text{eff}} = \frac{g^2}{16\pi M^2},则势能的最终形式为经典的汤川势(Yukawa Potential): V(r)=αeffemrr\boxed{ V(r) = - \alpha_{\text{eff}} \frac{e^{-mr}}{r} }


2. 为什么该理论在20世纪60年代被认为是强相互作用的可能理论?

在20世纪60年代(量子色动力学 QCD 建立之前),物理学家需要一种理论来描述原子核内质子和中子之间的强核力gϕ3g\phi^3 理论及其导出的汤川势在当时被高度重视,原因如下:

  1. 短程性与质量间隙(Short-range and Mass Gap): 实验表明强核力是一种极短程的力(作用范围约为 1 fm=1015 m1 \text{ fm} = 10^{-15} \text{ m})。gϕ3g\phi^3 理论导出的势能包含指数衰减因子 emre^{-mr}。这完美解释了力的短程性是由交换具有非零静止质量 mm 的粒子(即介子,如 π\pi 介子)引起的。作用程 R1/mR \sim 1/m 与实验观测高度吻合。

  2. 吸引性(Attractive Nature): 势能表达式中的负号表明,由纯标量场交换产生的力是普遍吸引的。这与强核力在一定距离内能够克服质子间的库仑斥力、将原子核结合在一起的物理事实相符。

  3. 三顶点相互作用(3-Point Vertex Interaction)gϕ3g\phi^3 理论是包含三顶点相互作用的最简单场论模型。在当时的唯象模型中,核子(NN)发射或吸收介子(π\pi)的过程(即 NN+πN \to N + \pi)正是一个三顶点相互作用。尽管真实的核子-介子相互作用涉及自旋和赝标量场(如 ψˉγ5ψϕ\bar{\psi}\gamma_5\psi\phi),但 gϕ3g\phi^3 标量理论捕获了“单粒子交换产生短程力”这一核心物理机制。

  4. S矩阵与介子交换模型(S-matrix and Meson Exchange Models): 在60年代,基于有效拉格朗日量和 S 矩阵理论的介子交换模型是研究强相互作用的主流范式。gϕ3g\phi^3 理论作为这类模型的原型(Prototype),为理解强子共振态、散射截面以及核力的解析性质(如解析 S 矩阵中的极点和割线)提供了坚实的理论基础。