[论文解读] Life-Span of Semilinear Wave Equations with Scale-invariant Damping: Critical Strauss Exponent Case

Ziheng Tu, Jiayun Lin|arXiv (Cornell University)|Nov 1, 2017

Advanced Mathematical Physics Problems被引用 19

一句话总结

该论文在临界 Strauss 指数情形下，通过构造基于修正贝塞尔函数 $ K_ u(t) $ 的新型测试函数，建立了具有尺度不变阻尼的半线性波动方程的寿命上界。证明了当 $ p = p_S(n + \mu) $ 且 $ 0 < \mu < \mu_* = \frac{n^2 + n + 2}{n + 2} $ 时，寿命满足 $ T(\varepsilon) \leq \exp(C\varepsilon^{-p(p-1)}) $，从而完成了亚临界区域先前结果的补充。

ABSTRACT

The blow up problem of the semilinear scale-invariant damping wave equation with critical Strauss type exponent is investigated. The life span is shown to be: $T(\varepsilon)\leq C\exp(\varepsilon^{-2p(p-1)})$ when $p=p_S(n+μ)$ for $0

研究动机与目标

• 填补半线性阻尼波动方程在临界 Strauss 指数 $ p = p_S(n + \mu) $ 情形下寿命估计的空白。
• 将先前针对亚临界指数的结果推广至 $ p = p_S(n + \mu) $ 的临界情形。
• 开发一种基于修正贝塞尔函数 $ K_\nu(t) $ 的新型测试函数构造方法，以处理临界指数区域。
• 提供一个更精细的寿命上界，使其与相关工作中观察到的指数增长行为相一致。

提出的方法

• 基于第二类修正贝塞尔函数 $ K_\nu(t) $ 构造测试函数，利用其渐近性质与微分性质。
• 应用波动平面公式，并分析 $ K_\nu(t) $ 的极限行为，以推导测试函数的关键估计。
• 采用带权能量法，结合所构造的测试函数，推导出能量泛函的微分不等式组。
• 将能量不等式转化为黎卡提型方程组，并通过比较解来证明有限时间内爆破。
• 通过 $ H_1(s) = \varepsilon^{p^2 - 2p} H_0(\varepsilon^{-p(p-1)}s) $ 的尺度变换，将寿命与辅助函数的爆破时间联系起来。
• 运用 $ H_1(s) $ 与 $ H_2(s) $ 之间的比较技术，其中 $ H_2(s) $ 被构造为在有限时间内爆破，从而推断原解的有限寿命。

实验结果

研究问题

• RQ1 在临界 Strauss 指数 $ p = p_S(n + \mu) $ 情形下，半线性阻尼波动方程的寿命是否存在精确的上界？
• RQ2 测试函数方法能否从亚临界区域推广至 $ p = p_S(n + \mu) $ 的临界情形？
• RQ3 与先前方法相比，使用修正贝塞尔函数如何改进寿命估计？
• RQ4 参数 $ \mu $ 在决定临界指数与寿命行为方面起什么作用？
• RQ5 对于 $ p = p_S(n + \mu) $ 且 $ \mu < \mu_* $，寿命上界 $ T(\varepsilon) \leq \exp(C\varepsilon^{-p(p-1)}) $ 是否是精确的？

主要发现

• 当 $ 0 < \mu < \mu_* = \frac{n^2 + n + 2}{n + 2} $ 时，半线性阻尼波动方程在 $ p = p_S(n + \mu) $ 情形下的寿命满足 $ T(\varepsilon) \leq \exp(C\varepsilon^{-p(p-1)}) $，其中 $ C $ 与 $ \varepsilon $ 无关。
• 该上界通过基于修正贝塞尔函数 $ K_\nu(t) $ 构造的新型测试函数得以建立，该函数能准确捕捉 Strauss 指数处的临界行为。
• 该方法成功地将先前在亚临界情形 $ p < p_S(n + \mu) $ 的结果推广至临界情形 $ p = p_S(n + \mu) $，完整刻画了该区域的寿命行为。
• 该构造依赖于 $ K_\nu(t) $ 的渐近衰减性及其微分恒等式，特别是其在 $ t \to \infty $ 时的行为，以推导必要的能量估计。
• 寿命估计与早期研究中观察到的临界情形指数增长行为一致，表明该上界具有精确性。
• 该方法具有鲁棒性，且可能可推广至具有变系数拉普拉斯算子或其他阻尼结构的其他波动方程。