[论文解读] The existence and nonexistence of global solutions for a semilinear heat equation on graphs

Yong Lin, Yiting Wu|arXiv (Cornell University)|Feb 12, 2017

Geometric Analysis and Curvature Flows参考文献 11被引用 4

一句话总结

本文通过热核估计，建立了在图上满足曲率-维数条件 $CDE^\prime(n,0)$ 且体积增长 $V(x,r)\simeq r^m$ 的图上，半线性热方程全局解存在与非存在的条件。当 $m\alpha > 2$（初始数据较小时），全局解存在；当 $0 < m\alpha < 2$ 时，不存在非负全局解，从而将Fujita型结果推广至离散图如 $\mathbb{Z}^m$。结果通过图拉普拉斯算子上的热核界与积分估计推导得出。

ABSTRACT

Let $G=(V,E)$ be a finite or locally finite connected weighted graph, $Δ$ be the usual graph Laplacian. Using heat kernel estimate, we prove the existence and nonexistence of global solutions for the following semilinear heat equation on $G$ \begin{equation*} \left\{ \begin{array}{lc} u_t=Δu + u^{1+α} &amp;\, ext{in $(0,+\infty) imes V$,}\\ u(0,x)=a(x) &amp;\, ext{in $V$.} \end{array} ight. \end{equation*} We conclude that, for a graph satisfying curvature dimension condition $CDE'(n,0)$ and $V(x,r)\simeq r^m$, if $02$, then there is a non-negative global solution $u$ provided that the initial value is small enough. In particular, these results are true on lattice $\mathbb{Z}^m$.

研究动机与目标

• 将Fujita在 $\mathbb{R}^m$ 中关于半线性热方程全局解的古典结果推广至图的离散设定。
• 研究图的体积增长 $V(x,r)\simeq r^m$ 与非线性指数 $\alpha$ 之间的相互作用，如何决定全局解的行为。
• 为有限或局部有限加权图上 $u_t = \Delta u + u^{1+\alpha}$ 的非负全局解的存在或非存在性建立充分条件。
• 通过分析满足 $CDE^\prime(n,0)$ 的图上 $m\alpha = 2$ 的临界阈值，提供Fujita指数 $\alpha = 2/m$ 的离散类比。

提出的方法

• 利用由曲率-维数条件 $CDE^\prime(n,0)$ 导出的热核估计，作者界定了图上随机游走的转移概率。
• 对热核 $p_t(x,y)$ 应用高斯上界与下界，作者推导出分析解增长所必需的衰减估计。
• 通过热核的积分表示法，作者推导出一个非线性积分不等式，以研究解的长时间行为。
• 利用体积增长条件 $V(x,r)\simeq r^m$，作者将图的几何结构与临界指数 $m\alpha = 2$ 联系起来。
• 通过反证法证明非存在性：当 $0 < m\alpha < 2$ 时，假设全局解存在将导致关键积分项无界增长，从而产生矛盾。
• 通过小初值论证建立存在性：当 $m\alpha > 2$ 时，在合适的函数空间中利用不动点方法，可确保对足够小的初始数据存在全局解。

实验结果

研究问题

• RQ1 在图的几何与非线性性满足何种条件时，半线性热方程 $u_t = \Delta u + u^{1+\alpha}$ 在图上存在非负全局解？
• RQ2 体积增长速率 $m$ 与非线性指数 $\alpha$ 如何相互作用，以决定图上解的存在性或爆破行为？
• RQ3 能否将Fujita型结果——临界指数 $\alpha = 2/m$——推广至如 $\mathbb{Z}^m$ 这类离散图？
• RQ4 曲率-维数条件 $CDE^\prime(n,0)$ 在决定热核衰减与解行为方面起何种作用？
• RQ5 图上的热核估计如何支持对非线性抛物方程全局存在性与非存在性的分析？

主要发现

• 对于满足 $CDE^\prime(n,0)$ 且 $V(x,r)\simeq r^m$ 的图，当 $0 < m\alpha < 2$ 时，无论初始数据大小如何，均不存在非负全局解。
• 若 $m\alpha > 2$，则在图满足 $CDE^\prime(n,0)$ 且 $V(x,r)\simeq r^m$ 的条件下，对足够小的初始数据 $a(x)$，存在非负全局解。
• 在整数格点 $\mathbb{Z}^m$ 上，结果与Fujita在 $\mathbb{R}^m$ 中的原始结果一致，临界指数 $\alpha = 2/m$ 将全局存在性与非存在性分隔开来。
• 热核下界 $p(t,x,x) \geq c_0^{-1} C (t/2)^{-m/2}$（当 $t > \max\{1/2, 2r_0^2\}$ 时）在证明 $0 < m\alpha < 2$ 时的非存在性中起关键作用。
• 存在性证明依赖于加权 $\ell^\infty$ 空间中的不动点方法，利用初始数据的微小性来控制非线性项。
• 在六元环图 $\mathrm{C}_6$ 上的数值实验验证了理论结果：当 $\alpha = 1$ 且初始数据较大时发生爆破，而当 $\alpha = 3$ 且初始数据极小时存在全局解。