#### Abstract

By introducing the probability function describing latency of infected cells, we unify some models of viral infection with latent stage. For the case that the probability function is a step function, which implies that the latency period of the infected cells is constant, the corresponding model is a delay differential system. The model with delay of latency and two types of target cells is investigated, and the obtained results show that when the basic reproduction number is less than or equal to unity, the infection-free equilibrium is globally stable, that is, the in-host free virus will be cleared out finally; when the basic reproduction number is greater than unity, the infection equilibrium is globally stable, that is, the viral infection will be chronic and persist in-host. And by comparing the basic reproduction numbers of ordinary differential system and the associated delayed differential system, we think that it is necessary to elect an appropriate type of probability function for predicting the final outcome of viral infection in-host.

#### 1. Introduction

The dynamical models of virus infection have played an important role in understanding the action of in-host free virus on target cells. Nowak et al. [1, 2] proposed one of the earliest of these models: where , , and are the concentrations of uninfected cells, infected cells, and viral particles (virions) at time , respectively. In model (1), uninfected target cells are assumed to be produced at a constant rate and die at a rate . Infection of target cells by in-host free virus is assumed to occur at a bilinear rate . Infected cells are lost at a rate . Free virus are produced by infected cells at a rate in which is the average number of viral particles produced by a single infected cell over its lifetime and die at a rate . Model (1) is a basic model of viral infection, which has been used widely to investigate infection of some viruses (such as, HIV, HBV, HCV, and HLTV). However, following infection of virus, within a cell the provirus may remain latent, giving no sign of its presence for months or years [3]. According to this fact, in order to investigate HIV-1 dynamics in vivo, Perelson et al. incorporated the latently infected cells into the basic model (1) [4, 5]. It implies that the development of infected cell should include latent and active two stages. That is, once infected, a cell first becomes a latently infected cell, but does not produce virus; after a period of time a latently infected cell turns active and begins to produce virus. The global stability of some ODE models of viral infection with latent stage is considered in [6, 7].

In 1997, Perelson et al. [8] observed that HIV attacks two types of target cells, T cells and macrophages. On the other hand, it was also detected that, except for liver tissue, HCV may be produced in some extrahepatic tissues, such as bone marrow [9], peripheral blood mononuclear cells (PBMC) [10], brain [11], and lymph nodes [12]. Then, according to these virological findings, based on model (1), some viral dynamical models with two types of target cells were proposed [5, 13, 14], which are all expressed by ordinary differential equations.

Since the dynamics of viral infection in-host is not well understood, in order to investigate the mechanism of viral infection, some reasonable assumptions are often incorporated into mathematical models describing the interaction between target cells and viral particles. In this paper, we first introduce the probability functions describing the latency of infected cells to unify some models of viral infection with latent stage and then analyze dynamics of viral infection model with constant latency period and two types of target cells. The discussed model is a system of delay differential equations.

The organization of this paper is as follows. In Section 2, we unify some models of viral infection with latent stage by introducing the probability function describing latency of infected cells and propose a model of virus infection with latent delay and two types of target cells. The global stability is analyzed in Section 3. At last, the conclusion on the model is summarized, and the basic reproduction numbers of ordinary differential system and the associated delay differential system are compared.

#### 2. Models

Let for denote the probability that an infected cell is in the latent stage at least time units before becoming the actively infected cell, and then, when the infection rate of virus is assumed to be , the concentration of the latently infected cells at time can be expressed by the following equation: where is the concentration of the latently infected cells which are in the latent stage at time and still at the same state at time . Function is a nonnegative, non-increasing, and piecewise continuous function. Thus, when incorporating the latent stage of infected cells into the basic model (1), we have the model of viral infection with latent stage: where the term in the third equation of (3) represents the recruitment rate of actively infected cells; its expression should depend on the form of function .

Usually, function is elected as one of the following two types, the exponential function (i.e., ) and the step function (i.e., equals to for and for ) [15, 16]. Here, the exponential function means that the transfer of the infected cells from the latent state to the active one follows the exponential distribution, and the step function means that the time length of staying at the latent state for the infected cells is constant and that they become active after the time period . It is easy to know that the average latency period of the infected cells is for the exponential function and for the step function.

When , (2) becomes where is the concentration of the latently infected cells at , then we have From the equation of , we know that the removed rate of the latently infected cells is , where is the death rate coefficient of uninfected cells; then is the infection-induced transfer rate to actively infected cells, that is, . So, system (3) becomes

When is a step function, that is, for . Thus, for the integral equation (2) becomes It is equivalent to the following delay differential equation: with , where the term represents the recruitment rate of the actively infected cells for . Thus, when investigating the long-term behavior of model (3), the corresponding model with constant latent period is given by From the inference above, we may see that models (6) and (10) can be unified into model (3) and are two special cases of (3). This is due to the introduction of the probability function . Global properties of models (6) and (10) were investigated in [6, 17], respectively.

When considering the case that virus attacks two types of target cells, we denote the corresponding quantities by the same letters as model (3) with the subscript or . The subscript represents the type of target cells. Thus, we have the following model with latent stage and two types of target cells:

Similarly, when the probability functions in (11) are exponential function, model (11) can become Its dynamical behavior was analyzed in [7].

When the probability functions in (11) are step function, for , model (11) can become For system (13), variables and do not appear in the equations of , (), and , then denoting , and , gives a subsystem of (13) as follows: In this paper, we will investigate the global behaviors of system (14).

For system (14), we set a suitable phase space. Denote the Banach space of continuous functions mapping the interval into with the sup-norm for by , where . The nonnegative cone of is defined as . From the biological meaning, the initial conditions for system (14) are given as follows: where and , .

Under the initial conditions (15), it is easy to see that all solutions of system (14) are positive on . Furthermore, we have the following statement with respect to the boundedness of solutions of system (14).

Theorem 1. *All solutions of system (14) under the initial conditions (15) are ultimately bounded. *

*Proof. *Define a Lyapunov functional then from the first two equations of (14), we have
where . It follows that , that is, for any positive number there is such that for .

Similarly, from the third and fourth equations of (14) we know that for any positive number there is such that for , where .

Therefore, for , we have and . Thus, from the last equation of (14), it follows that
for . It implies that

Summarizing the above inference, Theorem 1 holds.

Since the positive number in the proof of Theorem 1 is arbitrary, we can know that the set is positively invariant to system (14), where ,â€‰â€‰. Therefore, we will consider system (14) on the set .

#### 3. Global Stability

In this section, we will investigate the existence and stability of equilibria of system (14).

Obviously, (14) always has the infection-free equilibrium , where and . The infection equilibrium , is determined by the following equations:

From the first and third equations of (20), we have respectively. Substituting them into the second and fourth equations of (20) yields respectively. When , substituting the above and into the last equation of (20) gives

Since the function of at the left hand side of (23) is strictly decreasing, it is easy to see that (23) has a positive root if and only if and that the positive root is unique, denoted by . Therefore, with respect to the existence of equilibria of (14), we have the following result.

Theorem 2. *Denote
**
then, when , system (14) only has the infection-free equilibrium ,, where and ; when , besides , system (14) also has a unique infection equilibrium , where
**
and is determined by (23). *

Note that is the basic reproduction number describing the viral infection within host.

In the following, we consider the global stability of equilibria of (14).

In order to simplify the proof of the global stability of the infection equilibrium , we first introduce an inequality as lemma, which was proved in [18].

Lemma 3. * For positive numbers (), the inequality
**
is true, and the equality holds if and only if . *

Theorem 4. *When , the infection-free equilibrium of system (14) is globally stable on ; when , the infection equilibrium of (14) is globally stable in the region . *

* Proof. *In order to prove the global stability of the infection-free equilibrium of (14), we define a Lyapunov function:
then
Let ; then
where is used.

It is easy to see that (), then as . Note that, for , if and only if () and ; for , if and only if (). No matter the case or , the largest invariant set of (14) on the set is the singleton . Since any solution of (14) is bounded, it follows from the Lyapunov-LaSalle Invariance Principle for functional differential equations that the infection-free equilibrium is globally stable on the set when [19].

In order to prove the global stability of the infection equilibrium , define the following Lyapunov functions and functionals:
According to (20), we have
Then, system (14) can be rewritten as

By using and , direct computations show that
Let , then

According to the relationship between the arithmetic and the associated geometric means and Lemma 3, and if and only if , , â€‰â€‰â€‰â€‰â€‰â€‰â€‰â€‰. It is easy to see that the largest invariant set of (14) on the set is the singleton . Since any solution of (14) is bounded, it follows from the Lyapunov-LaSalle Invariance Principle for functional differential equations that the infection equilibrium is globally stable on the set when [19].

#### 4. Discussion

In this paper, we first present the probability function describing the latency of the infected cells such that some models of viral infection with latent stage are unified. When the function is an exponential one, the associated model is a system of ordinary differential equations; when the function is a step function, the associated one is a delay differential system. Both of the two types of models have the similar dynamical behaviors. That is, when the basic reproduction number is less than or equal to unity, the infection-free equilibrium is globally stable, which implies that the in-host free virus will be cleared out finally; when the basic reproduction number is greater than unity, the infection equilibrium is globally stable, which implies that the viral infection will be chronic and persist in-host [6, 7, 17]. But there is a difference between the basic reproduction numbers for the two types of models.

In fact, for ordinary differential systems (6) and (12), the basic reproduction numbers are respectively [6, 7]. For delay differential systems (10) and (13) (or (14)), the basic reproduction numbers are respectively, where was obtained in [17]; is in this paper.

According to the definition of probability function of staying in the latent stage, for the two common types of probability functions, exponential function and step function, we assume that the associated average latent periods of infected cells are equal, that is, . Then, the basic reproduction numbers of ordinary differential systems (6) and (12) can be rewritten by respectively.

From the inequality for , it follows that They imply that for certain models of viral infection, the basic reproduction number of ordinary differential system may be greater than that of delay differential system. It is well known that the basic reproduction number usually determines dynamics of models of viral infection. Therefore, the difference between the basic reproduction numbers of the different types of models reminds us that it is necessary to elect an appropriate type of probability function, when predicting the final outcome of viral infection in-host.

#### Acknowledgments

The authors would like to thank the referees for their valuable comments. This work was partially supported by the National Natural Science Foundation of China (nos. 11071256, 11171267, and 11371369).