[论文解读] Linearization and exponential stability

Hans Zwart|arXiv (Cornell University)|Apr 14, 2014

Control and Stability of Dynamical Systems参考文献 1被引用 4

一句话总结

本文建立了非线性无限维系统线性化指数稳定性的充分条件，证明了当非线性项在平衡点处的 Fréchet 导数为零，且线性部分满足某些算子条件时，原系统的局部指数稳定性成立——强调了 Gateaux 可微性不足，通过一个具有有限逃逸时间的反例加以说明。

ABSTRACT

We give sufficient conditions such that the exponential stability of the linearization of a non-linear system implies that the non-linear system is (locally) exponentially stable. One of these conditions is that the non-linear system is Fréchet differential at the equilibrium, if it is only Gateaux differentiable, then we show by means of an example that the result does not hold.

研究动机与目标

• 确定非线性无限维系统线性化指数稳定性蕴含原系统局部指数稳定性的充分条件。
• 阐明在希尔伯特空间中非线性系统稳定性分析里 Fréchet 与 Gateaux 可微性的角色差异。
• 通过反例表明，仅具备 Gateaux 可微性不足以保证稳定性，即使线性化是指数稳定的。
• 提出一种基于有界、自伴、可逆算子的 Lyapunov 证明框架，以建立局部指数稳定性。

提出的方法

• 使用 Lyapunov 函数 $ V(x) = \langle x, P_2 x \rangle $，其中 $ P_2 = 2P + \frac{1}{\omega}Q $，$ P $ 由生成算子 $ A $ 的指数稳定半群导出。
• 施加涉及自伴、有界可逆算子 $ Q $ 的条件 (2)，确保 $ \langle x, QAx \rangle + \langle Ax, Qx \rangle \leq \omega \|x\|^2 $。
• 应用 Lyapunov 导数，证明 $ \dot{V}(x) \leq -\|x\|^2 + 2\|P_2\|\|x\|\|f(x)\| $，利用 $ f $ 在 0 处 Fréchet 导数为零的性质。
• 通过利用 $ P_2 $ 的范数等价性，证明当 $ V(x) \leq \delta $ 时 $ \dot{V}(x) \leq -\frac{1}{2M_1}V(x) $，从而建立局部指数稳定性。
• 在 $ \ell^2(\mathbb{N}) $ 中构造一个反例，其中 $ f(x)_n = 3\sqrt[n]{|x_n|}x_n $，表明 Gateaux 可微性不足以保证稳定性。
• 证明对于接近零的初始状态，系统存在有限逃逸时间且不稳定，尽管线性化是指数稳定的。

实验结果

研究问题

• RQ1 在何种条件下，非线性无限维系统的线性化指数稳定性可推出原系统的局部指数稳定性？
• RQ2 当线性化是指数稳定时，非线性项的 Gateaux 可微性是否足以保证稳定性？
• RQ3 当仅满足 Gateaux 可微性时，即使线性化是指数稳定的，非线性系统在平衡点处是否仍可能不稳定？
• RQ4 Fréchet 导数条件在希尔伯特空间中通过 Lyapunov 方法确保稳定性的角色是什么？
• RQ5 如何利用有界、自伴、可逆算子构造 Lyapunov 函数，以证明局部指数稳定性？

主要发现

• 若非线性项在原点处的 Fréchet 导数为零，且条件 (2) 成立，则线性化指数稳定性可推出非线性系统的局部指数稳定性。
• 反例表明，仅具备 Gateaux 可微性且导数为零是不够的；系统可能不稳定，即使线性化是指数稳定的。
• 该反例系统在接近零的初始条件下具有有限逃逸时间，表明其存在强不稳定现象，尽管线性化是稳定的。
• 非线性项 $ f(x)_n = 3\sqrt[n]{|x_n|}x_n $ 是局部 Lipschitz 的，但在零点处不可 Fréchet 可微。
• 原点不稳定，因为对任意 $ \delta > 0 $，总存在一个初始状态满足 $ \|x(0)\| < \delta $，但由于单个模态的不稳定性而发散。
• 该系统右端项仅在修改后才具有全局 Lipschitz 连续性，但原始例子并非全局 Lipschitz，导致有限逃逸时间。