Lyapunov methods for input-to-state stability of time-varying evolution equations

基本信息

• 论文ID: 2510.14057
• 标题: Lyapunov methods for input-to-state stability of time-varying evolution equations
• 作者: Rahma Heni, Andrii Mironchenko, Fabian Wirth, Hanen Damak, Mohamed Ali Hammami
• 分类: math.OC (Optimization and Control)
• 发表时间: 2025年10月15日 (arXiv预印本)
• 论文链接: https://arxiv.org/abs/2510.14057

摘要

本文证明了时变无穷维抽象空间系统的（局部）输入状态稳定性（(L)ISS）和积分输入状态稳定性（iISS）可以通过相应Lyapunov函数的存在性来保证。特别地，讨论了Hilbert空间中具有有界输入算子的线性时变控制系统的输入状态稳定性。针对某类时变半线性演化方程，提出了非强制性LISS/iISS Lyapunov函数的构造方法。通过两个例子验证了所得结果的有效性。

研究背景与动机

研究问题

本文主要解决时变无穷维系统的输入状态稳定性分析问题，特别是：

1. 如何通过Lyapunov函数方法刻画时变无穷维系统的ISS和iISS性质
2. 如何构造非强制性的Lyapunov函数来分析具有无界算子的时变系统
3. 如何将经典的ISS理论从时不变系统扩展到时变情形

重要性分析

1. 理论意义：ISS理论是鲁棒非线性控制的核心概念之一，对于分析系统对外部干扰的鲁棒性具有重要意义
2. 实际应用：许多实际系统（如偏微分方程描述的分布参数系统）本质上是时变的，需要相应的理论支撑
3. 技术挑战：时变系统的分析比时不变系统复杂得多，特别是当系统算子无界时

现有方法局限性

1. 时变系统理论不足：相比于时不变无穷维系统的ISS理论，时变情形的研究相对较少
2. 无界算子处理困难：对于具有无界算子A(t)的时变系统，几乎没有相关的ISS和iISS结果
3. Lyapunov函数构造复杂：时变系统中ISS Lyapunov函数的构造比时不变情形更加困难

核心贡献

1. 建立了时变无穷维系统ISS/iISS的Lyapunov刻画：证明了相应Lyapunov函数的存在性等价于系统的ISS/iISS性质
2. 提出了非强制性Lyapunov函数的构造方法：针对具有无界算子的线性时变系统，给出了显式的非强制性ISS Lyapunov函数构造
3. 扩展了半线性系统的分析框架：为时变半线性演化方程建立了LISS/iISS Lyapunov函数的构造方法
4. 完善了时变系统的适定性理论：给出了时变半线性演化方程适定性的充分条件
5. 提供了具体应用实例：通过Kuramoto-Sivashinsky方程和热方程验证了理论结果的有效性

方法详解

任务定义

研究抽象控制系统 Σ = (X, U, φ) 的稳定性，其中：

• X：状态空间（赋范线性空间）
• U：输入值集合
• φ：转移映射

具体考虑时变半线性演化方程：

ẋ(t) = A(t)x(t) + Ψ(t, x(t), u(t)), t ≥ t₀ ≥ 0
x(t₀) = x₀

核心理论框架

1. ISS/iISS定义

输入状态稳定性（ISS）：存在β ∈ KL, γ ∈ K，使得

‖φ(t, t₀, x₀, u)‖ₓ ≤ β(‖x₀‖ₓ, t - t₀) + γ(‖u‖ᵤ)

积分输入状态稳定性（iISS）：存在α ∈ K∞, μ ∈ K, β ∈ KL，使得

‖φ(t, t₀, x₀, u)‖ₓ ≤ β(‖x₀‖ₓ, t - t₀) + α(∫ᵗₜ₀ μ(‖u(s)‖ᵤ)ds)

2. Lyapunov函数定义

非强制性ISS Lyapunov函数：连续函数V : ℝ₊ × D → ℝ₊满足：

• V(t, 0) = 0
• 0 < V(t, x) ≤ α₂(‖x‖ₓ), ∀x ∈ D{0}
• ‖x‖ₓ ≥ κ(‖u‖ᵤ) ⟹ V̇ᵤ(t, x) ≤ -μ(V(t, x))

其中Lie导数定义为：

V̇ᵤ(t, x) := lim sup[h→0⁺] (1/h)[V(t+h, φ(t+h, t, x, u)) - V(t, x)]

技术创新点

1. 演化族的稳定性刻画

建立了演化族{W(t, s)}的一致指数稳定性与系统ISS性质的等价关系：

定理4.5：对于线性系统ẋ = A(t)x + B(t)u，以下条件等价：

• 系统ISS
• 系统0-UGAS
• 系统iISS
• 演化族一致渐近稳定
• 演化族一致指数稳定

2. 非强制性Lyapunov函数构造

对于一致指数稳定的演化族，构造了显式的非强制性ISS Lyapunov函数：

V(t, x) = ∫^∞ₜ ‖W(τ, t)x‖²ₓ dτ

并证明其满足耗散不等式：

V̇ᵤ(t, x) ≤ -‖x‖²ₓ + (ηk²)/(2w)‖x‖²ₓ + (k²)/(2ηw)‖B‖²∞‖u(t)‖²ᵤ

3. 半线性系统的处理

通过局部线性有界性假设(H2)和双线性增长假设(H3)，将线性系统的结果扩展到半线性情形。

实验设置

应用实例

1. Kuramoto-Sivashinsky方程

考虑受控时变KS方程：

∂x/∂t = -∂⁴x/∂z⁴ - ϱ∂²x/∂z² - μ(t)x + (x|sin(t)|)/(1 + e^(-zt)x²)u

在齐次Dirichlet边界条件下。

2. 受控热方程

考虑系统：

∂x/∂t = ν∂²x/∂z² + R(t)x + ωsin(z)x + u

其中R(t)是有界线性算子族。

分析方法

1. 算子理论分析：利用算子半群理论分析系统适定性
2. Lyapunov函数构造：基于理论结果构造具体的Lyapunov函数
3. 稳定性验证：通过计算Lie导数验证稳定性条件

实验结果

主要结果

1. KS方程的iISS性

命题6.1：当ϱ < 4π²时，KS方程(43)-(44)是iISS的。

证明通过构造Lyapunov函数：

V(t, x) = ln(1 + Z(t, x))
Z(t, x) = (1 + e^(-t))∫₀¹ x²(z)dz

2. 热方程的ISS性

对于受控热方程，当满足条件：

r + ω < νπ²/ℓ²

时，系统是ISS的，其中r = supt≥0 ‖R(t)‖。

理论验证

两个例子都验证了：

1. 理论构造的Lyapunov函数确实满足相应的耗散不等式
2. 稳定性条件与物理参数的关系符合直觉
3. 方法对不同类型的偏微分方程都适用

相关工作

ISS理论发展

1. 经典ISS理论：Sontag在1980年代末提出ISS概念，后续发展了完整的理论体系
2. 无穷维扩展：近年来ISS理论被扩展到无穷维系统，主要针对时不变情形
3. 时变系统：时变无穷维系统的ISS理论相对较少，本文填补了这一空白

Lyapunov方法

1. 强制性函数：传统方法主要考虑强制性Lyapunov函数
2. 非强制性函数：近年来发展了非强制性Lyapunov函数理论，更适用于无穷维系统
3. 构造方法：本文提供了系统性的构造方法，特别是针对时变情形

结论与讨论

主要结论

1. 理论完善：建立了时变无穷维系统ISS/iISS的完整Lyapunov刻画
2. 方法创新：提出了非强制性Lyapunov函数的系统构造方法
3. 应用验证：通过具体的PDE例子验证了理论的实用性

局限性

1. 假设条件：对非线性项的假设条件较强（局部Lipschitz连续性等）
2. 构造复杂性：某些情况下Lyapunov函数的构造仍然较为复杂
3. 计算复杂度：实际应用中验证稳定性条件可能涉及复杂计算

未来方向

1. 边界扰动：扩展到具有边界扰动的时变非线性抛物PDE的ISS和iISS分析
2. 网络系统：将结果应用到时变无穷维网络系统
3. 随机系统：考虑随机时变无穷维系统的ISS理论

深度评价

优点

1. 理论贡献显著：首次系统地建立了时变无穷维系统的ISS Lyapunov理论
2. 方法创新性强：非强制性Lyapunov函数的构造方法具有重要理论价值
3. 数学严谨性高：证明过程严格，理论结果完整
4. 实用价值明确：通过PDE例子展示了方法的实际应用价值

不足

1. 应用范围受限：对系统类别的假设条件较为严格
2. 计算复杂性：某些理论结果在实际应用中的计算复杂度较高
3. 数值验证不足：缺乏大规模数值实验验证

影响力

1. 学术价值：为时变无穷维系统稳定性分析提供了重要理论工具
2. 应用前景：在分布参数系统控制领域具有重要应用潜力
3. 理论推进：推动了ISS理论向更一般系统类别的扩展

适用场景

1. 分布参数系统：适用于由时变PDE描述的控制系统
2. 鲁棒控制设计：为时变系统的鲁棒控制器设计提供理论基础
3. 稳定性分析：为复杂时变系统的稳定性分析提供系统方法

参考文献

论文引用了50篇重要参考文献，涵盖了ISS理论、演化方程、算子半群理论等相关领域的经典和最新研究成果，体现了作者对相关领域的深入了解和全面把握。