[論文レビュー] 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$ であれば非負グローバル解は存在しない。これは、$\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$.

研究の動機と目的

• $\mathbb{R}^m$ における半線形熱方程式のグローバル解に関するフジタの古典的結果を、グラフの離散的設定に拡張すること。
• グラフの体積成長 $V(x,r)\simeq r^m$ と非線形性指数 $\alpha$ の相互作用が、グローバル解の挙動をどのように決定するかを調査すること。
• 有限または局所的に有限な重み付きグラフ上で $u_t = \Delta u + u^{1+\alpha}$ の非負グローバル解の存在または非存在の十分条件を確立すること。
• $CDE^\prime(n,0)$ を満たすグラフ上で、フジタ指数 $\alpha = 2/m$ の離散的類似を、臨界閾値 $m\alpha = 2$ の分析によって得ること。

提案手法

• 曲率次元条件 $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 フジタ型結果（臨界指数 $\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$ であれば、初期データ $a(x)$ が十分に小さい場合に、$CDE^\prime(n,0)$ および $V(x,r)\simeq r^m$ を満たすグラフ上で非負グローバル解が存在する。
• 整数格子 $\mathbb{Z}^m$ では、結果が $\mathbb{R}^m$ におけるフジタの元々の結果と一致し、臨界指数 $\alpha = 2/m$ がグローバル存在と非存在を分ける。
• $t > \max\{1/2, 2r_0^2\}$ に対して $p(t,x,x) \geq c_0^{-1} C (t/2)^{-m/2}$ である熱核下界は、$0 < m\alpha < 2$ の非存在を示すために不可欠である。
• 存在証明は、初期データの小ささを用いて非線形項を制御する、重み付き $\ell^\infty$ 空間における固定点法に依存する。
• 6サイクルグラフ $\mathrm{C}_6$ における数値実験は理論的結果を確認している：$\alpha = 1$ で初期データが大きい場合に爆発が発生するが、$\alpha = 3$ で初期データが極めて小さい場合にはグローバル解が存在する。