蓋爾曼–勞定理 (英語:Gell-Mann and Low theorem )是量子場論 中的重要定理,它說明了有相互作用的多體系統的基態(真空態)與相應的無相互作用多體系統之間的關係。1951年由默里·蓋爾曼 和弗朗西斯·勞 證明。該定理的重要意義在於,它將有相互作用系統的格林函數 和無相互作用系統的格林函數聯繫起來[ 1] 。儘管一般用於基態,蓋爾曼–勞定理實際上可以應用於體系哈密頓量的任一個本徵態。其原始證明[ 2] 用到微擾理論,它將多體系統中的相互作用視為微擾,並通過無限慢的過程(絕熱過程)引入該微擾,從而將有相互作用的多體系統與對應的無相互作用的系統聯繫起來。
原始的論文是通過演化算符的戴森展開式來完成證明的,而Molinari則將其有效性推廣到微擾論成立的範圍之外。下面介紹Molinari的方法[ 3] 。在
H
ϵ
{\displaystyle H_{\epsilon }}
中令
g
=
e
ϵ
θ
{\displaystyle g=e^{\epsilon \theta }}
,由時間演化算符滿足的薛定諤方程
i
ℏ
∂
t
1
U
ϵ
(
t
1
,
t
2
)
=
H
ϵ
(
t
1
)
U
ϵ
(
t
1
,
t
2
)
{\displaystyle i\hbar \partial _{t_{1}}U_{\epsilon }(t_{1},t_{2})=H_{\epsilon }(t_{1})U_{\epsilon }(t_{1},t_{2})}
及條件
U
ϵ
(
t
,
t
)
=
1
{\displaystyle U_{\epsilon }(t,t)=1}
,可以寫出方程的形式解
U
ϵ
(
t
1
,
t
2
)
=
1
+
1
i
ℏ
∫
t
2
t
1
d
t
′
(
H
0
+
e
ϵ
(
θ
−
|
t
′
|
)
V
)
U
ϵ
(
t
′
,
t
2
)
.
{\displaystyle U_{\epsilon }(t_{1},t_{2})=1+{\frac {1}{i\hbar }}\int _{t_{2}}^{t_{1}}dt'(H_{0}+e^{\epsilon (\theta -|t'|)}V)U_{\epsilon }(t',t_{2}).}
先集中考慮
0
≥
t
2
≥
t
1
{\displaystyle 0\geq t_{2}\geq t_{1}}
的情形,換元後得到,
U
ϵ
(
t
1
,
t
2
)
=
1
+
1
i
ℏ
∫
θ
+
t
2
θ
+
t
1
d
t
′
(
H
0
+
e
ϵ
t
′
V
)
U
ϵ
(
t
′
−
θ
,
t
2
)
.
{\displaystyle U_{\epsilon }(t_{1},t_{2})=1+{\frac {1}{i\hbar }}\int _{\theta +t_{2}}^{\theta +t_{1}}dt'(H_{0}+e^{\epsilon t'}V)U_{\epsilon }(t'-\theta ,t_{2}).}
於是有
∂
θ
U
ϵ
(
t
1
,
t
2
)
=
ϵ
g
∂
g
U
ϵ
(
t
1
,
t
2
)
=
∂
t
1
U
ϵ
(
t
1
,
t
2
)
+
∂
t
2
U
ϵ
(
t
1
,
t
2
)
.
{\displaystyle \partial _{\theta }U_{\epsilon }(t_{1},t_{2})=\epsilon g\partial _{g}U_{\epsilon }(t_{1},t_{2})=\partial _{t_{1}}U_{\epsilon }(t_{1},t_{2})+\partial _{t_{2}}U_{\epsilon }(t_{1},t_{2}).}
將上式與前面提到的薛定諤方程及其伴式
−
i
ℏ
∂
t
1
U
ϵ
(
t
2
,
t
1
)
=
U
ϵ
(
t
2
,
t
1
)
H
ϵ
(
t
1
)
{\displaystyle -i\hbar \partial _{t_{1}}U_{\epsilon }(t_{2},t_{1})=U_{\epsilon }(t_{2},t_{1})H_{\epsilon }(t_{1})}
結合就有,
i
ℏ
ϵ
g
∂
g
U
ϵ
(
t
1
,
t
2
)
=
H
ϵ
(
t
1
)
U
ϵ
(
t
1
,
t
2
)
−
U
ϵ
(
t
1
,
t
2
)
H
ϵ
(
t
2
)
.
{\displaystyle i\hbar \epsilon g\partial _{g}U_{\epsilon }(t_{1},t_{2})=H_{\epsilon }(t_{1})U_{\epsilon }(t_{1},t_{2})-U_{\epsilon }(t_{1},t_{2})H_{\epsilon }(t_{2}).}
H
ϵ
I
{\displaystyle H_{\epsilon I}}
與
U
ϵ
I
{\displaystyle U_{\epsilon I}}
之間的關係式形式上與上式相同,事實上,將上式兩邊各左乘
e
i
H
0
t
1
/
ℏ
{\displaystyle e^{iH_{0}t_{1}/\hbar }}
,右乘
e
i
H
0
t
2
/
ℏ
{\displaystyle e^{iH_{0}t_{2}/\hbar }}
,並利用關係
U
ϵ
I
(
t
1
,
t
2
)
=
e
i
H
0
t
1
/
ℏ
U
ϵ
(
t
1
,
t
2
)
e
−
i
H
0
t
2
/
ℏ
.
{\displaystyle U_{\epsilon I}(t_{1},t_{2})=e^{iH_{0}t_{1}/\hbar }U_{\epsilon }(t_{1},t_{2})e^{-iH_{0}t_{2}/\hbar }.}
就可以得到
H
ϵ
I
{\displaystyle H_{\epsilon I}}
與
U
ϵ
I
{\displaystyle U_{\epsilon I}}
之間的關係式。
現在,令
t
1
=
0
,
t
2
=
+
∞
{\displaystyle t_{1}=0,t_{2}=+\infty }
,等式兩邊作用在
|
Ψ
0
⟩
{\displaystyle |\Psi _{0}\rangle }
上,並注意到
|
Ψ
0
⟩
{\displaystyle |\Psi _{0}\rangle }
是
H
ϵ
(
+
∞
)
=
H
0
{\displaystyle H_{\epsilon }(+\infty )=H_{0}}
的本徵態,就有
(
H
ϵ
,
t
=
0
−
E
0
+
i
ℏ
ϵ
g
∂
g
)
U
ϵ
I
(
0
,
∞
)
|
Ψ
0
⟩
=
0.
{\displaystyle \left(H_{\epsilon ,t=0}-E_{0}+i\hbar \epsilon g\partial _{g}\right)U_{\epsilon I}(0,\infty )|\Psi _{0}\rangle =0.}
對於時間為負值的情況,證明完全類似,最後就得到,
(
H
ϵ
,
t
=
0
−
E
0
±
i
ℏ
ϵ
g
∂
g
)
U
ϵ
I
(
0
,
±
∞
)
|
Ψ
0
⟩
=
0.
{\displaystyle \left(H_{\epsilon ,t=0}-E_{0}\pm i\hbar \epsilon g\partial _{g}\right)U_{\epsilon I}(0,\pm \infty )|\Psi _{0}\rangle =0.}
下面以時間為負值為例繼續證明,為清晰起見,先把算符寫成簡略形式,即將
U
ϵ
I
(
0
,
−
∞
)
{\displaystyle U_{\epsilon I}(0,-\infty )}
簡寫作
U
{\displaystyle U}
。
i
ℏ
ϵ
g
∂
g
(
U
|
Ψ
0
⟩
)
=
(
H
ϵ
−
E
0
)
U
|
Ψ
0
⟩
.
{\displaystyle i\hbar \epsilon g\partial _{g}\left(U|\Psi _{0}\rangle \right)=(H_{\epsilon }-E_{0})U|\Psi _{0}\rangle .}
下面計算
i
ℏ
ϵ
g
∂
g
|
Ψ
ϵ
−
⟩
{\displaystyle i\hbar \epsilon g\partial _{g}|\Psi _{\epsilon }^{-}\rangle }
,把
|
Ψ
ϵ
−
⟩
{\displaystyle |\Psi _{\epsilon }^{-}\rangle }
的定義式代入,並利用上面的關係式,可得,
i
ℏ
ϵ
g
∂
g
|
Ψ
ϵ
−
⟩
=
1
⟨
Ψ
0
|
U
|
Ψ
0
⟩
(
H
ϵ
−
E
0
)
U
|
Ψ
0
⟩
−
U
|
Ψ
0
⟩
⟨
Ψ
0
|
U
|
Ψ
0
⟩
2
⟨
Ψ
0
|
H
ϵ
−
E
0
|
Ψ
0
⟩
=
(
H
ϵ
−
E
0
)
|
Ψ
ϵ
−
⟩
−
|
Ψ
ϵ
−
⟩
⟨
Ψ
0
|
H
ϵ
−
E
0
|
Ψ
ϵ
−
⟩
=
[
H
ϵ
−
E
−
]
|
Ψ
ϵ
−
⟩
.
{\displaystyle {\begin{aligned}i\hbar \epsilon g\partial _{g}|\Psi _{\epsilon }^{-}\rangle &={\frac {1}{\langle \Psi _{0}|U|\Psi _{0}\rangle }}(H_{\epsilon }-E_{0})U|\Psi _{0}\rangle -{\frac {U|\Psi _{0}\rangle }{{\langle \Psi _{0}|U|\Psi _{0}\rangle }^{2}}}\langle \Psi _{0}|H_{\epsilon }-E_{0}|\Psi _{0}\rangle \\&=(H_{\epsilon }-E_{0})|\Psi _{\epsilon }^{-}\rangle -|\Psi _{\epsilon }^{-}\rangle \langle \Psi _{0}|H_{\epsilon }-E_{0}|\Psi _{\epsilon }^{-}\rangle \\&=\left[H_{\epsilon }-E^{-}\right]|\Psi _{\epsilon }^{-}\rangle .\end{aligned}}}
式中
E
−
=
E
0
+
⟨
Ψ
0
|
H
ϵ
−
H
0
|
Ψ
ϵ
−
⟩
{\displaystyle E^{-}=E_{0}+\langle \Psi _{0}|H_{\epsilon }-H_{0}|\Psi _{\epsilon }^{-}\rangle }
.
即
[
H
ϵ
−
E
−
−
i
ℏ
ϵ
g
∂
g
]
|
Ψ
ϵ
−
⟩
=
0.
{\displaystyle \left[H_{\epsilon }-E^{-}-i\hbar \epsilon g\partial _{g}\right]|\Psi _{\epsilon }^{-}\rangle =0.}
類似地可證明
|
Ψ
ϵ
+
⟩
{\displaystyle |\Psi _{\epsilon }^{+}\rangle }
的關係式,綜合起來可寫成:
[
H
ϵ
−
E
±
±
i
ℏ
ϵ
g
∂
g
]
|
Ψ
ϵ
±
⟩
=
0
{\displaystyle \left[H_{\epsilon }-E^{\pm }\pm i\hbar \epsilon g\partial _{g}\right]|\Psi _{\epsilon }^{\pm }\rangle =0}
然後取
ϵ
→
0
+
{\displaystyle \epsilon \rightarrow 0^{+}}
的極限,即可證明
|
Ψ
ϵ
±
⟩
{\displaystyle |\Psi _{\epsilon }^{\pm }\rangle }
是
H
{\displaystyle H}
的本徵函數,本徵值分別為
E
±
{\displaystyle E^{\pm }}
[ 3] 。
K. Hepp: Lecture Notes in Physics (Springer-Verlag, New York, 1969), Vol. 2.
G. Nenciu and G. Rasche: "Adiabatic theorem and Gell-Mann-Low formula", Helv. Phys. Acta 62, 372 (1989).
A.L. Fetter and J.D. Walecka: "Quantum Theory of Many-Particle Systems", McGraw–Hill (1971)