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

更新

[[スピントロニクス理論の基礎]]

* 8-10 不純物散乱の元での Green 関数 [#l1954e43]

(8.116)

&math(
&v_i(\bm q)\equiv \frac{1}{V}\int d^3re^{i\bm q\cdot\bm r}v_i(\bm r)\\
&=\frac{1}{V}\sum_k^{N_i}v_ka^3\int d^3re^{i\bm q\cdot\bm r}[\delta(\bm r-\bm R_k)-1/V]\\
&=\frac{a^3}{V}\sum_k^{N_i}v_k(e^{i\bm q\cdot\bm R_k}-\delta_{\bm q,0})
);

を不純物散乱ポテンシャルの Fourier 変換と定義する。

この定義は (8.74) 等に与えられた &math(c(\bm r,t)); の Fourier 
変換とは &math(V); の配置や &math(i); の符号などが異なるので注意が必要。

これに対応するハミルトニアンは、

(8.116)

&math(
&V_i=\int d^3rv_i(\bm r)c^\dagger(\bm r)c(\bm r)\\
&=\int d^3r
\left(\sum_{\bm q}e^{-i\bm q\cdot\bm r}v_i(\bm q)\right)
\left(\frac{1}{\sqrt V}\sum_{\bm k}e^{-i\bm k\cdot\bm r}c_{\bm k}^\dagger\right)
\left(\frac{1}{\sqrt V}\sum_{\bm k'}e^{i\bm k'\cdot\bm r}c_{\bm k'}\right)\\
&=\sum_{\bm q,\bm k,\bm k'}v_i(\bm q)c_{\bm k}^\dagger c_{\bm k'}\frac{1}{V}\int d^3re^{i(-\bm q-\bm k+\bm k')\cdot\bm r}\\
&=\sum_{\bm q,\bm k,\bm k'}v_i(\bm q)c_{\bm k}^\dagger c_{\bm k'}\delta_{\bm q+\bm k,\bm k'}\\
&=\sum_{\bm q,\bm k}v_i(\bm q)c^\dagger(\bm k)c(\bm k+\bm q)
);

となる。

今考えているようなポテンシャルでは電子の振動数が変わらないため、単一の &math(\omega); によって表すことができる。

&math(g_{\bm k,\bm k',\omega,\omega'}=
2\pi \delta(\omega-\omega')g_{\bm k,\bm k',\omega});

さらに &math(g_0); に関しては、単一の &math(\bm k); で表せる。

&math(g_{0\bm k,\bm k',\omega}=
\delta_{\bm k,\bm k'}g_{0\bm k,\omega});

(8.117)

係数を正しく付けるために次元について確認

- &math(g_{\bm k,\bm k',\omega,\omega'}); は (8.76) によれば &math(Gd^3r); で無次元、&math(d^3r'/V); で無次元、&math(dtdt'/\hbar); が残って (時間/エネルギー) の次元を持つ
- &math(g_{\bm k,\bm k',\omega}); は &math(\delta(\omega-\omega')); が外に出るので、(1/エネルギー) の次元を持つ
- &math(v_i(\bm q)); は (8.116) によれば &math(v_i); と同じ次元で、これは (エネルギー) の次元を持つ

&math(
&g_{\bm k,\bm k',\omega,\omega'}^r=
\frac{1}{\hbar V}\int dt\int dt'\int d^3r\int d^3r'
e^{i(\omega t-\omega't'-\bm k\cdot\bm r+\bm k'\cdot\bm r')}g^r(\bm r,t,\bm r',t')\\
&=
\frac{1}{\hbar V}\int dt\int dt'\int d^3r\int d^3r'
e^{i(\omega t-\omega't'-\bm k\cdot\bm r+\bm k'\cdot\bm r')}
g_0^r(\bm r,t,\bm r',t')\\
&+
\frac{1}{\hbar V}\int dt\int dt'\int d^3r\int d^3r'
e^{i(\omega t-\omega't'-\bm k\cdot\bm r+\bm k'\cdot\bm r')}
\frac{1}{\hbar}\int dt_1\int d^3r_1 g_0^r(\bm r,t,\bm r_1,t_1)v_i(\bm r_1)g^r(\bm r_1,t_1,\bm r',t')\\
&= g_{0\bm k,\bm k',\omega,\omega'}^r+
\frac{1}{\hbar^2 V}\int dt_1\int d^3r_1
\int dt\int dt'\int d^3r\int d^3r'
e^{i(\omega t_1-\omega't'-\bm k\cdot\bm r_1+\bm k'\cdot\bm r')} \\
&\hspace{1cm}\times e^{i\omega (t-t_1)}e^{-i\bm k\cdot(\bm r-\bm r_)}
g_0^r(\bm r-\bm r_1,t-t_1)v_i(\bm r_1)g^r(\bm r_1,t_1,\bm r',t')\\
&= 2\pi\delta(\omega-\omega')\delta_{\bm k,\bm k'}g_{0\bm k,\omega}^r+
\frac{1}{\hbar V}\int dt_1\int d^3r_1
\int dt'\int d^3r'
e^{i(\omega t_1-\omega't'-\bm k\cdot\bm r_1+\bm k'\cdot\bm r')}\\
&\hspace{1cm}\times \left[\frac{1}{\hbar}\int d^3(r-r_1)\int d(t-t_1)e^{-i\bm k\cdot(\bm r-\bm r_)}e^{i\omega (t-t_1)}
g_0^r(\bm r-\bm r_1,t-t_1)\right]v_i(\bm r_1)g^r(\bm r_1,t_1,\bm r',t')\\
&=2\pi\delta(\omega-\omega')\delta_{\bm k,\bm k'}g_{0\bm k,\omega}^r+
\frac{g_{0\bm k,\omega}^r}{\hbar V}\int dt_1\int d^3r_1
\int dt'\int d^3r'
e^{i(\omega t_1-\omega't'-\bm k\cdot\bm r_1+\bm k'\cdot\bm r')}
\Big[\sum_{\bm q}e^{-i\bm q\cdot\bm r_1}v_i(\bm q) \Big]
g^r(\bm r_1,t_1,\bm r',t')\\
&=2\pi\delta(\omega-\omega')\delta_{\bm k,\bm k'}g_{0\bm k,\omega}^r+
\frac{g_{0\bm k,\omega}^r}{\hbar V}
\sum_{\bm q}v_i(\bm q) 
\int d^3r_1\int d^3r'\int dt_1\int dt'e^{i(\omega t_1-\omega't'-i(\bm k+\bm q)\cdot\bm r_1+\bm k'\cdot\bm r')}
g^r(\bm r_1,t_1,\bm r',t')\\
&=2\pi\delta(\omega-\omega')\delta_{\bm k,\bm k'}g_{0\bm k,\omega}^r+
g_{0\bm k,\omega}^r \sum_{\bm q}v_i(\bm q) g_{\bm k+\bm q,\bm k',\omega,\omega'}^r\\
&=2\pi\delta(\omega-\omega')\left[\delta_{\bm k,\bm k'}g_{0\bm k,\omega}^r+
g_{0\bm k,\omega}^r \sum_{\bm q}v_i(\bm q) g_{\bm k+\bm q,\bm k',\omega}^r\right]
);

したがって、

&math(&g_{\bm k,\bm k',\omega}^r=\delta_{\bm k,\bm k'}g_{0\bm k,\omega}^r+
g_{0\bm k,\omega}^r \sum_{\bm q}v_i(\bm q) g_{\bm k+\bm q,\bm k',\omega}^r);

(8.74)〜(8.76) や (8.116) のフーリエ変換の定義で係数がいろいろ工夫してある。
&math(V); を埋め込む場所が &math(c); と &math(v_i); で異なったり、
数学的には意味のない &math(\hbar); が埋め込まれていたり。

これらの工夫は上式で余計な係数が出てこないようにするための、
細心の注意を払った定義であったことがここへ来て始めて分かった。

もう一度次元を確認しておくと、

- &math(g_{\bm k,\bm k',\omega}); および &math(g_{\bm k,\omega}); は (1/エネルギー) の次元
- &math(v_i(\bm q)); は (エネルギー) の次元を持っている

右辺の &math(g^r); を (8.117) で繰り返し展開すると、

(8.118)

&math(
&g_{\bm k,\bm k',\omega}^r=\delta_{\bm k,\bm k'}g_{0\bm k,\omega}^r+
g_{0\bm k,\omega}^r \sum_{\bm q}v_i(\bm q) \big(\delta_{\bm k+\bm q,\bm k'}g_{0\bm k+\bm q,\omega}^r+
g_{0\bm k+\bm q,\omega}^r \sum_{\bm q'}v_i(\bm q')g_{\bm k+\bm q+\bm q',\bm k',\omega}^r  \big)\\
&=g_{0\bm k,\omega}^r\delta_{\bm k,\bm k'}+
\sum_{\bm q}v_i(\bm q) g_{0\bm k,\omega}^r g_{0\bm k+\bm q,\omega}^r \delta_{\bm k+\bm q,\bm k'}+
\sum_{\bm q,\bm q'}v_i(\bm q) g_{0\bm k,\omega}^r g_{0\bm k+\bm q,\omega}^r v_i(\bm q')g_{\bm k+\bm q+\bm q',\bm k',\omega}^r\\
&=g_{0\bm k,\omega}^r\delta_{\bm k,\bm k'}+
\sum_{\bm q_1}v_i(\bm q_1) g_{0\bm k,\omega}^r g_{0\bm k+\bm q_1,\omega}^r \delta_{\bm k+\bm q_1,\bm k'}+
\sum_{\bm q_1,\bm q_2} g_{0\bm k,\omega}^r v_i(\bm q_1)g_{0\bm k+\bm q_1,\omega}^r v_i(\bm q_2)g_{0\bm k+\bm q_1+\bm q_2,\omega}^r \delta_{\bm k+\bm q_1+\bm q_2,\bm k'}+\dots\\
&+\sum_{\bm q_1,\bm q_2,\dots,\bm q_n} g_{0\bm k,\omega}^r v_i(\bm q_1)g_{0\bm k+\bm q_1,\omega}^r v_i(\bm q_2)g_{0\bm k+\bm q_1+\bm q_2,\omega}^r \dots
v_i(\bm q_{n-1})g_{0\bm k+\bm q_1+\dots+\bm q_{n-1},\omega}^r v_i(\bm q_n)g_{0\bm k+\bm q_1+\dots+\bm q_n,\omega}\,
\delta_{\bm k+\bm q_1+\dots+\bm q_n,\bm k'}\\
&+\dots\\
);

特徴を見ておくと、

- &math(n); 次の項には &math(n+1); 個の &math(g_0); が現われ、
- その間に &math(n); 個の &math(v_i(\bm q_?)); が入っている
- 一番右の &math(\bm k+\bm q_1+\dots+\bm q_n); は &math(\delta); 関数により &math(\bm k'); に等しくなるため、&math(n); 個の &math(\sum); のうち実質的に自由に動かせるのは &math(n-1); 個である。

&math(<v_i(\bm q)>_i); や &math(<v_i(\bm q)v_i(\bm q')>_i); の中に現われる
和について不純物の位置平均 &math(&\langle \hspace{5 mm}\rangle_i\equiv \frac{1}{V^{N_i}}\int d^3R_{1}\int d^3R_{2}\dots\int d^3R_{N_i});を取る。

(8.119A)

&math(&\langle \sum_{k=1}^{N_i}e^{\textcolor{red}{i}\bm q\cdot\bm R_k}\rangle_i
\equiv 
\frac{1}{V^{N_i}}\int d^3R_{1}\int d^3R_{2}\dots\int d^3R_{N_i} \sum_{k=1}^{N_i}e^{\textcolor{red}{i}\bm q\cdot\bm R_k}\\
&=\sum_{k=1}^{N_i} \frac{1}{V}\int d^3R_k e^{\textcolor{red}{i}\bm q\cdot\bm R_k}
= N_i\delta_{\bm q,\bm 0});

&math(
&\langle \sum_{k_1,k_2}e^{\textcolor{red}{i}\bm q_1\cdot\bm R_{k_1}}e^{\textcolor{red}{i}\bm q_2\cdot\bm R_{k_2}} \rangle_i\\
&=\frac{1}{V^{N_i}}\int d^3R_{1}\int d^3R_{2}\dots\int d^3R_{N_i} \sum_{k_1,k_2}e^{\textcolor{red}{i}\bm q_1\cdot\bm R_{k_1}}e^{\textcolor{red}{i}\bm q_2\cdot\bm R_{k_2}} \\
&= \sum_{k_1\ne k_2} \frac{1}{V} \int d^3R_{k_1}\int d^3R_{k_2} 
e^{\textcolor{red}{i}\bm q_1\cdot\bm R_{k_1}}e^{\textcolor{red}{i}\bm q_2\cdot\bm R_{k_2}}
+ \sum_{k} \frac{1}{V} \int d^3R_{k}
e^{\textcolor{red}{i}\bm q_1\cdot\bm R_{k}}e^{\textcolor{red}{i}\bm q_2\cdot\bm R_{k}}\\
&= N_i(N_i-1)\delta_{\bm q_1,\bm 0}\delta_{\bm q_2,\bm 0} + N_i\delta_{\bm q_1+\bm q_2,\bm 0}
);

&math(
&\langle \sum_{k_1,k_2,k_3}e^{\textcolor{red}{i}\bm q_1\cdot\bm R_{k_1}}e^{\textcolor{red}{i}\bm q_2\cdot\bm R_{k_2}}e^{\textcolor{red}{i}\bm q_2\cdot\bm R_{k_3}} \rangle_i\\
&= \sum_{k_1\ne k_2 \ne k_3} \delta_{\bm q_1,0}\delta_{\bm q_2,0}\delta_{\bm q_3,0}
+ \sum_{k_1 = k_2 \ne k_3} \delta_{\bm q_1+\bm q_2,0}\delta_{\bm q_3,0}
+ \sum_{k_1 \ne k_2 = k_3} \delta_{\bm q_1,0}\delta_{\bm q_2+q_3,0}
+ \sum_{k_1 = k_3 \ne k_2} \delta_{\bm q_1+\bm q_3,0}\delta_{\bm q_2,0}
+ \sum_{k_1 = k_3 = k_2} \delta_{\bm q_1+\bm q_2+\bm q_3,0}\\
&= N_i(N_i-1)(N_i-2)\delta_{\bm q_1,\bm 0}\delta_{\bm q_2,\bm 0} 
+N_i(N_i-1)(\delta_{\bm q_1+\bm q_2,0}\delta_{\bm q_3,0}+\delta_{\bm q_1,0}\delta_{\bm q_2+q_3,0}+\delta_{\bm q_1+\bm q_3,0}\delta_{\bm q_2,0})
+N_i\delta_{\bm q_1+\bm q_2+\bm q_3,\bm 0}
);

ここで、&math(v_i(\bm q=\bm 0)); の成分はゼロなので、
&math(\delta_{\bm q_?,\bm 0}); を含む項はすべて消えて、

&math(\langle v_i(\bm q_1) \rangle_i=0);

&math(\langle v_i(\bm q_1)v_i(\bm q_2) \rangle_i=N_iv_i^2\left(\frac{a^3}{V}\right)^2\delta_{\bm q_1+\bm q_2,\bm 0}=n_iv_i^2\frac{1}{N}\delta_{\bm q_1+\bm q_2,\bm 0});

&math(\langle v_i(\bm q_1)v_i(\bm q_2)v_i(\bm q_3) \rangle_i=n_iv_i^3\frac{1}{N^2}\delta_{\bm q_1+\bm q_2+\bm q_3,\bm 0});

などとなる。

&math(n); 次の項では、&math(n); 個の &math(k_?); のうち、そのすべてが、
どれか他の &math(k_{?'}); と等しくなる項以外は消えることになる。

例えば &math(n=4); であれば、

- &math(k_1=k_2,k_3=k_4); → &math(N_i(N_i-1)\delta_{\bm q_1+\bm q_2,0}\delta_{\bm q_3+\bm q_4,0});
- &math(k_1=k_2=k_3=k_4); → &math(N_i\delta_{\bm q_1+\bm q_2+\bm q_3+\bm q_4,0});
- &math(k_1=k_4,k_2=k_3); → &math(N_i(N_i-1)\delta_{\bm q_1+\bm q_4,0}\delta_{\bm q_2+\bm q_3,0});
- &math(k_1=k_3,k_2=k_4); → &math(N_i(N_i-1)\delta_{\bm q_1+\bm q_3,0}\delta_{\bm q_2+\bm q_4,0});

の4つの場合以外の項は消えて、これらが (8.135)〜(8.139) で評価されている4つの場合に相当する。

このようにして現われる &math(\delta); 関数の部分に注目すると、
たとえば &math(\delta_{\bm q_1+\bm q_2,0}\delta_{\bm q_3+\bm q_4,0}); は
&math(\bm q_1+\bm q_2=\bm q_3+\bm q_4=0); の時以外ぜろとなるため、
この項を評価するに当たっては、
&math(\bm q_1+\bm q_2+\bm q_3+\bm q_4=0); と仮定して良い。

同様に、&math(n); 次に現われるすべての項で
&math(\bm q_1+\bm q_2+\dots+\bm q_n=0); を仮定できる。

すると (8.118) に見るように、すべての &math(n); 次の項に &math(\delta_{\bm k+\bm q_1+\bm q_2+\dots+\bm q_n,\bm k'}=\delta_{\bm k,\bm k'}); が含まれているため、

&math(g_{\bm k,\bm k',\omega}^r\propto\delta_{\bm k,\bm k'});

これは、不純物平均により電子の運動量の保存が回復したことに対応している。
(平均により系の並進対称性が回復したと言い換えても良い、らしい)

そこで、

(8.121)

&math(g_{\bm k,\bm k',\omega}^r\equiv\delta_{\bm k,\bm k'}g_{\bm k,\omega}^r);

&math(g_{\bm k,\omega}^r=g_{0\bm k,\omega}^r+
n_iv_i^2\frac{1}{N}\sum_{\bm q_1}g_{0\bm k,\omega}^r g_{0\bm k+\bm q_1,\omega}^r g_{0\bm k,\omega}^r+
n_iv_i^3\frac{1}{N^2}\sum_{\bm q_1,\bm q_2}g_{0\bm k,\omega}^r g_{0\bm k+\bm q_1,\omega}^r g_{0\bm k+\bm q_1+\bm q_2,\omega}^r g_{0\bm k,\omega}^r+
\cdots);

などとなる。

2次の項に現われる &math(\bm q_1); に対する和は、&math(\bm k_1=\bm k+\bm q_1);
を新しい変数と考えると独立に評価することができて、

(8.122)

&math(
\frac{1}{N}\sum_{\bm q_1}g_{\textcolor{red}{0}\bm k+\bm q_1,\omega}^r=
\frac{1}{N}\sum_{\bm k_1}g_{\textcolor{red}{0}\bm k_1,\omega}^r=
a^3\int\frac{d^3k}{(2\pi)^3}g_{\textcolor{red}{0}\bm k_1,\omega}^r=
a^3\int\frac{d^3k}{(2\pi)^3}\frac{1}{\hbar\omega-\varepsilon_{\bm k}+i0}
);

&math(\bm k); に対する積分を、&math(\varepsilon\equiv\varepsilon_{\bm k}=\frac{\hbar^2\bm k^2}{2m}-\varepsilon_F); に対する積分に置き換えると、
(&math(\nu(\varepsilon)); は 分散関係)

(8.123)

&math(
\frac{1}{N}\sum_{\bm q_1}g_{\textcolor{red}{0}\bm k+\bm q_1,\omega}^r=
\int_{-\epsilon_F}^\infty d\varepsilon\nu(\varepsilon)\frac{1}{\hbar\omega-\varepsilon+i0}
);

(8.124)

&math(N=\frac{V}{(2\pi)^3}\int d^3k=N\int_{-\varepsilon_F}^\infty\nu(\varepsilon)d\varepsilon);

から始めればいいのかな?

&math(
\nu(\varepsilon)\equiv\frac{V}{N(2\pi)^3}\frac{d^3k}{d\varepsilon}=\frac{a^3}{2\pi^3}\frac{k^2dk}{d\varepsilon}
=\frac{mk}{2\pi^2\hbar^2}a^3=\frac{m^{3/2}a^3}{\sqrt 2\pi^2\hbar^3}\sqrt{\varepsilon+\varepsilon_F}
);

&math(N=V/a^3);~
&math(d^3k=4\pi k^2dk);~
&math(\frac{d\epsilon}{dk}=\frac{d}{dk}\left(\frac{\hbar^2}{2m}k^2-\varepsilon_F\right)=\frac{\hbar^2}{m}k);~
&math(k=\frac{1}{\hbar}\sqrt{2m(\varepsilon+\varepsilon_F)});

などを使った。

(8.125)

&math(\frac{1}{\hbar\omega-\varepsilon+i0}); は &math(\varepsilon\sim\hbar\omega); 
付近でのみ大きな値を取る。そこで、

&math(
\int_{-\epsilon_F}^\infty d\varepsilon\nu(\varepsilon)\frac{1}{\hbar\omega-\varepsilon+i0}\sim
\nu(\hbar\omega)\int_{-\infty}^\infty d\varepsilon\frac{1}{\hbar\omega-\varepsilon+i0}
);

どうして教科書で &math(\nu(\hbar\omega)); でなく &math(\nu(0)); になっているのか分からない・・・

最終的に &math(\hbar\omega \sim 0); 
しか興味が無いから大丈夫、とかいうことなんだろうか?

&math(\frac{1}{N}\sum_{\bm k}g_{\bm k,\omega}^r\sim \nu(0)\int_{-\infty}^\infty d\varepsilon\frac{1}{-\varepsilon+i0}
=\nu(0)\int_{-\infty}^\infty d\varepsilon\frac{-\varepsilon-i0}{\varepsilon+(0)^2}
=-\pi i\nu(0));

評価の途中、疑問もあるけれど (9.18) あたりでもう少しまじめにやると書いてあるので良しとする。

(8.127)

&math(
&g_{\bm k,\omega}^r=g_{0\bm k,\omega}^r-
n_iv_i \pi i\nu(0)(g_{0\bm k,\omega}^r)^2+\cdots\\
&=g_{0\bm k,\omega}^r-
\frac{i\hbar}{2\tau}(g_{0\bm k,\omega}^r)^2+\cdots\\
);

ここで、

(8.128)

&math(\frac{\hbar}{\tau}\equiv 2\pi n_iv_i^2\nu(0));

この &math(\frac{\hbar}{\tau}); は電子エネルギーのぼやけであることが後に分かる。

そこで、系が金属であるための条件

(8.129)

&math(\frac{\hbar}{\tau}= 2\pi n_iv_i^2\nu(0)\ll \varepsilon_F);

を先取りして用いていく。

(8.130)

&math(g_{\bm k,\bm k'}); を計算するに当たり、
- 0次には1つも無いが
- 1次は &math(e^{i\bm q\cdot\bm R_k}); を1つ
- 2次は &math(e^{i\bm q\cdot\bm R_k}); を2つ
- ・・・

含んでいる。

不純物平均により、複数の &math(\bm q_{k_1},\bm q_{k_2},\dots,\bm q_{k_m}); に共通の &math(R_{k}); がかかり、&math(\delta_{\bm q_{k_1}+\bm q_{k_2}+\dots+\bm q_{k_m},\bm 0}); が現われる項以外が消えてしまうため、

(8.131), (8.132)

のように、&math(n); 個の &math(e^{i\bm q\cdot\bm R_k}); を必ず2本以上束ねた項だけが残る。

(8.134)

(8.121) の3次の項に出てくる和は、&math(\bm k_1=\bm k+\bm q_1);、&math(\bm k_2=\bm k+\bm q_1+\bm q_2); と置けば、

&math(
&\sum_{\bm q_1,\bm q_2}g_{0\bm k,\omega}^rv_i(\bm q_1)g_{0\bm k+\bm q_1,\omega}^rv_i(\bm q_2)g_{0\bm k+\bm q_1+\bm q_2,\omega}^r
v_i(\bm q_3=-\bm q_1-\bm q_2)g_{0\bm k,\omega}^r\\
&=n_iv_i^3\textcolor{red}{\frac{1}{N^2}}\sum_{\bm q_1,\bm q_2}g_{0\bm k,\omega}^r g_{0\bm k+\bm q_1,\omega}^r g_{0\bm k+\bm q_1+\bm q_2,\omega}^r g_{0\bm k,\omega}^r\\
&=n_iv_i^3g_{0\bm k,\omega}^r \Big(\textcolor{red}{\frac{1}{N}}\sum_{\bm k_1}g_{0\bm k_1,\omega}^r\Big)\Big(\textcolor{red}{\frac{1}{N}}\sum_{\bm k_2}g_{0\bm k_2,\omega}^r\Big) g_{0\bm k,\omega}^r\\
&=n_iv_i^3g_{0\bm k,\omega}^r \Big(\textcolor{red}{\frac{1}{N}}\sum_{\bm k_1}g_{0\bm k_1,\omega}^r\Big)^2 g_{0\bm k,\omega}^r\\
&=n_iv_i^3g_{0\bm k,\omega}^r \big(-\pi i\nu(0)\big)^2 g_{0\bm k,\omega}^r\\
&=-\frac{\textcolor{red}{\hbar}}{2\tau}v_i\pi \nu(0)\big(g_{0\bm k,\omega}^r \big)^2\\
);

(8.135)

&math(\delta_{\bm q_1+\bm q_2,0}\delta_{\bm q_3+\bm q_4,0}); すなわち &math(\bm q_1+\bm q_2=\bm q_3+\bm q_4=0); の項で、&math(N_i(N_i-1)\sim N_i^2); とすれば、

&math(
&\sum_{\bm q_1,\bm q_2}g_{0\bm k,\omega}^rv_i(\bm q_1)g_{0\bm k+\bm q_1,\omega}^rv_i(-\bm q_1)g_{0\bm k,\omega}^rv_i(\bm q_3)g_{0\bm k+\bm q_3,\omega}^rv_i(-\bm q_3)g_{0\bm k,\omega}^r\\
&=n_i^2v_i^4\frac{1}{N^2}\sum_{\bm q_1,\bm q_3}g_{0\bm k,\omega}^r g_{0\bm k+\bm q_1,\omega}^r g_{0\bm k,\omega}^r g_{0\bm k+\bm q_3,\omega}^r g_{0\bm k,\omega}^r\\
&=n_i^2v_i^4\Big(\frac{1}{N}\sum_{\bm k_1}g_{0\bm k+\bm k_1,\omega}^r\Big)^2 \big(g_{0\bm k,\omega}^r\big)^3\\
&=\big(-n_iv_i^2\pi i\nu(0)\big)^2 \big(g_{0\bm k,\omega}^r\big)^3\\
&=\Big(\frac{-i\textcolor{red}{\hbar}}{2\tau}\Big)\big(g_{0\bm k,\omega}^r\big)^3\\);

(8.136)

&math(\delta_{\bm q_1+\bm q_2+\bm q_3+\bm q_4,0}); すなわち &math(\bm q_1+\bm q_2+\bm q_3+\bm q_4=0); の項で、

&math(
&\sum_{\bm q_1,\bm q_2,\bm q_3}g_{0\bm k,\omega}^rv_i(\bm q_1)g_{0\bm k+\bm q_1,\omega}^rv_i(\bm q_2)g_{0\bm k+\bm q_1+\bm q_2,\omega}^rv_i(\bm q_3)g_{0\bm k+\bm q_1+\bm q_2+\bm q_3,\omega}^rv_i(-\bm q_1-\bm q_2-\bm q_3)g_{0\bm k,\omega}^r\\
&=n_iv_i^4\frac{1}{N^3}\sum_{\bm q_1,\bm q_2,\bm q_3}g_{0\bm k,\omega}^r g_{0\bm k+\bm q_1,\omega}^r g_{0\bm k+\bm q_1+\bm q_2,\omega}^r g_{0\bm k+\bm q_1+\bm q_2+\bm q_3,\omega}^r g_{0\bm k,\omega}^r\\
&=n_iv_i^4\Big(\frac{1}{N}\sum_{\bm k_1}g_{0\bm k_1,\omega}^r\Big)^3 \big(g_{0\bm k,\omega}^r\big)^2\\
&=n_iv_i^4\big(-\pi i\nu(0)\big)^3 \big(g_{0\bm k,\omega}^r\big)^2\\
&=\frac{i\textcolor{red}{\hbar}}{2\tau}\big(v_i\textcolor{red}{\pi} \nu(0)\big)^2
(g_{0\bm k,\omega}^r\big)^2
);

(8.137)

&math(\delta_{\bm q_1+\bm q_4,0}+\delta_{\bm q_2+\bm q_3,0}); すなわち &math(\bm q_1+\bm q_4=\bm q_2+\bm q_3=0); の項で、

&math(
&\sum_{\bm q_1,\bm q_2}g_{0\bm k,\omega}^rv_i(\bm q_1)g_{0\bm k+\bm q_1,\omega}^rv_i(\bm q_2)g_{0\bm k+\bm q_1+\bm q_2,\omega}^rv_i(-\bm q_2)g_{0\bm k+\bm q_1,\omega}^rv_i(-\bm q_1)g_{0\bm k,\omega}^r\\
&=n_i^2v_i^4\frac{1}{N^2}\sum_{\bm q_1,\bm q_2}g_{0\bm k,\omega}^r g_{0\bm k+\bm q_1,\omega}^r g_{0\bm k+\bm q_1+\bm q_2,\omega}^r g_{0\bm k+\bm q_1,\omega}^r g_{0\bm k,\omega}^r\\
&=n_i^2v_i^4\Big(\frac{1}{N}\sum_{\bm k_1}(g_{0\bm k_1,\omega}^r)^2\Big)\Big(\frac{1}{N}\sum_{\bm k_2}g_{0\bm k_2,\omega}^r\Big) \big(g_{0\bm k,\omega}^r\big)^2\\
&=n_i^2v_i^4\big(\ ?\ \big)\big(-\pi i\nu(0)\big) \big(g_{0\bm k,\omega}^r\big)^2\\
&=n_iv_i^2\big(\ ?\ \big)\big(-\pi i\nu(0)\big) \big(g_{0\bm k,\omega}^r\big)^2\\
&=-\frac{i\hbar}{2\tau}n_iv_i^2\big(\ ?\ \big)\big(g_{0\bm k,\omega}^r\big)^2\\
&=(*)
);

&math((\ ?\ )); の部分は、

&math(
&\frac{1}{N}\sum_{\bm k_1}(g_{0\bm k_1,\omega}^r)^2\\
&\sim\nu(0)\int_{-\infty}^\infty d\varepsilon \Big(\frac{1}{-\varepsilon+i0}\Big)^2
&=\nu(0)\int_{-\infty}^\infty d\varepsilon \frac{1}{\varepsilon^2-i0}
&=\nu(0)\int_{-\infty}^\infty d\varepsilon \frac{\varepsilon^2+i0}{\varepsilon^4+(0)^2}
);

で、これが

&math(
&\frac{1}{N}\sum_{\bm k_1}(g_{0\bm k_1,\omega}^r)^2=-\frac{\pi}{2}i\nu(0)\frac{1}{\varepsilon_F}
);

であれば、教科書の通り、

&math(
(*)=-\frac{1}{2}\Big(\frac{\hbar}{2\tau}\Big)^2\frac{1}{\varepsilon_F}\big(g_{0\bm k,\omega}^r\big)^2
);

となるけれど、&math(\varepsilon_F); が出てくる理由など今のところ不明。

(8.138)

&math(&\sum_{\bm q_1,\bm q_2}g_{0\bm k,\omega}^rv_i(\bm q_1)g_{0\bm k+\bm q_1,\omega}^rv_i(\bm q_2)g_{0\bm k+\bm q_1+\bm q_2,\omega}^rv_i(-\bm q_1)g_{0\bm k+\bm q_2,\omega}^rv_i(-\bm q_2)g_{0\bm k,\omega}^r\\
&=n_i^2v_i^4\frac{1}{N^2}\sum_{\bm q_1,\bm q_2}g_{0\bm k,\omega}^r g_{0\bm k+\bm q_1,\omega}^r g_{0\bm k+\bm q_1+\bm q_2,\omega}^r g_{0\bm k+\bm q_2,\omega}^r g_{0\bm k,\omega}^r\\
&=n_i^2v_i^4\textcolor{red}{\frac{1}{N^2}}\big(g_{0\bm k,\omega}^r\big)^2
\sum_{\bm k_1,\bm k_2} g_{0\bm k_1,\omega}^r g_{0\bm k_2,\omega}^r g_{0\bm k+\bm k_2-\bm k_1,\omega}^r \\);

&math(\bm k_1=\bm k+\bm q_1,\bm k_2=\bm k+\bm q_2); と置いた。

この次に出てくる説明はいろいろおかしいと思う。たぶん正しいのは以下。

- &math(g_{0\bm k}); は &math(|\bm k|=k_f); 付近でのみ大きな値を取る ← &math(\hbar \omega << \varepsilon_F); ということか?
- &math(g_{0\bm k} g_{0\bm k_1} g_{0\bm k_2} g_{0\bm k+\bm k_2-\bm k_1}); が大きな値を取るのは &math(|\bm k|=|\bm k_1|=|\bm k_2|=|\bm k_1+\bm k_2-\bm k_1|=k_f); となるときのみ
- &math(|\bm k_1+\bm k_2-\bm k_1|=k_f); について考えると、
-- 与えられた &math(-\bm k); に対して任意の &math(\bm k_1); を選ぶことができるが、
-- &math(-\bm k_2); は &math(|\bm k_1+\bm k_2-\bm k_1|=k_F); となる球面上に来るように選ばなければならない
-- これは原点を中心とした半径 &math(k_F); の球殻と、&math(-\bm k+\bm k_1); を中心とした半径 &math(k_F); の球殻との交線上に &math(|\bm k_1+\bm k_2-\bm k_1|=k_F); が来ることと同義である

&attachref(8-138.png);

- フェルミ面のぼやけを &math(\delta k); 程度と仮定すると、
- &math(\bm k_2); を完全に自由に取れば &math(4\pi k_F^2\delta k); が球殻の体積であるが、
- &math(g_{0\bm k+\bm k_2-\bm k_1,\omega}^r); のために上記の円弧状の交線に限られると、体積はどれほど減るだろうか?
-- &math(-\bm k); と &math(\bm k_1); とが為す角を &math(\theta); とすると、
-- 円弧の半径は &math(k_F\sin(\theta/2)); で、円周は &math(2\pi k_F\sin(\theta/2));
-- 円弧の太さ(断面積)は &math(\frac{\delta k}{\sin\theta}\cdot \delta k=\frac{\delta k^2}{\sin\theta});
-- したがって、円弧の体積は &math(\frac{2\pi k_F\delta k^2\sin(\theta/2)}{\sin\theta});
-- この値は &math(\sin\theta\sim 0); で発散するが、このとき &math(\bm k_1); の側の選択肢がほぼゼロになるので問題ない
-- &math(\bm k_1); が動いたことを想定し、&math(\theta,\psi); に対して平均を取ると、~
&math(&\frac{1}{4\pi}\int_0^\pi d\theta\int_0^{2\pi}\sin\theta d\psi 
\frac{2\pi k_F\delta k^2\sin(\theta/2)}{\sin\theta}\\
&=\frac{2\pi k_F\delta k^2}{2}\int_0^\pi d\theta\sin(\theta/2)\\
&=\frac{2\pi k_F\delta k^2}{2}[-2\cos(\theta/2)]_0^\pi\\
&=2\pi k_F\delta k^2);
- したがって、完全に自由に &math(\bm k_2); を取ったときに比べて値は 
&math(\frac{\delta k}{2k_F}); だけ小さくなる
- フェルミレベル近傍に於いて \math(\frac{\delta \varepsilon}{\varepsilon_F}=\frac{2\delta k}{k_F}); より、&math(\frac{\delta k}{2k_F}=\frac{\delta \varepsilon}{4\varepsilon_F}=\frac{\hbar}{4\varepsilon_F\tau}); となる。

ということで、ちょっと意味は無いけれど本文中の誤植のみ指摘:

&math(\frac{\textcolor{red}{\hbar^2}k_F}{m}\delta k\sim \frac{\hbar}{\tau});

&math(l\equiv \frac{\textcolor{red}{\hbar}k_F}{m}\tau);

閑話休題して、

(8.139)

「自由に取った場合」を考えるには、&math(\bm k_2); を数えるときに
&math(g); が2つ掛かっていることを考慮して (8.137) に帰着することが分かる。

&math(
&n_i^2v_i^4\textcolor{red}{\frac{1}{N^2}}\big(g_{0\bm k,\omega}^r\big)^2
\sum_{\bm k_1,\bm k_2} g_{0\bm k_1,\omega}^r g_{0\bm k_2,\omega}^r g_{0\bm k+\bm k_2-\bm k_1,\omega}^r \\
&\sim 
\left(\frac{\hbar}{4\varepsilon_F\tau}\right)n_i^2v_i^4\textcolor{red}{\frac{1}{N^2}}\big(g_{0\bm k,\omega}^r\big)^2
\sum_{\bm k_1,\bm k_2} g_{0\bm k_1,\omega}^r \big(g_{0\bm k_2,\omega}^r\big)^2 \\
&=-\left(\frac{\hbar}{4\varepsilon_F\tau}\right)
\frac{1}{2}\Big(\frac{\hbar}{2\tau}\Big)^2\frac{1}{\varepsilon_F}\big(g_{0\bm k,\omega}^r\big)^2\\
&\propto \frac{\hbar}{\tau}\left(\frac{\hbar}{\varepsilon_F\tau}\right)^2\big(g_{0\bm k,\omega}^r\big)^2
);

各項の大きさを評価するため、&math(\nu(0)); の大きさを評価しておく。

&math(\varepsilon_F); がフェルミエネルギーであることから(実際にはこの分を引いてあるため
0 がフェルミエネルギーである)

&math(
&\int_{-\epsilon_F}^0\nu(\varepsilon)d\varepsilon=1\\
&=\int_{-\epsilon_F}^0 d\varepsilon \frac{m^{3/2}a^3}{\sqrt 2\pi^2\hbar^3}\sqrt{\varepsilon+\varepsilon_F}\\
&=\frac{m^{3/2}a^3}{\sqrt 2\pi^2\hbar^3}\int_0^{\epsilon_F} d\varepsilon' \sqrt{\varepsilon'}\\
&=\frac{m^{3/2}a^3}{\sqrt 2\pi^2\hbar^3}\left[\frac{2}{3}\varepsilon'^{3/2}\right]_0^{\epsilon_F}\\
&=\frac{2\varepsilon_F}{3}\cdot\frac{m^{3/2}a^3}{\sqrt 2\pi^2\hbar^3}\sqrt{\varepsilon_F}\\
&=\frac{2\varepsilon_F}{3}\nu(0)
);

したがって、

&math(\nu(0)=\frac{3}{2\varepsilon_F});

金属であるためには、

&math(\frac{\hbar}{\tau}=2\pi n_iv_i^2\nu(0)=\frac{3\pi n_iv_i^2}{\varepsilon_F}\ll\varepsilon_F);

が必要である。

&math(
&3\pi n_iv_i^2\ll\varepsilon_F^2\\
&(3\pi n_i)^\frac{1}{2}v_i\ll\varepsilon_F\\
);

と書き直せば、これは不純物のポテンシャルがフェルミエネルギーに比べて小さく、
さらに不純物密度が高すぎないことを示している。

これに加えて、

&math(v_i\ll\varepsilon_F\sim 1/\nu(0));

すなわち

&math(v_i\nu(0)\ll 1);

を仮定すると、

(8.140)

&math(
g_{\bm k,\omega}^r=
g_{0\bm k,\omega}^r+\left(-\frac{i\hbar}{2\tau}\right)(g_{0\bm k,\omega}^r)^2
\left[
1\textcolor{red}{-}i\pi v_i\nu(0)-(\textcolor{red}{\pi}v_i\nu(0))^2
-\frac{i}{4}\frac{\hbar}{\varepsilon_F\tau}+O\left(\frac{\hbar}{\varepsilon_F\tau}\right)^2+\cdots
\right]+
\left(-\frac{i\hbar}{2\tau}\right)^2(g_{0\bm k,\omega}^r)^3+\cdots
);

の [ ] の中は1を残して消し去ることができる。

同様にして、高次項を評価すれば2次の項やそれ以降にも小さな項が付け加わるが、
上記の2つの条件下ではやはり無視できて、

(8.141)

&math(
\frac{g_{\bm k,\omega}^r}{g_{0\bm k,\omega}^r}=
1+\left(-\frac{i\hbar}{2\tau}g_{0\bm k,\omega}^r\right)+
\left(-\frac{i\hbar}{2\tau}g_{0\bm k,\omega}^r\right)^2+\cdots
=\frac{1}{1+\frac{i\hbar}{2\tau}g_{0\bm k,\omega}^r}
);

&math(
g_{\bm k,\omega}^r=
\frac{1}{(g_{0\bm k,\omega}^r)^{-1}+\frac{i\hbar}{2\tau}}
=\frac{1}{\hbar\omega-\varepsilon_{\bm k}+\frac{i\hbar}{2\tau}}
);

となる。

本文中で &math(\frac{i\hbar}{2\tau}\ll 1); などと書いてあるが、
これは &math(\textcolor{red}{\frac{\hbar}{2\varepsilon_F\tau}}\ll 1); 
の間違いか?

結局、元々の偶数次項から出てくる「2次の寄与と同様な物が繰り返される項」、
すなわち &math(\bm q_1+\bm q_2=\bm q_3+\bm q_4=\dots=\bm q_{2n-1}+\bm q_{2n}=0);
となる項が支配的な寄与を及ぼし、他の項は無視できることになる。

(8.142)

&math(
g_{\bm k,\omega}^a
=\frac{1}{\hbar\omega-\varepsilon_{\bm k}-\frac{i\hbar}{2\tau}}
);

不純物散乱がない場合には &math(i0); のために非常に急峻に変化する
関数であったが、不純物散乱によってピーク幅が広がっている、
すなわちフェルミレベルがぼやけている、ということになる。

「自己エネルギー」についてはここだけ読んでもよく分からないので後で勉強が必要。

(8.143)

&math(\Sigma^r=-\frac{i\hbar}{2\tau});

&math(\Sigma^a=+\frac{i\hbar}{2\tau});

と置いて、これらを自己エネルギーと呼べば、

(8.144)

&math(
g_{\bm k,\omega}^r
=\frac{1}{\hbar\omega-\varepsilon_{\bm k}-\Sigma^r}
);

&math(
g_{\bm k,\omega}^a
=\frac{1}{\hbar\omega-\varepsilon_{\bm k}-\Sigma^a}
);

&math(\Sigma); の部分が虚数であることが分かりにくい表示になっているので
注意が必要かもしれない。

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

#article_kcaptcha

Counter: 7295 (from 2010/06/03), today: 4, yesterday: 0