[论文解读] Traveling waves and long-time behavior in a doubly nonlocal Fisher-KPP equation

Dmitri Finkelshtein, Yuri Kondratiev+1 more|arXiv (Cornell University)|Aug 10, 2015

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 76被引用 13

一句话总结

本文建立了具有各向异性核的双重非局部Fisher–KPP方程正解的存在性、唯一性及一致有界性。证明了单调行波的存在性及其渐近行为，并将传播前沿表征为随时间演化的集合的边界，表明在重尾扩散核下传播速度可能非恒定。

ABSTRACT

We consider a Fisher-KPP-type equation, where both diffusion and nonlinear part are nonlocal, with anisotropic probability kernels. Under minimal conditions on the coefficients, we prove existence, uniqueness, and uniform space-time boundedness of the positive solution. We investigate existence, uniqueness, and asymptotic behavior of monotone traveling waves for the equation. We also describe the existence and main properties of the front of propagation.

研究动机与目标

• 建立具有非局部扩散与非局部非线性的非局部Fisher–KPP方程正解的存在性、唯一性及一致时空有界性。
• 研究在各向异性概率核存在下，单调行波解的存在性、唯一性及渐近行为。
• 将传播前沿表征为通过扩散核的支集与波速定义的时间缩放凸集的边界。
• 分析解在不同空间方向及全局范围内的长时间行为，特别是当扩散核具有重尾时的行为。
• 识别传播速度变得非恒定的条件，尤其是在Mollison条件不成立时。

提出的方法

• 利用积分方程的比较原理与最大值原理控制解的增长并确保有界性。
• 应用变换将非局部方程转化为适合不动点论证与单调性分析的形式。
• 采用行波解形式 $ u(x,t) = \bar{u}(x - c t \nu) $，其中 $ c $ 为波速，$ \nu $ 为 $ S^{d-1} $ 中的方向。
• 将集合 $ \rho_{1,\nu} $ 定义为正核 $ a^+ $ 支集的凸包，经 $ \rho^+ $ 缩放，以描述前沿传播区域。
• 使用 $ \theta $-水平集与 $ \theta $-前沿的概念，描述解在 $ \bbR^d $ 中射线上的长时间行为，其中 $ \theta = (\rho^+ - m)/\rho^- $。
• 分析 $ u(tx,t) $ 当 $ t \to \infty $ 时的渐近行为，表明在 $ \Upsilon_1 $ 内收敛于 $ \theta $，在外部收敛于 0，且在边界附近存在过渡层。

实验结果

研究问题

• RQ1 在何种条件下，双重非局部Fisher–KPP方程存在正有界解，并在时空上保持一致有界？
• RQ2 对于所有方向 $ \xi \in S^{d-1} $，单调行波解是否存在？其速度与波形由什么决定？
• RQ3 传播前沿如何随时间演化？能否将其表征为时间缩放凸集的边界？
• RQ4 当扩散核具有重尾时（违反Mollison条件），解的长时间行为如何变化？
• RQ5 解是否能收敛到行波？原点相对于前沿集 $ \Upsilon_1 $ 的位置在波的稳定性与方向性中起什么作用？

主要发现

• 在非负可积概率核 $ a^\pm $ 及正常数 $ m, \varkappa^\pm $ 的最小假设下，对所有 $ t \geq 0 $，正解存在且唯一，并一致有界。
• 对所有方向 $ \xi \in S^{d-1} $，单调行波解存在，具有唯一波速 $ c_*(\xi) $，且波形在传播方向上严格递增。
• 传播前沿被表征为集合 $ \Upsilon_1 $ 的边界，其中 $ \Upsilon_1 = \{ x \in \bbR^d \mid \exists \, \mu > 0 \text{ 使得 } \langle x, \xi \rangle \leq \lambda_0(\check{a}^+; \xi) \} $，$ \lambda_0 $ 为非局部算子的主特征值。
• 对于沿方向 $ \xi $ 的解，若 $ x \in \mathrm{int}(\Upsilon_1) $，则 $ u(tx,t) \to \theta $ 当 $ t \to \infty $；若 $ x \notin \Upsilon_1 $，则 $ u(tx,t) \to 0 $，且在 $ \partial \Upsilon_1 $ 附近存在过渡层。
• 当Mollison条件不成立时（即对于重尾核），前沿无界，传播速度不再恒定，导致快速且非均匀的传播。
• 对任意 $ \xi \in S^{d-1} $，原点至少位于 $ \Upsilon_{1,\xi} $ 或 $ \Upsilon_{1,-\xi} $ 中；若 $ 0 \in \mathrm{int}(\Upsilon_1) $，则所有波沿方向 $ \xi $ 前向传播。