Skip to main content

A fractional order HIV/AIDS epidemic model with Mittag-Leffler kernel


In this article, we study a fractional order HIV/AIDS infection model with ABC-fractional derivative. The model is based on four classes of a population. The study includes the existence and uniqueness of solution, the stability analysis, and simulations. We utilize the fixed point technique for the existence and uniqueness analysis. The stability of the fractional order model is derived with the help of existing literature for the Hyers–Ulam stability. For the numerical computations, the Lagrange interpolation is utilized, and the simulations are obtained for specific parameters. The results are closer to the classical results for different orders.


Infectious diseases have been documented as an unremitting risk to human beings. Transmissible diseases are those which transfer from animals to humans or from humans to humans. The spread of these diseases occurs through different sources, including airborne viruses, bacteria, and body fluids like blood, urine, spit, breast milk, tears, and many more. Among the transmissible diseases, acquired immunodeficiency syndrome (AIDS) is a transferable disease, and human immunodeficiency virus (HIV) is the causative source for AIDS which weakens the role of the body to fight against diseases and leaves it open to attack of usually safe infections. HIV targets CD4+ T-cells and replicates rapidly. In the initial stage of infection, the plasma holding high level of HIV virus particles covers the whole body and is present in both free virus particles as well the virus within infected immune cells. Because of the important role of CD4+ T-cells in immune regulation, their reduction and destruction causes decrease in the ability of the immune system to fight. The decrease in these cells is used in a clinical examination as pointer for AIDS (see [14] for more details). Recently, scientists have presented several models for the human immune system, and a large number of articles can be studied in the area of HIV infection of CD4+ T-cells to understand HIV infection, HIV dynamics, disease progression, and interaction of the immune system with HIV. In this area, the primary model describing the HIV infection was developed by Perelson [2], which was later on modified by Perelson et al. [3]. They studied that the model shows many of the symptoms of AIDS which were clinically analyzed such as the decrease of CD4+ T-cells, the long latency period, low levels of free virus in the body, and many more.

Recently, some researchers have developed very impressive articles for the mathematical description of the HIV/AIDS models. Among those, Mukandavire et al. [5] presented a mathematical model for the HIV/AIDS spread on sex-base as a delay-system of differential equations and gave the local and global stabilities for their model subjected to the value of basic reproduction number \(R_{0}\). Tabassum et al. [6] developed a nonlinear mathematical model for the HIV/AIDS transmission and examined the necessary conditions required for the well-posedness and boundedness. Dutta and Gupta [7] presented a mathematical model for HIV/AIDS analysis with weak CD4+ T cells and studied the infection, infection-free equilibrium situations.

The modeling in the fractional order has got more valuable attention of scientists due to diverse analysis of dynamical problems. One can see the use of different mathematical techniques for handling these models. For instance, Nazir et al. [8] used the Caputo–Fabrizio derivative sense of fractional order derivative for the study of HIV model. They produced existence, stability, and numerical simulations in their work. Sweilam et al. [9] analyzed a variable order fractional co-infection optimal control model of HIV vs malaria. They described the necessary assumptions for the control of the spread in their study. One can see some more related fractional order models and their analysis in the recent developments in [1015] and many more in the literature.

Keeping in view the importance of mathematical modeling and the use of fractional order operators, we consider the following HIV/AIDS model for the existence, stability, and numerical simulations using the Atangana–Baleanu fractional derivative in the Caputo sense

$$\begin{aligned} \textstyle\begin{cases}{}^{ABC}_{0}\mathcal{D}^{\alpha _{1}}_{t} \mathcal{S}(t) = \pi -\beta (\mathcal{I}(t)-\eta _{c} \mathcal{C}(t)+\eta _{A} \mathcal{A}(t)) \mathcal{S}(t)-\mu _{0} \mathcal{S}(t), \\ {}^{ABC}_{0}\mathcal{D}^{\alpha _{1}}_{t} \mathcal{I}(t) = \beta ( \mathcal{I}(t)-\eta _{c} \mathcal{C}(t)+\eta _{A} \mathcal{A}(t)) \mathcal{S}(t)-(\rho +\phi +\mu _{0})\mathcal{I}(t)\\ \phantom{{}^{ABC}_{0}\mathcal{D}^{\alpha _{1}}_{t} \mathcal{I}(t) =}{}+\omega \mathcal{C}(t)+\alpha \mathcal{A}(t), \\ {}^{ABC}_{0}\mathcal{D}^{\alpha _{1}}_{t} \mathcal{C}(t) = \phi \mathcal{I}(t)-(\omega +\mu _{0})\mathcal{C}(t), \\ {}^{ABC}_{0}\mathcal{D}^{\alpha _{1}}_{t} \mathcal{A}(t) = \rho \mathcal{I}(t)-(\alpha +\mu _{0}+d)\mathcal{A}(t), \end{cases}\displaystyle \end{aligned}$$

where the total population is \(\mathcal{S}(t),\mathcal{I}(t),\mathcal{C}(t),\mathcal{A}(t)\). For this model, \(\{\mathcal{S}(t),\mathcal{I}(t),\mathcal{C}(t),\mathcal{A}(t)\}\) represents the classes as follows: \((\mathcal{S})\) the exposed people with HIV, \((\mathcal{I})\) the contaminated/infected, \((\mathcal{C})\) anti-viral treatment (ART) underneath cure, \(\mathcal{A}(t)\) is the class of people with \(AIDS\). Here, β is the joining rate for HIV diffusion, \(\eta _{A} \geq 1\) is a drug parameter, for irresistibleness of a patient with AIDS side effects, while \(\eta _{C}\geq 1 \) is for the halfway repair of the immune capacity of HIV patients who are treated under ART cure. The model is considered in the ABC sense of fractional derivative. For details, the readers can benefit from [1620].

About the ABC-fractional calculus, we highlight the following useful literature from [2125].

Definition 1.1

The ABC-fractional differential operator on \(\psi \in H^{*}(a,b), b>a\), for \(\alpha _{1} \in [0,1]\) is

$$ ^{ABC} _{a}\mathcal{D}_{\tau }^{\alpha _{1}}\psi ( \tau )= \frac{B(\alpha _{1})}{1-\alpha _{1}} \int _{a}^{\tau }\psi ^{\prime }(s)E_{ \alpha _{1}} \biggl[ \frac{-\alpha _{1} (\tau -s)^{\alpha _{1}}}{1-\alpha _{1}} \biggr]\,ds, $$

where \(B(\alpha _{1})\) satisfies the property \(B(0)=B(1)=1\).

Definition 1.2

For \(\psi \in H^{*}(a,b), b>a, \alpha _{1} \in [0,1]\), the ABR-fractional derivative is

$$ {}^{ABR} _{a}\mathcal{D}_{\tau }^{\alpha _{1}}\psi ( \tau )= \frac{B(\alpha _{1})}{1-\alpha _{1}}\frac{d}{d\tau } \int _{a}^{\tau } \psi (s)E_{\alpha _{1}} \biggl[ \frac{-\alpha _{1} (\tau -s)^{\alpha _{1}}}{1-\alpha _{1}} \biggr]\,ds. $$

Definition 1.3

The AB-integral of \(\psi \in H^{*}(a,b), b>a, 0<\alpha _{1}<1 \) is given by

$$ {}^{AB} _{a}\mathcal{I}_{\tau }^{\alpha _{1}}\psi ( \tau )= \frac{1-\alpha _{1}}{B(\alpha _{1})}\psi (\tau )+ \frac{\alpha _{1}}{B(\alpha _{1})\Gamma (\alpha _{1})} \int _{a}^{\tau } \psi (s) (\tau -s)^{\alpha _{1}-1}\,ds. $$

Lemma 1.4

The AB-fractional derivative and AB-fractional integral of the function ψ satisfy the Newton–Leibniz formula

$$ {}^{AB} _{a}\mathcal{I}_{\tau }^{\alpha _{1}} \bigl({}^{ABC} _{a} \mathcal{D}_{\tau }^{\alpha _{1}} \psi (\tau ) \bigr)=\psi (\tau )-\psi (a). $$

Existence criteria

By the AB-fractional integral and HIV/AIDS model (1), we have

$$\begin{aligned} &\mathcal{S}(t)-\mathcal{S}(0) \\ &\quad=\frac{1-\alpha _{1}}{\beta (\alpha _{1})} \bigl( \pi -\beta \bigl( \mathcal{I}(t)-\eta _{c} \mathcal{C}(t)+\eta _{A}, \mathcal{A}(t) \bigr) \mathcal{S}(t)-\mu _{0} \mathcal{S}(t) \bigr) \\ &\qquad{}+\frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \bigl(\pi -\beta \bigl(\mathcal{I}(t)-\eta _{c} \mathcal{C}(t)+ \eta _{A} \mathcal{A}(t) \bigr) \\ &\qquad{}\times\mathcal{S}(t)-\mu _{0} \mathcal{S}(t) \bigr)\,ds, \\ &\mathcal{I}(t)-\mathcal{I}(0) \\ &\quad=\frac{1-\alpha _{1}}{\beta (\alpha _{1})} \bigl( \beta \bigl( \mathcal{I}(t)-\eta _{c} \mathcal{C}(t)+\eta _{A} \mathcal{A}(t) \bigr) \mathcal{S}(t)-(\rho +\phi +\mu _{0}) \mathcal{I}(t)+\omega \mathcal{C}(t) \\ \begin{aligned} &\qquad{}+\alpha \mathcal{A}(t) \bigr)+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \bigl(\beta \bigl(\mathcal{I}(t) -\eta _{c} \mathcal{C}(t)+ \eta _{A} \mathcal{A}(t) \bigr) \mathcal{S}(t) \\ &\qquad{}-(\rho +\phi +\mu _{0})\mathcal{I}(t)+\omega \mathcal{C}(t)+ \alpha \mathcal{A}(t) \bigr)\,ds, \end{aligned} \\ &\mathcal{C}(t)-\mathcal{C}(0) \\ &\quad=\frac{1-\alpha _{1}}{\beta (\alpha _{1})}( \phi \mathcal{I}(t)-(\omega +\mu _{0}) \mathcal{C}(t)+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \\ &\qquad{}\times \bigl(\phi \mathcal{I}(t)-(\omega +\mu _{0}) \mathcal{C}(t) \bigr)\,ds, \\ &\mathcal{A}(t)-\mathcal{A}(0) \\ &\quad=\frac{1-\alpha _{1}}{\beta (\alpha _{1})} \bigl( \rho \mathcal{I}(t)-( \alpha +\mu _{0} +d)\mathcal{A}(t) \bigr)+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \\ &\qquad{}\times \bigl(\rho \mathcal{I}(t)-(\alpha +\mu _{0} +d) \mathcal{A}(t) \bigr)\,ds. \end{aligned}$$

Assume that the functions \(\mathcal{Q}_{i}\) for \(i=1,2,3,4\) are given as follows:

$$\begin{aligned} &\mathcal{Q}_{1}(t,S) = \pi -\beta \bigl( \mathcal{I}(t)-\eta _{c} \mathcal{C}(t)+\eta _{A} \mathcal{A}(t) \bigr) \mathcal{S}(t)-\mu _{0} \mathcal{S}(t), \end{aligned}$$
$$\begin{aligned} &\mathcal{Q}_{2}(t,\mathcal{I}) = \beta \bigl(\mathcal{I}(t)-\eta _{c} \mathcal{C}(t)+\eta _{A} \mathcal{A}(t) \bigr) \mathcal{S}(t)-(\rho +\phi + \mu _{0}) \mathcal{I}(t)+\omega \mathcal{C}(t)+\alpha \mathcal{A}(t), \end{aligned}$$
$$\begin{aligned} &\mathcal{Q}_{3}(t,\mathcal{C}) = \phi \mathcal{I}(t)-(\omega +\mu _{0}) \mathcal{C}(t), \end{aligned}$$
$$\begin{aligned} &\mathcal{Q}_{3}(t,\mathcal{A}) = \rho \mathcal{I}(t)-(\alpha +\mu _{0}+d) \mathcal{A}(t), \end{aligned}$$
$$\begin{aligned} &\textstyle\begin{cases} \psi _{1} = \mu _{0} + \beta \kappa _{2} + \eta _{c} \kappa _{3}+\eta _{A}\kappa _{4}, \\ \psi _{2} = \mu _{0} +\rho +\phi +\beta \kappa _{1}, \\ \psi _{3} = \mu _{0} + \omega, \\ \psi _{4} = \alpha +d+\mu _{0}. \end{cases}\displaystyle \end{aligned}$$
  • \((\mathcal{B})\) We assume that, for \(\mathcal{S}(t),\mathcal{S}^{*}(t),\mathcal{I}(t),\mathcal{I}^{*}(t), \mathcal{C}(t),\mathcal{C}^{*}(t), \mathcal{A}(t),\mathcal{A}^{*}(t) \in L[0,1]\), there exist constants \(\kappa _{i}>0\), for \(i=1,2,3,4\), such that \(\Vert \mathcal{S}(t) \Vert \leq \kappa _{1}, \Vert I(t) \Vert \leq \kappa _{2}, \Vert C(t) \Vert \leq \kappa _{3}, \Vert A(t) \Vert \leq \kappa _{4}\), and \(\xi _{1}, \xi _{2}>0\), and

    $$\begin{aligned} &\bigl\Vert \mathcal{C}(t) + \mathcal{A}(t) \bigr\Vert \leq \xi _{1}, \end{aligned}$$
    $$\begin{aligned} &\bigl\Vert \mathcal{I}(t) + \mathcal{A}(t) \bigr\Vert \leq \xi _{2}. \end{aligned}$$

Theorem 2.1

The \(\mathcal{Q}_{i}\) for \(i\in \mathcal{N}_{1}^{4}\) satisfies the Lipschitz condition provided that \((\mathcal{B})\) is obeyed.

Consider, for \(\mathcal{Q}_{1}\), the following:

$$\begin{aligned} \bigl\Vert \mathcal{Q}_{1}(t,S)- \mathcal{Q}_{1} \bigl(t,S^{*} \bigr) \bigr\Vert ={}& \bigl\Vert \pi - \beta \bigl( \mathcal{I}(t)-\eta _{c} \mathcal{C}(t)+\eta _{A} \mathcal{A}(t) \bigr) \mathcal{S}(t)-\mu _{0} \mathcal{S}(t) \\ &{}-(\pi -\beta \bigl(\mathcal{I}(t)-\eta _{c} \mathcal{C}(t)+\eta _{A} \mathcal{A}(t) \bigr) \mathcal{S}^{*}(t)-\mu _{0} \mathcal{S}^{*}(t) \bigr\Vert \\ \leq {}& \bigl[\mu _{0} + \beta \Vert I \Vert +\eta _{c} \Vert c \Vert + \eta _{A} \Vert A \Vert \bigr] \bigl\Vert \mathcal{S}-\mathcal{S}^{*} \bigr\Vert \\ \leq{} & [\mu _{0} + \beta \kappa _{2} + \eta _{c} \kappa _{3}+ \eta _{A}\kappa _{4} ] \bigl\Vert \mathcal{S}-\mathcal{S}^{*} \bigr\Vert \\ ={}&\psi _{1} \bigl\Vert \mathcal{S}-\mathcal{S}^{*} \bigr\Vert . \end{aligned}$$

For \(\mathcal{Q}_{2}(t,\mathcal{I})\), we have

$$\begin{aligned} &\bigl\Vert \mathcal{Q}_{2}(t, \mathcal{I})- \mathcal{Q}_{2} \bigl(t,\mathcal{I}^{*} \bigr) \bigr\Vert \\ &\quad= \bigl\Vert \beta \bigl(\mathcal{I}(t)-\eta _{c} \mathcal{C}(t)+\eta _{A} \mathcal{A}(t) \bigr) \mathcal{S}(t)-(\rho + \phi +\mu _{0})\mathcal{I}(t)+ \omega \mathcal{C}(t)+\alpha \mathcal{A}(t) \\ &\qquad{}-(\beta \bigl(\mathcal{I}^{*}(t)-\eta _{c} \mathcal{C}(t)+\eta _{A} \mathcal{A}(t) \bigr) \mathcal{S}(t)-(\rho + \phi +\mu _{0})\mathcal{I}^{*}(t)+ \omega \mathcal{C}(t)+ \alpha \mathcal{A}(t) \bigr\Vert \\ &\quad\leq \bigl[\mu _{0} +\rho +\phi +\beta \Vert \mathcal{S} \Vert \bigr] \bigl\Vert I- \mathcal{I}^{*} \bigr\Vert \\ &\quad\leq [\mu _{0} +\rho +\phi +\beta \kappa _{1} ] \bigl\Vert I- \mathcal{I}^{*} \bigr\Vert \\ &\quad=\psi _{2} \bigl\Vert I-\mathcal{I}^{*} \bigr\Vert . \end{aligned}$$

\(\mathcal{Q}_{3}(t,\mathcal{C})\) implies

$$\begin{aligned} \bigl\Vert \mathcal{Q}_{3}(t, \mathcal{C})- \mathcal{Q}_{3} \bigl(t,\mathcal{C}^{*} \bigr) \bigr\Vert &= \bigl\Vert \phi \mathcal{I}(t)-(\omega +\mu _{0}) \mathcal{C}(t) -(\phi \mathcal{I}(t)-(\omega +\mu _{0}) \mathcal{C}^{*}(t) \bigr\Vert \\ &\leq [\mu _{0} + \omega ] \bigl\Vert C-\mathcal{C}^{*} \bigr\Vert \\ &=\psi _{3} \bigl\Vert C-\mathcal{C}^{*} \bigr\Vert . \end{aligned}$$

And finally, for \(\mathcal{Q}_{4}(t,\mathcal{A})\), we have

$$\begin{aligned} &\bigl\Vert \mathcal{Q}_{4}(t, \mathcal{A})- \mathcal{Q}_{4} \bigl(t,\mathcal{A}^{*} \bigr) \bigr\Vert \\ &\quad= \bigl\Vert \rho \mathcal{I}(t)-(\alpha +\mu _{0}+d) \mathcal{A}(t) - \bigl(\rho \mathcal{I}(t)-(\alpha +\mu _{0}+d) \mathcal{A}^{*}(t) \bigr) \bigr\Vert \\ &\quad\leq [\mu _{0} + \alpha +d ] \bigl\Vert A-\mathcal{A}^{*} \bigr\Vert \\ &\quad=\psi _{4} \bigl\Vert A-\mathcal{A}^{*} \bigr\Vert . \end{aligned}$$

Thus, from (14) to (17), we have that \(\mathcal{Q}_{i}\) for \(i=1,2,3,4\) satisfies the Lipschitz condition. This completes the proof.

Assuming that \(\mathcal{S}(0)=\mathcal{I}(0)=\mathcal{C}(0)=\mathcal{A}(0)=0\), we have

$$\begin{aligned} & \mathcal{S}(t)=\frac{1-\alpha _{1}}{\beta (\alpha _{1})}\mathcal{Q}_{1} \bigl(t, \mathcal{S}(t) \bigr)+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{1} \bigl(s,\mathcal{S}(s) \bigr)\,ds, \end{aligned}$$
$$\begin{aligned} & \mathcal{I}(t)=\frac{1-\alpha _{1}}{\beta (\alpha _{1})}\mathcal{Q}_{2} \bigl(t, \mathcal{I}(t) \bigr)+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{2} \bigl(s,\mathcal{I}(s) \bigr)\,ds, \end{aligned}$$
$$\begin{aligned} & \mathcal{C}(t)=\frac{1-\alpha _{1}}{\beta (\alpha _{1})}\mathcal{Q}_{1} \bigl(t, \mathcal{C}(t) \bigr)+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{3} \bigl(s,\mathcal{C}(s) \bigr)\,ds, \end{aligned}$$
$$\begin{aligned} &\mathcal{A}(t)=\frac{1-\alpha _{1}}{\beta (\alpha _{1})}\mathcal{Q}_{1} \bigl(t, \mathcal{C}(t) \bigr)+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{4} \bigl(s,\mathcal{A}(s) \bigr)\,ds. \end{aligned}$$

For the iterative scheme of model (1), define

$$\begin{aligned} &\mathcal{S}_{n}(t)=\frac{1-\alpha _{1}}{\beta (\alpha _{1})} \mathcal{Q}_{1} \bigl(t,\mathcal{S}_{n-1}(t) \bigr)+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{1} \bigl(s,\mathcal{S}_{n-1}(s) \bigr)\,ds, \\ &\mathcal{I}_{n}(t)=\frac{1-\alpha _{1}}{\beta (\alpha _{1})} \mathcal{Q}_{2} \bigl(t,\mathcal{I}_{n-1}(t) \bigr)+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{2} \bigl(s,\mathcal{I}_{n-1}(s) \bigr)\,ds, \\ &\mathcal{C}_{n}(t)=\frac{1-\alpha _{1}}{\beta (\alpha _{1})} \mathcal{Q}_{1} \bigl(t,\mathcal{C}_{n-1}(t) \bigr)+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{3} \bigl(s,\mathcal{C}_{n-1}(s) \bigr)\,ds, \\ &\mathcal{A}_{n}(t)=\frac{1-\alpha _{1}}{\beta (\alpha _{1})} \mathcal{Q}_{1} \bigl(t,\mathcal{C}_{n-1}(t) \bigr)+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{4} \bigl(s,\mathcal{A}_{n-1}(s) \bigr)\,ds. \end{aligned}$$

Theorem 2.2

The fractional order HIV/AIDS model (1) has a solution if we have

$$\begin{aligned} \Delta = \max \{\Psi _{i}\}< 1,\quad i\in \mathcal{N}_{1}^{4}. \end{aligned}$$

We define the function

$$\begin{aligned} & \mathcal{G}1_{n}(t) = \mathcal{S}_{n+1}(t) - \mathcal{S}(t),\qquad \mathcal{G}2_{n}(t) = \mathcal{I}_{n+1}(t) - \mathcal{I}(t), \end{aligned}$$
$$\begin{aligned} &\mathcal{G}3_{n}(t) = \mathcal{C}_{n+1}(t) - \mathcal{C}(t),\qquad \mathcal{G}4_{n}(t) = \mathcal{A}_{n+1}(t) - \mathcal{A}(t). \end{aligned}$$

Then, using equations (3) to (24), we find that

$$\begin{aligned} \Vert \mathcal{G}1_{n} \Vert \leq {}& \frac{1-\alpha _{1}}{\beta (\alpha _{1})} \bigl\Vert \mathcal{Q}_{1} \bigl(t, \mathcal{S}_{n}(t) \bigr)-\mathcal{Q}_{1} \bigl(t, \mathcal{S}_{n-1}(t) \bigr) \bigr\Vert \\ &{}+\frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \bigl\Vert \mathcal{Q}_{1} \bigl(s,\mathcal{S}_{n}(s) \bigr)- \mathcal{Q}_{1} \bigl(t, \mathcal{S}_{n-1}(t) \bigr) \bigr\Vert \,ds \\ \leq{} & \biggl[\frac{1-\alpha _{1}}{\beta (\alpha _{1})} + \frac{1}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \biggr]\psi _{1} \Vert \mathcal{S}_{n}-S \Vert \\ \leq {}& \biggl[\frac{1-\alpha _{1}}{\beta (\alpha _{1})} + \frac{1}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \biggr]^{n} \Delta ^{n} \Vert \mathcal{S}_{n}-\mathcal{S} \Vert . \end{aligned}$$


$$\begin{aligned} \Vert \mathcal{G}2_{n} \Vert \leq {}& \frac{1-\alpha _{1}}{\beta (\alpha _{1})} \bigl\Vert \mathcal{Q}_{2} \bigl(t, \mathcal{I}_{n}(t) \bigr)-\mathcal{Q}_{2} \bigl(t, \mathcal{I}_{n-1}(t) \bigr) \bigr\Vert \\ & {}+\frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \bigl\Vert \mathcal{Q}_{2} \bigl(s,\mathcal{I}_{n}(s) \bigr)- \mathcal{Q}_{2} \bigl(t, \mathcal{I}_{n-1}(t) \bigr) \bigr\Vert \,ds \\ \leq {}& \biggl[\frac{1-\alpha _{1}}{\beta (\alpha _{1})} + \frac{1}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \biggr]\psi _{2} \Vert \mathcal{I}_{n}-I \Vert \\ \leq {}& \biggl[\frac{1-\alpha _{1}}{\beta (\alpha _{1})} + \frac{1}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \biggr]^{n} \Delta ^{n} \Vert \mathcal{I}_{n}-I \Vert . \end{aligned}$$


$$\begin{aligned} \Vert \mathcal{G}3_{n} \Vert \leq {}& \frac{1-\alpha _{1}}{\beta (\alpha _{1})} \bigl\Vert \mathcal{Q}_{3} \bigl(t, \mathcal{C}_{n}(t) \bigr)-\mathcal{Q}_{3} \bigl(t, \mathcal{C}_{n-1}(t) \bigr) \bigr\Vert \\ &{} +\frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \bigl\Vert \mathcal{Q}_{3} \bigl(s,\mathcal{C}_{n}(s) \bigr)- \mathcal{Q}_{3} \bigl(t, \mathcal{C}_{n-1}(t) \bigr) \bigr\Vert \,ds \end{aligned}$$
$$\begin{aligned} \leq{} & \biggl[\frac{1-\alpha _{1}}{\beta (\alpha _{1})} + \frac{1}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \biggr]\psi _{3} \Vert \mathcal{C}_{n}-\mathcal{C} \Vert \\ \leq{} & \biggl[\frac{1-\alpha _{1}}{\beta (\alpha _{1})} + \frac{1}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \biggr]^{n} \Delta ^{n} \Vert \mathcal{C}_{n}-\mathcal{C} \Vert , \\ \Vert \mathcal{G}4_{n} \Vert \leq {}& \frac{1-\alpha _{1}}{\beta (\alpha _{1})} \bigl\Vert \mathcal{Q}_{4} \bigl(t, \mathcal{A}_{n}(t) \bigr)-\mathcal{Q}_{4} \bigl(t, \mathcal{A}_{n-1}(t) \bigr) \bigr\Vert \\ &{} +\frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \bigl\Vert \mathcal{Q}_{4} \bigl(s,\mathcal{A}_{n}(s) \bigr)- \mathcal{Q}_{4} \bigl(t, \mathcal{A}_{n-1}(t) \bigr) \bigr\Vert \,ds \\ \leq{} & \biggl[\frac{1-\alpha _{1}}{\beta (\alpha _{1})} + \frac{1}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \biggr]\psi _{4} \Vert \mathcal{A}_{n}-\mathcal{A} \Vert \\ \leq {}& \biggl[\frac{1-\alpha _{1}}{\beta (\alpha _{1})} + \frac{1}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \biggr]^{n} \Delta ^{n} \Vert \mathcal{A}_{n}-\mathcal{A} \Vert . \end{aligned}$$

Thus, we have \(\mathcal{G}(t)_{n}\rightarrow 0,i\in \mathcal{N}_{1}^{4}\), as \(n\rightarrow \infty \) for \(\Delta <1\), which completes the proof.

Uniqueness of solution

For our suggested model (1), we study the uniqueness of solution.

Theorem 3.1

HIV/AIDS model (1) has a unique solution if

$$\begin{aligned} \biggl[\frac{1-\alpha _{i}}{\beta (\alpha _{i})}+ \frac{1}{\beta (\alpha _{i})\Gamma (\alpha _{i})} \biggr]\psi _{i}\leq 1,\quad i\in \mathcal{N}_{1}^{4}. \end{aligned}$$

Let there exist another solution \(\overline{\mathcal{S}}(t),\overline{\mathcal{I}}(t), \overline{\mathcal{C}}(t),\overline{\mathcal{A}}(t)\) such that

$$\begin{aligned} & \overline{\mathcal{S}}(t)=\frac{1-\alpha _{1}}{\beta (\alpha _{1})} \mathcal{Q}_{1} \bigl(t,\overline{\mathcal{S}}(t) \bigr)+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{1} \bigl(s,\overline{\mathcal{S}}(s) \bigr)\,ds, \end{aligned}$$
$$\begin{aligned} &\overline{\mathcal{I}}(t)=\frac{1-\alpha _{1}}{\beta (\alpha _{1})} \mathcal{Q}_{2} \bigl(t,\overline{\mathcal{I}}(t) \bigr)+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{2} \bigl(s,\overline{\mathcal{I}}(s) \bigr)\,ds, \end{aligned}$$
$$\begin{aligned} & \overline{\mathcal{C}}(t)=\frac{1-\alpha _{1}}{\beta (\alpha _{1})} \mathcal{Q}_{3} \bigl(t,\overline{\mathcal{C}}(t) \bigr)+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{3} \bigl(s,\overline{\mathcal{C}}(s) \bigr)\,ds, \end{aligned}$$
$$\begin{aligned} &\overline{\mathcal{A}}(t)=\frac{1-\alpha _{1}}{\beta (\alpha _{1})} \mathcal{Q}_{4} \bigl(t,\overline{\mathcal{C}}(t) \bigr)+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{4} \bigl(s,\overline{\mathcal{A}}(s) \bigr)\,ds. \end{aligned}$$


$$\begin{aligned} \bigl\Vert \mathcal{S}(t)-\overline{\mathcal{S}}(t) \bigr\Vert \leq {}& \frac{1-\alpha _{1}}{\beta (\alpha _{1})} \bigl\Vert \mathcal{Q}_{1} \bigl(t, \mathcal{S}(t) \bigr)-\mathcal{Q}_{1} \bigl(t,\overline{ \mathcal{S}}(t) \bigr) \bigr\Vert \\ &{}+\frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \bigl\Vert \mathcal{Q}_{1} \bigl(s,\mathcal{S}(s) \bigr)-\mathcal{Q}_{1} \bigl(t, \overline{\mathcal{S}}(t) \bigr) \bigr\Vert \,ds \\ \leq {}& \biggl[\frac{1-\alpha _{1}}{\beta (\alpha _{1})} + \frac{1}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \biggr]\psi _{1} \Vert \mathcal{S}-\overline{\mathcal{S}} \Vert , \end{aligned}$$

which implies

$$\begin{aligned} \biggl[\frac{1-\alpha _{1}}{\beta (\alpha _{1})}\psi _{1} + \frac{\psi _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})}-1 \biggr] \Vert \mathcal{S}_{-}\overline{ \mathcal{S}} \Vert \geq 0. \end{aligned}$$

By (29), (35) is true if \(\Vert \mathcal{S}-\overline{\mathcal{S}} \Vert = 0\), which implies \(\mathcal{S}(t) = \overline{\mathcal{S}}(t)\). Similarly, we have

$$\begin{aligned} \bigl\Vert \mathcal{I}(t)-\overline{\mathcal{I}}(t) \bigr\Vert \leq {}& \frac{1-\alpha _{1}}{\beta (\alpha _{1})} \bigl\Vert \mathcal{Q}_{2} \bigl(t, \mathcal{I}(t) \bigr)-\mathcal{Q}_{2} \bigl(t,\overline{ \mathcal{I}}(t) \bigr) \bigr\Vert \\ &{}+\frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \bigl\Vert \mathcal{Q}_{2} \bigl(s,\mathcal{C}(s) \bigr)-\mathcal{Q}_{2} \bigl(t, \overline{\mathcal{I}}(t) \bigr) \bigr\Vert \,ds \\ \leq {}& \biggl[\frac{1-\alpha _{1}}{\beta (\alpha _{1})} + \frac{1}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \biggr]\psi _{2} \Vert \mathcal{C}-\overline{\mathcal{C}} \Vert , \end{aligned}$$

which implies

$$\begin{aligned} \biggl[\frac{1-\alpha _{1}}{\beta (\alpha _{1})}\psi _{1} + \frac{\psi _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})}-1 \biggr] \Vert \mathcal{I}_{-}\overline{ \mathcal{I}} \Vert \geq 0. \end{aligned}$$

By (29), (37) is true if \(\Vert \mathcal{I}-\overline{\mathcal{I}} \Vert = 0\), which implies \(\mathcal{I}(t) = \overline{\mathcal{I}}(t)\). Now, for \(\mathcal{C}\), we have

$$\begin{aligned} \bigl\Vert \mathcal{C}(t)-\overline{\mathcal{C}}(t) \bigr\Vert \leq{} & \frac{1-\alpha _{1}}{\beta (\alpha _{1})} \bigl\Vert \mathcal{Q}_{3} \bigl(t, \mathcal{C}(t) \bigr)-\mathcal{Q}_{3} \bigl(t,\overline{ \mathcal{C}}(t) \bigr) \bigr\Vert \\ &{}+\frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \bigl\Vert \mathcal{Q}_{3} \bigl(s,\mathcal{C}(s) \bigr)-\mathcal{Q}_{3} \bigl(t, \overline{\mathcal{C}}(t) \bigr) \bigr\Vert \,ds \\ \leq{} & \biggl[\frac{1-\alpha _{1}}{\beta (\alpha _{1})} + \frac{1}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \biggr]\psi _{2} \Vert \mathcal{C}-\overline{\mathcal{C}} \Vert , \end{aligned}$$

which implies

$$\begin{aligned} \biggl[\frac{1-\alpha _{1}}{\beta (\alpha _{1})}\psi _{1} + \frac{\psi _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})}-1 \biggr] \Vert \mathcal{C}_{-}\overline{ \mathcal{C}} \Vert \geq 0. \end{aligned}$$

By (29), (39) is true if \(\Vert \mathcal{C}-\overline{\mathcal{C}} \Vert = 0\), which implies \(\mathcal{C}(t) = \overline{\mathcal{C}}(t)\). Similarly, \(\mathcal{A}(t) = \overline{\mathcal{A}}(t)\). Thus (1) has a unique solution.

Hyers–Ulam stability

Definition 4.1

The integral system (18)–(21) is Hyers–Ulam stable if, for \(\Delta _{i}>0, i\in \mathcal{N}_{1}^{4}\) and \(\gamma _{i}>0, i\in \mathcal{N}_{1}^{4}\) such that

$$\begin{aligned} &\biggl\vert \mathcal{S}(t)-\frac{1-\alpha _{1}}{\beta (\alpha _{1})} \mathcal{Q}_{1} \bigl(t, \mathcal{S}(t) \bigr)- \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{1} \bigl(s,\mathcal{S}(s) \bigr)\,ds \biggr\vert \leq \gamma _{1}, \end{aligned}$$
$$\begin{aligned} & \biggl\vert \mathcal{I}(t)-\frac{1-\alpha _{1}}{\beta (\alpha _{1})} \mathcal{Q}_{2} \bigl(t, \mathcal{I}(t) \bigr)- \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{2} \bigl(s,\mathcal{I}(s) \bigr)\,ds \biggr\vert \leq \gamma _{2}, \end{aligned}$$
$$\begin{aligned} &\biggl\vert \mathcal{C}(t)-\frac{1-\alpha _{1}}{\beta (\alpha _{1})} \mathcal{Q}_{3} \bigl(t, \mathcal{C}(t) \bigr)- \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{3} \bigl(s,\mathcal{C}(s) \bigr)\,ds \biggr\vert \leq \gamma _{3}, \end{aligned}$$
$$\begin{aligned} & \biggl\vert \mathcal{A}(t)-\frac{1-\alpha _{1}}{\beta (\alpha _{1})} \mathcal{Q}_{4} \bigl(t, \mathcal{A}(t) \bigr)- \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{4} \bigl(s,\mathcal{A}(s) \bigr)\,ds \biggr\vert \leq \gamma _{4}, \end{aligned}$$

we have \(\dot{\mathcal{S}}(t), \dot{\mathcal{I}}(t), \dot{\mathcal{C}}(t), \dot{\mathcal{A}}(t)\), which implies

$$\begin{aligned} &\dot{\mathcal{S}}(t)=\frac{1-\alpha _{1}}{\beta (\alpha _{1})} \mathcal{Q}_{1} \bigl(t,\dot{\mathcal{S}}(t) \bigr)+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{1} \bigl(s,\dot{\mathcal{S}}(s) \bigr)\,ds, \end{aligned}$$
$$\begin{aligned} &\dot{\mathcal{I}}(t)=\frac{1-\alpha _{1}}{\beta (\alpha _{1})} \mathcal{Q}_{2} \bigl(t,\dot{\mathcal{I}}(t) \bigr)+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{2} \bigl(s,\dot{\mathcal{I}}(s) \bigr)\,ds, \end{aligned}$$
$$\begin{aligned} &\dot{\mathcal{C}}(t)=\frac{1-\alpha _{1}}{\beta (\alpha _{1})} \mathcal{Q}_{3} \bigl(t,\dot{\mathcal{C}}(t) \bigr)+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{3} \bigl(s,\dot{\mathcal{C}}(s) \bigr)\,ds, \end{aligned}$$
$$\begin{aligned} &\dot{\mathcal{A}}(t)=\frac{1-\alpha _{1}}{\beta (\alpha _{1})} \mathcal{Q}_{4} \bigl(t,\dot{\mathcal{A}}(t) \bigr)+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{4} \bigl(s,\dot{\mathcal{A}}(s) \bigr)\,ds \end{aligned}$$

such that

$$\begin{aligned} &\bigl\vert \mathcal{S}(t)-\dot{\mathcal{S}}(t) \bigr\vert \leq \delta _{1}\gamma _{1}, \qquad\bigl\vert \mathcal{I}(t)-\dot{ \mathcal{I}}(t) \bigr\vert \leq \delta _{2}\gamma _{2}, \\ &\bigl\vert \mathcal{C}(t)-\dot{\mathcal{C}}(t) \bigr\vert \leq \delta _{3}\gamma _{3}, \qquad\bigl\vert \mathcal{A}(t)-\dot{ \mathcal{A}}(t) \bigr\vert \leq \delta _{4}\gamma _{4}. \end{aligned}$$

Theorem 4.2

Let \((\mathcal{B})\) be satisfied. Then (1) is Hyers–Ulam stable.


By Theorem 3.1, HIV/AIDS model (1) has a unique solution, say \(\mathcal{S}(t), \mathcal{I}(t), \mathcal{C}(t), \mathcal{A}(t)\). Let \((\dot{\mathcal{S}}(t), \dot{\mathcal{I}}(t), \dot{\mathcal{C}}(t), \dot{\mathcal{A}}(t)\) be an approximate solution of (1) satisfying (18)–(21). Then we have

$$\begin{aligned} \bigl\Vert \mathcal{S}(t)-\dot{\mathcal{S}}(t) \bigr\Vert \leq {}& \frac{1-\alpha _{1}}{\beta (\alpha _{1})} \bigl\Vert \mathcal{Q}_{1} \bigl(t, \mathcal{S}(t) \bigr)-\mathcal{Q}_{1} \bigl(t,\dot{ \mathcal{S}}(t) \bigr) \bigr\Vert \\ &{} +\frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \bigl\Vert \mathcal{Q}_{1} \bigl(s,\mathcal{S}(s) \bigr)-\mathcal{Q}_{1} \bigl(t, \dot{\mathcal{S}}(t) \bigr) \bigr\Vert \,ds \\ \leq {}& \biggl[\frac{1-\alpha _{1}}{\beta (\alpha _{1})} + \frac{1}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \biggr]\psi _{1} \Vert \mathcal{S}-\dot{\mathcal{S}} \Vert . \end{aligned}$$

Taking \(\gamma _{1} = \psi _{1}\), \(\Delta = \frac{1-\alpha _{1}}{\beta (\alpha _{1})}+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})}\), this implies

$$\begin{aligned} \bigl\Vert \mathcal{S}(t)-\dot{ \mathcal{S}}(t) \bigr\Vert \leq \gamma _{1}\Delta _{1}. \end{aligned}$$

Similarly, for \(\mathcal{I}(t), \dot{\mathcal{I}}, \mathcal{C}(t), \dot{\mathcal{C}}(t), \mathcal{A}(t), \dot{\mathcal{A}}(t)\), we have

$$\begin{aligned} \textstyle\begin{cases} \Vert \mathcal{I}(t)-\dot{\mathcal{I}}(t) \Vert \leq \gamma _{2} \Delta, \\ \Vert \mathcal{C}(t)-\dot{\mathcal{C}}(t) \Vert \leq \gamma _{3}\Delta, \\ \Vert \mathcal{A}(t)-\dot{\mathcal{A}}(t) \Vert \leq \gamma _{4}\Delta. \end{cases}\displaystyle \end{aligned}$$

This implies that system (1) is Hyers–Ulam stable, which ultimately ensures the stability of (1). This completes the proof. □

Numerical scheme

With the help of (7)–(10), we produce the following numerical scheme:

$$\begin{aligned} \textstyle\begin{cases}{}^{ABC}_{0}\mathcal{D}^{\alpha _{1}}_{t} \mathcal{S}(t) = \mathcal{Q}_{1}(t,\mathcal{S}), \\ {}^{ABC}_{0}\mathcal{D}^{\alpha _{1}}_{t} \mathcal{I}(t) = \mathcal{Q}_{2}(t.\mathcal{I}), \\ {}^{ABC}_{0}\mathcal{D}^{\alpha _{1}}_{t} \mathcal{C}(t) = \mathcal{Q}_{3}(t,\mathcal{C}), \\ {}^{ABC}_{0}\mathcal{D}^{\alpha _{1}}_{t} \mathcal{A}(t) = \mathcal{Q}_{4}(t,\mathcal{A}). \end{cases}\displaystyle \end{aligned}$$

With the help of fractional AB-integral operator, (51) gets the following form:

$$\begin{aligned} & \mathcal{S}(t)-\mathcal{S}(0)= \frac{1-\alpha _{1}}{\beta (\alpha _{1})}\mathcal{Q}_{1}(t, \mathcal{S})+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{1}(s,\mathcal{S})\,ds, \end{aligned}$$
$$\begin{aligned} &\mathcal{I}(t)-\mathcal{I}(0)= \frac{1-\alpha _{1}}{\beta (\alpha _{1})}\mathcal{Q}_{2}(t, \mathcal{I})+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{2}(s,\mathcal{I})\,ds, \end{aligned}$$
$$\begin{aligned} & \mathcal{C}(t)-\mathcal{C}(0)= \frac{1-\alpha _{1}}{\beta (\alpha _{1})}\mathcal{Q}_{3}(t, \mathcal{C})+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{3}(s,\mathcal{C})\,ds, \end{aligned}$$
$$\begin{aligned} &\mathcal{A}(t)-\mathcal{A}(0)= \frac{1-\alpha _{1}}{\beta (\alpha _{1})}\mathcal{Q}_{4}(t, \mathcal{A})+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})} \int _{0}^{t}(t-s)^{ \alpha _{1}-1} \mathcal{Q}_{4}(s,\mathcal{A})\,ds. \end{aligned}$$

By dividing the assumed interval \([0,t]\) into subintervals with the help of point \(t_{n+1}\), for \(n=0,1,2\ldots \) , we have

$$\begin{aligned} &\mathcal{S}(t_{n+1})-\mathcal{S}(0) \\ &\quad= \frac{1-\alpha _{1}}{\beta (\alpha _{1})}\mathcal{Q}_{1}(t_{n}, \mathcal{S}) + \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})}\sum_{k=0}^{n} \int _{t_{k}}^{t_{k+1}}(t_{n+1}-s)^{\alpha _{1}-1} \mathcal{Q}_{1}(s, \mathcal{S})\,ds, \end{aligned}$$
$$\begin{aligned} & \mathcal{I}(t_{n+1})-\mathcal{I}(0) \\ &\quad= \frac{1-\alpha _{1}}{\beta (\alpha _{1})}\mathcal{Q}_{2}(t_{n}, \mathcal{I}) + \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})}\sum_{k=0}^{n} \int _{t_{k}}^{t_{k+1}}(t_{n+1}-s)^{\alpha _{1}-1} \mathcal{Q}_{2}(s, \mathcal{I})\,ds, \end{aligned}$$
$$\begin{aligned} & \mathcal{C}(t_{n+1})-\mathcal{C}(0) \\ &\quad= \frac{1-\alpha _{1}}{\beta (\alpha _{1})}\mathcal{Q}_{3}(t_{n}, \mathcal{C})+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})}\sum_{k=0}^{n} \int _{t_{k}}^{t_{k+1}}(t_{n+1}-s)^{\alpha _{1}-1} \mathcal{Q}_{3}(s, \mathcal{C})\,ds, \end{aligned}$$
$$\begin{aligned} & \mathcal{A}(t_{n+1})-\mathcal{A}(0) \\ &\quad= \frac{1-\alpha _{1}}{\beta (\alpha _{1})}\mathcal{Q}_{4}(t_{n}, \mathcal{A})+ \frac{\alpha _{1}}{\beta (\alpha _{1})\Gamma (\alpha _{1})}\sum_{k=0}^{n} \int _{t_{k}}^{t_{k+1}}(t_{n+1}-s)^{\alpha _{1}-1} \mathcal{Q}_{4}(s, \mathcal{A})\,ds. \end{aligned}$$

Now, using the Lagrange interpolation, we have

$$\begin{aligned} \mathcal{S}(t_{n+1})={}&\mathcal{S}(0)+ \frac{1-\alpha _{1}}{\beta (\alpha _{1})}\mathcal{Q}_{1}(t_{k}, \mathcal{S})+ \frac{\alpha _{1}}{\mathcal{B}(\alpha _{1})} \\ &{}\times \sum_{k=0}^{n} \biggl[ \frac{h^{\alpha _{1}}\mathcal{Q}_{1}(t_{k},\mathcal{S})}{\Gamma (\alpha _{1}+2)} \bigl((n+1-k)^{\alpha _{1}}(n-k+2+\alpha _{1}) \\ &{}-(n-k)^{\alpha _{1}}(n-k+2+2\alpha _{1}) \bigr)- \frac{h^{\alpha _{1}}\mathcal{Q}_{1}(t_{k-1},\mathcal{S})}{\Gamma (\alpha _{1}+2)} \\ &{}\times \bigl((n+1-k)^{\alpha _{1}}-(n-k)^{\alpha _{1}}(n+1-k+\alpha _{1}) \bigr) \biggr], \\ \mathcal{I}(t_{n+1})={}&\mathcal{I}(0)+ \frac{1-\alpha _{1}}{\beta (\alpha _{1})}\mathcal{Q}_{2}(t_{k}, \mathcal{I})+ \frac{\alpha _{1}}{\mathcal{B}(\alpha _{1})} \end{aligned}$$
$$\begin{aligned} &{}\times \sum_{k=0}^{n} \biggl[ \frac{h^{\alpha _{1}}\mathcal{Q}_{2}(t_{k},\mathcal{I})}{\Gamma (\alpha _{1}+2)} \bigl((n+1-k)^{\alpha _{1}}(n-k+2+\alpha _{1}) \\ &{}-(n-k)^{\alpha _{1}}(n-k+2+2\alpha _{1}) \bigr)- \frac{h^{\alpha _{1}}\mathcal{Q}_{2}(t_{k-1},\mathcal{I})}{\Gamma (\alpha _{1}+2)} \\ &{}\times \bigl((n-k+1)^{\alpha _{1}}-(n-k)^{\alpha _{1}}(n+1-k+\alpha _{1}) \bigr) \biggr], \\ \mathcal{C}(t_{n+1})={}&\mathcal{C}(0)+ \frac{1-\alpha _{1}}{\beta (\alpha _{1})}\mathcal{Q}_{3}(t_{k}, \mathcal{C})+ \frac{\alpha _{1}}{\mathcal{B}(\alpha _{1})} \end{aligned}$$
$$\begin{aligned} &{}\times \sum_{k=0}^{n} \biggl[ \frac{h^{\alpha _{1}}\mathcal{Q}_{3}(t_{k},\mathcal{I})}{\Gamma (\alpha _{1}+2)} \bigl((n+1-k)^{\alpha _{1}}(n-k+2+\alpha _{1}) \\ &{}-(n-k)^{\alpha _{1}}(n-k+2+2\alpha _{1}) \bigr)- \frac{h^{\alpha _{1}}\mathcal{Q}_{3}(t_{k-1},\mathcal{C})}{\Gamma (\alpha _{1}+2)} \\ &{}\times \bigl((n+1-k)^{\alpha _{1}}-(n-k)^{\alpha _{1}}(n+1-k+\alpha _{1}) \bigr) \biggr], \\ \mathcal{A}(t_{n+1})={}&\mathcal{A}(0)+ \frac{1-\alpha _{1}}{\beta (\alpha _{1})}\mathcal{Q}_{4}(t_{k}, \mathcal{A})+ \frac{\alpha _{1}}{\mathcal{B}(\alpha _{1})}\\ &{}\times \sum_{k=0}^{n} \biggl[ \frac{h^{\alpha _{1}}\mathcal{Q}_{4}(t_{k},\mathcal{A})}{\Gamma (\alpha _{1}+2)} \bigl((n+1-k)^{\alpha _{1}}(n-k+2+\alpha _{1}) \\ &{}-(n-k)^{\alpha _{1}}(n-k+2+2\alpha _{1}) \bigr)- \frac{h^{\alpha _{1}}\mathcal{Q}_{4}(t_{k-1},\mathcal{A})}{\Gamma (\alpha _{1}+2)} \\ &{}\times \bigl((n+1-k)^{\alpha _{1}+1}-(n-k)^{\alpha _{1}}(n+1-k+\alpha _{1}) \bigr) \biggr]. \end{aligned}$$

Computational results

In this subsection, we present the numerical results with the help of several plots. These results have been produced as per the numerical scheme discussed above. In the computation, we have considered the parametric values as follows: \(\mu _{0}=\frac{1}{70}\), \(\beta =0.001\), \(\Lambda =2\), \(\eta _{A}=1.3\), \(\eta _{C}=0.04\), \(\omega =0.09\), \(\phi =0.1\), \(\rho =0.1\), \(\alpha =0.33\), \(d=1\).

The objective of the present study of an HIV disease is to describe the transmission process of the disease that can be biologically interpreted as follows: when infectious people of HIV enter a population of potential people, the disease is transmitted to other individuals through the mode of transmission of HIV. An individual who is suffering from HIV may remain asymptomatic at the early stage of infection, only later showing the onset of clinical symptoms and being diagnosed as a disease case.

Illustrative graphs show that the epidemiology of HIV is broadly predictable. Figure 1, represents the comparison of the susceptable class for orders 1, 0.98, 0.96, 0.94, while keeping the \(h=0.09\). Figure 2, represents the comparison of the susceptable class for orders 1, 0.98, 0.96, 0.94, while keeping the \(h=0.09\). This class shows an increase in the number of people with respect to the time due to the decrease in infection \(\mathcal{I}(t)\) as given in the Fig. 3 and recury given in Fig. 2. Our model reflects that if the treatment is continued the number of AIDS can be reduced with respect to the time as given in Fig. 4. Figures 58, are the joint solutions of the model.

Figure 1
figure 1

The susceptible class \(\mathcal{S}(t)\) for \(\alpha _{1}=1, 0.98, 0.96, 0.94\) and \(h=0.09\)

Figure 2
figure 2

The cured class \(\mathcal{C}(t)\) for \(\alpha _{1}=1, 0.98, 0.96, 0.94\) and \(h=0.09\)

Figure 3
figure 3

The infected class \(\mathcal{I}(t)\) for \(\alpha _{1}=1, 0.98, 0.96, 0.94\) and \(h=0.09\)

Figure 4
figure 4

The AIDS class \(\mathcal{A}(t)\) for \(\alpha _{1}=1, 0.98, 0.96, 0.94\) and \(h=0.09\)

Figure 5
figure 5

The solution for (1) for \(\mathcal{S}, \mathcal{I}, \mathcal{C}, \mathcal{A}\), keeping \(h=0.1\) and \(\alpha =1\)

We have determined conditions for when the disease persists and when it can be eradicated. Graphs of various populations with different derivative orders are reflected in each variable of our model, which serves as a proxy for variations in the susceptible, susceptible to HIV, AIDS, and cured class. The graphs also show that our results are robust. These also illustrate asymptotic behavior around the endemic equilibrium.


In this paper, we considered a fractional order HIV/AIDS model in the Atangana–Baleanu sense of derivative for the existence, uniqueness of solution, Hyers–Ulam stability, and numerical simulations. The study for the existence and uniqueness of solution guaranteed that the model has a solution, while the Hyers–Ulam stability ensured its stability. These encouraged us to perform the numerical simulations of model (1). For the numerical simulations, we used the Euler approach and the given scheme. The scheme was then utilized for the numerical simulations. The joint solution of the model was given in Fig. 5, which also shows stability for \(\alpha _{1}=1\), while Fig. 6 is the solution of the model for \(\alpha _{1}=0.98\). We have also examined the nature of the solution by reducing the time to 20 days and observed that the solutions for the orders 1 and 0.98 are in resemblance. That is, the behavior of each class of the model is the same for fractional orders. As we get closer to the value of \(\alpha _{1}\) to 1, we get more classical results. This new model can be reconsidered for other types of fractional order derivatives, and its theoretical as well as numerical stabilities may be examined for the continuation of the study.

Figure 6
figure 6

The solution for (1) for \(\mathcal{S}, \mathcal{I}, \mathcal{C}, \mathcal{A}\), keeping \(h=0.1\) and \(\alpha =0.98\)

Figure 7
figure 7

The solution for (1) for \(\mathcal{S}, \mathcal{I}, \mathcal{C}, \mathcal{A}\), keeping \(h=0.1\) and \(\alpha =1\)

Figure 8
figure 8

The solution for (1) for \(\mathcal{S}, \mathcal{I}, \mathcal{C}, \mathcal{A}\), keeping \(h=0.1\) and \(\alpha =0.98\)

Availability of data and materials

Not applicable.


  1. Sohaib, M.: Mathematical modeling and numerical simulation of HIV infection model. Res. Appl. Math. 7, 100118 (2020)

    Article  Google Scholar 

  2. Perelson, S.: Modeling the Interaction of the Immune System with HIV. In: Mathematical and Statistical Approaches to AIDS Epidemiology, pp. 350–370. Springer, New York (1989).

    Chapter  Google Scholar 

  3. Perelson, A., Kirschner, D., Boer, R.: Dynamics of HIV infection of CD4+ T-cells. Math. Biosci. 114, 81–125 (1993)

    MATH  Article  Google Scholar 

  4. Nowak, M., May, R.M.: Virus Dynamics. Oxford University Press, London (2000)

    MATH  Google Scholar 

  5. Mukandavire, Z., Chiyaka, C., Garira, W., Musuka, G.: Mathematical analysis of a sex-structured HIV/AIDS model with a discrete time delay. Nonlinear Anal., Theory Methods Appl. 71(3–4), 1082–1093 (2009)

    MathSciNet  MATH  Article  Google Scholar 

  6. Tabassum, M.F., Saeed, M., Akgul, A., Farman, M., Chaudhry, N.A.: Treatment of HIV/AIDS epidemic model with vertical transmission by using evolutionary Pade-approximation. Chaos Solitons Fractals 134, 109686 (2020)

    MathSciNet  Article  Google Scholar 

  7. Dutta, A., Gupta, P.K.: A mathematical model for transmission dynamics of HIV/AIDS with effect of weak CD4+ T cells. Chin. J. Phys. 56(3), 1045–1056 (2018)

    MathSciNet  Article  Google Scholar 

  8. Nazir, G., Shah, K., Debbouche, A., Khan, R.A.: Study of HIV mathematical model under nonsingular kernel type derivative of fractional order. Chaos Solitons Fractals 139, 110095 (2020)

    MathSciNet  Article  Google Scholar 

  9. Sweilam, N.H., AL-Mekhlafi, S.M., Mohammed, Z.N., Baleanu, D.: Optimal control for variable order fractional HIV/AIDS and malaria mathematical models with multi-time delay. Alex. Eng. J. 59(5), 3149–3162 (2020)

    Article  Google Scholar 

  10. Ma, Z., Liu, J., Li, J.: Stability analysis for differential infectivity epidemic models. Nonlinear Anal., Real World Appl. 4, 841–856 (2003)

    MathSciNet  MATH  Article  Google Scholar 

  11. McCluskey, C.C.: Lyapunov functions for tuberculosis models with fast and slow progression. Math. Biosci. Eng. 3, 513–525 (2006)

    MathSciNet  MATH  Article  Google Scholar 

  12. Khan, A., Gomez-Aguilar, J.F., Khan, T.S., Khan, H.: Stability analysis and numerical solutions of fractional order HIV/AIDS model. Chaos Solitons Fractals 122, 119–128 (2019)

    MathSciNet  MATH  Article  Google Scholar 

  13. Khan, A., Gomez-Aguilar, J.F., Abdeljawad, T., Khan, H.: Stability and numerical simulation of a fractional order plant nectar pollinator model. Alex. Eng. J. 59, 49–59 (2020)

    Article  Google Scholar 

  14. Khan, A., Abdeljawad, T., Gomez-Aguilar, J.F., Khan, H.: Dynamical study of fractional order mutualism parasitism food web module. Chaos Solitons Fractals 134, 109685 (2020)

    MathSciNet  Article  Google Scholar 

  15. Khan, H., Gomez-Aguilar, J.F., Alkhazzan, A., Khan, A.: A fractional order HIV-TB coinfection model with nonsingular Mittag-Leffler law. Math. Methods Appl. Sci. 43(6), 3786–3806 (2020)

    MathSciNet  MATH  Article  Google Scholar 

  16. Atangana, A., Gomez-Aguilar, J.F.: Numerical approximation of Riemann–Liouville definition of fractional derivative: from Riemann–Liouville to Atangana–Baleanu. Numer. Methods Partial Differ. Equ. 34(5), 1502–1523 (2018)

    MathSciNet  MATH  Article  Google Scholar 

  17. Khan, M.A., Atangana, A., Alzahrani, E.: The dynamics of COVID-19 with quarantined and isolation. Adv. Differ. Equ. 2020(1), 1 (2020)

    MathSciNet  Article  Google Scholar 

  18. Atangana, A., Koca, I.: Chaos in a simple nonlinear system with Atangana–Baleanu derivatives with fractional order. Chaos Solitons Fractals 89, 447–454 (2016)

    MathSciNet  MATH  Article  Google Scholar 

  19. Owolabi, K.M., Atangana, A.: On the formulation of Adams–Bashforth scheme with Atangana–Baleanu–Caputo fractional derivative to model chaotic problems. Chaos, Interdiscip. J. Nonlinear Sci. 29(2), 1–11 (2019)

    MathSciNet  MATH  Article  Google Scholar 

  20. Abdeljawad, T., Al-Mdallal, Q.M., Jarad, F.: Fractional logistic models in the frame of fractional operators generated by conformable derivatives. Chaos Solitons Fractals 119, 94–101 (2019)

    MathSciNet  MATH  Article  Google Scholar 

  21. Abdeljawad, T., Baleanu, D.: Discrete fractional differences with nonsingular discrete Mittag-Leffler kernels. Adv. Differ. Equ. 2016(1), 232 (2016)

    MathSciNet  MATH  Article  Google Scholar 

  22. Abdeljawad, T.: A Lyapunov type inequality for fractional operators with nonsingular Mittag-Leffler kernel. J. Inequal. Appl. 2017, 130 (2017).

    MathSciNet  MATH  Article  Google Scholar 

  23. Abdeljawad, T.: Fractional operators with generalized Mittag-Leffler kernels and their iterated differintegrals. Chaos, Interdiscip. J. Nonlinear Sci. 29(2), 023102 (2019)

    MathSciNet  MATH  Article  Google Scholar 

  24. Atangana, A., Araz, S.I.: Nonlinear equations with global differential and integral operators: existence, uniqueness with application to epidemiology. Results Phys. 20, 103593 (2020)

    Article  Google Scholar 

  25. Atangana, A., Araz, S.I.: Mathematical model of COVID-19 spread in Turkey and South Africa: theory, methods and applications. medRxiv (2020)

Download references


Thabet Abdeljawad and Aziz Khan acknowledge the support provided by Prince Sultan University for funding this work through research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM) group number RG-DES-2017-01-17.


There is no source of funding for this article.

Author information

Authors and Affiliations



All the authors have equal contributions in this article. All authors read and approved the final manuscript.

Corresponding authors

Correspondence to Thabet Abdeljawad or Hasib Khan.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

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

Aslam, M., Murtaza, R., Abdeljawad, T. et al. A fractional order HIV/AIDS epidemic model with Mittag-Leffler kernel. Adv Differ Equ 2021, 107 (2021).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:


  • Fractional order HIV/AIDS model
  • Existence of solution
  • Hyers–Ulam stability
  • Numerical solution