スピントロニクス理論の基礎/8-4 の変更点

更新 
[[[前の章へ]>スピントロニクス理論の基礎/8-3]] <<<<　
[[スピントロニクス理論の基礎]]（目次）　>>>>
[[[次の章へ]>スピントロニクス理論の基礎/8-5]]

#contents

* 8-4 物理量の経路表示 [#p4067391]

** 統計平均の重み成分を虚数時間経路上の積分に置き換える [#z1e25134]

(8.40)

ハミルトニアン &math(H); が時間に依らないとき (8.7B) より

&math(U(t,t_0)=e^{\frac{-i}{\hbar} H\cdot(t-t_0)});

したがって、形式的に

&math(
U(-i\beta\textcolor{red}{\hbar}+t_0,t_0)
=e^{\frac{-i}{\hbar} H\cdot(-i\beta\hbar)}
=e^{-\beta H}\equiv U_{C_\beta});

と書ける。

このとき、&math(U); の中には &math(t_0\rightarrow t_0-i\beta\hbar); という、
虚数軸に平行な積分経路が表れる。この経路上で &math(H(t)); が定数となるように、
&math(H(t)); の定義域を複素平面に拡大して、&math(H(t)); は &math(t); 
の実数成分にのみ依存し、虚数軸に沿った方向には &math(H(t)); 
の値が変化しない物としておく。

このように定義した &math(U(-i\beta\textcolor{red}{\hbar}+t_0,t_0)); 
なる変換はユニタリ演算子ではなくなっていることに注意が必要である。
ユニタリ変換は状態のノルム（大きさ）を変えないが、ここに現れる因数は
熱平衡における確率の重み付け（大きさの調整）であるから、
本質的にユニタリ変換にはなりえない。

(8.41)

&math(\overline O(t)=\frac{1}{Z_0}\trace[U(-i\beta\textcolor{red}{\hbar}+t_0,t_0)U^\dagger(t,t_0)O(t)U(t,t_0)]);

** 逆時間発展演算子 [#gbc7275e]

(8.42)

&math(\overline U(t',t)\equiv U^\dagger(t,t'));

&math(U(t',t)); は &math( t' > t ); のとき、~
&math(\overline U(t',t)); は &math( t' < t ); のときのみ定義される。

以下、&math(t_1<t_2<t_3); の時、
以下、&math(t_1 < t_2 < t_3); の時、
- &math(U(t_3,t_2)U(t_2,t_1)=U(t_3,t_1));
- &math(\overline U(t_1,t_2)\overline U(t_2,t_3)=\overline U(t_1,t_3));
- &math(U(t_2,t_1)\overline U(t_1,t_2)=\overline U(t_1,t_2)U(t_2,t_1)=1); 

を利用する。

これらの関係が成り立つことは、&math(U); および &math(\overline U); の物理的意味からも、
また (8.7A), (8.8A) あたりの表現からも、直感的に理解できる。

** 無限大の時刻まで積分経路を拡張する [#j908ef01]

(8.43)

&math(\overline O(t)=\frac{1}{Z_0}\trace[U(-i\beta\textcolor{red}{\hbar}+t_0,t_0)\overline U(t_0,t)O(t)U(t,t_0)]);

&math(=\frac{1}{Z_0}\trace[U(-i\beta\textcolor{red}{\hbar}+t_0,t_0)\underbrace{\overline U(t_0,t)\Big[\overline U(t,t_\infty)}U(t_\infty,t)\Big]O(t)U(t,t_0)]);

&math(=\frac{1}{Z_0}\trace[U(-i\beta\textcolor{red}{\hbar}+t_0,t_0)\overline U(t_0,t_\infty)U(t_\infty,t)O(t)U(t,t_0)]);

&math(=\frac{1}{Z_0}\trace[U(-i\beta\textcolor{red}{\hbar}+t_0,t_0)\overline U(t_0,t)O(t)\Big[\overline U(t,t_\infty)\underbrace{U(t_\infty,t)\Big]U(t,t_0)}]);

&math(=\frac{1}{Z_0}\trace[U(-i\beta\textcolor{red}{\hbar}+t_0,t_0)\overline U(t_0,t)O(t)\overline U(t,t_\infty)U(t_\infty,t_0)]);

** 時刻パラメータτの導入 [#re10b128]

(8.44), (8.45)

&math(
\begin{array}{llll}
\tau\in C_\rightarrow & (t_0\le\tau\le t_\infty), & \tau=t & O(\tau) = O(t)_{t=\tau}\\
\tau\in C_\leftarrow & (t_\infty\le\tau\le \textcolor{red}{2t_\infty-t_0}), & \tau=\textcolor{red}{2t_\infty-t} & O(\tau) = O(t)_{\red{t=2t_\infty-\tau}} \\
\tau\in C_\beta & (0\le\tau_I\le\beta) & \tau=2t_\infty-t_0-i\tau_I & 
\end{array}
);

(8.46)

&math(U(t,t')=T_C\,e^{\left.-\frac{i}{\hbar}\int_{\tau'}^\tau d\tau_1H(\tau_1)\right|_{C_\rightarrow}});

(8.47)

&math(&\overline U(t',t)=U^\dagger(t,t')\\
&=\overline Te^{\frac{i}{\hbar}\int_{t'}^t dt_1H(t_1)}\\
&=\overline Te^{-\frac{i}{\hbar}\int_t^{t'} dt_1H(t_1)}\\
&\equiv T_C\,e^{\left.-\frac{i}{\hbar}\int_\tau^{\tau'} d\tau_1H(\tau_1)\right|_{C_\leftarrow}}
);

２行目から３行目は積分の方向が逆転したことに伴って符号が反転した。

** 統計平均を含めたτによる経路積分表示 [#vcdada86]

(8.48)

&math(&\overline O(t)=(8.43)\\
&=\frac{1}{Z_0}\trace[
T_C\,e^{-\frac{i}{\textcolor{red}{\hbar}}\int_Cd\tau'H(\tau')}O(\tau)
]\\);

&math(\equiv\big\langle T_C\,e^{-\frac{i}{\textcolor{red}{\hbar}}\int_Cd\tau'H(\tau')}O(\tau) \big\rangle);

括弧の中に統計の重み付けを入れてしまったため、
&math(\llangle\ \ \ \rrangle); ではなく &math(\langle\ \ \ \rangle); になっている。

ここで、&math(e^{-\frac{i}{\textcolor{red}{\hbar}}\int_Cd\tau'H(\tau')}); の部分は (8.7A) 
に見たように異なる時刻のハミルトニアンの指数を取ったものを順に掛け合わせた物であるが、
この式に現れる &math(T_C); はそれらハミルトニアンの指数に加えて &math(O(\tau)); を含めて
時刻順に並べる操作を表している。

(8.49)〜(8.55) はほぼ定義の羅列なので飛ばす。

* 質問・コメント [#ace5097b]

#article_kcaptcha
Counter: 4888 (from 2010/06/03), today: 1, yesterday: 2