スピントロニクス理論の基礎/8-2 のバックアップソース(No.7)

更新

目次はこちら >> [[スピントロニクス理論の基礎]]

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

この節ではハミルトニアンは時間に依存しない &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\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]] などを参照のこと

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

(8.20A)

&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)

となるはず。

(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_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); における演算子の評価しか含んでいないことに注意。

&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);

ここで &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));

一方、相互作用 &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); とは交換しない。
これらと交換するような、真に定数的なポテンシャルというのはどんな物か、想像できていない。

(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}\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}\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}\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(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(=-\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(c_\mathrm H); だけにかかるナブラ &math(\nabla_\mu^{c_\mathrm H}); や、
&math(c_\mathrm H^\dagger); だけにかかるナブラ &math(\nabla_\mu^{c_\mathrm H^\dagger}); 
を記述するための便宜的な手段なのだと理解している。

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

#article_kcaptcha

Counter: 4679 (from 2010/06/03), today: 1, yesterday: 0