This article studies the dynamical behavior of the analytical solutions of the system of fraction order model of HIV-1 infection. For this purpose, first, the proposed integer order model is converted into fractional order model. Then, Laplace-Adomian decomposition method (L-ADM) is applied to solve this fractional order HIV model. Moreover, the convergence of this method is also discussed. It can be observed from the numerical solution that (L-ADM) is very simple and accurate to solve fraction order HIV model.

1. Introduction

AIDS (acquired immune deficiency syndrome) is a disease which is caused by the type of pathogen virus called human immune deficiency virus (HIV). This virus was introduced in 1981 in USA. AIDS is incurable disease that has high mortality rate (kills more than 25 million worldwide per year). Developing of AIDS takes about 6 months to 15 years. The virus attacks CD4+ T cells. The virus is transmitted through unprotected sexual contact and by sharing contaminated needle or transfusion of infected blood. It may also be transmitted from the mother to her child during pregnancy, lactation, or during birth.

Applied mathematicians have a great interest to study the HIV/AIDS dynamics. This research helps the biologists to find the appropriate treatment for infected humans. Mathematical models are important tools in analyzing the spread and control of HIV/AIDS as they provide short- and long-term prediction of HIV and AIDS incidences.

The dynamics of HIV epidemic models have been studied by several researchers [15]. For the numerical solutions of HIV-1 models, some methods have been introduced. Ghoreishi et al. [6] introduced homotopy analysis method for the solution of HIV-1 model. Further, Ongun [7] introduced the Laplace-Adomian decomposition method CLADMD for the solution of HIV-1 model. The HPM was introduced by Merdan in [8] to find the approximate solution of the model. But the most powerful method is LADM [7], which has gained much attention in the recent past.

In this paper, we will generalize AIDS/HIV model to a fractional order system of order in sense of Caputo definition because it is equivalent to ordinary differential equation when . We will study the nonlinear model with a fractional order . In recent years, the mathematician have taken interest in fractional calculus because it has many engineering and medical applications. Therefore, first, we consider the HIV infection integer order model which has been presented in [9]. This model consists of five compartments: which stands for the uninfected CD4+ T cells, which represents the concentration of infected cells while the concentration of double cells is denoted by , and the densities of pathogen viruses and recombinant viruses are denoted by and , respectively. This model can be written as with the initial condition , and .

The parameters used in the system (1) can be defined as follows: the healthy cells are produced at the rate. Moreover, d1, d2, d3, d4, and d5 are the rates of death of uninfected cells, infected cells, double infected cells, pathogen virus, and recombinant virus, respectively. is the rate of infection of healthy CD4+ T cells. The rate of production of pathogen virus is defined by . is infection rate of double infected cells. is the rate at which the recombinant viruses are produced. with the initial conditions , and .

In many branches of sciences, fractional differential equations (FDEs) have shown their importance as these equations have much application in different sciences such as Physics, Chemistry, Mechanics, and Engineering [10, 11]. Currently (FDEs), systems have gained much attention. In the recent past, various integer order models have been converted into fractional order models. Fractional order operators have greater degree of freedom, and hence, using these in mathematical models produce best results as compared to integer order derivatives.

This research work will be organized as follows: the first section is related to some basic definitions from fractional calculus. In second section, Adomian decomposition method will be applied to the proposed system. Numerical simulation will be carried out in Section 3. Section 4 is dedicated to convergence analysis of the proposed fractional order model. In the last section, conclusion will be drawn.

2. Preliminaries

We will discuss some basic definitions in this section. For this, we will use [12]. Throughout the paper, we have used Caputo fractional order derivative.

Definition 1. The fractional Riemann-Liouville type integral of order of a function is written as where is Caputo derivative and . But is the order of fractional time derivative.

Definition 2. For the function , the Caputo derivative for fractional order on the interval can be defined as Here, and denote the integral part of .

Lemma 1. The properties related to fractional order integral are satisfied.for .

Definition 3. The Laplace transform of Caputo derivative is defined as follows: where and denote the integer part of .

Theorem 1. The initial value problem (2) with the given initial conditions (8) has unique solutions and will remain in .

Proof 1. It can be proved that the solution of the initial value problem exists on (0,1) and is unique as derived in [13]. Moreover, we will show that is positively invariant region. From system (2), we can obtain the following results: Hence, the solution will remain in the region .

3. The Laplace-Adomian Decomposition Method (L-ADM)

We will apply our considered method in the following steps. First, we will apply Laplace transform to both sides of (2) and obtain the equations as below

Now, using the initial conditions and after some rearrangement, we obtain

Assuming the solutions in the form of infinite series as and decomposing the nonlinear terms and by using Adomian polynomial as where and can be defined by

Here, and are Adomian polynomials. The use of system (11) and system (13) in model (9) gives the following systems. and so on. The general terms for successive iterations taking can be written as

To proceed further, the behaviors of the solutions , and under different values of will be discussed, and the differences of tendency of the behavior of the solutions between fractional order derivative and integer order derivative will be noted. To get the initial approximations and , the inverse Laplace transform will be applied to the system (14). Then, using these values in the system (15), the second approximations, , and , are determined. Similarly, , and can be calculated. We write these solutions as

In the coming section, the numerical behavior of the proposed system will be presented.

4. Multistage Adomian Decomposition Method with Numerical

The following analytical approximate solution can be obtained by using L-ADM. These solutions are represented in terms of an infinite power series. Different values of the parameters used in the proposed system are taken from [9]. Therefore, we can write

The first approximations under the given initial values can be found as follows:

Next, to calculate the second approximation, we will use the initial and first approximate values.

Therefore, we get the following approximation:

The other approximation can be found in similar way. We get the following solutions after three terms by using L-ADM at as

The system of series solution up to three terms for is given below.

Further, we obtain the following series after some simplification for up to three terms as

The solutions for up to three terms is given by

5. Numerical Discussion

The numerical results shown in Figures 15 imply the effectiveness of numerical methods discussed here. These methods give highly accurate results in very few iterations. Some simulations results (21), (22), and (23) are given as illustrations.

The figures show the behavior of the solutions of the variables , and . It is observed from the Figures (15) that the Laplace-Adomian decomposition method is more accurate. The presented method can predict the behavior of these variables accurately for the region under consideration. Figure 2 shows the simulation of approximate solutions by assuming . It is clear from these figures that the behavior of the approximate solutions depends continuously on the time-fractional derivative. Moreover, we can see that the potential of this access can be rapidly increased if the step size is decreased.

Remark 1. Here, we assume that .

6. Convergence Analysis

To check the convergence of the series solutions given in (19), we give the following result.

Theorem 2 (see [14]). Let be a nonlinear operator which is also contractive, where is Banach space, that is, for all . Then, in view of Banach contraction theorem, has a unique point such that . Further assume that the sequence of series generated by LADM can be written as the series (19) can be written as follows: and suppose that where , then, (i)(ii)

Proof 2. Let be the exact solution of the model . Also, .
Now Assume that We now prove for , Thus, we have (i)(ii)

7. Conclusion

In this research work, the numerical solution of fractional order HIV-1 model is discussed by using the method known as L-ADM. For this purpose, different values are given to and numerical simulations for these values have been presented. It may be concluded from these figures that the concentration of virus decreases in the body as increases from 0.75 to 0.85. But the viral load tends toward zero as increases to 0.95 (see Figure 4). Moreover, the load of CD4+ T cells is increased by increasing the value of (see Figure 1). One can conclude that increase in can cause increase in the level of CD4+ T cells and decrease in viral level. Hence, when , then the solution of the fractional order model is reduced to the solution of integer order model. Moreover, the convergence of the method is also discussed. Thus, it is observed that LADM can be used to increase the interval of convergence for the derived series solution. It is also shown that this method is very efficient and accurate method as compared with RK4 method and it is better to use this method for the solution of the other nonlinear systems.

Data Availability

The data used to support the findings of this study are included within the article.

Conflicts of Interest

There is no competing interest regarding this paper.

Authors’ Contributions

All authors equally contributed this research work.


The authors ensure the originality of this research. Upon acceptance, the authors will provide all source files to the journal. This research work has been financially supported by the Department of Mathematics, Pusan National University, South Korea, and the Higher Education Commission (HEC) of Pakistan under grant number 21-1657/ SRGP/ R&D/ HEC/2017.