 Research
 Open Access
 Published:
A discretetime analog for coupled withinhost and betweenhost dynamics in environmentally driven infectious disease
Advances in Difference Equations volume 2018, Article number: 69 (2018)
Abstract
In this paper, we establish a discretetime analog for coupled withinhost and betweenhost systems for an environmentally driven infectious disease with fast and slow two time scales by using the nonstandard finite difference scheme. The system is divided into a fast time system and a slow time system by using the idea of limit equations. For the fast system, the positivity and boundedness of the solutions, the basic reproduction number and the existence for infectionfree and unique virus infectious equilibria are obtained, and the threshold conditions on the local stability of equilibria are established. In the slow system, except for the positivity and boundedness of the solutions, the existence for diseasefree, unique endemic and two endemic equilibria are obtained, and the sufficient conditions on the local stability for diseasefree and unique endemic equilibria are established. To return to the coupling system, the local stability for the virus and diseasefree equilibrium, and virus infectious but diseasefree equilibrium is established. The numerical examples show that an endemic equilibrium is locally asymptotically stable and the other one is unstable when there are two endemic equilibria.
Introduction
As is well known, viruses have caused abundant types of epidemic and occur almost everywhere on Earth, infecting humans, animals, plants, and so on. There are a large number of diseases, for example: influenza, hepatitis, HIV, AIDS, SARS, Ebola, MERS, etc., which are caused by viruses. Therefore, it is important to study viral infection, which can supply theory evidence for controlling diseases breaking out.
In recent years, many authors have established and investigated the various kinds of viral infection dynamical systems which are described by differential equations and difference equations. Many important and valuable results were established and successfully applied to viral infections in practice. See, for example, [1–22] and the references therein.
In [1–4], the authors proposed a coupled withinhost and betweenhost continuoustime dynamical system:
where S, I, E, T, \(T^{*}\) and V denote the numbers of susceptible and infectious individuals, the level of environment contamination, the densities of healthy cells and infected cells, and the parasite load, respectively. In system (1), the parameter A and Λ denote the recruitment rate of susceptible and healthy cells, respectively. β is the infection rate of hosts in a contaminated environment. μ is the natural mortality rate of host. θ is the rate of contamination. γ is the clearance rate. k is the infection rate of cells. m and d denote the natural and infectioninduced mortality rates of infected cells, respectively. p is the parasite reproduction rate by an infected cell. c is the withinhost mortality rate of parasites. α is the induced mortality rate of host. It is assumed that the rate of environment contamination is proportional to the number of infected hosts and the parasite load V within a host, which has the form \(\theta VI\). The function \(g(E)\) denotes the rate at which an average host is inoculated.
In [1], for system (1) the authors introduced a slow time variable \(\tau=\varepsilon t\), where \(0<\varepsilon\ll1\). In this case, t as a fast time variable. The authors further considered the parameters associated with the dynamics at the population level to be small based on the assumption that the betweenhost dynamics occur on a slower time scale than that of parasitecell dynamics within the host. Let \(\Lambda=\varepsilon \tilde{\Lambda}\), \(\beta=\varepsilon\tilde{\beta}\), \(\mu =\varepsilon\tilde{\mu}\), \(\alpha=\varepsilon\tilde{\alpha}\), \(\theta=\varepsilon\tilde{\theta}\) and \(\gamma=\varepsilon\tilde {\gamma}\). Then, under the faster time variable t and the slower time variable τ, system (1) can be written as the two singular perturbation systems, see systems (6) and (7) given in [1], respectively. Using the techniques from the singular perturbation theory in [23], the authors in [1] analyzed system (1) by analyzing the corresponding fast and slow dynamics, and the fast and slow dynamics can be analyzed using the fast and slow time subsystems, see systems (8) and (9) given in [1], respectively. Here, we see that the concepts of fast and slow time systems were introduced in [23] early.
We easily see that system (1) also can be described by using fast and slow time variables t and τ in the following form:
From this system, by the transformations \(t=\frac{\tau}{\varepsilon }\) for the last three equations of system (2) and \(\tau =\varepsilon t\) for the first three equations of system (2), we can easily obtain two similar singular perturbation systems and two similar fast and slow time subsystems as systems (6), (7) and systems (8), (9) proposed in [1].
In recent years, more and more attention was paid on the discretetime epidemic models. The reasons are as follows. Firstly, because the statistic data about infectious disease is collected by day, week, month, or year, so it is more direct, more convenient and more accurate to describe the epidemic by using discretetime models than continuoustime models. Secondly, it is very difficult to solve a nonlinear differential equation with a given initial condition to obtain the exact solution. Thus, for many practical requirements, such as numerical calculation, it is often necessary to discretize a continuous model into the corresponding discrete model. Therefore, we see that the discretetime analog is also alike important for studying coupled system (1). At the present time, there are various discretization methods to discretize a continuous model, including the standard methods, such as the Euler method, the Runge–Kutta method, and some other standard finite difference schemes, and the nonstandard finite difference scheme, which is originally developed by Mickens (see [24–26]).
In this paper, we propose a discretetime analog for above continuoustime system (2) by using discretization method of Micken’s nonstandard finite difference scheme, the model is given as follows:
and
where system (3) denotes the slow dynamics with slow time t, and system (4) denotes the fast dynamics with fast time s. However, in slow system (3) there is a fast time term \(V(s+1)\), and in fast system (4) there is a slow time term \(g(E(t+1))\). Therefore, systems (3) and (4) form a coupled system.
It is clear that in order to study the dynamical properties of coupled systems (3)–(4) we can firstly analyze the fast and slow two subsystems which are determined by two time scales t and s. In other words, we can treat the withinhost subsystem (4) as the fast system and the betweenhost subsystem (3) as the slow system.
For fast time s and slow time t, we may assume that there exists a certain relation between s and t. For example, it may be assumed that there is a large enough integer K such that \(s=Kt\) in slow system (3) and \(t=[\frac{s}{K}]\) in fast system (4), where \([\frac {s}{K}]\) denotes the maximum integer which is not more than \(\frac {s}{K}\). Thus, coupled systems (3)–(4) will acquire the following form:
However, since there are terms \(V(Kt+1)\) and \(g(E([\frac{s}{K}]+1))\) in system (5), it is very difficult to readily investigate system (5) theoretically.
Therefore, in this paper we firstly separate the coupled systems (3)–(4) into a fast system and a slow system by using the idea of limit systems. For fast system (4), we assume that the environmental contamination E keeps a constant owing to the faster time scale is enough quick. For slow system (3), we can assume that \(V(s)\) steadies to an equilibrium \(\hat{V}(E)\). Thus, coupled systems (3)–(4) are separated into the following two isolated subsystems:
and
where \(\hat{V}(E)\) is given in Sect. 3.
In this paper, for fast system (6) we will investigate the dynamical behaviors, including the positivity, boundedness, basic reproduction number, the existence of equilibria and the local stability of equilibria by using the discretization method. For slow system (7), we will investigate the dynamical properties, including the positivity, boundedness, the existence of diseasefree equilibrium, only a unique endemic equilibrium, and two endemic equilibria, and the local asymptotic stability for the diseasefree and endemic equilibria.
Next, we will investigate the dynamical behaviors for the coupled systems (3)–(4) basing on the research results obtained for the fast and slow subsystems. We will establish some criteria on the local asymptotic stability for the infection and diseasefree equilibrium, virus infectious but diseasefree equilibrium and the endemic equilibrium. Furthermore, for the special cases which there is a unique endemic equilibrium, and two endemic equilibria in coupled systems (3)–(4), by means of the numerical examples, we will indicate that the unique endemic equilibrium may be locally asymptotically stable, and an endemic equilibrium may be locally asymptotically stable but the other one may be unstable.
This paper is organized as follows. In Sects. 2 and 3, fast system (6) and slow system (7) are discussed. Some criteria on the positivity, boundedness, existence of equilibria and local asymptotic stability are stated and proved. In Sect. 4, coupled systems (3)–(4) is discussed. Some criteria on the existence of equilibria and local asymptotic stability are stated and proved. In Sect. 5, the numerical examples are given. Lastly, a discussion is presented in Sect. 6.
The analysis of fast system
We firstly introduce the following lemmas on the quadratic and cubic polynomial equations which are given in [27].
Lemma 1
All roots λ of the quadratic equation \(f(\lambda)=\lambda ^{2}A\lambda+B=0\) satisfy \(\lambda<1\) if and only if the following conditions are satisfied:
Lemma 2
All roots λ of the cubic equation \(f(\lambda)=\lambda ^{3}+a_{2}\lambda^{2}+a_{1}\lambda+a_{0}=0\) satisfy \(\lambda<1\) if and only if the following conditions are satisfied:
where \(b_{0}=a^{2}_{0}1\) and \(b_{2}=a_{0}a_{2}a_{1}\).
For coupled systems (3)–(4), function \(g(E)\) is assumed to satisfy the following basic assumption.

(H)
\(g(E)\) is defined for all \(0 \leq E\leq1\) and is continuously differentiable, which satisfies \(g(0)=0\), \(g(E)\geq0\), \(g'(E)>0\) and \(g''(E)\leq0\) for all \(0 \leq E\leq1\).
From the biological background of system (6), it is assumed that any solution \((T(s),T^{*}(s), V(s))\) satisfies the following initial value:
Firstly, on the positivity and boundedness of the solutions and the existence of nonnegative equilibria for system (6) we have the following results.
Lemma 3
The solution \((T(s),T^{*}(s),V(s))\) of system (6) with initial value (8) is positive for all \(s\geq0\) and ultimately bounded.
Proof
System (6) is equivalent to the following:
If (8) is satisfied, then from system (9) it follows that \((T(1),T^{*}(1),V(1))\) exists and is positive. Hence, by induction, we see that \((T(s),T^{*}(s),V(s))\) exists and is positive for all \(s\geq0\).
From the first equation of system (9), we have
Hence,
Particularly, when \(T(0)\leq T_{0}\), we also have \(T(s)\leq T_{0}\) for all \(s>0\).
From the second equation of system (9), we have
By (10), we can obtain
Particularly, we also can prove that when \(T(0)\leq T_{0}\) and \(T^{*}(0)\leq\bar{T}^{*}\), then \(T^{*}(s)\leq\bar{T}^{*}\) for all \(s>0\).
From the third equation of system (9), it follows that
By (10) and (11), we can obtain
Similarly, we also can prove that \(V(s)\leq\bar{V}\) for all \(s>0\) if \(T(0)\leq T_{0}\), \(T^{*}(0)\leq\bar{T}^{*}\) and \(V(0)\leq\bar{V}\).
Therefore, solution \((T(s),T^{*}(s),V(s))\) with initial value (8) is ultimately bounded. This completes the proof. □
Remark 1
Define a set as follows:
Then from the proof of Lemma 3 we see that Γ is a positive invariable and globally attractive set for system (6).
We define the baseline withinhost reproduction number as follows:
Lemma 4
Let \(E=0\), then system (6) always has infectionfree equilibrium \(B_{0}(T_{0},0,0)\), and when \(R_{f}>1\), system (6) has a unique infectious equilibrium \(B^{*}(\breve{T},\breve{T}^{*},\breve{V})\).
Proof
Let \(E=0\). It is obvious that system (5) has a unique infectionfree equilibrium \(B_{0}(T_{0},0,0)\). For infectious equilibrium \(B^{*}(\breve {T},\breve{T}^{*},\breve{V})\), we have
Hence,
This shows that, when \(R_{f}>1\), an infectious equilibrium \(B^{*}(\breve {T},\breve{T}^{*},\breve{V})\) exists and is unique. This completes the proof. □
Let \(E>0\) in system (6). If \((\breve{T}(E),\breve{T}^{*}(E),\breve {V}(E))\) is a nonnegative equilibrium of system (6), then we have
We further have
and \(\breve{T}(E)\) satisfies the following equation:
where
Since
Eq. (13) has always two positive real solutions given by the following:
Note that \(a'_{1}(E)=g'(E)\frac{m+d}{pm}>0\), and
Owing to \(a_{2}>0\), we have from (15) for any \(E\geq0\), \(\breve {T}'_{+}(E)>0\) and \(\breve{T}'_{}(E)<0\).
In (14), when \(E=0\), by calculating we obtain
Therefore,
and
Since \(\breve{T}'_{+}(E)>0\) and \(\breve{T}_{+}(0)\geq T_{0}\) from (16), we obtain \(\breve{T}_{+}(E)>T_{0}\) for all \(E>0\). But, from the first equation of (12), we have \(\breve{T}_{+}(E) \leq T_{0}\). This leads to a contradiction. Since \(\breve{T}'_{}(E)<0\) and \(\breve {T}_{}(0)\leq T_{0}\) from (17), we obtain \(\breve{T}_{}(E)<\breve {T}_{}(0)\leq T_{0}\) for all \(E\geq0\). Therefore, when \(E>0\), system (6) has a unique positive equilibrium \(B_{1}(\breve{T}(E),\breve {T}^{*}(E),\breve{V}(E))\), where
and
By calculating, we also have
and
where
Furthermore, when \(E\to0^{+}\), from (14) and (17), by calculating we can obtain
Summarizing the above discussions, we finally get the following result.
Lemma 5
Let \(E>0\), then fast system (6) always has a unique infected equilibrium \(B_{1}(\breve{T}(E),\breve{T}^{*}(E),\breve{V}(E))\), and
Next, we discuss the stability of the infectionfree equilibrium and infectious equilibrium for system (6). We have the following theorems.
Theorem 1
Let \(E=0\) in system (6).

(a)
If \(R_{f}<1\), then infectionfree equilibrium \(B_{0}\) is locally asymptotically stable.

(b)
If \(R_{f}>1\), then \(B_{0}\) is unstable.
Proof
The linearization system of system (6) at equilibrium \(B_{0}\) is
which is equivalent to the following:
The characteristic equation of system (18) is
where
We have eigenvalues \(\lambda_{1}=\frac{1}{1+m}\), and \(\lambda_{2}\) and \(\lambda_{3}\) satisfying the equation \(f(\lambda)=0\). It is clear that \(f(0)<1\), \(f(1)>0\) and
When \(R_{f}<1\), then \(f(1)>0\). By Lemma 1, it follows \(\lambda_{2}<1\) and \(\lambda_{3}<1\). Therefore, equilibrium \(B_{0}\) is locally asymptotically stable.
When \(R_{f}>1\), then \(f(1)<0\). Since \(\lim_{\lambda\to\infty }f(\lambda)=+\infty\), we see that \(f(\lambda)=0\) has a root \(\lambda _{3}\in(1,+\infty)\). This implies that equilibrium \(B_{0}\) is unstable. This completes the proof. □
Theorem 2
Let \(E=0\) in system (6). If \(R_{f}>1\), then infectious equilibrium \(B^{*}\) is locally asymptotically stable.
The proof of Theorem 2 will be given in Theorem 3 as the special case with \(E=0\). We hence omit it here.
Theorem 3
Let \(E>0\) in system (6). Then infectious equilibrium \(B_{1}(\breve {T}(E),\breve{T}^{*}(E), \breve{V}(E))\) is locally asymptotically stable.
Proof
We will prove Theorem 3 in the case \(E\geq0\), and when \(E=0\) we assume that \(R_{f}>1\) and \(B_{1}(\breve{T}(E),\breve{T}^{*}(E),\breve {V}(E))=B^{*}(\breve{T},\breve{T}^{*},\breve{V})\). We first prove for all \(E\geq0\)
In fact, from the third equation of (12) and \(g(E)\geq0\), we have \(c\breve{V}(E)\geq p\breve{T}^{*}(E)\). From the second equation of (12), then \(\breve{V}(E)=\frac{(m+d)\breve{T}^{*}(E)}{k\breve{T}(E)}\). This shows that
Therefore, \(\breve{T}(E)\leq\frac{c(m+d)}{pk}\).
For convenience, let \(\breve{T}(E)=\breve{T}\), \(\breve {T}^{*}(E)=\breve{T}^{*}\) and \(\breve{V}(E)=\breve{V}\). The linearization system of system (6) at equilibrium \(B_{1}\) is
The characteristic equation of system (20) is
where
Obviously, \(a_{3}<1\). According to (19), we obtain
Further, we have
Now, we prove \(b_{0}+b_{2}>0\) and \(b_{0}b_{2}>0\), where \(b_{0}=1a_{3}^{2}\) and \(b_{2}=a_{1}a_{3}a_{2}\). Since
we have
and according to (19), we further have
Therefore, by Lemma 2 all roots λ of the equation \(g(\lambda )=0\) satisfy \(\lambda<1\). Thus, equilibrium \(B_{1}\) is local asymptotically stable. Particularly, when \(E=0\) we also see that equilibrium \(B^{*}\) is local asymptotically stable. This completes the proof. □
The analysis of slow system
Now, we consider slow system (7). We assume that fast system (6) has steadied at the equilibrium \(\hat{B}(\hat{T}(E),\hat {T}^{*}(E),\hat{V}(E))\), where \(\hat{B}(\hat{T}(E),\hat {T}^{*}(E),\hat{V}(E))\) is defined as follows:
It is clear that fast system (6) is locally asymptotically stable in equilibrium B̂, that is, when \(E>0\) then by Theorem 3 \(B_{1}(\breve{T}(E),\breve{T}^{*}(E),\breve{V}(E))\) is local asymptotically stable, and when \(E=0\) by Theorems 1 and 2 if \(R_{f}>1\) then \(B^{*}(\breve{T},\breve{T}^{*},\breve{V})\) is local asymptotically stable and if \(R_{f}<1\) then \(B_{0}(T_{0},0,0)\) is local asymptotically stable. Therefore, we can choose \(V(t+1)=\hat {V}(E(t+1))\) in slow system (7).
From the biological background of system (7), we assume that any solution \((S(t),I(t), E(t))\) of system (7) satisfies the initial value
Firstly, on the positivity and boundedness of the solutions and the existence of nonnegative equilibria for slow system (7) we have the following lemmas.
Lemma 6
The solution \((S(t),I(t),E(t))\) of system (7) with initial value (21) is positive for all \(t\geq0\) and ultimately bounded. Furthermore, \(0\leq E(t)\leq1\) for all \(t\geq0\).
Proof
We know that system (7) is equivalent to the following form:
When \(t=0\), we prove that \((S(1), I(1), E(1))\) is positive. In fact, according to the first equation of system (22), we have \(S(1)=\frac{A+S(0)}{1+\mu+\beta E(0)}>0\). Next, according to the second equations of system (22) and \(S(1)>0\), we have \(I(1)=\frac{\beta E(0)S(1)+I(0)}{1+\mu+\alpha}>0\). Furthermore, according to the third equation of system (22), we have
Let \(x=E(1)\), then the above equality becomes \(f(x)=0\), where
We have \(f(0)=\theta I(0)\hat{V}(0)E(0)<0\) and \(f(1)=1+\gammaE(0)>0\). Hence, \(f(x)=0\) has at least one solution. We have
When \(E>0\) we have
Hence,
According to assumption (H), (15) and \(\breve{T}(x)= \breve {T}_{}(x)\), we know that \(\hat{V}'(x)>0\) and
where \(a''_{1}(x)=\frac{m+d}{pm}g''(x)<0\). This shows \(\breve{T}''(x)>0\), which leads to \(\hat{V}''(x)<0\). Therefore, \(f''(x)>0\), this implies that \(f'(x)=0\) has at most one solution. Hence, there is a unique \(x>0\) such that \(f(x)=0\). Therefore, \((S(1),I(1),E(1))\) exists uniquely and is positive. Furthermore, from \(0\leq E(0)\leq1\) we also have \(0< E(1)<1\).
When \(t=1\), by a similar argument to above, we can prove that \((S(2),I(2),E(2))\) exists uniquely and is positive. Owing to \(0< E(1)<1\), we also have \(0< E(2)<1\). Using induction, for any \(t\geq0\), we know that \((S(t),I(t),E(t))\) exists uniquely and is positive. Furthermore, we finally have \(0< E(t)<1\) for all \(t\geq0\).
Now, we prove that \((S(t),I(t),E(t))\) is ultimately bounded. From the first equation of system (22), we have
Hence, \(\limsup_{t\rightarrow\infty}S(t)\leq\frac{A}{\mu}\). From the second equation of system (22), we have
It follows that \(\limsup_{t\rightarrow\infty}I(t)\leq\frac{\beta A}{\mu(\mu +\alpha)}\). This completes the proof. □
Noticing the slow system (7) and the quick system (6) is linked by the terms \(V(s)\) and \(g(E)\). Then if \(R_{f}>1\), there are the steadied infectious equilibrium in the quick system (6). In this case, we give the basic reproduction number \(R_{s}\) for slow system (7):
Obviously, we see that if \(R_{f}<1\) then \(R_{s}<0\), if \(R_{f}=1\) then \(R_{s}=0\) and if \(R_{f}>1\) then \(R_{s}>0\). Furthermore, when \(R_{s}\geq1\) then we must have \(R_{f}>1\). We denote the functions as follows:
and
Based on the reproduction number \(R_{s}\), we have the following lemma.
Lemma 7

(i)
System (7) always has a diseasefree equilibrium \(P_{0}(\frac {A}{\mu},0,0)\).

(ii)
System (7) has a unique endemic equilibrium \(P^{*}(\bar{S},\bar {I},\bar{E})\) if and only if one of the following conditions holds:

(a)
\(R_{s}=1\) and \(H_{M}>0\);

(b)
\(R_{s}>1\).

(a)

(iii)
System (7) has two endemic equilibria \(P_{1}(S_{1},I_{1},E_{1})\) and \(P_{2}(S_{2},I_{2},E_{2})\) if and only if the following condition holds:

(c)
\(R_{s}<1\) and \(H_{M}>0\).

(c)

(iv)
System (7) has only diseasefree equilibrium \(P_{0}(\frac{A}{\mu },0,0)\) if and only if one of the following conditions holds:

(d)
\(H_{M}<0\);

(e)
\(R_{s}=1\) and \(H_{M}=0\).

(d)
Proof
It is obvious that system (7) has diseasefree equilibrium \(P_{0}(\frac {A}{\mu},0,0)\). The endemic equilibrium \(P^{*}(\bar{S},\bar{I},\bar {E})\) satisfies equation
Hence, we have
and
which is equivalent to \(H(\bar{E})=0\). By calculating, we have
and \(H(1)=\frac{\gamma(\mu+\alpha)}{\theta A}\frac{\gamma(\mu +\alpha)\mu}{\theta A\beta}<0\). It is clear that when \(R_{s}<1\) then \(H(0)<0\), when \(R_{s}>1\) then \(H(0)>0\) and when \(R_{s}=1\) then \(H(0)=0\).
Furthermore, by calculating we see that, when \(0< E\leq1\),
Hence, \(H''(E)<0\) for all \(0< E\leq1\). This shows that \(H(E)\) is as above a convex function.
If condition (a) holds, then from \(H(0)=0\) and \(H_{M}>0\), we easily see that \(H(E)=0\) has a unique positive root Ē. Hence, endemic equilibrium \(P^{*}(\bar{S},\bar{I},\bar{E})\) exists and is unique.
If condition (b) holds, then from \(H(0)>0\), it follows that \(H(E)=0\) has a unique positive root Ē, and hence endemic equilibrium \(P^{*}(\bar{S},\bar{I},\bar{E})\) also exists and is unique.
Assume that condition (c) holds, then owing to \(H(0)<0\) and \(H_{M}>0\), \(H(E)=0\) has only two positive roots. Hence, system (7) has only two endemic equilibria \(P_{1}\) and \(P_{2}\).
Lastly, we prove that system (7) has only diseasefree equilibrium \(P_{0}(\frac{A}{\mu},0,0)\) if one of the conditions (d) and (e) holds. In fact, when \(H_{M}<0\) we see that \(H(E)=0\) has no root. When \(R_{s}=1\), then \(H(0)=0\). Therefore, by \(H_{M}=0\) there is only diseasefree equilibrium \(P_{0}(\frac{A}{\mu},0,0)\). This completes the proof. □
Remark 2
From the proof of Lemma 7, we further see that when system (7) has a unique endemic equilibrium \(P^{*}(\bar{S},\bar{I},\bar{E})\), then since \(H(E)\) is a above convex function for \(0\leq E\leq1\), we also have \(H'(\bar{E})\leq0\).
Next, we discuss the stability of the diseasefree equilibrium and endemic equilibrium for system (7). We have the following theorems.
Theorem 4

(a)
If \(R_{s}\leq1\), then diseasefree equilibrium \(P_{0}\) of system (7) is locally asymptotically stable.

(b)
If \(R_{s}>1\) then equilibrium \(P_{0}\) is unstable.
Proof
The linearization part of system (22) is
The characteristic equation of system (23) is
where
When \(R_{f}\leq1\), we have \(\hat{V}(0)=0\). Hence \(f(\lambda)=0\) has roots \(\lambda_{1}=\frac{1}{1+\mu+\alpha}\) and \(\lambda_{2}=\frac {1}{1+\gamma}\). This implies that diseasefree equilibrium \(E^{0}\) is locally asymptotically stable.
When \(R_{f}>1\), we have \(\hat{V}(0)=V^{*}\). Owing to \(R_{s}\leq1\), by calculating we obtain
We see that by Lemma 1 two roots \(\lambda_{1}\) and \(\lambda_{2}\) of \(f(\lambda)=0\) satisfy \(\lambda_{1}<1\) and \(\lambda_{2}<1\). Therefore, diseasefree equilibrium \(P_{0}\) is locally asymptotically stable.
When \(R_{s}>1\), we have
and \(\lim_{\lambda\to\infty}f(\lambda)=\infty\), there is a \(\bar {\lambda}>1\) such that \(f(\bar{\lambda})=0\). Therefore, \(P_{0}\) is unstable. □
In order to discuss the stability of unique endemic equilibrium \(P^{*}(\bar{S},\bar{I},\bar{E})\) of system (7), we need to introduce the following assumption.

(A)
\((\varphi+1)(n+1)(w1)M+(1+2r+\varphi)N>0\), where \(M=\varphi w+\varphi n+nw+nw\varphi+r(1+ \mu)\varphi2\), \(N=w\varphi+n\varphi+nw+2(\varphi+n+w)+2r\varphi\), \(\varphi=\mu+\alpha\), \(w=\gamma\theta\bar{I}F'(\bar{E})\) and \(n=\mu+\beta\bar{E}\).
Theorem 5
Assume that (A) holds and one of conditions (a) and (b) in Lemma 7 holds. Then unique endemic equilibrium \(P^{*}(\bar{S},\bar{I},\bar{E})\) of system (7) is locally asymptotically stable.
Proof
The linearization part of system (22) is
Here, by calculating we have
The characteristic equation of system (24) is
where
Obviously, \(a_{3}<1\). By calculating, we can obtain
Further, we have
Now, we prove \(b_{0}+b_{2}>0\) and \(b_{0}b_{2}>0\), where \(b_{0}=1a_{3}^{2}\) and \(b_{2}=a_{1}a_{3}a_{2}\). Since
by calculating we can obtain
and
where
From assumption (A) we obtain \(b_{0}+b_{2}>0\). By Lemma 2, all roots λ of the equation \(f(\lambda)=0\) satisfy \(\lambda <1\). Therefore, equilibrium \(P^{*}\) locally asymptotically stable. □
It is difficult to discuss the local stability for the case of two positive equilibria \(P_{1}\) and \(P_{2}\) in condition (c) of Lemma 7 by using the linearization method. However, we can give the following conjecture.
Conjecture 1
Assume that \(R_{s}<1\) and \(H_{M}>0\). Let \(P_{1}(\bar{S}_{1},\bar{I}_{1},\bar {E}_{1})\) and \(P_{2}(\bar{S}_{2},\bar{I}_{2},\bar{E}_{2})\) be two positive equilibria of slow system (7) with \(\bar{E}_{1}<\bar{E}_{2}\). Then \(P_{2}\) is locally asymptotically stable, and \(P_{1}\) is unstable.
The analysis for coupled system
Now, we return to coupled systems (3)–(4). If \(\tilde{D}(\tilde {S},\tilde{I},\tilde{E},\tilde{T},\tilde{T^{*}},\tilde{V})\) is the equilibrium of coupled systems (3)–(4), then we have
From Lemmas 4, 5 and 7, we have the following result.
Lemma 8

(1)
Coupled system (3)–(4) always has a diseasefree and infectionfree equilibrium \(D_{0}(\frac{A}{\mu},0,0,T_{0},0,0)\).

(2)
If \(R_{f}>1\), then coupled system (3)–(4) has a diseasefree equilibrium \(D_{1}(\frac{A}{\mu},0,0, \breve{T},\breve {T}^{*},\breve{V})\).

(3)
If one of the conditions (a) and (b) in Lemma 7 holds, then coupled system (3)–(4) has a unique endemic equilibrium \(D^{*}(\bar{S},\bar{I},\bar{E},\breve{T}(\bar{E}),\breve {T}^{*}(\bar{E}),\breve{V}(\bar{E}))\).

(4)
If the condition (d) in Lemma 7 holds, then coupled system (3)–(4) has only two positive equilibria \(D_{2}(\bar{S_{1}},\bar{I_{1}},\bar{E_{1}},\breve{T}(\bar {E_{1}}),\breve{T}^{*}(\bar{E_{1}}),\breve{V}(\bar{E_{1}}))\) and \(D_{3}(\bar{S_{2}},\bar{I_{2}},\bar{E_{2}},\breve{T}(\bar{E_{2}}), \breve{T}^{*}(\bar{E_{2}}), \breve{V}(\bar{E_{2}}))\) with \(\bar {E_{1}}<\bar{E_{2}}\).
On the stability of equilibrium \(\tilde{D}(\tilde{S},\tilde {I},\tilde{E},\tilde{T},\tilde{T}^{*},\tilde{V})\) of coupled system (3) and (4), we have the following definition.
Definition 1

(1)
D̃ is said to be stable, if for any constant \(\epsilon >0\), there is a \(\delta=\delta(\epsilon)>0\) such that, for any initial point \((S_{0},I_{0},E_{0},T_{0},T^{*}_{0},V_{0})\) at time \(s=0\) and \(t=0\) satisfying \(S_{0}\tilde{S}<\delta\), \(I_{0}\tilde {I}<\delta\), \(E_{0}\tilde{E}<\delta\), \(T_{0}\tilde{T}<\delta\), \(T^{*}_{0}\tilde{T^{*}}<\delta\), and \(V_{0}\tilde{V}<\delta\), one has \(S(t)\tilde{S}<\delta\), \(I(t)\tilde{I}<\delta\), \(E(t)\tilde{E}<\delta\), \(T(s)\tilde{T}<\delta\), \(T^{*}(s)\tilde{T^{*}}<\delta\), and \(V(s)\tilde{V}<\delta\), for all \(t\geq0\) and \(s\geq0\).

(2)
D̃ is said to be locally asymptotically stable, if D̃ is stable and there is a constant \(\delta>0\) such that, for any solution \((S(t),I(t),E(t),T(s),T^{*}(s),V(s))\) with initial point \((S_{0},I_{0},E_{0},T_{0},T^{*}_{0},V_{0})\) at time \(s=0\) and \(t=0\) satisfying \(S_{0}\tilde{S}<\delta\), \(I_{0}\tilde {I}<\delta\), \(E_{0}\tilde{E}<\delta\), \(T_{0}\tilde{T}<\delta\), \(T^{*}_{0}\tilde{T^{*}}<\delta\), and \(V_{0}\tilde{V}<\delta\), one has
$$\lim_{t\rightarrow\infty}\bigl(S(t),I(t),E(t)\bigr)=(\tilde{S},\tilde {I}, \tilde{E}),\qquad \lim_{s\rightarrow\infty}\bigl(T(s),T^{*}(s),V(s) \bigr)=\bigl(\tilde{T},\tilde {T^{*}},\tilde{V}\bigr). $$
Furthermore, by applying the theory of limit equations, from Theorems 1, 2 and 4, we have the following result.
Theorem 6

(1)
If \(R_{f}<1\) and \(R_{s}\leq1\), then equilibrium \(D_{0}(\frac{A}{\mu },0,0,T_{0},0,0)\) is locally asymptotically stable, and if \(R_{f}>1\), then \(D_{0}\) is unstable.

(2)
If \(R_{f}>1\) and \(R_{s}\leq1\), then equilibrium \(D_{1}(\frac{A}{\mu },0,0,\breve{T},\breve{T}^{*},\breve{V})\) is locally asymptotically stable, and if \(R_{s}>1\), then \(D_{1}\) is unstable.
Proof
In fact, the linearization systems of coupled systems (3)–(4) at equilibrium \(D_{0}\) is
It is easy to see that when \(R_{f}<1\) and \(R_{s}\leq1\), then, by conclusion (a) of Theorem 1 and conclusion (a) of Theorem 4 and from the first three equation of (25), we know \((X(t),Y(t),Z(t))\rightarrow(0,0,0)\) as \(t\rightarrow\infty\) and further from the last three equations of (25), we also have \((U(s),V(s),W(s))\rightarrow(0,0,0)\) as \(s\rightarrow\infty \). Therefore, \(D_{0}\) is locally asymptotically stable.
When \(R_{f}>1\), then, by conclusion (b) of Theorem 1, we see that equilibrium \((0,0,0)\) of the last three equations of (25) is unstable. In addition, when \(R_{s}>1\) we also have \(R_{f}>1\). Therefore, \(D_{0}\) is unstable.
The linearization system of coupled system (3)–(4) at equilibrium \(D_{1}\) is
It is clear that when \(R_{s}\leq1\), by conclusion (a) of Theorem 4, from first three equation of (26), we know \((X(t),Y(t),Z(t))\rightarrow(0,0,0)\) as \(t\rightarrow\infty\). By Theorem 2 and from last three equations of (26), we further have \((U(s),V(s),W(s))\rightarrow(0,0,0)\) as \(s\rightarrow\infty\). Therefore, \(D_{1}\) is locally asymptotically stable. When \(R_{s}> 1\), by conclusion (b) of Theorem 4, we see that equilibrium \((0,0,0)\) of the first three equations of (26) is unstable. Therefore, \(D_{1}\) is unstable. This completes the proof. □
However, to establish the criteria of stability for endemic equilibrium \(D^{*}\) and two positive equilibria \(D_{2}\) and \(D_{3}\) is very difficult. We here only give the following conjectures.
Conjecture 2
Assume the condition (A) holds and one of conditions (a) and (b) of Lemma 7 holds. Then endemic equilibrium \(D^{*}\) of coupled system (3)–(4) is locally asymptotically stable.
Conjecture 3
Assume that \(R_{s}<1\) and \(H_{M}>0\). Then \(D_{3}\) is locally asymptotically stable and \(D_{2}\) is unstable.
In the following section, we will give a numerical example to show that Conjectures 2 and 3 may be right.
Numerical examples
In this section, we give the numerical examples to discuss assumption (A) and the stability for two endemic equilibria \(P_{1}\) and \(P_{2}\) of slow system (7) and for two equilibria \(D_{2}\) and \(D_{3}\) of coupled systems (3)–(4). We assume that \(s=Kt\) and \(t=[\frac{s}{K}]\) in coupled systems (3)–(4). For convenience, we choose \(K=366\) and function \(g(E)=wE\). The parasite reproduction rate of infected cell p is chosen as a free parameter. The rest of the parameters in coupled systems (3)–(4) are chosen in Table 1.
By calculating, we obtain
Therefore, assumption (A) is satisfied.
We first take the parasite reproduction rate of infected cell \(p=1200\). By calculating, we see that the basic reproduction numbers \(R_{f}\doteq 1.33>1\) and \(R_{s}\doteq5>1\). We see that system (7) has only endemic equilibrium \(P^{*}(4974.47,2512.76,0.6735)\) and coupled systems (3)–(4) has endemic equilibrium \(D^{*}(4974.47,2512.76,0.6735,14\text{,}179.6,3880.26, 82\text{,}095.35)\). The numerical simulations given in Fig. 1 show that equilibrium \(P^{*}\) and \(D^{*}\) is locally asymptotically stable only when \(R_{s}>1\).
We next take the parasite reproduction rate of infected cell \(p=950\). By calculating, we see that the basic reproduction numbers \(R_{f}\doteq 1.0556>1\) and \(R_{s}\doteq0.8333<1\). Furthermore, we also have \(H_{M}=1891.39>0\). Hence, slow system (7) has two endemic equilibria \(P_{1}(9503.94,248.02,0.0348)\) and \(P_{2}(6900.24,1549.87,0.2995)\) and coupled systems (3)–(4) have two endemic equilibria \(D_{2}(9503.94,248.02,0.0348,18\text{,}644.97,903.35, 14\text{,}535.01)\) and \(D_{3}(6900.24,1549.87,0.2995,17\text{,}575.93,1616.04,27\text{,}583.87)\). The numerical simulations given in Fig. 2 show that equilibria \(P_{2}\) and \(D_{3}\) are locally asymptotically stable and equilibria \(P_{1}\) and \(D_{2}\) are unstable. Therefore, Conjecture 1, Conjecture 2 and Conjecture 3 may be right.
Discussions
In this paper we studied a discrete coupled withinhost and betweenhost models (3)–(4) in environmentally driven infectious disease obeying Micken’s nonstandard finite difference scheme. Since there are two fast and slow time scales in the model, and the fast time scale is sufficiently quicker than the slow time scale, the model is separated into a fast system (6) and a slow system (7).
The basic properties for fast system (6), including the existence of infectionfree equilibrium \(B_{0}\), infected equilibrium \(B^{*}\) (when \(E=0\)) and infected equilibrium \(B_{1}\) (when \(E>0\)), the positivity and ultimate boundedness of the solutions with positive initial values, are established. Under assumption (H), the local stability of equilibria for system (6) is completely determined by basic reproduction number \(R_{f}\). That is, when \(E=0\) in system (6), if \(R_{f}< 1\) then \(B_{0}\) is locally asymptotically stable, and if \(R_{f}>1\) then \(B_{0}\) is unstable and \(B^{*}\) is locally asymptotically stable. When \(E>0\) in system (6), then infectious equilibrium \(B_{1}\) exists always and also is locally asymptotically stable.
For slow system (7), the basic properties on the existence of diseasefree equilibrium \(P_{0}\), unique endemic equilibrium \(P^{*}\) and two positive equilibria \(P_{1}\) and \(P_{2}\), and the positivity and ultimate boundedness of the solutions with positive initial values are established.
The sufficient conditions on the local stability of diseasefree equilibria \(P_{0}\) and unique endemic equilibria \(P^{*}\) are established by virtue of basic reproduction number \(R_{s}\), the quantity \(H_{M}\) and condition (A). However, it is very difficult to discuss the local stability of two endemic equilibria \(P_{1}\) and \(P_{2}\). Here we only show the local stability of \(P_{1}\) and \(P_{2}\) by the numerical examples in Sect. 5.
We see that assumption (A) is a pure mathematical condition. It is only used in the proofs of theorems on the local stability of endemic equilibria \(P^{*}\) to obtain \(b_{0}+b_{2}>0\) (see the proof of Theorem 5). Generally, we expect that the local stability of equilibria of slow system (7) can be determined only by basic reproduction number \(R_{s}\). Therefore, an open problem is whether condition (A) can be thrown off in Theorem 5. Furthermore, we also do not obtain the global asymptotic stability of equilibria for system (7). The reason is that the construction of Lyapunov function is very difficult.
For whole coupled systems (3)–(4), the basic properties on the existence of infection and diseasefree equilibrium \(D_{0}\), viral infection and diseasefree equilibrium \(D_{1}\), unique endemic equilibrium \(D^{*}\) and two endemic equilibria \(D_{2}\) and \(D_{3}\), and the local stability of equilibria \(D_{0}\) and \(D_{1}\) are established, respectively. However, it is difficult to discuss the local stability for unique endemic equilibrium \(D^{*}\), and two endemic equilibria \(D_{2}\) and \(D_{3}\). Here, we only show the local stability of \(D^{*}\), \(D_{2}\) and \(D_{3}\) by the numerical examples in Sect. 5.
Comparing the results established in this paper with the results obtained in [1, 3], we see that the dynamical properties of equilibria for discretetime model (3)–(4) and continuoustime model (2) (see Theorems 1–3 in [1]) in fast time and slow time subsystems, respectively, are very oncoming. This shows that discretetime model (3)–(4), as a discretetime analog of continuoustime model (2), is fairly appropriate. Particularly, we can use model (3)–(4) to calculate the numerical approximative solution of model (2) in a neighborhood of equilibrium. In addition, in this paper we further investigate the dynamical properties for whole coupled systems (3)–(4), such as the existence of equilibrium and the local stability of equilibrium.
References
 1.
Feng, Z., Cen, X., Zhao, Y., VelascoHernandez, J.X.: Coupled withinhost and betweenhost dynamics and evolution of virulence. Math. Biosci. 270(B), 204–212 (2015)
 2.
Feng, Z., VelascoHernandez, J., TapiaSantos, B.: A mathematical model for coupling withinhost and betweenhost dynamics in an environmentally infectious disease. Math. Biosci. 241, 49–55 (2013)
 3.
Cen, X., Feng, Z., Zhao, Y.: Emerging disease dynamics in a model coupling withinhost and betweenhost systems. J. Theor. Biol. 361, 141–151 (2014)
 4.
Feng, Z., VelascoHernandez, J., TapiaSantos, B., Leite, M.C.A.: A model for coupling withinhost and betweenhost dynamics in an infectious disease. Nonlinear Dyn. 68, 401–411 (2012)
 5.
Keeling, M.J., Rohani, P.: Modeling Infectious Diseases in Humans and Animals. Princeton University Press, Princeton (2008)
 6.
Nowak, M.A., May, R.M.: Virus Dynamics: Mathematical Principles of Immunology and Virology. Oxford University Press, Oxford (2000)
 7.
Rong, L., Gilchrist, M., Feng, Z., Perelson, A.S.: Modelling withinhost HIV1 dynamics and the evolution of drug resistance: tradeoffs between viral enzyme function and drug susceptibility. J. Theor. Biol. 247, 804–818 (2007)
 8.
Mideo, N., Alizon, S., Day, T.: Linking within and betweenhost dynamics in the evolutionary epidemiology of infectious diseases. Trends Ecol. Evol. 23, 511–517 (2008)
 9.
Coombs, D., Gilchrist, M.A., Ball, C.L.: Evaluating the importance of within and betweenhost selection pressures on the evolution of chronic pathogens. Theor. Popul. Biol. 72, 576–591 (2007)
 10.
Gandolft, A., Pugliese, A., Sinisgalli, C.: Epidemic dynamics and host immune response: a nested approach. J. Math. Biol. 70, 399–435 (2015)
 11.
Gilchrist, M.A., Coombs, D.: Evolution of virulence: interdependence, constraints, and selection using nested models. Theor. Popul. Biol. 69, 145–153 (2006)
 12.
Qesmi, R., Hefferman, J.M., Wu, J.: An immunoepidemiological model with threshold delay: a study of the effects of multiple exposures to a pathogen. J. Math. Biol. 70, 343–366 (2015)
 13.
Hattaf, K., Yousfi, N., Tridane, A.: Mathematical analysis of a virus dynamics model with general incidence rate and cure rate. Nonlinear Anal., Real World Appl. 13, 1866–1872 (2012)
 14.
Yan, Y., Wang, W.: Global stability of a fivedimensional model with immune responses and delay. Discrete Contin. Dyn. Syst., Ser. B 17, 401–416 (2012)
 15.
Korobeinikov, A.: Global properties of basic virus dynamics models. Bull. Math. Biol. 66, 879–883 (2004)
 16.
Li, M.Y., Shu, H.: Global dynamics of an inhost viral model with intracellular delay. Bull. Math. Biol. 72, 1492–1505 (2010)
 17.
Tian, Y., Liu, X.: Global dynamics of a virus dynamical model with general incidence rate and cure rate. Nonlinear Anal., Real World Appl. 16, 17–26 (2014)
 18.
Yousfi, N., Hattaf, K., Tridane, A.: Modeling the adaptive immune response in HBV infection. J. Math. Biol. 63, 933–957 (2011)
 19.
Wang, T., Hu, Z., Liao, F.: Stability and Hopf bifurcation for a virus infection model with delayed humoral immunity response. J. Math. Anal. Appl. 411, 63–74 (2014)
 20.
Pawelek, K.A., Liu, S., Pahlevani, F., Rong, L.: A model of HIV1 infection with two time delays: mathematical analysis and comparison with patient data. Math. Biosci. 235, 98–109 (2012)
 21.
Wang, Y., Zhou, Y., Brauer, F., Heffernan, J.M.: Viral dynamics model with CTL immune response incorporating antiretroviral therapy. J. Math. Biol. 67, 901–934 (2013)
 22.
Hattaf, K., Yousfi, N.: Global properties of a discrete viral infection model with general incidence rate. Math. Methods Appl. Sci. 39, 998–1004 (2016)
 23.
Arnold, L., Jones, C.K.R.T., Mischaikow, K., Raugel, G.: Dynamical Systems. Lecture Notes in Mathematics. Springer, Berlin (1995)
 24.
Mickens, R.E., Washington, T.: A note on an NSFD scheme for a mathematical model of respiratory virus transmission. J. Differ. Equ. Appl. 18, 525–529 (2012)
 25.
Mickens, R.E.: Application of Nonstandard Finite Difference Scheme. World Scientific, Singapore (2000)
 26.
Mickens, R.E.: Dynamics consistency: a fundamental principle for constructing nonstandard finite difference scheme for differential equation. J. Differ. Equ. Appl. 11, 645–653 (2005)
 27.
Braner, F., CastilloChavez, C.: Mathematical Models in Population Biology and Epidemiology. Springer, New York (2001)
Acknowledgements
We are very grateful to the reviewers for their very helpful comments and careful reading of our manuscript. This research was supported by the National Natural Science Foundation of China (Grant Nos. 11771373, 11401512, 11261056).
Author information
Affiliations
Contributions
The main idea of this paper was proposed by ZT. BW prepared the manuscript initially and performed all the steps of the proofs in this research. JW performed the numerical examples and simulations. All authors read and approved the final manuscript.
Corresponding author
Correspondence to Zhidong Teng.
Ethics declarations
Competing interests
No potential conflict of interest was reported by the authors.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Received
Accepted
Published
DOI
MSC
 92D30
 39A60
Keywords
 Withinhost dynamics
 Betweenhost dynamics
 NSFD scheme
 Threshold value
 Stability