 Research
 Open Access
 Published:
An exponential Bspline collocation method for the fractional subdiffusion equation
Advances in Difference Equations volume 2017, Article number: 285 (2017)
Abstract
In this article, we propose an exponential Bspline approach to obtain approximate solutions for the fractional subdiffusion equation of Caputo type. The presented method is established via a uniform nodal collocation strategy by using an exponential Bspline based interpolation in conjunction with an effective finite difference scheme in time. The unique solvability is rigorously proved. The unconditional stability is well illustrated via a procedure closely resembling the classic von Neumann technique. A series of numerical examples are carried out, and by contrast to other algorithms available in the open literature, numerical results confirm the validity and superiority of our method.
Introduction
The basic concept of anomalous diffusion dates back to Richardson’s treatise on atmospheric diffusion in 1926 [1]. It has increasingly got recognition since the late 1960s within transport theory. In contrast to a typical diffusion, such a process no longer follows Gaussian statistics, then the classic Fick’s law fails to apply. Its most striking characteristic is the temporal powerlaw pattern dependence of the mean squared displacement [2], i.e., \(\chi^{2}(t)\sim\kappa t^{\alpha}\), for subdiffusion, \(\alpha<1\), while \(\alpha>1\) for superdiffusion. Anomalous transport behavior is ubiquitous in physical scenarios, and due to its universal mutuality, formidable challenges are introduced. In recent decades, fractional partial differential equations (PDEs) have entered public vision; they compare favorably with the usual models to characterize such transport motions in heterogeneous aquifer and the medium with fractal geometry [3, 4]. An explosive interest has been gained to investigate the theoretical properties, analytic techniques, and numerical algorithms for fractional PDEs [5–12].
As a model problem of the class of fractional PDEs described above, the fractional subdiffusion equation is considered here
subjected to the initial and boundary conditions
where \(0<\alpha<1\), κ is the positive viscosity constant, and \(\varphi(x)\), \(g_{1}(t)\), \(g_{2}(t)\) are the prescribed functions with sufficient smoothness. In Eq. (1.1), the timefractional derivative is defined in the Caputo sense, i.e.,
with Gamma function \(\Gamma(\cdot)\). Problem (1.1)(1.3) describes many natural phenomena and has widely been used in applications such as soft thin films, chemical reactions, optical fiber materials, and wave propagation [13–16].
There have been some works dedicated to developing numerical algorithms to obtain the solutions of Eqs. (1.1)(1.3) apart from a few analytic techniques that are not always available for general situations. Zhang and Liu derived an implicit difference scheme and proved that it is unconditionally stable [17]. Yuste and Acedo studied an explicit difference scheme based on the GrünwaldLetnikov formula [18]. Along the same line, a group of weighted average difference schemes were then obtained [19]. In [20], Cui raised a highorder compact difference scheme and its convergence was detailedly discussed; another similar approach was the compact scheme stated in [21] for the fractional subdiffusion equation with the Neumann boundary condition. In [22], an effective spectral method was constructed by using the common L1 formula in time and a Legendre spectral approximation in space. Later, this method was extended to the timespace case [23]. The finite element method was considered by Jiang and Ma [24]. The semidiscrete lump finite element method was studied by Jin et al. for a timefractional model with a nonsmooth righthand function [25]. Liu et al. described an implicit RBF meshless approach for the timefractional diffusion equation [26]. Li et al. suggested an adomian decomposition algorithm for the equations of the same type [27]. In [28], the authors solved such equations by employing a fully discrete direct discontinuous Galerkin method. Gao et al. proposed a new effective difference scheme with the Caputo derivative discretized by the L12 formula [29]. Recently, Luo et al. established a quadratic spline collocation method for the fractional subdiffusion equation [30], where the convergence under \(L^{\infty}\)norm was analyzed. Sayevand et al. gave a cubic Bspline collocation method [31], whose stability was provided. A cubic trigonometric Bspline collocation approach was conducted in [32], and a wavelet Galerkin method was studied in [33]. In [34], a SincHaar collocation method which uses the Haar operational matrix to convert the original problem into a set of linear algebraic equations via expanding the approximation as a truncated series based on Sinc and Haar functions was proposed.
In the present work, regarding the current interest in numerical algorithms for the fractional PDEs, we showcase a robust collocation method based on exponential Bspline trial functions to solve Eqs. (1.1)(1.3). The resultant algebraic system is proved to be strictly diagonally dominant, and therefore the unique solvability is ensured. A von Neumann like procedure is proceeded, and the system is shown to be unconditionally stable. Its codes are tested on five numerical examples and studied in contrast to other algorithms. The proposed method is highly accurate and calls for a lower cost to implement. This may make sense to treat the equations as the model we consider here with a long time range. The outline is as follows. In Section 2, we give a concise description of exponential Bspline trial basis, which will be useful hereinafter. In Section 3, we construct a fully discrete exponential Bspline approach on uniform meshes to discretize the model and prove that it is stable. The initial vector, which we require to start our method, is addressed in Section 4. To evaluate its accuracy, numerical examples are covered in Section 5.
Description of exponential spline functions
Let \(a=x_{0}< x_{1}< x_{2}<\cdots< x_{M1}<x_{M}=b\) be an equidistant spatial mesh on the interval \([a,b]\), and for \(M\in\mathbb{Z}^{+}\), denote
where p is a nonnegative value that is well assigned. The exponential splines are a kind of piecewise nonpolynomial functions that are known as a generalization of the semiclassical cubic splines. They are recognized as a continuum of interpolants ranging from the cubic splines to the linear cases [35]. Also, like the polynomial splines, a basis of exponential Bsplines is admitted and an advisable definition is the one introduced by McCartin [36], each of which is support on finite subsegments. On the above mesh together with another six ghost knots \(x_{j}\), \(j=3,2,1,M+1,M+2,M+3\), beyond \([a,b]\), the mentioned exponential Bsplines \(B_{j}(x)\), \(j=1,0,\ldots,M+1\), are given as follows:
where
The values of \(B_{j}(x)\) at each knot are given as
The values of \(B'_{j}(x)\) and \(B''_{j}(x)\) at each knot are given as
and
The set of \(B_{j}(x)\in C^{2}(\mathbb{R})\), \(j=1,0,\ldots,M+1\), are linearly independent and form an exponential spline space on the interval \([a,b]\). The nonnegative free p is termed as ‘tension’ parameter and \(p\rightarrow0\) yields cubic spline, whereas \(p\rightarrow\infty\) corresponds to the linear spline. The cubic spline interpolation causes extraneous inflexion points, while the exponential splines can produce coconvex interpolation and allow to remedy this issue.
An exponential Bspline collocation method
Let \(t_{n}=n\tau\), \(n=0,1,\ldots,N\), \(T=\tau N\), \(N\in\mathbb{Z}^{+}\), and \(x_{j}=a+jh\), \(j=1,0,\ldots,M+1\), \(h=(ba)/M\), \(M\in\mathbb{Z}^{+}\). On this timespace lattice, we set about deriving the desired exponential Bspline collocation method for Eqs. (1.1)(1.3).
Discretization of Caputo derivative
We recall the definitions of fractional derivatives. Given a smooth enough \(f(x,t)\), the αth Caputo derivative is defined by
and the αth RiemannLiouville type derivative is defined by
where \(m1<\alpha<m\), \(m\in\mathbb{N}\) is not less than 1. In common sense, (3.1) owns merits in handling the initialvalued problems, and thereby is utilized in time in most instances. (3.1), (3.2) interconvert into each other through
They are equal when \(f^{(k)}(x,0)=0\), \(k=0,1,\ldots,m1\), are fixed; we refer the readers to [15, 16] for deeper insight. An effective approximation for Caputo derivative can be derived by rewriting Eq. (3.3) and using proper schemes to discretize (3.2), i.e.,
with several sets of coefficients \(\omega^{q,\alpha}_{k}\), \(q=1,2,3,4,5\), (see [37]). Let \(\omega^{\alpha}_{k}=\omega^{1,\alpha}_{k}\). Then
in which case the scheme is the one given by Gorenflo et al. [38]. On imposing \(0<\alpha<1\), (3.4) simply reduces to
with the truncated error \(R_{q}(\tau)\) satisfying \(R_{q}(\tau)=O(\tau ^{q})\), \(q=1,2,3,4,5\).
Lemma 3.1
The coefficients \(\omega^{\alpha}_{k}\) defined in (3.5) fulfill

(a)
\(\omega^{\alpha}_{0}=1\), \(\omega^{\alpha}_{k}< 0\), \(\forall k\geq1\),

(b)
\(\sum_{k=0}^{\infty}\omega^{\alpha}_{k}=0\), \(\sum_{k=0}^{n1}\omega^{\alpha}_{k}>0\).
Proof
See references [15, 39] for details. □
A fully discrete exponential Bspline based scheme
Define \(V_{M+3}=\textrm{span}\{B_{1}(x),B_{0}(x),\ldots ,B_{M}(x),B_{M+1}(x)\}\) over the interval \([a,b]\) referred to as an \((M+3)\)dimensional exponential spline space. Then an approximate solution to Eqs. (1.1)(1.3) is sought on \(V_{M+3}\) in the form
with the unknown weights \(\{\alpha_{j}(t)\}_{j=1}^{M+1}\) yet to be determined by some certain restrictions. Discretizing Eq. (1.1) by using (3.6) in time, we have
Let \(\alpha^{n}_{j}=\alpha_{j}(t_{n})\). On replacing \(u(x,t)\) by \(u_{N}(x,t)\) and imposing the following collocation and boundary conditions
at each nodal point \(x_{j}\), \(j=0,1,\ldots,M\), we obtain
and the boundary sets
owing to (3.7) and (2.1)(2.3) with
where \(m=0,1,\ldots,n1\). As a result, using Eqs. (3.9)(3.10) to remove the unknown variables \(\alpha^{n}_{1}\), \(\alpha^{n}_{M+1}\) in Eq. (3.8) when \(j=0\), M, the above system admits a linear system of algebraic equations of size \((M+1)\times (M+1)\) as follows:
where
in which \(m=0,1,\ldots,n\) and \(d^{n}_{0}\), \(d^{n}_{M}\) are as follows:
The unknown weights \(\boldsymbol{\alpha}^{n}\) depend on \(\boldsymbol {\alpha}^{nk}\), \(k=0,1,\ldots,n\), at their previous time levels and are found via a recursive style; once \(\boldsymbol{\alpha}^{n}\) is obtained, \(\alpha ^{n}_{1}\), \(\alpha^{n}_{M+1}\) can further be determined with the help of Eqs. (3.9)(3.10). On the other hand, A is an \((M+1)\times(M+1)\) tridiagonal matrix, therefore the system can be performed by the wellknown Thomas algorithm, which simply needs the arithmetic operation cost \(O(M+1)\).
Initial state
In order to start Eq. (3.11), an appropriate initial vector \(\boldsymbol{\alpha}^{0}\) to the system is required. To this end, we employ the initial conditions
together with the collocation constraints
got via Eq. (1.2) explicitly to determine a unique initial vector \(\boldsymbol{\alpha}^{0}\) by
with the notations
In the same fashion, K is an \((M+1)\times(M+1)\) tridiagonal matrix, so the solution of Eq. (4.1) can also be computed by the Thomas algorithm.
Stability and solvability
In this section, we prove that Eqs. (3.11)(4.1) with the discrete coefficients \(\omega_{k}^{\alpha}\) are uniquely solvable and unconditionally stable. If \(\tilde{\alpha }^{n}_{j}\), \(n\geq1\), is a perturbed solution of Eq. (3.8), we shall study how the perturbation \(\rho^{n}_{j}=\alpha^{n}_{j}\tilde{\alpha }^{n}_{j}\), which solves
evolves over time, where \(Z^{0}_{j}\), \(Z^{nk}_{j}\) are the quantities like \(P^{0}_{j}\), \(P^{nk}_{j}\) with regard to the perturbation. Since the classic Fourier method does not work for Eq. (5.1), a fractional von Neumann procedure is employed to analyze its stability.
Lemma 5.1
System (3.11)(4.1) is uniquely solvable since its coefficient matrices A, K are strictly diagonally dominant.
Proof
Using \(p>0\) and the following Taylor’s expansions
it is easy to check \(sph>0\) and another similar inequality \(phcs>0\) by subtracting (5.2) from (5.3). In virtue of A, \(A'\), one gets
since \(2 {}\tau^{\alpha}\kappa p^{2}s+\omega^{\alpha}_{0}(sph) \leq2\tau ^{\alpha}\kappa p^{2}s+2\omega^{\alpha}_{0}(sph)\). Then the lemma is ascribed to \(sph< phcs\). Using (5.2)(5.3) again results in
Due to \((2k)!\times2<(2k)!\times(2k+1)\), \(k\geq1\), there exist
and \(A' 2 A >0\), which implies A is strictly diagonally dominant, so is K. Hence, Eqs. (3.11)(4.1) are uniquely solvable. The proof is completed. □
The stability analysis is proceeded as follows.
Theorem 5.1
System (3.11)(4.1) is unconditionally stable.
Proof
As the usual way, we investigate a single generic mode \(\rho^{k}_{j}=\zeta ^{k}_{\upsilon}\exp(\textrm{i}\upsilon jh)\) with \(\textrm{i}=\sqrt{1}\) and the wave number υ. Inserting it into Eq. (5.1) yields
where
by the aid of Euler’s formula \(\exp(\pm\textrm{i}\upsilon h)=\cos (\upsilon h)\pm\textrm{i}\sin(\upsilon h)\). Noticing that
and the inequalities
we obtain
with a nonnegative fixed quantity
not more than 1. To show \(\zeta^{n}_{\upsilon}\leq\zeta^{0}_{\upsilon}\), we use mathematical induction. As \(n=1\), by Eq. (5.4), we trivially have \(\zeta^{1}_{\upsilon}\leq\zeta^{0}_{\upsilon}\) since \(\omega^{\alpha}_{0}G\leq 1\). Assuming that
it follows from Lemma 3.1 that
which implies \(\zeta^{n}_{\upsilon}\leq\zeta^{0}_{\upsilon}\) due to \(G\leq 1\) and the assumptions (5.5). Hence, we realize that the perturbation remains bounded by its initial perturbation unconditionally at any time level. This proves what we require. □
Numerical experiments
In this part, we present a couple of numerical examples so as to gauge the practical performance of our proposed exponential Bspline collocation method. In the tests, we choose \(q=1\) except the fifth example. The computing errors are measured by
and letting \(\nu=2,\infty\), the convergent rates (Cov. rate) are computed by
For each problem, the free parameter p should be properly assigned because it has influence on the accuracy of exponential spline interpolation; due to the difficulty in theoretically evaluating its optimal value, numerically determining p is preferred in practice. The resulting algebraic equations are handled by the Thomas algorithm, and the numerical results may be compared with those obtained by other algorithms.
Example 6.1
Let \(a=0\), \(b=1\), and the initial boundary conditions \(\varphi(x)=0\), \(g_{1}(t)=0\), and \(g_{2}(t)=0\). The forcing term is given as
to enforce the exact solution \(u(x,t)=t^{\mu}x^{3}(1x)\). Taking \(\kappa =1\), \(\alpha=0.9\), \(\mu=2+\alpha\), Figure 1 describes the behavior of the global errors at \(t=1\) versus the variation of p with \(M=20\) and \(N=5\mbox{,}000\). As the figure shows, the optimal p for this problem is roughly located on \([5.1,5.9]\). Retaking \(p=5.16\), Table 1 reports the numerical results at \(t=1\) versus the variation of M with \(N=5\mbox{,}000\). It is obvious that our method is considerably robust and convergentwith secondorder in space as the grid is refined.
Example 6.2
Recalling the MittagLeffler function
endowed with \({^{C}_{0}}D^{\alpha}_{t}E_{\alpha}(\lambda t^{\alpha})=\lambda E_{\alpha}(\lambda t^{\alpha})\) [16], we consider Eqs. (1.1)(1.3) on the domain \([0,1]\) with
and the homogeneous forcing term. It is easy to verify that its exact solution takes the form \(u(x,t)=E_{\alpha}( t^{\alpha})\sin(\pi x/2)\) when \(\kappa=4/\pi^{2}\). Letting \(\alpha=0.3\) and \(p=1.52\), the numerical results at \(t=1\) in time with \(M=300\) are displayed in Table 2, while the corresponding results in space with \(N=5\mbox{,}000\) are tabulated in Table 3, where our method yields the convergent approximationswith the desirable accuracy.
Example 6.3
In this test, we consider a special case of \(\alpha=0.5\). Let \(a=0\), \(b=1\), \(\kappa=1\), \(\varphi(x)=\cos(6\pi x)\), \(g_{1}(t)=\textrm{erfcx}(36\pi^{2}\sqrt{t})\), \(g_{2}(t)=g_{1}(t)\), \(f(x,t)=0\), and the true solution (see [40])
where \(\operatorname{erfcx}(\cdot)\) is the scaled complementary error function given by
The computation is run with \(p=0.01\). Figure 2 describes the numerical solutions at different time compared to the exact solutions when \(M=100\), \(N=500\). As the graph shows, the exact and numerical solutions are in good agreement. Table 4 reports the global errors at \(t=1\), \(t=2\), and \(t=3\) with various M, N. It is visible that the collocation scheme (3.11)(4.1) well solve the test problem as we expected.
Example 6.4
Let \(\kappa=2\), \(\varphi(x)=0\), \(g_{1}(t)=0\), \(g_{2}(t)=g_{1}(t)\), and
we consider Eqs. (1.1)(1.3) on the domain \([0,1]\) solved by Eqs. (3.11)(4.1) and the cubic Bspline collocation method (CBSCM) [31]. The exact solution of the model is \(u(x,t)=t^{2}x(1x)\exp(x)\). In Figure 3, we display their absolute error distributions at \(t=1\) when \(\alpha=0.6\), \(M=50\), \(N=2\mbox{,}500\) by taking \(p=1.45\), 2.35, 2.53, and 3.35, respectively. In line with the graphs, we then choose \(p=2.53\) and show a comparison of their absolute errors at some nodal points detailedly in Table 5, where the accuracy of our method is found to be overall better than CBSCM. In Figure 4, we plot the global errors versus the variation of mesh size \(1/M\) in loglog scale, with \(\alpha=0.6\), \(p=2.53\), and \(N=11\mbox{,}000\), which demonstrates that the convergent rates of the presented method and CBSCM are all basically of order 2.
Example 6.5
In this test, we consider Eqs. (1.1)(1.3) with \(\kappa =1\) and the initialboundary conditions \(\varphi(x)=x^{3}\), \(g_{1}(t)=0\), and \(g_{2}(t)=1+t^{5}\) on the domain \([0,1]\). The forcing function is manufactured as
to enforce the exact solution \(u(x,t)=(1+t^{5})x^{3}\). The algorithm is first performed with \(\alpha=0.6\), \(p=2\), \(q=2,3,4\), and \(M=2\mbox{,}000\). The numerical results at \(t=1\) in time are tabulated in Table 6. Then, fixing \(q=3\) and \(N=1\mbox{,}000\), the corresponding results in space are detailedly reported in Table 7. As seen from these tables, our method can achieve the predicted convergent rates both intime and space.
Example 6.6
In the last test, we consider the fractional heat transfer problem on the domain \([0,1]\) with \(\kappa=1\), \(\varphi(x)=0\), \(g_{1}(t)=0\), and \(g_{2}(t)=H(t0.2)H(t0.6)\), where \(H(\cdot)\) denotes the Heaviside step function. As in [41], the heat flux at the boundary point \(x=0\) approximated by the forward difference is of particular interest, and the computed results are compared with the ones obtained by the implicit finite difference method in the literature. Taking \(p=1\), \(M=500\), \(N=125\), Figure 5 exhibits the heat flux at \(x=0\) changing over the time for \(\alpha=0.1\), 0.5, and 0.9. It is obvious that the results of these two methods are highly consistent, which reveals that our method precisely captures the heat flux.
Conclusion
In this research, an effective exponential Bspline collocation method is proposed to simulate the diffusion equation with a timefractional derivative in the Caputo sense. The resultant algebraic system is tridiagonal and it can rapidly be solved by the Thomas algorithm with low computing cost and storage. The unique solvability and unconditional stability of the fully discrete scheme with the temporal firstorder accuracy are rigorously discussed. The codes are studied on several numerical examples, and the reported results validate that this method is capable of dealing with these equations. The comparisons with CBSCM and the implicit difference scheme manifest its practicability and advantages. In addition, the method is easy and economical to implement, so it can serve as a good alternative to model other complex fractional problems.
References
 1.
Richardson, LF: Atmospheric diffusion shown on a distanceneighbour graph. Proc. R. Soc. A, Math. Phys. Eng. Sci. 110, 709737 (1926)
 2.
Metzler, R, Klafter, J: The random walk’s guide to anomalous diffusion: a fractional dynamics approach. Phys. Rep. 339, 177 (2000)
 3.
Adams, EE, Gelhar, LW: Field study of dispersion in a heterogeneous aquifer: 2. Spatial moments analysis. Water Resour. Res. 28, 32933307 (1992)
 4.
Nigmatullin, RR: The realization of the generalized transfer equation in a medium with fractal geometry. Phys. Status Solidi B 133, 425430 (1986)
 5.
Barkai, E: CTRW pathways to the fractional diffusion equation. Chem. Phys. 284, 1327 (2002)
 6.
Deng, WH: Numerical algorithm for the time fractional FokkerPlanck equation. J. Comput. Phys. 227(2), 15101522 (2007)
 7.
Gorenflo, R, Mainardi, F: Random walk models for spacefractional diffusion processes. Fract. Calc. Appl. Anal. 1, 167191 (1998)
 8.
Mainardi, F: The fundamental solutions for the fractional diffusionwave equation. Appl. Math. Lett. 9(6), 2328 (1996)
 9.
Meerschaert, MM, Tadjeran, C: Finite difference approximations for fractional advectiondispersion flow equations. J. Comput. Appl. Math. 172, 6577 (2004)
 10.
Momani, S, Odibat, Z: Numerical comparison of methods for solving linear differential equations of fractional order. Chaos Solitons Fractals 31(5), 12481255 (2007)
 11.
Povstenko, Y: Signaling problem for timefractional diffusionwave equation in a halfspace in the case of angular symmetry. Nonlinear Dyn. 59(4), 593605 (2010)
 12.
Zhuang, P, Liu, F, Anh, V, Turner, I: New solution and analytical techniques of the implicit numerical method for the subdiffusion equation. SIAM J. Numer. Anal. 46, 10791095 (2008)
 13.
Datsko, B, Gafiychuk, V, Podlubny, I: Solitary travelling autowaves in fractional reactiondiffusion systems. Commun. Nonlinear Sci. Numer. Simul. 23(1), 378387 (2015)
 14.
Kurzke, M: A nonlocal singular perturbation problem with periodic well potential. ESAIM Control Optim. Calc. Var. 12(1), 5263 (2006)
 15.
Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)
 16.
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
 17.
Zhuang, PH, Liu, FW: Implicit difference approximation for the time fractional diffusion equation. J. Comput. Appl. Math. 22(3), 8799 (2006)
 18.
Yuste, SB, Acedo, L: An explicit finite difference method and a new von Neumanntype stability analysis for fractional diffusion equations. SIAM J. Numer. Anal. 42(5), 18621874 (2005)
 19.
Yuste, SB: Weighted average finite difference methods for fractional diffusion equations. J. Comput. Phys. 216, 264274 (2006)
 20.
Cui, MR: Compact finite difference method for the fractional diffusion equation. J. Comput. Phys. 228(20), 77927804 (2009)
 21.
Ren, JC, Sun, ZZ, Zhao, X: Compact difference scheme for the fractional subdiffusion equation with Neumann boundary conditions. J. Comput. Phys. 232(1), 456467 (2013)
 22.
Lin, YM, Xu, CJ: Finite difference/spectral approximations for the timefractional diffusion equation. J. Comput. Phys. 225(2), 15331552 (2007)
 23.
Li, XJ, Xu, CJ: A spacetime spectral method for the time fractional diffusion equation. SIAM J. Numer. Anal. 47, 21082131 (2009)
 24.
Jiang, YJ, Ma, JT: Highorder finite element methods for timefractional partial differential equations. J. Comput. Appl. Math. 235(11), 32853290 (2011)
 25.
Jin, BT, Lazarov, R, Pasciak, J, Zhou, Z: Error analysis of semidiscrete finite element methods for inhomogeneous timefractional diffusion. IMA J. Numer. Anal. 35, 561582 (2015)
 26.
Liu, Q, Gu, YT, Zhuang, PH, Liu, FW, Nie, YF: An implicit RBF meshless approach for time fractional diffusion equations. Comput. Mech. 48(1), 112 (2011)
 27.
Li, CP, Wang, YH: Numerical algorithm based on Adomian decomposition for fractional differential equations. Comput. Math. Appl. 57, 16721681 (2009)
 28.
Huang, CB, Yu, XJ, Wang, C, Li, ZZ, An, N: A numerical method based on fully discrete direct discontinuous Galerkin method for the time fractional diffusion equation. Appl. Math. Comput. 264, 483492 (2015)
 29.
Gao, GH, Sun, ZZ, Zhang, HW: A new fractional numerical differentiation formula to approximate the Caputo fractional derivative and its applications. J. Comput. Phys. 259(2), 3350 (2014)
 30.
Luo, WH, Huang, TZ, Wu, GC, Gu, XM: Quadratic spline collocation method for the time fractional subdiffusion equation. Appl. Math. Comput. 276, 252265 (2016)
 31.
Sayevand, K, Yazdani, A, Arjang, F: Cubic Bspline collocation method and its application for anomalous fractional diffusion equations in transport dynamic systems. J. Vib. Control 22, 21732186 (2016)
 32.
Yaseen, M, Abbas, M, Ismail, AI, Nazir, T: A cubic trigonometric Bspline collocation approach for the fractional subdiffusion equations. Appl. Math. Comput. 293, 311319 (2017)
 33.
Heydari, MH: Wavelets Galerkin method for the fractional subdiffusion equation. J. Comput. Nonlinear Dyn. 11(6), 061014 (2016)
 34.
Pirkhedri, A, Javadi, HHS: Solving the timefractional diffusion equation via SincHaar collocation method. Appl. Math. Comput. 257, 317326 (2015)
 35.
McCartin, BJ: Theory, computation, and application of exponential splines. Courant Mathematics and Computing Laboratory Research and Development Report DOE/ER/03077171, New York (1981)
 36.
McCartin, BJ: Theory of exponential splines. J. Approx. Theory 66(1), 123 (1991)
 37.
Chen, MH, Deng, WH: Fourth order difference approximations for space RiemannLiouville derivatives based on weighted and shifted Lubich difference operators. Commun. Comput. Phys. 16(2), 516540 (2014)
 38.
Gorenflo, R, Mainardi, F, Moretti, D, Paradisi, P: Time fractional diffusion: a discrete random walk approach. Nonlinear Dyn. 29(14), 129143 (2002)
 39.
Deng, WH, Chen, MH, Barkai, E: Numerical algorithms for the forward and backward fractional FeynmanKac equations. J. Sci. Comput. 62(3), 718746 (2015)
 40.
Brunner, H, Ling, L, Yamamoto, M: Numerical simulations of 2D fractional subdiffusion problems. J. Comput. Phys. 229(18), 66136622 (2010)
 41.
Murio, DA: Implicit finite difference approximation for time fractional diffusion equations. Comput. Math. Appl. 56(4), 11381145 (2008)
Acknowledgements
The authors are thankful to the referees for the constructive comments and suggestions. This research was supported by the National Natural Science Foundation of China (Nos. 11471262 and 11501450).
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to this article. All authors read and approved the final article.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Zhu, X., Nie, Y., Yuan, Z. et al. An exponential Bspline collocation method for the fractional subdiffusion equation. Adv Differ Equ 2017, 285 (2017). https://doi.org/10.1186/s1366201713286
Received:
Accepted:
Published:
Keywords
 fractional subdiffusion equation
 exponential Bspline collocation method
 unique solvability
 unconditional stability