[論文レビュー] Asymptotic Stability of Dissipated Hamilton-Poisson Systems

Petre Birtea, Dan Comănescu|arXiv (Cornell University)|Jul 21, 2011

Geometric Analysis and Curvature Flows参考文献 15被引用数 5

ひとこと要約

本稿では、ハミルトニアンを保存するが、ポアソン構造を保存しないテンソリアル形の散逸を導入することにより、散逸的ハミルトニアン＝ポアソン系の漸近的安定性を研究する。元の系の安定な平衡点が、この散逸のもとで漸近的に安定化することを、カシミール関数とリャプノフ型解析を用いて証明し、剛体力学の例において平衡点への明示的収束を示している。

ABSTRACT

We will further develop the study of the dissipation for a Hamilton-Poisson system introduced in \cite{2}. We will give a tensorial form of this dissipation and show that it preserves the Hamiltonian function but not the Poisson geometry of the initial Hamilton-Poisson system. We will give precise results about asymptotic stabilizability of the stable equilibria of the initial Hamilton-Poisson system.

研究の動機と目的

• ハミルトニアン関数を保存するハミルトニアン＝ポアソン系における散逸のテンソリアル定式化を構築すること。
• この散逸がポアソン幾何学および平衡点の安定性特性に与える影響を分析すること。
• 元の系の安定な平衡点が散逸のもとで漸近的に安定化するための十分条件を確立すること。
• 特に主軸に沿った平衡点を対象として、剛体力学に結果を適用すること。
• エネルギー保存則とカシミール関数の減衰を活用することで、先行する安定性結果を一般化・改善すること。

提案手法

• 散逸行列 $ G = \nabla H \otimes \nabla H - \|\nabla H\|^2 \mathbb{I} $ を導入し、$ G\nabla H = 0 $ かつ $ \nabla C \cdot G\nabla C \leq 0 $ を満たすようにする。
• 散逸系を $ \dot{x} = \Pi \nabla H + G \nabla C $ と定義し、ハミルトニアン $ H $ を保存するが、カシミール関数 $ C $ を減少させるようにする。
• 正の偏導関数 $ \partial \psi / \partial C > 0 $ を持つ変換カシミール関数 $ \psi(H, C) $ を用いたリャプノフ型解析により安定性を評価する。
• コロナリー3.5および3.7を適用し、リャプノフ型関数のヘッシアンが平衡点で正定値である場合に漸近的安定性を確立する。
• $ C_1 = C_0 + (C_0 - M_0^2/2)^2 $ および $ C_3 = (C_0 - M_0^2/2)^2 - C_0/I_1 $ のような修正カシミール関数を構築し、異なる平衡点領域における安定性解析を行う。
• 特定の慣性モーメント $ I_1=4, I_2=1.5, I_3=1 $ および初期条件 $ (-0.1, 0.2, 0.175) $ を用いた剛体回転のシミュレーションにより安定性を検証する。

実験結果

リサーチクエスチョン

• RQ1 ハミルトニアンを保存しながらポアソン構造を変更するテンソリアル形の散逸をどのように構築できるか？
• RQ2 ハミルトニアン＝ポアソン系の平衡点の漸近的安定性を保証する条件は何か？
• RQ3 元の系では安定だが漸近的安定でない平衡点が、この散逸によって安定化可能か？
• RQ4 修正カシミール関数は、散逸系の安定性解析にどのように影響を与えるか？
• RQ5 特に主軸に沿った平衡点付近において、この散逸下での解の長期的挙動はいかなるものか？

主な発見

• 散逸行列 $ G $ により $ G\nabla H = 0 $ が保証されるため、摂動系の解に沿ってハミルトニアン $ H $ は保存される。
• カシミール関数 $ C $ は軌道に沿って減少し、$ \frac{d}{dt}C = \nabla C \cdot G\nabla C \leq 0 $ を満たす。等号は $ \nabla H $ と $ \nabla C $ が一次従属である場合にのみ成立する。
• 平衡点 $ x_e $ において $ \nabla C(x_e) \neq 0 $ ならば、$ x_e \in E_\xi $ となることは、$ \nabla H(x_e) $ と $ \nabla C(x_e) $ が一次従属であることに同値である。
• 散逸系の平衡点集合 $ E_\xi $ は、元の系の平衡点集合 $ E_{\xi_\Pi} $ の部分集合であるため、安定性が失われない。
• 慣性モーメント $ I_1=4, I_2=1.5, I_3=1 $ の剛体では、$ (0,0,0.175) $ の近傍から出発する解は、シミュレーションにより $ (0,0,\sqrt{2I_3H(x_0)}) $ に漸近的に収束することが示された。
• 修正カシミール $ C_3 $ を用いるとき、平衡点 $ x_e = (M_0,0,0) $ におけるリャプノフ関数 $ L_3 $ のヘッシアンは正定値であり、漸近的安定性が確認された。