Skip to main content

On the mathematical model of Rabies by using the fractional Caputo–Fabrizio derivative


Using the fractional Caputo–Fabrizio derivative, we investigate a new version of the mathematical model of Rabies disease. Using fixed point results, we prove the existence of a unique solution. We calculate the equilibrium points and check the stability of solutions. We solve the equation by combining the Laplace transform and Adomian decomposition method. In numerical results, we investigate the effect of coefficients on the number of infected groups. We also examine the effect of derivation orders on the behavior of functions and make a comparison between the results of the integer-order derivative and the Caputo and Caputo–Fabrizio fractional-order derivatives.


The Rabies viral disease, which is characterized by the initial symptoms of fever and tingling at the site of exposure, causes inflammation of the brain in humans and other mammals. Another symptom of this disease is the inability to move parts of the body, harsh movements, uncontrolled excitement, fear of water, confusion, and loss of consciousness. After catching the disease, it usually takes one to three months for the initial symptoms to appear; at the same time, this period can take less than a week or more than a year, It depends on the distance the virus takes during the peripheral nerves to reach the central nervous system; however, this disease can often cause death [1]. Although it is possible to prevent Rabies, it still exists in groups of warm-blooded animals in more than 150 countries, and more than 55,000 people die of the disease each year. Rabies is still one of the most important issues in the field of human health and wildlife management [24]. There are various mathematical models explaining the release of Rabies by ordinary and partial differential equations (see, e.g., [57]). The study of disease dynamics is a dominating theme for many biologists and mathematicians (see, e.g., [812]). It has been studied by many researchers that fractional extensions of mathematical models of integer order represent the natural fact in a very systematic way such as in the approaches of Akbari et al. [13], Aydogan et al. [14, 15], Baleanu et al. [1628], Ozdemir et al. [2933], and Talaee et al. ([34]). Recently, many works related to the fractional Caputo–Fabrizio derivative [35] have been published (see, e.g., [812, 3638], and [7]).

In this paper, we first study the integer-order Rabies model with the Caputo–Fabrizio fractional-order derivative and investigate the behavior of the results obtained from the model. We will also investigate the effect of the coefficients in the model on the number of infected animals.

Now we recall some fundamental notions. The Riemann–Liouville derivative of order η for a function f is given by

$$ D^{\eta }f(t)=\frac{d^{n}}{dt^{n}} \int _{0}^{t} \frac{f(s)}{(t-s)^{1-n+\eta }}\,ds ,\quad n-1 \leq \eta < n. $$

The Caputo fractional derivative of order η for a function f via integrable differentiations is defined by

$$ ^{C}D^{\eta }f(t)=\frac{1}{\varGamma (n-\eta )} \int _{0}^{t} \frac{f^{(n)}(s)}{(t-s)^{\eta -n+1}} \,ds, \quad n=[\eta ]+1. $$

Our second notion is a fractional derivative without singular kernel, introduced by Caputo and Fabrizio [35] in 2015. Let \(b>a\), \(f\in H^{1}(a,b)\), and \(\eta \in (0,1)\). The Caputo–Fabrizio derivative of order η for a function f is defined by

$$ ^{CF}D^{\eta } f(t)=\frac{M(\eta )}{(1-\eta )} \int _{a}^{t} \exp \biggl( \frac{-\eta }{1-\eta }(t-s)\biggr)f'(s)\,ds,\quad t\geq 0, $$

where \(M(\eta )\) is a normalization function such that \(M(0)=M(1)=1\). If \(f \notin H^{1}(a,b)\) and \(0<\eta <1\), then this derivative can be presented for \(f\in L^{1}(-\infty ,b)\) as (see [39])

$$ ^{CF}D^{\eta } f(t)=\frac{\eta M(\eta )}{(1-\eta )} \int _{- \infty }^{b} \bigl(f(t)-f(s)\bigr)\exp \biggl(\frac{-\eta }{1-\eta }(t-s)\biggr)\,ds. $$

Let \(n\geq 1\) and \(\eta \in (0,1)\). The fractional derivative \(^{CF}D^{\eta +n}\) of order \({\eta +n}\) is defined by \(^{CF}D^{\eta +n} f(t):={ ^{CF}D^{\eta }(D^{n} f(t))}\) [14]. The Laplace transform of the Caputo–Fabrizio derivative is defined by \(L[^{CF}D^{(\eta +n)}f(t)](s)= \frac{s^{n+1}L[f(t)]-s^{n}f(0)-s^{n-1}f'(0)-\cdots-f^{(n)}(0)}{s+\eta (1-s)}\), where \(0<\eta \leq 1\) and \(M(\eta )=1\) [39]). The Riemann–Liouville fractional integral of order η with \(\operatorname{Re} (\eta ) > 0\) is defined by (see [14])

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

The Caputo–Fabrizio fractional integral is defined by (see [39])

$$ ^{CF}I^{\eta }f(t)=\frac{2(1-\eta )}{(2-\eta )M(\eta )} f(t)+ \frac{2\eta }{(2-\eta )M(\eta )} \int _{0}^{t} f(s)\,ds,\quad 0< \eta < 1. $$

The Sumudu transform is derived from the classical Fourier integral [4042]. Consider the set \(A=\{F:\exists \lambda , k_{1} , k_{2} \geq 0,|F(t)|<\lambda \exp ( \frac{t}{k_{j}}),\quad t\in (-1)^{j} \times [0,\infty )\}\). The Sumudu transform of a function \(f\in A\) is defined by

$$ F(u)=ST\bigl[f(t);u\bigr]= \frac{1}{u} \int _{0}^{\infty } \exp (-t/u)f(t)\,dt \bigl[u\in (-k_{1},k_{2})\bigr] $$

for all \(t\geq 0\), and the inverse Sumudu transform of \(F(u)\) is denoted by \(f(t)=ST^{-1}[F(u)]\) [41]. The Sumudu transform of the Caputo derivative is given by

$$ ST\bigl[^{c}D^{\eta }_{t} f(t);u \bigr]=u^{-\eta } \Biggl[F(u)- \sum_{i=0}^{m} u^{\eta -i} \bigl[^{c} D^{\eta -i} f(t) \bigr]_{t=0}\Biggr], $$

where \(m-1< \eta \leq m\) [40]. Let F be a function such that its Caputo–Fabrizio fractional derivation exists. The Sumudu transform of F with Caputo–Fabrizio fractional derivative is defined by \(ST(^{CF}_{0}D^{\eta }_{t})(F(t))=\frac{M(\eta )}{1-\eta +\eta u}[ST(F(t))-F(0)]\) [43].

Let \((X,d)\) be a metric space. A map \(g:X\to X\) is called a Picard operator if there exists \(x^{*}\in X\) such that \(\operatorname{Fix}(g)=\{x^{*}\}\) and the sequence \((g^{n}(x_{0}))_{n\in N}\) converges to \(x^{*}\) for all \(x_{0}\in X\) ([44]).

Mathematical model of Rabies with a fractional derivative involving a nonsingular kernel

In 2014, Demirci [5] has investigated a model explaining the spread of Rabies with an integer order. In this section, we consider this model with a new approach of fractional-order derivative. In this SIR model the total population of animals N at time t is divided into three groups, susceptible animals \(S(t)\), infected animals \(I(t)\), and recovered animals \(R(t)\). Rabies is a fatal disease: the animals annually die from this disease, and the only way to control the mortality caused by this disease is vaccination. The desired model is as follows:

$$ \textstyle\begin{cases} \frac{dS}{dt}=bN+z(N-S-I)-d(N)S-aS-bI-cSI, \\ \frac{dI}{dt}=bI+cSI-d(N)I-eI, \\ \frac{dN}{dt}=N(b-d(N))-eI, \end{cases} $$

where the parameters have the following meanings:


the rate of per capita birth,


waning immunity,


the rate function of per capita death, which depends on the population size N,


the rate of vaccination,


the rate of Rabies transmission,


the mortality rate in disease.

The initial conditions are \(S(0)=S_{0}\), \(I(0)=I_{0}\), \(N(0)=N_{0}\). In this model, \(d(N)\) is a continuous increasing function on \(R^{+}\) such that \(d(m)=b\) for some positive constant m.

In model (1), we are going to replace the integer-order derivative with the fractional-order derivative introduced by Caputo and Fabrizio [35] as follows:

$$ \textstyle\begin{cases} ^{CF}_{0} {D}^{\eta }_{t}S(t)=bN(t)+z(N(t)-S(t)-I(t)) -d(N)S(t)-aS(t)-bI(t)-cS(t)I(t), \\ ^{CF}_{0} {D}^{\eta }_{t}I(t)=bI(t)+cS(t)I(t)-d(N)I(t)-eI(t), \\ ^{CF}_{0} {D}^{\eta }_{t}N(t)=N(t)(b-d(N))-eI(t), \end{cases} $$

with initial conditions \(S(0)=S_{0}\), \(I(0)=I_{0}\), and \(N(0)=N_{0}\). In system (2) the right-hand sides of the equations have dimension time−1. When we change the order of the equations to η, the dimension of the left-hand side becomes time\(^{-\eta }\). In order to make the dimensions match, we should change the dimensions of the parameters, and the system we obtain eventually is

$$ \textstyle\begin{cases} ^{CF}_{0} {D}^{\eta }_{t}S(t)=b^{\eta }N(t)+z^{\eta }(N(t)-S(t)-I(t)) -d^{\eta }(N)S(t)-a^{\eta }S(t)-b^{\eta }I(t)-c^{\eta }S(t)I(t), \\ ^{CF}_{0} {D}^{\eta }_{t}I(t)=b^{\eta }I(t)+c^{\eta }S(t)I(t)-d^{\eta }(N)I(t)-e^{ \eta }I(t), \\ ^{CF}_{0} {D}^{\eta }_{t}N(t)=N(t)(b^{\eta }-d^{\eta }(N))-e^{\eta }I(t). \end{cases} $$

For simplicity, we consider \(A=a^{\eta }\), \(B=b^{\eta }\), \(C=c^{\eta }\), \(D(N)=d^{\eta }(N)\), \(E=e^{\eta }\), and \(Z=z^{\eta }\), and we use D instead of \(D(N)\). We also assume that there exists a positive constant M such that \(D(M)=B\). Then

$$ \textstyle\begin{cases} ^{CF}_{0} {D}^{\eta }_{t}S(t)=BN(t)+Z(N(t)-S(t)-I(t)) -DS(t)-AS(t)-BI(t)-CS(t)I(t), \\ ^{CF}_{0} {D}^{\eta }_{t}I(t)=BI(t)+CS(t)I(t)-DI(t)-EI(t), \\ ^{CF}_{0} {D}^{\eta }_{t}N(t)=N(t)(B-D)-EI(t), \end{cases} $$

where \(0<\eta \leq 1\), \(S(0)=S_{0}\), \(I(0)=I_{0}\), and \(N(0)=N_{0}\). In the next section, we show that system (3) has a unique solution.

Equilibrium points of the model and asymptotic stability

We set the right-hand side of the equations to zero to determine the equilibrium points of the fractional-order system (3):

$$ ^{CF}{D}^{\eta }_{t}S(t)=^{CF}{D}^{\eta }_{t}I(t)=^{CF}{D}^{\eta }_{t}N(t)=0. $$

By solving these algebraic equations we obtain the equilibrium points \(E^{0}=(\frac{(B+Z)M}{B+Z+A},0,M)\) and \(E^{*}=(S^{*},I^{*},N^{*})\) such that

$$ S^{*}=\frac{D+E-B}{C},\qquad I^{*}= \frac{(A+D+Z)(B-D)}{C(D+Z)},\qquad N^{*}= \frac{E(A+D+Z)}{C(D+Z)}. $$

Also, by the next-generation method [45] we obtain the basic reproduction number \(R_{0}=\frac{CM(B+Z)}{E(A+B+Z)}\). To investigate the stability of equilibrium point, we first consider the fractional-order linear system

$$ ^{CF}{D}^{\eta }_{t}v(t)=\psi v(t), $$

where \(v(t)\in R^{n}\), \(\psi \in R^{n\times n}\), and \(0<\eta <1\).

Definition 3.1

[46] For system (4) with Caputo–Fabrizio fractional derivative, the characteristic equation is given by

$$ \det \bigl(\lambda \bigl(I-(1-\eta )\psi \bigr)-\eta \psi \bigr)=0. $$

The Jacobian matrix associated with system (3) is

$$ J= \begin{bmatrix} -(Z+D+A+CI)& -(Z+B+CS)& B+Z \\ CI & B+CS-D-E& 0 \\ 0& -E& B-D \end{bmatrix}, $$

and thus the characteristic equation of system (3) is

$$ \det \bigl(\lambda \bigl(I-(1-\eta )J\bigr)-\eta J\bigr)=0. $$

Since \(E^{0}=(\frac{(B+Z)M}{B+Z+A},0,M)\), we have \(N=M\), so that \(D(N)=D(M)=B\). The Jacobian matrix associated with system (3) in \(E^{0}\) is

$$ J\bigl(E^{0}\bigr)= \begin{bmatrix} -(Z+B+A)& -Z-B-\frac{CM(B+Z)}{A+B+Z}& B+Z \\ 0 & -E+\frac{CM(B+Z)}{A+B+Z}& 0 \\ 0& -E& 0 \end{bmatrix}. $$

and thus the characteristic equation is

$$\begin{aligned}& \lambda \bigl[\lambda \bigl(1+(1-\eta ) (A+B+Z)\bigr)+\eta (A+B+Z)\bigr] \biggl[ \lambda \biggl(1-(1- \eta ) \biggl(-E+\frac{CM(B+Z)}{A+B+Z}\biggr)\biggr) \\& \quad {}-\eta \biggl(-E+\frac{CM(B+Z)}{A+B+Z}\biggr)\biggr]=0. \end{aligned}$$

The roots of the latter are as follows:

$$ \lambda _{1}=0,\qquad \lambda _{2}= \frac{-\eta (A+B+Z)}{1+(1-\eta )(A+B+Z)},\qquad \lambda _{3}= \frac{\eta (\frac{-E(A+B+Z)+CM(B+Z)}{A+B+Z})}{1-(1-\eta )(\frac{-E(A+B+Z)+CM(B+Z)}{A+B+Z})}. $$

Theorem 3.1

If\(R_{0}<1\), then system (3) is stable at\(E^{0}\).


Since A, B, and C are positive and \(\eta \in (0,1)\), we easily see that \(\lambda _{2}<0\). By the assumption we have \(R_{0}=\frac{CM(B+Z)}{E(A+B+Z)}<1\). Hence \(CM(B+Z)-E(A+B+Z)<0\), and so \(\eta (\frac{-E(A+B+Z)+CM(B+Z)}{A+B+Z})<0\) and \(1-(1-\eta )(\frac{-E(A+B+Z)+CM(B+Z)}{A+B+Z})>0\). This implies that \(\lambda _{3}<0\). Thus system (3) is stable at \(E^{0}\). □

Existence and uniqueness

In this section, we prove that the system has a unique solution. For this purpose, we write system (3) as follows:

$$ \textstyle\begin{cases} ^{CF}_{0} {D}^{\eta }_{t} S(t)= G_{1}(t,S(t)), \\ ^{CF}_{0} {D}^{\eta }_{t} I(t)=G_{2}(t,I(t)), \\ ^{CF}_{0} {D}^{\eta }_{t} N(t)=G_{3}(t,N(t)). \end{cases} $$

Using the integral operator introduced by Losada and Nieto [39] on both sides of the equations in the system, we obtain

$$ \textstyle\begin{cases} S(t)-S(0) =\frac{2(1-\eta )}{(2-\eta )M(\eta )}G_{1}(t,S(t)) + \frac{2\eta }{(2-\eta )M(\eta )} \int _{0}^{t} G_{1}( \eta ,S)\,d\eta , \\ I(t)-I(0) =\frac{2(1-\eta )}{(2-\eta )M(\eta )}G_{2}(t,I(t)) + \frac{2\eta }{(2-\eta )M(\eta )} \int _{0}^{t} G_{2}( \eta ,I)\,d\eta , \\ N(t)-N(0) =\frac{2(1-\eta )}{(2-\eta )M(\eta )}G_{3}(t,N(t)) + \frac{2\eta }{(2-\eta )M(\eta )} \int _{0}^{t} G_{3}( \eta ,N)\,d\eta . \end{cases} $$

First, we show that the kernels \(G_{1}\), \(G_{2}\), \(G_{3}\) satisfy the Lipschitz condition and are contractions.

Theorem 4.1

The kernel \(G_{1}\) satisfies the Lipschitz condition and is a contraction if

$$ 0\leq (-Z-D-A-Cm_{1})< 1. $$


For S and \(S_{1}\), we have

$$\begin{aligned}& \bigl\Vert G_{1}(t,S)-G_{1}(t,S_{1}) \bigr\Vert \\& \quad = \bigl\Vert -Z\bigl(S(t)-S_{1}(t)\bigr)-D\bigl(S(t)-S_{1}(t) \bigr)-A\bigl(S(t)-S_{1}(t)\bigr)-CI(t) \bigl(S(t)-S_{1}(t) \bigr) \bigr\Vert \\& \quad \leq \bigl(-Z-D-A-C \bigl\Vert I(t) \bigr\Vert \bigr) \bigl\Vert S(t)-S_{1}(t) \bigr\Vert \leq b_{1} \bigl\Vert S(t)-S_{1}(t) \bigr\Vert . \end{aligned}$$

Let \(b_{1}=-Z-D-A-C\|I(t)\| \), where I is a bounded function: \(\| I(t)\|\leq m_{1}\). So

$$ \bigl\Vert G_{1}(t,S)-G_{1}(t,S_{1}) \bigr\Vert \leq b_{1} \bigl\Vert S(t)-S_{1}(t) \bigr\Vert . $$

So \(G_{1}\) satisfies the Lipschitz condition, and if \(0\leq (-Z-D-A-C\|I(t)\|) < 1 \), then \(G_{1}\) is a contraction. □

Similarly, \(G_{2}\) and \(G_{3}\) satisfy the Lipschitz conditions:

$$ \textstyle\begin{cases} \Vert G_{2}(t,I)-G_{2}(t,I_{1}) \Vert \leq b_{2} \Vert (I(t)-I_{1}(t)) \Vert , \\ \Vert G_{3}(t,N)-G_{3}(t,N_{1}) \Vert \leq b_{3} \Vert (N(t)-N_{1}(t)) \Vert , \end{cases} $$

where \(b_{2}=B-D-E+C\|S(t)\|\) and \(b_{3}=B-D\), and S is a bounded function (\(\| S(t)\| \leq m_{2}\)). If \(0\leq (B-D-E+C\|S\|) <1\) and \(0\leq B-D <1\), then \(G_{2}\) and \(G_{3}\) are contractions.

According to system (7), consider the following recursive forms:

$$\begin{aligned} H_{1n}(t) =&S_{n}(t)-S_{n-1}(t)\\ =& \frac{2(1-\eta )}{(2-\eta )M(\eta )}\bigl(G_{1}(t,S_{n-1})-G_{1}(t,S_{n-2}) \bigr)\\ &{}+\frac{2\eta }{(2-\eta )M(\eta )} \int _{0}^{t} \bigl(G_{1}( \eta ,S_{n-1})-G_{1}(\eta ,S_{n-2})\bigr)\,d\eta , \\ H_{2n}(t) =&I_{n}(t)-I_{n-1}(t)\\ =& \frac{2(1-\eta )}{(2-\eta )M(\eta )}\bigl(G_{2}(t,I_{n-1})-G_{2}(t,I_{n-2}) \bigr)\\ &{} +\frac{2\eta }{(2-\eta )M(\eta )} \int _{0}^{t} \bigl(G_{2}( \eta ,I_{n-1})-G_{2}(\eta ,I_{n-2})\bigr)\,d\eta , \\ H_{3n}(t) =&N_{n}(t)-N_{n-1}(t)\\ =& \frac{2(1-\eta )}{(2-\eta )M(\eta )}\bigl(G_{3}(t,N_{n-1})-G_{3}(t,N_{n-2}) \bigr)\\ &{} +\frac{2\eta }{(2-\eta )M(\eta )} \int _{0}^{t} \bigl(G_{3}( \eta ,N_{n-1})-G_{3}(\eta ,N_{n-2})\bigr)\,d\eta \end{aligned}$$

with initial conditions \(S_{0}(t)=S(0)\), \(I_{0}(t)=I(0)\), and \(N_{0}(t)=N(0)\). We take the norm of the first equation in the system:

$$\begin{aligned} \bigl\Vert H_{1n}(t) \bigr\Vert =& \bigl\Vert S_{n}(t)-S_{n-1}(t) \bigr\Vert \\ =& \biggl\Vert \frac{2(1-\eta )}{(2-\eta )M(\eta )}\bigl(G_{1}(t,S_{n-1})-G_{1}(t,S_{n-2}) \bigr) \\ &{}+\frac{2\eta }{(2-\eta )M(\eta )} \int _{0}^{t} \bigl(G_{1}( \eta ,S_{n-1})-G_{1}(\eta ,S_{n-2})\bigr)\,d\eta \biggr\Vert \\ \leq& \frac{2(1-\eta )}{(2-\eta )M(\eta )} \bigl\Vert G_{1}(t,S_{n-1})-G_{1}(t,S_{n-2}) \bigr\Vert \\ &{}+\frac{2\eta }{(2-\eta )M(\eta )} \biggl\Vert \int _{0}^{t} \bigl(G_{1}( \eta ,S_{n-1})-G_{1}(\eta ,S_{n-2})\bigr)\,d\eta \biggr\Vert . \end{aligned}$$

With Lipschitz condition (8), we have

$$ \bigl\Vert H_{1n}(t) \bigr\Vert \leq \frac{2(1-\eta )}{(2-\eta )M(\eta )} b_{1} \bigl\Vert H_{1(n-1)}(t) \bigr\Vert + \frac{2\eta }{(2-\eta )M(\eta )}b_{1} \int _{0}^{t} \bigl\Vert H_{1(n-1)}(\eta ) \bigr\Vert \,d\eta . $$

Similarly, we obtain

$$\begin{aligned}& \begin{gathered} \bigl\Vert H_{2n}(t) \bigr\Vert \leq \frac{2(1-\eta )}{(2-\eta )M(\eta )} b_{2} \bigl\Vert H_{2(n-1)}(t) \bigr\Vert + \frac{2\eta }{(2-\eta )M(\eta )}b_{2} \int _{0}^{t} \bigl\Vert H_{2(n-1)}(\eta ) \bigr\Vert \,d\eta , \\ \bigl\Vert H_{3n}(t) \bigr\Vert \leq \frac{2(1-\eta )}{(2-\eta )M(\eta )} b_{3} \bigl\Vert H_{1(n-1)}(t) \bigr\Vert + \frac{2\eta }{(2-\eta )M(\eta )}b_{3} \int _{0}^{t} \bigl\Vert H_{3(n-1)}(\eta ) \bigr\Vert \,d\eta . \end{gathered} \end{aligned}$$

Then we can write that

$$ S_{n}(t)=\sum_{i=1}^{n}H_{1i}(t), I_{n}(t)=\sum_{i=1}^{n}H_{2i}(t), N_{n}(t)= \sum_{i=1}^{n}H_{3i}(t). $$

To prove the existence of a solution, we state the following theorem.

Theorem 4.2

The Rabies Caputo–Fabrizio fractional model (3) has a solution if there exists\(t_{1}\)such that

$$ \frac{2(1-\eta )}{(2-\eta )M(\eta )} b_{i}+ \frac{2\eta t_{1}}{(2-\eta )M(\eta )}b_{i}< 1. $$


From recursive technique, by Eqs. (9) and (10) we conclude that

$$\begin{aligned}& \bigl\Vert H_{1n}(t) \bigr\Vert \leq \bigl\Vert S_{n}(0) \bigr\Vert \biggl[ \frac{2(1-\eta )}{(2-\eta )M(\eta )} b_{1}+ \frac{2\eta t_{1}}{(2-\eta )M(\eta )}b_{1}t\biggr]^{n}, \\& \bigl\Vert H_{2n}(t) \bigr\Vert \leq \bigl\Vert I_{n}(0) \bigr\Vert \biggl[ \frac{2(1-\eta )}{(2-\eta )M(\eta )} b_{2}+ \frac{2\eta t_{1}}{(2-\eta )M(\eta )}b_{2}t\biggr]^{n}, \\& \bigl\Vert H_{3n}(t) \bigr\Vert \leq \bigl\Vert N_{n}(0) \bigr\Vert \biggl[ \frac{2(1-\eta )}{(2-\eta )M(\eta )} b_{3}+ \frac{2\eta t_{1}}{(2-\eta )M(\eta )}b_{3}t\biggr]^{n}. \end{aligned}$$

Then the system has a solution, and also it is continuous. Now we show that the above functions give a solution for model (3). Let

$$\begin{aligned}& S(t)-S(0)=S_{n}(t)-\mathrm{B}_{1n}(t), \\& I(t)-I(0)=I_{n}(t)-\mathrm{B}_{2n}(t), \\& N(t)-N(0)=N_{n}(t)-\mathrm{B}_{3n}(t). \end{aligned}$$


$$\begin{aligned} \bigl\Vert \mathrm{B}_{1n}(t) \bigr\Vert =& \biggl\Vert \frac{2(1-\eta )}{(2-\eta )M(\eta )}\bigl(G_{1}(t,S)-G_{1}(t,S_{n-1}) \bigr) \\ &{}+\frac{2\eta }{(2-\eta )M(\eta )} \int _{0}^{t} \bigl(G_{1}( \eta ,S)-G_{1}(\eta ,S_{n-1})\bigr)\,d\eta \biggr\Vert \\ \leq& \frac{2(1-\eta )}{(2-\eta )M(\eta )} \bigl\Vert G_{1}(t,S)-G_{1}(t,S_{n-1}) \bigr\Vert \\ &{}+\frac{2\eta }{(2-\eta )M(\eta )} \int _{0}^{t} \bigl\Vert G_{1}( \eta ,S)-G_{1}(\eta ,S_{n-1}) \bigr\Vert \,d\eta \\ \leq& \frac{2(1-\eta )}{(2-\eta )M(\eta )}b_{1} \Vert S-S_{n-1} \Vert + \frac{2\eta }{(2-\eta )M(\eta )} b_{1} \Vert S-S_{n-1} \Vert t. \end{aligned}$$

By repeating the method we obtain

$$ \bigl\Vert \mathrm{B}_{1n}(t) \bigr\Vert \leq \biggl[ \frac{2(1-\eta )}{(2-\eta )M(\eta )}+ \frac{2\eta }{(2-\eta )M(\eta )} t\biggr]^{n+1} b_{1}^{n+1}h. $$

At \(t_{1}\), we get

$$ \bigl\Vert \mathrm{B}_{1n}(t) \bigr\Vert \leq \biggl[ \frac{2(1-\eta )}{(2-\eta )M(\eta )}+ \frac{2\eta }{(2-\eta )M(\eta )} t_{1} \biggr]^{n+1} b_{1}^{n+1}h. $$

Taking the limit as n tends to ∞, we obtain \(\| \mathrm{B}_{1n}(t)\|\rightarrow 0\). Similarly, we can show that \(\| \mathrm{B}_{2n}(t)\|\rightarrow 0\) and \(\| \mathrm{B}_{3n}(t)\|\rightarrow 0\), and the proof is complete. □

To show the uniqueness of a solution, suppose that the system has another solution \(S_{1}(t)\), \(I_{1}(t)\), and \(N_{1}(t)\). Then we have

$$\begin{aligned} S(t)-S_{1}(t) =&\frac{2(1-\eta )}{(2-\eta )M(\eta )} \bigl(G_{1}(t,S)-G_{1}(t,S_{1}) \bigr) \\ &{}+\frac{2\eta }{(2-\eta )M(\eta )} \int _{0}^{t} \bigl(G_{1}( \eta ,S)-G_{1}(\eta ,S_{1})\bigr)\,d\eta . \end{aligned}$$

Taking the norm, we have

$$\begin{aligned}& \begin{aligned} \bigl\Vert S(t)-S_{1}(t) \bigr\Vert \le {}&\frac{2(1-\eta )}{(2-\eta )M(\eta )} \bigl\Vert G_{1}(t,S)-G_{1}(t,S_{1}) \bigr\Vert \\ &{}+\frac{2\eta }{(2-\eta )M(\eta )} \int _{0}^{t} \bigl\Vert G_{1}( \eta ,S)-G_{1}(\eta ,S_{1}) \bigr\Vert \,d\eta . \end{aligned} \end{aligned}$$

From Lipschitz condition (8) it follows that

$$ \bigl\Vert S(t)-S_{1}(t) \bigr\Vert \leq \frac{2(1-\eta )}{(2-\eta )M(\eta )}b_{1} \bigl\Vert S(t)-S_{1}(t) \bigr\Vert +\frac{2\eta }{(2-\eta )M(\eta )}b_{1} t \bigl\Vert S(t)-S_{1}(t) \bigr\Vert . $$


$$ \bigl\Vert S(t)-S_{1}(t) \bigr\Vert \biggl(1- \frac{2(1-\eta )}{(2-\eta )M(\eta )}b_{1}- \frac{2\eta }{(2-\eta )M(\eta )}b_{1}t \biggr) \leq 0. $$

Theorem 4.3

The solution of the Rabies model is unique if

$$ 1-\frac{2(1-\eta )}{(2-\eta )M(\eta )}b_{1}- \frac{2\eta }{(2-\eta )M(\eta )}b_{1}t > 0. $$


Suppose that condition (11) holds. Then \(\|S(t)-S_{1}(t)\|=0\), and so \(S(t)=S_{1}(t)\). Similarly, we can show the same equality for I and N. □

Solution of equations by Laplace Adomian decomposition method

In this section, we solve the fractional-order model of Rabies by the Laplace Adomian decomposition method. Applying the Laplace transform to both sides of system (3), we have

$$ \textstyle\begin{cases} L\{ ^{CF}_{0} {D}^{\eta }_{t}S(t)\}=L\{BN(t)+Z(N(t)-S(t)-I(t))-DS(t) -AS(t)-BI(t)-CS(t)I(t)\}, \\ L\{ ^{CF}_{0} {D}^{\eta }_{t}I(t)\}=L\{BI(t)+CS(t)I(t)-DI(t)-EI(t)\}, \\ L\{ ^{CF}_{0} {D}^{\eta }_{t}N(t)\}=L\{N(t)(B-D)-EI(t)\}, \end{cases} $$

and so

$$ \textstyle\begin{cases} \frac{sL(S)-S(0)}{s+\eta (1-s)}=L[BN(t)+Z(N(t)-S(t)-I(t))-DS(t) -AS(t)-BI(t)-CS(t)I(t)], \\ \frac{sL(I)-I(0)}{s+\eta (1-s)}=L[BI(t)+CS(t)I(t)-DI(t)-EI(t)], \\ \frac{sL(N)-N(0)}{s+\eta (1-s)}=L[N(t)(B-D)-EI(t)]. \end{cases} $$

Using the initial conditions and taking the inverse Laplace transform of these equations, we obtain

$$ \textstyle\begin{cases} S(t)=S(0)+L^{-1}[\frac{s+\eta (1-s)}{s}L\{BN(t)+Z(N(t)-S(t) -I(t))\\ \hphantom{S(t)=}{}-DS(t)-AS(t)-BI(t) -CS(t)I(t)\}], \\ I(t)=I(0)+L^{-1}[\frac{s+\eta (1-s)}{s}L\{BI(t)+CS(t)I(t)-DI(t)-EI(t) \}], \\ N(t)=N(0)+L^{-1}[\frac{s+\eta (1-s)}{s}L\{N(t)(B-D)-EI(t)\}]. \end{cases} $$

Suppose that the solutions S, I, N can be written in the form of infinite series

$$ S(t)=\sum_{n=0}^{\infty }S_{n}(t),\qquad I(t)=\sum_{n=0}^{\infty }I_{n}(t),\qquad N(t)= \sum_{n=0}^{\infty }N_{n}(t) $$

and that the nonlinear term SI involved in the model can be decomposed by Adomian polynomials as

$$ S(t)I(t)=\sum_{n=0}^{\infty }P_{n}(t). $$

Recall that the Adomian polynomials \(P_{n}\) are defined as

$$ P_{n}(t)=\frac{1}{\varGamma (n+1)}\,\frac{d^{n}}{d\lambda ^{n}} \Biggl[\sum_{k=0}^{n} \lambda ^{k} S_{k}(t) \sum_{k=0}^{n} \lambda ^{k} I_{k}(t)\Biggr]\Biggm| _{ \lambda =0}. $$

The first three polynomials are given by

$$ \textstyle\begin{cases} P_{0}(t)=S_{0}(t)I_{0}(t), \\ P_{1}(t)=S_{0}(t)I_{1}(t)+S_{1}(t)I_{0}(t), \\ P_{2}(t)=2S_{0}(t)I_{2}(t)+2S_{1}(t)I_{1}(t)+2S_{2}(t)I_{0}(t). \end{cases} $$

Using (13), (14), and (15) in model (12), we get

$$\begin{aligned}& \begin{aligned} L\Biggl\{ \sum_{n=0}^{\infty }S_{n}(t) \Biggr\} ={}&\frac{S(0)}{s}+\Biggl[ \frac{s+\eta (1-s)}{s}L\Biggl\{ B\sum _{n=0}^{\infty }N_{n}(t) \\ &{}+Z\Biggl(\sum_{n=0}^{\infty }N_{n}(t)- \sum_{n=0}^{\infty }S_{n}(t)-\sum _{n=0}^{ \infty }I_{n}(t)\Biggr) \\ &{}-(D+A)\sum_{n=0}^{\infty }S_{n}(t)-B \sum_{n=0}^{\infty }I_{n}(t)-C \sum_{n=0}^{\infty }P_{n}(t)\Biggr\} \Biggr], \end{aligned} \\& L\Biggl\{ \sum_{n=0}^{\infty }I_{n}(t) \Biggr\} =\frac{I(0)}{s}+\Biggl[ \frac{s+\eta (1-s)}{s}L\Biggl\{ B\sum _{n=0}^{\infty }I_{n}(t)+C\sum _{n=0}^{ \infty }P_{n}(t)-(D+E)\sum _{n=0}^{\infty }I_{n}(t)\Biggr\} \Biggr], \\& L\Biggl\{ \sum_{n=0}^{\infty }N_{n}(t) \Biggr\} =\frac{N(0)}{s}+\Biggl[ \frac{s+\eta (1-s)}{s}L\Biggl\{ (B-D)\sum _{n=0}^{\infty }N_{n}(t)-E\sum _{n=0}^{ \infty }I_{n}(t)\Biggr\} \Biggr]. \end{aligned}$$

By matching the two sides of equations we obtain

$$\begin{aligned}& \textstyle\begin{cases} L(S_{0})=\frac{S_{0}}{s}, \\ L(S_{1})=\frac{s+\eta (1-s)}{s} [BL\{N_{0}\}+Z(L\{N_{0}\}-L\{S_{0}\}-L \{I_{0}\}) \\ \hphantom{L(S_{1})=}{}-(D+A)L\{S_{0}\}-BL\{I_{0}\}-CL\{P_{0}\}], \\ L(S_{2})=\frac{s+\eta (1-s)}{s}[BL\{N_{1}\}+Z(L\{N_{1}\}-L\{S_{1}\}-L \{I_{1}\}) \\ \hphantom{L(S_{2})=}{}-(D+A)L\{S_{1}\}-BL\{I_{1}\}-CL\{P_{1}\}], \\ \vdots \\ L(S_{n+1})=\frac{s+\eta (1-s)}{s}[BL\{N_{n}\}+Z(L\{N_{n}\}-L\{S_{n}\}-L \{I_{n}\}) \\ \hphantom{L(S_{n+1})=}{}-(D+A)L\{S_{n}\}-BL\{I_{n}\}-CL\{P_{n}\}]; \end{cases}\displaystyle \\& \textstyle\begin{cases} L(I_{0})=\frac{I_{0}}{s}, \\ L(I_{1})=\frac{s+\eta (1-s)}{s}[BL\{I_{0}\}+CL\{P_{0}\}-DL\{I_{0}\}-EL \{I_{0}\}], \\ L(I_{2})=\frac{s+\eta (1-s)}{s}[BL\{I_{1}\}+CL\{P_{1}\}-DL\{I_{1}\}-EL \{I_{1}\}], \\ \vdots \\ L(I_{n+1})=\frac{s+\eta (1-s)}{s}[BL\{I_{n}\}+CL\{P_{n}\}-DL\{I_{n}\}-EL \{I_{n}\}]; \end{cases}\displaystyle \\& \textstyle\begin{cases} L(N_{0})=\frac{N_{0}}{s}, \\ L(N_{1})=\frac{s+\eta (1-s)}{s}[(B-D)L\{N_{0}\}-EL\{I_{0}\}], \\ L(N_{2})=\frac{s+\eta (1-s)}{s}[(B-D)L\{N_{1}\}-EL\{I_{1}\}], \\ \vdots \\ L(N_{n+1})=\frac{s+\eta (1-s)}{s}[(B-D)L\{N_{n}\}-EL\{I_{n}\}]. \end{cases}\displaystyle \end{aligned}$$

Taking the Laplace inverse on both sides of the previous equations, we have

$$ \textstyle\begin{cases} S_{0}=S_{0},\qquad I_{0}=I_{0},\qquad N_{0}=N_{0}, \\ S_{1}=[BN_{0}+Z(N_{0}-I_{0}-S_{0})-DS_{0}-AS_{0}-BI_{0}-CI_{0}S_{0}](1+ \eta (t-1)), \\ I_{1}=[BI_{0}+CI_{0}S_{0}-DI_{0}-EI_{0}](1+\eta (t-1)), \\ N_{1}=[(B-D)N_{0}-EI_{0}](1+\eta (t-1)), S_{2}=[(B+Z)((B-D)N_{0}-EI_{0}) \\ \hphantom{N_{1}=}{}-(Z+D+A+CI_{0})((B+Z)N_{0}-(Z+D+A)S_{0}+(-Z-B-CS_{0})I_{0}) \\ \hphantom{N_{1}=}{}+(-Z-B-CS_{0})(B+CS_{0}-D-E)I_{0}](\frac{1}{2}\eta ^{2}t^{2}-2t\eta ^{2}+2 \eta t+(\eta -1)^{2}), \\ I_{2}=[(B-D-E+CS_{0})^{2}I_{0}+CI_{0}((B+Z)N_{0} \\ \hphantom{I_{2}=}{}-(Z+D+A)S_{0}+(Z-B-CS_{0})I_{0})](\frac{1}{2}\eta ^{2}t^{2} -2t\eta ^{2}+2 \eta t+(\eta -1)^{2}), \\ N_{2}=[(B-D)^{2}N_{0}-EI_{0}(2B-2D+CS_{0}-E)](\frac{1}{2}\eta ^{2}t^{2}-2t \eta ^{2} +2\eta t+(\eta -1)^{2}). \end{cases} $$

Similarly, we can obtain the remaining terms. Finally, we get the solution in the form of infinite series given by

$$ S(t)=\sum_{n=0}^{\infty }S_{n},\qquad I(t)=\sum_{n=0}^{\infty }I_{n},\qquad N(t)= \sum_{n=0}^{\infty }N_{n}. $$

Convergence analysis

The series obtained from the Adomian method converge rapidly and uniformly to the exact solution of the system. For this purpose, we use the classical method described in [38]. The series of solutions obtained by the Adomian decomposition method (16) can be described as follows (see [47]):

$$ u_{n}=Tu_{n-1} ,\qquad u_{n-1}=\sum _{i=1}^{n} u_{i},\quad n=1,2,3,\dots . $$

We state the convergence conditions of \(\{u_{n}\}\) in the following theorem [38, 48, 49].

Theorem 5.1

LetΩbe a Banach space, and let\(T:\varOmega \to \varOmega \)be a contraction map with contractive constant\(0< h<1\), ThenThas a unique pointusuch that\(T(u)=u\), where\(u=(S,I,N)\). Let\(u_{0}=u_{0}\in F_{r}(u)\), where\(F_{r}(u)=\{u^{\prime } \in \varOmega :\| u^{\prime }-u\|< r\}\). Then we have\(u_{n}\in F_{r}(u)\)for allnand\(u_{n}\to u\).


We use mathematical induction. For \(n=1\), we have

$$ \Vert u_{0}-u \Vert = \bigl\Vert T(u_{0})-T(u) \bigr\Vert \leq h \Vert u_{0}-x \Vert . $$

If the statement is true for \(n-1\), then \(\| u_{n-1}-u\|\leq h^{n-1}\| u_{0}-u\|\). So

$$ \Vert u_{n}-u \Vert = \bigl\Vert T(u_{n-1})-T(u) \bigr\Vert \leq h \Vert u_{n-1}-u \Vert \leq h^{n} \Vert u_{0}-u \Vert . $$

Also, \(u_{0}\in F_{r}(u)\), and consequently \(\| u_{0}-u\|< r\), so we get \(\| u_{n}-u\|\leq h^{n}\| u_{0}-u\|\leq h^{n}r< r\). This implies that \(u_{n}\in F_{r}(u)\). Furthermore, since \(\| u_{n}-u\|\leq h^{n}\| u_{0}-u\|\) and \(\lim_{n\rightarrow \infty }h^{n}=0\), we have \(\lim_{n\rightarrow \infty }\| u_{n}-u\|=0\), and then \(\lim_{n\rightarrow \infty }u_{n}=u\), and the proof is complete. □

Stability of solution

In this section, we first introduce a special solution to the Rabies model by using the Sumudu transform and then prove the stability of the method by a fixed point theorem.

Special solution by using Sumudu transform

Here we provide a special solution to the Rabies model. Applying the Sumudu transform to system (3), we get

$$ \textstyle\begin{cases} ST( ^{CF}_{0}{D}^{\eta }_{t} S(t))=ST[BN(t)+Z(N(t)-S(t) \\ \hphantom{ST( ^{CF}_{0}{D}^{\eta }_{t} S(t))=}{}-I(t))-DS(t)-AS(t)-BI(t)-CS(t)I(t)], \\ ST(^{CF}_{0}{D}^{\eta }_{t} I(t))=ST[BI(t)+CS(t)I(t)-DI(t)-EI(t)], \\ ST(^{CF}_{0}{D}^{\eta }_{t} N(t))=ST[N(t)(B-D)-EI(t)]. \end{cases} $$

By the definition of the Sumudu transform of CF-derivative we obtain

$$ \textstyle\begin{cases} \frac{M(\eta )}{1-\eta +\eta u}(ST(S(t))-S(0))=ST[BN(t)+Z(N(t) \\ \hphantom{\frac{M(\eta )}{1-\eta +\eta u}(ST(S(t))-S(0))=}{}-S(t)-I(t))-DS(t)-AS(t)-BI(t)-CS(t)I(t)], \\ \frac{M(\eta )}{1-\eta +\eta u}(ST(I(t))-I(0))=ST[BI(t)+CS(t)I(t)-DI(t)-EI(t)], \\ \frac{M(\eta )}{1-\eta +\eta u}(ST(N(t))-N(0))=ST[N(t)(B-D)-EI(t)]. \end{cases} $$

Rearranging, we obtain following equalities:

$$ \textstyle\begin{cases} ST(S(t))=S(0)+\frac{1-\eta +\eta u}{M(\eta )}ST[BN(t)+Z(N(t)-S(t) \\ \hphantom{ST(S(t))=}{}-I(t))-DS(t)-AS(t)-BI(t)-CS(t)I(t)], \\ ST(I(t))=I(0)+\frac{1-\eta +\eta u}{M(\eta )}ST[BI(t)+CS(t)I(t)-DI(t)-EI(t)], \\ ST(N(t))=N(0)+\frac{1-\eta +\eta u}{M(\eta )}ST[N(t)(B-D)-EI(t)]. \end{cases} $$

We obtain the following recursive formulas:

$$ \textstyle\begin{cases} S_{n+1}(t)=S_{n}(0)+ST^{-1}\{\frac{1-\eta +\eta u}{M(\eta )}ST[BN(t)+Z(N(t)-S(t) \\ \hphantom{S_{n+1}(t)=}{}-I(t))-DS(t)-AS(t)-BI(t)-CS(t)I(t)]\}, \\ I_{n+1}(t)=I_{n}(0)+ST^{-1}\{\frac{1-\eta +\eta u}{M(\eta )}ST[BI(t)+CS(t)I(t)-DI(t)-EI(t)] \}, \\ N_{n+1}(t)=N_{n}(0)+\frac{1-\eta +\eta u}{M(\eta )}ST[N(t)(B-D)-EI(t)]. \end{cases} $$

Finally, the solution of system (3) is approximates as follows:

$$ S(t)=\lim_{n\rightarrow \infty }S_{n}(t),\qquad I(t)=\lim _{n\rightarrow \infty }I_{n}(t),\qquad N(t)=\lim_{n\rightarrow \infty }N_{n}(t). $$

Stability analysis of iteration method

Consider a Banach space \((Y, \|\cdot \|)\), a self-map F on Y, and a recursive method \(P_{n+1}=\phi (F, P_{n})\). Denote by \(\varOmega (F)\neq \emptyset \) the fixed point set of F, and let \(\lim_{n\rightarrow \infty }P_{n}=p\in \varOmega (F)\). Let \(\{f_{n}\}\subset \varOmega \) and \(e_{n}=\| f_{n+1}-\phi (F, f_{n})\|\). If \(\lim_{n\rightarrow \infty }e_{n}=0\) implies that \(\lim_{n\rightarrow \infty }f_{n}=p\), then the recursive procedure \(P_{n+1}=\phi (F,P_{n})\) is F-stable. Suppose that our sequence \(\{f_{n}\}\) has an upper bound. If Picard’s iteration \(P_{n+1}=FP_{n}\) satisfies all these conditions, then it is F-stable.

Theorem 6.1


Let\((Y , \|\cdot \|)\)be a Banach space, and letFbe a self-map of Ysatisfying

$$ \Vert F_{x}-F_{y} \Vert \leq H \Vert x-F_{x} \Vert + h \Vert x-y \Vert $$

for all\(x,y\in Y\)where\(H\geq 0\)and\(0\leq h < 1\). Suppose thatFis PicardF-stable.

Suppose that the fractional model of Rabies (3) is connected with the subsequent iterative formula (15). Consider the following theorem.

Theorem 6.2

LetFbe a self-map defined as follows:

$$ \textstyle\begin{cases} F(S_{n}(t))=S_{n+1}(t)\\ \hphantom{F(S_{n}(t))}=S_{n}(t)+ST^{-1}\{ \frac{1-\eta +\eta u}{M(\eta )}ST[BN(t)+Z(N(t) \\ \hphantom{F(S_{n}(t))=}{}-S(t)-I(t))-DS(t) -AS(t)-BI(t)-CS(t)I(t)]]\}, \\ F(I_{n}(t))=I_{n+1}(t)\\ \hphantom{F(I_{n}(t))}=I_{n}(t) +ST^{-1}\{\frac{1-\eta +\eta u}{M(\eta )}ST[BI(t)+CS(t)I(t)-DI(t)-EI(t)] \}, \\ F(N_{n}(t))=N_{n+1}(t)=N_{n}(t)+\frac{1-\eta +\eta u}{M(\eta )}ST[N(t)(B-D)-EI(t)]. \end{cases} $$

This iterative recursion isF-stable in\(L^{1}(a,b)\)if the following conditions are satisfied:

$$ \textstyle\begin{cases} (1+(B+Z)f_{1}(\nu )+(Z+D+A)f_{2}(\nu ) +(Z+B)f_{3}(\nu )+CL_{2}f_{4}(\nu )+CL_{1}f_{5}(\nu ))< 1, \\ (1+(B-D-E)f_{6}(\nu )+CL_{2}f_{7}(\nu )+CL_{1}f_{8}(\nu ))< 1, \\ (1+(B-D)f_{9}(\nu )-Ef_{10}(\nu )) < 1. \end{cases} $$


First, we compute the following equality for \((n,m)\in N\times N\) to prove that F has a fixed point:

$$\begin{aligned}& F(S_{n}(t)-F\bigl(S_{m}(t)\bigr)\\& \quad =S_{n}(t)-S_{m}(t) \\& \qquad {}+ST^{-1} \{\frac{1-\eta +\eta u}{M(\eta )}ST\bigl[(B+Z)N_{n}+(-Z-D-A)S_{n}+(-Z-B)I_{n} -CS_{n}I_{n}\bigr]\\& \qquad {}-ST^{-1} \biggl\{ \frac{1-\eta +\eta u}{M(\eta )}ST\bigl[(B+Z)N_{m} +(-Z-D-A)S_{m}+(-Z-B)I_{m}-CS_{m}I_{m} \bigr]\biggr\} . \end{aligned}$$

Applying the norm on both sides, we obtain

$$\begin{aligned}& \|F\bigl(S_{n}(t)\bigr)-F\bigl(S_{m}(t)\bigr) \\& \quad = \biggl\| S_{n}(t)-S_{m}(t) +ST^{-1} \{\frac{1-\eta +\eta u}{M(\eta )}ST\bigl[(B+Z)N_{n}+(-Z-D-A)S_{n}+(-Z-B)I_{n} \\& \qquad {}-CS_{n}I_{n}\bigr]-ST^{-1} \biggl\{ \frac{1-\eta +\eta u}{M(\eta )}ST\bigl[(B+Z)N_{m} \\& \qquad {}+(-Z-D-A)S_{m}+(-Z-B)I_{m}-CS_{m}I_{m} \bigr]\biggr\} \biggr\| \\& \quad \leq \bigl\Vert S_{n}(t)-S_{m}(t) \bigr\Vert +ST^{-1} \{\frac{1-\eta +\eta u}{M(\eta )}ST\bigl[ \bigl\Vert (B+Z) (N_{n}-N_{m}) \bigr\Vert \\& \qquad {}+ \bigl\Vert (-Z-D-A) (S_{n}-S_{m}) \bigr\Vert \\& \qquad {} + \bigl\Vert (-Z-B) (I_{n}-I_{m}) \bigr\Vert + \bigl\Vert -CI_{n}(S_{n}-S_{m}) \bigr\Vert + \bigl\Vert CS_{m}(I_{n}-I_{m}) \bigr\Vert \bigr] \end{aligned}$$

Because of the same role of both solutions, we consider

$$ \bigl\Vert S_{n}(t)-S_{m}(t) \bigr\Vert \cong \bigl\Vert I_{n}(t)-I_{m}(t) \bigr\Vert \cong \bigl\Vert N_{n}(t)-N_{m}(t) \bigr\Vert . $$

From Eqs. (16) and (17) we obtain

$$\begin{aligned}& \begin{gathered}[b] \|F\bigl(S_{n}(t)\bigr)-F\bigl(S_{m}(t)\bigr) \\ \quad \leq \bigl\Vert S_{n}(t)-S_{m}(t) \bigr\Vert +ST^{-1} \{\frac{1-\eta +\eta u}{M(\eta )}ST\bigl[(B+Z) \bigl\Vert (S_{n}-S_{m}) \bigr\Vert \\ \qquad {} +(Z+D+A) \bigl\Vert (S_{n}-S_{m}) \bigr\Vert +(Z+B) \bigl\Vert (S_{n}-S_{m}) \bigr\Vert \\ \qquad {} +C \Vert I_{n} \Vert \bigl\Vert (S_{n}-S_{m}) \bigr\Vert +C \Vert S_{m} \Vert \bigl\Vert (S_{n}-S_{m}) \bigr\Vert \bigr]. \end{gathered} \end{aligned}$$

Since \(S_{n}\), \(I_{n}\), \(N_{n}\) are convergent sequences, they are bounded, so there exist \(L_{1}\), \(L_{2}\), \(L_{3}\) for all t such that

$$ \Vert S_{n} \Vert < L_{1}, \qquad \Vert I_{n} \Vert < L_{2},\qquad \Vert N_{n} \Vert < L_{3}, \quad (m,n)\in N \times N. $$

From Eqs. (18) and (19) we obtain

$$\begin{aligned}& \bigl\Vert F\bigl(S_{n}(t)\bigr)-F\bigl(S_{m}(t) \bigr) \bigr\Vert \\& \quad \leq \bigl(1+(B+Z)f_{1}(\nu ) +(Z+D+A)f_{2}(\nu )+(Z+B)f_{3}(\nu ) \\& \qquad {}+CL_{2}f_{4}(\nu )+CL_{1}f_{5}( \nu )\bigr) \bigl\Vert S_{n}(t)-S_{m}(t) \bigr\Vert , \end{aligned}$$

where \(f_{i}\) are functions from \(ST^{-1}[\frac{1-\eta +\eta u}{M(\eta )} ST[*]]\). In the same way, we get

$$\begin{aligned}& \bigl\| F(I_{n}(t)-F\bigl(I_{m}(t)\bigr)\bigr\| \\& \quad \leq \bigl(1+(B-D-E)f_{6}(\nu )+CL_{2}f_{7}( \nu )+CL_{1}f_{8}( \nu )\bigr) \bigl\Vert I_{n}(t)-I_{m}(t) \bigr\Vert , \end{aligned}$$
$$\begin{aligned}& \bigl\| F(N_{n}(t)-F\bigl(N_{m}(t)\bigr)\bigr\| \leq \bigl(1+(B-D)f_{9}(\nu )-Ef_{10}(\nu )\bigr) \bigl\Vert N_{n}(t)-N_{m}(t) \bigr\Vert , \end{aligned}$$


$$ \textstyle\begin{cases} (1+(B+Z)f_{1}(\nu )+(Z+D+A)f_{2}(\nu )+(Z+B)f_{3}(\nu ) +CL_{2}f_{4}(\nu )+CL_{1}f_{5}(\nu ))< 1, \\ (1+(B-D-E)f_{6}(\nu )+CL_{2}f_{7}(\nu )+CL_{1}f_{8}(\nu ))< 1, \\ (1+(B-D)f_{9}(\nu )-Ef_{10}(\nu ))< 1. \end{cases} $$

Then the self-mapping F has a fixed point. Let (20), (21), and (22) hold. We assume that

$$\begin{aligned}& H=(0,0,0), \\& h= \textstyle\begin{cases} 1+(B+Z)f_{1}(\nu )+(Z+D+A)f_{2}(\nu )+(Z+B)f_{3}(\nu ) +CL_{2}f_{4}(\nu )+CL_{1}f_{5}(\nu ), \\ 1+(B-D-E)f_{6}(\nu )+CL_{2}f_{7}(\nu )+CL_{1}f_{8}(\nu ), \\ 1+(B-D)f_{9}(\nu )-Ef_{10}(\nu ). \end{cases}\displaystyle \end{aligned}$$

Then all conditions of Theorem 5.1 hold, and this completes the proof. □

Numerical results

In this section, we give a numerical simulation of the results of solving the Rabies model (3) by using the Laplace Adomian decomposition method (LADM). This method provides the solution of the system in the form of infinite series. We have chosen the parameters \(b=0.083\), \(c=0.1\), \(e=0.5\), \(a=0\), \(z=0\), \(d=0.01+0.004 N\) and the initial conditions \(S_{0}=9\), \(I_{0}=1\), \(N_{0}=10\) (see [5]). In Figs. 1 and 2, we show the solutions of model (4) for different values of \(\eta =1, 0.9, 0.8, 0.7, 0.6, 0.5\). The figures show that different fractional orders have an important effect on the dynamics of the system and indicate that as \(\eta \rightarrow 1\), the approximate solutions tend to the classic integer solution with \(\eta =1\). Also, figures show that every function has the same behavior for different values of η, but the obtained results for various values of η are different.

Figure 1
figure 1

Dynamics of susceptible animals S and infected animals I for various values of η

Figure 2
figure 2

Dynamics of \(N(t)\) (population of animals at time t) for various values of η

Figures 37 show the effect of coefficients on the number of infected animals \(I(t)\). In Fig. 3, we plotted \(I(t)\) for different values of b, and we see that increasing b increases the number of infected animals and decreasing b reduces the number of infected animals; \(I(t)\) for different values of z is plotted in Fig. 4, and we see that increasing z reduces the number of infected animals. Figure 5 shows the effect of Rabies transmission on the number of infected animals, and as w can see, c has a direct effect on \(I(t)\), and a slight increase or decrease causes a significant increase or decrease in the number of infected animals. Also, one way to control the disease is vaccination, which affects the number of infected animals as shown in Fig. 6. With the increase in vaccination rate a, the number of infected animals rapidly decreases. The disease mortality rate also has a direct effect on the number of infected animals, and as Fig. 7 shows, increasing or decreasing e causes a similar behavior of \(I(t)\).

Figure 3
figure 3

Dynamics of \(I(t)\) for various values of b

Figure 4
figure 4

Dynamics of \(I(t)\) for various values of z

Figure 5
figure 5

Dynamics of \(I(t)\) for various values of c

Figure 6
figure 6

Dynamics of \(I(t)\) for various values of a

Figure 7
figure 7

Dynamics of \(I(t)\) for various values of e

A comparison between the noninteger-order model with \(\eta =0.98\) and the integer order \(\eta =1\) is also given in Tables 13. The results of all three types of derivatives for S, I, N shown in Tables 13 indicate the similar behavior of functions in all three types of derivatives, but they are different in terms of values, and this difference is not uniform. At some points the value derived from the fractional-order Caputo derivative is closer to the result of integer order, and at other points the result of the fractional-order Caputo–Fabrizio derivative is closer to that of integer order.

Table 1 Results of three types of derivative: Ordinary derivative \(D^{ \nu }\), Caputo fractional derivative \(^{c}D^{\nu }\), and Caputo–Fabrizio fractional derivative \(^{cf}D^{\nu }\) for \(S(t)\)
Table 2 Results of three types of derivative: Ordinary derivative \(D^{ \nu }\), Caputo fractional derivative \(^{c}D^{\nu }\), and Caputo–Fabrizio fractional derivative \(^{cf}D^{\nu }\) for \(I(t)\)
Table 3 Results of three types of derivative: Ordinary derivative \(D^{ \nu }\), Caputo fractional derivative \(^{c}D^{\nu }\), and Caputo–Fabrizio fractional derivative \(^{cf}D^{\nu }\) for \(N(t)\)


In this work, we have studied the mathematical model of Rabies by the concept of Caputo–Fabrizio fractional derivative. We solved the fractional differential equations by the Laplace Adomian decomposition method. The equilibrium points are calculated, and the existence and uniqueness of the solutions are studied by fixed point theorem. The stability of the method was investigated with the F-stability approach. Eventually, some numerical results are presented for different values of η to show the effect of the fractional order. The effect of the model coefficients on the number of infected animals \(I(t)\) has been investigated using figures, so that we observed that b, c, and e have a direct effect on \(I(t)\), whereas a and z have an inverse effect on \(I(t)\). Finally, we compared the results of the integer-order derivative with the Caputo and Caputo–Fabrizio fractional-order derivatives. We observed that the behavior of \(S(t)\), \(I(t)\), \(N(t)\) in all three types of derivatives is the same, but the resulting numerical values are different. Also, in some cases the results of the Caputo derivative are closer to those of integer-order derivative, and in some cases the results of the Caputo–Fabrizio derivative are closer to those of integer-order derivative. Therefore, with this information, it is not possible to conclude which type of fractional derivatives is better.


  1. Kumar, V.: Robbins and Cotran Pathologic Basis of Disease. Elsevier, Saunders (2004)

    Google Scholar 

  2. Hassel, R., Vos, A., Clausen, P., Moore, S., der Westhuizen, J.V., Khaiseb, S., Kabajani, J., Pfaff, F., Höper, D., Hundt, B., Jago, M., Bruwer, F., Lindeque, P., Finke, S., Freuling, C.M., Muller, T.: Experimental screening studies on Rabies virus transmission and oral rabies vaccination of the greater kudu (tragelaphus strepsiceros). Sci. Rep. 8(1), 16599 (2018)

    Google Scholar 

  3. Meltzer, M.I., Rupprecht, C.E.: A review of the economics of the prevention and control of Rabies, part 1: global impact and Rabies in humans. PharmacoEcon. 14(4), 366–383 (1998)

    Google Scholar 

  4. Meltzer, M.I., Rupprecht, C.E.: A review of the economics of the prevention and control of Rabies, part 2: Rabies in dogs, livestock and wildlife. PharmacoEcon. 14(5), 481–498 (1998)

    Google Scholar 

  5. Demirci, E.: A new mathematical approach for Rabies endemy. Appl. Math. Sci. 8(2), 59–67 (2014)

    MathSciNet  Google Scholar 

  6. Sterner, R.T., Smith, G.C.: Modelling wildlife Rabies. Biol. Conserv. 131(2), 163–179 (2006)

    Google Scholar 

  7. Zaeck, L., Potratz, M., Freuling, C.M., Muller, T., Finke, S.: High-resolution 3d imaging of Rabies virus infection in solvent-cleared brain tissue. J. Vis. Exp. 146 (2019).

  8. Alkahtani, B.S.T., Koca, I., Atangana, A.: Analysis of a new model of H1N1 spread: Model obtained via Mittag-Leffler function. Adv. Mech. Eng. 9(8), 1–8 (2017)

    Google Scholar 

  9. Buluta, H., Kumar, D., Singhb, J., Swroopc, R., Baskonus, H.M.: Analytic study for a fractional model of HIV infection of CD4+T lymphocyte cells. Math. Nat. Sci. 2, 33–43 (2018)

    Google Scholar 

  10. Dokuyucu, M.A., Celik, E., Bulut, H., Baskonus, H.M.: Cancer treatment model with the Caputop–Fabrizio fractional derivative. Eur. Phys. J. Plus 133, 92 (2018)

    Google Scholar 

  11. Koca, I.: Analysis of rubella disease model with non-local and non-singular fractional derivatives. Int. J. Optim. Control Theor. Appl. 8(1), 17–25 (2018)

    MathSciNet  Google Scholar 

  12. Ucar, E., Ozdemir, N., Altun, E.: Fractional order model of immune cells influenced by cancer cells. Math. Model. Nat. Phenom. 14(3), 308 (2019)

    MathSciNet  MATH  Google Scholar 

  13. Akbari Kojabad, E., Rezapour, S.: Approximate solutions of a sum-type fractional integro-differential equation by using Chebyshev and Legendre polynomials. Adv. Differ. Equ. 2017, 351 (2017)

    MathSciNet  MATH  Google Scholar 

  14. Aydogan, M.S., Baleanu, D., Mousalou, A., Rezapour, S.: On high order fractional integro-differential equations including the Caputo–Fabrizio derivative. Bound. Value Probl. 2018(1), 90 (2018).

    MathSciNet  MATH  Article  Google Scholar 

  15. Aydogan, S.M., Baleanu, D., Mousalou, A., Rezapour, S.: On approximate solutions for two higher-order Caputo–Fabrizio fractional integro-differential equations. Adv. Differ. Equ. 2017(1), 221 (2017).

    MathSciNet  MATH  Article  Google Scholar 

  16. Baleanu, D., Agarwal, R.P., Mohammadi, H., Rezapour, S.: Some existence results for a nonlinear fractional differential equation on partially ordered Banach spaces. Bound. Value Probl. 2013, 112 (2013)

    MathSciNet  MATH  Google Scholar 

  17. Baleanu, D., Etemad, S., Pourrazi, S., Rezapour, S.: On the new fractional hybrid boundary value problems with three-point integral hybrid conditions. Adv. Differ. Equ. 2019, 473 (2019)

    MathSciNet  Google Scholar 

  18. Baleanu, D., Guvenc, Z.B., Machado, J.A.T.: New Trends in Nano Technology and Fractional Calculus Applications. Springer, Germany (2010)

    MATH  Google Scholar 

  19. Baleanu, D., Ghafarnezhad, K., Rezapour, S., Shabibi, M.: On the existence of solutions of a three steps crisis integro-differential equation. Adv. Differ. Equ. 2018, 135 (2018)

    MathSciNet  MATH  Google Scholar 

  20. Baleanu, D., Ghafarnezhad, K., Rezapour, S.: On a three steps crisis integro-differential equation. Adv. Differ. Equ. 2019, 153 (2019)

    MathSciNet  MATH  Google Scholar 

  21. Baleanu, D., Hedayati, V., Rezapour, S., Al-Qurashi, M.M.: On two fractional differential inclusions. SpringerPlus 5(1), 882 (2016)

    Google Scholar 

  22. Baleanu, D., Rezapour, S., Mohammadi, H.: Some existence results on nonlinear fractional differential equations. Philos. Trans. R. Soc. A, Math. Phys. Eng. Sci. 371, 20120144 (2013).

    MathSciNet  MATH  Article  Google Scholar 

  23. Baleanu, D., Mohammadi, H., Rezapour, S.: On a nonlinear fractional differential equation on partially ordered metric spaces. Adv. Differ. Equ. 2013, 83 (2013)

    MathSciNet  MATH  Google Scholar 

  24. Baleanu, D., Mohammadi, H., Rezapour, S.: The existence of solutions for a nonlinear mixed problem of singular fractional differential equations. Adv. Differ. Equ. 2013, 359 (2013)

    MathSciNet  MATH  Google Scholar 

  25. Baleanu, D., Mousalou, A., Rezapour, S.: A new method for investigating approximate solutions of some fractional integro-differential equations involving the Caputo–Fabrizio derivative. Adv. Differ. Equ. 2017, 51 (2017)

    MathSciNet  MATH  Google Scholar 

  26. Baleanu, D., Mousalou, A., Rezapour, S.: The extended fractional Caputo–Fabrizio derivative of order \(0 \leq \sigma <1\) on \(c_{\mathbb{r} } [0,1]\) and the existence of solutions for two higher-order series-type differential equations. Adv. Differ. Equ. 2018, 255 (2018)

    MATH  Google Scholar 

  27. Baleanu, D., Mousalou, A., Rezapour, S.: On the existence of solutions for some infinite coefficient-symmetric Caputo–Fabrizio fractional integro-differential equations. Bound. Value Probl. 2017, 145 (2017)

    MathSciNet  MATH  Google Scholar 

  28. Baleanu, D., Rezapour, S., Saberpour, Z.: On fractional integro-differential inclusions via the extended fractional Caputo–Fabrizio derivation. Bound. Value Probl. 2019, 79 (2019)

    MathSciNet  Google Scholar 

  29. Ozdemir, N., Ucar, E.: Investigating of an immune system-cancer mathematical model with Mittag-Leffler kernel. AIMS Math. 5(2), 1519–1531 (2020).

    Article  Google Scholar 

  30. Yavuz, M., Ozdemir, N.: Analysis of an epidemic spreading model with exponential decay law. Math. Sci. Appl. E-Notes 8(1), 142–154 (2020).

    Article  Google Scholar 

  31. Carvalho, A.R., Pinto, C.M., Tavares, J.N.: Maintenance of the latent reservoir by pyroptosis and superinfection in a fractional order HIV transmission model. Int. J. Optim. Control Theor. Appl. 9(3), 69–75 (2019).

    MathSciNet  Article  Google Scholar 

  32. Defterli, O.: Modeling the impact of temperature on fractional order Dengue model with vertical transmission. Int. J. Optim. Control Theor. Appl. 10(1), 85–93 (2020).

    Article  Google Scholar 

  33. Ucar, S., Ozdemir, N., Koca, I., Altun, E.: Novel analysis of the fractional glucose–insulin regulatory system with non-singular kernel derivative. Eur. Phys. J. Plus 135, 414 (2020).

    Article  Google Scholar 

  34. Talaee, M., Shabibi, M., Gilani, A., Rezapour, S.: On the existence of solutions for a pointwise defined multi-singular integro-differential equation with integral boundary condition. Adv. Differ. Equ. 2020, 41 (2020)

    MathSciNet  Google Scholar 

  35. Caputo, M., Fabrizio, M.: A new definition of fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1(2), 73–85 (2015)

    Google Scholar 

  36. Atangana, A., Alkahtani, B.S.T.: Analysis of the Keller–Segel model with a fractional derivative without singular kernel. Entropy 17(6), 4439–4453 (2015)

    MathSciNet  MATH  Google Scholar 

  37. Erturk, V.S., Zaman, G., Momani, S.: A numeric analytic method for approximating a giving up smoking model containing fractional derivatives. Comput. Math. Appl. 64, 3068–3074 (2012)

    MathSciNet  MATH  Google Scholar 

  38. Haq, F., Shah, K., Rahman, G., Shahzad, M.: Numerical analysis of fractional order model of HIV-1 infection of CD4+T-cells. Comput. Methods Differ. Equ. 5(1), 1–11 (2017)

    MathSciNet  MATH  Google Scholar 

  39. Losada, J., Nieto, J.J.: Properties of the new fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1(2), 87–92 (2015)

    Google Scholar 

  40. Belgacem, F.B.M., Karaballi, A.A., Kalla, S.L.: Analytical investigations of the Sumudu transform and applications to integral production equations. Math. Probl. Eng. 3, 103–118 (2003)

    MathSciNet  MATH  Google Scholar 

  41. Bodkhe, D.S., Panchal, S.K.: On Sumudu transform of fractional derivatives and its applications to fractional differential equations. Asian J. Math. Comput. Res. 11(1), 69–77 (2016)

    Google Scholar 

  42. Shah, K., Junaid, N.A.M.: Extraction of Laplace, Sumudu, Fourier and Mellin transform from the natural transform. J. Appl. Environ. Biol. Sci. 5(9), 1–10 (2015)

    Google Scholar 

  43. Watugala, G.K.: Sumudu transform: a new integral transform to solve differential equations and control engineering problems. Int. J. Math. Educ. Sci. Technol. 24(1), 35–43 (1993)

    MathSciNet  MATH  Google Scholar 

  44. Wang, J., Zhou, Y., Medved, M.: Picard and weakly Picard operators technique for nonlinear differential equations in Banach spaces. J. Math. Anal. Appl. 389, 261–274 (2012)

    MathSciNet  MATH  Google Scholar 

  45. Van den Driessche, P., Watmough, J.: Reproduction numbers and subthreshold endemic equilibria for compartmental models of disease transmission. Math. Biosci. 180, 29–48 (2002)

    MathSciNet  MATH  Google Scholar 

  46. Li, H., Cheng, J., Li, H.B., Zhong, S.M.: Stability analysis of a fractional-order linear system described by the Caputo–Fabrizio derivative. Mathematics 7(2), 200 (2019)

    MATH  Google Scholar 

  47. Hosseini, M.M., Nasabzadeh, H.: On the convergence of Adomian decomposition method. Appl. Math. Comput. 182, 536–543 (2006)

    MathSciNet  MATH  Google Scholar 

  48. Abdilrazec, A.H.M.: Adomian decomposition method: convergence analysis and numerical approximations. M.Sc. Dissertation, Mc Master University, Canada (2008)

  49. Naghipour, A., Manafian, J.: Application of the Laplace Adomian decomposition method and implicit methods for solving Burgers equation. TWMS J. Pure Appl. Math. 6(1), 68–77 (2015)

    MathSciNet  MATH  Google Scholar 

Download references


Research of the fourth author was supported by Azarbaijan Shahid Madani University. Also, research of the third author was supported by Miandoab Branch, Islamic Azad University. The authors are thankful to dear referees for their valuable comments which basically improved the final version of this work.

Availability of data and materials

Data sharing not applicable to this paper as no datasets were generated or analyzed during the current study.


Not available.

Author information

Authors and Affiliations



The authors declare that the study was realized in collaboration with equal responsibility. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Shahram Rezapour.

Ethics declarations

Ethics approval and consent to participate

Not applicable.

Competing interests

The authors declare that they have no competing interests.

Consent for publication

Not applicable.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Aydogan, S.M., Baleanu, D., Mohammadi, H. et al. On the mathematical model of Rabies by using the fractional Caputo–Fabrizio derivative. Adv Differ Equ 2020, 382 (2020).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:


  • 34A08
  • 35A22
  • 35A20


  • Adomian decomposition method
  • Fixed point
  • Numerical simulation
  • Rabies model
  • The Caputo–Fabrizio fractional derivative