[論文レビュー] Applications of Poisson Geometry to Physical Problems

Darryl D. Holm|arXiv (Cornell University)|Aug 11, 2007

Nonlinear Waves and Solitons参考文献 95被引用数 6

ひとこと要約

この論文は、ハミルトニアンの原理による対称性の簡約を用いて、ポisson幾何学を物理系に適用し、流体動力学および運動論的方程式のLie-Poisson形式を導出する。Vlasov方程式および非圧縮性・圧縮性流体のEuler方程式が、随伴軌道と運動量写像を用いてLie-Poisson形式に書き換えられることを示し、それらの背後にある幾何的構造と保存則（例：ケルビンの循環定理）を明らかにする。

ABSTRACT

We consider Lagrangians in Hamilton's principle defined on the tangent space $TG$ of a Lie group $G$. Invariance of such a Lagrangian under the action of $G$ leads to the symmetry-reduced Euler-Lagrange equations called the Euler-Poincaré equations. In this case, the invariant Lagrangian is defined on the Lie algebra of the group and its Euler-Poincaré equations are defined on the dual Lie algebra, where dual is defined by the operation of taking variational derivative. On the Hamiltonian side, the Euler-Poincaré equations are Lie-Poisson and they possess accompanying momentum maps, which encode both their conservation laws and the geometry of their solution space. The standard Euler-Poincaré examples are treated, including particle dynamics, the rigid body, the heavy top and geodesic motion on Lie groups. Additional topics deal with Fermat's principle, the $\mathbb{R}^3$ Poisson bracket, polarized optical traveling waves, deformable bodies (Riemann ellipsoids) and shallow water waves, including the integrable shallow water wave systems associated with geodesic motion on the diffeomorphisms. The lectures end with the semidirect-product Euler-Poincaré reduction theorem for ideal fluid dynamics. This theorem introduces the Euler--Poincaré variational principle for incompressible and compressible motions of ideal fluids, with applications to geophysical fluids. It also leads to their Lie-Poisson Hamiltonian formulation.

研究の動機と目的

• 対称性の簡約に基づく幾何力学に根ざした枠組みを用いて、特に流体および運動論的理論を統一的に記述すること。
• リー群の対称性によって簡約されたハミルトニアンの原理が、Euler-Poincaré方程式およびLie-Poisson括弧をどのように導くかを示すこと。
• 流体力学における主要な方程式（例：Euler方程式、Vlasov方程式、圧縮性流体方程式）がLie-Poisson形式に書き換えられることを示すこと。
• 運動量写像と随伴軌道が、ケルビンの循環定理などの保存則をどのように記述するかを明確にすること。
• 過度な数学的形式主義を避けながら、大学院生が高度な幾何力学を理解できるように、解説的で教育的な枠組みを提供すること。

提案手法

• リー群上のハミルトニアンの原理のEuler-Poincaré簡約を用いて、対称性を簡約した運動方程式を導出する。
• 超正則なラグランジアンをリー代数上で定義し、Legendre変換を適用して、Lie-Poisson括弧を持つハミルトニアン系に変換する。
• 随伴作用とダイヤモンド演算子を用いて、運動量写像と双対ペアリングの観点から力学を表現する。
• 位相空間における標準的ポアソン括弧とその随伴作用を用いて、Vlasov方程式をLie-Poisson方程式として導出する。
• 制約（例：非圧縮性のためのD=1）を課し、圧力をラグランジュ乗数として導入することで、理想流体に対するLie-Poisson枠組みを適用する。
• 随伴軌道の幾何的構造を用いて、ピークオンやデュフェオンといった解を、高次元における特異的運動量フィラメントとして解釈する。

実験結果

リサーチクエスチョン

• RQ1 Vlasov方程式は、随伴軌道と運動量写像を用いてLie-Poisson方程式として定式化可能か？
• RQ2 Euler-Poincaré簡約定理は、流体および運動論的系に対してどのようにLie-Poisson構造を生成するか？
• RQ3 運動量写像と随伴軌道の文脈において、ケルビンの循環定理の幾何的意味は何か？
• RQ4 特異的解（例：ピークオン、デュフェオン）は、EPDiff方程式においてどのように運動量フィラメントとして出現するか？
• RQ5 ダイヤモンド演算子は、圧縮性流体力学のハミルトニアン形式において果たす役割は何か？

主な発見

• Vlasov方程式は、$\dot{f} + \text{ad}^{*}_{h}f = 0$ の形にLie-Poisson形式で書くことができる。ここで$h$は1粒子ハミルトニアンである。
• デュフェオンのための運動量写像$\mathbf{J}_{\text{Sing}}$は、$\mathbb{R}^n$ 内の特異的運動量フィラメントを記述し、ピークオンを高次元に一般化する。
• 理想非圧縮性流体のLie-Poisson括弧は、圧縮性流体ラグランジアンにおける制約$D=1$に由来し、圧力はラグランジュ乗数として導入される。
• リー代数が双対空間上で随伴作用する様子は、リー微分によって実現され、ダイヤモンド演算子は双対ペアリングから導出される。
• $n$次元におけるEPDiff方程式は、部分多様体上に運動量が集中する特異的解（デュフェオン）を許容し、微分同相群上での測地線としての進化を示す。
• Euler-Poincaré枠組みにより、ケルビン＝ノエターの循環定理が保存則と結びつくことの帰結として得られる。