記事ソース/グリーン関数を理解しよう(相関関数の計算) のバックアップ差分(No.8)

追加された行はこの色です。
削除された行はこの色です。
#rst2hooktail_source
 ============================================================
 グリーン関数を理解しよう(相関関数の計算)
 ============================================================
 
 これからいくつかの記事を通して、
 物性物理で扱われる絶対零度におけるグリーン関数の理解を目指します。
 いくつかの定理などの証明は省略して、要点の俯瞰をする方針で行きます。
 参考文献として、下に書くMahan先生の本を挙げて
 おきます。このシリーズでは $\hbar=1$ とします。
 前の記事は 相互作用表示とS行列_ です。
 次の記事は 電子とフォノン_ です。( 目次_ )
 
 グリーン関数の意味
 ===========================
 
 （典型的なフェルミオンである）電子のグリーン関数を挙げましょう。
 
 <tex>
 G(\lambda, t-t^\prime) = -i \langle | T C_\lambda(t) C^\dagger_\lambda(t^\prime)| \rangle \tag{##}
 </tex>
 
 ここで、 $\lambda$ は粒子を特徴づける量子数（主に運動量とスピン $\lambda = (\bm{p},\sigma)$ ）、 $T$ は時間順序演算子です。係数の $-i$ は全体の位相の固定(一つこれを選ぶと、他も全てこの因子に合わせて相対的に考えなければならない)であり、フーリエ変換後の関数形が綺麗になるように選んでいるのだと思います。また基底状態ベクトル $\langle | (= \psi^\dagger(0))$ と $| \rangle (= \psi(0))$ は、相互作用のある時の( $H$ の)基底状態を表しています。 
 
 <tex>
 C_\lambda(t) = e^{iHt} C_\lambda e^{-iHt} \tag{##}
 </tex>
 
 はハイゼンベルク表示での粒子の消滅演算子です。そして $C^\dagger_\lambda| \rangle = \psi_\lambda = |\lambda \rangle$ は相互作用のない時の( $H_0$ )の固有状態で完全系をなします。
 
 式 $(1)$ は階段関数
 
 <tex>
 \Theta(t) = 
 \begin{cases}
 0 \ \ \ \ \ (t<0) \\
 1/2 \ \ \ \ \ (t=0) \\
 1 \ \ \ \ \ (t>0) \\
 \end{cases}
 \tag{##}
 </tex>
 
 を用いて、
 
 <tex>
 G(\lambda, t-t^\prime) 
 &= -i \Theta(t-t^\prime) \langle | C_\lambda(t) C^\dagger_\lambda(t^\prime)| \rangle \\
 &+ i \Theta(t^\prime-t) \langle | C^\dagger_\lambda(t^\prime) C_\lambda(t)| \rangle
 \tag{##}
 </tex>
 
 とも書けます。
 
 第一項を考えましょう。この時 $t>t^\prime$ です。
 
 <tex>
 G(\lambda, t>t^\prime) = -i \langle | C_\lambda(t) C^\dagger_\lambda(t^\prime)| \rangle
 \tag{##}
 </tex>
 
 これは $t = t^\prime$ において基底状態に状態 $\lambda$ の電子一個を生成し（励起し）、
 その後の $t=t$ において、電子を消滅させることを意味しています。
 
 グリーン関数と確率
 ========================
 
 ここで量子力学の復習をしましょう。状態 $| \lambda_i \rangle \ \ (i = 0,1,2,\cdots)$ があったとします。
 この時、 $\lambda_i$ が完全系を張るなら、 $1 = \sum_i | \lambda_i \rangle \langle \lambda_i |$ 
 を使って、任意の状態 $| \Phi \rangle$ は
 
 <tex>
 | \Phi \rangle  
 &= \sum_i | \lambda_i \rangle  \langle \lambda_i | \phi \rangle \\
 &= \sum_i a_i | \lambda_i \rangle
 \tag{##}
 </tex>
 
 と展開されます。この $\Phi$ の中に $| \lambda_i \rangle$ が入っている確率は、
 
 <tex>
 \left| \langle \lambda_i | \Phi \rangle \right|^2= |a_i|^2
 \tag{##}
 </tex>
 
 となるのでした。ここで、式 $(4)$ を見てみましょう。 $|-i|=|i|=1$ ですから、
 
 <tex>
 \left| G(\lambda, t-t^\prime) \right|^2
 &= \left| -i \Theta(t-t^\prime) \langle | C_\lambda(t) C^\dagger_\lambda(t^\prime)| \rangle + i \Theta(t^\prime-t) \langle | C^\dagger_\lambda(t^\prime) C_\lambda(t)| \rangle \right|^2 \\
 &= \Theta(t-t^\prime) \left| \langle \lambda, t | \lambda,t^\prime \rangle \right|^2
 + \Theta(t^\prime-t) \left| \langle \lambda,t^\prime | \lambda, t \rangle \right|^2 \\
 &= \left| \langle \lambda, t | \lambda,t^\prime \rangle \right|^2
 \tag{##}
 </tex>
 
 つまり、第一項は $t>t^\prime$ の時、時間 $t^\prime$ において、状態 $\lambda$ にあった粒子が、時間 $t-t^\prime$ を経てなお、状態 $\lambda$ に残っている確率(相関関数)と言えます。
 つまり、二行目の第一項は $t>t^\prime$ の時、時間 $t^\prime$ において、状態 $\lambda$ にあった粒子が、時間 $t-t^\prime$ を経てなお、状態 $\lambda$ に残っている確率(相関関数)と言えます。
 
 第二項は $t<t^\prime$ の時ですがちょっと難しいかもしれません。これは基底状態 $| \rangle$ が（揺らぎのない）真空だと思う時には寄与が無くゼロになります。しかし、例えば金属中の（絶対零度で縮退した）電子ガスを基底状態に取ると、フェルミエネルギー（真空ならフェルミの海）以下の状態 $\lambda$ から $t$ に１つ電子を消して、 $t^\prime$ で $\lambda$ に電子を生成します。図を見て頂けると分かるように、どちらもある時刻からその後の時刻の状態へ粒子を移しています。尤も、第二項は時間に逆行して $t^\prime \to t (t-t^\prime<0)$ 物性論では、ホール（正孔）を移動する。また素粒子論などでは反粒子を移動する。と言う解釈もできます。(図参照)こういう量は物理では非常に重要な量です。
 
 .. image :: chromel-studyGreen02-01.png
 
 もし本来 $H_0$ の固有状態である $| \lambda \rangle$ が $H$ の固有状態でもあったとしましょう。
 （また、 $| \rangle$ もまた $H$ の基底状態であり、つまり、固有状態でもあります。）
 この時、 $H |\lambda \rangle = \varepsilon_\lambda | \lambda \rangle$ 
 、 $H | \rangle = \varepsilon_0 | \rangle$ ですから、
 
 <tex>
 G(\lambda, t>t^\prime) = -i \exp [-i(t-t^\prime)(\varepsilon_\lambda - \varepsilon_0)]
 \tag{##}
 </tex>
 
 となり、 $|G(\lambda, t>t^\prime)|=1$ より、位相が変わるだけで状態は変化しないと分かります。
 
 ゲルマン・ロウの相関関数
 ==========================
 
 さて、 前回_ のゲルマン・ロウの定理を思い出しましょう。再掲すると、
 
 <tex>
 \psi(0) = S(0,-\infty) \phi_0
 \tag{##}
 </tex>
 
 というものでした。
 また、
 
 <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>
 
 も使うので書いておきます。
 これを $| \rangle = \phi_0$ として、この記事の記法で書くと、
 
 <tex>
 | \rangle = S(0,-\infty) | \rangle_0
 \tag{##}
 </tex>
 
 となります。 $G(\lambda,t-t^\prime)$ を書き直すにあたって、演算子は相互作用表示ではキャレット $\hat{ }$ を付けて区別すると、
 
 <tex>
 C_\lambda(t) 
 &= e^{iHt} C_\lambda e^{-iHt} \\
 &= e^{iHt} e^{-iH_0t} C_\lambda e^{iH_0t} e^{-iHt} \\
 &= U^\dagger(t) \hat{C}_\lambda(t) U(t) \\
 &= S(0,t) \hat{C}_\lambda(t) S(t,0) 
 \tag{##}
 </tex>
 
 となります。すると、
 
 <tex>
 G(\lambda,t-t^\prime) 
 &= -i \Theta(t-t^\prime) \ _0 \langle | S(-\infty,0) S(0,t) \hat{C}_\lambda(t) S(t,0) S(0, t^\prime) \hat{C}^\dagger_\lambda(t^\prime) S(t^\prime,0) S(0,-\infty) | \rangle_0 \\
 &+ i \Theta(t^\prime-t) \ _0 \langle | S(-\infty,0) S(0, t^\prime) \hat{C}^\dagger_\lambda(t^\prime) S(t^\prime,0) S(0,t) \hat{C}_\lambda(t) S(t,0)  S(0,-\infty) | \rangle_0 
 \tag{##}
 </tex>
 
 と書けます。さらに変形していきましょう。式 $(11)$ から、 $
 
 <tex>
 e^{-iL} \ _0 \langle| S(\infty,-\infty) = \ _0 \langle | \\
 e^{iL} =_0 \langle | S(\infty,-\infty) | \rangle_0
 \tag{##}
 </tex>
 が言えるので、
 
 <tex>
 _0 \langle | S(-\infty,0) 
 &= e^{-iL} \ _0 \langle S(\infty,-\infty) S(-\infty,0) \\
 &= e^{-iL} \ _0 \langle S(\infty,0) \\
 &= \dfrac{_0 \langle S(\infty,0)}{_0 \langle | S(\infty,-\infty) | \rangle_0}
 \tag{##}
 </tex>
 
 も言えます。すると、グリーン関数は、
 
 <tex>
 G(\lambda,t-t^\prime) 
 &= \dfrac{-i}{_0 \langle | S(\infty,-\infty) | \rangle_0} [ \Theta(t-t^\prime) \ _0 \langle | S(\infty,t) \hat{C}_\lambda(t) S(t,t^\prime) \hat{C}^\dagger_\lambda(t^\prime) S(t^\prime,-\infty) | \rangle_0 \\
 &- \Theta(t^\prime-t) \ _0 \langle | S(\infty,t^\prime) \hat{C}^\dagger_\lambda(t^\prime) S(t^\prime,t) \hat{C}_\lambda(t) S(t,-\infty) | \rangle_0 
 \tag{##}
 </tex>
 
 ここで時間順序積の強力さを思い知らされます。
 第一項は、
 
 <tex>
 &\Theta(t-t^\prime) \ _0 \langle | S(\infty,t) \hat{C}_\lambda(t) S(t,t^\prime) \hat{C}^\dagger_\lambda(t^\prime) S(t^\prime,-\infty) | \rangle_0 \\
 &\ \ \ \ = \Theta(t-t^\prime) \ _0 \langle |T \hat{C}_\lambda(t) \hat{C}^\dagger_\lambda(t^\prime) S(\infty,-\infty) | \rangle_0
 \tag{##}
 </tex>
 
 となります。実際には $S(\infty,-\infty)$ には $t=t,t^\prime$ を含むいろんな時間での切れ目があって、それが時間順序に整列させる作用を持つ $T$ の下では、あたかも全てをまとめてしまった表記でも良いと言う事です。
 
 <tex>
 G(\lambda,t-t^\prime) 
 &= -i \dfrac{_0 \langle | T \hat{C}_\lambda(t) \hat{C}^\dagger_\lambda(t^\prime) S(\infty,-\infty) | \rangle_0}{_0 \langle |T  S(\infty,-\infty) | \rangle_0} 
 \tag{##}
 </tex>
 
 今日はここまで、お疲れ様でした。
 
 次の記事は 電子とフォノン_ です。
 
 .. _目次: http://hooktail.sub.jp/quantum/studyGreenIndex/
 .. _前回: http://hooktail.sub.jp/quantum/studyGreen01/
 .. _相互作用表示とS行列: http://hooktail.sub.jp/quantum/studyGreen01/
 .. _電子とフォノン: http://hooktail.sub.jp/quantum/studyGreen03/
 
 @@reference: Gerald D.Mahan, Many-Particle Physics (Physics of Solids and Liquids), Springer, 2010, Chap2, 1441933395@@
 
 @@author:クロメル@@
 @@accept:2020-05-05@@
 @@category:量子力学@@
 @@id:studyGreen02@@
物理のかぎプロジェクト
