[论文解读] 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}$ 时，加速传播恰好发生在 $\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}$ 衰减的核——推导传播轮廓的精确渐近估计。
• 阐明与一维情形的根本差异，特别是有限速度传播中对数修正项的出现以及精确的加速传播速率。

提出的方法

• 作者引入新的比较技术，通过精心构造的上解和下解处理高维中核函数的隐式依赖关系。
• 定义辅助核函数 $J_*$ 和 $\tilde{J}$，以解耦径向结构，并基于 $|x|^{-\beta}$ 衰减分析其行为。
• 采用半波解框架，通过相关特征值型问题的唯一解存在性，确定有限传播速度 $c_0$。
• 证明依赖于对卷积积分 $\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}$ 在无穷远处成立时，加速传播发生当且仅当 $\beta \in (N, N+1]$，传播速率为 $h(t) \sim t^{(3-\beta)/(\beta-1)}$（当 $\beta \in (N, N+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_*$ 上进行细致的积分估计，证明了估计的精确性。
• 分析表明，高维中的径向对称性从根本上改变了传播动力学，引入了新的现象，如有限速度传播中的对数修正项，这些在一维中不会出现。