Abstract

We present a kind of stochastic viral infection model with or without a loss term in the free virus equation. We obtain critical condition to ensure the existence of the unique stationary distribution by constructing Lyapunov functions. We also obtain the sufficient conditions for the extinction of the virus by the comparison theorem of stochastic differential equation and law of large numbers. We give a unified method to systematically analyze such three-dimensional stochastic viral infection model. Furthermore, numerical simulations are carried out to examine the effect of white noises on model behavior. We investigate the fact that the small magnitudes of white noises can sustain the irregular recurrence of healthy target cells and virions, while the big ones may contribute to viral clearance.

1. Introduction

More and more attention has been paid to the mathematical modelling of virus (such as HIV and hepatitis B/C virus) infection. The existing viral models mainly contain three compartments: target cells, actively infected cells, and matured virions; see, for example, [110] and the references cited therein. These models are all derived from the basic viral dynamics models [13]. However, all these viral models are deterministic models and do not take into account the stochastic fluctuation. Previously, through experimental data, Singh et al. have investigated the fact that the presence of random noise in gene expression may lead to an increase of variability in HIV early gene products, which may seriously affect the fate of the virus between replication and latency [11]. Thus, Mao et al. have shown that, from the perspective of mathematical analysis, a small amount of random fluctuation can inhibit a potential population explosion [12]. Hence, including the effect of random noise in viral dynamics model may play an important role in the development of a better understanding of the disease.

With the development of stochastic epidemic models of between-host transmission [1317], the stochastic models of within-host viral infection have also been developed in recent years [1823]. For most of models, these have been considered as the stochastic effects of the model parameters [1921, 23], but these models did not consider the loss term of virus when a free virus enters the target cell. This term is often neglected even though in the deterministic models, because it is typically very small and can be absorbed into the virus clearance term. However, recent studies have showed that the inclusion of this term may have a major impact on the basic reproductive number and viral dynamics under certain parameter sets [4, 5, 24]. It may also affect the probability of extinction of an initial viral load through Monte Carlo approaches [25, 26]. Therefore, it is more reasonable to include the virus loss term in stochastic viral infection model, which would have further influence on the model behavior. Few stochastic viral infection models [18, 22] have included the virus loss term, while the theoretical results are needed to be complete.

In this paper, we extend the classical deterministic viral infection model with or without the virus loss term to a stochastic model of parameter fluctuations. The rest of this paper is organized as follows. In the next section, we formulate our model and show the existence and uniqueness of the global positive solution. In Section 3, by constructing suitable Lyapunov functions, the existence of a unique ergodic stationary distribution is derived. We establish the sufficient conditions for the extinction of the virus in Section 4. In Section 5, by employing numerical simulations, we investigate how the white noises affect the model dynamic behavior under realistic parameters. Finally, we conclude our results and give future work.

2. Model Derivation

The basic viral infection model [13] with or without a loss term in free virus equation can be described by the following ordinary differential equations:where , , and denote the concentrations of healthy target cells, actively infected target cells, and infectious virus particles, respectively. Parameter is the constant input rate, presents the viral infection rate between healthy target cells and infectious virus. Parameters and are the death rates of the healthy and infected target cells, respectively. is the average number of virus particles produced by an infected target cell and is the clearance rate of the infectious virus. To reflect the model inclusion or omission of a loss term in free virus equation, we use a term in the third equation and is a fixed constant. When , it means that model (1) ignores the loss term due to infection; when , it means that model (1) includes the loss term due to infection.

In literature [4], de Leenheer and Smith have obtained the theoretical results of (1). System (1) always has a disease-free steady state , where . The basic reproduction number is given by System (1) has the following main results: (i)If , the disease-free steady state is globally asymptotically stable.(ii)If , then a chronic disease steady state exists which is globally asymptotically stable, and the disease-free steady state is unstable.

In this paper, considering random fluctuation, we assume that the stochastic fluctuation is the white noise type, which is a linear perturbation corresponding to the rate of change for each population. The stochastic differential model can be written as follows:where are independent standard Brownian motions with and denote the intensities of the white noise, . The other parameters are the same as those in system (1).

In this paper, we assume as a complete probability space with a filtration satisfying the usual conditions (i.e., it is increasing and right continuous while contains all -null sets), and are defined on this complete probability space. We also let . We use to denote and use to denote .

According to the theory of Arnold [27] and Mao et al. [12], we show the existence and uniqueness of the solution of system (3) in the following Lemma. See Theorem  4.1 of [18] for the detailed proof.

Lemma 1. System (3) has a unique and positive solution with the initial value for all , and the solution will remain in with probability one, namely,   for all almost surely (a.s.).

3. Stationary Distribution

In this section, by using the theory of Hasminskii [28], we prove the existence of a unique ergodic stationary distribution, which indicates that the virus is prevalent.

Denote and define the critical condition

Theorem 2. If , then system (3) has a unique stationary distribution and it has the ergodic property.

Proof. We firstly verified the establishment of condition (H1) in Lemma A.1 in Appendix. For system (3), the diffusion matrix is Choosing , we have where , and is a sufficiently large integer; then condition (H1) in Lemma A.1 is satisfied.
Next, we show the validity of condition (H2) in Lemma A.1 in Appendix. Now, construct a -function : , where or ; and are positive constants which will be determined later. Applying Itô’s formula [29] to yields and we should mention that . Thus, Let and calculate that Hence, whereDefine a -function , in the following form: where where . Select a suitable constant satisfying the following condition: where It is easy to check that where . Furthermore, is a continuous function. Hence must have a minimum point in the interior of . Then we define a nonnegative -function as follows: Applying Itô formula, where Hence, Next, we construct a compact subset such that condition (H2) in Lemma A.1 holds. Define the following bounded closed set: where is a sufficiently small constant. In the set , we further choose sufficiently small such that the following conditions hold:where In the following, we separate to six domains: Obviously, .
Case  1. If , According to (25), it implies that for any .
Case  2. If , In view of (26), we have for any .
Case  3. If , According to (27), we deduce that for any .
Case  4. If , In view of (30), we obtain that for any .
Case  5. If , By condition (28), we can conclude that for all .
Case  6. If , It follows that for any if the condition (29) is satisfied.
Obviously, from (33)–(38), there exists a sufficiently small , such that According to Lemma A.1 in Appendix, we obtain that system (3) is ergodic and has a unique stationary distribution. This completes the proof.

Remark 3. Theorem 2 indicates that the virus prevails if the critical condition is greater than one. We should mention that the critical condition of the stochastic model (3) without white noises is consistent with the basic reproduction number of its corresponding deterministic model (1). This implies that the existence of the stationary distribution of our model is a generalization of its corresponding deterministic model to the stability of the chronic disease steady state.

4. Extinction

In this section, following the method in Theorem  3.1 of [30], we employ the comparison theorem of stochastic differential equation [31] and the law of large numbers [32] (see Appendix for details) to derive the sufficient conditions for extinction for the virus.

Theorem 4. Let be the solution of system (3) with any initial value . If , then, for almost , the solution of system (3) satisfies where and the distribution of converges weakly to the measure which has the density given by where such that . If , then the populations and will be eradicated with probability one; that is,

Proof. By Lemma 1, we know that the solution of system (3) is positive, and it is obvious that Consider the following auxiliary equation with stochastic differential equation:with the initial value . Corresponding to (A.4) in Appendix, this yields and we further calculate that where is an arbitrary fixed positive constant and is a constant determined by the above calculation. It is obvious that where . By Lemma A.2 in Appendix, we obtain that system (44) has the ergodic property with ergodic distribution: where such that . It then follows that Let be the solution of system (44) with the initial value , by the comparison theorem of stochastic differential equation [31], we obtain that We further calculate that Therefore, Denote the matrix By Theorem  1.4 of literature [33], we know that there must be a left eigenvector of matrix corresponding to the value , such that where .
Define a -function : where . Applying Itô’s formula yieldswhere Furthermore, we have According to (58), we get that From (56), we further obtain that Integrating (60) from to , then dividing by on both sides, yields where and are local martingales whose quadratic variations are and . Applying the strong law of large numbers for local martingale [29] yieldsSince is ergodic and , so Taking the superior limit on both sides of inequality (61) and combining with (63) and (64), we obtain which is the required statement. For the special case, if , then it is concluded that which means that and   a.s. In other words, the populations and will tend to zero exponentially with probability one. This completes the proof.

5. Numerical Simulations

In Sections 3 and 4, we obtained the stationary distribution and extinction of the virus under certain conditions, respectively. We now explore the cell and viral dynamics under different white noises. Here, by employing the Milstein’s higher order method in Higham [34], the discrete form of model (3) is where , , and , , are the th realization of three independent Gaussian random variables with distribution , and the time increment .

In the following, for the sake of representativeness, we take for system (3) as an example, and we can carry out same simulations as follows when . The parameters are chosen from the actual parameter values of previous references (see Table 1), and we calculate that the basic reproduction number ; from Section 2, we know that the chronic disease steady state is globally asymptotically stable. In order to examine how white noises affect model dynamic behavior, we choose three pairs of white noise set equal to , , and , with the critical condition equal to 3.0853, 2.6928, and 1.5107, respectively. For these parameter sets, Theorem 2 is satisfied and system (3) has a unique stationary distribution. By simulations, for each pair of white noise sets chosen above, Figures 1(a) and 2(a) demonstrate the solutions of the stochastic model (3) and the corresponding deterministic model (1) initiated at the initial value , and Figures 1(b) and 2(b) show histograms of the approximate stationary distributions for two components ( and ) from 10000 simulation runs at time . The figures indicate that the small magnitudes of random fluctuations can generate the irregular recurrence of populations and .

Using the data values in Table 1, we further choose two pairs of white noise set equal to and , with the critical condition equal to 0.7850 and 0.2584, respectively. We do not give theoretical analysis in these cases, and now we take numerical simulation to discuss the effect of random fluctuations on model behavior. Figure 3 shows that, as the white noise set is increasing, the virus can be eradicated for stochastic model (3), while the virus is still persistent for its corresponding deterministic model (1). It means that the large magnitudes of random fluctuations could lead to the extinction of the virus.

6. Conclusions

We have studied a stochastic virus infection model with or without the virus loss term. Mathematically, we have given a systematic method to the analysis (stationary distribution and extinction) of such three-dimensional stochastic viral dynamic model. If the critical condition ( or 1) is greater than one, then system (3) has a unique stationary distribution. Furthermore, we obtain the sufficient conditions to ensure the extinction of the virus by employing the comparison theorem of stochastic differential equation and the law of large numbers. Numerical simulations demonstrate that, on one hand, healthy target cells and virions can be maintained within a certain range for the small magnitudes of white noises, which means that the virus is persistent; on the other hand, the virus could be cleared out for large magnitudes of white noises, which indicates the extinction of the virus.

In fact, the theoretical analysis results of system (3) can also be extended to the following viral infection model with combination drug therapy:where and are the drug efficacies of different types of drugs. Therefore, our model as well as the theoretical analysis results are extension of the literature [18].

We have theoretically analyzed the existence of the stationary distribution and extinction for a stochastic HIV infection model with logistic T-cell and CTL immune response in literature [23]. Thus, with the work of this article, we may perform a similar study for our model in literature [5] with white noises: where denotes the cytotoxic T lymphocyte (CTL) immune response, is the CTL activation rate, is the CTL responsiveness, and is the death rate of CTL. is independent standard Brownian motion with and denote the intensity of the white noise. All the other parameters are the same as those in systems (1), (3), and (68). This kind of model will be our future work.

Appendix

In this section, we introduce the theory of Hasminskii [28], which has been applied to show the existence of stationary distribution in Section 3.

Let be usual time-homogeneous Markov process in described by the following stochastic differential equation: The diffusion matrix is defined as follows: where is nonsingular.

Lemma A.1 (see chapter 4 of [28]). If there exists a bounded open domain with regular boundary , having properties
(H1) there exists a positive number such that , for and ,
(H2) there exists a nonnegative -function such that is negative for any , then for all , where is the stationary distribution of the process , and is a function integrable with respect to the measure . Then, the Markov process has a unique ergodic stationary distribution .
Next, we introduce the law of large numbers theorem [32], which has been used to prove the extinction of system (3) in Section 4.
Consider the following one-dimensional homogeneous Markov process:where and are measurable functions from to , and is the Brownian movement. It is assumed that the functions , , and are all locally bounded.
(H3) the functions and are such that

Lemma A.2 (see theorem  1.16 of [32]). If (H3) is satisfied, then the stochastic process (A.4) has ergodic properties with the density given by

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

Y. Wang is supported by National Natural Science Foundation of China (no. 11301543, no. 11401589) and the Fundamental Research Funds for the Central Universities (no. 17CX02066). D. Jiang is supported by National Natural Science Foundation of China (no. 11371085) and the Fundamental Research Funds for the Central Universities (no. 15CX08011A).