Adomian Decomposition Method Combined with Padé Approximation and Laplace Transform for Solving a Model of HIV Infection of CD 4 + T Cells

The classical Adomian decompositionmethod (ADM) is implemented to solve amodel of HIV infection of CD4T cells.The results indicate that the approximate solution by using the ADM is the same as that by using the Laplace ADM, but it can be obtained in a more efficient way. We also use Padé approximation and Laplace transform as a posttreatment technique to obtain the result of the ADM.The advantage of the posttreatment is illustrated by numerical experiments.


Introduce
Because of human immunodeficiency virus (HIV), more and more people are infected with more and more casualties especially in Africa. CD4 + T cells are the most abundant white blood cells of the immune system in body. Though HIV infects also other cells, it seriously damages the CD4 + T cells in blood and this decreases the immune ability. Mathematical modeling is an important tool established for understanding HIV infection concerning CD4 + T cells. In 1989, Perelson established a simple and important model in the field of HIV infection [1]. In 1993, Perelson et al. proposed a fitted model based on an old model which appeared in [2]. This HIV infection model of CD4 + T cells is given by the system of nonlinear differential equations: with the initial conditions This model neglects the proliferation of infected CD4 + T cells. Here ( ), ( ), and ( ) describe the concentration of susceptible CD4 + T cells, CD4 + T cells infected by the HIV, and free HIV particles in the blood, respectively; , , and represent natural turnover rates of uninfected T cells, infected T cells, and virus particles, respectively; (> 0) is the infection rate; denotes a rate at which the body produces CD4 + T cells from precursors in the bone narrow and thymus; represents a rate at which T cells multiply through mitosis when the T cells are stimulated by antigen or mitogen; means the virus particles that each infected CD4 + T cell produces during its life, including all its daughter cells; max indicates the maximum CD4 + T cells concentration in the body. Also, (1 − ( + )/ max ) describes the logistic growth of healthy CD4 + T cells. In this paper, all parameters are the same as those in [3,4]; that is, = 0.1, = 0.02, = 0.3, = 3, = 2.4, 2 Discrete Dynamics in Nature and Society = 0.0027, max = 1500, = 10, 1 = 0.1, 2 = 0, and 3 = 0.1.
In the recent twenty years, all kinds of models of HIV infection of CD4 + T cells have been established and studied. These models are usually described by the nonlinear differential equations. When the analytic solution can not be obtained in close form, the numerical and/or approximate solutions need to be computed. Adomian decomposition method (ADM) [5] and Laplace ADM (LADM) [6] are some typical approaches, which give the approximate solution of linear or nonlinear problems [7]. Padé approximation and Laplace transform have been regarded as posttreatment tools that are used to obtain some results of nonlinear differential equations [8][9][10][11][12][13][14]. Gauss elimination, LU factorization, and chasing methods are classical direct methods [15], and Jacobi, Gauss-Seidel, SOR, (preconditioned) Krylov subspace, and (preconditioned) HSS methods are iteration methods for solving systems of linear equations [15][16][17][18][19]. Besides, Newton, Euler, Runge-Kutta, Newton-HSS, and Newton-Krylov subspace methods are numerical methods for solving systems of nonlinear equations [20][21][22][23]. In this paper, we deeply study ADM and the posttreatment technique for solving the model of HIV infection (1).
The type of HIV infection model (1) has been deeply discussed in [3,4]. Arafa et al. proposed generalized Euler method (GEM) to solve the fractional order model in [24]. Ongun used the LADM to solve the system of nonlinear differential equations (1) in [4]. Dogan proposed the multistep LADM to solve the system of nonlinear differential equations (1) in [3]. We will use ADM to solve HIV infection model (1), and we will utilize Padé approximation and Laplace transform for obtaining some new results.
The remainder of this paper is organized as follows. in Section 2, we apply ADM for solving HIV infection model (1). In Section 3, we use Padé approximation and Laplace transform as posttreatment technique to improve the results of ADM. In Section 4, we give numerical results for the system of nonlinear differential equations (1) and compare these results with those of the classical fourth-order Runge-Kutta (RK4) method.

Application of ADM
In this section, the classical ADM is used to solve the system of nonlinear differential equations (1), whose results are the same as that using the LADM [4]. For this class of problems, ADM is a simple and convenient method. Now, let us use ADM to solve the system of nonlinear differential equations (1). Rewriting HIV infection model (1) in an operator form, where the differential operator denotes = . (4) Letting the inverse operator −1 be an integral operator of the form and applying −1 on both sides of the equations in (3), we obtain Using the ADM, we express the unknown items as the infinite series and rewrite the nonlinear items as the Adomian polynomials Based on the above expressions and the initial conditions, we can obtain the following recursive relationship: Discrete Dynamics in Nature and Society 3 By the aid of the software "Mathematica," we can write the first seven terms from the zeroth to the sixth components of ( ), ( ), and ( ) and then give their sums as follows: We now analyze the expressions 6 , 6 , and 6 . In fact, the first seven terms in the expressions of 6 , 6 , and 6 are exact because the other terms will be changed by the remaining components. That is to say, the coefficients from 0 to 6 are invariable. So the truncated Taylor series of the approximate solutions 6 , 6 , and 6 should be of the forms Note that these results are the same as those of LADM in [4]. We believe that the results by using ADM are the same as those by using LADM, because LADM is essentially the same as that of ADM. LADM firstly uses the Laplace transform to the original equations. Then, based on the idea of ADM, a recursive relationship of the LADM is obtained [4]. And lastly, an approximate solution of the unknown function is derived by using the inverse Laplace transform. From the implementation procedure, we find that LADM is more complicated than ADM, because LADM uses not only Laplace transform but also inverse Laplace transform. However, ADM only uses inverse operator. So we can directly use ADM to solve the system of nonlinear differential equations (1).

Posttreatment of ADM
In this section, we first introduce Padé approximation and then combine Laplace transform with Padé approximation to conduct the results of ADM. By using this posttreatment technique, we can obtain better approximate solutions.
Assume that a function ( ) has a Taylor expansion ( ) = ∑ ∞ =0 at the zero point. We want to compute a Padé approximation to ( ). To this end, let the [ / ] Padé approximation have the form By matching the coefficients of Taylor expansion of ( ) with those of [ / ] Padé approximation, we have The coefficients 0 , 1 , . . . , and 1 , 2 , . . . , can be computed via the above equality. This means that the power series of ( ) equals the [ / ] Padé approximation from 0 to + , or, in other words, it holds that It is known that [ / ] Padé approximation of a function is uniquely determined [25].  [25]. By "Mathematica" software, the [3/3] Padé approximations of 6 ( ), 6 ( ), and 6 ( ) are, respectively, given by Usually, Laplace transform can make the coefficients of a power function become large, the constants disappear, and the index of unknown number increase by one. For example, applying Laplace transform to 6 ( ), 6 ( ), and 6 ( ), we obtain Ψ ( 6 ( )) = 0.
In this way, we obtain the approximate solutions 3 , 3 , and 3 by using the posttreatment Padé approximation and LPL ( ), LPL ( ), and LPL ( ) by using the posttreatment Padé approximation and Laplace transform, respectively.

Numerical Results
In this section, we demonstrate the effectiveness of the posttreatment technique, that is, the Padé approximation and the Laplace transform. For simplicity, if the Padé approximation is used to conduct the results of ADM, we call it ADM-Padé; if we use Padé approximation and Laplace transform to obtain the results of ADM, we call it ADM-LPL. We use the classical RK4 method, ADM, ADM-Padé, and ADM-LPL to solve HIV infection model (1). Numerical results of these methods are displayed by graphics. Figures 1, 2, and 3 show the results of KR4, ADM-[3/3] Padé approximation, and ADM for functions ( ), ( ), and ( ), respectively. From Figure 1, we see that the result of ADM is closer to that of RK4 than that of ADM-[3/3] Padé approximation when the time is growing. From Figures 2 and  3, we see that the results of ADM-[3/3] Padé approximation are closer to those of RK4 than those of ADM for ( ) and ( ) when the time is growing. From Figures 1, 2, and 3, we observe that Padé approximation is a better tool that can be      ( ), and ( ), respectively. Figure 7 shows that the result of ADM-LPL is almost the same as that of RK4 for function ( ).
And Figure 8 shows that ADM-[3/3] Padé approximation outperforms ADM-LPL when the time is growing. Because of the scalar of the longitudinal coordinates in this figure, there is no much error for ( ). Figure 9 shows that the result of ADM-LPL is almost the same as that of RK4 for the function ( ), too. Therefore, for HIV infection model (1), Figures 7,8,and 9 show that the results of ADM-[3/3] Padé approximation are the same as those of ADM-LPL in a small time interval.
In summary, the results of ADM, ADM-Padé, and ADM-LPL are the same when they are used to solve HIV infection model (1) in a small time interval. From the results of these methods, we find that ADM-LPL is the best method for solving HIV infection model (1). Generally speaking, we need to find good posttreatment to conduct the result of ADM, which makes the results better when the time is growing. Padé approximation and Laplace transform are such good