 Research
 Open Access
 Published:
A nonstandard finite difference scheme for a multigroup epidemic model with time delay
Advances in Difference Equations volume 2017, Article number: 358 (2017)
Abstract
In this paper, we derive a discretized multigroup epidemic model with time delay by using a nonstandard finite difference (NSFD) scheme. A crucial observation regarding the advantage of the NSFD scheme is that the positivity and boundedness of solutions of the continuous model are preserved. Furthermore, we show that the discrete model has the same equilibria, and the conditions for their stability are identical in case of both the discrete and the corresponding continuous models. Specifically, if \(\mathfrak{R}_{0}\leq1\), then the diseasefree equilibrium \(P_{0}\) is globally asymptotically stable; if \(\mathfrak{R}_{0}>1\), then the infection equilibrium \(P_{*}\) is globally asymptotically stable. The results imply that the discretization scheme can efficiently preserve the global dynamics of the original continuous model.
Introduction
The main essential assumption in classical compartmental epidemic models is that individuals are homogeneously mixed, which implies that each individual has the same chance to get infected. However, the chance for each individual to get infected may differ from their diversities in disease transmission such as age, communities, education levels, geographic distributions, and so on. Thus, more realistic models should divide the host population into groups to consider the disease transmission in heterogeneous cases, which means that the host population should be classified into different groups and the vital epidemic parameters vary among different population groups. Therefore, multigroup models are more reasonable when constructing epidemic models. One of the earliest works of multigroup models is investigated by Lajmanovich and Yorke [1] for gonorrhea in a nonhomogeneous population. Motivated by [1], Chen et al. studied the following multigroup epidemic model with time delay [2]:
Here \(S_{k}\), \(E_{k}\), \(I_{k}\) and \(R_{k}\) (\(k=1, 2, \ldots, m\)) denote the numbers of susceptible, exposed, infectious and recovered individuals at time t in the kth group, respectively. The parameters \(d_{k}^{S}\), \(d_{k}^{E}\), \(d_{k}^{I}\), \(d_{k}^{R}\) are the natural death rates of \(S_{k}\), \(E_{k}\), \(I_{k}\) and \(R_{k}\) compartments in the kth group, respectively. \(\Lambda_{k}\) represents influx of individuals into the kth group; \(\delta_{k}\) is the rate of becoming infectious after a latent period; \(\gamma_{k}\) denotes per capita recovery rate in kth group. The nonnegative constant \(\beta_{kj}\) is the transmission rate due to the contact of susceptible individuals in the kth group with infectious individuals in the jth group. \(\tau _{j}\geq0\) denotes the time delay. For more details on model (1), one can refer to [2]. The global stability of the equilibria of system (1) is investigated in [2] by making use of the method of Lyapunov functionals [3–5]. For more information on multigroup models, one can refer to [6–11] and the references therein.
However, as an important part of epidemiology, the studies on discretetime epidemic models have never been stopped up to now. Since the infection data of infectious diseases were often reported daily, monthly or yearly, discretetime epidemic models represent a more realistic situation than continuous ones. Over the last century, much attention has been paid to discretetime epidemic models, and many literature works on discretetime epidemic models have been carried out to analyze the spread and control of infectious diseases [12–14]. One of the important ways to construct discrete models is to discretized the continuous models by numerical methods. But traditional schemes like forward Euler, RungeKutta and others sometimes fail and generate oscillations, bifurcations, chaos and false steady states [15]. Recently, the nonstandard finite difference schemes have been developed by Mickens [16] and received much attention (see [17–21]). Different from the traditional schemes, Mickens’s method can be more efficient in preserving the global asymptotic stability for equilibria of the corresponding continuous models (see [21–23]). To our knowledge, there is no investigation for a discrete multigroup model with time delay. Hence, motivated by [2, 21], we construct a discrete multigroup epidemic model with time delay by utilizing Mickens’s nonstandard finite difference methods to the continuous model (1)
where \(h>0\) is the time step size and the other parameters are the same as in model (1). Assume that there exist m integers \(m_{j}\) with \(\tau_{j}=m_{j} h\) (\(1\leq j\leq m\)). The discrete initial conditions of system (2) are given as
The global asymptotic stability of the equilibria for the continuous model (1) can be obtained by constructing Lyapunov functionals [2]. Thus, a natural question is whether the discrete model (2) can efficiently preserve the global asymptotic stability of the equilibria for the corresponding continuous model. In this paper, we will deal with this problem. The organization of the paper is as follows. We present some preliminaries including the positivity and boundedness of the solution of model (2) in Section 2. In Section 3, we establish the global stability of the equilibria of model (2) by constructing Lyapunov functions. A brief conclusion ends the paper.
Preliminaries
Rearranging the equations of (2) gives
It follows from (4) that all solutions of system (2) subject to initial condition (3) remain nonnegative for all \(n\in\mathbb{N}\).
For each k, denote \(N_{k_{n}}=S_{k_{n}}+E_{k_{n}}+I_{k_{n}}+R_{k_{n}}\). It then follows from the equations in model (2) that
where \(d_{k}=\min\{d_{k}^{S},d_{k}^{V},d_{k}^{I},d_{k}^{R}\}\). Then we have \(\limsup_{n\rightarrow\infty}N_{k_{n}}\leq\frac{\Lambda_{k}}{d_{k}}\). Similarly, it can be easily obtained from the first equation in system (2) that \(\limsup_{n\rightarrow\infty}S_{k_{n}}\leq\frac{\Lambda_{k}}{d_{k}^{S}}\). Thus, we can establish the following result.
Theorem 2.1
All solutions of system (2) subject to initial condition (3) remain nonnegative and bounded for all \(n\in\mathbb{N}\).
Notice that the last equation of system (2) is independent of the others. Therefore, it is sufficient to consider the following reduced system:
It is easy to see that system (5) always has a diseasefree equilibrium
As in [2], the basic reproduction number \(\mathfrak {R}_{0}\) is given as
where ρ denotes the spectral radius. An equilibrium \(P_{*}=(S^{*}_{1},E^{*}_{1},I^{*}_{1},\ldots ,S^{*}_{m},E^{*}_{m},I^{*}_{m})\) of system (5) shares the same endemic equilibrium as the corresponding continuous model, where \(S^{*}_{k}\), \(E^{*}_{k}\) and \(I^{*}_{k}\) are positive and satisfy the following equations:
The existence and global asymptotic stability of the equilibria for the corresponding continuous model of (5) can be directly deduced from the obtained results in [2]. Particularly, if \(\mathfrak{R}_{0}> 1\) and \(B=(\beta_{kj})_{m\times m}\) is irreducible, then model (5) has at least one endemic equilibrium.
Global stability
In this section, we establish the global stability of the equilibria of system (5) by constructing Lyapunov functions.
Theorem 3.1
Assume that \(B=(\beta_{kj})_{m\times m}\) is irreducible. For any \(h>0\), if \(\mathfrak{R}_{0}\leq1\), then the diseasefree equilibrium \(P_{0}\) is globally asymptotically stable.
Proof
Since \(B=(\beta_{kj})_{m\times m}\) is irreducible, we know that matrix \(M_{0}\) is also irreducible and has a positive left eigenvector \(\omega=(\omega_{1},\ldots,\omega_{m})\) corresponding to the spectral radius \(\mathfrak{R}_{0}=\rho(M_{0})>1\). Let \(I_{n}=(I_{1_{n}},\ldots,I_{m_{n}})\), \(S^{0}=(S_{1}^{0},\ldots,S_{m}^{0})\) and \(c_{k}=\frac{\omega_{k}\delta_{k}}{(d_{k}^{E}+\delta_{k})(d_{k}^{I}+\gamma_{k})}\).
Define
Since, \(1+\ln x\leq x\) (\(x>0\)) and together with (5), then we have
Thus, if \(\mathfrak{R}_{0}\leq1\), then \(V_{n+1}V_{n}\leq0\). Then \(V_{n}\) is a monotone decreasing sequence. Due to \(V_{n}\geq0\), there is a limit \(\lim_{n\rightarrow\infty}V_{n}\geq0\), which implies that \(\lim_{n\rightarrow\infty}(V_{n+1}V_{n})=0\). Thus, we know

(i)
if \(\mathfrak{R}_{0}<1\), \(\lim_{n\rightarrow\infty}(V_{n+1}V_{n})=0\) is equivalent to \(\lim_{n\rightarrow\infty}S_{k_{n}}=S_{k}^{0}\), \(\lim_{n\rightarrow\infty}I_{k_{n}}=0\). It follows from (5) that \(\lim_{n\rightarrow\infty}I_{k_{n}}=0\) for all \(1\leq k\leq m\).

(ii)
if \(\mathfrak{R}_{0}=1\), \(\lim_{n\rightarrow\infty}(V_{n+1}V_{n})=0\) is equivalent to \(\lim_{n\rightarrow\infty}S_{k_{n}}=S_{k}^{0}\). By (5), it can be shown that \(\lim_{n\rightarrow\infty}E_{k_{n}}=0\), \(\lim_{n\rightarrow\infty}I_{k_{n}}=0\) for all \(1\leq k\leq m\).
By the above discussion, it is concluded that if \(\mathfrak{R}_{0}\leq1\), the diseasefree equilibrium \(P_{0}\) is globally asymptotically stable. This completes the proof. □
Theorem 3.2
Assume that \(B=(\beta_{kj})_{m\times m}\) is irreducible. For any \(h>0\), if \(\mathfrak{R}_{0}>1\), then there exists a unique endemic equilibrium \(P_{*}\) which is globally asymptotically stable.
Proof
In this part, we show that the endemic equilibrium \(P_{*}\) is globally asymptotically stable when \(\mathfrak{R}_{0}>1\). The method is based on the graphtheoretical approach and Lyapunov functions by Guo et al. [3, 4] and Li and Shuai [5].
For convenience of notations, define
and
which is a Laplacian matrix whose column sums are zero. It follows from the assumption \(B=(\beta_{kj})_{m\times m}\) is irreducible that the matrix Θ is also irreducible. By Lemma 2.1 in [3], the solution space of the linear system \(\Theta v=\mathbf{0}\) has dimension 1 with a base \((v_{1},\ldots,v_{m})=(c_{11},\ldots,c_{mm})\), where \(c_{kk}>0\) is the cofactor of the kth diagonal entry of Θ. We construct the following Lyapunov function:
where \(\varphi(x)=x1\ln x\geq0\) defined for all \(x>0\). Together with system (5) and equilibrium condition (6) for \(P_{*}\), then we have
To proceed, we set
We first show that \(G_{1}\equiv0\) for all \(I_{1_{n}},I_{2_{n}},\ldots, I_{m_{n}}>0\). It follows from the equality \(\Theta v=\mathbf{0}\) that \(\sum_{j=1}^{m}\bar{\beta}_{jk}v_{j}=\sum_{i=1}^{m}\bar{\beta}_{ki}v_{k}\) which is equivalent to \(\sum_{j=1}^{m}\beta_{jk}S_{j}^{*}I_{k}^{*}v_{j} = \sum_{i=1}^{m}\beta_{ki}S_{k}^{*}I_{i}^{*}v_{k}\), this implies
and thus \(G_{1}=0\). Next we will show \(G_{2}=0\) by applying the idea developed in [3–5], one can also refer to [2, 21] for details. Let \(\mathcal {G}\) denote the directed graph associated with matrix \((\bar{\beta}_{kj})\). \(\mathcal{G}\) has vertices \(1,2,\ldots,m\) with a directed arc \((k,j)\) from k to j if and only if \(\bar{\beta}_{kj}\neq0\). \(E(\mathcal{G})\) denotes the set of all directed arcs of \(\mathcal{G}\). It follows from Lemma 2.1 in [3] that \(v_{k}=c_{kk}\) can be interpreted as a sum of weights of all directed spanning subtrees T of \(\mathcal{G}\) that are rooted at vertex k. Consequently, each term in \(v_{k}\bar{\beta}_{kj}\) is the weight \(w(Q)\) of a unicyclic subgraph Q of \(\mathcal{G}\) obtained from such a tree T by adding a directed arc \((k,j)\) from vertex k to vertex j. Note that the arc \((k,j)\) is a part of the unique cycle CQ of Q, and that the same unicyclic graph Q can be formed when each arc of CQ is added to a corresponding rooted tree T. Therefore, the double sum in \(G_{2}\) can be reorganized as a sum over all unicyclic subgraphs Q containing vertices \(\{1,2,\ldots,m\}\). That is,
where
since \(E(CQ)\) is the set of arcs of a cycle CQ, we have
This implies that \(G_{n,Q}=0\) for each Q, and \(G_{2}\equiv0\) for all \(I_{1_{n}}, I_{2_{n}},\ldots,I_{m_{n}}>0\). Notice that \(\frac{S_{k}^{*}}{S_{k_{n+1}}}+\frac{S_{k_{n+1}}}{S_{k}^{*}}\geq 2\), the equality holds if and only if \(S_{k_{n}}=S_{k}^{*}\), and \(\varphi(x)=x1\ln x\) has global minimum value \(\varphi(1)=0\) defined with all \(x>0\). Hence, we have \(L_{n+1}L_{n}\leq0\). Thus, \(L_{n}\) is a monotone decreasing sequence. Due to \(L_{n}\geq0\), there is a limit \(\lim_{n\rightarrow\infty }L_{n}\geq0\), which implies that \(\lim_{n\rightarrow\infty}(L_{n+1}L_{n})=0\). Furthermore, similar to [2, 21], we can show that the only compact invariant subset of \(\{\lim_{n\rightarrow\infty }(L_{n+1}L_{n})=0\}\) is the singleton \(\{P_{*}\}\), which implies that the endemic equilibrium \(P_{*}\) is globally asymptotically stable. This completes the proof. □
Numerical simulations
In this section, some numerical simulations are carried out to demonstrate our theoretical results. To this end, we just need to simulate (5) for simplicity. We do simulations for \(k=1, 2\). We select \(\tau_{1}=5\), \(\tau_{2}=10\) in the following simulations.
First, we set \(\Lambda_{1}=25\), \(\Lambda_{2}=15\), \(d_{1}^{S}=0.1\), \(d_{1}^{E}=0.25\), \(d_{1}^{I}=0.2\), \(\delta_{1}=0.25\), \(\gamma_{1}=0.5\), \(d_{2}^{S}=0.1\), \(d_{2}^{E}=0.05\), \(d_{2}^{I}=0.15\), \(\delta_{2}=0.15\), \(\gamma_{2}=0.5\), \(\beta_{11}=0.0001\), \(\beta_{12}=0.005\), \(\beta_{21}=0.0025\), \(\beta_{22}=0.0001\). By calculating, we have \(\mathfrak{R}_{0}=0.6391<1\) and \(P_{0}=(250, 0, 0, 150, 0, 0)\). It then follows from Figure 1 that \(P_{0}\) is globally asymptotically stable, which is consistent with Theorem 3.1.
Furthermore, when choosing the following parameter values: \(\Lambda_{1}=100\), \(\Lambda_{2}=20\), \(d_{1}^{S}=0.1\), \(d_{1}^{E}=0.1\), \(d_{1}^{I}=0.2\), \(\delta_{1}=0.5\), \(\gamma_{1}=0.2\), \(d_{2}^{S}=0.2\), \(d_{2}^{E}=0.15\), \(d_{2}^{I}=0.15\), \(\delta_{2}=0.5\), \(\gamma_{2}=0.15\), \(\beta_{11}=0.002\), \(\beta_{12}=0.0015\), \(\beta_{21}=0.0015\), \(\beta _{22}=0.002\), it follows that \(\mathfrak{R}_{0}=4.4704>1\) and the unique endemic equilibrium \(P_{*}=(210.1832, 131.6476, 164.5703, 39.2877, 18.6807, 31.1363)\). It follows from Figure 2 that \(P_{*}\) is globally asymptotically stable, which is consistent with Theorem 3.2.
Conclusions
In this paper, a discrete multigroup epidemic model with time delay has been constructed by applying a nonstandard finite difference (NSFD) scheme to a class of continuous multigroup model. The advantage of the NSFD scheme is that the global properties of the solutions for the corresponding continuous model can be preserved. A crucial observation regarding the advantage of the NSFD scheme is that the discrete model has equilibria which are exactly the same as those of the original continuous model, and the conditions for their stability are identical in case of both the continuous and discrete models. It is shown that the global stability of the equilibria is completely determined by \(\mathfrak{R}_{0}\): if \(\mathfrak{R}_{0}\leq1\), then the diseasefree equilibrium \(P_{0}\) is globally asymptotically stable; if \(\mathfrak{R}_{0}>1\), then the infection equilibrium \(P_{*}\) is globally asymptotically stable.
Our results show that the discretization scheme preserves the positivity and boundedness of the solutions and the global stability of the equilibria for the corresponding continuous model. Applying Mickens’s NSFD scheme to other types of discrete epidemic models is our future work. For example, for a more reasonable model, a more general incidence rate \(\varphi(S)f(I)\) (see [11]) should be taken into consideration, which induces the following system by utilizing the NSFD scheme:
where the functions \(\varphi(S)\) and \(f(I)\) satisfy some certain conditions (see [11]). The investigation for model (8) with a more general incidence rate is much more difficult than this manuscript, and it is under consideration.
References
Lajmanovich, A, Yorke, JA: A deterministic model for gonorrhea in a nonhomogeneous population. Math. Biosci. 28, 221236 (1976)
Chen, H, Sun, JT: Global stability of delay multigroup epidemic models with group mixing and nonlinear incidence rates. Appl. Math. Comput. 218, 43914400 (2011)
Guo, H, Li, MY, Shuai, Z: Global stability of the endemic equilibrium of multigroup SIR epidemic models. Can. Appl. Math. Q. 14, 259284 (2006)
Guo, H, Li, MY, Shuai, Z: A graphtheoretic approach to the method of global Lyapunov functions. Proc. Am. Math. Soc. 136, 27932802 (2008)
Li, MY, Shuai, Z: Globalstability problem for coupled systems of differential equations on networks. J. Differ. Equ. 248, 120 (2010)
Ding, DQ, Ding, XH: Global stability of multigroup vaccination epidemic models with delays. Nonlinear Anal., Real World Appl. 12, 19911997 (2011)
Sun, RY, Shi, JP: Global stability of multigroup epidemic model with group mixing and nonlinear incidence rates. Appl. Math. Comput. 218, 280286 (2011)
Shu, HY, Fan, DJ, Wei, JJ: Global stability of multigroup SEIR epidemic models with distributed delays and nonlinear transmission. Nonlinear Anal., Real World Appl. 13, 15811592 (2012)
Xu, JH, Zhou, YC: Global stability of a multigroup model with vaccination age, distributed delay and random perturbation. Math. Biosci. Eng. 12, 10831106 (2015)
Xu, JH, Zhou, YC: Global stability of a multigroup model with generalized nonlinear incidence and vaccination age. Discrete Contin. Dyn. Syst., Ser. B 21, 977996 (2016)
Zhou, JL, Yang, Y, Zhang, TH: Global stability of a discrete multigroup SIR model with nonlinear incidence rate. Math. Methods Appl. Sci. 40, 53705379 (2017)
De Jong, MCM, Diekmann, O, Heesterbeek, JAP: The computation of \(R_{0}\) for discretetime epidemic models with dynamic heterogeneity. Math. Biosci. 119, 97114 (1994)
Kaitala, V, Heino, M, Getz, WM: Hostparasite dynamics and the evolution of host immunity and parasite fecundity strategies. Bull. Math. Biol. 59, 427450 (1997)
Li, J, Ma, Z, Brauer, F: Global analysis of discretetime SI and SIS epidemic models. Math. Biosci. Eng. 4, 699710 (2007)
Lambert, JD: Numerical Methods for Ordinary Differential Systems: The Initial Value Problem. Wiley, Chichester (2007)
Mickens, RE: Nonstandard Finite Difference Models of Differential Equations. World Scientific, Singapore (1994)
Mickens, RE: Discretizations of nonlinear differential equations using explicit nonstandard methods. J. Comput. Appl. Math. 110, 181185 (1999)
Mickens, RE: Nonstandard finite difference schemes for differential equations. J. Differ. Equ. Appl. 8, 823847 (2002)
Sekiguchi, M: Permanence of a discrete sirs epidemic model with time delays. Appl. Math. Lett. 23, 12801285 (2010)
Sekiguchi, M, Ishiwata, E: Global dynamics of a discretized sirs epidemic model with time delay. J. Math. Anal. Appl. 371, 195202 (2010)
Ding, D, Qin, W, Ding, X: Lyapunov functions and global stability for a discretized multigroup SIR epidemic model. Discrete Contin. Dyn. Syst., Ser. B 20, 19711981 (2015)
Ding, D, Ma, Q, Ding, X: A nonstandard finite difference scheme for an epidemic model with vaccination. J. Differ. Equ. Appl. 19, 179190 (2013)
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, 11631181 (2012)
Acknowledgements
This work was supported by the National Natural Science Foundation of China (# 11701445, #11702214, #11501443).
Author information
Authors and Affiliations
Contributions
The authors read and approved the final manuscript.
Corresponding author
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.
About this article
Cite this article
Xu, J., Geng, Y. A nonstandard finite difference scheme for a multigroup epidemic model with time delay. Adv Differ Equ 2017, 358 (2017). https://doi.org/10.1186/s1366201714158
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201714158
Keywords
 multigroup
 time delay
 NSFD scheme
 globally asymptotically stable