グリーン–久保公式

グリーン–久保公式(テンプレート:Lang-en-short)あるいは中野–久保公式とは、線形応答理論における、輸送係数をカレントテンプレート:要曖昧さ回避の時間相関で表す関係式を一般化して定式化されたものである。メルヴィル・S・グリーン、中野藤生、久保亮五らの名前を冠して名付けられている。

外場$H^{\prime }(t)=-AF(t)$による物理量$B$の線形応答$\mathrm{Tr}({\rho }^{\prime }(t)B)$ は、応答関数を${\varphi }_{BA}(t)$とすると

$\mathrm{Tr}({\rho }^{\prime }(t)B)=\underset{-\mathrm{\infty }}{\overset{t}{\int }}{\varphi }_{BA}(t-t^{\prime })F(t^{\prime })d{t}^{\prime }$

${\varphi }_{BA}(t)\equiv -\frac{1}{i\hslash }\mathrm{Tr}([A,{\rho }_0]\overline{B}(t))=\frac{1}{i\hslash }\mathrm{Tr}([{\rho }_0,A]\overline{B}(t))=\frac{1}{i\hslash }\mathrm{Tr}([A,\overline{B}(t)]{\rho }_0)$

となる。

輸送係数におけるグリーン–久保公式

外場$F_{\mathrm{e}\mathrm{x}}$が存在するとき、熱伝導率や粘性率などの輸送係数を$L(0)$、カレントを$𝑱$とすると、輸送係数は以下のように時間相関関数で表せる。

$L(0)=\underset{F_{\mathrm{e}\mathrm{x}}\to 0}{\lim }L(F_{\mathrm{e}\mathrm{x}})=\beta V\underset{0}{\overset{\mathrm{\infty }}{\int }}\underset{F_{\mathrm{e}\mathrm{x}}\to 0}{\lim }⟨J(0)J(t){⟩}_{F_{\mathrm{e}\mathrm{x}}}dt$

ここで$⟨{⟩}_{F_{\mathrm{e}\mathrm{x}}}$は外場$F_{\mathrm{e}\mathrm{x}}$があるときのアンサンブル平均である。

導出

系のハミルトニアン

ある系が時間 t について t = −∞ で熱平衡状態であるとする。この時点で系に外場は印加されていない。時間 t に依存する外場 H′(t)を考え、これが最初の時点(t = −∞)から十分時間が経った段階で系に働くとして、その時の該当する系全体のハミルトニアンは次のように表される。

$H_{\text{total}}=H_0+H^{\prime }(t)$

ここでH₀ は外場のない時の系のハミルトニアンで、これは時間に依存しないとする。

外場H′(t)が次のように表現できるとする。

$H^{\prime }(t)=-AF(t)$

ここでA は時間を含まない演算子で、系におけるある物理量を表す。F(t) はこの演算子を通じて系に作用する外場（の大きさ）であり、これは演算子ではないとする。F(t) は次を満たさなければならない。

$\underset{t\to -\mathrm{\infty }}{\lim }F(t)=0$

密度行列

とする。ここで、系全体を記述する密度行列（統計演算子）を導入し、これを ρ_total とすると H_total の式に対応して系全体の密度行列は、

${\rho }_{\text{total}}={\rho }_0+{\rho }^{\prime }(t)$

と表される。系全体の時間発展は次のフォン・ノイマンの式で表される。

$i\hslash \frac{\partial {\rho }_{\text{total}}}{\partial t}=[H,{\rho }_{\text{total}}]$

ここで$\hslash =h/2\pi$、h はプランク定数、上式右辺の括弧は交換関係を表している。 ρ′(t) は外場に対応する密度行列であり、これは次を満たさなければならない。

$\underset{t\to -\mathrm{\infty }}{\lim }{\rho }^{\prime }(t)=0$

外場に関係する H′(t), ρ′(t) は、それぞれH₀, ρ₀ に対し十分に小さいものと考え、2次の項を無視すると以下が得られる。

$i\hslash \frac{\partial {\rho }^{\prime }}{\partial t}=[H_0,{\rho }^{\prime }]+[H^{\prime },{\rho }_0]$

次にρ′(t) を次のように表現し直す。

${\overline{\rho }}^{\prime }\equiv \exp \left(\frac{i{H}_{0}t}{\hslash }\right){\rho }^{\prime }(t)\exp \left(-\frac{i{H}_{0}t}{\hslash }\right)$

この時間発展は次のようになる。

$i\hslash \frac{\partial {\overline{\rho }}^{\prime }(t)}{\partial t}=[{\overline{H}}^{\prime }(t),{\rho }_0]$

${\overline{H}}^{\prime }(t)=\exp \left(\frac{i{H}_{0}t}{\hslash }\right)H^{\prime }(t)\exp \left(-\frac{i{H}_{0}t}{\hslash }\right)$

よって${\overline{\rho }}^{\prime }$の時間発展は

${\overline{\rho }}^{\prime }(t)=\frac{1}{i\hslash }\underset{-\mathrm{\infty }}{\overset{t}{\int }}[{\overline{H}}^{\prime }(t^{\prime }),{\rho }_0]d{t}^{\prime }$

となり、外場 H′(t) の1次まで考えると、系全体の密度演算子は次のようになる。

${\rho }_{\mathrm{t}\mathrm{o}\mathrm{t}\mathrm{a}\mathrm{l}}(t)={\rho }_0+\frac{1}{i\hslash }\underset{-\mathrm{\infty }}{\overset{t}{\int }}\exp \left(-\frac{i{H}_0(t-t^{\prime })}{\hslash }\right)[{\overline{H}}^{\prime }(t),{\rho }_0]\exp \left(\frac{i{H}_0(t-t^{\prime })}{\hslash }\right)d{t}^{\prime }$

物理量の期待値

ここで、 状態ρ_total(t) について時間に依らないある物理量 B の統計的期待値を取ると

$⟨B⟩=\mathrm{Tr}(\rho (t)B)=\mathrm{Tr}({\rho }_{0}B)+\mathrm{Tr}({\rho }^{\prime }(t)B)$

となる（Tr はトレース：対角和をとることを意味する）。ここで、上式最右辺の第一項の Tr 内は、時間に依存しないのでその期待値をゼロとみなす。従って問題となるのは第二項の部分で、H′(t) = −AF(t) 及び、Tr 内の演算は交換可能で、かつ演算子も循環的に演算順序を変えることができることから、Tr 及び B を積分内に移動し、B、$\exp (-i{H}_0(t-t^{\prime })/\hslash )$の順にこれらを先頭に移動すると、

$\begin{array}{cc}\mathrm{Tr}({\rho }^{\prime }(t)B)& =\frac{i}{\hslash }\mathrm{Tr}(\underset{-\mathrm{\infty }}{\overset{t}{\int }}\exp \left(-\frac{i{H}_0(t-t^{\prime })}{\hslash }\right)[A,{\rho }_0]\exp \left(\frac{i{H}_0(t-t^{\prime })}{\hslash }\right)F(t^{\prime })d{t}^{\prime }B)\\ & =\frac{i}{\hslash }\underset{-\mathrm{\infty }}{\overset{t}{\int }}\mathrm{Tr}(B\exp \left(-\frac{i{H}_0(t-t^{\prime })}{\hslash }\right)[A,{\rho }_0]\exp \left(\frac{i{H}_0(t-t^{\prime })}{\hslash }\right)F(t^{\prime }))d{t}^{\prime }\\ & =\frac{i}{\hslash }\underset{-\mathrm{\infty }}{\overset{t}{\int }}\mathrm{Tr}(\exp \left(\frac{i{H}_0(t-t^{\prime })}{\hslash }\right)B\exp \left(-\frac{i{H}_0(t-t^{\prime })}{\hslash }\right)[A,{\rho }_0]F(t^{\prime }))d{t}^{\prime }\end{array}$

となる。そして B を

$\overline{B}(t-t^{\prime })=\exp \left(\frac{i{H}_0(t-t^{\prime })}{\hslash }\right)B\exp \left(-\frac{i{H}_0(t-t^{\prime })}{\hslash }\right)$

と表現し直し、$[A,{\rho }_0]$を前に置くと、

$\mathrm{Tr}({\rho }^{\prime }(t)B)=-\frac{1}{i\hslash }\underset{-\mathrm{\infty }}{\overset{t}{\int }}\mathrm{Tr}([A,{\rho }_0]\overline{B}(t-t^{\prime }))F(t^{\prime })d{t}^{\prime }$

と変形できる。以上で、F(t′) は先の定義により単なる大きさを表す量なのでどこにでも置くことができる。

応答関数・Green–Kubo公式

次に応答関数なるものを、

${\varphi }_{BA}(t)\equiv -\frac{1}{i\hslash }\mathrm{Tr}([A,{\rho }_0]\overline{B}(t))=\frac{1}{i\hslash }\mathrm{Tr}([{\rho }_0,A]\overline{B}(t))=\frac{1}{i\hslash }\mathrm{Tr}([A,\overline{B}(t)]{\rho }_0)$

と定義すると、Tr(ρ′(t)B) は、

$\mathrm{Tr}({\rho }^{\prime }(t)B)=\underset{-\mathrm{\infty }}{\overset{t}{\int }}{\varphi }_{BA}(t-t^{\prime })F(t^{\prime })d{t}^{\prime }$

と表せる。

参考文献

• テンプレート:Cite journal

関連項目

• 線形応答理論
• 相関関数
• ゆらぎ

外部リンク

• 線形応答理論の成立
• 線形応答理論から半世紀を経て