#### Abstract

The classical Adomian decomposition method (ADM) is implemented to solve a model of HIV infection of CD4+T 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.

#### 1. Introduce

Because of human immunodeficiency virus (HIV), more and more people are infected with more and more casualties especially in Africa. CDT cells are the most abundant white blood cells of the immune system in body. Though HIV infects also other cells, it seriously damages the CDT cells in blood and this decreases the immune ability. Mathematical modeling is an important tool established for understanding HIV infection concerning CDT cells. In 1989, Perelson established a simple and important model in the field of HIV infection . In 1993, Perelson et al. proposed a fitted model based on an old model which appeared in . This HIV infection model of CDT cells is given by the system of nonlinear differential equations: with the initial conditions This model neglects the proliferation of infected CDT cells. Here , , and describe the concentration of susceptible CDT cells, CDT 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; is the infection rate; denotes a rate at which the body produces CDT 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 CDT cell produces during its life, including all its daughter cells; indicates the maximum CDT cells concentration in the body. Also, describes the logistic growth of healthy CDT cells. In this paper, all parameters are the same as those in [3, 4]; that is, , , , , , , , , , , and .

In the recent twenty years, all kinds of models of HIV infection of CDT 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)  and Laplace ADM (LADM)  are some typical approaches, which give the approximate solution of linear or nonlinear problems . Padé approximation and Laplace transform have been regarded as posttreatment tools that are used to obtain some results of nonlinear differential equations . Gauss elimination, LU factorization, and chasing methods are classical direct methods , and Jacobi, Gauss-Seidel, SOR, (preconditioned) Krylov subspace, and (preconditioned) HSS methods are iteration methods for solving systems of linear equations . Besides, Newton, Euler, Runge-Kutta, Newton-HSS, and Newton-Krylov subspace methods are numerical methods for solving systems of nonlinear equations . 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 . Ongun used the LADM to solve the system of nonlinear differential equations (1) in . Doğan proposed the multistep LADM to solve the system of nonlinear differential equations (1) in . 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.

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 . 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 Letting the inverse operator be an integral operator of the form and applying 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:

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 , , and . In fact, the first seven terms in the expressions of , , and are exact because the other terms will be changed by the remaining components. That is to say, the coefficients from to are invariable. So the truncated Taylor series of the approximate solutions , , and should be of the forms

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.

By “Mathematica” software, the Padé approximations of , , and 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 , , and , we obtain For simplicity, we let . Then the above expressions become The highest indices of the Laplace transformations , , and are . Hence, Laplace transform increases the index by one for each component.

To combine Laplace transform and Padé approximation, we adopt Padé approximation to approximate , , and . Because the highest indices of these power functions are , by Mathematica software again we have Recalling , we obtain

Using the inverse Laplace transform, we have where denotes the inverse Laplace transform. Till now, we have stated completely the posttreatment of ADM. In this way, we obtain the approximate solutions , , and by using the posttreatment Padé approximation and , , and by using the posttreatment Padé approximation and Laplace transform, respectively.