[论文解读] Propagation Dynamics for Monotone Evolution Systems without Spatial Translation Invariance

Taishan Yi, Xiao‐Qiang Zhao|arXiv (Cornell University)|Jul 7, 2020

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

一句话总结

本文通过极限系统与比较原理，建立了缺乏空间平移不变性的单调演化系统中空间非齐次稳态解的存在性及渐近传播动力学。核心贡献在于提出了一套通用理论，可分析非平移不变设定下的行波与传播速度，该理论在时滞非局部方程、柱形域中的反应-扩散系统以及非均匀介质中的KPP型方程中得到验证。

ABSTRACT

In this paper,under an abstract setting we establish the existence of spatially inhomogeneous steady states and the asymptotic propagation properties for a large class of monotone evolution systems without spatial translation invariance. Then we apply the developed theory to study traveling waves and spatio-temporal propagation patterns for time-delayed nonlocal equations, reaction-diffusion equations in a cylinder, and asymptotically homogeneous KPP-type equations. We also obtain the existence of steady state solutions and asymptotic spreading properties of solutions for a time-delayed reaction-diffusion equation subject to the Dirichlet boundary condition.

研究动机与目标

• 开发一个通用框架，用于分析缺乏空间平移不变性的单调演化系统中的传播动力学。
• 在该类系统中建立空间非齐次稳态解与渐近传播性质的存在性。
• 将现有的传播速度与行波理论扩展至非平移不变设定，尤其适用于非自治与空间非齐次系统。
• 将所发展的理论应用于时滞非局部方程、柱形域中的反应-扩散方程，以及环境移动的Dirichlet问题。
• 刻画具有时空非齐次性的系统中解的长期行为，包括收敛至稳态解与渐近传播特性。

提出的方法

• 引入两个具有空间平移不变性的极限系统，以逼近原始的非平移不变系统。
• 利用比较论证，将极限系统中的轨道估计传递至缺乏平移不变性的原始系统。
• 利用极限系统的上趋近性与渐近消亡性质，刻画传播动力学。
• 在非紧致空间区域中，应用Harnack型不等式与解的严格正性，推导估计。
• 利用行波映射的迭代性质与不动点论证，证明稳态解的存在性及收敛至传播速度的性质。
• 借助比较原理与上下解技术，分析在Dirichlet条件下时滞与非局部方程的解。

实验结果

研究问题

• RQ1 如何刻画缺乏空间平移不变性的单调演化系统中的传播动力学？
• RQ2 在非平移不变系统中，何种条件可保证空间非齐次稳态解的存在性？
• RQ3 对于具有时空非齐次性的系统，能否建立渐近传播速度与行波解的存在性？
• RQ4 在具有Dirichlet边界条件的时滞反应-扩散方程中，解在时间上的渐近行为如何？
• RQ5 该理论在局部非齐次或渐近非齐次介质中的KPP型方程中，可被推广到何种程度？

主要发现

• 在适当的极限系统假设下，对于缺乏空间平移不变性的单调半流，证明了空间非齐次稳态解的存在性。
• 即使原始系统缺乏平移不变性，仍可通过与极限系统的比较来刻画渐近传播速度。
• 对于具有移动栖息地的时滞非局部方程，本文证明了行波解与渐近传播性质的存在性。
• 在半直线上时滞反应-扩散方程的Dirichlet问题中，解表现出以速度 $ c^* $ 的渐近传播，且在传播前沿之外解收敛于零。
• 对于空间非齐次介质中的KPP型方程，该理论证实存在唯一正稳态解，满足 $ W( heta) o u_ heta^* $ 当 $ | heta| o ty $，且在传播区域内解收敛至该稳态。
• 本文证明，在单调性与齐次性条件下，传播速度 $ c^* $ 满足 $ c^* = 2 au_0 au_1 $，其中 $ au_0 $ 与 $ au_1 $ 由无穷远处线性化系统的特征导出。