习题 7.3 - 解答
题目分析与物理背景
本题探讨量子力学中简谐振子在海森堡绘景(Heisenberg picture)下的时间演化,以及利用产生与湮灭算符计算编时关联函数(即维克定理的直接验证)。
根据题目给出的海森堡运动方程 A ˙ = i [ H , A ] \dot{A} = i[H, A] A ˙ = i [ H , A ] ,可知此处采用了自然单位制 ℏ = 1 \hbar = 1 ℏ = 1 。简谐振子的哈密顿量在坐标与动量表象下为 H = 1 2 P 2 + 1 2 ω 2 Q 2 H = \frac{1}{2}P^2 + \frac{1}{2}\omega^2 Q^2 H = 2 1 P 2 + 2 1 ω 2 Q 2 (取质量 m = 1 m=1 m = 1 ),且满足基本对易关系 [ Q , P ] = i [Q, P] = i [ Q , P ] = i 。
在 (c) 问中,涉及到的格林函数(Feynman传播子)在 0+1 维时空中定义为 G ( t ) = i 2 ω e − i ω ∣ t ∣ G(t) = \frac{i}{2\omega} e^{-i\omega|t|} G ( t ) = 2 ω i e − iω ∣ t ∣ 。
(a) 求解海森堡绘景下的算符 Q ( t ) Q(t) Q ( t ) 和 P ( t ) P(t) P ( t )
利用海森堡运动方程 A ˙ = i [ H , A ] \dot{A} = i[H, A] A ˙ = i [ H , A ] 以及对易关系 [ Q , P ] = i [Q, P] = i [ Q , P ] = i ,我们分别计算 Q Q Q 和 P P P 的时间导数:
Q ˙ = i [ H , Q ] = i [ 1 2 P 2 , Q ] = i 2 ( P [ P , Q ] + [ P , Q ] P ) = i 2 ( − 2 i P ) = 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 Q ˙ = i [ H , Q ] = i [ 2 1 P 2 , Q ] = 2 i ( P [ P , Q ] + [ P , Q ] P ) = 2 i ( − 2 i P ) = P
P ˙ = i [ H , P ] = i [ 1 2 ω 2 Q 2 , P ] = i ω 2 2 ( Q [ Q , P ] + [ Q , P ] Q ) = i ω 2 2 ( 2 i Q ) = − ω 2 Q \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 ˙ = i [ H , P ] = i [ 2 1 ω 2 Q 2 , P ] = 2 i ω 2 ( Q [ Q , P ] + [ Q , P ] Q ) = 2 i ω 2 ( 2 i Q ) = − ω 2 Q
将 P ˙ \dot{P} P ˙ 代入 Q ˙ \dot{Q} Q ˙ 的导数中,得到算符 Q ( t ) Q(t) Q ( t ) 满足的二阶常微分方程:
Q ¨ ( t ) = P ˙ ( t ) = − ω 2 Q ( t ) \ddot{Q}(t) = \dot{P}(t) = -\omega^2 Q(t) Q ¨ ( t ) = P ˙ ( t ) = − ω 2 Q ( t )
这是一个经典的简谐振子运动方程,其通解形式为:
Q ( t ) = A cos ( ω t ) + B sin ( ω t ) Q(t) = A \cos(\omega t) + B \sin(\omega t) Q ( t ) = A cos ( ω t ) + B sin ( ω t )
利用初始条件(即薛定谔绘景下的算符)Q ( 0 ) = Q Q(0) = Q Q ( 0 ) = Q 和 Q ˙ ( 0 ) = P ( 0 ) = P \dot{Q}(0) = P(0) = P Q ˙ ( 0 ) = P ( 0 ) = P ,可以定出算符系数 A = Q A = Q A = Q 和 B = P / ω B = P/\omega B = P / ω 。因此:
Q ( t ) = Q cos ( ω t ) + P ω sin ( ω t ) \boxed{Q(t) = Q \cos(\omega t) + \frac{P}{\omega} \sin(\omega t)} Q ( t ) = Q cos ( ω t ) + ω P sin ( ω t )
对 Q ( t ) Q(t) Q ( t ) 求导即可得到 P ( t ) P(t) P ( t ) :
P ( t ) = − Q ω sin ( ω t ) + P cos ( ω t ) \boxed{P(t) = -Q\omega \sin(\omega t) + P \cos(\omega t)} P ( t ) = − Q ω sin ( ω t ) + P cos ( ω t )
(b) 用产生与湮灭算符表示 Q ( t ) Q(t) Q ( t ) 和 P ( t ) P(t) P ( t )
已知哈密顿量为 H = ω ( a † a + 1 2 ) H = \omega(a^\dagger a + \frac{1}{2}) H = ω ( a † a + 2 1 ) (ℏ = 1 \hbar=1 ℏ = 1 )。薛定谔绘景下的位置与动量算符可以用产生算符 a † a^\dagger a † 和湮灭算符 a a a 表示为:
Q = 1 2 ω ( a + a † ) , P = − i ω 2 ( a − a † ) Q = \frac{1}{\sqrt{2\omega}}(a + a^\dagger), \quad P = -i\sqrt{\frac{\omega}{2}}(a - a^\dagger) Q = 2 ω 1 ( a + a † ) , P = − i 2 ω ( a − a † )
将上述表达式代入 (a) 中得到的 Q ( t ) Q(t) Q ( t ) 结果中:
Q ( t ) = 1 2 ω ( a + a † ) cos ( ω t ) + 1 ω ( − i ω 2 ( a − a † ) ) sin ( ω t ) = 1 2 ω [ a ( cos ( ω t ) − i sin ( ω t ) ) + a † ( cos ( ω t ) + i sin ( ω t ) ) ] = 1 2 ω ( a e − i ω t + a † e i ω 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*} Q ( t ) = 2 ω 1 ( a + a † ) cos ( ω t ) + ω 1 ( − i 2 ω ( a − a † ) ) sin ( ω t ) = 2 ω 1 [ a ( cos ( ω t ) − i sin ( ω t )) + a † ( cos ( ω t ) + i sin ( ω t )) ] = 2 ω 1 ( a e − iω t + a † e iω t )
同理,代入 P ( t ) P(t) P ( t ) 的表达式中:
P ( t ) = − ω 1 2 ω ( a + a † ) sin ( ω t ) − i ω 2 ( a − a † ) cos ( ω t ) = − i ω 2 [ − i ( a + a † ) sin ( ω t ) + ( a − a † ) cos ( ω t ) ] = − i ω 2 [ a ( cos ( ω t ) − i sin ( ω t ) ) − a † ( cos ( ω t ) + i sin ( ω t ) ) ] = − i ω 2 ( a e − i ω t − a † e i ω 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*} P ( t ) = − ω 2 ω 1 ( a + a † ) sin ( ω t ) − i 2 ω ( a − a † ) cos ( ω t ) = − i 2 ω [ − i ( a + a † ) sin ( ω t ) + ( a − a † ) cos ( ω t ) ] = − i 2 ω [ a ( cos ( ω t ) − i sin ( ω t )) − a † ( cos ( ω t ) + i sin ( ω t )) ] = − i 2 ω ( a e − iω t − a † e iω t )
最终结果为:
Q ( t ) = 1 2 ω ( a e − i ω t + a † e i ω t ) \boxed{Q(t) = \frac{1}{\sqrt{2\omega}} \left( a e^{-i\omega t} + a^\dagger e^{i\omega t} \right)} Q ( t ) = 2 ω 1 ( a e − iω t + a † e iω t )
P ( t ) = − i ω 2 ( a e − i ω t − a † e i ω t ) \boxed{P(t) = -i\sqrt{\frac{\omega}{2}} \left( a e^{-i\omega t} - a^\dagger e^{i\omega t} \right)} P ( t ) = − i 2 ω ( a e − iω t − a † e iω t )
(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 ) = Q + ( t ) + Q − ( t ) , 其中 Q + ( t ) = 1 2 ω a e − i ω t , Q − ( t ) = 1 2 ω a † e i ω t Q(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} Q ( t ) = Q + ( t ) + Q − ( t ) , 其中 Q + ( t ) = 2 ω 1 a e − iω t , Q − ( t ) = 2 ω 1 a † e iω t
利用 a ∣ 0 ⟩ = 0 a|0\rangle = 0 a ∣0 ⟩ = 0 和 ⟨ 0 ∣ a † = 0 \langle 0|a^\dagger = 0 ⟨ 0∣ a † = 0 ,可知 Q + ( t ) ∣ 0 ⟩ = 0 Q^+(t)|0\rangle = 0 Q + ( t ) ∣0 ⟩ = 0 且 ⟨ 0 ∣ Q − ( t ) = 0 \langle 0|Q^-(t) = 0 ⟨ 0∣ Q − ( t ) = 0 。
它们的对易子为(非算符,仅为复数):
[ Q + ( t 1 ) , Q − ( t 2 ) ] = 1 2 ω e − i ω ( t 1 − t 2 ) [ a , a † ] = 1 2 ω e − i ω ( t 1 − t 2 ) [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)} [ Q + ( t 1 ) , Q − ( t 2 )] = 2 ω 1 e − iω ( t 1 − t 2 ) [ a , a † ] = 2 ω 1 e − iω ( t 1 − t 2 )
验证 (7.16):
当 t 1 > t 2 t_1 > t_2 t 1 > t 2 时,编时乘积 T Q ( t 1 ) Q ( t 2 ) = Q ( t 1 ) Q ( t 2 ) T Q(t_1)Q(t_2) = Q(t_1)Q(t_2) T Q ( t 1 ) Q ( t 2 ) = Q ( t 1 ) Q ( t 2 ) 。计算真空期望值:
⟨ 0 ∣ Q ( t 1 ) Q ( t 2 ) ∣ 0 ⟩ = ⟨ 0 ∣ ( Q + ( t 1 ) + Q − ( t 1 ) ) ( Q + ( t 2 ) + Q − ( t 2 ) ) ∣ 0 ⟩ = ⟨ 0 ∣ Q + ( t 1 ) Q − ( t 2 ) ∣ 0 ⟩ = ⟨ 0 ∣ [ Q + ( t 1 ) , Q − ( t 2 ) ] + Q − ( t 2 ) Q + ( t 1 ) ∣ 0 ⟩ = [ Q + ( t 1 ) , Q − ( t 2 ) ] = 1 2 ω e − i ω ( t 1 − t 2 ) \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*} ⟨ 0∣ Q ( t 1 ) Q ( t 2 ) ∣0 ⟩ = ⟨ 0∣ ( Q + ( t 1 ) + Q − ( t 1 )) ( Q + ( t 2 ) + Q − ( t 2 )) ∣0 ⟩ = ⟨ 0∣ Q + ( t 1 ) Q − ( t 2 ) ∣0 ⟩ = ⟨ 0∣ [ Q + ( t 1 ) , Q − ( t 2 )] + Q − ( t 2 ) Q + ( t 1 ) ∣0 ⟩ = [ Q + ( t 1 ) , Q − ( t 2 )] = 2 ω 1 e − iω ( t 1 − t 2 )
同理,当 t 2 > t 1 t_2 > t_1 t 2 > t 1 时,结果为 1 2 ω e − i ω ( t 2 − t 1 ) \frac{1}{2\omega} e^{-i\omega(t_2 - t_1)} 2 ω 1 e − iω ( t 2 − t 1 ) 。综合两种情况,编时关联函数为:
⟨ 0 ∣ T Q ( t 1 ) Q ( t 2 ) ∣ 0 ⟩ = 1 2 ω e − i ω ∣ t 1 − t 2 ∣ \langle 0| T Q(t_1)Q(t_2) |0\rangle = \frac{1}{2\omega} e^{-i\omega|t_1 - t_2|} ⟨ 0∣ T Q ( t 1 ) Q ( t 2 ) ∣0 ⟩ = 2 ω 1 e − iω ∣ t 1 − t 2 ∣
已知简谐振子的费曼格林函数定义为 G ( t ) = i 2 ω e − i ω ∣ t ∣ G(t) = \frac{i}{2\omega} e^{-i\omega|t|} G ( t ) = 2 ω i e − iω ∣ t ∣ ,因此 1 i G ( t 1 − t 2 ) = 1 2 ω e − i ω ∣ t 1 − t 2 ∣ \frac{1}{i}G(t_1 - t_2) = \frac{1}{2\omega} e^{-i\omega|t_1 - t_2|} i 1 G ( t 1 − t 2 ) = 2 ω 1 e − iω ∣ t 1 − t 2 ∣ 。由于 G ( t ) G(t) G ( t ) 是偶函数,G ( t 2 − t 1 ) = G ( t 1 − t 2 ) G(t_2 - t_1) = G(t_1 - t_2) G ( t 2 − t 1 ) = G ( t 1 − t 2 ) 。故:
⟨ 0 ∣ T Q ( t 1 ) Q ( t 2 ) ∣ 0 ⟩ = 1 i G ( t 2 − t 1 ) \boxed{\langle 0| T Q(t_1)Q(t_2) |0\rangle = \frac{1}{i} G(t_2 - t_1)} ⟨ 0∣ T Q ( t 1 ) Q ( t 2 ) ∣0 ⟩ = i 1 G ( t 2 − t 1 )
这验证了方程 (7.16)。
验证 (7.17):
由于编时乘积对时间标签的排列是全对称的,我们可以不失一般性地假设 t 1 > t 2 > t 3 > t 4 t_1 > t_2 > t_3 > t_4 t 1 > t 2 > t 3 > t 4 。此时 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 ) 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) 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 ∣ ( Q 1 + + Q 1 − ) ( Q 2 + + Q 2 − ) ( Q 3 + + Q 3 − ) ( Q 4 + + Q 4 − ) ∣ 0 ⟩ \langle 0| (Q^+_1 + Q^-_1)(Q^+_2 + Q^-_2)(Q^+_3 + Q^-_3)(Q^+_4 + Q^-_4) |0\rangle ⟨ 0∣ ( Q 1 + + Q 1 − ) ( Q 2 + + Q 2 − ) ( Q 3 + + Q 3 − ) ( Q 4 + + Q 4 − ) ∣0 ⟩
由于最右侧的 Q 4 + Q^+_4 Q 4 + 作用在真空上为零,最左侧的 Q 1 − Q^-_1 Q 1 − 作用在左真空上为零,上式简化为:
⟨ 0 ∣ Q 1 + ( Q 2 + + Q 2 − ) ( Q 3 + + Q 3 − ) Q 4 − ∣ 0 ⟩ = ⟨ 0 ∣ Q 1 + Q 2 + Q 3 − Q 4 − ∣ 0 ⟩ + ⟨ 0 ∣ Q 1 + Q 2 − Q 3 + Q 4 − ∣ 0 ⟩ \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 ⟨ 0∣ Q 1 + ( Q 2 + + Q 2 − ) ( Q 3 + + Q 3 − ) Q 4 − ∣0 ⟩ = ⟨ 0∣ Q 1 + Q 2 + Q 3 − Q 4 − ∣0 ⟩ + ⟨ 0∣ Q 1 + Q 2 − Q 3 + Q 4 − ∣0 ⟩
分别计算这两项。对于第一项,利用对易关系将 Q 2 + Q^+_2 Q 2 + 向右移动:
⟨ 0 ∣ Q 1 + Q 2 + Q 3 − Q 4 − ∣ 0 ⟩ = ⟨ 0 ∣ Q 1 + ( [ Q 2 + , Q 3 − ] + Q 3 − Q 2 + ) Q 4 − ∣ 0 ⟩ = [ Q 2 + , Q 3 − ] ⟨ 0 ∣ Q 1 + Q 4 − ∣ 0 ⟩ + ⟨ 0 ∣ Q 1 + Q 3 − [ Q 2 + , Q 4 − ] ∣ 0 ⟩ = [ Q 2 + , Q 3 − ] [ Q 1 + , Q 4 − ] + [ Q 2 + , Q 4 − ] [ Q 1 + , Q 3 − ] \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*} ⟨ 0∣ Q 1 + Q 2 + Q 3 − Q 4 − ∣0 ⟩ = ⟨ 0∣ Q 1 + ([ Q 2 + , Q 3 − ] + Q 3 − Q 2 + ) Q 4 − ∣0 ⟩ = [ Q 2 + , Q 3 − ] ⟨ 0∣ Q 1 + Q 4 − ∣0 ⟩ + ⟨ 0∣ Q 1 + Q 3 − [ Q 2 + , Q 4 − ] ∣0 ⟩ = [ Q 2 + , Q 3 − ] [ Q 1 + , Q 4 − ] + [ Q 2 + , Q 4 − ] [ Q 1 + , Q 3 − ]
对于第二项:
⟨ 0 ∣ Q 1 + Q 2 − Q 3 + Q 4 − ∣ 0 ⟩ = ⟨ 0 ∣ Q 1 + Q 2 − ∣ 0 ⟩ ⟨ 0 ∣ Q 3 + Q 4 − ∣ 0 ⟩ = [ Q 1 + , Q 2 − ] [ Q 3 + , Q 4 − ] \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] ⟨ 0∣ Q 1 + Q 2 − Q 3 + Q 4 − ∣0 ⟩ = ⟨ 0∣ Q 1 + Q 2 − ∣0 ⟩ ⟨ 0∣ Q 3 + Q 4 − ∣0 ⟩ = [ Q 1 + , Q 2 − ] [ Q 3 + , Q 4 − ]
将两项相加,得到:
⟨ 0 ∣ Q ( t 1 ) Q ( t 2 ) Q ( t 3 ) Q ( t 4 ) ∣ 0 ⟩ = [ Q 1 + , Q 2 − ] [ Q 3 + , Q 4 − ] + [ Q 1 + , Q 3 − ] [ Q 2 + , Q 4 − ] + [ Q 1 + , Q 4 − ] [ Q 2 + , Q 3 − ] \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] ⟨ 0∣ Q ( t 1 ) Q ( t 2 ) Q ( t 3 ) Q ( t 4 ) ∣0 ⟩ = [ Q 1 + , Q 2 − ] [ Q 3 + , Q 4 − ] + [ Q 1 + , Q 3 − ] [ Q 2 + , Q 4 − ] + [ Q 1 + , Q 4 − ] [ Q 2 + , Q 3 − ]
在我们的假设 t i > t j t_i > t_j t i > t j 下,由 (7.16) 的推导可知 [ Q i + , Q j − ] = 1 i G ( t i − t j ) [Q^+_i, Q^-_j] = \frac{1}{i} G(t_i - t_j) [ Q i + , Q j − ] = i 1 G ( t i − t j ) 。代入上式即得:
⟨ 0 ∣ Q ( t 1 ) Q ( t 2 ) Q ( t 3 ) Q ( t 4 ) ∣ 0 ⟩ = 1 i 2 [ 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 ) ] \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] ⟨ 0∣ Q ( t 1 ) Q ( t 2 ) Q ( t 3 ) Q ( t 4 ) ∣0 ⟩ = i 2 1 [ 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 ) ]
由于等式右侧对时间标签 t 1 , t 2 , t 3 , t 4 t_1, t_2, t_3, t_4 t 1 , t 2 , t 3 , t 4 的任意置换都是完全对称的,而左侧的编时乘积定义本身也具有这种置换对称性,因此该等式对任意时间排序均成立。
⟨ 0 ∣ T Q ( t 1 ) Q ( t 2 ) Q ( t 3 ) Q ( t 4 ) ∣ 0 ⟩ = 1 i 2 [ 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 ) ] \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*}
} ⟨ 0∣ T Q ( t 1 ) Q ( t 2 ) Q ( t 3 ) Q ( t 4 ) ∣0 ⟩ = i 2 1 [ 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 ) ]
这验证了方程 (7.17),即四点关联函数的维克定理(Wick's Theorem)展开。