Equivalence of Finite- and Fixed-time Stability to Asymptotic Stability

这是一份关于论文《有限时间与固定时间稳定性与渐近稳定性的等价性》（Equivalence of Finite- and Fixed-time Stability to Asymptotic Stability）的详细技术总结。

1. 研究背景与问题 (Problem)

在控制理论和优化领域，渐近稳定性（AS）、指数稳定性（ES）、有限时间稳定性（FTS）和固定时间稳定性（FxTS）是衡量系统收敛速度的核心概念。

• 现状：虽然已有研究表明更快的收敛率（如 FTS 和 FxTS）能提供更好的鲁棒性，且针对特定系统（如梯度流）已存在将 AS 转化为 FTS/FxTS 的等价性结果，但这些结果通常依赖于光滑的 Lyapunov 函数或局限于特定的系统类（如梯度系统）。
• 核心问题：
  1. 能否在不假设存在可微、正定 Lyapunov 函数的情况下，建立 FTS 和 FxTS 的判据？
  2. 对于一般的非线性动力系统，渐近稳定性（AS）是否可以通过某种变换（如缩放或归一化）等价地转化为固定时间稳定性（FxTS）？即，所有收敛速率是否在某种几何变换下是相互关联的？

2. 方法论 (Methodology)

本文采用非光滑分析（Non-smooth Analysis）结合LaSalle 不变性原理的变体来构建理论框架。

• 非光滑 Lyapunov 分析：
  • 利用 Filippov 解和广义 Lie 导数（$\tilde{L}_f V$），处理不可微的 Lyapunov 类函数。
  • 引入了一阶和二阶非光滑 Lyapunov 结果，放松了对 Lyapunov 函数必须可微的要求。
• 不变性原理扩展：
  • 基于 LaSalle 不变性原理，证明了在满足特定导数条件下，系统轨迹会收敛到最大不变集。
  • 提出了一种新的条件，通过引入单调递增标量函数 $\phi(V)$ 来控制收敛速率，从而推导有限时间和固定时间收敛的充分条件。
• 系统动力学变换：
  • 提出通过**归一化（Normalization）或缩放（Scaling）**原系统的动力学方程 $f(x)$，构造新的动力学系统。
  • 具体形式为：$\dot{x} = \left(\frac{1}{\|f(x)\|^p} + \frac{1}{\|f(x)\|^q}\right)f(x)$，其中 $0 < p < 1$ 且 $q < 0$（或针对梯度场的分段形式）。

3. 主要贡献 (Key Contributions)

1. 新的非光滑收敛判据：

   • 提出了基于全局渐近稳定（GAS）假设的一阶和二阶非光滑 Lyapunov 类定理（Theorem 2 和 Theorem 3）。
   • 这些定理不需要 Lyapunov 函数是正定的，也不需要它是可微的，仅需满足特定的导数不等式条件（涉及 $\tilde{L}_f V$ 和 $\tilde{L}_f(\tilde{L}_f V)$）。
   • 证明了在满足特定积分条件 $\int \frac{dV}{\phi(V)} < \infty$ 时，系统可实现有限时间或固定时间收敛。

2. 稳定性概念的等价性证明：

   • 核心结论：证明了如果一个动力系统的平衡点是全局渐近稳定（GAS）的，那么通过适当的归一化缩放，可以构造一个新的系统，使其平衡点变为固定时间稳定（FxTS）。
   • 这建立了 AS、ES、FTS 和 FxTS 之间的等价关系，表明它们本质上是同一收敛行为在不同时间尺度变换下的表现。

3. 针对梯度场的具体构造：

   • 针对梯度场系统（$\dot{x} = -\nabla V$），设计了一种分段连续的动力学方程（Theorem 5），在无需全局正定 Hessian 矩阵的强假设下（仅需半正定及特定正交条件），证明了固定时间稳定性。

4. 主要结果 (Key Results)

• Theorem 2 (FTS/FxTS 的不变性判据)：

  • 若存在局部 Lipschitz 连续函数 $V$，其子水平集紧致，且满足 $\max \tilde{L}_f V(x) \leq -\phi(V(x))$，则系统轨迹在有限时间内收敛到最大不变集。
  • 若 $\int_0^{V_0} \frac{dV}{\phi(V)}$ 对所有 $V_0$ 有界，则收敛时间为固定时间（FxTS）。
  • 该结果推广了现有的 Lyapunov 定理，允许使用非光滑函数。

• Theorem 4 (一般系统的 FxTS 构造)：

  • 假设原系统 $\dot{x}=f(x)$ 的平衡点是 GAS，且 $f$ 满足特定的矩阵 $H(x)$ 条件（正定或半正定且满足零空间正交性）。
  • 构造归一化系统 $\dot{x} = (\|f(x)\|^{-p} + \|f(x)\|^{-q})f(x)$。
  • 结果：新系统的原点不仅是 GAS，而且是**固定时间稳定（FxTS）**的。

• Theorem 5 (梯度场的 FxTS 构造)：

  • 对于梯度系统，构造了分段连续的动力学方程。
  • 结果：证明了在较弱的矩阵条件（$H(x)$ 半正定）下，该分段系统也是固定时间稳定的。

5. 意义与影响 (Significance)

• 理论突破：打破了传统 Lyapunov 分析中必须依赖“可微且正定”函数的限制，利用不变性原理将稳定性分析推广到更广泛的非光滑和一般非线性系统。
• 统一视角：强有力地支持了“所有收敛速率通过适当的变换是相互关联”的假设。它表明，只要系统具有渐近稳定性，就可以通过动力学缩放“加速”为固定时间稳定性。
• 应用潜力：
  • 控制设计：为设计具有快速收敛和强鲁棒性的控制器提供了通用方法，无需重新设计复杂的 Lyapunov 函数。
  • 优化算法：为加速神经网络训练和非光滑优化算法提供了理论依据，表明可以通过修改梯度流的动力学形式来加速收敛。
  • 避免颤振：与传统的滑模控制（Sliding Mode Control）相比，本文提出的连续动力学方法避免了不连续带来的颤振（Chattering）问题。

总结：本文通过引入非光滑分析和不变性原理，成功证明了渐近稳定性与固定时间稳定性在一般非线性系统中的等价性，并提供了一种通用的系统变换方法，将渐近稳定系统转化为固定时间稳定系统，为快速收敛控制与优化算法的设计奠定了坚实的理论基础。