[论文解读] Energy decay for solutions of the wave equation with general memory boundary conditions

Pierre Cornilleau, Serge Nicaise|arXiv (Cornell University)|Feb 11, 2009

Stability and Controllability of Differential Equations参考文献 14被引用 5

一句话总结

本文针对具有混合边界条件的波动方程建立了指数能量衰减：边界的一部分为狄利克雷条件，其余部分为一般记忆-延迟边界条件。通过乘子法与一个积分不等式，证明了在关于测度 $\mu$ 的一个弱条件下，系统具有指数稳定性，即 $\int_0^{\infty} e^{\alpha s} d|\mu|(s) < \mu_0$ 对某个 $\alpha > 0$ 成立，该条件推广并拓展了先前关于记忆型与延迟型阻尼的研究结果。

ABSTRACT

We consider the wave equation in a smooth domain subject to Dirichlet boundary conditions on one part of the boundary and dissipative boundary conditions of memory-delay type on the remainder part of the boundary, where a general borelian measure is involved. Under quite weak assumptions on this measure, using the multiplier method and a standard integral inequality we show the exponential stability of the system. Some examples of measures satisfying our hypotheses are given, recovering and extending some of the results from the literature.

研究动机与目标

• 为具有混合狄利克雷与记忆-延迟边界条件的波动方程建立指数稳定性。
• 通过在边界阻尼项中允许一般Borel测度 $\mu$，推广现有的衰减结果。
• 弱化对阻尼核的假设，避免要求其光滑性或指数衰减性。
• 统一并拓展文献中关于记忆型与延迟型阻尼模型的结果。

提出的方法

• 使用满足涉及 $\operatorname{div}(m)$ 与 $\nabla m^s$ 的最小特征值的几何条件的向量场 $m$ 的乘子法。
• 定义一个类李雅普诺夫能量泛函，并推导其时间导数以分析衰减行为。
• 应用标准积分不等式以控制涉及 $\int_0^t u'(t-s) d\mu(s)$ 的记忆项。
• 施加关键条件 $\int_0^{\infty} e^{\alpha s} d|\mu|(s) < \mu_0$，以确保指数衰减，其中 $\alpha > 0$。
• 利用富比尼定理与测度论估计来界定能量衰减速率。
• 依赖于存在一个满足 $c(m) > 0$ 的 $\mathcal{C}^1$ 向量场 $m$，以确保可观测性与能量控制。

实验结果

研究问题

• RQ1 在边界测度 $\mu$ 满足何种条件下，具有记忆-延迟阻尼的波动方程会表现出指数能量衰减？
• RQ2 该指数稳定性结果能否推广至一般Borel测度，而无需对核函数的光滑性或衰减性提出要求？
• RQ3 所提出的条件 $\int_0^{\infty} e^{\alpha s} d|\mu|(s) < \mu_0$ 与文献中先前的假设相比有何异同？
• RQ4 该框架能否统一记忆型与延迟型阻尼模型的已有结果？

主要发现

• 在条件 $\int_0^{\infty} e^{\alpha s} d|\mu|(s) < \mu_0$ 对某个 $\alpha > 0$ 成立时，建立了指数能量衰减，该条件弱于先前的假设。
• 该结果对连续核 $d\mu(s) = k(s)ds$ 与离散测度 $\mu = \sum \mu_i \delta_{\tau_i}$ 均成立，包括 $\mu = \mu_1 \delta_\tau$ 的延迟模型。
• 该方法不要求核函数 $k(s)$ 具有可微性或一致指数衰减性，从而推广了 [1, 3, 5, 9] 中的结果。
• 该框架恢复并推广了 [10, 11, 12] 中关于延迟型阻尼的指数稳定性结果。
• 对于紧支集测度，即使不加支集假设，只要 $\inf_{\partial\Omega_N} m\cdot\nu > 0$，即可获得指数衰减。
• 证明方法具有鲁棒性，可统一适用于记忆型、延迟型以及如 $d\mu(s) = k(s)\chi_{[\tau_1,\tau_2]}(s)ds$ 等中间情形。