# Bloch の定理とバンド理論：ほぼ自由な電子・強束縛近似・半導体・有効質量

> 周期ポテンシャル中の電子の固有関数が Bloch 波になることを証明し、ほぼ自由な電子でギャップが 2|U_G| で開くこと、強束縛近似のバンド、電場中の電子の運動、有効質量、半導体のキャリア密度を導く。
> https://rikai.mugen-giken.com/physics/condensed-matter/band-theory

## 0. この記事の要点

銅は電気をよく通し、ダイヤモンドはほとんど通しません。どちらも原子が規則正しく並んだ結晶なのに、なぜこれほど違うのでしょうか。この記事では、規則正しい並びの中を動く電子の波を調べて、エネルギーに「入れる帯」と「入れない隙間」ができることを示します。それによって、金属・絶縁体・半導体の違いや、電子が結晶の中では「軽く」も「重く」もなって見える理由が分かります。

- 結晶の周期ポテンシャルのもとで、1 電子ハミルトニアンの固有関数は**Bloch 波** $\psi_{n\boldsymbol{k}}(\boldsymbol{r})=e^{i\boldsymbol{k}\cdot\boldsymbol{r}}u_{n\boldsymbol{k}}(\boldsymbol{r})$（$u$ は格子周期）に選べます。波数 $\boldsymbol{k}$ は第 1 Brillouin ゾーン（逆格子空間で原点にいちばん近い領域）の中だけで数えれば十分で、エネルギー $\varepsilon_n(\boldsymbol{k})$ は**バンド**をつくります。証明は「並進演算子と $H$ の同時対角化」（互いに可換な演算子に共通の固有関数を選ぶこと）だけです。
- ゾーンの中の許される $\boldsymbol{k}$ の数は単位胞の数 $N$ ちょうどで、各バンドは $2N$ 個の電子を収容します。そのため、単位胞あたりの電子数が奇数の結晶は必ず金属になります。
- ほぼ自由な電子では、Bragg 面（ゾーン境界。波が結晶で強く反射される面）上で 2 つの平面波が縮退して混ざり、ポテンシャルのフーリエ成分 $U_{\boldsymbol{G}}$ に対して**ギャップ $2|U_{\boldsymbol{G}}|$** が開きます。
- 強束縛近似では、原子軌道間のホッピング $t$ により、1 次元鎖のバンドは $\varepsilon(k)=\varepsilon_0-2t\cos ka$（帯幅 $4t$）になります。
- バンド内の電子は、電場のもとで $\hbar\dot{\boldsymbol{k}}=-e\boldsymbol{E}$、速度 $\boldsymbol{v}=\hbar^{-1}\partial\varepsilon/\partial\boldsymbol{k}$ に従って運動し、等価的に質量 $m^*=\hbar^2(\partial^2\varepsilon/\partial k^2)^{-1}$ の粒子と見えます。ほぼ満員のバンドの空席は、電荷 $+e$ の**正孔**（電子が抜けた跡が、正の電荷をもつ粒子のように動くもの）として振る舞います。
- 半導体のキャリア密度は $n=N_ce^{-(E_c-\mu)/k_BT}$ などの形をとり、$np=n_i^2\propto e^{-E_g/k_BT}$（質量作用の法則）が成り立ちます。

<Aside type="tip" title="この記事で使う事前知識">

- **周期境界条件**: 単位胞 $N$ 個ぶんの結晶の端を輪のようにつなぎ、$N$ 回並進すると元に戻る、と約束すること。
- **同時対角化**: 互いに可換な演算子には、すべての固有値を同時に決める共通の固有関数が選べる、という性質。
- **逆格子**: 結晶の周期を波数の空間で表した格子。波の位相が格子の並進で変わらない波数の集まり。→ [逆格子](/physics/condensed-matter/crystals-phonons#def-reciprocal)
- **自由電子気体**: 電子がイオンの影響を受けず、互いにも干渉しない自由な粒子として動くとする模型。→ [自由電子気体](/physics/condensed-matter/free-electrons#def-free-electron)
- **状態密度**: エネルギーのごく狭い範囲に、電子の状態がいくつ入っているかを表す量。→ [状態密度](/physics/condensed-matter/free-electrons#def-dos)
- **化学ポテンシャル**: 粒子を 1 個加えるのに必要なエネルギー。半導体の節で電子の入りやすさを決める基準になる。→ [化学ポテンシャル](/physics/thermodynamics/grand-canonical-ensemble#def-chemical-potential)

</Aside>


## 1. 動機：金属・絶縁体・半導体はなぜ違うのか

前章の[自由電子気体](/physics/condensed-matter/free-electrons)は、金属の比熱と電気伝導率をほぼ説明しました。しかしそこには深刻な謎が残っています。第 1 に、電子はイオンに衝突し続けるはずなのに、平均自由行程が原子間隔の 100 倍以上にも達します。第 2 に、Hall 係数が正の金属があります。そして第 3 に、自由電子の描像では**絶縁体**が存在できません。電子密度がどれほど小さくても、自由電子は電場で加速されて電流を運ぶからです。ダイヤモンドの電気抵抗率は銅の $10^{20}$ 倍以上もあります。

この謎を解く鍵は、結晶ポテンシャルを取り入れることです。電子は孤立した粒子ではなく、周期的に並んだイオンの中の波として、結晶全体に広がっています。周期構造の中の波の理論はあらゆる分野に共通で、X 線の回折（[結晶構造と格子振動](/physics/condensed-matter/crystals-phonons)）も、フォノンの分散も、周期構造による波の干渉でした。この章では電子について、この考え方を押し進めます。

最初の鍵は **Bloch の定理**です。周期ポテンシャルの中の固有関数は、平面波に格子周期の関数をかけた形をとり、エネルギー準位は連続的な**バンド**に分かれます。バンドとバンドの間には、電子が存在できない**ギャップ**があります。ギャップの中に電子が満たされる最高のエネルギーがあれば、絶縁体（または半導体）になります。この章は、そのバンドを具体的な近似（ほぼ自由な電子、強束縛近似）で計算し、電場中の運動、有効質量、半導体のキャリア密度までを一貫して扱います。

なお、次の第 4 章の磁性、第 6 章のトポロジカル相では、ここで作る $H(\boldsymbol{k})$ と Bloch 関数 $u_{n\boldsymbol{k}}$ がそのまま主役になります。数学的には、$H$ を $\boldsymbol{k}$ ごとの $H(\boldsymbol{k})$ に分解する Bloch–Floquet 分解（§2.3）に相当します。

## 2. Bloch の定理

### 2.1. 設定と定理

1 電子[ハミルトニアン](/physics/mechanics/hamiltonian-mechanics#def-hamiltonian)を

$$
H=\frac{\boldsymbol{p}^2}{2m}+V(\boldsymbol{r}),\qquad V(\boldsymbol{r}+\boldsymbol{R})=V(\boldsymbol{r})\ \ (\forall\boldsymbol{R}\in\Lambda)
$$

とします。$\Lambda$ は Bravais 格子（<Ref to="physics/condensed-matter/crystals-phonons#def-bravais" />）です。電子間相互作用は、周期的な平均場ポテンシャルとして $V$ にくりこまれているものとします（独立電子近似）。結晶は $N=N_1N_2N_3$ 個の単位胞を含み、周期境界条件 $\psi(\boldsymbol{r}+N_i\boldsymbol{a}_i)=\psi(\boldsymbol{r})$ を課します。

格子ベクトル $\boldsymbol{R}$ に対し、**並進演算子** $T_{\boldsymbol{R}}$ を $(T_{\boldsymbol{R}}\psi)(\boldsymbol{r})=\psi(\boldsymbol{r}+\boldsymbol{R})$ で定義します。

<Theorem id="thm-bloch" title="Bloch の定理">
上の設定で、$H$ のエネルギー固有関数は、すべての $\boldsymbol{R}\in\Lambda$ について

$$
\psi(\boldsymbol{r}+\boldsymbol{R})=e^{i\boldsymbol{k}\cdot\boldsymbol{R}}\,\psi(\boldsymbol{r})
$$

を満たす形に選べる。ここで $\boldsymbol{k}=\sum_i\frac{m_i}{N_i}\boldsymbol{b}_i$（$m_i\in\mathbb{Z}$、$\boldsymbol{b}_i$ は逆格子の基本ベクトル）。同値な言い方をすると、

$$
\psi_{\boldsymbol{k}}(\boldsymbol{r})=e^{i\boldsymbol{k}\cdot\boldsymbol{r}}u_{\boldsymbol{k}}(\boldsymbol{r}),\qquad u_{\boldsymbol{k}}(\boldsymbol{r}+\boldsymbol{R})=u_{\boldsymbol{k}}(\boldsymbol{r})
$$

である。$\boldsymbol{k}$ と $\boldsymbol{k}+\boldsymbol{G}$（$\boldsymbol{G}\in\Lambda^*$）は同じ並進の固有値を与える。
</Theorem>

証明の方針は次のとおりです。結晶を 1 周期ぶんずらす操作（並進）はハミルトニアンと両立するので、エネルギーの固有関数を並進の固有関数にも同時に選べます。端をつないだ結晶では、$N$ 回ずらすと元に戻るため、並進の固有値は 1 の $N$ 乗根に限られ、それが波数 $\boldsymbol{k}$ の値を決めます。

<Proof of="thm-bloch">
(i) $T_{\boldsymbol{R}}$ は $H$ と可換です。運動エネルギー $\boldsymbol{p}^2/2m$ は並進で不変で、$V$ は周期性より $T_{\boldsymbol{R}}VT_{\boldsymbol{R}}^{-1}=V(\cdot+\boldsymbol{R})=V$ です。また $T_{\boldsymbol{R}}T_{\boldsymbol{R}'}=T_{\boldsymbol{R}+\boldsymbol{R}'}$ なので、$T_{\boldsymbol{R}}$ どうしも可換です。

(ii) 周期境界条件は $T_{N_i\boldsymbol{a}_i}=1$ を意味します。可換でユニタリな演算子の族 $T_{\boldsymbol{a}_1},T_{\boldsymbol{a}_2},T_{\boldsymbol{a}_3},H$ は、[同時固有関数](/physics/quantum-mechanics/operators-and-observables)をもちます（<Ref to="physics/quantum-mechanics/operators-and-observables#thm-simultaneous" />）。そこで $H$ の固有関数 $\psi$ を、$T_{\boldsymbol{a}_i}\psi=\lambda_i\psi$ を満たすように選びます。$T_{\boldsymbol{a}_i}^{N_i}=1$ から $\lambda_i^{N_i}=1$、つまり $\lambda_i=e^{2\pi im_i/N_i}$（$m_i\in\mathbb{Z}$）です。

(iii) $\boldsymbol{k}=\sum_i(m_i/N_i)\boldsymbol{b}_i$ と定めると、$\boldsymbol{b}_i\cdot\boldsymbol{a}_j=2\pi\delta_{ij}$（<Ref to="physics/condensed-matter/crystals-phonons#prop-reciprocal-basis" />）より $\boldsymbol{k}\cdot\boldsymbol{a}_j=2\pi m_j/N_j$、つまり $\lambda_j=e^{i\boldsymbol{k}\cdot\boldsymbol{a}_j}$。任意の $\boldsymbol{R}=\sum n_j\boldsymbol{a}_j$ に対し $T_{\boldsymbol{R}}=\prod_jT_{\boldsymbol{a}_j}^{n_j}$ なので $T_{\boldsymbol{R}}\psi=\prod_j\lambda_j^{n_j}\psi=e^{i\boldsymbol{k}\cdot\boldsymbol{R}}\psi$。

(iv) $u_{\boldsymbol{k}}(\boldsymbol{r})=e^{-i\boldsymbol{k}\cdot\boldsymbol{r}}\psi(\boldsymbol{r})$ とおくと、$u_{\boldsymbol{k}}(\boldsymbol{r}+\boldsymbol{R})=e^{-i\boldsymbol{k}\cdot\boldsymbol{r}-i\boldsymbol{k}\cdot\boldsymbol{R}}e^{i\boldsymbol{k}\cdot\boldsymbol{R}}\psi(\boldsymbol{r})=u_{\boldsymbol{k}}(\boldsymbol{r})$ で、$u_{\boldsymbol{k}}$ は周期関数です。最後に、$\boldsymbol{G}\in\Lambda^*$ で $e^{i\boldsymbol{G}\cdot\boldsymbol{R}}=1$（<Ref to="physics/condensed-matter/crystals-phonons#def-reciprocal" />）だから、$\boldsymbol{k}$ と $\boldsymbol{k}+\boldsymbol{G}$ は同じ固有値 $e^{i\boldsymbol{k}\cdot\boldsymbol{R}}$ を与えます。
</Proof>

この定理が言っているのは、電子の「運動量」$\hbar\boldsymbol{k}$ の保存則が、**結晶運動量**（crystal momentum）として、逆格子ベクトルの不定性を残して生き残っていることです。結晶に衝突する電子の運動量は $\hbar\boldsymbol{G}$ だけ結晶に受け渡され得る、というのは X 線回折（[結晶構造と格子振動](/physics/condensed-matter/crystals-phonons)の Laue 条件）と同じ事情です。

### 2.2. バンドと状態数

固定した $\boldsymbol{k}$ のもとで、$H$ の固有値は離散的に並びます（後述の $H(\boldsymbol{k})$ が 1 つの単位胞上の問題だから）。小さいほうから $\varepsilon_1(\boldsymbol{k})\le\varepsilon_2(\boldsymbol{k})\le\cdots$ と並べ、$n$ を**バンド指数**と呼びます。$\boldsymbol{k}\to\boldsymbol{k}+\boldsymbol{G}$ で同じ状態なので $\varepsilon_n(\boldsymbol{k}+\boldsymbol{G})=\varepsilon_n(\boldsymbol{k})$ です（周期ゾーン形式）。$\boldsymbol{k}$ を第 1 Brillouin ゾーンの中に取る約束を**還元ゾーン形式**といいます。言いかえると、$\boldsymbol{k}$ に制限を付けずに $\varepsilon_n(\boldsymbol{k})$ を描くと、同じ曲線が逆格子ベクトルの間隔で繰り返されます。その 1 周期ぶんだけを取り出して見るのが還元ゾーン形式です。自由電子の放物線を逆格子ベクトルだけ左右にずらして重ね、ゾーンの中に畳み込んだ形になる、と考えてください（§3 の図の破線）。

<Proposition id="prop-band-counting" title="バンドあたりの状態数">
$N=N_1N_2N_3$ 個の単位胞をもつ結晶で、周期境界条件のもとで許される第 1 Brillouin ゾーン内の $\boldsymbol{k}$ は、ちょうど $N$ 個である。したがって各バンドは、スピンを込めて $2N$ 個の電子を収容できる。
</Proposition>

<Proof of="prop-band-counting">
<Ref to="thm-bloch" /> の証明より、許される $\boldsymbol{k}$ は $\sum_i(m_i/N_i)\boldsymbol{b}_i$ の形で、$m_i$ と $m_i+N_i$ は $\boldsymbol{k}$ を $\boldsymbol{b}_i$ だけずらす、すなわち同じ状態を与えます。したがって $m_i\in\{0,1,\ldots,N_i-1\}$ の $N_1N_2N_3=N$ 個が互いに異なる状態です。第 1 BZ は逆格子の基本単位胞と同じ体積をもち、$\boldsymbol{k}$ をずらして BZ の中に入れても同じ集合を数えられます。スピンの 2 状態を掛けて $2N$。
</Proof>

<Corollary id="cor-odd-metal" title="単位胞あたりの電子数が奇数なら金属">
スピンに依存しない独立電子近似で、単位胞あたりの電子数が奇数ならば、最も高く占有されているバンドは部分的にしか埋まらない。したがってバンドギャップを持たず、金属的である。
</Corollary>

<Proof of="cor-odd-metal">
単位胞あたり $z$ 個の電子があれば、全電子数は $zN$。各バンドの容量は <Ref to="prop-band-counting" /> より $2N$ なので、$z$ が奇数なら $zN$ は $2N$ の整数倍にならず、最後の電子を収める最後のバンドは半端にしか埋まりません。
</Proof>

アルカリ金属（単位胞あたり 1 電子）が金属なのはこのためです。逆に単位胞あたりの電子が偶数でも、バンドが重なっていれば金属になり得ます（アルカリ土類金属・半金属）。偶数は絶縁体であるための必要条件にすぎません。

<Figure caption="電子の占有状態による物質の分類。金属では最高の占有バンドが途中まで埋まる。絶縁体は、満杯の価電子帯と空の伝導帯の間に大きなギャップ E_g がある。半導体はギャップが小さく、有限温度で伝導帯に少数の電子（●）が励起され、価電子帯に同数の正孔（○）が残る。">
<svg viewBox="0 0 640 280" width="100%" role="img" aria-label="バンドの占有と物質の分類。金属は部分的に埋まった帯をもつ。絶縁体は大きなギャップをもつ。半導体はギャップが小さく熱励起で電子と正孔が現れる">
  <g stroke="currentColor" stroke-width="2" fill="none">
    <rect x="50" y="60" width="140" height="150" />
    <rect x="260" y="40" width="140" height="65" />
    <rect x="260" y="165" width="140" height="65" />
    <rect x="470" y="70" width="140" height="65" />
    <rect x="470" y="165" width="140" height="65" />
  </g>
  <g fill="var(--sl-color-accent)" fill-opacity="0.35" stroke="none">
    <rect x="50" y="135" width="140" height="75" />
    <rect x="260" y="165" width="140" height="65" />
    <rect x="470" y="165" width="140" height="65" />
  </g>
  <path d="M 40 135 H 200" stroke="var(--sl-color-accent)" stroke-width="2.2" stroke-dasharray="6 4" fill="none" />
  <g fill="var(--sl-color-accent)">
    <circle cx="500" cy="126" r="4" /><circle cx="535" cy="129" r="4" /><circle cx="575" cy="125" r="4" />
  </g>
  <g fill="none" stroke="var(--sl-color-accent)" stroke-width="2">
    <circle cx="505" cy="174" r="4" /><circle cx="545" cy="172" r="4" /><circle cx="585" cy="175" r="4" />
  </g>
  <g stroke="currentColor" stroke-width="1.2" fill="none">
    <path d="M 330 108 V 162" /><path d="M 324 114 L 330 108 L 336 114" /><path d="M 324 156 L 330 162 L 336 156" />
    <path d="M 540 138 V 162" /><path d="M 534 144 L 540 138 L 546 144" /><path d="M 534 156 L 540 162 L 546 156" />
  </g>
  <g fill="currentColor" font-size="14" text-anchor="middle">
    <text x="120" y="256">金属</text>
    <text x="330" y="256">絶縁体</text>
    <text x="540" y="256">半導体</text>
    <text x="120" y="54">最高占有バンド</text>
    <text x="330" y="32">伝導帯（空）</text>
    <text x="330" y="204" fill="currentColor">価電子帯（満杯）</text>
    <text x="540" y="62">伝導帯</text>
    <text x="540" y="204">価電子帯</text>
  </g>
  <g fill="currentColor" font-size="13">
    <text x="338" y="140">E_g（大）</text>
    <text x="550" y="154">E_g（小）</text>
    <text x="198" y="139" fill="var(--sl-color-accent)">ε_F</text>
  </g>
</svg>
</Figure>

### 2.3. Bloch–Floquet 分解：$H(\boldsymbol{k})$

<Ref to="thm-bloch" /> の $\psi_{\boldsymbol{k}}=e^{i\boldsymbol{k}\cdot\boldsymbol{r}}u$ を Schrödinger 方程式に入れます。$\boldsymbol{p}e^{i\boldsymbol{k}\cdot\boldsymbol{r}}u=e^{i\boldsymbol{k}\cdot\boldsymbol{r}}(\boldsymbol{p}+\hbar\boldsymbol{k})u$ なので、周期関数 $u$ についての方程式

$$
H(\boldsymbol{k})u=\varepsilon u,\qquad H(\boldsymbol{k})=\frac{(\boldsymbol{p}+\hbar\boldsymbol{k})^2}{2m}+V(\boldsymbol{r})
$$

が得られます。$u$ は 1 つの単位胞上の周期境界条件のもとで解かれ、固有値は離散的です。これが $\varepsilon_n(\boldsymbol{k})$ です。$H$ の問題が、$\boldsymbol{k}$ をパラメータとする無限個の「単位胞上の問題」$H(\boldsymbol{k})$ に分解されました。数学では Bloch–Floquet 分解（周期作用素を $\boldsymbol{k}$ についての直積分に分解する）と呼びます。1 次元の常微分方程式としての Bloch の定理は <Ref to="mathematics/ode/linear-systems#thm-floquet" text="Floquet の定理" /> で、周期ポテンシャルの厳密に解けるバンド構造の例が <Ref to="mathematics/ode/linear-systems#ex-kronig-penney" text="Kronig–Penney 模型" /> です。直積分による一般論は[周期作用素と Bloch–Floquet 分解](/mathematics/functional-analysis/periodic-operators-bloch-floquet)にあります。

<Proposition id="prop-group-velocity" title="Bloch 状態の速度">
Bloch 状態 $\psi_{n\boldsymbol{k}}$ における速度演算子 $\boldsymbol{p}/m$ の期待値は

$$
\langle\psi_{n\boldsymbol{k}}|\tfrac{\boldsymbol{p}}{m}|\psi_{n\boldsymbol{k}}\rangle=\boldsymbol{v}_n(\boldsymbol{k}):=\frac1\hbar\frac{\partial\varepsilon_n}{\partial\boldsymbol{k}}
$$

である。
</Proposition>

ねらいは、速度の期待値がなぜバンドの傾きに等しくなるかを見ることです。$H(\boldsymbol{k})$ を $\boldsymbol{k}$ で微分すると、ちょうど速度演算子の形が出てきます。また Hellmann–Feynman の定理は、固有値をパラメータで微分したものが、パラメータで微分したハミルトニアンの期待値に等しい、と述べます。この 2 つを組み合わせます。

<Proof of="prop-group-velocity">
$\partial H(\boldsymbol{k})/\partial\boldsymbol{k}=\hbar(\boldsymbol{p}+\hbar\boldsymbol{k})/m$ です。Hellmann–Feynman の定理（<Ref to="physics/quantum-mechanics/perturbation-theory#prop-hellmann-feynman" />）を $H(\boldsymbol{k})$ に適用すると $\partial\varepsilon_n/\partial\boldsymbol{k}=\langle u_{n\boldsymbol{k}}|\partial_{\boldsymbol{k}}H(\boldsymbol{k})|u_{n\boldsymbol{k}}\rangle=\frac\hbar m\langle u|(\boldsymbol{p}+\hbar\boldsymbol{k})|u\rangle$。一方 $\langle\psi|\boldsymbol{p}|\psi\rangle=\langle u|e^{-i\boldsymbol{k}\cdot\boldsymbol{r}}\boldsymbol{p}e^{i\boldsymbol{k}\cdot\boldsymbol{r}}|u\rangle=\langle u|(\boldsymbol{p}+\hbar\boldsymbol{k})|u\rangle$ なので、$\frac{1}{\hbar}\partial_{\boldsymbol{k}}\varepsilon_n=\frac1m\langle\psi|\boldsymbol{p}|\psi\rangle$。
</Proof>

自由電子では $\varepsilon=\hbar^2k^2/2m$ で $\boldsymbol{v}=\hbar\boldsymbol{k}/m$ と、古典の $\boldsymbol{p}/m$ に一致します。結晶中でも、Bloch 状態は定常な速度 $\boldsymbol{v}_n(\boldsymbol{k})$ をもち、**電子は格子と衝突することなく、一定の速度で結晶中を進み続けます**。電気抵抗の起源は、周期性からのずれ（不純物・格子欠陥・格子振動）だけです。これが第 1 の謎、平均自由行程が原子間隔の 100 倍にもなる理由の答えです。

<Proposition id="prop-filled-band" title="満杯のバンドは電流を運ばない">
あるバンドが完全に占有されている（すべての $\boldsymbol{k}$ について占有）とき、そのバンドの電子全体の電流は $0$ である。
</Proposition>

<Proof of="prop-filled-band">
電流は $\boldsymbol{j}=-\frac{e}{V}\sum_{\boldsymbol{k}}2\boldsymbol{v}_n(\boldsymbol{k})$（因子 2 はスピン）で、和は第 1 BZ 内の全 $\boldsymbol{k}$ にわたります。<Ref to="prop-group-velocity" /> より $\sum_{\boldsymbol{k}}\boldsymbol{v}_n\propto\int_{\mathrm{BZ}}\partial_{\boldsymbol{k}}\varepsilon_n\,d^3k$。$\boldsymbol{k}=\sum_ix_i\boldsymbol{b}_i$（$0\le x_i<1$）と座標をとり直すと、BZ は単位立方体 $[0,1)^3$ に写り、$\varepsilon_n$ は各 $x_i$ について周期 $1$ の関数です。したがって $\int_0^1\partial_{x_i}\varepsilon_n\,dx_i=\varepsilon_n|_{x_i=1}-\varepsilon_n|_{x_i=0}=0$ で、$\partial_{\boldsymbol{k}}\varepsilon_n$ のすべての成分の積分が消えます。
</Proof>

これで第 3 の謎に答えが出ました。バンドが完全に満たされていれば、電場をかけても電流は流れません（後述の定理でも、電場は $\boldsymbol{k}$ をずらすだけで、満杯のバンドは不変）。絶縁体とは、占有バンドがすべて満杯で、空のバンドとの間にギャップがある結晶です。

### 2.4. 平面波展開：中心方程式

$V$ を逆格子ベクトルで Fourier 展開して $V(\boldsymbol{r})=\sum_{\boldsymbol{G}}U_{\boldsymbol{G}}e^{i\boldsymbol{G}\cdot\boldsymbol{r}}$（$U_{-\boldsymbol{G}}=U_{\boldsymbol{G}}^*$、$V$ は実）とし、$\psi=\sum_{\boldsymbol{G}}c_{\boldsymbol{k}+\boldsymbol{G}}e^{i(\boldsymbol{k}+\boldsymbol{G})\cdot\boldsymbol{r}}$ を方程式に代入します。

<Proposition id="prop-central" title="中心方程式">
波数 $\boldsymbol{k}$ の Bloch 状態の展開係数は、すべての $\boldsymbol{G}\in\Lambda^*$ について

$$
\left[\frac{\hbar^2|\boldsymbol{k}+\boldsymbol{G}|^2}{2m}-\varepsilon\right]c_{\boldsymbol{k}+\boldsymbol{G}}+\sum_{\boldsymbol{G}'}U_{\boldsymbol{G}-\boldsymbol{G}'}\,c_{\boldsymbol{k}+\boldsymbol{G}'}=0
$$

を満たす。
</Proposition>

<Proof of="prop-central">
$-\frac{\hbar^2}{2m}\nabla^2$ は平面波 $e^{i\boldsymbol{q}\cdot\boldsymbol{r}}$ に $\hbar^2q^2/2m$ をかけ、$V\,e^{i\boldsymbol{q}\cdot\boldsymbol{r}}=\sum_{\boldsymbol{G}''}U_{\boldsymbol{G}''}e^{i(\boldsymbol{q}+\boldsymbol{G}'')\cdot\boldsymbol{r}}$ です。$H\psi=\varepsilon\psi$ の両辺で $e^{i(\boldsymbol{k}+\boldsymbol{G})\cdot\boldsymbol{r}}$ の係数（平面波の直交性）を比べると、$\boldsymbol{q}=\boldsymbol{k}+\boldsymbol{G}'$、$\boldsymbol{G}''=\boldsymbol{G}-\boldsymbol{G}'$ の項から主張が得られます。
</Proof>

$U_{\boldsymbol{G}}\to0$ の極限（空格子）では $\varepsilon=\hbar^2|\boldsymbol{k}+\boldsymbol{G}|^2/2m$ で、自由電子の放物線を逆格子ベクトルで折り返してゾーンに畳み込んだものになります。これが次節の出発点です。

## 3. ほぼ自由な電子

### 3.1. 縮退点とギャップ

ポテンシャルが弱い（$|U_{\boldsymbol{G}}|$ が運動エネルギーのスケールに比べて小さい）としましょう。自由電子の準位 $\varepsilon^0_{\boldsymbol{q}}=\hbar^2q^2/2m$ のうち、エネルギーが離れた準位との混合は 2 次摂動で小さいので、無視できます。例外は 2 つの平面波 $\boldsymbol{k}$ と $\boldsymbol{k}-\boldsymbol{G}$ のエネルギーが近い（ほぼ縮退する）場合です。$|\boldsymbol{k}|=|\boldsymbol{k}-\boldsymbol{G}|$ は、$\boldsymbol{k}$ が $\boldsymbol{G}/2$ の垂直二等分面、つまり Bragg 面（<Ref to="physics/condensed-matter/crystals-phonons#def-bz" /> の後の議論）上にあることを意味します。

<Theorem id="thm-nfe-gap" title="ほぼ自由な電子：ゾーン境界のギャップ">
$\boldsymbol{k}$ が Bragg 面の近くにあり、平面波 $\boldsymbol{k},\ \boldsymbol{k}-\boldsymbol{G}$ のみが混ざる 2 波近似では、エネルギーは

$$
\varepsilon_\pm(\boldsymbol{k})=\frac{\varepsilon^0_{\boldsymbol{k}}+\varepsilon^0_{\boldsymbol{k}-\boldsymbol{G}}}2\pm\sqrt{\left(\frac{\varepsilon^0_{\boldsymbol{k}}-\varepsilon^0_{\boldsymbol{k}-\boldsymbol{G}}}2\right)^2+|U_{\boldsymbol{G}}|^2}
$$

で与えられる（$U_{\boldsymbol{0}}=0$ とした）。Bragg 面上（$\varepsilon^0_{\boldsymbol{k}}=\varepsilon^0_{\boldsymbol{k}-\boldsymbol{G}}=\varepsilon_B$）では $\varepsilon_\pm=\varepsilon_B\pm|U_{\boldsymbol{G}}|$ で、**エネルギーギャップ**

$$
E_g=2|U_{\boldsymbol{G}}|
$$

が開く。ギャップの端の波動関数は定在波である。
</Theorem>

<Proof of="thm-nfe-gap">
<Ref to="prop-central" /> で係数 $c_{\boldsymbol{k}},c_{\boldsymbol{k}-\boldsymbol{G}}$ だけを残すと、$\boldsymbol{G}\to\boldsymbol{0}$ と $\boldsymbol{G}\to-\boldsymbol{G}$ の 2 本の方程式

$$
(\varepsilon^0_{\boldsymbol{k}}-\varepsilon)c_{\boldsymbol{k}}+U_{\boldsymbol{G}}\,c_{\boldsymbol{k}-\boldsymbol{G}}=0,\qquad
U_{\boldsymbol{G}}^*\,c_{\boldsymbol{k}}+(\varepsilon^0_{\boldsymbol{k}-\boldsymbol{G}}-\varepsilon)\,c_{\boldsymbol{k}-\boldsymbol{G}}=0
$$

が残ります（2 本目で $U_{-\boldsymbol{G}}=U_{\boldsymbol{G}}^*$ を使った）。自明でない解をもつ条件は

$$
(\varepsilon^0_{\boldsymbol{k}}-\varepsilon)(\varepsilon^0_{\boldsymbol{k}-\boldsymbol{G}}-\varepsilon)-|U_{\boldsymbol{G}}|^2=0
$$

で、$\varepsilon$ の 2 次方程式を解くと主張の式です。Bragg 面上では根号の第 1 項が消え $\pm|U_{\boldsymbol{G}}|$。このとき $c_{\boldsymbol{k}-\boldsymbol{G}}=\pm\,(U_{\boldsymbol{G}}^*/|U_{\boldsymbol{G}}|)\,c_{\boldsymbol{k}}$ なので（第 1 式で $\varepsilon-\varepsilon_B=\pm|U|$ を代入）、波動関数は $|c_{\boldsymbol{k}}|=|c_{\boldsymbol{k}-\boldsymbol{G}}|$ の 2 つの平面波の重ね合わせ、つまり定在波になります。
</Proof>

2 波近似の精度は、他の平面波との混合が、2 次摂動のオーダー $|U|^2/\Delta\varepsilon$（$\Delta\varepsilon$ は他の準位とのエネルギー差）で効くことで決まります。弱いポテンシャルでは無視できます。実際、$V(x)=2U\cos(2\pi x/a)$ で $U=1.6$（$\hbar^2/2m=1,\ a=1$ の単位でゾーン境界のエネルギーは $\pi^2\approx9.9$）として 13 本の平面波で数値対角化すると、最低 2 バンドのギャップは $3.199$ で、2 波近似 $2U=3.2$ とほぼ一致します（下の図）。

<Figure caption="ほぼ自由な電子のバンド（還元ゾーン形式）。V(x) = 2U cos(2πx/a)、U = 1.6 を数値対角化した結果（実線）。破線は自由電子の放物線を折り返したもので、ゾーン境界 k = ±π/a のギャップ（図中、約 2U）の他は破線に近い。">
<svg viewBox="0 0 640 330" width="100%" role="img" aria-label="弱い周期ポテンシャル中のほぼ自由な電子のバンド（還元ゾーン形式）。破線は自由電子の放物線を折り返したもので、実線がバンド。ゾーン境界でギャップが開く">
  <g stroke="currentColor" stroke-width="1.5" fill="none">
    <path d="M 90 270 H 530.0" />
    <path d="M 310.0 274 V 20.0" />
  </g>
  <g stroke="currentColor" stroke-width="1" stroke-dasharray="4 4" opacity="0.5" fill="none">
    <path d="M 90.0 274 V 30.0" />
    <path d="M 530.0 274 V 30.0" />
  </g>
  <g stroke="currentColor" stroke-width="1.4" stroke-dasharray="5 4" opacity="0.6" fill="none">
    <path d="M 307.2 31.8 L 310.0 34.7 L 312.8 37.6 L 315.5 40.6 L 318.2 43.4 L 321.0 46.3 L 323.8 49.2 L 326.5 52.0 L 329.2 54.8 L 332.0 57.6 L 334.8 60.4 L 337.5 63.2 L 340.2 65.9 L 343.0 68.7 L 345.8 71.4 L 348.5 74.1 L 351.2 76.8 L 354.0 79.4 L 356.8 82.0 L 359.5 84.7 L 362.2 87.3 L 365.0 89.9 L 367.8 92.4 L 370.5 95.0 L 373.2 97.5 L 376.0 100.0 L 378.8 102.5 L 381.5 105.0 L 384.2 107.4 L 387.0 109.9 L 389.8 112.3 L 392.5 114.7 L 395.2 117.0 L 398.0 119.4 L 400.8 121.8 L 403.5 124.1 L 406.2 126.4 L 409.0 128.7 L 411.8 130.9 L 414.5 133.2 L 417.2 135.4 L 420.0 137.6 L 422.8 139.8 L 425.5 142.0 L 428.2 144.2 L 431.0 146.3 L 433.8 148.4 L 436.5 150.6 L 439.2 152.6 L 442.0 154.7 L 444.8 156.8 L 447.5 158.8 L 450.2 160.8 L 453.0 162.8 L 455.8 164.8 L 458.5 166.7 L 461.2 168.7 L 464.0 170.6 L 466.8 172.5 L 469.5 174.4 L 472.2 176.2 L 475.0 178.1 L 477.8 179.9 L 480.5 181.7 L 483.2 183.5 L 486.0 185.3 L 488.8 187.0 L 491.5 188.8 L 494.2 190.5 L 497.0 192.2 L 499.8 193.9 L 502.5 195.6 L 505.2 197.2 L 508.0 198.8 L 510.8 200.4 L 513.5 202.0 L 516.2 203.6 L 519.0 205.1 L 521.8 206.7 L 524.5 208.2 L 527.2 209.7 L 530.0 211.2" />
<path d="M 90.0 211.2 L 92.8 212.6 L 95.5 214.1 L 98.2 215.5 L 101.0 216.9 L 103.8 218.3 L 106.5 219.7 L 109.2 221.0 L 112.0 222.4 L 114.8 223.7 L 117.5 225.0 L 120.2 226.2 L 123.0 227.5 L 125.8 228.7 L 128.5 230.0 L 131.2 231.2 L 134.0 232.4 L 136.8 233.5 L 139.5 234.7 L 142.2 235.8 L 145.0 236.9 L 147.8 238.0 L 150.5 239.1 L 153.2 240.1 L 156.0 241.2 L 158.8 242.2 L 161.5 243.2 L 164.2 244.2 L 167.0 245.1 L 169.8 246.1 L 172.5 247.0 L 175.2 247.9 L 178.0 248.8 L 180.8 249.7 L 183.5 250.6 L 186.2 251.4 L 189.0 252.2 L 191.8 253.0 L 194.5 253.8 L 197.2 254.5 L 200.0 255.3 L 202.8 256.0 L 205.5 256.7 L 208.2 257.4 L 211.0 258.1 L 213.8 258.7 L 216.5 259.4 L 219.2 260.0 L 222.0 260.6 L 224.8 261.2 L 227.5 261.7 L 230.2 262.3 L 233.0 262.8 L 235.8 263.3 L 238.5 263.8 L 241.2 264.3 L 244.0 264.7 L 246.8 265.1 L 249.5 265.6 L 252.2 265.9 L 255.0 266.3 L 257.8 266.7 L 260.5 267.0 L 263.2 267.3 L 266.0 267.6 L 268.8 267.9 L 271.5 268.2 L 274.2 268.4 L 277.0 268.7 L 279.8 268.9 L 282.5 269.1 L 285.2 269.3 L 288.0 269.4 L 290.8 269.5 L 293.5 269.7 L 296.2 269.8 L 299.0 269.9 L 301.8 269.9 L 304.5 270.0 L 307.2 270.0 L 310.0 270.0 L 312.8 270.0 L 315.5 270.0 L 318.2 269.9 L 321.0 269.9 L 323.8 269.8 L 326.5 269.7 L 329.2 269.5 L 332.0 269.4 L 334.8 269.3 L 337.5 269.1 L 340.2 268.9 L 343.0 268.7 L 345.8 268.4 L 348.5 268.2 L 351.2 267.9 L 354.0 267.6 L 356.8 267.3 L 359.5 267.0 L 362.2 266.7 L 365.0 266.3 L 367.8 265.9 L 370.5 265.6 L 373.2 265.1 L 376.0 264.7 L 378.8 264.3 L 381.5 263.8 L 384.2 263.3 L 387.0 262.8 L 389.8 262.3 L 392.5 261.7 L 395.2 261.2 L 398.0 260.6 L 400.8 260.0 L 403.5 259.4 L 406.2 258.7 L 409.0 258.1 L 411.8 257.4 L 414.5 256.7 L 417.2 256.0 L 420.0 255.3 L 422.8 254.5 L 425.5 253.8 L 428.2 253.0 L 431.0 252.2 L 433.8 251.4 L 436.5 250.6 L 439.2 249.7 L 442.0 248.8 L 444.8 247.9 L 447.5 247.0 L 450.2 246.1 L 453.0 245.1 L 455.8 244.2 L 458.5 243.2 L 461.2 242.2 L 464.0 241.2 L 466.8 240.1 L 469.5 239.1 L 472.2 238.0 L 475.0 236.9 L 477.8 235.8 L 480.5 234.7 L 483.2 233.5 L 486.0 232.4 L 488.8 231.2 L 491.5 230.0 L 494.2 228.7 L 497.0 227.5 L 499.8 226.2 L 502.5 225.0 L 505.2 223.7 L 508.0 222.4 L 510.8 221.0 L 513.5 219.7 L 516.2 218.3 L 519.0 216.9 L 521.8 215.5 L 524.5 214.1 L 527.2 212.6 L 530.0 211.2" />
<path d="M 90.0 211.2 L 92.8 209.7 L 95.5 208.2 L 98.2 206.7 L 101.0 205.1 L 103.8 203.6 L 106.5 202.0 L 109.2 200.4 L 112.0 198.8 L 114.8 197.2 L 117.5 195.6 L 120.2 193.9 L 123.0 192.2 L 125.8 190.5 L 128.5 188.8 L 131.2 187.0 L 134.0 185.3 L 136.8 183.5 L 139.5 181.7 L 142.2 179.9 L 145.0 178.1 L 147.8 176.2 L 150.5 174.4 L 153.2 172.5 L 156.0 170.6 L 158.8 168.7 L 161.5 166.7 L 164.2 164.8 L 167.0 162.8 L 169.8 160.8 L 172.5 158.8 L 175.2 156.8 L 178.0 154.7 L 180.8 152.6 L 183.5 150.6 L 186.2 148.4 L 189.0 146.3 L 191.8 144.2 L 194.5 142.0 L 197.2 139.8 L 200.0 137.6 L 202.8 135.4 L 205.5 133.2 L 208.2 130.9 L 211.0 128.7 L 213.8 126.4 L 216.5 124.1 L 219.2 121.8 L 222.0 119.4 L 224.8 117.0 L 227.5 114.7 L 230.2 112.3 L 233.0 109.9 L 235.8 107.4 L 238.5 105.0 L 241.2 102.5 L 244.0 100.0 L 246.8 97.5 L 249.5 95.0 L 252.2 92.4 L 255.0 89.9 L 257.8 87.3 L 260.5 84.7 L 263.2 82.0 L 266.0 79.4 L 268.8 76.8 L 271.5 74.1 L 274.2 71.4 L 277.0 68.7 L 279.8 65.9 L 282.5 63.2 L 285.2 60.4 L 288.0 57.6 L 290.8 54.8 L 293.5 52.0 L 296.2 49.2 L 299.0 46.3 L 301.8 43.4 L 304.5 40.6 L 307.2 37.6 L 310.0 34.7 L 312.8 31.8" />
  </g>
  <g stroke="var(--sl-color-accent)" stroke-width="2.8" fill="none">
    <path d="M 90.0 220.9 L 92.8 221.0 L 95.5 221.3 L 98.2 221.8 L 101.0 222.4 L 103.8 223.2 L 106.5 224.0 L 109.2 225.0 L 112.0 225.9 L 114.8 226.9 L 117.5 228.0 L 120.2 229.0 L 123.0 230.1 L 125.8 231.2 L 128.5 232.3 L 131.2 233.4 L 134.0 234.4 L 136.8 235.5 L 139.5 236.5 L 142.2 237.6 L 145.0 238.6 L 147.8 239.7 L 150.5 240.7 L 153.2 241.7 L 156.0 242.7 L 158.8 243.6 L 161.5 244.6 L 164.2 245.5 L 167.0 246.5 L 169.8 247.4 L 172.5 248.3 L 175.2 249.2 L 178.0 250.0 L 180.8 250.9 L 183.5 251.7 L 186.2 252.5 L 189.0 253.3 L 191.8 254.1 L 194.5 254.8 L 197.2 255.6 L 200.0 256.3 L 202.8 257.0 L 205.5 257.7 L 208.2 258.4 L 211.0 259.1 L 213.8 259.7 L 216.5 260.3 L 219.2 260.9 L 222.0 261.5 L 224.8 262.1 L 227.5 262.6 L 230.2 263.2 L 233.0 263.7 L 235.8 264.2 L 238.5 264.6 L 241.2 265.1 L 244.0 265.6 L 246.8 266.0 L 249.5 266.4 L 252.2 266.8 L 255.0 267.1 L 257.8 267.5 L 260.5 267.8 L 263.2 268.2 L 266.0 268.4 L 268.8 268.7 L 271.5 269.0 L 274.2 269.2 L 277.0 269.5 L 279.8 269.7 L 282.5 269.9 L 285.2 270.0 L 288.0 270.2 L 290.8 270.3 L 293.5 270.4 L 296.2 270.5 L 299.0 270.6 L 301.8 270.7 L 304.5 270.7 L 307.2 270.8 L 310.0 270.8 L 312.8 270.8 L 315.5 270.7 L 318.2 270.7 L 321.0 270.6 L 323.8 270.5 L 326.5 270.4 L 329.2 270.3 L 332.0 270.2 L 334.8 270.0 L 337.5 269.9 L 340.2 269.7 L 343.0 269.5 L 345.8 269.2 L 348.5 269.0 L 351.2 268.7 L 354.0 268.4 L 356.8 268.2 L 359.5 267.8 L 362.2 267.5 L 365.0 267.1 L 367.8 266.8 L 370.5 266.4 L 373.2 266.0 L 376.0 265.6 L 378.8 265.1 L 381.5 264.6 L 384.2 264.2 L 387.0 263.7 L 389.8 263.2 L 392.5 262.6 L 395.2 262.1 L 398.0 261.5 L 400.8 260.9 L 403.5 260.3 L 406.2 259.7 L 409.0 259.1 L 411.8 258.4 L 414.5 257.7 L 417.2 257.0 L 420.0 256.3 L 422.8 255.6 L 425.5 254.8 L 428.2 254.1 L 431.0 253.3 L 433.8 252.5 L 436.5 251.7 L 439.2 250.9 L 442.0 250.0 L 444.8 249.2 L 447.5 248.3 L 450.2 247.4 L 453.0 246.5 L 455.8 245.5 L 458.5 244.6 L 461.2 243.6 L 464.0 242.7 L 466.8 241.7 L 469.5 240.7 L 472.2 239.7 L 475.0 238.6 L 477.8 237.6 L 480.5 236.5 L 483.2 235.5 L 486.0 234.4 L 488.8 233.4 L 491.5 232.3 L 494.2 231.2 L 497.0 230.1 L 499.8 229.0 L 502.5 228.0 L 505.2 226.9 L 508.0 225.9 L 510.8 225.0 L 513.5 224.0 L 516.2 223.2 L 519.0 222.4 L 521.8 221.8 L 524.5 221.3 L 527.2 221.0 L 530.0 220.9" />
<path d="M 90.0 201.8 L 92.8 201.7 L 95.5 201.4 L 98.2 200.8 L 101.0 200.0 L 103.8 199.1 L 106.5 198.0 L 109.2 196.9 L 112.0 195.6 L 114.8 194.3 L 117.5 192.9 L 120.2 191.5 L 123.0 190.0 L 125.8 188.4 L 128.5 186.9 L 131.2 185.3 L 134.0 183.6 L 136.8 181.9 L 139.5 180.2 L 142.2 178.5 L 145.0 176.8 L 147.8 175.0 L 150.5 173.2 L 153.2 171.3 L 156.0 169.5 L 158.8 167.6 L 161.5 165.7 L 164.2 163.8 L 167.0 161.9 L 169.8 159.9 L 172.5 157.9 L 175.2 155.9 L 178.0 153.9 L 180.8 151.9 L 183.5 149.8 L 186.2 147.7 L 189.0 145.6 L 191.8 143.5 L 194.5 141.4 L 197.2 139.2 L 200.0 137.0 L 202.8 134.8 L 205.5 132.6 L 208.2 130.4 L 211.0 128.1 L 213.8 125.9 L 216.5 123.6 L 219.2 121.3 L 222.0 118.9 L 224.8 116.6 L 227.5 114.2 L 230.2 111.8 L 233.0 109.4 L 235.8 107.0 L 238.5 104.5 L 241.2 102.1 L 244.0 99.6 L 246.8 97.1 L 249.5 94.6 L 252.2 92.0 L 255.0 89.5 L 257.8 86.9 L 260.5 84.3 L 263.2 81.7 L 266.0 79.1 L 268.8 76.4 L 271.5 73.8 L 274.2 71.1 L 277.0 68.4 L 279.8 65.6 L 282.5 62.9 L 285.2 60.1 L 288.0 57.4 L 290.8 54.6 L 293.5 51.7 L 296.2 48.9 L 299.0 46.1 L 301.8 43.2 L 304.5 40.3 L 307.2 37.4 L 310.0 34.8 L 312.8 37.4 L 315.5 40.3 L 318.2 43.2 L 321.0 46.1 L 323.8 48.9 L 326.5 51.7 L 329.2 54.6 L 332.0 57.4 L 334.8 60.1 L 337.5 62.9 L 340.2 65.6 L 343.0 68.4 L 345.8 71.1 L 348.5 73.8 L 351.2 76.4 L 354.0 79.1 L 356.8 81.7 L 359.5 84.3 L 362.2 86.9 L 365.0 89.5 L 367.8 92.0 L 370.5 94.6 L 373.2 97.1 L 376.0 99.6 L 378.8 102.1 L 381.5 104.5 L 384.2 107.0 L 387.0 109.4 L 389.8 111.8 L 392.5 114.2 L 395.2 116.6 L 398.0 118.9 L 400.8 121.3 L 403.5 123.6 L 406.2 125.9 L 409.0 128.1 L 411.8 130.4 L 414.5 132.6 L 417.2 134.8 L 420.0 137.0 L 422.8 139.2 L 425.5 141.4 L 428.2 143.5 L 431.0 145.6 L 433.8 147.7 L 436.5 149.8 L 439.2 151.9 L 442.0 153.9 L 444.8 155.9 L 447.5 157.9 L 450.2 159.9 L 453.0 161.9 L 455.8 163.8 L 458.5 165.7 L 461.2 167.6 L 464.0 169.5 L 466.8 171.3 L 469.5 173.2 L 472.2 175.0 L 475.0 176.8 L 477.8 178.5 L 480.5 180.2 L 483.2 181.9 L 486.0 183.6 L 488.8 185.3 L 491.5 186.9 L 494.2 188.4 L 497.0 190.0 L 499.8 191.5 L 502.5 192.9 L 505.2 194.3 L 508.0 195.6 L 510.8 196.9 L 513.5 198.0 L 516.2 199.1 L 519.0 200.0 L 521.8 200.8 L 524.5 201.4 L 527.2 201.7 L 530.0 201.8" />
<path d="M 307.2 31.5 L 310.0 34.1 L 312.8 31.5" />
  </g>
  <g fill="currentColor" font-size="13" text-anchor="middle">
    <text x="90.0" y="292">−π/a</text>
    <text x="310.0" y="292">0</text>
    <text x="530.0" y="292">π/a</text>
    <text x="310.0" y="312">波数 k（第 1 Brillouin ゾーン）</text>
  </g>
  <g fill="currentColor" font-size="13">
    <text x="56" y="150.0">ε</text>
    <text x="538.0" y="215.4">ギャップ 2U</text>
    <text x="94" y="18.0">実線：バンド　破線：自由電子（折り返し）</text>
  </g>
</svg>
</Figure>

ギャップ端の定在波には物理的な意味があります。1 次元で $V(x)=2U\cos Gx$ ($U>0$) のとき、ゾーン境界 $k=G/2$ の 2 つの定在波は $\psi_c=\sqrt2\cos(Gx/2)$ と $\psi_s=\sqrt2\sin(Gx/2)$ で、確率密度は $|\psi_{c}|^2=1+\cos Gx$、$|\psi_s|^2=1-\cos Gx$ です。$V$ の平均値は $\langle\psi_c|V|\psi_c\rangle=U$、$\langle\psi_s|V|\psi_s\rangle=-U$。すなわち $V$ の谷（$\cos Gx=-1$）に電子が集まる状態 $\psi_s$ のエネルギーが低く、山に集まる $\psi_c$ が高い、というわけです。ギャップは、**同じ波数でも電子の空間分布が 2 通りあって、イオンの引力ポテンシャルの谷にいる方が得をする**ことから生まれます。

<Corollary id="cor-gap-mass" title="ギャップ端の有効質量">
1 次元（$G=2\pi/a$）で、Bragg 点 $k=G/2$ のまわり $k=G/2+\kappa$ では、<Ref to="thm-nfe-gap" /> の $\varepsilon_\pm$ は $\varepsilon_B=\hbar^2G^2/8m$ として

$$
\varepsilon_\pm\simeq\varepsilon_B\pm|U_G|+\frac{\hbar^2\kappa^2}{2m}\left(1\pm\frac{2\varepsilon_B}{|U_G|}\right)\qquad(|\kappa|\ \text{が小})
$$

となる。$\varepsilon_B\gg|U_G|$ のとき、ギャップの両側のバンド端の質量は $|m^*|\simeq m|U_G|/2\varepsilon_B\ll m$ と軽い（上のバンドの底では $m^*>0$、下のバンドの頂上では $m^*<0$）。
</Corollary>

<Proof of="cor-gap-mass">
$\varepsilon^0_k=\hbar^2(G/2+\kappa)^2/2m$、$\varepsilon^0_{k-G}=\hbar^2(\kappa-G/2)^2/2m$ より、和の半分は $\varepsilon_B+\hbar^2\kappa^2/2m$、差の半分は $\hbar^2G\kappa/2m$。<Ref to="thm-nfe-gap" /> の根号を $\sqrt{|U|^2+x^2}\simeq|U|+x^2/2|U|$ と展開し、$x=\hbar^2G\kappa/2m$ とすると $x^2/(2|U|)=\frac{\hbar^2\kappa^2}{2m}\cdot\frac{\hbar^2G^2}{4m|U|}=\frac{\hbar^2\kappa^2}{2m}\cdot\frac{2\varepsilon_B}{|U|}$（$\hbar^2G^2/4m=2\varepsilon_B$）。これを足して主張を得ます。$\varepsilon_B\gg|U|$ では括弧内が $\pm2\varepsilon_B/|U|$ で支配されます。
</Proof>

ほぼ自由な電子の模型は、アルカリ金属・アルミニウムなどの金属でよい近似を与えます。さらに、ギャップが開くことで、金属から絶縁体への変化（バンドが 2 つに分かれ、価電子数に応じて満杯になる）が見えます。たとえば 2 価の金属は、単位胞あたり 2 個の電子で 1 つのバンドが満ちて絶縁体になりそうですが、ギャップが小さいと次のバンドにはみ出し、金属（半金属）になります。

## 4. 強束縛近似

### 4.1. 1 次元の鎖

反対の極限は、原子がほとんど孤立していて、電子が各原子の軌道に強く束縛されている場合です。電子が隣の原子に飛び移る（**ホッピング**）効果だけを摂動的に取り入れます。

<Definition id="def-tb" title="強束縛模型">
間隔 $a$ の 1 次元鎖の $n$ 番目の原子上の局在軌道を $|n\rangle$（正規直交）とし、ハミルトニアン

$$
H=\sum_n\left[\varepsilon_0|n\rangle\langle n|-t\left(|n\rangle\langle n+1|+|n+1\rangle\langle n|\right)\right]
$$

を**最近接強束縛模型**という。$\varepsilon_0$ は原子準位、$t>0$ は**ホッピング振幅**である。周期境界条件 $|n+N\rangle=|n\rangle$ を課す。
</Definition>

<Theorem id="thm-tb-chain" title="強束縛鎖のバンド">
強束縛鎖の固有状態は Bloch 和

$$
|k\rangle=\frac1{\sqrt N}\sum_ne^{ikna}|n\rangle,\qquad k=\frac{2\pi j}{Na}\ (j=0,\ldots,N-1)
$$

で、エネルギーは

$$
\varepsilon(k)=\varepsilon_0-2t\cos ka
$$

である。バンドは区間 $[\varepsilon_0-2t,\varepsilon_0+2t]$（帯幅 $4t$）を占め、$N$ 個の $k$ に対応する。
</Theorem>

<Proof of="thm-tb-chain">
$H|k\rangle$ の $|n\rangle$ 成分は $\frac1{\sqrt N}\left[\varepsilon_0e^{ikna}-t\left(e^{ik(n+1)a}+e^{ik(n-1)a}\right)\right]=\frac{1}{\sqrt N}(\varepsilon_0-2t\cos ka)e^{ikna}$（$e^{ika}+e^{-ika}=2\cos ka$）で、これは $(\varepsilon_0-2t\cos ka)\,|k\rangle$ の $|n\rangle$ 成分です。周期境界条件 $e^{ikNa}=1$ から $k$ が離散化され、異なる $k$ のベクトルは直交します（幾何級数の和）。$N$ 次元の空間に $N$ 個の直交ベクトルがあるので、これですべての固有状態です。
</Proof>

物理的な内容は次の 3 点です。第 1 に、孤立原子の 1 つの準位 $\varepsilon_0$ が、$N$ 個の原子を並べると幅 $4t$ のバンドに広がります。ホッピングが大きい（軌道の重なりが大きい）ほど、バンドが広く、電子が動きやすくなります。第 2 に、バンド底（$k=0$）で $\varepsilon\simeq\varepsilon_0-2t+ta^2k^2$ と放物線になり、自由電子の $\hbar^2k^2/2m$ と比べて有効質量 $m^*=\hbar^2/(2ta^2)$ が読み取れます。第 3 に、バンド頂上（$k=\pm\pi/a$）では曲率が負になります。

<Figure caption="強束縛近似。左：隣り合う原子軌道の間のホッピング t。右：1 次元鎖のバンド ε(k) = ε₀ − 2t cos ka。幅は 4t で、バンド底の近くは破線の放物線で近似できる。">
<svg viewBox="0 0 640 300" width="100%" role="img" aria-label="強束縛近似の 1 次元鎖。左：各原子の軌道の間のホッピング t。右：バンド ε(k) = ε0 − 2t cos ka。幅は 4t で、バンド底の近くは放物線で近似でき、有効質量が決まる">
  <g>
    <circle cx="50" cy="120" r="14" fill="var(--sl-color-accent)" fill-opacity="0.25" stroke="var(--sl-color-accent)" stroke-width="2" />
    <circle cx="105" cy="120" r="14" fill="var(--sl-color-accent)" fill-opacity="0.25" stroke="var(--sl-color-accent)" stroke-width="2" />
    <circle cx="160" cy="120" r="14" fill="var(--sl-color-accent)" fill-opacity="0.25" stroke="var(--sl-color-accent)" stroke-width="2" />
    <circle cx="215" cy="120" r="14" fill="var(--sl-color-accent)" fill-opacity="0.25" stroke="var(--sl-color-accent)" stroke-width="2" />
    <circle cx="270" cy="120" r="14" fill="var(--sl-color-accent)" fill-opacity="0.25" stroke="var(--sl-color-accent)" stroke-width="2" />
    <path d="M 64 120 H 91" stroke="currentColor" stroke-width="2.2" />
    <text x="70" y="106" fill="currentColor" font-size="14" font-style="italic">t</text>
    <path d="M 119 120 H 146" stroke="currentColor" stroke-width="2.2" />
    <text x="125" y="106" fill="currentColor" font-size="14" font-style="italic">t</text>
    <path d="M 174 120 H 201" stroke="currentColor" stroke-width="2.2" />
    <text x="180" y="106" fill="currentColor" font-size="14" font-style="italic">t</text>
    <path d="M 229 120 H 256" stroke="currentColor" stroke-width="2.2" />
    <text x="235" y="106" fill="currentColor" font-size="14" font-style="italic">t</text>
    
    <text x="40" y="170" fill="currentColor" font-size="14">原子軌道 φ(x − na)</text>
    <text x="40" y="192" fill="currentColor" font-size="14">隣り合う軌道の重なり → ホッピング t</text>
    <text x="40" y="222" fill="currentColor" font-size="14">右図の破線：バンド底の放物線近似</text>
    <text x="40" y="242" fill="currentColor" font-size="14">ε₀ − 2t + t a² k²（有効質量を与える）</text>
  </g>
  <g stroke="currentColor" stroke-width="1.5" fill="none">
    <path d="M 330 240 H 590.0" />
    <path d="M 460.0 244 V 50.0" />
  </g>
  <g stroke="currentColor" stroke-width="1" stroke-dasharray="4 4" opacity="0.5" fill="none">
    <path d="M 330.0 244 V 85.45454545454547" />
    <path d="M 590.0 244 V 85.45454545454547" />
    <path d="M 330.0 85.45454545454547 H 590.0" />
    <path d="M 330.0 240.0 H 590.0" />
  </g>
  <path d="M 397.9 153.1 L 400.0 158.8 L 402.1 164.3 L 404.1 169.6 L 406.2 174.7 L 408.3 179.6 L 410.3 184.4 L 412.4 188.9 L 414.5 193.2 L 416.6 197.4 L 418.6 201.4 L 420.7 205.1 L 422.8 208.7 L 424.8 212.1 L 426.9 215.3 L 429.0 218.3 L 431.0 221.1 L 433.1 223.7 L 435.2 226.1 L 437.2 228.3 L 439.3 230.3 L 441.4 232.2 L 443.4 233.8 L 445.5 235.3 L 447.6 236.5 L 449.7 237.6 L 451.7 238.5 L 453.8 239.1 L 455.9 239.6 L 457.9 239.9 L 460.0 240.0 L 462.1 239.9 L 464.1 239.6 L 466.2 239.1 L 468.3 238.5 L 470.3 237.6 L 472.4 236.5 L 474.5 235.3 L 476.6 233.8 L 478.6 232.2 L 480.7 230.3 L 482.8 228.3 L 484.8 226.1 L 486.9 223.7 L 489.0 221.1 L 491.0 218.3 L 493.1 215.3 L 495.2 212.1 L 497.2 208.7 L 499.3 205.1 L 501.4 201.4 L 503.4 197.4 L 505.5 193.2 L 507.6 188.9 L 509.7 184.4 L 511.7 179.6 L 513.8 174.7 L 515.9 169.6 L 517.9 164.3 L 520.0 158.8 L 522.1 153.1" fill="none" stroke="currentColor" stroke-width="1.6" stroke-dasharray="5 4" opacity="0.7" />
  <path d="M 330.0 85.5 L 332.2 85.6 L 334.3 85.9 L 336.5 86.4 L 338.7 87.1 L 340.8 88.1 L 343.0 89.2 L 345.2 90.6 L 347.3 92.1 L 349.5 93.9 L 351.7 95.8 L 353.8 97.9 L 356.0 100.2 L 358.2 102.7 L 360.3 105.3 L 362.5 108.1 L 364.7 111.0 L 366.8 114.1 L 369.0 117.3 L 371.2 120.6 L 373.3 124.1 L 375.5 127.6 L 377.7 131.3 L 379.8 135.0 L 382.0 138.8 L 384.2 142.7 L 386.3 146.7 L 388.5 150.6 L 390.7 154.7 L 392.8 158.7 L 395.0 162.7 L 397.2 166.8 L 399.3 170.8 L 401.5 174.8 L 403.7 178.8 L 405.8 182.7 L 408.0 186.6 L 410.2 190.4 L 412.3 194.2 L 414.5 197.8 L 416.7 201.4 L 418.8 204.8 L 421.0 208.1 L 423.2 211.4 L 425.3 214.4 L 427.5 217.4 L 429.7 220.2 L 431.8 222.8 L 434.0 225.2 L 436.2 227.5 L 438.3 229.6 L 440.5 231.6 L 442.7 233.3 L 444.8 234.9 L 447.0 236.2 L 449.2 237.4 L 451.3 238.3 L 453.5 239.0 L 455.7 239.6 L 457.8 239.9 L 460.0 240.0 L 462.2 239.9 L 464.3 239.6 L 466.5 239.0 L 468.7 238.3 L 470.8 237.4 L 473.0 236.2 L 475.2 234.9 L 477.3 233.3 L 479.5 231.6 L 481.7 229.6 L 483.8 227.5 L 486.0 225.2 L 488.2 222.8 L 490.3 220.2 L 492.5 217.4 L 494.7 214.4 L 496.8 211.4 L 499.0 208.1 L 501.2 204.8 L 503.3 201.4 L 505.5 197.8 L 507.7 194.2 L 509.8 190.4 L 512.0 186.6 L 514.2 182.7 L 516.3 178.8 L 518.5 174.8 L 520.7 170.8 L 522.8 166.8 L 525.0 162.7 L 527.2 158.7 L 529.3 154.7 L 531.5 150.6 L 533.7 146.7 L 535.8 142.7 L 538.0 138.8 L 540.2 135.0 L 542.3 131.3 L 544.5 127.6 L 546.7 124.1 L 548.8 120.6 L 551.0 117.3 L 553.2 114.1 L 555.3 111.0 L 557.5 108.1 L 559.7 105.3 L 561.8 102.7 L 564.0 100.2 L 566.2 97.9 L 568.3 95.8 L 570.5 93.9 L 572.7 92.1 L 574.8 90.6 L 577.0 89.2 L 579.2 88.1 L 581.3 87.1 L 583.5 86.4 L 585.7 85.9 L 587.8 85.6 L 590.0 85.5" fill="none" stroke="var(--sl-color-accent)" stroke-width="2.8" />
  <g fill="currentColor" font-size="13" text-anchor="middle">
    <text x="330.0" y="262">−π/a</text>
    <text x="460.0" y="262">0</text>
    <text x="590.0" y="262">π/a</text>
  </g>
  <g fill="currentColor" font-size="13">
    <text x="598.0" y="89.5">ε₀ + 2t</text>
    <text x="598.0" y="244.0">ε₀ − 2t</text>
    <text x="306" y="162.7">ε</text>
    <text x="598.0" y="166.7">帯幅 4t</text>
  </g>
</svg>
</Figure>

3 次元の単純立方格子では、同様にして $\varepsilon(\boldsymbol{k})=\varepsilon_0-2t(\cos k_xa+\cos k_ya+\cos k_za)$、帯幅 $12t$ です。2 次元の正方格子では $\varepsilon=\varepsilon_0-2t(\cos k_xa+\cos k_ya)$ で、半充填（$\varepsilon=\varepsilon_0$）のフェルミ面は $\cos k_xa+\cos k_ya=0$、すなわち $|k_x|+|k_y|=\pi/a$ のひし形になります（演習）。この完全な**ネスティング**（フェルミ面の平行な部分）は、第 4 章の磁性で重要になります。

<Remark id="rem-lcao">
強束縛模型の係数の由来を述べておきます。原子の軌道 $\varphi(\boldsymbol{r})$ を使って、試行関数 $\Psi_k=\sum_ne^{ikna}\varphi(x-na)$ を作り、変分原理（<Ref to="physics/quantum-mechanics/perturbation-theory#prop-variational-upper-bound" />）でエネルギー $\langle\Psi_k|H|\Psi_k\rangle/\langle\Psi_k|\Psi_k\rangle$ を評価すると、隣り合う軌道の間の行列要素 $-t=\langle\varphi_n|H|\varphi_{n+1}\rangle$（他の原子のポテンシャルを含む）と、同じ原子上の行列要素の和（$\varepsilon_0$ に結晶場補正を加えたもの）が現れます。軌道の重なり積分を無視する近似のもとで、これが <Ref to="def-tb" /> です。実際の物質では、s 軌道に限らず、p・d 軌道、複数の原子を含む単位胞を考え、$t$ を行列に拡張します。
</Remark>

### 4.2. 状態密度

<Proposition id="prop-tb-dos" title="強束縛鎖の状態密度">
強束縛鎖（スピンを込めて）の状態密度は、バンド内 $|\varepsilon-\varepsilon_0|<2t$ で

$$
D(\varepsilon)=\frac{2N}{\pi\sqrt{4t^2-(\varepsilon-\varepsilon_0)^2}}
$$

で、バンド端 $\varepsilon-\varepsilon_0=\pm2t$ で $1/\sqrt{\ }$ 型に発散する（van Hove 特異性）。
</Proposition>

<Proof of="prop-tb-dos">
$k$ は $L=Na$ の区間に密度 $L/2\pi$ で並ぶ（<Ref to="physics/condensed-matter/crystals-phonons#thm-chain-modes" />）。スピンを込めた $\varepsilon$ から $\varepsilon+d\varepsilon$ の状態数は、$\pm k$ の 2 つの枝について $2\cdot2\cdot\frac L{2\pi}\frac{dk}{d\varepsilon}d\varepsilon$ で、$\frac{d\varepsilon}{dk}=2ta\sin ka$、$2t\sin ka=\sqrt{4t^2-(\varepsilon-\varepsilon_0)^2}$ なので、$D=\frac{2L}{\pi}\cdot\frac1{a\sqrt{4t^2-(\varepsilon-\varepsilon_0)^2}}=\frac{2N}{\pi\sqrt{4t^2-(\varepsilon-\varepsilon_0)^2}}$。積分すると全状態数 $\int D\,d\varepsilon=\frac{2N}\pi\cdot\pi=2N$ で、<Ref to="prop-band-counting" /> と一致します。
</Proof>

自由電子では 1 次元の $D\propto\varepsilon^{-1/2}$ がバンド底にだけあったのに対し、バンドの頂上にも同じ特異性が現れます。バンドの底と頂上は、どちらも $\partial\varepsilon/\partial k=0$ の点だからです。

## 5. 電場中の電子と有効質量

### 5.1. 半古典的運動方程式

一様な電場 $\boldsymbol{E}$ を結晶にかけます。電子の電荷は $-e$ で、[静電ポテンシャル](/physics/electromagnetism/electrostatics#def-potential)は $+e\boldsymbol{E}\cdot\boldsymbol{r}$ ですが、これは周期的でないので Bloch の定理が使えません。同じ電場は、時間変化する[ベクトルポテンシャル](/physics/electromagnetism/magnetostatics#def-vector-potential) $\boldsymbol{A}(t)=-\boldsymbol{E}t$ でも表せます（電場と磁場が同じなら物理は変わらず、この選び方をゲージの選択といいます）。こちらは位置によらないので、周期性を壊しません。そこでこのゲージを選びます。すると Hamiltonian は

$$
H(t)=\frac{(\boldsymbol{p}+e\boldsymbol{A}(t))^2}{2m}+V(\boldsymbol{r})
$$

で、$t$ によらず並進対称性をもちます。

<Theorem id="thm-semiclassical" title="半古典的運動方程式">
上の $H(t)$ で、初期状態を $t=0$ の Bloch 状態 $\psi_{n\boldsymbol{k}_0}$ とする。電場が弱く、バンド $n$ のギャップが十分大きいために断熱近似が成り立つとき、状態はバンド $n$ にとどまり、各時刻で

$$
\hbar\dot{\boldsymbol{k}}=-e\boldsymbol{E},\qquad\boldsymbol{k}(t)=\boldsymbol{k}_0-\frac{e\boldsymbol{E}}\hbar t,\qquad\langle\boldsymbol{v}\rangle=\frac1\hbar\frac{\partial\varepsilon_n}{\partial\boldsymbol{k}}\Big|_{\boldsymbol{k}(t)}
$$

に従う（速度の補正は電場の 1 次で、第 6 章の Berry 曲率による異常速度）。
</Theorem>

断熱近似とは、条件（ここでは $\boldsymbol{k}$）がゆっくり変わるとき、系が同じバンドの固有状態に追従し続けるとみなす近似のことです。証明では、電場の効果が「$\boldsymbol{k}$ が一定の速さで動くこと」に置き換わる点を見てください。


<Proof of="thm-semiclassical">
$H(t)$ は格子の並進と可換なので、波数 $\boldsymbol{k}_0$ の Bloch 状態の部分空間が保たれます。$\psi=e^{i\boldsymbol{k}_0\cdot\boldsymbol{r}}u(t)$ と書けば、$\boldsymbol{p}\to\boldsymbol{p}+\hbar\boldsymbol{k}_0$ なので $u$ は

$$
i\hbar\,\partial_tu=\left[\frac{(\boldsymbol{p}+\hbar\boldsymbol{k}_0+e\boldsymbol{A}(t))^2}{2m}+V\right]u=H\!\left(\boldsymbol{k}(t)\right)u,\qquad\boldsymbol{k}(t)=\boldsymbol{k}_0+\frac e\hbar\boldsymbol{A}(t)=\boldsymbol{k}_0-\frac{e\boldsymbol{E}}\hbar t
$$

を満たします（$H(\boldsymbol{k})$ は §2.3 のもの）。これは、パラメータ $\boldsymbol{k}$ がゆっくり動く $H(\boldsymbol{k})$ の時間発展で、断熱定理により、バンド $n$ にとどまり、各時刻の固有状態 $u_{n,\boldsymbol{k}(t)}$ に（位相因子を除いて）一致します。$\boldsymbol{k}(t)$ の式が運動方程式 $\hbar\dot{\boldsymbol{k}}=-e\boldsymbol{E}$ です。速度は <Ref to="prop-group-velocity" /> を瞬間の波数 $\boldsymbol{k}(t)$ で評価したものです。
</Proof>

運動方程式が Newton の第 2 法則 $\dot{\boldsymbol{p}}=\boldsymbol{F}$ の形をしていることに注意してください。ただし $\hbar\boldsymbol{k}$ は**結晶運動量**（<Ref to="thm-bloch" /> の後の議論）であって、実際の運動量ではありません。格子が電子に及ぼす力は、$\varepsilon_n(\boldsymbol{k})$ の形にすでに含まれています。

電場をかけると $\boldsymbol{k}$ が一様に動き、第 1 BZ の端に着くと反対側から現れます（$\boldsymbol{k}\sim\boldsymbol{k}+\boldsymbol{G}$）。その間、速度 $\hbar^{-1}\partial\varepsilon/\partial k$ は周期的に符号を変えるので、電子は一定方向に加速されず、**Bloch 振動**とよばれる往復運動をします（散乱が速くてふつうの金属では観測されない）。

### 5.2. 有効質量

<Definition id="def-effective-mass" title="有効質量">
バンド $n$ の極値（$\partial\varepsilon_n/\partial\boldsymbol{k}=0$）の近くで、**有効質量テンソル**を

$$
\left(\frac1{m^*}\right)_{ij}=\frac1{\hbar^2}\frac{\partial^2\varepsilon_n}{\partial k_i\partial k_j}
$$

と定義する。1 次元では $m^*=\hbar^2\left(\partial^2\varepsilon/\partial k^2\right)^{-1}$。
</Definition>

<Proposition id="prop-effective-mass" title="有効質量による Newton 方程式">
<Ref to="thm-semiclassical" /> の電子（外力 $\boldsymbol{F}=-e\boldsymbol{E}$）の加速度は、

$$
\dot v_i=\sum_j\left(\frac1{m^*}\right)_{ij}F_j
$$

である。1 次元では $m^*\,\dot v=F$。
</Proposition>

<Proof of="prop-effective-mass">
$v_i=\hbar^{-1}\partial\varepsilon/\partial k_i$ を時間微分すると、連鎖律で $\dot v_i=\hbar^{-1}\sum_j\frac{\partial^2\varepsilon}{\partial k_i\partial k_j}\dot k_j$。<Ref to="thm-semiclassical" /> の $\hbar\dot k_j=F_j$ を代入して $\dot v_i=\hbar^{-2}\sum_j\partial_i\partial_j\varepsilon\,F_j$ です。
</Proof>

有効質量はバンドの曲率で決まるので、**負にもなります**。たとえば強束縛鎖では、底で $m^*=\hbar^2/(2ta^2)>0$、頂上で $m^*=-\hbar^2/(2ta^2)<0$ です。電場の向きと逆に加速されるように見える電子は、バンドの頂上付近にいます。また $m^*$ は自由電子質量 $m$ とまったく異なる値をとり、半導体ではしばしば $m^*\sim0.1m$ ですし、重い電子系では $m^*\sim100m$ に達します。前章で電子比熱係数が自由電子の予言からずれたのは、$D(\varepsilon_F)\propto m^*$ だからだと解釈できます（強束縛鎖でも $D(\varepsilon_F)$ を使った <Ref to="physics/condensed-matter/free-electrons#thm-electron-heat" /> がそのまま使えます）。

### 5.3. 正孔

ほとんど満杯のバンドから電子が 1 個欠けた状態（空席の波数 $\boldsymbol{k}_h$）の電流を考えます。

<Proposition id="prop-hole" title="正孔">
満杯のバンドから波数 $\boldsymbol{k}_h$ の電子を 1 個除いた状態は、電荷 $+e$、速度 $\boldsymbol{v}_h=\hbar^{-1}\partial\varepsilon_n/\partial\boldsymbol{k}|_{\boldsymbol{k}_h}$、結晶運動量 $-\hbar\boldsymbol{k}_h$、エネルギー $-\varepsilon_n(\boldsymbol{k}_h)$ をもつ粒子（**正孔**）として振る舞う。バンドの頂上付近では $\varepsilon_n$ の曲率が負なので、正孔の有効質量 $m_h^*=-m^*>0$ は正である。
</Proposition>

ねらいは、たくさんの電子の動きを「抜けた 1 席」だけの動きに言いかえることです。満杯のバンドは全体として電流を運びません（<Ref to="prop-filled-band" />）。したがって、満杯の状態から電子を 1 個引いた状態の電荷・波数・エネルギーは、その電子がもっていた量に負の符号を付けたものになります。符号が電子と逆になるのは、この引き算のためです。

<Figure caption="正孔の描像。ほぼ満杯のバンドで、波数 k の席が横に並ぶ（●は電子、点線の○は空席）。電場をかけると全員の k が同じ向きに 1 席ぶんずれ、空席も同じ向きにずれる。実際の電流は、空席が電荷 +e の粒子としてもつ電流に等しい。">
<svg viewBox="0 0 640 250" width="100%" role="img" aria-label="ほぼ満杯のバンドの波数の席。電場をかける前と後で、電子が全員 1 席ずれ、空席も 1 席ずれる">
  <g fill="currentColor" font-size="14">
    <text x="20" y="40">電場をかける前</text>
    <text x="20" y="150">電場をかけた後</text>
  </g>
  <g fill="var(--sl-color-accent)" stroke="none">
    <circle cx="80" cy="70" r="14" /><circle cx="140" cy="70" r="14" /><circle cx="200" cy="70" r="14" /><circle cx="260" cy="70" r="14" /><circle cx="320" cy="70" r="14" /><circle cx="440" cy="70" r="14" /><circle cx="500" cy="70" r="14" /><circle cx="560" cy="70" r="14" />
    <circle cx="80" cy="180" r="14" /><circle cx="140" cy="180" r="14" /><circle cx="200" cy="180" r="14" /><circle cx="260" cy="180" r="14" /><circle cx="380" cy="180" r="14" /><circle cx="440" cy="180" r="14" /><circle cx="500" cy="180" r="14" /><circle cx="560" cy="180" r="14" />
  </g>
  <g fill="none" stroke="currentColor" stroke-width="2" stroke-dasharray="4 3">
    <circle cx="380" cy="70" r="14" />
    <circle cx="320" cy="180" r="14" />
  </g>
  <g stroke="currentColor" stroke-width="1.5" fill="none">
    <path d="M 380 100 Q 350 125 322 150" />
    <path d="M 316 144 L 322 150 L 330 146" />
  </g>
  <g fill="currentColor" font-size="13" text-anchor="middle">
    <text x="380" y="98">空席</text>
    <text x="320" y="214">空席は 1 席左へ</text>
    <text x="320" y="238">電子は全員 1 席左へ（左端の席は右端に回り込む）</text>
  </g>
</svg>
</Figure>

<Proof of="prop-hole">
電流は $\boldsymbol{j}=-\frac eV\sum_{\boldsymbol{k}\neq\boldsymbol{k}_h}\boldsymbol{v}(\boldsymbol{k})$（スピンは簡単のため 1 状態とする）。<Ref to="prop-filled-band" /> より $\sum_{\text{全}\boldsymbol{k}}\boldsymbol{v}=0$ なので、$\boldsymbol{j}=+\frac eV\boldsymbol{v}(\boldsymbol{k}_h)$。電荷 $+e$ の粒子が速度 $\boldsymbol{v}(\boldsymbol{k}_h)$ で動く電流と同じです。外力の下で $\boldsymbol{k}_h$ は電子と同じ $\hbar\dot{\boldsymbol{k}}_h=-e\boldsymbol{E}$ で動き、加速度 $\dot{\boldsymbol{v}}_h=\hbar^{-2}\partial^2\varepsilon\cdot(-e\boldsymbol{E})=\frac{1}{m^*}(-e\boldsymbol{E})=\frac{1}{-m^*}(+e\boldsymbol{E})$。電荷 $+e$ の粒子が質量 $-m^*$ で加速される形で、バンド頂上では $m^*<0$ だから $-m^*>0$。系全体のエネルギーは、欠けた電子の分 $-\varepsilon_n(\boldsymbol{k}_h)$ だけ増える（励起エネルギーの原点は頂上）、波数は和が $0$ の満杯から $\boldsymbol{k}_h$ を除くので $-\boldsymbol{k}_h$ です。
</Proof>

前章で見た、正の Hall 係数をもつ金属（Zn、Cd、Al など）の謎が、これで解けます。それらのフェルミ面の一部（ほぼ満杯のバンドの空席）では、電気を運ぶキャリアは正孔なのです。Hall 係数の符号は、電子的フェルミ面と正孔的フェルミ面のどちらが優勢かで決まります。

## 6. 半導体

### 6.1. 真性半導体のキャリア密度

<Definition id="def-semiconductor" title="半導体">
$T=0$ で価電子帯が満杯、伝導帯が空で、バンドギャップ $E_g=E_c-E_v$（$E_c$ は伝導帯の底、$E_v$ は価電子帯の頂上）が $k_BT$ に比べて大きいがそれほど大きくない（概ね $E_g\lesssim3\ \mathrm{eV}$）物質を**半導体**という。

伝導帯の底と価電子帯の頂上の近傍が放物線的で $\varepsilon_c=E_c+\hbar^2k^2/2m_e^*$、$\varepsilon_v=E_v-\hbar^2k^2/2m_h^*$ であるとする（**放物線近似**）。
</Definition>

<Theorem id="thm-intrinsic" title="半導体のキャリア密度と質量作用の法則">
$E_c-\mu\gg k_BT$ かつ $\mu-E_v\gg k_BT$（**非縮退**）のとき、伝導帯の電子密度 $n$ と価電子帯の正孔密度 $p$ は

$$
n=N_c\,e^{-(E_c-\mu)/k_BT},\qquad p=N_v\,e^{-(\mu-E_v)/k_BT},\qquad
N_{c,v}=2\left(\frac{m_{e,h}^*k_BT}{2\pi\hbar^2}\right)^{3/2}
$$

で与えられ、積は化学ポテンシャルによらない：

$$
np=N_cN_v\,e^{-E_g/k_BT}\ \ (\text{質量作用の法則}).
$$

真性半導体（$n=p=n_i$）では

$$
n_i=\sqrt{N_cN_v}\,e^{-E_g/2k_BT},\qquad\mu=\frac{E_c+E_v}2+\frac34k_BT\ln\frac{m_h^*}{m_e^*}
$$

である。
</Theorem>

<Proof of="thm-intrinsic">
伝導帯の電子密度は、[状態密度](/physics/condensed-matter/free-electrons#def-dos) $D_c(\varepsilon)/V=\frac1{2\pi^2}\left(\frac{2m_e^*}{\hbar^2}\right)^{3/2}\sqrt{\varepsilon-E_c}$（<Ref to="physics/condensed-matter/free-electrons#thm-dos" /> の質量を $m_e^*$ に、エネルギーの原点を $E_c$ に取り替えたもの）と Fermi 分布の積の積分です。非縮退のとき $f(\varepsilon)=[e^{(\varepsilon-\mu)/k_BT}+1]^{-1}\simeq e^{-(\varepsilon-\mu)/k_BT}$ なので（<Ref to="physics/thermodynamics/quantum-statistics#prop-classical-limit" /> の古典極限と同じ）、

$$
n=\frac1{2\pi^2}\left(\frac{2m_e^*}{\hbar^2}\right)^{3/2}e^{-(E_c-\mu)/k_BT}\int_0^\infty\sqrt x\,e^{-x/k_BT}dx .
$$

$\int_0^\infty\sqrt xe^{-x/k_BT}dx=(k_BT)^{3/2}\Gamma(3/2)=\frac{\sqrt\pi}2(k_BT)^{3/2}$ だから、係数は $\frac{\sqrt\pi}{4\pi^2}\left(\frac{2m_e^*k_BT}{\hbar^2}\right)^{3/2}=2\left(\frac{m_e^*k_BT}{2\pi\hbar^2}\right)^{3/2}=N_c$。

正孔密度は、価電子帯の空席の確率 $1-f=[e^{(\mu-\varepsilon)/k_BT}+1]^{-1}\simeq e^{-(\mu-\varepsilon)/k_BT}$ と、状態密度（質量 $m_h^*$、価電子帯の頂上から下向きに測る）で同じ計算ができ、$p=N_ve^{-(\mu-E_v)/k_BT}$。積は $np=N_cN_ve^{-(E_c-E_v)/k_BT}$ で $\mu$ が消えます。真性では電荷中性（電子の数と正孔の数が等しい）より $n=p$ なので $n_i^2=np$ から $n_i$ の式を得ます。$n=p$ の対数をとると $\ln N_c-\frac{E_c-\mu}{k_BT}=\ln N_v-\frac{\mu-E_v}{k_BT}$、$\mu$ について解いて $\mu=\frac{E_c+E_v}2+\frac{k_BT}2\ln\frac{N_v}{N_c}$、$N_v/N_c=(m_h^*/m_e^*)^{3/2}$ から主張を得ます。
</Proof>

<Example id="ex-silicon" title="シリコンの真性キャリア密度">
$T=300\ \mathrm{K}$ で $2\left(\frac{mk_BT}{2\pi\hbar^2}\right)^{3/2}=2.51\times10^{25}\ \mathrm{m^{-3}}$（自由電子質量 $m$ の場合）。シリコンの状態密度有効質量 $m_e^*\approx1.08m$、$m_h^*\approx0.56m$ とすると $N_c=2.51\times10^{25}\times1.08^{3/2}=2.8\times10^{25}\ \mathrm{m^{-3}}$、$N_v=2.51\times10^{25}\times0.56^{3/2}=1.05\times10^{25}\ \mathrm{m^{-3}}$、$\sqrt{N_cN_v}=1.7\times10^{25}\ \mathrm{m^{-3}}$。ギャップ $E_g=1.12\ \mathrm{eV}$、$k_BT=0.02585\ \mathrm{eV}$ から $e^{-E_g/2k_BT}=e^{-21.7}=3.9\times10^{-10}$。したがって

$$
n_i\approx1.7\times10^{25}\times3.9\times10^{-10}=6.7\times10^{15}\ \mathrm{m^{-3}}=6.7\times10^{9}\ \mathrm{cm^{-3}} .
$$

実測は約 $1\times10^{10}\ \mathrm{cm^{-3}}$ で、桁が合っています。原子密度 $5\times10^{22}\ \mathrm{cm^{-3}}$ と比べると、$10^{-13}$ という極端な少なさで、純粋なシリコンが室温でほとんど電気を通さない理由です。温度 $T$ に対して $e^{-E_g/2k_BT}$ で急増するので、**電気抵抗が温度とともに減少する**ことは、金属（フォノン散乱で抵抗が増加）と半導体の見分け方になります。
</Example>

### 6.2. ドーピング

不純物原子を添加すると、キャリア密度を何桁も制御できます。たとえばシリコンにリン（5 価）を加えると、伝導帯の底のすぐ下（約 $45\ \mathrm{meV}$）に**ドナー準位**ができ、室温でほぼ全部が電離して電子を伝導帯に供給します（n 型）。

<Proposition id="prop-doping" title="n 型半導体のキャリア密度">
密度 $N_d$ のドナーがすべて電離し、アクセプターがないとき、電荷中性 $n=N_d+p$ と質量作用の法則 $np=n_i^2$ から

$$
n=\frac{N_d}2+\sqrt{\frac{N_d^2}4+n_i^2},\qquad p=\frac{n_i^2}n
$$

である。$N_d\gg n_i$ では $n\simeq N_d$、$p\simeq n_i^2/N_d$。
</Proposition>

<Proof of="prop-doping">
$p=n_i^2/n$ を $n=N_d+p$ に代入すると $n^2-N_dn-n_i^2=0$。正の根が $n=\frac{N_d}2+\sqrt{\frac{N_d^2}{4}+n_i^2}$ です。$N_d\gg n_i$ のとき $\sqrt{N_d^2/4+n_i^2}\simeq N_d/2$ で $n\simeq N_d$。
</Proof>

<Example id="ex-doped-si" title="リンをドープしたシリコン">
$N_d=10^{16}\ \mathrm{cm^{-3}}$ のとき、$n\simeq10^{16}\ \mathrm{cm^{-3}}$、$p\simeq(10^{10})^2/10^{16}=10^{4}\ \mathrm{cm^{-3}}$。純粋なシリコンの $n_i\sim10^{10}\ \mathrm{cm^{-3}}$ と比べて、電子が 6 桁増えています（原子 $5\times10^{22}$ 個あたり不純物 1 個の割合 $2\times10^{-7}$ にすぎない）。電気伝導率は $\sigma=e(n\mu_e+p\mu_h)\simeq en\mu_e$（$\mu_e$ は移動度）で制御できます。これがダイオードやトランジスタの基礎で、p 型と n 型の接合に整流作用が生じます。
</Example>

## 7. 演習

<Exercise id="exr-square-tb" difficulty="標準">
2 次元正方格子（格子定数 $a$）の最近接強束縛模型 $\varepsilon(\boldsymbol{k})=\varepsilon_0-2t(\cos k_xa+\cos k_ya)$ について、(1) 帯幅を求めよ。(2) バンド底の有効質量を求めよ。(3) 半充填（電子数が単位胞あたり 1 個）でのフェルミ面を求めよ。
<Solution>
(1) $\cos$ の最大・最小は $\pm1$ なので、$\varepsilon\in[\varepsilon_0-4t,\varepsilon_0+4t]$、帯幅 $8t$。

(2) 底は $\boldsymbol{k}=0$ で、$\cos\theta\simeq1-\theta^2/2$ より $\varepsilon\simeq\varepsilon_0-4t+ta^2(k_x^2+k_y^2)$。<Ref to="def-effective-mass" /> より $\frac1{m^*}=\frac{2ta^2}{\hbar^2}$、$m^*=\frac{\hbar^2}{2ta^2}$（1 次元鎖と同じ）で、等方的です。

(3) 単位胞あたり 1 電子（スピンを込めて 2 状態中 1 つ）だから、バンドの半分が埋まります。$\varepsilon(\boldsymbol{k}+(\pi,\pi)/a)=2\varepsilon_0-\varepsilon(\boldsymbol{k})$ より、$\varepsilon<\varepsilon_0$ の領域と $\varepsilon>\varepsilon_0$ の領域は BZ の面積を半々にするので、$\varepsilon_F=\varepsilon_0$ です。フェルミ面は $\cos k_xa+\cos k_ya=0$、すなわち $\cos k_ya=-\cos k_xa=\cos(\pi-k_xa)$ から $k_y=\pm(\pi/a-k_x)$ などで、$|k_x|+|k_y|=\pi/a$ のひし形になります。反対側の辺が $(\pi,\pi)/a$ だけずれて平行（ネスティング）です。
</Solution>
</Exercise>

<Exercise id="exr-two-wave-gap" difficulty="標準">
1 次元で $V(x)=2U\cos(2\pi x/a)$ ($U>0$) のとき、$k=\pi/a$ での 2 つの定在波とそのエネルギーを求め、ギャップが $2U$ であることを示せ。
<Solution>
$G=2\pi/a$ で $U_G=U_{-G}=U$（$V=Ue^{iGx}+Ue^{-iGx}$）。$k=\pi/a=G/2$ で平面波 $e^{iGx/2}$ と $e^{-iGx/2}$ が縮退します。<Ref to="thm-nfe-gap" /> の証明の第 1 式は $(\varepsilon_B-\varepsilon)c_k+Uc_{k-G}=0$ です。$\varepsilon=\varepsilon_B+U$ なら $c_{k-G}=c_k$ で、波動関数は $e^{iGx/2}+e^{-iGx/2}\propto\cos(\pi x/a)$。$\varepsilon=\varepsilon_B-U$ なら $c_{k-G}=-c_k$ で $\sin(\pi x/a)$ です。ギャップは $(\varepsilon_B+U)-(\varepsilon_B-U)=2U$。本文の期待値の計算 $\langle V\rangle_{\cos}=+U$、$\langle V\rangle_{\sin}=-U$ とも整合します。
</Solution>
</Exercise>

<Exercise id="exr-hole-band" difficulty="易">
強束縛鎖で、バンド全体が満杯（単位胞あたり 2 電子）の状態から、バンド頂上 $k=\pi/a$ の近く $k_h=\pi/a-\kappa$ の電子を 1 個取り除いた。この正孔の有効質量、速度、エネルギー（頂上の空席を基準）を $\kappa$ で表せ。
<Solution>
頂上の近くで $\varepsilon=\varepsilon_0+2t-ta^2(k-\pi/a)^2$ なので $m^*=-\hbar^2/(2ta^2)$。<Ref to="prop-hole" /> より正孔の有効質量は $m_h^*=-m^*=\hbar^2/(2ta^2)>0$ です。速度は $v_h=\hbar^{-1}\partial\varepsilon/\partial k|_{k_h}=\hbar^{-1}\cdot2ta^2\kappa=\hbar\kappa/m_h^*$ ($\kappa=\pi/a-k_h$ を正孔の波数の大きさとみなす)、エネルギーは頂上の空席を基準に $\varepsilon_{\mathrm{top}}-\varepsilon(k_h)=ta^2\kappa^2=\hbar^2\kappa^2/2m_h^*$ です。つまり正の質量 $m_h^*$ をもつ通常の粒子の分散になっています。
</Solution>
</Exercise>

<Exercise id="exr-gaas" difficulty="標準">
温度 $T$ の真性半導体で $m_e^*=m_h^*$ のとき、化学ポテンシャルがギャップの中央にあることを <Ref to="thm-intrinsic" /> から示せ。ギャップが $E_g=1.42\ \mathrm{eV}$（GaAs）で、$300\ \mathrm{K}$ から $400\ \mathrm{K}$ に昇温すると $n_i$ は何倍になるか（$N_cN_v\propto T^3$ の因子も考慮せよ）。
<Solution>
$m_e^*=m_h^*$ なら $\ln(m_h^*/m_e^*)=0$ で $\mu=(E_c+E_v)/2$。$n_i\propto T^{3/2}e^{-E_g/2k_BT}$ なので、比は $\left(\frac{400}{300}\right)^{3/2}\exp\left[\frac{E_g}{2k_B}\left(\frac1{300}-\frac1{400}\right)\right]$。$\frac{E_g}{2k_B}=\frac{1.42}{2\times8.617\times10^{-5}}=8240\ \mathrm{K}$、$\frac1{300}-\frac1{400}=8.33\times10^{-4}\ \mathrm{K^{-1}}$ で指数は $6.87$、$e^{6.87}=960$。$(4/3)^{1.5}=1.54$ を掛けて約 $1.5\times10^3$ 倍です。温度を 100 K 上げるだけでキャリア数が千倍以上増えるのは、金属にはない半導体の特徴です。
</Solution>
</Exercise>

## 参考文献

- C. キッテル『キッテル 固体物理学入門』（上・下）丸善出版 — 電子のエネルギーバンド、半導体結晶、フェルミ面の各章。
- N. W. Ashcroft and N. D. Mermin, *Solid State Physics*, Holt, Rinehart and Winston, 1976 — Chapters 8–10 (Bloch's theorem, nearly free electron model, tight-binding), Chapters 12–13 (semiclassical model, semiclassical theory of conduction), Chapter 28 (semiconductors).
- S. H. Simon, *The Oxford Solid State Basics*, Oxford University Press, 2013 — 1 次元鎖の強束縛模型、バンド理論、半導体の各章。
- F. Bloch, "Über die Quantenmechanik der Elektronen in Kristallgittern", *Zeitschrift für Physik* 52 (1929), 555–600.
