[論文レビュー] Rank change in Poisson dynamical systems

Vivek Narayanan, P. Morrison|arXiv (Cornell University)|Feb 28, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 31被引用数 7

ひとこと要約

本稿は、ハミルトニアン系の対称性生成子と、ポアソン構造のランクが偶数で低下する際に出現する部分カシミール（subcasimirs）との幾何的関係を確立する。軌道空間の幾何とポテンシャルのヘッセ行列（質量行列）を分析することで、質量行列の余剰なゼロ固有ベクトルが、部分カシミールを定義するのに必要な情報を符号化していることを示し、特異なシンプレクティック葉における安定性の運動論的特徴付けを可能にする。

ABSTRACT

It is shown in this paper how a connection may be made between the symmetry generators of the Hamiltonian (or potential) invariant under a symmetry group $G$, and the subcasimirs that come about when the rank of the Poisson structure of a dynamical system drops by an even integer. This {\em kinematics-dynamics} connection is made by using the algebraic geometry of the orbit space in the vicinity of rank change, and the extra null eigenvectors of the mass matrix (Hessian with respect to symmetry generators) of the Hamiltonian (or potential). Some physical interpretations of this point of view include a control-theoretic prescription to study stability on various symplectic leaves of the Poisson structure. Methods of Invariant Theory are utilized to provide parametrization for the leaves of a Poisson dynamical system for the case where a compact Lie group acts properly on the phase space, which is assumed to be modeled by Poisson geometry.

研究の動機と目的

• ポアソン構造のランクが偶数で低下する対称的力学系において生じる部分カシミールを特徴づけること。
• 軌道空間の代数的幾何とポテンシャルのヘッセ行列（質量行列）を結びつけることで、運動論的・力学的双対性を確立すること。
• 不変理論を用いて、簡約化された次元のシンプレクティック葉における安定性を研究する制御理論的枠組みを提供すること。
• 部分カシミールが、ポアソンテンソルの明示的解析を避けて、対称性不変量を用いることで計算可能であることを示すこと。
• コンパクト性が部分カシミールの同定に本質的でないことを、コンパクトおよび非コンパクトケースの構造的類似性に基づいて示すこと。

提案手法

• ランク変化特異点近傍における軌道空間の代数的幾何を用いて、ポアソン多様体の階層的構造を分析する。
• コンパクトリー群の位相空間への適切な作用の下で、シンプレクティック葉をパrametrizeするために不変理論の手法を適用する。
• ポテンシャルのヘッセ行列（質量行列）を対称性生成子に関して分析し、部分カシミールに対応する余剰なゼロ固有ベクトルを特定する。
• カシミールはポアソンテンソルのゼロ固有ベクトルの勾配として与えられることを用い、これをランク低下葉における部分カシミールへと拡張する。
• 有限次元切断におけるポアソン括弧をモデル化するために、モーメント代数の半直積構造（例：sl(2)の双対と対称テンソル）を用いる。
• カシミールと部分カシミールが、ポアソンテンソルの直接計算を回避して、群作用の不変量のみからも導けることを示す。

実験結果

リサーチクエスチョン

• RQ1 ポアソン構造のランクが偶数で低下する対称的力学系において、部分カシミールはどのように生じるか？
• RQ2 ポテンシャルのヘッセ行列（質量行列）と特異な葉における部分カシミールとの間の幾何学的・代数的関係は何か？
• RQ3 ポアソンテンソルの明示的知識がなくても、不変理論のみを用いてカシミールと部分カシミールを計算可能か？
• RQ4 対称性群のコンパクト性は、ランク退化系における部分カシミールの同定にどの程度影響を及えるか？
• RQ5 G不変ポテンシャルの質量行列は、次元が低いシンプレクティック葉における安定性をどのように解析できるか？

主な発見

• 部分カシミールは、ポテンシャルのヘッセ行列（質量行列）の余剰なゼロ固有ベクトルに起因し、細い軌道近傍での部分的対称性の回復に対応する。
• ランク変化に伴う軌道空間の幾何が、部分カシミールを定義するのに必要な埋め込みデータを提供し、運動論と力学を結びつける。
• 分層的流体のモーメント切断において、$k=2$ でのカシミールは $C_6^1 = b_{11}^2 - b_{20}b_{02}$ および $C_6^2 = a_1b_{02} - a_2b_{11} + a_3b_{20}$ であり、$k=7$ では四次カシミール $C_7 = 4b_{12}^3b_{30} + \cdots - 3b_{12}^2b_{21}^2$ が得られる。
• $k=8$ での二つのカシミールは $C_8^1 = b_{04}b_{40} - 4b_{13}b_{31} + 3b_{22}^2$ および $C_8^2 = -b_{22}^3 + \cdots - b_{13}^2b_{40} + b_{04}b_{22}b_{40}$ であり、不変理論を用いて計算された。
• カシミールと部分カシミールを不変理論で計算する手法は、標準的なポアソンテンソル解析で必要な積分因子の推測を回避する。
• 結果は、コンパクト群（例：SO(3)）と非コンパクト群（例：SO(2,1)）の両方において同様に成り立つため、部分カシミールの同定にはコンパクト性が本質的でないことが示唆される。