[论文解读] Exponential stability of the linearized viscous Saint-Venant equations using a quadratic Lyapunov function

Amaury Hayat, Nathan Lichtlé|arXiv (Cornell University)|Mar 6, 2026

Stability and Controllability of Differential Equations被引用 0

一句话总结

这篇论文通过在物理坐标下构造一个对角二次李雅普诺夫函数并确定小粘度边界条件来确保线性化粘性 Saint-Venant 系统在稳态附近的指数稳定性，且以 L2 范数为度量。

ABSTRACT

In this work, we investigate the exponential stability of the viscous Saint-Venant equations by adding to the standard hyperbolic Saint-Venant equations a viscosity term coming from the higher order approximation of the Saint-Venant equations from Navier-Stokes equations. The inclusion of viscosity transforms these equations into more complex second-order partial differential equations, accurately modeling the behavior of real-world fluids that inherently possess viscosity. We construct an explicit quadratic Lyapunov function and demonstrate that it must be diagonal in physical coordinates, revealing that certain quadratic Lyapunov functions effective in non-viscous cases become inadequate when viscosity is introduced. We find explicit sufficient conditions on the parameters of the boundary conditions such that for small viscosities a quadratic Lyapunov function exists. This result ensures the exponential stability of the linearized system around the steady-state solutions in the $L^2$ norm.

研究动机与目标

• 推动源自 Navier–Stokes 方程的粘性 Saint-Venant 模型稳定性的研究。
• 围绕稳态对粘性 Saint-Venant 系统进行线性化并给出稳定性条件。
• 构造一个显式的二次李雅普诺夫函数并分析其在粘性下的适用性。
• 建立在边界条件基础上的明确充分条件，确保在 L2 范数下的指数稳定性。

提出的方法

• 用粘性项 μ 和修改后的摩擦项 f(H,V) 来建模粘性 Saint-Venant 系统。
• 在稳态 (H*, V*) 周围进行线性化，假设亚临界流动。
• 提出一个二次李雅普诺夫函数 W(y)=∫_0^L y^T Q(x) y dx，其中 Q 为对角矩阵且选取使 QB 对称。
• 推导在小 μ 条件下李雅普诺夫导数为负定的条件。
• 利用 Sylvester 判据和边界项分析得到 μ 相关的稳定界。
• 证明在给定边界系数下，当粘度 μ 充分小时，扰动在 L2 范数下指数衰减。

实验结果

研究问题

• RQ1 一个二次李雅普诺夫函数能否保证围绕稳态的线性化粘性 Saint-Venant 系统的指数稳定性？
• RQ2 在小粘度下，线性化系统需要哪些边界条件约束以确保指数稳定性？
• RQ3 在粘性条件下，李雅普诺夫函数是否需要在物理坐标下为对角形式，这对先前无粘结果有何影响？
• RQ4 粘性和稳态属性如何影响李雅普诺夫导数的符号和正定性？
• RQ5 哪些参数范围（边界系数）能在 L2 下保证指数稳定性？

主要发现

• 粘性系统的二次李雅普诺夫函数必须在物理坐标下对角化。
• 存在明确的边界条件范围在小 μ 时保证指数稳定性；论文给出边界条件，比如 b0 在 (b0^- , b0^+) 范围内，b1 位于某个负区间之外，c1 在 (c1^- , c1^+) 范围内。
• 李雅普诺夫函数等价于 L2 范数，确保在 L2 下的稳定性并给出显式的衰减率 γ。
• 在提出的条件和小 μ 下，李雅普诺夫函数的导数为负定，导致指数衰减。
• 当 μ->0 时，结果与先前的粘性/无粘分析的稳定性行为一致，但某些无粘李雅普诺夫函数因需要对角化而无法推广到粘性情况。