============================================================
実格子と逆格子の対応
============================================================
ここでは物性物理をされている方の大半が悩むものであろう実格子（直接格子）と
逆格子の対応について考えていきます。単刀直入に言って、
この二つは点と面の対応（二次元なら点と線の対応）だったのです。
点と点の対応を探しても分からないはずです。
では、見ていきましょう。
実格子とは
===================
実格子ベクトル $\bm{R}$ は結晶の基本並進ベクトル $\bm{a}_1,\bm{a}_2,\bm{a}_3$ と整数 $r_1 r_2 r_3$ に対して、
\bm{R} = r_1 \bm{a}_1 + r_2 \bm{a}_2 + r_3 \bm{a}_3 \tag{##}
で定義されます。実際の空間中に点が規則正しく並んでいるイメージです。
ここで、全ての実格子の点の集合を $A_{r_1 r_2 r_3}$ とおきます。
つまり、
A_{r_1 r_2 r_3} = \{ \bm{R} = r_1 \bm{a}_1 + r_2 \bm{a}_2 + r_3 \bm{a}_3 | r_1,r_2,r_3 \in \mathbb{Z} \} \tag{##}
です。また、今後の展開の為、係数 $r_i$ を実数化したものを $A^\prime_{r_1 r_2 r_3}$ とします。
A^\prime_{r_1 r_2 r_3} = \{ \bm{R} = r_1 \bm{a}_1 + r_2 \bm{a}_2 + r_3 \bm{a}_3 | r_1,r_2,r_3 \in \mathbb{R} \} \tag{##}
という事です。
逆格子とは
====================
今度は逆格子です。どう定義されるかと言うと、
式 $(1)$ で定義される全ての実格子ベクトルに対して以下が成立するベクトルの事です。
e^{i \bm{K} \cdot \bm{R}} = 1 \tag{##}
これを求めるには、基本並進ベクトルを用いて以下の基本逆格子ベクトル $\bm{b}_i (i=1,2,3)$ を考えます。
\bm{b}_i = 2 \pi \epsilon_{ijk} \dfrac{\bm{a}_j \times \bm{a}_k}{\bm{a}_i \cdot (\bm{a}_j \times \bm{a}_k)} \tag{##}
ここで、 $\epsilon_{ijk}$ は完全反対称テンソル（エディントンのイプシロン）です。
すると、クロネッカーのデルタ $\delta_{ij}$ を用いて、
\bm{a}_i \cdot \bm{b}_j = 2 \pi \delta_{ij} \tag{##}
という関係が成立します。
すると、逆格子ベクトルは、整数 $k_1,k_2,k_3$ を用いて以下の様に定義されます。
\bm{K} = k_1 \bm{b}_1 + k_2 \bm{b}_2 + k_3 \bm{b}_3 \tag{##}
式 $(2),(3)$ 同様に、逆格子の全ての点の集合を $B_{k_1 k_2 k_3}$ とします。つまり、
B_{k_1 k_2 k_3} = \{ \bm{K} = k_1 \bm{b}_1 + k_2 \bm{b}_2 + k_3 \bm{b}_3 | k_1,k_2,k_3 \in \mathbb{Z} \} \tag{##}
です。また、係数 $k_i$ を実数化したものを $B^\prime_{k_1 k_2 k_3}$ とします。
B^\prime_{k_1 k_2 k_3} = \{ \bm{K} = k_1 \bm{b}_1 + k_2 \bm{b}_2 + k_3 \bm{b}_3 | k_1,k_2,k_3 \in \mathbb{R} \} \tag{##}
という事です。
逆格子の点と実格子の直線群の対応の具体例
==========================================
ここから、簡単の為二次元に話を制限しましょう。
これは式 $(5)$ に於いて、$\bm{a}_1,\bm{a}_2$ をxy平面内の
ベクトル、 $\bm{a}_3$ を $z$ 方向を向いたベクトル $\bm{a}_3 = c_0(0,0,1)$ として、
考えれば良いです。ここで、実格子ベクトルの次元（m:メートル）を考慮して、
格子定数 $c_0$ を設定してあります。
ここでは具体的な逆格子空間中の点を一つ選んで、実格子のどの直線に当たるかを考えます。
まず、六方格子を考え実格子空間を以下の様に定めます。 $a_0$ も長さの次元を持つ定数です。
\bm{a}_1 &= a_0 \begin{pmatrix} \dfrac{\sqrt{3}}{2} \\ -\dfrac{1}{2} \\ 0 \end{pmatrix} \\
\bm{a}_2 &= a_0 \begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix}
\tag{##}
とします。
.. image :: chromel-directAndReciprocalLattice-01.png
すると、基本逆格子ベクトルは以下の様になります。
\bm{b}_1 &= \dfrac{2 \pi}{a_0} \begin{pmatrix} \dfrac{2}{\sqrt{3}} \\ 0 \\ 0 \end{pmatrix} \\
\bm{b}_2 &= \dfrac{2 \pi}{a_0} \begin{pmatrix} \dfrac{1}{\sqrt{3}} \\ 1 \\ 0 \end{pmatrix}
\tag{##}
.. image :: chromel-directAndReciprocalLattice-02.png
対応１
--------------------
ここで、点 $\bm{b}_1$ に対応する面を見てみましょう。
式 $(4)$ の再掲をして、
e^{i \bm{K} \cdot \bm{R}} = 1 \tag{##}
これの意味するところは、整数 $n$ として、
\bm{K} \cdot \bm{R} = 2 \pi n \tag{##}
となります。式 $(6)$ からこの左辺は簡単に求まり、
\bm{K} \cdot \bm{R} =
&= ( k_1 \bm{b}_1 + k_2 \bm{b}_2 ) \cdot (r_1 \bm{a}_1 + r_2 \bm{a}_2) \\
&= 2 \pi (k_1 r_1 + k_2 r_2) = 2 \pi n
\tag{##}
となります。今、 $\bm{K} = \bm{b}_1$ つまり $k_1 = 1,k_2 = 0$ が対応する実空間の部分を求めたいのです。
それは、
2 \pi (k_1 r_1 + k_2 r_2) &= 2 \pi n \\
r_1 &= n
\tag{##}
ここで、 $n$ は任意の整数でしたから、これは直線群 $n \bm{a}_1 + r_2 \bm{a}_2$ です。
ここで、 $r_2$ は任意の実数です。図にすると以下の様になります。
.. image :: chromel-directAndReciprocalLattice-03.png
対応２
--------------------
また、今度はその一つ隣の $\bm{K} = 2 \bm{b}_1$ つまり $k_1 = 2,k_2 = 0$ を考えましょう。
\bm{K} \cdot \bm{R} =
2 \pi (k_1 r_1 + k_2 r_2) &= 2 \pi n \\
2r_1 &= n \\
r_1 &= n/2
\tag{##}
となるので、今度はさっきの直線群の間隔が半分になったものです。
.. image :: chromel-directAndReciprocalLattice-04.png
対応３
----------------------
今度は $\bm{K} = \bm{b}_1 + \bm{b}_2(l=m=1)$ の対応する直線群を求めましょう。
\bm{K} \cdot \bm{R} =
2 \pi (k_1 r_1 + k_2 r_2) &= 2 \pi n \\
r_1 + r_2 &= n \\
r_2 &= n - r_1
\tag{##}
これは直線群
&\ r_1 \bm{a}_1 + (n-r_1) \bm{a}_2 \\
&= n \bm{a}_2 + r_1 (\bm{a}_1 - \bm{a}_2)
です。これは $r_1$ が任意の実数なので、 $n \bm{a}_2$ を
通り $\bm{a}_1-\bm{a}_2$ に平行な直線群です。
.. image :: chromel-directAndReciprocalLattice-05.png
対応４（逆格子空間の逆格子点以外の点）
----------------------------------------------
ここまでは逆格子空間の逆格子点と実空間の対応を見てきました。
更には、逆格子空間の逆格子点以外の点も対応がある事にお気づきでしょうか？
例えば、 $1/2(\bm{b}_1+\bm{b}_2) \ \ (l=m=1/2)$ の時は、
\bm{K} \cdot \bm{R} =
2 \pi (k_1 r_1 + k_2 r_2) &= 2 \pi n \\
1/2(r_1 + r_2) &= n \\
r_2 &= 2 n - r_1
\tag{##}
もう図は書きませんが、これは $2 n \bm{a}_2$ を
通り $\bm{a}_1-\bm{a}_2$ に平行な直線群です。
間隔が対応３の時の倍の実空間の直線群となりますね。
完全な対応（格子点の集合と集合の対応）
===========================================
ここまでは逆格子の点と平面群の対応の話でした。
しかし、逆「格子」と言うからには、
一定の規則を持って整列した点の集合の対応物こそが、
重要な意味を持っているはずです。それを見てみます。
実はこの為に $A_{r_1r_2r_3}$ や $B_{k_1 k_2 k_3}$ を用意したのです。
ここで逆格子の点 $\bm{K} = k_1 \bm{b}_1 + k_2 \bm{b}_2 + k_3 \bm{b}_3$ に対して、
対応する実格子の平面群を以下の様に名づけます。
\Gamma_{k_1k_2k_3}^n = \{ A^\prime_{r_1r_2r_3} | k_1r_1 + k_2r_2 + k_3r_3 = n; \ \ n,k_1,k_2,k_3 \in \mathbb{Z}; \ \ r_1,r_2,r_3 \in \mathbb{R} \} \tag{##}
例えば、 $\Gamma_{100}^n$ ならば、対応１で求めた直線群を三次元に拡張した $\bm{a}_1$ に
垂直な平面群です。 $\Gamma_{200}^n$ ならば、対応２で求めた直線群を三次元に拡張した、
先ほどの半分の周期の $\bm{a}_1$ に垂直な平面群です。
僕が主張したいことは、
A_{r_1r_2r_3} = \bigcap_{k_1,k_2,k_3} \left( \bigcup_{n} \Gamma_{k_1k_2k_3}^n \right) \ \ \ (n,k_1,k_2,k_3 \in \mathbb{Z} ) \tag{##}
ではないかという事です。
つまり、言葉で表現すると、
まず特定の $k_1,k_2,k_3$ を持つ $n$ が異なる平面の集合を一つの図形 $\Gamma^n$ と考えます。
（今、 $k_1,k_2,k_3$ を固定しているので添え字を省略した。）
そして、その後異なる $k_1,k_2,k_3$ に対して、その $\Gamma^n$ の共通部分を求めると、
実格子の格子点となっているだろうという事です。
すみませんが、式 $(20)$ は証明はできていません。
しかし、今まで具体的に見てきたように、 $k_1,k_2,k_3$ が整数の組だった場合、実格子の上を
平面群 $\bigcup_{n} \Gamma_{k_1k_2k_3}^n$ が漏らさず通る事から、
ほぼ確実に成立するだろうと思います。
さらに言えば、
A_{r_1r_2r_3} = \{ \bm{R} | \dfrac{\sum_{\bm{K}} e^{i \bm{K} \cdot \bm{R}}}{\sum_{\bm{K}} 1} = 1 \} \ \ \ (all \bm{K} \in B_{k_1k_2k_3} ) \tag{##}
も成立するでしょう。なぜなら、格子点では $e^{i \bm{K} \cdot \bm{R}} = 1$ が成立するので、式 $(21)$ の分数の値は $1$ となります。しかし、それ以外の点では、複素数の指数関数の位相がゼロではなくなり、その $n$ 倍周期を足していくことによって、ゼロになるはずです。
それでは今日はこの辺で、お疲れ様でした。
@@author:クロメル@@
@@accept:2017-12-10@@
@@category:固体物理学@@
@@id:directAndReciprocalLattice@@