Abstract

A comparative study is presented about the Adomian’s decomposition method (ADM), variational iteration method (VIM), and fractional variational iteration method (FVIM) in dealing with fractional partial differential equations (FPDEs). The study outlines the significant features of the ADM and FVIM methods. It is found that FVIM is identical to ADM in certain scenarios. Numerical results from three examples demonstrate that FVIM has similar efficiency, convenience, and accuracy like ADM. Moreover, the approximate series are also part of the exact solution while not requiring the evaluation of the Adomian’s polynomials.

1. Introduction

Fractional differential equations (FDEs), as a generalization of ordinary differential equations to an arbitrary (noninteger) order, have been proved to be a valuable tool in modelling many phenomena in the fields of physics, chemistry, engineering, aerodynamics, electrodynamics of complex medium, polymer rheology, and so forth [19]. The reasons are that fractional derivatives provide an excellent instrument for description of memory and hereditary properties of various materials and processes.

Considerable attention has been paid to developing accurate and efficient methods for solving fractional partial differential equations (FPDEs). Most of the nonlinear fractional differential equations do not have exact analytic solutions, so approximation and numerical techniques must be used. Recently, some approximate methods such as Adomian’s decomposition method (ADM) [1013], homotopy perturbation method (HPM) [1416], variational iteration method (VIM) [1722], homotopy analysis method (HAM) [2326], fractional complex transform (FCT) [2731], and wavelets method [3234] have been given to find an analytical approximation to FDEs.

The variational iteration method (VIM), which was first proposed by He et al. [1722] and has been shown to be very efficient for handling a wide class of physical problems. As early as 1998, the variational iteration method was shown to be an effective tool for factional calculus [35]; hereafter, the method has been routinely used to solve various fractional differential equations [11, 3641] for many years. In order to improve the accuracy and efficiency of the VIM for factional calculus, a modification called fractional variational iteration method (FVIM) [42, 43] was proposed and some successes [44, 45] have been achieved. In the field of fractional differential equations, the main difference between VIM and FVIM is the evaluation of Lagrange multipliers: VIM usually get Lagrange multipliers by some approximations.

The three methods (i.e., VIM, FVIM, and ADM) are relatively new and effective approaches to find the approximate solution of PDEs, because they provide immediate and visible symbolic terms of analytic solutions, as well as numerical approximate solutions to both linear and nonlinear PDEs without linearization or discretization. The prior work [4649] has performed a comparative study of ADM and VIM and got two useful conclusions: on the one hand, ADM needs specific algorithms to evaluate the Adomian’s polynomials, while VIM handles linear and nonlinear problems in a similar manner without any additional requirement or restriction; on the other hand, Adomian’s decomposition method provides the components of the exact solution. However, it has to be validated whether these conclusions are also true for the scenario of FPDEs.

In this paper, we consider the following fractional initial value problem: where is a linear operator, is a nonlinear operator in , , and is the modified Riemann-Liouville derivative of order , subject to the initial conditions We will provide a comparative study of ADM and FVIM in dealing with the above FPDEs. The remainder of the paper is organized as follows. We begin by introducing some necessary definitions and mathematical preliminaries for the fractional calculus theory in Section 2. We present the VIM/FVIM method and the ADM in Sections 3 and 4, respectively. In Section 5, three examples are given to demonstrate our conclusions. Finally, a brief summary is presented.

2. Preliminaries and Notations

In this section, we describe some necessary definitions and mathematical preliminaries of the fractional calculus theory.

Definition 1. A real function , , is said to be in the space , , if there exists a real number , such that , where , and it is said to be in the space if and only if , .

Definition 2. Riemann-Liouville fractional integral operator () of order , of a function , is defined as is the well-known gamma function. Some properties of the operator can be found in [4, 8, 9, 50]. We only recall the following ones: for , , , and .
The Riemann-Liouville derivative has certain disadvantages when trying to model real-world phenomena with FDEs. Therefore, we will introduce a modified fractional differential operator proposed by Caputo [51].

Definition 3. The fractional derivative of in the Caputo sense is defined as where , denotes a continuous (but not necessarily differentiable) function.
Some useful formulas and results of modified Riemann-Liouville derivative, which we need here, are listed as follows:

Lemma 4. Let , , , , . Then

3. VIM and FVIM

3.1. Variational Iteration Method

In this section, the basic ideas of variational iteration method (VIM) are introduced. Here a description of the method (please refer to publications [1719] for more details) is given to handle the general nonlinear problem as where is a linear operator, is a nonlinear operator, and is a known analytic function.

According to He’s variational iteration method [1722], we can construct a correction functional as follows: where is a general Lagrange multiplier which can be optimally identified via variational theory and is a restricted variation which means . Therefore, the Lagrange multiplier should be first determined via integration by parts. The successive approximation () of the solution will be readily obtained by using the obtained Lagrange multiplier and any selective function . The zeroth approximation may be selected by any function that just meets, at least, the initial and boundary conditions. With determined, then several approximations , follow immediately. Consequently, the exact solution may be obtained as The VIM depends on the proper selection of the initial approximation . Finally, we approximate the solution of the initial value problem (1) by the th-order term . It has been validated that VIM is capable of effectively, easily, and accurately solving a large class of nonlinear problems.

3.2. Fractional Variational Iteration Method

We can construct a correction functional for (1) as follows: where is a restricted variation.

Taking Laplace transform to both sides of (11) as where is Laplace transform of with respect to and is operator of Laplace transform.

By assuming that the Lagrange multiplier has the form as , so that is the convolution of the function and .

Because is a restricted variation, we have

Taking the variation derivative on the both sides of (12), we can derive

If setting the coefficient of to zero, we can get and the Lagrange multiplier can be identified by using the inverse Laplace transform Substituting (16) into (12) and using the definition of Riemann-Liouville fractional integral operator, we get the iteration formula as follows:

4. Adomian’s Decomposition Method

Applying the operator and the inverse of the operator to both sides of (1) yields The Adomian’s decomposition method [5255] suggests that the solution should be decomposed into the infinite series of components as and the nonlinear function in (1) be decomposed as follows: where are the so-called the Adomian’s polynomials.

Substituting the decomposition series equations (19) and (20) into both sides of (18) gives From this equation, the iterates are determined by the following recursive way: The Adomian’s polynomial can be calculated for all forms of nonlinearity according to specific algorithms constructed by Adomian [54]. The Adomian polynomials can be easily calculated by the homotopy perturbation method (for more details see [56]). The general formulation for an Adomian’s polynomials is This formula is easy to compute by using mathematical software or by writing a computer code to get as many polynomials as we need in the calculation of the numerical as well as explicit solutions. Finally, we approximate the solution by the truncated series as

5. Applications and Results

From (17) and according to Lemma 4, we could get an approximate solution as

From (21), we could get an approximate solution as where and .

When and , we could find that (25) and (26) are identical.

In this section, we will provide three examples for performing comparative studies. The exact solutions of these examples are known for the special cases or 2 and have been solved in [11, 12, 57] by using the VIM, HPM, ADM, and some other methods. It is to be noted that Lagrange multiplier of VIM in [11, 12] is an approximation.

Example 5. Consider the following linear time-fractional diffusion equation: subject to the initial condition Momani and Odibat [11, 12, 57] have made a study about this equation by using the VIM, HPM, and the ADM and drew a conclusion that using the modified HPM is the same as the fourth-order term of the VIM solution. When , the VIM solution and the decomposition solution are identical.
By using the VIM described in [6], the iteration formula for (27) is given by
By employing the above variational iteration formula and beginning with , we can obtain the following approximations: and so on. The rest components of the iteration formula (29) can be obtained in the same manner.
To solve the problem with the ADM, the recurrence relation is obtained as follows:
In view of (31), the first few components of the decomposition series are derived as follows: and so on. The rest of components of the decomposition series can be obtained in this manner.
The solution in series form is given by
To solve (27) by means of FVIM, we construct a correctional functional that reads as
From the initial value, we can derive
Consequently, the exact solution can be obtained as which is the same as that obtained by ADM.

Table 1 shows the approximate solutions for (27) obtained for different values of using methods VIM, ADM, and FVIM. The values of are the only case for which we know the exact solution. From (33) and (36), it is obvious that the solution of (27) obtained using the FVIM is the same as the ADM. Moreover, when is a positive integer, the Lagrange multiplier of FVIM is identical to that of VIM, so the solutions obtained by the two methods are the same. It should be noted that only the fourth-order term of the VIM and FVIM is used in evaluating the approximate solutions.

Example 6. We next consider the following linear time-fractional wave equation: subject to the initial conditions
By using the VIM described in [6], the iteration formula for (37) is given by
By using variational iteration formula and beginning with , we can obtain the following approximations:
To solve the problem by using the decomposition method, we substitute (37) and the initial conditions equation (38) into (22), and we obtain the following recurrence relation:
In view of (22), the first few components of the decomposition series are derived as follows:
By using fractional variational iteration formula (17) and beginning with , we can obtain the following approximations: Table 2 shows the approximate solutions for (37) obtained for different values of using methods VIM, ADM, and FVIM. The values of are the only case for which we know the exact solution . From (42) and (43), it is obvious that the solution of (37) obtained by using the FVIM is the same as the ADM. As the previous example, the fourth-order term of the VIM/FVIM is utilized in evaluating the approximate solutions.

Example 7. Consider the following nonlinear time-fractional advection partial differential equation [57]: subject to the initial conditions
By using the VIM described in [6], the iteration formula for (44) is given by
By the variational iteration method, starting with , we can obtain the following approximations: In the same manner, the rest of components of the iteration formula (46) can be obtained by using the Mathematica package.
To solve the problem using the decomposition method, we obtain the following recurrence relation: where are the Adomian’s polynomials for the nonlinear function . In view of (22), the first few components of the decomposition series are derived as follows:
The first three terms of the decomposition series (48) are given by
By the FVIM and beginning with , we can obtain the following approximations:
Table 3 shows the approximate solutions for (44) obtained for different values of using methods VIM, ADM, and FVIM. The values of is the only case for which we know the exact solution . From (49) and (52), it is obvious that the solution of (44) obtained using the FVIM is the same as that of ADM. As the previous examples, the fourth-order term of the VIM solution and four terms of the FVIM are used in evaluating the approximate solutions for Table 3.

6. Conclusion

The main goal of this work is to conduct a comparative study between fractional variational iteration method and the Adomian’s decomposition method. The two methods are powerful and effective tools for the solution of fractional partial differential equations, and both give approximations of higher accuracy and closed form solutions if existing. There are three important points to make here. First, FVIM is identical to the decomposition method in some sense. Second, FVIM reduces the computational workload by avoiding the evaluation of Adomian’s polynomials, hence the iteration is straightforward. Third, FVIM provides the components of the exact solution like the ADM, but there is no need to add successive components to get the series solution. So, FVIM is more effective than ADM in solving the fractional partial differential equations.

Acknowledgments

This work is supported by National Natural Science Foundation of China (Grant no. 41105063). The authors are very grateful to reviewers for carefully reading the paper and for his (her) comments and suggestions which have improved the paper.