[论文解读] Life-span of solutions to semilinear wave equation with time-dependent critical damping for specially localized initial data

Masahiro Ikeda, Motohiro Sobajima|arXiv (Cornell University)|Sep 13, 2017

Advanced Mathematical Physics Problems参考文献 10被引用 5

一句话总结

本文建立了具有时变临界阻尼 $\frac{\mu}{1+t}\partial_t u$ 的半线性波动方程解的寿命的精确上界，其中 $\mu \in [0, \frac{N^2+N+2}{N+2})$，初始数据紧支集。通过构造一种新颖的测试函数，利用求解共轭线性方程的高斯超几何函数，作者证明当 $p_F(N) \leq p \leq p_0(N+\mu)$ 时解会发生爆破，且寿命满足 $\operatorname{LifeSpan}(u_\varepsilon) \leq \exp[K_5 \varepsilon^{-p(p-1)}]$，从而明确了爆破与全局存在性之间的临界指数 $p_0(N+\mu)$。

ABSTRACT

This paper is concerned with the blowup phenomena for initial value problem of semilinear wave equation with critical time-dependent damping term (DW). The result is the sharp upper bound of lifespan of solution with respect to the small parameter $\ep$ when $p_F(N)\leq p\leq p_0(N+μ)$, where $p_F(N)$ denotes the Fujita exponent for the nonlinear heat equations and $p_0(n)$ denotes the Strauss exponent for nonlinear wave equation in $n$-dimension with $μ=0$. Consequently, by connecting the result of D'Abbicco--Lucente--Reissig 2015, our result clarifies the threshold exponent $p_0(N+μ)$ for dividing blowup phenomena and global existence of small solutions when $N=3$. The crucial idea is to construct suitable test functions satisfying the conjugate linear equation $\pa_t^2Φ-ΔΦ-\pa_t(\fracμ{1+t}Φ)=0$ of (DW) including the Gauss hypergeometric functions; note that the construction of test functions is different from Zhou--Han in 2014.

研究动机与目标

• 建立具有时变临界阻尼 $\frac{\mu}{1+t}\partial_t u$ 的半线性波动方程小初值解寿命的精确上界。
• 澄清在临界与次临界情形下，区分小解爆破与全局存在的临界指数 $p_0(N+\mu)$。
• 将先前针对 $\mu=0$ 的爆破结果推广至 $\mu>0$ 的情形，特别是对 $N=3$ 的情况，此时临界指数为 $p_0(N+\mu)$。
• 通过高斯超几何函数构造满足阻尼波动方程共轭线性方程的合适测试函数，以实现寿命估计的推导。

提出的方法

• 通过高斯超几何函数构造解共轭线性方程 $\partial_t^2 \Phi - \Delta \Phi - \partial_t\left(\frac{\mu}{1+t}\Phi\right) = 0$ 的测试函数 $\Phi$。
• 采用尺度变换与加权能量估计方法，结合精心选择的权重 $\beta_0, \beta_\delta$，以控制解的 $L^p$ 范数的增长。
• 定义辅助函数 $G_{\beta_0}(t)$、$H_{\beta_0}(t)$ 和 $J_{\beta_0}(t)$，以追踪随时间演化的能量与 $L^p$-范数贡献。
• 应用格朗沃尔型不等式与含对数权重的积分估计，推导能量泛函的微分不等式。
• 通过变量替换 $\sigma = \log(1+t)$ 分析对数尺度下的爆破行为，并应用引理 3.1 推出有限时间爆破。
• 通过证明辅助函数 $J_{\beta_0}(t)$ 在 $\exp[K_5 \varepsilon^{-p(p-1)}]$ 之前发生爆破，建立寿命上界 $\operatorname{LifeSpan}(u_\varepsilon) \leq \exp[K_5 \varepsilon^{-p(p-1)}]$。

实验结果

研究问题

• RQ1 具有时变阻尼 $\frac{\mu}{1+t}\partial_t u$ 的半线性波动方程小初值解的寿命的精确上界是什么？
• RQ2 当阻尼为时变且临界时（$\mu \in [0, \frac{N^2+N+2}{N+2})$），爆破与全局存在的临界指数如何变化？
• RQ3 基于高斯超几何函数的测试函数方法能否适用于时变阻尼情形，以推导寿命估计？
• RQ4 在临界与次临界范围 $p_F(N) \leq p \leq p_0(N+\mu)$ 内，寿命对小参数 $\varepsilon$ 的精确依赖关系是什么？
• RQ5 与已知的 $\mu=0$ 情形（Strauss 指数）及 $\mu>0$ 情形（Fujita 与修正的 Strauss 指数）相比，寿命估计有何异同？

主要发现

• 小初值解的寿命满足 $\operatorname{LifeSpan}(u_\varepsilon) \leq \exp[K_5 \varepsilon^{-p(p-1)}]$，其中 $p_F(N) \leq p \leq p_0(N+\mu)$，提供了精确的上界。
• 临界指数 $p_0(N+\mu)$ 被确认为 $\mu > 0$ 时区分小解爆破与全局存在的关键值，将经典 Strauss 指数推广至时变阻尼情形。
• 对于 $N=3$，结果证实 $p_0(N+\mu)$ 是精确临界值，解决了关于 $p_0(N+\mu)$ 与 $p_F(N)$ 哪一个决定爆破行为的开放问题。
• 通过高斯超几何函数构造测试函数的方法为处理时变阻尼下共轭方程提供了新途径，区别于以往方法。
• 寿命估计与临界情形 $p = p_0(N+\mu)$ 一致，表明爆破发生在 $\varepsilon^{-1}$ 的二重指数时间内，与 $\mu=0$ 情形的行为相符。
• 分析结果表明，临界阻尼 $\mu \in [0, \frac{N^2+N+2}{N+2})$ 并未阻止次临界与临界范围内的爆破，但将临界指数更改为 $p_0(N+\mu)$。