[论文解读] Fredholm Transform and Local Rapid Stabilization for a Kuramoto-Sivashinsky Equation

Jean‐Michel Coron, Qi Lü|arXiv (Cornell University)|Jan 9, 2015

Stability and Controllability of Differential Equations参考文献 11被引用 4

一句话总结

本文提出一种基于弗雷德霍姆积分变换的反馈控制律，以实现对有界区间上库拉莫-西瓦什斯基方程的局部快速指数稳定化。通过构造合适的积分变换并结合谱分析，作者证明：只要初始数据足够小，且参数 λ 避开特定集合 N 中的临界值，解即可以任意指定的指数速率衰减至零。

ABSTRACT

This paper is devoted to the study of the local rapid exponential stabilization problem for a controlled Kuramoto-Sivashinsky equation on a bounded interval. We build a feedback control law to force the solution of the closed-loop system to decay exponentially to zero with arbitrarily prescribed decay rates, provided that the initial datum is small enough. Our approach uses a method we introduced for the rapid stabilization of a Korteweg-de Vries equation. It relies on the construction of a suitable integral transform and can be applied to many other equations.

研究动机与目标

• 解决通过边界控制实现库拉莫-西瓦什斯基方程的局部快速指数稳定化问题。
• 设计一种反馈控制律，确保解以任意快速的衰减速率趋近于零。
• 将先前用于科特韦格-德弗里斯方程的方法扩展至更复杂的库拉莫-西瓦什斯基方程。
• 确定参数 λ 的条件，以确保稳定化可行，避免破坏可控性的临界值。
• 在所提出的反馈律下，建立闭环系统的适定性与稳定性结果。

提出的方法

• 引入一个核函数 k(x,y) 满足带狄拉克函数源项的四阶偏微分方程的弗雷德霍姆积分变换。
• 利用该变换将原始非线性偏微分方程转化为具有期望稳定性质的目标系统。
• 基于该变换构造反馈控制律，其中控制输入 f(t) 通过状态的线性泛函导出。
• 应用谱分析证明：线性化系统近似可控当且仅当 λ ∉ N，其中 N 为临界值集合。
• 通过在合适函数空间 X_T 中使用不动点论证，证明闭环系统的局部适定性。
• 通过在变换和控制律中选择适当的参数，实现解以任意指定速率的指数衰减。

实验结果

研究问题

• RQ1 能否设计一种反馈控制律，以实现对有界区间上库拉莫-西瓦什斯基方程的任意快速稳定化？
• RQ2 线性化系统近似可控的必要且充分条件是什么？
• RQ3 如何构造一个积分变换，将原系统转换为具有期望稳定性的目标系统？
• RQ4 该方法在多大程度上可推广至库拉莫-西瓦什斯基方程以外的其他非线性偏微分方程？
• RQ5 临界集合 N 在决定稳定化可行性方面起什么作用？

主要发现

• 作者构造的反馈控制律可确保在初始数据足够小时，解以任意指定的衰减速率指数衰减至零。
• 该方法依赖于一个弗雷德霍姆积分变换，其核函数满足带狄拉克函数源项的四阶偏微分方程，从而实现向目标系统的转换。
• 线性化系统近似可控当且仅当 λ ∉ N，其中 N = {j²π² + k²π² : j,k ∈ ℤ⁺, j ≠ k}，该集合定义了阻碍稳定化的临界值。
• 在小初始数据下，闭环系统的适定性在空间 X_T = C⁰([0,T];L²(0,1)) ∩ L²(0,T;H²(0,1) ∩ H₀¹(0,1)) 中得以建立。
• 解满足估计式 |v|_X_T ≤ C₀|v⁰|_L²(0,1)，证实了其稳定性及对初始数据的连续依赖性。
• 该方法具有可推广性，如其在科特韦格-德弗里斯方程上的先前成功应用所示。