# 1次元の簡単な系：無限井戸・トンネル効果・調和振動子

> 無限井戸型ポテンシャルの離散準位、矩形障壁のトンネル透過率、調和振動子の生成・消滅演算子による解法を、境界条件と交換関係から順に導き、古典力学との違いを数値で確かめる。
> https://rikai.mugen-giken.com/physics/quantum-mechanics/one-dimensional-systems

## 0. この記事の要点

- 1 次元の定常シュレーディンガー方程式は 2 階の線形常微分方程式です。エネルギーが離散化するのは方程式そのものからではなく、**規格化可能性（あるいは壁での境界条件）** が課す制約からです。この一点が本記事全体を貫きます。
- 無限に深い井戸では $E_n = \dfrac{\pi^2\hbar^2}{2mL^2}\,n^2$（$n = 1, 2, \ldots$）となり、最低エネルギーが $0$ にならない（零点エネルギー）。これは不確定性関係の直接の帰結です。
- 矩形障壁では $E < V_0$ でも透過率 $T$ は正です。厚い障壁では $T \simeq \dfrac{16E(V_0-E)}{V_0^{2}}e^{-2\kappa a}$ となり、幅 $a$ に指数的に依存します。走査トンネル顕微鏡が原子分解能を持つ理由がここにあります。
- 調和振動子は、微分方程式を一度も解かずに、交換関係 $[\hat a, \hat a^{\dagger}] = 1$ と $\hat a^{\dagger}\hat a \ge 0$ だけからスペクトル $E_n = \left(n + \tfrac12\right)\hbar\omega$ が完全に決まります。
- 三つの系に共通する構造は「ヒルベルト空間に属せという要求が、連続だったパラメータを離散集合へ絞り込む」ことです。水素原子でも同じ論理が働きます。

## 1. 動機：なぜ 1 次元から始めるのか

ボーアが 1913 年に水素原子のスペクトルを説明したとき、エネルギーの離散性は**仮定**でした。角運動量が $\hbar$ の整数倍に限られる、という量子条件を外から課したのです。なぜそんな条件が成り立つのかは説明されませんでした。詳しくは [量子力学の誕生](/physics/quantum-mechanics/birth-of-quantum-mechanics)、とくに <Ref to="physics/quantum-mechanics/birth-of-quantum-mechanics#prop-bohr-quantization" text="ボーアの量子条件のド・ブロイによる解釈" /> を参照してください。

1926 年にシュレーディンガーが与えた答えは、見方を根本から変えるものでした。エネルギーの離散性は追加の仮定ではなく、**波動関数が「まともな関数」であれという要求から自動的に出てくる**、というのです。弦の固有振動数が離散的なのは、両端が固定されているからです。それと同じことが原子の中で起きている。これがシュレーディンガーの主張でした。

この主張は、3 次元の水素原子でいきなり検証するには複雑すぎます。そこで本章では 1 次元の系を三つ取り上げます。

1. **無限に深い井戸**：離散性がどこから来るのかを、もっとも裸の形で見ます。
2. **矩形ポテンシャル障壁**：古典力学が「絶対に通れない」と断言する壁を、粒子が有限の確率で通り抜けます。
3. **1 次元調和振動子**：微分方程式を解く代わりに、演算子の代数だけでスペクトルを決めます。

1 次元にこだわるのは、単に計算が楽だからではありません。第一に、[シュレーディンガー方程式と波動関数](/physics/quantum-mechanics/schrodinger-equation) で導入した波動関数の確率解釈と、[演算子と物理量](/physics/quantum-mechanics/operators-and-observables) で扱った演算子形式が、余計な角運動量の技術に埋もれずに正面から見えます。第二に、3 次元の中心力問題は角度部分を分離すると**動径方向の 1 次元問題に帰着します**（[水素原子](/physics/quantum-mechanics/hydrogen-atom) の <Ref to="physics/quantum-mechanics/hydrogen-atom#prop-radial-equation" /> を参照）。1 次元は特殊な練習問題ではなく、量子力学の主要な計算技術がそこに集約されている場所です。

<div data-gated data-pagefind-ignore>

## 2. 準備：1 次元定常状態の一般論

以下、質量 $m$ の粒子が実数値ポテンシャル $V(x)$ の中を動くとします。ハミルトニアンは

$$
\hat H = \frac{\hat p^{2}}{2m} + V(\hat x), \qquad \hat p = -i\hbar\frac{d}{dx}
$$

で、定常状態は固有値方程式 $\hat H\lvert\psi\rangle = E\lvert\psi\rangle$、すなわち <Ref to="physics/quantum-mechanics/schrodinger-equation#def-tise" text="時間非依存シュレーディンガー方程式" /> の解です。位置表示 $\psi(x) = \langle x\vert\psi\rangle$ で書くと

$$
-\frac{\hbar^{2}}{2m}\psi''(x) + V(x)\psi(x) = E\psi(x),
\qquad\text{すなわち}\qquad
\psi''(x) = \frac{2m}{\hbar^{2}}\bigl(V(x) - E\bigr)\psi(x)
$$

となります。これは 2 階の線形常微分方程式です。ここで重要なのは、**$E$ をどんな実数に取っても解は必ず存在する**という事実です。解の存在だけでは何も量子化されません。量子化を生むのは次の区別です。

<Definition id="def-bound-state" title="束縛状態と散乱状態">
定常状態 $\psi$ が $\int_{-\infty}^{\infty}\lvert\psi(x)\rvert^{2}\,dx < \infty$ を満たす、すなわち $\psi \in L^{2}(\mathbb{R})$ であるとき、$\psi$ を**束縛状態**と呼び、その $E$ を**離散スペクトル**（束縛エネルギー準位）の点と呼ぶ。

一方 $\psi$ が有界ではあるが二乗可積分でなく、$x \to \pm\infty$ で振動して残るとき、$\psi$ を**散乱状態**と呼ぶ。散乱状態は単独では状態ベクトルではなく、波束を作るための重ね合わせの部品として使う。
</Definition>

束縛状態を要求すると、$E$ は一般には特別な値しか許されません。これが離散スペクトルの正体です。散乱状態のほうは $E$ が連続的に走り、代わりに透過率・反射率という別の量が主役になります。無限井戸と調和振動子は前者、障壁は後者の話です。

### 2.1. ポテンシャルが不連続な点での接続条件

現実のポテンシャルは滑らかですが、模型としては段差や $\delta$ 関数を使うと計算が劇的に楽になります。そのとき波動関数をどうつなぐかを決めておきます。

<Proposition id="prop-matching" title="接続条件">
$\psi$ を定常シュレーディンガー方程式の解とし、$\psi$ は連続であるとする。点 $x_0$ について次が成り立つ。

1. $V$ が $x_0$ のある近傍で有界（有限の跳びは許す）ならば、$\psi'$ は $x_0$ で連続である。
2. $V(x) = \lambda\,\delta(x - x_0) + W(x)$（$W$ は $x_0$ の近傍で有界、$\lambda$ は実定数）ならば、
$$
\psi'(x_0^{+}) - \psi'(x_0^{-}) = \frac{2m\lambda}{\hbar^{2}}\,\psi(x_0)
$$
が成り立つ。
</Proposition>

<Proof of="prop-matching">
方程式 $\psi'' = \dfrac{2m}{\hbar^{2}}(V - E)\psi$ を区間 $[x_0-\varepsilon,\ x_0+\varepsilon]$ 上で積分します。左辺は微分積分学の基本定理より $\psi'(x_0+\varepsilon) - \psi'(x_0-\varepsilon)$ です。したがって

$$
\psi'(x_0+\varepsilon) - \psi'(x_0-\varepsilon)
= \frac{2m}{\hbar^{2}}\int_{x_0-\varepsilon}^{x_0+\varepsilon}\bigl(V(x) - E\bigr)\psi(x)\,dx .
$$

(1) の場合、$x_0$ の近傍で $\lvert V - E\rvert \le M$、$\lvert\psi\rvert \le M'$ と押さえられるので、右辺の絶対値は $\dfrac{2m}{\hbar^{2}}\cdot 2\varepsilon M M'$ 以下です。$\varepsilon \to 0$ でこれは $0$ に収束するので、$\psi'$ の左右の極限は一致します。

(2) の場合、$\delta$ 関数の部分だけが $\varepsilon \to 0$ で残ります。$\displaystyle\int_{x_0-\varepsilon}^{x_0+\varepsilon}\lambda\delta(x-x_0)\psi(x)\,dx = \lambda\psi(x_0)$ であり、残りの $W - E$ の寄与は (1) と同じ評価で $0$ に収束します。よって主張の跳びの式を得ます。
</Proof>

### 2.2. 1 次元束縛状態は縮退しない

次の命題は、この記事の三つの系すべてで繰り返し使います。

<Proposition id="prop-nondegeneracy" title="1 次元束縛状態の非縮退">
区間 $I = (\alpha, \beta)$（$\alpha = -\infty$、$\beta = +\infty$ を許す）上で $V$ は実数値かつ局所有界とする。$\psi_1, \psi_2$ を同じ実数 $E$ に対する定常シュレーディンガー方程式の $C^{2}$ 級の解で、どちらも恒等的に $0$ ではなく、さらに

- $x \to \alpha^{+}$ で $\psi_1(x) \to 0$ かつ $\psi_2(x) \to 0$、
- $\psi_1', \psi_2'$ は $\alpha$ の近傍で有界

を満たすとする。このとき定数 $c$ が存在して $\psi_2 = c\,\psi_1$ が $I$ 全体で成り立つ。すなわち、この境界条件を満たす解の空間は 1 次元であり、束縛状態のエネルギー準位は縮退しない。
</Proposition>

<Proof of="prop-nondegeneracy">
ロンスキアン $W(x) = \psi_1(x)\psi_2'(x) - \psi_1'(x)\psi_2(x)$ を考えます。微分すると $\psi_1'\psi_2'$ の項が相殺して

$$
W' = \psi_1\psi_2'' - \psi_1''\psi_2
= \frac{2m}{\hbar^{2}}(V-E)\bigl(\psi_1\psi_2 - \psi_1\psi_2\bigr) = 0
$$

となります。ここで両方の解に**同じ** $E$ を用いたこと、および $V$ が実数値であることを使いました。よって $W$ は $I$ 上で定数です。

仮定より $x \to \alpha^{+}$ で $\psi_1, \psi_2 \to 0$ かつ $\psi_1', \psi_2'$ は有界なので、$W(x) \to 0$ です。定数なのですから $W \equiv 0$ です。

次に $\psi_1$ の零点を調べます。ある $x_0$ で $\psi_1(x_0) = \psi_1'(x_0) = 0$ とすると、2 階線形常微分方程式の解の一意性（コーシー・リプシッツの定理）より $\psi_1 \equiv 0$ となり仮定に反します。したがって $\psi_1$ の零点 $x_0$ では必ず $\psi_1'(x_0) \ne 0$ です。

$\psi_1$ が $I$ 上で零点を持たない場合は、$\left(\dfrac{\psi_2}{\psi_1}\right)' = \dfrac{\psi_1\psi_2' - \psi_1'\psi_2}{\psi_1^{2}} = \dfrac{W}{\psi_1^{2}} = 0$ より $\psi_2/\psi_1$ は定数 $c$ で、結論を得ます。

$\psi_1$ が零点 $x_0$ を持つ場合は、$W(x_0) = 0$ と $\psi_1(x_0) = 0$ から $-\psi_1'(x_0)\psi_2(x_0) = 0$、すなわち $\psi_2(x_0) = 0$ です。そこで $c = \psi_2'(x_0)/\psi_1'(x_0)$ と置き、$\varphi = \psi_2 - c\psi_1$ とすると、$\varphi$ は同じ方程式の解で $\varphi(x_0) = \varphi'(x_0) = 0$ を満たします。再び解の一意性より $\varphi \equiv 0$、すなわち $\psi_2 = c\psi_1$ です。
</Proof>

<Corollary id="cor-parity" title="束縛状態のパリティ">
上の仮定に加えて $V$ が偶関数（$V(-x) = V(x)$）で、$I = \mathbb{R}$ とする。このとき束縛状態 $\psi$ は $\psi(-x) = \psi(x)$（偶）か $\psi(-x) = -\psi(x)$（奇）のいずれかである。
</Corollary>

<Proof of="cor-parity">
$\tilde\psi(x) := \psi(-x)$ と置きます。$\tilde\psi''(x) = \psi''(-x) = \dfrac{2m}{\hbar^{2}}\bigl(V(-x)-E\bigr)\psi(-x) = \dfrac{2m}{\hbar^{2}}\bigl(V(x)-E\bigr)\tilde\psi(x)$ なので、$V$ が偶関数であることから $\tilde\psi$ も同じ $E$ に対する解です。$\psi$ が束縛状態なら $\tilde\psi$ も束縛状態なので、<Ref to="prop-nondegeneracy" /> より $\tilde\psi = c\psi$ となる定数 $c$ があります。

同じ操作をもう一度施すと $\psi(x) = \tilde{\tilde\psi}(x) = c\,\tilde\psi(x) = c^{2}\psi(x)$ です。$\psi \not\equiv 0$ なので $c^{2} = 1$、すなわち $c = \pm 1$ を得ます。
</Proof>

## 3. 無限に深い井戸型ポテンシャル

もっとも単純な閉じ込めから始めます。

$$
V(x) = \begin{cases} 0 & (0 < x < L) \\ +\infty & (\text{それ以外}) \end{cases}
$$

壁の外では $V = \infty$ なので、有限のエネルギーを持つ状態はそこに存在できません。$\psi(x) = 0$（$x \le 0$ または $x \ge L$）とし、$\psi$ の連続性から境界条件

$$
\psi(0) = \psi(L) = 0
$$

を課します。これが「弦の両端が固定されている」に対応する条件です。

<Theorem id="thm-infinite-well" title="無限井戸のスペクトル">
上のポテンシャルに対する定常シュレーディンガー方程式の、$\psi(0)=\psi(L)=0$ を満たす恒等的に $0$ でない解は、正の整数 $n$ で番号付けられ、

$$
E_n = \frac{\hbar^{2}\pi^{2}}{2mL^{2}}\,n^{2}, \qquad
\psi_n(x) = \sqrt{\frac{2}{L}}\,\sin\frac{n\pi x}{L} \quad (0 \le x \le L), \qquad n = 1, 2, 3, \ldots
$$

で尽くされる。$\{\psi_n\}_{n\ge1}$ は $L^{2}(0,L)$ の完全正規直交系をなす。すなわち $\langle\psi_n\vert\psi_{n'}\rangle = \delta_{nn'}$ であり、任意の $f \in L^{2}(0,L)$ は $f = \sum_{n\ge1}\langle\psi_n\vert f\rangle\,\psi_n$ と展開できる。
</Theorem>

<Proof of="thm-infinite-well">
**手順 1：$E > 0$ でなければならない。** まず $E < 0$ とし $\kappa = \sqrt{-2mE}/\hbar > 0$ と置くと、井戸の内部で $\psi'' = \kappa^{2}\psi$ なので $\psi = A\sinh\kappa x + B\cosh\kappa x$ です。$\psi(0)=0$ より $B = 0$。$\psi(L) = A\sinh\kappa L = 0$ で、$\kappa L > 0$ では $\sinh \kappa L \ne 0$ なので $A = 0$、つまり $\psi \equiv 0$ です。$E = 0$ のときは $\psi'' = 0$ より $\psi = A + Bx$ で、$\psi(0)=0 \Rightarrow A = 0$、$\psi(L)=0 \Rightarrow B = 0$ となり、やはり $\psi \equiv 0$ です。よって $E > 0$ です。

**手順 2：一般解と境界条件。** $k = \sqrt{2mE}/\hbar > 0$ と置くと内部で $\psi'' = -k^{2}\psi$、一般解は $\psi = A\sin kx + B\cos kx$ です。$\psi(0) = B = 0$ より $\psi = A\sin kx$。$\psi(L) = A\sin kL = 0$ で $A \ne 0$ が必要なので $\sin kL = 0$、すなわち $kL = n\pi$（$n$ は整数）。$k > 0$ より $n \ge 1$ です。$n$ と $-n$ は $\psi$ の符号を変えるだけで同じ状態を表すので、$n = 1, 2, \ldots$ で尽きます。$k_n = n\pi/L$ を $E = \hbar^{2}k^{2}/(2m)$ に代入して $E_n$ を得ます。

**手順 3：規格化。** $\displaystyle\int_{0}^{L}\sin^{2}\frac{n\pi x}{L}\,dx = \int_{0}^{L}\frac{1 - \cos(2n\pi x/L)}{2}\,dx = \frac{L}{2} - \frac{L}{4n\pi}\bigl[\sin(2n\pi x/L)\bigr]_{0}^{L} = \frac{L}{2}$ なので、$A^{2}\cdot L/2 = 1$ より $A = \sqrt{2/L}$（位相は正に取る）です。

**手順 4：直交性。** 積和公式 $\sin\alpha\sin\beta = \tfrac12\bigl[\cos(\alpha-\beta) - \cos(\alpha+\beta)\bigr]$ より、$n \ne n'$ のとき

$$
\frac{2}{L}\int_{0}^{L}\sin\frac{n\pi x}{L}\sin\frac{n'\pi x}{L}\,dx
= \frac{1}{L}\int_{0}^{L}\left[\cos\frac{(n-n')\pi x}{L} - \cos\frac{(n+n')\pi x}{L}\right]dx .
$$

$0$ でない整数 $j$ に対して $\displaystyle\int_{0}^{L}\cos\frac{j\pi x}{L}\,dx = \frac{L}{j\pi}\sin(j\pi) = 0$ なので、両方の項が消えて $0$ になります。$n = n'$ のときは第 1 項が $\int_0^L 1\,dx = L$、第 2 項は $0$ なので値は $1$ です。

**手順 5：完全性。** $\{\sqrt{2/L}\sin(n\pi x/L)\}$ が $L^{2}(0,L)$ の完全系であることはフーリエ正弦級数の完全性そのものです。$\hat H$ が自己共役であることから固有関数系が完全になる、という一般論（<Ref to="mathematics/linear-algebra/spectral-theorem#thm-spectral" text="スペクトル定理" /> の無限次元版）とも整合します。
</Proof>

<Figure caption="無限井戸のエネルギー準位と固有関数。準位は n の 2 乗に比例するので上へ行くほど間隔が開く。固有関数 ψₙ は井戸の内部に n−1 個の節を持ち、両端で 0 になる。">
<svg viewBox="0 0 640 420" width="100%" role="img" aria-label="無限井戸型ポテンシャルのエネルギー準位と固有関数">
  <g stroke="currentColor" fill="none" stroke-width="3">
    <path d="M 120 20 L 120 380 L 480 380 L 480 20" />
  </g>
  <g stroke="currentColor" fill="none" stroke-width="1" stroke-dasharray="5 5" opacity="0.45">
    <path d="M 120 360 H 480" />
    <path d="M 120 300 H 480" />
    <path d="M 120 200 H 480" />
    <path d="M 120 60 H 480" />
  </g>
  <g stroke="var(--sl-color-accent)" fill="none" stroke-width="2.5">
    <path d="M 120 360 C 240 330.7 360 330.7 480 360" />
    <path d="M 120 300 C 180 270.7 240 270.7 300 300 C 360 329.3 420 329.3 480 300" />
    <path d="M 120 200 C 160 170.7 200 170.7 240 200 C 280 229.3 320 229.3 360 200 C 400 170.7 440 170.7 480 200" />
    <path d="M 120 60 C 150 30.7 180 30.7 210 60 C 240 89.3 270 89.3 300 60 C 330 30.7 360 30.7 390 60 C 420 89.3 450 89.3 480 60" />
  </g>
  <g fill="currentColor" font-size="15" font-family="sans-serif">
    <text x="492" y="365">E₁</text>
    <text x="492" y="305">E₂ = 4E₁</text>
    <text x="492" y="205">E₃ = 9E₁</text>
    <text x="492" y="65">E₄ = 16E₁</text>
    <text x="22" y="205">V = ∞</text>
    <text x="112" y="402">0</text>
    <text x="474" y="402">L</text>
  </g>
</svg>
</Figure>

エネルギー間隔は $E_{n+1} - E_n = \dfrac{\hbar^{2}\pi^{2}}{2mL^{2}}(2n+1)$ で、$n$ とともに開いていきます。ここで押さえるべき点は二つです。第一に、井戸が狭い（$L$ が小さい）ほど準位間隔が広がります。閉じ込めが強いほど量子効果が顕著になる、という一般則の最初の例です。第二に、$n = 0$ が禁じられているため最低エネルギーが $E_1 > 0$ です。これを**零点エネルギー**と呼びます。古典力学では箱の中で静止した粒子（$E=0$）が許されますが、量子力学では許されません。

<Example id="ex-electron-well" title="幅 1 nm の井戸に閉じ込めた電子">
$L = 1.0\ \mathrm{nm}$、$m = m_e$ とします。$\hbar c = 197.3\ \mathrm{eV\,nm}$、$m_e c^{2} = 5.110\times10^{5}\ \mathrm{eV}$ を使うと、光速を含む形に書き直せて計算が楽になります。

$$
E_1 = \frac{\pi^{2}\hbar^{2}}{2m_e L^{2}} = \frac{\pi^{2}(\hbar c)^{2}}{2\,(m_e c^{2})\,L^{2}}
= \frac{9.8696 \times (197.3)^{2}}{2 \times 5.110\times10^{5} \times (1.0)^{2}}\ \mathrm{eV}
= \frac{3.842\times10^{5}}{1.022\times10^{6}}\ \mathrm{eV} = 0.376\ \mathrm{eV}.
$$

したがって $E_n = 0.376\,n^{2}\ \mathrm{eV}$ です。$n=2$ から $n=1$ への遷移で放出される光子のエネルギーは $E_2 - E_1 = 3 \times 0.376 = 1.13\ \mathrm{eV}$、波長は $\lambda = 1240/1.13 \approx 1.1\times10^{3}\ \mathrm{nm}$ で近赤外です。半導体量子井戸のレーザーがこの程度の波長帯にあるのは偶然ではありません。

対照的に、質量 $1\ \mathrm{g}$ の玉を $10\ \mathrm{cm}$ の箱に入れると

$$
E_1 = \frac{\pi^{2}\hbar^{2}}{2mL^{2}} = \frac{9.8696 \times (1.055\times10^{-34})^{2}}{2 \times 10^{-3} \times (10^{-1})^{2}}\ \mathrm{J} \approx 5.5\times10^{-63}\ \mathrm{J}
$$

です。室温の熱エネルギー $k_B T \approx 4\times10^{-21}\ \mathrm{J}$ に対応する量子数は $n = \sqrt{4\times10^{-21}/5.5\times10^{-63}} \approx 8.5\times10^{20}$ で、隣り合う準位の相対的な間隔は $\Delta E/E \approx 2/n \approx 2\times10^{-21}$ です。離散性が原理的には残っていても観測にかからない、これが対応原理の具体的な姿です。
</Example>

<Example id="ex-superposition" title="重ね合わせ状態では期待値が振動する">
定常状態そのものでは $\lvert\psi_n(x)\rvert^{2}$ が時間に依らないので、何も「動き」ません。運動が現れるのは重ね合わせのときです。$t=0$ で

$$
\lvert\psi(0)\rangle = \frac{1}{\sqrt2}\bigl(\lvert 1\rangle + \lvert 2\rangle\bigr)
$$

とすると、時間発展は各固有状態に位相を付けるだけなので

$$
\lvert\psi(t)\rangle = \frac{1}{\sqrt2}\Bigl(e^{-iE_1 t/\hbar}\lvert 1\rangle + e^{-iE_2 t/\hbar}\lvert 2\rangle\Bigr).
$$

位置の期待値を計算します。$\omega_{21} := (E_2-E_1)/\hbar = \dfrac{3\pi^{2}\hbar}{2mL^{2}}$ と置くと、$\psi_n$ が実関数であることから

$$
\lvert\psi(x,t)\rvert^{2} = \tfrac12\Bigl[\psi_1(x)^{2} + \psi_2(x)^{2} + 2\psi_1(x)\psi_2(x)\cos\omega_{21}t\Bigr].
$$

対称性より $\displaystyle\int_0^L x\,\psi_n(x)^{2}dx = \frac{L}{2}$ です。交差項の積分を実行します。積和公式で $\sin\dfrac{\pi x}{L}\sin\dfrac{2\pi x}{L} = \tfrac12\left[\cos\dfrac{\pi x}{L} - \cos\dfrac{3\pi x}{L}\right]$ なので

$$
\int_{0}^{L}x\,\psi_1\psi_2\,dx = \frac{1}{L}\int_{0}^{L}x\left[\cos\frac{\pi x}{L} - \cos\frac{3\pi x}{L}\right]dx .
$$

部分積分より $\displaystyle\int_{0}^{L}x\cos\frac{j\pi x}{L}dx = \left[\frac{Lx}{j\pi}\sin\frac{j\pi x}{L} + \frac{L^{2}}{j^{2}\pi^{2}}\cos\frac{j\pi x}{L}\right]_{0}^{L} = \frac{L^{2}}{j^{2}\pi^{2}}\bigl(\cos j\pi - 1\bigr)$ で、奇数 $j$ では $\cos j\pi = -1$ ですから、$j=1$ で $-2L^{2}/\pi^{2}$、$j=3$ で $-2L^{2}/(9\pi^{2})$ です。よって

$$
\int_{0}^{L}x\,\psi_1\psi_2\,dx = \frac{1}{L}\left(-\frac{2L^{2}}{\pi^{2}} + \frac{2L^{2}}{9\pi^{2}}\right) = -\frac{16L}{9\pi^{2}} \approx -0.180\,L .
$$

まとめると

$$
\langle \hat x\rangle_t = \frac{L}{2} - \frac{16L}{9\pi^{2}}\cos\omega_{21}t .
$$

粒子の「重心」は井戸の中を $0.320L$ と $0.680L$ の間で往復します。振動の角振動数は個々の準位のエネルギーではなく**差** $E_2 - E_1$ で決まります。ボーアの振動数条件が、ここでは仮定ではなく計算結果として現れています。
</Example>

<Remark id="rem-wall-derivative">
無限井戸では $\psi_n'(0^{+}) = \sqrt{2/L}\,(n\pi/L) \ne 0$ なのに、壁の外では $\psi \equiv 0$ なので $\psi'$ は $x=0$ で不連続です。これは <Ref to="prop-matching" /> と矛盾しません。同命題の (1) は $V$ が近傍で有界であることを仮定していますが、無限井戸ではその仮定が破れているからです。無限に高い壁は有限の壁 $V_0 \to \infty$ の極限として理解すべきで、その意味では波動関数の壁の中への浸み出しの深さ $1/\kappa = \hbar/\sqrt{2m(V_0-E)}$ が $0$ に潰れた極限になっています（Appendix を参照）。
</Remark>

## 4. ポテンシャル障壁とトンネル効果

次は束縛されない状態、つまり散乱の問題です。ポテンシャルを

$$
V(x) = \begin{cases} V_0 & (0 < x < a) \\ 0 & (\text{それ以外}) \end{cases}
\qquad (V_0 > 0)
$$

とし、左から粒子を入射させます。古典力学では、$E < V_0$ なら粒子は $x=0$ で必ず跳ね返されます。障壁の中では運動エネルギー $E - V_0$ が負になり、実数の速度が存在しないからです。量子力学の答えは違います。

<Figure caption="矩形障壁のトンネル効果。障壁の内側で波動関数は振動をやめ、指数関数的に減衰する。右へ抜け出た波の振幅が減衰後の値になるため、透過率は障壁の幅に指数的に依存する。">
<svg viewBox="0 0 640 360" width="100%" role="img" aria-label="矩形ポテンシャル障壁とトンネル効果の模式図">
  <g stroke="currentColor" fill="none" stroke-width="2">
    <path d="M 30 285 H 620" />
  </g>
  <rect x="250" y="110" width="100" height="175" fill="currentColor" fill-opacity="0.10" stroke="currentColor" stroke-width="2" />
  <g stroke="currentColor" fill="none" stroke-width="1.2" stroke-dasharray="6 5" opacity="0.7">
    <path d="M 30 200 H 620" />
  </g>
  <g stroke="var(--sl-color-accent)" fill="none" stroke-width="2.5">
    <path d="M 60 200 C 74.1 166.7 88.1 166.7 102.2 200 C 116.3 233.3 130.4 233.3 144.4 200 C 158.5 166.7 172.6 166.7 186.7 200 C 200.7 233.3 214.8 233.3 228.9 200 C 235.9 184 244 175 250 175 C 283.3 186.9 316.7 191.1 350 194 C 357 194 364.5 197 371.1 200 C 385.2 208 399.2 208 413.3 200 C 427.4 192 441.5 192 455.6 200 C 469.7 208 483.7 208 497.8 200 C 511.9 192 525.9 192 540 200 C 554.1 208 568.1 208 582.2 200" />
  </g>
  <g stroke="currentColor" fill="none" stroke-width="1.8">
    <path d="M 95 243 H 155 M 147 238 L 155 243 L 147 248" />
    <path d="M 155 262 H 95 M 103 257 L 95 262 L 103 267" />
    <path d="M 440 243 H 500 M 492 238 L 500 243 L 492 248" />
  </g>
  <g fill="currentColor" font-size="15" font-family="sans-serif">
    <text x="14" y="205">E</text>
    <text x="300" y="100" text-anchor="middle">V₀</text>
    <text x="300" y="150" text-anchor="middle">指数減衰</text>
    <text x="250" y="305" text-anchor="middle">0</text>
    <text x="350" y="305" text-anchor="middle">a</text>
    <text x="140" y="335" text-anchor="middle">入射波と反射波</text>
    <text x="480" y="335" text-anchor="middle">透過波</text>
    <text x="612" y="278" text-anchor="end">V = 0</text>
  </g>
</svg>
</Figure>

### 4.1. 透過率と反射率の定義

散乱状態は規格化できないので、$\lvert\psi\rvert^{2}$ の積分ではなく**確率流**で議論します。確率流は <Ref to="physics/quantum-mechanics/schrodinger-equation#thm-continuity" text="確率の連続の方程式" /> で導入したものと同じ量です。

<Definition id="def-transmission" title="確率流・透過率・反射率">
波動関数 $\psi$ に対する確率流を
$$
j(x) = \frac{\hbar}{m}\,\mathrm{Im}\bigl[\overline{\psi(x)}\,\psi'(x)\bigr]
$$
で定める。エネルギー $E > 0$ の散乱解を、$x < 0$ で $\psi = e^{ikx} + r\,e^{-ikx}$、$x > a$ で $\psi = t\,e^{ikx}$（$k = \sqrt{2mE}/\hbar$）の形に取る。このとき**透過率**を $T = \lvert t\rvert^{2}$、**反射率**を $R = \lvert r\rvert^{2}$ と定義する。
</Definition>

$x > a$ に左向きの波を置かないのは、「左から入射させる」という物理的状況の指定です。$T$ と $R$ が確率の比として意味を持つことは、次から分かります。

<Proposition id="prop-current" title="確率の保存">
<Ref to="def-transmission" /> の設定のもとで $T + R = 1$ が成り立つ。
</Proposition>

<Proof of="prop-current">
まず定常状態では $j$ が $x$ に依らないことを見ます。$\dfrac{dj}{dx} = \dfrac{\hbar}{m}\mathrm{Im}\bigl[\overline{\psi'}\psi' + \bar\psi\psi''\bigr]$ で、第 1 項 $\lvert\psi'\rvert^{2}$ は実数なので虚部に寄与しません。第 2 項は $\psi'' = \dfrac{2m}{\hbar^{2}}(V-E)\psi$ より $\dfrac{2m}{\hbar^{2}}(V-E)\lvert\psi\rvert^{2}$ となり、$V$ と $E$ が実数なのでこれも実数です。よって $dj/dx = 0$ です。

次に領域 I（$x < 0$）での $j$ を計算します。$\psi = e^{ikx} + re^{-ikx}$、$\psi' = ik\bigl(e^{ikx} - re^{-ikx}\bigr)$ なので

$$
\bar\psi\psi' = ik\left(e^{-ikx} + \bar r e^{ikx}\right)\left(e^{ikx} - re^{-ikx}\right)
= ik\Bigl[\bigl(1 - \lvert r\rvert^{2}\bigr) + \bigl(\bar r e^{2ikx} - r e^{-2ikx}\bigr)\Bigr].
$$

括弧内の第 2 項は $z - \bar z$ の形（$z = \bar r e^{2ikx}$）なので純虚数です。したがって $ik$ を掛けると実数になり、虚部に寄与しません。残るのは $ik(1-\lvert r\rvert^{2})$ の虚部で、

$$
j_{\mathrm{I}} = \frac{\hbar k}{m}\bigl(1 - \lvert r\rvert^{2}\bigr).
$$

同様に領域 III（$x > a$）では $\psi = te^{ikx}$、$\bar\psi\psi' = ik\lvert t\rvert^{2}$ なので $j_{\mathrm{III}} = \dfrac{\hbar k}{m}\lvert t\rvert^{2}$ です。$j$ が定数であることから $1 - \lvert r\rvert^{2} = \lvert t\rvert^{2}$、すなわち $T + R = 1$ を得ます。
</Proof>

### 4.2. 透過率の計算

<Theorem id="thm-barrier" title="矩形障壁の透過率">
上の矩形障壁に対し $0 < E < V_0$ とし、
$$
k = \frac{\sqrt{2mE}}{\hbar}, \qquad \kappa = \frac{\sqrt{2m(V_0-E)}}{\hbar}
$$
と置く。このとき透過率は
$$
T = \left[1 + \frac{V_0^{2}\,\sinh^{2}(\kappa a)}{4E(V_0-E)}\right]^{-1}
$$
で与えられる。特に $a > 0$、$V_0 < \infty$ である限り $T > 0$ である。
</Theorem>

<Proof of="thm-barrier">
三つの領域で一般解を書きます。$V$ はどの領域でも定数なので $\psi'' = \dfrac{2m}{\hbar^{2}}(V-E)\psi$ は定数係数の方程式です。

$$
\psi_{\mathrm{I}}(x) = e^{ikx} + r e^{-ikx}\ (x<0), \qquad
\psi_{\mathrm{II}}(x) = C e^{\kappa x} + D e^{-\kappa x}\ (0<x<a), \qquad
\psi_{\mathrm{III}}(x) = t e^{ikx}\ (x>a).
$$

障壁内で指数関数になるのは $V_0 - E > 0$ だからです。ここが古典的に禁止された領域に対応します。

$V$ は各境界で有限の跳びしか持たないので、<Ref to="prop-matching" /> (1) より $\psi$ と $\psi'$ はともに $x=0$ と $x=a$ で連続です。これで 4 本の方程式が出ます。

$$
\begin{aligned}
C e^{\kappa a} + D e^{-\kappa a} &= t e^{ika}, &
\kappa\bigl(C e^{\kappa a} - D e^{-\kappa a}\bigr) &= ik\,t e^{ika} & &(x=a), \\
1 + r &= C + D, &
ik(1 - r) &= \kappa(C - D) & &(x=0).
\end{aligned}
$$

$x=a$ の 2 本を $Ce^{\kappa a}$ と $De^{-\kappa a}$ について解くと、和と差を取って

$$
C = \frac{t e^{ika}}{2}\left(1 + \frac{ik}{\kappa}\right)e^{-\kappa a},
\qquad
D = \frac{t e^{ika}}{2}\left(1 - \frac{ik}{\kappa}\right)e^{\kappa a}.
$$

$x=0$ の 2 本から $r$ を消去します。第 2 式を $ik$ で割って $1 - r = \dfrac{\kappa}{ik}(C-D)$ とし、第 1 式と足すと

$$
2 = C\left(1 + \frac{\kappa}{ik}\right) + D\left(1 - \frac{\kappa}{ik}\right)
= C\left(1 - \frac{i\kappa}{k}\right) + D\left(1 + \frac{i\kappa}{k}\right)
$$

です（$1/i = -i$ を使いました）。ここに $C, D$ を代入します。掛け算を実行すると

$$
\left(1 + \frac{ik}{\kappa}\right)\left(1 - \frac{i\kappa}{k}\right) = 2 + i\,\frac{k^{2}-\kappa^{2}}{k\kappa},
\qquad
\left(1 - \frac{ik}{\kappa}\right)\left(1 + \frac{i\kappa}{k}\right) = 2 - i\,\frac{k^{2}-\kappa^{2}}{k\kappa}
$$

となるので、

$$
2 = \frac{te^{ika}}{2}\left[\left(2 + i\frac{k^{2}-\kappa^{2}}{k\kappa}\right)e^{-\kappa a} + \left(2 - i\frac{k^{2}-\kappa^{2}}{k\kappa}\right)e^{\kappa a}\right]
= t e^{ika}\left[2\cosh\kappa a - i\,\frac{k^{2}-\kappa^{2}}{k\kappa}\sinh\kappa a\right].
$$

ここで $e^{\kappa a} + e^{-\kappa a} = 2\cosh\kappa a$、$e^{\kappa a} - e^{-\kappa a} = 2\sinh\kappa a$ を使いました。したがって

$$
\frac{1}{t} = \frac{e^{ika}}{2}\left[2\cosh\kappa a - i\,\frac{k^{2}-\kappa^{2}}{k\kappa}\sinh\kappa a\right],
\qquad
\frac{1}{\lvert t\rvert^{2}} = \cosh^{2}\kappa a + \frac{(k^{2}-\kappa^{2})^{2}}{4k^{2}\kappa^{2}}\sinh^{2}\kappa a .
$$

$\cosh^{2} = 1 + \sinh^{2}$ を使ってまとめると

$$
\frac{1}{T} = 1 + \sinh^{2}(\kappa a)\left[1 + \frac{(k^{2}-\kappa^{2})^{2}}{4k^{2}\kappa^{2}}\right]
= 1 + \sinh^{2}(\kappa a)\,\frac{4k^{2}\kappa^{2} + (k^{2}-\kappa^{2})^{2}}{4k^{2}\kappa^{2}}
= 1 + \sinh^{2}(\kappa a)\,\frac{(k^{2}+\kappa^{2})^{2}}{4k^{2}\kappa^{2}} .
$$

最後に $k^{2} + \kappa^{2} = \dfrac{2mV_0}{\hbar^{2}}$、$k^{2}\kappa^{2} = \dfrac{4m^{2}E(V_0-E)}{\hbar^{4}}$ を代入すれば

$$
\frac{(k^{2}+\kappa^{2})^{2}}{4k^{2}\kappa^{2}} = \frac{4m^{2}V_0^{2}/\hbar^{4}}{16m^{2}E(V_0-E)/\hbar^{4}} = \frac{V_0^{2}}{4E(V_0-E)}
$$

となり、主張の式を得ます。$\sinh(\kappa a)$ は有限なので $1/T$ も有限、よって $T > 0$ です。
</Proof>

<Corollary id="cor-thick-barrier" title="厚い障壁の近似">
$\kappa a \gg 1$ のとき
$$
T \simeq \frac{16\,E\,(V_0-E)}{V_0^{2}}\;e^{-2\kappa a}
$$
が成り立つ。透過率は障壁の幅 $a$ と $\sqrt{V_0-E}$ に対して指数関数的に減少する。
</Corollary>

<Proof of="cor-thick-barrier">
$\kappa a \gg 1$ では $e^{-\kappa a} \ll e^{\kappa a}$ なので $\sinh\kappa a = \tfrac12(e^{\kappa a} - e^{-\kappa a}) \simeq \tfrac12 e^{\kappa a}$、したがって $\sinh^{2}\kappa a \simeq \tfrac14 e^{2\kappa a}$ です。これを <Ref to="thm-barrier" /> に入れると

$$
\frac{1}{T} \simeq 1 + \frac{V_0^{2}}{16E(V_0-E)}e^{2\kappa a}
$$

で、第 2 項が $1$ に比べて圧倒的に大きいので $1$ を落とし、逆数を取れば主張の式になります。
</Proof>

<Example id="ex-barrier-numbers" title="電子のトンネル確率を数値で">
電子、$V_0 = 5.0\ \mathrm{eV}$、$E = 1.0\ \mathrm{eV}$、$a = 0.50\ \mathrm{nm}$ とします。まず減衰定数は

$$
\kappa = \frac{\sqrt{2\,(m_ec^{2})\,(V_0-E)}}{\hbar c}
= \frac{\sqrt{2 \times 5.110\times10^{5} \times 4.0}}{197.3}\ \mathrm{nm^{-1}}
= \frac{2022}{197.3}\ \mathrm{nm^{-1}} = 10.25\ \mathrm{nm^{-1}} .
$$

よって $\kappa a = 5.12$、$\sinh(5.12) = 84.0$、$\sinh^{2}(\kappa a) = 7.06\times10^{3}$ です。前置因子は $\dfrac{V_0^{2}}{4E(V_0-E)} = \dfrac{25}{16} = 1.5625$ なので、<Ref to="thm-barrier" /> より

$$
T = \bigl[1 + 1.5625 \times 7.06\times10^{3}\bigr]^{-1} = \frac{1}{1.10\times10^{4}} = 9.1\times10^{-5} .
$$

<Ref to="cor-thick-barrier" /> でも確かめます。$\dfrac{16 \times 1.0 \times 4.0}{25} = 2.56$、$e^{-2\kappa a} = e^{-10.25} = 3.54\times10^{-5}$ なので $T \simeq 2.56 \times 3.54\times10^{-5} = 9.1\times10^{-5}$ で、厳密値と一致します。

幅を $a = 1.0\ \mathrm{nm}$ に倍増させると $e^{-2\kappa a} = e^{-20.5} = 1.25\times10^{-9}$ となり $T \simeq 3.2\times10^{-9}$ です。幅を 2 倍にしただけで透過率は約 $2.8\times10^{4}$ 分の 1 になりました。この極端な敏感さが、走査トンネル顕微鏡（STM）が探針と試料の距離をピコメートル単位で読み取れる理由です（<Ref to="exr-stm" /> で確かめてください）。
</Example>

トンネル効果は珍しい現象ではありません。ガモフは 1928 年に、原子核の $\alpha$ 崩壊をクーロン障壁のトンネル透過として説明しました。半減期が核種によって $10^{-7}$ 秒から $10^{17}$ 年まで 24 桁も散らばるのは、指数 $e^{-2\kappa a}$ の肩がわずかに変わるだけで確率が桁で動くからです。太陽の中心で水素核融合が起きるのも、古典的には跳ね返されるはずのクーロン障壁を陽子がトンネルするからです。

<Remark id="rem-over-barrier">
古典力学との食い違いは逆向きにも起こります。$E > V_0$ のとき古典粒子は必ず通過しますが、量子力学では一般に反射が残ります。<Ref to="thm-barrier" /> の結果で $\kappa \to -ik'$（$k' = \sqrt{2m(E-V_0)}/\hbar$）と置き換えると $\sinh^{2}(\kappa a) \to -\sin^{2}(k'a)$、$V_0 - E \to -(E-V_0)$ となるので

$$
T = \left[1 + \frac{V_0^{2}\sin^{2}(k'a)}{4E(E-V_0)}\right]^{-1}
$$

を得ます。$k'a = n\pi$（$n = 1,2,\ldots$）のときだけ $T = 1$ となり、それ以外では $T < 1$ です。障壁の幅が内部の波長の半分の整数倍のときに反射波が打ち消し合う、光学の反射防止膜と同じ干渉です。この共鳴的透過は希ガス原子による低速電子の散乱で実際に観測されており、ラムザウアー・タウンゼント効果と呼ばれます。
</Remark>

## 5. 1 次元調和振動子：生成・消滅演算子による解法

最後は $V(x) = \tfrac12 m\omega^{2}x^{2}$、すなわち

$$
\hat H = \frac{\hat p^{2}}{2m} + \frac{1}{2}m\omega^{2}\hat x^{2}, \qquad [\hat x, \hat p] = i\hbar
$$

です。この系が特別扱いされるのは、任意のポテンシャルの安定な平衡点まわりを $V(x) \simeq V(x_0) + \tfrac12 V''(x_0)(x-x_0)^{2}$ と展開すれば必ず現れるからです。分子振動、結晶格子のフォノン、電磁場の各モード、どれも出発点は調和振動子です。

微分方程式（エルミートの方程式）を級数解法で解くこともできますが、ここでは**代数的解法**を取ります。使うのは交換関係だけです。

<Definition id="def-ladder" title="消滅演算子・生成演算子・数演算子">
$$
\hat a := \sqrt{\frac{m\omega}{2\hbar}}\left(\hat x + \frac{i}{m\omega}\hat p\right), \qquad
\hat a^{\dagger} := \sqrt{\frac{m\omega}{2\hbar}}\left(\hat x - \frac{i}{m\omega}\hat p\right), \qquad
\hat N := \hat a^{\dagger}\hat a
$$
と定める。$\hat a$ を**消滅演算子**、$\hat a^{\dagger}$ を**生成演算子**、$\hat N$ を**数演算子**と呼ぶ。$\hat x, \hat p$ が自己共役なので $\hat a^{\dagger}$ は確かに $\hat a$ の随伴であり、$\hat N$ は自己共役である。逆に解くと
$$
\hat x = \sqrt{\frac{\hbar}{2m\omega}}\bigl(\hat a + \hat a^{\dagger}\bigr), \qquad
\hat p = i\sqrt{\frac{m\hbar\omega}{2}}\bigl(\hat a^{\dagger} - \hat a\bigr)
$$
となる。
</Definition>

<Lemma id="lem-commutators" title="はしご演算子の交換関係">
$$
[\hat a, \hat a^{\dagger}] = 1, \qquad
\hat H = \hbar\omega\left(\hat N + \frac{1}{2}\right), \qquad
[\hat N, \hat a] = -\hat a, \qquad [\hat N, \hat a^{\dagger}] = \hat a^{\dagger}.
$$
</Lemma>

<Proof of="lem-commutators">
$\hat a\hat a^{\dagger}$ を展開します。$\hat x$ と $\hat p$ は交換しないので順序に注意します。

$$
\hat a\hat a^{\dagger} = \frac{m\omega}{2\hbar}\left(\hat x + \frac{i\hat p}{m\omega}\right)\left(\hat x - \frac{i\hat p}{m\omega}\right)
= \frac{m\omega}{2\hbar}\left(\hat x^{2} + \frac{\hat p^{2}}{m^{2}\omega^{2}} - \frac{i}{m\omega}[\hat x,\hat p]\right)
= \frac{m\omega}{2\hbar}\left(\hat x^{2} + \frac{\hat p^{2}}{m^{2}\omega^{2}} + \frac{\hbar}{m\omega}\right)
$$

（$-i[\hat x,\hat p]/(m\omega) = -i(i\hbar)/(m\omega) = \hbar/(m\omega)$ を使いました）。同様に順序を逆にすると符号だけ変わって

$$
\hat a^{\dagger}\hat a = \frac{m\omega}{2\hbar}\left(\hat x^{2} + \frac{\hat p^{2}}{m^{2}\omega^{2}} - \frac{\hbar}{m\omega}\right).
$$

差を取れば $[\hat a,\hat a^{\dagger}] = \dfrac{m\omega}{2\hbar}\cdot\dfrac{2\hbar}{m\omega} = 1$ です。

次に $\hat H = \dfrac{m\omega^{2}}{2}\left(\hat x^{2} + \dfrac{\hat p^{2}}{m^{2}\omega^{2}}\right)$ と書けることに注意すると、上の第 2 式から

$$
\hat N = \hat a^{\dagger}\hat a = \frac{m\omega}{2\hbar}\cdot\frac{2}{m\omega^{2}}\hat H - \frac{1}{2} = \frac{\hat H}{\hbar\omega} - \frac{1}{2},
$$

すなわち $\hat H = \hbar\omega(\hat N + 1/2)$ です。

最後に、$[AB, C] = A[B,C] + [A,C]B$ を使うと $[\hat N, \hat a] = [\hat a^{\dagger}\hat a, \hat a] = \hat a^{\dagger}[\hat a,\hat a] + [\hat a^{\dagger},\hat a]\hat a = 0 + (-1)\hat a = -\hat a$、同様に $[\hat N,\hat a^{\dagger}] = \hat a^{\dagger}[\hat a,\hat a^{\dagger}] = \hat a^{\dagger}$ です。
</Proof>

$\hat H$ を対角化する問題が $\hat N$ を対角化する問題に化けました。$[\hat N,\hat a^{\dagger}] = \hat a^{\dagger}$ は、$\hat a^{\dagger}$ が $\hat N$ の固有値を $1$ だけ上げる「はしご」であることを意味します。同じ構造は角運動量の昇降演算子 $\hat J_{\pm}$ にも現れます（[角運動量とスピン](/physics/quantum-mechanics/angular-momentum-and-spin) の <Ref to="physics/quantum-mechanics/angular-momentum-and-spin#def-ladder" /> を参照）。

<Theorem id="thm-oscillator-spectrum" title="調和振動子のスペクトル">
$\hat N = \hat a^{\dagger}\hat a$ の固有値の全体は $\{0, 1, 2, \ldots\}$ に一致する。各固有値は非縮退であり、規格化された固有ベクトル $\lvert n\rangle$（$\hat N\lvert n\rangle = n\lvert n\rangle$）は位相を除いて一意に定まり、
$$
\hat a\lvert n\rangle = \sqrt{n}\,\lvert n-1\rangle, \qquad
\hat a^{\dagger}\lvert n\rangle = \sqrt{n+1}\,\lvert n+1\rangle, \qquad
\lvert n\rangle = \frac{(\hat a^{\dagger})^{n}}{\sqrt{n!}}\lvert 0\rangle
$$
と取れる。したがってハミルトニアンの固有値は
$$
E_n = \left(n + \frac{1}{2}\right)\hbar\omega, \qquad n = 0, 1, 2, \ldots
$$
であり、準位は間隔 $\hbar\omega$ で等間隔に並ぶ。
</Theorem>

<Proof of="thm-oscillator-spectrum">
**手順 1：$\hat N$ の固有値は非負。** $\hat N\lvert\nu\rangle = \nu\lvert\nu\rangle$、$\langle\nu\vert\nu\rangle = 1$ とすると

$$
\nu = \langle\nu\vert\hat N\vert\nu\rangle = \langle\nu\vert\hat a^{\dagger}\hat a\vert\nu\rangle = \bigl\lVert\hat a\lvert\nu\rangle\bigr\rVert^{2} \ge 0 .
$$

しかもこの式は「$\nu = 0 \iff \hat a\lvert\nu\rangle = 0$」も同時に述べています。

**手順 2：$\hat a$ は固有値を 1 下げる。** <Ref to="lem-commutators" /> の $[\hat N,\hat a] = -\hat a$ より

$$
\hat N\bigl(\hat a\lvert\nu\rangle\bigr) = \bigl(\hat a\hat N + [\hat N,\hat a]\bigr)\lvert\nu\rangle = (\nu - 1)\,\hat a\lvert\nu\rangle .
$$

したがって $\hat a\lvert\nu\rangle \ne 0$ である限り、それは固有値 $\nu-1$ の固有ベクトルです。同じ計算を繰り返すと $\hat a^{j}\lvert\nu\rangle$ は（$0$ でなければ）固有値 $\nu - j$ の固有ベクトルです。また手順 1 と同じ計算で

$$
\bigl\lVert\hat a^{j}\lvert\nu\rangle\bigr\rVert^{2} = (\nu - j + 1)\,\bigl\lVert\hat a^{j-1}\lvert\nu\rangle\bigr\rVert^{2}
$$

が成り立ちます（$\hat a^{j-1}\lvert\nu\rangle$ が固有値 $\nu-j+1$ の固有ベクトルであることに手順 1 を適用しました）。

**手順 3：$\nu$ は非負整数でしかありえない。** $\nu$ が非負整数でないと仮定し、$m = \lfloor\nu\rfloor$（$\nu$ を超えない最大の整数、$m \ge 0$）と置きます。$j \le m+1$ に対して $j - 1 \le m < \nu$ なので $\nu - j + 1 > 0$ です。よって手順 2 のノルムの漸化式から、$j = 1, \ldots, m+1$ のすべてで $\hat a^{j}\lvert\nu\rangle \ne 0$ が帰納的に従います。ところが $\hat a^{m+1}\lvert\nu\rangle$ は固有値 $\nu - m - 1 < 0$ の $0$ でない固有ベクトルであり、手順 1 に矛盾します。したがって $\nu \in \{0,1,2,\ldots\}$ です。

**手順 4：固有値 $0$ の状態は実在する。** 上はまだ「あるとすれば非負整数」という主張にすぎません。実在を見るには $\hat a\lvert 0\rangle = 0$ を位置表示で解きます。$\hat p = -i\hbar\,d/dx$ より $\hat a = \sqrt{\dfrac{m\omega}{2\hbar}}\left(x + \dfrac{\hbar}{m\omega}\dfrac{d}{dx}\right)$ なので、方程式は

$$
\psi_0'(x) = -\frac{m\omega}{\hbar}\,x\,\psi_0(x)
\quad\Longrightarrow\quad
\psi_0(x) = C\exp\left(-\frac{m\omega x^{2}}{2\hbar}\right).
$$

これはガウス関数なので二乗可積分であり、束縛状態です。よって固有値 $0$ は実現します。あとは <Ref to="lem-commutators" /> の $[\hat N,\hat a^{\dagger}] = \hat a^{\dagger}$ から $\hat N(\hat a^{\dagger}\lvert n\rangle) = (n+1)\hat a^{\dagger}\lvert n\rangle$ が従い、帰納的にすべての非負整数が固有値として実現します。

**手順 5：非縮退と規格化。** 固有状態はすべて束縛状態（二乗可積分）で、$V = \tfrac12m\omega^{2}x^{2}$ は連続なので、<Ref to="prop-nondegeneracy" /> より各固有値は非縮退です。よって $\hat a\lvert n\rangle$ は $\lvert n-1\rangle$ の定数倍で、手順 1 の計算からその定数の絶対値は $\sqrt{n}$ です。位相の自由度を使って $\hat a\lvert n\rangle = \sqrt{n}\lvert n-1\rangle$ と約束します。生成側は

$$
\bigl\lVert\hat a^{\dagger}\lvert n\rangle\bigr\rVert^{2} = \langle n\vert\hat a\hat a^{\dagger}\vert n\rangle = \langle n\vert(\hat N + 1)\vert n\rangle = n+1
$$

より $\hat a^{\dagger}\lvert n\rangle = \sqrt{n+1}\lvert n+1\rangle$ です。これを $n$ 回繰り返して $\lvert n\rangle = (\hat a^{\dagger})^{n}\lvert 0\rangle/\sqrt{n!}$ を得ます。最後に $\hat H = \hbar\omega(\hat N + 1/2)$ から $E_n = (n+1/2)\hbar\omega$ です。
</Proof>

<Aside type="tip">
この証明で使ったのは $[\hat a,\hat a^{\dagger}] = 1$ と内積の正定値性だけで、$\hat x$ や $\hat p$ の具体的な形は手順 4（基底状態の存在）でしか登場しません。だから同じ議論が場の量子論の各モードにもそのまま通用します。$\lvert n\rangle$ を「量子（フォノン、光子）が $n$ 個ある状態」と読み替えると、$\hat a^{\dagger}$ は文字どおり粒子を 1 個生成する演算子になります。
</Aside>

<Example id="ex-ground-state" title="基底状態と第一励起状態の波動関数">
長さの自然な単位を $x_0 := \sqrt{\hbar/(m\omega)}$ と置きます。基底状態の規格化定数はガウス積分 $\displaystyle\int_{-\infty}^{\infty}e^{-x^{2}/x_0^{2}}dx = \sqrt{\pi}\,x_0$ から決まり、

$$
\psi_0(x) = \left(\frac{m\omega}{\pi\hbar}\right)^{1/4}\exp\left(-\frac{x^{2}}{2x_0^{2}}\right).
$$

第一励起状態は $\lvert 1\rangle = \hat a^{\dagger}\lvert 0\rangle$ から得られます。$\psi_0' = -x\psi_0/x_0^{2}$ なので

$$
\psi_1(x) = \sqrt{\frac{m\omega}{2\hbar}}\left(x - \frac{\hbar}{m\omega}\frac{d}{dx}\right)\psi_0(x)
= \frac{1}{\sqrt{2}\,x_0}\bigl(x + x\bigr)\psi_0(x) = \sqrt{2}\,\frac{x}{x_0}\,\psi_0(x).
$$

微分を一切実行せずに済んだ点に注目してください。規格化も確認できます。後述の $\langle 0\vert\hat x^{2}\vert 0\rangle = x_0^{2}/2$ を使えば $\int\lvert\psi_1\rvert^{2}dx = (2/x_0^{2})\cdot(x_0^{2}/2) = 1$ です。$\psi_0$ は偶関数、$\psi_1$ は奇関数で、$V$ が偶関数であることと <Ref to="cor-parity" /> に合致しています。

なお $\psi_0$ は $\lvert x\rvert > \sqrt{\hbar/(m\omega)}$、すなわち古典的な転回点 $\lvert x\rvert = \sqrt{2E_0/(m\omega^{2})} = x_0$ の外側でも $0$ ではありません。古典的に禁止された領域への浸み出しは、トンネル効果と同じ現象の別の顔です。
</Example>

### 5.1. 期待値と不確定性

行列要素の計算は、<Ref to="def-ladder" /> の $\hat x, \hat p$ の表式に <Ref to="thm-oscillator-spectrum" /> のはしご関係を代入するだけで済みます。$\hat a\lvert n\rangle \propto \lvert n-1\rangle$、$\hat a^{\dagger}\lvert n\rangle \propto \lvert n+1\rangle$ で $\lvert n\rangle$ と直交するので、

$$
\langle n\vert\hat x\vert n\rangle = 0, \qquad \langle n\vert\hat p\vert n\rangle = 0 .
$$

2 次の量では、$(\hat a + \hat a^{\dagger})^{2} = \hat a^{2} + (\hat a^{\dagger})^{2} + \hat a\hat a^{\dagger} + \hat a^{\dagger}\hat a$ のうち $\hat a^{2}$ と $(\hat a^{\dagger})^{2}$ は $\lvert n\pm2\rangle$ に飛ばすので対角成分に効かず、$\hat a\hat a^{\dagger} + \hat a^{\dagger}\hat a = 2\hat N + 1$ だけが残ります。よって

$$
\langle n\vert\hat x^{2}\vert n\rangle = \frac{\hbar}{2m\omega}(2n+1) = \frac{\hbar}{m\omega}\left(n+\frac12\right),
\qquad
\langle n\vert\hat p^{2}\vert n\rangle = \frac{m\hbar\omega}{2}(2n+1) = m\hbar\omega\left(n+\frac12\right).
$$

（$\hat p$ の側では $(\hat a^{\dagger}-\hat a)^{2}$ の対角部分が $-(2\hat N+1)$ となり、前の $i^{2} = -1$ と打ち消し合って符号が正になります。）ここから二つの帰結が読めます。

第一に、$\langle\hat T\rangle = \dfrac{\langle\hat p^{2}\rangle}{2m} = \dfrac{\hbar\omega}{2}\left(n+\tfrac12\right)$、$\langle\hat V\rangle = \dfrac{m\omega^{2}}{2}\langle\hat x^{2}\rangle = \dfrac{\hbar\omega}{2}\left(n+\tfrac12\right)$ で、運動エネルギーとポテンシャルエネルギーの期待値が等しくなります。古典的な調和振動子で 1 周期平均した結果（[ハミルトン形式の力学](/physics/mechanics/hamiltonian-mechanics) のビリアル定理）と同じです。

第二に、$\langle\hat x\rangle = \langle\hat p\rangle = 0$ なので $\Delta x = \sqrt{\langle\hat x^{2}\rangle}$、$\Delta p = \sqrt{\langle\hat p^{2}\rangle}$ であり、

$$
\Delta x\,\Delta p = \left(n+\frac12\right)\hbar .
$$

基底状態 $n=0$ では $\Delta x\Delta p = \hbar/2$ で、不確定性関係 $\Delta x\Delta p \ge \hbar/2$（<Ref to="physics/quantum-mechanics/operators-and-observables#cor-heisenberg" text="ハイゼンベルクの不確定性原理" />）の等号を実現します。逆に零点エネルギーの存在は不確定性関係から予言できます。$\langle\hat x\rangle=\langle\hat p\rangle=0$ の状態でエネルギーは $E = \dfrac{(\Delta p)^{2}}{2m} + \dfrac{m\omega^{2}}{2}(\Delta x)^{2}$ ですから、$\Delta x \ge \hbar/(2\Delta p)$ を代入して $u = (\Delta p)^{2}$ の関数

$$
f(u) = \frac{u}{2m} + \frac{m\omega^{2}\hbar^{2}}{8u}
$$

を最小化します。$f'(u) = \dfrac{1}{2m} - \dfrac{m\omega^{2}\hbar^{2}}{8u^{2}} = 0$ より $u = \dfrac{m\hbar\omega}{2}$、このとき $f = \dfrac{\hbar\omega}{4} + \dfrac{\hbar\omega}{4} = \dfrac{\hbar\omega}{2}$ です。代数的解法が与えた $E_0 = \hbar\omega/2$ と正確に一致します。

<Example id="ex-hcl" title="HCl 分子の振動：室温では基底状態しかいない">
塩化水素分子の振動の吸収は波数 $\tilde\nu \approx 2886\ \mathrm{cm^{-1}}$ に現れます。対応する波長は $\lambda = 1/\tilde\nu = 3.465\times10^{-6}\ \mathrm{m} = 3465\ \mathrm{nm}$ なので、$hc = 1240\ \mathrm{eV\,nm}$ を使って

$$
\hbar\omega = \frac{hc}{\lambda} = \frac{1240}{3465}\ \mathrm{eV} = 0.358\ \mathrm{eV}.
$$

零点エネルギーは $\hbar\omega/2 = 0.179\ \mathrm{eV}$ です。これは分子の結合が「完全に静止した状態」を取れないことを意味し、結合エネルギーの実測値を解釈するときに必ず差し引かれます。

室温 $T = 300\ \mathrm{K}$ では $k_BT = 0.0259\ \mathrm{eV}$ なので $\hbar\omega/(k_BT) = 13.8$ です。ボルツマン因子は

$$
\frac{P(n=1)}{P(n=0)} = e^{-\hbar\omega/k_BT} = e^{-13.8} \approx 1.0\times10^{-6}
$$

で、100 万個に 1 個しか励起していません。理想気体の定積比熱に振動の自由度が寄与しない（等分配則が破れる）のは、準位間隔 $\hbar\omega$ が $k_BT$ より桁で大きく、振動が「凍結」しているからです。エネルギーが連続なら、どんなに小さい熱エネルギーでも振動を励起できたはずです。離散性の観測可能な帰結として、これはきわめて明快な例です。
</Example>

## 6. 三つの系を見比べる

| | 無限井戸 | 矩形障壁（$E < V_0$） | 調和振動子 |
|---|---|---|---|
| 状態の型 | 束縛状態 | 散乱状態 | 束縛状態 |
| スペクトル | 離散、$E_n \propto n^{2}$ | 連続（$E > 0$ すべて） | 離散、等間隔 $\hbar\omega$ |
| 離散化の理由 | 壁での境界条件 | 離散化しない | 二乗可積分性 |
| 古典的に許される領域 | 井戸の内側全体 | 障壁の外側のみ | $\lvert x\rvert \le \sqrt{2E/(m\omega^{2})}$ |
| 古典との主な違い | 零点エネルギー、離散性 | $T > 0$（透過） | 零点エネルギー、禁止領域への浸み出し |
| 解き方 | 境界条件を課す | 接続条件で係数を決める | はしご演算子の代数 |

三つを並べると、離散性を生むのが方程式ではなく**要求**であることがはっきりします。無限井戸では $\psi(0)=\psi(L)=0$、調和振動子では $\psi \in L^{2}(\mathbb{R})$。どちらも「解が状態として意味を持つための条件」です。障壁の問題ではこの種の要求がないため、$E$ は連続のままで、代わりに透過率という別の量が量子性を担いました。

同じ論理は水素原子でも働きます。動径方程式の解が原点で発散せず無限遠で二乗可積分であるという要求から、主量子数 $n$ が整数に絞られます（[水素原子](/physics/quantum-mechanics/hydrogen-atom) を参照）。

もう一つ強調しておきたいのは、これらが**厳密に解ける数少ない系**だという点です。現実の系は多くの場合これらの厳密解からのずれとして扱われます。非調和項 $\lambda x^{4}$ を持つ振動子、傾いた井戸、周期ポテンシャル。いずれも厳密解を出発点にして補正を系統的に計算します。その手続きが [摂動論](/physics/quantum-mechanics/perturbation-theory) の <Ref to="physics/quantum-mechanics/perturbation-theory#thm-rayleigh-schrodinger" text="レイリー–シュレーディンガーの摂動公式" /> です。本章で得た $\lvert n\rangle$ と行列要素は、そこでそのまま使われます。

## 7. 演習

<Exercise id="exr-well-uncertainty" difficulty="標準">
無限井戸（$0 \le x \le L$）の基底状態 $\psi_1$ について $\Delta x$ と $\Delta p$ を求め、積 $\Delta x\,\Delta p$ を $\hbar$ の単位で数値評価し、不確定性関係 $\Delta x\Delta p \ge \hbar/2$ と比較してください。

<Solution>
対称性より $\langle\hat x\rangle = L/2$ です。$\langle\hat x^{2}\rangle$ を計算します。

$$
\int_{0}^{L}x^{2}\sin^{2}\frac{\pi x}{L}dx = \int_{0}^{L}x^{2}\,\frac{1 - \cos(2\pi x/L)}{2}dx = \frac{L^{3}}{6} - \frac{1}{2}\int_{0}^{L}x^{2}\cos\frac{2\pi x}{L}dx .
$$

$a = 2\pi/L$ と置くと、2 回の部分積分で $\displaystyle\int_{0}^{L}x^{2}\cos ax\,dx = \left[\frac{x^{2}\sin ax}{a} + \frac{2x\cos ax}{a^{2}} - \frac{2\sin ax}{a^{3}}\right]_{0}^{L}$ です。$aL = 2\pi$ より $\sin aL = 0$、$\cos aL = 1$ なので、値は $\dfrac{2L}{a^{2}} = \dfrac{L^{3}}{2\pi^{2}}$ です。よって

$$
\langle\hat x^{2}\rangle = \frac{2}{L}\left(\frac{L^{3}}{6} - \frac{L^{3}}{4\pi^{2}}\right) = L^{2}\left(\frac13 - \frac{1}{2\pi^{2}}\right),
\qquad
(\Delta x)^{2} = L^{2}\left(\frac{1}{12} - \frac{1}{2\pi^{2}}\right).
$$

数値では $1/12 = 0.08333$、$1/(2\pi^{2}) = 0.05066$ なので $(\Delta x)^{2} = 0.03267\,L^{2}$、$\Delta x = 0.1808\,L$ です。

運動量は、$\psi_1$ が実関数なので $\langle\hat p\rangle = -i\hbar\int\psi_1\psi_1'dx = -i\hbar\bigl[\psi_1^{2}/2\bigr]_0^L = 0$ です（境界で $\psi_1 = 0$）。また $\langle\hat p^{2}\rangle = 2m\langle\hat T\rangle = 2mE_1 = \dfrac{\pi^{2}\hbar^{2}}{L^{2}}$ なので $\Delta p = \dfrac{\pi\hbar}{L}$ です。

$$
\Delta x\,\Delta p = 0.1808\,L \times \frac{\pi\hbar}{L} = 0.568\,\hbar > 0.5\,\hbar .
$$

不確定性関係を満たしており、しかも下限にかなり近い値です。等号が実現しないのは、下限を与えるのはガウス型の波動関数であり、$\sin$ 型はそれと違うからです。
</Solution>
</Exercise>

<Exercise id="exr-delta-well" difficulty="標準">
$V(x) = -\alpha\,\delta(x)$（$\alpha > 0$）に対する束縛状態（$E < 0$）をすべて求め、規格化まで実行してください。

<Solution>
$E < 0$ とし $\kappa = \sqrt{-2mE}/\hbar > 0$ と置きます。$x \ne 0$ では $V = 0$ なので $\psi'' = \kappa^{2}\psi$、一般解は $e^{\pm\kappa x}$ です。二乗可積分性から $x > 0$ では $e^{\kappa x}$ の項が、$x < 0$ では $e^{-\kappa x}$ の項が禁じられるので

$$
\psi(x) = \begin{cases} A e^{\kappa x} & (x<0) \\ B e^{-\kappa x} & (x>0) \end{cases}
$$

です。$\psi$ の連続性より $A = B$。よって $\psi(x) = A e^{-\kappa\lvert x\rvert}$ です。

<Ref to="prop-matching" /> (2) を $\lambda = -\alpha$、$x_0 = 0$ に適用します。$\psi'(0^{+}) = -\kappa A$、$\psi'(0^{-}) = +\kappa A$ なので跳びは $-2\kappa A$ で、

$$
-2\kappa A = \frac{2m(-\alpha)}{\hbar^{2}}A
\quad\Longrightarrow\quad
\kappa = \frac{m\alpha}{\hbar^{2}} .
$$

$\kappa$ が一意に決まったので束縛状態はちょうど一つです。エネルギーは

$$
E = -\frac{\hbar^{2}\kappa^{2}}{2m} = -\frac{m\alpha^{2}}{2\hbar^{2}} .
$$

規格化は $\displaystyle\int_{-\infty}^{\infty}A^{2}e^{-2\kappa\lvert x\rvert}dx = 2A^{2}\int_{0}^{\infty}e^{-2\kappa x}dx = \frac{A^{2}}{\kappa} = 1$ より $A = \sqrt{\kappa}$、したがって

$$
\psi(x) = \frac{\sqrt{m\alpha}}{\hbar}\exp\left(-\frac{m\alpha\lvert x\rvert}{\hbar^{2}}\right).
$$

$\psi$ は偶関数で、<Ref to="cor-parity" /> と整合しています。
</Solution>
</Exercise>

<Exercise id="exr-x4" difficulty="難">
調和振動子の固有状態 $\lvert n\rangle$ に対して $\langle n\vert\hat x^{4}\vert n\rangle$ を求めてください。さらに $n=0$ で $\langle\hat x^{4}\rangle / \langle\hat x^{2}\rangle^{2}$ を計算し、結果を解釈してください。

<Solution>
$\lambda = \sqrt{\hbar/(2m\omega)}$、$X = \hat a + \hat a^{\dagger}$ と置くと $\hat x = \lambda X$ で、$X$ は自己共役です。したがって

$$
\langle n\vert\hat x^{4}\vert n\rangle = \lambda^{4}\,\langle n\vert X^{4}\vert n\rangle = \lambda^{4}\,\bigl\lVert X^{2}\lvert n\rangle\bigr\rVert^{2}
$$

と、ノルムの計算に帰着します（$X^{2}$ が自己共役であることを使いました）。<Ref to="thm-oscillator-spectrum" /> より

$$
X\lvert n\rangle = \sqrt{n}\,\lvert n-1\rangle + \sqrt{n+1}\,\lvert n+1\rangle
$$

なので、もう一度 $X$ を掛けて

$$
X^{2}\lvert n\rangle = \sqrt{n(n-1)}\,\lvert n-2\rangle + \bigl(n + (n+1)\bigr)\lvert n\rangle + \sqrt{(n+1)(n+2)}\,\lvert n+2\rangle .
$$

$\lvert n-2\rangle, \lvert n\rangle, \lvert n+2\rangle$ は互いに直交する規格化された状態なので、ノルムの 2 乗は係数の 2 乗和です。

$$
\bigl\lVert X^{2}\lvert n\rangle\bigr\rVert^{2} = n(n-1) + (2n+1)^{2} + (n+1)(n+2) = 6n^{2} + 6n + 3 .
$$

（$n^{2}-n + 4n^{2}+4n+1 + n^{2}+3n+2$ を整理しました。$n = 0$ や $n=1$ でも係数 $\sqrt{n(n-1)}$ が $0$ になるので式はそのまま通用します。）よって

$$
\langle n\vert\hat x^{4}\vert n\rangle = \frac{\hbar^{2}}{4m^{2}\omega^{2}}\bigl(6n^{2}+6n+3\bigr) = \frac{3\hbar^{2}}{4m^{2}\omega^{2}}\bigl(2n^{2}+2n+1\bigr).
$$

$n = 0$ では $\langle\hat x^{4}\rangle = \dfrac{3\hbar^{2}}{4m^{2}\omega^{2}}$、一方 $\langle\hat x^{2}\rangle = \dfrac{\hbar}{2m\omega}$ なので

$$
\frac{\langle\hat x^{4}\rangle}{\langle\hat x^{2}\rangle^{2}} = \frac{3\hbar^{2}/(4m^{2}\omega^{2})}{\hbar^{2}/(4m^{2}\omega^{2})} = 3 .
$$

これは平均 $0$ のガウス分布の 4 次モーメントの公式 $\langle x^{4}\rangle = 3\langle x^{2}\rangle^{2}$ そのものです。<Ref to="ex-ground-state" /> で見たとおり $\lvert\psi_0\rvert^{2}$ がガウス分布なので当然の結果ですが、波動関数の形を一切使わずに代数だけで再現できた点が重要です。なおこの行列要素は、非調和ポテンシャル $\lambda x^{4}$ の 1 次摂動エネルギーそのものです。
</Solution>
</Exercise>

<Exercise id="exr-stm" difficulty="易">
走査トンネル顕微鏡では、金属探針と試料の間の真空を電子がトンネルします。障壁の高さを仕事関数から $V_0 - E = 4.0\ \mathrm{eV}$ と見積もるとき、探針と試料の距離が $0.10\ \mathrm{nm}$（原子 1 個分の大きさ程度）縮んだらトンネル電流は何倍になりますか。

<Solution>
<Ref to="cor-thick-barrier" /> より、前置因子を一定とみなせば電流は $e^{-2\kappa a}$ に比例します。減衰定数は <Ref to="ex-barrier-numbers" /> と同じ計算で

$$
\kappa = \frac{\sqrt{2\,(m_ec^{2})(V_0-E)}}{\hbar c} = \frac{\sqrt{2 \times 5.110\times10^{5} \times 4.0}}{197.3}\ \mathrm{nm^{-1}} = 10.2\ \mathrm{nm^{-1}} .
$$

距離が $\Delta a = -0.10\ \mathrm{nm}$ 変化したときの電流比は

$$
\frac{I(a + \Delta a)}{I(a)} = e^{-2\kappa\Delta a} = e^{2 \times 10.2 \times 0.10} = e^{2.05} \approx 7.8 .
$$

距離が原子 1 個分縮むだけで電流が約 8 倍、つまりほぼ 1 桁変わります。逆に言えば、電流を一定に保つよう探針の高さを制御すれば、$0.01\ \mathrm{nm}$ 程度の凹凸でも電流は 20 % 以上変化して検出できます。STM が原子分解能を持つ理由は、透過率が幅に**指数関数的に**依存するという <Ref to="cor-thick-barrier" /> の構造そのものにあります。
</Solution>
</Exercise>

## 参考文献

- J. J. Sakurai, J. Napolitano, *Modern Quantum Mechanics*, 3rd ed., Cambridge University Press, 2020 — 第 2 章（調和振動子の代数的解法と時間発展）。
- D. J. Griffiths, D. F. Schroeter, *Introduction to Quantum Mechanics*, 3rd ed., Cambridge University Press, 2018 — 第 2 章（無限井戸・調和振動子・デルタ関数ポテンシャル・有限井戸と障壁）。
- 猪木慶治・川合光『量子力学 I』講談社、1994 — 第 3 章・第 4 章（1 次元ポテンシャル問題と調和振動子）。
- L. D. Landau, E. M. Lifshitz, *Quantum Mechanics: Non-Relativistic Theory*, 3rd ed., Pergamon Press, 1977 — 第 III 章（1 次元運動）、第 VII 章（準古典近似とトンネル）。
- G. Gamow, "Zur Quantentheorie des Atomkernes", *Zeitschrift für Physik* **51** (1928), 204–212 — $\alpha$ 崩壊のトンネル理論の原論文。
- G. Binnig, H. Rohrer, Ch. Gerber, E. Weibel, "Surface Studies by Scanning Tunneling Microscopy", *Physical Review Letters* **49** (1982), 57–61. [DOI: 10.1103/PhysRevLett.49.57](https://doi.org/10.1103/PhysRevLett.49.57)

## Appendix: 有限の深さの井戸

<Ref to="rem-wall-derivative" /> で触れた「無限井戸は極限である」という点を確かめておきます。

$$
V(x) = \begin{cases} -V_0 & (\lvert x\rvert < a) \\ 0 & (\lvert x\rvert > a)\end{cases}
\qquad (V_0 > 0)
$$

に対し $-V_0 < E < 0$ の束縛状態を探します。$k = \sqrt{2m(E+V_0)}/\hbar$、$\kappa = \sqrt{-2mE}/\hbar$ と置くと、内部では振動解、外部では減衰解になります。$V$ は偶関数なので <Ref to="cor-parity" /> より偶解と奇解に分けて考えられます。

偶解は $\psi = A\cos kx$（内部）、$\psi = Be^{-\kappa\lvert x\rvert}$（外部）です。<Ref to="prop-matching" /> (1) より $x=a$ で $\psi$ と $\psi'$ が連続なので、両者の比（対数微分）を取ると $A$ と $B$ が消えて

$$
-k\tan ka = -\kappa, \qquad\text{すなわち}\qquad k\tan ka = \kappa
$$

を得ます。奇解 $\psi = A\sin kx$ からは同様に $-k\cot ka = \kappa$ が出ます。

ここで $z = ka$、$z_0 = \dfrac{a\sqrt{2mV_0}}{\hbar}$ と置くと $k^{2}+\kappa^{2} = 2mV_0/\hbar^{2}$ から $\kappa a = \sqrt{z_0^{2}-z^{2}}$ なので、偶解の条件は

$$
\tan z = \frac{\sqrt{z_0^{2}-z^{2}}}{z}, \qquad 0 < z < z_0
$$

という超越方程式になります。左辺は $z \to 0^{+}$ で $0$、$z \to (\pi/2)^{-}$ で $+\infty$ に発散し、右辺は $z \to 0^{+}$ で $+\infty$、$z = z_0$ で $0$ に単調減少します。中間値の定理より、$z_0$ がどれほど小さくても $0 < z < \min(z_0, \pi/2)$ に解が必ず一つ存在します。**1 次元の引力ポテンシャルは、どんなに浅くても必ず束縛状態を持つ**わけです。3 次元では成り立たない、1 次元に特有の性質です。

束縛状態の個数は $\lceil 2z_0/\pi\rceil$ 個で、$V_0 \to \infty$（すなわち $z_0 \to \infty$）で無限個になります。またこの極限で $\kappa \to \infty$ となり、外部への浸み出しの深さ $1/\kappa$ が $0$ に潰れます。こうして <Ref to="thm-infinite-well" /> の状況が回復します。


</div>
