コンテンツにスキップ

Appendix D: Lagrangian・Hamiltonian 形式と正準量子化

← C Fourier 解析と δ 関数この旅へようこそ →

前回までのあらすじ:

本編 第 1〜28 章では、確率振幅から出発して量子力学の全体像を組み立ててきた。Appendix A〜C では複素数・線形代数・Fourier 解析という数学的道具を整備した。この Appendix D では、古典力学の Lagrangian・Hamiltonian 形式を体系的に導入し、「古典力学から量子力学へ」の翻訳手続き——正準量子化——を明示する。

この章のゴール

  • 古典力学の Lagrangian・Hamiltonian 形式を体系的に理解し、Poisson 括弧の代数構造が量子力学の交換関係と同型であることを見抜くこと
  • そのうえで、正準量子化の「レシピ」——Poisson 括弧 \(\{q_j, p_k\} = \delta_{jk}\) を交換関係 \([\hat{q}_j, \hat{p}_k] = i\hbar\,\delta_{jk}\) に置き換える——を明確に把握し、本編で「天下り」に導入された Hamiltonian 演算子や Schrödinger 方程式の出自を古典力学まで遡って理解する
  • さらに、場の正準量子化への自然な拡張を概観し、場の量子論への展望を得る

D.1 なぜ Lagrangian 形式が必要か

🟡 リナ: さて、本編では量子力学を「確率振幅のルール」から組み立ててきたわね。でも 第 7 章 以降で Schrödinger 方程式を使うとき、Hamiltonian \(\hat{H}\) が突然登場したでしょう？ あの \(\hat{H}\) がどこから来るのか——その出自を古典力学まで遡って理解するのが、この Appendix の目的よ。

🔵 カイ: Newton の \(F = ma\) じゃダメなんですか？

🟡 リナ: いい質問。Newton の運動方程式は「力」を基本概念にしている。でも量子力学では「粒子がどの経路を通るか」という概念そのものが揺らぐの。第 4 章で学んだ Feynman の経路積分を思い出して——あそこでは「すべての経路に確率振幅 \(e^{iS/\hbar}\) を割り当てる」と言ったわよね。

🔵 カイ: あ、あの \(S\) って……

🟡 リナ: そう、作用 (action) よ。作用 \(S\) は Lagrangian \(L\) の時間積分として定義される。つまり、量子力学の根幹に Lagrangian が座っているの。Newton の「力」ではなく、Lagrangian の「作用」が、古典力学と量子力学を結ぶ架け橋になる。そしてこの先、Lagrangian からさらに Hamiltonian 形式へ進むことで、量子力学への翻訳が可能になるの。つまり、Newton 形式 → Lagrangian 形式 → Hamiltonian 形式 → 量子力学、という順に進化してきたのよ。

⚪ メイ: なるほど、各段階で記述の抽象度が上がって、最終的に量子力学への接続が可能になるのね。

🟡 リナ: その通り。具体的に Lagrangian 形式の利点を挙げておくわ：

  1. 座標系に依存しない — Euler-Lagrange 方程式はどんな座標系でも同じ形
  2. 束縛条件の扱いが容易 — 自由度を適切に選べば自然に処理できる
  3. 対称性と保存則が直結 — 第 26 章で学んだ Noether (ネーター) の定理
  4. 場にも拡張できる — 電磁場や量子場にも統一的に使える
  5. 量子論への橋渡しが直接的 — Feynman の経路積分は \(e^{iS/\hbar}\) の重み

🔵 カイ: 5 番目が一番大事そうですね。

🟡 リナ: そうね。では具体的に、最小作用の原理から始めましょう。

✅ 理解度チェック: Lagrangian 形式が Newton 形式に比べて量子力学への接続に適している最大の理由は何でしょうか？

答え

Feynman の経路積分において、各経路に割り当てられる確率振幅の位相 \(e^{iS/\hbar}\) が Lagrangian の時間積分である作用 \(S\) で書かれるから。つまり、量子力学の根幹に Lagrangian（作用）が直接座っており、Newton の「力」ではなく Lagrangian の「作用」が古典力学と量子力学を結ぶ架け橋になる。

D.2 作用と最小作用の原理

🟡 リナ: 質量 \(m\) の粒子が 1 次元で運動する場合を考えるわ。位置を \(q(t)\)、速度を \(\dot{q}(t) = dq/dt\) と書く。Lagrangian \(L\) は次のように定義される：

\[ L(q, \dot{q}) = T - V = \frac{1}{2}m\dot{q}^2 - V(q) \tag{D.1} \]

ここで \(T\) は運動エネルギー、\(V\) はポテンシャルエネルギーよ。

🔵 カイ: 全エネルギー \(E = T + V\) じゃなくて、\(T - V\) なんですか？ 引き算？

🟡 リナ: そう。直感的には「運動エネルギーが大きいほど嬉しい、ポテンシャルエネルギーが大きいほど嫌」という重みづけね。なぜ引き算なのかは、最終的には「この定義から正しい運動方程式が出てくるから」としか言えない。モデルの正当化は実験との一致よ。

🟡 リナ: この Lagrangian を時間で積分したものが作用 (action) \(S\) よ：

\[ S[q] = \int_{t_1}^{t_2} L(q(t),\, \dot{q}(t))\, dt \tag{D.2} \]

⚪ メイ: \(S[q]\) って角括弧で書いてあるのは……

🟡 リナ: いいところに気づいたわね。\(S\) は汎関数 (functional) なの。普通の関数は「数を入れたら数が出てくる」けど、汎関数は「関数を入れたら数が出てくる」。経路 \(q(t)\) という関数全体を入力として、1 つの実数 \(S\) を返す。だから角括弧 \(S[q]\) で書いて、普通の関数 \(f(x)\) の丸括弧と区別するの（「一般相対論」編 を学んだ人は 「一般相対論」編 第 1 章 で出てきた概念と同じよ）。身近な例で言えば、「曲線の長さ」も汎関数よ——曲線の形（関数）を入力として、その長さ（数）を返すでしょう？

🔵 カイ: なるほど……経路ごとに「作用」という数値がついてるわけですね。

🟡 リナ: そう。そして最小作用の原理 (principle of least action) はこう述べる：

粒子が時刻 \(t_1\) に位置 \(q(t_1) = q_A\) にいて、時刻 \(t_2\) に位置 \(q(t_2) = q_B\) にいるとき、実際にたどる経路は作用 \(S[q]\) を停留 (stationary) にする経路である。

🔵 カイ: 「停留」って「最小」とは違うんですか？

🟡 リナ: 厳密には「最小」とは限らなくて、「停留」——つまり微小な経路の変更に対して \(S\) の 1 次の変化がゼロになる経路よ。普通の関数で「微分 = 0」の点が極大か極小か鞍点かわからないのと同じで、停留点は必ずしも最小点ではないの。でも歴史的に「最小作用の原理」と呼ばれているの。

⚪ メイ: つまり、すべての「ありうる経路」の中で、作用が停留する特別な経路だけが物理的に実現される、ということね。

🟡 リナ: その通り。ここで重要な問いが生まれるわ——「なぜ自然は作用を停留にする経路を選ぶのか？」。この問いに対する答えは、実は量子力学が与えてくれるの。

🔵 カイ: え、量子力学が？

🟡 リナ: Feynman の経路積分では、粒子はすべての経路を同時に通る。各経路に \(e^{iS/\hbar}\) という位相因子が割り当てられる。古典的極限（\(\hbar \to 0\)）では、作用が停留する経路の近傍だけが建設的干渉を起こし、それ以外の経路は激しく振動して打ち消し合う。だから古典的には「停留経路だけが生き残る」ように見える。

🔵 カイ: すごい……量子力学が古典力学の「なぜ」に答えてるんですね。じゃあ逆に言うと、古典力学だけの世界にいたら「なぜ作用が停留するのか」は永遠に答えられない？

🟡 リナ: その通り。古典力学の枠内では最小作用の原理は「原理」として受け入れるしかない。でも量子力学がその背後のメカニズムを教えてくれる——より深い理論が、浅い理論の「なぜ」に答えるという構造ね。さて、今日の目的は、まず古典力学の枠内で「停留の条件」から運動方程式を導くこと。次の節でそれをやるわ。

✅ 理解度チェック: 古典的極限（\(\hbar \to 0\)）において、Feynman の経路積分から最小作用の原理がどのように導かれるか説明してみましょう。

答え

経路積分では各経路に位相因子 \(e^{iS/\hbar}\) が割り当てられる。\(\hbar \to 0\) の極限では、作用が停留しない経路の近傍では位相が激しく振動して互いに打ち消し合う（相殺的干渉）。一方、作用が停留する経路の近傍では位相の変化が緩やかで建設的干渉が起こる。結果として、古典的には停留経路だけが生き残る。

✅ 理解度チェック: 作用 \(S[q]\) が「汎関数」と呼ばれる理由を一言で述べてください。

答え

作用 \(S\) は、経路 \(q(t)\) という「関数」を入力として受け取り、1 つの実数を返すから。通常の関数が「数 → 数」の対応であるのに対し、汎関数は「関数 → 数」の対応である。

D.3 Euler-Lagrange 方程式の導出

🟡 リナ: 最小作用の原理から運動方程式を導くわ。実際の経路を \(q(t)\) として、そこから微小にずれた経路 \(q(t) + \delta q(t)\) を考える。ただし端点は固定：

\[ \delta q(t_1) = \delta q(t_2) = 0 \tag{D.3} \]

🔵 カイ: 出発点と到着点は動かさないってことですね。

🟡 リナ: そう。作用の変分 \(\delta S\) を計算するわ：

\[ \delta S = S[q + \delta q] - S[q] = \int_{t_1}^{t_2} \left[ L(q + \delta q,\, \dot{q} + \delta\dot{q}) - L(q, \dot{q}) \right] dt \tag{D.4} \]

\(L\) を \(\delta q\) と \(\delta\dot{q}\) について 1 次まで Taylor 展開すると：

\[ L(q + \delta q,\, \dot{q} + \delta\dot{q}) \approx L(q, \dot{q}) + \frac{\partial L}{\partial q}\delta q + \frac{\partial L}{\partial \dot{q}}\delta\dot{q} \tag{D.5} \]

⚪ メイ: 2 変数関数の Taylor 展開の 1 次近似ね。\(f(x+\Delta x, y+\Delta y) \approx f(x,y) + \frac{\partial f}{\partial x}\Delta x + \frac{\partial f}{\partial y}\Delta y\) と同じ構造。

🟡 リナ: その通り。これを式 (D.4) に代入すると：

\[ \delta S = \int_{t_1}^{t_2} \left( \frac{\partial L}{\partial q}\delta q + \frac{\partial L}{\partial \dot{q}}\delta\dot{q} \right) dt \tag{D.6} \]

ここで \(\delta\dot{q} = \frac{d}{dt}(\delta q)\) だから、第 2 項を部分積分する：

\[ \int_{t_1}^{t_2} \frac{\partial L}{\partial \dot{q}}\,\frac{d(\delta q)}{dt}\, dt = \left[\frac{\partial L}{\partial \dot{q}}\,\delta q\right]_{t_1}^{t_2} - \int_{t_1}^{t_2} \frac{d}{dt}\!\left(\frac{\partial L}{\partial \dot{q}}\right)\delta q\, dt \tag{D.7} \]

🔵 カイ: 部分積分って \(\int u\,dv = uv - \int v\,du\) ですよね。

🟡 リナ: そう。そして境界項 \(\left[\frac{\partial L}{\partial \dot{q}}\,\delta q\right]_{t_1}^{t_2}\) は、端点条件 \(\delta q(t_1) = \delta q(t_2) = 0\) によりゼロになる。したがって：

\[ \delta S = \int_{t_1}^{t_2} \left( \frac{\partial L}{\partial q} - \frac{d}{dt}\frac{\partial L}{\partial \dot{q}} \right) \delta q\, dt \tag{D.8} \]

🔵 カイ: ここまでは機械的な計算ですね。でもここから「\(\delta S = 0\)」を使って運動方程式を出すんですよね？

🟡 リナ: その通り。停留の条件は「任意の \(\delta q(t)\) に対して \(\delta S = 0\)」よ。ここで「任意の」とは、端点で \(\delta q(t_1) = \delta q(t_2) = 0\) を満たす限り、区間内部ではどんな形の滑らかな関数でもよい、という意味。被積分関数に任意のそのような関数 \(\delta q\) を掛けて積分したものがゼロになるためには、被積分関数自体がゼロでなければならない。これを変分法の基本補題と呼ぶわ。数学的に書くと「端点ゼロを満たす任意の \(\delta q\) に対して \(\int f(t)\,\delta q(t)\,dt = 0\) ならば \(f(t) = 0\)」。直感的には、もし被積分関数 \(f(t)\) がどこかで非ゼロだったら、その点の近くだけ正の値を取る \(\delta q\) を選べば積分を非ゼロにできてしまう——だから \(f(t) = 0\) でなければならないの。

⚪ メイ: なるほど、「任意の \(\delta q\) で積分がゼロ」という条件が、被積分関数自体のゼロを強制するのね。

🟡 リナ: その通り。こうして Euler-Lagrange 方程式が得られる：

\[ \frac{d}{dt}\!\left(\frac{\partial L}{\partial \dot{q}}\right) - \frac{\partial L}{\partial q} = 0 \tag{D.9} \]

🔵 カイ: これが Newton の \(F = ma\) の代わりになるんですか？

🟡 リナ: 確認してみましょう。\(L = \frac{1}{2}m\dot{q}^2 - V(q)\) を代入すると：

\[ \frac{\partial L}{\partial \dot{q}} = m\dot{q}, \qquad \frac{\partial L}{\partial q} = -\frac{dV}{dq} \]

Euler-Lagrange 方程式に入れると：

\[ \frac{d}{dt}(m\dot{q}) - \left(-\frac{dV}{dq}\right) = 0 \quad \Longrightarrow \quad m\ddot{q} = -\frac{dV}{dq} = F \tag{D.10} \]

🔵 カイ: おお、Newton の第 2 法則そのものだ！

⚪ メイ: つまり Euler-Lagrange 方程式は Newton の運動方程式を含んでいるけど、もっと一般的な形式なのね。座標系を変えても式 (D.9) の形は変わらない。

🟡 リナ: そう。多自由度系 \(q_1, q_2, \ldots, q_f\) の場合は、各自由度について 1 本ずつ：

\[ \frac{d}{dt}\!\left(\frac{\partial L}{\partial \dot{q}_j}\right) - \frac{\partial L}{\partial q_j} = 0 \qquad (j = 1, 2, \ldots, f) \tag{D.11} \]

✅ 理解度チェック: 変分法の基本補題とは何でしょうか？ Euler-Lagrange 方程式の導出でどのように使われるでしょうか？

答え

変分法の基本補題とは「任意の関数 \(\delta q(t)\) に対して \(\int f(t)\,\delta q(t)\,dt = 0\) ならば \(f(t) = 0\)」という命題。Euler-Lagrange 方程式の導出では、\(\delta S = \int \left(\frac{\partial L}{\partial q} - \frac{d}{dt}\frac{\partial L}{\partial \dot{q}}\right)\delta q\,dt = 0\) が任意の \(\delta q\) に対して成り立つことから、被積分関数自体がゼロ、すなわち Euler-Lagrange 方程式が得られる。

✅ 理解度チェック: Euler-Lagrange 方程式の導出で、部分積分の境界項がゼロになる理由は何でしょうか？

答え

経路の端点を固定する条件 \(\delta q(t_1) = \delta q(t_2) = 0\) を課しているため。変分 \(\delta q\) は両端でゼロなので、境界項 \(\left[\frac{\partial L}{\partial \dot{q}}\,\delta q\right]_{t_1}^{t_2} = 0\) となる。

📝 練習問題:

D.4 正準運動量と Legendre 変換

🟡 リナ: Euler-Lagrange 方程式は 2 階の微分方程式よね。変数は \(q\) と \(\dot{q}\)。でも量子力学では「位置」と「運動量」を対等に扱いたい。そこで、独立変数を \(\dot{q}\) から別の量に取り替える操作をする。

D.4.1 正準運動量の定義

🟡 リナ: 正準運動量 (canonical momentum) を次のように定義するわ：

\[ p_j \equiv \frac{\partial L}{\partial \dot{q}_j} \tag{D.12} \]

🔵 カイ: \(L = \frac{1}{2}m\dot{q}^2 - V(q)\) なら \(p = m\dot{q}\) で、普通の運動量ですよね？

🟡 リナ: その場合はね。でも一般には「質量 × 速度」とは限らないの。例えば電磁場中の荷電粒子では \(p = m\dot{q} + eA\)（\(A\) はベクトルポテンシャル）のように、場の寄与が加わる。正準運動量は Lagrangian の構造から自動的に決まる量であって、日常的な「運動量」の直感とは異なることがある——これは重要なポイントよ。

✅ 理解度チェック: 正準運動量が「質量×速度」と一致しない例を挙げ、なぜそうなるか説明してみましょう。

答え

電磁場中の荷電粒子では正準運動量は \(p = m\dot{q} + eA\) となり、ベクトルポテンシャル \(A\) の寄与が加わる。これは正準運動量が \(p = \frac{\partial L}{\partial \dot{q}}\) として Lagrangian の構造から自動的に決まる量であり、Lagrangian に速度と場の結合項（\(e\dot{q}A\) など）が含まれる場合、単純な「質量×速度」とは異なるからである。

D.4.2 Legendre 変換の動機

🟡 リナ: Lagrangian \(L(q, \dot{q})\) は \(q\) と \(\dot{q}\) の関数。でも量子力学に進むためには、\(q\) と \(p\) を独立変数にした新しい関数が欲しい。この「独立変数の取り替え」を数学では Legendre 変換 (ルジャンドル変換) と呼ぶわ。

🔵 カイ: なんで変数を取り替えたいんですか？

🟡 リナ: 2 つの理由があるの。第 1 に、\(q\) と \(p\) を対等に扱うと、力学の構造がより対称的で美しくなる。第 2 に、量子力学では \(\hat{q}\) と \(\hat{p}\) が基本的な演算子だから、古典力学でも \(q\) と \(p\) で記述しておくと、量子化への移行が自然になるの。

🟡 リナ: Legendre 変換の一般的な考え方を説明するわ。ある関数 \(f(x)\) があったとき：

  1. 新しい変数を \(s = \frac{df}{dx}\) と定義する
  2. 新しい関数を \(g(s) = sx - f(x)\) と定義する（\(x\) は \(s\) の関数として消去する）

これが Legendre 変換よ。元の関数 \(f\) の情報は \(g\) に完全に保存されていて、逆変換で元に戻せる。

🔵 カイ: なんで情報が保存されるんですか？ \(g\) から \(f\) に戻せるってこと？

🟡 リナ: そう。逆変換を確認してみましょう。「\(g\) から \(f\) を復元できる」ことを示すために、\(g(s)\) を \(s\) で微分してみるの。なぜ微分するかというと、Legendre 変換の定義では「\(f\) を微分して新しい変数 \(s\) を作った」のだから、逆に「\(g\) を微分すれば元の変数 \(x\) が復元できるはず」——対称な構造を期待しているのよ。

🟡 リナ: ここで重要なのは、\(s = \frac{df}{dx}\) という関係を逆に解くと \(x\) が \(s\) の関数として決まる——つまり \(x = x(s)\) と書けるということ。「逆に解く」というのは、例えば \(f(x) = x^2\) なら \(s = f'(x) = 2x\) だから \(x = s/2\) と書き直すこと。つまり「\(s\) の値が決まれば、それに対応する \(x\) が 1 つ決まる」という関係ね。

🔵 カイ: それって、いつでも逆に解けるんですか？

🟡 リナ: いい質問。\(s = f'(x)\) を \(x\) について解くには、\(f'(x)\) が単調関数——つまり常に増加するか常に減少するか——である必要があるの。単調なら「\(s\) の値を 1 つ決めれば、それに対応する \(x\) がちょうど 1 つ決まる」から逆関数が存在する。では \(f'\) が単調であるための条件は？ 思い出してほしいのだけど、\(f''(x)\) は \(f'(x)\) をさらに \(x\) で微分したもの——つまり「\(f'\) のグラフの傾き」を表す量よ。\(f'' > 0\) が常に成り立てば \(f'\) のグラフは常に右上がり（単調増加）、\(f'' < 0\) が常に成り立てば常に右下がり（単調減少）——いずれにしても折り返さないわ。要するに「\(f''\) が常に同じ符号を保つ」ことが条件よ。

⚪ メイ: 「凸関数なら Legendre 変換が定義できる」ということね。

🟡 リナ: その通り。逆に、もし \(f\) が直線（\(f'' = 0\) が至るところで成り立つ）だと \(s = f'(x)\) が定数になって、どの \(x\) に対しても同じ \(s\) が出てしまうから逆に解けない。物理で出てくる Lagrangian は通常この条件を満たすわ。例えば \(L = \frac{1}{2}m\dot{q}^2 - V(q)\) なら、\(L\) を \(\dot{q}\) の関数と見たとき（\(q\) は固定して考える）、\(\dot{q}\) で 2 回微分すると \(\frac{\partial^2 L}{\partial \dot{q}^2} = m > 0\)——これが先ほどの \(f''(x) > 0\) に対応するの。だから \(p = \frac{\partial L}{\partial \dot{q}} = m\dot{q}\) は \(\dot{q}\) の単調増加関数で、逆に解いて \(\dot{q} = p/m\) が一意に決まるわ。

さて、条件が満たされている前提で、実際に \(\frac{dg}{ds}\) を計算してみましょう。

🔵 カイ: 右辺に \(x\) と \(f(x)\) があるけど、どっちも \(s\) を通じて変わるんですよね？ \(s\) を少し動かしたら、それに応じて \(x\) も動くから、\(sx\) の微分で \(x\) の変化分も拾わないといけない？

🟡 リナ: その通り。\(x\) は \(s\) の関数——\(s = f'(x)\) を逆に解いた \(x(s)\)——だから、\(s\) で微分するときは \(x\) の変化も拾う必要がある。積の微分則と合成関数の微分（連鎖律）を使うの。丁寧にやるわね。第 1 項 \(sx\) を \(s\) で微分すると、積の微分則 \((uv)' = u'v + uv'\) で \(1 \cdot x + s \cdot \frac{dx}{ds} = x + s\frac{dx}{ds}\)。第 2 項 \(-f(x)\) を \(s\) で微分すると、合成関数の微分（連鎖律）で \(-\frac{df}{dx}\cdot\frac{dx}{ds}\)。合わせると：

\[ \frac{dg}{ds} = x + s\frac{dx}{ds} - \frac{df}{dx}\frac{dx}{ds} \]

🟡 リナ: ここで \(s = \frac{df}{dx}\) だったことを思い出して。第 3 項の \(-\frac{df}{dx}\frac{dx}{ds}\) に \(\frac{df}{dx} = s\) を代入すると \(-s\frac{dx}{ds}\) になる。これは第 2 項の \(+s\frac{dx}{ds}\) と符号が逆で大きさが同じだから、完全にキャンセルする！ つまり：

\[ \frac{dg}{ds} = x + s\frac{dx}{ds} - s\frac{dx}{ds} = x \]

🔵 カイ: おお、きれいに消える！

⚪ メイ: つまり \(\frac{dg}{ds} = x\)。\(g\) を微分するだけで元の変数 \(x\) が復元できるのね。

🟡 リナ: そう。つまり逆変換は「\(g(s)\) に対して新しい変数 \(x = \frac{dg}{ds}\) を定義し、\(f(x) = xs - g(s)\) で復元する」——元の変換と全く同じ構造ね。Legendre 変換は「2 回やると元に戻る」対称な操作なの。

🔵 カイ: 具体的にはどうなるんですか？

🟡 リナ: 簡単な例をやってみましょう。\(f(x) = x^2\) とすると、\(s = \frac{df}{dx} = 2x\) だから \(x = s/2\)。新しい関数は \(g(s) = sx - f(x) = s \cdot \frac{s}{2} - \left(\frac{s}{2}\right)^2 = \frac{s^2}{4}\)。独立変数が \(x\) から \(s\) に切り替わったわね。逆に \(g(s) = \frac{s^2}{4}\) から \(\frac{dg}{ds} = \frac{s}{2} = x\) が復元できて、\(f = xs - g(s) = \frac{s}{2}\cdot s - \frac{s^2}{4} = \frac{s^2}{4} = x^2\) と元に戻るわ。

D.4.3 Hamiltonian の定義

🟡 リナ: Lagrangian に Legendre 変換を適用するわ。\(L(q, \dot{q})\) に対して：

  • 新しい変数: \(p = \frac{\partial L}{\partial \dot{q}}\)（正準運動量）
  • 新しい関数: Hamiltonian \(H\)
\[ H(q, p) \equiv \sum_j p_j\dot{q}_j - L \tag{D.13} \]

ここで \(\dot{q}_j\) は \(p_j = \frac{\partial L}{\partial \dot{q}_j}\) を逆に解いて \(q\) と \(p\) の関数として表したものよ。ちなみに、物理学では「同じ添字が 2 回現れたら自動的にその添字について和を取る」という書き方の約束があって、Einstein の総和規約と呼ぶの。つまり \(p_j\dot{q}_j\) と書いただけで \(\sum_j p_j\dot{q}_j = p_1\dot{q}_1 + p_2\dot{q}_2 + \cdots + p_f\dot{q}_f\) を意味する。この Appendix では分かりやすさのために \(\sum\) を明示的に書くことも多いから、どちらの書き方が出てきても同じ意味だと思ってね。

🔵 カイ: \(H\) は何を表すんですか？

🟡 リナ: 多くの場合、系の全エネルギーに対応するわ。確認してみましょう。\(L = \frac{1}{2}m\dot{q}^2 - V(q)\) の場合、\(p = m\dot{q}\) だから \(\dot{q} = p/m\)。代入すると：

\[ H = p\dot{q} - L = p \cdot \frac{p}{m} - \left(\frac{1}{2}m\left(\frac{p}{m}\right)^2 - V(q)\right) = \frac{p^2}{m} - \frac{p^2}{2m} + V(q) = \frac{p^2}{2m} + V(q) \tag{D.14} \]

⚪ メイ: \(T + V\) ——運動エネルギーとポテンシャルエネルギーの和ね。Lagrangian が \(T - V\) だったのに対して、Hamiltonian は \(T + V\)。

🟡 リナ: そう。ただし注意して——Hamiltonian が常にエネルギーと一致するとは限らないの。座標系の選び方や、Lagrangian が時間に陽に依存する場合には異なることがある。でも、この Appendix で扱う範囲では \(H = E\) と思って大丈夫よ。

✅ 理解度チェック: Legendre 変換の目的を一言で述べてください。

答え

独立変数を \(\dot{q}\)（一般化速度）から \(p\)（正準運動量）に取り替えること。これにより \(q\) と \(p\) を対等な独立変数として扱えるようになり、量子化への移行が自然になる。

D.5 Hamilton の運動方程式

🟡 リナ: Hamiltonian \(H(q, p)\) から、Euler-Lagrange 方程式とは別の形の運動方程式が導かれるわ。これが Hamilton の運動方程式（正準方程式）よ。

D.5.1 導出

🟡 リナ: \(H = \sum_j p_j\dot{q}_j - L\) の右辺の微小変化を考えるわ（ここでは \(\sum_j\) を明示するわね）。ここでのポイントは、右辺には \(q_j\), \(\dot{q}_j\), \(p_j\) の 3 種類の量が現れているけれど、\(p_j\) の定義 \(p_j = \frac{\partial L}{\partial \dot{q}_j}\) によって \(\dot{q}_j\) は \((q, p)\) の関数として決まるということ。でもまず、形式的に \(q_j\), \(\dot{q}_j\), \(p_j\) をすべて独立に変動させてみるわ。

🔵 カイ: えっ、従属関係があるのに独立に動かしていいんですか？

🟡 リナ: いい疑問ね。考え方はこう——まず「もし \(q\), \(\dot{q}\), \(p\) が全部独立だったら \(\delta H\) はどうなるか」を形式的に計算する。これは「仮に独立だとして計算してみて、矛盾が出なければ OK」という戦略よ。実際に計算すると、\(\delta\dot{q}\) の係数がゼロになることが確認できる。これは「\(H\) は実は \(\dot{q}\) に依存していない」ことの証明になっているの。

🔵 カイ: つまり、「独立だと仮定して計算したら、結果的に \(\dot{q}\) の項が消えた。だから \(H\) は \(\dot{q}\) に依存していなかった」と後から分かる、ということですか？

🟡 リナ: その通り！ 独立に動かすことを「仮定」しているのではなく、独立に動かして計算した結果として \(\dot{q}\) への依存性がないことが「導かれる」——これがまさに Legendre 変換の威力で、「正しい変数の組 \((q, p)\) を選んだ」ことの証拠が、\(\delta\dot{q}\) の項の消滅として現れるの。

🔵 カイ: うーん、言葉では分かるけど、具体的にはどう消えるんですか？

🟡 リナ: いい質問ね。先に 1 自由度の簡単な例で感覚を掴んでから、一般の場合をやりましょう。\(L = \frac{1}{2}m\dot{q}^2 - V(q)\) なら \(p = m\dot{q}\) で、\(H = p\dot{q} - L = m\dot{q}\cdot\dot{q} - \frac{1}{2}m\dot{q}^2 + V(q) = \frac{1}{2}m\dot{q}^2 + V(q)\)。ここで \(\dot{q} = p/m\) を代入すると \(H = \frac{p^2}{2m} + V(q)\)——確かに \(\dot{q}\) が消えて \((q, p)\) だけの関数になっているわね。これが一般の場合でも起きることを、今から示すわ。

🟡 リナ: では一般の計算に進むわね。\(\sum_j p_j\dot{q}_j\) の部分を変分するわ。変分にも微分と同じ積の規則が使えるの——\(\delta(AB) = A\,\delta B + B\,\delta A\)。これを各項 \(p_j\dot{q}_j\) に適用すると \(\delta(p_j\dot{q}_j) = \dot{q}_j\,\delta p_j + p_j\,\delta\dot{q}_j\) だから、全体では \(\delta(\sum_j p_j\dot{q}_j) = \sum_j(\dot{q}_j\,\delta p_j + p_j\,\delta\dot{q}_j)\)。次に \(L(q, \dot{q})\) の部分は Taylor 展開の 1 次で \(\delta L = \sum_j\left(\frac{\partial L}{\partial q_j}\delta q_j + \frac{\partial L}{\partial \dot{q}_j}\delta\dot{q}_j\right)\)。合わせると：

\[ \delta H = \sum_j\!\left(\dot{q}_j\,\delta p_j + p_j\,\delta\dot{q}_j - \frac{\partial L}{\partial q_j}\delta q_j - \frac{\partial L}{\partial \dot{q}_j}\delta\dot{q}_j\right) \tag{D.15} \]

🔵 カイ: 4 つの項があるけど、\(\delta\dot{q}\) の係数に注目すればいいんですね。

🟡 リナ: その通り。ここで \(p_j = \frac{\partial L}{\partial \dot{q}_j}\) だから、第 2 項 \(p_j\,\delta\dot{q}_j\) と第 4 項 \(-\frac{\partial L}{\partial \dot{q}_j}\delta\dot{q}_j\) が完全にキャンセルする！

🔵 カイ: えっ、消えるんですか！ でもなんで都合よくキャンセルするんですか？

🟡 リナ: いい疑問ね。これは偶然じゃなくて、Legendre 変換の本質的な性質なの。\(p_j\) をまさに \(\frac{\partial L}{\partial \dot{q}_j}\) と定義したからこそ、\(\delta\dot{q}\) の項が消える。そして消えるということは、\(H\) の変化が \(\delta q\) と \(\delta p\) だけで書ける——つまり \(H\) は \((q, p)\) だけの関数として完結していて、\(\dot{q}\) を独立変数として含まないことが確認できたの。

🔵 カイ: あ、そうか——\(p\) を「\(\dot{q}\) に対する \(L\) の傾き」として定義したから、変数を \(\dot{q}\) から \(p\) に乗り換えたとき、\(\dot{q}\) の痕跡が消えるのは当然なんですね。

⚪ メイ: 言い換えると、Legendre 変換が「正しく機能している証拠」が \(\delta\dot{q}\) の項の消滅として現れた——\(H\) は確かに \((q, p)\) だけの関数になっている、ということね。

🟡 リナ: その通り。残るのは：

\[ \delta H = \sum_j\!\left(\dot{q}_j\,\delta p_j - \frac{\partial L}{\partial q_j}\delta q_j\right) \tag{D.16} \]

一方、\(H\) は \(q\) と \(p\) の関数だから、一般に：

\[ \delta H = \sum_j\!\left(\frac{\partial H}{\partial q_j}\delta q_j + \frac{\partial H}{\partial p_j}\delta p_j\right) \tag{D.17} \]

式 (D.16) と (D.17) はどちらも同じ \(\delta H\) を表しているから、等しいはず。ここで \(q_j\) と \(p_j\) は Hamiltonian の独立変数——つまり一方を動かしても他方は動かない——だから、\(\delta q_j\) と \(\delta p_j\) はそれぞれ自由に選べる（ちょうど \(f(x, y)\) の全微分 \(df = \frac{\partial f}{\partial x}dx + \frac{\partial f}{\partial y}dy\) で \(dx\) と \(dy\) を独立に選べるのと同じ）。例えば \(\delta p_1\) だけ非ゼロにして他の \(\delta q_j\), \(\delta p_j\) をすべてゼロにすれば、両辺は \(\dot{q}_1\,\delta p_1 = \frac{\partial H}{\partial p_1}\delta p_1\) となり、\(\delta p_1 \neq 0\) で割って \(\dot{q}_1 = \frac{\partial H}{\partial p_1}\) が得られる。すべての \(j\) についてこれを繰り返せば、各係数が一致しなければならない。

⚪ メイ: D.3 節では「積分の中で任意の関数を掛けてゼロ」から基本補題で被積分関数のゼロを導いたけど、ここでは積分なしで「独立な変分を 1 つずつ選ぶ」ことで係数を読み取っているのね。手法は違うけど「任意性から係数を特定する」という精神は同じ。

🟡 リナ: いい整理ね。こうして得られるのが：

\[ \dot{q}_j = \frac{\partial H}{\partial p_j} \tag{D.18} \]
\[ \frac{\partial L}{\partial q_j} = -\frac{\partial H}{\partial q_j} \tag{D.19} \]

🟡 リナ: ここで注意してほしいのは、式 (D.18) の \(\dot{q}_j = \frac{\partial H}{\partial p_j}\) は Legendre 変換の構造だけから出てきた——Euler-Lagrange 方程式は使っていないの。一方、式 (D.19) の \(\frac{\partial L}{\partial q_j}\) を \(\dot{p}_j\) に書き換えるには、Euler-Lagrange 方程式 (D.9) が必要よ。移項すると \(\frac{\partial L}{\partial q_j} = \frac{d}{dt}\frac{\partial L}{\partial \dot{q}_j}\)。右辺は正準運動量の定義 \(p_j = \frac{\partial L}{\partial \dot{q}_j}\) の両辺を時間で微分したもの——つまり \(\frac{d}{dt}\frac{\partial L}{\partial \dot{q}_j} = \frac{dp_j}{dt} = \dot{p}_j\) ね。したがって式 (D.19) は：

\[ \dot{p}_j = -\frac{\partial H}{\partial q_j} \tag{D.20} \]

まとめると：

\[ \boxed{\dot{q}_j = \frac{\partial H}{\partial p_j}, \qquad \dot{p}_j = -\frac{\partial H}{\partial q_j}} \tag{D.21} \]

これが Hamilton の正準方程式よ。つまり Hamilton の方程式は Euler-Lagrange 方程式と等価——同じ物理を別の言語で書き直したものなの。

D.5.2 構造の比較

🟡 リナ: ここで 2 つの形式を比較しておくわ。Euler-Lagrange 方程式は各自由度について 2 階の常微分方程式が 1 本。Hamilton の方程式は各自由度について 1 階の常微分方程式が 2 本。数学的には同じ情報量よ。

⚪ メイ: なるほど、2 階 1 本を 1 階 2 本に分解しただけだから、情報量は変わらないのね。

🟡 リナ: その通り。そして 1 階の方程式の方が、\(q\) と \(p\) を対等に扱えるという対称性がある。\(q\) と \(p\) が張る空間を位相空間 (phase space) と呼ぶわ。\(f\) 個の自由度を持つ系の位相空間は \(2f\) 次元。系の状態は位相空間の 1 点として表され、時間発展は位相空間内の軌道として描かれる。

✅ 理解度チェック: \(f\) 個の自由度を持つ系の位相空間は何次元でしょうか？ また、系の状態は位相空間上でどのように表されるでしょうか？

答え

位相空間は \(2f\) 次元（\(f\) 個の一般化座標 \(q_j\) と \(f\) 個の正準運動量 \(p_j\) で張られる）。系の状態は位相空間の 1 点 \((q_1, \ldots, q_f, p_1, \ldots, p_f)\) として表され、時間発展はその空間内の軌道（曲線）として描かれる。

D.5.3 具体例：1 次元調和振動子

🟡 リナ: 確認のために、1 次元調和振動子でやってみましょう。

\[ H = \frac{p^2}{2m} + \frac{1}{2}m\omega^2 q^2 \tag{D.22} \]

Hamilton の方程式：

\[ \dot{q} = \frac{\partial H}{\partial p} = \frac{p}{m} \tag{D.23} \]
\[ \dot{p} = -\frac{\partial H}{\partial q} = -m\omega^2 q \tag{D.24} \]

🔵 カイ: 第 1 式は \(p = m\dot{q}\)（運動量の定義）で、第 2 式は \(m\ddot{q} = -m\omega^2 q\)（バネの復元力）ですね。Newton の運動方程式と同じだ。

🟡 リナ: そう。同じ物理を別の言語で記述しているだけ。でもこの Hamilton 形式の言語が、量子化への道を開いてくれるの。位相空間 \((q, p)\) で見ると（図 D.1「調和振動子の位相空間 \((q, p)\) における軌道」）、エネルギー保存 \(H = E\) は \(\frac{p^2}{2m} + \frac{1}{2}m\omega^2 q^2 = E\) を意味する——これは \(p\) 軸と \(q\) 軸に関する楕円の方程式よ（\(\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1\) の形ね）。だから調和振動子の軌道は各エネルギーに対応する閉じた楕円になる。さらに、Hamilton の方程式 (D.23)–(D.24) は位相空間の各点 \((q, p)\) に「次の瞬間どちらに動くか」という速度ベクトルを割り当てている——これが位相空間上の「流れ」よ。エネルギーが異なれば楕円の大きさも異なるから、楕円軌道がエネルギーごとに入れ子になる——図 D.1「調和振動子の位相空間 \((q, p)\) における軌道」 で今言ったことが視覚的に確認できるわ。

調和振動子の位相空間軌道

図 D.1: 調和振動子の位相空間 \((q, p)\) における軌道。各エネルギーに対応する閉じた楕円軌道として描かれる。Hamilton の方程式 (D.23)–(D.24) が、位相空間上の流れを決める。

D.5.4 エネルギー保存

🟡 リナ: もう一つ重要なこと。\(H\) は一般に \(q_j(t)\), \(p_j(t)\), そして場合によっては \(t\) そのものの関数よ。\(H\) の時間変化を求めるには、「\(q_j\) や \(p_j\) が時間とともに動くことによる変化」と「\(H\) の関数形自体が時間とともに変わることによる変化」の両方を考える必要がある。

🔵 カイ: その 2 つの違いって、具体的にはどう計算に反映されるんですか？

🟡 リナ: まず 1 変数の合成関数の微分を思い出して。\(f(x(t))\) の時間微分は \(\frac{df}{dt} = \frac{df}{dx}\cdot\frac{dx}{dt}\) よね。もし \(f\) が 2 変数 \(f(x(t), y(t))\) なら、\(x\) の変化による寄与と \(y\) の変化による寄与を足し合わせて \(\frac{df}{dt} = \frac{\partial f}{\partial x}\frac{dx}{dt} + \frac{\partial f}{\partial y}\frac{dy}{dt}\) になる。変数が何個あっても同じパターンで、各変数について「\(f\) のその変数に対する偏微分 × その変数の時間変化率」を全部足すだけ。

さらに、\(f\) が \(x, y\) だけでなく \(t\) そのものにも直接依存する場合——\(f(x(t), y(t), t)\)——には、\(t\) 自身の変化による寄与 \(\frac{\partial f}{\partial t}\) も加わるの。ここで \(\frac{\partial f}{\partial t}\) と \(\frac{df}{dt}\) の違いに注意してね。\(\frac{\partial f}{\partial t}\) は「\(x\) と \(y\) を固定したまま、\(f\) の式の中に直接現れる \(t\) だけを動かしたときの変化率」。一方 \(\frac{df}{dt}\) は「実際の運動に沿って \(x(t)\), \(y(t)\) も動くことを含めた、\(f\) の全体的な時間変化率」よ。

🔵 カイ: ああ、偏微分と全微分の違いですね。\(\frac{\partial}{\partial t}\) は「他を止めて \(t\) だけ動かす」、\(\frac{d}{dt}\) は「全部まとめて動かす」。

🟡 リナ: その通り。\(H(q_1, \ldots, q_f, p_1, \ldots, p_f, t)\) の場合は：

\[ \frac{dH}{dt} = \frac{\partial H}{\partial t} + \sum_{j=1}^{f}\left(\frac{\partial H}{\partial q_j}\dot{q}_j + \frac{\partial H}{\partial p_j}\dot{p}_j\right) \tag{D.25} \]

これが多変数関数の全時間微分の公式よ（合成関数の微分の多変数版、連鎖律とも呼ばれるわ）。第 1 項 \(\frac{\partial H}{\partial t}\) は「\(q_j\) と \(p_j\) を固定したまま、\(H\) の式の中に直接現れる \(t\) だけを動かしたときの変化率」——つまり「\(H\) の関数形自体が時間とともに変わるか」を表す項。例えば外力が時間変化するような系では \(\frac{\partial H}{\partial t} \neq 0\) になるけど、孤立系では普通ゼロよ。

🟡 リナ: \(H\) が時間に陽に依存しない場合（\(\frac{\partial H}{\partial t} = 0\)）——つまり系のルール自体が時間変化しない場合——には、式 (D.25) の第 1 項がゼロになる。残った項に Hamilton の方程式 \(\dot{q}_j = \frac{\partial H}{\partial p_j}\), \(\dot{p}_j = -\frac{\partial H}{\partial q_j}\) を代入すると：

\[ = \sum_j\!\left(\frac{\partial H}{\partial q_j}\cdot\frac{\partial H}{\partial p_j} + \frac{\partial H}{\partial p_j}\cdot\!\left(-\frac{\partial H}{\partial q_j}\right)\right) = \sum_j\!\left(\frac{\partial H}{\partial q_j}\frac{\partial H}{\partial p_j} - \frac{\partial H}{\partial p_j}\frac{\partial H}{\partial q_j}\right) = 0 \]

🔵 カイ: おお、完全に打ち消し合う！ 自分自身と同じ形のものが符号逆で出てくるからゼロになるんですね。

⚪ メイ: つまり \(\frac{dH}{dt} = 0\) で、\(H\) は保存量——エネルギー保存則ね。

✅ 理解度チェック: Hamilton の正準方程式から \(\frac{dH}{dt} = 0\) が導かれる過程で、2 つの項がキャンセルする理由を説明してみましょう。

答え

\(\frac{dH}{dt} = \frac{\partial H}{\partial q_j}\dot{q}_j + \frac{\partial H}{\partial p_j}\dot{p}_j\) に Hamilton の方程式 \(\dot{q}_j = \frac{\partial H}{\partial p_j}\), \(\dot{p}_j = -\frac{\partial H}{\partial q_j}\) を代入すると、\(\frac{\partial H}{\partial q_j}\frac{\partial H}{\partial p_j} - \frac{\partial H}{\partial p_j}\frac{\partial H}{\partial q_j} = 0\) となる。正の項と負の項が正確に同じ大きさで符号が逆なのでキャンセルする。

📝 練習問題:

D.6 Poisson 括弧 — 古典力学の代数構造

🟡 リナ: Hamilton の方程式の対称的な構造をさらに深く理解するために、Poisson 括弧 (Poisson bracket) という道具を導入するわ。これが古典力学と量子力学を結ぶ「翻訳辞書」の核心になるの。

D.6.1 定義

🟡 リナ: 位相空間上の 2 つの物理量——つまり \(q\) と \(p\) の関数として書ける量—— \(A(q, p)\) と \(B(q, p)\) に対して、Poisson 括弧を次のように定義する：

\[ \{A, B\} \equiv \sum_{j=1}^{f} \left( \frac{\partial A}{\partial q_j}\frac{\partial B}{\partial p_j} - \frac{\partial A}{\partial p_j}\frac{\partial B}{\partial q_j} \right) \tag{D.26} \]

🔵 カイ: 何を意味してるんですか？ ただの式に見えますが……

🟡 リナ: まず式の「読み方」を確認しておくわね。定義式 (D.26) の各項は：

  • 第 1 項 \(\frac{\partial A}{\partial q_j}\frac{\partial B}{\partial p_j}\)：「\(A\) が \(q_j\) 方向にどれだけ変わるか」×「\(B\) が \(p_j\) 方向にどれだけ変わるか」
  • 第 2 項 \(\frac{\partial A}{\partial p_j}\frac{\partial B}{\partial q_j}\)：「\(A\) が \(p_j\) 方向にどれだけ変わるか」×「\(B\) が \(q_j\) 方向にどれだけ変わるか」

この 2 つの「交差した積」の差を、すべての自由度 \(j\) について足し合わせたものが Poisson 括弧よ。

直感的に言うと、\(\{A, B\}\) は「\(A\) と \(B\) が正準構造の中でどれだけ直接的に結びついているか」を測る量。\(\{q_j, p_k\} = \delta_{jk}\) は「\(q_j\) と \(p_k\) が互いに共役な変数のペアである」ことを表しているの。一方 \(\{q_j, q_k\} = 0\) は「\(q\) 同士は正準的に独立」——つまり正準構造の意味で直接は結びついていない——ということ。

🔵 カイ: じゃあ \(\{A, B\} = 0\) だと「\(A\) と \(B\) は無関係」ってことですか？

🟡 リナ: ただし注意してね、\(\{A, B\} = 0\) は「\(A\) と \(B\) が物理的に無関係」という意味ではないの。Hamiltonian を通じて間接的に影響し合うことはある。重要なのは、\(\{A, H\} = 0\) のとき \(A\) が保存量になる——つまり「\(H\) との Poisson 括弧がゼロ」が保存量の判定条件だということよ。

🟡 リナ: 一番簡単な例を先に見せるわね——1 自由度で \(A = q\), \(B = H = \frac{p^2}{2m} + V(q)\) とすると、定義式 (D.26) から \(\{q, H\} = \frac{\partial q}{\partial q}\frac{\partial H}{\partial p} - \frac{\partial q}{\partial p}\frac{\partial H}{\partial q} = 1 \cdot \frac{p}{m} - 0 = \frac{p}{m}\)。これは \(\dot{q} = p/m\)（Hamilton の方程式 (D.23) で確認済み）と一致しているわね。つまり Poisson 括弧 \(\{q, H\}\) が \(q\) の時間変化率を与えている——これは偶然ではなくて、D.6.3 で一般的に証明するわ。

🔵 カイ: へえ……Poisson 括弧を計算するだけで時間変化が分かるんですか。それはすごいですね。

🟡 リナ: 先に結論を予告しておくと、任意の物理量 \(A\) の時間変化は \(\{A, H\}\) で与えられる。だから \(\{A, H\} \neq 0\) は「\(A\) が時間変化する」ことを意味し、\(\{A, H\} = 0\) なら \(A\) は保存量——これが Poisson 括弧の最も重要な実用的意味よ。

実は、この構造はもう見たことがあるの。D.5.4 節のエネルギー保存の計算で \(\frac{\partial H}{\partial q_j}\frac{\partial H}{\partial p_j} - \frac{\partial H}{\partial p_j}\frac{\partial H}{\partial q_j}\) という組み合わせが現れたでしょう？ あれはまさに \(\{H, H\}\) の形。Poisson 括弧は、あの計算を一般化して「任意の 2 つの物理量の間の動的な関係」を表す道具よ。具体的には、ある物理量と Hamiltonian の Poisson 括弧を取ると、その物理量の時間変化が出てくる——これはすぐ後で示すわ。

🔵 カイ: じゃあ例えば \(\{q, H\}\) を計算したら \(\dot{q}\) が出てくるってことですか？

🟡 リナ: まさにそう！ それは D.6.3 で正式に示すけど、先にその結論を知っておくと定義の意味が掴みやすいわね。まずは最も簡単な例——\(q\) と \(p\) 自身の Poisson 括弧——を次の小節で計算してみましょう。

🟡 リナ: 式の構造を見ておくと、Poisson 括弧は「\(A\) の \(q\) 方向の変化と \(B\) の \(p\) 方向の変化の積」から「\(A\) の \(p\) 方向の変化と \(B\) の \(q\) 方向の変化の積」を引いたもの。\(q\) と \(p\) の役割を入れ替えると符号が変わる——反対称な構造を持っているの。

🔵 カイ: なるほど、\(A\) と \(B\) を入れ替えたら符号が反転する——外積みたいな感じですね。さっきリナさんが言ってた「\(\{A, H\}\) で時間変化が出る」っていうのは、次で確認するんですか？

⚪ メイ: 定義式 (D.26) の構造を整理すると、外積が「2 つのベクトルの成分を交差させて引く」のと同じパターンね。反対称で、\(q\) と \(p\) を交差させた組み合わせになっている。

🟡 リナ: いい整理ね。そしてカイの質問——ええ、D.6.3 で正式に示すわ。まず次の D.6.2 で基本 Poisson 括弧を計算して、その後 D.6.3 で「\(\{A, H\}\) が時間変化を与える」ことを確認する流れよ。

🔵 カイ: さっき外積みたいって言ったけど、Poisson 括弧って外積の親戚みたいなものなんですか？ なんか「もっと深い構造」がありそうな気がして……

🟡 リナ: 鋭い直感ね。実は位相空間には「シンプレクティック構造」と呼ばれる幾何学的構造があって、Poisson 括弧はそれと深く関係しているの——「位相空間における外積の一般化」のような役割を持っている。ただしこれは発展的な話題で今日の範囲を超えるから、名前だけ紹介しておくわ。ここでは「反対称で、\(q\) と \(p\) を交差させた組み合わせ」という構造を覚えておいてちょうだい。では次の小節で具体的に計算してみましょう。

D.6.2 基本 Poisson 括弧

🟡 リナ: 最も基本的な Poisson 括弧を計算してみましょう。\(q_j\) と \(p_k\) の Poisson 括弧を求めたい。定義式 (D.26) で \(A = q_j\), \(B = p_k\) と置くの。ここで注意——定義式の和の添字も \(j\) だったわよね。でも今 \(A = q_j\) の \(j\) は「特定の自由度を指す固定された番号」で、和の添字の \(j\) は「1 から \(f\) まで走るダミー添字」。同じ文字を 2 つの意味で使うと混乱するから、和の添字を \(i\) に書き換えるわ（ダミー添字は好きな文字に変えても意味は変わらないの）：

\[ \{q_j, p_k\} = \sum_i \left( \frac{\partial q_j}{\partial q_i}\frac{\partial p_k}{\partial p_i} - \frac{\partial q_j}{\partial p_i}\frac{\partial p_k}{\partial q_i} \right) \tag{D.27} \]

\(q_j\) は \(q_i\) に対して \(\delta_{ji}\)（Kronecker のデルタ）で偏微分され、\(p_i\) に対してはゼロ。同様に \(p_k\) は \(p_i\) に対して \(\delta_{ki}\)、\(q_i\) に対してはゼロ。したがって：

\[ \{q_j, p_k\} = \sum_i \delta_{ji}\delta_{ki} = \delta_{jk} \tag{D.28} \]

同様に：

\[ \{q_j, q_k\} = 0, \qquad \{p_j, p_k\} = 0 \tag{D.29} \]

⚪ メイ: まとめると：

表 D.1: 正準変数の基本Poisson括弧

Poisson 括弧 値
\(\{q_j, p_k\}\) \(\delta_{jk}\)
\(\{q_j, q_k\}\) \(0\)
\(\{p_j, p_k\}\) \(0\)

🟡 リナ: これを基本 Poisson 括弧と呼ぶわ。後で量子化するとき、これが正準交換関係に対応する。

✅ 理解度チェック: 基本 Poisson 括弧 \(\{q_j, p_k\} = \delta_{jk}\) を、Poisson 括弧の定義式から導出する際の要点を述べてください。

答え

\(q_j\) を \(q_i\) で偏微分すると \(\delta_{ji}\)、\(p_i\) で偏微分するとゼロ。同様に \(p_k\) を \(p_i\) で偏微分すると \(\delta_{ki}\)、\(q_i\) で偏微分するとゼロ。定義式に代入すると \(\{q_j, p_k\} = \sum_i \delta_{ji}\delta_{ki} = \delta_{jk}\) となる。\(q\) 同士や \(p\) 同士の括弧では、一方の偏微分が必ずゼロになるため結果もゼロ。

D.6.3 Hamilton の方程式の Poisson 括弧表現

🟡 リナ: Poisson 括弧を使うと、Hamilton の方程式が驚くほどコンパクトに書ける。任意の物理量 \(A(q, p, t)\) の時間変化を考えるわ。\(A\) が時間に陽に依存する場合も含めて一般に：

\[ \frac{dA}{dt} = \frac{\partial A}{\partial t} + \sum_j \left( \frac{\partial A}{\partial q_j}\dot{q}_j + \frac{\partial A}{\partial p_j}\dot{p}_j \right) \tag{D.30} \]

Hamilton の方程式 \(\dot{q}_j = \frac{\partial H}{\partial p_j}\), \(\dot{p}_j = -\frac{\partial H}{\partial q_j}\) を代入すると：

\[ \frac{dA}{dt} = \frac{\partial A}{\partial t} + \sum_j \left( \frac{\partial A}{\partial q_j}\frac{\partial H}{\partial p_j} - \frac{\partial A}{\partial p_j}\frac{\partial H}{\partial q_j} \right) = \{A, H\} + \frac{\partial A}{\partial t} \tag{D.31} \]

🔵 カイ: えっ、こんなにシンプルに！ でもこれって、「Hamiltonian との Poisson 括弧がゼロ」なら時間変化しない——つまり保存量ってことですか？

🟡 リナ: その通り！ \(A\) が時間に陽に依存しない（\(\frac{\partial A}{\partial t} = 0\)）場合は \(\frac{dA}{dt} = \{A, H\}\) だから、\(\{A, H\} = 0\) ならば \(\frac{dA}{dt} = 0\)、つまり \(A\) は保存量。保存量を見つけるには「\(H\) との Poisson 括弧を計算してゼロになるか調べればいい」——これが Poisson 括弧の実用的な威力よ。そして時間に陽に依存しない物理量の時間変化は、その物理量と Hamiltonian の Poisson 括弧で与えられる。これが Hamilton 力学の最もエレガントな表現ね。

特に \(A = q_j\) や \(A = p_j\)（これらは時間に陽に依存しない）を代入すると：

\[ \dot{q}_j = \{q_j, H\}, \qquad \dot{p}_j = \{p_j, H\} \tag{D.32} \]

これは式 (D.21) の Hamilton の方程式そのものね。

D.6.4 Poisson 括弧の性質

🟡 リナ: Poisson 括弧の重要な性質をまとめておくわ：

1. 反対称性：

\[ \{A, B\} = -\{B, A\} \tag{D.33} \]

特に \(\{A, A\} = 0\)。

2. 線形性：

\[ \{aA + bB,\, C\} = a\{A, C\} + b\{B, C\} \tag{D.34} \]

（\(a, b\) は定数）

3. 積の規則（Leibniz 則）：

\[ \{AB,\, C\} = A\{B, C\} + \{A, C\}B \tag{D.35} \]

（古典力学では \(A, B\) は可換な数値関数なので順序を入れ替えても同じ。しかし D.7 節で学ぶ量子力学への対応では演算子 \(\hat{A}\hat{B} \neq \hat{B}\hat{A}\) なので順序が重要になる。量子力学での対応する恒等式 \([\hat{A}\hat{B},\, \hat{C}] = \hat{A}[\hat{B}, \hat{C}] + [\hat{A}, \hat{C}]\hat{B}\)（第 15 章 で導出済み）との対応が見やすいように、古典側でもこの順序で書いておくわ。なお、古典的な積 \(AB\) を量子化するときの順序の曖昧さについては D.7.4 で述べるわね。）

4. Jacobi 恒等式：

\[ \{\{A, B\}, C\} + \{\{C, A\}, B\} + \{\{B, C\}, A\} = 0 \tag{D.36} \]

🔵 カイ: Jacobi 恒等式って何に使うんですか？ 正直、式を見ても何を言ってるのかピンと来ないです。

🟡 リナ: 直感的に言うと、Jacobi 恒等式は「Poisson 括弧を何重にも入れ子にしても矛盾が起きない」ことを保証する整合性条件なの。もう少し具体的に言えば、\(\{A, B\}\) で新しい物理量を作り、さらにそれと \(C\) の Poisson 括弧を取る——こういう操作を繰り返しても、結果が「どの順番で組み合わせたか」に依存しない、という一貫性を保証しているの。証明自体は定義式 (D.26) に代入して地道に計算すれば確認できるけど、ここでは結果だけ認めてもらって大丈夫よ。

⚪ メイ: つまり「操作の入れ子構造が整合的である」ことの保証ね。

🟡 リナ: そうね。そして重要なのは、量子力学の交換関係 \([A, B] = AB - BA\) も全く同じ性質——反対称性・線形性・Leibniz 則・Jacobi 恒等式——を満たすということ。つまり Poisson 括弧と交換関係は同じ代数構造を持っている——だから一方から他方への「翻訳」が可能になるの。

🔵 カイ: なるほど……「同じルールに従う計算体系」だから、片方をもう片方に置き換えても全体の論理が壊れない、ということですね。

⚪ メイ: つまり共通の「ルール」というのは、さっきリナさんが挙げた反対称性・線形性・Leibniz 則・Jacobi 恒等式の 4 つね。

🟡 リナ: 完璧な理解よ。

✅ 理解度チェック: Poisson 括弧と量子力学の交換関係が「翻訳可能」である根拠となる、両者に共通する代数的性質を 2 つ挙げてください。

答え

(1) 反対称性：\(\{A, B\} = -\{B, A\}\) と \([\hat{A}, \hat{B}] = -[\hat{B}, \hat{A}]\)。(2) Jacobi 恒等式：\(\{\{A,B\},C\} + \{\{C,A\},B\} + \{\{B,C\},A\} = 0\) と \([[\hat{A},\hat{B}],\hat{C}] + [[\hat{C},\hat{A}],\hat{B}] + [[\hat{B},\hat{C}],\hat{A}] = 0\)。これらの共通構造（Lie 代数の構造）により、一方から他方への対応が可能になる。

✅ 理解度チェック: 物理量 \(A\) の時間変化を Poisson 括弧で表す式を書き、その式が Hamilton の方程式と等価であることを確認してみましょう。

答え

\(\frac{dA}{dt} = \{A, H\}\)。\(A = q_j\) とすると \(\dot{q}_j = \{q_j, H\} = \frac{\partial q_j}{\partial q_i}\frac{\partial H}{\partial p_i} - \frac{\partial q_j}{\partial p_i}\frac{\partial H}{\partial q_i} = \delta_{ji}\frac{\partial H}{\partial p_i} - 0 = \frac{\partial H}{\partial p_j}\)。\(A = p_j\) とすると \(\dot{p}_j = \{p_j, H\} = 0 - \delta_{ji}\frac{\partial H}{\partial q_i} = -\frac{\partial H}{\partial q_j}\)。これは Hamilton の方程式 (D.21) そのもの。

📝 練習問題:

D.7 正準量子化のレシピ

🟡 リナ: いよいよ本題——古典力学から量子力学への移行手続き、正準量子化 (canonical quantization) よ。ここまでの準備がすべてこの瞬間のためにあったの。

D.7.1 正準量子化の 3 ステップ

🟡 リナ: 手順は明快よ。以下の 3 ステップで古典力学を量子力学に「翻訳」する：

ステップ 1: 古典系の Hamiltonian を \(q, p\) で書く

古典力学の知識から、系の Hamiltonian \(H(q, p)\) を一般化座標と正準運動量の関数として表す。

ステップ 2: \(q, p\) を演算子 \(\hat{q}, \hat{p}\) に置き換える

物理量を表す普通の数（古典力学では物理量は実数値の関数）を、演算子に置き換える。演算子とは、状態ベクトルに作用して別の状態ベクトルを返す線形な規則のこと（Appendix B 参照）。状態ベクトルが住む空間が Hilbert 空間（内積が定義された完備なベクトル空間、第 11 章 参照）よ。

なぜ「演算子」なのか？——古典力学では粒子の位置は 1 つの数で確定するけれど、量子力学では重ね合わせ状態があるため、物理量を「1 つの数」で表すことができない。演算子なら「測定したら何が起こりうるか」の情報——つまり取りうる測定値（固有値）の全リスト——を内包できる。だから物理量を演算子で表すの（第 8 章 参照）。

ステップ 3: 基本 Poisson 括弧を正準交換関係に置き換える

\[ \{q_j, p_k\} = \delta_{jk} \quad \longrightarrow \quad [\hat{q}_j, \hat{p}_k] = i\hbar\,\delta_{jk} \tag{D.37} \]
\[ \{q_j, q_k\} = 0 \quad \longrightarrow \quad [\hat{q}_j, \hat{q}_k] = 0 \tag{D.38} \]
\[ \{p_j, p_k\} = 0 \quad \longrightarrow \quad [\hat{p}_j, \hat{p}_k] = 0 \tag{D.39} \]

🔵 カイ: ちょっと待ってください。なんで Poisson 括弧が交換関係に対応するんですか？ どこから \(i\hbar\) が出てくるんですか？

🟡 リナ: 非常に鋭い質問ね。正直に言うと、正準量子化は公理であって、論理的に導出されるものではないの。「この対応を仮定すると、実験と一致する量子力学が得られる」というのが正当化の根拠よ。

🟡 リナ: でも、なぜこの対応が「自然」なのかについては、いくつかのヒントがある。まず、式 (D.31) で古典的な物理量の時間変化が \(\frac{dA}{dt} = \{A, H\}\) だったわよね。量子力学にも、演算子の時間変化を記述する方程式がある——Heisenberg (ハイゼンベルク) の運動方程式と呼ばれるもので、量子力学の基本原理から導かれる式よ（第 14 章 参照）：

\[ \frac{d\hat{A}}{dt} = \frac{1}{i\hbar}[\hat{A}, \hat{H}] \tag{D.40} \]

⚪ メイ: 構造が同じ！ 古典の \(\{A, H\}\) が量子の \(\frac{1}{i\hbar}[\hat{A}, \hat{H}]\) に対応している。

🟡 リナ: そう。一般的な対応規則は：

\[ \{A, B\}_{\text{classical}} \quad \longleftrightarrow \quad \frac{1}{i\hbar}[\hat{A}, \hat{B}]_{\text{quantum}} \tag{D.41} \]

つまり：

\[ [\hat{A}, \hat{B}] = i\hbar\,\{A, B\}_{\text{classical}} \tag{D.42} \]

基本 Poisson 括弧 \(\{q_j, p_k\} = \delta_{jk}\) に適用すれば、\([\hat{q}_j, \hat{p}_k] = i\hbar\,\delta_{jk}\) が出てくる。

🔵 カイ: なるほど……Poisson 括弧の代数構造がそのまま交換関係の代数構造に「翻訳」されるんですね。\(i\hbar\) は翻訳の「換算レート」みたいなもの。

🟡 リナ: いい比喩ね。そして \(\hbar \to 0\) の極限で交換関係がゼロになり、量子効果が消えて古典力学に戻る——これが対応原理の数学的表現よ。

✅ 理解度チェック: 正準量子化における対応規則 \(\{A, B\} \leftrightarrow \frac{1}{i\hbar}[\hat{A}, \hat{B}]\) において、\(\hbar \to 0\) の極限はどのような物理的意味を持つでしょうか？

答え

\(\hbar \to 0\) の極限では交換関係 \([\hat{A}, \hat{B}] = i\hbar\{A,B\}\) がゼロに近づき、演算子が可換になる（普通の数のように振る舞う）。これは量子効果が消えて古典力学に戻ることを意味し、対応原理の数学的表現である。

D.7.2 具体例：1 次元調和振動子の量子化

🟡 リナ: 具体的にやってみましょう。

ステップ 1: 古典 Hamiltonian は

\[ H(q, p) = \frac{p^2}{2m} + \frac{1}{2}m\omega^2 q^2 \tag{D.43} \]

ステップ 2: \(q \to \hat{q}\), \(p \to \hat{p}\) に置き換え：

\[ \hat{H} = \frac{\hat{p}^2}{2m} + \frac{1}{2}m\omega^2 \hat{q}^2 \tag{D.44} \]

ステップ 3: 正準交換関係を課す：

\[ [\hat{q}, \hat{p}] = i\hbar \tag{D.45} \]

🔵 カイ: たったこれだけで量子力学的な定式化が完成するんですか？

🟡 リナ: これで量子力学的な調和振動子の定式化が完成よ。第 9 章で扱ったあの問題の出発点がここにある。

🔵 カイ: 第 9 章では「Hamiltonian が与えられたとして」から始めてましたけど、その Hamiltonian がどこから来たのか、ようやくわかりました。でも逆に言うと、もし古典的な Hamiltonian が分からない系——例えば 第 17 章 で出てきたスピンみたいに、古典的な「位置と運動量」がない量——だったら、このレシピは使えないんですか？

🟡 リナ: 鋭い質問ね。その通りで、スピンのように古典的対応物を持たない量に対しては、正準量子化のレシピをそのまま適用することはできない。スピンの場合は、対称性（回転群の表現論）から交換関係を決めるの。正準量子化は万能ではなく、「古典的対応物がある系」に対する強力なレシピ——それが正確な位置づけよ。

D.7.3 Schrödinger 表現

🟡 リナ: 正準交換関係 \([\hat{q}, \hat{p}] = i\hbar\) を具体的に実現する方法として、Schrödinger 表現がある。これは 第 7 章で使った波動関数の言葉そのものよ：

  • 状態: 波動関数 \(\psi(q, t)\)
  • 位置演算子: \(\hat{q}\,\psi(q) = q\,\psi(q)\)（単なる掛け算）
  • 運動量演算子: \(\hat{p}\,\psi(q) = -i\hbar\frac{\partial}{\partial q}\psi(q)\)（微分演算子）。これは \(\frac{\hbar}{i}\frac{\partial}{\partial q}\psi(q)\) とも書ける（\(\frac{1}{i} = -i\) だから両者は同じ——確認：\(\frac{\hbar}{i} = \hbar \times \frac{1}{i} = \hbar \times (-i) = -i\hbar\)）。教科書によって表記が異なるので、両方に慣れておいてね。以下の計算では \(\frac{\hbar}{i}\) の形を使うわ

🔵 カイ: 位置は掛け算、運動量は微分——この不思議な実現が交換関係を満たすかどうか確認したいです。

🟡 リナ: 正準交換関係が満たされることを確認してみましょう。ここでは \(\hat{p} = \frac{\hbar}{i}\frac{\partial}{\partial q}\) の形を使うわ——こちらの方が途中計算で符号を追いやすいから（もちろん \(-i\hbar\frac{\partial}{\partial q}\) と全く同じものよ）。任意の \(\psi(q)\) に対して：

\[ (\hat{q}\hat{p} - \hat{p}\hat{q})\psi = q\cdot\frac{\hbar}{i}\frac{\partial\psi}{\partial q} - \frac{\hbar}{i}\frac{\partial}{\partial q}(q\psi) \tag{D.46} \]

第 2 項を積の微分 \(\frac{\partial}{\partial q}(q\psi) = 1\cdot\psi + q\cdot\frac{\partial\psi}{\partial q} = \psi + q\frac{\partial\psi}{\partial q}\) で展開：

\[ = q\cdot\frac{\hbar}{i}\frac{\partial\psi}{\partial q} - \frac{\hbar}{i}\left(\psi + q\frac{\partial\psi}{\partial q}\right) = \cancel{q\cdot\frac{\hbar}{i}\frac{\partial\psi}{\partial q}} - \frac{\hbar}{i}\psi - \cancel{q\cdot\frac{\hbar}{i}\frac{\partial\psi}{\partial q}} = -\frac{\hbar}{i}\psi = i\hbar\,\psi \tag{D.47} \]

（最後の等号は \(\frac{1}{i} = -i\)——これは \(i \cdot (-i) = -i^2 = 1\) から確認できる（Appendix A も参照）——より \(-\frac{\hbar}{i} = -\hbar \cdot (-i) = i\hbar\)。）

⚪ メイ: 確かに \([\hat{q}, \hat{p}]\psi = i\hbar\,\psi\) が成り立っている。演算子の順序が重要で、\(\hat{q}\hat{p} \neq \hat{p}\hat{q}\) なのは、微分演算子が「後ろの関数に作用する」からね。

🟡 リナ: そう。そして Schrödinger 方程式は：

\[ i\hbar\frac{\partial}{\partial t}\psi(q, t) = \hat{H}\!\left(q,\, \frac{\hbar}{i}\frac{\partial}{\partial q}\right)\psi(q, t) \tag{D.48} \]

調和振動子の場合、\(\hat{H} = \frac{\hat{p}^2}{2m} + \frac{1}{2}m\omega^2 q^2\) に \(\hat{p} = \frac{\hbar}{i}\frac{\partial}{\partial q} = -i\hbar\frac{\partial}{\partial q}\) を代入すると、\(\frac{\hat{p}^2}{2m} = \frac{1}{2m}\left(\frac{\hbar}{i}\right)^2\frac{\partial^2}{\partial q^2}\)。ここで \(\left(\frac{\hbar}{i}\right)^2 = \frac{\hbar^2}{i^2} = \frac{\hbar^2}{-1} = -\hbar^2\) だから、\(\frac{\hat{p}^2}{2m} = -\frac{\hbar^2}{2m}\frac{\partial^2}{\partial q^2}\)。したがって：

\[ i\hbar\frac{\partial}{\partial t}\psi(q, t) = \left( -\frac{\hbar^2}{2m}\frac{\partial^2}{\partial q^2} + \frac{1}{2}m\omega^2 q^2 \right)\psi(q, t) \tag{D.49} \]

🔵 カイ: 第 7 章で見た Schrödinger 方程式だ！ 正準量子化のレシピを使えば、古典的な Hamiltonian からこの方程式が自動的に出てくるんですね。古典力学の Hamiltonian が、量子力学の Schrödinger 方程式の「設計図」になっていたんだ。

D.7.4 順序の曖昧さ

🟡 リナ: 一つ注意点があるわ。古典力学では \(qp = pq\)（ただの数の掛け算だから）。でも量子力学では \(\hat{q}\hat{p} \neq \hat{p}\hat{q}\)。だから、古典的な物理量 \(qp\) を量子化するとき、\(\hat{q}\hat{p}\) にするか \(\hat{p}\hat{q}\) にするかで結果が変わる。

🔵 カイ: どうするんですか？

🟡 リナ: 一般的なルールとして、量子化した演算子が自己共役（Hermitian）になるように順序を選ぶの。\(qp\) の場合は：

\[ qp \quad \longrightarrow \quad \frac{1}{2}(\hat{q}\hat{p} + \hat{p}\hat{q}) \tag{D.50} \]

これは Weyl 順序と呼ばれる処方箋の一つよ。ただし、調和振動子のように \(H = \frac{p^2}{2m} + V(q)\) の形なら、\(p\) と \(q\) が混ざった項がないから、順序の問題は生じない。

⚪ メイ: 実用的には、多くの物理系で順序の曖昧さは問題にならないのね。

✅ 理解度チェック: 正準量子化の 3 ステップを順に述べてください。

答え
  1. 古典系の Hamiltonian \(H(q, p)\) を一般化座標と正準運動量の関数として書く
  2. \(q, p\) を演算子 \(\hat{q}, \hat{p}\) に置き換える
  3. 基本 Poisson 括弧を正準交換関係 \([\hat{q}_j, \hat{p}_k] = i\hbar\,\delta_{jk}\) に置き換える

📝 練習問題:

D.8 全体の対応関係のまとめ

🟡 リナ: ここまでの流れを一枚の表にまとめておくわ。古典力学と量子力学の対応関係よ：

表 D.2: 古典力学と量子力学の対応関係

古典力学 量子力学
物理量 \(A(q, p)\)（\(c\)-数：可換な普通の数） 演算子 \(\hat{A}\)（Hilbert 空間上）
状態: 位相空間の 1 点 \((q, p)\) 状態: ケットベクトル $
Poisson 括弧 \(\{A, B\}\) 交換関係 \(\frac{1}{i\hbar}[\hat{A}, \hat{B}]\)
\(\{q_j, p_k\} = \delta_{jk}\) \([\hat{q}_j, \hat{p}_k] = i\hbar\,\delta_{jk}\)
時間発展: \(\frac{dA}{dt} = \{A, H\}\) Heisenberg 方程式: \(\frac{d\hat{A}}{dt} = \frac{1}{i\hbar}[\hat{A}, \hat{H}]\)
Hamilton 関数 \(H(q, p)\) Hamiltonian 演算子 \(\hat{H}\)
時間発展の生成子: \(H\) 時間発展: $i\hbar\frac{\partial}{\partial t}

🔵 カイ: きれいに対応してますね……でも一つ気になるのは、この表だと古典力学の「状態」が位相空間の 1 点なのに、量子力学の「状態」はケットベクトルですよね。1 点と無限次元のベクトル——情報量が全然違う気がするんですけど、それでも「対応」って言えるんですか？

🟡 リナ: 鋭い指摘ね。実はその通りで、この対応は「完全な翻訳」ではないの。古典力学は量子力学の \(\hbar \to 0\) の極限として含まれるけど、逆に古典力学から量子力学を一意に決定することはできない（順序の曖昧さなど）。量子力学の状態空間は古典力学よりはるかに豊かで、重ね合わせやエンタングルメントのような古典に対応物のない構造を持っている。正準量子化はあくまで「最良の推測を立てるためのレシピ」であって、最終的には実験との一致で正当化されるモデルよ。

D.9 連続系への拡張 — 場の量子論への展望

🟡 リナ: 最後に、離散的な粒子系から連続的な場へ、どう拡張されるかを概観しておくわ。これは場の量子論 (quantum field theory) への入口よ。

D.9.1 離散系から連続系へ

🟡 リナ: 具体的なイメージとして、\(N\) 個の質点が一直線に並んでいて、隣り合う質点同士がバネで結ばれている系を考えて——ギターの弦を思い浮かべるといいわ。弦を拡大すると原子が並んでいて、隣の原子同士が結合力（バネ）でつながっている。質点の平衡位置の間隔を \(a\)、バネ定数を \(\kappa\)、\(i\) 番目の質点の平衡位置からの変位を \(q_i(t)\) とすると、Lagrangian は：

離散系から連続系への移行

図 D.2: \(N\) 個の質点がバネで結ばれた離散系（上）と、\(N \to \infty\), \(a \to 0\) の連続極限で得られる連続的な場 \(\phi(x,t)\)（下）。離散的な変位 \(q_i(t)\) が連続的な場 \(\phi(x,t)\) に移行する。

\[ L = \sum_{i=1}^{N} \left[ \frac{1}{2}m\dot{q}_i^2 - \frac{1}{2}\kappa(q_{i+1} - q_i)^2 \right] \tag{D.51} \]

🟡 リナ: ここで \(N \to \infty\)、\(a \to 0\) の連続極限を取ると、離散的な変位 \(q_i(t)\) は連続的な場 \(\phi(x, t)\) に移行する。添字 \(i\) が連続変数 \(x\) に置き換わるの。図 D.2「\(N\) 個の質点がバネで結ばれた離散系（上）と、\(N \to \infty\), \(a \to 0\) の連続極限で得られる連続的な場 \(\phi(x,t)\)（下）」 を見てちょうだい——離散系（上）と連続極限（下）の対応が視覚的にわかるわ。

\[ q_i(t) \to \phi(x, t) \tag{D.52} \]

D.9.2 Lagrangian 密度

🟡 リナ: 連続極限では、Lagrangian は空間積分の形になる：

\[ L = \int \mathcal{L}\!\left(\phi,\, \frac{\partial\phi}{\partial t},\, \frac{\partial\phi}{\partial x}\right) dx \tag{D.53} \]

ここで \(\mathcal{L}\) を Lagrangian 密度 (Lagrangian density) と呼ぶわ。例えば弦の振動なら：

\[ \mathcal{L} = \frac{1}{2}\mu\left(\frac{\partial\phi}{\partial t}\right)^2 - \frac{1}{2}\tau\left(\frac{\partial\phi}{\partial x}\right)^2 \tag{D.54} \]

ここで \(\mu\) は線密度（単位長さあたりの質量）、\(\tau\) は張力——これらが離散系のパラメータからどう出てくるか、具体的に見てみましょう。

🟡 リナ: ここで連続極限の対応を見ておくわ。ポイントは「\(\sum_i\) を \(\int dx\) に書き換える」こと。隣り合う質点の間隔が \(a\) だから、\(i\) 番目の質点の位置は \(x_i = ia\) よね。\(a \to 0\) で質点が連続的に分布するようになると、\(\sum_i a\) は区分求積法そのもので \(\int dx\) に移行する——高校で習った \(\int_a^b f(x)\,dx = \lim_{N\to\infty}\sum_{i=1}^N f(x_i)\,\Delta x\) の \(\Delta x\) が \(a\) に対応しているの。

🔵 カイ: あ、\(\sum_i a\) って、幅 \(a\) の短冊を足し合わせるのと同じ構造ですね。でも元の式 (D.51) は \(\sum_i\) であって \(\sum_i a\) じゃないですよね？

🟡 リナ: いい指摘ね。元の \(\sum_i\) には \(a\) が入っていないから、各項を「\(a \times\)(何か)」の形に書き直す必要があるの。つまり \(\sum_i (\cdots) = \sum_i a \cdot \frac{(\cdots)}{a}\) と変形する。こうすれば \(\sum_i a\) の部分が \(\int dx\) に移行して、\(\frac{(\cdots)}{a}\) の部分が Lagrangian 密度 \(\mathcal{L}\) になるわ。

まず運動エネルギー項。\(\frac{1}{2}m\dot{q}_i^2\) を \(a \cdot \frac{1}{2}\frac{m}{a}\dot{q}_i^2\) と書き直す。\(\sum_i a \to \int dx\) で、\(m/a\) は「単位長さあたりの質量」つまり線密度 \(\mu\) になる。だから \(\frac{1}{2}\mu\dot{\phi}^2 = \frac{1}{2}\mu(\partial\phi/\partial t)^2\) が得られるわ。

🔵 カイ: なるほど、\(a\) を 1 つ取り出して \(\int dx\) の変換に使い、残りが密度になるんですね。ポテンシャル項も同じ戦略ですか？

🟡 リナ: その通り。次にポテンシャル項。\((q_{i+1} - q_i)/a\) は「隣との変位差を間隔で割ったもの」だから、\(a \to 0\) で空間微分 \(\partial\phi/\partial x\) に近づく。ここでも「\(a\) を 1 つ取り出す」戦略を使うわ——目標は \(\sum_i a \cdot (\text{何か})\) の形にして、\(\sum_i a \to \int dx\) で「何か」が Lagrangian 密度になるようにすること。

⚪ メイ: つまり、離散系のパラメータを \(a\) で割ったり掛けたりして「密度」に変換する操作ね。

🟡 リナ: そうね。元の項 \(\frac{1}{2}\kappa(q_{i+1}-q_i)^2\) をまず \(\frac{1}{2}\kappa a^2 \left(\frac{q_{i+1}-q_i}{a}\right)^2\) と書き直す——\((q_{i+1}-q_i)^2 = a^2\left(\frac{q_{i+1}-q_i}{a}\right)^2\) だからね。次に \(\kappa a^2 = a \cdot (\kappa a)\) と分解する。こうすれば \(a \cdot \frac{1}{2}\kappa a \left(\frac{q_{i+1}-q_i}{a}\right)^2\) の形になって、\(a\) が 1 つ \(\sum_i a \to \int dx\) の変換に使われ、残った \(\kappa a\) が物理パラメータとして残る。\(\tau = \kappa a\) を張力と定義すれば、被積分関数は \(\frac{1}{2}\tau(\partial\phi/\partial x)^2\) になるの。

🔵 カイ: あ、そうか——\(a\) が 2 つの役割を果たしてるんですね。1 つは「\(\sum_i a \to \int dx\)」の変換に使われて、もう 1 つは物理パラメータの中に残る。でも \(\kappa a\) がなぜ張力になるんですか？ 次元は合ってるんですか？

🟡 リナ: いい確認ね。バネ定数 \(\kappa\) の次元は [力/長さ] だから、\(\kappa a\) の次元は [力/長さ]×[長さ] = [力]——確かに張力の次元よ。物理的には、バネ定数 \(\kappa\) のバネが間隔 \(a\) で並んでいるとき、全体を引っ張る力（張力）は \(\kappa\) と \(a\) の積で決まるの。

⚪ メイ: 整理すると、\(\mu = m/a\) が線密度、\(\tau = \kappa a\) が張力ね。\(a\) の配分が運動エネルギー項とポテンシャル項で違うのは、元の式での \(a\) の入り方が違うから。

🟡 リナ: その通り。まとめると、離散系の \(\frac{1}{2}m\dot{q}_i^2\) が \(\frac{1}{2}\mu(\partial\phi/\partial t)^2\) に、\(\frac{1}{2}\kappa(q_{i+1}-q_i)^2\) が \(\frac{1}{2}\tau(\partial\phi/\partial x)^2\) に対応しているの。

🔵 カイ: 離散系では「\(i\) 番目の質点」だったのが、連続系では「位置 \(x\) での場の値」になるんですね。でも \(a \to 0\) にしたら質点の数が無限大になりますよね？ それでも同じ手続きが使えるのが不思議です。

🟡 リナ: いい感覚ね。「使える」理由は、正準量子化のレシピが「各自由度に対して正準変数のペアを見つけ、交換関係を課す」という構造だけに依存していて、自由度の数が有限か無限かに本質的に依存しないからよ。具体的にどう置き換わるかは次の D.9.3 で見るけど、先に結論だけ言うと、離散系で \([\hat{q}_i, \hat{p}_j] = i\hbar\,\delta_{ij}\) だったのを、連続系で \([\hat{\phi}(x), \hat{\pi}(x')] = i\hbar\,\delta(x-x')\) に置き換えるだけ——形式的には同じパターンの繰り返しね。ただし、自由度が無限個になるからこそ、場の量子論では粒子の量子力学にはない新しい現象——粒子の生成・消滅など——が現れるの。

🔵 カイ: へえ……形式は同じなのに、自由度が無限個になっただけで粒子の生成・消滅みたいな全然違う現象が出てくるんですね。具体的にはどこで「粒子が生まれる」っていう話が出てくるんですか？

🟡 リナ: 鋭い質問ね。ポイントは、場を Fourier 展開すると各モードが独立な調和振動子になること——第 27 章で見たわよね。各モードの生成演算子 \(\hat{a}^\dagger\) が「粒子を 1 つ増やす」操作に対応するの。交換関係 \([\hat{a}, \hat{a}^\dagger] = 1\) が粒子数を上げ下げする梯子を作るからこそ、粒子数が変わりうる。形式が同じだからこそ安心して拡張できるけど、自由度が無限個になったことで新しい物理が生まれる——それが場の量子論の醍醐味よ。詳しくは 第 27 章 を見直してね。

⚪ メイ: 整理すると、離散→連続の対応は：添字 \(i\) → 座標 \(x\)、変位 \(q_i(t)\) → 場 \(\phi(x,t)\)、和 \(\sum_i\) → 積分 \(\int dx\)、そして物理パラメータは \(m/a \to \mu\)（線密度）、\(\kappa a \to \tau\)（張力）ね。

🟡 リナ: その通り。つまり式 (D.51) は連続極限で式 (D.53) の形になって、被積分関数がまさに式 (D.54) の Lagrangian 密度 \(\mathcal{L}\) になる——全部 \(a \to 0\) の極限操作から自然に出てくるの。明示的に書くと：

\[ L = \int \left[ \frac{1}{2}\mu\left(\frac{\partial\phi}{\partial t}\right)^2 - \frac{1}{2}\tau\left(\frac{\partial\phi}{\partial x}\right)^2 \right] dx \tag{D.55} \]

これが離散系 (D.51) の連続極限ね。

D.9.3 場の正準量子化

🟡 リナ: 離散系の正準量子化と全く同じ手順を、場に対して適用するの：

表 D.3: 離散系と連続場の正準量子化の対応

離散系 連続系（場）
一般化座標 \(q_i(t)\) 場 \(\phi(x, t)\)
正準運動量 \(p_i = \frac{\partial L}{\partial \dot{q}_i}\) 正準運動量密度 \(\pi(x,t) = \frac{\partial \mathcal{L}}{\partial \dot{\phi}}\)
\(\{q_i, p_j\} = \delta_{ij}\) \(\{\phi(x), \pi(x')\} = \delta(x - x')\)
\([\hat{q}_i, \hat{p}_j] = i\hbar\,\delta_{ij}\) \([\hat{\phi}(x), \hat{\pi}(x')] = i\hbar\,\delta(x - x')\)

🔵 カイ: Kronecker のデルタがデルタ関数に変わるだけで、構造は全く同じなんですね。

⚪ メイ: Kronecker のデルタ \(\delta_{ij}\) が Dirac のデルタ関数 \(\delta(x - x')\) に置き換わっている——離散から連続への自然な拡張ね。

🟡 リナ: その通り。念のため補足すると、Dirac のデルタ関数は Appendix C で導入したけれど、ここでの意味を確認しておくわ。\(\delta(x - x')\) は「\(x = x'\) のときだけ無限大で、それ以外ではゼロ、全体を積分すると 1」という特殊な関数よ。離散系で \(\delta_{ij}\) が「\(i = j\) のとき 1、それ以外は 0」だったのと同じ役割を、連続変数に対して果たすの。

⚪ メイ: Kronecker デルタの連続版ね。「同じ点かどうか」を判定する道具が、離散では \(\delta_{ij}\)、連続では \(\delta(x-x')\) になる。

🟡 リナ: そう。この「場の正準量子化」こそが、場の量子論の出発点よ。電磁場を量子化すれば光子が生まれ、Dirac 場を量子化すれば電子と陽電子が生まれる。第 27 章で展望した「なぜ粒子だけでは不十分か」の答えが、まさにここにある。

🔵 カイ: 粒子の力学を量子化したのが量子力学。場の力学を量子化したのが場の量子論。同じ「正準量子化」というレシピが、両方に使えるんですね。

🟡 リナ: 完璧な理解よ。本編の量子力学は「有限個の自由度の正準量子化」。場の量子論は「無限個の自由度（連続系）の正準量子化」。道具は同じ、適用する対象が違うだけ。

✅ 理解度チェック: 量子力学と場の量子論の違いを、正準量子化の観点から一言で述べてください。

答え

量子力学は有限個の自由度（粒子の座標と運動量）の正準量子化であり、場の量子論は無限個の自由度（連続的な場とその正準運動量密度）の正準量子化である。適用する正準量子化のレシピは同じだが、対象となる系の自由度の数が異なる。

✅ 理解度チェック: 場の正準量子化において、離散系の Kronecker デルタ \(\delta_{ij}\) に対応するものは何でしょうか？

答え

Dirac のデルタ関数 \(\delta(x - x')\)。離散的な添字 \(i, j\) が連続的な座標 \(x, x'\) に置き換わるのに伴い、Kronecker デルタもデルタ関数に置き換わる。

次章予告

🟡 リナ: この Appendix で、古典力学の Lagrangian・Hamiltonian 形式から量子力学への正準量子化の道筋を一通り見渡したわ。

🔵 カイ: Newton の \(F = ma\) → Lagrangian と作用 → Hamiltonian と位相空間 → Poisson 括弧 → 正準量子化 → Schrödinger 方程式。全部つながってるんですね。でも場の量子論に進んだら、また新しい「翻訳の壁」みたいなものがあるんですか？

🟡 リナ: いい質問ね。場の正準量子化は、場の量子論 (quantum field theory) の入口。本編 第 27 章で展望した世界への扉が、ここで正式に開かれたことになるわ。新しい困難——例えば無限大の処理（繰り込み）——は確かにあるけれど、出発点の道具立ては今日学んだものと同じよ。

⚪ メイ: 場の量子論に進めば、粒子の生成・消滅、反粒子、真空のゆらぎ——そういった現象が自然に記述できるようになるのね。

🟡 リナ: その通り。もし場の量子論をさらに学びたければ、この Appendix の道具立て——特に Lagrangian 密度と正準運動量密度の概念——が出発点になる。本編の量子力学を土台に、その先の世界へ進んでいってほしいわ。

練習問題

📝 練習問題:

参考文献

  1. Lancaster, T. & Blundell, S. J., Quantum Field Theory for the Gifted Amateur (Oxford University Press, 2014), Ch.2 "Lagrangians" & Ch.6 "A first stab at relativistic quantum mechanics" — Lagrangian 形式・汎関数微分・Hamiltonian・Poisson 括弧の丁寧な導入。場の量子論への橋渡しとして最適。

  2. Sakurai, J. J. & Napolitano, J., Modern Quantum Mechanics, 3rd ed. (Cambridge University Press, 2021), Ch.2 前半 — 時間発展演算子、Heisenberg の運動方程式、古典力学との対応（Poisson 括弧 → 交換関係）。

  3. 清水明, 『新版 量子論の基礎 — その本質のやさしい理解のために』(サイエンス社, 2004), Ch.6 — 正準量子化の手続きを厳密かつ簡潔に定式化。Schrödinger 表現の導入。

← C Fourier 解析と δ 関数この旅へようこそ →