Couple of the Variational Iteration Method and Fractional-Order Legendre Functions Method for Fractional Differential Equations

We present a new numerical method to get the approximate solutions of fractional differential equations. A new operational matrix of integration for fractional-order Legendre functions (FLFs) is first derived. Then a modified variational iteration formula which can avoid “noise terms” is constructed. Finally a numerical method based on variational iteration method (VIM) and FLFs is developed for fractional differential equations (FDEs). Block-pulse functions (BPFs) are used to calculate the FLFs coefficient matrices of the nonlinear terms. Five examples are discussed to demonstrate the validity and applicability of the technique.

Using the operational matrices of an orthogonal function to perform integration and derivative for solving FDEs has received increasing attention. The operational matrix of fractional derivative has been determined for some types of orthogonal polynomials, such as Chebyshev polynomials [18] and Legendre polynomials [9]. The operational matrix of fractional integration has also been determined for Laguerre series [19], Chebyshev polynomials [20], and Legendre polynomials [21]. Recently, Kazem et al. [22] presented the fractional-order Legendre functions (FLFs) and constructed their operational matrix of fractional-order derivatives for the solution of FDEs. The key idea of this technique is that it reduces these problems to those of solving a system of algebraic equations, thus greatly simplifies the problem and can save more computation time. Moreover, the method based on operational matrices of an orthogonal function for solving FDEs is computer oriented.
The variational iteration method (VIM) was first proposed by He [6][7][8] and has been shown to be a very effective tool for FDEs [23][24][25]. In order to improve the accuracy and efficiency of the VIM for factional calculus, a modification called fractional variational iteration method (FVIM) [26,27] was proposed and some successes [28,29] have been achieved. Moreover, Wu and Baleanu [30], Wu [31] suggested two accurate ways to identify the Lagrange multipliers and various novel variational iteration formulae were obtained for the fractional differential equations. In addition, by using fractional-order Laplace's transform, Yin et al. [32] get a general iteration formula of VIM for fractional heat-and wave-like equations.
Couple of analytical and numerical methods or accuracy and approximation ones is a new trend of developing efficient 2 The Scientific World Journal and fast convergent methods. Recently, Yin et al. [33] developed a modified VIM coupled with the Legendre wavelets, which can be used for the efficient numerical solution of nonlinear partial differential equations (PDEs). Motivated and inspired by the ongoing research in these areas, we extend the above method to FDEs by employing fractional-order Legendre functions, instead of Legendre wavelets. To the best of the authors' knowledge, such approach has not been employed for solving fractional differential equations.
The rest of the paper is organized as follows. In Section 2, we introduce some mathematical preliminaries of the fractional calculus theory and some relevant properties of the fractional-order Legendre functions. In Section 3, the fractional-order Legendre polynomials and their properties are described and nonlinear term approximation by using BPFs is introduced. Section 4 is devoted to developing MVIM using FLFs. Some numerical experiments are presented in Section 5. Finally, we conclude the paper with some remarks.

Preliminaries and Notations
Three definitions and one lemma of the fractional calculus theory [35,36] are listed as follows. (1) Γ( ) is the well-known Gamma function. Some properties of the operator can be found, for example, in [35,36]. One lists only the following, for ∈ , ≥ −1, , ≥ 0, and > −1; one has Because of some defects of Riemann-Liouville derivative in describing real-world phenomena, we will introduce a modified fractional differential operator proposed by Caputo [37]. 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 Caputo sense derivative are listed as follows:

Fractional-Order Legendre Functions
In this section, we first introduce fractional-order Legendre function defined by Kazem et al. in [22], and then derive a fractional integration operational matrix of FLFs. Finally, we give a nonlinear term approximation method.

Fractional-Order
The fractional-order Legendre polynomials, denoted by ( ), are defined on the interval [0, 1] and can be determined with the aid of following recurrence formulae: The Scientific World Journal 3 and the analytic form of ( ) of degree given by where (0) = (−1) and (1) = 1. The orthogonality condition is where the weight function ( ) = −1 .
A function ( ) defined over the interval (0, 1] can be expanded as the following formula: where the coefficient is given by If the infinite series in (10) is truncated, then it can be written as where and Ψ( ) are × 1 matrices defined as The convergence of fractional-order Legendre polynomials expansion has been discussed in [22].

Integration Operational Matrix of FLFs.
The main objective of this section is to generalize the operational matrix of integration for FLFs.

Lemma 5. The FLFs Riemann-Liouville fractional integration of > 0 can be obtained in the form of
Proof. Consider Lemma 6. Let > 0; then one has Proof. Using Lemma 5 and (8), one can have This is proof of Lemma 6.

4
The Scientific World Journal

Nonlinear Term Approximation. The FLFs can be expanded into -set of block-pulse functions as
Let = and taking the collocation points as follows: The -square Legendre matrix Φ × is defined as The operational matrix of product of the Legendre polynomials can be obtained by using the properties of BPFs; let ( ) and ( ) be two absolutely integrable functions, which can be expanded in Legendre wavelets as ( ) = Ψ( ) and ( ) = Ψ( ), respectively. From (23), we have By employing Lemma 1 in [38] and (17), we get

Modified Variation Iteration Method Using FLFs
Consider the following initial value problem: where is a linear operator, is a nonlinear operator, and is the Caputo fractional derivative of order . Wu and Baleanu [30] and Wu [31] applied the VIM to (28), and generalized an accurate variational iteration formula as follows: Using Lemma 4, (30) can be rewritten as However, (31) will generate "noise term" [22,23] for inhomogeneous equations. Wu [39] gave a new technology to determine the initial iteration value. Motivated and inspired by the work [40][41][42][43][44][45], we construct an iteration formulae which can accelerate the rapid convergence of series solution when compared with FVIM.
We assume that ( ) consists of two parts, which can be denoted by ( ) = int ( ) + frc ( ), where int ( ) is the integer component with respect to and frc ( ) is the fractional component.
The components 0 , 1 , . . . , , . . . are determined recursively by In order to improve the performance of FVIM, we introduce FLFs to approximate ( ) and the inhomogeneous term int ( ) as in which Ψ( ) is defined as (14). Now for the nonlinear part, by nonlinear term approximation described in Section 3.3, we have where is matrix of order × 1. For the linear part, we have where is a matrix of order × 1.
Then the iteration formula (32) can be constructed as The

Applications and Results
In this section, we first give two examples to demonstrate that (32) can avoid "noise term" and then use three other examples to illustrate the validity and applicability of our method. The accuracy of our approach is estimated by the following error functions: = abs [( exact ) − ( approx ) ] , = abs ( exact − approx ) .

(37)
Example 8. Consider the composite fractional oscillation equation [14] 0. 25 with the initial condition (0) = 0. According to (30), the variational iteration formulae can be constructed as The series solution can be obtained as One can find that (40) exists "noise term. " By using the iteration formula (32), we can get the series solution as 0 ( ) = 2 ; . . .
so we have ( ) = 2 , which is the exact solution. Only two iterations are needed to get the exact solution.
Example 9. Consider the following initial value problem [46]: with the initial condition (0) = 0. According to (30), we have the following variational iteration formulae of (42): 6 The Scientific World Journal The series solution can be attained as One also can find that (44) exist "noise term". By iteration formula (32), we can get the series solution as . . .
so we have ( ) = 2 , which is the exact solution. It is easy to deduce that our method is more efficient than the VIM and FIM [46].
We solved the problem by applying the technique described in Section 4. When = 9, numerical results are obtained for different values of and shown in Figure 1(a). The absolute errors for = 1.0 and = 2.0 are shown in Figure 1(b). From Figure 1(b), one can see that our method can achieve a good approximation with the exact solution by using a few terms of FLFs.
We solved the problem, by applying the technique described in Section 4. Numerical results are obtained for different values of when = 9 and shown in Figure 2. In Table 1, we compare our result with [16] for the difference value . From Table 1, one can see that our results are more accurate than those in [16] while only needs a few terms of FLFs.
We solved the problem by applying the technique described in Section 4. Figure 3 shows a behavior of the numerical solution for = 9. From Figure 3, it can be seen that our method can achieve a good approximation with the exact solution by using a few terms of FLFs. In Table 2, we compare our result with the modified homotopy perturbation method [34] for the difference value . From Table 2, one can find that our results are more accurate than that obtained by [34]. This demonstrates the importance of presented numerical scheme in solving nonlinear fractional differential equations.
The Scientific World Journal 7

Conclusion
A new modification of variational iteration method using fractional-order Legendre functions is proposed and successfully applied to find the approximate solution of nonlinear fractional differential equations. The proposed method can avoid the "noise terms" and give approximations of higher accuracy and closed-form solutions if existed. Unlike the VIM, our method can easily overcome the difficulty arising in the evaluation integration and the derivative of nonlinear terms and does not need symbolic computation. In contrast to the FLFs method, our method only needs a few iterations instead of solving a system of nonlinear algebraic equations. Moreover, our method is computer oriented and can use existing fast algorithms to reduce the computation cost.