[论文解读] Remarks on the asymptotic behavior of the solution of an abstract damped wave equation

Hisashi Nishiyama|arXiv (Cornell University)|May 6, 2015

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

一句话总结

该论文在一般算子理论条件下，建立了抽象阻尼波动方程与热方程型方程在时间趋于无穷时的渐近等价性。通过谱分析与能量估计，证明了解的衰减速率与由 $ B^{-1/2}AB^{-1/2} $ 生成的热半群一致，达到最优的 $ t^{-1} $ 衰减率，并在附加扩散性假设下将此结果扩展至 $ L^1 \to L^2 $ 估计。

ABSTRACT

We study an abstract damped wave equation. We prove that the solution of the damped wave equation becomes closer to the solution of a heat type equation as time tend to infinity. As an application of our approach, we also study the asymptotic behavior of the damped wave equation in Euclidean space under the geometric control condition.

研究动机与目标

• 严格证明阻尼波动方程解在长时间下渐近等价于热方程解的启发性观点。
• 在希尔伯特空间中为抽象阻尼波动方程的解建立尖锐的 $ t^{-1} $ 衰减估计。
• 在使用扩散型估计的前提下，将渐近行为扩展至 $ L^1 \cap L^2 $ 初始数据。
• 在欧氏空间中分析变系数阻尼情况下的几何控制条件。
• 提供最优衰减速率，并将结果推广至阻尼在某些集合上可能消失的扰动情形。

提出的方法

• 将阻尼波动方程形式化为 $ (\partial_t^2 + A + B\partial_t)u = 0 $，其中 $ A > 0 $，$ B \geq c\,\text{Id} $，且 $ B^{\pm 1/2} $ 在 $ D(A) $ 上有界。
• 引入变换算子 $ \tilde{A} = B^{-1/2}AB^{-1/2} $，以定义极限热方程型方程 $ B^{1/2}(\partial_t + \tilde{A})B^{1/2}v = 0 $。
• 通过能量估计与预解估计，推导出渐近行为 $ u(t) \approx B^{-1/2}e^{-t\tilde{A}}B^{1/2}u_0 + B^{-1/2}e^{-t\tilde{A}}B^{-1/2}u_1 $。
• 利用微局部分析与Carleman估计，控制解的拉普拉斯变换中低频与中频分量。
• 对 $ e^{-t\tilde{A}} $ 引入 $ L^1 $-有界性与扩散估计，以在 $ L^2 $-范数下进一步优化衰减速率。
• 将该理论应用于 $ \mathbb{R}^d $ 上的变系数阻尼波动方程，验证几何控制条件可保证全局衰减。

实验结果

研究问题

• RQ1 在何种条件下，阻尼波动方程的解在 $ t \to \infty $ 时收敛于热方程型解？
• RQ2 解与热方程型解之间的差异的最优衰减速率是什么？
• RQ3 当初始数据属于 $ L^1 \cap L^2 $ 时，如何改进渐近行为？
• RQ4 当阻尼系数 $ a(x) $ 可能消失时，若满足几何控制条件，是否可将扩散现象推广至变系数情形？
• RQ5 在变系数阻尼存在时，为建立 $ t^{-1} $ 衰减，需要哪些谱估计与能量估计？

主要发现

• 对于 $ u_0 \in D(\sqrt{A}) $，$ u_1 \in H $，抽象阻尼波动方程的解在 $ H $-范数下以 $ t^{-1} $ 速率收敛于 $ B^{-1/2}e^{-t\tilde{A}}B^{1/2}u_0 + B^{-1/2}e^{-t\tilde{A}}B^{-1/2}u_1 $。
• 由命题 5.6 确认，$ t^{-1} $ 衰减速率是最优的，推广了文献 [6] 的结果。
• 在 $ L^1 \cap L^2 $ 初始数据下，若 $ e^{-t\tilde{A}} $ 满足 $ L^1 $-有界性与扩散估计，则衰减速率可提升至 $ t^{-m-1} $，其中 $ m $ 为 $ e^{-t\tilde{A}} $ 的扩散速率。
• 几何控制条件可确保在 $ \mathbb{R}^d $ 上变系数阻尼波动方程的 $ t^{-1} $ 能量衰减，即使阻尼在某些集合上消失。
• 通过Carleman不等式与亚椭圆估计，低频预解估计确认了预解算子的 $ \mathcal{O}(|\lambda|^{-1}) $ 行为，从而支持 $ t^{-1} $ 衰减。
• 该方法适用于常系数阻尼波动方程 $ \partial_t^2 u - \Delta u + \partial_t u = 0 $，并恢复了已知的 $ d > 3 $ 时 $ L^1 \to L^2 $ 衰减速率 $ t^{-d/4} $。