[论文解读] Existence and qualitative properties of travelling waves for an epidemiological model with mutations

Quentin Griette, Gaël Raoul|arXiv (Cornell University)|Dec 19, 2014

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

一句话总结

本文研究了一个带有突变的反应-扩散模型，以分析流行病学背景下两种病原体类型（野生型与突变型）在传播速率与承载能力之间存在权衡时的行进波解。证明了存在非单调的最小波速行进波，并将其与非最小速度的Fisher-KPP前沿联系起来，通过比较和滑动技巧建立了其定性形状与渐近行为。

ABSTRACT

In this article, we are interested in a non-monotone system of logistic reaction-diffusion equations. This system of equations models an epidemics where two types of pathogens are competing, and a mutation can change one type into the other with a certain rate. We show the existence of minimal speed travelling waves, that are usually non monotonic. We then provide a description of the shape of those constructed travelling waves, and relate them to some Fisher-KPP fronts with non-minimal speed.

研究动机与目标

• 分析具有突变的两菌株流行病学模型中行进波解的存在性与定性性质。
• 理解突变率以及毒力与传播之间的权衡如何影响波传播动力学。
• 表征非单调反应-扩散系统中最小波速行进波的形状与渐近行为。
• 将所构造的波与已知的非最小速度Fisher-KPP前沿联系起来，提供结构上的洞察。

提出的方法

• 建立一组耦合的反应-扩散方程系统，以描述具有突变率的野生型与突变型病原体种群。
• 应用比较原理与上下解技术，以建立行进波解的存在性。
• 使用滑动法论证来比较解，并推导波形的统一有界性。
• 采用渐近分析与指数衰减估计，以表征波在无穷远处的行为。
• 依赖于Fisher-KPP理论中的已知结果，特别是临界速度附近解的 $ C^{1,eta} $ 正则性与稳定性。
• 引入变量变换以减少参数数量，并聚焦于最小波速 $ c_* $，将其与Fisher-KPP速度 $ 2\sqrt{r} $ 联系起来。

实验结果

研究问题

• RQ1 在具有突变及生长与承载能力之间权衡的两菌株流行病学模型中，最小波速行进波是否存在？
• RQ2 这些行进波是否单调？或者由于突变与竞争的相互作用，是否可能表现出非单调波形？
• RQ3 波形如何与具有非最小速度的经典Fisher-KPP前沿相关联？
• RQ4 波的渐近行为如何，特别是在承载能力 $ K $ 很小时的极限情况？
• RQ5 波形能否在模型参数（特别是 $ K $ 与 $ \mu $）方面实现统一有界？

主要发现

• 对于给定的具有突变的非单调反应-扩散方程系统，最小波速行进波存在。
• 所构造的行进波通常为非单调的，与经典Fisher-KPP模型中观察到的单调前沿不同。
• 波形在 $ L^\infty $ 范数下被统一有界，其上界为 $ CK^\beta $，其中 $ C $ 为通用常数，$ \beta \in (0,1/2) $，且 $ \beta $ 仅依赖于 $ r $。
• 突变型与野生型种群的波形一致收敛于速度为 $ c_0 = 2\sqrt{r} $ 的Fisher-KPP前沿，误差界为 $ CK^\beta $。
• 分析确认波速 $ c_* $ 为最小值，且解结构在承载能力 $ K $ 的小扰动下具有鲁棒性。
• 该方法表明，实际波与参考Fisher-KPP前沿之间的差异受 $ K $ 的幂次控制，表明当 $ K \to 0 $ 时存在收敛性。