[论文解读] Analysis of A Spatially Inhomogeneous Stochastic Partial Differential Equation Epidemic Model

Dang H. Nguyen, Nhu N. Nguyen+1 more|arXiv (Cornell University)|Dec 8, 2018

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

一句话总结

本文提出了一种新颖的空间非齐次随机偏微分方程（SPDE）模型，用于描述流行病动力学，通过乘性白噪声引入空间变异性和环境噪声。该研究建立了正弱解的存在性与唯一性，并推导出疾病消亡或持续存在的充分条件，其中关键结果表明：当感染率低于一个涉及恢复率与噪声强度的阈值时，疾病将发生消亡。

ABSTRACT

This work proposes and analyzes a family of spatially inhomogeneous epidemic models. This is our first effort to use stochastic partial differential equations (SPDEs) to model epidemic dynamics with spatial variations and environmental noise. After setting up the problem, existence and uniqueness of solutions of the underlying SPDEs are examined. Then definitions of permanence and extinction are given. Certain sufficient conditions are provided for the permanence and extinction. Our hope is that this paper will open up windows for investigation of epidemic models from a new angle.

研究动机与目标

• 开发一类基于随机偏微分方程（SPDE）的新流行病模型，以捕捉空间异质性与环境噪声。
• 通过引入空间扩散与随机扰动，将经典SIR模型从确定性、平均场框架中拓展。
• 分析在随机空间动力学下，流行病过程的长期行为——特别是消亡与持续性。
• 为基于SPDE的流行病建模提供严格的数学基础，包括解的存在性、唯一性与正性。
• 通过SPDE方法开启随机空间流行病学的新研究方向，并为未来引入 regime-switching 或 Lévy 噪声奠定基础。

提出的方法

• 构建具有空间变系数（扩散率、招募率、死亡率与感染率）的SIR型动力学SPDE系统。
• 使用乘性伊藤噪声项建模环境噪声：$ S(t,x)\,dW_1(t,x) $ 与 $ I(t,x)\,dW_2(t,x) $，分别表示易感者与感染者群体的随机扰动。
• 在适当的巴拿赫空间 $ E $ 中定义并证明正弱解的存在性与唯一性，确保种群密度的非负性。
• 应用无限维空间中的半群理论与随机分析方法，研究SPDE系统并推导长期行为结果。
• 采用李雅普诺夫型分析与遍历型论证，基于模型参数推导出消亡与持续性的充分条件。
• 考虑系数空间均匀且噪声为布朗运动的特例，通过显式消亡/持续性阈值说明理论结果。

实验结果

研究问题

• RQ1 在具有环境噪声的空间非齐次SPDE流行病模型中，感染人群在何种条件下会消亡？
• RQ2 在存在空间变异与随机扰动的情况下，何种条件可确保感染人群的长期持续存在（持续性）？
• RQ3 空间扩散与乘性噪声如何相互作用，影响流行病动力学中消亡与持续之间的阈值？
• RQ4 经典的SIR阈值准则能否推广至随机空间模型？噪声如何改变该阈值？
• RQ5 建立SPDE流行病模型解的存在性、唯一性与正性，需要哪些数学方法？

主要发现

• 对于空间 $ E $ 中任意非负初值，SPDE系统几乎必然存在唯一的正弱解，确保了生物上合理的种群密度。
• 当 $ \alpha < \mu_2 + \frac{1}{2}\sigma_2^2 $ 时，感染人群几乎必然发生消亡，其中 $ \alpha $ 为感染率，$ \sigma_2^2 $ 为感染者类别的噪声强度。
• 当 $ \alpha > \mu_2 + \frac{1}{2}\sigma_2^2 $ 且初值满足 $ \int_{\mathcal{O}} -\ln I_0(x)\,dx < \infty $ 时，感染人群的持续性可被保证。
• 消亡与持续性的阈值是精确的，即持续性条件几乎为必要，与SIS模型结果一致。
• 该模型框架可进一步推广至 regime-switching SPDE 与 Lévy 驱动噪声，表明其在布朗运动之外也具有更广泛的应用潜力。