[论文解读] Two components is too simple: an example of oscillatory Fisher--KPP system with three components

Léo Girardin|arXiv (Cornell University)|Dec 13, 2018

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

一句话总结

本文提出一个具有KPP型非线性的三组分反应-扩散系统，其表现出振荡动力学，证明了唯一正稳态可具有二维不稳定流形并支持稳定极限环——这与两组分系统中观察到的全局吸引子行为相矛盾。该系统在平衡点附近呈现捕食者-猎物动力学、周期性波列以及快速行进波，凸显了多物种KPP系统在超过两组分时的根本差异。

ABSTRACT

In a recent paper by Cantrell, Cosner and Yu, two-component KPP systems with competition of Lotka--Volterra type were analyzed and their long-time behavior largely settled. In particular, the authors established that any constant positive steady state, if unique, is necessarily globally attractive. In the present paper, we give an explicit and biologically very natural example of oscillatory three-component system. Using elementary techniques or pre-established theorems, we show that it has a unique constant positive steady state with two-dimensional unstable manifold, a stable limit cycle, a predator--prey structure near the steady state, periodic wave trains and point-to-periodic rapid traveling waves. Numerically, we also show the existence of pulsating fronts and propagating terraces.

研究动机与目标

• 挑战现有认知，即具有Lotka-Volterra竞争关系的两组分KPP系统始终收敛至全局吸引的稳态。
• 构建并分析一个具有生物学合理性的三组分系统，该系统在唯一正稳态下仍表现出振荡行为。
• 证明KPP系统中存在二维不稳定流形可导致持续振荡及复杂时空模式。
• 提供一个反例，以反驳关于KPP系统中唯一正稳态始终全局吸引的猜想，尤其针对多于两组分的系统。

提出的方法

• 该系统被表述为具有向量形式的反应-扩散方程：∂t𝐮 − Δ𝐮 = 𝐮 + μ𝐌𝐮 − (𝐂𝐮)∘𝐮，其中𝐌和𝐂为表示相互作用和竞争项的特定3×3矩阵。
• 通过在稳态𝐮 = (1,1,1)T处进行线性化分析，研究其稳定性，并在μ = μ_H = 7/60处检测到霍普夫分岔。
• 应用基本的动力系统技术及关于周期性波列和不稳定稳态的既定定理，证明稳定极限环和周期性波列的存在性。
• 采用数值模拟以确认脉动前导波和传播阶地的存在，从而扩展分析结果。
• 证明该系统为混合类型，且非最终合作或竞争型，从而允许非恒定、振荡解的存在。
• 改编先前关于KPP系统和李雅普诺夫函数的理论结果，以在特定条件下排除非恒定解，凸显本例中振荡行为的新颖性。

实验结果

研究问题

• RQ1 具有唯一正稳态的三组分KPP系统是否可表现出如稳定极限环等振荡动力学？
• RQ2 在KPP系统中，何种条件可使唯一正稳态具有二维不稳定流形？
• RQ3 三组分KPP系统的时空动力学与两组分系统相比有何不同，特别是在行进波和传播现象方面？
• RQ4 多于两组分的KPP系统长时间行为在多大程度上偏离了两组分系统中观察到的全局吸引子性质？
• RQ5 数值方法能否证实振荡性三组分KPP系统中复杂波形模式（如脉动前导波和传播阶地）的存在？

主要发现

• 对于所有μ > 0，系统在𝐮 = (1,1,1)T处具有唯一正稳态，当μ > μ_H = 7/60时，该稳态为局部渐近稳定。
• 在μ = μ_H处发生超临界霍普夫分岔，导致唯一且局部渐近稳定的极限环𝒞_μ出现。
• 稳态𝐮 = (1,1,1)T具有二维不稳定流形，表明微小扰动可引发持续振荡。
• 系统支持周期性波列和点对周期的快速行进波，表明存在复杂的时空动力学。
• 数值模拟证实了脉动前导波和传播阶地的存在，表明其传播行为远超简单单调前导波。
• 该系统为混合类型，非最终合作或竞争型，从而允许非恒定、振荡解的存在——这与两组分系统的结果相反。