[论文解读] Linear stabilization for a degenerate wave equation in non divergence form with drift

Genni Fragnelli, Dimitri Mugnai|arXiv (Cornell University)|Dec 10, 2022

Stability and Controllability of Differential Equations被引用 4

一句话总结

本文建立了对一维退化波动方程（带漂移项）实现一致指数稳定的条件，其中主算子以非散度形式表示，且在边界处退化。通过引入加权能量泛函并应用带有Feller型权重的乘子法，作者在退化与漂移系数满足特定结构条件时，证明了解的指数衰减。

ABSTRACT

We consider a degenerate wave equation in one dimension, with drift and in presence of a leading operator which is not in divergence form. We impose a homogeneous Dirichlet boundary condition where the degeneracy occurs and a boundary damping at the other endpoint. We provide some conditions for the uniform exponential decay of solutions for the associated Cauchy problem.

研究动机与目标

• 解决非散度形式带漂移项的退化波动方程缺乏稳定结果的问题。
• 将现有稳定性理论扩展至非退化及散度形式之外的设定。
• 在边界处存在阻尼且在 x=0 处发生退化的情况下，建立能量一致指数衰减的充分条件。
• 为具有奇异系数的非散度形式算子构建合适的函数框架与能量估计。
• 通过Feller型权重与乘子法，将经典稳定化技术推广至退化、非散度形式PDE。

提出的方法

• 引入涉及Feller权重 $\eta(x) = \exp\left(\int_{1/2}^x \frac{b(s)}{a(s)}ds\right)$ 的加权能量泛函，以处理非散度形式结构。
• 通过构造合适的测试函数并在加权Sobolev空间中分部积分，将乘子法适配于退化算子。
• 利用条件 $\frac{b}{a} \in L^1(0,1)$ 确保能量估计中漂移项的可积性。
• 对 $a(x)$ 与 $b(x)$ 施加结构假设：弱退化或强退化，且退化指数 $K = \sup \frac{x|a'(x)|}{a(x)}$ 满足 $K < 2$。
• 在加权 $L^2$ 空间中运用分部积分与Hölder不等式，控制边界项并证明在 $x=0$ 处极限为零。
• 建立关键边界项在 $W^{1,1}(0,1)$ 中的正则性，以证明极限存在且为零，从而在退化边界处成立。

实验结果

研究问题

• RQ1 在何种条件下，非散度形式带漂移项的退化波动方程会表现出一致指数能量衰减？
• RQ2 如何有效结合边界阻尼、退化与漂移项以实现系统稳定？
• RQ3 Feller型权重 $\eta(x)$ 在控制退化边界附近解的行为中起到何种作用？
• RQ4 经典乘子法能否被适配于具有奇异系数的非散度形式退化PDE？
• RQ5 对 $a(x)$ 与 $b(x)$ 的何种结构假设可确保能量估计中必要的可积性与边界项的消失？

主要发现

• 本文证明，在条件 $\frac{b}{a} \in L^1(0,1)$ 及适当的退化（弱退化或强退化且 $K < 2$）下，解的能量实现一致指数衰减。
• 在 $x=1$ 处的边界项 $y_t + \eta y_x + \beta y = 0$ 确保能量耗散，前提是 $\beta \geq 0$。
• 极限 $\lim_{x \to 0} \eta(x) u(x) y'(x) = 0$ 被严格建立，这对能量估计至关重要。
• 已证明 $\lim_{x \to 0} x \eta(x) (u'(x))^2 = 0$，确保在退化点附近具有可积性与正则性。
• 验证了 $\frac{x}{a(x)} u^2(x) \to 0$ 当 $x \to 0$ 时成立，这是加权能量有限的必要条件。
• 证明依赖于表明某些边界项属于 $W^{1,1}(0,1)$，因此其极限存在且有限，从而支持分部积分的使用。