[论文解读] Transition fronts in nonlocal Fisher-KPP equations in time heterogeneous media

Wenxian Shen, Zhongwei Shen|arXiv (Cornell University)|Jul 14, 2015

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

一句话总结

本文在时变非均匀介质中构造了非局部Fisher-KPP方程的过渡波前，证明了其存在性，具有精确的空间衰减速率和连续可微性。建立了渐近稳定性：当初始数据在无穷远处衰减行为与波前一致且在负无穷处有下界时，解在空间平移后一致收敛于波前。

ABSTRACT

The present paper is devoted to the study of transition fronts of nonlocal Fisher-KPP equations in time heterogeneous media. We first construct transition fronts with prescribed interface location functions, which are natural generalizations of front location functions in homogeneous media. It it shown that these transition fronts have exact decaying rates as the space variable tends to infinity. Then, by the general results on space regularity of transition fronts of nonlocal evolution equations proven in the authors' earlier work (\cite{ShSh14-4}), these transition fronts are continuously differentiable in space. We show that their space partial derivatives have exact decaying rates as the space variable tends to infinity. Finally, we study the asymptotic stability of transition fronts. It is shown that transition fronts attract those solutions whose initial data decays as fast as transition fronts near infinity and essentially above zero near negative infinity.

研究动机与目标

• 建立具有时变非线性项的非局部Fisher-KPP方程中过渡波前的存在性。
• 刻画过渡波前及其空间导数在 x → ∞ 时的精确空间衰减速率。
• 利用先前工作的通用正则性结果，证明过渡波前在空间上连续可微。
• 研究在初始数据具有特定衰减与下界性质时，过渡波前的渐近稳定性。
• 证明：当初始数据在无穷远处衰减行为与波前一致且在负无穷处远离零时，解在空间平移后一致收敛于波前。

提出的方法

• 通过使用具有时变指数的指数型函数构造下解与上解，以控制波前的位置与衰减速率。
• 应用先前工作中的通用正则性理论（Shen & Shen, 2015），证明过渡波前在空间上连续可微。
• 利用界面位置函数 X(t) 对解进行重新中心化，实现对时间一致的衰减行为分析。
• 运用比较原理与渐近分析，将解与构造的波前进行比较，建立收敛性。
• 通过指数界与非局部算子 J ∗ u − u 的结构，推导波前及其导数的衰减速率。
• 基于解的比值构造扰动论证，证明在初始数据条件下解的收敛性。

实验结果

研究问题

• RQ1 能否在时变非均匀介质中，针对非局部Fisher-KPP方程，基于预设的界面位置函数与精确衰减速率构造过渡波前？
• RQ2 此类构造的过渡波前是否具有空间上的连续可微性？其导数是否也表现出精确的衰减速率？
• RQ3 在何种初始数据条件下，解在长时间极限下一致收敛于过渡波前？
• RQ4 过渡波前的渐近稳定性如何依赖于初始数据在无穷远处的衰减速率及其在负无穷处的下界？
• RQ5 收敛极限中的精确空间平移量是多少？它如何由初始数据的渐近行为决定？

主要发现

• 在时变非均匀介质中，非局部Fisher-KPP方程的过渡波前存在，且其精确空间衰减速率为 e^{-κx}（当 x → ∞ 时），其中 κ ∈ (0, κ₀]。
• 所构造的过渡波前在空间上连续可微，其空间导数在 x → ∞ 时也精确衰减为 e^{-κx}。
• 若初始数据 u₀ 满足 liminf_{x→-∞} u₀ > 0 且 lim_{x→∞} u₀(x)/u^κ(t₀,x) = λ ∈ (0,∞)，则解在 t → ∞ 时一致收敛于平移后的波前 u^κ(t, x − (ln λ)/κ)。
• 若初始数据在无穷远处衰减如 e^{-κx} 且在负无穷处有下界，则存在某时刻 t₀，使得解在 t → ∞ 时一致收敛于波前 u^κ(t,x)。
• 收敛性在空间上一致成立，且对所有 κ ∈ (0, κ₀] 成立，其中 κ₀ 是波前构造有效的最大 κ 值。
• 渐近稳定性结果是最优的：为确保收敛，初始数据在无穷远处的衰减速度必须至少与波前相当，且在负无穷处必须有下界。