本文へ移動
ISEGORIABenjamin Haire
English

ISEGORIA / 数学百科事典

ハミルトン力学:相空間とその幾何

リウヴィルの定理・シンプレクティック積分法・対称性と保存則を結ぶネーターの定理を扱います。

前提知識: 古典力学と変分法

予想してから操作し、計算例と問いで理解を確かめてください。グラフは数式の図示であり、証明ではありません。

1. リウヴィル:流れは面積を保つ

相空間の各点は振り子の完全な状態(角度と運動量)です。初期状態の円板を好きな所へドラッグし、時間を進めてください。振幅によって周期が違うため円板は細い糸状に引き伸ばされますが、面積は変わりません。

計算例. 速度場 \((\partial_pH,-\partial_qH)\) の発散は 0 なので、発散定理により囲まれた面積は増えも減りもしません。

注意点. 面積を厳密に保つのは真の流れです。読み取り欄は 720 個の境界点を結ぶ多角形で測るので、長時間後のごく細い糸では解像度がわずかに不足します。

(±π, 0) を通る太い曲線は何を分けていますか?

セパラトリクスは、往復する振動(閉曲線)と頂点を越えて回り続ける運動(開いた曲線)を分けます。

参考文献: David Tong · Classical Dynamics (Cambridge lecture notes)

2. 幾何を尊重する積分法

同じ刻み幅で、ケプラー軌道を三つの方法で積分します。陽的オイラー法は外へ渦を巻き、RK4 はゆっくりエネルギーを失います。リープフロッグ法は二次精度にすぎませんが、エネルギー誤差は非常に長い時間にわたって有界です。一歩一歩がそれ自体シンプレクティック写像だからです。

計算例. リープフロッグ法は修正エネルギー \(\tilde H=H+O(h^2)\) を指数関数的に長い時間にわたってほぼ厳密に保存するので、本当のエネルギーは振動するだけです。軌道は減衰せず歳差運動をします。

注意点. 長時間では高次の方が良いとは限りません。RK4 は一歩あたりの精度ははるかに高いものの、誤差が一方向に蓄積します。

オイラー法のエネルギーが減らずに増えるのはなぜですか?

最も簡単な調和振動子の場合、オイラー法の一歩はエネルギー一定の円の接線に沿って進むので、円の外側に出ます。エネルギーは一歩ごとにちょうど \(1+h^2\) 倍になります。

参考文献: David Tong · Classical Dynamics (Cambridge lecture notes)

3. ネーター:対称性が保存則を与える

粒子が平面上のポテンシャルの中を動きます。うねりがなければポテンシャルは回転対称で、角運動量は保存されます。軌道はきれいなロゼットです。n 回対称のうねりを加えると回転対称性が壊れ、角運動量はさまよいますが、時間並進対称性に守られたエネルギーは一定のままです。

計算例. \(\varepsilon=0\) では \(\partial V/\partial\phi=0\) なので、\(L=xp_y-yp_x\) は厳密に一定です。

注意点. 離散的な対称性(\(2\pi/n\) の回転)からは保存量は得られません。ネーターの定理には連続的な対称性の族が必要です。

ここでエネルギーを守っている対称性はどれですか?

時間並進です。ポテンシャルが時間に依存しないからです。

参考文献: David Tong · Classical Dynamics (Cambridge lecture notes)

次に読む

線形代数:変換の幾何フーリエ解析:波で関数を作る力学系:安定性とカオス最適化:最良の選択の幾何確率:不確実性から学ぶ群論:対称性を代数にする代数的位相幾何:穴を見つける数値解析:計算が誤解を招くとき数論:整数のパターングラフ理論:経路・木・ネットワーク偏微分方程式:動く場情報理論:不確実性と符号変分法:経路と原理古典力学:運動と力電磁気学:場と誘導光学:光線・波・色熱力学:エネルギー・仕事・エントロピー量子力学:振幅とスピン複素解析:写像・留数・調和場流体力学:流れ・圧力・渦度統計と推測:データの中の信号特殊相対性理論:空間・時間・光微分幾何:曲率と形統計力学:ミクロ状態と温度測度論:大きさ・近似・収束マルコフ連鎖:遷移・定常性・吸収微分形式:循環・カール・引き戻し一般相対性理論:曲率・時計・光関数解析:ノルム・射影・作用素プラズマ物理:遮蔽・軌道・波リー群とリー代数:連続的な対称性確率過程:ブラウン運動とノイズ固体物理:結晶の中の波制御理論:フィードバック・極・安定性論理と計算可能性:何が計算できるか双曲幾何:平行線が増える世界剛体力学:回転・転倒・歳差楕円曲線:足し算ができる幾何原子物理:軌道とスペクトル四元数:掛け算としての回転押し出しと引き戻し:写像を通した積分結び目理論:絡まりを見分けるフラクタル幾何:整数の間の次元量子情報:もつれとその限界宇宙論:膨張する宇宙セル・オートマトン:局所規則から生まれる計算複雑系:単純な多数の部品から生まれる秩序ガロア理論:方程式の対称性磁性とイジング模型:整列から生まれる秩序振動子と脱進機:時計はどうやって時を刻むか歯車と機構:運動を正確に伝える水晶振動子:時を刻む結晶スピーカー:ムービングコイル型ドライバーフィルターとクロスオーバー:音をドライバーに振り分ける室内音響:部屋はスピーカーの一部ウェーブレット:信号を拡大して見るレーザー物理:自らを複製する光表現論:行列として作用する群半導体物理:バンド・ドーピング・接合

数学百科事典に戻る