Skip to main content

Theory and Modern Applications

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

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.

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.

References

  1. Nowak, M.A., Bangham, C.R.M.: Population dynamics of immune responses to persistent viruses. Science 272, 74–79 (1996)

    Article  Google 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)

    Article  Google Scholar 

  3. Korobeinikov, A.: Global properties of basic virus dynamics models. Bull. Math. Biol. 66, 879–883 (2004)

    Article  MathSciNet  MATH  Google 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)

    Article  MathSciNet  Google Scholar 

  5. Wang, K., Wang, W.: Propagation of HBV with spatial dependence. Math. Biosci. 210, 78–95 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  6. Hattaf, K., Yousfi, N.: Global stability for reaction–diffusion equations in biology. Comput. Math. Appl. 66, 1488–1497 (2013)

    Article  MathSciNet  MATH  Google 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)

    Article  MathSciNet  MATH  Google Scholar 

  8. Wang, F., Huang, Y., Zou, X.: Global dynamics of a PDE in-host viral model. Appl. Anal. 93, 2312–2329 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  9. Xu, R., Ma, Z.: An HBV model with diffusion and time delay. J. Theor. Biol. 257, 499–509 (2009)

    Article  MathSciNet  Google 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)

    Article  Google 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)

    Article  Google 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)

    Article  MathSciNet  MATH  Google 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)

    Article  Google 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)

    Article  MathSciNet  MATH  Google 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)

    Article  MathSciNet  MATH  Google 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)

    Article  MathSciNet  MATH  Google 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)

    Article  MathSciNet  MATH  Google 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)

    MathSciNet  MATH  Google 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)

    Article  MathSciNet  MATH  Google 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)

    Article  MathSciNet  Google 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)

    MathSciNet  MATH  Google 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)

    Article  MathSciNet  MATH  Google 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)

    Article  MathSciNet  MATH  Google 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)

    Article  MathSciNet  Google 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)

    Article  MathSciNet  MATH  Google Scholar 

  27. Mickens, R.E.: A SIR-model with square-root dynamics: an NSFD scheme. J. Differ. Equ. Appl. 16, 209–216 (2010)

    Article  MathSciNet  MATH  Google 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)

    Article  MathSciNet  MATH  Google Scholar 

  29. Mickens, R.E.: Nonstandard Finite Difference Models of Differential Equations. World Scientific, Singapore (1994)

    MATH  Google Scholar 

  30. Mickens, R.E.: Discretizations of nonlinear differential equations using explicit nonstandard methods. J. Comput. Appl. Math. 110, 181–185 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  31. Mickens, R.E.: Nonstandard finite difference schemes for differential equations. J. Differ. Equ. Appl. 8, 823–847 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  32. Sekiguchi, M.: Permanence of a discrete SIRS epidemic model with time delays. Appl. Math. Lett. 23, 1280–1285 (2010)

    Article  MathSciNet  MATH  Google 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)

    Article  MathSciNet  MATH  Google 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)

    Article  MathSciNet  Google 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)

    Article  MathSciNet  MATH  Google 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)

    Article  MathSciNet  MATH  Google 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)

    Article  MathSciNet  MATH  Google 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)

    Article  MathSciNet  MATH  Google Scholar 

  39. Pazzy, A.: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York (1983)

    Book  Google Scholar 

  40. Smoller, J.: Shock Waves and Reaction-Diffusion Equations. Springer, Berlin (1983)

    Book  MATH  Google Scholar 

  41. Protter, M.H., Weinberger, H.F.: Maximum Principles in Differential Equations. Prentice Hall, Englewood Cliffs (1967)

    MATH  Google Scholar 

  42. Henry, D.: Geometric Theory of Semilinear Parabolic Equations. Springer, Berlin (1993)

    Google Scholar 

Download references

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).

Author information

Authors and Affiliations

Authors

Contributions

All authors read and approved the final manuscript.

Corresponding author

Correspondence to Jinhu Xu.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Xu, J., Hou, J., Geng, Y. et al. Dynamic consistent NSFD scheme for a viral infection model with cellular infection and general nonlinear incidence. Adv Differ Equ 2018, 108 (2018). https://doi.org/10.1186/s13662-018-1560-8

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords