[论文解读] Traveling Wave Solutions of Spatially Periodic Nonlocal Monostable Equations

Wenxian Shen, Aijun Zhang|arXiv (Cornell University)|Feb 11, 2012

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

一句话总结

该论文证明了在非局部分散或空间均匀性较小时，空间周期性非局部单稳方程存在唯一稳定的周期行波解。对于所有超过传播速度的波速，均存在唯一稳定的行波，连接零解与正周期稳态解，将经典的Fisher-KPP结果推广至周期环境中的非局部扩散情形。

ABSTRACT

This paper deals with front propagation dynamics of monostable equations with nonlocal dispersal in spatially periodic habitats. In the authors' earlier works, it is shown that a general spatially periodic monostable equation with nonlocal dispersal has a unique spatially periodic positive stationary solution and has a spreading speed in every direction. In this paper, we show that a spatially periodic nonlocal monostable equation with certain spatial homogeneity or small nonlocal dispersal distance has a unique stable periodic traveling wave solutions connecting its unique spatially periodic positive stationary solution and the trivial solution in every direction for all speeds greater than the spreading speed in that direction.

研究动机与目标

• 研究空间周期性非局部单稳方程中非局部扩散的前沿传播动力学。
• 建立连接零解与唯一正周期稳态解的行波解的存在性。
• 证明所有超过传播速度的波速下，此类行波的唯一性与稳定性。
• 将经典的Fisher-KPP行波结果推广至周期介质中的非局部扩散算子。
• 分析非局部扩散距离与空间均匀性在行波传播动力学中的作用。

提出的方法

• 利用具有紧支集的卷积核 $ k $ 定义的非局部扩散算子，模拟长距离扩散。
• 应用谱理论于算子 $ \mathcal{K} - I + a_0(\cdot)I $，其中 $ \mathcal{K}u(x) = \int_{\mathbb{R}^N} k(y-x)u(y)dy $，以定义零解的线性不稳定性。
• 利用线性化算子的主特征值 $ \lambda_0 $ 来表征方向 $ \xi \in S^{N-1} $ 下的传播速度 $ c^*(\xi) $。
• 通过具有紧支集的初始数据与时间平移的解形函数构造上下解，以界定解的行为。
• 应用比较原理与渐近估计，证明解收敛于行波形。
• 利用波形 $ \Phi(x,z) $ 的连续性与半连续性论证，证明波解的唯一性与正则性。

实验结果

研究问题

• RQ1 空间周期性非局部单稳方程在非局部扩散距离较小时，是否对所有超过传播速度的波速均存在稳定的行波解？
• RQ2 空间均匀性或小扩散范围如何影响非局部单稳方程中周期行波的存在性与稳定性？
• RQ3 经典的Fisher-KPP行波结果能否推广至周期介质中的非局部扩散算子？
• RQ4 主特征值 $ \lambda_0 $ 在确定非局部周期系统中传播速度与波传播中的作用是什么？
• RQ5 在给定假设下，行波解在空间与相空间变量中是否唯一且连续？

主要发现

• 对于每个方向 $ \xi \in S^{N-1} $，所有波速 $ c > c^*(\xi) $ 下均存在唯一稳定的周期行波解，其中 $ c^*(\xi) $ 为传播速度。
• 行波解连接零解 $ u \equiv 0 $ 与唯一正周期稳态解 $ u^+ $，且在小扰动下渐近稳定。
• 在非局部扩散距离较小或空间均匀性条件下，行波在空间与相空间变量中唯一且连续。
• 波形 $ \Phi(x,z) $ 在 $ \mathbb{R}^N \times \mathbb{R}^N $ 上连续，且解收敛于波形的过程在空间与相空间中一致。
• 对于合适的初始数据，非局部方程的解 $ u(t,x) $ 随 $ t \to \infty $ 一致收敛于行波形 $ U(t,x;z) = \Phi(x - ct\xi, z + ct\xi) $，对所有 $ x,z $ 成立。
• 通过与上下解比较，建立了行波的稳定性，且收敛速率受 $ \epsilon e^{-\eta t} $ 控制。