[论文解读] Exponential stability of general 1-D quasilinear systems with source terms for the $C^1$ norm under boundary conditions

Amaury Hayat|arXiv (Cornell University)|Jan 8, 2018

Stability and Controllability of Differential Equations被引用 9

一句话总结

该论文通过引入一类新型的李雅普诺夫函数——基本 $C^1$ 李雅普诺夫函数，建立了在边界条件下一般一维拟线性双曲系统（含源项）在 $C^1$ 范数下的指数稳定性。作者证明了指数稳定性成立当且仅当满足两个条件：系统结构的内在内部条件与边界控制条件，且结果可推广至 $C^p$ 范数（$p \geq 1$）。该框架能够实现对非均匀稳态的稳定化，对流体动力学和种群模型等物理系统具有重要意义。

ABSTRACT

We address the question of the exponential stability for the $C^{1}$ norm of general 1-D quasilinear systems with source terms under boundary conditions. To reach this aim, we introduce the notion of basic $C^{1}$ Lyapunov functions, a generic kind of exponentially decreasing function whose existence ensures the exponential stability of the system for the $C^{1}$ norm. We show that the existence of a basic $C^{1}$ Lyapunov function is subject to two conditions: an interior condition, intrinsic to the system, and a condition on the boundary controls. We give explicit sufficient interior and boundary conditions such that the system is exponentially stable for the $C^{1}$ norm and we show that the interior condition is also necessary to the existence of a basic $C^{1}$ Lyapunov function. Finally, we show that the results conducted in this article are also true under the same conditions for the exponential stability in the $C^{p}$ norm, for any $p\geq1$.

研究动机与目标

• 解决一维拟线性双曲系统（含源项）在 $C^1$ 范数下缺乏稳定性结果的问题，特别是当稳态非均匀时。
• 开发一种鲁棒的基于李雅普诺夫的框架，能够处理非均匀稳态及在物理模型中不可忽略的源项。
• 识别在 $C^1$ 范数下实现指数稳定性的必要与充分条件，明确区分系统内在属性与边界控制要求。
• 将稳定性结果从 $C^1$ 扩展至所有 $p \geq 1$ 的 $C^p$ 范数，确保其在非线性偏微分方程中的更广泛应用。

提出的方法

• 引入基本 $C^1$ 李雅普诺夫函数的概念——特定的、指数衰减的函数，可保证 $C^1$ 范数下的指数稳定性。
• 推导此类李雅普诺夫函数存在的充分条件，由两部分组成：系统双曲结构与源项的内部条件，以及边界控制条件。
• 利用非线性变换 $\mathbf{u} = N(x)(\mathbf{Y} - \mathbf{Y}^*)$ 将问题转化为围绕非均匀稳态 $\mathbf{Y}^*$ 的扰动问题，从而在 $C^1$ 框架下进行分析。
• 应用能量型估计与涉及 $f_i(x)$ 及指数权重 $e^{-2\mu s_i x}$ 的加权范数，以控制时间与空间导数。
• 通过渐近展开与关于 $m$ 的一致有界性分析边界项，确保在扰动下仍保持稳定性。
• 通过将系统提升至高阶导数并构造扩展状态向量 $\mathbf{y} = (\mathbf{u}, \partial_t\mathbf{u}, \dots, \partial_t^{q-1}\mathbf{u})$ 的李雅普诺夫函数，将方法推广至 $C^p$ 范数。

实验结果

研究问题

• RQ1 在边界条件下，一般一维拟线性双曲系统（含源项）在 $C^1$ 范数下在何种条件下实现指数稳定性？
• RQ2 系统存在基本 $C^1$ 李雅普诺夫函数的必要与充分结构特性为何？
• RQ3 边界控制如何影响此类系统的指数稳定性，其形式应为何种？
• RQ4 $C^1$ 稳定性结果能否推广至所有 $p \geq 1$ 的更高阶 $C^p$ 范数？
• RQ5 在一般情况下，内部条件是否为基本 $C^1$ 李雅普诺夫函数存在的必要条件？

主要发现

• 当且仅当系统结构的内部条件与边界控制条件同时满足时，$C^1$ 范数下的指数稳定性得以保证。
• 内部条件对于基本 $C^1$ 李雅普诺夫函数的存在性而言，既是必要也是充分条件，从而对稳定性给出了精确刻画。
• 边界控制条件确保边界处的能量耗散足够强，可抵消内部动力学与源项的影响。
• 结果可推广至所有 $p \geq 1$ 的 $C^p$ 范数，相同的结构与边界条件可保证高阶导数的指数衰减。
• 形如 $V = \sum_{k=0}^q V_{k+1}$ 的李雅普诺夫函数，其中 $V_{k+1} = \left| \sqrt{f_i}(\partial_t^k \mathbf{u})_i \right|_0$，可确保 $C^q$ 范数下的指数衰减。
• 证明中建立了与 $m$ 无关的一致有界性，确保在非线性区域中具有鲁棒性与有效性。