逆格子ベクトルのバックアップ差分(No.8)

追加された行はこの色です。
削除された行はこの色です。
%indent
/逆格子ベクトル【執筆中】

////////////////////////////////////////////////////////////////
* 格子ベクトルと逆格子ベクトル [#xd8c48ce]

;,結晶構造を扱う諸分野では、
;,実格子ベクトル$$ \:R $$と逆格子ベクトル$$ \:G $$と呼ばれる概念があり、回折の計算で役立つ。
;,これらはベクトル解析における双対基底の一つの応用と見なせるため、
;,双対基底の概念を使えば簡単に理解でき、凌宮の逆基底表記で簡潔に表記できる。
;,結晶構造を扱う諸分野において、回折の解析などで''逆格子ベクトル''$$ \:G $$という座標系が役立つ。
;,逆格子ベクトルは''実格子ベクトル''$$ \:R $$と双対基底と見なせる。
;,凌宮の逆基底表記で記述することで、１次元問題との関係性の整理が容易になる。

////////////////////////////////////////////////////////////////
* 一般的定義 [#h06aa3d8]

;,一般に、結晶は３次元の周期性を持ち、３つの基底と３つの整数係数の線形結合で全格子点を表現できる。
;,一般に、結晶は３次元の周期性を持ち、３つの基底と３つの整数係数の線形結合で全格子点の位置を表現できる。
;,これらの基底は、基本並進ベクトルや基本単位ベクトルと呼ばれ、各周期方向の格子点の間隔を表す。
;,基本単位ベクトルを$$ \:a_1 $$、$$ \:a_2 $$、$$ \:a_3 $$、任意の整数を$$ n_1 $$、$$ n_2 $$、$$ n_3 $$と置くと、
;,任意の格子点の位置ベクトルである格子ベクトル$$ \:R $$を次のように与えられる：
#ceq(e)
  $$ \:R $ = $ n_1 $ \:a_1 $ + $ n_2 $ \:a_2 $ + $ n_3 $ \:a_3 $$
#ceq(d)

;,一般に、基本逆格子ベクトル$$ \:b_1 $$、$$ \:b_2 $$、$$ \:b_3 $$は、計算法として以下のように定義される
((流派によっては$$ 2\pi $$を含ませず、公式に顕わに出す場合もある。))：
((流派によっては$$ 2\pi $$を定義に含ませず、公式に顕わに出す場合もある。))：
#ceq(e)
  $$ \:b_1 $ = $ 2\pi $ \ffd{\:a_2 \vx \:a_3}{\:a_1 \sx (\:a_2 \vx \:a_3)} $$
#ceq(e)
  $$ \:b_2 $ = $ 2\pi $ \ffd{\:a_3 \vx \:a_1}{\:a_2 \sx (\:a_3 \vx \:a_1)} $$
#ceq(e)
  $$ \:b_3 $ = $ 2\pi $ \ffd{\:a_1 \vx \:a_2}{\:a_3 \sx (\:a_1 \vx \:a_2)} $$
#ceq(d)

;,格子ベクトルと同様に、任意の整数を$$ m_1 $$、$$ m_2 $$、$$ m_3 $$を用いて、線形結合をもって逆格子ベクトルを定義できる。
#ceq(e)
  $$ \:G $ = $ m_1 $ \:b_1 $ + $ m_2 $ \:b_2 $ + $ m_3 $ \:b_3 $$
#ceq(d)

%bodynote
////////////////////////////////////////////////////////////////
* 逆基底表記による表記 [#j324533e]

;,基本逆格子ベクトルの定義から、
;,基本逆格子ベクトルは対応する基本格子ベクトルの逆基底を$$ 2\pi $$倍したベクトルであると言える。
;,このため、凌宮数学の逆基底表記を用いると、基本逆格子ベクトルを次のように表記できる：
#ceq(e)
  $$ \:b_1 $ = $ 2\pi $ \ffd{\:a_2 \vx \:a_3}{\:a_1 \sx (\:a_2 \vx \:a_3)} $ \Rightarrow $ 2\pi $ \ffd{1}{\:a_1} $ = $ \ffd{2\pi}{\:a_1} $$
#ceq(e)
  $$ \:b_2 $ = $ 2\pi $ \ffd{\:a_3 \vx \:a_1}{\:a_2 \sx (\:a_3 \vx \:a_1)} $ \Rightarrow $ 2\pi $ \ffd{1}{\:a_2} $ = $ \ffd{2\pi}{\:a_2} $$
#ceq(e)
  $$ \:b_3 $ = $ 2\pi $ \ffd{\:a_1 \vx \:a_2}{\:a_3 \sx (\:a_1 \vx \:a_2)} $ \Rightarrow $ 2\pi $ \ffd{1}{\:a_3} $ = $ \ffd{2\pi}{\:a_3} $$
#ceq(d)

;,基本格子ベクトルや基本逆格子ベクトルは空間的周期性を記述するための物理量であり、
;,空間的に周期性を記述する物理量と比較すると理解し易い：
|        |lx:         |lx:                    |l=:   |lx:          |lx:                          |l=:                  |lx:         |lx:                         |c
|*時間的周期性|<      |<                      |*空間的周期性|<     |<                            |<                    |<           |<                           |
|　周期　|$$ T $$     |                       |　波長|$$ \lambda $$|                             |基本格子ベクトル     |   $$ \:a $$|                            |
|　周波数|$$ f $$     |$$ = $ \ffd{1}{T}    $$|　波数|$$ k $$      |$$ = $ \ffd{1}{\lambda}    $$|                     |   $$ \:b $$|   $$ = $ \ffd{1}{\:a} $$   |
|角周波数|$$ \omega $$|$$ = $ \ffd{2\pi}{T} $$|角波数|$$ k $$      |$$ = $ \ffd{2\pi}{\lambda} $$|tx:基本逆格子ベクトル|tx:$$ \:b $$|tx:$$ = $ \ffd{2\pi}{\:a} $$|
;,ただし、$$ k $$は、分野によって角波数として定義される場合があり、定義を都度確認する必要がある。
;,同じく、基本逆格子ベクトル$$ \:b $$も流派によっては$$ 2\pi $$を含めない場合があり、定義に要注意。

//逆格子ベクトルは、同様に任意整数を係数とする線形結合で与えられる：
//#ceq(e)
//  $$ \:G $$
//#ceq(c)
//  $$ = $ m_1 $ \ffd{2\pi}{\:a_1} $ + $ m_2 $ \ffd{2\pi}{\:a_2} $ + $ m_3 $ \ffd{2\pi}{\:a_3} $$
//#ceq(e)
//#ceq(c)
//  $$ = $ 2\pi $ \Big( $ \ffd{m_1}{\:a_1} $ + $ \ffd{m_2}{\:a_2} $ + $ \ffd{m_3}{\:a_3} $ \Big) $$
//#ceq(d)

%bodynote

////////////////////////////////////////////////////////////////
// * 参考資料
// - 北海道大学 http://www.hucc.hokudai.ac.jp/~q16691/Lecture/%E8%A1%A8%E9%9D%A2%E5%B7%A5%E5%AD%A6/%E9%80%86%E6%A0%BC%E5%AD%90%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB%E3%81%A8%E5%9B%9E%E6%8A%98%E7%8F%BE%E8%B1%A1.pdf
// - 東北大学 http://ceram.material.tohoku.ac.jp/~takamura/class/crystal/node6.html
// - 山梨大学 www.ccn.yamanashi.ac.jp/~nabetani/lecture/crystal/crystal1-4.ppt
// - 慶応大学 http://www.appi.keio.ac.jp/Itoh_group/ohp/butsu3.pdf
// - ときわ台学 http://www.f-denshi.com/000okite/300crstl/306cry.html

** 内積 [#m10d36fb]
;,双対基底の性質から、基本格子ベクトルと基本逆格子ベクトルの内積は$$ 2\pi $$または$$ 0 $$になる。
#ceq(e)
    $$ \iro[ao]{\:a_1} $ \iro[ao]{\sx} $ \iro[ao]{\:b_1} $ \iro[ao]{=} $ \iro[ao]{\:a_1} $ \iro[ao]{\sx} $ \iro[ao]{\ffd{2\pi}{\:a_1}} $ \iro[ao]{=} $ \iro[ao]{2\pi} $$
#ceq(q)
    $$ \iro[ak]{\:a_1} $ \iro[ak]{\sx} $ \iro[ak]{\:b_2} $ \iro[ak]{=} $ \iro[ak]{\:a_1} $ \iro[ak]{\sx} $ \iro[ak]{\ffd{2\pi}{\:a_2}} $ \iro[ak]{=} $ \iro[ak]{0} $$
#ceq(q)
    $$ \iro[ak]{\:a_1} $ \iro[ak]{\sx} $ \iro[ak]{\:b_3} $ \iro[ak]{=} $ \iro[ak]{\:a_1} $ \iro[ak]{\sx} $ \iro[ak]{\ffd{2\pi}{\:a_3}} $ \iro[ak]{=} $ \iro[ak]{0} $$
#ceq(e)
    $$ \iro[ak]{\:a_2} $ \iro[ak]{\sx} $ \iro[ak]{\:b_1} $ \iro[ak]{=} $ \iro[ak]{\:a_2} $ \iro[ak]{\sx} $ \iro[ak]{\ffd{2\pi}{\:a_1}} $ \iro[ak]{=} $ \iro[ak]{0} $$
#ceq(q)
    $$ \iro[ao]{\:a_2} $ \iro[ao]{\sx} $ \iro[ao]{\:b_2} $ \iro[ao]{=} $ \iro[ao]{\:a_2} $ \iro[ao]{\sx} $ \iro[ao]{\ffd{2\pi}{\:a_2}} $ \iro[ao]{=} $ \iro[ao]{2\pi} $$
#ceq(q)
    $$ \iro[ak]{\:a_2} $ \iro[ak]{\sx} $ \iro[ak]{\:b_3} $ \iro[ak]{=} $ \iro[ak]{\:a_2} $ \iro[ak]{\sx} $ \iro[ak]{\ffd{2\pi}{\:a_3}} $ \iro[ak]{=} $ \iro[ak]{0} $$
#ceq(e)
    $$ \iro[ak]{\:a_3} $ \iro[ak]{\sx} $ \iro[ak]{\:b_1} $ \iro[ak]{=} $ \iro[ak]{\:a_3} $ \iro[ak]{\sx} $ \iro[ak]{\ffd{2\pi}{\:a_1}} $ \iro[ak]{=} $ \iro[ak]{0} $$
#ceq(q)
    $$ \iro[ak]{\:a_3} $ \iro[ak]{\sx} $ \iro[ak]{\:b_2} $ \iro[ak]{=} $ \iro[ak]{\:a_3} $ \iro[ak]{\sx} $ \iro[ak]{\ffd{2\pi}{\:a_2}} $ \iro[ak]{=} $ \iro[ak]{0} $$
#ceq(q)
    $$ \iro[ao]{\:a_3} $ \iro[ao]{\sx} $ \iro[ao]{\:b_3} $ \iro[ao]{=} $ \iro[ao]{\:a_3} $ \iro[ao]{\sx} $ \iro[ao]{\ffd{2\pi}{\:a_3}} $ \iro[ao]{=} $ \iro[ao]{2\pi} $$
#ceq(end)
このため、$$ \:R $$と$$ \:G $$内積は必ず整数の$$ 2\pi $$倍になる。
#ceq(e)
  $$ \:R $ \sx $ \:G $ = $ 2\pi $ N $$　　ただし、$$ N $ = $ n_1 $ m_1 $ + $ n_2 $ m_2 $ + $ n_3 $ m_3 $$で必ず整数になる
#ceq(d)

////////////////////////////////////////////////////////////////
** [#f36f4e9e]
逆格子ベクトル のバックアップ差分(No.8)

逆格子ベクトルのバックアップ差分(No.8)
