|
|
第5行: |
第5行: |
|
设 <math>|\Psi_0\rangle</math> 是 <math>H_0</math> 的一个本征态,能量为 <math>E_0</math> 。定义相互作用的哈密顿量为 <math>H=H_0 + gV</math>,其中 <math>g</math> 是耦合常数, <math>V</math> 是相互作用项,定义带参量的哈密顿 <math>H_\epsilon=H_0 + e^{-\epsilon |t|}gV</math> ,可以看到,当 <math>|t|\rightarrow\infty</math> 时,<math>H_\epsilon=H_0</math>。而当<math>t=0</math>时,<math>H_\epsilon=H</math>。令 <math>U_{\epsilon I}</math> 为对应于<math>H_\epsilon</math>的[[相互作用繪景]](用下标I表示)下的算符。盖尔曼–劳定理说的是,若 <math>\epsilon\rightarrow 0^+</math> 时, |
|
设 <math>|\Psi_0\rangle</math> 是 <math>H_0</math> 的一个本征态,能量为 <math>E_0</math> 。定义相互作用的哈密顿量为 <math>H=H_0 + gV</math>,其中 <math>g</math> 是耦合常数, <math>V</math> 是相互作用项,定义带参量的哈密顿 <math>H_\epsilon=H_0 + e^{-\epsilon |t|}gV</math> ,可以看到,当 <math>|t|\rightarrow\infty</math> 时,<math>H_\epsilon=H_0</math>。而当<math>t=0</math>时,<math>H_\epsilon=H</math>。令 <math>U_{\epsilon I}</math> 为对应于<math>H_\epsilon</math>的[[相互作用繪景]](用下标I表示)下的算符。盖尔曼–劳定理说的是,若 <math>\epsilon\rightarrow 0^+</math> 时, |
|
: <math> |\Psi^{(\pm)}_\epsilon \rangle = \frac{ U_{\epsilon I} (0,\pm\infty) |\Psi_0 \rangle}{\langle \Psi_0 | U_{\epsilon I}(0,\pm\infty)|\Psi_0\rangle} </math> |
|
: <math> |\Psi^{(\pm)}_\epsilon \rangle = \frac{ U_{\epsilon I} (0,\pm\infty) |\Psi_0 \rangle}{\langle \Psi_0 | U_{\epsilon I}(0,\pm\infty)|\Psi_0\rangle} </math> |
|
的极限存在,则 <math>|\Psi^{(\pm)}_\epsilon \rangle</math> 就是 <math>H</math> 的一个本征态。 |
|
的极限存在,则 <math>|\Psi^{(\pm)}_\epsilon \rangle</math> 就是 <math>H</math> 的本征态。 |
|
|
|
|
|
注意当<math>\epsilon\rightarrow 0^+</math>时,随着时间{{mvar|t}}的增加,相互作用项实际上是以无限慢的速度引入的,这称为绝热连续过程<ref name="condensed" />,此时称<math>H_\epsilon</math>构成<math>H_0</math>与<math>H</math>之间的一个绝热连接。 |
|
注意当<math>\epsilon\rightarrow 0^+</math>时,随着时间{{mvar|t}}的增加,相互作用项实际上是以无限慢的速度引入的,这称为绝热连续过程<ref name="condensed" />,此时称<math>H_\epsilon</math>构成<math>H_0</math>与<math>H</math>之间的一个绝热连接。 |
盖尔曼–劳定理(英語:Gell-Mann and Low theorem)是量子场论中的重要定理,它说明了有相互作用的多体系统的基态(真空态)与相应的无相互作用多体系统之间的关系。1951年由默里·盖尔曼和弗朗西斯·劳证明。该定理的重要意义在于,它将有相互作用系统的格林函数和无相互作用系统的格林函数联系起来[1]。尽管一般用于基态,盖尔曼–劳定理实际上可以应用于体系哈密顿量的任一个本征态。其原始证明[2]用到微扰理论,它将多体系统中的相互作用视为微扰,并通过无限慢的过程(绝热过程)引入该微扰,从而将有相互作用的多体系统与对应的无相互作用的系统联系起来。
原理的表述
设
是
的一个本征态,能量为
。定义相互作用的哈密顿量为
,其中
是耦合常数,
是相互作用项,定义带参量的哈密顿
,可以看到,当
时,
。而当
时,
。令
为对应于
的相互作用繪景(用下标I表示)下的算符。盖尔曼–劳定理说的是,若
时,
![{\displaystyle |\Psi _{\epsilon }^{(\pm )}\rangle ={\frac {U_{\epsilon I}(0,\pm \infty )|\Psi _{0}\rangle }{\langle \Psi _{0}|U_{\epsilon I}(0,\pm \infty )|\Psi _{0}\rangle }}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO80oDw4zDm0aja4aqeQaqwOztKNytC0njzFnDC3ajFDzDlEyqoNaNrA)
的极限存在,则
就是
的本征态。
注意当
时,随着时间t的增加,相互作用项实际上是以无限慢的速度引入的,这称为绝热连续过程[1],此时称
构成
与
之间的一个绝热连接。
盖尔曼–劳定理本身并没有说当
是基态时,
也是基态,也就是说,没有排除能级在绝热连接时发生交叉的可能。不过,在微扰论的条件满足的前提下,一般认为当
为基态时,
也是基态[1]。
证明
原始的论文是通过演化算符的戴森展开式来完成证明的,而Molinari则将其有效性推广到微扰论成立的范围之外。下面介绍Molinari的方法[3]。在
中令
,由时间演化算符满足的薛定谔方程
![{\displaystyle i\hbar \partial _{t_{1}}U_{\epsilon }(t_{1},t_{2})=H_{\epsilon }(t_{1})U_{\epsilon }(t_{1},t_{2})}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO85o2w5ageNz2hAz2w3zte1atrDyji2ztePagdCoDJDytGQoqw2yjKP)
及条件
,可以写出方程的形式解
![{\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}).}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO82aAhAo2iPatCNnDoQnqo3a2o5zjeNoqo3ntsQa2zDato2zqrBnAhD)
先集中考虑
的情形,换元后得到,
![{\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}).}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9AaDa4aNdFngnEyqi4aDGNajzFygi4zDsNyqeQatJDaNnCnDFFz2nA)
于是有
![{\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}).}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8PyjKQnjFAzthDoDi4yqwNzjK2aArFageNzNhAz2eOztC1oDw3a2iO)
将上式与前面提到的薛定谔方程及其伴式
![{\displaystyle -i\hbar \partial _{t_{1}}U_{\epsilon }(t_{2},t_{1})=U_{\epsilon }(t_{2},t_{1})H_{\epsilon }(t_{1})}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO81nDwOo2vCaDG0yti2zqwPzNm4njsPytBFatsQati1zjnCzNsOyqiQ)
结合就有,
![{\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}).}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8PyqhAaAiPaDrDztm0otzEaNoOaDi4aDK4z2hDoAa5oto1njzFajFD)
与
之间的关系式形式上与上式相同,事实上,将上式两边各左乘
,右乘
,并利用关系
![{\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 }.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8QaDG4atw0nDw1ytoQzqsNytdAzAdAotK5oDaOoNC2atzAntoNnDrD)
就可以得到
与
之间的关系式。
现在,令
,等式两边作用在
上,并注意到
是
的本征态,就有
![{\displaystyle \left(H_{\epsilon ,t=0}-E_{0}+i\hbar \epsilon g\partial _{g}\right)U_{\epsilon I}(0,\infty )|\Psi _{0}\rangle =0.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8NaNG5atm4ztzAajsQnjG5oNaNa2dAoqa5yjo0ygrCatzDaNe3ztGO)
对于时间为负值的情况,证明完全类似,最后就得到,
![{\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.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9DyqdFaqi1nqhBaAw3z2s4zNo3nDi0ajrAoDoPzNG5ajvByqnBaDC2)
下面以时间为负值为例继续证明,为清晰起见,先把算符写成简略形式,即将
简写作
。
![{\displaystyle i\hbar \epsilon g\partial _{g}\left(U|\Psi _{0}\rangle \right)=(H_{\epsilon }-E_{0})U|\Psi _{0}\rangle .}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9FotGPyga3zqo0ajCOyqrDoDBAnAs5atJBajhBaNnAzgs0nqvCagw0)
下面计算
,把
的定义式代入,并利用上面的关系式,可得,
- 解析失败 (SVG(MathML可通过浏览器插件启用):从服务器“http://localhost:6011/zh.wikipedia.org/v1/”返回无效的响应(“Math extension cannot connect to Restbase.”):): {\displaystyle \begin{align} 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{align} }
式中
. 下面根据假设,两边取
时的极限,此时等式左边变为其极限值(一个常数),于是可见
是
的一个本征态,证毕。
参考文献
- 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)