Abstract

The cure effect of a virus model with both cell-to-cell transmission and cell-to-virus transmission is studied. By the method of next generation matrix, the basic reproduction number is obtained. The locally asymptotic stability of the virus-free equilibrium and the endemic equilibrium is considered by investigating the characteristic equation of the model. The globally asymptotic stability of the virus-free equilibrium is proved by constructing suitable Lyapunov function, and the sufficient condition for the globally asymptotic stability of the endemic equilibrium is obtained by constructing suitable Lyapunov function and using LaSalle invariance principal.

1. Introduction and Model Formulation

Since tobacco mosaic virus, the first virus of the world discovered by Beijerinck in 1898 [1], more and more viruses have been discovered by biologists, biomedical scientists, and medical scientists and more than 5,000 viruses have been recorded in detail [2]. However, according to a recent study, there are at least 32,0000 viruses waiting to be discovered in the spread between mammalian species. Identifying diseases caused by these viruses, especially those that can infect people, perhaps can help us to prevent epidemic disease [3]. At the early stage of the study, it is generally accepted that because of the specificity of viruses, virus can only infect certain plant or animal species; however, more and more cases associated with emerging zoonoses have appeared, and with a deeper understanding of the virus, we found that most viruses can infect humans, such as Human Immunodeficiency Virus (HIV), Prions, Influenza Virus, Rabies Virus, Ebola Virus, and Middle East Respiratory Syndrome Coronavirus (MERSV) [36].

Generally, the basic process of viral infection and virus replication occurs in six main steps: attachment, penetration, uncoating, replication, assembly, and release [7]. After the whole replicative cycle, free viruses begin to diffuse and infect new host cell. Therefore, investigating the processes of viral growth and destruction of host cells so as to gain the insights into the evolutionary processes of virus and cell in body is very important. To this end, mathematical models and analysis are powerful tools.

Since mathematical models and method of mathematical analysis were used to study the dynamics of the virus, lots of models have been established to explain the evolution of the uninfected target cells, infected cells, and the free virus. In these models, early works belonged to Nowak et al. [8], Nowak and May [9], Perelson and Nelson [10], and Perelson et al. [11]. The general class of models that have been studied [812] have a form similar towhere , , and represent the concentrations of uninfected target cells, infected cells, and virus, respectively. For explanations of other parameters we refer to literature [12]. This model describes the processes of virus invading the target cells and the release of the virus due to the infected cell apoptosis. In the model, the authors use to represent the interaction between uninfected target and virus , which obey the principle of mass action. Based on model (1), more authors used nonlinear functions to describe the rate constant characterizing infection of cells, for example, in [13], in [14, 15], in [16], and in [17], and for details of more general nonlinear incidence rate functions please see [1820]. Notice that there exists a potentially possible cure rate of the infected cells to the susceptible host cells in the infection process of some virus, such as Hepatitis B Virus (HBV) [2125] and HIV [2632]; recently, Hattaf et al. [19] adopted a general nonlinear incidence rate function with the form and introduced cure rate (denoted by ) into the following model:In model (2), satisfies the following hypotheses:, for all , for all , , and and , for all , , and

Recently, Tian and Liu [20] improved model (2) by proposing a more general nonlinear incidence rate function with the form and investigated the following model:In model (3), satisfies the following hypotheses:, for all and , and , for all and , for all , , and , for all , , and and , for all , , and

However, many researches show that direct cell-to-cell spread can happen in some enveloped viruses (e.g., Human Immunodeficiency Virus type-1 (HIV-1) [3337], Human T-Lymphotropic Virus Type-1 (HTLV-1) [3841], Herpes Simplex Virus (HSV) [42], and Measles [4345]). Cell-to-cell spread not only facilitates rapid viral dissemination, but may also promote immune evasion and influence disease [46]. Moreover, a recent study has shown that cell-to-cell spread of HIV-1 can reduce the sensitivity to the antiretroviral drugs by multiple infections of target cells and, as a result, the efficacy of antiretroviral therapy is reduced [47].

Motivated by the works [1820, 48], we propose a virus dynamical model with both cell-to-virus infection and cell-to-cell transmission and cure rate as follows:where , , and denote the number of host cells, infected cells, and free virus, respectively. And , , and are the death rates of them, respectively. Free virus is produced by infected cells at a rate . represents the regeneration rate of host cells. is the cure rate. represents the total infection rate of host cells, which is divided into two parts and The former represents the part where infected cells infect host cells by direct contact, and the latter means that host cells are infected by the free virus. For more detail, please see [48]. In the present model, we can see , for all and , and for all , , and , which do not satisfy conditions in model (2) and conditions and in model (3). For biological considerations, we will study system (4) in the closed set

The main goal of the present paper is to investigate the globally asymptotic stability of the equilibria of (4). This work is structured as follows. In Section 1, we give the motivation and study the background of the model. In Section 2, the existence of virus-free equilibrium and the endemic equilibrium is shown based on the basic reproduction number. And the local stability of the two equilibria is discussed in Section 3. We focus on the globally asymptotic stability of the two equilibria in Section 4. Finally, a brief conclusion and discussion are given in Section 5.

2. Basic Reproduction Number and Equilibria

The basic reproduction number [49, 50] of model (4) is given as Based on the basic reproduction number , we have Theorem 1.

Theorem 1. Model (4) always has a virus-free equilibrium , where If , model (4) has a unique endemic equilibrium , where

3. Local Stability of the Two Equilibria

In this section, we shall show the local stability of equilibria and

Theorem 2. For model (4), we have the following conclusion:(i) is locally stable if and unstable if (ii) is locally stable if

Proof. We firstly prove (i). Notice the Jacobian of model (4) evaluated is given by Obviously, has an eigenvalue , and the other two eigenvalues and satisfy Then, when , , and , all the eigenvalues of have negative real parts and is locally asymptotically stable. And when and , has a positive eigenvalue and is unstable.
Next, we prove (ii). The Jacobian of model (4) evaluated is from which we have the characteristic equationwhere Obviously, And noticing that , we have where and are used. Then, by the Routh-Hurwitz Criterion [51], we know that all the roots of (10) always have negative real parts. Thus, the epidemic equilibrium is locally asymptotically stable for

4. Global Stability of the Two Equilibria

In this section, we study the global behaviors of model (4) by constructing Lyapunov functions. Firstly, we show the global stability of

Theorem 3. If , the virus-free equilibrium is globally asymptotically stable.

Proof. Define a Lyapunov function on as follows:here, is a constant to be determined. It follows from (4) and (13) that Since , we have ; then, we can choose such that Hence, we have that Then, is globally asymptotically stable.

Next, we study the global stability of the endemic equilibrium

Theorem 4. If , the epidemic equilibrium is globally asymptotically stable, where

Proof. If , we define a Lyapunov function as follows:It follows from (4) and (15) that Since the arithmetic mean is greater than or equal to the geometric mean, it follows that The above equality holds only for , , and Clearly, if and , then Note that can be formulated as Since if and only if , , and , by LaSalle invariance principle [52], the equilibrium is globally asymptotically stable.

5. Conclusion and Discussion

In this paper, we considered the cure effect of a virus model with both cell-to-cell transmission and cell-to-virus transmission. By the method of next generation matrix, the basic reproduction number is obtained. Firstly the locally asymptotic stability of the virus-free equilibrium and the endemic equilibrium is considered. Then, the globally asymptotic stability of the virus-free equilibrium is proved by constructing suitable Lyapunov function, and the sufficient condition for the globally asymptotic stability of the endemic equilibrium is obtained by constructing suitable Lyapunov function and using LaSalle invariance principal. By analyzing the condition for the globally asymptotic stability of the endemic equilibrium, we have that if , from Theorem 4, the conditions can ensure the global stability of the equilibrium , While if , by the numerical simulations (see Figures 1 and 2), we find that in Theorem 4 is not necessary and can be dropped.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

Tongqian Zhang and Xinzhu Meng are supported by the National Natural Science Foundation of China (no. 11371230), Shandong Provincial Natural Science Foundation, China (no. ZR2012AM012, ZR2015AQ001), a Project for Higher Educational Science and Technology Program of Shandong Province of China (no. J13LI05), Joint Innovative Center for Safe and Effective Mining Technology and Equipment of Coal Resources, Shandong Province of China, and SDUST Research Fund (2014TDJH102).