[論文レビュー] Doubly nonlocal Fisher-KPP equation: Existence and properties of traveling waves

Dmitri Finkelshtein, Yuri Kondratiev+1 more|arXiv (Cornell University)|Apr 26, 2018

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

ひとこと要約

本稿は、非局所的かつ異方的で指数的可積分性を満たす拡散カーネルと、局所的および非局所的単安定反応の組み合わせを持つ二重非局所的 Fisher-KPP 方程式に対して、単調な移動波解の存在とその性質を確立する。半フロー解析と積分推定を用いて、指数的に減衰する連続的かつ厳密に単調減少な波形を持つ移動波の存在を示し、特定の方向における非局所的拡散の優位性を保証する条件下で成立する。

ABSTRACT

We consider a reaction-diffusion equation with nonlocal anisotropic diffusion and a linear combination of local and nonlocal monostable-type reactions in a space of bounded functions on $\mathbb{R}^d$. Using the properties of the corresponding semiflow, we prove the existence of monotone traveling waves along those directions where the diffusion kernel is exponentially integrable. Among other properties, we prove continuity, strict monotonicity and exponential integrability of the traveling wave profiles.

研究の動機と目的

• 非局所的拡散と非局所的反応項を併せ持つ反応拡散方程式における単調な移動波解の存在を調査すること。
• 波形の性質、特に連続性、厳密な単調性、指数的可積分性を分析すること。
• 移動波が特定の空間的方向に存在するための拡散カーネル（特に指数的可積分性）に関する条件を同定すること。
• 反応項における局所的および非局所的競合項の分析を統合し、純粋に局所的または純粋に非局所的な場合の既存結果を拡張すること。
• 非局所的集団動態の文脈において、特定の減衰および正則性性質を有する移動波の存在を確立すること。

提案手法

• 非局所的拡散（カーネル $a^+$ との畳み込みにより定義）と、局所的および非局所的成分を併せ持つ反応項（$Gu = \varkappa_\ell u + \varkappa_{nl}(a^- * u)$）を有する反応拡散方程式を定式化する。
• 関数空間 $\mathbb{R}^d$ 上の有界かつ非負関数の空間における方程式が生成する半フローを分析する。
• 指数的重みを用いて減衰挙動を制御するため、積分推定と比較論法を適用し、波形の導関数に対する境界を導出する。
• 変換 $w(s) = \psi(s)e^{-\mu s}$ を用いて微分不等式を積分不等式に変換し、指数的減衰推定を導出する。
• 波の進行方向において拡散カーネル $a^+$ が指数的可積分性を満たすという条件を用いて、特定の減衰率を持つ波の存在を保証する。
• 事前推定と単調性論法を組み合わせ、波形 $\psi$ の連続性、厳密な単調減少性、および指数的可積分性を証明する。

実験結果

リサーチクエスチョン

• RQ1 拡散カーネル $a^+$ がどの程度の条件下で、与えられた方向 $\xi \in S^{d-1}$ に単調な移動波解が存在するか。
• RQ2 波形 $\psi$ の正則性および減衰性質は何か。特に、不安定なゼロ状態から安定な正の平衡解 $\theta$ へ接続する際の性質は。
• RQ3 局所的および非局所的反応項の相互作用は、移動波の存在および形状にどのように影響するか。
• RQ4 カーネルの弱い可積分性仮定のもとで、波形が厳密に単調減少かつ指数的可積分であることを示せるか。
• RQ5 拡散カーネルの指数的可積分性が、移動波の存在を保証するために果たす役割は何か。

主な発見

• 移動波解は、拡散カーネル $a^+$ が指数的可積分性を満たすすべての方向 $\xi \in S^{d-1}$ に対して存在する。
• 波形 $\psi$ は連続的かつ厳密に単調減少であり、$\psi(-\infty) = \theta$, $\psi(+\infty) = 0$ を満たす。ここで $\theta = (\varkappa^+ - m)/\varkappa^-$ は正の平衡解である。
• 波形 $\psi$ は指数的可積分性を満たす。すなわち、ある $\nu > 0$ に対して $\int_\mathbb{R} \psi(s) e^{\nu s} ds < \infty$ が成り立つ。これにより、無限遠における急速な減衰が保証される。
• 波形の導関数は、すべての $s \in \mathbb{R}$ に対して $\psi'(s)/\psi(s) > -\nu$ を満たす。これは指数的減衰挙動を確認するものである。
• 存在証明は、波の減衰が失敗する場合に矛盾を引き起こすように、変換関数 $w(s) = \psi(s)e^{-\mu s}$ に事前推定と比較技法を適用することに依拠している。
• 波の速度 $c$ は正でなければならない。与えられた仮定のもとでは $c < 0$ の場合、単調性および減衰制約のため、移動波は存在しない。