[论文解读] Type II Finite time blow-up for the three dimensional energy critical heat equation

Manuel del Pino, Monica Musso+3 more|arXiv (Cornell University)|Feb 13, 2020

Advanced Mathematical Physics Problems参考文献 34被引用 9

一句话总结

本论文首次严格构造了三维能量临界型热方程 $ u_t = \Delta u + u^5 $ 的类型 II 有限时间爆破解，采用改进的内外粘合方法处理核函数 $ Z_0(y) \sim |y|^{-1} $ 的缓慢衰减。解以速率 $ \|u\|_{L^\infty} \sim (T-t)^{-k} $ 爆破，其中 $ k $ 为任意正整数，证实了 Filippas、Herrero 和 Velázquez 的形式计算结果。

ABSTRACT

We consider the following Cauchy problem for three dimensional energy critical heat equation \begin{equation*} \begin{cases} u_t=Δu+u^{5},~&\mbox{ in } \ {\mathbb R}^3 imes (0,T),\\ u(x,0)=u_0(x),~&\mbox{ in } \ {\mathbb R}^3. \end{cases} \end{equation*} We construct type II finite time blow-up solution $u(x,t)$ with the blow-up rates $ \| u\|_{L^\infty} \sim (T-t)^{-k}$, where $ k=1,2,... $. This gives a rigorous proof of the formal computations by Filippas, Herrero and Velazquez \cite{fhv}. This is the first instance of type II finite time blow-up for three dimensional energy critical heat equation.

研究动机与目标

• 为三维能量临界型热方程 $ u_t = \Delta u + u^5 $ 构造一种类型 II 有限时间爆破解，尽管已有形式预测，但该问题长期悬而未决。
• 严格验证 Filippas、Herrero 和 Velázquez 关于三维情形爆破速率 $ \|u\|_{L^\infty} \sim (T-t)^{-k} $ 的形式渐近展开。
• 克服在基态附近线性化算子中非 $ L^2 $-可积核 $ Z_0(y) \sim |y|^{-1} $ 带来的挑战。
• 将内外粘合方法拓展至临界维数 $ n=3 $，以处理缓慢衰减的误差项，此前方法在该情形下失效。

提出的方法

• 采用内外粘合方法将解分解为内（爆破）和外（正则）两部分，在界面处匹配渐近展开式。
• 基于 Filippas、Herrero 和 Velázquez 的形式计算，采用匹配渐近展开法构造爆破轮廓的一阶近似。
• 引入全局校正项以吸收来自核函数 $ Z_0(y) \sim |y|^{-1} $ 的缓慢衰减误差，该误差不属于 $ L^2 $ 空间，从而稳定构造过程。
• 应用 Lyapunov-Schmidt 降维法将偏微分方程转化为有限维问题，通过不动点论证求解参数 $ \mu(t) $ 和 $ \theta(x,t) $。
• 在时变加权 $ L^\infty $ 空间中使用加权范数并进行精细估计，以控制误差项，尤其在衰减微弱的外区域。
• 利用 Hermite 多项式 $ H_{2k} $ 和径向轮廓 $ w(y) = 3^{1/4}(1+|y|^2)^{-1/2} $ 的结构，实现对任意 $ k \in \mathbb{Z}_+ $ 的爆破轮廓建模。

实验结果

研究问题

• RQ1 能否为三维能量临界型热方程严格构造出具有任意爆破速率 $ (T-t)^{-k} $ 的类型 II 爆破解？
• RQ2 Filippas、Herrero 和 Velázquez 在 $ n=3 $、$ p=5 $ 及 $ k \in \mathbb{Z}_+ $ 情形下的形式渐近轮廓在数学上是否成立？
• RQ3 如何将内外粘合方法调整以处理三维情形中非 $ L^2 $-可积核 $ Z_0(y) \sim |y|^{-1} $ 的问题？
• RQ4 当误差衰减过慢而无法使用标准粘合技术时，全局校正项在稳定解中的作用是什么？

主要发现

• 本论文为任意 $ k \in \mathbb{Z}_+ $ 构造了解 $ u(x,t) $，其满足三维能量临界型热方程 $ u_t = \Delta u + u^5 $，在有限时间 $ T $ 内爆破，且满足 $ \|u\|_{L^\infty} \sim (T-t)^{-k} $，证实了 Filippas、Herrero 和 Velázquez 的形式预测。
• 爆破速率通过包含基态 $ w(y) = 3^{1/4}(1+|y|^2)^{-1/2} $、校正项 $ J $ 和 Hermite 多项式 $ H_{2k} $ 的轮廓实现，其振幅由 $ \mu(t) \sim 3^{1/2}A(T-t)^{2k} $ 调制。
• 该方法成功克服了 $ |y|^{-1} $ 衰减核带来的困难，通过引入吸收缓慢衰减误差的全局校正项，使不动点论证得以闭合。
• 误差项 $ \theta(x,t) $ 满足 $ \|\theta\|_{L^\infty} \leq T^a $，其中 $ a>0 $，确保解保持在构造轮廓的附近。
• 这是首次在 $ n=3 $ 的能量临界情形下严格构造出类型 II 爆破解，填补了非线性抛物型偏微分方程理论中的重大空白。
• 该结果将内外粘合方法的应用范围拓展至线性化算子存在非 $ L^2 $-可积模态的维数，为其他临界或超临界情形下的类似构造打开了大门。