Applications of the Poincaré-Hopf Theorem: Epidemic Models and Lotka-Volterra Systems

This paper focuses on the equilibria and their regions of attraction for continuous-time nonlinear dynamical systems. The classical Poincare--Hopf Theorem from differential topology is used to derive a result on a sufficient condition on the Jacobian for the existence of a unique equilibrium for the system, which is in fact locally exponentially stable. We show how to apply this result to the deterministic SIS networked model, and a nonlinear Lotka--Volterra system. We apply the result further to establish an impossibility conclusion for a class of distributed feedback controllers whose goal is to drive the SIS network to the zero equilibrium. Specifically, we show that if the uncontrolled system has a unique nonzero equilibrium (a diseased steady-state), then the controlled system also has a unique nonzero equilibrium. Applying results from monotone dynamical systems theory, we further show that both the uncontrolled and controlled system will converge to their nonzero equilibrium from all nonzero initial conditions exponentially fast. A counterpart sufficient condition for the existence of a unique equilibrium for a nonlinear discrete-time dynamical system is also presented.

[1]  Zsolt Sándor,et al.  On price equilibrium with multi-product firms , 2004 .

[2]  Piet Van Mieghem,et al.  Virus Spread in Networks , 2009, IEEE/ACM Transactions on Networking.

[3]  Wendi Wang,et al.  The effect of population dispersal on the spread of a disease , 2005 .

[4]  W. A. Kirk,et al.  An Introduction to Metric Spaces and Fixed Point Theory , 2001 .

[5]  W. Walter Ordinary differential inequalities in ordered Banach spaces , 1971 .

[6]  Xiao-Qiang Zhao,et al.  An epidemic model in a patchy environment. , 2004, Mathematical biosciences.

[7]  Van Sy Mai,et al.  Distributed Algorithm for Suppressing Epidemic Spread in Networks , 2018 .

[8]  Y. Takeuchi Global Dynamical Properties of Lotka-Volterra Systems , 1996 .

[9]  Robert J. Plemmons,et al.  Nonnegative Matrices in the Mathematical Sciences , 1979, Classics in Applied Mathematics.

[10]  J. Yorke,et al.  A Deterministic Model for Gonorrhea in a Nonhomogeneous Population , 1976 .

[11]  Brian D. O. Anderson,et al.  Evolution of Social Power in Social Networks With Dynamic Topology , 2017, IEEE Transactions on Automatic Control.

[12]  J. Gillis,et al.  Matrix Iterative Analysis , 1961 .

[13]  Zhi Xu,et al.  Distributed Evaluation and Convergence of Self-Appraisals in Social Networks , 2017, IEEE Trans. Autom. Control..

[14]  George J. Pappas,et al.  Optimal Resource Allocation for Competitive Spreading Processes on Bilayer Networks , 2015, IEEE Transactions on Control of Network Systems.

[15]  S. Sastry Nonlinear Systems: Analysis, Stability, and Control , 1999 .

[16]  S. Smale On the differential equations of species in competition , 1976, Journal of mathematical biology.

[17]  Franco Blanchini,et al.  Set invariance in control , 1999, Autom..

[18]  Sector stability of a complex ecosystem model , 1978 .

[19]  Hal L. Smith Systems of ordinary differential equations which generate an order preserving flow. A survey of results , 1988 .

[20]  G. Sallet,et al.  Epidemiological Models and Lyapunov Functions , 2007 .

[21]  Bahman Gharesifard,et al.  Stability of epidemic models over directed graphs: A positive systems approach , 2014, Autom..

[22]  Mung Chiang,et al.  Equilibrium of heterogeneous congestion control: existence and uniqueness , 2007, TNET.

[23]  Tamer Başar,et al.  Analysis and Control of a Continuous-Time Bi-Virus Model , 2019, IEEE Transactions on Automatic Control.

[24]  Timothy W. McLain,et al.  Coordination Variables and Consensus Building in Multiple Vehicle Systems , 2004 .

[25]  Chinwendu Enyioha,et al.  Optimal Resource Allocation for Network Protection: A Geometric Programming Approach , 2013, ArXiv.

[26]  A. Berman,et al.  SEMIGROUPS OF NONNEGATIVE MATRICES , 1979 .

[27]  Mengbin Ye,et al.  Modelling of Individual Behaviour in the DeGroot–Friedkin Self-Appraisal Dynamics on Social Networks , 2019, 2019 18th European Control Conference (ECC).

[28]  Hal L. Smith,et al.  Monotone Dynamical Systems: An Introduction To The Theory Of Competitive And Cooperative Systems (Mathematical Surveys And Monographs) By Hal L. Smith , 1995 .

[29]  J. Milnor Topology from the differentiable viewpoint , 1965 .

[30]  Francesco Bullo,et al.  Opinion Dynamics and the Evolution of Social Power in Influence Networks , 2015, SIAM Rev..

[31]  John A. Jacquez,et al.  Qualitative Theory of Compartmental Systems , 1993, SIAM Rev..

[32]  Z. Qu,et al.  Cooperative Control of Dynamical Systems: Applications to Autonomous Vehicles , 2009 .

[33]  Sandip Roy,et al.  Sparse Resource Allocation for Linear Network Spread Dynamics , 2017, IEEE Transactions on Automatic Control.

[34]  L. Allen Some discrete-time SI, SIR, and SIS epidemic models. , 1994, Mathematical biosciences.

[35]  A. Saberi,et al.  Designing spatially heterogeneous strategies for control of virus spread. , 2008, IET systems biology.

[36]  Francesco Bullo,et al.  On the dynamics of deterministic epidemic propagation over networks , 2017, Annu. Rev. Control..

[37]  Finn Christensen A Necessary and Sufficient Condition for a Unique Maximum with an Application to Potential Games , 2017 .

[38]  C. A. Desoer,et al.  Nonlinear Systems Analysis , 1978 .

[39]  George J. Pappas,et al.  Analysis and Control of Epidemics: A Survey of Spreading Processes on Complex Networks , 2015, IEEE Control Systems.

[40]  Qamar Din,et al.  Dynamics of a discrete Lotka-Volterra model , 2013, Advances in Difference Equations.

[41]  A.C.F. Vorst,et al.  Equilibrium Points in an Urban Retail Model and their Connection with Dynamical Systems , 1983 .

[42]  H. Varian A THIRD REMARK ON THE NUMBER OF EQUILIBRIA OF AN ECONOMY , 1975 .

[43]  Mohamed Ali Belabbas On Global Stability of Planar Formations , 2013, IEEE Transactions on Automatic Control.

[44]  Asuman E. Ozdaglar,et al.  Generalized Poincaré-Hopf Theorem for Compact Nonsmooth Regions , 2007, Math. Oper. Res..

[45]  B. Dundas,et al.  DIFFERENTIAL TOPOLOGY , 2002 .

[46]  Brian D. O. Anderson,et al.  Nonlinear Mapping Convergence and Application to Social Networks , 2017, 2018 European Control Conference (ECC).

[47]  D. Helbing,et al.  The Hidden Geometry of Complex, Network-Driven Contagion Phenomena , 2013, Science.

[48]  S. M. Moghadas,et al.  Analysis of an epidemic model with bistable equilibria using the Poincaré index , 2004, Appl. Math. Comput..