Skip to main content

Theory and Modern Applications

Dynamical analysis of a fractional SIRS model on homogenous networks


In this paper, we propose a fractional SIRS model with homogenous networks. The disease-free equilibrium point \(E_{0}\) is locally and globally asymptotically stable for \(R_{0}<1\) (the disease always disappears), and endemic equilibrium point \(E_{1}\) is uniquely locally and globally asymptotically stable, but \(E_{0}\) is unstable for \(R_{0}>1\ \) (the disease is uniformly persistent). The main results are demonstrated by numerical simulation.

1 Introduction

Spreading of infections has been studied by researchers who used mathematical modeling based on complex networks, which help us to understand the infections, to predict the effect of those infections on our population, to prevent and control most dangerous infectious diseases like HIV/AIDS, dengue fever, and H1N1 [1,2,3], and decide whether they are epidemic or nonepidemic. Complex networks consist of nodes and links that connect the nodes. We can represent each individual of the population, which is divided into three categories (Susceptible “x”, infected “y”, and removed “z”) as nodes, and represent links as social communication. The epidemic spreading process based on homogenous networks is discussed in [4], and we can note that the main factor in homogenous network is the average degree of nodes, which is the average contact between individuals in the population.

In [5] the modified SIRS epidemic model is introduced, and the count in a nonlinear term plays an important role in the calculation of reproductive ratio \(R_{0}\), which means that the connection between individuals helps us to decide whether the disease is epidemic or free in the population. In this paper, we introduce the SIRS model supported by fractional differential equations.

It is commonly known that fractional-order systems are an extension of conventional integer-order systems. However, it should be noted that they possess advantages over the conventional integer-order systems, on which we base our work. Those advantages include having memory and hereditary properties that integer-order systems do not, which are usually implemented by most biological systems. Another advantage is that fractional-order systems have a more accurate description of population models than that of the integer-order ones; they also better indicate relations between prey and predator species. Needless to mention a wide spread of applications of fractional-order derivatives to interdisciplinary fields. When it comes to memory and hereditary properties of materials or processes, it is often well pointed out that fractional-order calculus is best suited to their description. Such properties are all but neglected by the classical integer-order models. Considering many intriguing results found while working on models of the dynamics of population, they were found to be exclusive to integer-order differential equations [6, 7].

Mainly, a great recognition and credit earned by fractional-order differential equations, as of late, has been based on the natural compatibility and better relation to systems with memory, which is found in most biological systems. Not failing to mention their relation to fractals, fractional-order systems are doubtlessly better related to them than integer-order systems, and fractals being quite abundant in biological systems, it is needless to further question the suitability of fractional-order systems to our work. Having recognized the need to use fractional-order systems, many biological phenomena and interdisciplinary fields have been precisely and successfully described through models using fractional-order systems. Due to the scarcity of theories needed to analyze the dynamics of fractional-order systems, studies of stability of fractional-order population models can only be the beginning of a vast and doubtlessly fruitful implementation [6, 7]. This study is also motivated by Zika epidemic [8].

In the rest of the paper, we discuss the effect of fractional differential equations and the role of networks, especially in local and global stability, and we finally support our work by numerical results. Some integral and derivative basics of the fractional order and some preliminary results are mentioned in Sect. 2. In Sect. 3, we give the model. In Sect. 4, equilibria are calculated with studies on local stability. The global stability of equilibria is studied in Sect. 5. In Sect. 6, we use a numerical method (Adams-type predictor–corrector method) to solve our model in order to support the theoretical results. Finally, conclusions are summarized in Sect. 7.

2 Preliminaries

First, we illustrate the definitions of the fractional-order integral, Caputo fractional derivative, and Mittag-Leffler function; see [9].

Definition 2.1

The fractional integral of order \(q\in R^{+}\) of the function \(g(t)\), \(t>0\), is defined by

$$ I^{q}g(t)= \int _{0}^{t}\frac{(t-s)^{q-1}}{\varGamma (q)}g(s)\,ds. $$

Definition 2.2

The Caputo fractional derivative of order \(q>0\) of \(g(t)\), \(t>0\), is defined by

$$ D_{\ast }^{q} g(t)=I^{n-q}D^{n}g(t), $$

where \(D=d/dt\) and \(n-1< q\leq n\), \(n\in \mathbb{N} \).

For properties of fractional derivatives and integrals, see [9].

Definition 2.3

The Mittag-Leffler function of parameter \(q>0\) is defined as

$$ E_{q}(z)=\underset{j=0}{\overset{\infty }{\sum }} \frac{z^{j}}{\varGamma (qj+1)}. $$

Let \(q\in (0,1]\) and consider the system

$$\begin{aligned}& D_{\ast }^{q}y_{1}(t)=g_{1}(y_{1},y_{2},y_{3}), \\& D_{\ast }^{q}y_{2}(t)=g_{2}(y_{1},y_{2},y_{3}), \end{aligned}$$
$$\begin{aligned}& D_{\ast }^{q}y_{3}(t)=g_{3}(y_{1},y_{2},y_{3}), \\& y_{1}(0)=y_{o1},\qquad y_{2}(0)=y_{o2}, \quad \text{and}\quad y_{3}(0)=y_{o3}. \end{aligned}$$

Definition 2.4

The constant \((y_{1}^{\mathrm{eq}},y_{2}^{\mathrm{eq}},y_{3} ^{\mathrm{eq}})\) can only be an equilibrium point of the fractional dynamic model (4) if and only if

$$ g_{i}\bigl(y_{1}^{\mathrm{eq}},y_{2}^{\mathrm{eq}},y_{3}^{\mathrm{eq}} \bigr)=0, \quad i=1,2,3. $$

Theorem 2.1

The equilibrium points of system (4) are locally asymptotically stable (LAS) if all eigenvalues \(r_{i}\) of the Jacobian matrix evaluated at the equilibrium points

B = [ b 11 b 12 b 13 b 21 b 22 b 23 b 31 b 32 b 33 ] , b i j = g i y j | eq , i , j = 1 , 2 , 3 ,


$$ \bigl\vert \arg (r_{i}) \bigr\vert >\frac{q\pi }{2}, \quad i=1,2,3. $$


Refer to [10,11,12,13]. □

Figure 1 shows the condition of the stability of the fractional-order model with order α.

Figure 1
figure 1

Stability region of the fractional-order system

We use the following polynomial to obtain an equation for the eigenvalues of the equilibrium point \((y_{1}^{\mathrm{eq}},y_{2}^{\mathrm{eq}},y_{3} ^{\mathrm{eq}})\):

$$ p(r)=r^{3}+b_{1}r^{2}+b_{2}r+b_{3}=0, $$

and its discriminant \(D(P)\) is given by

D(P)= | 1 b 1 b 2 b 3 0 0 1 b 1 b 2 b 3 3 2 b 1 b 2 0 0 0 3 2 b 1 b 2 0 0 0 3 2 b 1 b 2 | =18 b 1 b 2 b 3 + ( b 1 b 2 ) 2 4 b 3 b 1 3 4 b 2 3 27 b 3 2 .

Proposition 2.1


The equilibrium point \((y_{1}^{\mathrm{eq}},y_{2}^{\mathrm{eq}},y_{3}^{\mathrm{eq}})\) of system (4) is locally asymptotically stable if one of the following conditions is satisfied:

  1. (i)

    \(D(P)>0\), \(b_{1}>0\), \(b_{3}>0\), and \(b_{1}b_{2}-b_{3}>0\).

  2. (ii)

    \(D(P)<0\), \(b_{1}\geq 0\), \(b_{2}\geq 0\), \(b_{3}>0\), and \(q<2/3\).

  3. (iii)

    \(D(P)<0\), \(b_{1}>0\), \(b_{2}>0\), \(b_{1}b_{2}-b_{3}=0\), and for all \(q\in (0,1)\).

  4. (iv)

    The imperative condition is \(b_{3}>0\).

Now, consider the following autonomous system:

$$ D_{\ast }^{q}y(t)=g(y),\quad q\in (0,1). $$

The following lemmas help us to prove the globally asymptotical stability (GAS) of equilibrium points.

Lemma 2.2

(See [14])

Suppose D is a bounded closed set. Every solution of (9) starts from a point in D and remains in D all the time. If \(\exists V(y):D\longrightarrow \mathbb{R} \) with continuous first partial derivatives satisfies following condition:

$$ D_{\ast }^{q}V \vert _{\text{(9)}}\leq 0. $$

Let \(E=\{ D_{\ast }^{q}V \vert _{\text{(9)}}=0,y\in D\}\), and let M be the largest invariant set of E. Then every solution \(y(t)\) originating in D tends to M as \(t\rightarrow \infty \). Particularly, if \(M=\{0\}\), then \(y\rightarrow 0\) as \(t\rightarrow \infty \).

Lemma 2.3

(See [15])

Let \(y(t)\in \mathbb{R} ^{+}\) be a continuous and differentiable function. Then, for any time instant \(t\geq t_{0}\),

$$ D_{\ast }^{q} \biggl[ y(t)-y^{\ast }-y^{\ast }\ln \frac{y(t)}{y^{ \ast }} \biggr] \leq \biggl( 1-\frac{y^{\ast }}{y(t)} \biggr) D_{ \ast }^{q}y(t), \quad y^{\ast }\in \mathbb{R} ^{+},\forall q\in (0,1). $$

3 SIRS epidemic model on homogenous networks with fractional order (FSIRS)

Let \(x(t)\) be the number of susceptible individuals, let \(y(t)\) represent the infected individuals, and let \(z(t)\) represent the recovered or vaccinated individuals; all individuals are considered at time t [5].

The FSIRS model of homogenous networks is given by

$$\begin{aligned}& D_{\ast }^{q}x(t)=\lambda -\frac{\beta \langle k\rangle x y}{x+y+z}+ \gamma z-( \upsilon +\mu )x, \\& D_{\ast }^{q}y(t)=\frac{\beta \langle k\rangle x y}{x+y+z}-(\kappa + \mu +\alpha )y, \\& D_{\ast }^{q}z(t)=\kappa y-(\mu +\gamma )z+\upsilon x, \end{aligned}$$

where \(D_{\ast }^{q}\) is the Caputo derivative, \(0< q\leq 1\), and all the parameters μ, κ, λ, β, υ, γ, and α are positive.

The parameter β represent the infection rate (the rate of susceptible individuals infected due to contact with infected individuals), κ is the healing rate, and healed individuals become susceptible at the rate γ. At the same time, υ represents the inoculation rate (susceptible individuals acquiring immunity by drug). The constant λ is the change rate of susceptibles due to birth and immigration, where μ is the death rate of population independently of disease, and α is the death rate due to disease. Figure 2 describes the transmission of disease.

Figure 2
figure 2

Flowchart of transmission of disease

Given that the network is homogenous, we assume that \(\langle k\rangle \) is the average connection between nodes in the network and that all nodes have unique degrees. Also, the infection has a positive relation with population density [5].

We denote the total population as \(N=x+y+z\).

Theorem 3.1

The closed set \(\varOmega =\{(x,y,z)\in \mathbb{R} _{+}^{3}:x\geq 0,y\geq 0,z\geq 0, x+y+z\leq \frac{\lambda }{\mu }\}\) is a positive invariant set and global attracting set of system (11).


Adding three classes of system (11), we get:

$$\begin{aligned}& D_{\ast }^{q}N=\lambda -\mu N-\alpha y, \\& D_{\ast }^{q}N\leq \lambda -\mu N. \end{aligned}$$

Applying the Laplace transform, we obtain:

$$ N(t)\leq \biggl( -\frac{\lambda }{\mu }+N(0) \biggr) E_{q}\bigl(-\mu t^{q}\bigr)+\frac{ \lambda }{\mu }, $$

where \(E_{q}(-\mu t^{q})\) is the Mittag-Leffer function of parameter q.

Especially, if \(N(0)\leq \frac{\lambda }{\mu }\), then \(N(t)\leq \frac{\lambda }{\mu }\), since \(0\leq E_{q}(-\mu t^{q}) \leq 1\), so the closed set Ω is the positive invariant set of system (11). Furthermore, since \(\lim_{t\to \infty }E_{q}(-\mu t^{q})=0\), it follows that if \(N(0)>\frac{\lambda }{\mu }\), then the solution \(\phi (N(t))\) of system (11) satisfies \(\lim_{t\to \infty }\phi (N(t))=\frac{\lambda }{ \mu }\). Hence the closed set Ω attracts all the solutions in \(\mathbb{R} _{+}^{3}\), so that Ω is the global attracting set of system (11). □

4 Equilibria and their local stability

The equilibrium points of system (11) are \((x_{0},y_{0},z_{0})=(\frac{ \lambda (\gamma +\mu )}{\mu (\gamma +\mu +\upsilon )},0,\frac{\lambda \upsilon }{\mu (\gamma +\mu +\upsilon )})\) and \((x^{\ast },y^{\ast },z ^{\ast })\), where

$$\begin{aligned}& x^{\ast }=\frac{\lambda \rho (\kappa +\gamma +\mu )}{\rho \zeta {}[ \mu R_{0}+\alpha (R_{0}-1)]+\beta \langle k\rangle \mu \kappa ]}, \\& y^{\ast }= \frac{\lambda \rho \zeta (R_{0}-1)}{\rho \zeta {}[ \mu R_{0}+\alpha (R_{0}-1)]+\beta \langle k\rangle \mu \kappa ]}, \\& z^{\ast }=\frac{\kappa y^{\ast }+\upsilon x^{\ast }}{\mu +\gamma }, \\& R_{0}=\frac{\beta \langle k\rangle (\mu +\gamma )}{(\kappa +\alpha + \mu )(\mu +\upsilon +\gamma )}, \\& \rho =(\kappa +\alpha +\mu ), \\& \zeta =( \mu +\upsilon +\gamma ). \end{aligned}$$

Theorem 4.1

  1. (i)

    System (11) has a unique disease-free equilibrium \(E_{0}=(\frac{ \lambda (\gamma +\mu )}{\mu (\gamma +\mu +\upsilon )},0,\frac{\lambda \upsilon }{\mu (\gamma +\mu +\upsilon )})\) under the condition \(R_{0}\leq 1\).

  2. (ii)

    If \(R_{0}>1\), then \(E_{0}\) still exists, and system (11) has a unique endemic equilibrium \(E_{1}=(x^{\ast },y^{\ast },z^{\ast })\).

The local stability of \(E_{0}\) and \(E_{1}\) is studied in the following theorems.

Theorem 4.2

The disease-free equilibrium \(E_{0}\) is locally asymptotically stable if \(R_{0}<1\) and is unstable whenever \(R_{0}>1\).


Using the Jacobian matrix of system (11) at \(E_{0}\), we find that the eigenvalues are:

$$\begin{aligned}& r_{1}=-\mu < 0, \\& r_{2}=-(\mu +\gamma +\upsilon )< 0, \\& r_{3}=-(\kappa +\mu +\alpha ) (1-R_{0})< 0. \end{aligned}$$

Hence \(E_{0}\) is locally asymptotically stable if \(R_{0}<1\). □

Now, to study the local stability of \(E_{1}\), we assume that \(R_{0}>1\). After evaluating the Jacobian matrix of system (11) at \(E_{1}\), the characteristic polynomial is given by

$$ r^{3}+a_{1}r^{2}+a_{2}r+a_{3}=0, $$


$$\begin{aligned}& a_{1}=\gamma +2\mu +\upsilon +pw, \\& a_{2}=(p-\tau )w^{2}+(\gamma p+\kappa \tau +p\mu +\tau \mu )w+\gamma \mu +\mu \upsilon +\mu ^{2}, \\& a_{3}=\bigl[p(\gamma +\mu )-\tau (\mu +\upsilon +\gamma ) \bigr]w^{2}+\bigl[\tau ( \mu +\upsilon +\gamma ) (\mu +\kappa )-\gamma \kappa p\bigr]w, \\& p=\frac{y^{\ast }}{x^{\ast }},\qquad \tau =\frac{y^{\ast }}{N^{\ast }},\qquad N^{ \ast }=x^{\ast }+y^{\ast }+z^{\ast },\qquad (p- \tau )>0, \\& w=(\alpha +\mu +\kappa )=\frac{\beta \langle k\rangle x^{\ast }}{N ^{\ast }}. \end{aligned}$$

It is obvious that \(a_{1},a_{2}>0\) and \(a_{3}=\tau (\mu +\upsilon + \gamma )[\alpha (R_{0}-1)+\mu R_{0}+\frac{\mu \kappa \langle k\rangle \beta }{(\alpha +\mu +\kappa )(\mu +\upsilon +\gamma )}]>0\) as long as \(R_{0}>1\). Further, we have \(a_{1}a_{2}-\) \(a_{3}>0\).

So, the Routh–Hurwitz conditions are satisfied. Let \(D(p)\) denote the discriminant of polynomial (12) given by (8); using Proposition 2.1, we obtain the following result.

Theorem 4.3

Assume that \(R_{0}>1\).

  1. (i)

    If \(D(p)>0\), then \(E_{1}\) is locally asymptotically stable for all \(0< q\leq 1\).

  2. (ii)

    If \(D(p)<0\) and \(q<2/3\), then \(E_{1}\) is locally asymptotically stable.

5 Global stability

The global stability of \(E_{0}\) and \(E_{1}\) are studied by using a Lyapunov function.

Theorem 5.1

If \(R_{0}<1\), then the disease-free equilibrium \(E_{0}\) is globally asymptotically stable.


For system (11), consider the following Lyapunov function:

$$ L_{0}(t)=y. $$

On calculating \(D_{\ast }^{q}L_{0}\), we get:

$$\begin{aligned}& D_{\ast }^{q}L_{0}=y \biggl( \frac{\beta \langle k\rangle x}{N}-\rho \biggr), \\& D_{\ast }^{q}L_{0}\leq \rho y \biggl( \frac{\beta \langle k\rangle ( \gamma +\mu )}{\rho (\gamma +\mu +\upsilon )}-1 \biggr), \\& D_{\ast }^{q}L_{0}\leq \rho y ( R_{0}-1 ) . \end{aligned}$$


$$ D_{\ast }^{q}L_{0}\leq 0\quad \text{if }R_{0}< 1. $$

Hence, if \(R_{0}<1\), then \(D_{\ast }^{q}L_{0}\leq 0\). Furthermore, the largest invariant set of \(\{(x,y,z):D_{\ast }^{q}L_{0}=0\}\) is the singleton \(\{E_{0}\}\). According to Lemma 2.2 and Theorem 4.2, \(E_{0}\) is globally asymptotically stable when \(R_{0}<1\), which implies that the disease will disappear regardless of the initial density of the infected individuals. □

Theorem 5.2

If \(R_{0}>1\), then \(E_{1}\) is globally asymptotically stable.


Define the Lyapunov functional \(L_{1}(t)\) as follows:

$$ L_{1}(t)=x^{\ast }\varPhi \biggl( \frac{x}{x^{\ast }} \biggr) +y^{\ast } \varPhi \biggl( \frac{y}{y^{\ast }} \biggr) +z^{\ast } \varPhi \biggl( \frac{z}{z ^{\ast }} \biggr), $$

where \(\varPhi (y)=y-1-\ln (y)\), \(y>0\). It is obvious that \(\varPhi (y)>0\). □

Calculating \(D_{\ast }^{q}L_{1}\) and using Lemma 2.3, we get:

$$ D_{\ast }^{q}L_{1}\leq \biggl(\frac{x-x^{\ast }}{x} \biggr)D_{\ast }^{q}x+\biggl(\frac{y-y ^{\ast }}{y} \biggr)D_{\ast }^{q}y+\biggl(\frac{z-z^{\ast }}{z} \biggr)D_{\ast }^{q}z, $$

where \(\lambda =\frac{\beta \langle k\rangle x^{\ast }y^{\ast }}{N ^{\ast }}-\gamma z^{\ast }+(\upsilon +\mu )x^{\ast }\). Hence

$$\begin{aligned} D_{\ast }^{q}L_{1} \leq &-(\upsilon +\mu ) \frac{(x-x^{\ast })^{2}}{x}-\frac{\beta \langle k\rangle y^{\ast }}{xN ^{\ast }}\bigl(x-x^{\ast }\bigr)^{2} \\ &{}+ \frac{\beta \langle k\rangle (N-N^{\ast })}{NN ^{\ast }}\bigl(xy^{\ast }-x^{\ast }y\bigr) \\ &{}-\bigl(z-z^{\ast }\bigr) (\mu +\gamma )+\biggl(\frac{z-z^{\ast }}{z} \biggr) (\kappa y+ \upsilon x)+\gamma \bigl(z-z^{\ast }\bigr) \biggl( \frac{x-x^{\ast }}{x}\biggr) \\ \leq &-(\upsilon +\mu )\frac{(x-x^{\ast })^{2}}{x}-\frac{\beta \langle k\rangle y^{\ast }}{xN^{\ast }} \bigl(x-x^{\ast }\bigr)^{2}-\frac{\beta \langle k\rangle xy^{\ast }}{N^{\ast }}\varPhi \biggl( \frac{N^{\ast }}{N} \biggr) \\ &{}-\frac{\beta \langle k\rangle x^{\ast }y}{N}\varPhi \biggl( \frac{N}{N ^{\ast }} \biggr) -(\kappa y+ \upsilon x)\varPhi \biggl( \frac{z^{\ast }}{z} \biggr) -z^{\ast }\biggl(\mu +\gamma \frac{x^{\ast }}{x}\biggr)\varPhi \biggl( \frac{z}{z^{\ast }} \biggr) . \end{aligned}$$

Hence \(D_{\ast }^{q}L_{1}\leq 0\). Furthermore, the largest invariant set of \(\{(x,y,z):D_{\ast }^{q}L_{1}=0\}\) is the singleton \(\{E_{1}\}\). According to Lemma 2.2 and Theorem 4.2, \(E_{1}\) is globally asymptotically stable, which implies that the disease is still at an endemic level, and it does not depend on the initial density of the infected individuals. This result leads us to wonder how we can reduce the basic reproduction number \(R_{0}\) to be less than one.

6 Numerical methods and results

The original problem (11) is equivalent to the following fractional integral equations:

$$\begin{aligned}& x(t)=x(0)+I^{q}\biggl[\lambda -\frac{\beta \langle k\rangle x y}{x+y+z}+ \gamma z-(\upsilon + \mu )x\biggr], \\& y(t)=y(0)+I^{q}\biggl[\frac{\beta \langle k\rangle x y}{x+y+z}-(\kappa + \mu +\alpha )y \biggr], \\& z(t)=z(0)+I^{q}\bigl[\kappa y-(\mu +\gamma )z+\upsilon x\bigr]. \end{aligned}$$

An Adams-type predictor–corrector method [16,17,18] is used for the numerical solution of fractional integral equations.

\(x(t)\), \(y(t)\), and \(z(t)\) are displayed in Figs. 38. In each figure, three different values of \(q=1,0.95,0.90\), as well as the parameters, are considered as in Table 1. In Figs. 35, we set \(\upsilon =0.3\), and the initial conditions are \((450,550,0)\). In this case, the value of \(R_{0}\) is \(R_{0}=0.602236<1\), which means that \(E_{0}=(251.87,0,748.13)\) is globally asymptotically stable, albeit for a large number of infected individuals at the initial time, which means the infection will die out in the population.

Figure 3
figure 3

Dynamic of x non endemic

Figure 4
figure 4

Dynamic of y non endemic

Figure 5
figure 5

Dynamic of z non endemic

Table 1 Parameter values for simulations

In Figs. 68, we set \(\upsilon =0.005\), and the initial conditions are \((800, 200,0)\). In this case, the value of \(R_{0}\) is \(R_{0}=2.27827>1\), which means that \(E_{0}=(952.83,0,47.1698)\) is unstable, and a unique endemic equilibrium point \(E_{1}=(386.518,87.1414,450.528)\) is globally asymptotically stable, albeit for a small number of infected individuals at the initial time, which means that the infection will persist in the population.

Figure 6
figure 6

Dynamic of x endemic

Figure 7
figure 7

Dynamic of y endemic

Figure 8
figure 8

Dynamic of z endemic

Now, we study Hepatitis B virus infection in China with clinal data [5] for the parameter values of system (11) as in Table 2, with the initial conditions \((4.0\times 10^{8},8.56\times 10^{7},6.54\times 10^{8})\).

Table 2 Parameter values for simulations

The approximate solutions \(y(t)\) are displayed in Figs. 911 for \(q=1,0.99,0.98\) and \(\upsilon =0.2707,0.5,0.9\), and we find that \(R_{0}<1\).

Figure 9
figure 9

Dynamic of y non endemic (\(\upsilon =0.2707\))

Figure 10
figure 10

Dynamic of y non endemic (\(\upsilon =0.5\))

Figure 11
figure 11

Dynamic of y non endemic (\(\upsilon =0.9\))

For \(\upsilon =0.2707\), the data show that the estimate of the infected individuals in 2010 is about 120361000 for \(q=1\), 120115900 for \(q=0.99\) and 119871900 for \(q=0.98\), which is close to the real estimate of HBV-infected individuals 120 million in China in 2010 [19]. Over a long period of time, numerical results predict that the ratio of the HBV-infected individuals will decrease to 0.5% passing by different years for \(q=1,0.99,0.98\) as in Table 3.

Table 3 (\(\upsilon =0.2707\))

The level represented is the same level of the HBV-infected population ratio in Northern America [20]. The relation between the vaccinated population and time is shown in Tables 4 and 5 (if the percentage of (υ) of the immunized population changes to \(\upsilon =0.5\) and \(\upsilon =0.9\), then the required time to reduce to 0.5% HBV-infected population will decrease).

Table 4 (\(\upsilon =0.5\))
Table 5 (\(\upsilon =0.9\))

Consequently, we deduce that increasing the percentage (υ) of immunized population plays an important role in controlling the HBV spread. Additionally, in the fractional-order case, the peak of the infected individuals \(y(t)\) is lower, which gives more accurate results resembling real data.

7 Conclusions

In this paper, the epidemic dynamics of fractional SIRS model on homogenous networks is studied.

We show that when \(R_{0}<1\), the disease-free equilibrium point \(E_{0}\) is locally and globally asymptotically stable, namely, the extinction of the disease will be achieved. When \(R_{0}>1\), the endemic equilibrium point \(E_{1}\) is also locally and globally asymptotically stable, meaning that the disease will persist in the population. The theoretical analysis is supported by numerical simulations. Numerical simulations show that the fractional-order case has lower peak of the infection, and the obtained results better resemble real data.

We notice that the fractional mathematical modeling is in many cases a more powerful and accurate approach to epidemiological models, based on the better suitability to fractional order that best corresponds to real data.


  1. Dorogovtsev, S.N., Goltsev, A.V., Mendes, J.F.F.: Critical phenomena in complex networks. Rev. Mod. Phys. 80(4), 1275–1335 (2008)

    Article  Google Scholar 

  2. Xu, D., Xu, X., Yang, C., Gui, W.: Global stability of a variation epidemic spreading model on complex networks. Math. Probl. Eng. 2015, Article ID 365049 (2015)

    MathSciNet  MATH  Google Scholar 

  3. Newman, M.E.J.: The structure and function of complex networks. SIAM Rev. 45(2), 167–256 (2003)

    Article  MathSciNet  Google Scholar 

  4. Kephart, J.O., White, S.R., Chess, D.M.: Computers and epidemiology. IEEE Spectr. 30(5), 20–26 (1993)

    Article  Google Scholar 

  5. Hu, Y., Mina, L., Kuang, Y.: Modeling the dynamics of epidemic spreading on homogenous and heterogeneous networks. Appl. Anal. 94(11), 2308–2330 (2014)

    Article  MathSciNet  Google Scholar 

  6. Li, H., Zhang, L., Hu, C., Jiang, Y., Teng, Z.: Dynamic analysis of a fractional order single-species model with diffusion. Nonlinear Anal., Model. Control 22(3), 303–316 (2017)

    Article  MathSciNet  Google Scholar 

  7. Li, H., Ahmadjan, M., Zhang, L., Teng, Z.: Stability analysis of a fractional-order predator prey model incorporating a constant prey refuge and feedback control. Adv. Differ. Equ. 2018, 325 (2018)

    Article  MathSciNet  Google Scholar 

  8. El-Saka, H.A.A., Ahmed, E.: A fractional order network model for ZIKA. (2016) First posted 18 Feb 2016

  9. Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)

    MATH  Google Scholar 

  10. Ahmed, E., El-Sayed, A.M.A., El-Saka, H.A.A.: On some Routh–Hurwitz conditions for fractional order differential equations and their applications in Lorenz, Rössler, Chua and Chen systems. Phys. Lett. A 358, 1–4 (2006)

    Article  MathSciNet  Google Scholar 

  11. Ahmed, E., El-Sayed, A.M.A., El-Saka, H.A.A.: Equilibrium points, stability and solutions of fractional-order predator–prey and rabies models. J. Math. Anal. Appl. 325, 542–553 (2007)

    Article  MathSciNet  Google Scholar 

  12. El-Saka, H.A., El-Sayed, A.: Fractional Order Equations and Dynamical Systems. Lambert Academic Publishing, Germany (2013). ISBN 978-3-659-40197-8

    Google Scholar 

  13. Matignon, D.: Stability results for fractional differential equations with applications to control processing. In: Computational Eng. in Sys. Appl., Lille France, vol. 2, pp. 963–968 (1996)

    Google Scholar 

  14. Huo, J., Zhao, H., Zhu, L.: The effect of vaccines on backward bifurcation in a fractional order HIV model. Nonlinear Anal., Real World Appl. 26, 289–305 (2015)

    Article  MathSciNet  Google Scholar 

  15. Vargas-De-León, C.: Volterra-type Lyapunov functions for fractional-order epidemic systems. Commun. Nonlinear Sci. Numer. Simul. 24(1), 75–85 (2015)

    Article  MathSciNet  Google Scholar 

  16. Diethelm, K.: The Analysis of Fractional Differential Equations: An Application-Oriented Exposition Using Differential Operators of Caputo Type. Lecture Notes in Mathematics. Springer, Berlin Heidelberg (2010)

    Book  Google Scholar 

  17. El-Mesiry, E.M., El-Sayed, A.M.A., El-Saka, H.A.A.: Numerical methods for multi-term fractional (arbitrary) orders differential equations. Appl. Math. Comput. 160(3), 683–699 (2005)

    MathSciNet  MATH  Google Scholar 

  18. El-Sayed, A.M.A., El-Mesiry, E.M., El-Saka, H.A.A.: Numerical solution for multi-term fractional (arbitrary) orders differential equations. Comput. Appl. Math. 23(1), 33–54 (2004)

    Article  MathSciNet  Google Scholar 

  19. The Jakarta Post: Healthcare stumbling in RI’s hepatitis fight. (2011)

  20. Wikipedia: Hepatitis B. (2013)

Download references


We thank Prof. E. Ahmed (Mathematics Department, Faculty of Science, Mansoura University, Mansoura, Egypt) for his support and comments.


Not applicable.

Author information

Authors and Affiliations



All authors contributed equally to the writing of this paper. They read and approved the final version of the manuscript.

Corresponding author

Correspondence to H. A. A. El-Saka.

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 (, 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

El-Saka, H.A.A., Arafa, A.A.M. & Gouda, M.I. Dynamical analysis of a fractional SIRS model on homogenous networks. Adv Differ Equ 2019, 144 (2019).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: