[论文解读] Linearized stability analysis of nonlinear partial differential equations

Rasha Al Jamal, Amenda Chow+1 more|arXiv (Cornell University)|Sep 18, 2015

Stability and Controllability of Differential Equations参考文献 10被引用 7

一句话总结

本文通过证明非线性 $C_0$-半群的 Fréchet 可微性是线性化稳定性蕴含非线性稳定性的关键条件，为无限维非线性系统中的 Lyapunov 间接法建立了一个统一框架。关键贡献在于提出了 Fréchet 可微性的新充分条件，并将其应用于 Kuramoto-Sivashinsky 方程，表明当半群为 Fréchet 可微时，线性化系统的指数稳定性可推出非线性系统的局部指数稳定性。

ABSTRACT

Lyapunov's indirect method is an attractive method for analyzing stability of non-linear systems since only the stability of the corresponding linearized system needs to be determined. Unfortunately, the proof for finite-dimensional systems does not generalize to infinite-dimensions. In this paper a unified approach to Lyapunov's indirect method for infinite-dimensional system is described. It is shown how existing sufficient conditions fit this framework and a new sufficient condition is presented.

研究动机与目标

• 解决 Lyapunov 间接法从有限维到无限维系统推广不足的问题。
• 确定在无限维系统中，线性化系统稳定性反映非线性系统稳定性的必要条件。
• 为非线性无限维系统生成的 $C_0$-半群的 Fréchet 可微性建立新的充分条件。
• 展示该框架在非拟线性 PDE（如 Kuramoto-Sivashinsky 方程）中的适用性，这些方程不满足先前的假设条件。
• 阐明线性化不稳定或指数稳定性如何蕴含非线性系统相应性质的条件。

提出的方法

• 在 Banach 空间中形式化非线性时不变系统 $\dot{z}(t) = F(z(t))$ 的问题，其中 $F$ 定义在稠密集上并生成 $C_0$-半群。
• 引入非线性 $C_0$-半群 $S(t)$ 在平衡点处的 Fréchet 可微性作为 Lyapunov 间接法成立的关键要求。
• 将线性化系统定义为 $\dot{z} = (A - dJ(z_0))z$，其中 $A$ 为线性部分的生成元，$dJ(z_0)$ 为非线性算子 $J$ 的 Gâteaux 导数。
• 应用 Riesz-谱算子的谱决定增长性质，分析线性化系统的稳定性，特别是 Kuramoto-Sivashinsky 方程。
• 利用 Fréchet 导数的生成元将线性化系统与非线性动力学联系起来，确保线性化生成元与半群导数一致。
• 借助 LaSalle 不变性原理和 Lyapunov 函数验证特定情形下的稳定性，如具有周期边界条件的 Kuramoto-Sivashinsky 方程。

实验结果

研究问题

• RQ1 在何种条件下，无限维线性化系统的稳定性可推出原非线性系统的稳定性？
• RQ2 $C_0$-半群的 Fréchet 可微性在为无限维系统中的 Lyapunov 间接法提供理论依据中起到何种作用？
• RQ3 Lyapunov 间接法能否应用于非拟线性 PDE（如 Kuramoto-Sivashinsky 方程）？
• RQ4 哪些新的充分条件可确保由非线性 PDE 生成的半群的 Fréchet 可微性？
• RQ5 当半群为 Fréchet 可微时，线性化算子的谱如何决定非线性系统的稳定性？

主要发现

• 由非线性系统生成的 $C_0$-半群 $S(t)$ 的 Fréchet 可微性，是非线性系统中 Lyapunov 间接法有效的必要且充分条件。
• 对于 Kuramoto-Sivashinsky 方程，若不稳定性参数 $\nu > 1$，则所有常数平衡点均为局部指数稳定，因为线性化算子的所有特征值实部严格为负。
• 若 $\nu < 1$，线性化系统不稳定，因此非线性系统也不稳定，因为谱中包含实部为正的特征值。
• Kuramoto-Sivashinsky 方程的线性化生成元 $A - dJ(z_0)$ 是一个 Riesz-谱算子，其特征值为 $\lambda_n = n^2(1 - \nu n^2) - i n z_e$，证实了谱分析方法的有效性。
• Kuramoto-Sivashinsky 方程的 $C_0$-半群 $S(t)$ 在每个 $z_0 \in L^2(-\pi, \pi)$ 处均为 Fréchet 可微，即使非线性项不连续且系统非拟线性。
• 当线性化系统仅为渐近稳定时，Lyapunov 间接法无法判断非线性系统的稳定性或不稳定性，凸显了线性化情形中指数稳定性的必要性。