An Integral Operational Matrix of Fractional-Order Chelyshkov Functions and Its Applications

Abstract

Fractional differential equations have been applied to model physical and engineering processes in many fields of science and engineering. This paper adopts the fractional-order Chelyshkov functions (FCHFs) for solving the fractional differential equations. The operational matrices of fractional integral and product for FCHFs are derived. These matrices, together with the spectral collocation method, are used to reduce the fractional differential equation into a system of algebraic equations. The error estimation of the presented method is also studied. Furthermore, numerical examples and comparison with existing results are given to demonstrate the accuracy and applicability of the presented method.

1. Introduction

Fractional differential and integral operators are generalizations of differential and integral operators of integer order. In physical sciences, differential equations are used to model phenomena. However, differential equations of integer order cannot give acceptable results for complex systems. So, fractional differential equations are used to improve these models [1,2,3,4]. Several papers have been devoted for studying existence and uniqueness of solutions to the fractional differential equations [5,6]. Solving fractional differential equations is a desirable objective. There are some issues in solving these equations analytically except for a limited number of these equations. So, several studies have been reported for the development of new methods for finding numerical or approximate solutions, such as fractional differential transformation method [7], Adomian decomposition method [8], homotopy perturbation method [9], homotopy analysis method [10], variational iteration method [11], Galerkin method [12], collocation method [13], wavelet method [14], B-Spline operational matrix method [15] and Jacobi operational matrix method [16].

Spectral methods, finite differences and finite element methods are the main methods of discretization that provide a numerical solution of differential equations. The spectral methods have the advantage that they are accurate for a given number of unknowns [17,18]. These methods exhibit exponential rates of convergence/spectral accuracy for smooth problems, and this differs from finite difference and finite element methods, which offer only algebraic convergence rates [19]. In spectral methods, the solution of differential equations is approximated as an expansion in terms of orthogonal polynomials. The most commonly used spectral schemes are the collocation, tau and Galerkin approaches [20,21].

Orthogonal functions play an important role in finding numerical solution of differential equations. These functions simplify the treatment of differential equations via converting its solution into the solution of a system of algebraic equations. Some examples are shifted Legendre polynomials [22], Chebyshev wavelets [23], shifted Chebyshev polynomials [17], shifted Jacobi polynomials [24], block pulse operational matrix [25], etc. Orthogonal Chelyshkov polynomials were presented in [26]. Using these polynomials, a solution has been given of weakly singular integral equations in [27], Volterra–Fredholm integral equations in [28], linear functional integro-differential equations with variable coefficients in [29] and Volterra–Fredholm–Hammerstein integral equations in [30]. Furthermore, the operational matrix of fractional derivatives based on Chelyshkov polynomials for solving multi-order fractional differential equations has been presented in [31] and the operational matrix of fractional integration to solve a class of nonlinear fractional differential equations has been introduced in [32]. Recently, Talaei [33] has proposed a numerical algorithm based on FCHFs for solving linear weakly singular Volterra integral equation.

Solving fractional differential equations by using series expansion of the form ${\displaystyle \sum _{i=0}^n}{q}_i{x}^{i\alpha }\left(x\right),\alpha >0$, such as Adomian’s decomposition method, homotopy perturbation method and He’s variational iteration method, is a common and efficient method [34]. So, building orthogonal functions of fractional-order may be useful in solving fractional differential equations more successfully.

The motivation of this paper is to construct the FCHFs based on Chelyshkov polynomials. Additionally, the operational matrices of the fractional integration and product for FCHFs are derived. In addition to that, an application of FCHFs for solving linear and nonlinear fractional differential equations is presented. The paper is organized as follows. Following this introduction, some definitions and preliminaries of fractional calculus, as well as the FCHFs and their properties are presented in Section 2. In Section 3, we investigate the error of the proposed method. The FCHFs operational matrices of fractional integration and product are given in Section 4. Section 5 presents a new technique to use the FCHFs operational matrices for solving multi-order fractional differential equation. The performance of the proposed algorithm is reported in Section 6 with satisfactory numerical results. Finally, the paper ends with conclusions in Section 7.

2. Preliminaries

2.1. Fractional Calculus

Now, we will present some definitions and properties of fractional integration and differentiation which will be used throughout this article [35,36]. In the literature, one can find many definitions of fractional integration of order $\alpha \ge 0$, but these definitions may not equivalent to each other [37]. The definition of Riemann–Liouville is the more widely used, which can be stated as follows

Definition 1.

The Riemann–Liouville fractional integral operator of order $\alpha \ge 0$ of a function $y\left(x\right)$ is given by

$$I^{\alpha }y\left(x\right)=\left\{\begin{array}{cc}{\displaystyle \frac{1}{\mathsf{\Gamma }\left(\alpha \right)}{\int }_0^x{(x-t)}^{\alpha -1}y\left(t\right)dt,}\hfill & \alpha >0,x>0,\hfill \\ y\left(x\right),\hfill & \alpha =0.\hfill \end{array}\right.$$

(1)

For Riemann–Liouville fractional integral operator $I^{\alpha }$ we have

$$I^{\alpha }{x}^{\eta }=\frac{\mathsf{\Gamma }(\eta +1)}{\mathsf{\Gamma }(\eta +\alpha +1)}{x}^{\eta +\alpha },\eta \ge -1,$$

(2)

$$I^{\alpha }{I}^{\gamma }y\left(x\right)=I^{\alpha +\gamma }y\left(x\right)=I^{\gamma }{I}^{\alpha }y\left(x\right),\alpha ,\gamma \ge 0,$$

(3)

$$I^{\alpha }({\lambda }_1{y}_1\left(x\right)+{\lambda }_2{y}_2\left(x\right))={\lambda }_1{I}^{\alpha }{y}_1\left(x\right)+{\lambda }_2{I}^{\alpha }{y}_2\left(x\right),$$

(4)

where ${\lambda }_1$ and ${\lambda }_2$ are constants.

Definition 2.

The fractional derivative of order $\alpha >0$ in the Caputo sense is defined in the form

$$D^{\alpha }y\left(x\right)=I^{\lceil \alpha \rceil -\alpha }{D}^{\lceil \alpha \rceil }y\left(x\right)=\frac{1}{\mathsf{\Gamma }(\lceil \alpha \rceil -\alpha )}{\int }_0^x{(x-t)}^{\lceil \alpha \rceil -\alpha -1}{y}^{(\lceil \alpha \rceil )}\left(t\right)dt,\lceil \alpha \rceil -1<\alpha \le \lceil \alpha \rceil ,x>0$$

(5)

where $\lceil \alpha \rceil$ is the smallest integer greater than or equal to α.

Some characteristics of the operator $D^{\alpha }$ are given as follows

$$D^{\alpha }{x}^{\eta }=\left\{\begin{array}{cc}0,\hfill & \eta \in N_0\&\eta <\lceil \alpha \rceil ,\hfill \\ \frac{\mathsf{\Gamma }(\eta +1)}{\mathsf{\Gamma }(\eta -\alpha +1)}{x}^{\eta -\alpha },\hfill & \eta \in N_0\&\eta \ge \lceil \alpha \rceil \mathrm{or}\eta \notin N\&\eta >\lfloor \alpha \rfloor ,\hfill \end{array}\right.$$

(6)

$$D^{\alpha }C=0,\mathrm{C}\mathrm{is}\mathrm{constant},$$

(7)

$$D^{\alpha }{I}^{\alpha }y\left(x\right)=y\left(x\right),$$

(8)

$$\begin{array}{c}\hfill I^{\alpha }{D}^{\alpha }y\left(x\right)=y\left(x\right)-\sum _{i=0}^{\lceil \alpha \rceil -1}\frac{y^{\left(i\right)}\left(0^{+}\right)}{i!}{x}^i,x>0,\end{array}$$

(9)

$$D^{\alpha }({\mu }_1{y}_1\left(x\right)+{\mu }_2{y}_2\left(x\right))={\mu }_1{D}^{\alpha }{y}_1\left(x\right)+{\mu }_2{D}^{\alpha }{y}_2\left(x\right),$$

(10)

where $\lfloor \alpha \rfloor$ denotes the largest integer less than or equal to $\alpha$, $N=\{1,2,\dots \}$, $N_0=\{0,1,2,\dots \}$ and ${\mu }_1$, ${\mu }_2$ are constants.

Definition 3.

(Generalized Taylor’s formula). Assume that $D^{j\eta }y\left(x\right)\in C(0,1]$ for $j=0,1,\dots ,n+1$ and $0<\eta \le 1$, then

$$y\left(x\right)=\sum _{l=0}^n\frac{x^{l\eta }}{\mathsf{\Gamma }(l\eta +1)}{D}^{l\eta }y\left(0^{+}\right)+\frac{x^{(n+1)\eta }}{\mathsf{\Gamma }\left((n+1)\eta +1\right)}{D}^{(n+1)\eta }y\left(z\right),0<z\le x,\forall x\in (0,1],$$

(11)

where $D^{l\eta }=\underset{ltimes}{\underbrace{D^{\eta }{D}^{\eta }\dots D^{\eta }}}$.

In the case of $\eta =1$, the generalized Taylor’s formula reduces to the classical Taylor’s formula.

2.2. Fractional Chelyshkov Functions

The set ${\mathbb{C}}_n={\left\{C_{ni}\right\}}_{i=0}^n$ of Chelyshkov polynomials is a set of orthogonal polynomials of degree n over the interval $[0,1]$ with the weight function $\omega \left(z\right)=1$ and has the form

$$C_{ni}\left(z\right)=\sum _{j=i}^n{(-1)}^{j-i}\left(\begin{array}{c}n-i\\ j-i\end{array}\right)\left(\begin{array}{c}n+j+1\\ n-i\end{array}\right)z^j,i=0,1,\dots n.$$

(12)

It can be seen that, all members of the set ${\mathbb{C}}_n$ have the same degree n, which represents the main difference with other sets of orthogonal polynomials. The orthogonality condition of these polynomials is

$${\int }_0^1{C}_{nl}\left(z\right)C_{nr}\left(z\right)dz=\left\{\begin{array}{cc}0,\hfill & l\ne r,\hfill \\ \frac{1}{l+r+1},\hfill & l=r,\hfill \end{array}\right.l,r=0,1,\dots ,n.$$

(13)

Chelyshkov polynomials $C_{ni}\left(z\right)$ are related to Jacobi polynomials $P_m^{(\alpha ,\beta )}\left(z\right)$, where $\alpha ,\beta >-1$ and $m\ge 0$ by the following relation

$$C_{ni}\left(z\right)={(-1)}^{n-i}{z}^i{P}_{n-i}^{(0,2i+1)}(2z-1),i=0,1,\dots ,n.$$

(14)

The fractional-order Chelyshkov functions (FCHFs) can be built by substituting $z=x^{\eta }$ and $\eta >0$ in the Chelyshkov polynomials. Suppose that $C_{ni}^{\eta }\left(x\right)$ denotes the FCHFs $C_{ni}\left(x^{\eta }\right)$. Then, from Equation (12), $C_{ni}^{\eta }\left(x\right)$ can be defined as

$$C_{ni}^{\eta }\left(x\right)=\sum _{j=i}^n{(-1)}^{j-i}\left(\begin{array}{c}n-i\\ j-i\end{array}\right)\left(\begin{array}{c}n+j+1\\ n-i\end{array}\right)x^{j\eta },i=0,1,\dots n.$$

(15)

These functions are orthogonal with respect to the weight function ${\omega }_{\eta }\left(x\right)=x^{\eta -1}$ over the interval $[0,1]$ and satisfy the orthogonality property

$${\int }_0^1{C}_{nl}^{\eta }\left(x\right)C_{nr}^{\eta }\left(x\right){\omega }_{\eta }\left(x\right)dx=\left\{\begin{array}{cc}0,\hfill & l\ne r,\hfill \\ \frac{1}{\eta (l+r+1)},\hfill & l=r,\hfill \end{array}\right.l,r=0,1,\dots ,n.$$

(16)

Let the FCHFs vector be

$$C_{\eta }\left(x\right)={\left(\begin{array}{c}{C}_{n0}^{\eta }\left(x\right),C_{n1}^{\eta }\left(x\right),\dots ,C_{nn}^{\eta }\left(x\right)\end{array}\right)}^T,$$

(17)

which can take the form

$$C_{\eta }\left(x\right)=E{X}_{\eta }\left(x\right),$$

(18)

where the vector $X_{\eta }\left(x\right)$ and the upper triangular matrix E are given by

$$\begin{array}{cc}\hfill & X_{\eta }\left(x\right)={\left(\begin{array}{c}1,x^{\eta },x^{2\eta },\dots ,x^{n\eta }\end{array}\right)}^T,\hfill \end{array}$$

(19)

$$\begin{array}{cc}\hfill & E={\left[e_{ij}\right]}_{i,j=0}^n,e_{ij}=\left\{\begin{array}{cc}0,\hfill & 0\le j<i,\hfill \\ {\displaystyle {(-1)}^{j-i}\left(\genfrac{}{}{0pt}{}{n-i}{j-i}\right)\left(\genfrac{}{}{0pt}{}{n+j+1}{n-i}\right),}\hfill & i\le j\le n.\hfill \end{array}\right.\hfill \end{array}$$

(20)

3. Function Approximation and Error Estimation

Assume that $\mathsf{\Lambda }=[0,1]$ and define the weighted space $L_{{\omega }_{\eta }}^2\left(\mathsf{\Lambda }\right)$ by

$$L_{{\omega }_{\eta }}^2\left(\mathsf{\Lambda }\right)=\left\{\rho :\mathsf{\Lambda }⟶\mathbb{R};\rho \mathrm{is}\mathrm{measurable}\mathrm{on}\mathsf{\Lambda }\&{\int }_0^1{\left|\rho \left(x\right)\right|}^2{\omega }_{\eta }\left(x\right)dx<\infty \right\},$$

(21)

with inner product and norm

$${\langle \rho ,\sigma \rangle }_{{\omega }_{\eta }}={\int }_0^1\rho \left(x\right)\sigma \left(x\right){\omega }_{\eta }\left(x\right)dx,$$

(22)

$${\parallel \rho \parallel }_{{\omega }_{\eta }}={\langle \rho ,\rho \rangle }_{{\omega }_{\eta }}^{\frac{1}{2}}.$$

(23)

Suppose that ${\mathbb{S}}_n=span\left\{C_{n0}^{\eta }\left(x\right),C_{n1}^{\eta }\left(x\right),\dots ,C_{nn}^{\eta }\left(x\right)\right\}$, which is finite dimensional and closed subspace of $L_{{\omega }_{\eta }}^2\left(\mathsf{\Lambda }\right)$, then for each $y\left(x\right)\in L_{{\omega }_{\eta }}^2\left(\mathsf{\Lambda }\right)$ there is a unique best approximation $y_n\left(x\right)\in {\mathbb{S}}_n$ that satisfies

$${\parallel y-y_n\parallel }_{{\omega }_{\eta }}\le {\parallel y-\xi \parallel }_{{\omega }_{\eta }},\forall \xi \in {\mathbb{S}}_n.$$

(24)

Additionally, $y_n\left(x\right)\in {\mathbb{S}}_n$, thus it can be expanded in terms of FCHFs as

$$y_n\left(x\right)=\sum _{i=0}^n{q}_i{C}_{ni}^{\eta }\left(x\right)=Q^T{C}_{\eta }\left(x\right),$$

(25)

where the coefficient vector Q is given by

$$Q={\left(\begin{array}{c}{q}_0,q_1,\dots ,q_n\end{array}\right)}^T,q_i=\frac{{\langle y,C_{ni}^{\eta }\rangle }_{{\omega }_{\eta }}}{{\langle C_{ni}^{\eta },C_{ni}^{\eta }\rangle }_{{\omega }_{\eta }}},i=0,1,\dots ,n.$$

(26)

The following theorem gives an upper bound for estimating the error.

Theorem 1.

Assume that $D^{j\eta }y\left(x\right)\in C(0,1]$ for $j=0,1,\dots ,n+1$ and $y_n\left(x\right)$ is the best approximation to y out of ${\mathbb{S}}_n$ then the error bound is given by

$${\parallel y\left(x\right)-y_n\left(x\right)\parallel }_{{\omega }_{\eta }}\le \frac{M_{\eta }}{\mathsf{\Gamma }\left((n+1)\eta +1\right)}\sqrt{\frac{1}{(2n+3)\eta }},$$

(27)

where

$$M_{\eta }=sup\left\{\left|D^{(n+1)\eta }y\left(x\right)\right|\right\},x\in (0,1].$$

(28)

Proof. 

Let $p\left(x\right)$ be the generalized Taylor’s formula of $y\left(x\right)$, then from Definition 3 we get

$$p\left(x\right)=\sum _{l=0}^n\frac{x^{l\eta }}{\mathsf{\Gamma }(l\eta +1)}{D}^{l\eta }y\left(0^{+}\right),x\in (0,1],$$

(29)

with error bound as

$$\begin{array}{cc}\hfill \left|y\right(x)-p(x\left)\right|& =\left|\frac{x^{(n+1)\eta }}{\mathsf{\Gamma }\left((n+1)\eta +1\right)}{D}^{(n+1)\eta }y\left(z\right)\right|,0<z\le x\hfill \\ \hfill & \le \frac{M_{\eta }{x}^{(n+1)\eta }}{\mathsf{\Gamma }\left((n+1)\eta +1\right)}.\hfill \end{array}$$

(30)

However, $p\left(x\right)\in {\mathbb{S}}_n$ and $y_n$ is the best approximation to y from ${\mathbb{S}}_n$ then

$$\begin{array}{cc}\hfill {\parallel y\left(x\right)-y_n\left(x\right)\parallel }_{{\omega }_{\eta }}^2& \le {\parallel y\left(x\right)-p\left(x\right)\parallel }_{{\omega }_{\eta }}^2\hfill \\ \hfill & ={\int }_0^1{(y\left(x\right)-p\left(x\right))}^2{\omega }_{\eta }\left(x\right)dx\hfill \\ \hfill & \le {\int }_0^1{\left(\frac{M_{\eta }{x}^{(n+1)\eta }}{\mathsf{\Gamma }\left((n+1)\eta +1\right)}\right)}^2{\omega }_{\eta }\left(x\right)dx\hfill \\ \hfill & =\frac{M_{\eta }^2}{\mathsf{\Gamma }{\left((n+1)\eta +1\right)}^2}{\int }_0^1{x}^{(2n+3)\eta -1}dx\hfill \\ \hfill & ={\displaystyle \frac{M_{\eta }^2}{\mathsf{\Gamma }{\left((n+1)\eta +1\right)}^2(2n+3)\eta }},\hfill \end{array}$$

(31)

and by taking the square roots, we have the desired result. □

4. The Fractional Integration Operational Matrix of FCHFs

In this section, the FCHFs operational matrices of fractional integration and product are obtained, which can be built easily and their numerical results are accurate.

Theorem 2.

Suppose $C_{\eta }\left(x\right)$ is the FCHFs vector, then

$$I^{\alpha }{C}_{\eta }\left(x\right)\simeq P^{\left(\alpha \right)}{C}_{\eta }\left(x\right),$$

(32)

where $P^{\left(\alpha \right)}={\left[p_{ik}\right]}_{i,k=0}^n$ is the $(n+1)\times (n+1)$ operational matrix of fractional integration of order $\alpha >0$ in the Riemann–Liouville sense and its elements are given by

$$p_{ik}=\sum _{l=i}^n\sum _{s=k}^n{(-1)}^{l+s-i-k}\frac{\eta (2k+1)\mathsf{\Gamma }(l\eta +1)}{\left(\eta (l+s+1)+\alpha \right)\mathsf{\Gamma }(l\eta +\alpha +1)}\left(\genfrac{}{}{0pt}{}{n-i}{l-i}\right)\left(\genfrac{}{}{0pt}{}{n+l+1}{n-i}\right)\left(\genfrac{}{}{0pt}{}{n-k}{s-k}\right)\left(\genfrac{}{}{0pt}{}{n+s+1}{n-k}\right).$$

(33)

Proof. 

By integrating Equation (18), we obtain

$$\begin{array}{cc}\hfill I^{\alpha }{C}_{\eta }\left(x\right)& =I^{\alpha }E{X}_{\eta }\left(x\right)\hfill \\ \hfill & =E{I}^{\alpha }{X}_{\eta }\left(x\right),\hfill \end{array}$$

(34)

and by using Equation (2), we get

$$\begin{array}{cc}\hfill I^{\alpha }{X}_{\eta }\left(x\right)& ={\left(\frac{1}{\mathsf{\Gamma }(\alpha +1)}{x}^{\alpha },\frac{\mathsf{\Gamma }(\eta +1)}{\mathsf{\Gamma }(\eta +\alpha +1)}{x}^{\eta +\alpha },\frac{\mathsf{\Gamma }(2\eta +1)}{\mathsf{\Gamma }(2\eta +\alpha +1)}{x}^{2\eta +\alpha },\dots ,\frac{\mathsf{\Gamma }(n\eta +1)}{\mathsf{\Gamma }(n\eta +\alpha +1)}{x}^{n\eta +\alpha }\right)}^T\hfill \\ \hfill & =B{\overline{X}}_{\eta }\left(x\right),\hfill \end{array}$$

(35)

where

$$B=diag\left(\frac{1}{\mathsf{\Gamma }(\alpha +1)},\frac{\mathsf{\Gamma }(\eta +1)}{\mathsf{\Gamma }(\eta +\alpha +1)},\frac{\mathsf{\Gamma }(2\eta +1)}{\mathsf{\Gamma }(2\eta +\alpha +1)},\dots ,\frac{\mathsf{\Gamma }(n\eta +1)}{\mathsf{\Gamma }(n\eta +\alpha +1)}\right),$$

(36)

$${\overline{X}}_{\eta }\left(x\right)={\left(x^{\alpha },x^{\eta +\alpha },x^{2\eta +\alpha },\dots ,x^{n\eta +\alpha }\right)}^T.$$

(37)

The vector ${\overline{X}}_{\eta }\left(x\right)$ can be approximated in terms of FCHFs as follows

$$x^{r\eta +\alpha }\simeq \sum _{k=0}^n{a}_{rk}{C}_{nk}^{\eta }\left(x\right),r=0,1,\dots ,n,$$

(38)

where $a_{rk}$ can be obtained from Equations (15) and (26) as follows

$$\begin{array}{cc}\hfill a_{rk}& =\eta (2k+1){\int }_0^1{x}^{r\eta +\alpha }{C}_{nk}^{\eta }\left(x\right){\omega }_{\eta }\left(x\right)dx\hfill \\ \hfill & =\eta (2k+1)\sum _{s=k}^n{(-1)}^{s-k}\left(\genfrac{}{}{0pt}{}{n-k}{s-k}\right)\left(\genfrac{}{}{0pt}{}{n+s+1}{n-k}\right){\int }_0^1{x}^{(r+s+1)\eta +\alpha -1}dx\hfill \\ \hfill & =\eta (2k+1)\sum _{s=k}^n\frac{{(-1)}^{s-k}}{\eta (r+s+1)+\alpha }\left(\genfrac{}{}{0pt}{}{n-k}{s-k}\right)\left(\genfrac{}{}{0pt}{}{n+s+1}{n-k}\right).\hfill \end{array}$$

(39)

Then,

$${\overline{X}}_{\eta }\left(x\right)\simeq A{C}_{\eta }\left(x\right),$$

(40)

where $A={\left[a_{rk}\right]}_{{}_{r,k=0}}^n$ is a $(n+1)\times (n+1)$ matrix and its elements are given by Equation (39).

From Equations (34), (35) and (40), we can write

$$I^{\alpha }{C}_{\eta }\left(x\right)\simeq EBA{C}_{\eta }\left(x\right),$$

(41)

and by using Equations (20), (36) and (39) for multiplying the matrices E, B and A, we get

$$I^{\alpha }{C}_{\eta }\left(x\right)\simeq P^{\left(\alpha \right)}{C}_{\eta }\left(x\right).$$

(42)

□

Remark 1.

It can be noted that the operational matrix of fractional integration in [32] is a special case of the operational matrix of fractional integration of FCHFs with $\eta =1$.

In the following, we present the operational matrix of product of two FCHFs vectors, which will be useful to reduce the fractional differential equation into a set of algebraic equations.

Theorem 3.

Suppose $U={[u_0,u_1,\dots ,u_n]}^T$ is an arbitrary vector, then

$$C_{\eta }\left(x\right)C_{\eta }^T\left(x\right)U\simeq \overline{U}{C}_{\eta }\left(x\right),$$

(43)

where

$$\overline{U}={\left[{\overline{u}}_{rl}\right]}_{r,l=0}^n,{\overline{u}}_{rl}=\sum _{k=0}^n\sum _{j=0}^n\sum _{i=0}^n{u}_j{e}_{ji}{e}_{rk}{h}_{ikl},h_{ikl}=(2l+1)\sum _{s=l}^n\frac{{(-1)}^{s-l}}{i+k+s+1}\left(\genfrac{}{}{0pt}{}{n-l}{s-l}\right)\left(\genfrac{}{}{0pt}{}{n+s+1}{n-l}\right).$$

(44)

Proof. 

From Equations (18)–(20), we have

$$\begin{array}{cc}\hfill C_{\eta }\left(x\right)C_{\eta }^T\left(x\right)U& =E{X}_{\eta }\left(x\right)X_{\eta }^T\left(x\right)E^{T}U\hfill \\ \hfill & =\left(\begin{array}{c}{\displaystyle \sum _{k=0}^n}{\displaystyle \sum _{j=0}^n}{\displaystyle \sum _{i=0}^n}{u}_j{e}_{ji}{e}_{0k}{x}^{(i+k)\eta }\\ {\displaystyle \sum _{k=0}^n}{\displaystyle \sum _{j=0}^n}{\displaystyle \sum _{i=0}^n}{u}_j{e}_{ji}{e}_{1k}{x}^{(i+k)\eta }\\ ⋮\\ {\displaystyle \sum _{k=0}^n}{\displaystyle \sum _{j=0}^n}{\displaystyle \sum _{i=0}^n}{u}_j{e}_{ji}{e}_{nk}{x}^{(i+k)\eta }\end{array}\right).\hfill \end{array}$$

(45)

Now, we approximate $x^{(i+k)\eta }$ for $i,k=0,1,2,\dots ,n$, in terms of FCHFs, as follows

$$x^{(i+k)\eta }\simeq \sum _{l=0}^n{h}_{ikl}{C}_{nl}^{\eta }\left(x\right),$$

(46)

where

$$\begin{array}{cc}\hfill h_{ikl}& =\eta (2l+1){\int }_0^1{x}^{(i+k)\eta }{C}_{nl}^{\eta }\left(x\right){\omega }_{\eta }\left(x\right)dx\hfill \\ \hfill & =\eta (2l+1)\sum _{s=l}^n{(-1)}^{s-l}\left(\genfrac{}{}{0pt}{}{n-l}{s-l}\right)\left(\genfrac{}{}{0pt}{}{n+s+1}{n-l}\right){\int }_0^1{x}^{(i+k+s+1)\eta -1}dx\hfill \\ \hfill & =(2l+1)\sum _{s=l}^n\frac{{(-1)}^{s-l}}{i+k+s+1}\left(\genfrac{}{}{0pt}{}{n-l}{s-l}\right)\left(\genfrac{}{}{0pt}{}{n+s+1}{n-l}\right).\hfill \end{array}$$

(47)

Then, for every $r=0,1,\dots ,n$, we get

$$\begin{array}{cc}\hfill \sum _{k=0}^n\sum _{j=0}^n\sum _{i=0}^n{u}_j{e}_{ji}{e}_{rk}{x}^{(i+k)\eta }& \simeq \sum _{k=0}^n\sum _{j=0}^n\sum _{i=0}^n{u}_j{e}_{ji}{e}_{rk}\sum _{l=0}^n{h}_{ikl}{C}_{nl}^{\eta }\left(x\right)\hfill \\ \hfill & =\sum _{l=0}^n\left(\sum _{k=0}^n\sum _{j=0}^n\sum _{i=0}^n{u}_j{e}_{ji}{e}_{rk}{h}_{ikl}\right)C_{nl}^{\eta }\left(x\right)\hfill \\ \hfill & =\sum _{l=0}^n{\overline{u}}_{rl}{C}_{nl}^{\eta }\left(x\right).\hfill \end{array}$$

(48)

By using Equation (48) into Equation (45) we obtain

$$\begin{array}{cc}\hfill C_{\eta }\left(x\right)C_{\eta }^T\left(x\right)U& \simeq \left(\begin{array}{c}{\displaystyle \sum _{l=0}^n}{\overline{u}}_{0l}{C}_{nl}^{\eta }\left(x\right)\\ {\displaystyle \sum _{l=0}^n}{\overline{u}}_{1l}{C}_{nl}^{\eta }\left(x\right)\\ ⋮\\ {\displaystyle \sum _{l=0}^n}{\overline{u}}_{nl}{C}_{nl}^{\eta }\left(x\right)\end{array}\right)\hfill \\ \hfill & =\overline{U}{C}_{\eta }\left(x\right),\hfill \end{array}$$

(49)

which completes the proof. □

5. Solution Method

In this section, the operational matrices of fractional integral and product for FCHFs together with the spectral collocation method are applied for solving the fractional differential equations.

Consider the multi-order fractional differential equation

$$F(x,y\left(x\right),D^{{\alpha }_1}y\left(x\right),D^{{\alpha }_2}y\left(x\right),\dots ,D^{{\alpha }_m}y\left(x\right),D^{\alpha }y\left(x\right))=0,$$

(50)

with initial conditions

$$y^{\left(i\right)}\left(0\right)={\lambda }_i,i=0,1,\dots ,\lceil \alpha \rceil -1,$$

(51)

where, $y\left(x\right)$ is the unknown function, $0<{\alpha }_1<{\alpha }_2<\dots <{\alpha }_m<\alpha$, $x\in [0,1]$ and $D^{\alpha }$ denotes the Caputo fractional derivative of order $\alpha$. To find a solution of problem (50), we approximate $D^{\alpha }y\left(x\right)$ as

$$D^{\alpha }y\left(x\right)\simeq \sum _{k=0}^n{q}_k{C}_{nk}^{\eta }\left(x\right)=Q^T{C}_{\eta }\left(x\right).$$

(52)

By using the Riemann–Liouville integral operator $I^{\alpha }$ and Equations (9) and (32), we get

$$\begin{array}{cc}\hfill y\left(x\right)-\sum _{i=0}^{\lceil \alpha \rceil -1}\frac{y^{\left(i\right)}\left(0\right)}{i!}{x}^i& \simeq Q^T{I}^{\alpha }{C}_{\eta }\left(x\right)\hfill \\ \hfill & \simeq Q^T{P}^{\left(\alpha \right)}{C}_{\eta }\left(x\right).\hfill \end{array}$$

(53)

Employing Equation (51) in Equation (53) gives

$$y\left(x\right)\simeq Q^T{P}^{\left(\alpha \right)}{C}_{\eta }\left(x\right)+\sum _{i=0}^{\lceil \alpha \rceil -1}\frac{{\lambda }_i}{i!}{x}^i.$$

(54)

Therefore, for $j=1,2,\dots ,m$

$$\begin{array}{cc}\hfill D^{{\alpha }_j}y\left(x\right)& \simeq Q^T{P}^{(\alpha -{\alpha }_j)}{C}_{\eta }\left(x\right)+\sum _{i=0}^{\lceil \alpha \rceil -1}\frac{{\lambda }_i}{i!}{D}^{{\alpha }_j}{x}^i,\hfill \\ \hfill & =Q^T{P}^{(\alpha -{\alpha }_j)}{C}_{\eta }\left(x\right)+\sum _{i=\lceil {\alpha }_j\rceil }^{\lceil \alpha \rceil -1}\frac{{\lambda }_i}{\mathsf{\Gamma }(i-{\alpha }_j+1)}{x}^{i-{\alpha }_j},\lceil {\alpha }_j\rceil \le \lceil \alpha \rceil -1,\hfill \end{array}$$

(55)

clearly if $\lceil {\alpha }_j\rceil \ge \lceil \alpha \rceil$ the second term of Equation (55) will vanish. Combining Equations (54) and (55) yields

$$D^{{\alpha }_j}y\left(x\right)\simeq Q^T{P}^{(\alpha -{\alpha }_j)}{C}_{\eta }\left(x\right)+{\displaystyle \sum _{i=\lceil {\alpha }_j\rceil }^{\lceil \alpha \rceil -1}}\frac{{\lambda }_i}{\mathsf{\Gamma }(i-{\alpha }_j+1)}{x}^{i-{\alpha }_j},j=0,1,\dots ,m,$$

(56)

where ${\alpha }_0=0$. Now, approximate ${\displaystyle \sum _{i=\lceil {\alpha }_j\rceil }^{\lceil \alpha \rceil -1}}\frac{{\lambda }_i}{\mathsf{\Gamma }(i-{\alpha }_j+1)}{x}^{i-{\alpha }_j}$ in terms of FCHFs as

$$\sum _{i=\lceil {\alpha }_j\rceil }^{\lceil \alpha \rceil -1}\frac{{\lambda }_i}{\mathsf{\Gamma }(i-{\alpha }_j+1)}{x}^{i-{\alpha }_j}\simeq \sum _{r=0}^n{g}_{jr}{C}_{nr}^{\eta }\left(x\right)=G_j^T{C}_{\eta }\left(x\right),j=0,1,\dots ,m,$$

(57)

where the vectors $G_j={[g_{j0},g_{j1},\dots ,g_{jn}]}^T$ are given by

$$\begin{array}{cc}\hfill g_{jr}& =\eta (2r+1)\sum _{i=\lceil {\alpha }_j\rceil }^{\lceil \alpha \rceil -1}\frac{{\lambda }_i}{\mathsf{\Gamma }(i-{\alpha }_j+1)}{\int }_0^1{x}^{i-{\alpha }_j}{C}_{nr}^{\eta }\left(x\right){\omega }_{\eta }\left(x\right)dx,\hfill \\ \hfill & =\eta (2r+1)\sum _{i=\lceil {\alpha }_j\rceil }^{\lceil \alpha \rceil -1}\sum _{l=r}^n\frac{{(-1)}^{l-r}{\lambda }_i}{\mathsf{\Gamma }(i-{\alpha }_j+1)}\left(\genfrac{}{}{0pt}{}{n-r}{l-r}\right)\left(\genfrac{}{}{0pt}{}{n+l+1}{n-r}\right){\int }_0^1{x}^{(l+1)\eta +i-{\alpha }_j-1}dx,\hfill \\ \hfill & =\eta (2r+1)\sum _{i=\lceil {\alpha }_j\rceil }^{\lceil \alpha \rceil -1}\sum _{l=r}^n\frac{{(-1)}^{l-r}{\lambda }_i}{\left(\eta (l+1)+i-{\alpha }_j\right)\mathsf{\Gamma }(i-{\alpha }_j+1)}\left(\genfrac{}{}{0pt}{}{n-r}{l-r}\right)\left(\genfrac{}{}{0pt}{}{n+l+1}{n-r}\right),j=0,1,\dots ,m,r=0,1,\dots ,n.\hfill \end{array}$$

(58)

Then, Equation (56) becomes

$$D^{{\alpha }_j}y\left(x\right)=\left(Q^T{P}^{(\alpha -{\alpha }_j)}+G_j^T\right)C_{\eta }\left(x\right),j=0,1,\dots ,m.$$

(59)

Additionally, from Theorem 3, we can write

$$\begin{array}{cc}\hfill {\left(D^{{\alpha }_j}y\left(x\right)\right)}^2& =\left(Q^T{P}^{(\alpha -{\alpha }_j)}+G_j^T\right)C_{\eta }\left(x\right)C_{\eta }^T\left(x\right)\left({\left(P^{(\alpha -{\alpha }_j)}\right)}^{T}Q+G_j\right),\hfill \\ \hfill & =\left(Q^T{P}^{(\alpha -{\alpha }_j)}+G_j^T\right){\overline{Q}}_1{C}_{\eta }\left(x\right),\hfill \end{array}$$

(60)

where ${\overline{Q}}_1$ is the operational matrix of the product, also

$$\begin{array}{cc}\hfill {\left(D^{{\alpha }_j}y\left(x\right)\right)}^3& =\left(Q^T{P}^{(\alpha -{\alpha }_j)}+G_j^T\right){\overline{Q}}_1{C}_{\eta }\left(x\right)C_{\eta }^T\left(x\right)\left({\left(P^{(\alpha -{\alpha }_j)}\right)}^{T}Q+G_j\right),\hfill \\ \hfill & =\left(Q^T{P}^{(\alpha -{\alpha }_j)}+G_j^T\right){\overline{Q}}_2{C}_{\eta }\left(x\right),\hfill \end{array}$$

(61)

$$⋮$$

$$\begin{array}{cc}\hfill {\left(D^{{\alpha }_j}y\left(x\right)\right)}^s& =\left(Q^T{P}^{(\alpha -{\alpha }_j)}+G_j^T\right){\overline{Q}}_{s-2}{C}_{\eta }\left(x\right)C_{\eta }^T\left(x\right)\left({\left(P^{(\alpha -{\alpha }_j)}\right)}^{T}Q+G_j\right),\hfill \\ \hfill & =\left(Q^T{P}^{(\alpha -{\alpha }_j)}+G_j^T\right){\overline{Q}}_{s-1}{C}_{\eta }\left(x\right),s\in N.\hfill \end{array}$$

(62)

By substituting as needed from Equations (52), (59) and (62) in Equation (50), the multi-order fractional differential Equation (50) is converted into the following algebraic equation

$$F\left(x,\left(Q^T{P}^{\left(\alpha \right)}+G_0^T\right)C_{\eta }\left(x\right),\left(Q^T{P}^{(\alpha -{\alpha }_1)}+G_1^T\right)C_{\eta }\left(x\right),\dots ,\left(Q^T{P}^{(\alpha -{\alpha }_m)}+G_m^T\right)C_{\eta }\left(x\right),Q^T{C}_{\eta }\left(x\right)\right)=0.$$

(63)

To find the unknown vector Q, let ${\mathsf{\Psi }}_n=\{x_i:x_i=\frac{i}{n},i=0,1,\dots n\}$ be a set of equidistant nodes and collocate Equation (63) at the nodes $x_i,i=0,1,\dots n$, which gives

$$F\left(x_i,\left(Q^T{P}^{\left(\alpha \right)}+G_0^T\right)C_{\eta }\left(x_i\right),\left(Q^T{P}^{(\alpha -{\alpha }_1)}+G_1^T\right)C_{\eta }\left(x_i\right),\dots ,\left(Q^T{P}^{(\alpha -{\alpha }_m)}+G_m^T\right)C_{\eta }\left(x_i\right),Q^T{C}_{\eta }\left(x_i\right)\right)=0.$$

(64)

Equation (64) represents a system of $n+1$ nonlinear algebraic equations and can be solved to find the vector Q. So, an approximate solution of Equation (50) can be determine.

6. Illustrative Examples

In order to demonstrate the efficiency of the proposed method, we apply it to solve some linear and nonlinear fractional differential equations. A comparison with other methods reveals that the presented method is effective and accurate.

Example 1.

Consider the inhomogeneous Bagley–Torvik equation [16,22]

$$\begin{array}{c}{D}^{2}y\left(x\right)+D^{\frac{3}{2}}y\left(x\right)+y\left(x\right)=x+1,\hfill \\ y\left(0\right)=y^{\prime }\left(0\right)=1.\hfill \end{array}$$

(65)

The exact solution of this problem is $y\left(x\right)=x+1$. By using the technique presented in Section 5, we have

$$\begin{array}{cc}\hfill & D^{2}y\left(x\right)=Q^T{C}_{\eta }\left(x\right),\hfill \\ \hfill & D^{\frac{3}{2}}y\left(x\right)=\left(Q^T{P}^{\left(\frac{1}{2}\right)}+G_1^T\right)C_{\eta }\left(x\right),\hfill \\ \hfill & y\left(x\right)=\left(Q^T{P}^{\left(2\right)}+G_0^T\right)C_{\eta }\left(x\right).\hfill \end{array}$$

(66)

Substituting Equations (66) in (65), gives

$$Q^T\left(I+P^{\left(\frac{1}{2}\right)}+P^{\left(2\right)}\right)C_{\eta }\left(x\right)+\left(G_1^T+G_0^T\right)C_{\eta }\left(x\right)-x-1=0.$$

(67)

By taking $n=2,\eta =1$, we obtain

$$\begin{array}{cc}\hfill & G_0={\left(\begin{array}{c}\frac{1}{3},\frac{5}{4},\frac{35}{12}\end{array}\right)}^T,\hfill \end{array}$$

(68)

$$\begin{array}{cc}\hfill & G_1={\left(\begin{array}{c}0,0,0\end{array}\right)}^T,\hfill \end{array}$$

(69)

$$\begin{array}{cc}\hfill & P^{\left(\frac{1}{2}\right)}=\frac{1}{11\sqrt{\pi }}\left(\begin{array}{ccc}\frac{124}{21}& \frac{3172}{315}& \frac{340}{63}\\ -\frac{832}{945}& \frac{64}{7}& \frac{320}{27}\\ \frac{32}{315}& -\frac{32}{45}& \frac{32}{3}\end{array}\right),\hfill \end{array}$$

(70)

$$\begin{array}{cc}\hfill & P^{\left(2\right)}=\frac{1}{7}\left(\begin{array}{ccc}-\frac{1}{15}& \frac{17}{30}& 3\\ -\frac{1}{180}& -\frac{1}{20}& \frac{65}{36}\\ \frac{1}{60}& -\frac{1}{12}& \frac{5}{12}\end{array}\right).\hfill \end{array}$$

(71)

Using Equations (68)–(71) and collocate Equation (67) at the nodes $x_i=\frac{i}{2},i=0,1,2$, we obtain

$$\begin{array}{c}\left(\frac{104}{105}+\frac{124}{231\sqrt{\pi }}\right)q_0-\left(\frac{1}{1260}+\frac{832}{10395\sqrt{\pi }}\right)q_1+\left(\frac{1}{420}+\frac{32}{3465\sqrt{\pi }}\right)q_2=0,\hfill \\ \left(-\frac{55}{168}+\frac{172}{315\sqrt{\pi }}\right)q_0+\left(\frac{17}{21}+\frac{3232}{3465\sqrt{\pi }}\right)q_1+\left(\frac{107}{420}-\frac{1024}{3465\sqrt{\pi }}\right)q_2+\frac{5}{6}=0,\hfill \\ \left(\frac{281}{210}+\frac{388}{3465\sqrt{\pi }}\right)q_0-\left(\frac{103}{140}-\frac{64}{385\sqrt{\pi }}\right)q_1+\left(\frac{451}{420}-\frac{3104}{3465\sqrt{\pi }}\right)q_2=0.\hfill \end{array}$$

(72)

Solving Equation (72) gives $Q={\left(\begin{array}{c}0,0,0\end{array}\right)}^T$, and therefore

$$y\left(x\right)=G_0^T{C}_1\left(x\right)=\left(\begin{array}{c}\frac{1}{3},\frac{5}{4},\frac{35}{12}\end{array}\right)\left(\begin{array}{c}3-12x+10x^2\\ 4x-5x^2\\ x^2\end{array}\right)=x+1,$$

(73)

which is the exact solution. Additionally, for the same $n=2$ with $\eta =\frac{1}{2}$ we can obtain the exact solution, where

$$\begin{array}{cc}\hfill & G_0={\left(\begin{array}{c}\frac{1}{3},1,\frac{8}{3}\end{array}\right)}^T,\hfill \end{array}$$

(74)

$$\begin{array}{cc}\hfill & G_1={\left(\begin{array}{c}0,0,0\end{array}\right)}^T,\hfill \end{array}$$

(75)

$$\begin{array}{cc}\hfill & P^{\left(\frac{1}{2}\right)}={\displaystyle \frac{1}{3\sqrt{\pi }}}\left(\begin{array}{ccc}\frac{2}{3}& \frac{1}{2}& \frac{335-108\pi }{6}\\ -\frac{1}{3}& 2& \frac{18\pi -50}{3}\\ \frac{1}{15}& -\frac{2}{5}& \frac{10}{3}\end{array}\right),\hfill \end{array}$$

(76)

$$\begin{array}{cc}\hfill & P^{\left(2\right)}=\frac{1}{9}\left(\begin{array}{ccc}-\frac{1}{21}& \frac{1}{5}& -\frac{1}{42}\\ \frac{19}{420}& -\frac{41}{140}& \frac{11}{6}\\ \frac{5}{84}& -\frac{1}{4}& \frac{5}{6}\end{array}\right).\hfill \end{array}$$

(77)

Similarly, by collocating Equation (67) at the nodes $x_i=\frac{i}{2},i=0,1,2$ and solving the resulting system, we get the solution $Q={\left(\begin{array}{c}0,0,0\end{array}\right)}^T$, which yields

$$y\left(x\right)=G_0^T{C}_{\frac{1}{2}}\left(x\right)=\left(\begin{array}{c}\frac{1}{3},1,\frac{8}{3}\end{array}\right)\left(\begin{array}{c}3-12\sqrt{x}+10x\\ 4\sqrt{x}-5x\\ x\end{array}\right)=x+1.$$

(78)

Example 2.

Consider the following linear fractional differential equation [38,39]

$$\begin{array}{c}{D}^{\frac{1}{2}}y\left(x\right)+y\left(x\right)=\sqrt{x}+\frac{\sqrt{\pi }}{2},\hfill \\ y\left(0\right)=0.\hfill \end{array}$$

(79)

The exact solution of this problem is $y\left(x\right)=\sqrt{x}$. Using the proposed method yields

$$\begin{array}{c}{D}^{\frac{1}{2}}y\left(x\right)=Q^T{C}_{\eta }\left(x\right),\hfill \\ y\left(x\right)=\left(Q^T{P}^{\left(\frac{1}{2}\right)}+G_0^T\right)C_{\eta }\left(x\right).\hfill \end{array}$$

(80)

Equation (79) can be written after using Equation (80) in the form

$$Q^T\left(I+P^{\left(\frac{1}{2}\right)}\right)C_{\eta }\left(x\right)+G_0^T{C}_{\eta }\left(x\right)-{\displaystyle \frac{2\sqrt{x}+\sqrt{\pi }}{2}}=0.$$

(81)

With $n=1$ and $\eta =\frac{1}{2}$, we get

$$\begin{array}{cc}\hfill & G_0={\left(\begin{array}{c}0,0\end{array}\right)}^T,\hfill \end{array}$$

(82)

$$\begin{array}{cc}\hfill & P^{\left(\frac{1}{2}\right)}=\left(\begin{array}{cc}\frac{\sqrt{\pi }}{8}& \frac{32-9\pi }{8\sqrt{\pi }}\\ -\frac{\sqrt{\pi }}{24}& \frac{3\sqrt{\pi }}{8}\end{array}\right),\hfill \end{array}$$

(83)

and the generated set of linear algebraic equations is

$$\begin{array}{c}\left(1+\frac{\sqrt{\pi }}{8}\right)q_0-\frac{\sqrt{\pi }}{24}{q}_1-\frac{\sqrt{\pi }}{4}=0,\hfill \\ \left(1-\frac{16-5\pi }{4\sqrt{\pi }}\right)q_0-\left(1+\frac{5\sqrt{\pi }}{12}\right)q_1+1+\frac{\sqrt{\pi }}{2}=0.\hfill \end{array}$$

(84)

The solution of Equation (84) is $Q={\left(\begin{array}{c}\frac{\sqrt{\pi }}{4},\frac{3\sqrt{\pi }}{4}\end{array}\right)}^T$. Then

$$y\left(x\right)=Q^T{P}^{\left(\frac{1}{2}\right)}{C}_{\frac{1}{2}}\left(x\right)=\left(\begin{array}{c}\frac{\sqrt{\pi }}{4},\frac{3\sqrt{\pi }}{4}\end{array}\right)\left(\begin{array}{cc}\frac{\sqrt{\pi }}{8}& \frac{32-9\pi }{8\sqrt{\pi }}\\ -\frac{\sqrt{\pi }}{24}& \frac{3\sqrt{\pi }}{8}\end{array}\right)\left(\begin{array}{c}2-3\sqrt{x}\\ \sqrt{x}\end{array}\right)=\sqrt{x},$$

(85)

which is the exact solution.

Example 3.

Consider the nonlinear initial value problem [16,22,31]

$$\begin{array}{c}{D}^{3}y\left(x\right)+D^{\frac{5}{2}}y\left(x\right)+y^2\left(x\right)=x^4,\hfill \\ y\left(0\right)=y^{\prime }\left(0\right)=0,y″\left(0\right)=2.\hfill \end{array}$$

(86)

The exact solution of the problem is $y\left(x\right)=x^2$. By applying the method described in Section 5, we obtain

$$\begin{array}{c}{D}^{3}y\left(x\right)=Q^T{C}_{\eta }\left(x\right),\hfill \\ D^{\frac{5}{2}}y\left(x\right)=\left(Q^T{P}^{\left(\frac{1}{2}\right)}+G_1^T\right)C_{\eta }\left(x\right),\hfill \\ y\left(x\right)=\left(Q^T{P}^{\left(3\right)}+G_0^T\right)C_{\eta }\left(x\right),\hfill \\ y^2\left(x\right)=\left(Q^T{P}^{\left(3\right)}+G_0^T\right){\overline{Q}}_1{C}_{\eta }\left(x\right).\hfill \end{array}$$

(87)

where ${\overline{Q}}_1$ can be calculated from Equation (43). Equation (87) transforms Equation (86) to

$$Q^T\left(I+P^{\left(\frac{1}{2}\right)}+P^{\left(3\right)}{\overline{Q}}_1\right)C_{\eta }\left(x\right)+\left(G_1^T+G_0^T{\overline{Q}}_1\right)C_{\eta }\left(x\right)-x^4=0.$$

(88)

With $n=3$ and $\eta =1$, the resulting system of nonlinear algebraic equations can be written in the form

$$\begin{array}{c}\frac{1}{3}{(1+\frac{359}{3024}{q}_0+\frac{13}{432}{q}_1+\frac{11}{5040}{q}_2+\frac{1}{3024}{q}_3)}^2+(17-\frac{34816}{3003\sqrt{\pi }})q_0-(21+\frac{1102592}{45045\sqrt{\pi }})q_1+(11+\frac{566864}{225225\sqrt{\pi }})q_2\hfill \\ +(1+\frac{23552}{45045\sqrt{\pi }})q_3-\frac{1}{3}=0,\hfill \\ \frac{1}{12}{(4+\frac{55}{108}{q}_0+\frac{269}{945}{q}_1+\frac{991}{12600}{q}_2+\frac{47}{7560}{q}_3)}^2+(2+\frac{12192}{9009\sqrt{\pi }})q_0+(-3+\frac{90544}{45045\sqrt{\pi }})q_1+(4+\frac{234884}{9009\sqrt{\pi }})q_2\hfill \\ +(2+\frac{67264}{45045\sqrt{\pi }})q_3-\frac{4}{3}=0,\hfill \\ {(1+\frac{125}{1008}{q}_0+\frac{67}{720}{q}_1+\frac{211}{5040}{q}_2+\frac{13}{1680}{q}_3)}^2+(-1+\frac{512}{1001\sqrt{\pi }})q_0+(1+\frac{1024}{3003\sqrt{\pi }})q_1+(-1+\frac{2084}{45045\sqrt{\pi }})q_2\hfill \\ +(1+\frac{8192}{9009\sqrt{\pi }})q_3-1=0,\hfill \\ 4{(\frac{1}{2520}{q}_1-\frac{1}{10080}{q}_2-\frac{1}{10080}{q}_3)}^2+(1+\frac{32}{77\sqrt{\pi }})q_0-\frac{304}{4095\sqrt{\pi }}{q}_1+\frac{128}{9009\sqrt{\pi }}{q}_2-\frac{64}{45045\sqrt{\pi }}{q}_3=0.\hfill \end{array}$$

(89)

The solution of system (89) is $Q={\left(\begin{array}{c}0,0,0,0\end{array}\right)}^T$, which leads to the exact solution.

Example 4.

Consider the nonlinear multi-order fractional differential equation [40]

$$\begin{array}{c}{D}^{\alpha }y\left(x\right)+y^2\left(x\right)=x+{\left(\frac{x^{\alpha +1}}{\mathsf{\Gamma }(\alpha +2)}\right)}^2,0<\alpha \le 2,\hfill \\ y\left(0\right)=y^{\prime }\left(0\right)=0.\hfill \end{array}$$

(90)

The problem has the exact solution $y\left(x\right)=\frac{x^{\alpha +1}}{\mathsf{\Gamma }(\alpha +2)}$. Applying the proposed technique in Section 5 for this problem, we get

$$\begin{array}{c}{D}^{\alpha }y\left(x\right)=Q^T{C}_{\eta }\left(x\right),\hfill \\ y\left(x\right)=\left(Q^T{P}^{\left(\alpha \right)}+G_0^T\right)C_{\eta }\left(x\right),\hfill \\ y^2\left(x\right)=\left(Q^T{P}^{\left(\alpha \right)}+G_0^T\right){\overline{Q}}_1{C}_{\eta }\left(x\right).\hfill \end{array}$$

(91)

Then (90) takes the form

$$Q^T\left(I+P^{\left(\alpha \right)}{\overline{Q}}_1\right)C_{\eta }\left(x\right)+G_0^T{\overline{Q}}_1{C}_{\eta }\left(x\right)-x-{\left(\frac{x^{\alpha +1}}{\mathsf{\Gamma }(\alpha +2)}\right)}^2=0.$$

(92)

Consider $\alpha =1$ with the exact solution $y\left(x\right)=\frac{x^2}{2}$. For solving this case we take $n=2$ and $\eta =1$, which leads to the following system of nonlinear algebraic equations

$$\begin{array}{c}\frac{1}{36}{q}_0^2+\frac{1}{144}{q}_1^2+\frac{1}{3600}{q}_2^2-\frac{1}{36}{q}_0{q}_1+\frac{1}{180}{q}_0{q}_2+\frac{1}{360}{q}_1{q}_2+3q_0=0,\hfill \\ \frac{25}{144}{q}_0^2+\frac{49}{576}{q}_1^2+\frac{121}{14400}{q}_2^2+\frac{35}{144}{q}_0{q}_1+\frac{55}{720}{q}_0{q}_2+\frac{77}{1440}{q}_1{q}_2-\frac{1}{2}{q}_0+\frac{3}{4}{q}_1+\frac{1}{4}{q}_2-\frac{33}{64}=0,\hfill \\ \frac{1}{36}{q}_0^2+\frac{25}{144}{q}_1^2+\frac{361}{3600}{q}_2^2+\frac{5}{36}{q}_0{q}_1+\frac{19}{180}{q}_0{q}_2+\frac{95}{360}{q}_1{q}_2+q_0-q_1+q_2-\frac{5}{4}=0.\hfill \end{array}$$

(93)

Solving these equations yields $Q={\left(\begin{array}{c}0,\frac{1}{4},\frac{5}{4}\end{array}\right)}^T$, which leads to the exact solution.

Example 5.

Consider the following fractional differential equation [31]

$$\begin{array}{c}Dy\left(x\right)+D^{\frac{1}{4}}y\left(x\right)+y\left(x\right)=\frac{5}{2}{x}^{\frac{3}{2}}+x^{\frac{5}{2}}+\frac{15}{8}\frac{\sqrt{\pi }}{\mathsf{\Gamma }\left(\frac{13}{4}\right)}{x}^{\frac{9}{4}},\hfill \\ y\left(0\right)=0.\hfill \end{array}$$

(94)

The exact solution of this problem is $y\left(x\right)=x^2\sqrt{x}$.

Table 1. Comparison of the results for Example 5.

n	Our Method			Talaei’s [31]
	$\mathit{\eta }$	${\mathit{L}}_{{\mathit{\omega }}_{\mathit{\eta }}}^{\mathbf{\infty }}$	${\mathit{L}}_{{\mathit{\omega }}_{\mathit{\eta }}}^{\mathbf{2}}$	${\mathit{L}}^{\mathbf{\infty }}$	${\mathit{L}}^{\mathbf{2}}$
4	1.0	3.82 $\times {10}^{-4}$	3.81 $\times {10}^{-4}$	1.21 $\times {10}^{-3}$	5.92 $\times {10}^{-4}$
8	0.5	1.18 $\times {10}^{-7}$	4.06 $\times {10}^{-7}$	5.80 $\times {10}^{-5}$	2.50 $\times {10}^{-5}$
10	0.25	0.0	0.0	–	–
13	0.25	0.0	0.0	–	–
16	0.25	8.13 $\times {10}^{-17}$	5.36 $\times {10}^{-17}$	2.45 $\times {10}^{-6}$	9.89 $\times {10}^{-7}$
20	0.25	1.78 $\times {10}^{-15}$	0.0	8.59 $\times {10}^{-7}$	3.42 $\times {10}^{-7}$

shows a comparison of the results obtained by the present method and those in [31] in terms of $L_{{\omega }_{\eta }}^{\infty }$ and $L_{{\omega }_{\eta }}^2$ errors for different values of n and $\eta$. Note that the results for the method that we compare have been executed by the method in [31] and we use these results to make a direct comparison with the presented method. Symbol “–” means that the result for n is unavailable for that method. From Table 1, it can be seen that the errors achieved by the presented method are less than those in [31] for all values of n. In addition to that, when n increases, the errors are reduced until they become zero at $n=10,\eta =0.25$ and $n=13,\eta =0.25$. This means that the presented method is more accurate than that in [31] for this problem.

Example 6.

Consider the fractional differential equation [31,41,42]

$$\begin{array}{c}{D}^{\alpha }y\left(x\right)+y\left(x\right)=x^4-\frac{1}{2}{x}^3-\frac{3}{\mathsf{\Gamma }(4-\alpha )}{x}^{3-\alpha }+\frac{24}{\mathsf{\Gamma }(5-\alpha )}{x}^{4-\alpha },0<\alpha <1,\hfill \\ y\left(0\right)=0.\hfill \end{array}$$

(95)

The exact solution of this problem is $y\left(x\right)=x^4-\frac{1}{2}{x}^3$.

Table 2. Comparison of the results for Example 6.

n	Our Method		Talaei’s [31]	Chen’s [41]
	$\mathit{\eta }$	${\mathit{L}}_{{\mathit{\omega }}_{\mathit{\eta }}}^{\mathbf{2}}$	${\mathit{L}}^{\mathbf{2}}$	${\mathit{L}}^{\mathbf{2}}$
8	0.5	5.68 $\times {10}^{-6}$	3.07 $\times {10}^{-7}$	4.50 $\times {10}^{-3}$
16	0.25	6.70 $\times {10}^{-17}$	2.87 $\times {10}^{-9}$	1.80 $\times {10}^{-3}$
20	0.25	0.0	–	–

describes the results obtained by the present method and those in [31,41] in terms of $L_{{\omega }_{\eta }}^2$ errors for different values of n with $\alpha =\frac{1}{4}$. It can be seen that the new method performs better than the method in [31] and much better than the technique in [41]. The error achieved by the presented method becomes smaller and smaller with the increment of n and converge to zero at $n=20$. Which means that the introduced method is more coincidental with exact solutions than those in [31,41].

7. Conclusions

In this paper, the FCHFs have been adopted for solving fractional differential equations. The operational matrices of fractional integral and product for FCHFs have been derived. These matrices are used to approximate solutions of fractional differential equations where the fractional derivatives are considered in Caputo sense. The introduced method is a spectral collocation method which reduces the fractional differential equation to a system of algebraic equations. The efficiency and applicability of the presented method are tested on some problems. Comparison with some other methods has been performed. The numerical results show that the new method is more efficient, its performance is quite satisfactory, and only a small number of FCHFs is needed to obtain good results. Finally, we can say that employing fractional-order basis functions achieves more accurate results than the corresponding integer-order basis functions, which shows the applicability of this method for solving the fractional problems.