Dynamics of Fractional-Order Epidemic Models with General Nonlinear Incidence Rate and Time-Delay

Abstract

In this paper, we study the dynamics of a fractional-order epidemic model with general nonlinear incidence rate functionals and time-delay. We investigate the local and global stability of the steady-states. We deduce the basic reproductive threshold parameter, so that if ${\mathcal{R}}_0<1$, the disease-free steady-state is locally and globally asymptotically stable. However, for ${\mathcal{R}}_0>1$, there exists a positive (endemic) steady-state which is locally and globally asymptotically stable. A Holling type III response function is considered in the numerical simulations to illustrate the effectiveness of the theoretical results.

1. Introduction

The study of the spread of disease is one of the main directions of mathematical modeling. There has been enormous effort to study the dynamics of infectious disease and various generalizations of the epidemic models that exist in the literature. More recently, there has been an increasing interest in epidemic models that involve time-delays and fractional-order derivatives [1,2,3,4,5]. The need for fractional-order differential equations (FODE) comes from real-world application problems. These equations are generalizations of ordinary differential equations and believed to take their origin from the question of L’Hopital to Leibniz in a report letter at the end of the 17th century [6]. Many famous mathematicians, such as Liouville, Riemann, Fourier, and Abel contributed to the Theory of Fractional Calculus. FODE models have advantages over classical ODE and/or delay differential equation models, since integer-order derivatives are used to gain information only about local features of a state, whereas fractional-order derivatives describe the whole space [7]. In other words, in the FODE models, the next certain position for a physical phenomenon does not only depend on the current state, but also on all historical states. Thus, fractional-order models not only give more realistic biological models involving memory, but also enlarge the stability region of the states. It is worth mentioning that FODEs have been successfully applied to various fields, such as finance [8], control theory [9], ecology [10], and medicine [11,12,13,14,15,16,17].

Incidence rate refers to the frequency with which a disease occurs over a specified period of time. It is numerically defined as the number of new cases of a disease within a time period, as a proportion of the number of people at risk for the disease. This rate provides the capacity to anticipate future incidents and plan accordingly. Thus, the incidence rate function type plays a key role in understanding the dynamics of infectious diseases. However, in most cases, it has been observed that the incidence rate starts to slow down after some time. In the last few decades, there have been studies considering nonlinear incidence rates given by a general function $\mathcal{F}(S,I)$ which satisfies certain mild conditions [18,19,20,21,22,23,24]. On the other hand, there are fractional-order epidemic models with a bilinear incidence rate and standard incidence rate, as well as specific nonlinear incidence-rate functions [5,16,25,26,27]. However, these models need to be modified by means of the general incidence-rate function. More recently, the authors in [26] considered a fractional-order Susceptible-Exposed-Infected-Recovered (SEIR) model with a generalized incidence rate function of the type $Sf(I)$, where f satisfies some certain conditions. Furthermore, Lahrouz et al. studied a fractional-order Susceptible-Infected-Recovered (SIR) model with a general incidence rate function and carried out Mittag–Leffler stability and bifurcation analysis for the model with and without delays [24]. It should be noted that the authors considered the model with a delay on the recovered/removed population ($R(t)$) and investigated the global dynamics.

In the modeling of infectious diseases, it is assumed that there exists a latent period before an infected individual becomes infectious. In other words, it takes some time for an infected person to be able to transmit a disease to another susceptible host. This time-interval is called the latency period, and is modeled by delay differential equations. There are many interesting papers which study epidemic models with a constant delay in integer-order [28,29] and fractional-order differentiation [7,30].

Historically, the study of a so-called Susceptible-Infected-Recovered (SIR) model goes back to the work by Kermack and McKendrick [31]. Since then, this model has been widely studied to predict the dynamics of different infectious diseases. In the present paper, we introduce the fractional-order SIR model with a general incidence rate and time-delay. In Section 2, we provide the epidemic model and in Section 3, we study the local stability of the steady-states. In Section 4, we discuss the global stability of the endemic model. In Section 5, we display some numerical simulations, and then we conclude in Section 6.

Some preliminaries and definitions about fractional-order derivatives are given in the Appendix A.

2. Fractional Epidemic Model with a General Incidence Rate

Consider a system of delay differential equations for an SIR model

$$\begin{array}{ccc}\hfill & & {\displaystyle \frac{dS}{dt}=\Psi -\mu S(t)-\mathcal{F}(S(t),I(t-\tau )),}\hfill \\ & & {\displaystyle \frac{dI}{dt}=\mathcal{F}(S(t),I(t-\tau ))-(\rho +\mu +\delta )I(t),}\hfill \\ & & {\displaystyle \frac{dR}{dt}=\rho I(t)-\mu R(t),}\hfill \end{array}$$

(1)

$\Psi$ is the recruitment rate, $\mu$ is the natural death rate, $\rho$ is the recovery rate, $\delta$ is the disease-induced death rate, and $\tau >0$ is the delay due to the latency period. We assume the nonlinear incidence rate function $\mathcal{F}(S,I)$ satisfies the following conditions:

(A1)

$\mathcal{F}(S,0)=\mathcal{F}(0,I)=0$;

(A2)

$\mathcal{F}(S,I)$ is always positive, continuous, differentiable, and monotonically increasing:

$${\displaystyle \frac{\partial \mathcal{F}(S,I)}{\partial I}}>0,{\displaystyle \frac{\partial \mathcal{F}(S,I)}{\partial S}}>0forallS,I>0;$$

(A3)

$\mathcal{F}(S,I)$ is concave with respect to I:

$${\displaystyle \frac{{\partial }^2\mathcal{F}(S,I)}{\partial I^2}}\le 0forallS,I>0.$$

One can easily check that the following incidence-rate functions satisfy the conditions (A1)–(A3):

$$\beta SI,{\displaystyle \frac{\beta SI}{S+I+R}},{\displaystyle \frac{\beta SI}{1+{\alpha }_{1}S+{\alpha }_{2}I+{\alpha }_{3}SI}},{\displaystyle \frac{\beta S^{n}I}{1+\eta S^n}},n\ge 2.$$

In this paper, we do not consider a specific incidence rate function, but a general one that satisfies mild conditions. Consequently, the results of this paper can be applied with any incidence rate function that satisfies the conditions (A1)–(A3). In Section 5, we implement the theoretical results with a Holling type III functional response, that is, $\mathcal{F}(S,I)={\displaystyle \frac{\beta S^{2}I}{1+\eta S^2}}$.

After integrating from $t_0$ to t, the model (1) reads as

$$\begin{array}{ccc}\hfill & & {\displaystyle S(t)=S(t_0)+{\int }_{t_0}^{t}K(t-s)\left[\Psi -\mu S(s)-\mathcal{F}(S(s),I(s-\tau ))\right]ds,}\hfill \\ & & {\displaystyle I(t)=I(t_0)+{\int }_{t_0}^{t}K(t-s)\left[\mathcal{F}(S(s),I(s-\tau ))-(\rho +\mu +\delta )I(s)\right]ds,}\hfill \\ & & {\displaystyle R(t)=R(t_0)+{\int }_{t_0}^{t}K(t-s)\left[\rho I(s)-\mu R(s)\right]ds,}\hfill \end{array}$$

(2)

where the constant kernel function K satisfies $K(t-s)=1$. For some biological systems, fractional differential equations are more consistent with real phenomena than integer-order models. This is because fractional derivatives and integrals can be used to describe the memory and hereditary properties. In order to consider the historical effects in the above system, we modify the kernel function K as follows:

$$K(t-s)={\displaystyle \frac{{(t-s)}^{\alpha -1}}{\Gamma (\alpha )}},$$

(3)

where $0<\alpha \le 1$ and $\Gamma$ is the Gamma function, as specified in Appendix A. Introducing a power-law memory kernel function that allows near-past events to have a greater effect on the model than distant past events, by Definition A1, the modified model now reads as:

$$\begin{array}{ccc}\hfill & & {\displaystyle S(t)=S(t_0)+{\mathcal{I}}_{[t_0,t]}\left[\Psi -\mu S(t)-\mathcal{F}(S(t),I(t-\tau ))\right],}\hfill \\ & & {\displaystyle I(t)=I(t_0)+{\mathcal{I}}_{[t_0,t]}\left[\mathcal{F}(S(t),I(t-\tau ))-(\rho +\mu +\delta )I(t)\right],}\hfill \\ & & {\displaystyle R(t)=R(t_0)+{\mathcal{I}}_{[t_0,t]}\left[\rho I(t)-\mu R(t)\right].}\hfill \end{array}$$

(4)

By applying Lemma A1, see Appendix A, the last model is equivalent to the following SIR model:

$$\begin{array}{ccc}\hfill & & {\displaystyle {\mathcal{D}}^{\alpha }S(t)=\Psi -\mu S(t)-\mathcal{F}(S(t),I(t-\tau )),}\hfill \\ & & {\displaystyle {\mathcal{D}}^{\alpha }I(t)=\mathcal{F}(S(t),I(t-\tau ))-(\rho +\mu +\delta )I(t),}\hfill \\ & & {\displaystyle {\mathcal{D}}^{\alpha }R(t)=\rho I(t)-\mu R(t),}\hfill \end{array}$$

(5)

with initial conditions $S(0)>0$, $R(0)>0$, $I(s)=\chi (s)>0$, $s\in [-\tau ,0]$, and $\chi (s)$ is a smooth function.

The fractional derivative $\alpha \in (0,1]$ is defined by the Caputo sense, so introducing a convolution integral with a power-law memory kernel (3) benefits in describing memory effects in dynamical systems. The decaying rate of the memory kernel depends on $\alpha$. A lower value of $\alpha$ corresponding to more slowly-decaying time-correlation functions leads a long memory. Therefore, as $\alpha \to 1$, the influence of memory decreases.

Under the condition (A1), it is easy to check that the model (5) has a disease-free steady-state solution $E_0=(S_0,I_0)=(\Psi /\mu ,0)$. In the analysis of epidemic models, it is of utmost importance to find so-called basic reproductive numbers, ${\mathcal{R}}_0,$ which serves as a threshold value. We compute ${\mathcal{R}}_0$ by using the next-generation matrix technique [32]:

$${\mathcal{R}}_0={\displaystyle \frac{1}{(\rho +\mu +\delta )}}{\displaystyle \frac{\partial \mathcal{F}(S_0,0)}{\partial I}}.$$

(6)

The existence of a unique endemic steady-state solution $E^{*}=(S^{*},I^{*})$ usually depends on ${\mathcal{R}}_0$ and satisfies the following algebraic equations:

$$\Phi =\mathcal{F}(S^{*},I^{*})+\mu S^{*}\mathrm{and}\mathcal{F}(S^{*},I^{*})=(\rho +\mu +\delta )I^{*}.$$

(7)

The following lemma [23] ensures the uniqueness of the positive steady-state solution $E^{*}(S^{*},I^{*})$ if ${\mathcal{R}}_0>1$.

Lemma 1.

[23] If ${\mathcal{R}}_0>1$, and in addition to the conditions (A2)–(A3)

$$\underset{I\to 0}{lim}\frac{\mathcal{F}(S_0,I)}{\mathcal{F}(S,I)}>1$$

holds for all $S\in (0,S_0)$, then (5) has a unique positive endemic steady-state solution $E^{*}(S^{*},I^{*})$. If ${\mathcal{R}}_0\le 1$, and then the disease-free steady-state solution $E_0(S_0,I_0)$ is the only equilibrium state of the system (5).

3. Local Stability of the Epidemic Model

The corresponding linearized system of model (5) at any steady-state $(S^{*},I^{*},R^{*})$ is described as

$$\begin{array}{cc}\hfill D^{\alpha }S(t)& =\left(-\mu -\frac{\partial \mathcal{F}}{\partial S}(S^{*},I^{*})\right)S(t)-\left(\frac{\partial \mathcal{F}}{\partial I}(S^{*},I^{*})\right)I(t-\tau ),\hfill \\ \hfill D^{\alpha }I(t)& =\left(\frac{\partial \mathcal{F}}{\partial S}(S^{*},I^{*})\right)S(t)-(\rho +\mu +\delta )I(t)+\left(\frac{\partial \mathcal{F}}{\partial I}(S^{*},I^{*})\right)I(t-\tau ),\hfill \\ \hfill D^{\alpha }R(t)& =\rho I(t)-\mu R(t).\hfill \end{array}$$

(8)

Taking the Laplace transform on both sides of (8) yields

$$\begin{array}{cc}\hfill s^{\alpha }\mathcal{S}(s)-s^{\alpha -1}S(0)& =\left(-\mu -\frac{\partial \mathcal{F}}{\partial S}(S^{*},I^{*})\right)\mathcal{S}(s)-\frac{\partial \mathcal{F}}{\partial I}(S^{*},I^{*})e^{-s\tau }[\mathcal{I}(s)+{\int }_{-\tau }^0{e}^{-st}\chi (t)dt],\hfill \\ \hfill s^{\alpha }\mathcal{I}(s)-s^{\alpha -1}I(0)& =\frac{\partial \mathcal{F}}{\partial S}(S^{*},I^{*})\mathcal{S}(s)-(\rho +\mu +\delta -\frac{\partial \mathcal{F}}{\partial I}(S^{*},I^{*})e^{-s\tau })\mathcal{I}(s)\hfill \\ \hfill & +\frac{\partial \mathcal{F}}{\partial I}(S^{*},I^{*})e^{-s\tau }{\int }_{-\tau }^0{e}^{-st}\chi (t)dt,\hfill \\ \hfill s^{\alpha }\mathcal{R}(s)-s^{\alpha -1}R(0)& =\rho \mathcal{I}(s)-\mu \mathcal{R}(s).\hfill \end{array}$$

(9)

Here, $\mathcal{S}(s)$, $\mathcal{I}(s)$, $\mathcal{R}(s)$ are the Laplace transform of $S(t)$, $I(t)$, and $R(t)$ with $\mathcal{S}(s)=L(S(t))$, $\mathcal{I}(s)=L(I(t))$ and $\mathcal{R}(s)=L(R(t))$. The above Equation (9) can be written as

$$\Delta (s)\star \left(\begin{array}{c}\mathcal{S}(s)\\ \mathcal{I}(s)\\ \mathcal{R}(s)\end{array}\right)=\left(\begin{array}{c}{b}_1(s)\\ b_2(s)\\ b_3(s)\end{array}\right)$$

where

$$\begin{array}{cc}\hfill b_1(s)& =s^{\alpha -1}S(0)-\frac{\partial \mathcal{F}}{\partial S}(S^{*},I^{*})e^{-s\tau }{\int }_{-\tau }^0{e}^{-st}\chi (t)dt,\hfill \\ \hfill b_2(s)& =s^{\alpha -1}I(0)+\frac{\partial \mathcal{F}}{\partial I}(S^{*},I^{*})e^{-s\tau }{\int }_{-\tau }^0{e}^{-st}\chi (t)dt,\hfill \\ \hfill b_3(s)& =s^{\alpha -1}R(0).\hfill \end{array}$$

and

$$\Delta (s)=\left(\begin{array}{ccc}{\displaystyle s^{\alpha }+\mu +\frac{\partial \mathcal{F}}{\partial S}(S^{*},I^{*})}& {\displaystyle \frac{\partial \mathcal{F}}{\partial I}(S^{*},I^{*})e^{-s\tau }}& {\displaystyle 0}\\ {\displaystyle -\frac{\partial \mathcal{F}}{\partial S}(S^{*},I^{*})}& {\displaystyle s^{\alpha }+\rho +\mu +\delta -\frac{\partial \mathcal{F}}{\partial I}(S^{*},I^{*})e^{-s\tau }}& {\displaystyle 0}\\ {\displaystyle 0}& {\displaystyle -\rho }& {\displaystyle s^{\alpha }+\mu }\end{array}\right).$$

$\Delta (s)$ is the characteristic matrix for the system (8) at $(S^{*},I^{*},R^{*})$. The stability conditions are also related to the fractional-order $\alpha$.

Theorem 1.

The disease-free equilibrium point $E_0=(S_0,I_0,R_0)=(\Psi /\mu ,0,0)$ is locally asymptotically stable if

$$\frac{\partial \mathcal{F}}{\partial I}(S_0,0)<\rho +\mu +\delta ,$$

i.e., if ${\mathcal{R}}_0<1.$

Proof. 

The characteristic equation at $E_0$ is described by

$$\begin{array}{c}\hfill s^{\alpha }+\mu =0,s^{\alpha }+\rho +\mu +\delta -\frac{\partial \mathcal{F}}{\partial I}(S_0,0)e^{-s\tau }=0.\end{array}$$

(10)

• Case (i), when $\tau =0$.

Therefore, the disease-free equilibrium point is locally asymptotically stable if $\frac{\partial \mathcal{F}}{\partial I}(S_0,0)<\rho +\mu +\delta$ or ${\mathcal{R}}_0<1$.

• Case (ii), when $\tau \ne 0$.

In this case, Equation (10) becomes

$$\begin{array}{cc}\hfill & s^{\alpha }+\rho +\mu +\delta -\frac{\partial \mathcal{F}}{\partial I}(S_0,0)e^{-s\tau }=0.\hfill \end{array}$$

(11)

Put $s=iw,w>0$

$$\begin{array}{cc}\hfill & {(iw)}^{\alpha }+\rho +\mu +\delta -\frac{\partial \mathcal{F}}{\partial I}(S_0,0)e^{-iw\tau }=0,\hfill \\ \hfill & w^{\alpha }(cos\frac{\pi \alpha }{2}+isin\frac{\pi \alpha }{2})+\rho +\mu +\delta -\frac{\partial \mathcal{F}}{\partial I}(S_0,0)cosw\tau +\frac{\partial \mathcal{F}}{\partial I}(S_0,0)sinw\tau =0.\hfill \end{array}$$

Separate the real and imaginary parts of the above equation

$$\begin{array}{cc}\hfill & w^{\alpha }cos\frac{\pi \alpha }{2}+\rho +\mu +\delta =\frac{\partial \mathcal{F}}{\partial I}(S_0,0)cosw\tau ,\hfill \\ \hfill & w^{\alpha }sin\frac{\pi \alpha }{2}=-\frac{\partial \mathcal{F}}{\partial I}(S_0,0)sinw\tau .\hfill \end{array}$$

If we square and add both sides, one can have

$$\begin{array}{cc}\hfill & w^{2\alpha }+2(\rho +\mu +\delta )cos\frac{\pi \alpha }{2}{w}^{\alpha }+{(\rho +\mu +\delta )}^2-{\left(\frac{\partial \mathcal{F}}{\partial I}(S_0,0)\right)}^2=0.\hfill \end{array}$$

(12)

Obviously, $w^{\alpha }>0$, $cos\frac{\pi \alpha }{2}>0$ and the assumption $\frac{\partial \mathcal{F}}{\partial I}(S_0,0)<\rho +\mu +\delta$ imply that the Equation (12) has no real solutions. Furthermore, we can infer that Equation (11) has no purely imaginary roots (eigenvalues) for any $\tau >0.$ From Lemma 1 in [10] and Corollary 3 in [33], the equilibrium point $E_0$ is asymptotically stable for delay $\tau \ge 0.$ □

For $\tau =0$, it has been shown in [34] that the steady-state is locally asymptotically stable if all the eigenvalues satisfy the condition ${\displaystyle |arg{\lambda }_i|>\frac{\alpha \pi }{2}}$. The fractional order enlarges the stability region of the solution of the model.

Next, we discuss the local stability at an endemic equilibrium point $E_1$, at which the characteristic equation is

$$\left|\begin{array}{ccc}{\displaystyle s^{\alpha }+a_1}& {\displaystyle a_2{e}^{-s\tau }}& {\displaystyle 0}\\ {\displaystyle a_3}& {\displaystyle s^{\alpha }+a_4-a_2{e}^{-s\tau }}& {\displaystyle 0}\\ {\displaystyle 0}& {\displaystyle a_5}& {\displaystyle s^{\alpha }+a_6}\end{array}\right|=0.$$

Therefore,

$$\begin{array}{cc}\hfill & s^{3\alpha }+s^{2\alpha }(a_1+a_4+a_6)+s^{\alpha }(a_1{a}_6+a_4(a_1+a_6))+a_1{a}_4{a}_6\hfill \\ & -e^{-s\tau }\left(a_2{s}^{2\alpha }+(a_2(a_1+a_6)+a_2{a}_3)s^{\alpha }+a_2{a}_6(a_1+a_3)\right)=0,\hfill \end{array}$$

(13)

$$\begin{array}{cc}\hfill \mathrm{where},& a_1=\mu +\frac{\partial \mathcal{F}}{\partial S}(S_1,I_1),a_2=\frac{\partial \mathcal{F}}{\partial I}(S_1,I_1),a_3=-\frac{\partial \mathcal{F}}{\partial S}(S_1,I_1),a_4=\rho +\mu +\delta ,\hfill \\ & a_5=-\rho ,a_6=\mu ,A_1=a_1+a_4+a_6,A_2=a_1{a}_6+a_4(a_1+a_6),A_3=a_1{a}_4{a}_6,A_4=-a_2,\hfill \\ & A_5=-(a_2(a_1+a_6)+a_2{a}_3),A_6=-(a_2{a}_6(a_1+a_3)).\hfill \end{array}$$

The discriminant of (13) is given by

$$D(s^{\alpha })=-\left|\begin{array}{ccccc}{\displaystyle 1}& {\displaystyle A_1+A_4}& {\displaystyle A_2+A_5}& {\displaystyle A_3+A_6}& {\displaystyle 0}\\ {\displaystyle 0}& {\displaystyle 1}& {\displaystyle A_1+A_4}& {\displaystyle A_2+A_5}& {\displaystyle A_3+A_6}\\ {\displaystyle 3}& {\displaystyle 2(A_1+A_4)}& {\displaystyle A_2+A_5}& {\displaystyle 0}& {\displaystyle 0}\\ {\displaystyle 0}& {\displaystyle 3}& {\displaystyle 2(A_1+A_4)}& {\displaystyle A_2+A_5}& {\displaystyle 0}\\ {\displaystyle 0}& {\displaystyle 0}& {\displaystyle 3}& {\displaystyle 2(A_1+A_4)}& {\displaystyle A_2+A_5}\end{array}\right|$$

$$\begin{array}{cc}\hfill =& 18(A_1+A_4)(A_2+A_5)(A_3+A_6)+{[(A_1+A_4)(A_2+A_5)]}^2-4{(A_1+A_4)}^3(A_3+A_6)\hfill \\ \hfill & -4{(A_2+A_5)}^3-27{(A_3+A_6)}^2.\hfill \end{array}$$

Theorem 2.

Let $A_6^2-A_3^2\ge 0,A_2^2-2(A_1+A_4)A_6-A_5^2>0$, then the interior equilibrium point $E_1$ is locally asymptotically stable for $\tau \ge 0,$ if the following conditions are satisfied

(i) 

$D(s^{\alpha })>0,A_1+A_4>0,(A_3+A_6)>0,(A_1+A_4)(A_2+A_5)-(A_3+A_6)>0$ (or)

(ii) 

$D(s^{\alpha })<0,A_1+A_4>0,(A_2+A_5)>0,(A_1+A_4)(A_2+A_5)=(A_3+A_6),\alpha \in (2/3,1).$

Proof. 

Case (i) $\tau =0,$ Equation (13) becomes

$$s^{3\alpha }+s^{2\alpha }(A_1+A_4)+s^{\alpha }(A_2+A_5)+(A_3+A_6)=0.$$

Based on [35], the point $E_1$ is asymptotically stable if the following hold:

(i)

$D(s^{\alpha })>0,A_1+A_4>0,(A_3+A_6)>0,(A_1+A_4)(A_2+A_5)-(A_3+A_6)>0$ (or)

(ii)

$D(s^{\alpha })<0,A_1+A_4>0,(A_2+A_5)>0,(A_1+A_4)(A_2+A_5)=(A_3+A_6),\alpha \in (2/3,1).$

Case (ii) $\tau \ne 0$, let us assume that the equation (13) has pure imaginary roots $s=\pm iw,$ for $\tau >0,$ then we will finally obtain that if $A_6^2-A_3^2\ge 0,$ and $A_2^2-2(A_1+A_4)A_6-A_5^2>0$ are satisfied. Similarly to the proof of Theorem 1, it is hence omitted. Therefore, all the roots of Equation (13) are the negative real part for all $\tau >0.$ □

Holling Type III Functional Response

In this subsection, we consider the system (5) in the case with the Holling type III functional response. That is, we take ${\displaystyle \mathcal{F}(S,I)=\frac{\beta S^{2}I}{1+\eta S^2},}$ as an incidence rate function. We derive the linearized system, and applying the Laplace transform, one can finally get the following characteristic matrix at $(S^{*},I^{*},R^{*})$,

$$\Delta (s)=\left(\begin{array}{ccc}{\displaystyle s^{\alpha }+\mu +\frac{\beta I^{*}}{{(1+\eta {(S^{*})}^2)}^2}}& {\displaystyle \frac{\beta {(S^{*})}^2}{1+\eta {(S^{*})}^2}{e}^{-s\tau }}& {\displaystyle 0}\\ {\displaystyle -\frac{\beta I^{*}}{{(1+\eta {(S^{*})}^2)}^2}}& {\displaystyle s^{\alpha }+\rho +\mu +\delta -\frac{\beta {(S^{*})}^2}{1+\eta {(S^{*})}^2}{e}^{-s\tau }}& {\displaystyle 0}\\ {\displaystyle 0}& {\displaystyle -\rho }& {\displaystyle s^{\alpha }+\mu }\end{array}\right).$$

Theorem 3.

The disease-free equilibrium point $E_0=(S_0,I_0,R_0)=(\Psi /\mu ,0,0)$ is locally asymptotically stable if

$$\frac{\beta {(S_0)}^2}{1+\eta S_0^2}<\rho +\mu +\delta .$$

Proof. 

The characteristic equation at $E_0$ is described by

$$\begin{array}{c}\hfill s^{\alpha }+\mu =0,s^{\alpha }+\rho +\mu +\delta -\frac{\beta {(S_0)}^2}{1+\eta {(S_0)}^2}{e}^{-s\tau }=0.\end{array}$$

(14)

• Case (i) when $\tau =0$.

Therefore, the disease-free equilibrium point is locally asymptotically stable if $\frac{\beta {(S_0)}^2}{1+\eta S_0^2}<\rho +\mu +\delta .$

• Case(ii) When $\tau \ne 0$.

In this case, Equation (14) becomes

$$\begin{array}{cc}\hfill & s^{\alpha }+\rho +\mu +\delta -\frac{\beta {(S_0)}^2}{1+\eta {(S_0)}^2}{e}^{-s\tau }=0.\hfill \end{array}$$

(15)

Put $s=iw,w>0$

$$\begin{array}{cc}\hfill & {(iw)}^{\alpha }+\rho +\mu +\delta -\frac{\beta {(S_0)}^2}{1+\eta {(S_0)}^2}{e}^{-iw\tau }=0,\hfill \\ \hfill & w^{\alpha }(cos\frac{\pi \alpha }{2}+isin\frac{\pi \alpha }{2})+\rho +\mu +\delta -\frac{\beta {(S_0)}^2}{1+\eta {(S_0)}^2}cosw\tau +\frac{\beta {(S_0)}^2}{1+\eta {(S_0)}^2}sinw\tau =0.\hfill \end{array}$$

Separate the real and imaginary parts of the above equation

$$\begin{array}{cc}\hfill & w^{\alpha }cos\frac{\pi \alpha }{2}+\rho +\mu +\delta =\frac{\beta {(S_0)}^2}{1+\eta {(S_0)}^2}cosw\tau ,\hfill \\ \hfill & w^{\alpha }sin\frac{\pi \alpha }{2}=-\frac{\beta {(S_0)}^2}{1+\eta {(S_0)}^2}sinw\tau .\hfill \end{array}$$

If we square and add both sides, one can have

$$\begin{array}{cc}\hfill & w^{2\alpha }+2(\rho +\mu +\delta )cos\frac{\pi \alpha }{2}{w}^{\alpha }+{(\rho +\mu +\delta )}^2-{\left(\frac{\beta {(S_0)}^2}{1+\eta {(S_0)}^2}\right)}^2=0.\hfill \end{array}$$

(16)

Obviously, $w^{\alpha }>0$, $cos\frac{\pi \alpha }{2}>0$ and the assumption $\frac{\beta {(S_0)}^2}{1+\eta S_0^2}<\rho +\mu +\delta ,$ imply that the Equation (16) has no real solutions. Furthermore, we can infer that Equation (15) has no purely imaginary roots for any $\tau >0.$ From Lemma 1 in [10] and Corollary 3 in [33], the equilibrium point $E_0$ is asymptotically stable for delay $\tau \ge 0.$ □

The local stability at an endemic equilibrium point $E_1$ for this case, follows the same proof of Theorem 2.

4. Global Stability Analysis

Now, we study the global stability of the infection-free and endemic steady-states using a certain Lyapunov functional. Summing all equations in (5) yields

$${\mathcal{D}}^{\alpha }S(t)+{\mathcal{D}}^{\alpha }I(t)+{\mathcal{D}}^{\alpha }R(t)=\Psi -\mu S(t)-(\mu +\delta )I(t)-\mu R(t)\le \Psi -\mu \left(S(t)+I(t)+R(t)\right).$$

One can easily show that the last inequality implies that

$$S(t)+I(t)+R(t)\le \left(S(0)+I(0)+R(0)-{\displaystyle \frac{\Psi }{\mu }}\right){\mathcal{E}}_{\alpha }(\mu t^{\alpha })+{\displaystyle \frac{\Psi }{\mu }},$$

where ${\mathcal{E}}_{\alpha }$ is the standard Mittag–Leffler function, see Appendix A for the definition. The last inequality implies that if $S(0)+I(0)+R(0)\le {\displaystyle \frac{\Psi }{\mu }}$, then $S(t)+I(t)+R(t)\le {\displaystyle \frac{\Psi }{\mu }}$. In other words, the region

$$\Omega =\{(S,I,R)|S>0,I\ge 0,R\ge 0;S+I+R\le \Psi /\mu \}$$

is a positively invariant set of the system (5). Thus, we consider the model (5) in a biologically feasible region $\Omega$.

Theorem 4.

Assume that (A1)–(A3) hold and ${\mathcal{R}}_0\le 1$. Then, the disease-free steady-state solution $E_0(S_0,I_0)$ is globally asymptotically stable.

Proof. 

Let us consider the following Lyapunov functional:

$$V_1(S(t),I(t))=S(t)-S_0-{\mathcal{I}}_{[0,t]}^{\alpha }\left[\underset{I\to 0}{lim}\frac{\mathcal{F}(S_0,I(t))}{\mathcal{F}(S(t),I(t))}{}_0{\mathcal{D}}^{\alpha }S(t)\right]+(\mu +\rho +\delta ){\mathcal{I}}_{[t-\tau ,t]}^{\alpha }\left[I(t)\right]+I(t).$$

Note that $V_1(S_0,0)=0$ and $(\mu +\rho +\delta ){\mathcal{I}}_{[t-\tau ,t]}^{\alpha }\left[I(t)\right]+I(t)\ge 0$ since $I\ge 0.$ Further, since ${\displaystyle \underset{I\to 0}{lim}\frac{\mathcal{F}(S_0,I(t))}{\mathcal{F}(S(t),I(t))}>1}$ it follows that ${\displaystyle S(t)-S_0-{\mathcal{I}}_{[0,t]}^{\alpha }\left[\underset{I\to 0}{lim}\frac{\mathcal{F}(S_0,I(t))}{\mathcal{F}(S(t),I(t))}{}_0{\mathcal{D}}^{\alpha }S(t)\right]\ge S(t)-S_0-{\mathcal{I}}_{[0,t]}^{\alpha }\left({}_0{\mathcal{D}}^{\alpha }S(t)\right)\ge 0.}$ Thus, $V_1(S(t),I(t))$ is positive-definite. Differentiating $V_1(S(t),I(t))$ in fractional-order along the trajectories of (5) yields:

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill {}_0{\mathcal{D}}^{\alpha }{V}_1(S(t),I(t))& =\Psi -\mu S(t)-\mathcal{F}(S(t),I(t-\tau ))\hfill \\ & -\underset{I(t)\to 0}{lim}\frac{\mathcal{F}(S_0,I(t))}{\mathcal{F}(S(t),I(t))}\left(\Psi -\mu S(t)-\mathcal{F}(S(t),I(t-\tau ))\right)\hfill \\ & +(\mu +\rho +\delta )I(t)-(\mu +\rho +\delta )I(t-\tau )+\mathcal{F}(S(t),I(t-\tau ))-(\mu +\rho +\delta )I(t)\hfill \\ & =\Psi \left(1-\frac{\mu }{\Psi }S(t)\right)\left(1-\underset{I\to 0}{lim}\frac{\mathcal{F}(S_0,I(t))}{\mathcal{F}(S(t),I(t))}\right)\hfill \\ & +\mathcal{F}(S(t),I(t-\tau ))\underset{I\to 0}{lim}\frac{\mathcal{F}(S_0,I(t))}{\mathcal{F}(S(t),I(t))}-(\mu +\rho +\delta )I(t-\tau )\hfill \\ & =\Psi \left(1-\frac{S(t)}{S_0}\right)\left(1-\underset{I\to 0}{lim}\frac{\mathcal{F}(S_0,I(t))}{\mathcal{F}(S(t),I(t))}\right)\hfill \\ & +(\mu +\rho +\delta )I(t-\tau )\left(\frac{\mathcal{F}(S(t),I(t-\tau ))}{(\mu +\rho +\delta )I(t-\tau )}\underset{I\to 0}{lim}\frac{\mathcal{F}(S_0,I(t))}{\mathcal{F}(S(t),I(t))}-1\right).\hfill \end{array}\end{array}$$

By theorem hypotheses, and from the monotonicity of $\mathcal{F}(S,I)$ with respect to S, we have

$$\left(1-\frac{S(t)}{S_0}\right)\left(1-\underset{I\to 0}{lim}\frac{\mathcal{F}(S_0,I(t))}{\mathcal{F}(S(t),I(t))}\right)\le 0.$$

The concavity of $\mathcal{F}(S,I)$ with respect to I leads to ${\displaystyle \mathcal{F}(S,I)\le I\frac{\partial \mathcal{F}(S,0)}{\partial I}}$, and hence we have

$$\mathcal{F}(S(t),I(t-\tau ))\le I(t-\tau )\frac{\partial \mathcal{F}(S(t),0)}{\partial I}.$$

Therefore,

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \frac{\mathcal{F}(S(t),I(t-\tau ))}{(\mu +\rho +\delta )I(t-\tau )}\underset{I\to 0}{lim}\frac{\mathcal{F}(S_0,I(t))}{\mathcal{F}(S(t),I(t))}& =\frac{\mathcal{F}(S(t),I(t-\tau ))}{(\mu +\rho +\delta )I(t-\tau )}\frac{\frac{\partial \mathcal{F}(S_0,0)}{\partial I}}{\frac{\partial \mathcal{F}(S(t),0)}{\partial I}}\hfill \\ & \le \frac{I(t-\tau )}{(\mu +\rho +\delta )I(t-\tau )}\frac{\partial \mathcal{F}(S_0,0)}{\partial I}={\mathcal{R}}_0.\hfill \end{array}\end{array}$$

Thus, ${\displaystyle {}_0{D}^{\alpha }{V}_1(S(t),I(t))\le 0}$ for all $S,I>0$. On the other hand, one can show that the largest invariant set of ${\displaystyle {}_0{D}^{\alpha }{V}_1(S(t),I(t))=0}$ is the singleton $E_0(S_0,I_0)$, that is, the disease-free steady-state solution. Thus, by the Lyapunov–Lasalle theorem for FODE (Lemma 4.6 in [11]), we conclude that $E_0(S_0,I_0)$ is globally asymptotically stable. This finalizes the proof. □

In what follows, the auxiliary lemma on the estimate of a Volterra-type Lyapunov function will be useful to prove the global stability of the endemic steady-state solution.

Lemma 2.

[4] Suppose that $x(t)\in C\left(\mathbb{R},{\mathbb{R}}^{+}\right)$ is a differentiable function in the Caputo sense. Then,

$${}_{t_0}{\mathcal{D}}^{\alpha }\left(x(t)-x^{*}-x^{*}ln\frac{x(t)}{x^{*}}\right)\le \left(1-\frac{x(t)}{x^{*}}\right){}_{t_0}{\mathcal{D}}^{\alpha }x(t),$$

for $t\ge t_0,$$x^{*}\in {\mathbb{R}}^{+},$ and $\alpha \in (0,1).$

To carry out further stability analysis, we need the following condition:

(A4)

$$\frac{I}{I^{*}}\le \frac{\mathcal{F}(S,I)}{\mathcal{F}(S,I^{*})}\le 1\mathrm{for}0<I\le I^{*},$$

$$1\le \frac{\mathcal{F}(S,I)}{\mathcal{F}(S,I^{*})}\le \frac{I}{I^{*}}\mathrm{for}I\ge I^{*}.$$

Theorem 5.

Assume that (A1)−(A4) hold and ${\mathcal{R}}_0>1$. Then, the endemic positive equilibrium state $E^{*}(S^{*},I^{*})$ is globally asymptotically stable.

Consider the following Lyapunov function: $V_2(S,I)=S(t)-S^{*}-{\mathcal{I}}_{[0,t]}^{\alpha }\left(\frac{\mathcal{F}(S^{*},I^{*})}{\mathcal{F}(S(t),I^{*})}{}_0{\mathcal{D}}^{\alpha }S(t)\right)$ + $I(t)-I^{*}-I^{*}ln\frac{I(t)}{I^{*}}+\frac{\mathcal{F}(S^{*},I^{*})}{I^{*}}{\mathcal{I}}_{[t-\tau ,t]}^{\alpha }\left(I(t)-I^{*}-I^{*}ln\frac{I(t)}{I^{*}}\right).$ Note that $V_2(S^{*},I^{*})=0$, $I(t)-I^{*}-I^{*}ln\frac{I(t)}{I^{*}}\ge 0$ and $\frac{\mathcal{F}(S^{*},I^{*})}{I^{*}}{\mathcal{I}}_{[t-\tau ,t]}^{\alpha }\left(I(t)-I^{*}-I^{*}ln\frac{I(t)}{I^{*}}\right)\ge 0$ since $x-x^{*}-x^{*}ln\frac{x}{x^{*}}$ is a Volterra-type Lyapunov function for any $x,x^{*}\ge 0$. Due to monotonicity of the function $\mathcal{F}(S,I)$, we have $\mathcal{F}(S(t),I^{*})\ge \mathcal{F}(S^{*},I^{*})$ if $S(t)\ge S^{*}$ and $\mathcal{F}(S(t),I^{*})\le \mathcal{F}(S^{*},I^{*})$ if $S(t)\le S^{*}$. In either case, one can show that $S(t)-S^{*}-{\mathcal{I}}_{[0,t]}^{\alpha }\left(\frac{\mathcal{F}(S^{*},I^{*})}{\mathcal{F}(S(t),I^{*})}{}_0{\mathcal{D}}^{\alpha }S(t)\right)\ge S(t)-S^{*}-{\mathcal{I}}_{[0,t]}^{\alpha }\left({}_0{\mathcal{D}}^{\alpha }S(t)\right)=0.$ Thus, $V_2(S,I)$ is a Lyapunov functional. Differentiating $V_2(S(t),I(t))$ in fractional-order along the trajectories of (5) and implementing Lemma 2 together with (7) yields

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill {}_0{\mathcal{D}}^{\alpha }{V}_2(S,I)& \le \Psi -\mu S(t)-\mathcal{F}(S(t),I(t-\tau ))-\frac{\mathcal{F}(S^{*},I^{*})}{\mathcal{F}(S(t),I^{*})}{}_0{\mathcal{D}}^{\alpha }S(t)\hfill \\ & +\mathcal{F}(S(t),I(t-\tau ))-(\mu +\rho +\delta )I(t)\hfill \\ & -\frac{I^{*}}{I(t)}\left(\mathcal{F}(S(t),I(t-\tau ))-(\mu +\rho +\delta )I(t)\right)\hfill \\ & +\frac{\mathcal{F}(S^{*},I^{*})}{I^{*}}\left(I(t)-I(t-\tau )+I^{*}ln\frac{I(t-\tau )}{I(t)}\right)\hfill \\ & =\mu S^{*}+\mathcal{F}(S^{*},I^{*})-\mu S(t)-\frac{\mathcal{F}(S^{*},I^{*})}{\mathcal{F}(S(t),I^{*})}{}_0{\mathcal{D}}^{\alpha }S(t)-(\mu +\rho +\delta )I(t)\hfill \\ & -\frac{I^{*}}{I(t)}\left(\mathcal{F}(S(t),I(t-\tau ))-(\mu +\rho +\delta )I(t)\right)\hfill \\ & +\frac{\mathcal{F}(S^{*},I^{*})}{I^{*}}(I(t)-I(t-\tau )+I^{*}ln\frac{I(t-\tau )\mathcal{F}(S(t),I^{*})}{I^{*}\mathcal{F}(S(t),I(t-\tau ))}\hfill \\ & +I^{*}ln\frac{I^{*}\mathcal{F}(S(t),I(t-\tau ))}{I(t)\mathcal{F}(S^{*},I^{*})}+I^{*}ln\frac{\mathcal{F}(S^{*},I^{*})}{\mathcal{F}(S(t),I^{*})})\hfill \\ & =\mu S^{*}\left(1-\frac{S(t)}{S^{*}}\right)+\mathcal{F}(S^{*},I^{*})\hfill \\ & -\frac{\mathcal{F}(S^{*},I^{*})}{\mathcal{F}(S(t),I^{*})}\left(\mu S^{*}+\mathcal{F}(S^{*},I^{*})-\mu S(t)-\mathcal{F}(S(t),I(t-\tau ))\right)\hfill \\ & -(\mu +\rho +\delta )I(t)-\frac{I^{*}}{I(t)}\mathcal{F}(S(t),I(t-\tau ))\hfill \\ & +(\mu +\rho +\delta )I^{*}+(\mu +\rho +\delta )I(t)\hfill \\ & +\frac{\mathcal{F}(S^{*},I^{*})}{I^{*}}(-I(t-\tau )+I^{*}ln\frac{I(t-\tau )\mathcal{F}(S(t),I^{*})}{I^{*}\mathcal{F}(S(t),I(t-\tau ))}\hfill \\ & +I^{*}ln\frac{I^{*}\mathcal{F}(S(t),I(t-\tau ))}{I(t)\mathcal{F}(S^{*},I^{*})}+I^{*}ln\frac{\mathcal{F}(S^{*},I^{*})}{\mathcal{F}(S(t),I^{*})})\hfill \\ & =\mu S^{*}\left(1-\frac{S(t)}{S^{*}}\right)\left(1-\frac{\mathcal{F}(S^{*},I^{*})}{\mathcal{F}(S(t),I^{*})}\right)\hfill \\ & +\mathcal{F}(S^{*},I^{*})\left(1-\frac{\mathcal{F}(S^{*},I^{*})}{\mathcal{F}(S(t),I^{*})}+ln\frac{\mathcal{F}(S^{*},I^{*})}{\mathcal{F}(S(t),I^{*})}\right)\hfill \\ & +\mathcal{F}(S^{*},I^{*})\left(1-\frac{I^{*}\mathcal{F}(S(t),I(t-\tau ))}{I(t)\mathcal{F}(S^{*},I^{*})}+ln\frac{I^{*}\mathcal{F}(S(t),I(t-\tau ))}{I(t)\mathcal{F}(S^{*},I^{*})}\right)\hfill \\ & +\mathcal{F}(S^{*},I^{*})\left(1-\frac{I(t-\tau )\mathcal{F}(S(t),I^{*})}{I^{*}\mathcal{F}(S(t),I(t-\tau ))}+ln\frac{I(t-\tau )\mathcal{F}(S(t),I^{*})}{I^{*}\mathcal{F}(S(t),I(t-\tau ))}\right)\hfill \\ & +\mathcal{F}(S^{*},I^{*})\left(-1-\frac{I(t-\tau )}{I^{*}}+\frac{\mathcal{F}(S(t),I(t-\tau ))}{\mathcal{F}(S(t),I^{*})}+\frac{I(t-\tau )\mathcal{F}(S(t),I^{*})}{I^{*}\mathcal{F}(S(t),I(t-\tau ))}\right).\hfill \end{array}\end{array}$$

After factoring the last term of the above expression, we obtain

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill {}_0{\mathcal{D}}^{\alpha }{V}_2(S,I)& \le \mu S^{*}\left(1-\frac{S(t)}{S^{*}}\right)\left(1-\frac{\mathcal{F}(S^{*},I^{*})}{\mathcal{F}(S(t),I^{*})}\right)\hfill \\ & +\mathcal{F}(S^{*},I^{*})\left(1-\frac{\mathcal{F}(S^{*},I^{*})}{\mathcal{F}(S(t),I^{*})}+ln\frac{\mathcal{F}(S^{*},I^{*})}{\mathcal{F}(S(t),I^{*})}\right)\hfill \\ & +\mathcal{F}(S^{*},I^{*})\left(1-\frac{I^{*}\mathcal{F}(S(t),I(t-\tau ))}{I(t)\mathcal{F}(S^{*},I^{*})}+ln\frac{I^{*}\mathcal{F}(S(t),I(t-\tau ))}{I(t)\mathcal{F}(S^{*},I^{*})}\right)\hfill \\ & +\mathcal{F}(S^{*},I^{*})\left(1-\frac{I(t-\tau )\mathcal{F}(S(t),I^{*})}{I^{*}\mathcal{F}(S(t),I(t-\tau ))}+ln\frac{I(t-\tau )\mathcal{F}(S(t),I^{*})}{I^{*}\mathcal{F}(S(t),I(t-\tau ))}\right)\hfill \\ & +\mathcal{F}(S^{*},I^{*})\left(\frac{I(t-\tau )}{I^{*}}-\frac{\mathcal{F}(S(t),I(t-\tau ))}{\mathcal{F}(S(t),I^{*})}\right)\left(\frac{\mathcal{F}(S(t),I^{*})}{\mathcal{F}(S(t),I(t-\tau ))}-1\right).\hfill \end{array}\end{array}$$

(17)

Due to the monotonicity of $\mathcal{F}(S,I)$ with respect to S, we have

$$\left(1-\frac{S(t)}{S^{*}}\right)\left(1-\frac{\mathcal{F}(S^{*},I^{*})}{\mathcal{F}(S(t),I^{*})}\right)\le 0.$$

Moreover, since $x-1-lnx$ is a Volterra-type Lyapunov function with $x^{*}=1$, we have $1-x+lnx\le 0.$ Thus, the second, third, and fourth lines in (17) are non-positive. Finally, the condition (A4) implies that

$$\left(\frac{I(t-\tau )}{I^{*}}-\frac{\mathcal{F}(S(t),I(t-\tau ))}{\mathcal{F}(S(t),I^{*})}\right)\left(\frac{\mathcal{F}(S(t),I^{*})}{\mathcal{F}(S(t),I(t-\tau ))}-1\right)\le 0.$$

Hence, ${\displaystyle {}_0{\mathcal{D}}^{\alpha }{V}_2(S,I)\le 0}$ holds for $S,I>0$, since $\mu S^{*}$ and $\mathcal{F}(S^{*},I^{*})$ are positive numbers. Thus, by the similar arguments as in Theorem 4, we conclude that $E^{*}(S^{*},I^{*})$ is globally asymptotically stable. □

5. Numerical Simulations

To illustrate the theoretical results obtained in the previous sections, we provide a numerical scheme for finding the solution of the fractional-order ODEs. To this end, we follow the modified Adams—Bashforth—Moulton method which has proven to be an effective tool to numerically solve fractional-order delay differential equations [5,7,9]. Let us highlight the main features of the algorithm of the modified Adams—Bashforth—Moulton method. In this regard, consider the following fractional-order delay differential equation.

$$\begin{array}{ccc}\hfill & & {\displaystyle {\mathcal{D}}^{\alpha }x(t)=f(t,x(t),x(t-\tau )),t\in J=[0,T],}\hfill \\ & & {\displaystyle x(t)=\varphi (t),t\in [-\tau ,0],\alpha \in (0,1],}\hfill \end{array}$$

(18)

where $x(t)={[x_1(t),x_2(t),\cdots ,x_n(t)]}^T$ and $f:J\times {\mathbb{R}}^n\times {\mathbb{R}}^n\to {\mathbb{R}}^n$ is a Lipschitz-continuous function. This initial value problem is equivalent to the following Volterra-integral equation

$$x(t)=\varphi (0)+\frac{1}{\Gamma (\alpha )}{\int }_0^t{(t-s)}^{\alpha -1}f(s,x(s),x(s-\tau ))ds.$$

(19)

For given mesh points, $\mathcal{T}=\left\{t_{-m},t_{-m+1,},\cdots ,t_{-1},t_0,t_1,\cdots t_n\right\}$ with step-size $h=\tau /m$ such that $t_{-m}=-\tau ,t_0=0$ and $t_n=T$ let $x_{\mathcal{F}}(t_i)=\varphi (t_i)$ and $x_{\mathcal{F}}(t_i-\tau )=\varphi (t_{i}h-mh)$ for $i=-m,-m+1,\cdots ,0$. Assume further that $x_{\mathcal{F}}(t_i)\approx x(t_i)$ are calculated for $i=-m,-m+1,\cdots ,n$. Then the numerical scheme for the integral Equation (19) is given by

$$x_{\mathcal{F}}(t_{n+1})=\varphi (0)+\frac{1}{\Gamma (\alpha )}{\int }_0^{t_{n+1}}{(t_{n+1}-s)}^{\alpha -1}f(s,x(s),x(s-\tau ))ds.$$

(20)

Next, we consider the nodes $t_i,i=0,\cdots ,n=1,$ with the weight function ${(t_{n+1}-s)}^{\alpha -1}$ and apply the product trapezoidal quadrature formula to approximate the integral of (20) on the right-hand side.

$${\int }_0^{t_{n+1}}{(t_{n+1}-s)}^{\alpha -1}f(s,x(s),x(s-\tau ))ds\approx {\displaystyle \frac{h^{\alpha }}{\alpha (\alpha +1)}}\sum _{i=1}^{n+1}{r}_{i,n+1}f(t_i,x(t_i),x(t_i-\tau )),$$

(21)

where

$$r_{i,n+1}=\left\{\begin{array}{cc}{n}^{\alpha +1}-(n-\alpha )(n+1)\alpha ,\hfill & \mathrm{for}i=0\hfill \\ {(n-i+2)}^{\alpha +1}-(n-\alpha ){(n+1)}^{\alpha }-2{(n-i+1)}^{\alpha +1},\hfill & \mathrm{for}1\le i\le n\hfill \\ 1,\hfill & \mathrm{for}i=n+1\hfill \end{array}\right..$$

Hence, we can formulate the numerical scheme for the IVP (18) as follows.

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill x_{\mathcal{F}}(t_{n+1})& =\varphi (0)+\frac{h^{\alpha }}{\Gamma (\alpha +2)}f(t_{n+1},x(t_{n+1}),x(t_{n+1}-\tau ))\hfill \\ & +\frac{h^{\alpha }}{\Gamma (\alpha +2)}\sum _{i=1}^n{r}_{i,n+1}f(t_i,x(t_i),x(t_i-\tau ))\hfill \\ & =\varphi (0)+\frac{h^{\alpha }}{\Gamma (\alpha +2)}f(t_{n+1},x(t_{n+1}),x(t_{n+1-k}))\hfill \\ & +\frac{h^{\alpha }}{\Gamma (\alpha +2)}\sum _{i=1}^n{r}_{i,n+1}f(t_i,x(t_i),x(t_{i-k})).\hfill \end{array}\end{array}$$

The term $x_{\mathcal{F}}(t_{n+1})$ is approximated by the so-called predictor, $x_h^p(t_{n+1})$, evaluated by the product rectangle rule by means of the Equation (20).

$$x_h^p(t_{n+1})=\varphi (0)+\frac{1}{\Gamma (\alpha )}\sum _{i=1}^n{q}_{i,n+1}f(t_i,x(t_i),x(t_{i-k})),$$

(22)

where

$$q_{i,n+1}=\frac{h^{\alpha }}{\alpha }\left({(n+1-i)}^{\alpha }-{(n-i)}^{\alpha }\right).$$

For the simulation part, we use the algorithm (22) and Holling type III function, ${\displaystyle \mathcal{F}(S,I)=\frac{\beta S^{2}I}{1+\eta S^2},}$ as an incidence rate response for the fractional-order SIR model (5). One can easily check that the conditions (A1)–(A3) are satisfied. Thus, by using the next-generation matrix technique, one can compute the basic reproduction number as ${\mathcal{R}}_0={\displaystyle \frac{\beta {\Psi }^2}{{\mu }^2+\eta {\Psi }^2}}$. Thus, let us write the numerical scheme (22) for the model (5) with Holling type III function:

$$\begin{array}{ccc}\hfill & & {\displaystyle S(t_{n+1})=S(0)+\frac{1}{\Gamma (\alpha )}\sum _{i=1}^n{q}_{i,n+1}\left(\Psi -\mu S(t_i)-\frac{\beta S^2(t_i)I(t_{i-k})}{1+\eta S^2(t_i)}\right),}\hfill \\ & & {\displaystyle I(t_{n+1})=I(0)+\frac{1}{\Gamma (\alpha )}\sum _{i=1}^n{q}_{i,n+1}\left(\frac{\beta S^2(t_i)I(t_{i-k})}{1+\eta S^2(t_i)}-(\rho +\mu +\delta )I(t_i)\right),}\hfill \\ & & {\displaystyle R(t_{n+1})=R(0)+\frac{1}{\Gamma (\alpha )}\sum _{i=1}^n{q}_{i,n+1}\left(\rho I(t_i)-\mu R(t_i)\right),}\hfill \end{array}$$

(23)

where $q_{i,n+1}$ is defined as before.

In what follows, we use different values of $\alpha$ and the parameters to show the effectiveness of the theoretical results obtained in Theorems 4 and 5. For the choice of the parameters $\Psi =0.75$, $\mu =0.5$, $\eta =0.1$, $\beta =0.3$, $\rho =0.15$, $\delta =0.05$, and $\tau =0.1$ we have ${\mathcal{R}}_0=0.551<1$. The numerical simulations in Figure 1 reveal that the susceptible population asymptotically converges to $S_0=1.5=\Psi /\mu$, whereas the infected population asymptotically converges to $I_0=0$ for $\alpha =0.85,0.9,1$. Thus, the disease-free steady-state solution is asymptotically stable. Hence, the numerical simulations support the theoretical result obtained in Theorem 4. On the other hand, for the choice of the parameters $\Psi =0.75$, $\mu =0.3$, $\eta =0.1$, $\beta =0.3$, $\rho =0.15$, $\delta =0.05$, and $\tau =0.1$, one can show that ${\mathcal{R}}_0=1.1538>1$ and there exists a positive steady-state solution $E^{*}=(S^{*},I^{*})=\left(\sqrt{{\displaystyle \frac{\mu +\rho +\delta }{\beta -\eta (\mu +\rho +\delta )}}},{\displaystyle \frac{\Psi -\mu S^{*}}{\mu +\rho +\delta }}\right)=(1.4142,0.6515)$. The numerical simulations in Figure 2 and Figure 3 reveal that the susceptible population asymptotically converges to $S^{*}=1.4142$, whereas the infected population asymptotically converges to $I^{*}=0.6515$ for $\alpha =0.85,0.9,1$. Thus, the endemic steady-state solution is asymptotically stable. Hence, the numerical simulations support the theoretical result obtained in Theorem 5.

6. Concluding Remarks

In the present paper, we studied local and global stability analyses of the delayed fractional-order SIR epidemic model with a general incidence rate function that satisfies some mild conditions. The fractional derivative is considered in the Caputo sense, which is suitable for initial-value problems. The disease-free steady-state solution of the underlying model is locally and globally asymptotically stable when ${\mathcal{R}}_0\le 1$, whereas when ${\mathcal{R}}_0>1$, there exists a positive endemic steady-state solution which is locally and globally asymptotically stable. To illustrate our theoretical results, we considered the Hooling type III functional response as the incidence-rate function and used the modified Adams—Bashforth—Moulton method to simulate an example. Fractional-order differential equations are at least as stable as their integer-order counterparts. Further, the presence of a fractional differential order and time-delay in a differential equation can result in a significant increase in the complexity of the observed behavior, and the solution continuously depends on the previous states.