[論文レビュー] The high dimensional Fisher-KPP nonlocal diffusion equation with free boundary and radial symmetry

Yihong Du, Wenjie Ni|arXiv (Cornell University)|Feb 10, 2021

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 30被引用数 5

ひとこと要約

本稿は、自由境界と回転対称性を有する高次元 Fisher-KPP 非局所拡散方程式を考察し、加速拡散を引き起こす閾値条件を確立するための新しい解析的手法を導入する。核関数が無限大で $|x|^{-\beta}$ のように減衰する場合、加速拡散は $β \in (N, N+1]$ のときに限り発生し、拡散プロファイルの鋭い漸近的推定が得られる。これは、一様次元の場合とは顕著に異なる。特に、有限速度拡散領域では対数項のずれが生じ、加速領域ではべき則の速度が現れる。

ABSTRACT

We study the radially symmetric high dimensional Fisher-KPP nonlocal diffusion equation with free boundary, and reveal some fundamental differences from its one dimensional version considered in \cite{cdjfa} recently. Technically, this high dimensional problem is much more difficult to treat since it involves two kernel functions which arise from the original kernel function $J(|x|)$ in rather implicit ways. By introducing new techniques, we are able to determine the long-time dynamics of the model, including firstly finding the threshold condition on the kernel function that governs the onset of accelerated spreading, and the determination of the spreading speed when it is finite. Moreover, for two important classes of kernel functions, sharp estimates of the spreading profile are obtained. More precisely, for kernel functions with compact support, we show that logarithmic shifting occurs from the finite wave speed propagation, which is strikingly different from the one dimension case; for kernel functions $J(|x|)$ behaving like $|x|^{-β}$ for $x\in\R^N$ near infinity, we obtain the rate of accelerated spreading when $β\in (N, N+1]$, which is the exact range of $β$ where accelerated spreading is possible. These sharp estimates are obtained by constructing subtle upper and lower solutions, based on careful analysis of the involved kernel functions.

研究の動機と目的

• 高次元 Fisher-KPP 非局所拡散方程式の自由境界問題における長時間ダイナミクスを解析し、一次元の結果を高次元に拡張すること。
• 拡散が有限速度か加速的かを決定する核関数 $J(|x|)$ の臨界閾値条件を同定すること。
• コンパクトに台を持つ核関数と、無限大で $|x|^{-\beta}$ 型に漸近する核関数の2つの主要クラスについて、拡散プロファイルの鋭い漸近的推定を導出すること。
• 特に、一次元の場合とは顕著に異なる点、すなわち有限速度伝播における対数項のずれと正確な加速拡散速度の出現を解明すること。

提案手法

• 著者らは、高次元における核関数の暗黙的依存性を扱うために、巧みに構築された上解および下解を用いた新しい比較手法を導入する。
• 径数的構造を分離するために、補助核関数 $J_*$ および $\tilde{J}$ を定義し、$|x|^{-\beta}$ 減衰の観点からそれらの挙動を解析する。
• 半波動解フレームワークを適応し、関連する固有値型問題の解の存在に基づいて、有限速度の場合の拡散速度 $c_0$ を決定する。
• 証明は、径数的対称性を活用して問題を1次元積分方程式に還元した、畳み込み積分 $\int_{B_{h(t)}} J(|x-y|)u(t,|y|) dy$ の詳細な解析に依拠する。
• 対数項およびべき則補正を捕捉する部分解および上解に、比較原理を厳密に適用する。
• 特に $\beta \in (N, N+1]$ の場合、$\ln t$ 項および $t^{\alpha}$ 項を含む漸近的推定を用いて、加速拡散の正確な速度を導出する。この結果は、積分バウンドによる検証を経ている。

実験結果

リサーチクエスチョン

• RQ1 自由境界を有する高次元非局所 Fisher-KPP 方程式において、核関数 $J(|x|)$ のどの閾値条件が、拡散が有限速度か加速的かを決定するか？
• RQ2 一次元の場合と比較して、高次元における拡散プロファイルはどのように異なるか。特に、有限速度伝播における対数項のずれは？
• RQ3 核関数が無限大で $J(|x|) \sim |x|^{-\beta}$ と漸近する場合、加速拡散の正確な速度は何か。また、このような加速が可能となる $\beta$ の範囲は？
• RQ4 コンパクトに台を持つ核関数の場合、拡散フロント $h(t)$ に対して鋭い上界および下界を構築できるか？
• RQ5 回転対称性は、非径数的または一次元設定と比較して、長時間ダイナミクスをどのように変化させるか？

主な発見

• コンパクトに台を持つ核関数の場合は、拡散フロントに対数項のずれが現れる：$h(t) - c_0 t \sim \ln t$。これは一次元の場合には存在しない現象である。
• 核関数が無限大で $J(|x|) \sim |x|^{-\beta}$ と漸近する場合、加速拡散は $β \in (N, N+1]$ のときに限り発生し、$\beta \in (N, N+1)$ の範囲では $h(t) \sim t^{(3-\beta)/(\beta-1)}$ の速度を示す。$\beta = N+1$ のときには $h(t) \sim t \ln t$ となる。
• 有限速度拡散の閾値条件は $\int_{\mathbb{R}^N} |x| J(|x|) dx < \infty$ であり、これは $\beta > N+1$ に相当する。
• $\beta \in (N, N+1]$ の場合、拡散速度は無限大であり、加速の速度はべき則および対数項補正を用いて正確に特徴づけられる。
• 著者らは、$h(t)$ の漸近的挙動を正しく捉える明示的な上解および下解を構築し、$\tilde{J}$ および $J_*$ 上での精密な積分推定を用いて、推定の鋭さを証明する。
• 解析により、高次元における回転対称性が拡散ダイナミクスを根本的に変えることが判明した。特に、一次元では現れない、有限速度領域における対数項のずれといった新たな現象が導入される。