7.1

Problem 7.1

srednickiChapter 7

习题 7.1

来源: 第7章, PDF第65页


7.1 Starting with eq. (7.12), do the contour integral to verify eq. (7.14).


Referenced Equations:

Equation (7.12):

G(tt)=+dE2πeiE(tt)E2+ω2iϵ.(7.12)G(t - t') = \int_{-\infty}^{+\infty} \frac{dE}{2\pi} \frac{e^{-iE(t-t')}}{- E^2 + \omega^2 - i\epsilon} . \tag{7.12}

Equation (7.14):

G(tt)=i2ωexp(iωtt).(7.14)G(t - t') = \frac{i}{2\omega} \exp(-i\omega|t - t'|) . \tag{7.14}

习题 7.1 - 解答


为了验证公式 (7.14),我们需要计算由公式 (7.12) 给出的复变函数积分:

G(tt)=+dE2πeiE(tt)E2+ω2iϵG(t - t') = \int_{-\infty}^{+\infty} \frac{dE}{2\pi} \frac{e^{-iE(t-t')}}{- E^2 + \omega^2 - i\epsilon}

为了书写简便,令 τ=tt\tau = t - t',并将积分改写为:

G(τ)=+dE2πeiEτE2ω2+iϵG(\tau) = -\int_{-\infty}^{+\infty} \frac{dE}{2\pi} \frac{e^{-iE\tau}}{E^2 - \omega^2 + i\epsilon}

1. 极点分析与 iϵi\epsilon 约定 被积函数的极点由分母为零给出:

E2ω2+iϵ=0    E=±ω2iϵE^2 - \omega^2 + i\epsilon = 0 \implies E = \pm\sqrt{\omega^2 - i\epsilon}

由于 ϵ\epsilon 是一个正的无穷小量 (ϵ0+\epsilon \to 0^+),我们可以对其进行泰勒展开。假设 ω>0\omega > 0,极点位置近似为:

E1ωiϵ2ω(位于下半复平面 LHP)E_1 \approx \omega - i\frac{\epsilon}{2\omega} \quad \text{(位于下半复平面 LHP)}
E2ω+iϵ2ω(位于上半复平面 UHP)E_2 \approx -\omega + i\frac{\epsilon}{2\omega} \quad \text{(位于上半复平面 UHP)}

被积函数可以写为:

f(E)=12πeiEτ(EE1)(EE2)f(E) = -\frac{1}{2\pi} \frac{e^{-iE\tau}}{(E - E_1)(E - E_2)}

2. 围道积分计算 根据 τ\tau 的符号,我们需要选择不同的半平面来闭合积分围道,以满足 Jordan 引理(保证大半圆弧上的积分为零)。指数部分为 eiEτ=ei(ReE)τe(ImE)τe^{-iE\tau} = e^{-i(\text{Re}E)\tau} e^{(\text{Im}E)\tau}

情形一:τ>0\tau > 0 (即 t>tt > t') 为了使 e(ImE)τe^{(\text{Im}E)\tau} 在无穷远处衰减,必须有 ImE<0\text{Im}E < 0。因此,我们在下半复平面 (LHP) 闭合围道。

  • 闭合围道包围了下半平面的极点 E1=ωiϵE_1 = \omega - i\epsilon'
  • 围道方向为顺时针,因此根据留数定理,积分值为 2πi×Res(f,E1)-2\pi i \times \text{Res}(f, E_1)。 计算 E1E_1 处的留数(取 ϵ0\epsilon \to 0 极限,此时 E1ω,E2ωE_1 \to \omega, E_2 \to -\omega):
Res(f,E1)=limEE1(EE1)f(E)=12πeiE1τE1E2=12πeiωτ2ω\text{Res}(f, E_1) = \lim_{E \to E_1} (E - E_1) f(E) = -\frac{1}{2\pi} \frac{e^{-iE_1\tau}}{E_1 - E_2} = -\frac{1}{2\pi} \frac{e^{-i\omega\tau}}{2\omega}

代入积分式:

G(τ)=2πi(12πeiωτ2ω)=i2ωeiωτG(\tau) = -2\pi i \left( -\frac{1}{2\pi} \frac{e^{-i\omega\tau}}{2\omega} \right) = \frac{i}{2\omega} e^{-i\omega\tau}

情形二:τ<0\tau < 0 (即 t<tt < t') 为了使 e(ImE)τe^{(\text{Im}E)\tau} 在无穷远处衰减,必须有 ImE>0\text{Im}E > 0。因此,我们在上半复平面 (UHP) 闭合围道。

  • 闭合围道包围了上半平面的极点 E2=ω+iϵE_2 = -\omega + i\epsilon'
  • 围道方向为逆时针,因此积分值为 2πi×Res(f,E2)2\pi i \times \text{Res}(f, E_2)。 计算 E2E_2 处的留数(取 ϵ0\epsilon \to 0 极限):
Res(f,E2)=limEE2(EE2)f(E)=12πeiE2τE2E1=12πeiωτ2ω=14πωeiωτ\text{Res}(f, E_2) = \lim_{E \to E_2} (E - E_2) f(E) = -\frac{1}{2\pi} \frac{e^{-iE_2\tau}}{E_2 - E_1} = -\frac{1}{2\pi} \frac{e^{i\omega\tau}}{-2\omega} = \frac{1}{4\pi\omega} e^{i\omega\tau}

代入积分式:

G(τ)=2πi(14πωeiωτ)=i2ωeiωτG(\tau) = 2\pi i \left( \frac{1}{4\pi\omega} e^{i\omega\tau} \right) = \frac{i}{2\omega} e^{i\omega\tau}

3. 综合结果 将上述两种情形的结果合并。 当 τ>0\tau > 0 时,指数项为 iωτ-i\omega\tau; 当 τ<0\tau < 0 时,指数项为 iωτ=iω(τ)i\omega\tau = -i\omega(-\tau)。 这可以统一用绝对值 τ|\tau| 来表示:

G(τ)=i2ωeiωτG(\tau) = \frac{i}{2\omega} e^{-i\omega|\tau|}

τ=tt\tau = t - t' 代回,即得到 Feynman 传播子的表达式:

G(tt)=i2ωexp(iωtt)\boxed{ G(t - t') = \frac{i}{2\omega} \exp(-i\omega|t - t'|) }

这正是公式 (7.14),推导完毕。

7.2

Problem 7.2

srednickiChapter 7

习题 7.2

来源: 第7章, PDF第65页


7.2 Starting with eq. (7.14), verify eq. (7.13).


Referenced Equations:

Equation (7.13):

(2t2+ω2)G(tt)=δ(tt).(7.13)\left( \frac{\partial^2}{\partial t^2} + \omega^2 \right) G(t - t') = \delta(t - t') . \tag{7.13}

Equation (7.14):

G(tt)=i2ωexp(iωtt).(7.14)G(t - t') = \frac{i}{2\omega} \exp(-i\omega|t - t'|) . \tag{7.14}

习题 7.2 - 解答


为了验证方程 (7.13),我们需要计算格林函数 G(tt)G(t - t') 对时间 tt 的二阶导数。在处理含有绝对值 tt|t - t'| 的指数函数求导时,必须在广义函数(分布)的框架下进行,特别是需要使用符号函数 sgn(x)\text{sgn}(x) 和狄拉克 δ\delta 函数 δ(x)\delta(x)

τ=tt\tau = t - t',则对 tt 的偏导数等价于对 τ\tau 的全导数,即 t=ddτ\frac{\partial}{\partial t} = \frac{d}{d\tau}。方程 (7.14) 可以写为:

G(τ)=i2ωexp(iωτ)G(\tau) = \frac{i}{2\omega} \exp(-i\omega|\tau|)

首先回顾绝对值函数 τ|\tau| 的导数性质。绝对值函数可以表示为 τ\tau 与符号函数的乘积,其一阶导数为符号函数 sgn(τ)\text{sgn}(\tau)

ddττ=sgn(τ)={1,τ>01,τ<0\frac{d}{d\tau} |\tau| = \text{sgn}(\tau) = \begin{cases} 1, & \tau > 0 \\ -1, & \tau < 0 \end{cases}

符号函数 sgn(τ)\text{sgn}(\tau)τ=0\tau = 0 处发生从 1-111 的阶跃,其导数给出狄拉克 δ\delta 函数:

ddτsgn(τ)=2δ(τ)\frac{d}{d\tau} \text{sgn}(\tau) = 2\delta(\tau)

第一步:计算一阶导数 利用链式法则对 G(τ)G(\tau) 求一阶导数:

Gt=dGdτ=i2ωddτexp(iωτ)=i2ωexp(iωτ)(iω)ddττ=12sgn(τ)exp(iωτ)\begin{aligned} \frac{\partial G}{\partial t} = \frac{d G}{d\tau} &= \frac{i}{2\omega} \frac{d}{d\tau} \exp(-i\omega|\tau|) \\ &= \frac{i}{2\omega} \exp(-i\omega|\tau|) \cdot (-i\omega) \frac{d}{d\tau} |\tau| \\ &= \frac{1}{2} \text{sgn}(\tau) \exp(-i\omega|\tau|) \end{aligned}

第二步:计算二阶导数 对上述结果再次求导,此时需要使用乘积法则:

2Gt2=d2Gdτ2=ddτ[12sgn(τ)exp(iωτ)]=12[ddτsgn(τ)]exp(iωτ)+12sgn(τ)[ddτexp(iωτ)]\begin{aligned} \frac{\partial^2 G}{\partial t^2} = \frac{d^2 G}{d\tau^2} &= \frac{d}{d\tau} \left[ \frac{1}{2} \text{sgn}(\tau) \exp(-i\omega|\tau|) \right] \\ &= \frac{1}{2} \left[ \frac{d}{d\tau} \text{sgn}(\tau) \right] \exp(-i\omega|\tau|) + \frac{1}{2} \text{sgn}(\tau) \left[ \frac{d}{d\tau} \exp(-i\omega|\tau|) \right] \end{aligned}

ddτsgn(τ)=2δ(τ)\frac{d}{d\tau} \text{sgn}(\tau) = 2\delta(\tau) 以及指数函数的导数代入上式:

2Gt2=12[2δ(τ)]exp(iωτ)+12sgn(τ)[iωsgn(τ)exp(iωτ)]\frac{\partial^2 G}{\partial t^2} = \frac{1}{2} [2\delta(\tau)] \exp(-i\omega|\tau|) + \frac{1}{2} \text{sgn}(\tau) \left[ -i\omega \text{sgn}(\tau) \exp(-i\omega|\tau|) \right]

第三步:化简各项

  1. 对于第一项,利用狄拉克 δ\delta 函数的性质 f(τ)δ(τ)=f(0)δ(τ)f(\tau)\delta(\tau) = f(0)\delta(\tau)。因为 δ(τ)\delta(\tau) 仅在 τ=0\tau = 0 处非零,此时指数部分 exp(iω0)=1\exp(-i\omega|0|) = 1,故:
δ(τ)exp(iωτ)=δ(τ)\delta(\tau) \exp(-i\omega|\tau|) = \delta(\tau)
  1. 对于第二项,注意到 [sgn(τ)]2=1[\text{sgn}(\tau)]^2 = 1(在 τ0\tau \neq 0 处处成立,而在分布意义下 τ=0\tau=0 的零测集不影响结果),因此:
12(iω)[sgn(τ)]2exp(iωτ)=iω2exp(iωτ)\frac{1}{2} (-i\omega) [\text{sgn}(\tau)]^2 \exp(-i\omega|\tau|) = -\frac{i\omega}{2} \exp(-i\omega|\tau|)

为了凑出原函数 G(τ)G(\tau) 的形式,将上式提取出 ω2-\omega^2

iω2exp(iωτ)=ω2(i2ωexp(iωτ))=ω2G(τ)-\frac{i\omega}{2} \exp(-i\omega|\tau|) = -\omega^2 \left( \frac{i}{2\omega} \exp(-i\omega|\tau|) \right) = -\omega^2 G(\tau)

第四步:得出最终方程 将化简后的两项代回二阶导数表达式中:

2Gt2=δ(τ)ω2G(τ)\frac{\partial^2 G}{\partial t^2} = \delta(\tau) - \omega^2 G(\tau)

移项并提取算符,得到:

(2t2+ω2)G(τ)=δ(τ)\left( \frac{\partial^2}{\partial t^2} + \omega^2 \right) G(\tau) = \delta(\tau)

τ=tt\tau = t - t' 替换回去,即严格证明了方程 (7.13):

(2t2+ω2)G(tt)=δ(tt)\boxed{ \left( \frac{\partial^2}{\partial t^2} + \omega^2 \right) G(t - t') = \delta(t - t') }
7.3

Problem 7.3

srednickiChapter 7

习题 7.3

来源: 第7章, PDF第66页


7.3 a) Use the Heisenberg equation of motion, A˙=i[H,A]\dot{A} = i[H, A], to find explicit expressions for Q˙\dot{Q} and P˙\dot{P}. Solve these to get the Heisenberg-picture operators Q(t)Q(t) and P(t)P(t) in terms of the Schrödinger picture operators QQ and PP.

b) Write the Schrödinger picture operators QQ and PP in terms of the creation and annihilation operators aa and aa^{\dagger}, where H=ω(aa+12)H = \hbar\omega(a^{\dagger}a + \frac{1}{2}). Then, using your result from part (a), write the Heisenberg-picture operators Q(t)Q(t) and P(t)P(t) in terms of aa and aa^{\dagger}.

c) Using your result from part (b), and a0=0a=0a|0\rangle = \langle 0|a^{\dagger} = 0, verify eqs. (7.16) and (7.17).


Referenced Equations:

Equation (7.16):

0TQ(t1)Q(t2)0=1iδδf(t1)1iδδf(t2)00ff=0=1iδδf(t1)[+dtG(t2t)f(t)]00ff=0=[1iG(t2t1)+(term with f’s)]00ff=0=1iG(t2t1).\begin{align} \langle 0|TQ(t_1)Q(t_2)|0\rangle &= \frac{1}{i} \frac{\delta}{\delta f(t_1)} \frac{1}{i} \frac{\delta}{\delta f(t_2)} \langle 0|0\rangle_f \Big|_{f=0} \\ &= \frac{1}{i} \frac{\delta}{\delta f(t_1)} \left[ \int_{-\infty}^{+\infty} dt' \, G(t_2 - t') f(t') \right] \langle 0|0\rangle_f \Big|_{f=0} \\ &= \left[ \frac{1}{i} G(t_2 - t_1) + (\text{term with } f\text{'s}) \right] \langle 0|0\rangle_f \Big|_{f=0} \\ &= \frac{1}{i} G(t_2 - t_1) . \tag{7.16} \\ \end{align}

Equation (7.17):

0TQ(t1)Q(t2)Q(t3)Q(t4)0=1i2[G(t1t2)G(t3t4)+G(t1t3)G(t2t4)+G(t1t4)G(t2t3)].\begin{align} \langle 0|TQ(t_1)Q(t_2)Q(t_3)Q(t_4)|0\rangle = \frac{1}{i^2} \Big[ &G(t_1-t_2)G(t_3-t_4) \\ &+ G(t_1-t_3)G(t_2-t_4) \\ &+ G(t_1-t_4)G(t_2-t_3) \Big] . \tag{7.17} \\ \end{align}

习题 7.3 - 解答


题目分析与物理背景 本题探讨量子力学中简谐振子在海森堡绘景(Heisenberg picture)下的时间演化,以及利用产生与湮灭算符计算编时关联函数(即维克定理的直接验证)。 根据题目给出的海森堡运动方程 A˙=i[H,A]\dot{A} = i[H, A],可知此处采用了自然单位制 =1\hbar = 1。简谐振子的哈密顿量在坐标与动量表象下为 H=12P2+12ω2Q2H = \frac{1}{2}P^2 + \frac{1}{2}\omega^2 Q^2(取质量 m=1m=1),且满足基本对易关系 [Q,P]=i[Q, P] = i。 在 (c) 问中,涉及到的格林函数(Feynman传播子)在 0+1 维时空中定义为 G(t)=i2ωeiωtG(t) = \frac{i}{2\omega} e^{-i\omega|t|}

(a) 求解海森堡绘景下的算符 Q(t)Q(t)P(t)P(t)

利用海森堡运动方程 A˙=i[H,A]\dot{A} = i[H, A] 以及对易关系 [Q,P]=i[Q, P] = i,我们分别计算 QQPP 的时间导数:

Q˙=i[H,Q]=i[12P2,Q]=i2(P[P,Q]+[P,Q]P)=i2(2iP)=P\dot{Q} = i[H, Q] = i\left[\frac{1}{2}P^2, Q\right] = \frac{i}{2} (P[P, Q] + [P, Q]P) = \frac{i}{2} (-2iP) = P
P˙=i[H,P]=i[12ω2Q2,P]=iω22(Q[Q,P]+[Q,P]Q)=iω22(2iQ)=ω2Q\dot{P} = i[H, P] = i\left[\frac{1}{2}\omega^2 Q^2, P\right] = \frac{i\omega^2}{2} (Q[Q, P] + [Q, P]Q) = \frac{i\omega^2}{2} (2iQ) = -\omega^2 Q

P˙\dot{P} 代入 Q˙\dot{Q} 的导数中,得到算符 Q(t)Q(t) 满足的二阶常微分方程:

Q¨(t)=P˙(t)=ω2Q(t)\ddot{Q}(t) = \dot{P}(t) = -\omega^2 Q(t)

这是一个经典的简谐振子运动方程,其通解形式为:

Q(t)=Acos(ωt)+Bsin(ωt)Q(t) = A \cos(\omega t) + B \sin(\omega t)

利用初始条件(即薛定谔绘景下的算符)Q(0)=QQ(0) = QQ˙(0)=P(0)=P\dot{Q}(0) = P(0) = P,可以定出算符系数 A=QA = QB=P/ωB = P/\omega。因此:

Q(t)=Qcos(ωt)+Pωsin(ωt)\boxed{Q(t) = Q \cos(\omega t) + \frac{P}{\omega} \sin(\omega t)}

Q(t)Q(t) 求导即可得到 P(t)P(t)

P(t)=Qωsin(ωt)+Pcos(ωt)\boxed{P(t) = -Q\omega \sin(\omega t) + P \cos(\omega t)}

(b) 用产生与湮灭算符表示 Q(t)Q(t)P(t)P(t)

已知哈密顿量为 H=ω(aa+12)H = \omega(a^\dagger a + \frac{1}{2})=1\hbar=1)。薛定谔绘景下的位置与动量算符可以用产生算符 aa^\dagger 和湮灭算符 aa 表示为:

Q=12ω(a+a),P=iω2(aa)Q = \frac{1}{\sqrt{2\omega}}(a + a^\dagger), \quad P = -i\sqrt{\frac{\omega}{2}}(a - a^\dagger)

将上述表达式代入 (a) 中得到的 Q(t)Q(t) 结果中:

Q(t)=12ω(a+a)cos(ωt)+1ω(iω2(aa))sin(ωt)=12ω[a(cos(ωt)isin(ωt))+a(cos(ωt)+isin(ωt))]=12ω(aeiωt+aeiωt)\begin{align*} Q(t) &= \frac{1}{\sqrt{2\omega}}(a + a^\dagger) \cos(\omega t) + \frac{1}{\omega} \left( -i\sqrt{\frac{\omega}{2}}(a - a^\dagger) \right) \sin(\omega t) \\ &= \frac{1}{\sqrt{2\omega}} \left[ a(\cos(\omega t) - i\sin(\omega t)) + a^\dagger(\cos(\omega t) + i\sin(\omega t)) \right] \\ &= \frac{1}{\sqrt{2\omega}} \left( a e^{-i\omega t} + a^\dagger e^{i\omega t} \right) \end{align*}

同理,代入 P(t)P(t) 的表达式中:

P(t)=ω12ω(a+a)sin(ωt)iω2(aa)cos(ωt)=iω2[i(a+a)sin(ωt)+(aa)cos(ωt)]=iω2[a(cos(ωt)isin(ωt))a(cos(ωt)+isin(ωt))]=iω2(aeiωtaeiωt)\begin{align*} P(t) &= -\omega \frac{1}{\sqrt{2\omega}}(a + a^\dagger) \sin(\omega t) - i\sqrt{\frac{\omega}{2}}(a - a^\dagger) \cos(\omega t) \\ &= -i\sqrt{\frac{\omega}{2}} \left[ -i(a + a^\dagger) \sin(\omega t) + (a - a^\dagger) \cos(\omega t) \right] \\ &= -i\sqrt{\frac{\omega}{2}} \left[ a(\cos(\omega t) - i\sin(\omega t)) - a^\dagger(\cos(\omega t) + i\sin(\omega t)) \right] \\ &= -i\sqrt{\frac{\omega}{2}} \left( a e^{-i\omega t} - a^\dagger e^{i\omega t} \right) \end{align*}

最终结果为:

Q(t)=12ω(aeiωt+aeiωt)\boxed{Q(t) = \frac{1}{\sqrt{2\omega}} \left( a e^{-i\omega t} + a^\dagger e^{i\omega t} \right)}
P(t)=iω2(aeiωtaeiωt)\boxed{P(t) = -i\sqrt{\frac{\omega}{2}} \left( a e^{-i\omega t} - a^\dagger e^{i\omega t} \right)}

(c) 验证方程 (7.16) 和 (7.17)

为了方便计算,我们将 Q(t)Q(t) 拆分为包含湮灭算符的正频部分 Q+(t)Q^+(t) 和包含产生算符的负频部分 Q(t)Q^-(t)

Q(t)=Q+(t)+Q(t),其中Q+(t)=12ωaeiωt,Q(t)=12ωaeiωtQ(t) = Q^+(t) + Q^-(t), \quad \text{其中} \quad Q^+(t) = \frac{1}{\sqrt{2\omega}} a e^{-i\omega t}, \quad Q^-(t) = \frac{1}{\sqrt{2\omega}} a^\dagger e^{i\omega t}

利用 a0=0a|0\rangle = 00a=0\langle 0|a^\dagger = 0,可知 Q+(t)0=0Q^+(t)|0\rangle = 00Q(t)=0\langle 0|Q^-(t) = 0。 它们的对易子为(非算符,仅为复数):

[Q+(t1),Q(t2)]=12ωeiω(t1t2)[a,a]=12ωeiω(t1t2)[Q^+(t_1), Q^-(t_2)] = \frac{1}{2\omega} e^{-i\omega(t_1 - t_2)} [a, a^\dagger] = \frac{1}{2\omega} e^{-i\omega(t_1 - t_2)}

验证 (7.16):t1>t2t_1 > t_2 时,编时乘积 TQ(t1)Q(t2)=Q(t1)Q(t2)T Q(t_1)Q(t_2) = Q(t_1)Q(t_2)。计算真空期望值:

0Q(t1)Q(t2)0=0(Q+(t1)+Q(t1))(Q+(t2)+Q(t2))0=0Q+(t1)Q(t2)0=0[Q+(t1),Q(t2)]+Q(t2)Q+(t1)0=[Q+(t1),Q(t2)]=12ωeiω(t1t2)\begin{align*} \langle 0| Q(t_1)Q(t_2) |0\rangle &= \langle 0| (Q^+(t_1) + Q^-(t_1))(Q^+(t_2) + Q^-(t_2)) |0\rangle \\ &= \langle 0| Q^+(t_1) Q^-(t_2) |0\rangle \\ &= \langle 0| [Q^+(t_1), Q^-(t_2)] + Q^-(t_2)Q^+(t_1) |0\rangle \\ &= [Q^+(t_1), Q^-(t_2)] = \frac{1}{2\omega} e^{-i\omega(t_1 - t_2)} \end{align*}

同理,当 t2>t1t_2 > t_1 时,结果为 12ωeiω(t2t1)\frac{1}{2\omega} e^{-i\omega(t_2 - t_1)}。综合两种情况,编时关联函数为:

0TQ(t1)Q(t2)0=12ωeiωt1t2\langle 0| T Q(t_1)Q(t_2) |0\rangle = \frac{1}{2\omega} e^{-i\omega|t_1 - t_2|}

已知简谐振子的费曼格林函数定义为 G(t)=i2ωeiωtG(t) = \frac{i}{2\omega} e^{-i\omega|t|},因此 1iG(t1t2)=12ωeiωt1t2\frac{1}{i}G(t_1 - t_2) = \frac{1}{2\omega} e^{-i\omega|t_1 - t_2|}。由于 G(t)G(t) 是偶函数,G(t2t1)=G(t1t2)G(t_2 - t_1) = G(t_1 - t_2)。故:

0TQ(t1)Q(t2)0=1iG(t2t1)\boxed{\langle 0| T Q(t_1)Q(t_2) |0\rangle = \frac{1}{i} G(t_2 - t_1)}

这验证了方程 (7.16)。

验证 (7.17): 由于编时乘积对时间标签的排列是全对称的,我们可以不失一般性地假设 t1>t2>t3>t4t_1 > t_2 > t_3 > t_4。此时 TQ(t1)Q(t2)Q(t3)Q(t4)=Q(t1)Q(t2)Q(t3)Q(t4)T Q(t_1)Q(t_2)Q(t_3)Q(t_4) = Q(t_1)Q(t_2)Q(t_3)Q(t_4)。 展开四点关联函数:

0(Q1++Q1)(Q2++Q2)(Q3++Q3)(Q4++Q4)0\langle 0| (Q^+_1 + Q^-_1)(Q^+_2 + Q^-_2)(Q^+_3 + Q^-_3)(Q^+_4 + Q^-_4) |0\rangle

由于最右侧的 Q4+Q^+_4 作用在真空上为零,最左侧的 Q1Q^-_1 作用在左真空上为零,上式简化为:

0Q1+(Q2++Q2)(Q3++Q3)Q40=0Q1+Q2+Q3Q40+0Q1+Q2Q3+Q40\langle 0| Q^+_1 (Q^+_2 + Q^-_2)(Q^+_3 + Q^-_3) Q^-_4 |0\rangle = \langle 0| Q^+_1 Q^+_2 Q^-_3 Q^-_4 |0\rangle + \langle 0| Q^+_1 Q^-_2 Q^+_3 Q^-_4 |0\rangle

分别计算这两项。对于第一项,利用对易关系将 Q2+Q^+_2 向右移动:

0Q1+Q2+Q3Q40=0Q1+([Q2+,Q3]+Q3Q2+)Q40=[Q2+,Q3]0Q1+Q40+0Q1+Q3[Q2+,Q4]0=[Q2+,Q3][Q1+,Q4]+[Q2+,Q4][Q1+,Q3]\begin{align*} \langle 0| Q^+_1 Q^+_2 Q^-_3 Q^-_4 |0\rangle &= \langle 0| Q^+_1 ([Q^+_2, Q^-_3] + Q^-_3 Q^+_2) Q^-_4 |0\rangle \\ &= [Q^+_2, Q^-_3] \langle 0| Q^+_1 Q^-_4 |0\rangle + \langle 0| Q^+_1 Q^-_3 [Q^+_2, Q^-_4] |0\rangle \\ &= [Q^+_2, Q^-_3] [Q^+_1, Q^-_4] + [Q^+_2, Q^-_4] [Q^+_1, Q^-_3] \end{align*}

对于第二项:

0Q1+Q2Q3+Q40=0Q1+Q200Q3+Q40=[Q1+,Q2][Q3+,Q4]\langle 0| Q^+_1 Q^-_2 Q^+_3 Q^-_4 |0\rangle = \langle 0| Q^+_1 Q^-_2 |0\rangle \langle 0| Q^+_3 Q^-_4 |0\rangle = [Q^+_1, Q^-_2] [Q^+_3, Q^-_4]

将两项相加,得到:

0Q(t1)Q(t2)Q(t3)Q(t4)0=[Q1+,Q2][Q3+,Q4]+[Q1+,Q3][Q2+,Q4]+[Q1+,Q4][Q2+,Q3]\langle 0| Q(t_1)Q(t_2)Q(t_3)Q(t_4) |0\rangle = [Q^+_1, Q^-_2] [Q^+_3, Q^-_4] + [Q^+_1, Q^-_3] [Q^+_2, Q^-_4] + [Q^+_1, Q^-_4] [Q^+_2, Q^-_3]

在我们的假设 ti>tjt_i > t_j 下,由 (7.16) 的推导可知 [Qi+,Qj]=1iG(titj)[Q^+_i, Q^-_j] = \frac{1}{i} G(t_i - t_j)。代入上式即得:

0Q(t1)Q(t2)Q(t3)Q(t4)0=1i2[G(t1t2)G(t3t4)+G(t1t3)G(t2t4)+G(t1t4)G(t2t3)]\langle 0| Q(t_1)Q(t_2)Q(t_3)Q(t_4) |0\rangle = \frac{1}{i^2} \Big[ G(t_1-t_2)G(t_3-t_4) + G(t_1-t_3)G(t_2-t_4) + G(t_1-t_4)G(t_2-t_3) \Big]

由于等式右侧对时间标签 t1,t2,t3,t4t_1, t_2, t_3, t_4 的任意置换都是完全对称的,而左侧的编时乘积定义本身也具有这种置换对称性,因此该等式对任意时间排序均成立。

0TQ(t1)Q(t2)Q(t3)Q(t4)0=1i2[G(t1t2)G(t3t4)+G(t1t3)G(t2t4)+G(t1t4)G(t2t3)]\boxed{ \begin{align*} \langle 0|TQ(t_1)Q(t_2)Q(t_3)Q(t_4)|0\rangle = \frac{1}{i^2} \Big[ &G(t_1-t_2)G(t_3-t_4) \\ &+ G(t_1-t_3)G(t_2-t_4) \\ &+ G(t_1-t_4)G(t_2-t_3) \Big] \end{align*} }

这验证了方程 (7.17),即四点关联函数的维克定理(Wick's Theorem)展开。

7.4

Problem 7.4

srednickiChapter 7

习题 7.4

来源: 第7章, PDF第66页


7.4 Consider a harmonic oscillator in its ground state at t=t = -\infty. It is then then subjected to an external force f(t)f(t). Compute the probability 00f2|\langle 0|0\rangle_f|^2 that the oscillator is still in its ground state at t=+t = +\infty. Write your answer as a manifestly real expression, and in terms of the Fourier transform f~(E)=+dteiEtf(t)\tilde{f}(E) = \int_{-\infty}^{+\infty} dt e^{iEt} f(t). Your answer should not involve any other unevaluated integrals.

习题 7.4 - 解答


物理背景与分析

本题要求计算一个初始处于基态的谐振子在受到含时外力 f(t)f(t) 作用后,在 t=+t = +\infty 时仍处于基态的概率。该问题是量子场论和高级量子力学中的经典问题,可以通过路径积分(生成泛函)方法或**算符形式(相互作用绘景)**来精确求解。

在自然单位制(=1\hbar = 1)下,外力 f(t)f(t) 相当于一个源项(Source term),真空到真空的跃迁振幅 00f\langle 0|0\rangle_f 即为该源存在时的生成泛函 Z[f]Z[f]。由于谐振子势是二次的,路径积分可以精确计算;同时,在算符形式中,由于相互作用哈密顿量在不同时刻的对易子是一个 c-数,时间演化算符的 Dyson 级数可以通过 Magnus 展开或 Baker-Campbell-Hausdorff (BCH) 公式精确截断。

以下主要使用路径积分与生成泛函方法进行推导,并辅以算符方法的验证。


推导过程

方法一:路径积分与生成泛函方法

谐振子在含时外力 f(t)f(t) 作用下的作用量为: S=dt(12mx˙212mω2x2+f(t)x)S = \int dt \left( \frac{1}{2} m \dot{x}^2 - \frac{1}{2} m \omega^2 x^2 + f(t) x \right) 通过分部积分,可以将作用量改写为二次型与源项的组合: S=dt(12x(mt2mω2)x+f(t)x)S = \int dt \left( \frac{1}{2} x \left( -m \partial_t^2 - m \omega^2 \right) x + f(t) x \right) 定义微分算符 D=mt2mω2D = -m \partial_t^2 - m \omega^2。其逆算符即为 Feynman 传播子 G(tt)G(t-t'),满足: (mt2mω2)G(t)=δ(t)\left( -m \partial_t^2 - m \omega^2 \right) G(t) = \delta(t) 在动量空间中,通过傅里叶变换并引入 Feynman 边界条件(+iϵ+i\epsilon 处方,对应真空到真空的演化),传播子为: G~(E)=1m(E2ω2+iϵ)\tilde{G}(E) = \frac{1}{m(E^2 - \omega^2 + i\epsilon)} 通过配方(平移积分变量 x(t)x(t)dtG(tt)f(t)x(t) \to x(t) - \int dt' G(t-t') f(t')),路径积分给出的真空跃迁振幅(生成泛函)为: 00f=Z[f]=Z[0]exp(i2+dt+dtf(t)G(tt)f(t))\langle 0|0\rangle_f = Z[f] = Z[0] \exp\left( -\frac{i}{2} \int_{-\infty}^{+\infty} dt \int_{-\infty}^{+\infty} dt' f(t) G(t-t') f(t') \right) 取无外力时的真空振幅归一化 Z[0]=1Z[0] = 1。将上式转换到动量空间,利用外力的傅里叶变换 f~(E)=dteiEtf(t)\tilde{f}(E) = \int dt e^{iEt} f(t),指数上的积分为: 00f=exp(i2+dE2πf~(E)G~(E)f~(E))\langle 0|0\rangle_f = \exp\left( -\frac{i}{2} \int_{-\infty}^{+\infty} \frac{dE}{2\pi} \tilde{f}(-E) \tilde{G}(E) \tilde{f}(E) \right) 因为外力 f(t)f(t) 是实函数,所以有 f~(E)=f~(E)\tilde{f}(-E) = \tilde{f}(E)^*,从而 f~(E)f~(E)=f~(E)2\tilde{f}(-E)\tilde{f}(E) = |\tilde{f}(E)|^2。代入传播子表达式: 00f=exp(i2+dE2πf~(E)2m(E2ω2+iϵ))\langle 0|0\rangle_f = \exp\left( -\frac{i}{2} \int_{-\infty}^{+\infty} \frac{dE}{2\pi} \frac{|\tilde{f}(E)|^2}{m(E^2 - \omega^2 + i\epsilon)} \right) 系统保持在基态的概率为振幅的模方 P=00f2P = |\langle 0|0\rangle_f|^2。取模方相当于取指数上复数的实部的两倍: P=exp(2Re[i2dE2πf~(E)2m(E2ω2+iϵ)])=exp(ImdE2πf~(E)2m(E2ω2+iϵ))P = \exp\left( 2 \operatorname{Re} \left[ -\frac{i}{2} \int \frac{dE}{2\pi} \frac{|\tilde{f}(E)|^2}{m(E^2 - \omega^2 + i\epsilon)} \right] \right) = \exp\left( \operatorname{Im} \int \frac{dE}{2\pi} \frac{|\tilde{f}(E)|^2}{m(E^2 - \omega^2 + i\epsilon)} \right) 利用 Dirac 恒等式 1x+iϵ=P1xiπδ(x)\frac{1}{x + i\epsilon} = \mathcal{P}\frac{1}{x} - i\pi \delta(x),提取积分的虚部: ImdE2πf~(E)2m(E2ω2+iϵ)=dE2πf~(E)2m(πδ(E2ω2))=12m+dEf~(E)2δ(E2ω2)\operatorname{Im} \int \frac{dE}{2\pi} \frac{|\tilde{f}(E)|^2}{m(E^2 - \omega^2 + i\epsilon)} = \int \frac{dE}{2\pi} \frac{|\tilde{f}(E)|^2}{m} \Big( -\pi \delta(E^2 - \omega^2) \Big) = -\frac{1}{2m} \int_{-\infty}^{+\infty} dE |\tilde{f}(E)|^2 \delta(E^2 - \omega^2) 利用 δ\delta 函数的性质 δ(E2ω2)=12ω(δ(Eω)+δ(E+ω))\delta(E^2 - \omega^2) = \frac{1}{2\omega} \big( \delta(E - \omega) + \delta(E + \omega) \big),积分化简为: 14mω(f~(ω)2+f~(ω)2)-\frac{1}{4m\omega} \left( |\tilde{f}(\omega)|^2 + |\tilde{f}(-\omega)|^2 \right) 再次利用 f~(ω)2=f~(ω)2|\tilde{f}(-\omega)|^2 = |\tilde{f}(\omega)|^2,最终得到指数项为 f~(ω)22mω-\frac{|\tilde{f}(\omega)|^2}{2m\omega}

方法二:算符与相互作用绘景(验证)

在相互作用绘景中,相互作用哈密顿量为 VI(t)=f(t)xI(t)=f(t)2mω(aeiωt+aeiωt)V_I(t) = -f(t) x_I(t) = -\frac{f(t)}{\sqrt{2m\omega}} \left( a e^{-i\omega t} + a^\dagger e^{i\omega t} \right)。 时间演化算符为 UI(,)=Texp(iVI(t)dt)U_I(\infty, -\infty) = \mathcal{T} \exp\left( -i \int_{-\infty}^\infty V_I(t) dt \right)。 由于 [VI(t1),VI(t2)][V_I(t_1), V_I(t_2)] 是一个纯虚数的 c-数,根据 Magnus 展开,时间编排指数可以拆分为: UI(,)=eiΦexp(iVI(t)dt)U_I(\infty, -\infty) = e^{i\Phi} \exp\left( -i \int_{-\infty}^\infty V_I(t) dt \right) 其中 Φ\Phi 是实数相位。计算指数中的积分: iVI(t)dt=i2mωf(t)(aeiωt+aeiωt)dt=αaαa-i \int_{-\infty}^\infty V_I(t) dt = \frac{i}{\sqrt{2m\omega}} \int_{-\infty}^\infty f(t) \left( a e^{-i\omega t} + a^\dagger e^{i\omega t} \right) dt = \alpha a^\dagger - \alpha^* a 其中 α=if~(ω)2mω\alpha = \frac{i \tilde{f}(\omega)}{\sqrt{2m\omega}}。 利用 BCH 公式 eA+B=eAeBe12[A,B]e^{A+B} = e^A e^B e^{-\frac{1}{2}[A,B]},跃迁振幅为: 0UI0=eiΦ0eαaeαae12α20=eiΦe12α2\langle 0 | U_I | 0 \rangle = e^{i\Phi} \langle 0 | e^{\alpha a^\dagger} e^{-\alpha^* a} e^{-\frac{1}{2}|\alpha|^2} | 0 \rangle = e^{i\Phi} e^{-\frac{1}{2}|\alpha|^2} 概率为振幅的模方,相位 eiΦe^{i\Phi} 被消去: P=eiΦe12α22=eα2=exp(f~(ω)22mω)P = \left| e^{i\Phi} e^{-\frac{1}{2}|\alpha|^2} \right|^2 = e^{-|\alpha|^2} = \exp\left( - \frac{|\tilde{f}(\omega)|^2}{2m\omega} \right) 两种方法结果完全一致。(注:若恢复国际单位制,分母中将多出约化普朗克常数 \hbar,即 2mω2m\hbar\omega)


最终答案

谐振子在 t=+t = +\infty 时仍处于基态的概率为:

00f2=exp(f~(ω)22mω)\boxed{ |\langle 0|0\rangle_f|^2 = \exp\left( - \frac{|\tilde{f}(\omega)|^2}{2m\omega} \right) }