スピントロニクス理論の基礎/X-3 のバックアップの現在との差分(No.1)
更新- 追加された行はこの色です。
- 削除された行はこの色です。
[[スピントロニクス理論の基礎]] 目次はこちら ＞＞ [[スピントロニクス理論の基礎]] #contents * X-3 δ関数 [#w1e3469a] ** 定義 [#d37a3ca3] δ関数を解析関数の極限として定義する方法はいくつかあるみたいだけれど、 以下の定義は使い勝手が良いらしい。 &math( \delta(x)=\lim_{\delta\rightarrow +0}\frac{1}{\pi}\frac{\delta}{x^2+\delta^2} ); と置くと、この関数はδ関数となる。 - &math(\delta(-x)=\delta(x)); - &math( &math(\delta(-x)=\delta(x)); は自明。 &math(\int_a^b f(x)\delta(x)dx=f(0)); も、以下のようにして成り立つ。 ただし、途中に現われる &math(\mathrm{sgn}\,a); は &math(a); の符号を表す関数である。~ &math(\mathrm{sgn}\,a=\begin{cases}1&(0<a)\\-1&(a<0)\end{cases}); &math( &\int_a^b f(x)\delta(x)dx=\int_a^b f(x)\lim_{\delta\rightarrow +0}\frac{1}{\pi}\frac{\delta}{x^2+\delta^2}dx\\ &=\frac{1}{\pi}\lim_{\delta\rightarrow +0}\int_a^b f(x)\frac{\delta}{x^2+\delta^2}dx\\ ); &math( &=\frac{1}{\pi}\lim_{\delta\rightarrow +0}\int_{a/\delta}^{b/\delta} f(t\delta)\frac{\delta}{(t\delta)^2+\delta^2}d(t\delta)\\ &=\frac{1}{\pi}\lim_{\delta\rightarrow +0}\int_{a/\delta}^{b/\delta} f(t\delta)\frac{\delta}{(t^2+1)\delta^2}\cdot\delta dt\\ ); &math( &=\frac{1}{\pi}\lim_{\delta\rightarrow +0}\int_{a/\delta}^{b/\delta} f(t\delta)\frac{1}{t^2+1} dt\\ &=\frac{1}{\pi}\int_{(\mathrm{sgn}\,a)\infty}^{(\mathrm{sgn}\,b)\infty} f(0)\frac{1}{t^2+1} dt\\ &=\frac{1}{\pi}f(0)\int_{(\mathrm{sgn}\,a)\infty}^{(\mathrm{sgn}\,b)\infty} \frac{1}{t^2+1} dt\\ ); &math( &=\frac{1}{\pi}f(0)\int_{(\mathrm{sgn}\,a)\pi/2}^{(\mathrm{sgn}\,b)\pi/2} \frac{1}{(\tan \theta)^2+1} d(\tan \theta)\\ &=\frac{1}{\pi}f(0)\int_{(\mathrm{sgn}\,a)\pi/2}^{(\mathrm{sgn}\,b)\pi/2} \frac{(\tan \theta)^2+1}{(\tan \theta)^2+1} d\theta\\ &=\frac{1}{\pi}f(0)\int_{(\mathrm{sgn}\,a)\pi/2}^{(\mathrm{sgn}\,b)\pi/2} d\theta\\ ); &math( &=\frac{1}{\pi}f(0)\int_{(\mathrm{sgn}\,a)\pi/2}^{(\mathrm{sgn}\,b)\pi/2} \,1\, d\theta\\ &=\frac{1}{\pi}f(0)\frac{\pi}{2}[\mathrm{sgn}\,b-\mathrm{sgn}\,a]\\ &=\begin{cases} 0 & (0<a,b)\\ f(0) & (a<0,0<b)\\ 0 & (a,b<0)\\ -f(0) & (b<0,0<a)\\ \end{cases} ); &math(a,b); の積分範囲に &math(0); が含まれるかどうか、 含まれるときに正負どちら向きに積分しているかによって、 ちゃんと正しい値が得られることが確認できる。 ** フーリエ変換・逆フーリエ変換 [#m357fd20] &math( \int_{-\infty}^\infty \delta(x)e^{-ikx}dx=e^{-ik\cdot 0}=1 ); は良いとして、逆フーリエ変換はちょっと工夫が必要。 &math( \frac{1}{2\pi}\int_{-\infty}^\infty e^{ikx} dk &=\frac{1}{2\pi}\int_0^\infty e^{ix k}dk +\frac{1}{2\pi}\int_{-\infty}^0 e^{ix k}dk\\ &=\frac{1}{2\pi}\lim_{\delta\rightarrow +0}\int_0^\infty e^{(ix -\delta)k}dk +\frac{1}{2\pi}\lim_{\delta\rightarrow +0}\int_{-\infty}^0 e^{(ix+\delta) k}dk \\ &=\frac{1}{2\pi}\lim_{\delta\rightarrow +0}\left[\frac{1}{ix -\delta}e^{(ix -\delta)k}\right]_0^\infty +\frac{1}{2\pi}\lim_{\delta\rightarrow +0}\left[\frac{1}{ix +\delta}e^{(ix +\delta)k}\right]_{-\infty}^0\\ &=\frac{1}{2\pi}\lim_{\delta\rightarrow +0}\frac{1}{ix -\delta}(0-1) +\frac{1}{2\pi}\lim_{\delta\rightarrow +0}\frac{1}{ix +\delta}(1-0)\\ &=-\frac{1}{2\pi}\lim_{\delta\rightarrow +0}\frac{1}{ix-\delta} +\frac{1}{2\pi}\lim_{\delta\rightarrow +0}\frac{1}{ix+\delta}\\ &=\frac{1}{2\pi}\lim_{\delta\rightarrow +0}\left[-\frac{1}{ix-\delta}+\frac{1}{ix+\delta}\right]\\ &=\lim_{\delta\rightarrow +0}\frac{1}{2\pi}\frac{-2\delta}{-x^2-\delta^2}\\ &=\lim_{\delta\rightarrow +0}\frac{1}{\pi}\frac{\delta}{x^2-\delta^2}\\ &=\delta(x) ); 正側と負側とでδを同時にゼロに近づけないと最後の答えにたどり着かないので、 その意味でこの積分は [[「主値」>スピントロニクス理論の基礎/X-2]] を取っていることになるのだと思うけれど、 そのあたりの考え方があまり良く理解できていない。 ** δ関数の「半身」について [#z148ec40] 上記計算の途中に現われる表現を使うと、 逆フーリエ変換の上半分と下半分に現われるそれぞれの関数をそれぞれ別個に評価できる。 &math( \delta(x) &=\lim_{\delta\rightarrow +0}\frac{1}{\pi}\frac{\delta}{x^2+\delta^2}\\ &=\lim_{\delta\rightarrow +0}\frac{1}{2\pi}\left[-\frac{1}{ix-\delta}+\frac{1}{ix+\delta}\right]\\ &=\lim_{\delta\rightarrow +0}\frac{i}{2\pi}\left[\frac{1}{x+i\delta}-\frac{1}{x-i\delta}\right]\\ &=\lim_{\delta\rightarrow +0}\frac{i}{2\pi}\left[\frac{x-i\delta}{x^2+\delta^2}-\frac{x+i\delta}{x^2+\delta^2}\right]\\ &=\lim_{\delta\rightarrow +0}\frac{i}{2\pi}\left[ \left(\frac{x}{x^2+\delta^2}-\frac{i\delta}{x^2+\delta^2}\right) -\left(\frac{x}{x^2+\delta^2}+\frac{i\delta}{x^2+\delta^2}\right)\right]\\ &= \left(\frac{i}{2\pi x}+\lim_{\delta\rightarrow +0}\frac{1}{2\pi}\frac{\delta}{x^2+\delta^2}\right) -\left(\frac{i}{2\pi x}-\lim_{\delta\rightarrow +0}\frac{1}{2\pi}\frac{\delta}{x^2+\delta^2}\right)\\ &= \left(\frac{i}{2\pi x}+\frac{1}{2}\delta(x)\right) -\left(\frac{i}{2\pi x}-\frac{1}{2}\delta(x)\right) ); したがって、 &math( \frac{1}{2\pi}\int_0^\infty e^{ix k}dk =\lim_{\delta\rightarrow +0}\frac{i}{2\pi}\frac{1}{x+i\delta} = \frac{i}{2\pi x}+\frac{1}{2}\delta(x) ); &math( \frac{1}{2\pi}\int_{-\infty}^0 e^{ix k}dk =\lim_{\delta\rightarrow +0}\frac{i}{2\pi}\frac{-1}{x-i\delta} = -\frac{i}{2\pi x}+\frac{1}{2}\delta(x) ); という表式を得る。 &math(x=0); において実部だけでなく虚部も発散してしまうように見えるが、 物理学でこれらの関数を用いるときは恐らく常に上下合わせて使うことになる のだと思うので、虚部は消えて実部のδ関数だけが現われる・・・のだと思う。 ** 1/(x+i0) について [#xb13dcd9] 上記の式を変形すると、 &math( \lim_{\delta\rightarrow +0}\frac{1}{x\pm i\delta} \equiv\frac{1}{x\pm i0} = \frac{1}{x}\mp i\pi\delta(x) ); を得る。 ** 1/(a-x+i0)^2 の積分 [#s99f489e] &math( &\int_{-\varepsilon_F}^\infty \frac{\nu(\varepsilon)}{(\hbar\omega-\varepsilon+ i0)^2}d\varepsilon\\ &=\int_{0}^\infty \frac{\nu(\varepsilon'-\varepsilon_F)}{(\hbar\omega+\varepsilon_F-\varepsilon'+ i0)^2}d\varepsilon'\\ ); を求めたい。 → (9.18)〜(9.22) で解説されている内容です &math( f(z)= \frac{\nu(z-\varepsilon_F)}{(\hbar\omega+\varepsilon_F-z+ i0)^2} \propto \frac{\sqrt{z}}{(\hbar\omega+\varepsilon_F-z+ i0)^2} ); と置けば、&math(f(z)); は &math(z=0); にゼロ点を持ち、 &math(z=\hbar\omega+\varepsilon_F+i0); に１次の極を持つ。 そこで、 + 実軸上（上反面）を原点から無限大まで進み + 無限大の半径で反時計回りに１回転して実軸まで戻り + 実軸上（下反面）を無限大からゼロまで戻り + 原点を時計回りに回転して上反面に戻る という経路 &math(C); を考える。この経路は、 &math(z=re^{i\theta}); と置けば、 + &math(\theta=+0);、&math(r:+0\rightarrow\infty); + &math(r=\infty);、&math(\theta:0\rightarrow 2\pi-0); + &math(\theta=2\pi-0);、&math(r:+\infty\rightarrow 0); + &math(r=+0);、&math(\theta=2\pi-0\rightarrow 0); と表せる。 &math(\sqrt{z}); は２価関数で、実軸の正の部分にカットを持つ。 このため、~ 1. では &math(\sqrt{z}=\sqrt{r}e^{+0/2}=\sqrt{r}=\sqrt{x}); であるが、~ 3. では &math(\sqrt{z}=\sqrt{r}e^{(2\pi-0)/2}=-\sqrt{r}=-\sqrt{x}); である。 すなわち、 1. では &math(f(z)=f(\varepsilon)); であり、~ 3. では &math(f(z)=-f(\varepsilon)); である。 また、 2., 4. の上では &math(f(z)=0); であるばかりか、 &math(2\pi r f(z)=0); である。 そこで、 &math(C=C_1+C_2+C_3+C_4); について、 &math( &\int_C f(z) dz \\&= \int_{C_1} f(z) dz + \int_{C_2} f(z) dz + \int_{C_3} f(z) dz + \int_{C_4} f(z) dz \\&= \int_{0}^\infty f(\varepsilon') d\varepsilon' + \int_{C_2} \ 0\ \ dz - \int_{\infty}^0 f(\varepsilon') d\varepsilon' + \int_{C_4} \ 0\ \ dz \\&= 2\int_{0}^\infty f(\varepsilon') d\varepsilon' ); が成り立つ。 閉曲線 &math(C); 内で、&math(f(z)); は &math(z=\hbar\omega+\varepsilon_F+i0); を除いて正則であるため、 &math( &\int_C f(z) dz\\ &=2\pi i\Res_{z=\hbar\omega+\varepsilon_F+i0}\Big[\ f(z)\ \Big] \\ &=2\pi i\frac{d}{dz}\Big(\{z-(\hbar\omega+\varepsilon_F+i0)\}^2f(z)\Big)\Big|_{z=\hbar\omega+\varepsilon_F+i0} \\ &=2\pi i\nu'(\hbar\omega+i0) ); したがって、 &math( &\int_{\varepsilon_F}^\infty \frac{\nu(\varepsilon)}{(\hbar\omega-\varepsilon+ i0)^2}d\varepsilon\\ &=\pi i\nu'(\hbar\omega+i0) =\pi i\Big(A\sqrt{\varepsilon+\varepsilon_F}\Big)'\Big|_{\varepsilon=\hbar\omega+i0}\\ &=\pi i\Big(\frac{A}{2\sqrt{\varepsilon+\varepsilon_F}}\Big)\Big|_{\varepsilon=\hbar\omega+i0} =\pi i\Big(\frac{1}{2(\varepsilon+\varepsilon_F)}A\sqrt{\varepsilon+\varepsilon_F}\Big)\Big|_{\varepsilon=\hbar\omega+i0}\\ &=\frac{\pi i}{2(\hbar\omega+\varepsilon_F+i0)}\nu(\hbar\omega+i0) =\frac{\pi i}{2(\hbar\omega+\varepsilon_F)}\nu(\hbar\omega) ); &math(-i0); の方は実軸正部分のカットのために、最後の計算で &math(\nu(\hbar\omega-i0)=-\nu(\hbar\omega)); となるため、 &math( \int_{\varepsilon_F}^\infty \frac{\nu(\varepsilon)}{(\hbar\omega-\varepsilon- i0)^2}d\varepsilon =-\frac{\pi i}{2(\hbar\omega+\varepsilon_F)}\nu(\hbar\omega) ); である。 教科書は、いきなり (9.18) から右辺が &math(\textcolor{red}{g^r}); に対応する式になっていて、 急に (9.21) で &math(g^a); に戻っているため注意が必要。図も &math(g^a); に対応しているので、 (9.18)〜(9.20) を &math(i\rightarrow -i); とすれば良いのだと思う。 * 質問・コメント [#c4069b6e] #article_kcaptcha **texのエラーかな？ [#kaa94985] >[[関西の酔いどれゾンビ]] (&timetag(2017-05-05T02:47:20+09:00, 2017-05-05 (金) 11:47:20);)~ ~ 1/(a-x+i0)^2 の積分のセクションで数式が正しく表示されていない部分があります。~ // - ご指摘ありがとうございます。TeXエラーを修正しました。 -- [[武内（管理人）]] &new{2017-05-09 (火) 20:26:39}; #comment_kcaptcha
Counter: 5821 (from 2010/06/03),
today: 1,
yesterday: 3