コンテンツにスキップ

ハミルトン形式の力学:ルジャンドル変換が開く位相空間

前提:対称性と保存則:ネーターの定理を「変換の生成子から保存量を作る機械」として読む

生 Markdown
  • ラグランジアン L(q,q˙,t)L(q,\dot q,t) に対して 一般化運動量 pi=L/q˙ip_i = \partial L/\partial \dot q^i を定義し、q˙\dot qpp に取り替える操作が ルジャンドル変換 です。これができるための条件は、LL の速度についてのヘッセ行列が正則であること(正則ラグランジアン)です。
  • こうして得られる ハミルトニアン H(q,p,t)=ipiq˙iLH(q,p,t) = \sum_i p_i \dot q^i - L は、nn 本の 2 階方程式(オイラー・ラグランジュ方程式)を、2n2n 本の 1 階方程式(正準方程式)q˙i=H/pi\dot q^i = \partial H/\partial p_ip˙i=H/qi\dot p_i = -\partial H/\partial q^i に書き換えます。
  • HH がエネルギー T+VT+V に一致するのは、拘束が時間に陽に依存せず、力がポテンシャル V(q)V(q) から導かれるときだけです。回転する棒に通したビーズでは HH は保存しますがエネルギーではありません。
  • 座標 qq と運動量 pp を対等な軸とする 位相空間 の上では、力学系は 1 つのベクトル場の流れになります。この流れは発散ゼロなので体積を保ちます(リウヴィルの定理)。これが統計力学の出発点です。
  • 物理量の時間発展は ポアソン括弧F˙={F,H}+F/t\dot F = \lbrace F, H\rbrace + \partial F/\partial t と書けます。この構造をそのまま交換子に置き換えたものが量子力学の正準量子化です。

1. 動機:なぜ速度を運動量に取り替えるのか

Section titled “1. 動機:なぜ速度を運動量に取り替えるのか”

ラグランジュ形式 は、配位空間の座標 q=(q1,,qn)q = (q^1,\ldots,q^n) とその速度 q˙=(q˙1,,q˙n)\dot q = (\dot q^1,\ldots,\dot q^n) を変数とし、作用 S=LdtS=\int L\,dt の停留条件から オイラー・ラグランジュ方程式(定理 3.4)[ラグランジュ形式の力学] を導きました。これは強力な形式で、拘束条件を座標の取り方に吸収でき、ネーターの定理ネーターの定理(定理 4.1)[対称性と保存則])によって対称性と保存則が直結します。

それでも 2 つの不満が残ります。

第一に、方程式が qq について 2 階 であることです。nn 自由度なら nn 本の 2 階方程式で、初期条件は q(0)q(0)q˙(0)\dot q(0)2n2n 個必要です。ところが方程式の側は nn 本しかない。数学的には、常微分方程式論・数値計算・力学系の理論のいずれもが「1 階の連立系 ξ˙=X(ξ)\dot{\boldsymbol{\xi}} = \boldsymbol{X}(\boldsymbol{\xi})」を標準形とします。2n2n 個の初期条件があるなら、2n2n 本の 1 階方程式で書くのが自然でしょう。

第二に、qqq˙\dot q が対等でない ことです。q˙\dot qqq の時間微分という従属物であり、独立変数のように扱うのは形式上の便宜にすぎません。ところが保存則を見ると、対等に見える組が現れます。ネーターの定理が与える保存量は、たとえば並進対称性なら運動量 pp、回転対称性なら角運動量です。そして 中心力の問題 では、角運動量 \ell を保存量として固定し、動径方向の運動だけを取り出す、という手続きが決定的に有効でした(動径方向の一次元問題への帰着(命題 4.2)[惑星の運動と中心力])。このとき私たちは実質的に「θ˙\dot\theta を消して \ell を変数に採用」しています。

この 2 つの不満は、同じ 1 つの操作で解消します。速度 q˙\dot q を捨て、一般化運動量 pp を独立変数に採用する のです。ハミルトンが 1834–35 年の論文で導入したこの形式は、qqpp を対等な座標軸とする 2n2n 次元の空間(位相空間)を舞台とし、そこに 1 階の方程式系を与えます。

この書き換えは単なる記法の変更ではありません。位相空間の上では、初期条件の分布が時間とともにどう流れるかを論じられます。これが統計力学のアンサンブルの考え方です。また qqpp を対等に扱う代数構造(ポアソン括弧)は、そのまま量子力学の交換関係に持ち上がります。第 6 章で扱う 正準変換 も、この形式でこそ意味を持ちます。

flowchart TB
A["ラグランジアン L(q, q̇, t)<br/>配位空間の接束(q と q̇)"] -->|"p = ∂L/∂q̇ を定義"| B["一般化運動量 p"]
B -->|"ルジャンドル変換<br/>H = Σ p q̇ − L"| C["ハミルトニアン H(q, p, t)<br/>位相空間(q と p)"]
A --> D["オイラー・ラグランジュ方程式<br/>n 本の 2 階常微分方程式"]
C --> E["正準方程式<br/>2n 本の 1 階常微分方程式"]
D -.正則なら同値.- E
3 つの形式の関係。ルジャンドル変換が速度の空間から位相空間へ渡す。

ここから先は Pro プランの内容です。

この章の続き(定義・定理・証明・例・演習)をすべて読むには Pro プランにご登録ください。無料の章は最後まで読めます。

プランを見る ログイン

この記事の誤りを報告する ・運営: 夢現技研合同会社料金プラン利用条件特定商取引法に基づく表記

© 2026 夢現技研合同会社 ・本文の LLM への入力は自由です。コード例は MIT ライセンスです。