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.     

Global stability of nonresident computer virus models

In this paper, applying Lyapunov functional techniques to nonresident computer virus models, we establish global dynamics of the model whose threshold parameter is the basic reproduction number R₀ such that the virus‐free equilibrium is globally asymptotically stable when R₀ ≤ 1, and the infected equilibrium is globally asymptotically stable when R₀ > 1 under the same restricted condition on a parameter, which appeared in the literature on delayed susceptible‐infected‐recovered‐susceptible (SIRS) epidemic models. We use new techniques on permanence and global stability of this model for R₀ > 1. Copyright © 2014 John Wiley & Sons, Ltd.     

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 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.     

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.      

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.     

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 behavior of computer virus on Internet

In this paper, we presented a computer virus model using an SIRS model and the threshold value R₀ determining whether the disease dies out is obtained. If R₀ is less than one, the disease-free equilibrium is globally asymptotically stable. By using the time delay as a bifurcation parameter, the local stability and Hopf bifurcation for the endemic state is investigated. Numerical results demonstrate that the system has periodic solution when time delay is larger than a critical values. The obtained results may provide some new insight to prevent the computer virus.     

Global stability of an SIS epidemic model with delays

In this paper, we consider the global dynamics of the S(E)IS model with delays denoting an incubation time. By constructing a Lyapunov functional, we prove stability of a disease‐free equilibrium E₀ under a condition different from that in the recent paper. Then we claim that R₀≤1 is a necessary and sufficient condition under which E₀ is globally asymptotically stable. We also propose a discrete model preserving positivity and global stability of the same equilibria as the continuous model with distributed delays, by means of discrete analogs of the Lyapunov functional.     

Global analysis of a periodic epidemic model on cholera in presence of bacteriophage

We propose and analyze a recurrent epidemic model of cholera in the presence of bacteriophage. The model is extended by general periodic incidence functions for low‐infectious bacterium and high‐infectious bacterium, respectively. A general periodic shedding function for two infected class (phage‐positive and phage‐negative) and a generalized contact and intrinsic growth function for susceptible class are also considered. Under certain biological assumptions, we derive the basic reproduction number (R₀) in a periodic environment for the proposed model. We also observe the global stability of the disease‐free equilibrium, existence, permanence, and global stability of the positive endemic periodic solution of our proposed model. Finally, we verify our results with specific functional form. Copyright © 2016 John Wiley & Sons, Ltd.     

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 behaviour of an SIR epidemic model with time delay

We study the stability of a delay susceptible–infective–recovered epidemic model with time delay. The model is formulated under the assumption that all individuals are susceptible, and we analyse the global stability via two methods—by Lyapunov functionals, and—in terms of the variance of the variables. The main theorem shows that the endemic equilibrium is stable. If the basic reproduction number ?₀ is less than unity, by LaSalle invariance principle, the disease‐free equilibrium E_s is globally stable and the disease always dies out. By applying the integral averaging theory, we also investigate the stability in variance of the model. Copyright © 2006 John Wiley & Sons, Ltd.     

Global stability of delay-distributed viral infection model with two modes of viral transmission and B-cell impairment

This paper formulates a virus dynamics model with impairment of B-cell functions. The model incorporates two modes of viral transmission: cell-free and cell-to-cell. The cell-free and cell-cell incidence rates are modeled by general functions. The model incorporates both, latently and actively, infected cells as well as three distributed time delays. Nonnegativity and boundedness properties of the solutions are proven to show the well-posedness of the model. The model admits two equilibria that are determined by the basic reproduction number R₀. The global stability of each equilibrium is proven by utilizing Lyapunov function and LaSalle's invariance principle. The theoretical results are illustrated by numerical simulations. The effect of impairment of B-cell functions and time delays on the virus dynamics are studied. We have shown that if the functions of B-cell is impaired, then the concentration of viruses is increased in the plasma. Moreover, we have observed that increasing the time delay will suppress the viral replication.     

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.     

Stability analysis of a virus infection model with humoral immunity response and two time delays

In this paper, we investigate the dynamical properties for a model of delay differential equations, which describes a virus‐immune interaction in vivo. By analyzing corresponding characteristic equations, the local stability of the equilibria for infection‐free, antibody‐free, and antibody response and the existence of Hopf bifurcation with antibody response delay as a bifurcation parameter at the antibody‐activated infection equilibrium are established, respectively. Global stability of the equilibria for infection‐free, antibody‐free, and antibody response, respectively, also are established by applying the Lyapunov functionals method. The numerical simulations are performed in order to illustrate the dynamical behavior of the model. Copyright © 2016 John Wiley & Sons, Ltd.     

Stability of a delayed SIRS epidemic model with a nonlinear incidence rate

In this paper, an SIRS epidemic model with a nonlinear incidence rate and a time delay is investigated. By analyzing the corresponding characteristic equations, the local stability of an endemic equilibrium and a disease-free equilibrium is discussed. By comparison arguments, it is proved that if the basic reproductive number R₀<1, the disease-free equilibrium is globally asymptotically stable. If R₀>1, by means of an iteration technique, sufficient conditions are derived for the global asymptotic stability of the endemic equilibrium.     

Optimal control and sensitivity analysis of SIV→HIV dynamics with effects of infected immigrants in sub‐Saharan Africa

Regional migration has become an underlying factor in the spread of HIV transmission. In addition, immigrants with HIV status has contributed with high‐risk of sexually transmitted infection to its “destination” communities and promotes dissemination of HIV. Efforts to address HIV/AIDS among conflict‐affected populations should be properly addressed to eliminate potential role of the spread of the disease and risk of exposure to HIV. Motivated from this situation, HIV‐infected immigrants factor to HIV/SIV transmission link will be investigated in this research and examine its potential effect using optimal control method. Nonlinear deterministic mathematical model is used which is a multiple host model comprising of humans and chimpanzees. Some basic properties of the model such as invariant region and positivity of the solutions will be examined. The local stability of the disease‐free equilibrium was examined by computing the basic reproduction number, and it was found to be locally asymptotically stable when ?₀<1 and unstable otherwise. Sensitivity analysis was conducted to determine the parameters that help most in the spread of the virus. Pontryagin's maximum principle is used to obtain the optimality conditions for controlling the disease spread. Numerical simulation was conducted to obtain the analytical results. The results shows that combination of public health awareness, treatment, and culling help in controlling the HIV disease spread.     

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.     

Analysis of SE τ IR ω S epidemic disease models with vertical transmission in complex networks

When the role of network topology is taken into consideration, one of the objectives is to understand the possible implications of topological structure on epidemic models. As most real networks can be viewed as complex networks, we propose a new delayed SEτ IRωS epidemic disease model with vertical transmission in complex networks. By using a delayed ODE system, in a small-world (SW) network we prove that, under the condition R0 ≤ 1, the disease-free equilibrium (DFE) is globally stable. When R0 > 1, the endemic equilibrium is unique and the disease is uniformly persistent. We further obtain the condition of local stability of endemic equilibrium for R0 > 1. In a scale-free (SF) network we obtain the condition R1 > 1 under which the system will be of non-zero stationary prevalence.