[论文解读] Existence and stability of a blow-up solution with a new prescribed behavior for a heat equation with a critical nonlinear gradient term

Slim Tayachi, Hatem Zaag|arXiv (Cornell University)|Oct 5, 2016

Advanced Mathematical Modeling in Engineering参考文献 24被引用 4

一句话总结

本文针对带梯度项的临界非线性热方程构造了一个爆破解，通过有限维约化和拓扑度理论证明了其存在性与稳定性。该解展现出一种新颖的爆破形式，与经典 $ f_0 $ 不同，且在爆破时刻与位置附近具有精确的渐近行为。

ABSTRACT

We consider the semilinear heat equation, to which we add a nonlinear gradient term, with a critical power. We construct a solution which blows up in finite time. We also give a sharp description of its blow-up profile. The proof relies on the reduction of the problem to a finite dimensional one, and uses the index theory to conclude. Thanks to the interpretation of the parameters of the finite-dimensional problem in terms of the blow-up time and point, we also show the stability of the constructed solution with respect to initial data. This note presents the results and the main arguments. For the details, we refer to our paper \\cite{TZ15}.

研究动机与目标

• 建立带临界非线性梯度项的半线性热方程的有限时间爆破解的存在性。
• 对爆破形式给出精确的渐近描述，其与经典的 $ f_0 $ 形式不同。
• 证明所构造解在初始数据小扰动下的稳定性。
• 利用相似变量分析解在爆破时刻与位置附近的渐近行为。
• 拓展对临界梯度非线性项下爆破动力学的理解。

提出的方法

• 通过自相似变换，将无限维PDE问题约化为相似变量下的有限维动力系统。
• 应用拓扑度理论求解约化后的有限维问题，确保解始终位于指定紧集内。
• 使用映射 $ (d_0, d_1) o ( ilde{ heta}_0, ilde{ heta}_1) $ 将初始参数与爆破时间及位置关联，实现稳定性分析。
• 利用抛物型正则性估计，证明当 $ s o ty $ 时 $ abla v(s) o 0 $，确保解在 $ W^{1, y} $ 中有界。
• 通过集合 $ heta_A(s) $ 实施捕获论证，确保解在爆破前始终处于受控区域。
• 依赖临界指数 $ q = q_c = 2p/(p+1) $，其保持标度不变性，从而实现新爆破形式的构造。

实验结果

研究问题

• RQ1 对于带梯度项的临界非线性热方程，是否存在一个不同于经典 $ f_0 $ 形式的爆破解？
• RQ2 能否在爆破时刻与位置附近以精确的渐近精度描述爆破形式？
• RQ3 所构造的爆破解在初始数据小扰动下是否稳定？
• RQ4 与标准半线性热方程相比，临界非线性梯度项的引入如何改变爆破动力学？
• RQ5 有限维问题中的参数能否被解释为爆破时间与位置，从而用于证明稳定性？

主要发现

• 存在一个在有限时间 $ T > 0 $ 内于原点唯一爆破的解，其爆破形式不同于经典 $ f_0 $。
• 爆破形式由 $ (T-t)^{1/(p-1)} u(z au(t), t) o f(z) $ 描述，其中 $ f(z) $ 为与 $ f_0 $ 不同的新形式。
• 通过度理论与有限维约化中参数的解释，证明了解对初始数据扰动具有稳定性。
• 有限维约化通过相似变量实现，且解在所有 $ s o y $ 时保持在紧集 $ heta_A(s) $ 内，从而保证了解的存在性。
• 从初始参数 $ (d_0, d_1) $ 到爆破时间与位置的映射是连续且度为一的，从而支持稳定性证明。
• 抛物型正则性估计确认当 $ s o y $ 时 $ abla v(s) o 0 $，这对渐近分析与形式控制至关重要。