第 4 章 スカラー場の量子化 — 粒子が場から生まれる¶
前回までのあらすじ:
第 3 章では、古典場の Lagrangian 形式と Euler-Lagrange 方程式を学び、Noether の定理によって連続対称性が保存量を生むことを確認した。実スカラー場の Lagrangian 密度から Klein-Gordon 方程式が導かれ、Hamiltonian 密度がエネルギーの空間分布を記述することを見た。
この章のゴール
- 古典的な Klein-Gordon 場を「正準量子化」し、場の Fourier 展開から生成・消滅演算子を取り出す
- その結果、場の励起が「粒子」として自然に現れることを数学的に実現する
- さらに、複素スカラー場の量子化から反粒子が自動的に出現する仕組みを理解し、零点エネルギーの物理的帰結として Casimir 効果を確認する
4.1 正準量子化とは何か——量子力学の手法を場に拡張する¶
🟡 リナ: さあ、いよいよ場の量子論の核心に入るわよ。第 3 章までで、古典場の Lagrangian 形式を整備してきた。今日はその古典場を「量子化」する——つまり、場を演算子に昇格させて、量子力学的な粒子を場から取り出すの。図 4.1「正準量子化のフロー：古典場から粒子へ」に全体の流れをまとめたから、まず大きな地図を確認しておいて。Lagrangian から出発して、共役運動量と Hamiltonian を求め、同時刻交換関係を課し、Fourier 展開で生成・消滅演算子を導入する——この 4 ステップで場の励起が粒子として現れるの。
図 4.1: 正準量子化のフロー：古典場から粒子へ。Lagrangian → 共役運動量・Hamiltonian → 同時刻交換関係 → Fourier 展開・生成消滅演算子という 4 ステップで、場の励起が粒子として現れる。
🔵 カイ: 「量子化」って、量子力学で \([\hat{x}, \hat{p}] = i\) を課したのと同じことを場でやるってことですか？
🟡 リナ: まさにその通り。量子力学では、古典的な座標 \(q\) と運動量 \(p\) を演算子 \(\hat{q}\), \(\hat{p}\) に昇格させて、交換関係 \([\hat{q}, \hat{p}] = i\) を課したわよね。場の理論でもまったく同じことをやるの。ただし、量子力学では自由度が「1 番目のバネ、2 番目のバネ、……」のように離散的な添字 \(i\) で区別されていたけれど、場の理論では空間の各点 \(\mathbf{x}\) がそれぞれ独立な自由度を持つ——つまり連続的な座標 \(\mathbf{x}\) が自由度のラベルになるの。つまり、場の理論では無限個の自由度を扱うことになる。
⚪ メイ: 離散的な添字 \(i\) が連続的な座標 \(\mathbf{x}\) に置き換わるのね。有限個から無限個への拡張。
🟡 リナ: その通り。この手続きを正準量子化 (canonical quantization) と呼ぶわ。全体の流れを先に見せておくわね。
表 4.1: 正準量子化の手順
| ステップ | やること |
|---|---|
| Step I | 古典的な Lagrangian 密度 \(\mathcal{L}\) を書き下す |
| Step II | 共役運動量密度 \(\pi(x)\) と Hamiltonian 密度 \(\mathcal{H}\) を求める |
| Step III | 場と運動量密度を演算子にして、同時刻交換関係を課す |
| Step IV | 場を Fourier 展開し、生成・消滅演算子を導入する |
Step I と Step II は第 3 章で既にやったから、今日は Step III から始めるわ。
🔵 カイ: 第 3 章の結果を使えるんですね。えっと、Lagrangian 密度から共役運動量密度と Hamiltonian 密度を求めたんでしたっけ。
🟡 リナ: そう。復習しておくわね。Lagrangian 密度は
共役運動量密度は
🔵 カイ: 共役運動量が場の時間微分そのものになるのは、実スカラー場のシンプルさのおかげですよね。
🟡 リナ: そうね。Hamiltonian 密度は
よ。では Step III に進みましょう。
✅ 理解度チェック: 正準量子化の Step III では何をするでしょうか？ 量子力学の正準量子化との類似点と相違点を述べてください。
答え
Step III では、古典的な場 \(\phi(x)\) と共役運動量密度 \(\pi(x)\) を演算子に昇格させ、同時刻交換関係を課す。量子力学で \([\hat{q}_i, \hat{p}_j] = i\,\delta_{ij}\) を課したのと同じ精神だが、自由度のラベルが離散的な添字 \(i\) ではなく連続的な空間座標 \(\mathbf{x}\) であるため、Kronecker のデルタが Dirac のデルタ関数 \(\delta^{(3)}(\mathbf{x} - \mathbf{y})\) に置き換わる。
4.2 同時刻交換関係——場を演算子にする¶
🟡 リナ: 古典的な場 \(\phi(x)\) と共役運動量密度 \(\pi(x)\) を、いまから演算子に昇格させるわ。「量子力学」編 第 5 章で学んだように、演算子とは状態ベクトルに作用して別の状態ベクトルを返す数学的対象で、一般には掛け算の順序を入れ替えると結果が変わる（非可換）のだったわね。ここで重要なのは、場の演算子 \(\hat{\phi}(t, \mathbf{x})\) は空間の各点 \(\mathbf{x}\) ごとに一つの演算子があるということ。量子力学では \(\hat{q}_1, \hat{q}_2, \ldots\) と有限個の演算子があったけれど、場の理論では空間の各点に演算子が「貼り付いている」の。
🔵 カイ: 空間のあらゆる点に一つずつ演算子が配置されている……すごい数ですね。
🟡 リナ: そう、連続無限個よ。量子力学で
を課したのと同じ精神で、場の理論では同時刻交換関係 (equal-time commutation relations) を課す。
🔵 カイ: 量子力学の \(\delta_{ij}\) が \(\delta^{(3)}(\mathbf{x} - \mathbf{y})\) に置き換わっているんですね。でも、なぜ Dirac (ディラック) のデルタ関数が出てくるんですか？
🟡 リナ: いい質問ね。量子力学では自由度が離散的だったから、「同じ自由度なら 1、違う自由度なら 0」を表すのに Kronecker (クロネッカー) のデルタ \(\delta_{ij}\) で十分だった。でも場の理論では、空間の各点 \(\mathbf{x}\) が独立な自由度を持っている。連続的なラベルに対して「同じ点なら非自明、違う点ならゼロ」を表現するには、Dirac のデルタ関数 \(\delta^{(3)}(\mathbf{x} - \mathbf{y})\) が必要なの。
⚪ メイ: リナさんの説明を表にまとめると、こうなるわね。
表 4.2: 量子力学と場の量子論の対応関係
| 量子力学（有限自由度） | 場の量子論（無限自由度） |
|---|---|
| 添字 \(i = 1, 2, \ldots, n\) | 空間座標 \(\mathbf{x}\) |
| \(\hat{q}_i(t)\) | \(\hat{\phi}(t, \mathbf{x})\) |
| \(\hat{p}_i(t)\) | \(\hat{\pi}(t, \mathbf{x})\) |
| \(\delta_{ij}\) | \(\delta^{(3)}(\mathbf{x} - \mathbf{y})\) |
🟡 リナ: いい整理ね。もう一行付け加えておくと、離散的な自由度の足し上げ \(\sum_i\) が、連続的な自由度では空間積分 \(\int d^3x\) に置き換わるの。デルタ関数の対応と同じ精神よ。
⚪ メイ: なるほど、\(\sum_i \to \int d^3x\) も対応に入るのね。それと、式 (4.4) は「同時刻」交換関係と呼ばれているけれど、これは同じ時刻 \(t\) でのみ成り立つということよね？
🟡 リナ: その通り。式 (4.4) は同じ時刻 \(t\) でのみ成り立つ。だから「同時刻」交換関係と呼ぶの。異なる時刻の場の交換関係は、時間発展を通じて別途決まるものよ。
🔵 カイ: 時間と空間を対等に扱うのが相対論の精神なのに、ここでは時間を特別扱いしていませんか？
🟡 リナ: 鋭いわね。正準量子化では、Hamiltonian を使うために時間方向を選び出す必要があるから、Lorentz 不変性の見通しが一時的に悪くなるの。でも安心して——最終的に得られる理論はちゃんと Lorentz 不変になっている。たとえて言えば、地球の地図を描くとき、球面を平面に展開するために「どこかで切る」必要があるけれど、地球自体は球のまま——それと似た状況よ。計算の途中で時間方向を選んでいるだけで、物理法則自体は時空の方向に依存しないの。具体的には、異なる時刻の場の交換関係（Lorentz 不変な伝播関数）を第 6 章で計算するとき、それが確認できるわ。
🔵 カイ: 地図の比喩は分かりやすいです。計算の「道具立て」として時間を選んでいるだけで、物理の結果は選び方に依存しない、ということですね。ちょっと気持ち悪いけど、先に進みます。
✅ 理解度チェック: 同時刻交換関係 \([\hat{\phi}(t, \mathbf{x}), \hat{\pi}(t, \mathbf{y})] = i\,\delta^{(3)}(\mathbf{x} - \mathbf{y})\) で、\(\mathbf{x} \neq \mathbf{y}\) のとき交換子の値はいくつでしょうか？ その物理的意味は？
答え
\(\mathbf{x} \neq \mathbf{y}\) のとき \(\delta^{(3)}(\mathbf{x} - \mathbf{y}) = 0\) だから、交換子はゼロ。つまり、異なる空間点の場と運動量密度は互いに独立な自由度であり、同時に確定した値を持てる。これは「場の理論の局所性」——遠く離れた点の物理量は互いに干渉しない——を反映している。
4.3 直感的な描像——「粒子は場の励起である」¶
🟡 リナ: 数式の計算に入る前に、これから何を実現しようとしているのか、直感的な絵を共有しておきたいの。場の量子論の核心的なアイデアを一言で言うと——粒子は場の励起 (excitation) である。
🔵 カイ: 「励起」って、エネルギーをもらって高い状態になるってことですか？
🟡 リナ: まさにその通り。ゴムのシートを想像してみて。シートが静かでまっすぐ張られている状態が「真空」。シートを指で弾いて、ある一点が振動していたら、それが「粒子 1 個」。別の場所でも同時に振動していたら、「粒子 2 個」という具合。つまり、粒子は独立に存在する「もの」ではなくて、場そのものの状態なの。粒子は「場が静かな背景の上で波立っている局所的なゆらぎ」として現れるの。
⚪ メイ: つまり、粒子の正体は場の局所的な振動で、背景の静かなシートが真空に対応するのね。
🟡 リナ: まさにその通り。この描像の美しいところは：
表 4.3: 場の励起としての粒子のゴムシート描像
| 現象 | ゴムシートの描像 |
|---|---|
| 真空 | シートが静止している |
| 粒子 1 個 | 1 箇所で振動している |
| 粒子 2 個 | 2 箇所で振動している |
| 粒子の生成 | 新しい振動が始まる |
| 粒子の消滅 | 振動が収まって静止に戻る |
| 同種粒子が区別できない理由 | どの振動も同じシートの揺らぎだから |
🔵 カイ: 粒子の数が変わる過程が、シートが静止・振動・静止と自然に記述できる！ 量子力学では粒子数を固定していたけれど、場の描像なら生成・消滅が自然に入ってくるんですね。
🟡 リナ: そう。そして、場の量子論が必要になった最大の動機——粒子数の非保存（第 1 章 参照）——が、この描像では設計の時点から組み込まれている。光子は電磁場の励起、電子は電子場の励起、クォークはクォーク場の励起——宇宙には場がいくつかあって、粒子はその場の波立ちとして現れる。これが場の量子論の世界観よ。
✅ 理解度チェック: 「粒子は場の励起である」という描像において、粒子の生成・消滅はどのように理解されるでしょうか？
答え
場が静かな状態（真空）の上に新しい振動が始まることが「粒子の生成」、振動が収まって静止に戻ることが「粒子の消滅」に対応する。粒子は独立に存在する「もの」ではなく場そのものの状態であるため、粒子数の変化は場の振動状態の変化として自然に記述される。
🟡 リナ: そしてもう一つ重要な視点があるわ。量子力学では粒子を最初から仮定していた——つまり「振動している点」が出発点だった。でも場の量子論では「シートそのもの」が出発点で、振動（＝粒子）は量子化の結果として出てくるの。場というより基本的な対象から粒子が導かれる——これが枠組みとしてより根本的なの。出発点が一段深くなったと言えるわ。
⚪ メイ: つまり、量子力学では「粒子がある」ことを前提にして波動関数を書いていたけれど、場の量子論では「場がある」ことだけを前提にして、粒子の存在も粒子数の変化も全部そこから導かれるのね。前提が一段少なくなった分、説明力が上がっている。
🟡 リナ: その通り。これから次節以降でやることは、この直感的な描像を数式で厳密に実現すること。具体的には：
- 場 \(\phi(x)\) を Fourier 展開して「無限個の独立な振動モード」に分解する
- 各モードを調和振動子として量子化し、生成・消滅演算子を得る
- 生成演算子 \(\hat{a}_{\mathbf{p}}^\dagger\) で「振動を 1 つ増やす」= 粒子を 1 個生成する
- 多粒子状態を含む Fock 空間を構成する
ゴムシートの比喩で言えば、「シートに走る波を正弦波の重ね合わせに分解して、各波を量子化する」手続きになる。では数式で実現していきましょう。
4.4 Fourier 展開と調和振動子への分解¶
🟡 リナ: では実際に手を動かしていくわよ。まず場を Fourier (フーリエ) 展開する。
🔵 カイ: Fourier 展開って、波の重ね合わせとして表すことですよね。なぜそうすると計算が楽になるんですか？
🟡 リナ: 核心をつく質問ね。Klein-Gordon 方程式を思い出して。
これを成分で書くと
ここで場を空間方向だけ Fourier 変換するの。目的は「偏微分方程式を、各モードごとの常微分方程式（時間だけの方程式）に分解する」こと。空間微分 \(\nabla^2\) は Fourier 変換で代数的な因子に置き換わるけれど、時間微分 \(\ddot{\phi}\) はそのまま残したい——だから時間はそのままにして空間だけ変換するの。
⚪ メイ: 偏微分方程式を、独立なモードごとの常微分方程式に「ほぐす」ために Fourier 変換するのね。
🟡 リナ: そう。Fourier 変換とは、場を「さまざまな波長の平面波 \(e^{i\mathbf{p}\cdot\mathbf{x}}\) の重ね合わせ」として表すことよ。
\(\tilde{\phi}(\mathbf{p}, t)\) は「運動量 \(\mathbf{p}\) に対応する平面波がどれだけの振幅で含まれているか」を表す Fourier 係数で、時間の関数よ。空間微分 \(\nabla^2\) は Fourier 変換で代数的な因子 \(-|\mathbf{p}|^2\) に置き換わるけれど、時間微分 \(\ddot{\phi}\) はそのまま残したい——そうすれば各モードが「時間だけの微分方程式」になって、調和振動子として扱えるの。ここで Fourier 変換の変数 \(\mathbf{p}\) を「運動量」と呼んでいるのは、量子力学の de Broglie (ド・ブロイ) 関係 \(p = \hbar k\) に由来するわ。自然単位系（\(\hbar = 1\)）では波数 \(k\) と運動量 \(p\) が同じ数値になるから、Fourier 変換の変数をそのまま運動量と呼べるの。分母の \((2\pi)^{3/2}\) は規格化因子よ。これは「変換してから逆変換すると元に戻る」ことを保証するための約束で、逆変換は
よ。変換 (4.8) と逆変換 (4.8') の両方に \((2\pi)^{3/2}\) が均等に入る流儀を使っているの。
🔵 カイ: なぜこの規格化で整合するんですか？
🟡 リナ: 具体的にやってみましょう。式 (4.8) の \(\phi(t, \mathbf{x})\) に逆変換の式を代入して \(\tilde{\phi}\) を消去してみるの。すると \(\mathbf{x}'\) 積分の前に \(\frac{1}{(2\pi)^{3/2}} \times \frac{1}{(2\pi)^{3/2}} = \frac{1}{(2\pi)^3}\) が出てくる。残る \(\mathbf{x}'\) 積分は
これは @chapter:qm/appendix_c の式 (C.30) の 3 次元版よ。デルタ関数が出てくるから、\(\mathbf{q}\) 積分が \(\mathbf{q} = \mathbf{p}\) に固定されて、元の \(\tilde{\phi}(\mathbf{p})\) が復元される。要するに、変換→逆変換の往復で分母に \((2\pi)^3\) が出て、それがデルタ関数の積分表示の \((2\pi)^3\) とちょうど一致するから、元の関数が復元される——それだけのことよ。教科書によっては \((2\pi)^3\) を片方にまとめる流儀もあるけれど、物理的な結果には影響しないわ。
🔵 カイ: Fourier 係数 \(\tilde{\phi}(\mathbf{p}, t)\) は一般に複素数ですよね？ でも \(\phi\) は実スカラー場だから実数のはず……矛盾しませんか？
🟡 リナ: いい質問ね。実スカラー場の場合は \(\tilde{\phi}(-\mathbf{p}, t) = \tilde{\phi}(\mathbf{p}, t)^*\) という条件がつくから、全体として \(\phi(t, \mathbf{x})\) は実数になるの（これは後でモード展開するときに重要になるわ）。なぜこの条件で実数になるか簡単に見ておくと、式 (4.8) の複素共役を取ると \(\phi^* = \int \frac{d^3p}{(2\pi)^{3/2}} e^{-i\mathbf{p}\cdot\mathbf{x}} \tilde{\phi}(\mathbf{p})^*\) で、ここで \(\mathbf{p} \to -\mathbf{p}\) と置換すると \(\phi^* = \int \frac{d^3p}{(2\pi)^{3/2}} e^{i\mathbf{p}\cdot\mathbf{x}} \tilde{\phi}(-\mathbf{p})^*\) になる。\(\phi = \phi^*\) が成り立つには \(\tilde{\phi}(\mathbf{p}) = \tilde{\phi}(-\mathbf{p})^*\) が必要——つまり実数性と Fourier 係数の条件は同値なの。これを式 (4.7) に代入すると——
⚪ メイ: 実数性が Fourier 係数に条件を課すのね。それで偏微分方程式がどうなるか見てみましょう。
🟡 リナ: \(\nabla^2\) が \(e^{i\mathbf{p}\cdot\mathbf{x}}\) に作用すると \(-|\mathbf{p}|^2\, e^{i\mathbf{p}\cdot\mathbf{x}}\) になるから（確認：\(\frac{\partial}{\partial x}e^{i p_x x} = i p_x\, e^{i p_x x}\) だから 2 回微分すると \((i p_x)^2 = -p_x^2\) が出る。\(y\), \(z\) 方向も同様で、合計 \(\nabla^2 e^{i\mathbf{p}\cdot\mathbf{x}} = -(p_x^2 + p_y^2 + p_z^2)\,e^{i\mathbf{p}\cdot\mathbf{x}} = -|\mathbf{p}|^2\,e^{i\mathbf{p}\cdot\mathbf{x}}\)）、式 (4.8) を式 (4.7) に代入すると
\(e^{i\mathbf{p}\cdot\mathbf{x}}\) は異なる \(\mathbf{p}\) に対して線形独立だから、括弧の中がすべての \(\mathbf{p}\) でゼロでなければならない。（これは「\(a\sin x + b\sin 2x + \cdots = 0\) がすべての \(x\) で成り立つなら \(a = b = \cdots = 0\)」という Fourier 級数の一意性と同じ論理よ。具体的には、両辺に \(e^{-i\mathbf{q}\cdot\mathbf{x}}\) をかけて \(\mathbf{x}\) で積分すると、直交性により \(\mathbf{p} = \mathbf{q}\) の項だけが残って、括弧の中がゼロであることが示されるの。）したがって、各 \(\mathbf{p}\) について
⚪ メイ: 各運動量モードが独立な微分方程式を満たすのね。しかも \(t\) だけの微分方程式になっている。
🔵 カイ: これ、\(\ddot{X} + \omega^2 X = 0\) の形じゃないですか！ 量子力学で散々やった調和振動子の運動方程式ですよね！
🟡 リナ: その通り！ ここが場の量子論の核心よ。Klein-Gordon 場を Fourier 変換すると、運動量 \(\mathbf{p}\) でラベルされた無限個の独立な調和振動子の集まりに分解されるの。各振動子の角振動数は
で、これは相対論的なエネルギー-運動量関係 \(E = \sqrt{p^2 + m^2}\) そのものよ。
⚪ メイ: つまり、場の量子化は「無限個の調和振動子を量子化する」ことに帰着するのね。
🟡 リナ: その通り。そして調和振動子の量子化なら、「量子力学」編 第 12 章で学んだ生成・消滅演算子がそのまま使える。では、その手法を場の言葉に翻訳していきましょう。全体像を 図 4.2「Klein-Gordon場のFourierモード分解」 にまとめておいたから、確認してみてね。
図 4.2: Klein-Gordon場のFourierモード分解。Klein-Gordon 場を Fourier 展開すると、各運動量モードが独立な調和振動子になる。振動数 \(\omega_{\mathbf{p}} = \sqrt{|\mathbf{p}|^2 + m^2}\) は相対論的エネルギー-運動量関係そのもの。
✅ 理解度チェック: Klein-Gordon 場を空間方向に Fourier 変換すると、偏微分方程式がどのような形の方程式に分解されるでしょうか？ それはなぜ重要でしょうか？
答え
各運動量モード \(\mathbf{p}\) ごとに独立な常微分方程式 \(\ddot{\tilde{\phi}} + \omega_{\mathbf{p}}^2 \tilde{\phi} = 0\) に分解される。これは調和振動子の運動方程式と同じ形であり、量子力学で確立された生成・消滅演算子の手法をそのまま適用できるため、場の量子化が体系的に実行可能になる。
✅ 理解度チェック: Klein-Gordon 場を Fourier 変換すると、各モードの振動数 \(\omega_{\mathbf{p}}\) はどう表されるでしょうか？ これは何の関係式に対応するでしょうか？
答え
\(\omega_{\mathbf{p}} = \sqrt{|\mathbf{p}|^2 + m^2}\)。これは相対論的なエネルギー-運動量関係 \(E^2 = p^2 + m^2\)（自然単位系）に対応する。つまり、各 Fourier モードの振動数が、そのモードに対応する粒子のエネルギーを与える。
4.5 生成・消滅演算子の導入——場のモード展開¶
調和振動子の復習から場の理論へ¶
🟡 リナ: 量子力学の調和振動子で、生成・消滅演算子がどう定義されたか覚えている？
🔵 カイ: はい。確か Hamiltonian \(\hat{H} = \frac{1}{2}\hat{p}^2 + \frac{1}{2}\omega^2 \hat{q}^2\)（自然単位系 \(\hbar = 1\) で、振動子の質量を \(m = 1\) とした場合）に対して、消滅演算子と生成演算子を
と定義して、交換関係 \([\hat{a}, \hat{a}^\dagger] = 1\) が成り立つんでしたよね。
🟡 リナ: その通り。そして場の理論でこの公式がそのまま使える理由を補足しておくわね。式 (4.9) を見ると、各 Fourier モード \(\tilde{\phi}(\mathbf{p}, t)\) は \(\ddot{\tilde{\phi}} + \omega_{\mathbf{p}}^2 \tilde{\phi} = 0\) を満たす。共役運動量は \(\tilde{\pi} = \dot{\tilde{\phi}}\) よ。ここで有限の箱（体積 \(V\)）に入れて運動量を離散化すると、場の同時刻交換関係 (4.4) の右辺 \(\delta^{(3)}(\mathbf{x}-\mathbf{y})\) が \(V^{-1}\sum_{\mathbf{p}} e^{i\mathbf{p}\cdot(\mathbf{x}-\mathbf{y})}\) に置き換わるの。これを Fourier 変換すると、各モードの交換関係が \([\tilde{\phi}_{\mathbf{p}}, \tilde{\pi}_{\mathbf{q}}] = i\,\delta_{\mathbf{p}\mathbf{q}}\) になる——つまり異なるモード間はゼロで、同じモードでは \(i\) になるの。これは各モードが独立な「質量 1、角振動数 \(\omega_{\mathbf{p}}\)」の調和振動子と同じ構造を持っていることを意味するわ。だから上の公式がそのまま適用できるの（連続極限では \(\delta_{\mathbf{p}\mathbf{q}}\) が \(\delta^{(3)}(\mathbf{p}-\mathbf{q})\) に戻るけれど、演算子の定義自体は離散の場合と同じ形になるの）。
🔵 カイ: なるほど、各 Fourier モードが独立な調和振動子と同じ交換関係を持つから、量子力学の公式がそのまま使えるんですね。
🟡 リナ: その通り。そして逆に解くと
で、Hamiltonian は \(\hat{H} = \omega\left(\hat{a}^\dagger \hat{a} + \frac{1}{2}\right)\) になるの。確認してみて——\(\hat{a}^\dagger \hat{a} = \left(\sqrt{\frac{\omega}{2}}\hat{q} - \frac{i}{\sqrt{2\omega}}\hat{p}\right)\left(\sqrt{\frac{\omega}{2}}\hat{q} + \frac{i}{\sqrt{2\omega}}\hat{p}\right)\) を展開すると、\(\hat{q}\hat{q}\) と \(\hat{p}\hat{p}\) の項に加えて、\(\hat{q}\hat{p}\) と \(\hat{p}\hat{q}\) の交差項が出てくる。具体的には \(\frac{\omega}{2}\hat{q}^2 + \frac{1}{2\omega}\hat{p}^2 + \frac{i}{2}(\hat{q}\hat{p} - \hat{p}\hat{q})\) で、最後の括弧は交換子 \([\hat{q}, \hat{p}] = i\) そのもの。代入すると \(\frac{\omega}{2}\hat{q}^2 + \frac{1}{2\omega}\hat{p}^2 - \frac{1}{2}\) になる。\(\hat{H} = \frac{1}{2}\hat{p}^2 + \frac{1}{2}\omega^2\hat{q}^2\) だから \(\frac{\omega}{2}\hat{q}^2 + \frac{1}{2\omega}\hat{p}^2 = \frac{1}{\omega}\hat{H}\) で、結局 \(\hat{a}^\dagger \hat{a} = \frac{1}{\omega}\hat{H} - \frac{1}{2}\) となって、\(\hat{H} = \omega(\hat{a}^\dagger \hat{a} + \frac{1}{2})\) が得られる。「量子力学」編 第 9 章で詳しくやったから、ここでは結果だけ使うわね。
⚪ メイ: \(q\) を \(a\) と \(a^\dagger\) の和で表す形ね。これが場のモード展開に使われるのかしら。
🟡 リナ: まさにその通り。この逆変換の形——\(q\) を \(a\) と \(a^\dagger\) で表す形——が、これから場のモード展開で使う形に直結するの。いまの Klein-Gordon 場は、各運動量 \(\mathbf{p}\) ごとに角振動数 \(\omega_{\mathbf{p}}\) の調和振動子になっている。だから、各モードに対して消滅演算子 \(\hat{a}_{\mathbf{p}}\) と生成演算子 \(\hat{a}_{\mathbf{p}}^\dagger\) を導入するの。
具体的には、式 (4.8) の Fourier 係数 \(\tilde{\phi}(\mathbf{p}, t)\) が角振動数 \(\omega_{\mathbf{p}}\) の調和振動子の「座標」に相当するから、カイが復習してくれた \(q = \frac{1}{\sqrt{2\omega}}(a + a^\dagger)\) の対応で書きたい。調和振動子では \(q\) を \(a\) と \(a^\dagger\) で表したわよね。同じように、各モード \(\mathbf{p}\) に消滅演算子 \(\hat{a}_{\mathbf{p}}\) を割り当てて
と書くの。なぜ \(\hat{a}_{-\mathbf{p}}^\dagger\) が入るかというと、実スカラー場の条件を満たすためよ。古典場では実数性条件は \(\tilde{\phi}(-\mathbf{p}) = \tilde{\phi}(\mathbf{p})^*\)（複素共役）だったわよね。量子化して演算子にした後は、複素共役 \(*\) がエルミート共役 \(\dagger\) に置き換わるの。なぜかというと、古典的に「\(\phi\) が実数」とは \(\phi = \phi^*\) のことだけれど、演算子の世界では「\(\hat{\phi}\) が実数的（＝観測量として実数の測定値を返す）」とは \(\hat{\phi} = \hat{\phi}^\dagger\) のこと——つまりエルミート性——だから。「量子力学」編 第 8 章で学んだように、エルミート演算子の固有値は必ず実数になるのだったわね。確認してみて：この式で \(\mathbf{p} \to -\mathbf{p}\) とすると \(\tilde{\phi}(-\mathbf{p}) = \frac{1}{\sqrt{2\omega_{\mathbf{p}}}}(\hat{a}_{-\mathbf{p}} + \hat{a}_{\mathbf{p}}^\dagger)\)。一方、元の式のエルミート共役は \(\tilde{\phi}(\mathbf{p})^\dagger = \frac{1}{\sqrt{2\omega_{\mathbf{p}}}}(\hat{a}_{\mathbf{p}}^\dagger + \hat{a}_{-\mathbf{p}})\)。確かに \(\tilde{\phi}(-\mathbf{p}) = \tilde{\phi}(\mathbf{p})^\dagger\) が成り立つわ。
🔵 カイ: なるほど、実数性がエルミート性に翻訳されて、それが \(\hat{a}_{-\mathbf{p}}^\dagger\) の必要性を決めるんですね。
🟡 リナ: これを式 (4.8) に代入して整理するわね。\(\hat{a}_{\mathbf{p}}\) の項はそのまま \(e^{i\mathbf{p}\cdot\mathbf{x}}\) がかかる。\(\hat{a}_{-\mathbf{p}}^\dagger\) の項は、積分変数を \(\mathbf{p} \to -\mathbf{p}\) と置き換えると（積分範囲は \(-\infty\) から \(+\infty\) だから変わらない）、\(e^{i(-\mathbf{p})\cdot\mathbf{x}} = e^{-i\mathbf{p}\cdot\mathbf{x}}\) が出てきて、演算子は \(\hat{a}_{-(-\mathbf{p})}^\dagger = \hat{a}_{\mathbf{p}}^\dagger\) になる。こうして場の演算子のモード展開が得られるわ。まず時刻 \(t = 0\) での形を書くわね（時間発展はすぐ後で入れるから）。式 (4.8) の Fourier 係数 \(\tilde{\phi}(\mathbf{p}, t)\) は時間の関数だけれど、\(t = 0\) での値を \(\hat{a}_{\mathbf{p}}\) と \(\hat{a}_{\mathbf{p}}^\dagger\) で表したのが次の式よ。引数が \(\hat{\phi}(\mathbf{x})\) と空間座標だけになっているのは、\(t = 0\) に固定しているからよ。
🔵 カイ: ちょっと確認させてください。後で共役運動量 \(\hat{\pi} = \dot{\hat{\phi}}\) を計算するとき、\(\frac{1}{\sqrt{2\omega_{\mathbf{p}}}}\) の因子はどうなるんですか？
🟡 リナ: いい質問ね。\(\hat{\phi}\) を時間微分すると、\(e^{-i\omega_{\mathbf{p}} t}\) から \(-i\omega_{\mathbf{p}}\) が、\(e^{+i\omega_{\mathbf{p}} t}\) から \(+i\omega_{\mathbf{p}}\) が出てくる。だから \(\hat{\pi}\) の係数は \(\frac{1}{\sqrt{2\omega_{\mathbf{p}}}} \times (-i\omega_{\mathbf{p}}) = (-i)\sqrt{\frac{\omega_{\mathbf{p}}}{2}}\) になるの。調和振動子で \(p = \dot{q}\) を計算したとき、\(q = \frac{1}{\sqrt{2\omega}}(a\,e^{-i\omega t} + a^\dagger e^{i\omega t})\) を微分して \(p = (-i)\sqrt{\frac{\omega}{2}}(a\,e^{-i\omega t} - a^\dagger e^{i\omega t})\) になったのと同じ構造よ。
🔵 カイ: ちょっと待ってください。なぜ \(\hat{a}\) と \(\hat{a}^\dagger\) の両方が入っているんですか？
🟡 リナ: いい質問。実スカラー場 \(\hat{\phi}\) はエルミート (Hermitian) 演算子でなければならないの。つまり \(\hat{\phi}^\dagger = \hat{\phi}\) が成り立つ必要がある。式 (4.11) のエルミート共役を取ると、\(\hat{a}_{\mathbf{p}} \to \hat{a}_{\mathbf{p}}^\dagger\) かつ \(e^{i\mathbf{p}\cdot\mathbf{x}} \to e^{-i\mathbf{p}\cdot\mathbf{x}}\) になる。さらに積分変数を \(\mathbf{p} \to -\mathbf{p}\) と置換すると（積分範囲は全空間なので変わらず、\(\omega_{\mathbf{p}} = \omega_{-\mathbf{p}}\) だから）、\(\hat{a}\) の項と \(\hat{a}^\dagger\) の項が入れ替わって、確かに \(\hat{\phi}^\dagger = \hat{\phi}\) が成り立つ。もし \(\hat{a}\) だけだったら、エルミート性が壊れてしまうわ。
⚪ メイ: 調和振動子で \(q = \frac{1}{\sqrt{2\omega}}(a + a^\dagger)\) と書いたのと同じ構造ね。\(q\) がエルミートだから \(a\) と \(a^\dagger\) の両方が必要だった。
🟡 リナ: そう。式 (4.11) の各要素の意味を整理しておくわね。
表 4.4: 場の演算子展開における各記号の意味
| 記号 | 意味 |
|---|---|
| \(\hat{a}_{\mathbf{p}}\) | 運動量 \(\mathbf{p}\) の粒子を消滅させる演算子 |
| \(\hat{a}_{\mathbf{p}}^\dagger\) | 運動量 \(\mathbf{p}\) の粒子を生成する演算子 |
| $\omega_{\mathbf{p}} = \sqrt{ | \mathbf{p} |
| \(1/\sqrt{2\omega_{\mathbf{p}}}\) | 各モードの規格化因子（調和振動子の \(q = \frac{1}{\sqrt{2\omega}}(a + a^\dagger)\) に由来。この形を選ぶと積分測度 \(d^3p/(2\omega_{\mathbf{p}})\) が Lorentz 変換で不変になる） |
| \((2\pi)^{3/2}\) | Fourier 変換の規格化因子 |
✅ 理解度チェック: 実スカラー場の演算子 \(\hat{\phi}\) のモード展開に \(\hat{a}_{\mathbf{p}}\) と \(\hat{a}_{\mathbf{p}}^\dagger\) の両方が含まれるのはなぜでしょうか？
答え
実スカラー場はエルミート演算子（\(\hat{\phi}^\dagger = \hat{\phi}\)）でなければならない。エルミート共役を取ると \(\hat{a}_{\mathbf{p}}\) と \(\hat{a}_{\mathbf{p}}^\dagger\) が入れ替わるため、両方の項が含まれていないとエルミート性が成り立たない。これは調和振動子で座標演算子 \(q = \frac{1}{\sqrt{2\omega}}(a + a^\dagger)\) に \(a\) と \(a^\dagger\) の両方が必要なのと同じ理由である。
共役運動量密度のモード展開¶
🟡 リナ: 式 (4.11) は \(t = 0\) での場の演算子の展開よ（時間依存はまだ入れていないの）。場の量子論では通常 Heisenberg (ハイゼンベルク) 描像——演算子が時間発展し、状態ベクトルは固定——を使うの。なぜかというと、場の量子論では空間と時間を対等に扱いたいから、場の演算子 \(\hat{\phi}(t, \mathbf{x})\) が時空の関数として振る舞う Heisenberg 描像が自然なの。
🔵 カイ: Schrödinger 描像だと状態ベクトルが時間発展するから、演算子は \(\hat{\phi}(\mathbf{x})\) のように空間だけの関数になってしまう。それだと時空を対等に扱えないんですね。
🟡 リナ: その通り。「量子力学」編 第 13 章で学んだように、Heisenberg 描像では演算子の時間依存性が \(e^{iHt} \hat{O} e^{-iHt}\) で与えられるわ。自由場の場合、各 Fourier モードは角振動数 \(\omega_{\mathbf{p}}\) の調和振動子だから——量子力学の調和振動子で \(a(t) = a(0)\,e^{-i\omega t}\) だったのと同じ理屈で——\(\hat{a}_{\mathbf{p}}\) には \(e^{-i\omega_{\mathbf{p}} t}\)、\(\hat{a}_{\mathbf{p}}^\dagger\) には \(e^{+i\omega_{\mathbf{p}} t}\) がかかるの。具体的には、Hamiltonian が \(\omega(a^\dagger a + 1/2)\) だから交換関係 \([H, a] = -\omega a\) が成り立つ（\([a^\dagger a, a] = a^\dagger [a, a] + [a^\dagger, a]\,a = 0 + (-1)\,a = -a\) を使ったわ）。この交換関係は「\(H\) を \(a\) に作用させると \(-\omega\) 倍の \(a\) が出る」ことを意味していて、演算子の指数関数の公式 \(e^{iHt} a\, e^{-iHt} = a + (it)[H, a] + \frac{(it)^2}{2!}[H, [H, a]] + \cdots = a(1 + (-i\omega t) + \frac{(-i\omega t)^2}{2!} + \cdots) = a\, e^{-i\omega t}\) となるの。つまり \([H, a] = -\omega a\) が繰り返し使えるから、Taylor 展開の各項が \((-i\omega t)^n/n!\) を生み出して、指数関数にまとまるのよ。
🔵 カイ: なるほど、だから各モードの時間発展が \(e^{\pm i\omega_{\mathbf{p}} t}\) になるんですね。
🟡 リナ: そう、各モードで同じことが起きるの。（この結果は後で Hamiltonian をモード展開したとき、式 (4.24) から改めて確認できるわ。）時間発展を含めた完全な形はこうなるわ。
⚪ メイ: \(t = 0\) の式 (4.11) に時間因子 \(e^{\mp i\omega_{\mathbf{p}} t}\) がついた形ね。4 元内積 \(p \cdot x\) を使えばもっとコンパクトに書けそう。
🟡 リナ: その通り。（後で 4 元内積の記法を導入すると、\(e^{-i\omega_{\mathbf{p}} t + i\mathbf{p}\cdot\mathbf{x}} = e^{-ip\cdot x}\) とコンパクトに書けるわ。）以降、時間依存を含む完全な形が必要なときは式 (4.11a) を参照してね。共役運動量密度 \(\hat{\pi} = \dot{\hat{\phi}}\) は、これを時間で微分すれば得られる。
同時刻交換関係の検証では任意の同時刻 \(t\) で成り立つけれど、\(e^{\pm i\omega_{\mathbf{p}} t}\) の因子は \(\hat{\phi}\) と \(\hat{\pi}\) の交換子を取るときに打ち消し合うから、結果は \(t\) によらないの（具体的には、\(\hat{\phi}\) の \(\hat{a}\) 項には \(e^{-i\omega t}\) が、\(\hat{\pi}\) の \(\hat{a}^\dagger\) 項には \(e^{+i\omega t}\) がかかるから、積を取ると \(e^{-i\omega t} \cdot e^{+i\omega t} = 1\) で時間因子が消えるの）。計算の見通しをよくするために \(t = 0\) で書くわね。\(t = 0\) では式 (4.11a) が式 (4.11) に戻り、式 (4.12) で時間因子 \(e^{\pm i\omega_{\mathbf{p}} t}\) を 1 にすると
になるわ（式番号のプライム \('\) は「式 (4.12) の \(t = 0\) 版」という意味よ）。以下の交換関係の検証ではこの \(t = 0\) の形を使うわね。
🔵 カイ: \(\hat{a}\) の前がプラス、\(\hat{a}^\dagger\) の前がマイナスになっている。調和振動子の \(p = -i\sqrt{\omega/2}(a - a^\dagger)\) と同じ構造ですね。
生成・消滅演算子の交換関係¶
🟡 リナ: ここが重要なポイントよ。場の同時刻交換関係 (4.4)–(4.6) から、生成・消滅演算子の交換関係が導かれるの。結果はこう。
🔵 カイ: 量子力学の \([a, a^\dagger] = 1\) が \(\delta^{(3)}(\mathbf{p} - \mathbf{q})\) に置き換わっている！ これも離散→連続の対応ですね。
🟡 リナ: その通り。確認してみましょう。式 (4.11) と (4.12')（\(t = 0\) の形）を同時刻交換関係 (4.4) に代入するの。少し長い計算だけれど、核心は Fourier 変換の直交性
を使うことよ。（式 (4.8) の規格化因子 \((2\pi)^{3/2}\) が 2 つ掛け合わさって分母に \((2\pi)^3\) が出るから、式 (4.15) がそのまま使えるの。）具体的に見てみましょう。\([\hat{\phi}(t, \mathbf{x}), \hat{\pi}(t, \mathbf{y})]\) を計算するわね。式 (4.11) と (4.12) を代入して
展開を丁寧に見てみましょう。\(\hat{\phi}\) と \(\hat{\pi}\) の交換子を計算するとき、\([\hat{a}, \hat{a}] = 0\) と \([\hat{a}^\dagger, \hat{a}^\dagger] = 0\) から、生き残るのは \(\hat{a}\)-\(\hat{a}^\dagger\) の交差項——つまり \(\hat{\phi}\) の \(\hat{a}\) 部分と \(\hat{\pi}\) の \(\hat{a}^\dagger\) 部分、またはその逆の組み合わせ——だけ。
🔵 カイ: 同じ種類同士の交換子はゼロだから、\(\hat{a}\) と \(\hat{a}^\dagger\) が「交差する」項だけが残るんですね。
🟡 リナ: その通り。式 (4.11) で \(\hat{\phi}\) の \(\hat{a}_{\mathbf{p}}\) 項の係数は \(\frac{1}{(2\pi)^{3/2}} \frac{1}{\sqrt{2\omega_{\mathbf{p}}}} e^{i\mathbf{p}\cdot\mathbf{x}}\)、\(\hat{a}_{\mathbf{p}}^\dagger\) 項の係数は \(\frac{1}{(2\pi)^{3/2}} \frac{1}{\sqrt{2\omega_{\mathbf{p}}}} e^{-i\mathbf{p}\cdot\mathbf{x}}\)。
式 (4.12') で \(\hat{\pi}\) の \(\hat{a}_{\mathbf{q}}\) 項の係数は \(\frac{1}{(2\pi)^{3/2}} (-i)\sqrt{\frac{\omega_{\mathbf{q}}}{2}}\, e^{i\mathbf{q}\cdot\mathbf{y}}\)、\(\hat{a}_{\mathbf{q}}^\dagger\) 項の係数は \(\frac{1}{(2\pi)^{3/2}} (+i)\sqrt{\frac{\omega_{\mathbf{q}}}{2}}\, e^{-i\mathbf{q}\cdot\mathbf{y}}\)（式 (4.12') で \(\hat{a}^\dagger\) の前にマイナスがあり、さらに全体に \((-i)\) がかかるから \((-i) \times (-1) = +i\)）。
交差項は 2 つ（以下では Fourier 変換の規格化因子 \(\frac{1}{(2\pi)^{3/2}}\) は省略して、演算子の前の符号と振幅因子だけに注目するわ。最終的に \((2\pi)^{3/2}\) は 2 つ掛け合わさって \((2\pi)^3\) として分母に出てくるの）：
- \(\hat{\phi}\) の \(\hat{a}_{\mathbf{p}}\) 項 × \(\hat{\pi}\) の \(\hat{a}_{\mathbf{q}}^\dagger\) 項 → 式 (4.12') で \(\hat{a}_{\mathbf{q}}^\dagger\) の前には全体として \((-i) \times (-1) \times \sqrt{\omega_{\mathbf{q}}/2} = (+i)\sqrt{\omega_{\mathbf{q}}/2}\) がかかっている（\(\hat{\pi}\) の展開式で全体に \((-i)\) がかかり、さらに \(\hat{a}^\dagger\) の前にマイナスがあるから）。交換子は \([\hat{a}_{\mathbf{p}}, \hat{a}_{\mathbf{q}}^\dagger] = \delta^{(3)}(\mathbf{p} - \mathbf{q})\)。全体の寄与は \((+i)\) × (正の因子) × \(\delta^{(3)}(\mathbf{p} - \mathbf{q})\)
- \(\hat{\phi}\) の \(\hat{a}_{\mathbf{p}}^\dagger\) 項 × \(\hat{\pi}\) の \(\hat{a}_{\mathbf{q}}\) 項 → 式 (4.12') で \(\hat{a}_{\mathbf{q}}\) の前には全体として \((-i)\sqrt{\omega_{\mathbf{q}}/2}\) がかかっている。交換子は \([\hat{a}_{\mathbf{p}}^\dagger, \hat{a}_{\mathbf{q}}] = -[\hat{a}_{\mathbf{q}}, \hat{a}_{\mathbf{p}}^\dagger] = -\delta^{(3)}(\mathbf{q} - \mathbf{p}) = -\delta^{(3)}(\mathbf{p} - \mathbf{q})\)（ここで \([A, B] = -[B, A]\) という交換子の反対称性を使い、さらにデルタ関数の偶関数性 \(\delta^{(3)}(\mathbf{q} - \mathbf{p}) = \delta^{(3)}(\mathbf{p} - \mathbf{q})\)（@chapter:qm/appendix_c 参照）を使ったわ）。\(\hat{\pi}\) の \(\hat{a}_{\mathbf{q}}\) 項の係数 \((-i)\sqrt{\omega_{\mathbf{q}}/2}\) と、交換子から出る \((-1)\) を掛け合わせると \((-i)\sqrt{\omega_{\mathbf{q}}/2} \times (-1) = (+i)\sqrt{\omega_{\mathbf{q}}/2}\) となり、全体の寄与は \((+i)\) × (正の因子) × \(\delta^{(3)}(\mathbf{p} - \mathbf{q})\)
⚪ メイ: 2 つの交差項が同じ符号で寄与するのね。足し合わせが楽になりそう。
🟡 リナ: まとめると
\(\mathbf{q}\) 積分がデルタ関数で \(\mathbf{q} = \mathbf{p}\) に固定され、\(\omega_{\mathbf{q}} = \omega_{\mathbf{p}}\) となる。また規格化因子は \((2\pi)^{3/2} \times (2\pi)^{3/2} = (2\pi)^3\) が分母に出て、振幅因子は \(\frac{1}{\sqrt{2\omega_{\mathbf{p}}}} \times \sqrt{\frac{\omega_{\mathbf{p}}}{2}} = \frac{1}{2}\) となるから
第二項で \(\mathbf{p} \to -\mathbf{p}\) と置換すると（積分範囲は全空間なので変わらない）、両方の項が \(e^{i\mathbf{p}\cdot(\mathbf{x}-\mathbf{y})}\) になって
🔵 カイ: おお、ちゃんと同時刻交換関係が再現された！ 式 (4.13) の \(\delta^{(3)}(\mathbf{p} - \mathbf{q})\) を仮定すると、式 (4.4) の \(\delta^{(3)}(\mathbf{x} - \mathbf{y})\) が出てくるんですね。
⚪ メイ: 逆に言えば、場の交換関係と生成・消滅演算子の交換関係は互いに等価な条件ということね。どちらか一方を仮定すれば、もう一方が導かれる。
✅ 理解度チェック: 式 (4.13) で \(\mathbf{p} = \mathbf{q}\) のとき、\([\hat{a}_{\mathbf{p}}, \hat{a}_{\mathbf{p}}^\dagger]\) の値はどうなるでしょうか？ これは量子力学のどの関係式に対応するでしょうか？
答え
\([\hat{a}_{\mathbf{p}}, \hat{a}_{\mathbf{p}}^\dagger] = \delta^{(3)}(\mathbf{0})\)。これは形式的に無限大だが、これは連続的な運動量ラベルを使っていることに由来する。離散的な箱に入れた場合は \([\hat{a}_{\mathbf{p}}, \hat{a}_{\mathbf{p}}^\dagger] = 1\) となり、量子力学の調和振動子の \([a, a^\dagger] = 1\) にそのまま対応する。
📝 練習問題:
- 同時刻交換関係の導出 → 問題 M-1. 同時刻交換関係からの生成・消滅演算子の交換関係の導出
4.6 Fock 空間——粒子が場から生まれる¶
🟡 リナ: 生成・消滅演算子が手に入ったから、いよいよ「粒子」を作り出せるわ。量子力学の調和振動子では、基底状態 \(|0\rangle\) に生成演算子 \(a^\dagger\) を繰り返し作用させて励起状態を作ったわよね。場の量子論でも同じことをやるの。
真空状態¶
🟡 リナ: まず真空 (vacuum) \(|0\rangle\) を定義する。これは「粒子が一つもない状態」で、すべての消滅演算子で消える状態よ。
🔵 カイ: 調和振動子で「これ以上はしごを降りられない」底の状態 \(|0\rangle\) に対応するんですね。
1 粒子状態¶
🟡 リナ: 真空に生成演算子 \(\hat{a}_{\mathbf{p}}^\dagger\) を 1 回作用させると、運動量 \(\mathbf{p}\) を持つ粒子が 1 つある状態が作られるわ。
この粒子のエネルギーは \(\omega_{\mathbf{p}} = \sqrt{|\mathbf{p}|^2 + m^2}\) よ。
🔵 カイ: 場を量子化しただけで、粒子が「出てきた」んですか？ 最初から粒子を仮定したわけじゃないのに？
🟡 リナ: そこが場の量子論の最も美しいところよ。私たちは「質量 \(m\) のスカラー場」の Lagrangian を書いて、それを正準量子化しただけ。粒子を手で入れたわけじゃない。でも、場の Fourier モードを量子化したら、各モードの励起が自動的に粒子として振る舞うの。
多粒子状態¶
🟡 リナ: 生成演算子を何度も作用させれば、多粒子状態も作れるわ。
ここで重要な性質がある。式 (4.14) から \([\hat{a}_{\mathbf{p}_1}^\dagger, \hat{a}_{\mathbf{p}_2}^\dagger] = 0\) だから
つまり
🔵 カイ: 粒子を入れ替えても状態が変わらない……これって何か意味があるんですか？
🟡 リナ: 大ありよ。これは Bose-Einstein (ボース-アインシュタイン) 統計——つまり、交換関係で量子化した場の粒子は自動的にボソンになるということ。「量子力学」編 第 25 章で学んだ「同種粒子の交換対称性」が、ここでは交換関係から自動的に導かれているの。
⚪ メイ: なるほど、量子力学では交換対称性を「仮定」として入れたけれど、場の量子論では交換関係という一つの原理から導かれるのね。
🟡 リナ: その通り。スカラー場を交換関係で量子化すると、粒子は自動的に boson (ボソン) になるの。これは偶然ではなく、スピンと統計の関係——整数スピンの場は交換関係で量子化され boson になり、半整数スピンの場は反交換関係で量子化され fermion (フェルミオン) になる——という深い定理の一部よ。第 5 章で Dirac 場を扱うとき、この対比がはっきり見えるわ。
Fock 空間¶
🟡 リナ: 真空 \(|0\rangle\)、1 粒子状態、2 粒子状態、……と、すべての粒子数の状態を集めた空間を Fock (フォック) 空間 と呼ぶわ。まず記号を定義しておくわね。\(\mathcal{H}_n\) は「粒子数がちょうど \(n\) 個の状態」が住む Hilbert 空間（状態空間）よ。たとえば \(\mathcal{H}_0\) は真空 \(|0\rangle\) だけを含む 1 次元空間、\(\mathcal{H}_1\) は 1 粒子状態 \(|\mathbf{p}\rangle\) 全体が張る空間（あらゆる運動量 \(\mathbf{p}\) の粒子状態を重ね合わせられる）、\(\mathcal{H}_2\) は 2 粒子状態 \(|\mathbf{p}_1, \mathbf{p}_2\rangle\) 全体が張る空間、……よ。
Fock 空間 \(\mathcal{F}\) は、これらすべてを合わせたもの：
ここで \(\oplus\) は直和 (direct sum) と呼ばれる記号で、「互いに重なりのない独立な空間を合わせて、より大きな空間を作る」という意味よ。
たとえば、\(x\) 軸方向のベクトル全体（1 次元の空間）と \(y\) 軸方向のベクトル全体（1 次元の空間）を考えて。この 2 つはゼロベクトル以外に共通の要素がないわよね。直和とは、この 2 つの独立な空間を「合わせて」、どちらの空間の要素も含む \(xy\) 平面全体（2 次元の空間）を作る操作——これが直和のイメージ。重要なのは、\(x\) 成分と \(y\) 成分が独立に指定できること。Fock 空間の場合は、粒子数 0 の「部屋」、粒子数 1 の「部屋」、粒子数 2 の「部屋」……を全部つなげた大きな建物のようなもの。各部屋は互いに独立で、量子力学的な重ね合わせによって複数の部屋にまたがる状態も許される。
⚠️ 記号の注意：物理学では慣習的に Hilbert 空間も Hamiltonian 密度も同じ \(\mathcal{H}\) を使うの。見分け方は簡単——添字 \(n\) がついていたら Hilbert 空間（\(\mathcal{H}_n\)）、ついていなければ Hamiltonian 密度と思ってちょうだい（後の式 (4.23) で \(\hat{\mathcal{H}}\) が Hamiltonian 密度として登場するわ）。
🔵 カイ: 建物の比喩は分かりやすいです。でも、量子力学では状態の重ね合わせがありますよね。異なる「部屋」にまたがる状態もあり得るんですか？
🟡 リナ: まさにそこが重要なポイントよ。量子力学的な重ね合わせによって複数の部屋にまたがる状態も許されるの。たとえば「粒子が 0 個の状態と 1 個の状態が半々で混ざった状態」も Fock 空間に含まれる正当な状態よ。これが、単に各セクターを並べただけでなく「直和」として一つの空間にまとめる意義なの。
🔵 カイ: 量子力学では粒子の数が固定されていたけれど、Fock 空間では粒子の数すら重ね合わせにできるんですね。でも、粒子数が確定していない状態って、測定したらどうなるんですか？
🟡 リナ: いい質問ね。測定すれば粒子数は確定した値に「収縮」する——量子力学の測定の話と同じよ。でも測定前は、粒子数が異なる状態の重ね合わせとして存在できる。生成演算子で粒子を追加し、消滅演算子で除去する——この構造が Fock 空間の全体像よ。図 4.3「Fock空間のエネルギー準位」 を見てみて。たとえば、不安定な粒子が崩壊する途中の状態は「まだ崩壊していない（粒子 1 個）」と「もう崩壊した（粒子 0 個 + 崩壊生成物）」の重ね合わせになる——こういう状態を記述するには、粒子数が異なるセクターをまたぐ Fock 空間が必要なの。「量子力学」編 第 27 章で「粒子の生成・消滅が必然になる」と予告されていたでしょう？ Fock 空間こそ、その予告を数学的に実現した舞台なの。
🔵 カイ: 崩壊途中の粒子が「まだある」と「もうない」の重ね合わせ……Schrödinger の猫みたいですね。でも猫と違って、こっちは本当にミクロの世界で日常的に起きているんですよね？ でも待ってください——もし粒子数が重ね合わせになっているなら、「エネルギー保存」はどうなるんですか？ 粒子が 1 個の状態と 0 個の状態ではエネルギーが違うはずですよね？
🟡 リナ: 鋭い質問ね。実は、エネルギー保存は成り立っているの。崩壊前の粒子のエネルギーは、崩壊後の生成物の運動エネルギーと質量エネルギーの合計に等しい。崩壊の過程で重ね合わせになるのは「まだ崩壊していない状態」と「崩壊後の状態」だけれど、どちらも同じ全エネルギーを持っているの——エネルギーが確定した初期状態から出発すれば、時間発展で混ざり合う状態はすべて同じエネルギーを持つ（Hamiltonian の固有値が同じ）からよ。加速器では粒子の崩壊が毎秒何億回も起きていて、まさにこの Fock 空間の記述が必要になるの。検出器が粒子を捉えた瞬間に、粒子数の重ね合わせ状態が確定した粒子数に収縮する——それが「崩壊を観測した」ということよ。
図 4.3: Fock空間のエネルギー準位。Fock 空間のエネルギー準位。生成演算子 \(\hat{a}^\dagger\) で粒子を追加し、消滅演算子 \(\hat{a}\) で除去する。ボソンは同じ状態に何個でも入れる。
✅ 理解度チェック: Fock 空間が量子力学の Hilbert 空間と本質的に異なる点は何でしょうか？
答え
量子力学の Hilbert 空間は粒子数が固定された状態のみを扱うが、Fock 空間は粒子数 0（真空）、1、2、……のすべての粒子数セクターの直和として構成される。これにより、粒子数が変化する過程（生成・消滅）を一つの統一的な枠組みで記述できる。
✅ 理解度チェック: 状態 \(\hat{a}_{\mathbf{p}}^\dagger \hat{a}_{\mathbf{p}}^\dagger |0\rangle\) は何を表すでしょうか？
答え
運動量 \(\mathbf{p}\) を持つ同種粒子が 2 つある状態。boson なので、同じ運動量の状態に複数の粒子が入ることが許される。（正確な規格化は \(\frac{1}{\sqrt{2}}(\hat{a}_{\mathbf{p}}^\dagger)^2 |0\rangle\) だが、連続的な運動量ラベルの場合は規格化の取り扱いに注意が必要。）
4.7 粒子数演算子と Hamiltonian¶
粒子数演算子¶
🟡 リナ: 量子力学の調和振動子で、数演算子 \(\hat{n} = a^\dagger a\) がエネルギー準位の量子数を数えたのを覚えている？ 場の量子論でも、粒子数演算子 (number operator) を定義できるわ。
これは「運動量 \(\mathbf{p}\) を持つ粒子の数」を数える演算子よ。全粒子数は
🔵 カイ: 確認してみます。\(\hat{N}_{\mathbf{p}}\) を 1 粒子状態 \(|\mathbf{q}\rangle = \hat{a}_{\mathbf{q}}^\dagger |0\rangle\) に作用させると
交換関係 \(\hat{a}_{\mathbf{p}} \hat{a}_{\mathbf{q}}^\dagger = \hat{a}_{\mathbf{q}}^\dagger \hat{a}_{\mathbf{p}} + \delta^{(3)}(\mathbf{p} - \mathbf{q})\) を使うと
\(\mathbf{p} = \mathbf{q}\) のとき「粒子が 1 つ」、\(\mathbf{p} \neq \mathbf{q}\) のとき「粒子が 0」を返す。ちゃんと粒子数を数えている！
Hamiltonian のモード展開¶
🟡 リナ: いよいよ Hamiltonian を生成・消滅演算子で書き直すわ。Hamiltonian は
式 (4.11a) と (4.12) を代入して、空間積分を実行すると——計算は少し長いけれど、骨格を説明するわね。たとえば \(\hat{\pi}^2\) の項を見ると、\(\hat{\pi}\) には \(\hat{a}_{\mathbf{p}}\) と \(\hat{a}_{\mathbf{p}}^\dagger\) が含まれるから、2 乗すると \(\hat{a}\hat{a}\), \(\hat{a}^\dagger\hat{a}^\dagger\), \(\hat{a}^\dagger\hat{a}\), \(\hat{a}\hat{a}^\dagger\) の 4 種類の項が出る。空間積分で Fourier の直交性 (4.15) を使うと、\(\hat{a}_{\mathbf{p}}\hat{a}_{\mathbf{q}}\) 型の項は \(\delta^{(3)}(\mathbf{p} + \mathbf{q})\) を含み、\(\hat{a}^\dagger\hat{a}\) 型の項は \(\delta^{(3)}(\mathbf{p} - \mathbf{q})\) を含む。
🔵 カイ: \(\delta^{(3)}(\mathbf{p} + \mathbf{q})\) と \(\delta^{(3)}(\mathbf{p} - \mathbf{q})\) の 2 種類が出てくるんですね。
🟡 リナ: そう。\(\hat{\phi}^2\) と \((\nabla\hat{\phi})^2\) の項も同様に処理すると、\(\hat{a}\hat{a}\) 型と \(\hat{a}^\dagger\hat{a}^\dagger\) 型の項は Hamiltonian の 3 つの項——\(\frac{1}{2}\hat{\pi}^2\), \(\frac{1}{2}(\nabla\hat{\phi})^2\), \(\frac{1}{2}m^2\hat{\phi}^2\)——の間で符号が逆になって打ち消し合い（\(\hat{\pi}^2\) からは \(-\omega_{\mathbf{p}}^2\) の係数で、\((\nabla\hat{\phi})^2\) からは \(+|\mathbf{p}|^2\) の係数で、\(m^2\hat{\phi}^2\) からは \(+m^2\) の係数で出てくるが、\(\omega_{\mathbf{p}}^2 = |\mathbf{p}|^2 + m^2\) だから合計がゼロになる）、最終的に \(\hat{a}^\dagger\hat{a}\) 型と \(\hat{a}\hat{a}^\dagger\) 型だけが残るの。
⚪ メイ: 交差しない項がちょうど消える——\(\omega_{\mathbf{p}}^2 = |\mathbf{p}|^2 + m^2\) という関係が効いているのね。
🟡 リナ: その通り。自由場の Lagrangian (4.1) は時間 \(t\) に明示的に依存しないから、第 3 章の Noether の定理で見たように、エネルギー（Hamiltonian）は保存量——つまり時間に依存しない。だから \(t = 0\) で計算しても一般の結果が得られるわ。結果はこうなるの。
🔵 カイ: 第一項は \(\omega_{\mathbf{p}} \hat{N}_{\mathbf{p}}\) だから、「各モードの粒子数 × エネルギー」の足し上げ。これは分かります。でも第二項の \(\frac{1}{2}\delta^{(3)}(\mathbf{0})\) って何ですか？ \(\delta^{(3)}(\mathbf{0})\) は無限大じゃないですか！
🟡 リナ: いいところに気づいたわね。これが零点エネルギー (zero-point energy) の問題よ。次のセクションで詳しく議論するわ。
✅ 理解度チェック: Hamiltonian (4.24) の第一項 \(\int d^3p\, \omega_{\mathbf{p}}\, \hat{a}_{\mathbf{p}}^\dagger \hat{a}_{\mathbf{p}}\) を 1 粒子状態 \(|\mathbf{q}\rangle\) に作用させると何が得られるでしょうか？
答え
\(\hat{H}|\mathbf{q}\rangle = \omega_{\mathbf{q}} |\mathbf{q}\rangle\)（零点エネルギー項を無視した場合）。つまり、運動量 \(\mathbf{q}\) の 1 粒子状態のエネルギーは \(\omega_{\mathbf{q}} = \sqrt{|\mathbf{q}|^2 + m^2}\) であり、相対論的なエネルギー-運動量関係を満たす。
📝 練習問題:
- Hamiltonian のモード展開の計算 → 問題 M-2. Hamiltonian の生成・消滅演算子による表現
4.8 零点エネルギーと真空の問題¶
🟡 リナ: 式 (4.24) をもう一度見てみましょう。
真空状態 \(|0\rangle\) のエネルギーを計算すると
🔵 カイ: これ、二重に無限大ですよね。\(\delta^{(3)}(\mathbf{0})\) も無限大だし、\(\omega_{\mathbf{p}}\) を全運動量にわたって積分するのも無限大。
🟡 リナ: その通り。2 種類の無限大が入っている。
-
\(\delta^{(3)}(\mathbf{0})\) の発散：これは体積の無限大に由来するわ。有限の箱 \(V\) に入れると \(\delta^{(3)}(\mathbf{0}) \to V/(2\pi)^3\) になるから、エネルギー密度は有限。つまり空間が無限に広いから全エネルギーが無限大になるだけ。
-
\(\int d^3p\, \omega_{\mathbf{p}}\) の発散：こちらはもっと深刻。運動量 \(|\mathbf{p}| \to \infty\) で \(\omega_{\mathbf{p}} \to |\mathbf{p}|\) だから、高運動量のモードが無限に寄与する。これは紫外発散 (ultraviolet divergence) と呼ばれるわ。
🔵 カイ: 真空のエネルギーが無限大って……物理的にまずくないですか？
🟡 リナ: いい質問ね。ここで 2 つの考え方があるの。
正規順序——実用的な処方箋¶
🟡 リナ: 第一の考え方は、「通常の実験で測れるのはエネルギーの差だけだから、真空エネルギーはゼロに再定義してしまおう」というもの。これを実現する数学的な操作が正規順序 (normal ordering) よ。記号 \(:\!A\!:\) で表すわ。
正規順序とは、生成演算子 \(\hat{a}^\dagger\) を常に消滅演算子 \(\hat{a}\) の左に並べ替える操作のこと。並べ替えの際に交換関係から出てくる定数の項は捨てる。ここで「定数の項」とは、演算子を含まない純粋な数値のことで、場の量子論では c-数 (c-number) と呼ぶわ。「c」は classical（古典的）の頭文字で、\(1\) とか \(\delta^{(3)}(\mathbf{p}-\mathbf{q})\) のような、演算子ではない普通の数を指すの。これに対して、演算子のことを q-数 (q-number)（quantum の頭文字）と呼ぶこともあるわ。なぜ捨てていいかというと、さっき言ったように通常の実験ではエネルギーの差しか測れないから、全体に定数を足し引きしても物理的な予測は変わらないの。正規順序は「真空のエネルギーをゼロに設定する」という基準点の選び方に相当するわ。
🔵 カイ: なるほど、エネルギーの「原点」を真空に合わせる操作なんですね。
🟡 リナ: そう。具体的に見てみましょう。交換関係 (4.13) から \(\hat{a}_{\mathbf{p}} \hat{a}_{\mathbf{q}}^\dagger = \hat{a}_{\mathbf{q}}^\dagger \hat{a}_{\mathbf{p}} + \delta^{(3)}(\mathbf{p} - \mathbf{q})\) よね。正規順序では、この \(\delta^{(3)}(\mathbf{p} - \mathbf{q})\)（c-数）を捨てて、\(\hat{a}^\dagger\) を左に持ってきた部分だけを残す。
これを Hamiltonian に適用すると
零点エネルギーの項が消えた！
⚪ メイ: つまり \(:\!\hat{H}\!:\, |0\rangle = 0\) になるから、真空のエネルギーをゼロと定義したことになるのね。
🔵 カイ: でも、零点エネルギーを「捨てていい」って、ちょっと乱暴じゃないですか？ 本当に物理的に意味がないんですか？
零点エネルギーは本当に無意味か？¶
🟡 リナ: 実はそうとも言い切れないの。零点エネルギーの差は物理的に観測可能よ。その最も有名な例が Casimir (カシミール) 効果 で、この章の最後に具体的に計算するわ。
また、もう一つ深刻な問題がある。一般相対論では、エネルギーの絶対値が重力場を生み出す。だから真空エネルギーは宇宙の膨張に影響するの。素朴に計算した真空エネルギー密度と、宇宙論的観測から推定される値は、なんと \(10^{120}\) 倍もずれている。これは宇宙定数問題 (cosmological constant problem) と呼ばれ、現代物理学の最大の未解決問題の一つよ。
🔵 カイ: \(10^{120}\) 倍！？ 桁違いにもほどがある……。
🟡 リナ: だから、正規順序は「当面の計算を進めるための実用的な処方箋」であって、零点エネルギーの問題が完全に解決されたわけではないの。これは場の量子論の限界の一つとして、第 24 章でまた触れることになるわ。図 4.4「零点エネルギーと正規順序」 に正規順序の操作をまとめておいたから確認してみてね。
図 4.4: 零点エネルギーと正規順序。正規順序前は無限大の零点エネルギーが存在するが、正規順序（生成演算子を左に並べ替え）により真空エネルギーをゼロに再定義できる。
✅ 理解度チェック: 正規順序 \(:\!\hat{H}\!:\) を取ると、真空のエネルギーはいくつになるでしょうか？ なぜそうなるでしょうか？
答え
\(\langle 0|:\!\hat{H}\!:|0\rangle = 0\)。正規順序では消滅演算子が右に来るため、真空に作用すると \(\hat{a}_{\mathbf{p}}|0\rangle = 0\) によりゼロになる。つまり、真空エネルギーをゼロに再定義したことになる。
4.9 運動量演算子¶
🟡 リナ: エネルギーだけでなく、運動量も生成・消滅演算子で表せるわ。第 3 章で Noether の定理から、空間並進の対称性に対応する保存量として運動量を導いたわよね。正準エネルギー・運動量テンソル \(T^{\mu\nu}\) の \(T^{0i}\) 成分が運動量密度を与えるの。具体的には \(T^{0i} = \frac{\partial\mathcal{L}}{\partial(\partial_0\phi)}\partial^i\phi = \pi\,\partial^i\phi\) よ。ここで注意が必要なのは、QFT 流の符号規約（\(\eta_{\mu\nu} = \mathrm{diag}(+1,-1,-1,-1)\)）では、空間添字を上げると符号が反転すること。つまり \(\partial^i = \eta^{i\nu}\partial_\nu = \eta^{ii}\partial_i = (-1)\partial_i = -\partial_i\) よ（対角計量だから \(\nu = i\) の項だけが残る）。\(\partial_i = \frac{\partial}{\partial x^i}\) は通常の空間微分（\(\nabla\) の \(i\) 成分）だから、\(\partial^i\phi = -(\nabla\phi)_i\) となる。したがって \(T^{0i} = -\pi\,(\nabla\phi)_i\) で
よ。負号は「QFT 流の計量で空間添字を上げるとマイナスがつく」ことから来ているの。
🔵 カイ: 符号規約で負号が出るんですね。直感的にこれが正しい運動量を返すか確認できますか？
🟡 リナ: いい質問ね。符号が正しいか直感的に確認してみましょう。1 次元で右に進む波 \(\phi \propto e^{-i(\omega t - px)} = e^{i(px - \omega t)}\)（\(p > 0\)）を考えて。\(\nabla\phi = ip\,\phi\)、\(\hat{\pi} = \dot{\phi} = -i\omega\,\phi\) だから、\(-\hat{\pi}\,\nabla\hat{\phi} = -(-i\omega)(ip)\,|\phi|^2 = \omega p\,|\phi|^2 > 0\) で、ちゃんと正の運動量を返すわ。直感的には、\(\nabla\hat{\phi}\) は「場が空間的にどれだけ変化しているか」を表し、\(\hat{\pi}\) は「場の時間変化の勢い」を表すから、この積は「場の波がどの方向にどれだけの勢いで進んでいるか」——つまり運動量密度——を与えるの。これにモード展開 (4.11a), (4.12) を代入して正規順序を取ると——Hamiltonian のときと同じく Fourier の直交性を使う計算で——
⚪ メイ: Hamiltonian (4.27) と見比べると、構造がそっくりね。\(\omega_{\mathbf{p}}\) が \(\mathbf{p}\) に置き換わっただけ。
🔵 カイ: ということは、エネルギーと運動量を一つにまとめた「4 元運動量」の形にも書けそうですね。
🟡 リナ: その通り。4 元運動量演算子としてまとめると
1 粒子状態 \(|\mathbf{q}\rangle\) に作用させると
🔵 カイ: 1 粒子状態はエネルギー \(\omega_{\mathbf{q}}\) と運動量 \(\mathbf{q}\) を持つ。まさに質量 \(m\) の相対論的粒子ですね！ でも、2 粒子状態 \(|\mathbf{p}_1, \mathbf{p}_2\rangle\) に作用させたら、エネルギーは \(\omega_{\mathbf{p}_1} + \omega_{\mathbf{p}_2}\) になるんですか？
🟡 リナ: その通り。4 元運動量全体で言えば \(:\!\hat{P}^\mu\!: |\mathbf{p}_1, \mathbf{p}_2\rangle = (\omega_{\mathbf{p}_1} + \omega_{\mathbf{p}_2},\, \mathbf{p}_1 + \mathbf{p}_2)\,|\mathbf{p}_1, \mathbf{p}_2\rangle\) よ。エネルギーも運動量も単純に足し合わさる——これは自由場だから相互作用がなく、粒子同士が独立に振る舞うことの反映よ。場の量子論では、粒子は「場に後から付け加えるもの」ではなく、場の量子的な励起として自動的に現れるものなの。これが「量子力学」編 第 27 章で予告された「場の振動モードが粒子である」という世界観の実現よ。
✅ 理解度チェック: 4 元運動量演算子 \(:\!\hat{P}^\mu\!:\) を 1 粒子状態 \(|\mathbf{q}\rangle\) に作用させると何が得られるでしょうか？ これは何を意味するでしょうか？
答え
\(:\!\hat{P}^\mu\!: |\mathbf{q}\rangle = (\omega_{\mathbf{q}}, \mathbf{q}) |\mathbf{q}\rangle\) が得られる。つまり 1 粒子状態はエネルギー \(\omega_{\mathbf{q}} = \sqrt{|\mathbf{q}|^2 + m^2}\) と運動量 \(\mathbf{q}\) を持ち、相対論的なエネルギー-運動量関係を満たす質量 \(m\) の粒子として振る舞う。粒子は場の量子化から自動的に現れたものであり、手で仮定したものではない。
4.10 複素スカラー場と反粒子の出現¶
🟡 リナ: ここまで実スカラー場を量子化してきたけれど、実スカラー場では「粒子」は 1 種類しか出てこない。でも自然界では、すべての粒子に反粒子 (antiparticle) が存在するわ。反粒子はどこから来るの？
🔵 カイ: 「量子力学」編 第 27 章で、Dirac 方程式から反粒子が予言されたという話がありましたよね。
🟡 リナ: そう。でも実は、もっと単純な場——複素スカラー場 (complex scalar field)——を量子化するだけで、反粒子が自然に出現するの。
複素スカラー場の Lagrangian¶
🟡 リナ: 複素スカラー場 \(\psi(x)\) の Lagrangian 密度はこう書けるわ。
🔵 カイ: 実スカラー場の Lagrangian (4.1) と似ていますが、\(\phi^2\) の代わりに \(\psi^\dagger \psi\) になっている。なぜ \(\psi^2\) じゃなくて \(\psi^\dagger \psi\) なんですか？
🟡 リナ: いい質問ね。\(\psi\) は複素数だから、\(\psi^2\) は一般に複素数になってしまう。でも Lagrangian は実数でなければならない（作用 \(S = \int d^4x\, \mathcal{L}\) が実数でないと、確率の保存が壊れるの）。\(\psi^\dagger \psi = |\psi|^2\) なら常に実数かつ非負だから、質量項として適切なの。運動エネルギー項 \((\partial_\mu \psi^\dagger)(\partial^\mu \psi)\) も同じ理由で \(\psi^\dagger\) と \(\psi\) のペアになっているわ。
⚪ メイ: Lagrangian の実数性が \(\psi^\dagger \psi\) という組み合わせを要請するのね。
🟡 リナ: では、複素場の構造をもう少し見てみましょう。複素場 \(\psi\) は 2 つの実スカラー場 \(\phi_1, \phi_2\) を使って
と書ける。つまり、複素場は2 つの独立な実数の自由度を持っているの。実スカラー場が 1 自由度だったのに対して、複素スカラー場は 2 自由度。この「自由度が 2 倍」というのが、粒子と反粒子が出てくる鍵よ。
モード展開——2 種類の演算子¶
🟡 リナ: 実スカラー場のモード展開 (4.11) では、\(\hat{a}\) と \(\hat{a}^\dagger\) の 1 種類のペアだけだった。でも複素場はエルミートではない（\(\hat{\psi} \neq \hat{\psi}^\dagger\)）から、2 種類の独立な演算子が必要になるの。
🟡 リナ: ここでは時間依存も含めた Heisenberg 描像で書くわね。式 (4.11a) で既に \(e^{-i\omega_{\mathbf{p}} t + i\mathbf{p}\cdot\mathbf{x}}\) という組み合わせが出てきたけれど、場の量子論ではこの形が頻繁に出てくるから、ここで 4 元内積 \(p \cdot x\) を使ったコンパクトな記法を正式に導入しておくわ。これは複素場に限らず、場の量子論全般で使う標準的な記法で、以降の章でもずっと使うわよ。実スカラー場の式 (4.11a) も、この記法を使えば \(e^{-ip\cdot x}\) と \(e^{ip\cdot x}\) でコンパクトに書けるの。
🔵 カイ: 4 元内積って、第 2 章で出てきた計量 \(\eta_{\mu\nu}\) を使う内積ですよね。
🟡 リナ: そう。\(\eta_{\mu\nu} = \mathrm{diag}(+1, -1, -1, -1)\) だったわね。4 元運動量 \(p^\mu = (\omega_{\mathbf{p}},\, \mathbf{p})\)、4 元座標 \(x^\mu = (t,\, \mathbf{x})\) に対して、内積を計算するには一方の添字を下ろす必要があるの。\(p_\mu = \eta_{\mu\nu} p^\nu\)（\(\nu\) について和を取る）を成分で書くと、計量が対角だから \(\mu = 0\) のとき \(p_0 = \eta_{00} p^0 = (+1) \times \omega_{\mathbf{p}} = \omega_{\mathbf{p}}\) で時間成分はそのまま。空間成分（\(\mu = 1, 2, 3\)）では \(p_i = \eta_{i0}p^0 + \eta_{i1}p^1 + \eta_{i2}p^2 + \eta_{i3}p^3 = 0 + \cdots + (-1)p^i + \cdots = -p^i\) で負号がつく（対角計量だから \(\mu \neq \nu\) の項はすべてゼロ）。つまり \(p_\mu = (\omega_{\mathbf{p}},\, -\mathbf{p})\) よ。
🔵 カイ: 計量の空間成分が \(-1\) だから、添字を下ろすと空間部分にマイナスがつくんですね。
🟡 リナ: その通り。したがって 4 元内積——ここでは \(p \cdot x\) と書くけれど、これは \(p_\mu x^\mu\)（Einstein の縮約規則で和を取る）の省略記法よ——は
だから、\(e^{-ip\cdot x} = e^{-i\omega_{\mathbf{p}} t + i\mathbf{p}\cdot\mathbf{x}}\) は正の振動数（正のエネルギー）の波、\(e^{ip\cdot x} = e^{i\omega_{\mathbf{p}} t - i\mathbf{p}\cdot\mathbf{x}}\) は負の振動数の波に対応するわ。
⚪ メイ: これで指数部分がすっきり書けるわね。式 (4.11a) も \(e^{-ip\cdot x}\) と \(e^{ip\cdot x}\) の 2 項だったということか。
🟡 リナ: そう。では複素場のモード展開を書くわね。
🔵 カイ: \(\hat{a}\) と \(\hat{b}\) の 2 種類！ なぜ \(\hat{a}\) だけじゃダメなんですか？ それと、なぜ \(\hat{b}^\dagger\)（生成演算子）が \(e^{ip\cdot x}\)（負の振動数の波）と組み合わさっているんですか？
🟡 リナ: 2 つとも核心的な質問ね。まず 1 つ目。実スカラー場ではエルミート性 \(\hat{\phi} = \hat{\phi}^\dagger\) があったから、\(e^{-ip\cdot x}\) の係数（消滅演算子）と \(e^{ip\cdot x}\) の係数（生成演算子）が同じ演算子のエルミート共役ペアになっていた。ここで「\(e^{-ip\cdot x}\) に消滅演算子」「\(e^{ip\cdot x}\) に生成演算子」が対応するのは、実スカラー場の式 (4.11a) で確認した通りの約束よ——\(e^{-ip\cdot x}\) は正のエネルギーの波で粒子を「取り除く」項、\(e^{ip\cdot x}\) は粒子を「付け加える」項に対応するの。でも複素場 \(\hat{\psi}\) はエルミートではないから、\(\hat{\psi}\) の中の \(e^{-ip\cdot x}\) の係数（消滅演算子 \(\hat{a}\)）と \(e^{ip\cdot x}\) の係数（生成演算子）は別の種類 \(\hat{b}^\dagger\) でなければならないの。
2 つ目の質問——なぜ \(\hat{b}^\dagger\) が \(e^{ip\cdot x}\) と組むか。\(\hat{b}^\dagger\) は反粒子を「生成する」演算子よ。反粒子 1 個を生成すると、系のエネルギーは \(+\omega_{\mathbf{p}}\) だけ増える。一方、\(e^{ip\cdot x} = e^{i\omega_{\mathbf{p}} t - i\mathbf{p}\cdot\mathbf{x}}\) の時間依存は \(e^{+i\omega t}\) で、Heisenberg 描像では「エネルギーを \(\omega\) だけ増やす演算子」に \(e^{+i\omega t}\) がかかるの（実スカラー場で \(\hat{a}^\dagger\) に \(e^{+i\omega t}\) がかかっていたのと同じ理屈よ）。だから \(\hat{b}^\dagger\) と \(e^{ip\cdot x}\) が組むのは自然なの。
⚪ メイ: つまり、複素場はエルミートでないから、1 種類の演算子ペアでは足りなくて、独立な 2 種類が必要になるのね。
🟡 リナ: そう。もう少し具体的に言うと、式 (4.32) で \(\psi\) が \(\phi_1\) と \(\phi_2\) の 2 つの実場から作られていたわよね。大雑把には「2 つの実自由度 → 2 種類の演算子」という対応があるの。ただし正確には \(\hat{a}\) と \(\hat{b}\) は \(\phi_1\), \(\phi_2\) の単純な対応ではなく、混ざった形になるわ。交換関係は
それ以外の交換子（\([\hat{a}, \hat{b}]\), \([\hat{a}, \hat{b}^\dagger]\) など）はすべてゼロ。\(\hat{a}\) 型と \(\hat{b}\) 型は完全に独立よ。
Hamiltonian と粒子・反粒子¶
🟡 リナ: 正規順序を取った Hamiltonian は
🔵 カイ: \(\hat{a}\) 粒子と \(\hat{b}\) 粒子の両方のエネルギーが \(\omega_{\mathbf{p}} = \sqrt{|\mathbf{p}|^2 + m^2}\) で、同じ質量 \(m\) を持っている！
🟡 リナ: そう。\(\hat{a}_{\mathbf{p}}^\dagger\) が生成する粒子を「粒子」、\(\hat{b}_{\mathbf{p}}^\dagger\) が生成する粒子を「反粒子」と呼ぶの。粒子と反粒子は同じ質量を持つけれど、保存荷電の符号が逆になる。
\(U(1)\) 対称性と保存荷電¶
🟡 リナ: 複素スカラー場の Lagrangian (4.31) には、実スカラー場にはなかった対称性があるわ。位相変換
のもとで Lagrangian は不変よ。\(\alpha\) は定数だから微分を通り抜けるし、\(e^{-i\alpha} \cdot e^{i\alpha} = 1\) だから \(\psi^\dagger \psi\) も不変。この「定数の位相 \(e^{i\alpha}\) をかける」変換を \(U(1)\) 変換 と呼ぶの。\(U(1)\) は「絶対値 1 の複素数全体」の集合で、\(e^{i\alpha}\)（\(\alpha\) は任意の実数）がちょうどそれに当たるわ。「\(U\)」は unitary（ユニタリー）の頭文字で「絶対値を保つ変換」、「\(1\)」は「1 次元の複素数」を意味しているの。
⚪ メイ: これは連続的な対称性ね。\(\alpha\) を連続的に変えられるから。
🟡 リナ: そう。そして連続対称性があるということは、第 3 章で学んだ Noether の定理が使えるわよね。Noether の定理によれば連続対称性には保存量が対応する。この \(U(1)\) 対称性に対応する保存荷電 (conserved charge) を計算すると（具体的な導出は練習問題 問題 M-4. 複素スカラー場の量子化と粒子・反粒子 で確認してね）
🔵 カイ: 粒子の数から反粒子の数を引いたもの！ ということは、粒子と反粒子が 1 つずつ対消滅しても \(Q\) は変わらない——\(+1\) と \(-1\) が消えて差し引きゼロだから。でも、粒子だけが 1 つ生成されたら \(Q\) が変わるはずですよね？ それは許されないんですか？
🟡 リナ: いい質問ね。\(Q\) が保存量だから、粒子だけが単独で生成されることは許されないの。必ず粒子と反粒子がペアで生成・消滅する。これが「保存荷電」の物理的な意味よ。そして実スカラー場は \(\phi = \phi^\dagger\) だから \(U(1)\) 対称性がなく、保存荷電が定義されない（あるいは形式的に書いてもゼロになる）。つまり実スカラー場の粒子は「自分自身が反粒子」なの。一方、複素スカラー場は \(\psi \neq \psi^\dagger\) だから \(U(1)\) 対称性が生まれ、荷電の符号で粒子と反粒子が区別される。ここまでの実スカラー場と複素スカラー場の違いを表にまとめておくわね。
表 4.5: 実スカラー場と複素スカラー場の比較
| 実スカラー場 \(\phi\) | 複素スカラー場 \(\psi\) | |
|---|---|---|
| エルミート性 | \(\hat{\phi} = \hat{\phi}^\dagger\) | \(\hat{\psi} \neq \hat{\psi}^\dagger\) |
| 演算子の種類 | \(\hat{a}\) のみ | \(\hat{a}\) と \(\hat{b}\) |
| 粒子の種類 | 1 種類（粒子 = 反粒子） | 2 種類（粒子と反粒子） |
| \(U(1)\) 対称性 | なし | あり |
| 保存荷電 | \(Q = 0\) | \(Q = N_a - N_b\) |
⚪ メイ: きれいに対比されているわね。表を見ると、エルミート性の有無から順番に違いが生まれているのがよく分かる。
荷電共役¶
🟡 リナ: 粒子と反粒子を入れ替える操作を荷電共役 (charge conjugation) と呼ぶわ。記号 \(C\) で表す。
Hamiltonian (4.36) は \(\hat{a}\) と \(\hat{b}\) について対称だから、\(C\) のもとで不変。でも保存荷電 (4.38) は
と符号が反転する。
🔵 カイ: 粒子と反粒子を入れ替えると、荷電の符号だけが変わる。質量もエネルギーも同じ。
🟡 リナ: 図 4.5「複素スカラー場と反粒子の出現」 に全体の構造をまとめておいたわ。これは CPT 定理——荷電共役 (C)、空間反転 (P)、時間反転 (T) の 3 つの操作を同時に行うと、物理法則は必ず不変であるという定理——の帰結の一つよ。この定理から、粒子と反粒子は必ず同じ質量を持つことが導かれる。これは実験でも極めて高い精度で確認されているわ。CPT 定理の詳しい議論は第 10 章で扱うわね。
図 4.5: 複素スカラー場と反粒子の出現。複素スカラー場の量子化から粒子（\(\hat{a}^\dagger\)）と反粒子（\(\hat{b}^\dagger\)）が自然に出現する。\(U(1)\) 対称性が保存電荷を生み、荷電共役 \(C\) で粒子と反粒子が入れ替わる。
✅ 理解度チェック: 荷電共役 \(C\) のもとで、Hamiltonian (4.36) と保存荷電 \(\hat{Q}\) (4.38) はそれぞれどう変換されるでしょうか？
答え
Hamiltonian は \(\hat{a}\) と \(\hat{b}\) について対称なので \(C\) のもとで不変。一方、保存荷電は \(\hat{Q} \to -\hat{Q}\) と符号が反転する。これは粒子と反粒子を入れ替えると質量やエネルギーは変わらないが、荷電の符号だけが逆になることを意味する。
✅ 理解度チェック: 複素スカラー場の量子化で、なぜ生成・消滅演算子が 2 種類（\(\hat{a}\), \(\hat{b}\)）必要なのでしょうか？ 1 文で説明してみましょう。
答え
複素場 \(\hat{\psi}\) はエルミートではない（\(\hat{\psi} \neq \hat{\psi}^\dagger\)）ため、正の振動数部分と負の振動数部分に独立な演算子を割り当てる必要があり、それぞれが粒子と反粒子の生成・消滅を担う。
📝 練習問題:
- 複素スカラー場の保存荷電の導出 → 問題 M-4. 複素スカラー場の量子化と粒子・反粒子
4.11 Casimir 効果——零点エネルギーは本当に存在する¶
🟡 リナ: さっき「零点エネルギーを正規順序で捨てた」と言ったけれど、零点エネルギーの差は物理的に観測可能よ。その最も直接的な証拠が Casimir (カシミール) 効果。1948 年に Hendrik Casimir (ヘンドリック・カシミール) が予言し、後に実験で確認された現象よ。
🔵 カイ: 零点エネルギーが観測できるんですか？ どうやって？
設定：2 枚の平行な金属板¶
🟡 リナ: 図 4.6「Casimir 効果の設定」に設定を図示したから見て。真空中に 2 枚の完全導体の平行な金属板を距離 \(d\) で置くことを考えるわ。
図 4.6: Casimir 効果の設定。金属板の間では境界条件により離散的なモード（\(k_n = n\pi/d\)）のみが許される。外側では連続的なモードが存在する。内外の零点エネルギー密度の差が板を引き寄せる力（Casimir 力）として現れる。
板の間では、場の振動モードに境界条件が課される。導体表面で場がゼロになる（波の「節」になる）必要があるから、許される波数は離散的になるの。ちょうど両端を固定した弦の振動で、弦の長さの整数分の 1 の波長しか許されないのと同じよ。
一方、金属板の外では波数は連続的。
⚪ メイ: 金属板の間では許されるモードが制限されるから、内側と外側で零点エネルギーの密度が違ってくるのね。
🟡 リナ: まさにその通り。零点エネルギーの差が、金属板に力を及ぼすの。
1 次元での計算¶
🟡 リナ: 本質を見るために、まず 1 次元の質量ゼロのスカラー場で計算してみましょう。Casimir が元々考えたのは電磁場（光子の場）だけれど、本質的な物理は質量ゼロの場の零点エネルギーの差にあるから、ここでは \(m = 0\) のスカラー場で議論するわ（3 次元の電磁場では偏光の自由度で因子 2 が追加されるけれど、\(d\) 依存性は同じよ）。\(m = 0\) とすると \(\omega_n = \sqrt{k_n^2 + m^2} = k_n = n\pi/d\) と簡単になるわ。板の間の零点エネルギーは
🔵 カイ: \(\sum_{n=1}^{\infty} n = 1 + 2 + 3 + \cdots\) って、発散しますよね？
🟡 リナ: そう。でもここで物理的な議論をするわ。これから少し長い計算をするけれど、目標を先に言っておくわね。板がある場合の零点エネルギー（離散和）から、板がない場合の零点エネルギー（連続積分）を引くと、発散する部分がキャンセルして有限の値だけが残る——その有限の値を求めるのがこの計算の目的よ。
実際の金属板は、非常に短い波長（非常に高いエネルギー）の電磁波に対しては透明になる。だから、高い振動数のモードは境界条件の影響を受けない。これを数学的に実現するために、正則化 (regularization) という手法を使うの。
具体的には、指数関数的な減衰因子 \(e^{-\epsilon n}\)（\(\epsilon > 0\) は微小な正の数）を入れて
とする。
🔵 カイ: ちょっと待ってください。なぜ \(e^{-\epsilon n}\) という形を選ぶんですか？ 別の減衰因子でも同じ結果になるんですか？
🟡 リナ: いい質問ね。実は、高い \(n\) を抑える関数なら何を使っても、最終的に物理的な有限部分（\(-1/12\) の項）は同じ値になるの。たとえば \(e^{-\epsilon n^2}\) でも、あるいは \(n\) がある値 \(N\) を超えたら打ち切る方法でも、発散する部分の形は変わるけれど、有限の部分は変わらない。これが正則化の核心——物理的な結果は正則化の方法に依存しない——よ。練習問題 問題 A-1. 1 次元 Casimir 効果の定量的計算 では別の方法（ゼータ関数正則化）でも同じ \(-1/12\) が出ることを確認するわ。ここでは \(e^{-\epsilon n}\) を使うのは、等比級数の公式で計算が簡単にできるからよ。
🔵 カイ: なるほど、計算の便宜で選んでいるだけで、物理的な答えは方法によらないんですね。
🟡 リナ: その通り。この和は計算できるわ。等比級数の和 \(\sum_{n=0}^{\infty} x^n = \frac{1}{1-x}\)（\(|x| < 1\)）の両辺を \(x\) で微分すると \(\sum_{n=1}^{\infty} n\, x^{n-1} = \frac{1}{(1-x)^2}\) になるから、両辺に \(x\) をかけて
という公式が得られる。\(\epsilon > 0\) のとき \(x = e^{-\epsilon} < 1\) だから、この公式が使えるわ。\(x = e^{-\epsilon}\) として展開してみましょう。
⚪ メイ: 等比級数を微分して得られる公式ね。
🟡 リナ: そう。目標は「\(\epsilon \to 0\) で発散する部分」と「\(\epsilon\) によらない有限の部分」を分離すること。Taylor 展開で地道にやっていくわね。\(e^{-\epsilon} \approx 1 - \epsilon + \frac{\epsilon^2}{2} - \frac{\epsilon^3}{6} + \cdots\) だから、分母は
したがって
🔵 カイ: ちょっと整理させてください。いまやりたいのは、\(\sum n\,e^{-\epsilon n} = \frac{e^{-\epsilon}}{(1-e^{-\epsilon})^2}\) を \(\epsilon\) のべきで展開して、発散する部分と有限の部分を分離することですよね？
🟡 リナ: その通り。「\(\frac{e^{-\epsilon}}{(1-e^{-\epsilon})^2}\) を \(\epsilon\) のべきで展開して、\(\epsilon^{-2}\)（発散する項）と \(\epsilon^0\)（有限の項）を分離する」のが目標よ。\((1-u)^{-2} \approx 1 + 2u + 3u^2 + \cdots\)（等比級数 \(\frac{1}{1-u} = 1 + u + u^2 + \cdots\)（\(|u| < 1\) で成立）の両辺を \(u\) で微分すると \(\frac{1}{(1-u)^2} = 1 + 2u + 3u^2 + \cdots\) が得られるわ。ここでは \(u \approx \epsilon/2\) で \(\epsilon\) は微小だから \(|u| < 1\) は満たされているわね）を \(u = \frac{\epsilon}{2} - \frac{\epsilon^2}{6} + \cdots\) に適用するの。
🔵 カイ: ここで \(u\) は \(\epsilon\) の 1 次以上だから、\(u^2\) は \(\epsilon^2\) 以上の寄与しか出さないんですね。
🟡 リナ: その通り。先ほどの式で \(1 - e^{-\epsilon} \approx \epsilon\left(1 - \frac{\epsilon}{2} + \frac{\epsilon^2}{6} - \cdots\right)\) と書いたわよね。ここで \(u \equiv \frac{\epsilon}{2} - \frac{\epsilon^2}{6} + \cdots\) と定義すると、\(1 - e^{-\epsilon} = \epsilon(1 - u)\) と書ける。したがって \(\frac{1}{(1-e^{-\epsilon})^2} = \frac{1}{\epsilon^2} \cdot \frac{1}{(1 - u)^2}\) よ。\(\frac{1}{(1-u)^2} = 1 + 2u + 3u^2 + \cdots\) に \(u = \frac{\epsilon}{2} - \frac{\epsilon^2}{6} + \cdots\) を代入すると、\(\epsilon^0\) の項は \(1\)、\(\epsilon^1\) の項は \(2 \times \frac{1}{2} = 1\)、\(\epsilon^2\) の項は \(2 \times (-\frac{1}{6}) + 3 \times (\frac{1}{2})^2 = -\frac{1}{3} + \frac{3}{4} = \frac{5}{12}\)。つまり \(\frac{1}{(1-u)^2} \approx 1 + \epsilon + \frac{5}{12}\epsilon^2 + \cdots\) だから
次に分子の \(e^{-\epsilon} \approx 1 - \epsilon + \frac{\epsilon^2}{2} - \cdots\) をかけるわ。つまり \(\frac{e^{-\epsilon}}{(1-e^{-\epsilon})^2} \approx \frac{1}{\epsilon^2} \times (1 - \epsilon + \frac{\epsilon^2}{2} - \cdots)(1 + \epsilon + \frac{5\epsilon^2}{12} + \cdots)\) を展開するの。全体に \(\frac{1}{\epsilon^2}\) がかかっているから、括弧 2 つの積を \(\epsilon\) のべきごとに整理すればいいわ——高校数学の「多項式の展開」と同じ要領よ。
\(\epsilon^0\) の項（= 全体で \(\epsilon^{-2}\)）：\(1 \times 1 = 1\) → 全体で \(\frac{1}{\epsilon^2}\)
\(\epsilon^1\) の項（= 全体で \(\epsilon^{-1}\)）：\(1 \times \epsilon + (-\epsilon) \times 1 = \epsilon - \epsilon = 0\) → 消える
🔵 カイ: おっ、\(\epsilon^{-1}\) の項がちょうど消えるんですね！
🟡 リナ: そう、これは偶然ではなくこの関数の対称性に由来するの。\(\epsilon^2\) の項（= 全体で \(\epsilon^0\)）：3 つの組み合わせを集めるわ。
- \(1 \times \frac{5\epsilon^2}{12} = \frac{5\epsilon^2}{12}\)
- \((-\epsilon) \times \epsilon = -\epsilon^2\)
- \(\frac{\epsilon^2}{2} \times 1 = \frac{\epsilon^2}{2}\)
足し合わせると \(\left(\frac{5}{12} - 1 + \frac{1}{2}\right)\epsilon^2 = \left(\frac{5}{12} - \frac{12}{12} + \frac{6}{12}\right)\epsilon^2 = -\frac{1}{12}\epsilon^2\)。全体に \(\frac{1}{\epsilon^2}\) をかけて \(-\frac{1}{12}\)。まとめると
ここまでの展開で式 (4.43) の結果が得られたわ。重要なのは、発散する \(1/\epsilon^2\) と有限の \(-1/12\) がきれいに分離されるという点よ。（練習問題 問題 A-1. 1 次元 Casimir 効果の定量的計算 では、同じ計算を別の正則化手法（ゼータ関数正則化）でも確認し、さらに 3 次元への拡張を行うわ。）
⚪ メイ: 発散部分と有限部分が \(\epsilon\) のべきで完全に分離されたわね。
🟡 リナ: でも、この発散する項は金属板がなくても存在する「自由空間の零点エネルギー」に対応するの。考えてみて——金属板がない無限空間でも、各モードは零点エネルギー \(\frac{1}{2}\omega\) を持っていて、全モードを足し上げると同じように発散する。金属板を入れたことで変わるのは、許されるモードが離散化されて「抜け落ちる」モードが出ることだけ。だから、金属板がある場合とない場合の零点エネルギーの差を取ると、両方に共通する \(1/\epsilon^2\) の発散はキャンセルして、残るのは有限の \(-1/12\) の部分だけ——これが境界条件の効果よ。
🔵 カイ: もう少し具体的に言うと、板がない場合の零点エネルギーも同じ正則化で計算すると \(1/\epsilon^2\) の項を含むけれど、\(-1/12\) の部分は含まない——だから差を取ると \(1/\epsilon^2\) が消えて \(-1/12\) だけ残る、ということですか？
🟡 リナ: その理解で正しいわ。もう少し正確に言うと、板がない場合はモードが連続的だから、零点エネルギーは和ではなく積分 \(\int dk\, \frac{1}{2}\omega_k\) になる。この積分を同じ正則化で計算すると、\(d\) に依存しない発散（\(1/\epsilon^2\) に相当する部分）は出るけれど、離散和に特有の \(-1/12\) のような有限の補正は出ないの。なぜかというと、\(-1/12\) は「離散的な和 \(\sum_{n=1}^\infty n\) を、対応する連続的な積分 \(\int_0^\infty n\,dn\) で近似したときの誤差」から生じる項なの。積分 \(\int_0^\infty n\,dn\) 自体は発散するけれど、和と積分の差 \(\sum n - \int n\,dn\) は有限で、その値がちょうど \(-1/12\) になる（これは Euler-Maclaurin の公式と呼ばれる数学的結果よ）。板がなければ最初から積分だから、この「和と積分の差」は存在しない。つまり、Casimir エネルギーは「板がある場合の零点エネルギー（離散和）」から「板がない場合の零点エネルギー（連続積分）」を引いた差として定義され、その差が \(-1/12\) に対応するの。式 (4.42) の前の係数 \(\frac{\pi}{2d}\) をかけると
🔵 カイ: マイナス！ \(d\) を小さくするとエネルギーが下がる（より負になる）から、板を近づける方向に力が働く？
🟡 リナ: その通り。高校物理で「保存力はポテンシャルエネルギーの位置微分のマイナス」と学んだわよね。同じ理屈で、板の間隔を変えたときの力は \(F = -\frac{\partial E_{\text{Casimir}}}{\partial d}\) で与えられるわ。\(d\) が増える方向を正と取っているから、\(F < 0\) は板を近づける方向——つまり引力を意味する。
⚪ メイ: 発散が消えて、\(d\) に依存する有限の力だけが残った——これが Casimir 力の正体ね。
3 次元の結果¶
🟡 リナ: 現実の 3 次元空間では、板に平行な方向の運動量 \(\mathbf{p}_\parallel = (p_y, p_z)\) は連続的で、板に垂直な方向の波数だけが \(k_n = n\pi/d\) に離散化される。つまり、各離散モード \(n\) に対して、板に平行な方向にはあらゆる運動量の波が走れるの。全零点エネルギーは \(\mathbf{p}_\parallel\) についての積分と \(n\) についての和の両方を含むから、1 次元の場合より計算が複雑になるわ。各モードのエネルギーが \(\omega = \sqrt{k_n^2 + |\mathbf{p}_\parallel|^2}\) になるから、\(\mathbf{p}_\parallel\) の積分が追加の次元依存性を生み出すの。
🔵 カイ: 板に垂直な方向だけ離散化されて、平行な方向は自由に波が走れるんですね。
🟡 リナ: そう。大まかに言うと、1 次元では離散モードの和だけだったのが、3 次元では各離散モード \(n\) に対して板に平行な全方向の運動量 \(\mathbf{p}_\parallel\) を積分する必要がある。この追加の 2 次元積分が \(d\) の冪を変えるの——次元解析で考えると、1 次元ではエネルギーが \(\propto 1/d\) だから力は \(\propto 1/d^2\) だったけれど、3 次元では板に平行な方向の積分が追加の \(1/d^2\) を生み出して、単位面積あたりの力が \(\propto 1/d^4\) になるの。数値因子も \(-1/12\) から \(\pi^2/720\) に変わるわ。詳しい導出は練習問題（問題 A-1. 1 次元 Casimir 効果の定量的計算 の発展課題）に回すけれど、結果は
これは自然単位系（\(\hbar = c = 1\)）での表式よ。実験値と比較するために \(\hbar\) と \(c\) を復元すると（自然単位系では \([F/A] = [\text{長さ}]^{-4}\) で、SI 単位系では \([F/A] = [\text{エネルギー}] \cdot [\text{長さ}]^{-4}\) だから、\(\hbar c\)（次元は \([\text{エネルギー}] \cdot [\text{長さ}]\)）を 1 つ掛ければ次元が合うわ）
🔵 カイ: \(d^4\) に反比例するから、板の間隔が狭いほど力が強い。具体的にはどのくらいの大きさですか？
🟡 リナ: \(d = 1\,\mu\mathrm{m}\) のとき、\(F/A \approx 1.3 \times 10^{-3}\,\mathrm{N/m^2}\) よ。非常に小さいけれど、測定可能な値。
🟡 リナ: 1 次元と 3 次元の結果を表にまとめておくわね。
表 4.6: Casimir 効果のまとめ
| 1 次元（\(\hbar = c = 1\)） | 3 次元（現実） | |
|---|---|---|
| Casimir 力 | \(F = -\dfrac{\pi}{24d^2}\) | \(F/A = -\dfrac{\pi^2\hbar c}{240\,d^4}\) |
| 距離依存性 | \(\propto d^{-2}\) | \(\propto d^{-4}\) |
| 力の向き | 引力（板を近づける） | 引力（板を近づける） |
⚪ メイ: 1 次元では \(d^{-2}\)、3 次元では \(d^{-4}\) と、次元が上がるほど距離依存性が急になるのね。
実験的検証¶
🟡 リナ: Casimir 効果は 1997 年に Steve Lamoreaux (スティーブ・ラモロー) によって初めて精密に測定されたわ。彼は金属板と金属球の間の力を測定して、理論予測と 5% 以内で一致することを確認した。その後の実験では 1% 以下の精度で一致が確認されているわ。
🔵 カイ: 零点エネルギーが本当に存在して、物理的な力を生み出している。すごい……。
⚪ メイ: つまり、正規順序で零点エネルギーを「捨てた」のは、あくまで計算上の便宜であって、零点エネルギーの差は実在する物理量ということね。
🟡 リナ: その通り。Casimir 効果は、場の量子論の予測が実験と一致する美しい例の一つよ。そして同時に、真空のエネルギーという概念が単なる数学的なアーティファクトではなく、物理的な実体を持つことを示しているの。
✅ 理解度チェック: Casimir 効果の 3 次元での力の式 \(F/A = -\pi^2 \hbar c / (240\, d^4)\) において、板の間隔 \(d\) を半分にすると力はどう変わるでしょうか？
答え
力は \(d^4\) に反比例するため、\(d\) を半分にすると力は \(2^4 = 16\) 倍になる。Casimir 力は非常に短距離で急激に強くなる性質を持ち、マイクロメートル以下のスケールで測定可能な大きさになる。
✅ 理解度チェック: Casimir 効果が「引力」になる物理的な理由を、零点エネルギーの観点から説明してみましょう。
答え
金属板の間では境界条件により許される振動モードが制限される（波長が長いモードが入れない）。そのため、板の間の零点エネルギー密度は板の外よりも小さくなる。この内外のエネルギー差が、板を近づける方向の力（引力）として現れる。板の間隔を狭めると、さらにモードが制限されてエネルギーが下がるため、系はエネルギーを下げる方向——つまり板が近づく方向——に向かう。
📝 練習問題:
- 1 次元 Casimir エネルギーの正則化計算 → 問題 A-1. 1 次元 Casimir 効果の定量的計算
4.12 この章のまとめ¶
🟡 リナ: 今日の内容を振り返りましょう。
⚪ メイ: 整理するわね。
-
正準量子化：古典場 \(\phi\) と共役運動量 \(\pi\) を演算子に昇格させ、同時刻交換関係 \([\hat{\phi}(\mathbf{x}), \hat{\pi}(\mathbf{y})] = i\,\delta^{(3)}(\mathbf{x} - \mathbf{y})\) を課した。
-
Fourier 展開と調和振動子：Klein-Gordon 場を Fourier 変換すると、各運動量モードが独立な調和振動子になる。各モードに生成・消滅演算子 \(\hat{a}_{\mathbf{p}}^\dagger\), \(\hat{a}_{\mathbf{p}}\) を導入した。
-
Fock 空間と粒子描像：真空 \(|0\rangle\) に生成演算子を作用させて粒子状態を構成。交換関係から Bose-Einstein 統計が自動的に導かれた。
🔵 カイ: そして後半のポイントは——
- 零点エネルギー：Hamiltonian には無限大の零点エネルギーが現れる。正規順序で実用的に処理するけれど、零点エネルギーの差は Casimir 効果として物理的に観測可能。「捨てた」はずのものが力として測れるのが衝撃的でした。でも逆に言えば、正規順序で捨てていいのは「差に影響しない部分」だけで、何でも捨てていいわけじゃないんですよね？
🟡 リナ: まさにその通り、鋭い指摘ね。正規順序は「基準点をゼロに設定する」操作であって、基準点からの差は物理的に意味がある。Casimir 効果はまさにその差が力として現れた例よ。そして宇宙定数問題が示すように、重力を考えると基準点自体にも意味が出てくる——これは未解決の深い問題ね。
⚪ メイ: そして 5 つ目のポイントは——
-
複素スカラー場と反粒子：複素場の量子化では 2 種類の演算子 \(\hat{a}\), \(\hat{b}\) が現れ、粒子と反粒子が自然に出現する。\(U(1)\) 対称性が保存荷電を生み、荷電共役で粒子と反粒子が入れ替わる。
-
Casimir 効果：零点エネルギーの差は物理的に観測可能。金属板間で許されるモードが制限されることで、板を引き寄せる力が生じる。これは零点エネルギーが単なる数学的アーティファクトではなく物理的実体を持つことの直接的証拠。
⚪ メイ: 全体を一言でまとめると、場の量子論の核心は「場の励起が粒子」ということね。粒子を手で入れなくても、場を量子化するだけで粒子が出てくる。そして複素場にすれば反粒子まで出てくる。さらに、量子化の副産物である零点エネルギーも Casimir 効果として観測できる——リナさんが見せてくれた通りね。
🟡 リナ: 次の章では、同じ正準量子化の手続きを Dirac 場——スピン 1/2 のフェルミオンの場——に適用するわ。そこでは交換関係ではなく反交換関係が登場して、Fermi-Dirac 統計が自動的に導かれる。スカラー場との対比が非常に鮮やかよ。
次章予告¶
第 5 章 Dirac 場の量子化 — フェルミオンの反交換関係
スピン 1/2 の場を量子化するとき、交換関係ではなく反交換関係 \(\{\hat{\psi}, \hat{\psi}^\dagger\} = \delta^{(3)}\) を課す必要がある。その理由は？ そしてそこから Pauli の排他原理がどう導かれるのか？ スカラー場との鮮やかな対比を通じて、スピンと統計の深い関係を明らかにする。
参考文献¶
- Quantum Field Theory for the Gifted Amateur (Lancaster & Blundell) 第 12 章「The canonical quantization of fields」
- Quantum Field Theory for the Gifted Amateur (Lancaster & Blundell) 第 13 章「Fields with more than one component」
- Quantum Field Theory (David Tong, Cambridge lecture notes) 第 2 章「Classical Field Theory」・第 3 章「Canonical Quantization」
- 場の量子論——不変性と自由場を中心にして（場 上） 第 10 章「正準量子化の方法」・第 11 章「スカラー場の量子化」
- Quantum Field Theory and the Standard Model (Schwartz) 第 2 章「Lorentz invariance and second quantization」
練習問題¶
📝 練習問題:
- 同時刻交換関係の導出 → 問題 M-1. 同時刻交換関係からの生成・消滅演算子の交換関係の導出
- Hamiltonian のモード展開の計算 → 問題 M-2. Hamiltonian の生成・消滅演算子による表現
- 複素スカラー場の保存荷電の導出 → 問題 M-4. 複素スカラー場の量子化と粒子・反粒子
- 1 次元 Casimir エネルギーの正則化計算 → 問題 A-1. 1 次元 Casimir 効果の定量的計算
このページについてフィードバック
分からなかった箇所、誤りの指摘、改善提案などをお寄せください。