## Abstract

A collocation method based on multiquadric radial basis functions is proposed for numerical solution of fractional differential equations. The fractional derivative is sense of Caputo–Fabrizio derivative. An efficient error bound of the method is also introduced in the \(L_2\) norm, using properties of native spaces. We test this approach for two examples. The obtained numerical results confirm theoretical prediction of the convergence of this method.

## Introduction

Over the last several decades, radial basis functions (RBFs) were known as a powerful tool for the scattered data interpolation problems. The multiquadric (MQ) RBF interpolation method was introduced by Hardy in 1971 [11] and the method of meshless radial basis functions was introduced by Kansa for solving differential equations in 1990 [14, 15]. More recently, the RBF methods have been used to obtain numerical solution of a large type of ordinary and partial differential equations [8, 12, 23].

In the last decades, fractional differential equations have been demonstrated applications in the several fields of mathematics, physics, and out of them [6, 13, 19] and the several methods have been proposed to solve them. There are various definitions of derivative with fractional order, such as Riemann–Liouville, Caputo, etc. [16, 20]. Caputo and Fabrizio have suggested a new definition of fractional derivative which, contrary to the old definition, has no singularity [5].

In this paper, the collocation method based on MQ-RBFs is applied to solve the Caputo–Fabrizio fractional differential equations. The first author and Ghoreishi have applied this method for fractional differential equations with Caputo derivative [7].

###
**Definition 1**

(*From* [5]) Assume that \(u\in H^1(a,b), a<b\), the Caputo–Fabrizio derivative with fractional order \(0\le \alpha \le 1\) of the function *u*(*x*) is defined by

where \(M(\alpha )\) is a normalization function, such that \(M(0) = M(1) = 1\).

Losada and Nieto proposed the fractional integral of Caputo–Fabrizio type as follows (see [18]).

###
**Definition 2**

Let \(0<\alpha < 1\). The fractional integral of order \(\alpha\) of a function *u* is defined by

Due to the above definition, the fractional integral of order \(\alpha\) is an average between of the function and its integral of order one. Using this idea, they obtain the normalized function to be

Therefore, the Caputo–Fabrizio fractional derivative of order \(0<\alpha <1\) was reformulated by Losada and Nieto as

The remainder this paper is organized as follows. In Sect. 2, we present the necessary definitions and some necessary facts about RBFs and some other concepts. In Sect. 3, we introduce MQ-RBF collocation method for numerical solution of the Caputo–Fabrizio fractional differential equations. Error estimate of the proposed method was devoted in Sect. 4. Finally, numerical examples are carried out to verify the theoretical results in Sect. 5.

## Basic definitions

Let \(\varphi\) be a continuous function on \({\mathbb {R}}^d\) which is conditionally positive definite of order *m*. Given a set of *N* distinct data points \(\mathcal {X}=\{x_j\}_{j=1}^N\) corresponding data value \(\{g_j\}_{j=1}^N\), the RBF interpolant is defined by

where \(\Vert .\Vert\) is the Euclidean norm on \({\mathbb {R}}^d\), \(\{\psi _i\}_{i=1}^\eta\) is a basis of the polynomial space \(\mathbb {P}_{d}^{m-1}\), that is, all polynomials of total degree less than *m* in *d* variables and \(\eta ={\rm dim} \ \Pi _{m}^d=\left( { \begin{array}{l} {d + m - 1}\\ {m - 1} \end{array}} \right)\).

The expansion coefficients \(\{\lambda _j\}_{j=1}^N\) and \(\{\lambda _i^{'}\}_{i=1}^{\eta }\) are then determined from the interpolation conditions and the further conditions:

which leads to the following linear system:

where \(A_{N\times N}\) and \(B_{N\times \eta }\) are matrices with the elements \(A_{ji}=\phi (x_j-x_i), \ i,j=1,\ldots ,N\) and \(B_{ji}=\psi _i(x_j), \ j=1,\ldots ,N, i=1,\ldots ,\eta\), respectively. Furthermore, \(\varvec{\lambda }\) and \(\varvec{\lambda }^{'}\) are the vectors of coefficients of \(\mathcal {P} g(x)\) and the components of *g* are the data \(g(x_j), \ j=1,\ldots , N\).

It is worth mentioning that system (6) has a unique solution when \(\mathcal {X}\) contains a \(\mathbb {P}_d^{m-1}\)-unisolvent subset. We call a set of points \(\mathcal {X}\subset {\mathbb {R}}^d\) \(\mathbb {P}_d^{m-1}\)-unisolvent if the only polynomial of total degree at most \(m-1\) interpolating zero data on \(\mathcal {X}\) is the zero polynomial. A complete treatment of this topic can be seen in [3, 9].

We will use multiquadric radial basis functions for the numerical scheme introduced in Sect. 3. The multiquadric RBFs can be defined as

where \(\lceil m-d/2\rceil\) indicates the smallest integer greater than \(m-d/2\). The MQ-RBFs in (7) were named one of the shifted surface spline functions by Yoon [22].

We need the native and Sobolev spaces to discuss about error estimates of RBF interpolation.

Each radial basis function \(\varphi (x)\) induces a native space denoted by \({\mathcal {F}}_{\varphi }\) which is a semi-Hilbert space for \(m > 0\).

###
**Definition 3**

Consider the Fourier transform of \(f\in L_{1}({\mathbb {R}}^d)\) as

For the given basis function \(\varphi\), there arises a function space

which is called the “native” space for \(\varphi\). This function space \({\mathcal {F}}_{\varphi }\) is equipped with the semi-inner product

The definition and relevant properties of the native space can be found in [3, 9].

Now, we recall some basic definitions about the Sobolev spaces. Assume that \(\Omega\) is an open domain in \({\mathbb {R}}^d,\)
\(\rho =({\rho }_{1},\ldots ,{\rho }_{d})\) is an *d*-tuple of non-negative integers and \(|\rho |=\sum _{k=1}^{d} {\rho }_k.\) We set

and consider the following definition from [1].

###
**Definition 4**

Assume that \(1\le p \le \infty\) and *k* be a non-negative integer, the Sobolev space \(W_{p}^{k}(\Omega )\) is defined by

It is equipped with the following norm:

The Sobolev spaces \(W_p^k\) form a hierarchy of spaces for \(d=1\), in the sense that \(W_p^k(\Omega )\subset W_p^{k-1}(\Omega )\subset \cdots \subset W_p^0(\Omega )=L_p(\Omega )\).

In the special case \(p=2\), \(W_{2}^{k}(\Omega )\) is denoted by \(H^k (\Omega )\). This space is a Hilbert space for the inner product:

The *k*th order \(L_p\)-Sobolev semi-norm \(|f|_{k,L_{p}(\Omega )}\) is defined by

Clearly, for \(d=1\)

## MQ-RBF collocation method

Consider the fractional differential equation:

According to the RBF collocation method, the approximation of the unknown function *u*(*x*) may be written as a linear combination of MQ-RBF radial basis functions and the monomial basis for the vector space \(\mathbb {P}_1^{m-1}\). Thus

Using (9) and collocation points \(\{x_k\}_{k=0}^N\subset (0,1)\), Eq. (3) takes the following form:

where

To obtain the integral term in (10), we will transfer the integral interval \([0, x_k]\) to a fixed interval \([-1, 1]\) and then make use of some appropriate quadrature rules. Therefore, we make a simple linear transformation:

Then

where

Therefore, (10) becomes

Using a \((M+1)\)-point Gauss quadrature formula relative to the Legendre weights \(\{w_{\ell }\}_{\ell =1}^M\) gives

where the set \(\{\xi _\ell \}_{\ell =0}^M\) coincides with the Gauss–Legendre nodal points on \([-1,1]\).

To obtain approximate solution of (8) using the MQ-RBF collocation method, it is necessary that (8) be satisfied exactly by (9) at a set of collocation points \(\{x_k\}_{k=1}^N\):

By inserting (16) into the above equation, the numerical scheme (17) leads to a system of *N* linear equations in \(N+m\) unknowns. Therefore

To determine the unknown coefficients \(\{\lambda _j\}_{j=1}^N\) and \(\{\lambda _i^{'}\}_{i=0}^{m-1}\) to the *N* equations resulting from (18), an extra *m* equations are required. This is ensured by the *m* conditions (5) as

## Error estimate

The aim of this section is to provide an error estimate of the numerical scheme (18), where the MQ-RBF is conditionally positive definite of order \(m=1\), in the other words:

First, we state some lemmas and theorems, and then, we prove our main theorem. In this position for subsequent error analysis, we have to assume that \(\Omega \subseteq {\mathbb {R}}^d\) has Lipschitz boundary and the interior cone property. For simplicity, in the sequel, we will assume that \(\Omega =(-1,1)\).

To prove the error estimate for the proposed method, we need the generalized Hardy’s inequality and estimates for the interpolation error (see [4, 10]).

###
**Lemma 1**

(Generalized Hardy’s inequality) *For all measurable functions*
\(f\ge 0\), *the following generalized Hardy’s inequality*

*holds if and only if*

*for the case*
\(1<p\le q<\infty\). *Here,*
*T*
*is an operator of the form*

*with*
*k*(*x*, *t*) *a given kernel,*
*u*, *v*
*weight functions, and*
\(-\infty \le a<b\le \infty\).

###
**Lemma 2**

(Estimates for the interpolation error) *Let*
\(f\in H_q(\Omega )\)
*with*
\(q\ge 1\), \(x_j, 0\le j\le M\), *be the Gauss, or the Gauss*–*Radau, or the Gauss*–*Lobatto points relative to the Legendre weight*
\(w(x)\equiv 1\)
*and*
\(I_Mf\)
*denote the polynomial of degree*
*M*
*that interpolates*
*f*
*at one of these sets of points, namely*

*where*
\(\mathcal {L}_j\)
*is the*
*j*
*th Lagrange basis function. Then*

*with*
\(|f|_{H^{q,M}(\Omega )}=\Big (\sum _{k=\min \{q,M+1\}}^q \Vert \frac{{\rm d}^k f}{{\rm d} x^k}\Vert _{L_2(\Omega )}^2 \Big )^\frac{1}{2}.\)

In all the estimates contained in this chapter, *C* will denote a positive constant that depends upon the type of norm involved in the estimate, but which is independent of the function *u*, the integer *N*, *M*, and the diameter of the domain.

Yoon proposed \(L_p\) error estimates for the so-called “shifted surface splines” for functions *f* is the standard Sobolev spaces.

###
**Lemma 3**

(From [22]) *Let*
\(\mathcal {P}f(x)\)
*in* (4) *be an interpolant to*
*f*
*on*
\(\mathcal {X}\)
*using the basis function*
\(\varphi\)
*in* (7) *and*
*f*
*be a function in the native space*
\(\mathcal {F}_{\varphi }\). *Then, for every function*
\(f\in W_{2}^{m}\), *we have*

*where as before stated,*
\(\varphi\)
*is strictly conditionally positive definite of order m.*

###
**Theorem 1**

(From [22]) *Let*
\(\mathcal {P}f(x)\)
*in* (4) *be the interpolant to*
*f*
*using the “shifted” surface spline*
\(\varphi\). *Assume that the parameter*
*a*
*in the basis function*
\(\varphi\)
*in* (7) *is chosen to be proportional to*
*h*. *Then, there is a positive constant C, independent of*
\(\mathcal {X}\), *such that for every*
\(f\in W_2^m(\Omega )\cap W_\infty ^m(\Omega )\), *we have an error bound of the form:*

*with*

###
**Corollary 1**

*A function that is* (*strictly*) *conditionally positive definite of order m on*
\({\mathbb {R}}^d\)
*is also* (*strictly*) *conditionally positive definite of any higher order; therefore, Lemma*
3
*and Theorem*
1
*are satisfied for any*
\(\mu \ge m\).

###
**Theorem 2**

*Let*
\(u\in \mathcal {F}_\varphi\)
*be the exact solution of the fractional differential equation* (8) *and assume that the approximate solution*
\(\mathcal {P}u(x)\)
*is given by* (19). *If*
\(u\in W_{2}^{3}(\Omega )\cap W_{\infty }^{3}(\Omega )\), *then we have*

*where*
*h*
*is defined in* (20).

###
*Proof*

According to Losada and Nieto [18], Eq. (8) has a unique solution. We can rewrite (8) as

where \(\mu =\frac{1}{\gamma (1-\alpha )}\) and \(\tilde{f}(x)=\frac{f(x)}{\gamma }\). Therefore, the numerical solution (22) can be obtained using the MQ-RBF collocation method by (18). From (18) and (13), we have

which gives

where

It is worth mentioning that we can substitute \(\hat{u}(x_i)\) into \(u(x_i)\) using interpolation condition for \(1\le k\le N\). The system (23) can be rewritten in matrix form:

where \(s(x)=\int _0^{x} \exp \left( \frac{-\alpha (x-t)}{1-\alpha }\right) \hat{u}^{'}(t) {\rm d}t\). According to (6), we add \(\eta =m=1\) zero lines to (24), we obtain

where \(U=(u_k)_{k=1}^N\), \(\mathcal {S}=(s(x_{k}))_{k=1}^N\), \(\mathcal {F}=(\tilde{f}(x_k))_{k=1}^N\), \(\mathcal {Y}=(y(x_k))_{k=1}^N\) and \(O=(0)_{1 \times 1}\). Multiplying \({\left( { \begin{array}{ll} A&B\\ {{B^T}}&0 \end{array}} \right) ^{ - 1}} ({(\phi (x-x_j))_{N \times 1} \quad (\psi _1(x))_{1 \times 1}})\) on both sides of (25) yield

Let us suppose that *E*(*x*) is the error function, we have

Therefore, (26) becomes

It follows from (22)

which gives

Therefore

We rewrite (28) as follows:

where

consequently

We will obtain a suitable bound for each term of the right-hand side of (28).

It follows from \(L_2\) error bound (Theorem 1), the Sobolev norms and seminorms and Leibniz integral rule that

Using generalized Hardy’s inequality (Lemma 1) and Lemma 3 gives

Similarly, based on generalized Hardy’s lemma and Lemma 3, we have

From \(L_2\) error bound for (Theorem 1), we have

Now, we have

We may compute two upper bounds for \(|y(x)|_{1,L_2({\mathbb {R}})}\) and \(\Vert y(x)\Vert _{L_2(\Omega )}\). According to interpolation conditions by Lagrange basis functions, we can obtain a posterior bound for the Gauss–Legendre quadrature error of Caputo–Fabrizio fractional derivative:

It follows from generalized Hardy’s inequality (Lemma 1) and estimates for the interpolation error (Lemma 2) that

By setting \(q=1\), we obtain

Thus

From \(x\in (0,1)\), we may write

which gives

Using Lemma 3 and Corollary 1, we may write

Finally, we compute an upper bound for \(|y(x)|_{1,L_2(\Omega )}\) in a similar manner with (33) as

Therefore

It follows from (32)–(34) that

## Numerical experiments

In this section, we will use the MQ-RBF collocation method to solve Caputo–Fabrizio FDEs. These examples are considered, because exact solutions are available for them. All computations were performed on a running Mathematica software. We consider the MQ-RBF as (19) with shape parameter \(a=1\) for a good balance between accuracy and stability. In these experiments, we have used zeros of the shifted Legendre polynomials on (0, 1) as the centers of MQ-RBFs and the Gauss–Legendre quadrature method with \(M = 2N\). We tested the algorithm using various differential equations. All tests were performed with three different values for \(\alpha\), namely \(\alpha =0.1, 0.5\), and 0.9. In the following, we show a representative selection of our results.

###
*Example 1*

For our first example, we consider the fractional differential equation:

where

The exact solution is \(u(x)=x+\cos x.\)

Numerical results of MQ-RBF collocation method with several values of *N* and 40 digits precision are displayed in Fig. 1 and Table 1.

###
*Example 2*

For our second example, we consider the fractional differential equation:

where

The exact solution is \(u(x)=x \exp (x).\)

Numerical results of MQ-RBF collocation method with several values of *N* and 40 digit precision are displayed in Fig. 2 and Table 2.

As we know the accuracy of the approximation solution depends on the value of the number of centers *N*, the distances between them [2, 21]. Increasing the number of data points has a severe effect on the stability of the linear system. For a fixed *a*, the condition number of the matrix in the linear system grows exponentially as the number of data points is increased [21]. Numerical experiments indicate that we can obtain good numerical results with small *N* in a short time and the value of \(\alpha\) influences the error rate. According to concept of “effective condition number”, we can achieve good results with huge condition number using the arbitrary precision ability of the Mathematica software [17].

## Conclusion

In the present paper, MQ-RBF method for a Caputo–Fabrizio fractional-order ordinary differential equation was described. The error estimate was proved and numerical examples were presented. These results indicate that the desired accuracy is obtained and MQ-RBF collocation method is an effective method for solving the fractional-order ordinary differential equations. Radial basis functions in their usual form lead to the solution of an ill-conditioned system of equations. To avoid such limitation of radial basis function collocation schemes, we can explained by the concept of “effective condition number”.

## References

Adams, R.A., Fournier, J.F.: Sobolev Spaces. Elsevier Ltd, Amsterdam (2003)

Bayona, V., Moscoso, M., Kindelan, M.: Optimal constant shape parameter for multiquadric based RBF-FD method. J. Comput. Phys.

**230**, 73847399 (2011)Buhmann, M.D.: Radial Basis Functions: Theory and Implementations. Cambridge University Press, Cambridge (2003)

Canuto, C., Hussaini, M.Y., Quarteroni, A., Zang, T.A.: Spectral Methods, Fundamentals in Single Domains. Springer, Berlin (2006)

Caputo, M., Fabrizio, M.: A new definition of fractional derivative without singular kernel. Progr. Fract. Differ. Appl.

**1**, 73–85 (2015)Caputo, M., Fabrizio, M.: Damage and fatigue described by a fractional derivative model. J. Comput. Phys.

**293**, 400–408 (2014)Fakhr Kazemi, B., Ghoreishi, F.: Error estimate in fractional differential equations using multiquadratic radial basis functions. J. Comput. Appl. Math.

**245**, 133–147 (2013)Fasshauer, G.E.: Solving differential equations with radial basis functions: multilevel methods and smoothing. Adv. Comput. Math.

**11**, 139–159 (1999)Fasshauer, G.E.: Meshfree Approximation Methods with MATLAB, Interdisciplinary Mathematical Sciences. World Scientific Publishing Company, Singapore (2007)

Gogatishvili, A., Lang, J.: The generalized hardy operator with kernel and variable integral limits in Banach function spaces. J. Inequal. Appl.

**4**(1), 116 (1999)Hardy, R.L.: Theory and applications of the multiquadric-biharmonic method. 20 years of discovery 1968–1988. Comput. Math. Appl.

**19**(8–9), 163–208 (1990)Hon, Y.C., Cheung, K.F., Mao, X.Z., Kansa, E.J.: Multiquadric solution for shallow water equations. ASCE J. Hydraul. Eng.

**125**(5), 524–533 (1999)Jafari, H., Seifi, S.: Homotopy analysis method for solving linear and nonlinear fractional diffusion-wave equation. Commun. Non-linear Sci. Numer. Simul.

**14**(5), 2006–2012 (2009)Kansa, E.J.: Multiquadrics-a scattered data approximation scheme with applications to computational fluid-dynamics. I. Surface approximations and partial derivative estimates. Comput. Math. Appl.

**19**(8–9), 127–145 (1990)Kansa, E.J.: Multiquadrics-a scattered data approximation scheme with applications to computational fluid-dynamics. II. Solutions to parabolic, hyperbolic and elliptic partial differential equations. Comput. Math. Appl.

**19**(8–9), 147–161 (1990)Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier Science B.V, Amsterdam (2006)

Li, Z.-C., Lu, T.-T., Hu, H.-Y., Cheng, A.H.-D.: Trefftz and Collocation Method. WIT Press, Southampton (2008)

Losada, J., Nieto, J.J.: Properties of a new fractional derivative without singular kernel. Progr. Fract. Differ. Appl.

**1**, 87–92 (2015)Momani, S.: Analytical approximate solution for fractional heat-like and wavelike equations with variable coefficients using the decomposition method. Appl. Math. Comput.

**165**, 459–472 (2005)Podlubny, I.: Fractional Differential Equations. An Introduction to Fractional Derivatives, Fractional Differential Equations, to Methods of their Solution and Some of their Applications. Academic Press, Inc., San Diego (1999)

Sarra, S.A.: Radial basis function approximation methods with extended precision floating point arithmetic. Eng. Anal. Bound. Elem.

**35**, 6876 (2011)Yoon, J.: \(L_p\)-error estimates for “shifted” surface spline interpolation on Sobolev space. Math. Comput.

**72**(243), 1349–1367 (2003)Zerroukat, M., Power, H., Chen, C.S.: A numerical method for heat transfer problems using collocation and radial basis functions. Int. J. Numer. Methods Eng.

**42**, 1263–1278 (1998)

## Author information

### Authors and Affiliations

### Corresponding author

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

### Cite this article

Kazemi, B.F., Jafari, H. Error estimate of the MQ-RBF collocation method for fractional differential equations with Caputo–Fabrizio derivative.
*Math Sci* **11, **297–305 (2017). https://doi.org/10.1007/s40096-017-0232-2

Received:

Accepted:

Published:

Issue Date:

DOI: https://doi.org/10.1007/s40096-017-0232-2

### Keywords

- Fractional differential equations
- Caputo–Fabrizio derivative
- Multiquadric radial basis functions
- Native spaces