[前の章へ] <<<<
スピントロニクス理論の基礎(目次) >>>>
[次の章へ]
4-1 強磁性ラグランジアンと磁化の運動 †
(2.12) を極座標表示に直す。
は空間的に大きさは一定で(
)、
その方向のみが変化するとすれば、
の方向を表す
や
を空間座標の関数として、(4.2)
と表せる。このとき、
そして、
のとき
のとき
より、
したがって、(4.1)
を得る。(空間的に一様の時に最もエネルギーが低いはずで、教科書の符号は誤り)
磁気異方性 †
(2.12) は物質が等方的な場合の話で、容易軸・困難軸等がある場合には
→ z軸に向きやすい
や、
→ y軸に向きにくい
などの項を含める場合もある。
例えば前者の場合が (4.3)
ただし、教科書では一項目の符号が逆になっている。
は無次元なので、
はエネルギーの次元を持つ。
ラグランジアンの導出 †
ハミルトニアンからラグランジアンを求めるには、
スピンを記述する力学変数と、その共役運動量を知る必要がある。
しかしスピンの力学変数
は、半径
の球面上の束縛されているため、
簡単にラグランジアンを求めることができない。
別の言い方をすれば、スピンの量子自由度は SU(2) の交換関係
を満たしており、通常の 通常の
型の交換関係ではないことが
困難の原因となる。
このような場合、簡単にラグランジアンを導出するには経路積分表示をすることになる(らしい)。
そこから求まるのが、(4.5) らしい。
後で使うことになるため、ここでラグランジアン密度
ハミルトニアン密度
などを定義しておく。
以下に見るように、スピンのダイナミクスは
よりもむしろここで出てくる
で規定されるので、本来であれば (4.5) の導出がとても重要なんだけれど・・・ここでは飛ばされている。
運動方程式 †
実際に運動方程式を見てみよう。
(4.7) は、教科書では汎関数微分の使い方がおかしくて、
より、(4.8)
という、
に対して対称性の良い式を得る。
は汎関数微分を表す。というのも、
や
は
や
の関数であり (
などと書く)、
の関数ではない。
や
が
の関数である。
は
座標上のすべての点での
値や
値に依存する多変数関数であり、さらに、
は
にも陽に依存している。このような無限個の変数に依存する関数に対する「偏微分」のようなものを書くために汎関数微分が用いられる(そうです)。参照 → http://homepage2.nifty.com/eman/analytic/functional.html
Landau-Lifshitz方程式 †
もう少し見通しを良くするために、ベクトル
を用いて書き直す。
より、(4.9), (4,10)
同様に、
に対して
に対して
ここから、任意の関数
に対して
(4.11)
ただし、
は
の変化に対する
の勾配
の汎関数微分表示である。すなわち、
の変化に対する
の変化量が
と書けるものとしている。
(4.9) に (4.8) を代入すると、
ベクトル3重積の公式から、一般に
が成り立つので、
(4.12)
ここで、
を用いた。
(4.12) は、ある点
に存在するスピン
の運動が、
他のスピン(ここでは隣接するスピン?)の作る
に比例する有効磁場の下での歳差運動として記述されることを表している。
ラーモア歳差運動・スピン・磁気モーメント・磁場 †
ちょっと復習を兼ねて、一様な磁束密度
中における磁気モーメント
の歳差運動は、そのトルクを
として表せた。ここで、
は磁気回転比、
は角運動量である。
このとき、系はラーモア周波数
で歳差運動をする。
今は(単位体積あたりで)
(2.9) であるから、
これと (4.12) とを比べることで、「有効磁場」が分かる。
→ S×B ではなく B×S ではないかと コメントを頂きました。後で見直そうと思います。
有効磁場 †
ある時刻において、
に存在する有効磁場は
(4.13)
と定義される。
は磁気回転比と呼ばれる定数。
これを用いると、(4.14)
となって、一様磁化を持つマクロな強磁性体に対する Landau-Lifshitz 方程式に一致する。
この式は、
が角運動量であること、
が磁化であること、
がトルクを表すこと、
から、角運動量変化 = トルク という式であることが分かる。
スピンの共役関係 †
(4.5) より、
に共役な変数(運動量)
を求めてみる。
ではないのか???
4-2 スピンの Berry 位相項 †
上記の通り、スピン系のラグランジアンの中で
が本質的な役割を担う。
これをスピン Berry 位相項と呼ぶ。(
の B は Berry の B と思われる)
スピンがゆっくり時間発展するとき、この項によりスピンの波動関数に「位相」が付く・・・
という意味はまだよく分かっていない。
ラグランジアン (
) の時間積分、作用項を (4.6) の定義に従って計算してみると、
(4.20A)
となる。さらに
の関係を用いると、
(4.20B)
となるが、この式を図4.3左のように図形的に理解したければ、
(4.20A) の方が分かりやすいはずだ。
は上図左のように
の方向ベクトル先端から単位球に北極で接する平面に下ろした垂線の足の長さを表している。教科書ではこれが子午線の長さを表しているかの様に書かれているが、その理由はよく分からない。
時刻
と共に
が変化すると、この積分値は上図右のように
先端から下ろした垂線が通過する面の面積を表すことに・・・・・あれ、ならないのか。
が面に平行じゃないから簡単には図形で表せないかも?教科書ではこれを北極(
)から測った立体角としているが、やはりこれは間違いと感じられる。
また、その後の議論では、
の線に沿って、あるいは
の線に沿って、スピンが
から
まで変化する状況に関して考察されているが、
であるから
が時間的に変化しない限り
であるため、この議論も意味が分からなかった。
後で文献 [57,58] を当たってみなければ。。。
4-3 スピン系の持つ運動量 †
スピンは角運動量を持つが、通常の運動量を持つか? → YES
まずは一般論から †
一般的に、エネルギーおよび運動量の保存則は系の時間に対する、あるいは空間に対する並進対称性から導かれる。以下にそれを見よう。
系のラグランジアン密度が
で表されるとする。このとき系のラグランジアンは、
また、系の座標パラメータ
を
で表す。
は変数
およびその導関数
ただし
の関数であるとする。
この場合の古典的な運動方程式は、ラグランジアンの時間積分、すなわちラグランジアン密度の時空積分として定義される作用(action)
を極小にするという条件から決まる。
すなわち、変数
のいかなる微小変化
に対しても、作用の変化が停留していることになる。
これが任意の
に対して成り立つことから、
が条件となる。上記の通り
が
と
の関数である場合には、
(4.21)
である。左辺は汎関数微分、右辺は通常の偏微分で書かれるのが正しいはず。(汎関数微分については http://homepage2.nifty.com/eman/analytic/functional.html 等を参照)
以降では
は
を渡る添え字、
は
を渡る添え字として、その範囲は省略する。
ここで、エネルギ運動量テンソル
を次のように定義すると、
(教科書でこの定義が大幅に間違っている点について本多先生から指摘があった)
(4.22)
(4.24)
(4.25)
(4.26)
より、
(4.23)
を得る。
この式を全空間で積分すれば、
(4.27A)
(4.27B)
無限遠では場がないことから右辺はゼロとなり、
(4.27C)
すなわちこの左辺の積分は保存量である。
(4.28A)
と置けば、これらがエネルギーおよび運動量を表す。
具体的に書き下せば、
(4.28B)
すなわち、
(4.28C)
となる。
スピン系では †
(4.28C) に (4.5) を代入すると(
が
に依存しないことから)、
(4.29)
(4.6) と比較すると運動量は空間方向の Berry 位相になっている(そうだ)。
4-4 局在スピンの緩和 †
(4.14) 式で見たように、スピン位置での有効磁場
がもし時間に依存しなければ、
磁場方向を向いていないスピンは永久に歳差運動を行うことになる。
しかし、実際には徐々に歳差運動が失われ、比較的速やかにスピンは磁場方向を向いて静止する。
この運動は、(4.14) にスピンの速度に比例した大きさ
を持つ
「摩擦項」を加えることで記述できる。このときの比例係数
は
Gilbert ダンピング定数と呼ばれ、金属磁性体の場合には 0.01 程度の大きさとなる。
(4.31)
(
は次元を持たないため、
も次元を持たない。)
まず、右辺から明らかに
すなわち
である。
したがって、右辺第2項の大きさは
と評価できる。
が小さいことから、
はほぼ
に垂直であり、
方向を向く。これが歳差運動成分である。
緩和項はさらにそれに垂直であり、
方向を向く。
これがスピンを磁場方向に向ける成分である。
(4.31) から (4.32) の導出は
途中で、
すなわち
を使った。
脚注に依れば、この緩和項は時間微分に対する1次近似までを取り込んだ近似理論に過ぎず、
本来は高次項があってしかるべきであるとのこと。
散逸関数 †
ラグランジアンに散逸成分(緩和項)を入れる標準的なやり方として、
Rayleigh の「散逸関数(緩和関数)」を用いる方法がある。
今の場合であれば、緩和関数として
(4.33)
を定義して、運動方程式を
(4.34)
ただし、
とすることになる。
このような定式化は、後に (5.28) あたりにおいて、
変数変換後のラグランジアンに対する緩和項の影響を考える際に有用となる。
(緩和関数はエネルギーを時間で割った次元を持っている)
4-5 スピンの運動方程式と磁壁解 †
運動方程式の HS 依存性 †
(4.31) に (4.3) を代入して具体的な解を求める。
まず (4.9) より左辺は、
右辺第一項は、(4.13), (4.12) より、
右辺第二項は、
を用いれば、
そこで、
より
のそれぞれの係数から
HS の汎関数微分 †
一方で、
の汎関数微分は、例えば
すなわち、
のように偏微分で表せるから、
運動方程式 †
したがって、
(4.37)
(4.38)
となる。教科書の (4.3) の
の項は符号が間違っていることに注意が必要。
(4.39)
は後に見るように磁気構造の空間的スケールを規定する長さとなる。(例えば磁壁の厚さ)
自明な解 †
は、
を任意の整数値として上記運動方程式の自明な定常解を与える。
磁壁構造 †
で
、
で
となるような
定常的な (
,
) 一次元解 (
,
) が存在することを以下に示す。
まず、
は定数とする。
このとき、
の方程式は (4.37) より、
すなわち、
(4.40)
を満たすことになる。両辺に
を掛けて
に対して積分すれば、
(4.41)
で
かつ
より、
であるから、
(4.42)
を得る。
の両辺を積分すれば、
の範囲では
であるから、
と書け、積分定数
は磁壁の中心位置を表す。
境界条件により
で
、
で
また、
であるから、
(4.43)
が求める解となる。
この形より、
が磁壁の位置、
が磁壁の厚さを表していることがわかる。
図4.4 は
が
軸を指している場合、すなわち
の場合を表しているが、およそ
の範囲で
の極性が入れ替わっていることを見て取れる。
の値は、パーマロイで 100 nm かそれ以下、CoPt などの薄膜で、面に垂直に強い磁化容易軸を持つ場合には 12 nm 程度とされている。
より、
が大きいほど磁壁は薄くなる。これは、容易軸からずれた領域を薄くする効果として理解できる。逆に
が相対的に大きい場合には、スピンの空間的な変化が緩やかになるように働くため、磁壁が厚くなる。
通常の強磁性金属では、
より、磁壁は 10 ~ 100 nm 程度となる。
有機磁性体では
が小さいために磁壁が格子間隔程度となることが多い。
- スピン容易軸がスピン変化方向(z軸)と平行なのが Néel 磁壁
- スピン容易軸がスピン変化方向(z軸)と垂直なのが Bloch 磁壁
で、
- スピン容易軸がスピン変化方向(z軸)と平行な Néel 磁壁 = 厚い
- スピン容易軸がスピン変化方向(z軸)と垂直な Bloch 磁壁 = 薄い
という傾向がある。
4-6 磁気渦 †
z軸を磁気困難軸とする強磁性体を考える。
この時間に依らない定常解を探すなら、(4.37), (4.38) を少し変更して、
(4.45)
となる。ここでの長さスケールは、
である。
原点対称となる2次元解の、
の極限での解を考える。
原点から遠い部分でスピンは最も安定な「面内方向」にあるとして、
(4.47右)
を仮定すれば、
より (4.45) の第1式、第2式とも
(4.47左)
が条件となる。円筒座標系
,
では、
であるから、
の形は原点対称
,
な解を与える。
この解は原点から見た座標点への角度
と、スピンの方向
が定数を除いて一致した物となっている。
この解は磁気渦と呼ばれる。
強磁性円盤等では
として、
周で磁化が閉じ、磁極を作らない構造が現れる。
(4.47) のより一般的な解として、整数パラメータである渦度(vorticity)
の自由度を与えることができる。
この解が (4.47) を満たすことは容易に確かめられる。この解は
原点から見た座標点への角度
が一回転する間に、
スピンの方向が
回転する解を与える。
その他の自由度として分極
があり、
この自由度は渦の中心での局在スピンの向きを与える。