スピントロニクス理論の基礎/5-1 のバックアップ(No.5)

更新


[前の章へ] <<<<  スピントロニクス理論の基礎(目次) >>>> [次の章へ]

5. 磁壁の集団座標

磁壁は時に数百万を超えるスピンから構成されるマクロな物体として振る舞う。

その運動は中心座標 X の変化として表され、 以下で見るように磁壁面の傾き(角度 \phi_0 ) の変化を伴う。

以下では集団座標の方法を用いて X および \phi_0 の解を与える。

5-1 磁壁解のまわりのゆらぎ

磁壁解 (4.43) は静止解であるが、その安定性について議論するには解から少しずれた時の運動を調べる必要がある。

「粒子的なゆらぎモード」を与える「ずれ」を定義するため、複素変数 \xi(\bm r,t) を次のように定義する。

(5.1)

\xi\equiv e^{i\phi}\tan\frac{\theta}{2}

このとき、

(5.2)

&math( \frac{\xi+\bar\xi}{1+|\xi|^2}&=\frac{2\cos\phi\tan\frac{\theta}{2}}{1+\left|e^{i2\phi}\,\frac{\ \sin^2\frac{\theta}{2}\ }{\cos^2\frac{\theta}{2}}\right|}\\ &=2\cos\phi\tan\frac{\theta}{2}\cos^2\frac{\theta}{2}\\ &=2\cos\phi\sin\frac{\theta}{2}\cos\frac{\theta}{2}\\ &=\cos\phi\sin\theta\\ );

&math(

  • i\frac{\xi-\bar\xi}{1+|\xi|^2}&=2\sin\phi\tan\frac{\theta}{2}\cos^2\frac{\theta}{2}\\ &=\sin\phi\sin\theta\\ );

&math( \frac{1-|\xi|^2}{1+|\xi|^2}=\frac{\cos^2\frac{\theta}{2}-\sin^2\frac{\theta}{2}}{\cos^2\frac{\theta}{2}}\cos^2\frac{\theta}{2}=\cos\theta );

&math( &\frac{-i}{2|\xi|^2}\big\{\bar\xi(\PD_\nu\xi)-(\PD_\mu\bar\xi)\xi\big\}\\ &=\frac{-i}{2\tan^2\frac{\theta}{2}}\left[ e^{-i\phi}\tan\frac{\theta}{2}\left(ie^{i\phi}\tan\frac{\theta}{2}\PD_\mu\phi+e^{i\phi}\frac{\PD_\mu\theta}{\cos\frac{\theta}{2}}\right)

  • \left(-ie^{-i\phi}\tan\frac{\theta}{2}\PD_\mu\phi+e^{-i\phi}\frac{\PD_\mu\theta}{\cos\frac{\theta}{2}}\right) e^{i\phi}\tan\frac{\theta}{2} \right]\\ &=\frac{-i}{2\tan^2\frac{\theta}{2}}\left[ i2\tan^2\frac{\theta}{2}\PD_\mu\phi \right]=\PD_\mu\phi );

さらに、

&math( 1-\left(\frac{1-|\xi|^2}{1+|\xi|^2}\right)^2= \frac{4|\xi|^2}{(1+|\xi|^2)^2}=\sin^2\theta );

&math( &\left(\frac{\PD_\mu (|\xi|^2)}{|\xi|^2}\right)^2\frac{4|\xi|^2}{(1+|\xi|^2)^2}= \left(\frac{2\big\{\bar\xi(\PD_\mu\xi)+(\PD_\mu\bar\xi)\xi\big\}}{(1+|\xi|^2)|\xi|}\right)^2= (\PD_\mu\theta)^2\\ );

を確認できる。これを用いれば、(4.3), (4.5) のラグランジアンは

(5.3)

&math( L_S=&\int\frac{d^3r}{a^3}\Bigg[ \hbar S\frac{-i}{2|\xi|^2}(\bar\xi\dot\xi-\dot{\bar\xi}\xi)\left(\frac{1-|\xi|^2}{1+|\xi|^2}-1\right)\\ &\hspace{1cm}-\frac{J}{2}S^2\left\{\left(\frac{\big\{\bar\xi(\nabla\xi)+(\nabla\bar\xi)\xi\big\}}{(1+|\xi|^2)|\xi|}\right)^2

  1. \frac{4|\xi|^2}{(1+|\xi|^2)^2}\left(\frac{-i}{2|\xi|^2}\Big\{\bar\xi(\nabla\xi)-(\nabla\bar\xi)\xi\Big\}\right)^2 \right\}\\ &\hspace{1cm}+\frac{K}{2}S^2\left(\frac{1-|\xi|^2}{1+|\xi|^2}\right)^2 \Bigg]\\);

&math( =&\int\frac{d^3r}{a^3}\frac{S}{1+|\xi|^2}\Bigg[ i\hbar(\bar\xi\dot\xi-\dot{\bar\xi}\xi)

  • \frac{KS}{2(1+|\xi|^2)}\left\{ \frac{\lambda^2}{|\xi|^2}\left( \big\{\bar\xi(\nabla\xi)+(\nabla\bar\xi)\xi\big\}^2
  • \big\{\bar\xi(\nabla\xi)-(\nabla\bar\xi)\xi\big\}^2 \right)+(1-|\xi|^2)^2 \right\} \Bigg]\\ =&\int\frac{d^3r}{a^3}\frac{S}{1+|\xi|^2}\Bigg[ i\hbar(\bar\xi\dot\xi-\dot{\bar\xi}\xi)
  • \frac{KS}{2(1+|\xi|^2)}\left\{ \frac{4\lambda^2}{|\xi|^2} \bar\xi(\nabla\xi)(\nabla\bar\xi)\xi+(1-|\xi|^2)^2 \right\} \Bigg]\\ =&\int\frac{d^3r}{a^3}\frac{S}{1+|\xi|^2}\Bigg[ i\hbar(\bar\xi\dot\xi-\dot{\bar\xi}\xi)
  • \frac{2KS}{\red {1+|\xi|^2}}\left\{ \lambda^2|\nabla\xi|^2+\red{\frac{(1-|\xi|^2)^2}{4}} \right\} \Bigg]\\ );

のように \xi のみの関数として表せる。教科書の (1+|\xi|^2)^2 の2乗は単なるミス、 最終項の |\xi|^2 は、(4.3) で \cos^2\theta であるはずの部分を \sin^2\theta と取り違えた物と思われる?

定常解

(4.43) の静止磁壁解は、以下に示すように \xi=\xi_0\equiv e^{-u(z,t)+i\phi_0} として与えられる。

&math( &\cos\theta=\frac{1-|\xi|^2}{1+|\xi|^2}=\frac{|\xi|^{-1}-|\xi|}{|\xi|^{-1}+|\xi|}\\ &=\frac{|e^{+u(z,t)-i\phi_0}|-|e^{-u(z,t)+i\phi_0}|}{|e^{+u(z,t)-i\phi_0}|+|e^{-u(z,t)+i\phi_0}|}\\ &=\frac{e^{+u(z,t)}-e^{-u(z,t)}}{e^{+u(z,t)}+e^{-u(z,t)}}=\tanh u(z,t)\\ &=\tanh\frac{z-X}{\lambda}\\ );

&math( &\sin\theta=\frac{2|\xi|}{1+|\xi|^2}=\frac{2}{|\xi|^{-1}+|\xi|}=\frac{1}{\cosh \frac{z-X}{\lambda}} );

&math( &e^{i\phi}=\frac{\xi}{|\xi|}=\frac{e^{-u(z,t)+i\phi_0}}{|e^{-u(z,t)+i\phi_0}|}\\ &=\frac{e^{-u(z,t)+i\phi_0}}{e^{-u(z,t)}}=e^{i\phi_0}\\ &\therefore \phi=\phi_0+2n\pi );

定常解からのズレ

今、系がこの定常解から各点で e^{\eta(z-X,t)} 倍だけずれたとする。

(5.4)

\xi=\xi_0\,e^{\eta(z-X,t)}=e^{-u(z,t)+i\phi_0+\eta(z-X,t)}

このとき、

&math( &\PD\xi/\PD t=(\PD u/\PD t)\xi+(\PD \eta/\PD t)\xi=(\PD \eta/\PD t)\xi\\ &\PD\xi/\PD x=(\PD u/\PD x)\xi+(\PD \eta/\PD x)\xi=(\PD \eta/\PD x)\xi\\ &\PD\xi/\PD y=(\PD u/\PD y)\xi+(\PD \eta/\PD y)\xi=(\PD \eta/\PD y)\xi\\ &\PD\xi/\PD z=(\PD u/\PD z)\xi+(\PD \eta/\PD z)\xi=(1+\PD \eta/\PD z)\xi\\ );

をまとめて、

(5.5)

&math( &\PD_\mu\,\xi=(\delta_{\mu,\red 3}+\PD_\mu \eta)\xi );

実際には \PD \eta/\PD x=\PD \eta/\PD y=0 である(?)

ズレの成分を実部と虚部に分けて

\eta\equiv\eta_R+i\eta_I

と書くと、

&math( \bar\xi\dot\xi-\dot{\bar\xi}\xi&=\bar\xi (\dot \eta_R+i\dot\eta_I)\xi-(\dot \eta_R-i\dot\eta_I)\bar\xi\xi\\ &=2i\dot\eta_I|\xi|^2 );

&math( \lambda^2|\nabla_i\xi|^2&=|\delta_{i,3}+\lambda\nabla_i\eta_R+i\lambda\nabla_i\eta_I|^2|\xi|^2\\ &=[(\delta_{i,3}+\lambda\nabla_i\eta_R)^2+(\lambda\nabla_i\eta_I)^2]|\xi|^2\\ &=(\delta_{i,3}+2\delta_{i,3}\lambda\nabla_i\eta_R+(\lambda\nabla_i\eta_R)^2+(\lambda\nabla_i\eta_I)^2]|\xi|^2\\ &=[\delta_{i,3}(1\red+2\lambda\nabla_i\eta_R)+\lambda^2|\nabla_i\eta|^2]|\xi|^2\\ );

と表せる。 \eta の2次まで展開した表式

(5.7)

&math( &\frac{|\xi|^2}{1+|\xi|^2}=\frac{e^{-2u+2\eta_R}}{1+e^{-2u+2\eta_R}}=\frac{1}{e^{2u-2\eta_R}+1}\\ &=\frac{1}{e^{2u}(1-2\eta_R+2\eta_R^2+\dots)+1}\\ &=\frac{1}{e^{2u}+1}\frac{1}{1+\frac{e^{2u}(-2\eta_R+2\eta_R^2+\dots)}{e^{2u}+1}}\\ &=\frac{1}{e^{2u}+1}\left\{1-\frac{e^{2u}(-2\eta_R+2\eta_R^2+\dots)}{e^{2u}+1}+\left(\frac{e^{2u}(-2\eta_R+\dots)}{e^{2u}+1}\right)^2+\dots\right\}\\ &=\frac{1}{e^{2u}+1}+\frac{e^{2u}}{(e^{2u}+1)^2}\left({+2\eta_R-2\eta_R^2+\frac{4e^{2u}\eta_R^2}{e^{2u}+1}}+\dots\right)\\ &=\frac{1}{e^{2u}+1}+\frac{1}{(e^{u}+e^{-u})^2}\left({+2\eta_R+\frac{(-2e^{2u}-2+4e^{2u})\eta_R^2}{e^{2u}+1}}+\dots\right)\\ &=\frac{1}{e^{2u}+1}+\frac{1}{2\cosh^2 u}\left({\eta_R+\frac{(e^{2u}-1)\eta_R^2}{e^{2u}+1}}+\dots\right)\\ &=\frac{1}{e^{2u}+1}+\frac{1}{2\cosh^2 u}\left({\eta_R+\eta_R^2\tanh u}+\dots\right)\\ );

&math( &\frac{|\xi|^2}{(1+|\xi|^2)^2}=\frac{1}{(e^{+u-\eta_R}+e^{-u+\eta_R})^2}=\frac{1}{4\cosh^2(u-\eta_R)}\\ &=\frac{1}{4\cosh^2 u}+\frac{\sinh u}{2\cosh^3 u}\eta_R+\frac{3\sinh^2 u}{4\cosh^4 u}\eta_R^2-\frac{\cosh u}{4\cosh^3 u}\eta_R^2+\dots\\ &=\frac{1}{4\cosh^2 u}\left(1+2\eta_R\tanh u+\eta_R^2\left(3\frac{\sinh^2 u}{\cosh^2 u}-1\right)+\dots\right)\\ &=\frac{1}{4\cosh^2 u}\left(1+2\eta_R\tanh u+\eta_R^2\left(2-\frac{3}{\cosh^2 u}\right)+\dots\right) );

および、

&math( &\frac{1-|\xi|^2}{1+|\xi|^2}=\frac{1-e^{-2u+2\eta_R}}{1+e^{-2u+2\eta_R}}\\ &=\tanh(u-\eta_R)\\ &=\tanh u-\frac{1}{\cosh^2 u}\left(\eta_R+\eta_R^2\tanh u\right) );

&math( &\left(\frac{1-|\xi|^2}{1+|\xi|^2}\right)^2=\tanh^2(u-\eta_R)\\ &=\frac{1}{\cosh^2 u}\left(\sinh^2 u-2\eta_R\tanh u-\eta_R^2\left(2-\frac{3}{\cosh^2 u}\right)+\dots\right)\\ &=\frac{1}{\cosh^2 u}\left(\cosh^2 u-1-2\eta_R\tanh u-\eta_R^2\left(2-\frac{3}{\cosh^2 u}\right)+\dots\right)\\ &=1-\frac{1}{\cosh^2 u}\left(1+2\eta_R\tanh u+\eta_R^2\left(2-\frac{3}{\cosh^2 u}\right)+\dots\right) );

を使うと、(5.3) は

&math( L_S=&\int\frac{d^3r}{a^3}\Bigg[ i\hbar S\,2i\dot\eta_I\frac{|\xi|^2}{1+|\xi|^2}

  • \frac{2KS^2}{(1+|\xi|^2)^2}\left\{ \Big[(1+2\lambda\nabla_z\eta_R)+\lambda^2|\nabla\eta|^2\Big]|\xi|^2+\frac{(1-|\xi|^2)^2}{4} \right\} \Bigg]\\ =&\int\frac{d^3r}{a^3}\Bigg[
  • \hbar S\,2\dot\eta_I\left\{\frac{1}{e^{2u}+1}+\frac{1}{2\cosh^2 u}\left({\eta_R+\eta_R^2\tanh u}+\dots\right)\right\}\\ &\hspace{1cm}-2KS^2\Bigg\{ \Big[(1+2\lambda\nabla_z\eta_R)+\lambda^2|\nabla\eta|^2\Big]\frac{1}{4\cosh^2 u}\left(1+2\eta_R\tanh u+\eta_R^2\left(2-\frac{3}{\cosh^2 u}\right)+\dots\right)\\ &\hspace{2.5cm}+\frac{1}{4}-\frac{1}{4\cosh^2 u}\left(1+2\eta_R\tanh u+\eta_R^2\left(2-\frac{3}{\cosh^2 u}\right)+\dots\right) \Bigg\} \Bigg]\\ =&\int\frac{d^3r}{a^3}\Bigg[\,\frac{-\hbar S\dot\eta_I}{\cosh^2 u}\left({\eta_R+\eta_R^2\tanh u}+\dots\right)\\ &\hspace{1cm}-2KS^2\Bigg\{\frac{1}{4}+ \frac{\lambda^2|\nabla\eta|^2}{4\cosh^2 u}\left(1+2\eta_R\tanh u+\eta_R^2\left(2-\frac{3}{\cosh^2 u}\right)+\dots\right)\\ &\hspace{3cm}+\left(\frac{\lambda}{2\cosh^2 u}\nabla_z\eta_R+\frac{\lambda\sinh u}{2\cosh^3 u}\nabla_z(\eta_R^2)+\left(\frac{\lambda}{3\cosh^3 u}-\frac{\lambda}{2\cosh^4 u}\right)\nabla_z(\eta_R^3)+\dots\right) \Bigg\} \Bigg]\\ =&\int\frac{d^3r}{a^3}\Bigg[\,\frac{-\hbar S\dot\eta_I}{\cosh^2 u}\left({{\color{blue}\eta_R}+\eta_R^2\tanh u}+\dots\right)\\ &\hspace{1cm}-2KS^2\Bigg\{{\color{blue}\frac{1}{4}}+ \frac{\lambda^2|\nabla\eta|^2}{4\cosh^2 u}\left({\color{blue}1}+2\eta_R\tanh u+\eta_R^2\left(2-\frac{3}{\cosh^2 u}\right)+\dots\right)\\ &\hspace{3cm}\red{-\left(-\frac{\tanh u}{\cosh^2 u}\eta_R+\Big(???\Big)\eta_R^2+\Big(???\Big)\eta_R^3+\dots\right)} \Bigg\} \Bigg]\\ );

\dot\eta_I に比例する項は、ラグランジアンの時間積分(作用)に定数項しか与えないため落とした。( u が時間に依らないことに注意)

一見、 \nabla_z\eta_R \nabla_z(\eta_R^2) 等の項も落とせそうに思えるが、 その係数に含まれる u z 依存性があるため、部分積分の結果が残ってしまう。

この、 \nabla_z\eta_R を含む項から出た 赤く塗った項 以外から、 最低次の 青く塗った項のみ を取り出せば (5.8) が得られる。

今のところ 赤く塗った項 の扱いが疑問のまま。

それと、上で \eta_R^2 の項まで残した意味もよく分からない。 途中で \left(1+2\eta_R\tanh u+\eta_R^2\left(2-\frac{3}{\cosh^2 u}\right)+\dots\right) がごっそり消えたのは \tanh^2(u+\eta_R)+\frac{1}{\cosh^2(u+\eta_R)}=1 の関係からであって、展開しなくても確認できた部分。

実際、展開前の変形で次の形まで持って行ける。

&math( L_S=&\int\frac{d^3r}{a^3}\Bigg[ i\hbar S\,2i\dot\eta_I\frac{|\xi|^2}{1+|\xi|^2}

  • 2KS^2\left\{ \frac{1}{4}+\Big(2\lambda\nabla_z\eta_R+\lambda^2|\nabla\eta|^2\Big)\frac{|\xi|^2}{(1+|\xi|^2)^2} \right\} \Bigg]\\ );

上ではこれに対して、

  • \frac{|\xi|^2}{1+|\xi|^2} \eta_R の1次まで
  • \frac{|\xi|^2}{(1+|\xi|^2)^2} \eta_R への依存性を完全に無視 (0次まで)
  • 2\lambda\nabla_z\eta_R の存在を無視(0次項はゼロなので、0次近似と言えなくもない)

という近似をしてしまった。

赤く塗った項 の扱いがちゃんと分かると2次まで展開した意味が見えてくるのだろうか?

スピン波

\eta_R\dot\eta_I の部分が数学的に美しくないので何とかしたいが、 \frac{1}{\cosh^2u} の係数があるために部分積分が使えず手に負えない。

そこで、新たな変数 \tilde\eta を導入する。

(5.9)

\eta\equiv 2\tilde\eta\cosh u

これを使うと、

(5.10)

&math( \frac{\PD\eta}{\PD x_\mu}=(2\cosh u)\frac{\PD\tilde\eta}{\PD x_\mu} );  ( \mu=0,1,2 )

&math( \frac{\PD\eta}{\PD z}=(2\cosh u)\frac{\PD\tilde\eta}{\PD z}+\frac{2\sinh u}{\lambda}\tilde\eta );

&math( &\frac{|\nabla_z\eta|^2}{4\cosh^2 u}=\left|\nabla_z\tilde\eta+\frac{\tanh u}{\lambda}\tilde\eta\right|^2\\ &=\left(\nabla_z\tilde\eta_R+\frac{\tanh u}{\lambda}\tilde\eta_R\right)^2

  1. \left(\nabla_z\tilde\eta_I+\frac{\tanh u}{\lambda}\tilde\eta_I\right)^2\\ &=|\nabla_z\tilde\eta|^2+\frac{2\tanh u}{\lambda}\big\{(\nabla_z\tilde\eta_R)\tilde\eta_R+(\nabla_z\tilde\eta_I)\tilde\eta_I\big\}+\left(\frac{\tanh u}{\lambda}|\tilde\eta|\right)^2\\ &=|\nabla_z\tilde\eta|^2+\frac{\tanh u}{\lambda}\nabla_z\big\{\tilde\eta_R^2+\tilde\eta_I^2\big\}+\left(\frac{\tanh u}{\lambda}|\tilde\eta|\right)^2\\ &=|\nabla_z\tilde\eta|^2+\frac{\tanh u}{\lambda}\nabla_z\big(|\tilde\eta|^2\big)+\left(\frac{\tanh u}{\lambda}|\tilde\eta|\right)^2\\ );

であるから、ラグランジアンは

(5.11)

&math( L_S&=-4\hbar S\int\frac{d^3r}{a^3}(\tilde\eta_R\dot{\tilde\eta}_I)

  • 2KS^2\int\frac{d^3r}{a^3}\left\{\lambda^2|\nabla\tilde\eta|^2+\lambda\tanh u\nabla_z(|\tilde\eta|^2)+(\tanh^2 u)|\tilde\eta|^2\right\}\\ &=-\hbar S\int\frac{d^3r}{a^3}(\tilde\eta+\bar{\tilde\eta})(\dot{\tilde\eta}-\dot{\bar{\tilde\eta}})\\ &\hspace{5mm}-2KS^2\int\frac{d^3r}{a^3}\left\{\lambda^2|\nabla\tilde\eta|^2-\nabla_z(\lambda\tanh u)|\tilde\eta|^2+(\tanh^2 u)|\tilde\eta|^2\right\}\\ &=-\hbar S\int\frac{d^3r}{a^3}(\bar{\tilde\eta}\dot{\tilde\eta}-\dot{\bar{\tilde\eta}}\tilde\eta+\tilde\eta\dot{\tilde\eta}-\bar{\tilde\eta}\dot{\bar{\tilde\eta}})\\ &\hspace{5mm}-2KS^2\int\frac{d^3r}{a^3}\left\{\lambda^2|\nabla\tilde\eta|^2-\frac{1}{\cosh^2 u}|\tilde\eta|^2+\frac{\sinh^2 u}{\cosh^2 u}|\tilde\eta|^2\right\}\\ &=-\hbar S\int\frac{d^3r}{a^3}\left(\bar{\tilde\eta}\dot{\tilde\eta}-\dot{\bar{\tilde\eta}}\tilde\eta+\frac{1}{2}\frac{\PD(\tilde\eta^2)}{\PD t}-\frac{1}{2}\frac{\PD(\bar{\tilde\eta}^2)}{\PD t}\right)\\ &\hspace{5mm}-2KS^2\int\frac{d^3r}{a^3}\left\{\lambda^2|\nabla\tilde\eta|^2-\frac{1}{\cosh^2 u}|\tilde\eta|^2+\frac{\cosh^2 u-1}{\cosh^2 u}|\tilde\eta|^2\right\}\\ &=-\hbar S\int\frac{d^3r}{a^3}\left(\bar{\tilde\eta}\dot{\tilde\eta}-\dot{\bar{\tilde\eta}}\tilde\eta\right)\\ &\hspace{5mm}-2KS^2\int\frac{d^3r}{a^3}\left\{\lambda^2|\nabla\tilde\eta|^2+\left(1-\frac{2}{\cosh^2 u}\right)|\tilde\eta|^2\right\}\\ );

と書き換えられる。

教科書では「時間に対する部分積分により」対称化したと書いてあるが、 ここでは時間積分は現れないのでちょっと用語がおかしい。 上で落とした項はラグランジアンの時間積分を考えたとき、 \tilde\eta の端点のみで決まる定数項を与えるので落とした と言うのが正しいのではないか。

(5.8) と比べると \eta に対して「素性の良い」形になった。

これは、 \eta が「良い素性の励起モード」であることを表す(?)

これを「スピン波」と呼ぶ。

コメント





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