[论文解读] A Fredholm transformation for the rapid stabilization of a degenerate parabolic equation

Ludovick Gagnon, Pierre Lissy+1 more|arXiv (Cornell University)|Oct 12, 2020

Stability and Controllability of Differential Equations参考文献 21被引用 13

一句话总结

本文提出一种弗雷德霍姆积分变换，以实现对具有狄利克雷边界控制的退化抛物型PDE的快速指数稳定。通过求解一个双曲型PDE的核函数，将不稳定系统映射到一个具有已知且可任意大的衰减速率的目标系统，作者证明该变换在能量空间中是良定义的、连续的且可逆的，从而确保原系统的快速稳定。

ABSTRACT

This paper deals with the rapid stabilization of a degenerate parabolic equation with a right Dirich-let control. Our strategy consists in applying a backstepping strategy, which seeks to find an invertible transformation mapping the degenerate parabolic equation to stabilize into an exponentially stable system whose decay rate is known and as large as we desire. The transformation under consideration in this paper is Fredholm. It involves a kernel solving itself another PDE, at least formally. The main goal of the paper is to prove that the Fredholm transformation is well-defined, continuous and invertible in the natural energy space. It allows us to deduce the rapid stabilization.

研究动机与目标

• 实现对具有右端狄利克雷控制的退化抛物型PDE的快速指数稳定。
• 建立自然能量空间中弗雷德霍姆变换的适定性与可逆性。
• 通过使用弗雷德霍姆型核而非沃尔泰拉型核，将后退法方法推广至退化PDE。
• 证明稳定化系统的衰减速率可通过核设计实现任意大。
• 对弗雷德霍姆变换产生的核PDE提供严格的分析。

提出的方法

• 应用后退法将原始退化抛物型PDE映射到一个带有负势项的目标系统，以实现指数稳定。
• 构造一个弗雷德霍姆积分变换，其核函数求解由后退法设计导出的双曲型PDE。
• 利用泛函分析技术和谱理论，证明核函数在能量空间中的存在性与正则性。
• 通过算子理论论证与谱分析，建立变换的连续性与可逆性。
• 利用变换的可逆性，将目标系统的指数稳定性传递至原系统。
• 利用退化算子的特征函数与特征值结构，分析核函数的性质，避免奇点的出现。

实验结果

研究问题

• RQ1 能否为具有边界控制的退化抛物型PDE，严格构造出用于快速稳定的弗雷德霍姆变换？
• RQ2 求解PDE的弗雷德霍姆核在自然能量空间中是否良定义且连续？
• RQ3 弗雷德霍姆变换的可逆性是否能确保原系统的指数稳定？
• RQ4 能否通过核设计使稳定化系统的衰减速率达到任意大？
• RQ5 在退化PDE背景下，什么条件能确保弗雷德霍姆变换的可逆性？

主要发现

• 将退化抛物型PDE映射到指数稳定目标系统的弗雷德霍姆变换在能量空间中是良定义的。
• 该变换是连续且可逆的，从而确保稳定性在变换下得以保持。
• 弗雷德霍姆变换的核函数求解一个双曲型PDE，其正则性通过谱分析得以确立。
• 通过在目标系统中选择足够大的参数λ，可使稳定化系统的衰减速率达到任意大。
• 可逆性证明依赖于谱理论与全纯函数演算，尤其在算子具有非平凡核的情况下。
• 该方法通过精心构造的核函数与能量空间框架，成功克服了在x=0处退化带来的挑战。