[论文解读] The sharp lifespan estimate for semilinear damped wave equation with Fujita critical power in high dimensions

N. Lai, Yi Zhou|arXiv (Cornell University)|Feb 23, 2017

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

一句话总结

本文通过在改进的测试函数方法中使用热核作为测试函数，建立了高维（$ n \geq 4 $）半线性阻尼波动方程在Fujita临界指数 $ p = 1 + \frac{2}{n} $ 情况下经典解寿命的精确上界。关键结果为 $ T(\varepsilon) \leq \exp\left(C\varepsilon^{-\frac{2}{n}}\right) $，结合先前已知的下界，完整给出了高维情形下的精确寿命估计。

ABSTRACT

This paper is concerned about the lifespan estimate to the Cauchy problem of semilinear damped wave equations with the Fujita critical exponent in high dimensions$(n\geq 4)$. We establish the sharp upper bound of the lifespan in the following form \begin{equation} onumber\\ \begin{aligned} T(\varepsilon)\leq \exp(C\varepsilon^{-\frac 2n}), \end{aligned} \end{equation} by using the heat kernel as the test function.

研究动机与目标

• 为高维（$ n \geq 4 $）半线性阻尼波动方程在Fujita临界指数下解的寿命已知上界与下界之间的差距提供填补。
• 在 $ p = 1 + \frac{2}{n} $ 时，建立解寿命 $ T(\varepsilon) $ 的精确上界，使其与先前工作所得的下界相匹配。
• 通过引入一种新颖的测试函数策略，克服在高维中基于基本解正性经典方法失效的问题。
• 利用阻尼波动方程的扩散现象，采用热核作为测试函数，使问题在形式上类似于热方程处理。

提出的方法

• 作者在测试函数方法中使用热核作为测试函数，利用阻尼波动方程与热方程之间渐近相似性的特点。
• 应用杜哈梅尔原理将解表示为初始数据与源项的组合，从而导出一个积分不等式。
• 基于解及其导数定义一个函数 $ \beta(t) $，进而得到一个涉及 $ \beta''(t) - \beta'(t) $ 的二阶微分不等式。
• 通过引入变换 $ \beta(t) = e^t \gamma(t) $，将不等式转化为 $ \widetilde{\gamma}''(t) + \widetilde{\gamma}'(t) \geq \frac{C_6 \widetilde{\gamma}^p(t)}{1+t} $，其中 $ \widetilde{\gamma}(t) = \varepsilon + \gamma(t) $。
• 利用已知引理（引理3.6）分析 $ \widetilde{\gamma}(t) $ 的爆破行为，该引理为满足此类微分不等式的函数提供寿命估计。
• 通过将引理应用于参数 $ \alpha = \frac{2}{n} $，$ \beta = 1 $，最终导出上界 $ T(\varepsilon) \leq \exp(C\varepsilon^{-\frac{2}{n}}) $。

实验结果

研究问题

• RQ1 在高维（$ n \geq 4 $）下，半线性阻尼波动方程在Fujita临界指数 $ p = 1 + \frac{2}{n} $ 情况下，经典解寿命的精确上界是什么？
• RQ2 在基本解不为正的高维情形下，测试函数方法能否被适配于阻尼波动方程？
• RQ3 阻尼波动方程的扩散现象是否允许将热核作为有效测试函数用于寿命估计？
• RQ4 当与已知下界 $ T(\varepsilon) \geq \exp(c\varepsilon^{-\frac{2}{n}}) $ 结合时，寿命估计 $ T(\varepsilon) \leq \exp(C\varepsilon^{-\frac{2}{n}}) $ 是否是精确的？

主要发现

• 本文建立了高维（$ n \geq 4 $）下经典解寿命的精确上界 $ T(\varepsilon) \leq \exp\left(C\varepsilon^{-\frac{2}{n}}\right) $。
• 该上界与先前已知的下界 $ T(\varepsilon) \geq \exp\left(c\varepsilon^{-\frac{2}{n}}\right) $ 完全匹配，从而完成精确寿命估计。
• 热核被成功用作测试函数，克服了高维中基本解缺乏正性的问题。
• 该方法依赖于将问题转化为关于 $ \widetilde{\gamma}(t) $ 的微分不等式，其爆破行为决定了寿命。
• 结果确认Fujita临界指数 $ p = 1 + \frac{2}{n} $ 在高维中为有限时间爆破的临界阈值，与热方程情形一致。
• 分析确认寿命估计是精确的，指数部分 $ \frac{2}{n} $ 在指数中为最优。