[论文解读] 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 $ 减少。
• 通过变换后的卡西米尔函数 $ \psi(H, C) $ 进行李雅普诺夫型分析，其中正偏导数 $ \partial \psi / \partial C > 0 $，以评估稳定性。
• 应用推论 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 $ 线性相关。
• 对于满足 $ \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 $ 时，李雅普诺夫函数 $ L_3 $ 在平衡点 $ x_e = (M_0,0,0) $ 处的黑塞矩阵正定，确认了渐近稳定性。