Skip to content

Advertisement

  • Research
  • Open Access

Dynamic consistent NSFD scheme for a viral infection model with cellular infection and general nonlinear incidence

Advances in Difference Equations20182018:108

https://doi.org/10.1186/s13662-018-1560-8

Received: 21 November 2017

Accepted: 15 March 2018

Published: 27 March 2018

Abstract

We study a discrete-time model with diffusion that describe the dynamics of viral infections by using nonstandard finite difference (NSFD) scheme. The original model we considered was a viral infection model with cellular infection and general nonlinear incidence. We analyze thoroughly the dynamical properties of both discrete and original continuous models and show that the discrete system is dynamically consistent with the original continuous model, including positivity and boundedness of solutions, equilibria, and their global properties. The results imply that the NSFD scheme can efficiently preserve the global dynamics properties of the corresponding continuous model. Some numerical simulations are carried out to validate the theoretical results.

Keywords

  • NSFD scheme
  • General nonlinear incidence
  • Discrete-time model
  • Global dynamics

1 Introduction

 The classical within-host virus dynamics model is a system that includes three variables: uninfected cells \(T(t)\), infected cells \(I(t)\), and free virus particles \(V(t)\) at time t (see [1, 2]). However, to take some features into consideration of a real system, such as delay between the moment of infection and the moment when the infected cell begins to produce the virus, additional classes of cells may be added to the system. For instance, for cells in the latent state an additional class, the class of exposed cells \(W(t)\) has been introduced in [3], and the model reads as follows:
$$ \textstyle\begin{cases} T'=\lambda -dT(t)-\beta_{1}T(t)V(t), \\ W'=\beta_{1} X(t)V(t)-(\delta +\gamma )W(t), \\ I'=\gamma W(t)-pI(t), \\ V'=kI(t)-cV(t), \end{cases} $$
(1)
where \(T(t)\), \(W(t)\), \(I(t)\), and \(V(t)\) denote concentrations of uninfected cells, exposed cells, productively infected cells, and free virus particles at time t, respectively, λ is the recruitment rate of the uninfected cells, \(\beta_{1}\) is the virus-to-cell infection rate. d, δ, p, and c are the mortality rate of uninfected cells, exposed cells, infected cells, and free virus particles, respectively, and \(1/\gamma \) is the average time of the latent state. Free virus is produced from infected cells at the rate kI. The global dynamical behavior of model (1) has been studied in [3] by constructing Lyapunov functions.
Recent study shows that the interaction between pathogens and the immune response actually tends to be local within the body of infected hosts (see [4]). Hence, it is necessary to study the effect of spatial structure on virus dynamics, and much attention has been attracted by many researchers (see [59] and references therein). For example, Wang et al. [5] considered the following model taking the random mobility of viruses into account:
$$ \textstyle\begin{cases} \frac{\partial {T}}{\partial {t}}= \lambda -d T(x,t)-\beta_{1} T(x,t)V(x,t), \\ \frac{\partial {I}}{\partial {t}}=\beta_{1} T(x,t)V(x,t)-p I(x,t), \\ \frac{\partial {V}}{\partial {t}}=D\Delta V(x,t)+kI(x,t)-cV(x,t), \end{cases} $$
(2)
where \(T(x,t),I(x,t)\), and \(V(x,t)\) denote the densities of uninfected cells, infected cells, and free virus at position x at time t, respectively, D is the diffusion coefficient, and Δ is the Laplacian operator.
Notice that the studies mentioned only focus on virus-to-cell spread in the bloodstream. However, some works reveal that cell-to-cell infection is also vital to spread of virus in vivo (see [1014]). Motivated by this fact, some models have been proposed to investigate the dynamics of within-host virus dynamics models to take both virus-to-cell and cell-to-cell infections into consideration (see [1520] and references therein). However, the bilinear incidence rate is a simple description of the infection in the references mentioned. As mentioned in [21], a general incidence rate may help us to gain the unification theory by the omission of unessential details. Hence, inspired by the aforementioned work, we study the following model with general nonlinear incidence:
$$ \textstyle\begin{cases} \frac{\partial {T}}{\partial {t}}= \lambda -dT(t,x)-\beta_{1}T(x,t)f(V(x,t))- \beta_{2}T(x,t)g(I(x,t)), \\ \frac{\partial {W}}{\partial {t}}=\beta_{1} T(x,t)f(V(x,t))+\beta _{2}T(x,t)g(I(x,t))-(\delta +\gamma )W(x,t), \\ \frac{\partial {I}}{\partial {t}}=\gamma W(x,t)-pI(x,t), \\ \frac{\partial {V}}{\partial {t}}=D\Delta V(x,t)+kI(x,t)-cV(x,t). \end{cases} $$
(3)
Here, \(\beta_{2}\) is the cell-to-cell infection rate, and the other parameters have the same means as in system (1). The incidences are assumed to be the nonlinear responses to the concentrations of virus particles and infected cells, taking the forms \(\beta_{1}T(x,t)f(V(x,t))\) and \(\beta_{2}T(x,t)g(I(x,t))\), where f and g denote the forces of infection by virus particles and infected cells and satisfy the following properties (see [22, 23]):
$$ f(0)=g(0)=0,\qquad f'(V)>0, \qquad g'(I)>0, \qquad f''(V)\leq 0, \qquad g''(I)\leq 0. $$
(4)
It then follows from the mean value theorem that
$$ f'(V)V\leq f(V)\leq f'(0)V,\qquad g'(I)I\leq g(I)\leq g'(0)I,\quad\text{for } I, V\geq 0. $$
(5)
Epidemiologically, condition (4) indicates that: (i) the disease cannot spread if there is no infection; (ii) the incidences \(\beta_{1}Tf(V)\) and \(\beta_{2}Tg(I)\) become faster as the densities of the virus particles and infected cells increase; (iii) the per capita infection rates by virus particles and infected cells will slow down due to certain inhibition effect since (5) implies that \(( \frac{f(V)}{V} ) '\leq 0\) and \(( \frac{g(I)}{I} ) ' \leq 0\).

Obviously, the incidence rate with condition (4) contains the bilinear and saturation incidences. Thus, models (1) and (2) can be regarded as two particular cases of model (3).

In this paper, we assume that model (3) is subject to the initial value conditions
$$ \begin{aligned} &T(x,0)=\psi_{1}(x)\geq 0,\qquad W(x,0)= \psi_{2}(x)\geq 0, \\ &I(x,0)=\psi_{3}(x)\geq 0,\qquad V(x,0)=\psi_{4}(x)\geq 0, \quad x\in \overline{\Omega }, \end{aligned} $$
(6)
and the Neumann boundary condition
$$\begin{aligned} \frac{\partial {V}}{\partial {\vec{n}}}=0, \quad t>0, x\in \partial {\Omega }, \end{aligned}$$
(7)
where Ω is a bounded domain in \(\mathbb{R}^{n}\) with smooth boundary Ω, and \(\frac{\partial }{\partial {\vec{n}}}\) is an outward normal vector of Ω.
It is worth noticing that discrete epidemic models have also been paid much attention by many researchers (see [2426] and references therein). On one hand, discrete epidemic models have advantages in describing an infectious disease in comparison with continuous models since epidemic data are often collected at discrete times (such as daily, monthly, yearly, etc.). On the other hand, for some certain practical purposes, it is often necessary to obtain solutions of model (3) that describe the evolution of all variables with time. However, as we know, an exact analytical solution of differential equation system (3) is generally difficult or even impossible to be determined. Therefore, technical discretization is needed to obtain good analytical approximations of the solutions (see [27]). Meanwhile, we should keep in mind that the obtained discrete model should preserve the major dynamical properties of the original continuous model as much as possible. However, since a discrete model generally can exhibit more complicated dynamical behavior than continuous models such as bifurcations and chaos (see [25, 28] and references therein). Fortunately, a nonstandard finite difference scheme (NSFD) has been proposed by Mickens [29] and received much attention (see [20, 3038] and references therein). One important advantage of Mickens’ scheme is that it performs well in preserving the major dynamical properties of the approximated original continuous models (see [20, 3538]). More recently, Qin et al. [38] applied the NSFD scheme to discretized system (2) and showed that the discrete model has the same dynamics as the original system. Hence, following the idea of [29, 38], by applying the NSFD scheme to system (3) we obtain the following discrete system:
$$ \textstyle\begin{cases} \frac{T^{m}_{n+1}-T^{m}_{n}}{\Delta t}=\lambda -dT^{m}_{n+1}-\beta _{1}T^{m}_{n+1}f(V^{m}_{n})-\beta_{2}T^{m}_{n+1}g(I^{m}_{n}), \\ \frac{W^{m}_{n+1}-W^{m}_{n}}{\Delta t}=\beta_{1}T^{m}_{n+1}f(V^{m} _{n})+\beta_{2}T^{m}_{n+1}g(I^{m}_{n})-(\delta +\gamma )W^{m}_{n+1}, \\ \frac{I^{m}_{n+1}-I^{m}_{n}}{\Delta t}=\gamma W^{m}_{n+1}-pI^{m} _{n+1}, \\ \frac{V^{m}_{n+1}-V^{m}_{n}}{\Delta t}=D\frac{V^{m+1}_{n+1}-2V^{m} _{n+1}+V^{m-1}_{n+1}}{(\Delta x)^{2}}+kI^{m}_{n+1}-cV^{m}_{n+1}. \end{cases} $$
(8)
Here we assume that \(x\in \Omega =[a,b]\), \(\Delta t>0\) is the time step size, and \(\Delta x=\frac{b-a}{N}\) is the space stepsize with positive integer N. Denote the mesh points as \(\{(t_{n},x_{m}), m=0,1,2,\ldots , N, n\in \mathbb{N}\}\), where \(t_{n}=n\Delta t\) and \(x_{m}=a+m\Delta x\). Let \(( T^{m}_{n},W^{m}_{n},I^{m}_{n},V^{m} _{n} ) \) be the approximations of the solution (\(T(x_{m}, t_{n})\), \(W(x_{m},t_{n})\), \(I(x_{m},t_{n})\), \(V(x_{m},t_{n})\)) of system (3) at each point. For convenience, we use an \((N+1)\)-dimensional vector
$$ U_{n}= \bigl( U^{0}_{n},U^{1}_{n}, \ldots ,U^{N}_{n} \bigr) ^{T} $$
to represent the approximation T, W, I, or V at time \(t_{n}\), the notation \((\cdot )^{T}\) for the transposition of a vector, and the notation \(U\geq 0\), meaning that all components of a vector U are nonnegative. The discrete initial conditions take the form
$$ \begin{aligned} &T_{0}^{m}= \psi_{1}(x_{m})\geq 0,\qquad W_{0}^{m}= \psi_{2}(x_{m})\geq 0,\qquad I _{0}^{m}= \psi_{3}(x_{m})\geq 0, \\ &V_{0}^{m}=\psi_{4}(x_{m})\geq 0\quad \text{for } m\in \{0,1,\ldots ,N\}, \end{aligned} $$
(9)
and the discrete boundary conditions take the form
$$ \begin{aligned} V_{n}^{-1}=V_{n}^{0}, \qquad V_{n}^{N}=V_{n}^{N+1} \quad \text{for } n\in \mathbb{N}. \end{aligned} $$

The goal of this paper is to show that the discrete system (8) by using Mickens’ scheme can efficiently preserve the global asymptotic stability of the equilibria to the corresponding continuous system (3). The organization of this paper is as follows. In Sect. 2, we study the global dynamics of the continuous system (3). In Sect. 3, we investigate the global dynamics of the discrete system (8). It is then followed by numerical simulations in Sect. 4. A brief conclusion ends the paper.

2 Dynamics behavior of system (3)

In this section, we study the threshold dynamics of the diffused system (3). First, we establish the global existence, positivity, and boundedness of solutions.

Theorem 2.1

For any given initial data satisfying condition (6), there exists a unique solution of problem (3)(7) defined on \([0,+\infty )\), and this solution remains nonnegative and bounded for all \(t>0\).

Proof

 The system can be written abstractly in the Banach space \(X=C(\bar{\Omega })\times C(\bar{\Omega })\) in the form
$$ \begin{aligned} &U'(t)=AU(t)+F \bigl(U(t) \bigr), \quad t>0, \\ &U(0)=U_{0}\in X, \end{aligned} $$
(10)
where \(U=col(T, W, I, V)\), \(U_{0}=col(\psi_{1},\psi_{2},\psi_{3},\psi _{4})\), \(AU=col(0,0,0,D\Delta V)\), and
$$ F \bigl(U(t) \bigr) = \left ( \textstyle\begin{array}{@{}c@{}} \lambda -dT(t,x)-\beta_{1}T(x,t)f(V(x,t))-\beta_{2}T(x,t)g(I(x,t)) \\ \beta_{1}T(x,t)f(V(x,t))+\beta_{2}T(x,t)g(I(x,t))-(\delta +\gamma )W(x,t) \\ \gamma W(x,t)-pI(x,t) \\ kI(x,t)-cV(x,t) \end{array}\displaystyle \right ) . $$
It is clear that F is locally Lipschitz in X. It follows from [39] that system (3) admits a unique local solution on \([0, T_{\max })\), where \(T_{\max }\) is the maximal existence time for solution of system (3). In addition, system (3) can be written in the form
$$\begin{aligned}& \frac{\partial {T}}{\partial {t}} =F_{1}(T,W,I,V), \\& \frac{\partial {W}}{\partial {t}} =F_{2}(T,W,I,V), \\& \frac{\partial {I}}{\partial {t}} =F_{3}(T,W,I,V), \\& \frac{\partial {V}}{\partial {t}}-D\Delta V(x,t) =F_{4}(T,W,I,V). \end{aligned}$$
It is easy to see that the functions \(F_{i}(T,W,I,V)\), \(1\leq i\leq 4\), are continuously differentiable and satisfy the following conditions: \(F_{1}(0,W,I,V)=\lambda \geq 0\), \(F_{2}(T,0,I,V)=\beta_{1}T(x,t)f(V(x,t))+ \beta_{2}T(x,t)g(I(x,t))\geq 0\), \(F_{3}(T,W,0,V)=\gamma W\geq 0\), \(F_{4}(T,W,I,0)=kI\geq 0\) for all \(T\geq 0, W\geq 0, I\geq 0, V\geq 0\). Since the initial data of system (3) are nonnegative, and from [40] we deduce the positivity of the local solution.
Next, we show the boundedness of solution. Let \(G(x,t)=T(x,t)+W(x,t)+I(x,t)\). Then follows from system (3) that
$$\begin{aligned} \frac{\partial {G(x,t)}}{\partial {t}}&=\lambda -dT-\delta W-pI \\ &\leq\lambda -\mu G(x,t), \end{aligned}$$
where \(\mu =\min \{d, \delta , p\}\). Then we have
$$ G(x,t)\leq G(x,0)e^{-\mu t}+\frac{\lambda }{\mu } \bigl( 1-e^{-\mu t} \bigr) . $$
Thus, T, W, and I are bounded. To proceed, it remains to prove the boundedness of V. From system (3) we have
$$ \textstyle\begin{cases} \frac{\partial {V}}{\partial {t}}-D\Delta V=kI-cV, \\ \frac{\partial {V}}{\partial {\vec{n}}}=0, \\ V(x,0)=\psi_{4}(x)\leq \Vert \psi_{4} \Vert _{\infty }=\max_{x\in \bar{\Omega }}{\psi_{4}(x)}. \end{cases} $$
(11)
By the comparison principle (see [41]) we obtain that \(V(x,t)\leq \widetilde{V}(t)\), where \(\widetilde{V}(t)=\psi_{4}(x)e ^{-ct}+\frac{k}{c}\Vert I \Vert ( 1-e^{-ct} ) \) is the solution of the problem
$$ \textstyle\begin{cases} \frac{d\widetilde{V}}{dt}=k\Vert I \Vert -c\widetilde{V}, \\ \tilde{V}(0)=\Vert \psi_{4} \Vert _{\infty }. \end{cases} $$
Then the boundedness of V is deduced from \(\widetilde{V}(t)\leq\max \{\frac{k}{c}\Vert I \Vert , \Vert \psi_{4} \Vert _{\infty } \mbox{ for } (x,t)\in \bar{\Omega }\times [0, T_{\max })\}\). Therefore, we have proved that \(T(x,t), W(x,t),I(x,t)\), and \(V(x,t)\) are bounded on \(\bar{\Omega } \times [0,T_{\max })\). Thus, it follows from the standard theory for semilinear parabolic systems (see [42]) that \(T_{\max }=+ \infty \). This completes the proof. □
It is easy to see that system (3) has an infection-free steady state \(E_{0}=(T_{0},0,0,0)\) with \(T_{0}=\frac{\lambda }{d}\). This is the only biologically meaningful equilibrium if
$$ \mathfrak{R}_{0}=\frac{\lambda \gamma (\beta_{1}kf'(0)+\beta_{2}cg'(0))}{dpc( \delta +\gamma )}< 1, $$
which is the basic reproduction number of system (3). It then follows from system (3) that a positive steady state \(E_{*}=(T_{*},W_{*},I_{*},V_{*})\) must satisfy the following equations:
$$ \textstyle\begin{cases} \lambda =dT+\beta_{1}Tf(V)+\beta_{2}Tg(I), \\ \beta_{1} Tf(V)+\beta_{2}Tg(I)=(\delta +\gamma )W, \\ \gamma W=pI, \\ kI=cV. \end{cases} $$
(12)
Then we obtain that
$$\begin{aligned} \lambda -dT=\frac{cp(\delta +\gamma )V}{k\gamma }, \qquad W=\frac{pcV}{ \gamma k},\qquad I=\frac{cV}{k}. \end{aligned}$$
(13)
This means that in order to have \(T\geq 0, W, V>0\) at a steady state, we must have \(V\in (0,\frac{\lambda k\gamma }{pc(\delta +\gamma )}]\). Substitution of the second and third equations of (13) into the second equation of (12) gives
$$\begin{aligned} T=\frac{(\delta +\gamma )pcV}{k\gamma ( \beta_{1}f(V)+\beta_{2}g( \frac{cV}{k}) ) }. \end{aligned}$$
Further, by substituting it into the first equation of (12) direct calculation yields
$$ 0=\lambda -\frac{pc(\delta +\gamma )V}{k\gamma }-\frac{dpc(\delta + \gamma )V}{k\gamma (\beta_{1}f(V)+\beta_{2}g(\frac{c}{k}V))}=:F(V). $$
(14)
From (5) we have \(f(V)-Vf'(V)\geq 0\) and \(g(I)-Ig'(I)\geq 0\). Thus, for all \(V>0\), we obtain that
$$\begin{aligned} F'(V)=-\frac{(\delta +\gamma )p c}{k\gamma }- \frac{dpc(\delta +\gamma ) [\beta_{1}(f(V)-Vf'(V))+\beta_{2}(g(\frac{cV}{k}) - \frac{c}{k}g'(\frac{cV}{k}))]}{k\gamma (\beta_{1}f(V)+\beta_{2}g( \frac{cV}{k}))^{2}}< 0. \end{aligned}$$
Furthermore, from (14) we have
$$\begin{aligned} & \lim_{V\rightarrow 0^{+}}F(V)=\frac{dpc(\delta +\gamma )( \mathfrak{R}_{0}-1)}{\gamma (\beta_{1}kf'(0)+\beta_{2}cg'(0))}, \\ &F \biggl( \frac{\lambda k\gamma }{pc(\delta +\gamma )} \biggr) = -\frac{dpc( \delta +\gamma )V}{k\gamma (\beta_{1}f ( \frac{\lambda k\gamma }{pc( \delta +\gamma )} ) +\beta_{2}g ( \frac{\lambda \gamma }{p( \delta +\gamma )}) ) }< 0. \end{aligned}$$
It follows that an infection steady state \(E_{*}=(T_{*},W_{*},I_{*},V _{*})\) exists when \(\mathfrak{R}_{0}>1\).

Theorem 2.2

For system (3), we have:
  1. (i)

    If \(\mathfrak{R}_{0}\leq 1\), then there exists a unique infection-free equilibrium \(E_{0}\);

     
  2. (ii)

    If \(\mathfrak{R}_{0}>1\), then there exists a unique infection equilibrium \(E_{*}\) besides \(E_{0}\).

     

2.1 Global stability analysis

In this subsection, we establish the global asymptotic stability of the two steady states of system (3) by constructing Lyapunov functions.

Theorem 2.3

If \(\mathfrak{R}_{0}\leq 1\), then the infection-free steady state \(E_{0}\) is globally asymptotically stable.

Proof

 We construct a Lyapunov function as follows:
$$ L_{1}= \int_{\Omega } \biggl[ T(x,t)-T_{0}-T_{0}\ln \frac{T(x,t)}{T_{0}}+W(x,t)+\frac{ \delta +\gamma }{r}I(x,t)+\frac{\beta_{1}T_{0}f'(0)}{\mathfrak{R} _{0}c}V(x,t) \biggr]\,dx. $$
Calculating \(\frac{dL_{1}}{dt}\) along the solutions of system (3) and applying \(\lambda =dT_{0}\) and \(\int_{\Omega }\Delta V(x,t)\,dx=0\), we have
$$\begin{aligned} \frac{dL_{1}}{dt}&= \int_{\Omega } \biggl[ \biggl( 1-\frac{T_{0}}{T(x,t)} \biggr) \bigl( \lambda -dT(x,t)-\beta_{1}T(x,t)f \bigl(V(x,t) \bigr) - \beta_{2}T(x,t)g \bigl(I(x,t) \bigr) \bigr) \\ &\quad{} +\beta_{1}T(x,t)f \bigl(V(x,t) \bigr)+\beta_{2}T(x,t)g \bigl(I(x,t) \bigr) -(\delta +\gamma )W(x,t) \\ &\quad {}+\frac{\delta +\gamma }{\gamma } \bigl(\gamma W(x,t)-pI(x,t) \bigr)+ \frac{ \beta_{1}T_{0}f'(0)}{\mathfrak{R}_{0}c} \bigl(kI(x,t)-cV(x,t) \bigr) \biggr]\,dx \\ &= \int_{\Omega } \biggl[ dT_{0} \biggl( 1-\frac{T_{0}}{T(x,t)} \biggr) \biggl( 1-\frac{T(x,t)}{T_{0}} \biggr) +\beta_{1}T_{0}f \bigl(V(x,t) \bigr)+\beta_{2}T _{0}g \bigl(I(x,t) \bigr) \\ &\quad{} -\frac{\beta_{1}T_{0}f'(0)}{\mathfrak{R}_{0}}V(x,t) -\frac{\beta _{2}T_{0}g'(0)}{\mathfrak{R}_{0}}I(x,t) \biggr]\,dx \\ &\leq \int_{\Omega } \biggl[ dT_{0} \biggl( 1-\frac{T_{0}}{T(x,t)} \biggr) \biggl( 1-\frac{T(x,t)}{T_{0}} \biggr) +\frac{\beta_{1}T_{0}f'(0)}{ \mathfrak{R}_{0}}( \mathfrak{R}_{0}-1)V(x,t) \\ &\quad{} +\frac{\beta_{2}T_{0}g'(0)}{\mathfrak{R}_{0}}(\mathfrak{R}_{0}-1)I(x,t) \biggr]\,dx. \end{aligned}$$
Here, we used condition (5). Therefore, if \(\mathfrak{R} _{0}\leq 1\), then \(\frac{dL_{1}}{dt}\leq 0\). Furthermore, it can be shown that the largest invariant subset of \(\{ \frac{dL_{1}}{dt}=0 \} \) is the singleton \(\{E_{0}\}\). Using LaSalle’s invariance principle, we derive that \(E_{0}\) is globally asymptotically stable. This completes the proof. □

Theorem 2.4

If \(\mathfrak{R}_{0}>1\), then the infection steady state \(E_{*}\) is globally asymptotically stable.

Proof

 We construct a Lyapunov function as follows:
$$\begin{aligned} L_{2}&= \int_{\Omega } \biggl[ T(x,t)-T_{*}-T_{*}\ln \frac{T(x,t)}{T _{*}}+W(x,t)-W_{*}-W_{*}\ln \frac{W(x,t)}{W_{*}} \\ &\quad{} +\frac{\delta +\gamma }{\gamma } \biggl( I(x,t)-I_{*}-I_{*}\ln \frac{I(x,t)}{I _{*}} \biggr) \\ &\quad {} +\frac{\beta_{1}T_{*}f(V_{*})}{kI_{*}} \biggl( V(x,t)-V_{*}-V _{*} \ln \frac{V(x,t)}{V_{*}} \biggr) \biggr]\,dx. \end{aligned}$$
Calculating the time derivative of \(L_{2}\) along the trajectories of system (3), we obtain
$$\begin{aligned} \frac{dL_{2}}{dt} &= \int_{\Omega } \biggl[ \biggl( 1- \frac{T_{*}}{T(x,t)} \biggr) \bigl( \lambda -dT(x,t)-\beta_{1}T(x,t)f \bigl(V(x,t) \bigr)- \beta_{2}T(x,t)g \bigl(I(x,t) \bigr) \bigr) \\ &\quad {} + \biggl( 1-\frac{W_{*}}{W(x,t)} \biggr) \bigl(\beta_{1}T(x,t)f \bigl(V(x,t) \bigr)+ \beta_{2}T(x,t)g \bigl(I(x,t) \bigr) -(\delta + \gamma )W(x,t) \bigr) \\ &\quad {} +\frac{\delta +\gamma }{\gamma } \biggl( 1-\frac{I_{*}}{I(x,t)} \biggr) \bigl( \gamma W(x,t)-pI(x,t) \bigr) \\ &\quad{} + \frac{\beta_{1}T_{*}f(V_{*})}{kI_{*}} \biggl( 1-\frac{V_{*}}{V(x,t)} \biggr) \bigl(D\Delta V(x,t)+kI(x,t)-cV(x,t) \bigr) \biggr]\,dx. \end{aligned}$$
Using the equilibrium conditions for \(E_{*}\)
$$ (\delta +\gamma )W_{*}=\beta_{1}T_{*}f(V_{*})+ \beta_{2}T_{*}g(I_{*}), \quad \gamma W_{*}=pI_{*},\quad kI_{*}=cV_{*}, $$
we have
$$\begin{aligned} \frac{dL_{2}}{dt} &= \int_{\Omega } \biggl[ dT_{*} \biggl( 1- \frac{T_{*}}{T(x,t)} \biggr) \biggl( 1-\frac{T(x,t)}{T_{*}} \biggr) + \biggl( 1- \frac{T _{*}}{T(x,t)} \biggr) \\ &\quad {} \times \bigl(\beta_{1}T_{*}f(V_{*})+ \beta_{2}T_{*}g(I_{*}) -\beta _{1}T(x,t)f \bigl(V(x,t) \bigr)-\beta_{2}T(x,t)g \bigl(I(x,t) \bigr) \bigr) \\ &\quad {} + \biggl( 1-\frac{W_{*}}{W(x,t)} \biggr) \biggl(\beta_{1}T(x,t)f \bigl(V(x,t) \bigr)+ \beta_{2}T(x,t)g \bigl(I(x,t) \bigr) \\ &\quad {} - \bigl(\beta_{1}T_{*}f(V_{*})+ \beta_{2}T_{*}g(I_{*}) \bigr)\frac{W(x,t)}{W _{*}} \biggr) + \bigl(\beta_{1}T_{*}f(V_{*})+ \beta_{2}T_{*}g(I_{*}) \bigr) \\ &\quad {} \times \biggl( 1-\frac{I_{*}}{I(x,t)} \biggr) \biggl( \frac{W(x,t)}{W_{*}}-\frac{I(x,t)}{I _{*}} \biggr)+\beta_{1}T_{*}f(V_{*}) \biggl( 1-\frac{V_{*}}{V(x,t)} \biggr) \\ &\quad {} \times \biggl( \frac{I(x,t)}{I_{*}}-\frac{V(x,t)}{V_{*}} \biggr) + \frac{ \beta_{1}T_{*}f(V_{*})}{kI_{*}}D\Delta V(x,t) \biggl( 1-\frac{V_{*}}{V(x,t)} \biggr) \biggr]\,dx. \end{aligned}$$
Recalling that \(\int_{\Omega }\Delta V(x,t)\,dx=0\) and \(\int_{\Omega }\frac{ \Delta V(x,t)}{V(x,t)}\,dx=\int_{\Omega } \frac{\Vert \nabla V(x,t) \Vert ^{2}}{V ^{2}(x,t)}\,dx\), we have
$$\begin{aligned} \frac{dL_{2}}{dt} &= \int_{\Omega } \biggl[ dT_{*} \biggl( 1- \frac{T_{*}}{T(x,t)} \biggr) \biggl( 1-\frac{T(x,t)}{T_{*}} \biggr) +\beta _{1}T_{*}f(V_{*}) \biggl( 4-\frac{T_{*}}{T(x,t)} \\ &\quad{} -\frac{I_{*}W(x,t)}{I(x,t)W_{*}}-\frac{T(x,t)f(V(x,t))W_{*}}{T_{*}f(V _{*})W(x,t)} -\frac{I(x,t)V_{*}}{I_{*}V(x,t)} + \frac{f(V(x,t))}{f(V _{*})}-\frac{V(x,t)}{V_{*}} \biggr) \\ &\quad {} +\beta_{2}T_{*}g(I_{*}) \biggl( 3- \frac{T_{*}}{T(x,t)}-\frac{I_{*}W(x,t)}{I(x,t)W _{*}}-\frac{T(x,t)g(I(x,t))W_{*}}{T_{*}g(I_{*})W(x,t)} \\ &\quad{} +\frac{g(I(x,t))}{g(I_{*})}-\frac{I(x,t)}{I_{*}} \biggr) \biggr]\,dx - \frac{ \beta_{1}T_{*}f(V_{*})}{kI_{*}}DV_{*} \int_{\Omega }\frac{\Vert \nabla V(x,t) \Vert ^{2}}{V^{2}(x,t)}\,dx \\ &= \int_{\Omega } \biggl\{ dT_{*} \biggl( 1- \frac{T_{*}}{T(x,t)} \biggr) \biggl( 1-\frac{T(x,t)}{T_{*}} \biggr) + \beta_{1}T_{*}f(V_{*}) \biggl[ \varphi \biggl( \frac{T_{*}}{T(x,t)} \biggr) \\ &\quad{} +\varphi \biggl( \frac{W(x,t)I_{*}}{W_{*}I(x,t)} \biggr) +\varphi \biggl( \frac{I(x,t)V_{*}}{I_{*}V(x,t)} \biggr) +\varphi \biggl( \frac{T(x,t)f(V(x,t))W _{*}}{T_{*}f(V_{*})W(x,t)} \biggr) \\ &\quad{} +\frac{f(V(x,t))}{f(V_{*})}-\frac{V(x,t)}{V_{*}}+\ln \frac{f(V_{*})V(x,t)}{f(V(x,t))V _{*}} \biggr] + \beta_{2}T_{*}g(I_{*}) \biggl[ \varphi \biggl( \frac{T_{*}}{T(x,t)} \biggr) \\ &\quad{} +\varphi \biggl( \frac{I_{*}W(x,t)}{I(x,t)W_{*}} \biggr) +\varphi \biggl( \frac{T(x,t)g(I(x,t))W_{*}}{T_{*}g(I_{*})W(x,t)} \biggr) +\frac{g(I(x,t))}{g(I _{*})}-\frac{I(x,t)}{I_{*}} \\ &\quad{} + \ln \frac{g(I_{*})I(x,t)}{g(I(x,t))I_{*}} \biggr] \biggr\} \,dx -\frac{ \beta_{1}T_{*}f(V_{*})}{kI_{*}}DV_{*} \int_{\Omega }\frac{\Vert \nabla V(x,t) \Vert ^{2}}{V^{2}(x,t)}\,dx \\ &= \int_{\Omega } \biggl\{ dT_{*} \biggl( 1- \frac{T_{*}}{T(x,t)} \biggr) \biggl( 1-\frac{T(x,t)}{T_{*}} \biggr) + \beta_{1}T_{*}f(V_{*}) \biggl[ \varphi \biggl( \frac{T_{*}}{T(x,t)} \biggr) \\ &\quad{} +\varphi \biggl( \frac{W(x,t)I_{*}}{W_{*}I(x,t)} \biggr) +\varphi \biggl( \frac{I(x,t)V_{*}}{I_{*}V(x,t)} \biggr) +\varphi \biggl( \frac{T(x,t)f(V(x,t))W _{*}}{T_{*}f(V_{*})W(x,t)} \biggr) \\ &\quad {} +\varphi \biggl( \frac{f(V_{*})V(x,t)}{f(V(x,t))V_{*}} \biggr) + \biggl( \frac{f(V(x,t))}{f(V _{*})}-\frac{V(x,t)}{V_{*}} \biggr) \biggl( 1-\frac{f(V_{*})}{f(V(x,t))} \biggr) \biggr] \\ &\quad {} +\beta_{2}T_{*}g(I_{*}) \biggl[ \varphi \biggl( \frac{T_{*}}{T(x,t)} \biggr) + \varphi \biggl( \frac{I_{*}W(x,t)}{I(x,t)W_{*}} \biggr) +\varphi \biggl( \frac{T(x,t)g(I(x,t))W _{*}}{T_{*}g(I_{*})W(x,t)} \biggr) \\ &\quad{} +\varphi \biggl( \frac{g(I_{*})I(x,t)}{g(I(x,t))I_{*}} \biggr) + \biggl( \frac{g(I(x,t))}{g(I _{*})}-\frac{I(x,t)}{I_{*}} \biggr) \biggl( 1-\frac{g(I_{*})}{g(I(x,t))} \biggr) \biggr] \biggr\} \,dx \\ &\quad {} -\frac{\beta_{1}T_{*}f(V_{*})}{kI_{*}}DV_{*} \int_{\Omega }\frac{\Vert \nabla V(x,t) \Vert ^{2}}{V^{2}(x,t)}\,dx, \end{aligned}$$
where \(\varphi (x)=1+\ln x-x\) (\(x>0\)) which has a global maximum at \(x=1\) and satisfies \(\varphi (1)=0\). Moreover, from conditions (5) we easily obtain the following inequalities:
$$\begin{aligned} &\frac{f(V)}{f(V_{*})}\geq \frac{V}{V_{*}}\quad \text{for } V\leq V_{*}, \qquad \frac{f(V)}{f(V_{*})}\leq \frac{V}{V_{*}}\quad \text{for } V\geq V_{*}, \\ &\frac{g(I)}{g(I_{*})}\geq \frac{I}{I_{*}}\quad \text{for }I\leq I_{*}, \qquad \frac{g(I)}{g(I_{*})}\leq \frac{I}{I_{*}}\quad \text{for }I\geq I_{*}, \end{aligned}$$
which imply that
$$\begin{aligned} \biggl( \frac{f(V)}{f(V_{*})}-\frac{V}{V_{*}} \biggr) \biggl( 1- \frac{f(V_{*})}{f(V)} \biggr) \leq 0,\qquad \biggl( \frac{g(I)}{g(I_{*})}- \frac{I}{I_{*}} \biggr) \biggl( 1-\frac{g(I _{*})}{g(I)} \biggr) \leq 0. \end{aligned}$$
Then, it follows that \(\frac{dL_{2}}{dt}\leq 0\), and \(\frac{dL_{2}}{dt}=0\) if and only if \(T=T_{*}\), \(W=W_{*}\), \(I=I_{*}\), and \(V=V_{*}\). Hence, the largest invariant subset of \(\{ \frac{dL _{2}}{dt}=0 \} \) is the singleton \(\{E_{*}\}\). Thus, the global asymptotic stability of the infection steady state \(E_{*}\) follows from LaSalle’s invariance principle. This completes the proof. □

3 Dynamics behavior of system (8)

The global asymptotic stability of the equilibria for the continuous system (3) have been obtained by constructing Lyapunov functions in Sect. 2. A natural question is whether the discrete system (8) can efficiently preserve the global asymptotic stability of the equilibria for corresponding continuous system (3). In this section, we deal with this problem.

It is easy to verify that system (8) has the same equilibria as system (3). We also denote the two equilibria as \(E_{0}=(T_{0},0,0,0)\) and \(E_{*}=(T_{*}, W_{*},I_{*},V_{*})\). Rearranging the formulations in equations of (8) yields
$$ \textstyle\begin{cases} T^{m}_{n+1}=\frac{\lambda \Delta t+T^{m}_{n}}{1+\Delta t (d+\beta _{1}f(V^{m}_{n})+\beta_{2}g(I^{m}_{n}))}, \\ W^{m}_{n+1}=\frac{W^{m}_{n}+\Delta t(\beta_{1}T^{m}_{n+1}f(V^{m} _{n}) +\beta_{2}T^{m}_{n+1}g(I^{m}_{n}))}{1+\Delta t (\delta +\gamma )}, \\ I^{m}_{n+1}=\frac{I^{m}_{n}+\Delta t \gamma W^{m}_{n+1}}{1+\Delta tp}, \\ AV_{n+1}=V_{n}+k \Delta t I_{n+1}, \end{cases} $$
(15)
where the square matrix A of dimension \((N+1)\times (N+1)\) is given by
$$ \left ( \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{}} c_{1} & c_{2} &0 &\cdots &0&0&0 \\ c_{2} & c_{3} &c_{2} &\cdots & 0&0&0 \\ 0 & c_{2} &c_{3} &\cdots & 0&0&0 \\ \vdots & \vdots & \vdots & \ddots & \vdots & \vdots &\vdots \\ 0 & 0 &0 &\cdots & c_{3}&c_{2}&0 \\ 0 & 0 &0 &\cdots &c_{2}&c_{3}&c_{2} \\ 0 & 0 &0 &\cdots &0&c_{2}&c_{1} \end{array}\displaystyle \right ) $$
with \(c_{1}=1+D\Delta t/(\Delta x)^{2}+c\Delta t\), \(c_{2}=-D\Delta t/( \Delta x)^{2}\), and \(c_{3}=1+2D\Delta t/(\Delta x)^{2}+c\Delta t\). Hence, A is nonsingular, and the last equation of system (15) is equivalent to
$$\begin{aligned} V_{n+1}=A^{-1} ( V_{n}+k\Delta t I_{n+1} ) . \end{aligned}$$
Since all parameters in (8) are positive, it is clear that if the initial values satisfy \(T_{n}\geq 0\), \(W_{n}\geq 0\), \(I_{n}\geq 0\), \(V_{n}\geq 0\), then the solution remains positive for all \(m\geq 0\) by mathematical induction. Therefore, we can obtain the following result.

Theorem 3.1

Given \(\Delta t>0\) and \(\Delta x>0\), the solutions of system (8) satisfy \(T_{n}\geq 0\), \(W_{n}\geq 0\), \(I_{n}\geq 0\), \(V_{n}\geq 0\) for all \(n\in \mathbb{N}\).

3.1 Global stability

In this subsection, we establish the global stability of the infection-free steady state and the infection steady state of system (8) by constructing discrete Lyapunov functions.

Theorem 3.2

Given \(\Delta t>0\) and \(\Delta x>0\), if \(\mathfrak{R}_{0}\leq 1\), then the infection-free equilibrium \(E_{0}\) of system (8) is globally asymptotically stable.

Proof

Define a discrete Lyapunov function
$$\begin{aligned} G_{n}&=\sum_{m=0}^{N} \frac{1}{\Delta t} \biggl[ T^{m}_{n}-T_{0}-T _{0}\ln \frac{T^{m}_{n}}{T_{0}}+W^{m}_{n}+ \frac{\delta +\gamma }{ \gamma } \biggl( 1+\frac{\gamma }{\delta +\gamma }\frac{\beta_{2}T_{0}g'(0)}{ \mathfrak{R}_{0}}\Delta t \biggr) I^{m}_{n} \\ &\quad{} +\frac{\beta_{1}T_{0}f'(0)}{c\mathfrak{R}_{0}}(1+c\Delta t)V^{m} _{n} \biggr]. \end{aligned}$$
Since \(x-1\geq \ln x\) for all \(x>0\), it is clear that \(G_{n}\geq 0\) for all \(n\in \mathbb{N}\). Then we have
$$\begin{aligned} G_{n+1}-G_{n} &=\sum_{m=0}^{N} \frac{1}{\Delta t} \biggl[ T^{m}_{n+1}-T ^{m}_{n}+T_{0} \ln \frac{T^{m}_{n}}{T^{m}_{n+1}}+W^{m}_{n+1}-W^{m}_{n} \\ &\quad{} + \frac{\delta +\gamma }{\gamma } \biggl( 1+\frac{\gamma }{\delta + \gamma }\frac{\beta_{2}T_{0}g'(0)}{\mathfrak{R}_{0}} \Delta t \biggr) \times \bigl(I^{m}_{n+1}-I^{m}_{n} \bigr) \\ &\quad{} +\frac{\beta_{1}T_{0}f'(0)}{c\mathfrak{R}_{0}}(1+c\Delta t) \bigl(V^{m} _{n+1}-V^{m}_{n} \bigr) \biggr] \\ &\leq \sum_{m=0}^{N} \frac{1}{\Delta t} \biggl[ \biggl( 1-\frac{T_{0}}{T ^{m}_{n+1}} \biggr) \bigl(T^{m}_{n+1}-T^{m}_{n} \bigr)+W^{m}_{n+1}-W^{m}_{n} \\ &\quad{} + \frac{\delta +\gamma }{\gamma } \biggl( 1+\frac{\gamma }{\delta + \gamma }\frac{\beta_{2}T_{0}g'(0)}{\mathfrak{R}_{0}} \Delta t \biggr) \times \bigl(I^{m}_{n+1}-I^{m}_{n} \bigr) \\ &\quad{} +\frac{\beta_{1}T_{0}f'(0)}{c\mathfrak{R}_{0}}(1+c\Delta t) \bigl(V^{m} _{n+1}-V^{m}_{n} \bigr) \biggr] \\ &=\sum_{m=0}^{N} \biggl[ \biggl( 1- \frac{T_{0}}{T^{m}_{n+1}} \biggr) \bigl( dT_{0}-dT^{m}_{n+1}- \beta_{1}T^{m}_{n+1}f \bigl(V^{m}_{n} \bigr) -\beta _{2}T^{m}_{n+1}g \bigl(I^{m}_{n} \bigr) \bigr) \\ &\quad{} +\beta_{1}T^{m}_{n+1}f \bigl(V^{m}_{n} \bigr)+\beta_{2}T^{m}_{n+1}g \bigl(I^{m}_{n} \bigr) -( \delta +\gamma )W^{m}_{n+1} +\frac{\delta +\gamma }{\gamma } \bigl(\gamma W ^{m}_{n+1}-pI^{m}_{n+1} \bigr) \\ &\quad{} + \frac{\beta_{2}T_{0}g'(0)}{\mathfrak{R}_{0}} \bigl(I^{m}_{n+1}-I^{m} _{n} \bigr) +\frac{\beta_{1}T_{0}f'(0)}{c\mathfrak{R}_{0}} \bigl(kI^{m}_{n+1}-cV ^{m}_{n+1} \bigr) \\ & \quad {} +\frac{\beta_{1}T_{0}f'(0)}{\mathfrak{R}_{0}} \bigl(V^{m}_{n+1}-V^{m} _{n} \bigr) +\frac{\beta_{1}T_{0}f'(0)D}{c\mathfrak{R}_{0}(\Delta x)^{2}} \bigl( V^{m+1}_{n+1}-2V^{m}_{n+1}+V^{m-1}_{n+1} \bigr) \biggr] \\ &\leq\sum_{m=0}^{N} \biggl[ dT_{0} \biggl( 1-\frac{T_{0}}{T^{m}_{n+1}} \biggr) \biggl( 1- \frac{T^{m}_{n+1}}{T_{0}} \biggr) +\frac{\beta_{1}T_{0}f'(0)}{ \mathfrak{R}_{0}}(\mathfrak{R}_{0}-1)V^{m}_{n} \\ &\quad{} +\frac{\beta_{2}T_{0}g'(0)}{\mathfrak{R}_{0}}(\mathfrak{R}_{0}-1)I ^{m}_{n} \biggr] +\frac{\beta_{1}T_{0}f'(0)D}{c\mathfrak{R}_{0}(\Delta x)^{2}} \bigl( V^{N+1}_{n+1}-V^{N}_{n+1}+V^{-1}_{n+1}-V^{0}_{n+1} \bigr) \\ &=\sum_{m=0}^{N} \biggl[ dT_{0} \biggl( 1-\frac{T_{0}}{T^{m}_{n+1}} \biggr) \biggl( 1-\frac{T^{m}_{n+1}}{T_{0}} \biggr) + \frac{\beta_{1}T_{0}f'(0)}{ \mathfrak{R}_{0}}(\mathfrak{R}_{0}-1)V^{m}_{n} \\ &\quad{} +\frac{\beta_{2}T_{0}g'(0)}{\mathfrak{R}_{0}}(\mathfrak{R}_{0}-1)I ^{m}_{n} \biggr]. \end{aligned}$$
It then follows that if \(\mathfrak{R}_{0}\leq 1\), then
$$ G_{n+1}-G_{n}\leq 0 $$
for all \(n\in \mathbb{N}\), which implies that \(G_{n}\) is a decreasing sequence. Since \(G_{n}\geq 0\), there is a limit \(\lim_{n\rightarrow \infty }G_{n}\geq 0\), which yields \(\lim_{n\rightarrow \infty }(G_{n+1}-G_{n})=0\). Thus, we have:
  1. (1)

    If \(\mathfrak{R}_{0}<1\), then it follows from \(\lim_{n\rightarrow \infty }(G_{n+1}-G_{n})=0\) that \(\lim_{n\rightarrow \infty }T^{m}_{n}=T_{0}\) and \(\lim_{n\rightarrow \infty }I^{m}_{n}\) = \(\lim_{n\rightarrow \infty }V^{m}_{n}=0\). Further, from system (8) we have \(\lim_{n\rightarrow \infty }W^{m}_{n}=0\).

     
  2. (2)

    If \(\mathfrak{R}_{0}=1\), then it follows from \(\lim_{n\rightarrow \infty }(G_{n+1}-G_{n})=0\) that \(\lim_{n\rightarrow \infty }T^{m}_{n}=T_{0}\). By the first equation of system (8) we obtain that \(\beta_{1}T_{0}f(V^{m}_{n})+ \beta_{2}T_{0}g(I^{m}_{n})=0\). Since \(T_{0}>0\), then from (4) we have \(I^{m}_{n}=V^{m}_{n}=0\). Furthermore, from the second equation of system (8) we obtain that \(W^{m}_{n}=0\).

     
Thus, we conclude that if \(\mathfrak{R}_{0}\leq 1\), then \(E_{0}\) is globally asymptotically stable. This completes the proof. □

Theorem 3.3

Given \(\Delta t>0\) and \(\Delta x>0\), the infection equilibrium \(E_{*}\) of system (8) is globally asymptotically stable when \(\mathfrak{R}_{0}>1\).

Proof

 Define a discrete Lyapunov function
$$\begin{aligned} \widetilde{G}_{n}&= \sum_{m=0}^{N} \frac{1}{\Delta t} \biggl\{ T^{m} _{n}-T_{*}-T_{*} \ln \frac{T^{m}_{n}}{T_{*}}+W^{m}_{n}-W_{*}-W_{*} \ln \frac{W^{m}_{n}}{W_{*}} \\ &\quad{} + \frac{\delta +\gamma }{\gamma } \biggl( I^{m}_{n}-I_{*}-I_{*} \ln \frac{I ^{m}_{n}}{I_{*}} \biggr) +\frac{\beta_{1}T_{*}f(V_{*})}{kI_{*}} \biggl( V ^{m}_{n}-V_{*}-V_{*} \ln \frac{V^{m}_{n}}{V_{*}} \biggr) \\ &\quad{} +\Delta t \beta_{1}T_{*}f(V_{*})\varphi \biggl( \frac{f(V^{m}_{n})}{f(V _{*})} \biggr) +\Delta t \beta_{2}T_{*}g(I_{*}) \varphi \biggl( \frac{g(I ^{m}_{n})}{g(I_{*})} \biggr) \biggr\} , \end{aligned}$$
where \(\varphi (x)=x-1-\ln x\ (x>0)\) has a global minimum at \(x=1\) and satisfies \(\varphi (1)=0\).
The difference of \(\widetilde{G}_{n}\) satisfies
$$\begin{aligned} \widetilde{G}_{n+1}-\widetilde{G}_{n}&=\sum _{m=0}^{N} \frac{1}{ \Delta t} \biggl\{ T^{m}_{n+1}-T^{m}_{n}+T_{*}\ln \frac{T^{m}_{n}}{T ^{m}_{n+1}} +W^{m}_{n+1}-W^{m}_{n}+W_{*} \ln \frac{W^{m}_{n}}{W^{m} _{n+1}} \\ &\quad{} +\frac{\delta +\gamma }{\gamma } \biggl( I^{m}_{n+1}-I^{m}_{n}+I_{*} \ln \frac{I^{m}_{n}}{I^{m}_{n+1}} \biggr) +\frac{\beta_{1}T_{*}f(V_{*})}{kI _{*}} \biggl(V^{m}_{n+1}-V^{m}_{n} \\ &\quad{} +V_{*}\ln \frac{V^{m}_{n}}{V^{m}_{n+1}} \biggr) +\Delta t \beta_{1}T _{*}f(V_{*}) \biggl( \frac{f(V^{m}_{n+1})}{f(V_{*})}-\frac{f(V^{m}_{n})}{f(V _{*})}+\ln \frac{f(V^{m}_{n})}{f(V^{m}_{n+1})} \biggr) \\ &\quad{} +\Delta t \beta_{2}T_{*}g(I_{*}) \biggl( \frac{g(I^{m}_{n+1})}{g(I_{*})}-\frac{g(I ^{m}_{n})}{g(I_{*})}+\ln \frac{g(I^{m}_{n})}{g(I^{m}_{n+1})} \biggr) \biggr\} \\ &\leq\sum_{m=0}^{N} \frac{1}{\Delta t} \biggl\{ \biggl( 1-\frac{T_{*}}{T ^{m}_{n+1}} \biggr) \bigl(T^{m}_{n+1}-T^{m}_{n} \bigr)+ \biggl( 1-\frac{W_{*}}{W^{m} _{n+1}} \biggr) \bigl(W^{m}_{n+1}-W^{m}_{n} \bigr) \\ &\quad{} +\frac{\delta +\gamma }{\gamma } \biggl( 1-\frac{I_{*}}{I^{m}_{n+1}} \biggr) \bigl(I ^{m}_{n+1}-I^{m}_{n} \bigr) + \frac{\beta_{1}T_{*}f(V_{*})}{kI_{*}} \biggl( 1-\frac{V _{*}}{V^{m}_{n+1}} \biggr) \\ &\quad {} \times \bigl(V^{m}_{n+1}-V^{m}_{n} \bigr) +\Delta t \beta_{1}T_{*}f(V_{*}) \biggl( \frac{f(V^{m}_{n+1})}{f(V_{*})}-\frac{f(V^{m}_{n})}{f(V_{*})}+ \ln \frac{f(V^{m}_{n})}{f(V^{m}_{n+1})} \biggr) \\ &\quad{} +\Delta t \beta_{2}T_{*}g(I_{*}) \biggl( \frac{g(I^{m}_{n+1})}{g(I_{*})}-\frac{g(I ^{m}_{n})}{g(I_{*})}+\ln \frac{g(I^{m}_{n})}{g(I^{m}_{n+1})} \biggr) \biggr\} \\ &=\sum_{m=0}^{N} \biggl\{ \biggl( 1- \frac{T_{*}}{T^{m}_{n+1}} \biggr) \bigl(\lambda -dT^{m}_{n+1}- \beta_{1}T^{m}_{n+1}f \bigl(V^{m}_{n} \bigr)-\beta _{2}T^{m}_{n+1}g \bigl(I^{m}_{n} \bigr) \bigr) \\ &\quad{} + \biggl( 1-\frac{W_{*}}{W^{m}_{n+1}} \biggr) \bigl(\beta_{1}T^{m}_{n+1}f \bigl(V ^{m}_{n} \bigr)+\beta_{2}T^{m}_{n+1}g \bigl(I^{m}_{n} \bigr)-(\delta +\gamma )W^{m}_{n+1} \bigr) \\ &\quad{} +\frac{\delta +\gamma }{\gamma } \biggl( 1-\frac{I_{*}}{I^{m}_{n+1}} \biggr) \bigl( \gamma W^{m}_{n+1}-pI^{m}_{n+1} \bigr) \\ &\quad{} +\frac{\beta_{1}T_{*}f(V_{*})}{kI_{*}} \biggl( 1-\frac{V_{*}}{V^{m} _{n+1}} \biggr) \biggl( D \frac{V^{m+1}_{n+1}-2V^{m}_{n+1}+V^{m-1}_{n+1}}{( \Delta x)^{2}}+kI^{m}_{n+1}-cV^{m}_{n+1} \biggr) \\ &\quad{} +\beta_{1}T_{*}f(V_{*}) \biggl( \frac{f(V^{m}_{n+1})}{f(V_{*})}-\frac{f(V ^{m}_{n})}{f(V_{*})}+\ln \frac{f(V^{m}_{n})}{f(V^{m}_{n+1})} \biggr) \\ &\quad{} +\beta_{2}T_{*}g(I_{*}) \biggl( \frac{g(I^{m}_{n+1})}{g(I_{*})}-\frac{g(I ^{m}_{n})}{g(I_{*})}+\ln \frac{g(I^{m}_{n})}{g(I^{m}_{n+1})} \biggr) \biggr\} . \end{aligned}$$
Using the equilibrium condition (12) for \(E_{*}\), we obtain that
$$\begin{aligned} \widetilde{G}_{n+1}-\widetilde{G}_{n}&\leq\sum _{m=0}^{N} \biggl\{ dT _{*} \biggl( 1- \frac{T_{*}}{T^{m}_{n+1}} \biggr) \biggl( 1-\frac{T^{m}_{n+1}}{T _{*}} \biggr) + \bigl( \beta_{1}T_{*} f(V_{*})+\beta_{2}T_{*} g(I_{*}) \bigr) \\ &\quad {} \times \biggl( 1-\frac{T_{*}}{T^{m}_{n+1}} \biggr) + \bigl( \beta_{1}T^{m} _{n+1}f \bigl(V^{m}_{n} \bigr)+\beta_{2}T^{m}_{n+1}g \bigl(I^{m}_{n} \bigr) \bigr) \biggl( \frac{T_{*}}{T ^{m}_{n+1}}-1 \biggr) \\ &\quad{} + \bigl(\beta_{1}T^{m}_{n+1}f \bigl(V^{m}_{n} \bigr)+\beta_{2}T^{m}_{n+1}g \bigl(I^{m}_{n} \bigr) \bigr) \biggl( 1-\frac{W_{*}}{W^{m}_{n+1}} \biggr) \\ &\quad{} + \bigl(\beta_{1}T_{*} f(V_{*})+ \beta_{2}T_{*} g(I_{*}) \bigr) \biggl( 1- \frac{W ^{m}_{n+1}}{W_{*}} \biggr) \\ &\quad{} + \bigl(\beta_{1}T_{*} f(V_{*})+ \beta_{2}T_{*} g(I_{*}) \bigr) \biggl( 1- \frac{I _{*}}{I^{m}_{n+1}} \biggr) \biggl( \frac{W^{m}_{n+1}}{W_{*}}-\frac{I^{m} _{n+1}}{I_{*}} \biggr) \\ &\quad{} +\beta_{1}T_{*}f(V_{*}) \biggl( 1- \frac{V_{*}}{V^{m}_{n+1}} \biggr) \biggl( \frac{I^{m}_{n+1}}{I_{*}}-\frac{V^{m}_{n+1}}{V_{*}} \biggr) \\ &\quad{} +\beta_{1}T_{*}f(V_{*}) \biggl( \frac{f(V^{m}_{n+1})}{f(V_{*})}-\frac{f(V ^{m}_{n})}{f(V_{*})}+\ln \frac{f(V^{m}_{n})}{f(V^{m}_{n+1})} \biggr) \\ &\quad{} +\beta_{2}T_{*}g(I_{*}) \biggl( \frac{g(I^{m}_{n+1})}{g(I_{*})}-\frac{g(I ^{m}_{n})}{g(I_{*})}+\ln \frac{g(I^{m}_{n})}{g(I^{m}_{n+1})} \biggr) \biggr\} \\ &\quad{} +\sum_{m=0}^{N} \frac{D\beta_{1}T_{*}f(V_{*})}{kI_{*}(\Delta x)^{2}} \biggl( 1-\frac{V _{*}}{V^{m}_{n+1}} \biggr) \bigl( V^{m+1}_{n+1}-2V^{m}_{n+1}+V^{m-1} _{n+1} \bigr) \\ &=\sum_{m=0}^{N} \biggl\{ dT_{*} \biggl( 1-\frac{T_{*}}{T^{m}_{n+1}} \biggr) \biggl( 1-\frac{T^{m}_{n+1}}{T_{*}} \biggr) + \beta_{2}T_{*}f(V_{*}) \biggl[ 4- \frac{T_{*}}{T_{n+1}} \\ &\quad{} -\frac{T_{n+1}f(V^{m}_{n})W_{*}}{T_{*}f(V_{*})W^{m}_{n+1}}-\frac{I _{*}W^{m}_{n+1}}{I^{m}_{n+1}W_{*}}-\frac{V_{*}I^{m}_{n+1}}{V^{m}_{n+1}I _{*}} + \frac{f(V^{m}_{n+1})}{f(V_{*})}-\frac{V^{m}_{n+1}}{V_{*}} \\ &\quad{} +\ln \frac{f(V^{m}_{n})}{f(V^{m}_{n+1})} \biggr] +\beta_{2}T_{*}g(I _{*}) \biggl[ 3-\frac{T_{*}}{T^{m}_{n+1}}-\frac{T^{m}_{n+1}g(I^{m}_{n})W _{*}}{T_{*}g(I_{*})W^{m}_{n+1}} \\ & \quad {} -\frac{I_{*}W^{m}_{n+1}}{I^{m}_{n+1}W_{*}} +\frac{g(I^{m}_{n+1})}{g(I _{*})}-\frac{I^{m}_{n+1}}{I_{*}}+\ln \frac{g(I^{m}_{n})}{g(I^{m}_{n+1})} \biggr] \biggr\} \\ &\quad{} - \sum_{m=0}^{N-1} \frac{DV_{*}\beta_{1}T_{*}f(V_{*})}{kI_{*}( \Delta x)^{2}} \frac{(V^{m+1}_{n+1}-V^{m}_{n+1})^{2}}{V^{m+1}_{n+1}V ^{m}_{n+1}} \\ &=\sum_{m=0}^{N} \biggl\{ dT_{*} \biggl( 1-\frac{T_{*}}{T^{m}_{n+1}} \biggr) \biggl( 1-\frac{T^{m}_{n+1}}{T_{*}} \biggr) + \beta_{1}T_{*}f(V_{*}) \biggl[ -\varphi \biggl( \frac{T_{*}}{T^{m}_{n+1}} \biggr) \\ &\quad{} -\varphi \biggl( \frac{T^{m}_{n+1}f(V^{m}_{n})W_{*}}{T_{*}f(V_{*})W ^{m}_{n+1}} \biggr) -\varphi \biggl( \frac{I_{*}W^{m}_{n+1}}{I^{m}_{n+1}W*} \biggr) - \varphi \biggl( \frac{V_{*}I^{m}_{n+1}}{V^{m}_{n+1}I_{*}} \biggr) + \frac{f(V ^{m}_{n+1})}{f(V_{*})} \\ &\quad{} -\frac{V^{m}_{n+1}}{V_{*}}+\ln \frac{f(V_{*})V^{m}_{n+1}}{f(V^{m} _{n+1})V_{*}} \biggr] + \beta_{2}T_{*}g(I_{*}) \biggl[ -\varphi \biggl( \frac{T _{*}}{T^{m}_{n+1}} \biggr) -\varphi \biggl( \frac{I_{*}W^{m}_{n+1}}{I ^{m}_{n+1}W_{*}} \biggr) \\ & \quad {} -\varphi \biggl( \frac{T^{m}_{n+1}g(I^{m}_{n})W_{*}}{T_{*}g(I_{*})W ^{m}_{n+1}} \biggr) +\frac{g(I^{m}_{n+1})}{g(I_{*})}- \frac{I^{m}_{n+1}}{I _{*}}+\ln \frac{g(I_{*})I^{m}_{n+1}}{g(I^{m}_{n+1})I^{m}_{n+1}} \biggr] \biggr\} \\ &\quad{} - \sum_{m=0}^{N-1} \frac{DV_{*}\beta_{1}T_{*}f(V_{*})}{kI_{*}( \Delta x)^{2}} \frac{(V^{m+1}_{n+1}-V^{m}_{n+1})^{2}}{V^{m+1}_{n+1}V ^{m}_{n+1}} \\ &=\sum_{m=0}^{N} \biggl\{ dT_{*} \biggl( 1-\frac{T_{*}}{T^{m}_{n+1}} \biggr) \biggl( 1-\frac{T^{m}_{n+1}}{T_{*}} \biggr) + \beta_{1}T_{*}f(V_{*}) \biggl[ -\varphi \biggl( \frac{T_{*}}{T^{m}_{n+1}} \biggr) \\ &\quad{} -\varphi \biggl( \frac{T^{m}_{n+1}f(V^{m}_{n})W_{*}}{T_{*}f(V_{*})W ^{m}_{n+1}} \biggr) -\varphi \biggl( \frac{I_{*}W^{m}_{n+1}}{I^{m}_{n+1}W*} \biggr) - \varphi \biggl( \frac{V_{*}I^{m}_{n+1}}{V^{m}_{n+1}I_{*}} \biggr) \\ &\quad{} -\varphi \biggl( \frac{f(V_{*})V^{m}_{n+1}}{f(V^{m}_{n+1})V_{*}} \biggr) + \biggl( 1- \frac{f(V_{*})}{f(V^{m}_{n+1})} \biggr) \biggl( \frac{f(V^{m} _{n+1})}{f(V_{*})}-\frac{V^{m}_{n+1}}{V_{*}} \biggr) \biggr] \\ & \quad {} +\beta_{2}T_{*}g(I_{*}) \biggl[ - \varphi \biggl( \frac{T_{*}}{T^{m} _{n+1}} \biggr) -\varphi \biggl( \frac{T^{m}_{n+1}g(I^{m}_{n})W_{*}}{T _{*}g(I_{*})W^{m}_{n+1}} \biggr) -\varphi \biggl( \frac{I_{*}W^{m}_{n+1}}{I ^{m}_{n+1}W_{*}} \biggr) \\ & \quad {} -\varphi \biggl( \frac{g(I_{*})I^{m}_{n+1}}{g(I^{m}_{n+1})I_{*}} \biggr) + \biggl( 1- \frac{g(I_{*})}{g(I^{m}_{n+1})} \biggr) \biggl( \frac{g(I^{m} _{n+1})}{g(I_{*})}-\frac{I^{m}_{n+1}}{I_{*}} \biggr) \biggr] \biggr\} \\ &\quad{} -\sum_{m=0}^{N-1} \frac{DV_{*}\beta_{1}T_{*}f(V_{*})}{kI_{*}( \Delta x)^{2}} \frac{(V^{m+1}_{n+1}-V^{m}_{n+1})^{2}}{V^{m+1}_{n+1}V ^{m}_{n+1}}. \end{aligned}$$
Similarly, we have
$$\begin{aligned}& \biggl( 1-\frac{f(V_{*})}{f(V^{m}_{n+1})} \biggr) \biggl( \frac{f(V^{m}_{n+1})}{f(V _{*})}- \frac{V^{m}_{n+1}}{V_{*}} \biggr) \leq 0, \\& \biggl( 1-\frac{g(I_{*})}{g(I^{m}_{n+1})} \biggr) \biggl( \frac{g(I^{m} _{n+1})}{g(I_{*})}- \frac{I^{m}_{n+1}}{I_{*}} \biggr) \leq 0. \end{aligned}$$
Thus, we get \(\widetilde{G}_{n+1}-\widetilde{G}_{n}\leq 0\) for all \(n\in \mathbb{N}\), that is, \(\widetilde{G}_{n}\) is a decreasing sequence. Furthermore, since \(G_{n}>0\), there is a limit \(\lim_{n\rightarrow \infty }\widetilde{G}_{n}\geq 0\). Hence, \(\lim_{n\rightarrow \infty }(\widetilde{G}_{n+1}-\widetilde{G} _{n})=0\). Combined with system (8), we can show that \(\lim_{n\rightarrow \infty }T^{m}_{n}=T_{*}\), \(\lim_{n\rightarrow \infty }W^{m}_{n}=W_{*}\), \(\lim_{n\rightarrow \infty }I^{m}_{n}=I_{*}\), and \(\lim_{n\rightarrow \infty }V^{m}_{n}=V_{*}\) for all \(m\in \{0,1, \ldots ,N\}\), which implies that \(E_{*}\) of system (8) is globally asymptotically stable. This completes the proof. □

4 Numerical simulations

To illustrate our theoretical results obtained in the preceding sections, we carry out some numerical simulations in this section. To this end, we use two sets of system parameters that correspond to \(\mathfrak{R}_{0}<1\) (when \(E_{0}\) is globally asymptotically stable for both continuous and discretized models) and \(\mathfrak{R}_{0}>1\) (when \(E_{*}\) is globally asymptotically stable for both continuous and discretized models). For convenience, we consider system (3) with \(f(V)=V\), \(g(I)=I\), and initial conditions
$$\begin{aligned} T(x,0)=100, \qquad W(x,0)=0.1, \qquad I(x,0)=0.1, \qquad V(x,0)=1, \quad x\in [0,10]. \end{aligned}$$
We first choose the parameters \(\lambda =1\), \(d=0.1\), \(\beta_{1}=0.00025\), \(\beta_{2}=0.00065\), \(\delta =0.02\), \(\gamma =0.2\), \(p=0.5\), \(k=500\), \(c=2.4\). It follows that \(\mathfrak{R}_{0}=0.1065<1\). Theorem 3.2 implies that the infection-free equilibrium \(E_{0}=(10,0,0,0)\) is globally asymptotically stable, which is numerically verified in Fig. 1.
Figure 1
Figure 1

\(\mathfrak{R}_{0}=0.1065<1\). The infection-free equilibrium \(E_{0}\) is globally asymptotically stable

Next, we set the parameters \(\lambda =10\), \(d=0.1\), \(\beta_{1}=0.00025\), \(\beta_{2}=0.00065\), \(\delta =0.02\), \(\gamma =0.2\), \(p=0.5\), \(k=500\), \(c=2.4\). It follows that \(\mathfrak{R}_{0}=9.5879>1\). By Theorem 3.3 the infection equilibrium \(E_{*}=(10.4298,40.7137,16.2855,3392.8093)\) is globally asymptotically stable, as shown in Fig. 2.
Figure 2
Figure 2

\(\mathfrak{R}_{0}=9.5879>1\). The infection equilibrium \(E_{*}\) is globally asymptotically stable

5 Conclusions

In this paper, we first investigate the global threshold dynamics of the equilibria of a whin-host virus infection model with both virus-to-cell and cell-to-cell transmissions. We then derive the discrete model by applying Mickens’ nonstandard finite difference scheme. By using discrete analogue Lyapunov functions we show that the global stability of the equilibria of the discrete model is completely determined by the basic reproduction number \(\mathfrak{R}_{0}\). If \(\mathfrak{R}_{0} \leq 1\), then the infection-free equilibrium is globally asymptotically stable, whereas the infection equilibrium uniquely exists and is globally asymptotically stable when \(\mathfrak{R}_{0}>1\). The results show that Mickens’ discretization scheme can efficiently preserve the global asymptotic stability and positivity and boundedness of the solutions of the corresponding continuous model. Application of this method to a model with immune response or time delay is our future work.

Declarations

Acknowledgements

This work was supported by the National Natural Science Foundation of China (#11701445, #11702214, #11701451, #11501443) and Scientific Research Program Funded by Shaanxi Provincial Education Department (No. 17JK0787).

Authors’ contributions

All authors read and approved the final manuscript.

Competing interests

The authors declare that they have no competing interests.

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.

Authors’ Affiliations

(1)
School of Sciences, Xi’an University of Technology, Xi’an, P.R. China
(2)
Department of Mathematics, Northwest University, Xi’an, P.R. China
(3)
School of Mathematics and Statistics, Xi’an Jiaotong University, Xi’an, P.R. China

References

  1. Nowak, M.A., Bangham, C.R.M.: Population dynamics of immune responses to persistent viruses. Science 272, 74–79 (1996) View ArticleGoogle Scholar
  2. Nowak, M.A., Bonhoeffer, S., Hill, A.M., Boehme, R., Thomas, H.C., McDade, H.: Viral dynamics in hepatitis B virus infection. Proc. Natl. Acad. Sci. 93, 4398–4402 (1996) View ArticleGoogle Scholar
  3. Korobeinikov, A.: Global properties of basic virus dynamics models. Bull. Math. Biol. 66, 879–883 (2004) MathSciNetView ArticleMATHGoogle Scholar
  4. Funk, G.A., Jansen, V.A.A., Bonhoeffer, S., Killingback, T.: Spatial models of virus-immune dynamics. J. Theor. Biol. 233, 221–236 (2005) MathSciNetView ArticleGoogle Scholar
  5. Wang, K., Wang, W.: Propagation of HBV with spatial dependence. Math. Biosci. 210, 78–95 (2007) MathSciNetView ArticleMATHGoogle Scholar
  6. Hattaf, K., Yousfi, N.: Global stability for reaction–diffusion equations in biology. Comput. Math. Appl. 66, 1488–1497 (2013) MathSciNetView ArticleMATHGoogle Scholar
  7. McCluskey, C.C., Yang, Y.: Global stability of a diffusive virus dynamics model with general incidence function and time delay. Nonlinear Anal., Real World Appl. 25, 64–78 (2015) MathSciNetView ArticleMATHGoogle Scholar
  8. Wang, F., Huang, Y., Zou, X.: Global dynamics of a PDE in-host viral model. Appl. Anal. 93, 2312–2329 (2014) MathSciNetView ArticleMATHGoogle Scholar
  9. Xu, R., Ma, Z.: An HBV model with diffusion and time delay. J. Theor. Biol. 257, 499–509 (2009) MathSciNetView ArticleGoogle Scholar
  10. Dimitrov, D.S., Willey, R.L., Sato, H., Chang, L.J., Blumenthal, R., Martin, M.A.: Quantitation of human immunodeficiency virus type 1 infection kinetics. J. Virol. 67, 2182–2190 (1993) Google Scholar
  11. Gummuluru, S., Kinsey, C.M., Emerman, M.: An in vitro rapid-turnover assay for human immunodeficiency virus type 1 replication selects for cell-to-cell spread of virus. J. Virol. 74, 10882–10891 (2000) View ArticleGoogle Scholar
  12. Bangham, C.R.M., Yang, Y., Zhang, T.H.: The immune control and cell-to-cell spread of human T-lymphotropic virus type 1. J. Gen. Virol. 84, 3177–3189 (2003) View ArticleGoogle Scholar
  13. Culshaw, R.V., Ruan, S., Webb, G.: A mathematical model of cell-to-cell spread of HIV-1 that includes a time delay. J. Math. Biol. 46, 425–444 (2003) MathSciNetView ArticleMATHGoogle Scholar
  14. Sigal, A., Kim, J.T., Balazs, A.B., Dekel, E., Mayo, A., Milo, R., Baltimore, D.: Cell-to-cell spread of HIV permits ongoing replication despite antiretroviral therapy. Nature 477, 95–98 (2011) View ArticleGoogle Scholar
  15. Lai, X., Zou, X.: Modeling HIV-1 virus dynamics with both virus-to-cell infection and cell-to-cell transmission. SIAM J. Appl. Math. 74, 898–917 (2014) MathSciNetView ArticleMATHGoogle Scholar
  16. Lai, X., Zou, X.: Modeling cell-to-cell spread of HIV-1 with logistic target cell growth. J. Math. Anal. Appl. 426, 563–584 (2015) MathSciNetView ArticleMATHGoogle Scholar
  17. Pourbashash, H., Pilyugin, S.S., De Leenheer, P., McCluskey, C.: Global analysis of within host virus models with cell-to-cell viral transmission. Discrete Contin. Dyn. Syst., Ser. B 19, 3341–3357 (2014) MathSciNetView ArticleMATHGoogle Scholar
  18. Yang, Y., Zou, L., Ruan, S.: Global dynamics of a delayed within-host viral infection model with both virus-to-cell and cell-to-cell transmissions. Math. Biosci. 270, 183–191 (2015) MathSciNetView ArticleMATHGoogle Scholar
  19. Xu, J.H., Zhou, Y.: Bifurcation analysis of HIV-1 infectioin model with cell-to-cell transmission and immune response delay. Math. Biosci. Eng. 13, 343–367 (2016) MathSciNetMATHGoogle Scholar
  20. Yang, Y., Zhou, J., Ma, X., Zhang, T.: Nonstandard finite difference scheme for a diffusive within-host virus dynamics model with both virus-to-cell and cell-to-cell transmissions. Comput. Math. Appl. 72, 1013–1020 (2016) MathSciNetView ArticleMATHGoogle Scholar
  21. Wang, T., Hu, Z., Liao, F., Ma, W.: Global stability analysis for delayed virus infection model with general incidence rate and humoral immunity. Math. Comput. Simul. 89, 13–22 (2013) MathSciNetView ArticleGoogle Scholar
  22. Sigdel, P.P., McCluskey, C.C.: Global stability for an SEI model of infectious disease with immigration. Appl. Math. Comput. 243, 684–689 (2014) MathSciNetMATHGoogle Scholar
  23. Abdelmalek, S., Bendoukha, S.: Global asymptotic stability of a diffusive SVIR epidemic model with immigration of individuals. Electron. J. Differ. Equ. 2016, Article ID 284 (2016) MathSciNetView ArticleMATHGoogle Scholar
  24. Li, J., Ma, Z., Brauer, F.: Global analysis of discrete-time SI and SIS epidemic models. Math. Biosci. Eng. 4, 699–710 (2007) MathSciNetView ArticleMATHGoogle Scholar
  25. Hu, Z., Teng, Z., Zhang, L.: Stability and bifurcation analysis in a discrete SIR epidemic model. Math. Comput. Simul. 97, 80–93 (2014) MathSciNetView ArticleGoogle Scholar
  26. Zhou, Y., Ma, Z., Brauer, F.: A discrete epidemic model for SARS transmission and control in China. Math. Comput. Model. 40, 1491–1506 (2004) MathSciNetView ArticleMATHGoogle Scholar
  27. Mickens, R.E.: A SIR-model with square-root dynamics: an NSFD scheme. J. Differ. Equ. Appl. 16, 209–216 (2010) MathSciNetView ArticleMATHGoogle Scholar
  28. Ma, X., Zhou, Y., Cao, H.: Global stability of the endemic equilibrium of a discrete SIR epidemic model. Adv. Differ. Equ. 2013, Article ID 42 (2013) MathSciNetView ArticleMATHGoogle Scholar
  29. Mickens, R.E.: Nonstandard Finite Difference Models of Differential Equations. World Scientific, Singapore (1994) MATHGoogle Scholar
  30. Mickens, R.E.: Discretizations of nonlinear differential equations using explicit nonstandard methods. J. Comput. Appl. Math. 110, 181–185 (1999) MathSciNetView ArticleMATHGoogle Scholar
  31. Mickens, R.E.: Nonstandard finite difference schemes for differential equations. J. Differ. Equ. Appl. 8, 823–847 (2002) MathSciNetView ArticleMATHGoogle Scholar
  32. Sekiguchi, M.: Permanence of a discrete SIRS epidemic model with time delays. Appl. Math. Lett. 23, 1280–1285 (2010) MathSciNetView ArticleMATHGoogle Scholar
  33. Sekiguchi, M., Ishiwata, E.: Global dynamics of a discretized SIRS epidemic model with time delay. J. Math. Anal. Appl. 371, 195–202 (2010) MathSciNetView ArticleMATHGoogle Scholar
  34. Korpusik, A.: A nonstandard finite difference scheme for a basic model of cellular immune response to viral infection. Commun. Nonlinear Sci. Numer. Simul. 43, 369–384 (2017) MathSciNetView ArticleGoogle Scholar
  35. Ding, D., Ma, Q., Ding, X.: A non-standard finite difference scheme for an epidemic model with vaccination. J. Differ. Equ. Appl. 19, 179–190 (2013) MathSciNetView ArticleMATHGoogle Scholar
  36. Enatsu, Y., Nakata, Y., Muroya, Y., Izzo, G., Vecchio, A.: Global dynamics of difference equations for SIR epidemic models with a class of nonlinear incidence rates. J. Differ. Equ. Appl. 18, 1163–1181 (2012) MathSciNetView ArticleMATHGoogle Scholar
  37. Yang, Y., Ma, X., Li, Y.: Global stability of a discrete virus dynamics model with Holling type-II infection function. Math. Methods Appl. Sci. 39, 2078–2082 (2016) MathSciNetView ArticleMATHGoogle Scholar
  38. Qin, W., Wang, L., Ding, X.: A non-standard finite difference method for a hepatitis B virus infection model with spatial diffusion. J. Differ. Equ. Appl. 20, 1641–1651 (2014) MathSciNetView ArticleMATHGoogle Scholar
  39. Pazzy, A.: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York (1983) View ArticleGoogle Scholar
  40. Smoller, J.: Shock Waves and Reaction-Diffusion Equations. Springer, Berlin (1983) View ArticleMATHGoogle Scholar
  41. Protter, M.H., Weinberger, H.F.: Maximum Principles in Differential Equations. Prentice Hall, Englewood Cliffs (1967) MATHGoogle Scholar
  42. Henry, D.: Geometric Theory of Semilinear Parabolic Equations. Springer, Berlin (1993) Google Scholar

Copyright

© The Author(s) 2018

Advertisement