[论文解读] Existence and exponential stability of a damped wave equation with dynamic boundary conditions and a delay term

Stéphane Gerbi, Belkacem Said‐Houari|arXiv (Cornell University)|Jun 5, 2012

Stability and Controllability of Differential Equations参考文献 26被引用 29

一句话总结

本文建立了带有动态边界条件、Kelvin-Voigt阻尼和边界延迟项的阻尼波动方程解的全局存在性与指数稳定性。通过一种新颖的李雅普诺夫泛函，证明了即使延迟项的权重超过非延迟边界项，系统仍能实现指数衰减，前提是强阻尼系数超过依赖于权重差值与几何常数的阈值。

ABSTRACT

In this paper we consider a multi-dimensional wave equation with dynamic boundary conditions related to the Kelvin-Voigt damping and a delay term acting on the boundary. If the weight of the delay term in the feedback is less than the weight of the term without delay or if it is greater under an assumption between the damping factor, and the difference of the two weights, we prove the global existence of the solutions. Under the same assumptions, the exponential stability of the system is proved using an appropriate Lyapunov functional. More precisely, we show that even when the weight of the delay is greater than the weight of the damping in the boundary conditions, the strong damping term still provides exponential stability for the system.

研究动机与目标

• 建立带有动态边界条件和边界延迟项的阻尼波动方程解的全局存在性。
• 分析当延迟项权重可能超过非延迟项权重时系统的指数稳定性。
• 证明当延迟项主导时，强Kelvin-Voigt阻尼仍可使系统稳定，前提是阻尼系数满足特定条件。
• 构建一种专用于控制边界延迟项的李雅普诺夫泛函，以确保能量的指数衰减。
• 通过引入额外阻尼和不同的李雅普诺夫构造方式，拓展并改进了先前关于边界延迟系统的成果。

提出的方法

• 建立一个包含Kelvin-Voigt阻尼和延迟项的多维阻尼波动方程，其边界条件为动态边界条件。
• 引入一种李雅普诺夫泛函，其中包含能量、速度、位移梯度以及边界速度延迟历史的项。
• 利用分部积分和庞加莱不等式估计李雅普诺夫泛函的时间导数。
• 应用涉及延迟项及其空间平均值的不等式，以控制边界贡献。
• 推导李雅普诺夫泛函的微分不等式，证明在两种不同条件下实现指数衰减：当延迟权重小于或等于非延迟权重时，以及当延迟权重更大但受阻尼系数限制时。
• 采用参数选择策略（通过ε和δ）确保李雅普诺夫泛函的导数为负定，从而推导出指数稳定性。

实验结果

研究问题

• RQ1 在何种条件下，带有动态边界条件和边界延迟项的阻尼波动方程存在全局解？
• RQ2 当延迟项权重超过非延迟边界项权重时，能否实现指数稳定性？
• RQ3 当延迟项主导时，Kelvin-Voigt阻尼项如何影响系统的稳定性？
• RQ4 何种李雅普诺夫泛函结构可确保在存在边界延迟时实现指数衰减？
• RQ5 所提出的稳定性条件与文献中已有结果（特别是Nicaise和Pignotti的工作）相比如何？

主要发现

• 在延迟权重不超过非延迟权重的条件下，证明了带有动态边界条件和延迟项的阻尼波动方程的全局解存在性。
• 当延迟权重超过非延迟权重时，若阻尼系数α满足α > (μ₂ − μ₁)B²，其中B为与庞加莱不等式相关的几何常数，则全局解依然存在。
• 通过李雅普诺夫泛函建立了指数稳定性，能量衰减满足E(t) ≤ C̄e⁻ᵞᵗ，其中C̄和ᵞ为与时间无关的正常数。
• 即使延迟项主导，只要强阻尼项相对于边界权重差值足够大，稳定性结果依然成立。
• 所构造的李雅普诺夫泛函明确控制了延迟项，其构造方式不同于以往方法，从而实现了更强的稳定性估计。
• 当μ₁ = 0时，条件α > (μ₂ − μ₁)B²与Nicaise和Pignotti（2007）的结果一致，验证了在受限情形下与已有工作的吻合性。