スピントロニクス理論の基礎/8-2 のバックアップの現在との差分(No.5)

更新


  • 追加された行はこの色です。
  • 削除された行はこの色です。
[[スピントロニクス理論の基礎]]
[[[前の章へ]>スピントロニクス理論の基礎/8-1]] <<<< 
[[スピントロニクス理論の基礎]](目次) >>>>
[[[次の章へ]>スピントロニクス理論の基礎/8-3]]

#contents

* 8-2 物理量の満たす方程式 [#xa2bd875]

** 熱平衡状態における電子数密度の時間発展 [#c7ea06c4]

この節ではハミルトニアンは時間に依存しない &math(H(t)=H);

&math(t=t_0); で熱平衡にある系のハミルトニアンが時間に依存しなければ、
系は熱平衡から動かないため、ハミルトニアンが時間に依存しない場合を考えるのは
かなり無意味なのだが、演習問題のような扱いと思えばよい。

(8.19)

&math(c_\mathrm H(\bm r,t) \equiv e^{\textcolor{red}{\frac{i}{\hbar}}H(t-t_0)}c(\bm r,t)
e^{\textcolor{red}{\frac{-i}{\hbar}}H(t-t_0)});
&math(c_\mathrm H(\bm r,t) \equiv e^{\textcolor{red}{\frac{i}{\hbar}}H\cdot(t-t_0)}c(\bm r,t)
e^{\textcolor{red}{\frac{-i}{\hbar}}H\cdot(t-t_0)});

ここでは (8.7C) を使って &math(U(t,t_0)); を書き下している。

(8.20)

&math(n(\bm r,t)\equiv\llangle c_\mathrm H^\dagger(\bm r,t)c_\mathrm H(\bm r,t)\rrangle);

&math(\hat n=c^\dagger c);

&math(n=\llangle \hat n \rrangle);

&math(\hat n_\mathrm H=U^\dagger \hat n U=U^\dagger c^\dagger c U=U^\dagger c^\dagger U U^\dagger c U=c^\dagger_\mathrm H c_\mathrm H);

1粒子の量子論で言うところの、確率密度が波動関数の絶対値の自乗に比例するのと対応する式になっている。
ただし場の量子論では &math(c^\dagger c); は演算子で、波動関数 &math(\ket{\alpha}); 
に作用させることで始めて電子密度を表す。一般的にはこの演算子は &math(c(\bm r,t)); ではなく &math(\psi(\bm r,t)); と書かれることが多いので注意。→ この辺りを学ぶには、例えば [[シッフ「量子力学(下)」>http://www.amazon.co.jp/%E9%87%8F%E5%AD%90%E5%8A%9B%E5%AD%A6-%E4%B8%8B-%E7%89%A9%E7%90%86%E5%AD%A6%E5%8F%A2%E6%9B%B8-9-%E3%82%B7%E3%83%83%E3%83%95/dp/4842701587]] などを参照のこと

** 交換関係について [#xf601a89]

今考えているのは電子の密度なので、&math(c); や &math(c^\dagger); はフェルミオンの反交換関係を満たす。すなわち、&math(c(\bm r,t)); およびそのフーリエ係数 &math(c_{\bm k}); について、

&math(c(\bm r,t) c(\bm r',t)^\dagger+c(\bm r,t)^\dagger c(\bm r',t) = \{c(\bm r,t), c(\bm r',t)^\dagger\}=\delta^3 (\bm r-\bm r')); (8.20A)
(8.20A)

&math(c_{\bm k} c_{\bm k'}^\dagger+c_{\bm k}^\dagger c_{\bm k'}=\{c_{\bm k}, c_{\bm k'}^\dagger\}=\delta_{kk'}); (8.20B)
&math(c(\bm r,t) c(\bm r',t)^\dagger+c(\bm r,t)^\dagger c(\bm r',t) = \{c(\bm r,t), c(\bm r',t)^\dagger\}=\delta^3 (\bm r-\bm r')); 

(8.20B)

&math(c_{\bm k} c_{\bm k'}^\dagger+c_{\bm k}^\dagger c_{\bm k'}=\{c_{\bm k}, c_{\bm k'}^\dagger\}=\delta_{kk'}); 

(8.20C)

したがって 

&math(c_{\bm k} c_{\bm k}^\dagger=\hat 1-c_{\bm k}^\dagger c_{\bm k}=\hat 1-\hat n); 

を満たす。→ [[フェルミオンの交換関係>スピントロニクス理論の基礎/X-1]]

相手がボゾンならば、

&math(c(\bm r,t) c(\bm r',t)^\dagger-c(\bm r,t)^\dagger c(\bm r',t) = [c(\bm r,t), c(\bm r',t)^\dagger]=\delta^3 (\bm r-\bm r')); (8.20C)

&math(c_{\bm k} c_{\bm k'}^\dagger-c_{\bm k}^\dagger c_{\bm k'}=[c_{\bm k}, c_{\bm k'}^\dagger]=\delta_{kk'}); (8.20D)

となるはず。

** 時間発展を計算する [#g653ebae]

(8.21)

&math(\frac{\PD}{\PD t}c_\mathrm H(\bm r,t)=\frac{i}{\hbar}[H, c_\mathrm H(\bm r,t)]);

これは Heiseenberg 方程式(8.15)であるが、
- &math(H); が時間に依らないとき、&math(U); と &math(H); が交換すること (8.9B)
- すなわち、&math(H_\mathrm H=U^\dagger H U=U^\dagger U H=H); であること
- &math(c(\bm r,t)); が時間を顕わに含まないこと
- すなわち &math(\frac{\PD}{\PD t}c(\bm r,t)=0);
- &math([H_H,c_H]); ではなく &math([H,c_H]); となるのは
-- &math(H); が時間に依らないとき、&math(U); と &math(H); が交換すること (8.9B)
-- すなわち、&math(H_\mathrm H=U^\dagger H U=U^\dagger U H=H); であること
- &math((\PD c/\PD t)_H); の項を含まないのは
-- &math(c(\bm r,t)); が時間を顕わに含まないこと
-- すなわち &math(\frac{\PD}{\PD t}c(\bm r,t)=0);

から成り立つ。
のためである。

(8.22)

&math(
\hbar \dot n = \hbar \llangle \dot c_\mathrm H^\dagger(\bm r,t) c_\mathrm H(\bm r,t) + c_\mathrm H^\dagger(\bm r,t) \dot c_\mathrm H(\bm r,t) \rrangle);~
&math(
=i\llangle [H, c_\mathrm H^\dagger(\bm r,t)]c_\mathrm H(\bm r,t)+ 
c_\mathrm H^\dagger(\bm r,t) [H, c_\mathrm H(\bm r,t)]\rrangle);~
&math(
=i\llangle e^{\frac{i}{\hbar}H(t-t_0)}\Big\{ [H, c_\mathrm H^\dagger(\bm r,t_0)]c_\mathrm H(\bm r,t_0)+ 
c_\mathrm H^\dagger(\bm r,t_0) [H, c_\mathrm H(\bm r,t_0)]\Big\} e^{\frac{-i}{\hbar}H(t-t_0)}\rrangle );

括弧内は &math(t=t_0); における演算子の評価しか含んでいないことに注意。

** ハミルトニアンとの交換関係 [#ybd71e0f]

&math([H, c_\mathrm H(\bm r,t_0)]); や &math([H, c_\mathrm H^\dagger(\bm r,t_0)]); を評価するために、

(8.23)

&math([AB,C]=A\{B,C\}-\{A,C\}B);

が役に立つ。

&math(H=K+V=\int d^3r\frac{\hbar^2}{2m}|\nabla c|^2+V);

*** 運動エネルギー項 [#r5f3046e]

ここで &math(K\equiv \int d^3r\frac{\hbar^2}{2m}|\nabla c|^2); であるから、

(8.24)

&math(&[K,c(\bm r,t_0)]\\
&=\int d^3r'\frac{\hbar^2}{2m}[
\nabla_{r'}c^\dagger(\bm r',t_0)\nabla_{r'}c(\bm r',t_0),c(\bm r,t_0)]\\
&=-\int d^3r'\frac{\hbar^2}{2m}
[c^\dagger(\bm r',t_0)\nabla_{r'}^2c(\bm r',t_0),c(\bm r,t_0)]);

ここに現れる交換関係は以下のように評価できる。
1行目から2行目はベクトル解析の部分積分を利用した物で、

&math(
\int_V \nabla \phi \cdot \nabla \psi d^3r
= \int_S \phi( \nabla \psi \cdot \bm n) dS
- \int_V \phi \nabla^2 \psi d^3r
);

表面積分の項は、系の境界 &math(S); において 
&math(\phi( \nabla \psi \cdot \bm n)); がゼロになるとして落とした。

上記の式に現れる交換関係は以下のように評価できる。

&math(&[c^\dagger(\bm r',t_0)\nabla_{r'}^2c(\bm r',t_0),c(\bm r,t_0)]\\
&=c^\dagger(\bm r',t_0)\{\nabla_{r'}^2c(\bm r',t_0),c(\bm r,t_0)\}-\{c^\dagger(\bm r',t_0),c(\bm r,t_0)\}\nabla_{r'}^2c(\bm r',t_0)\\
&=-\delta^3(\bm r-\bm r')\nabla_{r'}^2c(\bm r',t_0));

最後の等号はフェルミオンの正準共役でない演算子の反交換関係がゼロになることを利用した(8.20A)、

&math(\{\nabla_{r'}^2c(\bm r',t_0),c(\bm r,t_0)\}=0);

&math(\{c^\dagger(\bm r',t_0),c(\bm r,t_0)\}=\delta^3(\bm r-\bm r'));

したがって、

&math(&[K,c(\bm r,t_0)]\\
&=\int d^3r'\frac{\hbar^2}{2m}\delta^3(\bm r-\bm r')\nabla_{r'}^2c(\bm r',t_0)\\
&=\frac{\hbar^2}{2m}\nabla^2c(\bm r,t_0));

同様に、

(8.24A)

&math(&[K,c^\dagger(\bm r,t_0)]\\
&=-\int d^3r'\frac{\hbar^2}{2m}
[\nabla_{r'}^2c^\dagger(\bm r',t_0)c(\bm r',t_0),c^\dagger(\bm r,t_0)]\\
&=-\int d^3r'\frac{\hbar^2}{2m}
\bigg(\nabla_{r'}^2c^\dagger(\bm r',t_0)\{c(\bm r',t_0),c^\dagger(\bm r,t_0)\}-\{\nabla_{r'}^2c^\dagger(\bm r',t_0),c^\dagger(\bm r,t_0)\}c(\bm r',t_0)\bigg)\\
&=-\int d^3r'\frac{\hbar^2}{2m}
\nabla_{r'}^2c^\dagger(\bm r',t_0)\delta^3(\bm r-\bm r')\\
&=-\frac{\hbar^2}{2m}\nabla^2c^\dagger(\bm r,t_0));

*** 交換するポテンシャル項 [#xd9664a4]

一方、相互作用 &math(V); が空間微分を含まず、また電子数を変えない相互作用である場合
(化学ポテンシャル項もこの一つ)&math(\hat n=c^\dagger c); と &math(V); は交換するため、

→ 「一体のハミルトニアンの和だけで書けて相互作用が無い」ことに相当?

(8.26)

&math(&i([V,c^\dagger]c+c^\dagger[V,c])=i(Vc^\dagger c-c^\dagger Vc+c^\dagger Vc-c^\dagger cV)\\
&=-i[c^\dagger c,V]=0);

したがって、
この部分 → 「一体のハミルトニアンの和だけで書けて相互作用が無い」ことに相当???

実際に所よく分からない。後で見るフェルミレベル分のエネルギーシフトなどでも
ポテンシャルには電子密度が掛かるために

&math(V_{\varepsilon_F}=\int d^3r -\varepsilon_F |c(\bm r,t)|^2);

となって &math(c); や &math(c^\dagger); とは交換しない。
これらと交換するような、真に定数的なポテンシャルというのはどんな物か、想像できていない。

** 電流密度が現われる [#d1d3c36b]

(8.26) を認めれば、、

(8.25)

&math(\hbar \dot n=i\llangle e^{\frac{i}{\hbar}H(t-t_0)} \big(c^\dagger[K,c]+[K,c^\dagger]c\big) e^{\frac{-i}{\hbar}H(t-t_0)} \rrangle);

&math(=i\frac{\hbar^2}{2m}\textcolor{red}{\llangle} U^\dagger \left( c^\dagger\nabla^2c-(\nabla^2c^\dagger)c\right) U\textcolor{red}{\rrangle});
&math(=i\frac{\hbar^2}{2m}\color{red}{\llangle U^\dagger \left( c^\dagger\nabla^2c-(\nabla^2c^\dagger)c\right) U\rrangle});

&math(=i\frac{\hbar^2}{2m}\textcolor{red}{\llangle} U^\dagger c^\dagger U U^\dagger(\nabla^2c)U-U^\dagger(\nabla^2c^\dagger)U U^\dagger c U\textcolor{red}{\rrangle});
&math(=i\frac{\hbar^2}{2m}\color{red}{\llangle U^\dagger c^\dagger U U^\dagger(\nabla^2c)U-U^\dagger(\nabla^2c^\dagger)U U^\dagger c U\rrangle});

&math(=i\frac{\hbar^2}{2m}\textcolor{red}{\llangle} c_\mathrm H^\dagger\nabla^2c_\mathrm H-(\nabla^2c_\mathrm H^\dagger)c_\mathrm H\textcolor{red}{\rrangle});
&math(=i\frac{\hbar^2}{2m}\color{red}{\llangle c_\mathrm H^\dagger\nabla^2c_\mathrm H-(\nabla^2c_\mathrm H^\dagger)c_\mathrm H\rrangle});

&math(=i\frac{\hbar^2}{2m}\nabla\cdot\textcolor{red}{\llangle} c_\mathrm H^\dagger\nabla c_\mathrm H-(\nabla c_\mathrm H^\dagger)c_\mathrm H\textcolor{red}{\rrangle});
&math(=i\frac{\hbar^2}{2m}\nabla\cdot\color{red}{\llangle c_\mathrm H^\dagger\nabla c_\mathrm H-(\nabla c_\mathrm H^\dagger)c_\mathrm H\rrangle});

ここで、&math(U); や &math(U^\dagger); には空間座標は含まれていないため、
ここで、&math(U); や &math(U^\dagger); には空間座標は含まれないため、
&math(\nabla^2 c_\mathrm H=(\nabla^2 c)_\mathrm H); であることを用いた。

また、量子・熱平均は量子状態に対する和であるため、
また、量子統計平均は量子状態に対する和であるため、
空間微分 &math(\nabla); を和の外に出すことができる。

(8.27)

&math(\dot n=-\frac{1}{e}\nabla\cdot\bm j);

(8.28)

&math(j_\mu\equiv \left. -\frac{ie\hbar}{2m}(\nabla_\mu^{\br r}-\nabla_\mu^{\br r'})\llangle c_\mathrm H^\dagger(\br r,t)c_\mathrm H(\br r',t)\rrangle \right|_{\br r'\rightarrow\br r});
&math(
j_\mu \equiv \left. -\frac{ie\hbar}{2m}(\nabla_\mu^{\bm r}-\nabla_\mu^{\bm r'})\llangle c_\mathrm H^\dagger(\bm r,t)c_\mathrm H(\bm r',t)\rrangle \right|_{\bm r'\rightarrow\bm r}
);

&math(=-\frac{ie\hbar}{2m}(\nabla_\mu^{c_\mathrm H}-\nabla_\mu^{c_\mathrm H^\dagger})\llangle c_\mathrm H^\dagger c_\mathrm H\rrangle);

(&math(\mu=x,y,z);)

&math(\bm r,\bm r'); を導入し、最後に &math(\br r'\rightarrow\br r); の極限を取っているのは、
&math(\bm r,\bm r'); を導入し、最後に &math(\bm r'\rightarrow\bm r); の極限を取っているのは、
&math(c_\mathrm H); だけにかかるナブラ &math(\nabla_\mu^{c_\mathrm H}); や、
&math(c_\mathrm H^\dagger); だけにかかるナブラ &math(\nabla_\mu^{c_\mathrm H^\dagger}); 
を記述するための便宜的な手段なのだと理解している。

** 結局の所 [#dcfe5f93]

電子数密度の時間発展の方程式を導こうとしたら
電子数密度と電流密度の方程式(電荷密度保存)が現われてしまった。

すなわち、上記のような方法では電子数密度の時間発展を得ることができない。

そこで Green 関数を用いることになる。

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

#article_kcaptcha


Counter: 6410 (from 2010/06/03), today: 3, yesterday: 1