In this paper, we propose and analyze a nonlocal cooperative reaction--diffusion system with free boundaries and drift terms, motivated by directional epidemic spread. Lacking a variational structure but requiring sharper regularity of solutions, the model poses substantial analytical challenges compared with previous works~\cite{Du,Berestycki2016a,Berestycki2016b,Cao2019,NguyenVo2022,Tang2024a,Tang2024b}. We first establish the well-posedness of the local problem and the global existence and uniqueness of classical solutions in $C^1$ space.
We then study the associated nonlocal eigenvalue problem, proving the existence, simplicity, qualitative properties, and asymptotic behavior of the principal eigenvalue. The analysis employs Fredholm theory, the Crandall--Rabinowitz bifurcation theorem, and Hadamard-type derivative formulas to describe its parameter dependence and connection with the basic reproduction number~$R_0$.
Building on this spectral characterization, we show that the system admits a \emph{sharp vanishing--spreading dichotomy} in its long-term dynamics. When $R_0\le1$, all solutions vanish; for $R_0>1$, the outcome depends on the initial domain size~$h_0$ and the free-boundary expansion rate~$μ$. There exists a critical habitat length~$\mathcal L^\ast$ such that if $h_0<\mathcal L^\ast$, a threshold $\widehatμ>0$ separates vanishing ($μ\in(0,\widehatμ]$) from spreading ($μ>\widehatμ$). In the spreading regime, solutions converge to the unique positive steady state, while in the vanishing regime they decay uniformly to zero. These results provide a rigorous framework for the threshold dynamics of cooperative--advective nonlocal systems and offer mathematical insight for further studies in epidemic modeling, ecological invasion, and population dynamics.
academicThe eigentheory for nonlocal cooperative-advective system and its role in the study of free boundary system for directional epidemic models
- 论文ID: 2510.10024
- 标题: The eigentheory for nonlocal cooperative-advective system and its role in the study of free boundary system for directional epidemic models
- 作者: Soufiane Bentout (University of Ain Temouchent), Hoang-Hung Vo (Saigon University)
- 分类: math.AP (偏微分方程)
- 提交时间: 2025年10月14日
- 论文链接: https://arxiv.org/abs/2510.10024
本文研究了由方向性流行病传播驱动的非局部协作反应-扩散系统,该系统包含自由边界和漂移项。由于缺乏变分结构但需要更严格的解的正则性要求,该模型相比以往工作提出了实质性的分析挑战。作者首先建立了局部问题的适定性以及C¹空间中经典解的全局存在性和唯一性。然后研究了相关的非局部特征值问题,证明了主特征值的存在性、简单性、定性性质和渐近行为。分析采用了Fredholm理论、Crandall-Rabinowitz分岔定理和Hadamard型导数公式来描述参数依赖性及其与基本再生数R₀的联系。基于这种谱刻画,作者证明了系统在长期动力学中存在尖锐的消失-传播二分性。当R₀≤1时,所有解都消失;当R₀>1时,结果取决于初始域大小h₀和自由边界扩展率μ。
- 水传播疾病的威胁: 水传播疾病如霍乱、肉毒杆菌病、贾第鞭毛虫病等仍对全球公共卫生构成重大威胁,特别是在发展中国家。据估计,水传播疾病约占全球疾病负担(DALYs)的3.6%,每年造成约150万人死亡。
- 现有模型的局限性: 经典的基于拉普拉斯算子的反应-扩散框架在处理本质上非局部或具有优先方向的运动时存在不足。传统模型往往忽略了长距离传播和由环境流动或人类活动驱动的定向漂移。
- 数学挑战: 非局部扩散系统与漂移项的结合导致缺乏变分结构,使得经典的谱理论方法难以直接应用,需要开发新的分析技术。
- 实际需求: 准确建模病原体在水体中的传播,考虑河流流动、风向等环境因素的影响
- 理论挑战: 发展处理非局部协作系统与自由边界问题的新数学理论
- 应用价值: 为流行病学、生态入侵和种群动力学研究提供数学基础
- 适定性理论: 在缺乏变分结构的情况下,建立了非局部协作反应-扩散系统的全局适定性理论,证明了C¹空间中经典解的存在性、唯一性和全局存在性。
- 谱理论发展:
- 证明了主特征值的存在性和简单性
- 建立了主特征值关于参数的连续性和单调性
- 利用Hadamard型公式分析了主特征值对扩散系数的可微性
- 基本再生数刻画: 建立了主特征值符号与基本再生数R₀的等价关系:R₀ > 1 ⟺ λₚ < 0
- 消失-传播二分性: 证明了完整的长期动力学分类:
- 当R₀ ≤ 1时,所有解都消失
- 当R₀ > 1且h₀ < L*时,存在临界阈值μ̂区分消失和传播行为
- 在传播情形下,解收敛到唯一正稳态
考虑如下非局部协作反应-扩散系统:
ut=d1[∫g(t)h(t)J1(x−y)u(t,y)dy−u(t,x)]+pux−a(x)u(t,x)+H(v(t,x))vt=d2[∫g(t)h(t)J2(x−y)v(t,y)dy−v(t,x)]+qvx−b(x)v(t,x)+G(u(t,x))其中:
- u(t,x), v(t,x)分别表示环境中病原体密度和感染个体密度
- J₁, J₂是对称的扩散核函数
- p, q是漂移系数,表示定向传输
- H(v), G(u)是协作交互项,满足凹性条件
- g(t), h(t)是时变的空间域
边界运动由以下方程决定:
h′(t)=μ[∫g(t)h(t)∫h(t)∞J1(x−y)u(t,x)dydx+ρ∫g(t)h(t)∫h(t)∞J2(x−y)v(t,x)dydx]g′(t)=−μ[∫g(t)h(t)∫−∞g(t)J1(x−y)u(t,x)dydx+ρ∫g(t)h(t)∫−∞g(t)J2(x−y)v(t,x)dydx]- 比较原理的推广: 针对非局部扩散-漂移算子建立了新的比较原理,克服了漂移项带来的技术困难。
- 谱分析方法:
- 利用算子分解技术:L = J - T,其中J是紧正算子,T包含漂移项
- 通过预解式R(ξ) = (T + ξI)⁻¹的性质分析谱半径
- 应用Krein-Rutman定理处理非自伴算子
- Hadamard公式的应用: 建立了主特征值关于扩散系数的可微性:∂λ∗/∂dj=∫−ZZw∗j(x)[∫−ZZJj(x−y)φj(y)dy−φj(x)]dx
在假设(J)和(GH)下,对任意h₀ > 0,问题(1)存在唯一的正解(u,v,g,h),定义在所有t > 0上。
线性化特征值问题存在主特征值λ*,它是简单的且对应严格正的特征函数。
主特征值λ*(Z)关于域大小Z严格递增且连续。存在临界域大小Z*使得:
- λ*(Z) < 0当Z < Z*
- λ*(Z) > 0当Z > Z*
- Z* < ∞当且仅当R₀ > 1
假设R₀ > 1且h₀ < L*,则存在阈值μ̂ > 0使得:
- μ ∈ (0, μ̂]时发生消失
- μ > μ̂时发生传播并收敛到正稳态
- 局部存在性: 使用Banach不动点定理,通过构造压缩映射证明
- 全局存在性: 利用比较原理和先验估计,证明解不会在有限时间内爆破
- 正则性: 通过特征线方法和积分方程技术建立C¹正则性
- 算子分解: 将问题转化为紧算子的谱分析
- 单调性: 利用算子序和谱半径的单调性
- 连续性: 通过算子范数的连续依赖性建立
- 消失情形: 构造上解并利用比较原理
- 传播情形: 结合下解构造和渐近分析
- 临界阈值: 通过连续性和单调性的结合确定
- 为水传播疾病(如霍乱)的空间传播提供数学模型
- 量化环境因素(河流流动、风向)对疫情传播的影响
- 为公共卫生干预策略提供理论依据
- 模拟入侵物种在异质环境中的扩散
- 分析栖息地破碎化对种群动力学的影响
- 预测气候变化下物种分布的变化
- 理论创新性强:
- 首次系统研究了非局部协作-漂移系统的自由边界问题
- 发展了处理无变分结构系统的新技术
- 建立了完整的谱理论框架
- 数学技术先进:
- 巧妙结合Fredholm理论、分岔理论和Hadamard公式
- 创新性地处理了漂移项带来的技术困难
- 严格的数学证明和完整的理论体系
- 结果完整性:
- 从适定性到长期行为的完整分析
- 尖锐的消失-传播二分性刻画
- 参数依赖性的精确描述
- 实际意义重大:
- 直接应用于流行病学和生态学问题
- 为实际预测和控制提供数学基础
- 模型假设的限制:
- 假设核函数对称,但实际中可能存在不对称性
- 漂移系数为常数,实际中可能随空间变化
- 一维空间设定,高维推广仍需研究
- 数值验证缺失:
- 纯理论分析,缺乏数值实验验证
- 未提供参数估计的实际方法
- 缺乏与真实数据的对比
- 应用范围限制:
- 主要针对协作系统,竞争系统需要不同处理
- 假设环境同质性,异质环境的推广复杂
- 学术价值: 为非局部扩散方程理论做出重要贡献,预期在数学分析领域产生广泛影响
- 应用前景: 为流行病建模和生态学研究提供新工具,具有重要的实用价值
- 后续研究: 开启了多个新的研究方向,包括高维推广、随机扰动、异质环境等
- 流行病学研究: 水传播疾病的空间传播建模和预测
- 生态学应用: 入侵物种扩散、种群动力学分析
- 理论数学: 非局部扩散方程、自由边界问题研究
- 数值分析: 为相关数值方法的发展提供理论基础
本文在非局部协作-漂移系统的自由边界问题研究方面取得了重要突破,建立了完整的数学理论框架。主要成就包括适定性理论、谱分析和长期动力学的完整刻画。该工作不仅在数学理论上具有重要意义,也为流行病学和生态学的实际应用提供了有力工具。
未来研究方向包括:
- 高维空间的推广
- 非对称核函数的处理
- 随机扰动的影响
- 数值方法的发展
- 与实际数据的结合验证
这项工作为相关领域的进一步发展奠定了坚实的理论基础,预期将产生持续而深远的影响。