1 Introduction

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 [1–4] 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 [10–15] and many more in the literature.

Kee** 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}$$
(1)

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 [16–20].

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

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, $$
(2)

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. $$
(3)

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. $$
(4)

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). $$
(5)

2 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}$$
(6)

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}$$
(7)
$$\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}$$
(8)
$$\begin{aligned} &\mathcal{Q}_{3}(t,\mathcal{C}) = \phi \mathcal{I}(t)-(\omega +\mu _{0}) \mathcal{C}(t), \end{aligned}$$
(9)
$$\begin{aligned} &\mathcal{Q}_{3}(t,\mathcal{A}) = \rho \mathcal{I}(t)-(\alpha +\mu _{0}+d) \mathcal{A}(t), \end{aligned}$$
(10)
$$\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}$$
(11)

  • \((\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}$$
    (12)
    $$\begin{aligned} &\bigl\Vert \mathcal{I}(t) + \mathcal{A}(t) \bigr\Vert \leq \xi _{2}. \end{aligned}$$
    (13)

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}$$
(14)

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}$$
(15)

\(\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}$$
(16)

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}$$
(17)

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}$$
(18)
$$\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}$$
(19)
$$\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}$$
(20)
$$\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}$$
(21)

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}$$
(22)

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}$$
(23)
$$\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}$$
(24)

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}$$
(25)

And

$$\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}$$
(26)

Similarly,

$$\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}$$
(27)
$$\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}$$
(28)

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.

3 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}$$
(29)

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}$$
(30)
$$\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}$$
(31)
$$\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}$$
(32)
$$\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}$$
(33)

Then

$$\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}$$
(34)

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}$$
(35)

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}$$
(36)

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}$$
(37)

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}$$
(38)

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}$$
(39)

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.

4 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}$$
(40)
$$\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}$$
(41)
$$\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}$$
(42)
$$\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}$$
(43)

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}$$
(44)
$$\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}$$
(45)
$$\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}$$
(46)
$$\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}$$
(47)

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.

Proof

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}$$
(48)

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}$$
(49)

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}$$
(50)

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

5 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}$$
(51)

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}$$
(52)
$$\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}$$
(53)
$$\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}$$
(54)
$$\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}$$
(55)

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}$$
(56)
$$\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}$$
(57)
$$\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}$$
(58)
$$\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}$$
(59)

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}$$
(60)
$$\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}$$
(61)
$$\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}$$
(62)

6 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 kee** the \(h=0.09\). Figure 2, represents the comparison of the susceptable class for orders 1, 0.98, 0.96, 0.94, while kee** 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 5–8, 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\)

Full size image
Figure 2
figure 2

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

Full size image
Figure 3
figure 3

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

Full size image
Figure 4
figure 4

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

Full size image
Figure 5
figure 5

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

Full size image

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.

7 Conclusions

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}\), kee** \(h=0.1\) and \(\alpha =0.98\)

Full size image
Figure 7
figure 7

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

Full size image
Figure 8
figure 8

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

Full size image