## Corrections

30 Oct 2015: Bhrawy AH, Taha TM, Alzahrani EO, Baleanu D, Alzahrani AA (2015) Correction: New Operational Matrices for Solving Fractional Differential Equations on the Half-Line. PLOS ONE 10(10): e0142275. doi: 10.1371/journal.pone.0142275 View correction

14 Sep 2015: Bhrawy AH, Taha TM, Alzahrani EO, Baleanu D, Alzahrani AA (2015) Correction: New Operational Matrices for Solving Fractional Differential Equations on the Half-Line. PLOS ONE 10(9): e0138280. doi: 10.1371/journal.pone.0138280 View correction

## Figures

## Abstract

In this paper, the fractional-order generalized Laguerre operational matrices (FGLOM) of fractional derivatives and fractional integration are derived. These operational matrices are used together with spectral tau method for solving linear fractional differential equations (FDEs) of order *ν* (0 < *ν* < 1) on the half line. An upper bound of the absolute errors is obtained for the approximate and exact solutions. Fractional-order generalized Laguerre pseudo-spectral approximation is investigated for solving nonlinear initial value problem of fractional order *ν*. The extension of the fractional-order generalized Laguerre pseudo-spectral method is given to solve systems of FDEs. We present the advantages of using the spectral schemes based on fractional-order generalized Laguerre functions and compare them with other methods. Several numerical examples are implemented for FDEs and systems of FDEs including linear and nonlinear terms. We demonstrate the high accuracy and the efficiency of the proposed techniques.

**Citation: **Bhrawy AH, Taha TM, Alzahrani EO, Baleanu D, Alzahrani AA (2015) New Operational Matrices for Solving Fractional Differential Equations on the Half-Line. PLoS ONE 10(5):
e0126620.
doi:10.1371/journal.pone.0126620

**Academic Editor: **Matthew Joseph Simpson,
Queensland University of Technology, AUSTRALIA

**Received: **October 28, 2014; **Accepted: **April 5, 2015; **Published: ** May 21, 2015

**Copyright: ** © 2015 Bhrawy et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited

**Data Availability: **All relevant data are within the paper and its Supporting Information files.

**Funding: **This paper was funded by the Deanship of Scientific Research (DSR) at King Abdulaziz University, Jeddah, under grant no. (14-135-35-RG).

**Competing interests: ** The authors have declared that no competing interests exist.

## Introduction

FDEs describe accurately many models in science and engineering such as bioengineering applications, porous or fractured media, electrochemical processes, viscoelastic materials [1–7]. Indeed most of FDEs do not have exact solutions. Therefore, there have been great attempts to develop numerical methods to solve them. Several analytical and numerical techniques for solving FDEs are proposed in [8–19].

Spectral methods are efficient techniques for solving differential equations accurately see for instance [20–27]. Bhrawy and Abdelkawy [4] proposed the formulation of Jacobi pseudospectral scheme for solving multi-dimensional fractional Schrodinger equations subject to different boundary conditions. The operational matrices for fractional variable-order of the derivative and integral of Jacobi polynomials were derived and used based on Jacobi tau scheme to solve the variable-order FDEs [28]. Recently, new accurate Petrov-Galerkin spectral solutions for FDEs are developed and analyzed in [29]. Moreover, spectral pseudospectral technique was investigated in [30] to approximate the solution of fractional integro-differential equation.

In the context of numerical methods for solving differential equations in the half-line, the first attempts to use Laguerre polynomials in the implementation of spectral methods to solve differential equations was the work of Gottlieb and Orszag [31]. After that, a series of published papers have appeared describing a range of various spectral methods based on Laguerre basis functions. Mikhailenko [32] developed an efficient algorithm based on the spectral Laguerre approximations of temporal derivatives for time-dependent problems. The authors of [33] proposed a new orthogonal family of generalized Laguerre functions to approximate the solution of differential equations of degenerate type. Xiao-Yong and Yan [34] investigated a pseudospectral scheme based on a class of modified generalized Laguerre to introduce a very efficient method for solving second-order differential equation in a long-time interval. Gulsu et al. [35] presented the Laguerre collocation method for solving a class of delay difference equations. Tatari and Haghighi [36] proposed an efficient mixed spectral collocation scheme to solve initial-boundary value problems in which Legendre and generalized Laguerre polynomials were used to discretize space and time variables.

On the other hand, results on numerical methods for FDEs seem to be lacking in the literature. In recent years, some authors have presented the generalized and modified generalized Laguerre spectral tau and collocation techniques for solving several types of linear and nonlinear FDEs on the half-line, (see [37, 38] and the references therein). However, it is also a very important task to develop the spectral techniques to obtain highly accurate solutions of FDEs on the half-line. Therefore, we present in this article a new family of orthogonal functions defined on the half-line namely, fractional-order generalized Laguerre functions.

In the present paper, we aim to construct the fractional-order generalized Laguerre operational matrices, of fractional derivative and integration, which are used to produce two efficient fractional-order generalized Laguerre tau schemes for solving numerically linear FDEs with initial conditions. We also aim to propose a new fractional-order generalized Laguerre collocation (FGLC) scheme for approximating the solution FDE of order *ν* (0 < *ν* < 1) with nonlinear terms. This approach is based on the operational matrix of fractional derivatives of these new functions, in which the nonlinear FDE is collocated at the *N* zeros of the fractional-order generalized Laguerre functions (FGLFs) defined on the interval (0, ∞). The resulting algebraic equations plus one algebraic equation (obtained from the initial condition), constitute (*N*+1) nonlinear algebraic equations. These equations may be solved by the Newton’s iterative technique to find the unknown fractional-order generalized Laguerre functions coefficients. We extend the application of FGLC method based on FGLFs to solve a system of linear FDEs with fractional orders less than 1. Several numerical examples are implemented to confirm the high accuracy and effectiveness of the new methods for solving FDES of fractional order *ν* (0 < *ν* < 1).

The remainder of this paper is organized as follows: we start by presenting some necessary definitions of the fractional calculus theory. In Section 3, we define the fractional-order generalized Laguerre functions. Section 4 is devoted to derive the main theorem of the paper which provides explicitly an operational matrix of fractional-order derivatives of the FGLFs. In Section 5, we derive an operational matrix of fractional-order integrals of the FGLFs. In Section 6, we apply the spectral methods based on the derived operational matrices FGLFs for solving FDEs and systems of FDEs including linear and nonlinear terms of fractional order less than 1. Several examples to illustrate the main ideas of this work are presented in Section 7. Finally Section 8 outlines the main conclusions.

## Preliminaries and Notations

We start this section by reviewing some definitions of fractional derivatives and integrals which will be employed in the sequel.

**Definition 2.1.** The Riemann-Liouville integral *J*^{ν} *f*(*x*) and the Riemann-Liouville fractional derivative *D*^{ν} *f*(*x*) of order *ν* > 0 are defined by
(1)
and
(2)
respectively, where *m*−1 < *ν* ≤ *m*, *m* ∈ *N*^{+} and Γ(.) denotes the Gamma function.

**Definition 2.2.** The Caputo fractional integral and derivative operator satisfies
(3)
(4)
where ⌊*ν*⌋ and ⌈*ν*⌉ are the floor and ceiling functions respectively, while *N* = {1, 2, …} and *N*_{0} = {0, 1, 2, …}.

The Caputo’s fractional differentiation is a linear operation,
(5)
where *λ* and *μ* are constants.

If *m*−1 < *ν* ≤ *m*, *m* ∈ *N*, then
(6)

### Convert multi-order FDE into a system of FDE

Consider the multi-order FDE
(7)
where *m* < *ν* ≤ *m*+1, 0 < *δ*_{1} < *δ*_{2} < … ≤ *δ*_{n} < *ν*. This equation may be converted to a system of FDEs, as follows. Let *u*_{1} = *u* and assume
(8)
Case (i) If *m*−1 ≤ *δ*_{1} < *δ*_{2} ≤ *m*, then assume
(9)
Cases (ii) Consider *m*−1 ≤ *δ*_{1} < *m* ≤ *δ*_{2}. If *δ*_{1} = *m*−1, then assume ${D}^{{\delta}_{2}-{\delta}_{1}}{u}_{2}={u}_{3}$. If *m*−1 < *δ*_{1} < *m* ≤ *δ*_{2}, then assume
(10)
similar steps can be converted the initial value problem Eq (7) to a system of FDE.

## Fractional-Order Generalized Laguerre Functions

We recall below some relevant properties of the generalized Laguerre polynomials (Szegö [39] and Funaro [40]). Let Λ = (0, ∞) and *w*^{(α)}(*x*) = *x*^{α} *e*^{−x} be a weight function on Λ. Consider the following inner product and norm

Next, let ${L}_{i}^{(\alpha )}(x)$ be the well-known generalized Laguerre polynomials. We know from [39] that for *α* > −1,
(11)
where ${L}_{0}^{(\alpha )}(x)=1$ and ${L}_{1}^{(\alpha )}(x)=1+\alpha -x$.

The set of generalized Laguerre polynomials is a ${L}_{{w}^{(\alpha )}}^{2}(\Lambda )$-orthogonal system, thus (12) where ${h}_{k}=\frac{\Gamma (k+\alpha +1)}{k!}$.

The analytical form of the generalized Laguerre polynomial on the interval Λ is given by (13)

The special value (14) where ${L}_{j}^{(\alpha )}(0)=\frac{\Gamma (j+\alpha +1)}{\Gamma (\alpha +1)j!}$, will be of important use later.

Various kind of Laguerre polynomials/functions are used extensively in approximation theory and numerical analysis, for the interested reader see, [41–46], and the references therein.

### Definition of FGLFs

Now, we define a new fractional orthogonal functions based on generalized Laguerre polynomials to obtain the solution of FDEs more accurately. The FGLFs may be given by considering the change of variable *t* = *x*^{λ} and *λ* > 0 on generalized Laguerre polynomials. Let the FGLFs ${L}_{i}^{(\alpha )}({x}^{\lambda})$ be denoted by ${L}_{i}^{(\alpha ,\lambda )}(x)$, thanks to Eq (11), then ${L}_{i}^{(\alpha ,\lambda )}(x)$ can be obtained from
(15)
where ${L}_{0}^{(\alpha ,\lambda )}(x)=1$ and ${L}_{1}^{(\alpha ,\lambda )}(x)=1+\alpha -{x}^{\lambda}$.

According to Eq (13), the analytic form of ${L}_{i}^{(\alpha ,\lambda )}(x)$ of degree *iλ* is given by
(16)

**Lemma 3.1** *The set of fractional-order generalized Laguerre functions is the* ${L}_{{w}^{(\alpha ,\lambda )}}^{2}(\Lambda )$-*orthogonal system*,
(17)
*where* *w*^{(α, λ)}(*x*) = *λ* *x*^{(α+1)λ−1} *e*^{−xλ} *and* ${h}_{k}=\{\begin{array}{cc}\frac{\Gamma (k+\alpha +1)}{k!},\phantom{\rule{1em}{0ex}}\hfill & j=k,\hfill \\ 0,\phantom{\rule{1em}{0ex}}\hfill & j\ne k.\hfill \end{array}$

**Proof**. The proof of this lemma can be accomplished directly by using the definition of FGLFs and the orthogonality property of generalized Laguerre polynomials.

### The approximation of functions

Let $u(x)\in {L}_{{w}^{(\alpha ,\lambda )}}^{2}(\Lambda )$, then *u*(*x*) may be expressed in terms of FGLFs as
(18)
In practice, only the first (*N*+1)-terms fractional-order generalized Laguerre functions are considered. Then we have
(19)
where the fractional-order generalized Laguerre coefficient vector *C* and the fractional-order generalized Laguerre vector *ϕ*(*x*) are given respectively by
(20)

**Definition 3.1** *(Generalized Taylor’s formula). Suppose that* *D*^{kλ} *u*(*x*) ∈ *C*[0, *L*] *for* *k* = 0, 1, …, *N*, *then we have*
*where* 0 < *η* ≤ *x*, ∀*x* ∈ [0, *L*], *Also, one has*
*where* *E*_{λ} ≥ |*D*^{(N+1)λ} *u*(*η*)|. *In case of* *λ* = 1, *the generalized Taylor’s formula is the classical Taylors formula*.

Now, the following Theorem presents an upper bound for estimating the error based on the expansion in terms of FGLFs.

**Theorem 3.2** *Suppose that* *D*^{kλ} *u*(*x*) ∈ *C*[0, *L*] *for* *k* = 0, 1, …, *N*, (3+2*N*+*α*) > 0 *and* ${\mathbb{P}}_{N}^{(\alpha ,\lambda )}=Span\left\{{L}_{0}^{(\alpha ,\lambda )}(x),\cdots ,{L}_{N}^{(\alpha ,\lambda )}(x)\right\}.$ *If* *u*_{N}(*x*) = *C*^{T} *ϕ*(*x*) *is the best approximation to* *u*(*x*) *from* ${\mathbb{P}}_{N}^{(\alpha ,\lambda )}$, *then the error bound is presented as follows*
*where* *E*_{λ} ≥ |*D*^{(N+1)λ} *u*(*x*)|, *x* ∈ [0, *L*].

**Proof**. Considering the generalized Taylors formula
where 0 < *η* ≤ *x*, ∀*x* ∈ [0, *L*], making use of Definition 3.1, we obtain
Since *u*_{N}(*x*) = *C*^{T} *ϕ*(*x*) is the best approximation to *u*(*x*) from ${\mathbb{P}}_{N}^{(\alpha ,\lambda )}$, then by the definition of the best approximation, we have
It turns out that the previous inequality is also true if
Accordingly, we obtain
(21)
Now by taking the square roots, the theorem can be proved. Hence, an upper bound of the absolute errors is obtained for the approximate and exact solutions.

## Fractional-Order Generalized Laguerre Operational Matrix of Fractional Derivatives

Let $u(x)\in {L}_{{w}^{(\alpha ,\lambda )}}^{2}(\Lambda )$, then *u*(*x*) may be expressed in terms of fractional-order generalized Laguerre functions as
(22)
In practice, only the first (*N*+1)-terms fractional-order generalized Laguerre functions are considered. Then we have
(23)
where the fractional-order generalized Laguerre coefficient vector *C* and the fractional-order generalized Laguerre vector *ϕ*(*x*) are given respectively by
(24)
then the derivative of the vector *ϕ*(*x*) can be expressed by
(25)
where **D**^{(1)} is the (*N*+1)×(*N*+1) operational matrix of first-order derivative. If we define the *q* times repeated differentiation of fractional-order generalized Laguerre vector *ϕ*(*x*) by *D*^{q} *ϕ*(*x*).
(26)
where *q* is an integer value and **D**^{(q)} is the operational matrix of differentiation of *ϕ*(*x*).

**Theorem 4.1** *Let* *ϕ*(*x*) *be fractional-order generalized Laguerre vector defined in* Eq (24) *and also suppose* 0 < *ν* < 1 *then*
(27)
*where* *D*^{(ν)} *is the* (*N*+1) × (*N*+1) *operational matrix of fractional derivative of order* *ν* *in the Caputo sense and is defined as follows:*
(28)
*where*

**Proof**. The analytic form of the fractional-order generalized Laguerre functions ${L}_{i}^{(\alpha ,\lambda )}(x)$ of degree *i* is given by Eq (16), Using Eqs (4), (5) and (16) we have
(29)
Now, approximate *x*^{λk−ν} by *N*+1 terms of fractional generalized Laguerre series yields
(30)
where *b*_{j} is given from Eq (22) with *u*(*x*) = *x*^{λk−ν}, and
(31)
Employing Eqs (29)–(31) we get
(32)
where

Accordingly, Eq (32) can be written in a vector form as follows: (33)

Eq (33) leads to the desired result.

## Fractional-Order Generalized Laguerre Operational Matrix of Fractional Integration

We aim to construct an operational matrix of fractional integration for fractional-order generalized Laguerre vector.

If *J*^{q} *ϕ*(*x*) is the *q* (*q* is an integer value) times repeated integration of fractional-order generalized Laguerre vector *ϕ*(*x*), then
(34)
where **P**^{(q)} is the operational matrix of classical integration of *ϕ*(*x*).

**Theorem 5.1** *Let* *ϕ*(*x*) *be the fractional-order generalized Laguerre vector and* 0 < *ν* < 1 *then*
(35)
*where* *P*^{(ν)} *is the* (*N*+1) × (*N*+1) *operational matrix of fractional integration of order* *ν* *and* 0 < *ν* < 1 *in the Riemann-Liouville sense and is defined as follows:*
(36)
*and*
(37)

**Proof**. From Eqs (16) and (3), we have
(38)
The approximation of *x*^{kλ+ν} using *N*+1 terms of fractional-order generalized Laguerre series, yields
(39)
where *c*_{j} is given from Eq (22) with *u*(*x*) = *x*^{kλ+ν}, that is
(40)
Thanks to Eqs (38) and (39), gives
(41)
where
The vector form of Eq (41) is
(42)
Eq (42) leads to the desired result.

## Application of Fractional-Order Generalized Laguerre Operational Matrices for FDEs

The main aim of this section is to propose two different ways to approximate linear FDEs using the fractional-order generalized Laguerre tau method based on fractional-order Laguerre operational matrices of differentiation and integration such that it can be implemented efficiently. Also, we propose a new collocation method for solve nonlinear FDEs and systems of FDEs based on the fractional-order generalized Laguerre ffunctions.

### Operational matrix of fractional derivatives

A direct solution technique is proposed here, to solve linear FDEs using the fractional-order generalized Laguerre tau method in combination with FGLOM.

Let us consider the linear FDE
(43)
subject to
(44)
where *γ* is a real constant coefficient and also 0 < *ν* ≤ 1, while *D*^{ν} *u*(*x*) ≡ *u*^{(ν)}(*x*) is the Caputo fractional derivative of order *ν*.

Now we will implement an efficient algorithm to solve the fractional initial value problem; Eqs (43)–(44). We approximate *u*(*x*) and *g*(*x*) by fractional-order generalized Laguerre polynomials as
(45)
(46)
where vector *G* = [*g*_{0}, …, *g*_{N}]^{T} is known and *C* = [*c*_{0}, …, *c*_{N}]^{T} is an unknown vector.

By using Theorem 4.1 (relation Eqs (27) and (45)) we have
(47)
Employing Eqs (45)–(47), the residual *R*_{N}(*x*) for Eq (43) can be written as
(48)
The application of spectral tau scheme, see [47], provides a system of (*N*) linear equations,
(49)
Substituting Eq (45) in Eq (44) yields
(50)

The combination of Eqs (49) and (50) gives a system of algebraic equations, which may be solved by any direct solver technique to obtain the spectral solution *u*_{N}(*x*).

### Operational matrix of fractional integration

Here, the fractional-order generalized Laguerre tau scheme in conjunction of the derived operational matrix is proposed for solving the linear FDEs. The basic steps of such scheme are: (i) The aforementioned fractional differential equation is converted into a fractional integrated form equation by making use of fractional integration for this equation. (ii) Subsequently, this integrated form equation is approximated by expressing the numerical solution as a linear combination of fractional-order generalized Laguerre functions. (iii) Finally, the problem is transformed into a system of algebraic equations by using the operational matrix of fractional integration of fractional-order generalized Laguerre functions.

In order to show the importance of FGLOM of fractional integration, we apply it to solve the following FDE:
(51)
with initial condition
(52)
where *γ* is a real constant coefficient and also 0 < *ν* ≤ 1. Moreover, *D*^{ν} *u*(*x*) denotes the Caputo fractional derivative of order *ν* for *u*(*x*) and the value *u*_{0} describes the initial condition of *u*(*x*). If we apply the Riemann-Liouville integral of order *ν* on Eq (51) and after making use of Eq (6), we get the integrated form of Eq (51), namely
(53)
this implies that
(54)
where
Now, approximating *u*(*x*) and *g*(*x*) by employing the fractional-order generalized Laguerre functions as
(55)
(56)

In virtue of Theorem 5.1 (relation Eq (35)), the Riemann-Liouville integral of order *ν* of Eq (55), can be obtained from
(57)
Employing Eq (55) the residual *R*_{N}(*x*) for Eq (54) can be written as
(58)
Finally, applying the spectral tau method to the residual gives
(59)
Also from Eq (55) into Eq (52) yields
(60)
Eqs (59) and (60) generate *N* of linear equations.

### Nonlinear initial FDEs

Regarding the nonlinear fractional initial value problems on the semi-infinite domain, we investigate the spectral fractional-order generalized Laguerre collocation FGLC scheme in combination with FGLOM of fractional derivative to obtain an accurate approximate solution *u*_{N}(*x*). The problem is collocated at *N* nodes of the fractional-order generalized Laguerre-Gauss interpolation defined on Λ. The resulting equations along with the algebraic equation resumed form the initial condition consist an algebraic system of (*N*+1) equations which may be solved numerically by Newton’s iterative method.

Consider the nonlinear FDE
(61)
with initial conditions Eq (44), where *F* can be nonlinear in general.

In order to use FGLOM for this problem, we first expand *u*(*x*) and *D*^{ν} *u*(*x*) as Eqs (45) and (47) respectively. By substituting these approximations into Eq (61) we have
(62)
Substituting Eqs (45) and (26) into Eq (44), we obtain
(63)
Collocating Eq (62) at the zeros of the fractional-order Laguerre functions provides *N* equations together with one equation from Eq (63) consist a system of *N*+1 nonlinear equations. Consequently, the solution *u*_{N}(*x*) may be archived by implementing Newton’s iterative scheme.

**Corollary 6.1** *In particular, the special case for generalized Laguerre polynomials may be obtained directly by taking* *λ* = 0 *in the fractional-order Laguerre functions, which are denoted by* ${L}_{i}^{(\alpha )}(x)$. *However, the classical Laguerre polynomials may be achieved by replacing* *λ* = 1 *and* *α* = 0, *which are used most frequently in practice and will simply be denoted by* *L*_{i}(*x*).

### FGLC method for solving systems of FDEs

We use the FGLC method to numerically solve the general form of systems of nonlinear FDE, namely
(64)
with initial conditions
(65)
where 0 < *ν*_{i} ≤ 1.

The fractional derivatives ${D}^{{\nu}_{i}}u(x),$ can be expressed in terms of the expansion coefficients *a*_{ij} using Eq (27). The implementation of fractional generalized Laguerre collocation method to solve Eqs (64)–(65) is to find *u*_{iN}(*x*) ∈ *Q*_{N}(Λ) such that
(67)
is satisfied exactly at the collocation points ${x}_{i,N,k}^{(\alpha ,\lambda )},k=0,1,\cdots ,N-1$, *i* = 1, ⋯, *n*, which immediately yields
(68)
with Eq (65) written in the form
(69)
This means the system Eq (64) with its initial conditions have been reduced to a system of *n*(*N*+1) nonlinear algebraic Eqs (68)–(69), which may be solved by using any standard iteration technique.

## Illustrative Examples

We present in this section, several illustrative examples by implementing the proposed spectral algorithms in this article. These examples are chosen such that their exact solutions are known. The results for these examples demonstrate that the proposed methods are accurate, effective and convenient.

**Example 1** *Consider the equation*
*the exact solution is given by* *u*(*x*) = *x*^{2}.

Now, we implement the spectral tau scheme based on the FGLOM of fractional derivative with *N* = 6, then the approximate solution can be expanded as

If we choose $\lambda =\frac{1}{3}$ and $\nu =\frac{1}{3}$, then
where *g*_{j} and *S*_{ν}(*i*, *j*, *λ*) are defined in Eqs (22) and (28).

Using Eq (49), we obtain (70) The treatment of initial condition using Eq (44), yields (71)

Solving the resulted system of algebraic Eqs (70)–(71) provides the unknown coefficients in terms of *α*.

Accordingly, the approximate solution can be written as

Tables 1 and 2 list the values of *c*_{0}, *c*_{1}, *c*_{2}, *c*_{3}, *c*_{4}, *c*_{5} and *c*_{6} with different choices of *α* and two choices of *ν* = 1/3 and *ν* = 1/4. Indeed, we can achieve the exact solution of this problem with all choices of the fractional-order generalized Laguerre parameter *α*.

**Example 2** *Consider the equation*
*the exact solution is given by* *u*(*x*) = *x*^{3}−*x*.

If we apply the technique described in Section 6.2 based on the FGLOM of fractional integration with *N* = 6, then the approximate solution can be written as follows

We put $\lambda =\frac{1}{2}$ and $\nu =\frac{1}{2}$, we have
where *g*_{j} and Ω_{ν}(*i*, *j*, *λ*) are defined in Eqs (22) and (36).

Using Eq (59), we obtain the following:
(72)
with *ν* = 1/2. Now, by applying Eq (60), we have
(73)

Finally, solving the resulted system of algebraic Eqs (72)–(73) provides the unknown coefficients with $\nu =\frac{1}{2}$ and various choices of *α*.

Thus we can write
Table 3 presents the values *c*_{0}, *c*_{1}, *c*_{2}, … and *c*_{6} for several choices of *α*. Indeed, we can achieve the exact solutions of this problem for all choices of the fractional-order generalized Laguerre parameters *α*.

**Example 3** *We next consider the following problem*
(74)
*where*
*and the exact solution is given by* *u*(*x*) = *cos*(*γx*).

The solution of this problem is obtained by applying the technique described in Section 6.2 based on the FGLOM of fractional integration. The maximum absolute error for $\gamma =0.01,\lambda =\frac{1}{2}$ and various choices of *N* and *α* are shown in Table 4. Moreover, the approximate solution obtained by the proposed method for $\alpha =0,\lambda =\frac{3}{4},\gamma =0.1$ and two choices of *N* is shown in Fig 1 to make it easier to compare with the analytic solution. From this figure, we see the coherence of the exact and approximate solutions.

**Example 4** *Consider the following nonlinear initial value problem*
*whose exact solution is given by* *u*(*x*) = *x*^{ν+1}.

Table 5 shows the absolute error function of using spectral fractional-order generalized Laguerre collocation FGLC scheme in combination with FGLOM of fractional derivative with *ν*, *λ* and two choices of *α* at *N* = 16 in the interval [0, 40]. Fig 2 displays the absolute error function for *N* = 6, *α* = 0, $\lambda =\frac{3}{4}$ and *γ* = 0.1

**Example 5** *Consider the FDE*
(75)
*the exact solution is given by* *u*(*x*) = *x*^{2}.

We convert Eq (75) into a system of FDEs by changing variable *u*_{1}(*x*) = *u*(*x*) obtaining:
(76)
with initial conditions
(77)

The maximum absolute error for *y*(*x*) = *y*_{1}(*x*) using FGLC method at *N* = 4 and various choices of *α* are shown in Table 6. It is clear that the approximate solutions are in complete agreement with the exact solutions.

**Example 6** *Consider the initial value problem*
(78)
*with an exact solution* $u(x)={x}^{\frac{5}{2}}+{x}^{2}$.

We convert Eq (78) into a system of FDEs by changing variable *u*_{1}(*x*) = *u*(*x*) obtaining:
(79)
with initial conditions
(80)

In Table 7, we list the results obtained by the fractional-order generalized Laguerre generalized collocation (FGLC) method with various choices of *α*, *N* = 10, and *ν* = *λ* = 0.5. The present method is compared with the shifted Chebyshev spectral tau (SCT) method given in [48]. As we see from Table 7, it is clear that the result obtained by the present method for each choice of the parameter *α* is superior to that obtained by SCT method. Fig 3 shows the absolute error function at *N* = 10, *α* = 0 and *ν* = *λ* = 0.5. The obtained results of this example show that the present method is very accurate by selecting a few number of fractional-order generalized Laguerre generalized functions.

## Conclusion

We have defined new orthogonal functions namely FGLFs. The fractional operational matrices of Caputo fractional derivatives and Riemann-Liouville fractional integration were established for these functions. Two efficient spectral tau techniques were proposed based on these fractional operational matrices for solving linear FDEs of order *ν* (0 < *ν* < 1) on the half line.

In addition, we have developed the fractional-order generalized Laguerre pseudo-spectral approximation for solving the nonlinear initial value problem of fractional order *ν*. This technique was extended to solve systems of FDEs. The results of the proposed spectral schemes based on FGLFs were compared with other methods. Several numerical examples were implemented for FDEs and systems of FDEs including linear and nonlinear terms to demonstrate the high accuracy and the efficiency of the proposed techniques. The main idea and techniques developed in this work provide an efficient framework for the collocation method of various nonlinear FDEs on the half line. We also assert that the proposed technique can be extended to solve the one- and two-dimensional space/time fractional partial equations on the half line, (see [49–53]).

## Acknowledgments

This paper was funded by the Deanship of Scientific Research (DSR) at King Abdulaziz University, Jeddah, under grant no. (14-135-35-RG). The authors, therefore, acknowledge with thanks DSR technical and financial support.

## Author Contributions

Conceived and designed the experiments: AHB TMT DB EOA AAA. Performed the experiments: AHB TMT DB EOA AAA. Analyzed the data: AHB TMT DB EOA AAA. Contributed reagents/materials/analysis tools: AHB TMT DB EOA AAA. Wrote the paper: AHB TMT DB EOA AAA.

## References

- 1. Zayernouri M, Karniadakis GE. Fractional Sturm-Liouville eigen-problems: Theory and numerical approximations, J. Comput. Phys. 47 (2013) 2108–2131.
- 2. Ichise M, Nagayanagi Y, Kojima T. An analog simulation of non-integer order transfer functions for analysis of electrode processes, J. Electroanal. Chem Interfacial Electrochem 33 (2) (1971) 253–265. doi: 10.1016/S0022-0728(71)80115-8.
- 3. Valerio D, Trujillo JJ, Rivero M, Machado JAT, Baleanu D. Fractional calculus: A survey of useful formulas, Eur. Phys. J. Special Topics 222 (2013) 1827–1846 doi: 10.1140/epjst/e2013-01967-y.
- 4. Bhrawy AH, Abdelkawy MA. A fully spectral collocation approximation for multi-dimensional fractional Schrodinger equations, Journal of Computational Physics, 294, (2015) 462–483 doi: 10.1016/j.jcp.2015.03.063.
- 5. Ye H, Liu F, Turner I, Anh V, Burrage K. Series expansion solutions for the multi-term time and space fractional partial differential equations in two and three dimensions, Eur. Phys. J., Special Topics, 222, (2013) 1901–1914. doi: 10.1140/epjst/e2013-01972-2.
- 6. Sadati SJ, Ghaderi R, Ranjbar AN. Some fractional comparison results and stability theorem for fractional time delay systems, Romanian Reports in Physics, 65, (2013) 94–102.
- 7.
West BJ, Bologna M, Grigolini P. Physics of Fractal Operators, Springer-Verlag, New York, NY, 2003.
- 8. Wang GW, Xu TZ. Symmetry properties and explicit solutions of the nonlinear time fractional KdV equation, Boundary Value Problems, 2013 (2013) 232. doi: 10.1186/1687-2770-2013-232.
- 9.
Wang GW, Xu TZ. Lie symmetry analysis and explicit solutions of the time fractional fifth-order Kdv equation, Pols One, 2014
- 10. Yi M, Huang J. Wavelet operational matrix method for solving fractional differential equations with variable coefficients, Applied Mathematics and Computation, 230 (2014) 383–394 doi: 10.1016/j.amc.2013.06.102.
- 11. Tohidi E, Nik HS. A Bessel collocation method for solving fractional optimal control problems, Applied Mathematical Modelling, 39 (2015) 455–465 doi: 10.1016/j.apm.2014.06.003.
- 12. Heydari MH, Hooshmandasl MR, Maalek Ghaini FM. An efficient computational method for solving fractional biharmonic equation, Computers and Mathematics with Applications, 68 (2014) 269–287 doi: 10.1016/j.camwa.2014.06.001.
- 13. Kumar D, Singh J. Sushila, Application of homotopy analysis transform method of fractional biological population model, Romanian Reports in Physics, 65, (2013) 63–75.
- 14. Tenreiro Machado J. Numerical calculation of the left and right fractional derivatives, Journal of Computational Physics, (2014).
- 15. Bhrawy AH, Zaky MA. A method based on the Jacobi tau approximation for solving multi-term time-space fractional partial differential equations, Journal of Comptuational Physics, 281 (2015), 876–895 doi: 10.1016/j.jcp.2014.10.060.
- 16. Zeng F, Liu F, Li C, Burrage K, Turner I, Anh V. Crank-Nicolson ADI spectral method for the two-dimensional Riesz space fractional nonlinear reaction-diffusion equation, SIAM Journal on Numerical Analysis, 52 (6) (2014) 2599–2622 doi: 10.1137/130934192.
- 17. Liu F, Meerschaert MM, McGough R, Zhuang P, Liu Q. Numerical methods for solving the multi-term time fractional wave equations, Fractional Calculus & Applied Analysis, 16 (2013) 9–25
- 18. Tong B, He Y, Wei L, Zhang X. A generalized fractional sub-equation method for fractional differential equations with variable coefficients, Physics Letters A, 376 (2012) 2588–2590 doi: 10.1016/j.physleta.2012.07.018.
- 19. Wang GW, Xu TZ. The modified fractional sub-equation method and its applications to nonlinear fractional partial differential equations, Romanian Journal of Physics, 66, (2014) 636–645.
- 20. Bhrawy AH. An efficient Jacobi pseudospectral approximation for nonlinear complex generalized Zakharov system, Applied Mathematics and Computations, 247 (2014) 30–46 doi: 10.1016/j.amc.2014.08.062.
- 21. Chen F, Xu Q, Hesthaven JS. A multi-domain spectral method for time-fractional differential equations, Journal of Computational Physics, (2015) doi: 10.1016/j.jcp.2015.03.033. pmid:25897178
- 22. Xiao-yong Z, Junlin L. Convergence analysis of Jacobi pseudo-spectral method for the Volterra delay integro-differential equations, Appl. Math. Info. Sci. 9 (2015) 135–145 doi: 10.12785/amis/090118.
- 23. Abdelkawy MA, Ahmed EA, Sanchez P. A method based on Legendre pseudo-spectral approximations for solving inverse problems of parabolic types equations, Math. Sci. Lett. 4 (2015) 81–90
- 24. Tripathi MP, Baranwal VK, Pandey RK, Singh OP. A new numerical algorithm to solve fractional differential equations based on operational matrix of generalized hat functions, Commun. Nonlinear Sci. Numer. Simulat. 18 (2013) 1327–1340. doi: 10.1016/j.cnsns.2012.10.014.
- 25. Doha EH, Bhrawy AH, Hafez RM. On shifted Jacobi spectral method for high-order multi-point boundary value problems, Commun. Nonlinear Sci. Numer. Simulat. 17 (2012) 3802–3810 doi: 10.1016/j.cnsns.2012.02.027.
- 26. Zayernouri M, Karniadakis GE. Fractional spectral collocation methods for linear and nonlinear variable order FPDEs, Journal of Computational Physics, (2015)
- 27. Doha EH, Bhrawy AH, Hafez RM, Abdelkawy MA. A Chebyshev-Gauss-Radau scheme for nonlinear hyperbolic system of first order, Applied Mathematics and Information Science, 8 (2014) 535–544 doi: 10.12785/amis/080211.
- 28. Bhrawy AH, Zaky MA. Numerical simulation for two-dimensional variable-order fractional nonlinear cable equation, Nonlinear Dyn, 80 (1), (2015) 101–116. doi: 10.1007/s11071-014-1854-7.
- 29. Zayernouri M, Karniadakis GE. Exponentially accurate spectral and spectral element methods for fractional ODEs, J. Comput. Phys. 257 (2014) 460–480. doi: 10.1016/j.jcp.2013.09.039.
- 30. Ma X, Huang C. Spectral collocation method for linear fractional integro-differential equations, Appl. Math. Model. 38 (2014) 1434–1448. doi: 10.1016/j.apm.2013.08.013.
- 31.
Gottlieb D, Orszag A. Numerical Analysis of Spectral Methods: Theory and Applications, 1977.
- 32. Mikhailenko BG. Spectral Laguerre method for the approximate solution of time dependent problems, Applied Mathematics Letters, 12 (1999) 105–110 doi: 10.1016/S0893-9659(99)00043-9.
- 33. Alici H, Taseli H. The Laguerre pseudospectral method for the radial Schrodinger equation, Applied Numerical Mathematics, 87 (2015) 87–99 doi: 10.1016/j.apnum.2014.09.001.
- 34. Xiao-Yong Z, Yan L. Generalized Laguerre pseudospectral method based Laguerre interpolation, Applied Mathematics and Computation, 219 (2012) 2545–2563 doi: 10.1016/j.amc.2012.08.090.
- 35. Gulsu M, Gurbuz B, Ozturk Y, Sezer M. Laguerre polynomial approach for solving linear delay difference equations, Applied Mathematics and Computation, 217 (2011) 6765–6776 doi: 10.1016/j.amc.2011.01.112.
- 36. Tatari M, Haghighi M. A generalized Laguerre-Legendre spectral collocation method for solving initial-boundary value problems. Applied Mathematical Modelling 38 (2014) 1351–1364 doi: 10.1016/j.apm.2013.08.008.
- 37. Baleanu D, Bhrawy AH, Taha TM. Two efficient generalized Laguerre spectral algorithms for fractional initial value problems, Abstract and Applied Analysis 2013 (2013). doi: 10.1155/2013/546502.
- 38. Bhrawy AH, Alghamdi MM, Taha TM. A new modified generalized Laguerre operational matrix of fractional integration for solving fractional differential equations on the half line, Adv. Differ. Equ. 2012 (2012) 0:179. doi: 10.1186/1687-1847-2012-179.
- 39. Szegö G. Orthogonal Polynomials, Am. Math. Soc. Colloq. Pub. 23 (1985).
- 40.
Funaro D. Polynomial Approximations of Differential Equations, Springer-Verlag, (1992).
- 41. Bouzrara K, Garna T, Ragot J, Messaoud H. Decomposition of an ARX model on Laguerre orthonormal bases, ISA Transactions, 51 (2012) 848–860 doi: 10.1016/j.isatra.2012.06.005. pmid:22784371
- 42. Khan S, Al-Gonah AA. Operational methods and Laguerre-Gould Hopper polynomials, Applied Mathematics and Computation, 218 (2012) 9930–9942 doi: 10.1016/j.amc.2012.03.080.
- 43. Alejandro L, Molano M. On asymptotic properties of Laguerre-Sobolev type orthogonal polynomials, Arab J Math Sci, 19 (2013) 173–186 doi: 10.1016/j.ajmsc.2013.01.001.
- 44. Conte D, Ixaru LGr, Paternoster B, Santomauroe G. Exponentially-fitted Gauss-Laguerre quadrature rule for integrals over an unbounded interval, Journal of Computational and Applied Mathematics, 255 (2014) 725–736 doi: 10.1016/j.cam.2013.06.040.
- 45. Ozarslan MA. On a singular integral equation including a set of multivariate polynomials suggested by Laguerre polynomials, Applied Mathematics and Computation, 229 (2014) 350–358 doi: 10.1016/j.amc.2013.12.050.
- 46. Drivera K, Muldoon ME. Common and interlacing zeros of families of Laguerre polynomials, Journal of Approximation Theory, (2014)
- 47.
Canuto C, Hussaini MY, Quarteroni A, Zang TA. Spectral Methods in Fluid Dynamics, Springer, New York, (1988).
- 48. Bhrawy AH, Tharwat MM, Yildirim A. A new formula for fractional integrals of Chebyshev polynomials: Application for solving multi-term fractional differential equations, Appl. Math. Modell. 37 (2013) 4245–4252. doi: 10.1016/j.apm.2012.08.022.
- 49. Yu Q, Liu F, Turner I, Burrage K. Numerical simulation of the fractional Bloch equations, Journal of Computational and Applied Mathematics 255 (2014) 635–651 doi: 10.1016/j.cam.2013.06.027.
- 50. Stokes PW, Philippa B, Read W, White RD. Efficient numerical solution of the time fractional diffusion equation by mapping from its Brownian counterpart, Journal of Computational Physics, 282 (2015) 334–344 doi: 10.1016/j.jcp.2014.11.023.
- 51. Zeng F. Second-order stable finite difference schemes for the time-fractional diffusion-wave equation, Journal of Scientific Computing, (2014) doi: 10.1007/s10915-014-9966-2.
- 52. El-Ajou A, Arqub OA, Momani S. Approximate analytical solution of the nonlinear fractional KdV-Burgers equation: A new iterative algorithm, Journal of Computational Physics, (2014) doi: 10.1016/j.jcp.2014.08.004.
- 53. Liu F, Zhuang P, Turner I, Anh V, Burrage K. A semi-alternating direction method for a 2-D fractional FitzHugh-Nagumo monodomain model on an approximate irregular domain, Journal of Computational Physics, (2015)