[论文解读] Sign-changing stationary solutions and blowup for the nonlinear heat equation in dimension two

Flavio Dickstrein, Filomena Pacella+1 more|arXiv (Cornell University)|Apr 9, 2013

Nonlinear Partial Differential Equations参考文献 15被引用 5

一句话总结

该论文证明，对于 R² 中单位圆盘内的非线性热方程，当幂次 $ p $ 足够大时，具有固定节点区域数的径向变号稳态解在单位尺度附近受到微小扰动后，会引发有限时间爆破。该结果基于对解及其相关线性化算子渐近行为的分析，通过谱条件证明了不稳定性，从而触发爆破。

ABSTRACT

Consider the nonlinear heat equation v_t-Δv=|v|^{p-1}v in the unit ball of R^2, with Dirichlet boundary condition. Let u_{p,K} be a radially symmetric, sign-changing stationary solution having a fixed number K of nodal regions. We prove that the solution of the equation with initial value λu_{p,K} blows up in finite time if |λ-1|>0 is sufficiently small and if p is sufficiently large. The proof is based on the analysis of the asymptotic behavior of $u_{p,K}$ and of the linearized operator L= -Δ- p |u_{p,K}|^{p-1}. To show this we consider the linearized operator L= -Δ- p|u_p|^{p-1} and study the behavior of its first eigenvalue and of its first normalized eigenfunction for large p.

研究动机与目标

• 研究二维非线性热方程中径向变号稳态解的稳定性与爆破行为。
• 确定此类解在初始数据为单位尺度附近微小扰动时是否会导致有限时间爆破，特别是当 $ p $ 很大时。
• 将先前在高维中关于非星形全局解集的结果推广至此前未解决的 $ N=2 $ 情况。
• 基于稳态解附近线性化算子的谱性质，建立爆破准则。
• 分析当 $ p \to \infty $ 时解及其关联特征函数的渐近行为。

提出的方法

• 通过重标度与爆破技术，分析当 $ p \to \infty $ 时径向变号稳态解 $ u_{p,\mathcal{K}} $ 的渐近轮廓。
• 在 $ \mathbb{R}^2 $ 上引入一个重标度问题，以研究在变换 $ x \mapsto \varepsilon_p x $（其中 $ \varepsilon_p \to 0 $）下解及其第一特征函数的极限。
• 证明重标度后的第一特征函数 $ \tilde{\varphi}_{1,p} $ 在 $ L^2(\mathbb{R}^2) $ 中收敛到极限轮廓 $ \varphi_1^* $，并确定极限线性算子。
• 应用文献 [7] 中的谱准则（命题 1.2），该准则将内积 $ \int_\Omega u \varphi_1 \neq 0 $ 的符号与附近初始数据的爆破联系起来。
• 利用线性化算子 $ L = -\Delta - p|u_{p,\mathcal{K}}|^{p-1} $ 的第一特征值 $ \tilde{\lambda}_1(p) $ 的变分刻画，估计其在 $ p \to \infty $ 时的行为。
• 运用 Hölder 不等式、变量替换及 $ \tilde{\varphi}_{1,p} $ 的衰减估计，控制关键积分渐近展开中的误差项。

实验结果

研究问题

• RQ1 在 $ \mathbb{R}^2 $ 中，非线性热方程的径向变号稳态解在初始数据为单位尺度附近微小扰动（即 $ \lambda \approx 1 $）时，是否会导致有限时间爆破？
• RQ2 当 $ p \to \infty $ 时，稳态解 $ u_{p,\mathcal{K}} $ 及其相关线性化算子的渐近行为如何？
• RQ3 对于大 $ p $，谱条件 $ \int_\Omega u_{p,\mathcal{K}} \varphi_1 \neq 0 $ 是否可验证，从而通过已知的不稳定性准则推导出爆破？
• RQ4 与 $ N>2 $ 相比，$ N=2 $ 中的爆破行为有何不同，尤其是在先前研究已表明存在非星形全局解集的背景下？
• RQ5 对于 $ \lambda $ 的爆破阈值是否关于 $ \lambda=1 $ 对称，还是依赖于扰动的符号？

主要发现

• 对于任意固定的 $ \mathcal{K} \in \mathbb{N} $，存在 $ p^* = p^*(\mathcal{K}) > 1 $，使得对所有 $ p > p^* $，若初始数据为 $ \lambda u_{p,\mathcal{K}} $ 且满足 $ 0 < |1 - \lambda| < \varepsilon $（$ \varepsilon > 0 $ 足够小），则解在有限时间内爆破。
• 关键积分 $ \int_\Omega |u_{p,\mathcal{K}}|^{p-1} u_{p,\mathcal{K}} \varphi_{1,p} $ 被证明为正，且当 $ p \to \infty $ 时渐近等价于 $ \int_{\mathbb{R}^2} e^{z^*} \varphi_1^* > 0 $，从而确认了命题 1.2 中的谱条件。
• 重标度后的第一特征函数 $ \tilde{\varphi}_{1,p} $ 在 $ L^2(\mathbb{R}^2) $ 中强收敛于正的极限 $ \varphi_1^* $，该极限是极限算子 $ -\Delta - e^{z^*} $ 的第一特征函数。
• 渐近分析确认线性化算子的第一特征值 $ \tilde{\lambda}_1(p) $ 收敛到一个正极限，从而保证了不稳定性所需的谱条件。
• 爆破现象在 $ \lambda > 1 $ 和 $ \lambda < 1 $ 时均发生，表明全局解集 $ \mathcal{G} $ 即使对变号解而言，围绕零点也不是星形的。
• 该结果完整刻画了 $ \mathbb{R}^2 $ 中非线性热方程的行为，解决了早期研究在 $ N \geq 3 $ 情况下遗留的 $ N=2 $ 开放问题。