コンテンツにスキップ

第 7 章 原子はなぜ安定か? — 量子力学の誕生


前回までのあらすじ: 第 5〜6 章で相対論の幹を辿った。特殊相対論が時間と空間を書き換え、一般相対論が重力を時空の曲がりとして記述する。ここからは第 4 章で残したもう一つの危機——原子の安定性問題——に戻り、量子論の幹を辿り直す。

この章のゴール

  • 量子力学は 「量子力学」編 第 1 章 で系統的に扱われている
  • 本章ではその到達点を圧縮して受け取りつつ、弦理論に直接つながる構造——調和振動子の昇降演算子による量子化——をひときわ丁寧に押さえ、相対論の幹との合流点を見極める

この章の読み方

本章は 「量子力学」編 プロローグ を読了済みという前提で書いている。古典物理の危機・Bohr 模型・Schrödinger 方程式・交換関係と不確定性原理・調和振動子の代数的解法・スピンはすべて「量子力学」編で導出済みなので、ここでは結果のみを要約する。その代わり、弦理論で再登場する「昇降演算子とエネルギー準位の梯子」「最小エネルギーの和としての零点エネルギー」の構造を強調し、「量子力学」編 第 27 章 が扱う「Schrödinger 方程式と特殊相対論の両立不可能性」を、本書 Part III の流れに接続する形で整理する。

%%{init: {"theme": "default", "themeCSS": ".edgePath .path, .flowchart-link { stroke-width: 2px !important; }"}}%%
flowchart LR
    subgraph A["「量子力学」編で整備済み"]
        A1["古典物理の危機<br/>Planck / Bohr"]
        A2["波動関数と<br/>Schrödinger 方程式"]
        A3["交換関係と<br/>不確定性原理"]
        A4["調和振動子<br/>(代数的解法)"]
        A5["スピン<br/>(Pauli 行列)"]
    end

    subgraph B["本章で強調する独自内容"]
        B1["昇降演算子<br/>a, a†"]
        B2["零点エネルギー<br/>ℏω/2"]
        B3["無限個の調和振動子<br/>= 弦の量子化"]
    end

    subgraph C["次章への橋渡し"]
        C1["相対論との衝突<br/>→ 場の量子論 (第8章)"]
    end

    A4 --> B1
    B1 --> B2
    B2 --> B3
    A2 --> C1
    A3 --> C1

図 7.1: 本章の位置付けと前後の関係


7.1 要点サマリ:古典物理の危機と Bohr 模型

🟡 リナ: 相対論の幹を一通り辿ったから、ここからは量子論の幹に戻るわね。出発点は第 4 章で触れた「古典物理の破綻」。19 世紀末、Newton 力学と Maxwell 電磁気学の枠組みでは説明できない現象が次々に現れた。詳細は 「量子力学」編 第 1 章 に譲って、Part III で必要な結論だけ 表 7.1「古典物理の危機とその解決」 にまとめたわ。

表 7.1: 古典物理の危機とその解決

危機 矛盾の核心 解決者 鍵となる式
黒体輻射の紫外破綻 古典予言が高振動数で発散 Planck (1900) \(E = nh\nu\)
光電効果 光の強度ではなく振動数が決め手 Einstein (1905) \(K = h\nu - W\)
原子の安定性 電子が \(10^{-11}\) 秒で落ち込む Bohr (1913) \(E_n = -13.6\,\mathrm{eV}/n^2\)

🔵 カイ: 3 つとも Planck 定数 \(h\) が効いているんですよね。でも Bohr の「定常状態では放射しない」とか「角運動量は \(\hbar\) の整数倍」って、なぜそうなるかの説明がないまま仮定されていませんか?

🟡 リナ: そう。貫く定数は \(h \approx 6.626\times 10^{-34}\,\mathrm{J\cdot s}\)\(\hbar = h/(2\pi)\)。自然は連続ではなく離散(飛び飛び)に振る舞う——これがすべての出発点。Bohr の水素原子模型では、電子の許される軌道半径が

\[ r_n = a_0\, n^2 \quad (n = 1, 2, 3, \ldots), \qquad a_0 = \frac{4\pi\varepsilon_0\hbar^2}{m_e e^2} \approx 0.529\times 10^{-10}\,\mathrm{m} \]

と飛び飛びの値しか取れない。\(a_0\)Bohr 半径と呼ばれ、最も内側の軌道(\(n = 1\))の半径に当たる。対応するエネルギー準位が表の \(E_n = -13.6\,\mathrm{eV}/n^2\) で、\(n = 1\) が最低エネルギー(基底状態)——原子はこれより下に落ち込めないことが説明された。

✅ 理解度チェック: 古典物理の3つの危機(黒体輻射・光電効果・原子の安定性)に共通して登場する物理定数は何でしょうか?また、それが意味する自然の根本的な性質は何でしょうか?

答え

共通して登場するのはPlanck定数 \(h\)(または \(\hbar = h/(2\pi)\))。これは自然が連続ではなく離散(飛び飛び)に振る舞うことを示している。エネルギーや角運動量が任意の値を取れず、\(h\) を単位とした飛び飛びの値しか許されない。

⚪ メイ: つまり Bohr の仮説は「実験に合う」ことは確認されたけれど、「なぜその条件が成り立つのか」はモデルの外から持ち込まれたまま——理論としては不完全ということね。

🟡 リナ: その通り。「なぜ」への答えは 1925-26 年の量子力学で初めて与えられる。なお、Bohr が仮置きで得た Bohr 半径 \(a_0\) も、その後の量子力学では Bohr の量子条件を仮定せずに再導出できるようになる——この変遷自体が、量子力学が Bohr モデルを正しく包含し超えていることの証拠よ。

📖 「量子力学」編との接続: Bohr 半径の導出は 3 通りある。(i) Bohr の量子条件から直接 (「量子力学」編 第 1 章)、(ii) 不確定性原理から \(E(r)\sim \hbar^2/(2m_er^2) - e^2/(4\pi\varepsilon_0 r)\) を最小化 (「量子力学」編 8.9「応用:不確定性原理と原子の安定性」)、(iii) Schrödinger 方程式を球対称ポテンシャルで厳密に解く (「量子力学」編 第 16 章)。(ii) と (iii) はどちらも余分な仮説を必要としない。


7.2 要点サマリ:波動関数と Schrödinger 方程式

🟡 リナ: 1924 年、de Broglie が「光が波でも粒子でもあるなら、電子のような粒子も波のはず」と提案した。運動量 \(p\) の粒子に対応する物質波の波長は \(\lambda = h/p\)。ここから平面波の解析と古典的エネルギー関係 \(E = p^2/(2m) + V(x)\) を組み合わせると、波動関数 \(\Psi(x, t)\) に対する時間依存 Schrödinger 方程式

\[ i\hbar \frac{\partial \Psi}{\partial t} = \left[-\frac{\hbar^2}{2m}\frac{\partial^2}{\partial x^2} + V(x)\right] \Psi = \hat{H}\Psi \]

が得られる。導出と物理的動機づけは 「量子力学」編 第 7 章 に詳しい。

🟡 リナ: つまり、古典エネルギーの式 \(E = p^2/(2m) + V\) に対して \(E \to i\hbar\,\partial_t\)\(p \to -i\hbar\,\partial_x\) という置き換えを施すと、Schrödinger 方程式がそのまま出てくる(図 7.2「量子化の手続き」)。

量子化の手続き

図 7.2: 量子化の手続き。古典的な物理量(数値)を演算子に「昇格」させる。古典的エネルギー関係 → 演算子方程式(Schrödinger 方程式)、という対応が粒子・場・弦で繰り返し適用される。

⚪ メイ: なるほど、古典的な数値を演算子に「昇格」させるだけで方程式の形が決まるのね。置き換えルールが固定されている以上、出発点の古典的エネルギー関係が変われば出てくる方程式も変わるということ?

🟡 リナ: そう。逆に言えば、出発点さえ決まれば方程式はほぼ自動的に決まる——選択の余地がほとんどないの。

🟡 リナ: そう。そして Born の確率解釈により、\(|\Psi(x, t)|^2\, dx\) が時刻 \(t\) に位置 \(x \sim x+dx\) で粒子を見つける確率を与え、全空間の積分は 1 に規格化される。定常状態 \(\Psi(x, t) = \psi(x)\, e^{-iEt/\hbar}\) に対しては、時間に依存しない Schrödinger 方程式 \(\hat{H}\psi = E\psi\) がエネルギー固有値 \(E\) を決める。

🔵 カイ: 「数値を演算子に置き換える」って、すごく大胆な操作ですよね。これって他の場面でも使えるんですか?

🟡 リナ: いい質問。この手続きを量子化 (quantization) と呼ぶの。実はこの先、第 8 章で場に対して、第 14 章で弦に対して、繰り返し同じ手続きが適用されるわ。そのたびに新しい世界が開けていく。

🔵 カイ: 同じ手続きを繰り返すだけで、対象が「粒子→場→弦」と広がっていくんですね。でも、なぜこの置き換えでうまくいくのかは……まだモヤモヤします。

🟡 リナ: そのモヤモヤは正しいわ。「なぜうまくいくのか」は、実験と整合する結果が出ることで事後的に正当化される——量子力学の公理的な性格ね。先に進むと、この手続きの威力がもっと見えてくるから、今は「こういうルールだ」と受け入れて進みましょう。

🔵 カイ: 「なぜ」は保留にして、まずはこのルールがどこまで使えるか見届けます。……でも一つだけ気になるのは、この置き換えって \(E = p^2/(2m) + V\) という非相対論的な式から出発してますよね。相対論的なエネルギー関係 \(E^2 = p^2c^2 + m^2c^4\) に同じ置き換えをしたら、何が起きるんだろう。

🟡 リナ: いい予感ね。その問いの答えは、この章の最後で見届けることになるわ。

📖 重要な見方: \(E \to i\hbar\,\partial_t\)\(p \to -i\hbar\,\partial_x\) で「古典エネルギー式を演算子方程式に昇格させる」——これが量子力学の基本動作。次節以降で繰り返し使う。

✅ 理解度チェック: 量子化とはどのような手続きでしょうか?古典的なエネルギーと運動量に対して、それぞれどのような演算子への置き換えを行うでしょうか?

答え

量子化とは、古典的な物理量(数値)を演算子に「昇格」させる手続きのこと。具体的には \(E \to i\hbar\,\partial_t\)\(p \to -i\hbar\,\partial_x\) と置き換える。この置き換えを古典的エネルギー関係 \(E = p^2/(2m) + V\) に施すと、Schrödinger方程式が得られる。この手続きは場の量子論や弦理論でも繰り返し適用される。


7.3 要点サマリ:演算子・交換関係・不確定性原理

🟡 リナ: 位置と運動量を演算子 \(\hat{x} = x\)\(\hat{p} = -i\hbar\,\partial/\partial x\) に置き換えると、任意の波動関数に対して

\[ [\hat{x}, \hat{p}] = i\hbar \]

が成り立つの(正準交換関係)。導出は 「量子力学」編 第 8 章 を参照。

🔵 カイ: 演算子の掛ける順番が結果に効くってことですよね。

🟡 リナ: そう。ここから不確定性原理が導かれるの。直感的に言うと、2 つの演算子が交換しないとき、それぞれの測定値の「ばらつき」を同時にゼロにはできない。これを数学的に定式化したのが Robertson の不等式。式に入る前に記号を確認しておくわね。\(\langle \cdots \rangle\)期待値——ある状態を何度も用意して同じ測定を繰り返したときの平均値を表す記号。\(\Delta A\) は物理量 \(A\) の測定値のばらつき(標準偏差)で、\(\Delta A = \sqrt{\langle \hat{A}^2 \rangle - \langle \hat{A} \rangle^2}\)——つまり「測定値の 2 乗の平均」から「測定値の平均の 2 乗」を引いて平方根を取ったもの。高校の統計で分散を \(\sigma^2 = \frac{1}{n}\sum(x_i - \bar{x})^2\) と習ったと思うけれど、これを展開すると \(\overline{x^2} - \bar{x}^2\)(「2 乗の平均 − 平均の 2 乗」)と同じ形になる——それと全く同じ構造よ。同じ状態を何度も用意して \(A\) を測定したとき、結果がどれだけ散らばるかを表す量。これらを使うと、Robertson の不等式は

\[ \Delta A\, \Delta B \geq \frac{1}{2}\bigl|\langle [\hat{A}, \hat{B}] \rangle \bigr| \]

と書ける。右辺の \(\langle [\hat{A}, \hat{B}] \rangle\) は「交換子の期待値(平均値)」——2 つの演算子がどれだけ交換しないかを、その状態で平均したもの。

🔵 カイ: つまり、ばらつきの積に「交換しなさ」が下限を与えるわけですか。

🟡 リナ: その通り。証明の手順は 「量子力学」編 第 8 章 に譲るわ。大事なのは結論:交換子がゼロでない限り、両方のばらつきを同時にゼロにはできない。特に \(\hat{A} = \hat{x}\), \(\hat{B} = \hat{p}\)\([\hat{x}, \hat{p}] = i\hbar\) を代入すると、右辺は \(\frac{1}{2}|\langle i\hbar \rangle| = \frac{1}{2}\hbar\)\(i\hbar\) は定数だから、どんな状態で期待値を取っても \(i\hbar\) のまま、絶対値を取れば \(\hbar\))となり

\[ \Delta x \cdot \Delta p \geq \frac{\hbar}{2} \]

が得られる。これが Heisenberg の不確定性原理——図 7.3「不確定性原理の可視化」 に可視化したから、数式と合わせて見てね。

不確定性原理と零点エネルギー

図 7.3: 不確定性原理の可視化。左: 位置空間で波束が狭い(\(\Delta x\) 小)と運動量空間では広がる(\(\Delta p\) 大)。中: 逆もまた然り。右: \(\Delta x \cdot \Delta p = \hbar/2\) の等号を満たすのが基底状態(ガウス波束)で、この曲線より下の領域は物理的に禁止される。

🟡 リナ: そして大事なのは、この不等式が「測定装置が粒子を乱すから」という話ではないということ。演算子が交換しないという数学的構造そのものの帰結なの。

⚪ メイ: つまり、どんなに精密な測定装置を作っても回避できない——装置の問題ではなく、理論の骨格に組み込まれた制約ということね。

🟡 リナ: その通り。そして不確定性原理は、Bohr が仮置きした「電子が原子核に落ち込まない」事実の根本的な理由も与える。電子を半径 \(r\) 程度の領域に閉じ込めると \(\Delta x \sim r\) だから、不確定性原理 \(\Delta x \cdot \Delta p \gtrsim \hbar\) より \(\Delta p \sim \hbar/r\)。運動エネルギーの概算値は \(\langle T\rangle \sim (\Delta p)^2/(2m_e) \sim \hbar^2/(2m_er^2)\) となり、\(r\) を小さくするほど増大する。一方 Coulomb ポテンシャルは \(-e^2/(4\pi\varepsilon_0 r)\) で、\(r \to 0\) での増大が \(1/r^2\) より遅い \(1/r\) だから、ある半径で運動エネルギーの増大が勝つ。エネルギーの合計を最小化すると \(r_{\min} \sim a_0\) が得られるの(「量子力学」編 8.9「応用:不確定性原理と原子の安定性」)。

🔵 カイ: おお、閉じ込めるほど暴れて逃げようとするから、落ち込みきれない——不確定性原理が壁になるんですね。

✅ 理解度チェック: 不確定性原理は「測定装置が粒子を乱すから精度に限界がある」という意味でしょうか?そうでないなら、その本質は何でしょうか?

答え

測定装置の問題ではない。不確定性原理は、位置演算子と運動量演算子が交換しない(\([\hat{x}, \hat{p}] = i\hbar\))という数学的構造そのものの帰結である。演算子の非可換性から Robertson の不等式を経て \(\Delta x \cdot \Delta p \geq \hbar/2\) が導かれるもので、いかなる測定方法を用いても回避できない原理的な制約。

🔵 カイ: Bohr の「角運動量量子化」の仮説なしで Bohr 半径が出てくるんですね。でも、不確定性原理からの概算と Schrödinger 方程式の厳密解で、同じ \(a_0\) がぴったり一致するのはなぜですか? 偶然?

🟡 リナ: 偶然じゃないわ。不確定性原理の概算は「\(\Delta x \cdot \Delta p \sim \hbar\) のもとでエネルギーを最小化する」という操作で、Schrödinger 方程式の厳密解は「ハミルトニアンの最低固有値を求める」という操作——どちらも同じ物理(量子力学の正準交換関係)から出発して、同じ最小エネルギー状態を別の道筋で見つけているの。だから答えが一致するのは必然なのよ。

🟡 リナ: そして弦理論に効いてくるのがまさにこの視点:「交換関係が量子構造を決める」第 14 章で弦の振動モードに \([\hat{a}, \hat{a}^\dagger] = 1\) と同型の交換関係を課して弦を量子化する——次節で準備する道具が、そこで直接使われる。

📖 弦理論への布石: 正準交換関係という「たった 1 行の式」が、量子力学・場の量子論・弦理論すべての骨格。次節で具体例として調和振動子を扱う。


7.4 調和振動子と昇降演算子 — 弦理論への最重要準備

🟡 リナ: ここからがこの章の独自内容。調和振動子の代数的解法は 「量子力学」編 第 9 章 で詳しく扱われているけれど、弦理論では弦の各振動モードが独立な調和振動子として振る舞うため、昇降演算子の構造を手元に置いておく必要があるの。導出のステップを一つずつ追いながら、弦理論への伏線まで踏み込むわよ。

ハミルトニアンの書き換え

🟡 リナ: 調和振動子のハミルトニアン——系の全エネルギー(運動エネルギー+ポテンシャルエネルギー)を位置と運動量で表したもの——を量子化すると

\[ \hat{H} = \frac{\hat{p}^2}{2m} + \frac{1}{2}m\omega^2 \hat{x}^2 \]

となる。第 1 項 \(\hat{p}^2/(2m)\) が運動エネルギー、第 2 項 \(m\omega^2\hat{x}^2/2\) がバネのポテンシャルエネルギーに対応するわ。これは \(\hat{x}^2\)\(\hat{p}^2\) の和——つまり「2 乗の和」の形をしているわね。

🔵 カイ: 2 乗の和……普通の数なら \(a^2 + b^2 = (a+ib)(a-ib)\) って因数分解できますよね。演算子でも同じことができるんですか? でも演算子は順番が効くから、単純にはいかなそう……。

🟡 リナ: いい着眼点。まさにその「順番が効く」ところが鍵になるの。 演算子でも同じ発想を試みるの。\(\hat{x}\)\(\hat{p}\) を適切に組み合わせて「\(\hat{x} + (\text{何か})\hat{p}\)」と「\(\hat{x} - (\text{何か})\hat{p}\)」の積にできないか——これが昇降演算子の動機よ。次元と係数を合わせると

\[ \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) \]

という形になる。\(\dagger\)(ダガー)は「エルミート共役」と呼ばれる操作を表す記号だけど、今の文脈では単に \(i\)\(-i\) に置き換える操作だと思えばいいわ。なぜそれだけで済むかというと、\(\hat{x}\)\(\hat{p}\) は測定すると実数値が出る演算子(実数的な演算子)だから \(\dagger\) をつけても変わらず、前の係数 \(\sqrt{m\omega/(2\hbar)}\) も実数だから変わらない——結局 \(i\) だけが \(-i\) に変わるの。エルミート共役の一般的な意味は「量子力学」編(「量子力学」編 第 8 章 以降)で扱うから、今は「\(\hat{a}\)\(\hat{a}^\dagger\)\(i\) の符号だけが逆のペア」とだけ覚えて。ただし演算子は交換しないから、\(\hat{a}^\dagger\hat{a}\)\(\hat{a}\hat{a}^\dagger\) は等しくない——その「ずれ」を計算してみましょう。

⚪ メイ: 「\(i\) の符号を反転させたペア」を作って、それらの積でハミルトニアンを表す——普通の因数分解の演算子版ということね。

🟡 リナ: そう。定義から \(\hat{a}\hat{a}^\dagger - \hat{a}^\dagger\hat{a}\) を展開すると、\(\hat{x}\hat{p} - \hat{p}\hat{x} = i\hbar\) の項だけが残って

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

が得られる。ここで交換子には分配法則 \([A + B,\, C] = [A, C] + [B, C]\) および \([A,\, B + C] = [A, B] + [A, C]\) が成り立つ(演算子の積の定義から直接確かめられる)。これを使って 4 項に展開すると

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

となる。\([\hat{x}, \hat{x}] = 0\)\([\hat{p}, \hat{p}] = 0\) の項は消え、\([\hat{x}, \hat{p}] = i\hbar\) を含む 2 項だけが残る。ここで「定数は交換子の外に出せる」という性質——\([A,\, cB] = c[A, B]\)\(c\) が数のとき)——を使うと

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

ここで \([\hat{p}, \hat{x}] = -[\hat{x}, \hat{p}] = -i\hbar\) だから、第 1 項は \(\frac{-i}{m\omega}\cdot [\hat{x}, \hat{p}] = \frac{-i}{m\omega}\cdot i\hbar = \frac{\hbar}{m\omega}\)、第 2 項は \(\frac{i}{m\omega}\cdot [\hat{p}, \hat{x}] = \frac{i}{m\omega}\cdot(-i\hbar) = \frac{\hbar}{m\omega}\) となり、合わせて

\[ = \frac{m\omega}{2\hbar}\cdot\frac{2\hbar}{m\omega} = 1 \]

つまり \([\hat{a}, \hat{a}^\dagger] = 1\) が示された。

🔵 カイ: うわ、あれだけ複雑な計算を経て、最後は \(= 1\) にきれいに落ちるんですね!

🟡 リナ: そう、これが昇降演算子を定義した最大のご褒美。数演算子 \(\hat{N} \equiv \hat{a}^\dagger\hat{a}\) を使うとハミルトニアンは

\[ \hat{H} = \hbar\omega\left(\hat{N} + \frac{1}{2}\right) \]

と、数演算子の固有値問題だけにまで圧縮される。「数演算子」という名前の理由はすぐ後で分かるわ——この演算子の固有値がちょうど \(n = 0, 1, 2, \ldots\) という「個数」になるの。\(1/2\) のずれが、まさに演算子が交換しないことの痕跡——零点エネルギーの起源よ。

✅ 理解度チェック: 昇降演算子 \(\hat{a}, \hat{a}^\dagger\) を導入することで、調和振動子のハミルトニアンはどのような簡潔な形に書き換えられるでしょうか?この書き換えの利点は何でしょうか?

答え

\(\hat{H} = \hbar\omega(\hat{N} + 1/2)\)\(\hat{N} = \hat{a}^\dagger\hat{a}\) は数演算子)と書き換えられる。利点は、\(\hat{x}\)\(\hat{p}\) の2次形式だったハミルトニアンが、数演算子 \(\hat{N}\) という一つの演算子の固有値問題に集約されること。\(\hat{N}\) の固有値 \(n\) さえ分かればエネルギーが直ちに \(E_n = \hbar\omega(n + 1/2)\) と決まる。

⚪ メイ: \(\hat{H}\)\(\hat{x}\)\(\hat{p}\) の 2 次形式だったのが、\(\hat{N}\) という一つの演算子だけで書ける形に畳まれたのね。

🟡 リナ: そう。ここが美しさのポイント。\(\hat{N}\) の固有値 \(n\) さえ分かればエネルギーが決まる——この「固有値問題を 1 つの演算子に集約する」アイデアが、第 14 章で弦を量子化するときに威力を発揮するわ。

エネルギー準位の梯子

🟡 リナ: \(\hat{H} = \hbar\omega(\hat{a}^\dagger\hat{a} + 1/2)\)\([\hat{a}, \hat{a}^\dagger] = 1\) から、\(\hat{H}\)\(\hat{a}^\dagger\) の交換関係を計算してみると——\([\hat{a}^\dagger\hat{a},\, \hat{a}^\dagger] = \hat{a}^\dagger\hat{a}\hat{a}^\dagger - \hat{a}^\dagger\hat{a}^\dagger\hat{a}\) で、第 1 項の \(\hat{a}\hat{a}^\dagger\) を交換関係 \(\hat{a}\hat{a}^\dagger = \hat{a}^\dagger\hat{a} + 1\) で置き換えると \(\hat{a}^\dagger(\hat{a}^\dagger\hat{a} + 1) - \hat{a}^\dagger\hat{a}^\dagger\hat{a} = \hat{a}^\dagger\hat{a}^\dagger\hat{a} + \hat{a}^\dagger - \hat{a}^\dagger\hat{a}^\dagger\hat{a} = \hat{a}^\dagger\) だから

\[ [\hat{H}, \hat{a}^\dagger] = +\hbar\omega\,\hat{a}^\dagger, \qquad [\hat{H}, \hat{a}] = -\hbar\omega\,\hat{a} \]

が得られる。

⚪ メイ: 交換関係ひとつで「\(\hat{a}^\dagger\) がエネルギーを \(\hbar\omega\) だけ上げる」「\(\hat{a}\) が下げる」という構造が出てくるのね。

🟡 リナ: これが何を意味するか見てみましょう。ここで \(|n\rangle\) という記号を使うわ——これは「エネルギー量子数が \(n\) の状態」を表す記法(ケット記法と呼ばれる)で、波動関数 \(\psi_n(x)\) と同じ状態を指しているの。\(\psi_n(x)\) と書くと位置 \(x\) の関数として具体的な形が気になるけれど、今やりたいのは「\(\hat{a}^\dagger\) をかけるとエネルギーが 1 段上がる」という演算子の代数だけ——位置 \(x\) での具体的な値は使わない。だから「状態 \(n\)」とだけ指定する \(|n\rangle\) の方がすっきりするの。\(\hat{H}|n\rangle = E_n|n\rangle\) のとき、\(\hat{a}^\dagger|n\rangle\)\(\hat{H}\) を作用させると——ここで交換子の定義 \([\hat{H}, \hat{a}^\dagger] = \hat{H}\hat{a}^\dagger - \hat{a}^\dagger\hat{H}\) を移項すれば \(\hat{H}\hat{a}^\dagger = \hat{a}^\dagger\hat{H} + \hbar\omega\,\hat{a}^\dagger\) だから

\[ \hat{H}(\hat{a}^\dagger|n\rangle) = (\hat{a}^\dagger\hat{H} + \hbar\omega\,\hat{a}^\dagger)|n\rangle = \hat{a}^\dagger E_n|n\rangle + \hbar\omega\,\hat{a}^\dagger|n\rangle = (E_n + \hbar\omega)(\hat{a}^\dagger|n\rangle) \]

つまり \(\hat{a}^\dagger|n\rangle\) はエネルギー \(E_n + \hbar\omega\) の固有状態になっている。同様に \(\hat{a}|n\rangle\) はエネルギー \(E_n - \hbar\omega\) の固有状態。

🔵 カイ: \(\hat{a}^\dagger\) が「1 段上げる」で \(\hat{a}\) が「1 段下げる」……でも、下げ続けたらどうなるんですか? エネルギーがマイナスになったりしない?

🟡 リナ: いい疑問ね。調和振動子では運動エネルギーもポテンシャルも 0 以上だから \(\hat{H}\) の固有値は必ず 0 以上——\(\hat{a}\) で下げ続けるといつか「これ以上下げられない状態」に到達する。それが \(\hat{a}|0\rangle = 0\)(右辺はゼロベクトル、つまり「もう状態がない」という意味)を満たす基底状態よ。この状態のエネルギーは

\[ E_0 = \frac{1}{2}\hbar\omega \]

\(|0\rangle\)\(\hat{a}^\dagger\)\(n\) 回かけて得られるのが第 \(n\) 励起状態で、エネルギーは等間隔に並ぶ:

\[ E_n = \hbar\omega\left(n + \frac{1}{2}\right), \qquad n = 0, 1, 2, \ldots \]

この等間隔の梯子構造を 図 7.4「調和振動子のエネルギー準位と昇降演算子」 に描いたわ。図を見ると、一番下の \(n = 0\) でもエネルギーがゼロではなく \(\hbar\omega/2\) だけ残っている——これが零点エネルギーよ。次で詳しく見ましょう。

調和振動子のエネルギー準位と昇降演算子

図 7.4: 調和振動子のエネルギー準位と昇降演算子。等間隔のエネルギー準位 \(E_n = \hbar\omega(n + 1/2)\) を「はしご」として描く。\(\hat{a}^\dagger\) が 1 段上げ、\(\hat{a}\) が 1 段下げる。基底状態 \(|0\rangle\) でも \(\hbar\omega/2\) という零点エネルギーが残る。

⚪ メイ: 量子数 \(n\) が「エネルギー準位の番号」であると同時に「\(\hat{a}^\dagger\) を何回かけたか」の回数でもあるのね。\(\hat{a}^\dagger\) で 1 段上げ、\(\hat{a}\) で 1 段下げる——この梯子構造がとても整理しやすい。

🔵 カイ: 「1 段上げる」「1 段下げる」って、何かを 1 つ足したり引いたりしているみたいですよね。もし \(n\) が「何かの個数」だとしたら、\(\hat{a}^\dagger\) は「1 個増やす」操作に見えるんですけど……何の個数なんだろう?

🟡 リナ: いい直感ね。実は次章(場の量子論)で、\(\hat{a}^\dagger\)\(\hat{a}\) はまさに粒子を 1 つ「生成」し「消滅」させる演算子として再解釈されるの。\(n\) が「量子の個数」を表す——この粒子描像が場の量子論の出発点になるわ。

⚪ メイ: なるほど——今は \(n\) が「エネルギー準位の番号」だけど、次章ではそれが「粒子の個数」に読み替わるのね。\(\hat{a}^\dagger\) で 1 段上げる操作が「粒子を 1 個生成する」に対応する、と。

🔵 カイ: 「粒子の個数」ってことは、粒子が増えたり減ったりする状況を扱えるってことですか? 1 個の粒子を追いかける Schrödinger 方程式とは全然違う世界ですね……。でも待ってください、粒子が「生まれる」なら、エネルギー保存則はどうなるんですか? 無からは作れないですよね?

🟡 リナ: いい疑問。エネルギー保存則は破れない——粒子を生み出すにはそれに見合うエネルギーが必要よ。\(E = mc^2\) がまさにその「見合う量」を教えてくれる。例えば質量 \(m\) の粒子と反粒子のペアを作るには、少なくとも \(2mc^2\) のエネルギーを外から供給しなければならない。エネルギーは保存されたまま、その一部が質量に「変換」されるの。この話は最後のセクションで、なぜ粒子数が変わる枠組みが必要になるかと合わせて見届けるわ。

零点エネルギー \(\hbar\omega/2\) の意味

🟡 リナ: 基底状態ですら \(E_0 = \hbar\omega/2 \neq 0\) なのは、\(\Delta x = 0\), \(\Delta p = 0\) の状態が不確定性原理で禁じられるから。実際、基底状態では

\[ \Delta x = \sqrt{\frac{\hbar}{2m\omega}}, \qquad \Delta p = \sqrt{\frac{m\omega\hbar}{2}}, \qquad \Delta x \cdot \Delta p = \frac{\hbar}{2} \]

で等号が成立する最小不確定性状態(ガウス波束)になる。

🔵 カイ: 「完全に静止できない」のが零点エネルギーの正体ですね。

🟡 リナ: そう。しかもこれは数学的人工物ではなく、ヘリウムの常圧非固化、Casimir 効果、分子振動スペクトルなど実験で確認されている実在の現象よ(詳細は 「量子力学」編 第 9 章)。

✅ 理解度チェック: 調和振動子の基底状態のエネルギーが \(E_0 = \hbar\omega/2 \neq 0\)(零点エネルギー)となる物理的理由は何か?

答え

不確定性原理により、位置と運動量を同時にゼロにすること(\(\Delta x = 0\) かつ \(\Delta p = 0\))が禁じられるため。粒子は完全に静止できず、基底状態でも最小限の運動エネルギーとポテンシャルエネルギーを持つ。基底状態は \(\Delta x \cdot \Delta p = \hbar/2\) の等号が成立する最小不確定性状態(ガウス波束)になっている。

弦理論への伏線

🟡 リナ: ここからが弦理論に直結する話。第 14 章で詳しく扱うけれど、予告だけしておくわね。弦は 1 次元の「ひも」だから、その位置を記述するには 2 つのパラメータが要る——時間の進みを表す \(\tau\) と、弦に沿った位置を表す \(\sigma\)(ギターの弦で言えば、左端から右端までのどこかを指定する座標)。弦の各点の時空座標を \(X^\mu(\tau, \sigma)\) と書くの。\(\mu\) は時空方向のラベル(\(\mu = 0\) が時間、\(\mu = 1, 2, \ldots\) が空間)。これを Fourier 展開(周期的な振動を、基本振動・2 倍振動・3 倍振動……の重ね合わせとして表す方法)すると

\[ X^\mu(\tau, \sigma) = \underbrace{x_0^\mu + 2\alpha' p_0^\mu\tau}_{\text{重心の動き}} + \underbrace{i\sqrt{\frac{\alpha'}{2}}\sum_{n \neq 0}\frac{1}{n}\bigl(\alpha_n^\mu\, e^{-in(\tau - \sigma)} + \tilde{\alpha}_n^\mu\, e^{-in(\tau + \sigma)}\bigr)}_{\text{弦の上の振動}} \]

の形になるの(ここで \(\sigma \in [0, 2\pi]\) の規約を採用している)。記号が多いけれど、怖がらなくて大丈夫——まず全体像だけ掴みましょう。式は大きく 2 つの部分に分かれていて、上の波括弧で示した通り、前半が「弦全体がどこにいてどう動くか(重心の動き)」、後半が「弦の上の振動」よ。振動の部分では \(\alpha_n^\mu\) が弦の上を右に進む波の振幅、\(\tilde{\alpha}_n^\mu\)(チルダ付き)が左に進む波の振幅——2 種類の波が独立に存在するの。今は「弦の振動が \(\alpha_n^\mu\)(右行き)と \(\tilde{\alpha}_n^\mu\)(左行き)という Fourier 係数の集まりで記述される」という構造だけ覚えておけば十分。\(\sum_{n \neq 0}\) に負の \(n\) が含まれる理由や、\(\alpha_{-n}^\mu = (\alpha_n^\mu)^*\) という実数条件の詳細は第 14 章で扱うわ。

🔵 カイ: 式が大きいけど、「重心+振動」の 2 つに分かれているのは分かりました。各記号をもう少し詳しく教えてもらえますか?

🟡 リナ: もちろん。まず \(x_0^\mu\) は弦の重心位置、\(p_0^\mu\) は重心の運動量——弦全体が空間のどこにあって、どちらに動いているかを表す部分。\(2\alpha' p_0^\mu\tau\)\(2\alpha'\) は「運動量を速度に変換する係数」——粒子力学の \(x = x_0 + (p/m)t\)\(1/m\) に当たる部分が、弦では \(2\alpha'\) に置き換わるの(弦の質量の代わりに張力が入るから)。\(\alpha'\)(アルファ・プライム)は弦の張力 \(T\)第 6 章で導入した量)を使って \(\alpha' = 1/(2\pi T)\) と定義される新しいパラメータで、弦が硬く張られているほど \(\alpha'\) は小さくなる。\(\sqrt{\alpha'}\) が弦の長さスケール \(\ell_s\)(弦の典型的な大きさ)に対応するから、\(\alpha'\) は「弦がどれくらい大きいか」を決める定数でもある。今は「弦の硬さ=大きさを表す定数」とだけ思っておけば十分。

🔵 カイ: なるほど、\(x_0\)\(p_0\) は重心の位置と運動量、\(\alpha'\) は弦の硬さ。じゃあ \(\tau\)\(\sigma\) は?

🟡 リナ: ギターの弦を思い浮かべて——\(\tau\) は時間の進み(弦が時間とともに掃く 2 次元面——世界面と呼ばれる——の上の時間座標)、\(\sigma\) は弦に沿った位置(弦の左端から右端までを表す座標)。重心の動き(\(x_0^\mu + p_0^\mu\tau\) の部分)に加えて、弦の上で起きる振動を波の重ね合わせ(Fourier 級数)で表しているの。\(n = 1\) が基本振動、\(n = 2\) が 2 倍振動、……という具合。\(e^{-in(\tau - \sigma)}\) は弦の上を右に進む波、\(e^{-in(\tau + \sigma)}\) は左に進む波に対応する。高校物理で \(\sin(\omega t - kx)\) が右向き進行波だったのを思い出して——\(t\)\(x\) が逆符号で組み合わさると、時間が進むにつれて \(x\) の正方向に波形が移動するわね。同じ理屈で \(\tau - \sigma\) の組み合わせは \(\sigma\) の正方向(右向き)に進む波を表すの(\(e^{i\theta} = \cos\theta + i\sin\theta\) という Euler の公式で、複素指数関数は \(\cos\)\(\sin\) の組み合わせだから、振動・波を表す便利な書き方)。ギターの弦でも振動は両方向に伝わるでしょう? つまり、式の前半 \(x_0^\mu + p_0^\mu\tau\) が「弦全体の並進運動」、後半の \(\sum\) が「弦の上の振動」で、振動は右行き波 \(\alpha_n^\mu\) と左行き波 \(\tilde{\alpha}_n^\mu\) に分かれている——という構造よ。

⚪ メイ: なるほど、重心の動きと振動がきれいに分離していて、振動の部分はさらに右行きと左行きに独立——すごく整理された構造ね。

🟡 リナ: そう。そしてここからが大事なポイント——これはまだ古典的な Fourier 係数の話だけれど、さっき学んだ「演算子に昇格させる」手続きをここに適用したとき、この独立性はどうなると思う? 実は「古典レベルで独立」という構造が、量子化した後も保たれるの。ここまでの \(\alpha_n^\mu\)(右向き波の振幅)と \(\tilde{\alpha}_n^\mu\)(左向き波の振幅)は古典的な Fourier 係数——ただの数値よ。ここに、前のセクションで学んだ量子化の手続き(\(E \to i\hbar\,\partial_t\)\(p \to -i\hbar\,\partial_x\) と同じ精神で、古典量を演算子に昇格させる操作)を施すと、\(\alpha_n^\mu\) たちは演算子に「昇格」し、今学んだ \(\hat{a}, \hat{a}^\dagger\)本質的に同じ構造の交換関係

\[ [\alpha_m^\mu, \alpha_n^{\nu\dagger}] = m\,\delta_{mn}\,\eta^{\mu\nu} \qquad (m, n > 0) \]

を満たす(\(m, n > 0\) の正の整数)。右辺の \(m\) は質量ではなく、左辺の添字 \(m\) と同じモード番号よ。

🔵 カイ: 右辺にモード番号 \(m\) がそのまま出てくるんですね。調和振動子の \([\hat{a}, \hat{a}^\dagger] = 1\) とちょっと違うけど……。

🟡 リナ: いい観察ね。具体例で確認しましょう:\(m = n = 3\) なら右辺は \(3\,\eta^{\mu\nu}\)\(m = 2,\, n = 5\) なら \(\delta_{25} = 0\) だから右辺はゼロ。つまり \(\delta_{mn}\) のおかげで \(m \neq n\) のモード同士は交換関係がゼロ(互いに独立)、\(m = n\) のときだけ右辺が \(m\,\eta^{\mu\nu}\) になる。この余分な \(m\) は Fourier 展開の式で各モードの係数に \(1/n\) の因子が掛かっていることの反映——つまり \(\alpha_n^\mu\) は「正規化されていない」生の Fourier 係数なの。すぐ後で \(\hat{a}_n^\mu \equiv \alpha_n^\mu/\sqrt{n}\) と再定義すれば \(m\) は消えて、調和振動子と同じ形に戻るわ。ここで \(\alpha_n^{\mu\dagger} \equiv \alpha_{-n}^\mu\) と定義している——つまり正の \(n\) の演算子 \(\alpha_n^\mu\) が「消滅」側、負の \(-n\) に対応する \(\alpha_{-n}^\mu = \alpha_n^{\mu\dagger}\) が「生成」側よ)。ここで \(\alpha_n^{\mu\dagger}\)\(\alpha_n^\mu\) のエルミート共役——Fourier 展開の式で \(n > 0\) の係数 \(\alpha_n^\mu\) が「波を 1 段下げる(消滅させる)」演算子なら、\(\alpha_n^{\mu\dagger}\) はそのペアで「1 段励起する(生成する)」方に対応する(調和振動子の \(\hat{a}\)\(\hat{a}^\dagger\) の関係と同じ)。ここで \(\hat{a}_n^\mu \equiv \alpha_n^\mu/\sqrt{n}\)\(n > 0\))と再定義すると、交換関係は

\[ [\hat{a}_m^\mu, \hat{a}_n^{\nu\dagger}] = \delta_{mn}\,\eta^{\mu\nu} \]

となる。確認してみよう:\(\alpha_m^\mu = \sqrt{m}\,\hat{a}_m^\mu\) を元の交換関係に代入すると \(\sqrt{m}\cdot\sqrt{n}\,[\hat{a}_m^\mu, \hat{a}_n^{\nu\dagger}] = m\,\delta_{mn}\,\eta^{\mu\nu}\) となる。両辺を \(\sqrt{m}\cdot\sqrt{n}\) で割ると \([\hat{a}_m^\mu, \hat{a}_n^{\nu\dagger}] = \frac{m}{\sqrt{mn}}\,\delta_{mn}\,\eta^{\mu\nu}\) で、右辺には \(\delta_{mn}\) が掛かっているから \(m \neq n\) のときは右辺全体がゼロ——つまり \(m = n\) の場合だけ考えればよい。\(m = n\) のとき \(\sqrt{mn} = \sqrt{m \cdot m} = m\) となり \(\frac{m}{\sqrt{mn}} = \frac{m}{m} = 1\)。よって \([\hat{a}_m^\mu, \hat{a}_n^{\nu\dagger}] = \delta_{mn}\,\eta^{\mu\nu}\) が得られる——つまりモード番号の係数がきれいに消えるの。

⚪ メイ: 再定義ひとつで余分な \(m\) が消えて、調和振動子と完全に同じ形に帰着するのね。気持ちいいわ。

🟡 リナ: 同じ空間方向どうし(\(\mu = \nu = i\))では \(\eta^{ii} = +1\) だから、調和振動子の \([\hat{a}, \hat{a}^\dagger] = 1\) と同型——つまり各モードが独立な調和振動子として振る舞うことが確認できるわ。ここで \(\delta_{mn}\) は Kronecker のデルタ(\(m = n\) のとき 1、\(m \neq n\) のとき 0)、\(\eta^{\mu\nu}\)第 5 章で出てきた Minkowski 計量(\(\eta^{\mu\nu} = \mathrm{diag}(-1, +1, +1, +1)\))よ。空間成分どうし(\(\mu = \nu = i\))では \(\eta^{ii} = +1\) となり、調和振動子の \([\hat{a}, \hat{a}^\dagger] = 1\) と同じ正の符号が出る。一方、時間成分では \(\eta^{00} = -1\) となって符号が反転する——この「負ノルム状態」の問題は第 14 章で扱う。

🔵 カイ: 各モードが独立な調和振動子になるってことは、\(\hat{a}, \hat{a}^\dagger\) の組がモードの数だけ出てくるんですか?

🟡 リナ: その通り。つまり弦の量子化 = 無限個の調和振動子を同時に量子化することなの。モード番号 \(n = 1, 2, 3, \ldots\) と時空方向 \(\mu\) ごとに、一つずつ「\(\hat{a}, \hat{a}^\dagger\) の組」が湧いてくる。ギターの弦の振動を思い出して——図 7.5「弦の振動モードと Fourier 展開」 に基本振動から高次の振動モードまで描いたから、イメージを掴んでね。

弦の振動モードと Fourier 展開

図 7.5: 弦の振動モードと Fourier 展開。上段: 基本振動 \((n=1)\)、2 倍振動 \((n=2)\)、3 倍振動 \((n=3)\)。下段左: 一般的な弦の形はこれらの重ね合わせ。下段中: 閉じた弦の振動(右行き波 \(\alpha_n\) + 左行き波 \(\tilde{\alpha}_n\))。下段右: 各モードの量子化が調和振動子 \([\hat{a}, \hat{a}^\dagger] = 1\) と同型になることのまとめ。

✅ 理解度チェック: 弦の量子化と調和振動子の関係を一言で述べてください。なぜ本章で1個の調和振動子を丁寧に学ぶ必要があるのでしょうか?

答え

弦の量子化とは「無限個の調和振動子を同時に量子化すること」に等しい。弦の位置をFourier展開すると各振動モードの係数が独立な調和振動子として振る舞い、それぞれが \([\hat{a}, \hat{a}^\dagger] = 1\) と同型の交換関係を満たす。したがって1個の調和振動子の昇降演算子の構造を理解しておけば、弦理論でそれがモードの数だけ繰り返し使われる。

⚪ メイ: だから今やっている 1 個の調和振動子の構造が、弦理論でそのまま繰り返し使われるのね。

🟡 リナ: その通り。そして弦の零点エネルギーは各モードの \(\hbar\omega_n/2\) を足し上げたもの

\[ E_{\text{zero}} = \frac{1}{2}\sum_{n = 1}^{\infty}\hbar\omega_n \]

という和になる。弦の場合、ギターの弦と同じく振動数が基本振動の整数倍 \(\omega_n = n\,\omega_1\) になるから、これは

\[ E_{\text{zero}} = \frac{\hbar\omega_1}{2}\sum_{n = 1}^{\infty} n \]

という発散和になる。

🔵 カイ: 無限大が出てきたら物理的に意味ないんじゃ……?

🟡 リナ: 当然の疑問ね。実は \(1 + 2 + 3 + \cdots\) をそのまま足せば発散するけれど、ゼータ関数正則化という数学的な処方を使うと、この和に \(-1/12\) という有限値を整合的に対応させることができるの。「ゼータ関数」というのは数学者 Riemann が研究した関数 \(\zeta(s) = \sum_{n=1}^\infty 1/n^s\)\(s > 1\) で収束する無限級数)のことで、\(s = -1\) に形式的に「延長」すると \(\sum n = \zeta(-1) = -1/12\) という値が得られる——これが名前の由来よ。

🔵 カイ: \(1 + 2 + 3 + \cdots = -1/12\)……!? それ、本当に信じていいんですか?

🟡 リナ: 直感には反するわよね。でも「発散する和を有限値に置き換える」と聞くと手品みたいだけど、この処方で得られる結果が実験や理論の内部整合性と矛盾しない——だから物理的に意味のある手続きだと信頼されている。詳しい仕組みは第 14 章で扱うから、今は「零点エネルギーの無限和を制御する方法がある」ということだけ覚えておいて。そしてこの処方が整合的に動くことで、臨界次元 \(D = 26\)(ボソン弦)という驚くべき結果が決まる。本章で学んだ零点エネルギーが、弦理論の最も深い結果の一つに直結しているわけ。@exercise: 零点エネルギーの発散和と臨界次元 \(D = 26\)問題 A-2. 零点エネルギーの発散和と臨界次元 D = 26

🟡 リナ: そして各モード \(n\) の励起数を \(N_n\) と書くと、弦全体の状態は「各モードが何段目まで励起されているか」のリスト \(\{N_1, N_2, N_3, \ldots\}\) で完全に指定できる。\(N_n\) を「モード \(n\) に入っている量子の個数」と読み替える見方を占有数描像と呼ぶの——各モードに量子が何個入っているかで状態を指定する。この占有数描像が次章(場の量子論)と弦理論の両方で真価を発揮するわ。

⚪ メイ: なるほど、各モードが独立だから、モードごとの量子数 \(N_n\) を並べるだけで弦全体の状態が決まる——すごく整理しやすい構造ね。

表 7.2: 量子化の対象と「調和振動子構造」の再登場

対象 交換関係 量子数の意味
1 次元調和振動子 \([\hat{a}, \hat{a}^\dagger] = 1\) \(n\) = エネルギー準位 本章
自由スカラー場 \([\hat{a}_{\vec{k}}, \hat{a}_{\vec{k}'}^\dagger] = \delta(\vec{k}-\vec{k}')\) \(n_{\vec{k}}\) = 運動量 \(\vec{k}\) の粒子数 第 8 章
弦の振動モード \([\hat{a}_m^\mu, \hat{a}_n^{\nu\dagger}] = \delta_{mn}\eta^{\mu\nu}\) \(N_n\) = モード \(n\) の励起数 第 14 章

本章で繰り返し出てくる昇降演算子パターン

  1. 正準交換関係 \([\hat{x}, \hat{p}] = i\hbar\) から \([\hat{a}, \hat{a}^\dagger] = 1\) を導く
  2. ハミルトニアンが \(\hat{H} = \hbar\omega(\hat{a}^\dagger\hat{a} + 1/2)\) に圧縮される
  3. \(\hat{a}^\dagger\)\(\hat{a}\) でエネルギーを 1 段ずつ上げ下げする
  4. 最低エネルギー状態の存在から \(n = 0, 1, 2, \ldots\) の量子数が自然に出る
  5. 基底状態の零点エネルギーは不確定性原理の直接の帰結

このパターンは、第 8 章(場の量子化)、第 14 章(弦の量子化)、第 17 章(超弦のフェルミオン的拡張) で形を変えて何度も繰り返される。ここでしっかり押さえておきたい。


7.5 要点サマリ:スピン

🟡 リナ: 位置空間の運動とは独立に、粒子はスピンという内在的な角運動量を持つ。古典的な自転ではなく、純粋に量子力学的な自由度よ。

🔵 カイ: 名前は「回転」なのに、自転とは違うんですね。

🟡 リナ: 電子を「点粒子」として扱うモデルが最もうまくいくから、点が「自転」するのは意味をなさない。Stern-Gerlach 実験では、磁場中を通過する銀原子のビームがちょうど 2 本に分かれる——連続的な回転なら扇状に広がるはずなのに、離散的な値しか取らないの。古典的な自転では説明できない、純粋に量子力学的な自由度——そういう種類のものよ。詳細は 「量子力学」編 第 5 章 Stern-Gerlach 実験による導入「量子力学」編 第 17 章 Pauli 行列による定式化「量子力学」編 第 18 章 同種粒子と統計を参照。Part III で必要な結論だけまとめると:

表 7.3: スピンの基本的性質まとめ

項目 内容
スピン量子数 \(s\) \(0, \tfrac{1}{2}, 1, \tfrac{3}{2}, 2, \ldots\) の値を取る
スピン \(z\) 成分 \(S_z = \hbar m_s\)\(m_s = -s, -s+1, \ldots, s\)\(2s+1\)
交換関係 \([\hat{S}_i, \hat{S}_j] = i\hbar\,\epsilon_{ijk}\,\hat{S}_k\)(下の補足参照。軌道角運動量と同型)
ボソン(\(s\) 整数) 同じ状態にいくつでも入れる。光子 (\(s = 1\))、重力子 (\(s = 2\))、Higgs (\(s = 0\))
フェルミオン(\(s\) 半整数) 同じ状態に 1 個のみ(Pauli の排他原理)。電子・クォーク (\(s = 1/2\))

\(\epsilon_{ijk}\)(完全反対称記号)の意味: 添字 \(1, 2, 3\) はそれぞれ \(x, y, z\) 方向に対応する。\((i,j,k) = (1,2,3), (2,3,1), (3,1,2)\)\(+1\)\((1,3,2), (3,2,1), (2,1,3)\)\(-1\)、添字が重複すれば \(0\)。つまり \((1,2,3)\) を巡回的にずらせば \(+1\)、隣を入れ替えると \(-1\)。例: \([\hat{S}_x, \hat{S}_y] = i\hbar\,\hat{S}_z\)\([\hat{S}_y, \hat{S}_x] = -i\hbar\,\hat{S}_z\)

⚪ メイ: 「なぜ整数スピンがボソン、半整数スピンがフェルミオンに対応するのか」——その理由はまだ説明されていないわよね?

🟡 リナ: そう。これは場の量子論のスピン-統計定理で初めて証明される(「量子力学」編 第 18 章 または「場の量子論」編 「場の量子論」編 第 5 章)。今は結果だけ受け入れておいて。ボソン・フェルミオンの区別は、本書で何度も登場する最重要の仕分け軸よ。例えば——

いずれも「整数スピン vs 半整数スピン」が内部構造の骨格を決める。スピンの詳細に踏み込むのは「量子力学」編に任せて、本書では 表 7.3「スピンの基本的性質まとめ」 の仕分けだけを手元に置いておけば十分。

✅ 理解度チェック: ボソンとフェルミオンの違いを、スピン量子数と同一状態への占有可能性の観点から説明してみましょう。

答え

ボソンはスピン量子数 \(s\) が整数(\(0, 1, 2, \ldots\))の粒子で、同じ量子状態にいくつでも入ることができる(例:光子、重力子)。フェルミオンはスピン量子数が半整数(\(1/2, 3/2, \ldots\))の粒子で、Pauliの排他原理により同じ量子状態に1個しか入れない(例:電子、クォーク)。この区別は場の量子論のスピン-統計定理で証明される。


7.6 残された問い — 相対論と量子論の衝突

🟡 リナ: 量子力学は原子・分子・化学結合・半導体・超流動など、ミクロな世界を驚異的な精度で説明する。でも一つ決定的な欠陥があるの。

🔵 カイ: 欠陥……? あれだけ強力なのに?

🟡 リナ: 特殊相対論と両立しないの。

🔵 カイ: えっ、どこが両立しないんですか?

🟡 リナ: 時間依存 Schrödinger 方程式をもう一度眺めてみて:

\[ i\hbar\frac{\partial \Psi}{\partial t} = -\frac{\hbar^2}{2m}\frac{\partial^2 \Psi}{\partial x^2} + V\,\Psi \]

左辺は時間の 1 階微分、右辺の空間部分は 2 階微分。第 5 章で確認した通り、特殊相対論は時間と空間を Minkowski 計量 \(\eta_{\mu\nu}\)対等に扱うよう要求する。したがってこの方程式は Lorentz 変換のもとで形を変えてしまう——相対論的に共変ではないの。

🔵 カイ: 左右で微分の階数がそろっていないんですね。

表 7.4: Schrödinger 方程式と特殊相対論の不整合

項目 Schrödinger 方程式 特殊相対論の要求
時間微分 1 階 (\(\partial/\partial t\)) 時間・空間を対等に
空間微分 2 階 (\(\partial^2/\partial x^2\)) 時間・空間を対等に
Lorentz 変換 形が変わる(非共変) 形が変わらないことを要求
エネルギー関係 \(E = p^2/(2m) + V\)(非相対論) \(E^2 = p^2c^2 + m^2c^4\)
粒子数 固定(保存する前提) \(E = mc^2\) で対生成が可能

🟡 リナ: その通り。この構造的欠陥は、無理に相対論と両立させようとすると 2 つの深刻な帰結を生む:

  1. 負エネルギー解の出現 — 相対論的エネルギー-運動量関係 \(E^2 = p^2c^2 + m^2c^4\) の平方根には \(E < 0\) の枝がある。Dirac はこれを反粒子として解釈した。
  2. 粒子数の非保存\(E = mc^2\) 以上のエネルギーがあれば、真空から粒子-反粒子対が生成される。粒子数が固定された Schrödinger 方程式ではこれを記述できない。

⚪ メイ: つまり、相対論が教える「エネルギーと質量の等価性」のせいで粒子が生まれ得るのに、量子力学の枠組みでは粒子数が変わる過程を扱えない——根本的な不整合ね。

🔵 カイ: 粒子が増えたり減ったりするなら、Schrödinger 方程式みたいに「粒子 1 個の波動関数」を追いかける方法じゃ無理ですよね。じゃあ、何を基本的な対象として追いかけるんですか?

🟡 リナ: まさにそう。相対論と量子力学を両立させるには「粒子の数が変わる」ことを許す新しい枠組みが要る。その枠組みが第 8 章で扱う場の量子論よ。場そのものを演算子に昇格させ、場の励起として粒子を記述する。今章で学んだ \(\hat{a}^\dagger\)(生成演算子)と \(\hat{a}\)(消滅演算子)が、そのまま粒子の生成・消滅を記述する道具になる——この対応が美しいの。

✅ 理解度チェック: Schrödinger方程式が特殊相対論と両立しない構造的な理由は何でしょうか?また、それによって生じる2つの物理的帰結は何でしょうか?

答え

Schrödinger方程式は時間について1階微分、空間について2階微分であり、時間と空間を対等に扱う特殊相対論(Lorentz変換)のもとで形が変わってしまう。この不整合から生じる帰結は:(1) 相対論的エネルギー-運動量関係の平方根に負エネルギー解が現れ、反粒子の存在が要請される。(2) \(E = mc^2\) 以上のエネルギーで粒子-反粒子対が生成されるため、粒子数が保存されず、1粒子の波動関数を追う枠組みでは記述できない。

%%{init: {"theme": "default", "themeCSS": ".edgePath .path, .flowchart-link { stroke-width: 2px !important; }"}}%%
flowchart TD
    A["Schrödinger 方程式<br/>∂/∂t は 1 階、∂²/∂x² は 2 階"]
    B["Lorentz 不変でない"]
    C["相対論的波動方程式<br/>(Klein-Gordon, Dirac)"]
    D["負エネルギー解<br/>→ 反粒子"]
    E["粒子数の非保存<br/>→ 対生成・対消滅"]
    F["場の量子論 (第8章)"]
    G["弦理論 (第13章以降)"]

    A --> B
    B --> C
    C --> D
    C --> E
    D --> F
    E --> F
    F --> G

図 7.6: Schrödinger方程式から場の量子論・弦理論への道筋

🔵 カイ: 相対論と量子論の幹が、ここで初めて正面衝突するんですね。でも「場そのものを演算子に昇格させる」って、さっきの \(E \to i\hbar\,\partial_t\) みたいな置き換えを、今度は場に対してやるってことですか? 場って空間の各点に値がある量だから、置き換える対象が無限個あるってこと……?

🟡 リナ: まさにそう。空間の各点ごとに「位置と運動量」に相当する量があり、それぞれに交換関係を課す——だから無限個の自由度を一度に量子化することになる。そしてその衝突から、粒子描像を超える場の描像が生まれ、さらにその先に弦の描像が待っている——これが本書後半の物語よ。

📖 「量子力学」編との接続: Klein-Gordon 方程式と Dirac 方程式、そして Dirac の海の解釈は 「量子力学」編 第 27 章 で扱われる。本書 Part III ではそれらを、「粒子数可変の理論=場の量子論」 への必要性という角度から次章で再構成する。


次章予告

Schrödinger 方程式は Lorentz 変換のもとで形を変えてしまう。相対論の幹(第 5-6 章)と量子論の幹(本章)は、ここでようやく正面から衝突する。第 8 章「量子力学と相対論を両立させたい — 場の量子論」 では、場そのものを演算子に昇格させるという大胆な発想——場の量子論——に踏み込み、対生成・対消滅を記述する枠組みを作る。今章で手に入れた昇降演算子 \(\hat{a}, \hat{a}^\dagger\) が、そのまま粒子の消滅・生成演算子に再解釈される瞬間を見届けよう。


練習問題

📝 練習問題:

参考文献