Global analysis of virus dynamics model with logistic mitosis,cure rate and delay in virus production

In this paper, we study a virus dynamics model with logistic mitosis, cure rate, and intracellular delay. By means of construction of a suitable Lyapunov functionals, obtained by linear combinations of Volterra—type functions, composite quadratic functions and Volterra—type functionals, we provide the global stability for this model. If R₀, the basic reproductive number, satisfies R₀ ≤ 1, then the infection‐free equilibrium state is globally asymptotically stable. Our system is persistent if R₀ > 1. On the other hand, if R₀ > 1, then infection‐free equilibrium becomes unstable and a unique infected equilibrium exists. The local stability analysis is carried out for the infected equilibrium, and it is shown that, if the parameters satisfy a condition, the infected equilibrium can be unstable and a Hopf bifurcation can occur. We also have that if R₀ > 1, then the infected equilibrium state is globally asymptotically stable if a sufficient condition is satisfied. We illustrate our findings with some numerical simulations. Copyright © 2014 John Wiley & Sons, Ltd.     

Global dynamics of a intracellular infection model with delays and humoral immunity

A virus infection model with time delays and humoral immunity has been investigated. Mathematical analysis shows that the global dynamics of the model is fully determined by the basic reproduction numbers of the virus and the immune response, R₀ and R₁. The infection‐free equilibrium P₀ is globally asymptotically stable when R₀≤1. The infection equilibrium without immunity P₁ is globally asymptotically stable when R₁≤1 < R₀. The infection equilibrium with immunity P₂ is globally asymptotically stable when R₁>1. The expression of the basic reproduction number of the immune response R₁ implies that the immune response reduces the concentration of free virus as R₁>1. Copyright © 2016 John Wiley & Sons, Ltd.     

Global dynamics of a cell mediated immunity in viral infection models with distributed delays

In this paper, we investigate global dynamics for a system of delay differential equations which describes a virus-immune interaction in vivo. The model has two distributed time delays describing time needed for infection of cell and virus replication. Our model admits three possible equilibria, an uninfected equilibrium and infected equilibrium with or without immune response depending on the basic reproduction number for viral infection R₀ and for CTL response R₁ such that R₁<R₀. It is shown that there always exists one equilibrium which is globally asymptotically stable by employing the method of Lyapunov functional. More specifically, the uninfected equilibrium is globally asymptotically stable if R₀?1, an infected equilibrium without immune response is globally asymptotically stable if R₁?1<R₀ and an infected equilibrium with immune response is globally asymptotically stable if R₁>1. The immune activation has a positive role in the reduction of the infection cells and the increasing of the uninfected cells if R₁>1.     

Global dynamics of delay‐distributed HIV infection models with differential drug efficacy in cocirculating target cells

In this paper, we investigate the dynamical behaviors of three human immunodeficiency virus infection models with two types of cocirculating target cells and distributed intracellular delay. The models take into account both short‐lived infected cells and long‐lived chronically infected cells. In the two types of target cells, the drug efficacy is assumed to be different. The incidence rate of infection is given by bilinear and saturation functional responses in the first and second models, respectively, while it is given by a general function in the third model. Lyapunov functionals are constructed and LaSalle invariance principle is applied to prove the global asymptotic stability of all equilibria of the models. We have derived the basic reproduction number R₀ for the three models. For the first two models, we have proven that the disease‐free equilibrium is globally asymptotically stable (GAS) when R₀≤1, and the endemic equilibrium is GAS when R₀>1. For the third model, we have established a set of sufficient conditions for global stability of both equilibria of the model. We have checked our theoretical results with numerical simulations. Copyright © 2015 John Wiley & Sons, Ltd.     

Global properties of a class of HIV infection models with Beddington–DeAngelis functional response

In this paper, the global properties of a class of human immunodeficiency virus (HIV) models with Beddington–DeAngelis functional response are investigated. Lyapunov functions are constructed to establish the global asymptotic stability of the uninfected and infected steady states of three HIV infection models. The first model considers the interaction process of the HIV and the CD4 ⁺ T cells and takes into account the latently and actively infected cells. The second model describes two co‐circulation populations of target cells, representing CD4 ⁺ T cells and macrophages. The third model is a two‐target‐cell model taking into account the latently and actively infected cells. We have proven that if the basic reproduction number R₀ is less than unity, then the uninfected steady state is globally asymptotically stable, and if R₀ > 1, then the infected steady state is globally asymptotically stable. Copyright © 2012 John Wiley & Sons, Ltd.     

Global dynamics of a multistage SIR model with distributed delays and nonlinear incidence rate

In this paper, a multistage susceptible‐infectious‐recovered model with distributed delays and nonlinear incidence rate is investigated, which extends the model considered by Guo et al. [H. Guo, M. Y. Li and Z. Shuai, Global dynamics of a general class of multistage models for infectious diseases, SIAM J. Appl. Math., 72 (2012), 261–279]. Under some appropriate and realistic conditions, the global dynamics is completely determined by the basic reproduction number R₀. If R₀≤1, then the infection‐free equilibrium is globally asymptotically stable and the disease dies out in all stages. If R₀>1, then a unique endemic equilibrium exists, and it is globally asymptotically stable, and hence the disease persists in all stages. The results are proved by utilizing the theory of non‐negative matrices, Lyapunov functionals, and the graph‐theoretical approach. Copyright © 2016 John Wiley & Sons, Ltd.     

Global dynamics of a Vector‐Borne disease model with two delays and nonlinear transmission rate

In this paper, we investigate a Vector‐Borne disease model with nonlinear incidence rate and 2 delays: One is the incubation period in the vectors and the other is the incubation period in the host. Under the biologically motivated assumptions, we show that the global dynamics are completely determined by the basic reproduction number R₀. The disease‐free equilibrium is globally asymptotically stable if R₀≤1; when R₀>1, the system is uniformly persistent, and there exists a unique endemic equilibrium that is globally asymptotically. Numerical simulations are conducted to illustrate the theoretical results.     

Global stability of a virus dynamics model with intracellular delay and CTL immune response

In this paper, the global stability of a virus dynamics model with intracellular delay, Crowley–Martin functional response of the infection rate, and CTL immune response is studied. By constructing suitable Lyapunov functions and using LaSalles invariance principle, the global dynamics is established; it is proved that if the basic reproductive number, R₀, is less than or equal to one, the infection‐free equilibrium is globally asymptotically stable; if R₀ is more than one, and if immune response reproductive number, R⁰, is less than one, the immune‐free equilibrium is globally asymptotically stable, and if R⁰ is more than one, the endemic equilibrium is globally asymptotically stable. Copyright © 2014 John Wiley & Sons, Ltd.     

Global stability of multi-group epidemic models with distributed delays

We investigate a class of multi-group epidemic models with distributed delays. We establish that the global dynamics are completely determined by the basic reproduction number R₀. More specifically, we prove that, if R₀?1, then the disease-free equilibrium is globally asymptotically stable; if R₀>1, then there exists a unique endemic equilibrium and it is globally asymptotically stable. Our proof of global stability of the endemic equilibrium utilizes a graph-theoretical approach to the method of Lyapunov functionals.     

Global stability of multi-group SEIR epidemic models with distributed delays and nonlinear transmission

The dynamics of multi-group SEIR epidemic models with distributed and infinite delay and nonlinear transmission are investigated. We derive the basic reproduction number R₀ and establish that the global dynamics are completely determined by the values of R₀: if R₀≤1, then the disease-free equilibrium is globally asymptotically stable; if R₀>1, then there exists a unique endemic equilibrium which is globally asymptotically stable. Our results contain those for single-group SEIR models with distributed and infinite delays. In the proof of global stability of the endemic equilibrium, we exploit a graph-theoretical approach to the method of Lyapunov functionals. The biological significance of the results is also discussed.     

Modeling diseases with latency and nonlinear incidence rates: global dynamics of a multi‐group model

In this paper, we perform global stability analysis of a multi‐group SEIR epidemic model in which we can consider the heterogeneity of host population and the effects of latency and nonlinear incidence rates. For a simpler version that assumes an identical natural death rate for all groups, and with a gamma distribution for the latency, the basic reproduction number is defined by the theory of the next generation operator and proved to be a sharp threshold determining whether or not disease spread. Under certain assumptions, the disease‐free equilibrium is globally asymptotically stable if R₀≤1 and there exists a unique endemic equilibrium which is globally asymptotically stable if R₀>1. The proofs of global stability of equilibria exploit a matrix‐theoretic method using Perron eigenvetor, a graph‐theoretic method based on Kirchhoff's matrix tree theorem and Lyapunov functionals. Copyright © 2015 John Wiley & Sons, Ltd.     

Global stability of delay multigroup epidemic models with group mixing and nonlinear incidence rates

In this paper, we present a new delay multigroup SEIR model with group mixing and nonlinear incidence rates and investigate its global stability. We establish that the global dynamics of the models are completely determined by the basic reproduction number R₀. It is shown that, if R₀?1, then the disease free equilibrium is globally asymptotically stable and the disease dies out; if R₀>1, there exists a unique endemic equilibrium that is globally asymptotically stable and thus the disease persists in the population. Finally, a numerical example is also discussed to illustrate the effectiveness of the results.     

Complete global analysis of an SIRS epidemic model with graded cure and incomplete recovery rates

In this paper, applying two types of Lyapunov functional techniques to an SIRS epidemic model with graded cure and incomplete recovery rates, we establish complete global dynamics of the model whose threshold parameter is the basic reproduction number _R0$R_0$ such that the disease-free equilibrium is globally asymptotically stable when _R0?1$R_0?1$, and the endemic equilibrium is globally asymptotically stable when _R0>1$R_0>1$.     

Global stability for an HIV/AIDS epidemic model with different latent stages and treatment

An HIV/AIDS epidemic model with different latent stages and treatment is constructed. The model allows for the latent individuals to have the slow and fast latent compartments. Mathematical analyses establish that the global dynamics of the spread of the HIV infectious disease are determined by the basic reproduction number under some conditions. If R₀ < 1, the disease free equilibrium is globally asymptotically stable, and if R₀ > 1, the endemic equilibrium is globally asymptotically stable for a special case. Some numerical simulations are also carried out to confirm the analytical results.     

The global dynamics of a model about HIV-1 infection in vivo

A four dimension ODE model is built to study the infection of human immunodeficiency virus (HIV) in vivo. We include in this model four components: the healthy T cells, the latent-infected T cells, the active-infected T cells and the HIV virus. Two types of HIV transmissions in vivo are also included in the model: the virus-to-cell transmission, and the cell-to-cell HIV transmission. There are two possible equilibriums: the healthy equilibrium, and the infected steady state. The basic reproduction number R ₀ is introduced. When R ₀ < 1, the healthy equilibrium is globally stable and when R ₀ > 1, the infected equilibrium exists and is globally stable. Through simulations, we find that, the cell-to-cell HIV transmission is very important for the final outcome of the HIV attacking. Some important clinical observations about the HIV infection situation in lymph node are also verified.      

A delayed computer virus propagation model and its dynamics

In this paper, we propose a delayed computer virus propagation model and study its dynamic behaviors. First, we give the threshold value R₀ determining whether the virus dies out completely. Second, we study the local asymptotic stability of the equilibria of this model and it is found that, depending on the time delays, a Hopf bifurcation may occur in the model. Next, we prove that, if R₀ = 1, the virus-free equilibrium is globally attractive; and when R₀ < 1, it is globally asymptotically stable. Finally, a sufficient criterion for the global stability of the virus equilibrium is obtained.     

Dynamical behaviors of a discrete HIV‐1 virus model with bilinear infective rate

We establish a discrete virus dynamic model by discretizing a continuous HIV‐1 virus model with bilinear infective rate using ‘hybrid’ Euler method. We discuss not only the existence and global stability of the uninfected equilibrium but also the existence and local stability of the infected equilibrium. We prove that there exists a crucial value similar to that of the continuous HIV‐1 virus dynamics, which is called the basic reproductive ratio of the virus. If the basic reproductive ratio of the virus is less than one, the uninfected equilibrium is globally asymptotically stable. If the basic reproductive ratio of the virus is larger than one, the infected equilibrium exists and is locally stable. Moreover, we consider the permanence for such a system by constructing a Lyapunov function v_n. Copyright © 2013 John Wiley & Sons, Ltd.     

Bifurcation analysis of HIV infection model with antibody and cytotoxic T‐lymphocyte immune responses and Beddington–DeAngelis functional response

In this paper, a mathematical model for HIV‐1 infection with antibody, cytotoxic T‐lymphocyte immune responses and Beddington–DeAngelis functional response is investigated. The stability of the infection‐free and infected steady states is investigated. The basic reproduction number R₀ is identified for the proposed system. If R₀ < 1, then there is an infection‐free steady state, which is locally asymptotically stable. Further, the infected steady state is locally asymptotically stable for R₀ > 1 in the absence of immune response delay. We use Nyquist criterion to estimate the length of the delay for which stability continues to hold. Also the existence of the Hopf bifurcation is investigated by using immune response delay as a bifurcation parameter. Numerical simulations are presented to justify the analytical results. Copyright © 2014 John Wiley & Sons, Ltd.     

Qualitative analysis of the SICR epidemic model with impulsive vaccinations

Control of epidemic infections is a very urgent issue today. To develop an appropriate strategy for vaccinations and effectively prevent the disease from arising and spreading, we proposed a modified Susceptible‐Infected‐Removed model with impulsive vaccinations. For the model without vaccinations, we proved global stability of one of the steady states depending on the basic reproduction number R₀. As typically in the epidemic models, the threshold value of R₀ is 1. If R₀ is greater than 1, then the positive steady state called endemic equilibrium exists and is globally stable, whereas for smaller values of R₀, it does not exist, and the semi‐trivial steady state called disease‐free equilibrium is globally stable. Using impulsive differential equation comparison theorem, we derived sufficient conditions under which the infectious disease described by the considered model disappears ultimately. The analytical results are illustrated by numerical simulations for Hepatitis B virus infection that confirm the theoretical possibility of the infection elimination because of the proper vaccinations policy. Copyright © 2012 John Wiley & Sons, Ltd.