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 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 properties for virus dynamics model with Beddington–DeAngelis functional response

This paper investigates the global stability of virus dynamics model with Beddington–DeAngelis infection rate. By constructing Lyapunov functions, the global properties have been analysed. If the basic reproductive ratio of the virus is less than or equal to one, the uninfected steady state is globally asymptotically stable. If the basic reproductive ratio of the virus is more than one, the infected steady state is globally asymptotically stable. The conditions imply that the steady states are always globally asymptotically stable for Holling type II functional response or for a saturation response.     

Global stability of the virus dynamics model with intracellular delay and Crowley–Martin functional response

In this paper, a virus dynamics model with intracellular delay and Crowley–Martin functional response is discussed. By constructing suitable Lyapunov functions and using LaSalles invariance principle for delay differential equations, we established the global stability of uninfected equilibrium and infected equilibrium; it is proved that if the basic reproductive number is less than or equal to one, the uninfected equilibrium is globally asymptotically stable; if the basic reproductive number is more than one, the infected equilibrium is globally asymptotically stable. We also discuss the effects of intracellular delay on global dynamical properties by comparing the results with the stability conditions for the model without delay. Copyright © 2013 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.      

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.     

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 dynamics of an age‐structured virus model with saturation effects

An infection‐age virus dynamics model for human immunodeficiency virus (or hepatitis B virus) infections with saturation effects of infection rate and immune response is investigated in this paper. It is shown that the global dynamics of the model is completely determined by two critical values R ₀, the basic reproductive number for viral infection, and R ₁, the viral reproductive number at the immune‐free infection steady state (R ₁<R ₀). If R ₀<1, the uninfected steady state E ⁰ is globally asymptotically stable; if R ₀>1 > R ₁, the immune‐free infected steady state E ^? is globally asymptotically stable; while if R ₁>1, the antibody immune infected steady state is globally asymptotically stable. Moreover, our results show that ignoring the saturation effects of antibody immune response or infection rate will result in an overestimate of the antibody immune reproductive number. Copyright © 2016 John Wiley & Sons, Ltd.     

Bifurcation analysis of a multidelayed HIV model in presence of immune response and understanding of in‐host viral dynamics

In this paper, we proposed a multidelayed in‐host HIV model to represent the interaction between human immunodeficiency virus and immune response. One delay was considered to incorporate the time required by the virus for various intracellular events to make a host cell productively infective, and the second delay was introduced to take into account the time required for adaptive immune system to respond against infection. We extensively analyzed this multidelayed model analytically and numerically. We show that delay may have both destabilizing and stabilizing effects even when the system contains a single immune response delay. It happens when there exists two sequences of critical values of this delay. If the system starts with stable state in absence of delay, then the smallest value of these critical delays causes instability and the next higher value causes stability. The system may also show stability switching for different values of the virus replication factor. These results demonstrate the possible reasons of intrapatients and interpatients variability of CD4⁺ T cells and virus counts in HIV‐infected patients.     

Global dynamics of a viral infection model with a latent period and Beddington-DeAngelis response

In this paper, we study the global dynamics of a viral infection model with a latent period. The model has a nonlinear function which denotes the incidence rate of the virus infection in vivo. The basic reproduction number of the virus is identified and it is shown that the uninfected equilibrium is globally asymptotically stable if the basic reproduction number is equal to or less than unity. Moreover, the virus and infected cells eventually persist and there exists a unique infected equilibrium which is globally asymptotically stable if the basic reproduction number is greater than unity. The basic reproduction number determines the equilibrium that is globally asymptotically stable, even if there is a time delay in the infection.     

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.     

Analysis of an HIV model with post-treatment control

Recent investigation indicated that latent reservoir and immune impairment are responsible for the post-treatment control of HIV infection. In this paper, we simplify the disease model with latent reservoir and immune impairment and perform a series of mathematical analysis. We obtain the basic infection reproductive number $R_{0}$ to characterize the viral dynamics. We prove that when $R_{0}<1$, the uninfected equilibrium of the proposed model is globally asymptotically stable. When $R_{0}>1$, we obtain two thresholds, the post-treatment immune control threshold and the elite control threshold. The model has bistable behaviors in the interval between the two thresholds. If the proliferation rate of CTLs is less than the post-treatment immune control threshold, the model does not have positive equilibria. In this case, the immune free equilibrium is stable and the system will have virus rebound. On the other hand, when the proliferation rate of CTLs is greater than the elite control threshold, the system has stable positive immune equilibrium and unstable immune free equilibrium. Thus, the system is under elite control.     

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

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.     

Dynamics analysis of a delayed viral infection model with immune impairment

In this paper, the dynamical behavior of a delayed viral infection model with immune impairment is studied. It is shown that if the basic reproductive number of the virus is less than one, then the uninfected equilibrium is globally asymptotically stable for both ODE and DDE model. And the effect of time delay on stabilities of the equilibria of the DDE model has been studied. By theoretical analysis and numerical simulations, we show that the immune impairment rate has no effect on the stability of the ODE model, while it has a dramatic effect on the infected equilibrium of the DDE model.     

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.     

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.