#rst2hooktail_source
============================================================
グリーン関数を理解しよう(相互作用表示とS行列)
============================================================
これからいくつかの記事を通して、
物性物理で扱われる絶対零度におけるグリーン関数の理解を目指します。
いくつかの定理などの証明は省略して、要点の俯瞰をする方針で行きます。
参考文献として、下に書くMahan先生の本を挙げて
おきます。このシリーズでは $\hbar=1$ とします。
次の記事は 相関関数の計算_ です。( 目次_ )
相互作用表示
============================
まず、解が厳密には解けないハミルトニアンを $H$ とします。
そして、非摂動ハミルトニアン（厳密に解ける）を $H_0$ とします。
その差を $V=H-H_0$ とします。ここで $V$ と書くと、
ポテンシャルを想像してしまうかと思いますが、
必ずしもポテンシャルではありません。
むしろ、（第二量子化演算子で表される）相互作用と言った方が適切です。
相互作用表示では演算子は $H_0$ に従って時間発展します。
この表示の演算子をキャレット $\hat{ }$ を付けて表します。
<tex>
\hat{O}(t) = e^{iH_0t}Oe^{-iH_0t} \tag{##}
</tex>
波動関数は以下の様な時間発展をします。
<tex>
\hat{\psi}(t) = e^{iH_0t} e^{-iHt} \hat{\psi}(0) \tag{##}
</tex>
ここで、 $[H_0,V] \neq 0$ なので、
<tex>
e^{iH_0t} e^{-iHt} \neq e^{i(H_0-H)t} = e^{-iVt} \tag{##}
</tex>
であることにご注意ください。
物理量の値の時間発展は、
<tex>
\langle \hat{\psi}^\dagger_1(t) \hat{O}(t) \hat{\psi_2}(t) \rangle
&= \langle \hat{\psi}^\dagger_1(0) e^{iHt} e^{-iH_0t} \left( e^{iH_0t} \hat{O}(0) e^{-iH_0t} \right) e^{iH_0t} e^{-iHt} \hat{\psi_2}(0) \rangle \\
&= \langle \hat{\psi}^\dagger_1(0) e^{iHt} \hat{O}(0) e^{-iHt} \hat{\psi_2}(0) \rangle \tag{##}
</tex>
となり、シュレーディンガー表示やハイゼンベルク表示と同じであることが分かります。
さて、波動関数を時間微分してみましょう。
<tex>
\dfrac{\partial}{\partial t}\hat{\psi}(t)
&= i e^{iH_0t} (H_0-H) e^{-iHt} \hat{\psi}(0) \\
&= -i e^{iH_0t} V e^{-iHt} \hat{\psi}(0) \\
&= -i \left( e^{iH_0t} V e^{-iH_0t} \right) \left( e^{iH_0t} e^{-iHt} \hat{\psi}(0) \right)
\tag{##}
</tex>
となります。 $[H_0, e^{iH_0t}] = 0, [H, e^{iHt}] = 0$ に気を付けて下さい。
よって、
<tex>
\dfrac{\partial}{\partial t}\hat{\psi}(t)
&= -i \hat{V}(t) \hat{\psi}(t)
\tag{##}
</tex>
となります。
ここで $U(t)$ なる演算子を導入します。
<tex>
U(t) \equiv e^{iH_0t} e^{-iHt} \tag{##}
</tex>
です。これは、波動関数の時間発展を表しますが、
EMANさんの記事の 時間発展演算子_ $U(t)$ とは、
この記事の $U(t)$ は相互作用表示を扱う点で異なります。
<tex>
\dfrac{\partial}{\partial t} U(t)
&= i e^{iH_0t} (H_0-H) e^{-iHt} \\
&= -i e^{iH_0t} V e^{-iHt} \\
&= -i \left( e^{iH_0t} V e^{-iH_0t} \right) \left( e^{iH_0t} e^{-iHt} \right) \\
&= -i \hat{V}(t) U(t)
\tag{##}
</tex>
と言う、式 $(6)$ から時間依存性を抽出したような微分方程式を満たします。
ここで $U(t=0)$ は全く時間が経っていない波動関数を返しますから、恒等演算子 $1$ です。
式 $(8)$ を $t:0 \rightarrow t$ で積分すると、
<tex>
U(t) - U(0)
&= -i \int_0^t dt_1 \hat{V}(t_1) U(t_1)
\tag{##}
</tex>
つまり、
<tex>
U(t) &= 1 -i \int_0^t dt_1 \hat{V}(t_1) U(t_1)
\tag{##}
</tex>
となります。ここで、右辺の $U(t_1)$ は左辺の $U(t)$ と同じ関数ですから、 $U(t)$ を $U(t_1)$ に代入することで、
逐次展開が出来て（この辺は発散とか考えない辺り物理学的ですね。結合定数が大きくこの級数が $n$ の増加と共に減りにくい時は扱いにくいという欠点があります。つまり、強い力等のことです。）、
<tex>
U(t) &= 1 -i \int_0^t dt_1 \hat{V}(t_1) U(t_1) + (-i)^2 \int_0^t dt_1 \int_0^{t_1} dt_2 \hat{V}(t_1) \hat{V}(t_2) U(t_2) + \cdots \\
&= \sum_{n=0}^\infty (-i)^n \int_0^t dt_1 \int_0^{t_1} dt_2 \cdots \int_0^{t_{n-1}} dt_n \hat{V}(t_1) \hat{V}(t_2) \cdots \hat{V}(t_n) \tag{##}
</tex>
詳細は省きますが、時間順序演算子 $T$ なるものを使うと、この式は
<tex>
U(t) = T \exp \left[ -i \int_0^t dt_1 \hat{V}(t_1) \right] \tag{##}
</tex>
と簡潔に表せます。時間順序演算子の意義はこの様に表記を簡潔に表せると言う事です。
決して、新しい計算方法で計算を簡単に出来るような代物ではありません。
簡潔な表記の裏には、泥臭い計算があるのです。
S行列
===============
ここで、S行列なるものを考えます。行列とは言うものの演算子の仲間です。
これも時間発展に関わります。
定義は、
<tex>
\hat{\psi}(t) = S(t,t^\prime) \hat{\psi}(t^\prime) \tag{##}
</tex>
となる演算子です。ここで、
<tex>
\hat{\psi}(t) = U(t) \hat{\psi}(0) \tag{##}
</tex>
を使うと、
<tex>
\hat{\psi}(t) = U(t) \hat{\psi}(0) = S(t,t^\prime) U(t^\prime) \hat{\psi}(0) \tag{##}
</tex>
が言えるので、
<tex>
S(t,t^\prime) = U(t)U^\dagger(t^\prime)
\tag{##}
</tex>
と分かります。この演算子の性質を挙げていきます。
<tex>
&S(t,t) = U(t)U^\dagger(t) = e^{iH_0t} e^{-iHt} ( e^{iHt} e^{-iH_0t} ) = 1 \tag{##} \\
&S^\dagger(t,t^\prime) = U(t)U^\dagger(t^\prime) = S(t^\prime,t) \tag{##} \\
&S(t,t^\prime) S(t^\prime,t^{\prime \prime}) = S(t^\prime,t^{\prime \prime}) \tag{##}
</tex>
また、 $t$ での偏微分に対して、 $S(t,t^\prime)$ は $U(t)$ と同じ微分方程式を満たします。
<tex>
\dfrac{\partial}{\partial t} S(t,t^\prime)
&= \dfrac{\partial}{\partial t} U(t)U^\dagger(t^\prime) \\
&= -i \hat{V}(t) S(t,t^\prime)
\tag{##}
</tex>
よって、
<tex>
S(t,t^\prime) &= U(t)U^\dagger(t^\prime) \\
&= T \left( \exp \left[ -i \int_0^t dt_1 \hat{V}(t_1) \right] \exp \left[ i \int_0^{t^\prime} dt_1 \hat{V}(t_1) \right] \right) \\
&= T \exp \left[ -i \int_{t^\prime}^t dt_1 \hat{V}(t_1) \right]
\tag{##}
</tex>
と分かります。
ここで、 $\hat{\psi}(0)$ はシュレーディンガー表示の $t=0$ における波動関数 $\psi(0) = \hat{\psi}(0)$ と同じです。
よって、
<tex>
\hat{\psi}(t) = U(t) \psi(0)
\tag{##}
</tex>
が言えます。今、絶対零度の振る舞いに興味があるので基底状態を知りたいです。
グリーン関数を決定するには $H$ の厳密な基底状態の波動関数 $\psi(0)$ が必要です。
ここで、ゲルマン・ロウの定理というものがあります。（証明は書きません）
ハミルトニアンの解ける部分 $H_0$ の基底状態を $\phi_0$ とすると、
その定理を使うことで、
<tex>
\psi(0) = S(0,-\infty) \phi_0
\tag{##}
</tex>
が言えます。一方、
<tex>
\psi(0) = S(0,t)\hat{\psi}(t)
\tag{##}
</tex>
より、
<tex>
\psi(0) = S(0,-\infty) \hat{\psi}(-\infty)
\tag{##}
</tex>
式 $(23)$ と比較することで、
<tex>
\hat{\psi}(-\infty) = \phi_0
\tag{##}
</tex>
が分かります。 $\psi(0)$ は $V \neq 0$ の存在下での正しい最低エネルギー固有状態になっています。
ちなみに
<tex>
\hat{\psi}(\infty) = S(\infty,0) \psi(0)
\tag{##}
</tex>
$\hat{\psi}(\infty)$ は $\phi_0$ と位相因子 $e^{iL}$ を通して関係します。
<tex>
e^{iL} \phi_0 &= \hat{\psi}(\infty) = S(\infty,0) \psi(0) = S(\infty,-\infty) \phi_0 \\
e^{iL} &= \langle \phi_0 |S(\infty,-\infty)| \phi_0 \rangle
\tag{##}
</tex>
今日はこの辺りで一旦切りましょう。お疲れさまでした。
続きは 相関関数の計算_ です。
.. _目次: http://hooktail.sub.jp/quantum/studyGreenIndex/
.. _相関関数の計算: http://hooktail.sub.jp/quantum/studyGreen02/
.. _時間発展演算子: https://eman-physics.net/quantum/t_develop.html
@@reference: Gerald D.Mahan, Many-Particle Physics (Physics of Solids and Liquids), Springer, 2010, Chap2, 1441933395@@
@@reference: Gerald D.Mahan, Many-Particle Physics Third Edition (Physics of Solids and Liquids), Springer, 2010, Chap2, 1441933395@@
@@author:クロメル@@
@@accept:2020-05-04@@
@@category:量子力学@@
@@id:studyGreen01@@
記事ソース/グリーン関数を理解しよう(相互作用表示とS行列) の変更点
