[論文レビュー] Front Propagation for Nonlocal KPP Reaction-Diffusion Equations in Periodic Media

Panagiotis E. Souganidis, Andrei Tarfulea|arXiv (Cornell University)|Jul 3, 2017

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 18被引用数 4

ひとこと要約

本稿は、周期的媒体および非局所的α安定的類似拡散（0 < α < 2）を伴う非局所KPP反応拡散方程式の長時間・大スケールにおける漸近的挙動を確立する。特異的スケーリングと指数変換を用いて、解が線形化作用素の主固有値によって定まる速度で進行する波フロントに収束することを証明し、|x|^{d+α}でスケーリングされた半径距離と時間の指数的増大に伴い、消滅と存続の鋭い遷移が生じることを示す。

ABSTRACT

We study front propagation phenomena for a large class of nonlocal KPP-type reaction-diffusion equations in oscillatory environments, which model various forms of population growth with periodic dependence. The nonlocal diffusion is an anisotropic integro-differential operator of order $α\in (0,2)$.

研究の動機と目的

• 周期的媒体および非局所的、非局所的拡散（α ∈ (0,2)）を伴う非局所KPP反応拡散方程式の長時間・大スケール挙動を理解すること。
• 拡散が非局所的であり、反応項が空間的に周期的かつKPP型の条件を満たす系における波フロント伝播を特徴付けること。
• 有効ハミルトニアン・ジューゲィ方程式のレベルでフロント運動を捉える特異的スケーリング下での解の漸近的極限を分析すること。
• 線形化作用素の主固有値の存在および性質を確立し、これがフロント速度を支配することを示すこと。
• 大スケール極限における解の消滅領域と存続領域の正確な遷移を特定すること。

提案手法

• 解の長時間・大スケール挙動を研究するために、$ u^\rho(x,t) = u(\rho^{-1}x, \rho^{-1}t) $ の形の特異的スケーリングを導入する。
• 非線形非局所方程式を変換するための指数変換 $ u^\rho = \text{exp}(v^\rho) $ を適用し、$ v^\rho $ に対する変分不等式を導出し、均質化解析を可能にする。
• 粘性解理論および均質化理論を用いて、$ v^\rho $ が局所的に一様に $ v(x,t) = \min(0, |\lambda_1|t - (d+\alpha)\log|x|) $ に収束することを示す。ここで $ \lambda_1 $ は線形化作用素の負の主固有値である。
• コンパクトネスの議論と、関数 $ h(x,t) = (1 + e^{-\lambda t}|x|^{d+\alpha})^{-1} $ を用いたバリア構成を用いて、非局所拡散作用素 $ L^\alpha $ を制御する。
• Kreïn-Rutman定理およびLax-Milgram理論を用いて、線形化作用素の主固有関数および固有値の存在と正の性質を確立する。
• 周期的設定における下位・上位解法を用いて、$ \lambda_1 < 0 $ のとき、正で滑らかな周期的定常状態 $ u^+ $ の存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 非局所KPP方程式において、周期的媒体および非局所的拡散（α ∈ (0,2)）を伴うとき、波フロント伝播はどのように振る舞うか？
• RQ2 特異的スケーリング下での大スケール・長時間極限において、フロントの漸近的速度は何か？
• RQ3 特異的で重尾を持つカーネルを持つ非局所拡散作用素 $ L^\alpha $ は、局所的拡散と比較して伝播ダイナミクスにどのように影響を与えるか？
• RQ4 線形化作用素の主固有値 $ \lambda_1 $ は、フロント速度および解の存続性を決定づける上で果たす役割は何か？
• RQ5 大スケール極限において、スケーリングされた解 $ u^\epsilon $ は、定常状態または遷移層への収束として特徴付けられるか？

主な発見

• スケーリング解 $ v^\rho $ は局所的に一様に $ v(x,t) = \min(0, |\lambda_1|t - (d+\alpha)\log|x|) $ に収束する。ここで $ \lambda_1 $ は線形化作用素 $ L^\alpha - \partial_u f $ の負の主固有値である。
• 大スケール極限において、解 $ u^\epsilon $ は領域 $ \{ |x|^{d+\alpha} > e^{|\lambda_1|t} \} $ で 0 に収束し、フロントを超えて消滅していることを示す。
• 内部領域 $ \{ |x|^{d+\alpha} < e^{|\lambda_1|t} \} $ では、スケーリング解 $ u^\epsilon $ は周期的定常状態 $ u^+(\widehat{x}|x|^{1/\epsilon}) $ に収束し、存続していることを示す。
• 有効フロント速度は指数関数的増加率 $ e^{|\lambda_1|t} $ によって決定され、径方向スケーリング $ |x|^{d+\alpha} $ が非局所拡散の非一様幾何を捉えている。
• 解 $ u^\epsilon $ は $ u^+ $ の振動的性質のため、内部領域で点単位収束しないが、空間平均 $ \overline{U} = \frac{1}{|Q|} \int_Q u^+(x) dx $ に弱収束する。
• 非局所拡散作用素 $ L^\alpha $ はテイラー展開およびカーネルの減衰推定により一様有界であることが示され、粘性解解析のための緩和されたバリアの構成が可能になった。