Abstract
In this paper, we develop a novel finite-difference scheme for the time-Caputo and space-Riesz fractional diffusion equation with convergence order \(\mathcal {O}(\tau ^{2-\alpha } + h^2)\). The stability and convergence of the scheme are analyzed by mathematical induction. Moreover, some numerical results are provided to verify the effectiveness of the developed difference scheme.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
With the development of science, it has been found that the fractional derivatives and fractional differential equations provide an excellent instrument for the description of memory and hereditary properties of various materials and processes. Therefore, they are widely used in the field of science and technology, such as the fields of control theory, biology, electrochemical processes, porous media, viscoelastic materials [7, 14, 15].
However, unfortunately, for most fractional differential equations, it is not an easy task to seek for their analytical solutions. For some simple linear equations, even if the analytic solutions are obtained, it is not convenient to calculate, because the analytic solutions contain some special functions. Therefore, it is essential to develop the effective numerical solutions of the fractional differential equations.
Since the numerical approximation of fractional derivatives is the most important step in numerical solutions of fractional differential equations, we first review the progress made in numerical approximation of fractional derivatives. As for the Caputo derivative, Gao et al. proposed a so-called \(L1-2\) formula with order \((3-\alpha )\) [8]. Using the different methods, Li et al. also got a numerical differential formula with convergence order \((3-\alpha )\) [11]. Later, Alikhanov proposed another \((3-\alpha )\)th order numerical differential formula at the superconvergence point \(t = t_{j+\sigma }\), and named it as the \({L2-1}\) formula [1]. Furthermore, Li et al. developed a series of high-order formulas using the rth (\(r\ge 4\) is a positive integer) degree interpolation function [9]. For approximating the Riesz fractional derivative, the first-order accurate normal/shifted Grünwald formula [13], second-order accurate weighted and shifted Grünwald by choosing the appropriate weight coefficients [16], second-order accurate fractional centered difference formula [3], and some other higher-order formulas [5, 6, 20] have been constructed. Based on the above mentioned and other approximation formulas, a tremendous amount of finite-difference methods for solving the fractional differential equations have been developed. For example, Cui constructed a compact finite-difference scheme with the temporal accuracy of first order and spatial accuracy of fourth order for the one-dimensional fractional diffusion equation in [2]. Wang and Vong [17] developed two high-order finite-difference schemes for the fractional modified anomalous subdiffusion equation and the diffusion-wave equation, respectively. Based on the fractional multistep methods in time and central difference formula in space, Zeng [19] proposed several finite-difference schemes for solving the time-fractional diffusion-wave equation.
In this paper, we propose a novel finite-difference scheme for the following time-Caputo and space-Riesz fractional diffusion equation:
Here, \(\,_{C}\mathrm {D}_{0,t}^\alpha u(x,t)\) denotes the Caputo derivative of order \(\alpha \in (0,1)\) and defined by [15]
and \(\displaystyle \frac{\partial ^\beta u(x,t)}{\partial |x|^\beta }\) is the Riesz derivative of order \(\beta \in (1,2)\) which is defined below [15],
where \(\,_{RL}\mathrm {D}_{a,x}^\beta\) denotes the left Riemann–Liouville derivative
and \(\,_{RL}\mathrm {D}_{x,b}^\beta\) is the right Riemann–Liouville derivative
This paper is organized as follows. In Sect. 2, based on a second-order accuracy approximation operator for the Riesz fractional derivative, we develop a finite-difference scheme for the time-Caputo and space-Riesz fractional diffusion equation. The stability and convergence analysis of the constructed scheme is studied in Sect. 3. Numerical results are provided in Sect. 4 to demonstrate the effectiveness of the numerical algorithm.
2 The Development of the Numerical Algorithm
Let \(h=\frac{L}{M}\) and \(\tau =\frac{T}{N}\) be the spatial and temporal stepsizes, respectively. Set \(x_j=jh~(0\le j\le M)\), \(t_k=n\tau ~(0\le k\le N)\). Denote
First, we introduce the following L1 formula [10, 14] to numerical treatment of the Caputo fractional derivative \(\,_{C}\mathrm {D}_{0,t}^\alpha u(t)\) at \(t=t_n\;(n=0,1,\ldots ,N)\):
where the weights are defined by
and which have the following properties.
Lemma 1
[12] Let\(b_k=(k+1)^{1-\alpha }-k^{1-\alpha },~k=0,1,2,\ldots\)and\(0<\alpha <1\). Then, one has
In [4], the authors constructed the following second-order numerical differential formula:
for the Riesz space fractional derivative, where the operators
and
Here, the coefficients
can be obtain by the novel generating function
Besides, we can also calculate the coefficients \(\kappa _{2,\ell }^{(\beta )}\) by the following recursive relations:
Next, we list the properties of the coefficients \(\kappa _{2,\ell }^{(\beta )}\)\((\ell =0,1,\ldots )\).
Lemma 2
[4] The coefficients\(\kappa _{2,\ell }^{(\beta )}\;(\ell =0,1,\ldots )\)have the following properties for\(1<\beta <2\):
- i)
\(\displaystyle \kappa _{2,0}^{(\beta )}=\left( \frac{3\beta -2}{2\beta }\right) ^{\beta }>0\), \(\displaystyle \kappa _{2,1}^{(\beta )}=\frac{4\beta (1-\beta )}{3\beta -2}\kappa _{2,0}^{(\beta )}<0\);
- ii)
\(\displaystyle \kappa _{2,2}^{(\beta )}=\frac{\beta (8\beta ^3-21\beta ^2+16\beta -4)}{(3\beta -2)^2} \kappa _{2,0}^{(\beta )}\). \(\kappa _{2,2}^{(\beta )}<0\)if\(\beta \in (1,\beta ^{*})\), while\(\kappa _{2,2}^{(\beta )}\ge 0\)if\(\beta \in [\beta ^{*},2)\), where\(\displaystyle \beta ^{*}=\frac{7}{8}+\frac{\root 3 \of {621+48\sqrt{87}}}{24}+\frac{19}{\root 3 \of {621+48\sqrt{87}}}\approx 1.533\,3\);
- iii)
\(\displaystyle \kappa _{2,\ell }^{(\beta )}\ge 0\)if\(\ell \ge 3\);
- iv)
\(\displaystyle \kappa _{2,\ell }^{(\beta )}\sim -\frac{\sin \left( \pi \beta \right) \varGamma (\beta +1)}{\pi }\ell ^{-\beta -1}\)as\(\ell \rightarrow \infty\);
- v)
\(\displaystyle \kappa _{2,\ell }^{(\beta )}\rightarrow 0\)as\(\ell \rightarrow \infty\);
- vi)
\(\displaystyle \sum \limits _{\ell =0}^{\infty }\kappa _{2,\ell }^{(\beta )}=0,\;\;\sum \limits _{\ell =0}^{m}\kappa _{2,\ell }^{(\beta )}<0,\;m\ge 2.\)
Now, we consider Eq. (1) at point \((x_j,t_k)\). For the space fractional derivative, we apply the second-order formula (3) to approximate the Riesz derivative for \(x\in (0,L)\), that is,
where
and
Finally, substituting (2) and (4) into (1), and omitting the high-order terms \(\mathcal {O}\left( \tau ^{2-\alpha }+h^2\right)\). Replacing the function \(u(x_j,t_n)\) with its numerical approximation value \(U_j^n\), we can obtain the following finite-difference scheme:
where \(q=\displaystyle \frac{\tau ^\alpha \varGamma (2-\alpha )}{2h^\beta \cos \left( \frac{\pi }{2}\beta \right) }\).
3 Stability and Convergence Analysis
In this section, the stability and convergence analysis of the above difference scheme are studied in detail.
3.1 Stability Analysis
From Lemma 2, we easily know that
Lemma 3
Under the condition
the coefficient \(\displaystyle \kappa _{2,2}^{(\beta )}\) satisfy
Theorem 1
Under the condition (6) and\(0<\alpha <1\), the finite-difference scheme for the time-Caputo and space-Riesz fractional diffusion equation (1) is unconditionally stable.
Proof
Let \(V_j^n\) be the exact solution of the finite-difference scheme (5). Denote \(\xi _j^n=V_j^n-U_j^n\), then we can obtain the following perturbation equation:
Below, we will discuss the stability of the numerical algorithm by mathematical induction. Denote
Note that Lemma 2, that is, \(\displaystyle \sum \limits _{\ell =0}^{m}\kappa _{2,\ell }^{(\beta )}<0\;(m\ge 2)\), then we have
Furthermore, let
and assuming that we have proved that \(\left\| E^k\right\| _\infty \le \left\| E^0\right\| _\infty\) for \(1\le k\le n-1.\) Then, we also know that
This ends the proof.
3.2 Convergence Analysis
Theorem 2
Denote by\(u(x_j,t_n)~(j=1,2,\ldots ,M-1;n=1,2,\ldots ,N)\)the exact solution of (1) at mesh point\((x_i,t_n)\), and let\(\{U_j^n\,|\,0\le j\le M, 0 \le n\le N\}\)be the solution of the finite-difference scheme (5). Define
then there exists a positive constantC, such that
under the condition (6) and\(0<\alpha <1.\)
Proof
Denote \({\varepsilon }^n=\left( \varepsilon _1^n,\varepsilon _2^n,\ldots ,\varepsilon _{M-1}^n\right) ^\mathrm{T}\). then it follows from (1) and (5) that
Here, the truncation error \(R_j^n\) satisfies
where \(\widetilde{C}\) is a non-negative constant.
Below, we give the convergence result using mathematical induction. First, for the case of \(n=1\), let
Then, one has
Using \(\varepsilon ^0=0\) and \(\left| R_{\ell }^1\right| \le \widetilde{C}(\tau ^{2}+\tau ^\alpha h^2)\), then there holds that
As the before, set
and
then we further have
Therefore, there exists a positive constant C, such that
This finishes the proof.
4 Numerical Examples
In this section, we apply the method proposed in this paper to solve the fractional partial differential equation. We obtain the numerical results and plot graphs for these problems with the help of MATLAB routines.
Example 1
Let us consider the following equation:
on a finite domain \(0 \le x \le 1, 0 \le t \le 1\) with a given force term
Its analytical solution is
Tables 1 and 2 list the maximum errors and convergence orders using the finite-difference scheme (5) at time \(t=1\) with different stepsizes. It is observed that the numerical convergence orders are consistent with our theoretical analysis. In addition, Figs. 1, 2, 3 and 4 compare the graphs of the exact and approximate solutions with different values of \(\alpha\), \(\beta\), \(\tau\), and h. The graphs show excellent agrement between the solutions.
Example 2
Consider the following equation:
where
The exact solution is
In Table 3, we list the maximum error for \(\beta =1.2,\;h=1/500\) and different values of \(\alpha\). In Table 4, we list the maximum error for \(\alpha =0.7,\;\tau =1/400\) and different values of \(\beta\). From these tables, we can conclude that the developed numerical solutions are in excellent agreement with the exact solution.
References
Alikhanov, A.A.: A new difference scheme for the time fractional diffusion equation. J. Comput. Phys. 280, 424–438 (2015)
Cui, M.R.: Compact finite difference method for the fractional diffusion equation. J. Comput. Phys. 228, 7792–7804 (2009)
Celik, C., Duman, M.: Crank–Nicolson method for the fractional diffusion equation with the Riesz fractional derivative. J. Comput. Phys. 231, 1743–1750 (2012)
Ding, H.F., Li, C.P.: High-order numerical algorithms for Riesz derivatives via constructing new generating functions. J. Sci. Comput. 71, 759–784 (2017)
Ding, H.F., Li, C.P., Chen, Y.Q.: High-order algorithms for Riesz derivative and their applications (I). Abstr. Appl. Anal. 2014, 17 (2014)
Ding, H.F., Li, C.P., Chen, Y.Q.: High-order algorithms for Riesz derivative and their applications (II). J. Comput. Phys. 293, 218–237 (2015)
Gorenflo, R., Mainardi, F.: Fractional calculus: integral and differential equations of fractional order. In: Carpinteri, A., Mainardi, F. (eds.) Fractals and Fractional Calculus in Continuum Mechanics, pp. 223–276. Springer, New York (1997)
Gao, G., Sun, Z., Zhang, H.: A new fractional numerical differentiation formula to approximate the Caputo fractional derivative and its applications. J. Comput. Phys. 259, 33–50 (2014)
Li, H.F., Cao, J.X., Li, C.P.: High-order approximation to Caputo derivatives and Caputo-type advection–diffusion equations(III). J. Comput. Appl. Math. 299, 159–175 (2016)
Langlands, T., Henry, B.: The accuracy and stability of an implicit solution method for the fractional diffusion equation. J. Comput. Phys. 205, 719–736 (2005)
Li, C.P., Wu, R.F., Ding, H.F.: High-order approximation to Caputo derivative and Caputo-type advection-diffusion equation(I). Commun. Appl. Ind. Math. 6(2), 1–32 (2014) (EC-536)
Lin, Y., Xu, C.J.: Finite difference/spectral approximations for the time-fractional diffusion equation. J. Comput. Phys. 225, 1533–1552 (2007)
Meerschaert, M.M., Tadjeran, C.: Finite difference approximations for fractional advection–dispersion flow equations. J. Comput. Appl. Math. 172, 65–77 (2004)
Oldham, K.B., Spanier, J.: The Fractional Calculus. Academic Press, New York (1974)
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Tian, W., Zhou, H., Deng, W.: A class of second order difference approximation for solving space fractional diffusion equations. Math. Comput. 84, 1703–1727 (2015)
Wang, Z., Vong, S.: Compact difference schemes for the modified anomalous fractional sub-diffusion equation and the fractional diffusion-wave equation. J. Comput. Phys. 277, 1–15 (2014)
Yuste, S.B., Acedo, L.: An explicit finite difference method and a new von Neumann-type stability analysis for fractional diffusion equations. SIAM J. Numer. Anal. 42, 1862–1874 (2005)
Zeng, F.H.: Second-order stable finite difference schemes for the time-fractional diffusion-wave equation. J. Sci. Comput. 65, 411–430 (2015)
Zhao, X., Sun, Z.Z., Hao, Z.P.: A fourth-order compact ADI scheme for two-dimensional nonlinear space fractional Schrödinger equation. SIAM J. Sci. Comput. 36, A2865–A2886 (2014)
Acknowledgements
The work was partially supported by the National Natural Science Foundation of China (no. 11561060).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Zhang, Y., Ding, H. Numerical Algorithm for the Time-Caputo and Space-Riesz Fractional Diffusion Equation. Commun. Appl. Math. Comput. 2, 57–72 (2020). https://doi.org/10.1007/s42967-019-00032-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s42967-019-00032-x