逆格子ベクトルのソースを表示

{{出典の明記|date=2012年10月24日 (水) 06:21 (UTC)}}
[[File:Rcprwrld2.png|thumb|right|300px|2次元結晶とその逆格子]]

'''逆格子ベクトル'''（ぎゃくこうしべくとる、{{lang|en|Reciprocal lattice vector}}）とは、[[物性物理]]における問題、特に[[結晶構造]]の解析や[[バンド計算]]等に用いる数学的な概念の一つで、[[波数]]の概念の一般化である。
== 実格子のフーリエ変換 ==
=== 1次元格子点（点列）のフーリエ変換 ===
3次元の実空間中にある無限に続く点列を考える。点間隔を表すベクトルを<math>\mathbf{a}_1</math>とすると、
:<math>\mathbf{r}=n_1\mathbf{a}_1\quad(n_1=0,\pm 1,\pm 2,\cdots)</math>
これをフーリエ変換すると、逆空間（'''k空間'''、'''波数空間'''、'''逆格子空間'''）では次の式で表されような無限に続く平面の列（法線<math>\mathbf{a}_1</math>、面間隔<math>2\pi/|\mathbf{a}_1|</math>）になる。
:<math>\mathbf{k}\cdot\mathbf{a}_1=2\pi m_1\quad(m_1=0,\pm 1,\pm 2,\cdots)</math>

:{|class="toccolours mw-collapsible mw-collapsed" style="text-align:left"
!証明
|-
|点列を次のような「[[くし型関数]]」として表す。
:<math>\sum_{n_1=-\infty}^{\infty} \delta^3(\mathbf{r}-n_1\mathbf{a}_1)\quad(n_1=0,\pm 1,\pm 2,\cdots)</math>
これを[[フーリエ変換]]すると、3次元[[デルタ関数]]の性質より、
:<math>\begin{align}
\int_{-\infty}^{\infty}\left(\sum_{n_1=-\infty}^{\infty} \delta^3(\mathbf{r}-n_1\mathbf{a}_1)\right)e^{-i\mathbf{k}\cdot\mathbf{r}}d\mathbf{r}
&=\sum_{n_1=-\infty}^{\infty}e^{-in_1\mathbf{k}\cdot\mathbf{a}_1} \\
&=2\pi\sum_{m_1=-\infty}^{\infty}\delta(\mathbf{k}\cdot\mathbf{a}_1-2\pi m_1)\quad(m_1=0,\pm 1,\pm 2,\cdots)
\end{align}</math>
このデルタ関数の中身が0になる条件式
:<math>\mathbf{k}\cdot\mathbf{a}_1=2\pi m_1\quad(m_1=0,\pm 1,\pm 2,\cdots)</math>
は無限に続く平面の列を表している。
|}

=== 2次元格子点のフーリエ変換 ===
3次元実空間中にある無限に続く2次元格子点は、次のように表される。
:<math>\mathbf{r}=n_1\mathbf{a}_1+n_2\mathbf{a}_2\quad(n_1,n_2=0,\pm 1,\pm 2,\cdots)</math>
これをフーリエ変換すると、波数空間では2次元的に規則正しく並んだ無限に長いロッドになり、次の式で表される。
:<math>\mathbf{k}\cdot\mathbf{a}_1=2\pi m_1</math>
:<math>\mathbf{k}\cdot\mathbf{a}_2=2\pi m_2 \quad(m_1,m_2=0,\pm 1,\pm 2,\cdots)</math>
これを'''逆格子ロッド'''と呼び、結晶表面の構造解析でよく用いられる。

:{|class="toccolours mw-collapsible mw-collapsed" style="text-align:left"
!証明
|-
|2次元格子を、くし型関数を用いて次のように表す。
:<math>\sum_{n_1=-\infty}^{\infty}\sum_{n_2=-\infty}^{\infty} \delta^3(\mathbf{r}-n_1\mathbf{a}_1-n_2\mathbf{a}_2)\quad(n_1,n_2=0,\pm 1,\pm 2,\cdots)</math>
これは上述の点列の[[畳み込み]]であることが分かる。つまり畳み込みを記号<math>*</math>で表すとすると、
:<math>\sum_{n_1=-\infty}^{\infty}\sum_{n_2=-\infty}^{\infty} \delta^3(\mathbf{r}-n_1\mathbf{a}_1-n_2\mathbf{a}_2)
=\left[\sum_{n_1=-\infty}^{\infty} \delta^3(\mathbf{r}-n_1\mathbf{a}_1)\right]
*\left[\sum_{n_2=-\infty}^{\infty} \delta^3(\mathbf{r}-n_2\mathbf{a}_2)\right]
\quad(n_1,n_2=0,\pm 1,\pm 2,\cdots)</math>
よって上述の点列のフーリエ変換の結果と畳み込みの性質より、2次元格子のフーリエ変換は2つの平面列の積であることがわかる。
:<math>\int_{-\infty}^{\infty}\left(\sum_{n_1=-\infty}^{\infty}\sum_{n_2=-\infty}^{\infty} \delta^3(\mathbf{r}-n_1\mathbf{a}_1-n_2\mathbf{a}_2)\right)e^{-i\mathbf{k}\cdot\mathbf{r}}d\mathbf{r} </math>
:<math>=(2\pi)^2\sum_{m_1=-\infty}^{\infty}\sum_{m_2=-\infty}^{\infty}\delta^3(\mathbf{k}\cdot\mathbf{a}_1-2\pi m_1)\delta^3(\mathbf{k}\cdot\mathbf{a}_2-2\pi m_2)\quad(m_1,m_2=0,\pm 1,\pm 2,\cdots)</math>
2つの平面が重なる部分は直線（無限に長いロッド）になる。よってこれは無限に長いロッドが二次元的に並んだものである。
|}

=== 3次元格子のフーリエ変換 ===
3次元の実空間中の格子点は、次のように表される。
:<math>\mathbf{r}=n_1\mathbf{a}_1+n_2\mathbf{a}_2+n_3\mathbf{a}_3\quad(n_1,n_2,n_3=0,\pm 1,\pm 2,\cdots)</math>
これをフーリエ変換すると、波数空間では次の式で表される3次元格子点になる。
:<math>\mathbf{k}\cdot\mathbf{a}_1=2\pi m_1</math>
:<math>\mathbf{k}\cdot\mathbf{a}_2=2\pi m_2\quad(m_1,m_2,m_3=0,\pm 1,\pm 2,\cdots)</math>
:<math>\mathbf{k}\cdot\mathbf{a}_3=2\pi m_3</math>
これを'''逆格子点'''と呼ぶ。
:{|class="toccolours mw-collapsible mw-collapsed" style="text-align:left"
!証明
|-
|3次元格子を、くし型関数を用いて次のように表す。
:<math>\sum_{n_1=-\infty}^{\infty}\sum_{n_2=-\infty}^{\infty}\sum_{n_3=-\infty}^{\infty} \delta^3(\mathbf{r}-n_1\mathbf{a}_1-n_2\mathbf{a}_2-n_3\mathbf{a}_3)\quad(n_1,n_2,n_3=0,\pm 1,\pm 2,\cdots)</math>
2次元格子の場合と同様に、これも上述の点列の[[畳み込み]]で表せる。
:<math>\sum_{n_1=-\infty}^{\infty}\sum_{n_2=-\infty}^{\infty}\sum_{n_3=-\infty}^{\infty} \delta^3(\mathbf{r}-n_1\mathbf{a}_1-n_2\mathbf{a}_2-n_3\mathbf{a}_3)</math>
:<math>=\left[\sum_{n_1=-\infty}^{\infty} \delta^3(\mathbf{r}-n_1\mathbf{a}_1)\right]
*\left[\sum_{n_2=-\infty}^{\infty} \delta^3(\mathbf{r}-n_2\mathbf{a}_2)\right]
*\left[\sum_{n_3=-\infty}^{\infty} \delta^3(\mathbf{r}-n_3\mathbf{a}_3)\right]
\quad(n_1,n_2,n_3=0,\pm 1,\pm 2,\cdots)</math>
よって上述の点列のフーリエ変換の結果と畳み込みの性質より、3次元格子のフーリエ変換は3つの平面列の積であることがわかる。
:<math>\int_{-\infty}^{\infty}\left(\sum_{n_1=-\infty}^{\infty}\sum_{n_2=-\infty}^{\infty}\sum_{n_3=-\infty}^{\infty} \delta^3(\mathbf{r}-n_1\mathbf{a}_1-n_2\mathbf{a}_2-n_3\mathbf{a}_3)\right)e^{-i\mathbf{k}\cdot\mathbf{r}}d\mathbf{r} </math>
:<math>=(2\pi)^3\sum_{m_1=-\infty}^{\infty}\sum_{m_2=-\infty}^{\infty}\sum_{m_3=-\infty}^{\infty}\delta^3(\mathbf{k}\cdot\mathbf{a}_1-2\pi m_1)\delta^3(\mathbf{k}\cdot\mathbf{a}_2-2\pi m_2)\delta^3(\mathbf{k}\cdot\mathbf{a}_3-2\pi m_3)\quad(m_1,m_2,m_3=0,\pm 1,\pm 2,\cdots)</math>
3つの平面が重なる部分は点になる。よってこれは点が3次元的に無限に並んだものである。
|}

== 逆格子ベクトル ==
構造を調べたい3次元[[結晶]]の実空間における基本並進ベクトル（基本単位ベクトル）を {'''a'''<SUB>1</SUB>, '''a'''<SUB>2</SUB>, '''a'''<SUB>3</SUB>} とする。このとき、この結晶の'''[[逆格子空間]]での基本並進ベクトル'''（'''基本単位ベクトル'''、'''基本逆格子ベクトル'''、単に'''基本ベクトル'''とも言う）{'''b'''<SUB>1</SUB>, '''b'''<SUB>2</SUB>, '''b'''<SUB>3</SUB>} は、以下のように定義される。

:<math>\begin{align}
& \mathbf{b}_1 = 2 \pi { \mathbf{a}_2 \times \mathbf{a}_3 \over { \mathbf{a}_1 \cdot ( \mathbf{a}_2 \times \mathbf{a}_3 ) } } \\
& \mathbf{b}_2 = 2 \pi { \mathbf{a}_3 \times \mathbf{a}_1 \over { \mathbf{a}_2 \cdot ( \mathbf{a}_3 \times \mathbf{a}_1 ) } } \\
& \mathbf{b}_3 = 2 \pi { \mathbf{a}_1 \times \mathbf{a}_2 \over { \mathbf{a}_3 \cdot ( \mathbf{a}_1 \times \mathbf{a}_2 ) } } \end{align}</math>

ここで・は[[内積]]、&times;は[[クロス積|外積]]である。このように逆格子空間の基本ベクトルを定義すると、'''a'''と'''b'''の間には以下の直交関係がある。

:<math> \mathbf{a}_i \cdot \mathbf{b}_j = 2 \pi \delta_{ij} </math>

また、{'''b'''<SUB>1</SUB>, '''b'''<SUB>2</SUB>, '''b'''<SUB>3</SUB>} と任意の整数の組 '''m''' = (''m''<SUB>1</SUB>, ''m''<SUB>2</SUB>, ''m''<SUB>3</SUB>) によって構成されるベクトル

:<math> \mathbf{G}_\mathbf{m} = m_1 \mathbf{b}_1 + m_2 \mathbf{b}_2 + m_3 \mathbf{b}_3 </math>

を'''逆格子ベクトル'''という。逆格子ベクトル'''G<SUB>m</SUB>''' で表現されるベクトルの終点（(''m''<SUB>1</SUB>, ''m''<SUB>2</SUB>, ''m''<SUB>3</SUB>) で表される）の集まりが'''逆格子'''、そしてそのそれぞれの終点が'''逆格子点'''である。

== 性質 ==
任意の実格子ベクトル'''R'''<SUB>''n''</SUB> と逆格子ベクトル'''G'''<SUB>''m''</SUB> には、

:<math> \mathbf{G}_m \cdot \mathbf{R}_n = 2 \pi N_{mn} </math>

という関係がある。ただし''N<SUB>mn</SUB>'' は適当な整数である。

尚、基本並進ベクトルがつくる平行六面体（＝[[単位胞]]）の体積は、

:<math>\begin{align}& \Omega = \mathbf{a}_1 \cdot (\mathbf{a}_2 \times \mathbf{a}_3) \\
& \Omega_\mathrm{G} = \mathbf{b}_1 \cdot (\mathbf{b}_2 \times \mathbf{b}_3) = {(2 \pi)^3 \over {\Omega} } \end{align}</math>

となる。ここで&Omega;は実空間での単位胞の体積で、&Omega;<SUB>G</SUB>は逆格子空間での単位胞の体積である。
== ブリルアンゾーン ==
逆格子の単位胞は、逆格子の対称性を十分に反映していない。そこで逆格子の原点とその近くにある逆格子点との二等分面で囲まれた領域が用いられ、これを[[ブリルアンゾーン]]と呼ぶ。ブリルアンゾーンは逆格子の対称性を反映しており、その体積は逆格子の単位胞の体積と同じになる。

==関連記事==
*[[結晶格子]]
*[[物性物理学]]
*[[ブリュアンゾーン]]

== 外部リンク ==
* http://home.hiroshima-u.ac.jp/~ino/lecture/

{{Normdaten}}
{{デフォルトソート:きやくこうしへくとる}}
[[Category:固体物理学]]
[[Category:フーリエ解析]]
[[Category:数学に関する記事]]
[[Category:ベクトル]]
[[Category:格子点]]