蓋爾曼–勞定理(英語:Gell-Mann and Low theorem)是量子場論中的重要定理,它說明了有相互作用的多體系統的基態(真空態)與相應的無相互作用多體系統之間的關係。1951年由默里·蓋爾曼和弗朗西斯·勞證明。該定理的重要意義在於,它將有相互作用系統的格林函數和無相互作用系統的格林函數聯繫起來[1]。儘管一般用於基態,蓋爾曼–勞定理實際上可以應用於體系哈密頓量的任一個本徵態。其原始證明[2]用到微擾理論,它將多體系統中的相互作用視為微擾,並通過無限慢的過程(絕熱過程)引入該微擾,從而將有相互作用的多體系統與對應的無相互作用的系統聯繫起來。
設 是 的一個本徵態,能量為 。定義相互作用的哈密頓量為 ,其中 是耦合常數, 是相互作用項,定義帶參量的哈密頓 ,可以看到,當 時,。而當時,。令 為對應於的相互作用繪景(用下標I表示)下的時間演化算符。蓋爾曼–勞定理說的是,若 時,
的極限存在,則 就是 的本徵態。
注意當時,隨着時間t的增加,相互作用項實際上是以無限慢的速度引入的,這稱為絕熱連續過程[1],此時稱構成與之間的一個絕熱連接。
蓋爾曼–勞定理本身並沒有說當是基態時,也是基態,也就是說,沒有排除能級在絕熱連接時發生交叉的可能。不過,在微擾論的條件滿足的前提下,一般認為當為基態時,也是基態[1]。
原始的論文是通過演化算符的戴森展開式來完成證明的,而Molinari則將其有效性推廣到微擾論成立的範圍之外。下面介紹Molinari的方法[3]。在 中令 ,由時間演化算符滿足的薛定諤方程
及條件 ,可以寫出方程的形式解
先集中考慮 的情形,換元後得到,
於是有
將上式與前面提到的薛定諤方程及其伴式
結合就有,
與 之間的關係式形式上與上式相同,事實上,將上式兩邊各左乘 ,右乘 ,並利用關係
就可以得到與 之間的關係式。
現在,令,等式兩邊作用在上,並注意到是的本徵態,就有
對於時間為負值的情況,證明完全類似,最後就得到,
下面以時間為負值為例繼續證明,為清晰起見,先把算符寫成簡略形式,即將簡寫作。
下面計算 ,把的定義式代入,並利用上面的關係式,可得,
式中 .
即
類似地可證明 的關係式,綜合起來可寫成:
然後取的極限,即可證明是的本徵函數,本徵值分別為[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)