
Recently different definitions of fractional derivatives are proposed for the development of real-world systems and mathematical models. In this paper, our main concern is to develop and analyze the effective numerical method for fractional order HIV/ AIDS model which is advanced approach for such biological models. With the help of an effective techniques and Sumudu transform, some new results are developed. Fractional order HIV/AIDS model is analyzed. Analysis for proposed model is new which will be helpful to understand the outbreak of HIV/AIDS in a community and will be helpful for future analysis to overcome the effect of HIV/AIDS. Novel numerical procedures are used for graphical results and their discussion.
Citation: Muhammad Mannan Akram, Muhammad Farman, Ali Akgül, Muhammad Umer Saleem, Aqeel Ahmad, Mohammad Partohaghigh, Fahd Jarad. Analysis of HIV/AIDS model with Mittag-Leffler kernel[J]. AIMS Mathematics, 2022, 7(7): 13383-13401. doi: 10.3934/math.2022739
[1] | Muhammad Farman, Ali Akgül, Kottakkaran Sooppy Nisar, Dilshad Ahmad, Aqeel Ahmad, Sarfaraz Kamangar, C Ahamed Saleel . Epidemiological analysis of fractional order COVID-19 model with Mittag-Leffler kernel. AIMS Mathematics, 2022, 7(1): 756-783. doi: 10.3934/math.2022046 |
[2] | Shao-Wen Yao, Muhammad Farman, Maryam Amin, Mustafa Inc, Ali Akgül, Aqeel Ahmad . Fractional order COVID-19 model with transmission rout infected through environment. AIMS Mathematics, 2022, 7(4): 5156-5174. doi: 10.3934/math.2022288 |
[3] | Mdi Begum Jeelani, Abeer S. Alnahdi, Mohammed A. Almalahi, Mohammed S. Abdo, Hanan A. Wahash, M. A. Abdelkawy . Study of the Atangana-Baleanu-Caputo type fractional system with a generalized Mittag-Leffler kernel. AIMS Mathematics, 2022, 7(2): 2001-2018. doi: 10.3934/math.2022115 |
[4] | Rahat Zarin, Amir Khan, Pushpendra Kumar, Usa Wannasingha Humphries . Fractional-order dynamics of Chagas-HIV epidemic model with different fractional operators. AIMS Mathematics, 2022, 7(10): 18897-18924. doi: 10.3934/math.20221041 |
[5] | Wei Fan, Kangqun Zhang . Local well-posedness results for the nonlinear fractional diffusion equation involving a Erdélyi-Kober operator. AIMS Mathematics, 2024, 9(9): 25494-25512. doi: 10.3934/math.20241245 |
[6] | Mohamed Houas, Kirti Kaushik, Anoop Kumar, Aziz Khan, Thabet Abdeljawad . Existence and stability results of pantograph equation with three sequential fractional derivatives. AIMS Mathematics, 2023, 8(3): 5216-5232. doi: 10.3934/math.2023262 |
[7] | Kottakkaran Sooppy Nisar, Aqeel Ahmad, Mustafa Inc, Muhammad Farman, Hadi Rezazadeh, Lanre Akinyemi, Muhammad Mannan Akram . Analysis of dengue transmission using fractional order scheme. AIMS Mathematics, 2022, 7(5): 8408-8429. doi: 10.3934/math.2022469 |
[8] | Muhammad Sajid Iqbal, Nauman Ahmed, Ali Akgül, Ali Raza, Muhammad Shahzad, Zafar Iqbal, Muhammad Rafiq, Fahd Jarad . Analysis of the fractional diarrhea model with Mittag-Leffler kernel. AIMS Mathematics, 2022, 7(7): 13000-13018. doi: 10.3934/math.2022720 |
[9] | Hasib Khan, Jehad Alzabut, Anwar Shah, Sina Etemad, Shahram Rezapour, Choonkil Park . A study on the fractal-fractional tobacco smoking model. AIMS Mathematics, 2022, 7(8): 13887-13909. doi: 10.3934/math.2022767 |
[10] | Jianhua Tang, Chuntao Yin . Analysis of the generalized fractional differential system. AIMS Mathematics, 2022, 7(5): 8654-8684. doi: 10.3934/math.2022484 |
Recently different definitions of fractional derivatives are proposed for the development of real-world systems and mathematical models. In this paper, our main concern is to develop and analyze the effective numerical method for fractional order HIV/ AIDS model which is advanced approach for such biological models. With the help of an effective techniques and Sumudu transform, some new results are developed. Fractional order HIV/AIDS model is analyzed. Analysis for proposed model is new which will be helpful to understand the outbreak of HIV/AIDS in a community and will be helpful for future analysis to overcome the effect of HIV/AIDS. Novel numerical procedures are used for graphical results and their discussion.
Biomathematics is basically the theoretical analysis of mathematical models and abstraction of living organism to investigate the principle that governs the structure development and behavior of system [1]. HIV contaminates the enthusiastic cells and tissues of the human immune system. This infection in the absence of antiretroviral treatment (ART), medication treatment that evades or moderates the infection, develop rapidly. Generally, HIV is diffused from perinatal or blood diffusion and sexual transmission. The symptoms of HIV at initial stage may incorporate joint agony, fever, muscle throbs, chills, sore throat, broadened organs, sweats (especially during the evening), a red rash, shortcoming, tiredness and inadvertent weight reduction thrush [2,34]. The HIV plague is perceived as the plainest debacle in current era. Regardless of advances in the biomedical front to the mind-boggling standard of the individuals who require it the treatment remains inaccessible and the plague keeps on spreading [5]. NSFD techniques by Mickens [6] are practical for numerical mix of differential conditions logically [7]. Effect by changing fractional order on the disease spread is also studied in some models. HIV fractional order models have continuously been under discussion of researchers due to the dynamics of HIV epidemics [8,9,10,11,12,13,14]. The fractional order model that involves integration and transects differentiation with the help of fractional calculus can also help to understand better the explanation of real-world problems than ordinary derivatives [15,16]. Based on the power law, fractional derivative idea was introduced by Riemann Liouville. The new fractional derivative by utilizing the exponential kernel is proposed by Atangana [17,18]. Non-singular kernel fractional derivative that includes the trigonometric and exponential function related problems [19,20,22] shows some related approaches for the models of epidemic. Recently a numerical scheme to solve the nonlinear fractional differential equation has been presented [28,29]. The proposed outbreak of this virus which effectively catches the time line for the COVID-19 disease conceptual model [23,2425] is under discussion too nowadays.
The feasible and accurate technique for obtaining numerical solutions for a class of partial integro-differential equations of fractional order in Hilbert space within appropriate kernel functions is studied in [30]. The solution methodology lies in generating an infinite conformable series solution with reliable wave pattern by minimizing the residual error functions and its related PDE's are analyzed in [31,32,33]. The multistep generalized differential transform method is applied to solve the fractional-order multiple chaotic FitzHugh-Nagumo (FHN) neurons model [34]. Investigation of a novel fractional-order mathematical model that explains the behavior of COVID-19 in Ethiopia has been studied in [35]. The transmission of influenza has been explained by analyzing a diffusive epidemic model in [36]. The analysis of general fractional order system is investigated under ABC fractional order derivative [37].
In this paper, Section 2 consists of some basic fractional order derivative which is helpful to solve the epidemiological model. Sections 3 and 4 consist of generalized form of the model with Atangana-Baleanu in Caputo sense using Sumudu transforms, uniqueness and stability analysis of the model. A new technique with exponential decay kernel and Mittag-Leffler kernel respectively has been given in Section 5. Results and conclusion are discussed in Section 6 and Section 7 respectively.
Definition 2.1. Atangana-Baleanu in Caputo sense (ABC) is given by [18]:
ABCaDατ(ϕ(τ))=AB(α)n−α∫τadndwnf(w)Eα{−α(τ−w)αn−α}dw,n−1<α<n, | (1) |
where Eα is Mittag-Leffler function, AB(α) is normalization function and AB(0)=AB(1)=1. The Laplace transform is obtained by:
[ABCaDατϕ(τ)](s)=AB(α)1−αsαL[ϕ(τ)](s)−sα−1ϕ(0)sα+a1−a. | (2) |
By using Sumudu transform (ST) for (1), we obtain
ST[ABC0Dατϕ(τ)](s)=B(α)1−α{αΓ(α+1)Eα(−11−αwα)}×[ST(ϕ(t))−ϕ(0)]. | (3) |
Definition 2.2. Atangana-Baleanu fractional integral of a function ϕ(t) of order α is given by:
ABCaIατ(ϕ(τ))=1−αB−αϕ(τ)+αB(α)Γ(α)∫τaϕ(s)(τ−s)α−1ds. | (4) |
In this section, we consider the HIV/AIDS epidemic model proposed by Huo et al. [26] with a treatment compartment. By transforming the model given in [26] into Mittag-Leffler kernel with Atangana-Baleanu Caputo derivative is given in the following equations:
ABC0DαtS=Λ−βIS−μ1S−dS, |
ABC0DαtI=βIS+α1T−dI−k1I−k2I, |
ABC0DαtA=k1I−(δ1+d)A+α2T, |
ABC0DαtT=k2I−α1T−(d+δ2+α2)T, |
ABC0DαtR=μ1S−dR, | (5) |
with initial conditions
I(0)=I0,S(0)=S0,A(0)=A0,R(0)=R0,T(0)=T0. | (6) |
Here susceptible patients is S(t), I(t) is infectious HIV-positive individuals, A(t) is the number of people with full-blown AIDS, T(t) is the total number of people being treated with ARV and R(t) is recovered populations. Λ is the rate of recruitment of susceptible individuals into the population, β represents the interaction rate between susceptible individuals and infectious individuals, μ1 is the rate at which susceptible individuals change their sexual behaviors per unit time, d is the natural death rate, α1 is the rate at which treated individuals leave T(t) compartment, k1 is the rate at which people leave the infectious class and become people with full-blown AIDS, k2 is the rate at which people with HIV are treated, δ1 and δ2 are the disease-induced death rates for people in A(t) and T(t) compartments, respectively. α2 represents the rate at which treated individuals leave the treated class and enter the AIDS compartment A(t). By putting left hand side equal to zero, we get disease free and endemic equilibrium point. Disease-free equilibrium point is given as:
E∗=(S∗,I∗,A∗,T∗,R∗)=(Λμ1+d,0,0,0,Λμ1d(d+μ1)) |
and EEP is given as:
S0=ΛβI0+μ1+d,I0=(R0−1)(μ1+d)β,A0=k1I0+α2T0d+δ1, |
T0=k2I0α1+d+δ2+α2,R0=μ1Λd(βI0+μ1+d). |
Reproductive number of the system [27] is given as:
R0=βΛ(d+δ2+α1+α2)(μ1+d)(d+k1+k2)(d+δ2+α1+α2)−α1k2. |
Applying Mittag-Leffler kernel with Atangana-Baleanu Caputo derivative on system (5), we get
B(α)αΓ(α+1)1−αEα(−11−αwα)ST{S(t)−S(0)}=ST[Λ−βIS−μ1S−dS], |
B(α)αΓ(α+1)1−αEα(−11−αwα)ST{I(t)−I(0)}=ST[βIS+α1T−dI−k1I−k2I], |
B(α)αΓ(α+1)1−αEα(−11−αwα)ST{A(t)−A(0)}=ST[k1I−(δ1+d)A+α2T], | (7) |
B(α)αΓ(α+1)1−αEα(−11−αwα)ST{T(t)−T(0)}=ST[k2I−α1T−(d+δ2+α2)T], |
B(α)αΓ(α+1)1−αEα(−11−αwα)ST{R(t)−R(0)}=ST[μ1S−dR]. |
Rearranging the above equations yields:
ST(S(t))=S(0)+1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST[Λ−βIS−μ1S−dS], |
ST(I(t))=I(0)+1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST[βIS+α1T−dI−k1I−k2I], |
ST(A(t))=A(0)+1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST[k1I−(δ1+d)A+α2T],(07) |
ST(T(t))=T(0)+1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST[k2I−α1T−(d+δ2+α2)T], |
ST(R(t))=R(0)+1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST[μ1S−dR]. |
Using inverse transform on (7) gives
S(t)=S(0)+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{Λ−βIS−μ1S−dS}], |
I(t)=I(0)+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{βIS+α1T−dI−k1I−k2I}], |
A(t)=A(0)+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{k1I−(δ1+d)A+α2T}], |
T(t)=T(0)+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{k2I−α1T−(d+δ2+α2)T}], |
R(t)=R(0)+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{μ1S−dR}]. |
We next obtain the following recursive formula:
Sn+1(t)=Sn(0)+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{Λ−βInSn−μ1Sn−dSn}], |
In+1(t)=In(0)+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{βInSn+α1Tn−dIn−k1In−k2In}], |
An+1(t)=An(0)+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{k1In−(δ1+d)An+α2Tn}], |
Tn+1(t)=Tn(0)+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{k2In−α1Tn−(d+δ2+α2)Tn}],Rn+1(t)=Rn(0)+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{μ1Sn−dRn}]. | (8) |
And the solution of (8) is provided by
S(t)=limn→∞Sn(t),I(t)=limn→∞In(t),A(t)=limn→∞An(t), |
T(t)=limn→∞Tn(t),R(t)=limn→∞Rn(t). |
Theorem 4.1. Let (X,|.|) be a Banach space and H a self-map of Xsatisfying
‖Hx−Hr‖≤θ‖X−Hx‖+θ‖x−r‖, |
for all x,r∈X, where 0≤θ<1. Suppose that H is Picard H-Stable. Let us consider Eq (8), and we get
Sn+1(t)=Sn(0)+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{Λ−βInSn−μ1Sn−dSn}], |
In+1(t)=In(0)+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{βInSn+α1Tn−dIn−k1In−k2In}], |
An+1(t)=An(0)+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{k1In−(δ1+d)An+α2Tn}], |
Tn+1(t)=Tn(0)+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{k2In−α1Tn−(d+δ2+α2)Tn}], |
Rn+1(t)=Rn(0)+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{μ1Sn−dRn}], |
where 1−αB(α)αΓ(α+1)Eα(−11−αwα) is the fractional Lagrange multiplier.
Theorem 4.2.
K[Sn+1(t)]=S(n+1)(t) |
=Sn(t)+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{Λ−βInSn−μ1Sn−dSn}], |
K[In+1(t)]=I(n+1)(t) |
=In(t)+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{βInSn+α1Tn−dIn−k1In−k2In}], |
K[An+1(t)]=A(n+1)(t) |
=An(t)+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{k1In−(δ1+d)An+α2Tn}], | (9) |
K[Tn+1(t)]=T(n+1)(t) |
=Tn(t)+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{k2In−α1Tn−(d+δ2+α2)Tn}], |
K[Rn+1(t)]=R(n+1)(t) |
=Rn(t)+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{μ1Sn−dRn}] |
where K be a self-map.
Proof. Using triangular inequality property with norm yields:
‖K[Sn(t)]−K[Sm(t)]‖≤‖Sn(t)−Sm(t)‖+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{Λ+β‖(InSn−ImSm)‖+μ1‖(Sn−Sm)‖+d‖(Sn−Sm)‖}], |
‖K[In(t)]−K[Im(t)]‖≤‖In(t)−Im(t)‖+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{β‖(InSn−ImSm)‖+α1‖(Tn−Tm)‖+d‖(In−Im)‖+k1‖(In−Im)‖+k2‖(In−Im)‖}], |
‖K[An(t)]−K[Am(t)]‖≤‖An(t)−Am(t)‖+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{k1‖(In−Im)‖+(δ1+d)‖(An−Am)‖+α2‖(Tn−Tm)‖}], |
‖K[Tn(t)]−K[Tm(t)]‖≤‖Tn(t)−Tm(t)‖+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{k2‖(In−Im)‖+α1‖(Tn−Tm)‖+(d+δ2+α2)‖(Tn−Tm)‖}], |
‖K[Rn(t)]−K[Rm(t)]‖≤‖Rn(t)−Rm(t)‖ |
+ST−1[1−αB(α)αΓ(α+1)Eα(−11−αwα)×ST{μ1‖Sn−Sm‖+d‖(Rn−Rm)‖}]. | (10) |
It's satisfied the condition given in Theorem 4.1, when
θ=(0,0,0,0,0), |
θ={‖Sn(t)−Sm(t)‖×‖−(Sn(t)−Sm(t))‖+Λ−β‖(InSn−ImSm)‖−μ1‖(Sn−Sm)‖−d‖(Sn−Sm)‖×‖(In(t)−Im(t))‖×‖−(In(t)−Im(t))‖+β‖(InSn−ImSm)‖+α1‖(Tn−Tm)‖−d‖(In−Im)‖−k1‖(In−Im)‖−k2‖(In−Im)‖×‖An(t)−Am(t)‖×‖−(An(t)−Am(t))‖+k1‖(In−Im)‖−(δ1+d)‖(An−Am)‖+α2‖(Tn−Tm)‖×‖Tn(t)−Tm(t)‖×‖−(Tn(t)−Tm(t))‖+k2‖(In−Im)‖−α1‖(Tn−Tm)‖−(d+δ2+α2)‖(Tn−Tm)‖×‖Rn(t)−Rm(t)‖×‖Rn(t)−Rm(t)‖+μ1‖Sn−Sm‖−d‖(Rn−Rm)‖. |
Hence, it's stable.
Theorem 4.3. The special solution of Eq (5) using the iteration method is unique singular solution.
Proof. Take into consideration the following Hilbert space H=L2((p,q)×(0,T)) which can be defined as
h:(p,q)×(0,T)→R,∬ghdgdh<∞. |
Considering the following operator, we have
θ(0,0,0,0,0),θ={Λ−βIS−μ1S−dS,βIS+α1T−dI−k1I−k2I,k1I−(δ1+d)A+α2T,k2I−α1T−(d+δ2+α2)T,μ1S−dR. |
By using
P((S11−S12,I21−I22,A31−A32,T41−T42,R51−R52),(V1,V2,V3,V4,V5)). |
Where
(S11−S12,I21−I22,A31−A32,T41−T42,R51−R52), |
we have
{Λ−β(I21−I22)(S11−S12)−μ1(S11−S12)−d(S11−S12)} |
≤Λ‖V1‖+β‖I21−I22‖‖S11−S12‖‖V1‖ |
+μ1‖S11−S12‖‖V1‖+d‖S11−S12‖‖V1‖, |
{β(I21−I22)(S11−S12)+α1(T41−T42)−d(I21−I22)−k1(I21−I22)−k2(I21−I22)} |
≤β‖I21−I22‖‖S11−S12‖‖V2‖+α1‖T41−T42‖‖V2‖ |
+d‖I21−I22‖‖V2‖+k1‖I21−I22‖‖V2‖+k2‖I21−I22‖‖V2‖, |
{k1(I21−I22)−(δ1+d)(A31−A32)+α2(T41−T42)} |
≤k1‖I21−I22‖‖V3‖+(δ1+d)‖A31−A32‖‖V3‖+α2‖T41−T42‖‖V3‖, |
{k2(I21−I22)−α1(T41−T42)−(d+δ2+α2)(T41−T42)} |
≤k2‖I21−I22‖‖V4‖+α1‖T41−T42‖‖V4‖+(d+δ2+α2)‖T41−T42‖‖V4‖, |
{μ1(S11−S12)−d(R51−R52)}≤μ1‖S11−S12‖‖V5‖+d‖R51−R52‖‖V5‖. |
For convergence solution, we have
‖S−S11‖,‖S−S12‖≤χe1ϖ, |
‖I−I21‖,‖I−I22‖≤χe2ς, |
‖A−A31‖,‖A−A32‖≤χe3υ, |
‖T−T41‖,‖T−T42‖≤χe4κ, |
and
‖R−R51‖,‖R−R52‖≤χe5ϱ. |
Where
ϖ=5(Λ+β‖I21−I22‖‖S11−S12‖+μ1‖S11−S12‖+d‖S11−S12‖)‖V1‖, |
ς=5(β‖I21−I22‖‖S11−S12‖+α1‖T41−T42‖+d‖I21−I22‖+k1‖I21−I22‖+k2‖I21−I22‖)‖V2‖, |
υ=5(k1‖I21−I22‖+(δ1+d)‖A31−A32‖+α2‖T41−T42‖)‖V3‖, |
κ=5(k2‖I21−I22‖+α1‖T41−T42‖+(d+δ2+α2)‖T41−T42‖)‖V4‖, |
ϱ=5(μ1‖S11−S12‖+d‖R51−R52‖)‖V5‖. |
But it is obvious that
(Λ+β‖I21−I22‖‖S11−S12‖+μ1‖S11−S12‖+d‖S11−S12‖)≠0, |
(β‖I21−I22‖‖S11−S12‖+α1‖T41−T42‖+d‖I21−I22‖+k1‖I21−I22‖+k2‖I21−I22‖)≠0, |
(k1‖I21−I22‖+(δ1+d)‖A31−A32‖+α2‖T41−T42‖)≠0, |
(k2‖I21−I22‖+α1‖T41−T42‖+(d+δ2+α2)‖T41−T42‖)≠0, |
(μ1‖S11−S12‖+d‖R51−R52‖)≠0. |
Where ‖V1‖,‖V2‖,‖V3‖,‖V4‖,‖V5‖≠0.
Therefore, we have
‖S11−S12‖=0,‖I21−I22‖=0,‖A31−A32‖=0, |
‖T41−T42‖=0,‖R51−R52‖=0. |
Which yields that
S11=S12,I21=I22,A31=A32,T41=T42,R51=R52. |
We get required results. Hence, it's proved.
We consider the following non-linear fractional ordinary equation [28,29].
S(t)−S(0)=(1−α)ABC(α){Λ−βI(t)S(t)−μ1S(t)−dS(t)}+αΓ(α)×ABC(α)∫t0{Λ−βI(τ)S(τ)−μ1S(τ)−dS(τ)}(t−τ)α−1dτ, |
I(t)−I(0)=(1−α)ABC(α){βI(t)S(t)+α1T(t)−dI(t)−k1I(t)−k2I(t)}+αΓ(α)×ABC(α)∫t0{βI(τ)S(τ)+α1T(τ)−dI(τ)−k1I(τ)−k2I(τ)}(t−τ)α−1dτ, |
A(t)−A(0)=(1−α)ABC(α){k1I(t)−(δ1+d)A(t)+α2T(t)} |
+αΓ(α)×ABC(α)∫t0{k1I(τ)−(δ1+d)A(τ)+α2T(τ)}(t−τ)α−1dτ, | (11) |
T(t)−T(0)=(1−α)ABC(α){k2I(t)−α1T(t)−(d+δ2+α2)T(t)}+αΓ(α)×ABC(α)∫t0{k2I(τ)−α1T(τ)−(d+δ2+α2)T(τ)}(t−τ)α−1dτ, |
R(t)−R(0)=(1−α)ABC(α){μ1S(t)−dR(t)}+αΓ(α)×ABC(α)∫t0{μ1S(τ)−dR(τ)}(t−τ)α−1dτ. |
At a given point tn+1,n=0,1,2,3,…, the above equation is reformulated as
S(tn+1)−S(0)=(1−α)ABC(α){Λ−βI(tn)S(tn)−μ1S(tn)−dS(tn)}+αΓ(α)×ABC(α)∫tn+10{Λ−βI(τ)S(τ)−μ1S(τ)−dS(τ)}(tn+1−τ)α−1dτ, |
I(tn+1)−I(0)=(1−α)ABC(α){βI(tn)S(tn)+α1T(tn)−dI(tn)−k1I(tn)−k2I(tn)}+αΓ(α)×ABC(α)∫tn+10{βI(τ)S(τ)+α1T(τ)−dI(τ)−k1I(τ)−k2I(τ)}(tn+1−τ)α−1dτ, |
A(tn+1)−A(0)=(1−α)ABC(α){k1I(tn)−(δ1+d)A(tn)+α2T(tn)}+αΓ(α)×ABC(α)∫tn+10{k1I(τ)−(δ1+d)A(τ)+α2T(τ)}(tn+1−τ)α−1dτ, |
T(tn+1)−T(0)=(1−α)ABC(α){k2I(tn)−α1T(tn)−(d+δ2+α2)T(tn)}+αΓ(α)×ABC(α)∫tn+10{k2I(τ)−α1T(τ)−(d+δ2+α2)T(τ)}(tn+1−τ)α−1dτ, |
R(tn+1)−R(0)=(1−α)ABC(α){μ1S(tn)−dR(tn)}+αΓ(α)×ABC(α)∫tn+10{μ1S(τ)−dR(τ)}(tn+1−τ)α−1dτ. |
Also, we have
S(tn+1)−S(0)=(1−α)ABC(α){Λ−βI(tn)S(tn)−μ1S(tn)−dS(tn)}+αΓ(α)×ABC(α)n∑j=0∫tj+1tj{Λ−βI(τ)S(τ)−μ1S(τ)−dS(τ)}(tn+1−τ)α−1dτ, |
I(tn+1)−I(0)=(1−α)ABC(α){βI(tn)S(tn)+α1T(tn)−dI(tn)−k1I(tn)−k2I(tn)}+αΓ(α)×ABC(α)n∑j=0∫tj+1tj{βI(τ)S(τ)+α1T(τ)−dI(τ)−k1I(τ)−k2I(τ)}(tn+1−τ)α−1dτ, |
A(tn+1)−A(0) |
=(1−α)ABC(α){k1I(tn)−(δ1+d)A(tn)+α2T(tn)} |
+αΓ(α)×ABC(α)∑nj=0∫tj+1tj{k1I(τ)−(δ1+d)A(τ)+α2T(τ)}(tn+1−τ)α−1dτ, | (12) |
T(tn+1)−T(0)=(1−α)ABC(α){k2I(tn)−α1T(tn)−(d+δ2+α2)T(tn)}+αΓ(α)×ABC(α)n∑j=0∫tj+1tj{k2I(τ)−α1T(τ)−(d+δ2+α2)T(τ)}(tn+1−τ)α−1dτ, |
R(tn+1)−R(0)=(1−α)ABC(α){μ1S(tn)−dR(tn)}+αΓ(α)×ABC(α)n∑j=0∫tj+1tj{μ1S(τ)−dR(τ)}(tn+1−τ)α−1dτ. |
By using above equation, we have generalized form as:
Sn+1=S0+(1−α)ABC(α){Λ−βI(tn)S(tn)−μ1S(tn)−dS(tn)}+αΓ(α)×ABC(α)n∑j=0({Λ−βIjSj−μ1Sj−dSj}h×∫tj+1tj(τ−tj−1)(tn+1−τ)α−1dτ−{Λ−βIj−1Sj−1−μ1Sj−1−dSj−1}h×∫tj+1tj(τ−tj)(tn+1−τ)α−1dτ), |
In+1=I0+(1−α)ABC(α){βI(tn)S(tn)+α1T(tn)−dI(tn)−k1I(tn)−k2I(tn)}+αΓ(α)×ABC(α)n∑j=0({βIjSj+α1Tj−dIj−k1Ij−k2Ij}h×∫tj+1tj(τ−tj−1)(tn+1−τ)α−1dτ−{βIj−1Sj−1+α1Tj−1−dIj−1−k1Ij−1−k2Ij−1}h×∫tj+1tj(τ−tj)(tn+1−τ)α−1dτ), |
An+1=A0+(1−α)ABC(α){k1I(tn)−(δ1+d)A(tn)+α2T(tn)} |
+αΓ(α)×ABC(α)∑nj=0({k1Ij−(δ1+d)Aj+α2Tj}h×∫tj+1tj(τ−tj−1)(tn+1−τ)α−1dτ−{k1Ij−1−(δ1+d)Aj−1+α2Tj−1}h×∫tj+1tj(τ−tj)(tn+1−τ)α−1dτ), | (13) |
Tn+1=T0+(1−α)ABC(α){k2I(tn)−α1T(tn)−(d+δ2+α2)T(tn)}+αΓ(α)×ABC(α)n∑j=0({k2Ij−α1Tj−(d+δ2+α2)Tj}h×∫tj+1tj(τ−tj−1)(tn+1−τ)α−1dτ−{k2Ij−1−α1Tj−1−(d+δ2+α2)Tj−1}h×∫tj+1tj(τ−tj)(tn+1−τ)α−1dτ), |
Rn+1=R0+(1−α)ABC(α){μ1S(tn)−dR(tn)}+αΓ(α)×ABC(α)n∑j=0({μ1Sj−dRj}h×∫tj+1tj(τ−tj−1)(tn+1−τ)α−1dτ−{μ1Sj−1−dRj−1}h×∫tj+1tj(τ−tj)(tn+1−τ)α−1dτ). |
Thus, we get
Sn+1=S0+(1−α)ABC(α){Λ−βI(tn)S(tn)−μ1S(tn)−dS(tn)}+αABC(α)n∑j=0(hα{Λ−βIjSj−μ1Sj−dSj}Γ(α+2)×{(n+1−j)α(n−j+2+α)−(n−j)α(n−j+2+2α)}−hα{Λ−βIj−1Sj−1−μ1Sj−1−dSj−1}Γ(α+2)×{(n+1−j)α+1−(n−j)α(n−j+1+α)}), |
In+1=I0+(1−α)ABC(α){βI(tn)S(tn)+α1T(tn)−dI(tn)−k1I(tn)−k2I(tn)}+αABC(α)n∑j=0(hα{βIjSj+α1Tj−dIj−k1Ij−k2Ij}Γ(α+2)×{(n+1−j)α(n−j+2+α)−(n−j)α(n−j+2+2α)}−hα{βIj−1Sj−1+α1Tj−1−dIj−1−k1Ij−1−k2Ij−1}Γ(α+2)×{(n+1−j)α+1−(n−j)α(n−j+1+α)}), |
An+1=A0+(1−α)ABC(α){k1I(tn)−(δ1+d)A(tn)+α2T(tn)} |
+αABC(α)∑nj=0(hα{k1Ij−(δ1+d)Aj+α2Tj}Γ(α+2)×{(n+1−j)α(n−j+2+α)−(n−j)α(n−j+2+2α)}−hα{k1Ij−1−(δ1+d)Aj−1+α2Tj−1}Γ(α+2)×{(n+1−j)α+1−(n−j)α(n−j+1+α)}), | (14) |
Tn+1=T0+(1−α)ABC(α){k2I(tn)−α1T(tn)−(d+δ2+α2)T(tn)}+αABC(α)n∑j=0(hα{k2Ij−α1Tj−(d+δ2+α2)Tj}Γ(α+2)×{(n+1−j)α(n−j+2+α)−(n−j)α(n−j+2+2α)}−hα{k2Ij−1−α1Tj−1−(d+δ2+α2)Tj−1}Γ(α+2)×{(n+1−j)α+1−(n−j)α(n−j+1+α)}), |
Rn+1=R0+(1−α)ABC(α){μ1S(tn)−dR(tn)}+αABC(α)n∑j=0(hα{μ1Sj−dRj}Γ(α+2)×{(n+1−j)α(n−j+2+α)−(n−j)α(n−j+2+2α)}−hα{μ1Sj−1−dRj−1}Γ(α+2)×{(n+1−j)α+1−(n−j)α(n−j+1+α)}). |
The mathematical analysis of epidemic HIV/AIDS model with non-linear occurrence is studied to notice the sound effects of the fractional parameters. Following initial conditions and parameter values [26] are used for simulations:
Λ=0.55,β=0.03,d=0.0196,k1=0.15,k2=0.35,α1=0.08, |
α2=0.03,δ1=0.0909,δ2=0.0667,μ1=0.03,S(0)=35, |
I(0)=24,A(0)=15,T(0)=8,R(0)=0. |
Numerical solutions are obtained for different values by using ABC derivative according to steady state. The graphs of the approximate solutions against different fractional order ϕ are provided in Figures 1–5. In Figures 1–5, we observe that behavior of S(t), A(t) and R(t) start increasing by decreasing the fractional values while behavior of infected I(t) and T(t) start decreasing by decreasing fractional values which approaches to our steady state. It is easily observed that susceptible individual rise after certain time while both HIV infected and AIDS infected individual start decreasing after some rise due to treatment. Also in Figure 5, the recovered individual starts increasing rapidly due to treatment for different fractional values. Observation has been made at different fractional values according to given parameters to check the effect of fractional order model. Solutions for all compartments come to our desired accuracy and more reliable by decreasing fractional values. The simulations clearly show that we can obtain better approximation to control the disease by using fractional derivative as compared to classical derivative.
In this article, a new scheme with Mittag-Leffler law has been studied for HIV/AIDS with an antiretroviral treatment compartment. The existence and uniqueness of the solutions of the model has been proved by using iterative method and fixed-point theory. Advanced numerical approximation is used with non-singular and non-local kernel to solve for this kind of fractional order system. The advanced developed numerical technique converges to exact solution, also provides reliable and efficient results with large step size h which is mixture of the two-step Lagrange polynomial and the fundamental theorem of fractional calculus. We obtained very effective results for the proposed model. Simulation has been made to check the actual behavior of the HIV/AIDS and effect of treatment as we see rapid increase in recovered individual due to treatment. These results will be very helpful for the future study of HIV/AIDS and for control strategies with fractional operators.
The authors declare that they have no conflicts of interest to report regarding the present study.
[1] | C. S. Chou, A. Friedman, Introduction, In: Introduction to mathematical biology, Springer, 2016. https://doi.org/10.1007/978-3-319-29638-8_1 |
[2] |
F. M. Barre-Sinoussi, J. C. Chermann, R. Rey, M. T. Nugeyre, S. Chamaret, J. Gruest, et al., Isolation of a T-lymphotropic retrovirus from a patient at risk for acquired immune deficiency syndrome (AIDS), Science, 220 (1983), 868–871. https://doi.org/10.1126/science.6189183 doi: 10.1126/science.6189183
![]() |
[3] |
U. L. Abbas, R. M. Anderson, J. W. Mellors, Potential impact of antiretroviral chemoprophylaxis on HIV-1 transmission in resource-limited settings, PLoS ONE, 2 (2007), e875. https://doi.org/10.1371/journal.pone.0000875 doi: 10.1371/journal.pone.0000875
![]() |
[4] | Z. Sadegh, N. A. Miehran, A nonstandard finite difference scheme for solving fractional-order model of HIV-1 infection of CD4+ T-cells, Iran. J. Math. Chem., 6 (2015), 169–184. |
[5] | J. S. Cristiana, F. M. Delfim, Global stability for a HIV/AIDS modlers, Commun. Fac. Sci. Univ. Ank. Ser., 67 (2018), 93–101. |
[6] | R. E. Mickens, Advances in the applications of nonstandard finite difference schemes, Singapore: Wiley-Interscience, 2005. https://doi.org/10.1142/5884 |
[7] |
R. E. Mickens, Calculation of denominator functions for nonstandard finite difference schemes for differential equations satisfying a positivity condition, Numer. Meth. Part. Differ. Eq., 23 (2007), 672–691. https://doi.org/10.1002/num.20198 doi: 10.1002/num.20198
![]() |
[8] |
Y. Ding, H. Ye, A fractional-order differential equation model of HIV infection of CD4+ T-cells, Math. Comput. Model, 50 (2009), 386–392. https://doi.org/10.1016/j.mcm.2009.04.019 doi: 10.1016/j.mcm.2009.04.019
![]() |
[9] |
A. Gökdoǧan, A. Yildirim, M. Merdan, Solving a fractional order model of HIV infection of CD4+ T cells, Math. Comput. Model, 54 (2011), 2132–2138. https://doi.org/10.1016/j.mcm.2011.05.022 doi: 10.1016/j.mcm.2011.05.022
![]() |
[10] |
M. M. Khader, The modeling dynamics of HIV and CD4+ T-cells during primary infection in fractional order: Numerical simulation, Mediterr. J. Math., 15 (2018), 139. https://doi.org/10.1007/s00009-018-1178-9 doi: 10.1007/s00009-018-1178-9
![]() |
[11] | A. Agila, D. Baleanu, R. Eid, B. Irfanoglu, Applications of the extended fractional Euler-Lagrange equations model to freely oscillating dynamical systems, Rom. J. Phys., 61 (2016), 350–359. |
[12] | P. K. Gupta, Local and global stability of fractional order HIV/AIDS dynamics model, In: D. Ghosh, D. Giri, R. Mohapatra, E. Savas, K. Sakurai, L. Singh, Mathematics and computing, International Conference on Mathematics and Computing, Communications in Computer and Information Science, 834 (2018) 141–148. https://doi.org/10.1007/978-981-13-0023-3_14 |
[13] |
N. Özalp, E. Demirci, A fractional order SEIR model with vertical transmission, Math. Comput. Model, 54 (2011), 1–6. https://doi.org/10.1016/j.mcm.2010.12.051 doi: 10.1016/j.mcm.2010.12.051
![]() |
[14] | M. Javidi, N. Nyamoradi, Numerical behavior of a fractional order HIV/AIDS epidemic model, World J. Model Simul., 9 (2013), 139–149. |
[15] |
M. Caputo, M. Fabrizio, A new definition of fractional derivative without singular kernel, Prog. Fract. Differ. Appl., 1 (2015), 73–85. http://dx.doi.org/10.12785/pfda/010201 doi: 10.12785/pfda/010201
![]() |
[16] |
J. Losada, J. J. Nieto, Properties of a new fractional derivative without singular kernel, Prog. Fract. Differ. Appl., 1 (2015), 87–92. http://dx.doi.org/10.12785/pfda/010202 doi: 10.12785/pfda/010202
![]() |
[17] |
A. Atangana, B. S. T. Alkahtani, Analysis of the Keller-Segel model with a fractional derivative without singular kernel, Entropy, 17 (2015), 4439–4453. https://doi.org/10.3390/e17064439 doi: 10.3390/e17064439
![]() |
[18] | A. Atangana, D. Baleanu, New fractional derivatives with nonlocal and non-singular kernel: Theory and application to heat transfer model, arXiv, 2016. https://doi.org/10.48550/arXiv.1602.03408 |
[19] |
M. Farman, M. U. Saleem, M. F Tabassum, A. Ahmad, M. O. Ahmad, A linear control of composite model for glucose insulin glucagon pump, Ain Shamas Eng. J., 10 (2019), 867–872. https://doi.org/10.1016/j.asej.2019.04.001 doi: 10.1016/j.asej.2019.04.001
![]() |
[20] |
M. Farman, M. U. Saleem, A. Ahmad, S. Imtiaz, M. F. Tabassm, S. Akram, et al., A control of glucose level in insulin therapies for the development of artificial pancreas by Atangana Baleanu derivative, Alex. Eng. J., 59 (2020), 2639–2648. https://doi.org/10.1016/j.aej.2020.04.027 doi: 10.1016/j.aej.2020.04.027
![]() |
[21] |
M. Farman, A. Akgül, D. Baleanu, S. Imtiaz, A. Ahmad, Analysis of fractional order chaotic financial model with minimum interest rate impact, Fractal Fract., 4 (2020), 43. https://doi.org/10.3390/fractalfract4030043 doi: 10.3390/fractalfract4030043
![]() |
[22] |
M. U. Saleem, M. Farman, A. Ahmad, H. Ehsan, M. O. Ahmad, A Caputo Fabrizio fractional order model for control of glucose in insulin therapies for diabetes, Ain Shamas Eng. J., 11 (2020), 1309–1316. https://doi.org/10.1016/j.asej.2020.03.006 doi: 10.1016/j.asej.2020.03.006
![]() |
[23] |
A. Hussain, S. Yaqoob, On a nonlinear fractional-order model of novel coronavirus (NCOV-2019) under AB-fractional derivative, Authorea, 2020. https://doi.org/10.22541/au.158739577.76215854 doi: 10.22541/au.158739577.76215854
![]() |
[24] |
M. A. Khan, A. Atangana, Modeling the dynamics of novel coronavirus (2019-nCov) with fractional derivative, Alex. Eng J., 2020. https://doi.org/10.1016/j.aej.2020.02.033 doi: 10.1016/j.aej.2020.02.033
![]() |
[25] |
M. Amin, M. Farman, A. Akgül, R. T. Alqahtani, Effect of vaccination to control COVID-19 with Fractal-Fractional operator, Alex. Eng. J., 61 (2022), 3551–3557. https://doi.org/10.1016/j.aej.2021.09.006 doi: 10.1016/j.aej.2021.09.006
![]() |
[26] |
H. F. Huo, R. Chen, X. Y. Wang, Modelling and stability of HIV/AIDS epidemic model with treatment, Appl. Math. Model, 40 (2016), 6550–6559. https://doi.org/10.1016/j.apm.2016.01.054 doi: 10.1016/j.apm.2016.01.054
![]() |
[27] |
E. J. Moore, S. Sirisubtawee, S. Koonprasert, A Caputo-Fabrizio fractional differential equation model for HIV/AIDS with treatment compartment, Adv. Differ. Equ., 2019 (2019), 200. https://doi.org/10.1186/s13662-019-2138-9 doi: 10.1186/s13662-019-2138-9
![]() |
[28] |
A. Atangana, E. Bonyah, A. A. Elsadany, A fractional order optimal 4D chaotic financial model with Mittag-Leffler law, Chin. J. Phys., 65 (2020), 38–53, https://doi.org/10.1016/j.cjph.2020.02.003 doi: 10.1016/j.cjph.2020.02.003
![]() |
[29] |
M. Toufik, A. Atangana, New numerical approximation of fractional derivative with non-local and non-singular kernel: Application to chaotic models, Eur. Phys. J. Plus, 132 (2017), 444. https://doi.org/10.1140/epjp/i2017-11717-0 doi: 10.1140/epjp/i2017-11717-0
![]() |
[30] |
M. Al-Smadi, O. A. Arqub, Computational algorithm for solving fredholm time-fractional partial integrodifferential equations of dirichlet functions type with error estimates, Appl. Math. Comput., 342 (2019), 280–294. https://doi.org/10.1016/j.amc.2018.09.020 doi: 10.1016/j.amc.2018.09.020
![]() |
[31] |
M. Al-Smadi, O. A. Arqub, S. Momani, Numerical computations of coupled fractional resonant Schrödinger equations arising in quantum mechanics under conformable fractional derivative sense, Phys. Scr., 95 (2020), 075218. doi: 10.1088/1402-4896/ab96e0
![]() |
[32] |
M. Al-Smadi, O. A. Arqub, S. Hadid, An attractive analytical technique for coupled system of fractional partial differential equations in shallow water waves with conformable derivative, Commun. Theor. Phys., 72 (2020), 085001. doi: 10.1088/1572-9494/ab8a29
![]() |
[33] |
M. Al-Smadi, O. A. Arqub, S. Hadid, Approximate solutions of nonlinear fractional Kundu-Eckhaus and coupled fractional massive Thirring equations emerging in quantum field theory using conformable residual power series method, Phys. Scr., 95 (2020) 105205. doi: 10.1088/1402-4896/abb420
![]() |
[34] |
S. Momani, A. Freihat, M. Al-Smadi, Analytical study of fractional-order multiple chaotic Fitzhugh-Nagumo neurons model using multistep generalized differential transform method, Abstr. Appl. Anal., 2014 (2014), 276279. https://doi.org/10.1155/2014/276279 doi: 10.1155/2014/276279
![]() |
[35] |
H. Habenom, M. Aychluh, D. L. Suthar, Q. Al-Mdallal, S. D. Purohit, Modeling and analysis on the transmission of COVID-19 Pandemic in Ethiopia, Alex. Eng. J., 61 (2022), 5323–5342. https://doi.org/10.1016/j.aej.2021.10.054 doi: 10.1016/j.aej.2021.10.054
![]() |
[36] |
M. Asif, Z. A. Khan, N. Haider, Q. Al-Mdallal, Numerical simulation for solution of SEIR models by meshless and finite difference methods, Chaos Soliton. Fract., 141 (2020), 110340. https://doi.org/10.1016/j.chaos.2020.110340 doi: 10.1016/j.chaos.2020.110340
![]() |
[37] |
K. Shah, M. Arfan, A. Ullah, Q. Al-Mdallal, K. J. Ansari, T. Abdeljawad, Computational study on the dynamics of fractional order differential equations with applications, Chaos Soliton. Fract., 157 (2022), 111955. https://doi.org/10.1016/j.chaos.2022.111955 doi: 10.1016/j.chaos.2022.111955
![]() |
1. | Muhammad Farman, Ali Hasan, Muhammad Sultan, Aqeel Ahmad, Ali Akgül, Faryal Chaudhry, Mohammed Zakarya, Wedad Albalawi, Wajaree Weera, Yellow virus epidemiological analysis in red chili plants using Mittag-Leffler kernel, 2023, 66, 11100168, 811, 10.1016/j.aej.2022.10.064 | |
2. | Muhammad Farman, Saba Jamil, Muhammad Bilal Riaz, Muhammad Azeem, Muhammad Umer Saleem, Numerical and quantitative analysis of HIV/AIDS model with modified Atangana-Baleanu in Caputo sense derivative, 2023, 66, 11100168, 31, 10.1016/j.aej.2022.11.034 | |
3. | Dumitru Baleanu, Manijeh Hasanabadi, Asadollah Mahmoudzadeh Vaziri, Amin Jajarmi, A new intervention strategy for an HIV/AIDS transmission by a general fractional modeling and an optimal control approach, 2023, 167, 09600779, 113078, 10.1016/j.chaos.2022.113078 | |
4. | Assad Sajjad, Muhammad Farman, Ali Hasan, Kottakkaran Sooppy Nisar, Transmission dynamics of fractional order yellow virus in red chili plants with the Caputo–Fabrizio operator, 2023, 207, 03784754, 347, 10.1016/j.matcom.2023.01.004 | |
5. | Yanru Wu, Monireh Nosrati Sahlan, Hojjat Afshari, Maryam Atapour, Ardashir Mohammadzadeh, On the existence, uniqueness, stability, and numerical aspects for a novel mathematical model of HIV/AIDS transmission by a fractal fractional order derivative, 2024, 2024, 1029-242X, 10.1186/s13660-024-03098-1 | |
6. | Muhammad Umer Saleem, Muhammad Farman, Kottakkaran Sooppy Nisar, Aqeel Ahmad, Zainab Munir, Evren Hincal, Muhammad Aqeel, Investigation and application of a classical piecewise hybrid with a fractional derivative for the epidemic model: Dynamical transmission and modeling, 2024, 19, 1932-6203, e0307732, 10.1371/journal.pone.0307732 | |
7. | Muhammad Farman, Ali Akgül, Harish Garg, Dumitru Baleanu, Evren Hincal, Sundas Shahzeen, Mathematical analysis and dynamical transmission of monkeypox virus model with fractional operator, 2023, 0266-4720, 10.1111/exsy.13475 | |
8. | Kottakkaran Sooppy Nisar, Muhammad Farman, Mahmoud Abdel-Aty, Chokalingam Ravichandran, A review of fractional order epidemic models for life sciences problems: Past, present and future, 2024, 95, 11100168, 283, 10.1016/j.aej.2024.03.059 |