[论文解读] A Differential Lyapunov Framework for Contraction Analysis

Fulvio Forni, Rodolphe Sepulchre|arXiv (Cornell University)|Aug 14, 2012

Control and Stability of Dynamical Systems参考文献 48被引用 15

一句话总结

本文通过将经典李雅普诺夫函数提升至切从丛，提出了一种微分李雅普诺夫框架用于微分收缩性分析，为状态空间赋予一个芬斯勒结构。关键贡献在于：通过芬斯勒-李雅普诺夫函数，提出一个充分的逐点条件，确保通过无穷小收缩实现增量稳定性，全局收敛性则通过沿解曲线积分推导得出。

ABSTRACT

Lyapunov's second theorem is an essential tool for stability analysis of differential equations. The paper provides an analog theorem for incremental stability analysis by lifting the Lyapunov function to the tangent bundle. The Lyapunov function endows the state-space with a Finsler structure. Incremental stability is inferred from infinitesimal contraction of the Finsler metrics through integration along solutions curves.

研究动机与目标

• 将经典李雅普诺夫稳定性理论与收缩性理论相连接，通过形式化李雅普诺夫第二定理的微分版本。
• 解决现有增量稳定性分析中的局限性，特别是误差系统构造的随意性以及全局距离定义的困难。
• 在统一的芬斯勒几何框架下，整合黎曼几何、矩阵测度以及非黎曼几何等多种收缩性分析方法。
• 将经典李雅普诺夫工具（如拉萨勒不变性原理）扩展至增量稳定性，通过所提出的微分框架实现。
• 引入并形式化系统对称性下“水平收缩”的概念，即仅需在切丛的特定子空间中实现收缩。

提出的方法

• 将经典李雅普诺夫函数从状态空间提升至切从丛，定义一个诱导流形上芬斯勒结构的芬斯勒-李雅普诺夫函数。
• 利用向量场的微分，沿解曲线定义芬斯勒-李雅普诺夫函数的时间导数，确保切空间中逐点衰减。
• 通过证明通过芬斯勒度量定义的积分距离沿解轨迹衰减，建立增量稳定性。
• 通过将衰减条件限制在切空间的子空间（水平子空间）中，引入“水平收缩”的概念，从而允许对称性不变方向不参与收缩要求。
• 将该框架应用于证明在有界性及水平子空间收缩条件下，集合 A 的渐近吸引性。
• 利用类 K 和 KL 函数刻画在渐近不变性存在条件下的衰减速率与收敛行为。

实验结果

研究问题

• RQ1 如何通过微分几何框架将李雅普诺夫第二定理推广至增量稳定性？
• RQ2 芬斯勒结构能否自然统一基于黎曼几何与矩阵测度的收缩性分析？
• RQ3 在具有对称性的系统中，水平收缩的作用是什么？如何在李雅普诺夫框架内形式化该概念？
• RQ4 如何通过切丛方法将经典李雅普诺夫工具（如拉萨勒不变性原理）适配至增量稳定性？
• RQ5 在何种条件下，水平子空间中的收缩可推出集合 A 的全局渐近吸引性？

主要发现

• 芬斯勒-李雅普诺夫函数为增量稳定性提供了充分的逐点条件，通过确保解曲线沿芬斯勒度量实现无穷小收缩。
• 解之间的全局距离通过芬斯勒度量的积分隐式构造，其沿轨迹的衰减证明了增量稳定性。
• 水平收缩允许排除对称性方向的收缩要求，使该框架适用于跟踪、观测器设计与同步问题。
• 所提出的框架可直接将拉萨勒不变性原理由经典情形推广至增量稳定性，证明在有界性与水平收缩条件下，ω-极限集包含于吸引集 A 中。
• 当水平芬斯勒-李雅普诺夫函数满足衰减条件且ω-极限集不包含平衡点时，可保证无周期轨道。
• 该框架统一了先前的方法：黎曼收缩（Lohmiller 和 Slotine）与基于矩阵测度的收缩（Russo 等）均被证明是通用芬斯勒-李雅普诺夫公式的特例。