传染病SIR模型的输入-状态稳定性和具有显式域的李雅普诺夫函数
Input-to-state stability and Lyapunov functions with explicit domains for SIR model of infectious diseases
摘要：
本文证明了传染病SIR模型关于无病平衡点和地方病平衡点的输入-状态稳定性。构造李雅普诺夫函数，以验证这两个平衡是单独的强大的扰动的新生儿/移民率，决定了最终的状态的人口在流行病。构造和分析是几何的和全球的人口空间。除了建立国际空间站，本文显示了如何明确的构造水平集反映流的轨迹。阐明了构造李雅普诺夫函数的基本障碍和关键。所提出的具有严格负导数的李雅普诺夫函数不仅使我们能够建立ISS，而且摆脱了LaSalle的不变原理和流行的简化假设。
英文摘要：
This paper demonstrates input-to-state stability (ISS) of the SIR model of infectious diseases with respect to the disease-free equilibrium and the endemic equilibrium. Lyapunov functions are constructed to verify that both equilibria are individually robust with respect to perturbation of newborn/immigration rate which determines the eventual state of populations in epidemics. The construction and analysis are geometric and global in the space of the populations. In addition to the establishment of ISS, this paper shows how explicitly the constructed level sets reflect the flow of trajectories. Essential obstacles and keys for the construction of Lyapunov functions are elucidated. The proposed Lyapunov functions which have strictly negative derivative allow us to not only establish ISS, but also get rid of the use of LaSalle's invariance principle and popular simplifying assumptions.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
