[论文解读] Input-to-State Stability with Respect to Boundary Disturbances for a Class of Semi-linear Parabolic Equations

Jun Zheng, Guchuan Zhu|arXiv (Cornell University)|Sep 6, 2017

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

一句话总结

本文通过一种新颖的李雅普诺夫泛函方法，为具有罗宾或诺伊曼边界扰动的一类半线性抛物型PDE建立了输入-状态稳定性（ISS）。通过推导出绕过扰动时间导数的技术性不等式，该方法可直接处理边界条件，避免使用无界算子，从而在ISS估计中不显式依赖于扰动导数——为特征函数或有限差分方法提供了一种计算效率更高的替代方案。

ABSTRACT

This paper studies the input-to-state stability (ISS) properties based on the method of Lyapunov functionals for a class of semi-linear parabolic partial differential equations (PDEs) with respect to boundary disturbances. In order to avoid the appearance of time derivatives of the disturbances in ISS estimates, some technical inequalities are first developed, which allow directly dealing with the boundary conditions and establishing the ISS based on the method of Lyapunov functionals. The well-posedness analysis of the considered problem is carried out and the conditions for ISS are derived. Two examples are used to illustrate the application of the developed result.

研究动机与目标

• 为受罗宾或诺伊曼边界扰动的半线性抛物型PDE建立输入-状态稳定性（ISS）。
• 克服在使用李雅普诺夫泛函时，ISS估计中无界算子和扰动时间导数带来的挑战。
• 推导出将C¹函数的逐点值与其L²和H¹范数关联的技术性不等式，实现对边界条件的直接处理。
• 为PDE的ISS分析提供一种计算量更小的替代方法，以替代特征函数展开或有限差分格式。
• 在两个具有非线性和边界扰动的抛物型PDE示例中展示该方法的适用性。

提出的方法

• 推导引理1和引理2，即技术性不等式，将C¹函数在某一点的取值与L²和H¹范数关联，实现对边界条件的直接处理。
• 应用标准李雅普诺夫泛函推导解的先验估计，确保解的有界性以依赖于域内和边界扰动。
• 对非线性项f(t,x,u,p)施加结构条件，以满足ISS所需的增长界，包括带有常数M₁和M₂的利普希茨型条件。
• 使用变换w(t,x) = e^{mx/(2μ)}u(t,x)将一个输运PDE转化为标准抛物型形式以供分析。
• 应用假设3、4和5，验证李雅普诺夫泛函产生ISS的条件，基于系数a、b、μ和n。
• 在推导的条件下验证PDE系统的适定性及解的唯一性。

实验结果

研究问题

• RQ1 能否通过李雅普诺夫泛函方法，在不涉及扰动时间导数的情况下，为具有边界扰动的半线性抛物型PDE建立输入-状态稳定性（ISS）？
• RQ2 如何构造技术性不等式，以将C¹函数的逐点值与其L²和H¹范数关联，从而实现对边界条件的直接处理？
• RQ3 非线性项f(t,x,u,p)需要满足何种结构条件，才能使李雅普诺夫泛函产生ISS估计？
• RQ4 与特征函数展开或有限差分格式相比，该方法在计算复杂度上如何？
• RQ5 该方法能否扩展至本文考虑的两个示例之外的其他PDE类别？

主要发现

• 所提方法通过使用新颖的技术性不等式（引理1和引理2），成功避免了ISS估计中出现边界扰动的时间导数。
• 对于非线性项为f(t,x,u,p) = αu − β|u|²u的半线性抛物型PDE，在α < 0且b₁/b₂ < 1/3的条件下，可建立ISS。
• 对于非线性项为f(t,x,u,p) = αu − β|u|²u − γ|u|⁴u + λp的PDE，当α + |λ| < 0、|λ| ≤ μ且b₁/b₂ < 1/4时，ISS成立。
• 一维输运PDE（28）在a ≥ 4/3、b < 1/3且(m²/(4μ) + n) > 0的条件下被证明为ISS，且通过相应变换简化了分析。
• 该方法在计算上比特征函数展开或有限差分格式更省力，因其避免了复杂的谱计算或迭代运算。
• 该技术不适用于狄利克雷边界扰动（即b₂ = 0）的情形，此类情况需依赖另一起工作开发的独立方法。