逆格子ベクトル
逆格子ベクトル(ぎゃくこうしべくとる、Reciprocal lattice vector)とは、物性物理における問題、特に結晶構造の解析やバンド計算等に用いる数学的な概念の一つで、波数の概念の一般化である。
Contents
実格子のフーリエ変換
1次元格子点(点列)のフーリエ変換
3次元の実空間中にある無限に続く点列を考える。点間隔を表すベクトルを[math]\bold{a}_1[/math]とすると、
- [math]\bold{r}=n_1\bold{a}_1\quad(n_1=0,\pm 1,\pm 2,\cdots)[/math]
これをフーリエ変換すると、逆空間(k空間、波数空間、逆格子空間)では次の式で表されような無限に続く平面の列(法線[math]\bold{a}_1[/math]、面間隔[math]2\pi/|\bold{a}_1|[/math])になる。
- [math]\bold{k}\cdot\bold{a}_1=2\pi m_1\quad(m_1=0,\pm 1,\pm 2,\cdots)[/math]
証明 点列を次のような「くし型関数」として表す。 - [math]\sum_{n_1=-\infty}^{\infty} \delta^3(\bold{r}-n_1\bold{a}_1)\quad(n_1=0,\pm 1,\pm 2,\cdots)[/math]
- [math]\begin{align} \int_{-\infty}^{\infty}\left(\sum_{n_1=-\infty}^{\infty} \delta^3(\bold{r}-n_1\bold{a}_1)\right)e^{-i\bold{k}\cdot\bold{r}}d\bold{r} &=\sum_{n_1=-\infty}^{\infty}e^{-in_1\bold{k}\cdot\bold{a}_1} \\ &=2\pi\sum_{m_1=-\infty}^{\infty}\delta^3(\bold{k}\cdot\bold{a}_1-2\pi m_1)\quad(m_1=0,\pm 1,\pm 2,\cdots) \end{align}[/math]
このデルタ関数の中身が0になる条件式
- [math]\bold{k}\cdot\bold{a}_1=2\pi m_1\quad(m_1=0,\pm 1,\pm 2,\cdots)[/math]
は無限に続く平面の列を表している。
2次元格子点のフーリエ変換
3次元実空間中にある無限に続く2次元格子点は、次のように表される。
- [math]\bold{r}=n_1\bold{a}_1+n_2\bold{a}_2\quad(n_1,n_2=0,\pm 1,\pm 2,\cdots)[/math]
これをフーリエ変換すると、波数空間では2次元的に規則正しく並んだ無限に長いロッドになり、次の式で表される。
- [math]\bold{k}\cdot\bold{a}_1=2\pi m_1[/math]
- [math]\bold{k}\cdot\bold{a}_2=2\pi m_2 \quad(m_1,m_2=0,\pm 1,\pm 2,\cdots)[/math]
これを逆格子ロッドと呼び、結晶表面の構造解析でよく用いられる。
証明 2次元格子を、くし型関数を用いて次のように表す。 - [math]\sum_{n_1=-\infty}^{\infty}\sum_{n_2=-\infty}^{\infty} \delta^3(\bold{r}-n_1\bold{a}_1-n_2\bold{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(\bold{r}-n_1\bold{a}_1-n_2\bold{a}_2) =\left[\sum_{n_1=-\infty}^{\infty} \delta^3(\bold{r}-n_1\bold{a}_1)\right] *\left[\sum_{n_2=-\infty}^{\infty} \delta^3(\bold{r}-n_2\bold{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(\bold{r}-n_1\bold{a}_1-n_2\bold{a}_2)\right)e^{-i\bold{k}\cdot\bold{r}}d\bold{r} [/math]
- [math]=(2\pi)^2\sum_{m_1=-\infty}^{\infty}\sum_{m_2=-\infty}^{\infty}\delta^3(\bold{k}\cdot\bold{a}_1-2\pi m_1)\delta^3(\bold{k}\cdot\bold{a}_2-2\pi m_2)\quad(m_1,m_2=0,\pm 1,\pm 2,\cdots)[/math]
2つの平面が重なる部分は直線(無限に長いロッド)になる。よってこれは無限に長いロッドが二次元的に並んだものである。
3次元格子のフーリエ変換
3次元の実空間中の格子点は、次のように表される。
- [math]\bold{r}=n_1\bold{a}_1+n_2\bold{a}_2+n_3\bold{a}_3\quad(n_1,n_2,n_3=0,\pm 1,\pm 2,\cdots)[/math]
これをフーリエ変換すると、波数空間では次の式で表される3次元格子点になる。
- [math]\bold{k}\cdot\bold{a}_1=2\pi m_1[/math]
- [math]\bold{k}\cdot\bold{a}_2=2\pi m_2\quad(m_1,m_2,m_3=0,\pm 1,\pm 2,\cdots)[/math]
- [math]\bold{k}\cdot\bold{a}_3=2\pi m_3[/math]
これを逆格子点と呼ぶ。
証明 3次元格子を、くし型関数を用いて次のように表す。 - [math]\sum_{n_1=-\infty}^{\infty}\sum_{n_2=-\infty}^{\infty}\sum_{n_3=-\infty}^{\infty} \delta^3(\bold{r}-n_1\bold{a}_1-n_2\bold{a}_2-n_3\bold{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(\bold{r}-n_1\bold{a}_1-n_2\bold{a}_2-n_3\bold{a}_3)[/math]
- [math]=\left[\sum_{n_1=-\infty}^{\infty} \delta^3(\bold{r}-n_1\bold{a}_1)\right] *\left[\sum_{n_2=-\infty}^{\infty} \delta^3(\bold{r}-n_2\bold{a}_2)\right] *\left[\sum_{n_3=-\infty}^{\infty} \delta^3(\bold{r}-n_3\bold{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(\bold{r}-n_1\bold{a}_1-n_2\bold{a}_2-n_3\bold{a}_3)\right)e^{-i\bold{k}\cdot\bold{r}}d\bold{r} [/math]
- [math]=(2\pi)^3\sum_{m_1=-\infty}^{\infty}\sum_{m_2=-\infty}^{\infty}\sum_{m_3=-\infty}^{\infty}\delta^3(\bold{k}\cdot\bold{a}_1-2\pi m_1)\delta^3(\bold{k}\cdot\bold{a}_2-2\pi m_2)\delta^3(\bold{k}\cdot\bold{a}_3-2\pi m_3)\quad(m_1,m_2,m_3=0,\pm 1,\pm 2,\cdots)[/math]
3つの平面が重なる部分は点になる。よってこれは点が3次元的に無限に並んだものである。
逆格子ベクトル
構造を調べたい3次元結晶の実空間における基本並進ベクトル(基本単位ベクトル)を {a1, a2, a3} とする。このとき、この結晶の逆格子空間での基本並進ベクトル(基本単位ベクトル、基本逆格子ベクトル、単に基本ベクトルとも言う){b1, b2, b3} は、以下のように定義される。
- [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}_1 \cdot ( \mathbf{a}_2 \times \mathbf{a}_3 ) } } \\ & \mathbf{b}_3 = 2 \pi { \mathbf{a}_1 \times \mathbf{a}_2 \over { \mathbf{a}_1 \cdot ( \mathbf{a}_2 \times \mathbf{a}_3 ) } } \end{align}[/math]
ここで・は内積、×は外積である。このように逆格子空間の基本ベクトルを定義すると、aとbの間には以下の直交関係がある。
- [math] \mathbf{a}_i \cdot \mathbf{b}_j = 2 \pi \delta_{ij} [/math]
また、{b1, b2, b3} と任意の整数の組 m = (m1, m2, m3) によって構成されるベクトル
- [math] \mathbf{G}_\mathbf{m} = m_1 \mathbf{b}_1 + m_2 \mathbf{b}_2 + m_3 \mathbf{b}_3 [/math]
を逆格子ベクトルという。逆格子ベクトルGm で表現されるベクトルの終点((m1, m2, m3) で表される)の集まりが逆格子、そしてそのそれぞれの終点が逆格子点である。
性質
任意の実格子ベクトルRn と逆格子ベクトルGm には、
- [math] \mathbf{G}_m \cdot \mathbf{R}_n = 2 \pi N_{mn} [/math]
という関係がある。ただしNmn は適当な整数である。
尚、基本並進ベクトルがつくる平行六面体(=単位胞)の体積は、
- [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]
となる。ここでΩは実空間での単位胞の体積で、ΩGは逆格子空間での単位胞の体積である。
ブリュアンゾーン
逆格子の単位胞は、逆格子の対称性を十分に反映していない。そこで逆格子の原点とその近くにある逆格子点との二等分面で囲まれた領域が用いられ、これをブリュアンゾーンと呼ぶ。ブリュアンゾーンは逆格子の対称性を反映しており、その体積は逆格子の単位胞の体積と同じになる。