[论文解读] The lifespan of solutions of semilinear wave equations with the scale-invariant damping in one space dimension

Masakazu Kato, Hiroyuki Takamura+1 more|arXiv (Cornell University)|Oct 9, 2018

Advanced Mathematical Physics Problems被引用 9

一句话总结

本文研究了一维标度不变阻尼半线性波动方程解的寿命，发现在总初始数据积分为零时，寿命估计呈现出类似无阻尼情形的特征，且在偏移后的空间维数下成立，这与‘热型’阻尼区域中预期的热型行为相矛盾。作者建立了新的上界估计，其对初始数据积分条件具有关键依赖性。

ABSTRACT

The critical constant of time-decaying damping in the scale-invariant case is recently conjectured. It also has been expected that the lifespan estimate is the same as for the associated semilinear heat equations if the constant is in the \heat-like" domain. In this paper, we point out that this is not true if the total integral of the sum of initial position and speed vanishes. In such a case, we have a new type of the lifespan estimates which is closely related to the non-damped case in shifted space dimensions.

研究动机与目标

• 研究一维空间中具有标度不变阻尼的半线性波动方程解的寿命。
• 检验在‘热型’阻尼区域（$\mu \geq \mu_0(1)$）中，寿命估计是否与相应的半线性热方程一致。
• 识别在初始位置与速度总积分消失时，寿命如何偏离热型行为的条件。
• 推导反映在修改后空间维数下向无阻尼波动方程行为转变的新上界估计。

提出的方法

• 应用李乌维尔变换 $ u(x,t) = (1+t)^{\mu/2} v(x,t) $，将阻尼波动方程转化为具有时间依赖系数的波动方程。
• 基于能量泛函 $ F(t) $ 的迭代下界，采用分片方法，引入指数与常数的递推序列。
• 对 $ F(t) \geq D_j t \log^{b_j}(t / a_j K) $ 建立归纳估计，以获得越来越精确的下界。
• 采用 Takamura 和 Wakasa（2015）的引理的临界版本，适用于临界指数 $ p = 3 $，并针对初始积分消失的条件进行调整。
• 通过分析 $ \log^{b_j}(t) $ 项的增长率与 $ D_j $ 的递推衰减，推导出双指数形式的寿命上界。
• 将所得寿命估计与无阻尼及热型情形下的已知结果进行比较，以分离初始数据积分的影响。

实验结果

研究问题

• RQ1 当初始数据积分为零时，‘热型’阻尼区域（$\mu \geq \mu_0(1)$）中解的寿命是否仍遵循Fujita型估计？
• RQ2 在具有标度不变阻尼的一维半线性波动方程中，初始数据总积分消失如何影响寿命估计？
• RQ3 在临界情形 $ p = 3 $ 下，寿命能否被双指数函数上界控制？在何种条件下成立？
• RQ4 当初始数据积分为零时，‘波动型’区域（$\mu < \mu_0(1)$）中的寿命估计是否仍有效，还是转向无阻尼行为？
• RQ5 当 $ \int_{\mathbb{R}} (f(x) + g(x)) \, dx = 0 $ 时，寿命对初始数据的精确依赖关系是什么？其与标准热型或波动型预测有何不同？

主要发现

• 当 $ \int_{\mathbb{R}} (f(x) + g(x)) \, dx = 0 $ 时，$ p = 3 $ 情形下寿命估计的上界为 $ T(\varepsilon) \leq 2K \exp(C \varepsilon^{-6}) $，表明存在双指数形式的爆破时间。
• 对于 $ p = 3 $，寿命并不遵循标准热型估计，而是由于初始积分消失，表现出类似在偏移维数下的无阻尼波动方程行为。
• 爆破时间被证明为有限，并且其上界为 $ \varepsilon $ 的双指数函数，该结果通过迭代分片与 $ D_j $、$ b_j $ 的递推界推导得出。
• 递推序列 $ b_j = \frac{3^j - 1}{2} $ 控制能量泛函 $ F(t) $ 下界中对数项的增长，导致超指数增长。
• 常数 $ D_j $ 满足 $ D_j \geq (D_0 / 3^S)^{3^{j-1}} $，其中 $ S = \sum_{i=0}^\infty \frac{2i+8}{3^i} $，确保 $ F(t) $ 在有限时间内爆破。
• 结果表明，当初始数据积分为零时，标准热型寿命估计失效，取而代之的是更接近无阻尼情形的新类型估计。