[论文解读] Global well-posedness for the semilinear wave equation with time dependent damping in the overdamping case

Masahiro Ikeda, Yuta Wakasugi|arXiv (Cornell University)|Aug 26, 2017

Advanced Mathematical Physics Problems参考文献 43被引用 19

一句话总结

本文在反 damping 积分有限的过阻尼情形下，建立了带时间依赖阻尼的半线性波动方程的全局适定性。通过变量变换并利用过阻尼条件对解的 L²-范数进行一致有界控制，作者证明了在能量亚临界情形（1 ≤ p < p₁）下小初值全局存在性，这与非过阻尼情形下观察到的小初值爆破形成鲜明对比。

ABSTRACT

We study global existence of solutions to the Cauchy problem for the wave equation with time-dependent damping and a power nonlinearity in the overdamping case. We prove the global well-posedness for small data in the energy space for the whole energy-subcritical case. This result implies that small data blow-up does not occur in the overdamping case, different from the other cases, i.e. effective or non-effective damping.

研究动机与目标

• 解决带时间依赖阻尼的半线性波动方程在过阻尼情形下的全局存在性这一开放问题，其中 b(t)⁻¹ ∈ L¹(0, ∞)。
• 在能量空间 H¹(Rᵈ) × L²(Rᵈ) 中，针对能量亚临界情形（1 ≤ p < p₁）的小初值，建立全局适定性。
• 证明在过阻尼情形下不会发生小初值爆破，这与非过阻尼情形（b(t)⁻¹ ∉ L¹(0, ∞)）形成鲜明对比。
• 在适当的奇性假设下，证明对于大初值或超临界非线性项（p > p₁），局部弱解不存在。
• 证明在聚焦条件下（例如，N(z) = −|z|ᵖ⁻¹z）可去除小初值假设。

提出的方法

• 通过变量变换 v(t,x) = exp(½∫₀ᵗ b(s)ds) u(t,x)，将原始阻尼波动方程转化为不含一阶时间导数的新半线性波动方程。
• 利用过阻尼条件（b(t)⁻¹ ∈ L¹(0,∞)）推导出局部解的 L²-范数一致有界性，这是实现全局解扩展的关键。
• 应用能量亚临界半线性波动方程在 H¹ × L² 中的局部适定性理论，依赖 Strichartz 估计与插值理论。
• 使用具有紧支集和齐次性的测试函数，推导出解的 L²-范数下界，从而导出爆破判据。
• 通过反证法结合对 |x|⁻ᵏφₗ(x) 相关积分的估计，证明在 p > p₁ 或大初值情形下，局部解不存在。
• 通过证明若生存时间有限，则解的 L²-范数必须在有限时间内发散，从而建立爆破判据。

实验结果

研究问题

• RQ1 在过阻尼情形（b(t)⁻¹ ∈ L¹(0,∞)）下，对于能量亚临界情形的小初值，带时间依赖阻尼的半线性波动方程是否具有全局存在性？
• RQ2 过阻尼条件（b(t)⁻¹ ∈ L¹(0,∞)）如何防止小初值爆破，而这一现象在非过阻尼情形下却会发生？
• RQ3 在聚焦非线性项条件（如 N(z) = −|z|ᵖ⁻¹z）下，是否可以去除小初值假设？
• RQ4 当非线性项为能量超临界（p > p₁）或初值为大且在原点具有奇性时，解会发生什么？
• RQ5 在超临界情形下，对于某些类别的初值和非线性项，是否可能证明局部弱解不存在？

主要发现

• 在过阻尼条件 b(t)⁻¹ ∈ L¹(0,∞) 下，对于能量亚临界情形（1 ≤ p < p₁）的小初值 (u₀, u₁) ∈ H¹(Rᵈ) × L²(Rᵈ)，全局适定性成立。
• 通过过阻尼条件推导出局部解的 L²-范数一致有界性，从而实现解的全局延拓。
• 在非过阻尼情形（b(t)⁻¹ ∉ L¹(0,∞)）下观察到的小初值爆破现象，在过阻尼情形下不会发生。
• 对于聚焦非线性项 N(z) = −|z|ᵖ⁻¹z，可去除小初值假设，且对所有 H¹ × L² 中的初值，全局存在性成立。
• 对于聚焦非线性项 N(z) = ±|z|ᵖ 且 p ∈ (1, p₁] 的情形，若初值在 x = 0 处具有奇性，则解在有限时间内爆破，且生存时间 T₊ 满足 T₊ ≤ C∗₂ λ⁻¹/(p+1)/(p−1)−k（λ > λ₀）。
• 在适当的 b(t) 条件下，若初值在原点具有奇性，且非线性项满足 p > p₁，则不存在局部弱解。