[论文解读] Energy-Preserving and Passivity-Consistent Numerical Discretization of Port-Hamiltonian Systems
本文提出了两种保持结构的数值方法——离散梯度法与分裂法，用于对端口-哈密顿系统进行离散化，同时保持离散的被动性和能量平衡。主要贡献在于构建了一个可证明稳定的离散端口-哈密顿系统，通过与被动性一致的控制实现全局渐近稳定性，数值实验验证了其相较于同阶现有积分器的优越性能。
In this paper we design discrete port-Hamiltonian systems systematically in two different ways, by applying discrete gradient methods and splitting methods respectively. The discrete port-Hamiltonian systems we get satisfy a discrete notion of passivity, which lets us, by choosing the input appropriately, make them globally asymptotically stable with respect to an equilibrium point. We test methods designed using the discrete gradient approach in numerical experiments, and the results are encouraging when compared to relevant existing integrators of identical order.
研究动机与目标
- 开发能够保持连续端口-哈密顿系统内在能量平衡与被动性特性的数值离散化格式。
- 通过离散被动性与李雅普诺夫分析，确保离散端口-哈密顿系统的全局渐近稳定性。
- 设计保持几何与互连特性的结构保持积分器，使其在数值时间积分下仍能保持原系统的结构特性。
- 通过数值实验，将所提方法与同阶现有高阶积分器进行性能比较，以验证其有效性。
提出的方法
- 离散梯度法通过构造离散哈密顿函数，并利用基于插值的积分方法，结合拉格朗日插值定义阶段值与控制输入。
- 通过使用正权重的求积规则，推导出离散能量平衡方程，确保 $ H(x_{n+1}) - H(x_n) = h \sum_{j=1}^s b_j y_j^T u_j $，从而实现离散被动性。
- 采用分裂法将系统分解为更简单的子系统，保持底层的狄拉克结构，并在互连下确保被动性。
- 证明离散系统具有径向无界的存储函数 $ H $，从而可通过李雅普诺夫函数进行稳定性分析。
- 控制输入设定为 $ u_j = -\phi(y_j) $，其中 $ \phi(0) = 0 $ 且对 $ y \neq 0 $ 满足 $ y^T \phi(y) > 0 $，以确保能量变化为负定，实现渐近稳定性。
- 理论分析证明：若所有阶段输出为零的唯一解为平凡解 $ x_n = 0 $，则原点为全局渐近稳定。
实验结果
研究问题
- RQ1离散梯度法能否系统性地应用于构建能量保持且被动性一致的离散端口-哈密顿系统？
- RQ2分裂法如何在离散时间域中保持被动性与系统结构？
- RQ3所提出的离散系统在被动控制输入设计下是否能确保全局渐近稳定性？
- RQ4在基于配置的时域积分中，离散能量平衡与被动性之间存在何种关系？
- RQ5与同阶现有高阶积分器相比，所提方法在性能上表现如何？
主要发现
- 通过离散梯度法构建的离散端口-哈密顿系统满足离散能量平衡方程 $ H(x_{n+1}) - H(x_n) = h \sum_{j=1}^s b_j y_j^T u_j $，从而确保被动性。
- 在控制输入 $ u_j = -\phi(y_j) $ 满足 $ y^T \phi(y) > 0 $（对 $ y \neq 0 $）的条件下，离散系统确保 $ \Delta H(x_n) \leq 0 $，使得 $ H $ 成为李雅普诺夫函数。
- 在假设所有阶段输出为零的唯一解为平凡解 $ x_n = 0 $ 的前提下，证明了原点的全局渐近稳定性。
- 数值实验表明，所提方法在能量保持与稳定性方面优于同阶现有积分器。
- 该方法适用于一般输入-状态-输出端口-哈密顿系统，并在互连下保持狄拉克结构。
- 附录中推导了该方法的高阶推广形式，扩展了其在高阶精度格式中的适用性。
更好的研究，从现在开始
从阅读论文到最终审阅，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。