# 結晶構造と格子振動：逆格子・X 線回折・フォノンと固体の比熱

> Bravais 格子と逆格子を定義し、Laue 条件と Bragg 条件の同値を証明する。1 次元鎖の基準振動をフォノンとして量子化し、Einstein 模型と Debye 模型から固体の比熱の T の 3 乗則を導く。
> https://rikai.mugen-giken.com/physics/condensed-matter/crystals-phonons

## 0. この記事の要点

結晶は、原子が規則正しく並んだ固体です。この規則正しさのおかげで、X 線を当てると点状の模様ができ、温度を下げると比熱（物質を温めるのに必要な熱の量）が決まった形で小さくなります。この記事では、原子の並びを数学的に整理し、原子の振動を「粒子（フォノン）」として数えることで、この 2 つの現象を説明します。

- 結晶は、格子点の集合（Bravais 格子）に「基底」と呼ぶ原子の組を 1 つずつ貼り付けたものです。格子の並進対称性が、固体の理論のほぼすべてを支配します。
- 周期構造を見る道具が**逆格子**です。実空間の格子に対し、$e^{i\boldsymbol{G}\cdot\boldsymbol{R}}=1$ をすべての格子ベクトル $\boldsymbol{R}$ について満たす波数ベクトル $\boldsymbol{G}$ の全体は、それ自身が格子になります。その Wigner–Seitz 胞（ある格子点に最も近い点の集まり）が第 1 Brillouin ゾーン（逆格子空間で原点に最も近い領域）です。
- X 線回折の強い反射は、散乱ベクトルが逆格子ベクトルに一致するとき（Laue 条件）に限って起こります。これは「格子面での鏡面反射と光路差」の条件（Bragg 条件）と同値であることを証明します。
- 結晶の原子の微小振動は、波数 $\boldsymbol{k}$ ごとの独立な調和振動子（基準振動）に分解され、量子化されたものが**フォノン**です。波数は第 1 Brillouin ゾーンの中だけで数えれば十分です。
- 比熱は、フォノンを調和振動子の集まりとして数えれば求まります。高温では Dulong–Petit の値 $3Nk_B$ に近づき、低温では Debye の $T^3$ 則に従います。Einstein 模型は低温で指数関数的に小さくなってしまい、実験の $T^3$ に合いません。
- この記事で作る**逆格子・Brillouin ゾーン・周期境界条件のもとの波数の数え方**は、以降の全章（自由電子、Bloch の定理、磁性、超伝導、トポロジカル相）の共通の土台です。

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

- **調和振動子**: ばねにつながれた粒子の量子版で、エネルギーが $\hbar\omega(n+1/2)$ と等間隔に並びます。→ [1次元の簡単な系](/physics/quantum-mechanics/one-dimensional-systems)
- **分配関数**: 温度 $T$ の熱浴につながれた系で、状態ごとの重み $e^{-E/k_BT}$ を足し合わせたもの。熱力学量はここから出ます。→ [カノニカル集団](/physics/thermodynamics/canonical-ensemble)
- **平面波と波数**: $e^{i(\boldsymbol{k}\cdot\boldsymbol{r}-\omega t)}$ の形の波で、波数ベクトル $\boldsymbol{k}$ の大きさは $2\pi/\text{波長}$ です。→ [平面波](/physics/electromagnetism/maxwell-equations#def-plane-wave)
- **群速度**: 振動数 $\omega$ を波数 $k$ の関数にした分散関係から決まる、波のまとまりが進む速さ $d\omega/dk$。→ [分散関係・群速度](/physics/mechanics/oscillations-and-waves#def-dispersion)
- **ハミルトニアン**: 系の全エネルギーを座標と運動量で表したもの。量子力学ではその固有値がエネルギー準位です。→ [ハミルトニアン](/physics/mechanics/hamiltonian-mechanics#def-hamiltonian)

</Aside>

## 1. 動機：固体物理の見通し

銅の針金に電気が流れ、ダイヤモンドは電気を通さず、シリコンは不純物を混ぜると電気が流れるようになり、ある種の鉛合金は極低温で電気抵抗が完全にゼロになります。元になる粒子はどれも原子核と電子で、法則は量子力学とクーロン力だけです。それでも物質ごとにまったく違う振る舞いが現れるのはなぜか。固体物理は、この問いに「周期性」と「多体系の統計」という 2 本の柱で答えようとする分野です。

このテーマは 6 つの章で、次の順に進みます。

1. **結晶構造と格子振動**（この記事）。原子の並びと、その振動（フォノン）を扱います。固体の比熱の大部分は、この振動で決まります。
2. **[自由電子気体](/physics/condensed-matter/free-electrons#def-free-electron)**。金属中の伝導電子を、結晶の影響を無視した理想気体として扱います。[Drude 模型](/physics/condensed-matter/free-electrons#def-drude)から Sommerfeld 理論へ進み、電子比熱と状態密度を計算します。
3. **Bloch の定理とバンド理論**。結晶の周期ポテンシャルが電子の波動関数とエネルギーをどう変えるかを調べます。金属・絶縁体・半導体の区別はここで生まれます。
4. **磁性**。電子間の相互作用（交換相互作用）が磁気秩序を生む仕組みを、Heisenberg 模型と平均場理論、スピン波で見ます。
5. **超伝導**。電子間の弱い引力がフェルミ面を不安定にして対を作る Cooper 不安定性から BCS 理論へ進み、現象論として Ginzburg–Landau 理論を学びます。
6. **トポロジカル相**。バンドの波動関数がもつ幾何学（Berry 曲率）が、量子 Hall 効果の厳密な量子化を説明します。

前提は量子力学（[1 次元系](/physics/quantum-mechanics/one-dimensional-systems)の調和振動子まで）と統計力学（[カノニカル集団](/physics/thermodynamics/canonical-ensemble)）です。この第 1 章では、まず電子を脇に置き、**原子の配列そのもの**と、その配列のまわりの集団的な振動だけを扱います。電子はあとの章で、この章で用意する格子・逆格子・Brillouin ゾーンという舞台に登場します。

## 2. Bravais 格子

### 2.1. 定義

理想的な結晶では、ある原子の配置が空間を一定の間隔で繰り返し埋め尽くしています。この「繰り返しの骨組み」だけを取り出したのが Bravais 格子です。

<Definition id="def-bravais" title="Bravais 格子">
3 次元空間 $\mathbb{R}^3$ の 1 次独立なベクトル $\boldsymbol{a}_1,\boldsymbol{a}_2,\boldsymbol{a}_3$（**基本並進ベクトル**）に対し、

$$
\Lambda = \left\{ \boldsymbol{R} = n_1\boldsymbol{a}_1 + n_2\boldsymbol{a}_2 + n_3\boldsymbol{a}_3 \ \middle|\ n_1,n_2,n_3\in\mathbb{Z} \right\}
$$

を **Bravais 格子**と呼び、$\boldsymbol{R}\in\Lambda$ を**格子ベクトル**という。$\Lambda$ のどの点から見ても、周囲の点の配置は同じである。
</Definition>

結晶構造は、Bravais 格子の各点に同じ原子の組を貼ったものです。この原子の組を**基底**と呼び、格子点 $\boldsymbol{R}$ に対し基底の $j$ 番目の原子は $\boldsymbol{R}+\boldsymbol{d}_j$ に置かれます。

$$
\text{結晶構造} = \text{Bravais 格子} + \text{基底}.
$$

たとえばダイヤモンド構造は面心立方格子に 2 原子の基底を貼ったもので、格子点と原子の位置は一致しません。蜂の巣状の炭素シート（グラフェン）の原子配置も Bravais 格子にはならず、三角格子に 2 原子の基底を貼ったものです。

基本並進ベクトルの選び方は一意ではありません。たとえば $\boldsymbol{a}_1,\boldsymbol{a}_2$ の代わりに $\boldsymbol{a}_1,\boldsymbol{a}_2+\boldsymbol{a}_1$ を使っても同じ $\Lambda$ が得られます。

<Definition id="def-cell" title="基本単位胞とWigner–Seitz 胞">
基本並進ベクトルがつくる平行六面体 $\{x_1\boldsymbol{a}_1+x_2\boldsymbol{a}_2+x_3\boldsymbol{a}_3 \mid 0\le x_i<1\}$ を**基本単位胞**といい、その体積は $V_c = |\boldsymbol{a}_1\cdot(\boldsymbol{a}_2\times\boldsymbol{a}_3)|$ である。
一方、ある格子点 $\boldsymbol{R}_0$ に対し、$\boldsymbol{R}_0$ が他のどの格子点よりも近い（またはひとしく近い）点の全体

$$
\mathrm{WS}(\boldsymbol{R}_0) = \left\{ \boldsymbol{r} \ \middle|\ |\boldsymbol{r}-\boldsymbol{R}_0| \le |\boldsymbol{r}-\boldsymbol{R}|\ \ (\forall \boldsymbol{R}\in\Lambda) \right\}
$$

を **Wigner–Seitz 胞**という。
</Definition>

基本単位胞は選び方で形が変わりますが、体積 $V_c$ は選び方によらず格子だけで決まります（基本並進ベクトルの取り替えは整数係数で行列式 $\pm1$ の変換で、体積を変えません）。Wigner–Seitz 胞は格子の対称性をすべて保つ形に自動で定まるので、物理ではこちらがよく使われます。下の図に三角格子の例を示します。

<Figure caption="二次元三角格子。基本並進ベクトル a₁, a₂ がつくる平行四辺形（色つき）は基本単位胞、ある格子点 R を中心にした正六角形は Wigner–Seitz 胞である。形は違うが、面積は同じ。">
<svg viewBox="0 0 640 300" width="100%" role="img" aria-label="2 次元の三角格子。基本ベクトル a1, a2 と基本単位胞（平行四辺形）、ウィグナー・ザイツ胞（正六角形）を示す">
  <polygon points="120.0,250.0 190.0,250.0 225.0,189.4 155.0,189.4" fill="var(--sl-color-accent)" fill-opacity="0.18" stroke="var(--sl-color-accent)" stroke-width="1.5" />
  <polygon points="400.0,169.2 365.0,149.0 330.0,169.2 330.0,209.6 365.0,229.8 400.0,209.6" fill="currentColor" fill-opacity="0.10" stroke="currentColor" stroke-width="1.8" />
  <g fill="currentColor">
    <circle cx="50.0" cy="250.0" r="3.5" />
    <circle cx="85.0" cy="189.4" r="3.5" />
    <circle cx="120.0" cy="128.8" r="3.5" />
    <circle cx="155.0" cy="68.1" r="3.5" />
    <circle cx="120.0" cy="250.0" r="3.5" />
    <circle cx="155.0" cy="189.4" r="3.5" />
    <circle cx="190.0" cy="128.8" r="3.5" />
    <circle cx="225.0" cy="68.1" r="3.5" />
    <circle cx="190.0" cy="250.0" r="3.5" />
    <circle cx="225.0" cy="189.4" r="3.5" />
    <circle cx="260.0" cy="128.8" r="3.5" />
    <circle cx="295.0" cy="68.1" r="3.5" />
    <circle cx="260.0" cy="250.0" r="3.5" />
    <circle cx="295.0" cy="189.4" r="3.5" />
    <circle cx="330.0" cy="128.8" r="3.5" />
    <circle cx="365.0" cy="68.1" r="3.5" />
    <circle cx="330.0" cy="250.0" r="3.5" />
    <circle cx="365.0" cy="189.4" r="3.5" />
    <circle cx="400.0" cy="128.8" r="3.5" />
    <circle cx="435.0" cy="68.1" r="3.5" />
    <circle cx="400.0" cy="250.0" r="3.5" />
    <circle cx="435.0" cy="189.4" r="3.5" />
    <circle cx="470.0" cy="128.8" r="3.5" />
    <circle cx="505.0" cy="68.1" r="3.5" />
    <circle cx="470.0" cy="250.0" r="3.5" />
    <circle cx="505.0" cy="189.4" r="3.5" />
    <circle cx="540.0" cy="128.8" r="3.5" />
    <circle cx="575.0" cy="68.1" r="3.5" />
    <circle cx="540.0" cy="250.0" r="3.5" />
    <circle cx="575.0" cy="189.4" r="3.5" />
    <circle cx="610.0" cy="128.8" r="3.5" />
    <circle cx="610.0" cy="250.0" r="3.5" />
  </g>
  <g stroke="var(--sl-color-accent)" stroke-width="2.4" fill="none">
    <path d="M 120.0 250.0 L 187.0 250.0" />
    <path d="M 178.0 245.0 L 188.0 250.0 L 178.0 255.0" />
    <path d="M 120.0 250.0 L 154.0 192.4" />
    <path d="M 145.0 190.4 L 154.0 193.4 L 156.0 203.4" />
  </g>
  <g fill="var(--sl-color-accent)" font-size="16" font-style="italic">
    <text x="147.0" y="272.0">a₁</text>
    <text x="113.5" y="219.7">a₂</text>
  </g>
  <g fill="currentColor" font-size="14">
    <text x="371.0" y="207.4">R</text>
    <text x="380" y="36">ウィグナー・ザイツ胞（灰、六角形）</text>
    <text x="380" y="58" fill="var(--sl-color-accent)">基本単位胞（色つき、平行四辺形）</text>
  </g>
</svg>
</Figure>

### 2.2. 空間の分類

3 次元の Bravais 格子は、対称性の違いによって全部で 14 種類（立方 3、正方 2、直方 4、単斜 2、三斜 1、三方 1、六方 1）に分類されます（Bravais 格子の分類）。この分類の証明は群論の仕事で本記事の範囲を超えるので、ここでは最もよく現れる 3 つの立方格子だけを覚えておいてください。

| 格子 | 基本並進ベクトルの例（立方体の一辺 $a$） | $V_c$ | 最近接数 |
|---|---|---|---|
| 単純立方 (sc) | $a\hat{x},\ a\hat{y},\ a\hat{z}$ | $a^3$ | 6 |
| 体心立方 (bcc) | $\tfrac{a}{2}(-1,1,1),\ \tfrac{a}{2}(1,-1,1),\ \tfrac{a}{2}(1,1,-1)$ | $a^3/2$ | 8 |
| 面心立方 (fcc) | $\tfrac{a}{2}(0,1,1),\ \tfrac{a}{2}(1,0,1),\ \tfrac{a}{2}(1,1,0)$ | $a^3/4$ | 12 |

銅・アルミニウム・金は fcc、鉄（室温）・ナトリウム・タングステンは bcc、塩化ナトリウム型結晶は fcc に 2 イオンの基底を貼った構造です。

## 3. 逆格子と Brillouin ゾーン

### 3.1. 定義と基本性質

周期的な構造を波で調べるとき、「その周期と干渉して消えない波」を知りたくなります。それが逆格子です。

<Definition id="def-reciprocal" title="逆格子">
Bravais 格子 $\Lambda$ に対し、

$$
\Lambda^{*} = \left\{ \boldsymbol{G}\in\mathbb{R}^3 \ \middle|\ e^{i\boldsymbol{G}\cdot\boldsymbol{R}} = 1\ \ (\forall \boldsymbol{R}\in\Lambda) \right\}
= \left\{ \boldsymbol{G} \ \middle|\ \boldsymbol{G}\cdot\boldsymbol{R}\in 2\pi\mathbb{Z}\ \ (\forall \boldsymbol{R}\in\Lambda)\right\}
$$

を**逆格子**と呼ぶ。
</Definition>

この定義は基本並進ベクトルに触れていません。次の命題が、$\Lambda^*$ もまた Bravais 格子であり、具体的に基本ベクトルが書けることを保証します。

<Proposition id="prop-reciprocal-basis" title="逆格子の基本ベクトル">
$\Lambda$ の基本並進ベクトルを $\boldsymbol{a}_1,\boldsymbol{a}_2,\boldsymbol{a}_3$、$V_c = \boldsymbol{a}_1\cdot(\boldsymbol{a}_2\times\boldsymbol{a}_3)\ (\ne0)$ とし、

$$
\boldsymbol{b}_1 = \frac{2\pi}{V_c}\,\boldsymbol{a}_2\times\boldsymbol{a}_3,\quad
\boldsymbol{b}_2 = \frac{2\pi}{V_c}\,\boldsymbol{a}_3\times\boldsymbol{a}_1,\quad
\boldsymbol{b}_3 = \frac{2\pi}{V_c}\,\boldsymbol{a}_1\times\boldsymbol{a}_2
$$

とおく。このとき次が成り立つ。

1. $\boldsymbol{b}_i\cdot\boldsymbol{a}_j = 2\pi\delta_{ij}$。
2. $\Lambda^{*} = \{ h\boldsymbol{b}_1+k\boldsymbol{b}_2+l\boldsymbol{b}_3 \mid h,k,l\in\mathbb{Z}\}$。すなわち $\Lambda^*$ は $\boldsymbol{b}_1,\boldsymbol{b}_2,\boldsymbol{b}_3$ を基本ベクトルとする Bravais 格子である。
3. $\Lambda^*$ の基本単位胞の体積は $(2\pi)^3/V_c$ である。
4. $(\Lambda^*)^* = \Lambda$。
</Proposition>

<Proof of="prop-reciprocal-basis">
(1) スカラー三重積の性質から $\boldsymbol{a}_2\times\boldsymbol{a}_3$ は $\boldsymbol{a}_2,\boldsymbol{a}_3$ と直交するので $\boldsymbol{b}_1\cdot\boldsymbol{a}_2=\boldsymbol{b}_1\cdot\boldsymbol{a}_3=0$。また $\boldsymbol{b}_1\cdot\boldsymbol{a}_1 = \frac{2\pi}{V_c}\boldsymbol{a}_1\cdot(\boldsymbol{a}_2\times\boldsymbol{a}_3)=2\pi$。$\boldsymbol{b}_2,\boldsymbol{b}_3$ も巡回的に同じです。

(2) $\boldsymbol{a}_1,\boldsymbol{a}_2,\boldsymbol{a}_3$ は $\mathbb{R}^3$ の基底なので、任意の $\boldsymbol{G}$ は $\boldsymbol{G}=h\boldsymbol{b}_1+k\boldsymbol{b}_2+l\boldsymbol{b}_3$（$h,k,l\in\mathbb{R}$）と一意に書けます。$\boldsymbol{b}_1,\boldsymbol{b}_2,\boldsymbol{b}_3$ も 1 次独立です（(1) より $\boldsymbol{a}_j$ との内積行列が $2\pi I$ だから）。(1) を使うと $\boldsymbol{G}\cdot\boldsymbol{a}_1 = 2\pi h$、同様に $\boldsymbol{G}\cdot\boldsymbol{a}_2=2\pi k$、$\boldsymbol{G}\cdot\boldsymbol{a}_3=2\pi l$ です。$\boldsymbol{G}\in\Lambda^*$ は、すべての $\boldsymbol{R}=\sum n_i\boldsymbol{a}_i$ について $\boldsymbol{G}\cdot\boldsymbol{R} = 2\pi(n_1h+n_2k+n_3l)\in2\pi\mathbb{Z}$ となること、すなわち（$(n_1,n_2,n_3)$ に単位ベクトルを選んで）$h,k,l\in\mathbb{Z}$ であることと同値です。

(3) $\boldsymbol{b}_1\cdot(\boldsymbol{b}_2\times\boldsymbol{b}_3)$ を計算します。$(\boldsymbol{a}_3\times\boldsymbol{a}_1)\times(\boldsymbol{a}_1\times\boldsymbol{a}_2) = [(\boldsymbol{a}_3\times\boldsymbol{a}_1)\cdot\boldsymbol{a}_2]\,\boldsymbol{a}_1 = V_c\boldsymbol{a}_1$（$\boldsymbol{u}\times(\boldsymbol{v}\times\boldsymbol{w})$ の公式で $\boldsymbol{v}=\boldsymbol{a}_1$ が両方に現れることを使う）なので

$$
\boldsymbol{b}_1\cdot(\boldsymbol{b}_2\times\boldsymbol{b}_3)
= \frac{(2\pi)^3}{V_c^3}\,(\boldsymbol{a}_2\times\boldsymbol{a}_3)\cdot V_c\boldsymbol{a}_1 = \frac{(2\pi)^3}{V_c}.
$$

(4) (2) を $\Lambda^*$ と $\boldsymbol{b}_i$ に適用すると、$(\Lambda^*)^*$ の基本ベクトルは $\boldsymbol{b}_i\cdot\boldsymbol{c}_j = 2\pi\delta_{ij}$ で決まる $\boldsymbol{c}_j$ です。(1) より $\boldsymbol{c}_j=\boldsymbol{a}_j$ が解で、$\boldsymbol{b}_i$ が基底なので一意です。よって $(\Lambda^*)^*=\Lambda$。
</Proof>

(1) の関係 $\boldsymbol{b}_i\cdot\boldsymbol{a}_j=2\pi\delta_{ij}$ を覚えておけば、$\boldsymbol{b}_i$ の具体形は忘れても導けます。2 次元では $\boldsymbol{a}_3=\hat{z}$ と置いて $\boldsymbol{b}_1,\boldsymbol{b}_2$ だけを使えばよく、上の三角格子の逆格子を実際に計算すると、下の図のような「$30^\circ$ 回転した三角格子」になります。

<Example id="ex-fcc-bcc" title="fcc の逆格子は bcc">
fcc の基本ベクトル $\boldsymbol{a}_1=\tfrac a2(0,1,1)$、$\boldsymbol{a}_2=\tfrac a2(1,0,1)$、$\boldsymbol{a}_3=\tfrac a2(1,1,0)$ では、$V_c=a^3/4$ で

$$
\boldsymbol{a}_2\times\boldsymbol{a}_3 = \frac{a^2}{4}(0\cdot0-1\cdot1,\ 1\cdot1-1\cdot0,\ 1\cdot1-0\cdot1) = \frac{a^2}{4}(-1,1,1)
$$

なので $\boldsymbol{b}_1 = \dfrac{2\pi}{a^3/4}\cdot\dfrac{a^2}{4}(-1,1,1) = \dfrac{2\pi}{a}(-1,1,1)$。巡回的に $\boldsymbol{b}_2=\frac{2\pi}{a}(1,-1,1)$、$\boldsymbol{b}_3=\frac{2\pi}{a}(1,1,-1)$ です。これは一辺が $4\pi/a$ の立方体を単位とする bcc の基本ベクトル（上の表で $a\to4\pi/a$ とおいたもの）ですから、**fcc の逆格子は bcc** です。同様に bcc の逆格子は fcc です。
</Example>

最も簡単な 1 次元の場合を図に示します。間隔 $a$ で並ぶ格子に対し、$b\cdot a=2\pi$ で決まる間隔 $b=2\pi/a$ の格子が逆格子です。

<Figure caption="1 次元の格子と逆格子。実空間で間隔 a の格子に対し、逆格子の間隔は b = 2π/a（b·a = 2π）。a を大きくすると b は小さくなる。図の長さの比は目安である。">
<svg viewBox="0 0 640 210" width="100%" role="img" aria-label="1 次元の格子と逆格子。上段は間隔 a の実空間の格子点、下段は間隔 b = 2π/a の逆格子点">
  <g fill="currentColor">
    <circle cx="80" cy="60" r="4" /><circle cx="180" cy="60" r="4" /><circle cx="280" cy="60" r="4" /><circle cx="380" cy="60" r="4" /><circle cx="480" cy="60" r="4" /><circle cx="580" cy="60" r="4" />
    <circle cx="80" cy="150" r="4" /><circle cx="280" cy="150" r="4" /><circle cx="480" cy="150" r="4" />
  </g>
  <g stroke="var(--sl-color-accent)" stroke-width="2.4" fill="none">
    <path d="M 80 82 L 178 82" />
    <path d="M 168 77 L 178 82 L 168 87" />
    <path d="M 80 172 L 278 172" />
    <path d="M 268 167 L 278 172 L 268 177" />
  </g>
  <g fill="var(--sl-color-accent)" font-size="16" font-style="italic">
    <text x="124" y="102">a</text>
    <text x="174" y="194">b = 2π/a</text>
  </g>
  <g fill="currentColor" font-size="14">
    <text x="20" y="30">実空間の格子</text>
    <text x="20" y="130">逆格子</text>
  </g>
</svg>
</Figure>

### 3.2. Brillouin ゾーン

<Definition id="def-bz" title="第 1 Brillouin ゾーン">
逆格子 $\Lambda^*$ の Wigner–Seitz 胞を**第 1 Brillouin ゾーン**（BZ）という。
</Definition>

逆格子空間（$\boldsymbol{k}$ 空間）で原点 $\Gamma$ に最も近い領域が BZ です。BZ の境界は、原点と各逆格子ベクトル $\boldsymbol{G}$ を結ぶ線分の垂直二等分面（**Bragg 面**）でできています。次節では、Bragg 面の上でちょうど X 線が反射されることを見ます。三角格子の BZ は正六角形で、その特別な点に慣習的な名前 $\Gamma$（中心）、M（辺の中点）、K（頂点）がついています。

<Figure caption="三角格子の逆格子（黒い点）と第 1 Brillouin ゾーン（正六角形）。実空間の格子を 30° 回した三角格子になる。Γ はゾーン中心、M は辺の中点、K は頂点。b₁, b₂ は逆格子の基本ベクトル。">
<svg viewBox="0 0 640 300" width="100%" role="img" aria-label="三角格子の逆格子と第 1 ブリルアンゾーン（正六角形）。対称点 Γ, M, K を示す">
  <polygon points="395.4,160.0 357.7,94.7 282.3,94.7 244.6,160.0 282.3,225.3 357.7,225.3" fill="var(--sl-color-accent)" fill-opacity="0.16" stroke="var(--sl-color-accent)" stroke-width="2" />
  <g fill="currentColor">
    <circle cx="93.8" cy="160.0" r="3.5" />
    <circle cx="93.8" cy="29.4" r="3.5" />
    <circle cx="206.9" cy="225.3" r="3.5" />
    <circle cx="206.9" cy="94.7" r="3.5" />
    <circle cx="320.0" cy="160.0" r="3.5" />
    <circle cx="320.0" cy="29.4" r="3.5" />
    <circle cx="433.1" cy="225.3" r="3.5" />
    <circle cx="433.1" cy="94.7" r="3.5" />
    <circle cx="546.2" cy="160.0" r="3.5" />
    <circle cx="546.2" cy="29.4" r="3.5" />
  </g>
  <g stroke="currentColor" stroke-width="1" stroke-dasharray="4 4" opacity="0.7" fill="none">
    <path d="M 320.0 160.0 L 320.0 94.7" />
    <path d="M 320.0 160.0 L 357.7 94.7" />
    <path d="M 320.0 94.7 L 357.7 94.7" />
  </g>
  <g stroke="currentColor" stroke-width="2.2" fill="none">
    <path d="M 320.0 160.0 L 430.3 223.7" />
    <path d="M 320.0 160.0 L 320.0 37.4" />
  </g>
  <g fill="var(--sl-color-accent)" stroke="none">
    <circle cx="320.0" cy="160.0" r="5" />
    <circle cx="320.0" cy="94.7" r="4.5" />
    <circle cx="357.7" cy="94.7" r="4.5" />
  </g>
  <g fill="currentColor" font-size="16">
    <text x="302.0" y="182.0">Γ</text>
    <text x="298.0" y="90.0">M</text>
    <text x="365.7" y="90.0">K</text>
    <text x="441.1" y="243.3" font-style="italic">b₁</text>
    <text x="328.0" y="43.4" font-style="italic">b₂</text>
  </g>
</svg>
</Figure>

BZ の使い方は 2 つあります。

- 周期関数の展開では、$\Lambda$ 周期の関数 $f(\boldsymbol{r}+\boldsymbol{R})=f(\boldsymbol{r})$ は逆格子ベクトルで $f(\boldsymbol{r}) = \sum_{\boldsymbol{G}\in\Lambda^*} f_{\boldsymbol{G}} e^{i\boldsymbol{G}\cdot\boldsymbol{r}}$ と Fourier 展開されます。$e^{i\boldsymbol{G}\cdot\boldsymbol{r}}$ が $\Lambda$ 周期なのは、$\Lambda^*$ の定義そのものです。
- 波数の「重複の整理」では、波数 $\boldsymbol{k}$ と $\boldsymbol{k}+\boldsymbol{G}$ が格子点上の波として区別できないため、$\boldsymbol{k}$ を BZ の中だけで考えれば足ります（§6.1）。

## 4. X 線回折：Laue 条件と Bragg 条件

### 4.1. 回折の振幅

結晶に波数 $\boldsymbol{k}$ の[平面波](/physics/electromagnetism/maxwell-equations#def-plane-wave)（X 線）を当て、波数 $\boldsymbol{k}'$ の方向に散乱される強度を考えます。$|\boldsymbol{k}'|=|\boldsymbol{k}|$ の弾性散乱を仮定し、$\Delta\boldsymbol{k}=\boldsymbol{k}'-\boldsymbol{k}$（**散乱ベクトル**）とおきます。各格子点にある散乱体（以下、「原子」）が球面波を出すと、遠方で観測する振幅は、位置 $\boldsymbol{r}_j$ の散乱体からの寄与の和

$$
A(\Delta\boldsymbol{k}) \propto \sum_{j} f_j\, e^{-i\Delta\boldsymbol{k}\cdot\boldsymbol{r}_j}
$$

です（運動学的近似：多重散乱と吸収を無視する）。$f_j$ は原子ごとの散乱能です。この式は、入射波の位相 $e^{i\boldsymbol{k}\cdot\boldsymbol{r}_j}$ と、$\boldsymbol{r}_j$ から検出器までの位相のずれ $e^{-i\boldsymbol{k}'\cdot\boldsymbol{r}_j}$ の積です。ここで散乱ベクトルを考えるのは、各散乱体の位相が入射波と散乱波の波数の差 $\Delta\boldsymbol{k}$ だけで決まるからです。格子点すべてで位相がそろえば波は強め合い、そろわなければ打ち消し合います。この「そろう条件」を書き下したものが Laue 条件です。

まず基底が 1 原子の場合を考え、結晶を $N_1\times N_2\times N_3$ 個の格子点 $\boldsymbol{R}=n_1\boldsymbol{a}_1+n_2\boldsymbol{a}_2+n_3\boldsymbol{a}_3$（$0\le n_i<N_i$）の平行六面体とします。

<Lemma id="lem-geometric" title="幾何級数の二乗">
実数 $x\notin2\pi\mathbb{Z}$ に対し、$\left|\sum_{n=0}^{N-1}e^{inx}\right|^2 = \dfrac{\sin^2(Nx/2)}{\sin^2(x/2)}$。$x\in2\pi\mathbb{Z}$ のときは左辺 $=N^2$ である。また $x\notin 2\pi\mathbb{Z}$ のとき左辺は $1/\sin^2(x/2)$ 以下である。
</Lemma>

<Proof of="lem-geometric">
$x\notin2\pi\mathbb{Z}$ なら等比級数の和で $\sum_{n=0}^{N-1}e^{inx}=\dfrac{e^{iNx}-1}{e^{ix}-1}=e^{i(N-1)x/2}\dfrac{\sin(Nx/2)}{\sin(x/2)}$。絶対値の二乗をとれば主張の式で、$\sin^2(Nx/2)\le1$ から上界も従います。$x\in2\pi\mathbb{Z}$ なら各項が $1$ なので和は $N$ です。
</Proof>

<Theorem id="thm-laue" title="Laue の条件">
上の $N_1\times N_2\times N_3$ 個の格子点からなる結晶について、散乱強度は

$$
I(\Delta\boldsymbol{k}) \propto \prod_{i=1}^{3}\frac{\sin^2\!\left(N_i\,\Delta\boldsymbol{k}\cdot\boldsymbol{a}_i/2\right)}{\sin^2\!\left(\Delta\boldsymbol{k}\cdot\boldsymbol{a}_i/2\right)}
$$

で与えられる。この強度の最大値 $(N_1N_2N_3)^2$ に達するのは、$\Delta\boldsymbol{k}\cdot\boldsymbol{a}_i\in2\pi\mathbb{Z}$（$i=1,2,3$）となるとき、すなわち

$$
\Delta\boldsymbol{k}\in\Lambda^{*}
$$

のときに限る。それ以外の $\Delta\boldsymbol{k}$ では、$N_i$ を大きくしても強度は各 $i$ について $\sin^{-2}$ で押さえられた値にとどまる。さらに弾性散乱 $|\boldsymbol{k}'|=|\boldsymbol{k}|$ の下では、$\Delta\boldsymbol{k}=\boldsymbol{G}$ は

$$
2\boldsymbol{k}\cdot\boldsymbol{G} + |\boldsymbol{G}|^2 = 0
$$

と同値である。
</Theorem>

<Proof of="thm-laue">
$\Delta\boldsymbol{k}\cdot\boldsymbol{R}=\sum_i n_i\,\Delta\boldsymbol{k}\cdot\boldsymbol{a}_i$ なので、振幅は 3 つの幾何級数の積に分解します。

$$
A \propto \sum_{n_1,n_2,n_3} e^{-i\sum_i n_i\Delta\boldsymbol{k}\cdot\boldsymbol{a}_i} = \prod_{i=1}^3\left(\sum_{n_i=0}^{N_i-1}e^{-in_i x_i}\right),\qquad x_i=\Delta\boldsymbol{k}\cdot\boldsymbol{a}_i .
$$

各因子の絶対値の二乗を <Ref to="lem-geometric" /> で書けば、強度の式が得られます。最大値は、各因子が $N_i^2$ をとるとき、つまり $x_i\in2\pi\mathbb{Z}$ のときで、それ以外の $x_i$ では因子は $1/\sin^2(x_i/2)<\infty$ 以下です。条件 $\Delta\boldsymbol{k}\cdot\boldsymbol{a}_i\in2\pi\mathbb{Z}$ $(i=1,2,3)$ は、<Ref to="prop-reciprocal-basis" /> の証明 (2) と同じ計算で $\Delta\boldsymbol{k}=h\boldsymbol{b}_1+k\boldsymbol{b}_2+l\boldsymbol{b}_3$（$h,k,l\in\mathbb{Z}$）と同値です。

最後の同値は、$\boldsymbol{k}'=\boldsymbol{k}+\boldsymbol{G}$ のとき $|\boldsymbol{k}'|^2=|\boldsymbol{k}|^2+2\boldsymbol{k}\cdot\boldsymbol{G}+|\boldsymbol{G}|^2$ なので、$|\boldsymbol{k}'|=|\boldsymbol{k}|$ が $2\boldsymbol{k}\cdot\boldsymbol{G}+|\boldsymbol{G}|^2=0$ と同じだからです。
</Proof>

結晶が大きくなる（$N_i\to\infty$）と、強度のピークの幅は $1/N_i$ の程度に細くなります。したがって、現実の結晶では「$\Delta\boldsymbol{k}$ が逆格子ベクトルに一致する方向にだけ鋭い反射が出る」と理解できます。これが X 線回折像が点の集まり（Laue 斑点）に見える理由です。

条件 $2\boldsymbol{k}\cdot\boldsymbol{G}+|\boldsymbol{G}|^2=0$ を $\boldsymbol{k}\cdot\hat{\boldsymbol{G}}=-|\boldsymbol{G}|/2$ と書き直すと、**入射波数 $\boldsymbol{k}$ が Bragg 面（$-\boldsymbol{G}$ の垂直二等分面）上にある**という意味になります。たとえば入射波が第 1 BZ の境界上にあるとき、ちょうど反射が起こります。波数をゾーン境界まで掃引していくと反射の「起きる瞬間」が見つかる、という視点は、第 3 章でバンドにギャップが開く場所を探すときにも再登場します。

### 4.2. Bragg 条件との同値

Laue 条件は逆格子で書いた条件ですが、歴史的には W. H. Bragg と W. L. Bragg が、結晶を「格子面の積み重ね」とみなして鏡面反射の干渉条件を考えました。2 つが同じものであることを示します。

次の補題は、逆格子ベクトルの長さ $|\boldsymbol{G}_0|$ が格子面の間隔 $d$ の逆数に比例することを示すためのものです。これがあれば、Laue 条件を面間隔と角度の言葉に直せます。

<Lemma id="lem-lattice-planes" title="格子面と逆格子ベクトル">
$\boldsymbol{G}_0\in\Lambda^*$ が**原始的**（$\boldsymbol{G}_0=h\boldsymbol{b}_1+k\boldsymbol{b}_2+l\boldsymbol{b}_3$ の $h,k,l$ の最大公約数が $1$、すなわち $\boldsymbol{G}_0\neq m\boldsymbol{G}'$（$m\ge2$ の整数、$\boldsymbol{G}'\in\Lambda^*$））とする。このとき平面 $P_m=\{\boldsymbol{r}\mid\boldsymbol{G}_0\cdot\boldsymbol{r}=2\pi m\}$（$m\in\mathbb{Z}$）の各々は格子点を含み、すべての格子点は、これらの平面のどれかの上にある。隣り合う平面の間隔は

$$
d = \frac{2\pi}{|\boldsymbol{G}_0|}
$$

である。
</Lemma>

<Proof of="lem-lattice-planes">
$\boldsymbol{R}\in\Lambda$ に対し $\boldsymbol{G}_0\cdot\boldsymbol{R}\in2\pi\mathbb{Z}$（$\Lambda^*$ の定義）なので、すべての格子点は何らかの $P_m$ 上にあります。$\boldsymbol{R}=n_1\boldsymbol{a}_1+n_2\boldsymbol{a}_2+n_3\boldsymbol{a}_3$ に対し $\boldsymbol{G}_0\cdot\boldsymbol{R}=2\pi(hn_1+kn_2+ln_3)$ です。$\gcd(h,k,l)=1$ なので Bézout の等式により $hn_1+kn_2+ln_3=m$ を満たす整数 $n_i$ が任意の整数 $m$ について存在し、各 $P_m$ は格子点を含みます。平面 $P_m$ と $P_{m+1}$ は同じ法線 $\boldsymbol{G}_0$ をもつ平行な平面で、原点から測った距離は $2\pi m/|\boldsymbol{G}_0|$ と $2\pi(m+1)/|\boldsymbol{G}_0|$ です。間隔は $2\pi/|\boldsymbol{G}_0|$。
</Proof>

この $P_m$ が「格子面」で、間隔 $d$ が面間隔です。ミラー指数 $(hkl)$ は、$\boldsymbol{G}_0 = h\boldsymbol{b}_1+k\boldsymbol{b}_2+l\boldsymbol{b}_3$ の係数のことです。

定理の証明の方針は、Laue 条件に $\boldsymbol{G}=n\boldsymbol{G}_0$ を入れ、$\boldsymbol{k}$ と格子面のなす角 $\theta$ を使って内積を書き直すことです。$\boldsymbol{k}$ が法線となす角は $\pi/2-\theta$（面に対して浅く入るほど法線からは遠い）で、$\cos(\pi/2-\theta)=\sin\theta$ となるため、$\sin\theta$ が現れます。

<Theorem id="thm-bragg" title="Bragg の条件">
$\boldsymbol{G}=n\boldsymbol{G}_0$（$\boldsymbol{G}_0$ は原始的、$n\ge1$ は整数）とする。X 線の波長を $\lambda=2\pi/|\boldsymbol{k}|$、入射方向と格子面 $P_m$（法線 $\boldsymbol{G}_0$）がなす角（**視射角**）を $\theta$ とする。このとき Laue 条件 $2\boldsymbol{k}\cdot\boldsymbol{G}+|\boldsymbol{G}|^2=0$ は

$$
2d\sin\theta = n\lambda
$$

と同値であり、散乱波は格子面について鏡面反射の方向に出る（$\boldsymbol{k}'$ と面のなす角も $\theta$）。
</Theorem>

<Proof of="thm-bragg">
Laue 条件に $\boldsymbol{G}=n\boldsymbol{G}_0$ を代入し、$n$ で割ると $2\boldsymbol{k}\cdot\boldsymbol{G}_0=-n|\boldsymbol{G}_0|^2$ です。右辺は負なので $\boldsymbol{k}\cdot\boldsymbol{G}_0<0$、つまり $\boldsymbol{k}$ は格子面の法線 $\boldsymbol{G}_0$ に対して「向かってくる」向きです（$n<0$ なら $\boldsymbol{G}_0\to-\boldsymbol{G}_0$ と読み替える）。格子面と $\boldsymbol{k}$ のなす角が $\theta$ なら、$\boldsymbol{k}$ と法線のなす角は $\pi/2-\theta$ なので $\boldsymbol{k}\cdot\boldsymbol{G}_0=-|\boldsymbol{k}||\boldsymbol{G}_0|\sin\theta$。したがって

$$
2|\boldsymbol{k}||\boldsymbol{G}_0|\sin\theta = n|\boldsymbol{G}_0|^2
\iff 2|\boldsymbol{k}|\sin\theta = n|\boldsymbol{G}_0| .
$$

$|\boldsymbol{k}|=2\pi/\lambda$、$|\boldsymbol{G}_0|=2\pi/d$（<Ref to="lem-lattice-planes" />）を代入すると $2\cdot\frac{2\pi}{\lambda}\sin\theta=n\frac{2\pi}{d}$、すなわち $2d\sin\theta=n\lambda$ です。

鏡面反射は次のように分かります。$\boldsymbol{k}'=\boldsymbol{k}+n\boldsymbol{G}_0$ は $\boldsymbol{k}$ に面の法線方向のベクトルを足したものなので、面に平行な成分は $\boldsymbol{k}'$ と $\boldsymbol{k}$ で等しく、法線成分は $|\boldsymbol{k}'|=|\boldsymbol{k}|$ から符号だけが反転します。これは鏡面反射です。
</Proof>

物理的な意味は、隣り合う格子面で反射した 2 本の波の**光路差**が $2d\sin\theta$ で、それが波長の整数倍のときに強め合うということです（下の図）。Laue 条件はこの幾何学的議論を、格子面の取り方に依存しない形で書いたものです。

<Figure caption="Bragg 反射。隣り合う格子面（間隔 d）で反射した 2 本の X 線の光路差は 2d sinθ。これが波長 λ の整数倍に等しいとき干渉して強め合う。">
<svg viewBox="0 0 640 280" width="100%" role="img" aria-label="Bragg 反射の幾何。水平な格子面が 3 枚あり、斜めに入射した 2 本の X 線が上の 2 つの面で反射され、光路差 2d sinθ が生じる">
  <g stroke="currentColor" stroke-width="1.4" fill="none" opacity="0.55">
    <path d="M 70 110 H 570" />
    <path d="M 70 170 H 570" />
    <path d="M 70 230 H 570" />
  </g>
  <g fill="currentColor">
    <circle cx="100" cy="110" r="4" /><circle cx="180" cy="110" r="4" /><circle cx="260" cy="110" r="4" /><circle cx="340" cy="110" r="4" /><circle cx="420" cy="110" r="4" /><circle cx="500" cy="110" r="4" />
    <circle cx="100" cy="170" r="4" /><circle cx="180" cy="170" r="4" /><circle cx="260" cy="170" r="4" /><circle cx="340" cy="170" r="4" /><circle cx="420" cy="170" r="4" /><circle cx="500" cy="170" r="4" />
    <circle cx="100" cy="230" r="4" /><circle cx="180" cy="230" r="4" /><circle cx="260" cy="230" r="4" /><circle cx="340" cy="230" r="4" /><circle cx="420" cy="230" r="4" /><circle cx="500" cy="230" r="4" />
  </g>
  <g stroke="var(--sl-color-accent)" stroke-width="2.4" fill="none">
    <path d="M 120 30 L 260 110 L 400 30" />
    <path d="M 102.5 80 L 260 170 L 417.5 80" />
  </g>
  <g stroke="var(--sl-color-accent)" stroke-width="2.4" fill="var(--sl-color-accent)">
    <path d="M 244.4 101.1 L 229.7 98.5 L 234.7 89.9 Z" />
    <path d="M 400 30 L 390.3 41.2 L 385.3 32.6 Z" />
  </g>
  <g stroke="currentColor" stroke-width="1.2" fill="none" stroke-dasharray="4 3">
    <path d="M 260 110 V 170" />
  </g>
  <g fill="currentColor" font-size="14">
    <text x="272" y="146">d</text>
    <text x="126" y="48" fill="var(--sl-color-accent)">入射 X 線</text>
    <text x="388" y="62" fill="var(--sl-color-accent)">反射 X 線</text>
    <text x="150" y="102">θ</text>
    <text x="440" y="270">格子面 P_m（間隔 d = 2π/|G₀|）</text>
  </g>
</svg>
</Figure>

### 4.3. 基底がある場合：構造因子

基底が複数原子（位置 $\boldsymbol{d}_j$、散乱能 $f_j$）なら、Laue 条件 $\Delta\boldsymbol{k}=\boldsymbol{G}$ で格子点の和がそろう点は変わらず、その点での振幅に基底による因子がかかります。

<Proposition id="prop-structure-factor" title="構造因子">
基底をもつ結晶で、散乱ベクトルが逆格子ベクトル $\boldsymbol{G}$ に等しいとき、振幅は格子点の個数 $N$ に

$$
S_{\boldsymbol{G}} = \sum_j f_j\,e^{-i\boldsymbol{G}\cdot\boldsymbol{d}_j}
$$

をかけたものになる。$S_{\boldsymbol{G}}=0$ なら、Laue 条件が満たされていても反射は消える（**消滅則**）。
</Proposition>

<Proof of="prop-structure-factor">
原子位置は $\boldsymbol{R}+\boldsymbol{d}_j$ なので、振幅は $\sum_{\boldsymbol{R}}\sum_jf_je^{-i\Delta\boldsymbol{k}\cdot(\boldsymbol{R}+\boldsymbol{d}_j)} = \left(\sum_{\boldsymbol{R}}e^{-i\Delta\boldsymbol{k}\cdot\boldsymbol{R}}\right)\left(\sum_jf_je^{-i\Delta\boldsymbol{k}\cdot\boldsymbol{d}_j}\right)$ と因数分解します。第 1 因子は <Ref to="thm-laue" /> により $\Delta\boldsymbol{k}=\boldsymbol{G}$ で $N$（各項が $e^{-i\boldsymbol{G}\cdot\boldsymbol{R}}=1$）となり、第 2 因子は $\Delta\boldsymbol{k}=\boldsymbol{G}$ で $S_{\boldsymbol{G}}$ です。
</Proof>

<Example id="ex-bcc-extinction" title="立方体の基本胞で見た bcc の消滅則">
bcc 結晶を、一辺 $a$ の**単純立方格子**に基底 $\boldsymbol{d}_1=\boldsymbol{0}$、$\boldsymbol{d}_2=\tfrac a2(1,1,1)$ の 2 原子（同種で $f_1=f_2=f$）を貼ったものとみなします。単純立方格子の逆格子は $\boldsymbol{G}=\frac{2\pi}{a}(h,k,l)$（$h,k,l\in\mathbb{Z}$）で、

$$
S_{\boldsymbol{G}} = f\left(1+e^{-i\pi(h+k+l)}\right) =
\begin{cases} 2f & (h+k+l\ \text{が偶数})\\ 0 & (h+k+l\ \text{が奇数})\end{cases}
$$

です。つまり $(100)$ や $(111)$ は消え、$(110)$ や $(200)$ が最初の反射として現れます。粉末 X 線回折でこの消滅則を調べれば、結晶が bcc か単純立方かを判定できます。また、fcc では $h,k,l$ がすべて偶数かすべて奇数のときだけ反射が出ます（演習）。
</Example>

## 5. 格子振動の古典論

### 5.1. 1 次元単原子鎖

原子は格子点にじっとしているのではなく、有限温度ではまわりで振動しています。ここでは最も簡単な場合、質量 $m$ の原子が間隔 $a$ で 1 列に並び、隣り合う原子が**ばね定数 $K$** のばねで結ばれた鎖を考えます。$n$ 番目の原子のつり合い位置からの変位を $u_n$ とします。ポテンシャルエネルギーは、隣り合う原子の相対変位のみに依存する調和近似

$$
U = \frac{K}{2}\sum_{n}\left(u_{n+1}-u_n\right)^2
$$

です。実在の原子間ポテンシャルは平衡点のまわりで $(\text{変位})^2$ の項から始まるので、微小振動ではこの近似が成り立ちます（2 次より高次の項は非調和項と呼ばれ、熱膨張や熱伝導に関わりますが、本記事では扱いません）。運動方程式は

$$
m\ddot{u}_n = -\frac{\partial U}{\partial u_n} = K\left(u_{n+1}+u_{n-1}-2u_n\right) .
$$

境界条件は、原子が $N$ 個の輪（周期境界条件）$u_{n+N}=u_n$ とします。これは Born–von Karman の周期境界条件と呼ばれる便法で、端の効果を消して並進対称性を保つためのものです。$N$ が大きければ、バルクの性質に影響しません。

<Theorem id="thm-chain-modes" title="1 次元単原子鎖の基準振動">
上の鎖の運動方程式の解空間は、$N$ 個の基準振動

$$
u_n(t) = A\,e^{i(kna-\omega_kt)},\qquad k=\frac{2\pi j}{Na}\ \ (j=0,1,\ldots,N-1\ \text{または}\ -\tfrac N2<j\le\tfrac N2),
$$

$$
\omega_k = 2\sqrt{\frac{K}{m}}\left|\sin\frac{ka}{2}\right|
$$

で張られる。波数 $k$ と $k+2\pi/a$ は同じ振動を表すので、$k$ は第 1 Brillouin ゾーン $-\pi/a<k\le\pi/a$ の中だけで数えれば十分である。
</Theorem>

<Proof of="thm-chain-modes">
運動方程式は線形で係数が $n$ によらないので、$u_n=Ae^{i(kna-\omega t)}$ を試します。左辺は $-m\omega^2u_n$、右辺は $K(e^{ika}+e^{-ika}-2)u_n=-2K(1-\cos ka)u_n=-4K\sin^2(ka/2)\,u_n$ です。よって

$$
m\omega^2 = 4K\sin^2\frac{ka}{2}\quad\Longrightarrow\quad \omega=\omega_k = 2\sqrt{\frac Km}\left|\sin\frac{ka}2\right| .
$$

周期境界条件 $u_{n+N}=u_n$ は $e^{ikNa}=1$、すなわち $k=2\pi j/(Na)$ ($j\in\mathbb{Z}$) を要求します。さらに $k\to k+2\pi/a$ で $e^{ikna}$ は $n\in\mathbb{Z}$ について不変（$e^{2\pi in}=1$）なので、$u_n$ の値は同じです。$j$ と $j+N$ が同じ振動を与えるので、独立な $k$ は $j$ の剰余類 $N$ 個、すなわち BZ 内の $N$ 個です。変位の自由度も $N$ 個で、異なる $k$ の空間パターン $e^{ikna}$ は互いに直交します（$k\neq k'$ で $\sum_ne^{i(k-k')na}=0$、幾何級数の和）から、$N$ 個の $k$ のパターンは $N$ 次元空間の基底をなし、任意の初期変位がこれらの重ね合わせで書けます。各 $k$ の時間依存は $e^{\mp i\omega_kt}$ の 2 解（初期変位と初期速度に対応）です。
</Proof>

分散関係 $\omega_k$ は $k\to0$ で $\omega_k\simeq\sqrt{K/m}\,a|k|$ と線形になります。これは**音波**で、音速は $v=a\sqrt{K/m}$ です。長波長の極限で振動は連続体の弾性波に一致します。ゾーン境界 $k=\pm\pi/a$ では $\omega_k$ は最大値 $2\sqrt{K/m}$ をとり、[群速度](/physics/mechanics/oscillations-and-waves#def-dispersion) $d\omega/dk$ が $0$ になります（定在波）。

### 5.2. 1 次元 2 原子鎖と光学モード

基底が 2 原子のとき、新しい種類の振動が現れます。質量 $m_1,m_2$ の原子が交互に並び、すべての隣接原子間のばね定数が $K$、単位胞の長さが $a$ の鎖で、$n$ 番目の単位胞の 2 原子の変位を $u_n,v_n$ とします。

ここでの方針は、単原子鎖と同じように波の形を仮定して運動方程式に代入し、振幅 $A,B$ についての連立 1 次方程式を作ることです。この方程式が $A=B=0$ 以外の解をもつ（実際に振動が起きる）ための条件から、$\omega$ が決まります。

<Proposition id="prop-diatomic" title="2 原子鎖の分散関係">
2 原子鎖の基準振動の振動数は、各 $k$ について次の 2 本の枝をもつ。

$$
\omega_{\pm}^2(k) = \frac{K}{m_1m_2}\left[(m_1+m_2)\pm\sqrt{(m_1+m_2)^2-4m_1m_2\sin^2\frac{ka}{2}}\right] .
$$

$\omega_-$ は $k\to0$ で $0$ に近づく**音響枝**、$\omega_+$ は $k=0$ でも $\omega_+(0)=\sqrt{2K(m_1+m_2)/(m_1m_2)}$ と有限の値をとる**光学枝**である。$m_1\neq m_2$ のとき、ゾーン境界 $k=\pi/a$ で 2 つの枝の間にギャップ $\sqrt{2K/\min(m_1,m_2)}-\sqrt{2K/\max(m_1,m_2)}$ が開く。
</Proposition>

<Proof of="prop-diatomic">
運動方程式は

$$
m_1\ddot u_n = K(v_n+v_{n-1}-2u_n),\qquad m_2\ddot v_n=K(u_{n+1}+u_n-2v_n).
$$

$u_n=Ae^{i(kna-\omega t)}$、$v_n=Be^{i(kna-\omega t)}$ を代入すると

$$
\begin{aligned}
(2K-m_1\omega^2)A - K(1+e^{-ika})B &= 0,\\
-K(1+e^{ika})A + (2K-m_2\omega^2)B &= 0 .
\end{aligned}
$$

$A,B$ が自明でない解をもつ条件は係数行列の行列式がゼロ、すなわち $(2K-m_1\omega^2)(2K-m_2\omega^2)=K^2|1+e^{ika}|^2=4K^2\cos^2(ka/2)$ です。展開して $\cos^2=1-\sin^2$ を使うと

$$
m_1m_2\,\omega^4 - 2K(m_1+m_2)\,\omega^2 + 4K^2\sin^2\frac{ka}2 = 0 .
$$

$\omega^2$ についての 2 次方程式で、解の公式から $\omega_\pm^2$ の式が得られます。$k=0$ では $\sin=0$ なので、解は $\omega^2=0$ と $\omega^2=2K(m_1+m_2)/(m_1m_2)$。$ka=\pi$ では根号の中が $(m_1+m_2)^2-4m_1m_2=(m_1-m_2)^2$ となるので、$\omega_\pm^2=\frac{K}{m_1m_2}\left[(m_1+m_2)\pm|m_1-m_2|\right]$ で、$\omega_+^2=2K/\min(m_1,m_2)$、$\omega_-^2=2K/\max(m_1,m_2)$ です。
</Proof>

<Figure caption="フォノンの分散関係。(a) 1 種類の原子：音響モードのみ。k→0 で傾きが音速になり、ゾーン境界で最大。(b) 質量比 1:2 の 2 種類の原子：音響枝（色つき）と光学枝（黒）に分かれ、ゾーン境界にギャップが開く。">
<svg viewBox="0 0 640 290" width="100%" role="img" aria-label="一次元鎖の分散関係。左：1 種類の原子（音響モードのみ）。右：2 種類の原子（音響モードと光学モード、間にギャップ）">
  <g stroke="currentColor" stroke-width="1.5" fill="none">
    <path d="M 60 230 H 310" />
    <path d="M 185.0 234 V 30" />
    <path d="M 380 230 H 630" />
    <path d="M 505.0 234 V 30" />
  </g>
  <g stroke="currentColor" stroke-width="1" stroke-dasharray="4 4" opacity="0.5" fill="none">
    <path d="M 60 234 V 40" />
    <path d="M 310 234 V 40" />
    <path d="M 380 234 V 40" />
    <path d="M 630 234 V 40" />
    <path d="M 505.0 143.6 H 630" />
    <path d="M 505.0 107.9 H 630" />
  </g>
  <path d="M 60.0 57.3 L 62.1 57.3 L 64.2 57.5 L 66.2 57.8 L 68.3 58.2 L 70.4 58.8 L 72.5 59.4 L 74.6 60.2 L 76.7 61.0 L 78.8 62.0 L 80.8 63.2 L 82.9 64.4 L 85.0 65.7 L 87.1 67.2 L 89.2 68.7 L 91.2 70.4 L 93.3 72.2 L 95.4 74.1 L 97.5 76.1 L 99.6 78.2 L 101.7 80.4 L 103.8 82.7 L 105.8 85.1 L 107.9 87.7 L 110.0 90.3 L 112.1 93.0 L 114.2 95.8 L 116.2 98.7 L 118.3 101.6 L 120.4 104.7 L 122.5 107.9 L 124.6 111.1 L 126.7 114.4 L 128.8 117.8 L 130.8 121.3 L 132.9 124.9 L 135.0 128.5 L 137.1 132.2 L 139.2 135.9 L 141.2 139.8 L 143.3 143.6 L 145.4 147.6 L 147.5 151.6 L 149.6 155.6 L 151.7 159.7 L 153.8 163.9 L 155.8 168.1 L 157.9 172.3 L 160.0 176.6 L 162.1 180.9 L 164.2 185.3 L 166.2 189.7 L 168.3 194.1 L 170.4 198.5 L 172.5 203.0 L 174.6 207.5 L 176.7 211.9 L 178.8 216.4 L 180.8 221.0 L 182.9 225.5 L 185.0 230.0 L 187.1 225.5 L 189.2 221.0 L 191.2 216.4 L 193.3 211.9 L 195.4 207.5 L 197.5 203.0 L 199.6 198.5 L 201.7 194.1 L 203.8 189.7 L 205.8 185.3 L 207.9 180.9 L 210.0 176.6 L 212.1 172.3 L 214.2 168.1 L 216.2 163.9 L 218.3 159.7 L 220.4 155.6 L 222.5 151.6 L 224.6 147.6 L 226.7 143.6 L 228.8 139.8 L 230.8 135.9 L 232.9 132.2 L 235.0 128.5 L 237.1 124.9 L 239.2 121.3 L 241.2 117.8 L 243.3 114.4 L 245.4 111.1 L 247.5 107.9 L 249.6 104.7 L 251.7 101.6 L 253.8 98.7 L 255.8 95.8 L 257.9 93.0 L 260.0 90.3 L 262.1 87.7 L 264.2 85.1 L 266.2 82.7 L 268.3 80.4 L 270.4 78.2 L 272.5 76.1 L 274.6 74.1 L 276.7 72.2 L 278.8 70.4 L 280.8 68.7 L 282.9 67.2 L 285.0 65.7 L 287.1 64.4 L 289.2 63.2 L 291.2 62.0 L 293.3 61.0 L 295.4 60.2 L 297.5 59.4 L 299.6 58.8 L 301.7 58.2 L 303.8 57.8 L 305.8 57.5 L 307.9 57.3 L 310.0 57.3" fill="none" stroke="var(--sl-color-accent)" stroke-width="2.6" />
  <path d="M 380.0 143.6 L 382.1 143.7 L 384.2 143.9 L 386.2 144.2 L 388.3 144.6 L 390.4 145.1 L 392.5 145.7 L 394.6 146.4 L 396.7 147.2 L 398.8 148.0 L 400.8 149.0 L 402.9 150.0 L 405.0 151.0 L 407.1 152.2 L 409.2 153.3 L 411.2 154.6 L 413.3 155.8 L 415.4 157.1 L 417.5 158.5 L 419.6 159.8 L 421.7 161.2 L 423.8 162.7 L 425.8 164.1 L 427.9 165.6 L 430.0 167.1 L 432.1 168.7 L 434.2 170.2 L 436.2 171.8 L 438.3 173.4 L 440.4 175.0 L 442.5 176.6 L 444.6 178.3 L 446.7 179.9 L 448.8 181.6 L 450.8 183.3 L 452.9 185.0 L 455.0 186.7 L 457.1 188.4 L 459.2 190.2 L 461.2 191.9 L 463.3 193.7 L 465.4 195.4 L 467.5 197.2 L 469.6 199.0 L 471.7 200.8 L 473.8 202.5 L 475.8 204.3 L 477.9 206.2 L 480.0 208.0 L 482.1 209.8 L 484.2 211.6 L 486.2 213.4 L 488.3 215.3 L 490.4 217.1 L 492.5 218.9 L 494.6 220.8 L 496.7 222.6 L 498.8 224.5 L 500.8 226.3 L 502.9 228.2 L 505.0 230.0 L 507.1 228.2 L 509.2 226.3 L 511.2 224.5 L 513.3 222.6 L 515.4 220.8 L 517.5 218.9 L 519.6 217.1 L 521.7 215.3 L 523.8 213.4 L 525.8 211.6 L 527.9 209.8 L 530.0 208.0 L 532.1 206.2 L 534.2 204.3 L 536.2 202.5 L 538.3 200.8 L 540.4 199.0 L 542.5 197.2 L 544.6 195.4 L 546.7 193.7 L 548.8 191.9 L 550.8 190.2 L 552.9 188.4 L 555.0 186.7 L 557.1 185.0 L 559.2 183.3 L 561.2 181.6 L 563.3 179.9 L 565.4 178.3 L 567.5 176.6 L 569.6 175.0 L 571.7 173.4 L 573.8 171.8 L 575.8 170.2 L 577.9 168.7 L 580.0 167.1 L 582.1 165.6 L 584.2 164.1 L 586.2 162.7 L 588.3 161.2 L 590.4 159.8 L 592.5 158.5 L 594.6 157.1 L 596.7 155.8 L 598.8 154.6 L 600.8 153.3 L 602.9 152.2 L 605.0 151.0 L 607.1 150.0 L 609.2 149.0 L 611.2 148.0 L 613.3 147.2 L 615.4 146.4 L 617.5 145.7 L 619.6 145.1 L 621.7 144.6 L 623.8 144.2 L 625.8 143.9 L 627.9 143.7 L 630.0 143.6" fill="none" stroke="var(--sl-color-accent)" stroke-width="2.6" />
  <path d="M 380.0 107.9 L 382.1 107.8 L 384.2 107.7 L 386.2 107.5 L 388.3 107.2 L 390.4 106.9 L 392.5 106.4 L 394.6 106.0 L 396.7 105.4 L 398.8 104.9 L 400.8 104.3 L 402.9 103.6 L 405.0 103.0 L 407.1 102.3 L 409.2 101.6 L 411.2 100.8 L 413.3 100.1 L 415.4 99.4 L 417.5 98.6 L 419.6 97.9 L 421.7 97.2 L 423.8 96.4 L 425.8 95.7 L 427.9 95.0 L 430.0 94.3 L 432.1 93.6 L 434.2 92.9 L 436.2 92.2 L 438.3 91.5 L 440.4 90.9 L 442.5 90.3 L 444.6 89.6 L 446.7 89.0 L 448.8 88.5 L 450.8 87.9 L 452.9 87.3 L 455.0 86.8 L 457.1 86.3 L 459.2 85.8 L 461.2 85.3 L 463.3 84.9 L 465.4 84.5 L 467.5 84.1 L 469.6 83.7 L 471.7 83.3 L 473.8 83.0 L 475.8 82.6 L 477.9 82.3 L 480.0 82.0 L 482.1 81.8 L 484.2 81.5 L 486.2 81.3 L 488.3 81.1 L 490.4 81.0 L 492.5 80.8 L 494.6 80.7 L 496.7 80.6 L 498.8 80.5 L 500.8 80.5 L 502.9 80.4 L 505.0 80.4 L 507.1 80.4 L 509.2 80.5 L 511.2 80.5 L 513.3 80.6 L 515.4 80.7 L 517.5 80.8 L 519.6 81.0 L 521.7 81.1 L 523.8 81.3 L 525.8 81.5 L 527.9 81.8 L 530.0 82.0 L 532.1 82.3 L 534.2 82.6 L 536.2 83.0 L 538.3 83.3 L 540.4 83.7 L 542.5 84.1 L 544.6 84.5 L 546.7 84.9 L 548.8 85.3 L 550.8 85.8 L 552.9 86.3 L 555.0 86.8 L 557.1 87.3 L 559.2 87.9 L 561.2 88.5 L 563.3 89.0 L 565.4 89.6 L 567.5 90.3 L 569.6 90.9 L 571.7 91.5 L 573.8 92.2 L 575.8 92.9 L 577.9 93.6 L 580.0 94.3 L 582.1 95.0 L 584.2 95.7 L 586.2 96.4 L 588.3 97.2 L 590.4 97.9 L 592.5 98.6 L 594.6 99.4 L 596.7 100.1 L 598.8 100.8 L 600.8 101.6 L 602.9 102.3 L 605.0 103.0 L 607.1 103.6 L 609.2 104.3 L 611.2 104.9 L 613.3 105.4 L 615.4 106.0 L 617.5 106.4 L 619.6 106.9 L 621.7 107.2 L 623.8 107.5 L 625.8 107.7 L 627.9 107.8 L 630.0 107.9" fill="none" stroke="currentColor" stroke-width="2.6" />
  <g fill="currentColor" font-size="13" text-anchor="middle">
    <text x="60" y="250">−π/a</text>
    <text x="185.0" y="250">0</text>
    <text x="310" y="250">π/a</text>
    <text x="380" y="250">−π/a</text>
    <text x="505.0" y="250">0</text>
    <text x="630" y="250">π/a</text>
    <text x="185.0" y="268">波数 k</text>
    <text x="505.0" y="268">波数 k</text>
    <text x="185.0" y="22" font-size="14">(a) 1 種類の原子</text>
    <text x="505.0" y="22" font-size="14">(b) 2 種類の原子</text>
  </g>
  <g fill="currentColor" font-size="13">
    <text x="40" y="135.0">ω</text>
    <text x="360" y="135.0">ω</text>
    <text x="513.0" y="74.4">光学枝</text>
    <text x="575.0" y="165.6" fill="var(--sl-color-accent)">音響枝</text>
    <text x="568" y="129.7">ギャップ</text>
  </g>
</svg>
</Figure>

光学モードでは、隣り合う 2 原子が逆向きに動きます。イオン結晶ではこれが電気双極子の振動になるため、赤外光と強く結合し、名前の由来になっています。一般に、基底に $r$ 個の原子がある 3 次元結晶には $3r$ 本の枝があり、そのうち 3 本が音響枝（$k\to0$ で $\omega\to0$）、残り $3r-3$ 本が光学枝です。この一般の主張（力定数行列の対角化）は、以下では使いません。

## 6. フォノン：調和振動子としての量子化

### 6.1. 基準振動の量子化

古典的な基準振動を量子化します。$N$ 個の原子の鎖で、[ハミルトニアン](/physics/mechanics/hamiltonian-mechanics#def-hamiltonian)は

$$
H=\sum_{n=1}^N\frac{p_n^2}{2m}+\frac K2\sum_{n=1}^N(u_{n+1}-u_n)^2,\qquad [u_n,p_{n'}]=i\hbar\delta_{nn'} .
$$

波数の許される値の集合を $\mathrm{BZ}_N=\{2\pi j/(Na)\}$（第 1 BZ の中の $N$ 個）として、Fourier 変換

$$
Q_k = \frac1{\sqrt N}\sum_n u_n e^{-ikna},\qquad P_k=\frac1{\sqrt N}\sum_n p_n e^{-ikna}
$$

を定義します。$u_n,p_n$ は実（エルミート）なので $Q_k^\dagger=Q_{-k}$、$P_k^\dagger=P_{-k}$ です。

この変換のねらいは、隣の原子と結びついた変位 $u_n$ を、波数ごとにばらばらに動く変数 $Q_k$ に取り替えることです。そうすると $H$ は $k$ ごとの調和振動子の和になり、1 次元調和振動子の結果がそのまま使えます。次の定理の証明は、(i) $H$ を $Q_k,P_k$ で書く、(ii) 交換関係を確かめる、(iii) 昇降演算子で書き直す、の順に進みます。

<Theorem id="thm-phonon-quantization" title="フォノンへの量子化">
上のハミルトニアンは

$$
H=\sum_{k\in\mathrm{BZ}_N}\left(\frac{P_kP_{-k}}{2m}+\frac12m\omega_k^2Q_kQ_{-k}\right)
=\sum_{k\in\mathrm{BZ}_N}\hbar\omega_k\left(a_k^\dagger a_k+\frac12\right)
$$

と書ける。ここで $a_k=\sqrt{\dfrac{m\omega_k}{2\hbar}}\left(Q_k+\dfrac{iP_k}{m\omega_k}\right)$（$\omega_k\neq0$ の $k$）は交換関係 $[a_k,a_{k'}^\dagger]=\delta_{kk'}$、$[a_k,a_{k'}]=0$ を満たす。したがって $H$ の固有値は、非負整数の組 $\{n_k\}$（**フォノンの占有数**）により

$$
E\{n_k\}=\sum_k\hbar\omega_k\left(n_k+\frac12\right)
$$

で与えられる。励起量子 $\hbar\omega_k$ を**フォノン**という。
</Theorem>

<Proof of="thm-phonon-quantization">
運動エネルギーは $\sum_np_n^2=\sum_kP_kP_{-k}$（Parseval：$\sum_n e^{-i(k+k')na}=N\delta_{k+k',0}$ より）です。位置エネルギーは $u_{n+1}-u_n$ の Fourier 変換が $(e^{ika}-1)Q_k$ なので、同様に $\sum_n(u_{n+1}-u_n)^2=\sum_k|e^{ika}-1|^2Q_kQ_{-k}$ で、$|e^{ika}-1|^2=4\sin^2(ka/2)$。よって $\frac K2\cdot4\sin^2\frac{ka}2=\frac12m\omega_k^2$（<Ref to="thm-chain-modes" />）となり第 1 の等号が出ます。

交換関係は $[Q_k,P_{k'}]=\frac1N\sum_{n}i\hbar e^{-i(k+k')na}=i\hbar\delta_{k+k',0}$（異なる原子の $u,p$ は可換）、$[Q_k,Q_{k'}]=[P_k,P_{k'}]=0$ です。$a_k$ の定義から、$a_k^\dagger=\sqrt{m\omega_k/2\hbar}\,(Q_{-k}-iP_{-k}/(m\omega_k))$ なので

$$
[a_k,a_{k'}^\dagger]=\frac{m\omega}{2\hbar}\left(-\frac{i}{m\omega}[Q_k,P_{-k'}]+\frac{i}{m\omega}[P_k,Q_{-k'}]\right)
=\frac1{2\hbar}\left(\hbar\delta_{kk'}+\hbar\delta_{kk'}\right)=\delta_{kk'}
$$

です（$[Q_k,P_{-k'}]=i\hbar\delta_{kk'}$、$[P_k,Q_{-k'}]=-i\hbar\delta_{kk'}$ を使いました）。$[a_k,a_{k'}]$ は、$\frac{i}{m\omega}\left([Q_k,P_{k'}]+[P_k,Q_{k'}]\right)$ に比例し、これは $k'=-k$（$\omega_k=\omega_{k'}$）の場合に $\frac{i}{m\omega}(i\hbar-i\hbar)=0$ となって消えます。次に $a_k^\dagger a_k$ を和 $\sum_k$ の中で計算すると、

$$
\sum_k\hbar\omega_k a_k^\dagger a_k=\sum_k\left[\frac{m\omega_k^2}2Q_{-k}Q_k+\frac{P_{-k}P_k}{2m}+\frac{i\omega_k}{2}\left(Q_{-k}P_k-P_{-k}Q_k\right)\right]
$$

です。最後の括弧は、和の中で第 2 項の $k$ を $-k$ に置き換える（$\omega_k=\omega_{-k}$）と $\frac{i\omega_k}2\left(Q_{-k}P_k-P_kQ_{-k}\right)=\frac{i\omega_k}2[Q_{-k},P_k]=\frac{i\omega_k}{2}\,i\hbar=-\frac{\hbar\omega_k}{2}$ になります。よって $\sum_k\hbar\omega_k(a_k^\dagger a_k+\tfrac12)$ は第 1 の表式に一致します。

各 $k$ の $(a_k,a_k^\dagger)$ は 1 次元調和振動子の昇降演算子と同じ代数関係を満たし、異なる $k$ のものは互いに可換です。[1 次元系](/physics/quantum-mechanics/one-dimensional-systems)の調和振動子のスペクトル（<Ref to="physics/quantum-mechanics/one-dimensional-systems#thm-oscillator-spectrum" />）と同じ議論により、各モードの固有値は $\hbar\omega_k(n_k+\tfrac12)$（$n_k=0,1,2,\ldots$）で、全体の固有値はその和です。
</Proof>

<Remark id="rem-zero-mode">
$k=0$ のモードは $\omega_0=0$ で、鎖全体の並進（重心運動）に対応します。ここでは重心を静止させ、$k\neq0$ のモードだけを数えます。熱力学的極限では 1 つのモードの違いは無視できます。
</Remark>

フォノンの描像では、結晶の励起状態は「波数 $k$ のフォノンが $n_k$ 個ある」と指定されます。フォノンは**ボース粒子**で、占有数 $n_k$ に上限がありません。粒子数が保存せず、[化学ポテンシャル](/physics/thermodynamics/microcanonical-ensemble#def-stat-parameters)がゼロに相当する点で、光子に似ています。3 次元結晶では、$k$ が BZ 内の $N$ 個、枝が $3r$ 本なので、フォノンのモードは全部で $3rN$ 個、つまり原子の自由度の数 $3\times(\text{原子数})$ に一致します。

### 6.2. 波数の数え方と状態密度

熱力学的極限での和 $\sum_{k}$ は、体積 $V=Na^3$ の 3 次元結晶では $\sum_{\boldsymbol{k}\in\mathrm{BZ}}\to V\int_{\mathrm{BZ}}\frac{d^3k}{(2\pi)^3}$ と置き換えられます。周期境界条件で許される $\boldsymbol{k}$ は、$k$ 空間で体積 $(2\pi)^3/V$ あたり 1 点の密度で並ぶからです。この「$V/(2\pi)^3$ あたり 1 状態」という数え方は、自由電子気体でも Bloch 電子でもそのまま使うので、頭に入れておいてください。

## 7. 格子比熱

### 7.1. 一般論：フォノン気体の内部エネルギー

フォノンのモードは互いに独立な調和振動子なので、[カノニカル集団](/physics/thermodynamics/canonical-ensemble)の分配関数は各モードの積に分解します（<Ref to="physics/thermodynamics/canonical-ensemble#prop-factorization" />）。1 つの振動数 $\omega$ の振動子の分配関数は $Z_1=\sum_{n\ge0}e^{-\beta\hbar\omega(n+1/2)}=\dfrac{e^{-\beta\hbar\omega/2}}{1-e^{-\beta\hbar\omega}}$ で、平均エネルギーは

$$
\langle E_1\rangle=-\frac{\partial\ln Z_1}{\partial\beta}=\hbar\omega\left(\frac12+\frac1{e^{\beta\hbar\omega}-1}\right).
$$

後半は Bose–Einstein 分布 $\langle n\rangle=(e^{\beta\hbar\omega}-1)^{-1}$ で、[量子統計](/physics/thermodynamics/quantum-statistics)の $\mu=0$ のボース粒子と同じ式です。零点エネルギー $\sum\hbar\omega_k/2$ は温度に依存しないので、比熱には効きません。全体の内部エネルギー（零点を除く）と比熱は

$$
U(T)=\sum_{\text{モード}}\frac{\hbar\omega}{e^{\hbar\omega/k_BT}-1},\qquad C=\frac{\partial U}{\partial T}
=k_B\sum_{\text{モード}}\left(\frac{\hbar\omega}{k_BT}\right)^2\frac{e^{\hbar\omega/k_BT}}{\left(e^{\hbar\omega/k_BT}-1\right)^2} .
$$

後者は $x=\hbar\omega/k_BT$ として $\dfrac{d}{dT}\dfrac{\hbar\omega}{e^{x}-1}=k_B\,x^2\dfrac{e^x}{(e^x-1)^2}$ から従います。

### 7.2. 古典極限：Dulong–Petit の法則

<Proposition id="prop-dulong-petit" title="Dulong–Petit の法則">
$3N$ 個のモードをもつ結晶（$N$ は原子数）で、すべてのモードの振動数が上に有界 $\omega\le\omega_{\max}$ であるとき、$k_BT\gg\hbar\omega_{\max}$ で

$$
C\to3Nk_B,\qquad C\simeq3Nk_B\left[1-\frac{1}{12}\left\langle\left(\frac{\hbar\omega}{k_BT}\right)^2\right\rangle+\cdots\right]
$$

となる。ここで $\langle\cdot\rangle$ はモードについての平均。
</Proposition>

<Proof of="prop-dulong-petit">
$x\to0$ で $x^2e^x/(e^x-1)^2=1-x^2/12+O(x^4)$ です（$e^x/(e^x-1)^2=1/(4\sinh^2(x/2))$ で、$\sinh^2(x/2)=\frac{x^2}4\left(1+\frac{x^2}{12}+\cdots\right)$ だから $x^2/(4\sinh^2(x/2))=1-x^2/12+\cdots$）。モードごとの寄与 $k_B(1-x^2/12+\cdots)$ を $3N$ 個足せば主張を得ます。
</Proof>

これは古典統計の等分配則（$3N$ 個の 2 次の自由度 ×2 で $3Nk_B$）の結果と一致します。1819 年に Dulong と Petit が見つけた「固体のモル比熱はおよそ $3R\approx25\ \mathrm{J\,mol^{-1}K^{-1}}$」という経験則です。しかし室温でも、ダイヤモンドのモル比熱は約 $6\ \mathrm{J\,mol^{-1}K^{-1}}$ で、$3R$ を大きく下回ります。低温ではどの固体の比熱も $0$ に向かいます。古典力学ではこれを説明できず、Einstein（1907）が量子論の最初の固体への応用として、これを解きました。

### 7.3. Einstein 模型

<Definition id="def-einstein" title="Einstein 模型">
$N$ 個の原子の $3N$ 個の振動モードがすべて同じ振動数 $\omega_E$ をもつ、という近似を **Einstein 模型**といい、$\theta_E=\hbar\omega_E/k_B$ を **Einstein 温度**という。
</Definition>

<Theorem id="thm-einstein-heat" title="Einstein 模型の比熱">
Einstein 模型の比熱は

$$
C_E(T)=3Nk_B\left(\frac{\theta_E}{T}\right)^2\frac{e^{\theta_E/T}}{\left(e^{\theta_E/T}-1\right)^2}
$$

である。$T\gg\theta_E$ で $3Nk_B$ に、$T\ll\theta_E$ で $3Nk_B(\theta_E/T)^2e^{-\theta_E/T}$ に近づく。
</Theorem>

<Proof of="thm-einstein-heat">
§7.1 の比熱の式で $3N$ 個のモードがすべて $\omega=\omega_E$、$x=\theta_E/T$ なので、$C_E=3Nk_B\,x^2e^x/(e^x-1)^2$。$T\gg\theta_E$（$x\to0$）では <Ref to="prop-dulong-petit" /> の通り $3Nk_B$。$T\ll\theta_E$（$x\to\infty$）では $e^x-1\simeq e^x$ なので $x^2e^x/e^{2x}=x^2e^{-x}$。
</Proof>

Einstein 模型は Dulong–Petit からのずれ（比熱が低温で減る）を定性的にも定量的にもよく再現し、量子論の正しさを示す重要な例になりました。ただし低温の振る舞いは実験と合いません。実測の比熱は、絶縁体では $T^3$ に従い、$e^{-\theta_E/T}$ ほど急には減らないのです。原因は、実際のフォノンの振動数が 1 つではなく、$\omega\to0$ まで連続的に分布している（§5.1 の音響モード）からです。

### 7.4. Debye 模型と $T^3$ 則

Debye（1912）は、低振動数の音響モードを正しく取り入れる模型を作りました。

以下の計算の流れは、(i) モードについての和を $k$ 空間の積分に置き換える（§6.2 の数え方）、(ii) 積分の上限 $k_D$ を「モードの総数が $3N$ に一致する」条件で決める、(iii) 変数を $x=\hbar vk/k_BT$ に取り替えて温度依存性を取り出す、の 3 段です。上限を決める (ii) は、無限に多い波数をそのまま足すと自由度の数 $3N$ を超えてしまうための処置です。

<Definition id="def-debye" title="Debye 模型">
体積 $V$、原子数 $N$ の等方的な固体で、3 本の音響枝すべてが同じ分散関係 $\omega=v|\boldsymbol{k}|$（$v$ は音速）に従い、$|\boldsymbol{k}|\le k_D$ のモードだけが存在する、という近似を **Debye 模型**という。カットオフ $k_D$ は、モードの総数が自由度の数 $3N$ に一致する条件

$$
3\cdot\frac{V}{(2\pi)^3}\cdot\frac{4\pi}{3}k_D^3=3N\quad\Longleftrightarrow\quad k_D=\left(6\pi^2\frac NV\right)^{1/3}
$$

で決める。$\omega_D=vk_D$ を **Debye 振動数**、$\theta_D=\hbar\omega_D/k_B$ を **Debye 温度**という。
</Definition>

<Theorem id="thm-debye-law" title="Debye の比熱">
Debye 模型の内部エネルギーと比熱は

$$
U=9Nk_BT\left(\frac T{\theta_D}\right)^3\int_0^{\theta_D/T}\frac{x^3}{e^x-1}\,dx,
\qquad
C_D=9Nk_B\left(\frac T{\theta_D}\right)^3\int_0^{\theta_D/T}\frac{x^4e^x}{(e^x-1)^2}\,dx
$$

である。極限は

$$
C_D\to3Nk_B\ \ (T\gg\theta_D),\qquad
C_D\simeq\frac{12\pi^4}5Nk_B\left(\frac T{\theta_D}\right)^3\ \ (T\ll\theta_D)
$$

である。
</Theorem>

<Proof of="thm-debye-law">
§6.2 のとおり $\sum_{\boldsymbol{k}}\to V\int d^3k/(2\pi)^3$ とし、3 本の枝の寄与は同じなので、§7.1 の $U$ は

$$
U=3\cdot\frac V{(2\pi)^3}\int_0^{k_D}\frac{\hbar vk}{e^{\hbar vk/k_BT}-1}\,4\pi k^2dk .
$$

$x=\hbar vk/k_BT$ と変数変換すると、$k=k_BTx/(\hbar v)$ で $k^3dk\propto x^3dx$、したがって

$$
U=\frac{3V}{2\pi^2}\frac{(k_BT)^4}{(\hbar v)^3}\int_0^{\theta_D/T}\frac{x^3}{e^x-1}dx .
$$

$k_D^3=6\pi^2N/V$ から $V/(2\pi^2)=3N/k_D^3$ なので、

$$
\frac{3V}{2\pi^2}\frac{(k_BT)^4}{(\hbar v)^3}=\frac{9N(k_BT)^4}{(\hbar vk_D)^3}=9Nk_BT\left(\frac{T}{\theta_D}\right)^3
$$

となり、第 1 式を得ます。$T$ で微分すれば、積分の上端 $\theta_D/T$ の依存を部分積分で処理して（あるいは §7.1 の比熱の式から直接）第 2 式が出ます。

高温 $T\gg\theta_D$：積分範囲で $x\le\theta_D/T\ll1$ なので、$x^4e^x/(e^x-1)^2=x^2(1+O(x^2))$。$\int_0^{\theta_D/T}x^2dx=\frac13(\theta_D/T)^3$ を代入して $C_D\to3Nk_B$ です。

低温 $T\ll\theta_D$：上端を $\infty$ に置き換えます（誤差は $x\gtrsim\theta_D/T$ の指数的に小さい尾部だけ）。$\int_0^\infty x^3/(e^x-1)\,dx=\pi^4/15$（[量子論の誕生](/physics/quantum-mechanics/birth-of-quantum-mechanics)の黒体放射で Stefan–Boltzmann の法則を導くときに示した $\Gamma(4)\zeta(4)=6\cdot\pi^4/90$ と同じ積分）なので、

$$
U\simeq9Nk_BT\left(\frac T{\theta_D}\right)^3\frac{\pi^4}{15}=\frac{3\pi^4}{5}Nk_B\frac{T^4}{\theta_D^3},\qquad C_D=\frac{dU}{dT}=\frac{12\pi^4}5Nk_B\left(\frac T{\theta_D}\right)^3 .
$$
</Proof>

低温の $T^3$ 則は、光子気体の $U\propto T^4$（Stefan–Boltzmann）と全く同じ構造です。違いは、光子の分散が $\omega=ck$ なのに対し、フォノンの分散が $\omega=vk$ である（音速に置き換わる）点だけです。低温で励起されるフォノンは $\hbar\omega\sim k_BT$ の長波長のものに限られ、その個数が $k$ 空間の体積 $\propto T^3$ に比例するため、1 個あたり $\sim k_BT$ のエネルギーを担って $U\propto T^4$ になります。この低エネルギーの極限では、分散が音波として線形なことだけが効き、結晶の細かい構造には依存しません。

<Figure caption="固体の比熱（縦軸は 3Nk_B で規格化、横軸は T/θ）。高温では両模型とも Dulong–Petit の値に近づく。低温では Debye 模型が T³ で緩やかに減るのに対し、Einstein 模型は指数関数的に急速に減る。">
<svg viewBox="0 0 640 300" width="100%" role="img" aria-label="固体の比熱。アインシュタイン模型とデバイ模型の温度依存性。高温でデュロン・プティの値に近づき、低温でデバイ模型は T の 3 乗則、アインシュタイン模型は指数関数的に小さくなる">
  <g stroke="currentColor" stroke-width="1.5" fill="none">
    <path d="M 70 250 H 570" />
    <path d="M 70 254 V 30" />
  </g>
  <path d="M 70 59.5 H 570" stroke="currentColor" stroke-width="1" stroke-dasharray="5 4" opacity="0.55" fill="none" />
  <path d="M 76.4 250.0 L 79.6 250.0 L 82.7 250.0 L 85.9 250.0 L 89.0 250.0 L 92.2 250.0 L 95.3 249.9 L 98.5 249.7 L 101.7 249.2 L 104.8 248.4 L 108.0 247.0 L 111.1 245.2 L 114.3 242.8 L 117.4 239.8 L 120.6 236.3 L 123.8 232.4 L 126.9 228.1 L 130.1 223.5 L 133.2 218.7 L 136.4 213.7 L 139.5 208.7 L 142.7 203.6 L 145.9 198.6 L 149.0 193.6 L 152.2 188.7 L 155.3 183.9 L 158.5 179.3 L 161.6 174.8 L 164.8 170.4 L 168.0 166.2 L 171.1 162.2 L 174.3 158.3 L 177.4 154.6 L 180.6 151.0 L 183.7 147.6 L 186.9 144.4 L 190.1 141.2 L 193.2 138.3 L 196.4 135.4 L 199.5 132.7 L 202.7 130.1 L 205.9 127.7 L 209.0 125.3 L 212.2 123.0 L 215.3 120.9 L 218.5 118.8 L 221.6 116.9 L 224.8 115.0 L 228.0 113.2 L 231.1 111.5 L 234.3 109.8 L 237.4 108.3 L 240.6 106.8 L 243.7 105.3 L 246.9 104.0 L 250.1 102.6 L 253.2 101.4 L 256.4 100.2 L 259.5 99.0 L 262.7 97.9 L 265.8 96.8 L 269.0 95.8 L 272.2 94.8 L 275.3 93.8 L 278.5 92.9 L 281.6 92.0 L 284.8 91.2 L 287.9 90.3 L 291.1 89.6 L 294.3 88.8 L 297.4 88.1 L 300.6 87.4 L 303.7 86.7 L 306.9 86.0 L 310.0 85.4 L 313.2 84.8 L 316.4 84.2 L 319.5 83.6 L 322.7 83.1 L 325.8 82.5 L 329.0 82.0 L 332.1 81.5 L 335.3 81.0 L 338.5 80.6 L 341.6 80.1 L 344.8 79.7 L 347.9 79.2 L 351.1 78.8 L 354.2 78.4 L 357.4 78.0 L 360.6 77.7 L 363.7 77.3 L 366.9 76.9 L 370.0 76.6 L 373.2 76.3 L 376.3 75.9 L 379.5 75.6 L 382.7 75.3 L 385.8 75.0 L 389.0 74.7 L 392.1 74.4 L 395.3 74.2 L 398.4 73.9 L 401.6 73.6 L 404.8 73.4 L 407.9 73.1 L 411.1 72.9 L 414.2 72.7 L 417.4 72.4 L 420.5 72.2 L 423.7 72.0 L 426.9 71.8 L 430.0 71.6 L 433.2 71.4 L 436.3 71.2 L 439.5 71.0 L 442.7 70.8 L 445.8 70.6 L 449.0 70.4 L 452.1 70.3 L 455.3 70.1 L 458.4 69.9 L 461.6 69.8 L 464.8 69.6 L 467.9 69.5 L 471.1 69.3 L 474.2 69.2 L 477.4 69.0 L 480.5 68.9 L 483.7 68.7 L 486.9 68.6 L 490.0 68.5 L 493.2 68.3 L 496.3 68.2 L 499.5 68.1 L 502.6 68.0 L 505.8 67.9 L 509.0 67.7 L 512.1 67.6 L 515.3 67.5 L 518.4 67.4 L 521.6 67.3 L 524.7 67.2 L 527.9 67.1 L 531.1 67.0 L 534.2 66.9 L 537.4 66.8 L 540.5 66.7 L 543.7 66.6 L 546.8 66.5 L 550.0 66.4" fill="none" stroke="currentColor" stroke-width="2.4" />
  <path d="M 76.4 249.9 L 79.6 249.6 L 82.7 249.1 L 85.9 248.2 L 89.0 246.9 L 92.2 245.1 L 95.3 242.7 L 98.5 239.6 L 101.7 236.0 L 104.8 231.7 L 108.0 227.0 L 111.1 221.8 L 114.3 216.2 L 117.4 210.5 L 120.6 204.6 L 123.8 198.6 L 126.9 192.7 L 130.1 186.8 L 133.2 181.1 L 136.4 175.6 L 139.5 170.3 L 142.7 165.2 L 145.9 160.3 L 149.0 155.6 L 152.2 151.1 L 155.3 146.9 L 158.5 142.9 L 161.6 139.1 L 164.8 135.6 L 168.0 132.2 L 171.1 129.0 L 174.3 125.9 L 177.4 123.1 L 180.6 120.4 L 183.7 117.8 L 186.9 115.4 L 190.1 113.1 L 193.2 111.0 L 196.4 108.9 L 199.5 107.0 L 202.7 105.2 L 205.9 103.4 L 209.0 101.8 L 212.2 100.2 L 215.3 98.8 L 218.5 97.3 L 221.6 96.0 L 224.8 94.7 L 228.0 93.5 L 231.1 92.4 L 234.3 91.3 L 237.4 90.2 L 240.6 89.2 L 243.7 88.3 L 246.9 87.4 L 250.1 86.5 L 253.2 85.7 L 256.4 84.9 L 259.5 84.1 L 262.7 83.4 L 265.8 82.7 L 269.0 82.0 L 272.2 81.4 L 275.3 80.8 L 278.5 80.2 L 281.6 79.6 L 284.8 79.1 L 287.9 78.6 L 291.1 78.1 L 294.3 77.6 L 297.4 77.1 L 300.6 76.7 L 303.7 76.2 L 306.9 75.8 L 310.0 75.4 L 313.2 75.0 L 316.4 74.7 L 319.5 74.3 L 322.7 74.0 L 325.8 73.6 L 329.0 73.3 L 332.1 73.0 L 335.3 72.7 L 338.5 72.4 L 341.6 72.1 L 344.8 71.8 L 347.9 71.6 L 351.1 71.3 L 354.2 71.1 L 357.4 70.8 L 360.6 70.6 L 363.7 70.4 L 366.9 70.1 L 370.0 69.9 L 373.2 69.7 L 376.3 69.5 L 379.5 69.3 L 382.7 69.1 L 385.8 69.0 L 389.0 68.8 L 392.1 68.6 L 395.3 68.4 L 398.4 68.3 L 401.6 68.1 L 404.8 67.9 L 407.9 67.8 L 411.1 67.7 L 414.2 67.5 L 417.4 67.4 L 420.5 67.2 L 423.7 67.1 L 426.9 67.0 L 430.0 66.8 L 433.2 66.7 L 436.3 66.6 L 439.5 66.5 L 442.7 66.4 L 445.8 66.3 L 449.0 66.1 L 452.1 66.0 L 455.3 65.9 L 458.4 65.8 L 461.6 65.7 L 464.8 65.6 L 467.9 65.5 L 471.1 65.5 L 474.2 65.4 L 477.4 65.3 L 480.5 65.2 L 483.7 65.1 L 486.9 65.0 L 490.0 64.9 L 493.2 64.9 L 496.3 64.8 L 499.5 64.7 L 502.6 64.6 L 505.8 64.6 L 509.0 64.5 L 512.1 64.4 L 515.3 64.4 L 518.4 64.3 L 521.6 64.2 L 524.7 64.2 L 527.9 64.1 L 531.1 64.0 L 534.2 64.0 L 537.4 63.9 L 540.5 63.9 L 543.7 63.8 L 546.8 63.7 L 550.0 63.7" fill="none" stroke="var(--sl-color-accent)" stroke-width="2.6" />
  <g fill="currentColor" font-size="13" text-anchor="middle">
    <text x="70" y="270">0</text>
    <text x="230.0" y="270">0.5</text>
    <text x="390.0" y="270">1.0</text>
    <text x="550.0" y="270">1.5</text>
    <text x="320" y="290">T / θ（θ は θ_E または θ_D）</text>
  </g>
  <g fill="currentColor" font-size="13">
    <text x="8" y="63.5">3Nk_B</text>
    <text x="30" y="254">0</text>
    <text x="400" y="51.5">デュロン・プティ則</text>
    <text x="76" y="44">C</text>
    <text x="400" y="180" fill="var(--sl-color-accent)">デバイ模型（低温で T³）</text>
    <text x="400" y="204">アインシュタイン模型（低温で指数的）</text>
  </g>
  <path d="M 370 175 h 24" stroke="var(--sl-color-accent)" stroke-width="2.6" fill="none" />
  <path d="M 370 199 h 24" stroke="currentColor" stroke-width="2.4" fill="none" />
</svg>
</Figure>

<Example id="ex-copper-debye" title="銅の低温比熱">
銅の Debye 温度は $\theta_D\approx343\ \mathrm{K}$ です。$T=10\ \mathrm{K}$ では $T/\theta_D=0.0292$ で、<Ref to="thm-debye-law" /> より

$$
\frac{C}{3Nk_B}=\frac{4\pi^4}5\left(\frac{10}{343}\right)^3=77.9\times2.48\times10^{-5}=1.93\times10^{-3} .
$$

1 モルなら $3N_Ak_B=3R=24.9\ \mathrm{J\,mol^{-1}K^{-1}}$ なので、格子比熱は約 $48\ \mathrm{mJ\,mol^{-1}K^{-1}}$ です。実際の銅の低温比熱は、これに電子の寄与 $\gamma T\ (\gamma\approx0.69\ \mathrm{mJ\,mol^{-1}K^{-2}})$ が加わって $C=\gamma T+\beta T^3$ の形になり、$10\ \mathrm{K}$ ではフォノンが約 $48$、電子が約 $7$ ($\mathrm{mJ\,mol^{-1}K^{-1}}$) です。$T\to0$ では $T$ の 1 次が優勢になるので、$C/T$ を $T^2$ に対してプロットすれば、直線の切片から電子比熱係数 $\gamma$ が、傾きから $\theta_D$ が読み取れます。電子比熱は[次の章](/physics/condensed-matter/free-electrons)で計算します。
</Example>

## 8. 演習

<Exercise id="exr-fcc-extinction" difficulty="標準">
fcc 結晶を、一辺 $a$ の単純立方格子に 4 原子の基底 $\boldsymbol{d}_1=(0,0,0)$、$\boldsymbol{d}_2=\tfrac a2(0,1,1)$、$\boldsymbol{d}_3=\tfrac a2(1,0,1)$、$\boldsymbol{d}_4=\tfrac a2(1,1,0)$ を貼ったものとみなして、構造因子 $S_{\boldsymbol{G}}$（$f_j=f$）を求め、反射が現れる $(hkl)$ の条件を述べよ。
<Solution>
$\boldsymbol{G}=\frac{2\pi}a(h,k,l)$ とすると、$\boldsymbol{G}\cdot\boldsymbol{d}_2=\pi(k+l)$ などなので

$$
S_{\boldsymbol{G}}=f\left[1+e^{-i\pi(k+l)}+e^{-i\pi(h+l)}+e^{-i\pi(h+k)}\right]=f\left[1+(-1)^{k+l}+(-1)^{h+l}+(-1)^{h+k}\right] .
$$

$h,k,l$ がすべて偶数ならすべての項が $1$ で $S=4f$。すべて奇数なら $k+l,h+l,h+k$ がすべて偶数で同様に $4f$。偶奇が混在するときは、たとえば $h$ のみ偶数なら $(-1)^{k+l}=+1$、残り 2 項が $-1$ で $S=1+1-1-1=0$、$h$ のみ奇数でも同様に $0$ です。したがって **$h,k,l$ がすべて偶数かすべて奇数**のときだけ反射が現れます。
</Solution>
</Exercise>

<Exercise id="exr-bragg-angle" difficulty="易">
立方晶で格子定数 $a=0.543\ \mathrm{nm}$ のシリコン（面心立方に基底 2 原子のダイヤモンド構造）に、波長 $\lambda=0.154\ \mathrm{nm}$ の Cu K$\alpha$ X 線を当てる。単純立方の格子面 $(hkl)$ の間隔が $d=a/\sqrt{h^2+k^2+l^2}$ であることを示し、$(111)$ 面の 1 次の Bragg 反射の視射角 $\theta$ を求めよ。
<Solution>
単純立方で $\boldsymbol{G}=\frac{2\pi}a(h,k,l)$ なので $|\boldsymbol{G}|=\frac{2\pi}a\sqrt{h^2+k^2+l^2}$。互いに素な $(h,k,l)$ では $\boldsymbol{G}$ は原始的で <Ref to="lem-lattice-planes" /> より $d=2\pi/|\boldsymbol{G}|=a/\sqrt{h^2+k^2+l^2}$。$(111)$ では $d=0.543/\sqrt3=0.3135\ \mathrm{nm}$。$2d\sin\theta=\lambda$ より $\sin\theta=0.154/(2\times0.3135)=0.2456$、$\theta\approx14.2^\circ$ です（検出器で測る散乱角は $2\theta\approx28.4^\circ$。実測のシリコン (111) ピークも約 $28.4^\circ$ に現れる）。
</Solution>
</Exercise>

<Exercise id="exr-next-nearest" difficulty="標準">
1 次元単原子鎖に、最近接のばね定数 $K_1$ に加えて次近接（間隔 $2a$）のばね定数 $K_2$ を入れる。分散関係が $\omega_k^2=\frac{2}{m}\left[K_1(1-\cos ka)+K_2(1-\cos2ka)\right]$ になることを示し、$k\to0$ の音速 $v$ を求めよ。
<Solution>
運動方程式は $m\ddot u_n=K_1(u_{n+1}+u_{n-1}-2u_n)+K_2(u_{n+2}+u_{n-2}-2u_n)$。$u_n=Ae^{i(kna-\omega t)}$ を代入して $-m\omega^2=K_1(2\cos ka-2)+K_2(2\cos2ka-2)$、よって主張の式を得ます。$k\to0$ で $1-\cos ka\simeq(ka)^2/2$、$1-\cos2ka\simeq2(ka)^2$ なので $\omega_k^2\simeq\frac2m\left[\tfrac12K_1+2K_2\right](ka)^2=\frac{K_1+4K_2}m(ka)^2$。音速は $v=a\sqrt{(K_1+4K_2)/m}$ です。
</Solution>
</Exercise>

<Exercise id="exr-debye-estimate" difficulty="標準">
Debye 温度 $\theta_D=105\ \mathrm{K}$ の鉛について、$T=2\ \mathrm{K}$ での格子モル比熱を <Ref to="thm-debye-law" /> の低温式で求めよ。また、$T=\theta_D$ にこの低温式をそのまま使うことが不適切である理由を、値の大きさから説明せよ。
<Solution>
$T/\theta_D=2/105=0.01905$、$(T/\theta_D)^3=6.91\times10^{-6}$。$C=\frac{4\pi^4}{5}\cdot3R\cdot(T/\theta_D)^3\ \to\ 77.9\times24.94\times6.91\times10^{-6}=1.34\times10^{-2}\ \mathrm{J\,mol^{-1}K^{-1}}$（約 $13\ \mathrm{mJ\,mol^{-1}K^{-1}}$）。

$T=\theta_D$ で低温式を使うと $C/3Nk_B=\frac{4\pi^4}5\approx77.9$ になります。ところが比熱は <Ref to="thm-debye-law" /> の積分表式からわかるとおり $3Nk_B$ を超えません（各モードの寄与 $x^2e^x/(e^x-1)^2$ は $1$ 以下）。したがって低温式は $T\ll\theta_D$ でしか使えず、$T\sim\theta_D$ では積分の上端 $\theta_D/T$ を有限のまま扱う必要があります。
</Solution>
</Exercise>

## 参考文献

- C. キッテル『キッテル 固体物理学入門』（上・下）丸善出版 — 結晶構造、波の回折と逆格子、フォノンと結晶の熱的性質の各章。
- N. W. Ashcroft and N. D. Mermin, *Solid State Physics*, Holt, Rinehart and Winston, 1976 — Chapters 4–6 (Bravais lattices, reciprocal lattice, X-ray diffraction), Chapters 22–23 (lattice vibrations, quantum theory of the harmonic crystal).
- S. H. Simon, *The Oxford Solid State Basics*, Oxford University Press, 2013 — 比熱（Einstein・Debye 模型）と 1 次元鎖の振動の各章。
- A. Einstein, "Die Plancksche Theorie der Strahlung und die Theorie der spezifischen Wärme", *Annalen der Physik* 22 (1907), 180–190.
- P. Debye, "Zur Theorie der spezifischen Wärmen", *Annalen der Physik* 39 (1912), 789–839.
