[论文解读] Blow-up for a semilinear heat equation with Fujita's critical exponent on locally finite graphs

Yiting Wu|arXiv (Cornell University)|Apr 16, 2020

Geometric Analysis and Curvature Flows参考文献 18被引用 5

一句话总结

该论文证明，对于满足曲率-维数条件 $CDE'(n,0)$ 且具有均匀多项式体积增长度数 $m$ 的局部有限、连通加权图，当 $α = \frac{2}{m}$ 时，半线性热方程 $∂_t u = \Delta u + u^{1+\alpha}$ 的所有非负解均在有限时间内爆破，从而解决了先前工作中遗留的临界指数情形。证明结合了热核估计、解的积分表示以及在放宽的体积和初始数据条件下进行的比较论证，将Fujita型结果推广至图上。

ABSTRACT

Let $G=(V,E)$ be a locally finite, connected and weighted graph. We prove that, for a graph satisfying curvature dimension condition $CDE'(n,0)$ and uniform polynomial volume growth of degree $m$, all non-negative solutions of the equation $\partial_tu=Δu+u^{1+α}$ blow up in a finite time provided that $α=\frac{2}{m}$. We also consider the blow-up problem under certain conditions for volume growth and initial value. The obtained results provide a significant complement to the work by Lin and Wu in earlier paper.

研究动机与目标

• 为解决此前未解的问题：在局部有限图上，当 $α = \frac{2}{m}$ 时，半线性热方程 $∂_t u = \Delta u + u^{1+\alpha}$ 是否存在全局非负解，或所有此类解是否在有限时间内爆破。
• 通过在均匀多项式体积增长条件下建立 $α = \frac{2}{m}$ 时的爆破结果，扩展林和吴（Lin and Wu）先前的工作，后者排除了临界指数情形。
• 将爆破结果推广至体积增长略慢于多项式的情形，如 $\mathcal{V}(x_0,r) \sim r^m \log^\eta r$，同时保持初始数据的正下界。
• 在各种体积增长和初始数据条件下，对图上半线性热方程的全局存在性与爆破行为提供完整刻画。

提出的方法

• 利用 $CDE'(n,0)$ 曲率条件推导图上的热核估计，从而控制解的行为。
• 通过热核对解进行积分表示，将 $u(t,x)$ 表示为初始数据与基本解的函数。
• 应用比较技术，利用热核和初始数据的下界，推导出解增长的下界。
• 通过反证法证明爆破：假设全局存在将导致与推导出的下界不相容的增长率。
• 依赖于体积增长条件——均匀多项式增长（c.1）和对数扰动（c.2）——以控制热核的衰减。
• 利用在 $CDE'(n,0)$ 条件下 $p_r(2t,x_0,x_0) \gtrsim \mathcal{V}(x_0,\sqrt{2t})^{-1}$ 的事实，这是推导爆破估计的关键。

实验结果

研究问题

• RQ1 在满足 $α = \frac{2}{m}$ 的局部有限图上，半线性热方程 $\u2202_t u = \Delta u + u^{1+\alpha}$ 是否存在全局非负解，还是所有此类解均在有限时间内爆破？
• RQ2 能否将 $α = \frac{2}{m}$ 时的爆破结果从均匀多项式体积增长推广至体积增长为 $\sim r^m \log^\eta r$ 的图？
• RQ3 当初始数据满足 $a(x) \geq a_0 > 0$ 时，对 $α \leq \frac{2}{m}$ 的爆破行为有何影响？
• RQ4 曲率-维数条件 $CDE'(n,0)$ 在确保图上爆破分析所需热核估计方面起到什么作用？
• RQ5 Fujita 的临界指数 $α = \frac{2}{m}$ 是否属于图上的爆破区域，正如在 $\mathbb{R}^m$ 中一样？

主要发现

• 对于满足 $CDE'(n,0)$ 且具有均匀多项式体积增长度数 $m$ 的图，当 $α = \frac{2}{m}$ 时，半线性热方程 $∂_t u = \Delta u + u^{1+\alpha}$ 的所有非负解均在有限时间内爆破，确认了临界指数情形属于爆破情况。
• 在体积增长条件 $\mathcal{V}(x_0,r) \sim r^m \log^\eta r$ 和 $\inf_x a(x) > 0$ 下，对所有 $\alpha \in (0, \frac{2}{m}]$ 均发生爆破，将结果推广至严格多项式情形之外。
• 爆破时间有限，且与初始数据的空间分布无关，只要初始数据被正的常数下界控制。
• 证明依赖于推导出解的下界，其随时间的增长快于任何多项式，与全局存在的假设矛盾。
• 该结果完整刻画了满足 $CDE'(n,0)$ 和体积增长 $\sim r^m \log^\eta r$ 的图上的情形，表明 $\alpha = \frac{2}{m}$ 属于爆破区域，而 $\alpha > \frac{2}{m}$ 时，对小初始数据允许全局解。
• 该分析确认，临界指数 $\alpha = \frac{2}{m}$ 属于图上的爆破情形，与欧氏空间中的情况一致，填补了林和吴（2014）遗留的空白。