Abstract
A Crank-Nicolson-type difference scheme is presented for the spatial variable coefficient subdiffusion equation with Riemann-Liouville fractional derivative. The truncation errors in temporal and spatial directions are analyzed rigorously. At each time level, it results in a linear system in which the coefficient matrix is tridiagonal and strictly diagonally dominant, so it can be solved by the Thomas algorithm. The unconditional stability and convergence of the scheme are proved in the discrete \(L_{2}\) norm by the energy method. The convergence order is \(\min \{2-\frac{\alpha}{2}, 1+\alpha \}\) in the temporal direction and two in the spatial one. Finally, numerical examples are presented to verify the efficiency of our method.
Similar content being viewed by others
1 Introduction
In recent years, fractional differential equations have captured great attention of research in different domains. This facts reflect the ability of fractional calculation to describe many phenomena in different disciplines such as semiconductors, mechanics, signal processing, porous media, anomalous diffusion, and so on [1–6]. Employing fractional derivatives to describe the procedure of anomalous diffusion, we get the time fractional subdiffusion equation [2, 7, 8]:
where \({}_{0} \mathcal{D}_{t}^{1-\alpha}\) (\(0<\alpha<1\)) denotes the Riemann-Liouville fractional derivative operator defined as
Some researchers considered the similar form with Caputo derivative:
where \({}_{0}^{C} \mathcal{D}_{t}^{\alpha}\) denotes Caputo’s derivative operator defined by
We have the following relation between the Caputo and Riemann-Liouville fractional derivatives.
Let \(y(t)\) be an \((m-1)\) times continuously differentiable function in the interval \([0,T]\) with \(y^{(m)}(t)\) integrable in \([0,T]\). For every p, if \(0\leq m-1\leq p \leq m\), then the Riemann-Liouville fractional derivative \({}_{0} \mathcal {D}_{t}^{p} y(t)\) exists, and the following equality holds [1]:
Much remarkable work has been done theoretically for diffusion and fractional problems [9–11]. Marin and Marinescu [10] studied the asymptotic partition of total energy for the solutions of the mixed initial boundary value problem within the context of the thermoelasticity of initially stressed bodies, and Hameed et al. [11] derived and analyzed a mathematical model subject to low Reynolds number and long wavelength approximations in order to study the peristaltic motion of fractional second-grade fluid in a vertical tube. In the regard of numerical work for time-fractional diffusion equations, Langlands and Henry [12] obtained an implicit numerical method for the homogeneous problem and discussed the accuracy and stability of their scheme. Zhuang et al. [13] integrated the linear and nonlinear subdiffusion equations about the time variable t and then approximated the obtained equivalent equations numerically with the idea of numerical integrals. Yuste and Acedo [14] developed an explicit scheme and gave a strict proof of the stability of the explicit scheme, and then Yuste [15] analyzed the weighted average finite difference scheme by the von Neumann method.
One main approximation approach to a discrete analog of the time-fractional derivative is an \(L_{1}\) formula. Sun and Wu [16] first derived a fully discrete difference scheme employing the \(L_{1}\) approximation, where the truncation error was proved to be of order \(2-\alpha\) in temporal accuracy. Lin and Xu [17] constructed an effective numerical method by employing the finite difference scheme in time and using the Legendre spectral methods in space. Chen et al. [18] gave an implicit numerical scheme for the problem and proved the unconditional stability and \(L_{2}\)-norm convergence. Gao and Sun [19] applied the \(L_{1}\) formula to approximate the Caputo time-fractional derivative and developed a compact finite difference scheme to promote the spatial accuracy for the fractional subdiffusion equation. They obtained the fourth-order convergence rate in spatial direction. Another main way to a discrete analog of the fractional derivative is the shifted Grünwald-Letnikov formula. Very recently, Deng’s group [20, 21] has presented a high-order discrete analog of the space-fractional derivative by assembling the shifted GL operator with different weights.
The Crank-Nicolson difference scheme is a classical method for difference approximation. The works employing the CN method for fractional problems constantly emerge. Zhang et al. [22] presented a Crank-Nicolson-type difference scheme for a subdiffusion equation with Riemann-Liouville fractional derivative, where the discrete \(H_{1}\) norm convergence was proved rigorously, and the maximum norm error estimate was given. Based on a Crank-Nicolson-type discretization, Wang and Vong [23] proposed a second-order accuracy formula to approximate the time-fractional derivative and established a compact finite difference scheme for solving the modified anomalous fractional subdiffusion equation. For more applications of the Crank-Nicolson scheme, we refer the reader to [24–26].
The works we listed are mostly focused on the subdiffusion equation with constant coefficient. However, many practical applications involved variable diffusion coefficients [27–29]. For example, the flow of heat in a rod is constituted by composite heat-conducting materials, which means that the diffusion coefficient may vary with space variable. In view of some external heat source, Zhao [30] considered the Caputo-fractional subdiffusion equation with spatially variable coefficient:
Employing an \(L_{1}\) formula, she obtained the convergence of order \(2-\alpha\) in the temporal direction and fourth-order approximation order in space. Vong et al. [31] considered the same equation under Neumann boundary conditions and obtained the global convergence of order \(O(\tau^{2-\alpha}+h^{4})\). Metzler et al. [32] suggested the following fractional model equation for anomalous diffusion:
where \(P(r,t)\) is the probability density of random walks on fractals, \(d_{w}>2\) is the anomalous diffusion exponent, \(d_{s}\) is just the spectral dimension of the fractal, and \(d_{s}=\frac{2d_{f}}{d_{w}}\) with \(d_{f}\) denoting fractal dimension of the underlying object. Employing (5) and neglecting the coefficient \(\frac{1}{r^{d_{s}-1}}\) (which has no impact on difference approximation), (7) can be transformed into equation (6).
If \(u(x,t)\) is suitably smooth in time, then we have the following relationship [1, 33]:
Therefore, implementing the operator \({}_{0} \mathcal{D}_{t}^{1-\alpha}\) on both sides of (6), we derive the following Riemann-Liouville fractional subdiffusion equation with spatially variable coefficient:
where \(f(x,t)={}_{0} \mathcal{D}_{t}^{1-\alpha}g(x,t)\).
From the preceding discussion we see that equation (9) is a more general form. In this paper, we consider the difference scheme of (9). As far as we know, the difference scheme for this equation has not been proposed by now. In the present work, we establish a Crank-Nicolson-type difference scheme for the spatial variable coefficient problem (9) by the discrete Riemann-Liouville fractional derivative with \(L_{1}\) formula. The CN-type scheme results in a linear system in which the coefficient matrix is tridiagonal and strictly diagonally dominant, so the Thomas algorithm suits.
The content of this paper is organized as follows. In Section 2, we introduce essential notation and some preliminary lemmas and then construct the Crank-Nicolson-type finite difference scheme. The unique solvability, unconditional stability, and the \(L_{2}\)-norm convergence are proved in Section 3 by the energy method. Some examples are listed in Section 4 to verify our theoretical analysis and testify the validation of our difference scheme. Finally, a brief conclusion ends this work.
2 Derivation of a CN-type difference scheme
Consider the following subdiffusion equation with spatially variable coefficient combined with initial boundary value conditions:
where \(0<\alpha<1\), and we suppose that \(c_{1}\leq\varphi(x)\leq c_{2}\) and \(\varphi(x)\), \(f(x,t)\), \(\varPhi _{1}(t)\), \(\varPhi _{2}(t)\), \(\varPsi (x)\) are sufficiently smooth functions.
For a finite difference approximation, we suppose that M and N are two positive integers and let \(h=\frac{L}{M}\) and \(\tau=\frac{T}{N}\) be space and temporal step lengths, respectively. Define \(x_{i}=ih\), \(0\leq i\leq M\), \(t_{n}=n\tau\), \(0\leq n\leq N\), \(\varOmega _{h}=\{x_{i} \mid 0\leq i\leq M\}\), \(\varOmega _{\tau}=\{t_{n} \mid 0\leq n\leq N\}\), and, in addition, \(t_{k-\frac{1}{2}}=(k-\frac{1}{2})\tau\), \(x_{i-\frac{1}{2}}=(i-\frac{1}{2})h\).
For any grid function \(u=\{u_{i}^{n}\mid 0\leq i\leq M, 0\leq n \leq N\}\), we denote
The following lemmas are needed for our error analysis.
Lemma 1
[16]
For \(0<\alpha<1\) and \(y\in C^{2}[0,t_{n}]\), we have:
where \(a_{k}=(k+1)^{\alpha}-k^{\alpha}\), and for \(s\in(t_{k-1},t_{k})\),
Furthermore,
Lemma 2
[34]
Let \(y\in C^{3}[t_{k-1},t_{k}]\). Then
Now we define the grid function \(U_{i}^{n}=u(x_{i},t_{n})\), \(0\leq i\leq M\), \(0\leq n\leq N\), and, in addition, denote \(\varphi(x_{i+\frac{1}{2}})\) by \(\varphi_{i+\frac{1}{2}}\).
Lemma 3
Suppose \(u\in C^{4} [x_{i},x_{i+1} ]\). Then
Proof
Employing the Taylor expansion with integral remainder, we have:
Then subtracting these two equalities, we get the first statement. The proofs of the other two are similar by using an expansion of higher order. □
Now we analyze the truncation error of the \(L_{1}\) analog for the Riemann-Liouville fractional derivative.
Lemma 4
Let \(u(x,t)\in C^{4,2}([0,L]\times[0,T])\), \(\varphi(x)\in C^{1}[0,L]\). Then for the truncation error, we have:
where \((R_{1})_{i}^{n}=(R_{11})_{i}^{n}+(R_{12})_{i}^{n}\), and
Proof
Let \({}_{0} \mathcal{D}_{t}^{1-\alpha}u=w\) and \(W_{i}^{n}=w(x_{i},t_{n})\). Then
It follows from Lemma 3 that
where \(\xi\in [x_{i-1},x_{i+1} ]\). So we have
where
It follows from (15) and (5) that
Using similar analysis and applying Lemma 3 again, we get
Applying (17) and the last equality, it is not hard to get
The proof is completed. □
We now construct a Crank-Nicolson-type scheme for problem (10)-(12). Considering equality (11) at the point \((x_{i},t_{n})\), we have
Then
From Lemma 2 we obtain
where
It follows from Lemma 4 that
Denoting \(U_{i}^{n-\frac{1}{2}}=\frac{1}{2}(U_{i}^{n}+U_{i}^{n-1})\) and \(\delta_{x}(\varphi\delta_{x} U)_{i}^{n-\frac{1}{2}}=\frac{1}{2} [\delta _{x}(\varphi\delta_{x} U)_{i}^{n}+\delta_{x}(\varphi\delta_{x} U)_{i}^{n-1} ]\) and noticing that
we have
Substituting (40) and (36) into (35), we have
where \((R)_{i}^{n}=(R_{1})_{i}^{n-\frac{1}{2}}-(R_{2})_{i}^{n}\), \(1\leq i\leq M-1\), \(2\leq n\leq N\).
When \(n=1\), using equality (34) at the point \((x_{i},t_{1})\) and employing the Taylor expansion, we have
where
Using Lemma 4, we arrive at
where
By the previous analysis there exists a constant C, independent of h and τ, satisfying
The initial and boundary conditions can be written as
Ignoring the truncation errors \(R_{i}^{n}\) in (41) and \(R_{i}\) in (44) and replacing the grid function \(U_{i}^{n}\) with its numerical analog \(u_{i}^{n}\), we arrive at the following difference scheme:
It is easy to see that, at each time level, the difference scheme (49)-(52) is a tridiagonal system with strictly diagonal dominant coefficient matrix, and thus the difference scheme has a unique solution, and the Thomas algorithm suits.
3 Analysis of stability and convergence of the CN-type difference scheme
3.1 Stability
Now we introduce necessary notation and lemmas, which will be used in the analysis of stability and convergence.
Define the grid function space \(\mathcal{S}_{h}=\{u\mid u=(u_{0},u_{1},\ldots ,u_{M}), u_{0}=u_{M}=0\}\) on \(\varOmega _{h}\). For any \(v, w\in\mathcal{S}_{h}\), we define the discrete inner products and corresponding norms as follows:
Considering the smoothness of \(\varphi(x)\), it is not hard to get
Lemma 5
[35]
For any grid function \(u\in\mathcal{S}_{h}\),
We have the following properties of \(a_{n}\).
Lemma 6
where \(\hat{a}_{n-1}=\frac{1}{2}[\alpha n^{\alpha-1}+\alpha{(n-1)}^{\alpha-1}]-a_{n-1}\).
Proof
Noticing that \(a_{n}=\alpha\int_{n}^{n+1}x^{\alpha-1}\,dx\) and \(x^{\alpha -1}\) is a strictly convex and decreasing function, the first three relations hold.
From inequalities (54)-(56) we have
and
so that (57) holds. □
We now give the proof of the stability of the difference scheme (49)-(52) with respect to the initial value \(u_{i}^{0}\) and the inhomogeneous term f. We denote
and
Theorem 1
Let \(u_{i}^{m}\), \(0\leq i\leq M\), \(1\leq m\leq N\), be a solution of the finite difference scheme (49)-(52) with \(\varPsi _{1}=\varPsi _{2}=0\). Then we have
Proof
Taking the inner product of (49) with \(u^{n-\frac{1}{2}}\), we have
Noticing that
and using the discrete Green formula and zero boundary conditions for every term in the right-hand side, we obtain
Applying the Cauchy-Schwarz inequality, we have
Letting \(\frac{\tau^{r-1}}{\varGamma (1+r)}=I\), we have
From (57) we know that
Summing up for \(2\leq n\leq m\) and changing the summation order in the third term of the right-hand side, we get
Using the Cauchy inequality, (53), and Lemma 1, we have
Substituting (67) into (66), we have
Taking the inner product of (50) with \(u^{n-\frac{1}{2}}\), we have
so that
Substituting (69) into (68) and using the Cauchy-Schwarz inequality again, we arrive at
Noticing that \(a_{m-n}>a_{m-1}>\alpha m^{\alpha-1}>\alpha N^{\alpha -1}\), we have
Then, substituting (71) into (70), we get (61) for \(2\leq m\leq N\), and (61) for \(m=1\) is obvious. So the proof is completed. □
3.2 Convergence
We now consider the convergence of the difference scheme (49)-(52). Let
Subtracting (49)-(52) from (41)-(44) and (47)-(48), we get the equations for the error:
Then from Theorem 1 we have
Letting
we have the convergence in the \(L_{2}\) norm.
Theorem 2
Suppose that problem (10)-(12) has a smooth solution \(u(x,t)\) in the domain \([0,L]\times[0,T]\) and \(u_{i}^{n}\), \(0\leq i\leq M\), \(1\leq n\leq N\), is a solution of the difference scheme (49)-(52). Then
Remark
The Crank-Nicolson-type scheme involves two time levels for a Riemann-Liouville fractional subdiffusion equation with spatially variable coefficient. Therefore, we actually used recursion method to handle the analysis of stability. Then we get the convergence, and the convergence order in spatial direction is just two. It is difficult to improve the space accuracy by introducing a compact technique.
4 Numerical examples
In this section, we give two examples to testify the efficiency and convergence orders of our difference scheme.
Example 1
Consider the following problem with zero initial value:
The exact solution is \(u(x,t)=e^{x}t^{2+\alpha}\).
Let
We solve problem (80)-(82) with the Crank-Nicolson-type scheme (49)-(52). Fixing the spatial step \(h=1/1\text{,}000\) and taking different temporal steps, Table 1 presents the maximum \(L_{2}\) norm errors and convergence orders of our schemes; fixing the temporal step \(\tau =1/10\text{,}000\) and taking different spatial steps, Table 2 presents the \(L_{2}\) norm errors and convergence orders in spatial direction. In both cases, we take α to be \(1/3\), \(1/2\), \(2/3\). The results show that the Crank-Nicolson-type scheme has accuracy of order \(1+\alpha\) in the temporal direction and order 2 in the spatial direction.
Example 2
Now we give a problem with nonzero initial value:
The exact solution is \(u(x,t)=\cos(\pi x) (t^{3+\alpha}+1 )\). We solve problem (83)-(85) with the Crank-Nicolson-type scheme (49)-(52) and present the numerical results in Tables 3 and 4. The results show that our scheme is still efficient for nonzero initial value problems. In Figures 1 and 2, we plot surface figures of the error (\(|u(x_{i},t_{n})-u_{i}^{n}|\)) with different mesh sizes when \(\alpha =0.1\), 0.9. These figures show that the maximum error becomes relatively smaller as the mesh size becomes smaller, which provides the validation of our results once more.
5 Conclusion
In this paper, we have presented a Crank-Nicolson-type difference scheme for the Riemann-Liouville fractional spatial variable coefficient subdiffusion equation. Based on the Crank-Nicolson technique and \(L_{1}\) formula on the temporal direction, we proved that our difference scheme is unconditionally stable with respect to the initial value and the inhomogeneous term, and the numerical solution is convergent in the discrete \(L_{2}\) norm. The convergence order is \(\min \{2-\frac{\alpha}{2},1+\alpha \}\) in the temporal direction and two in the spatial direction. This scheme results in a linear system in which the coefficient matrix is a tridiagonal and strictly diagonally dominant, so it can be solved by the Thomas algorithm. Two numerical examples are given to show the efficiency of the method. It is meaningful to construct a second-order difference scheme of this type, which will be our work in the future.
References
Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)
Metzler, R, Klafter, J: The random walk’s guide to anomalous diffusion: a fractional dynamics approach. Phys. Rep. 339, 1-77 (2000)
Awotunde, AA, Ghanam, RA, Tatar, N-e: Artificial boundary condition for a modified fractional diffusion problem. Bound. Value Probl. 2015, 20 (2015)
Zhang, L, Li, S: Regularity of weak solutions of the Cauchy problem to a fractional porous medium equation. Bound. Value Probl. 2015, 28 (2015)
Povstenko, Y, Klekot, J: The Dirichlet problem for the time-fractional advection-diffusion equation in a line segment. Bound. Value Probl. 2016, 89 (2016)
Wu, J, Zhang, X, Liu, L, Wu, Y: Twin iterative solutions for a fractional differential turbulent flow model. Bound. Value Probl. 2016, 98 (2016)
Balakrishnan, V: Anomalous diffusion in one dimension. Physica A 132, 569-580 (1985)
Schneider, WR, Wyss, W: Fractional diffusion and wave equations. J. Math. Phys. 30, 134-144 (1989)
Marin, M: Some basic theorems in elastostatics of micropolar materials with voids. J. Comput. Appl. Math. 70, 115-126 (1996)
Marin, M, Marinescu, C: Thermoelasticity of initially stressed bodies, asymptotic equipartition of energies. Int. J. Eng. Sci. 36(1), 73-86 (1998)
Hameed, M, Khan, AA, Ellahi, R, Raza, M: Study of magnetic and heat transfer on the peristaltic transport of a fractional second grade fluid in a vertical tube. Eng. Sci. Technol. Int. J. 18(3), 496-502 (2015)
Langlands, TAM, Henry, BI: The accuracy and stability of an implicit solution method for the fractional diffusion equation. J. Comput. Phys. 205, 719-736 (2005)
Zhuang, P, Liu, F, Anh, V, Turner, I: New solution and analytical techniques of the implicit numerical method for the anomalous subdiffusion equation. SIAM J. Numer. Anal. 46, 1079-1095 (2008)
Yuste, SB, 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)
Yuste, S: Weighted average finite difference methods for fractional diffusion equations. J. Comput. Phys. 216, 264-274 (2006)
Sun, ZZ, Wu, XN: A fully discrete difference scheme for a diffusion-wave system. Appl. Numer. Math. 56, 193-209 (2006)
Lin, X, Xu, C: Finite difference/spectral approximations for the time-fractional diffusion equation. J. Comput. Phys. 225, 1533-1552 (2007)
Chen, CM, Liu, F, Turner, I, Anh, V: A Fourier method for the fractional diffusion equation describing subdiffusion. J. Comput. Phys. 227, 886-897 (2007)
Gao, GH, Sun, ZZ: A compact difference scheme for the fractional subdiffusion equations. J. Comput. Phys. 230, 586-595 (2011)
Tian, WY, Zhou, H, Deng, WH: A class of second order difference approximations for solving space fractional diffusion equations. Math. Comput. 84, 1703-1727 (2015)
Li, C, Deng, WH: Second order WSGD operators II: a new family of difference schemes for space fractional advection diffusion equation (2013). arXiv:1310.7671v1 [math.NA]
Zhang, YN, Sun, ZZ, Wu, HW: Error estimates of Crank-Nicolson type difference schemes for the subdiffusion equation. SIAM J. Numer. Anal. 49, 2302-2322 (2011)
Wang, Z, Vong, S: Compact difference schemes for the modified anomalous fractional subdiffusion equation and the fractional diffusion-wave equation. J. Comput. Phys. 277, 1-15 (2014)
Wang, D, Xiao, A, Yang, W: Crank-Nicolson difference scheme for the coupled nonlinear Schrödinger equations with the Riesz space fractional derivative. J. Comput. Phys. 242, 670-681 (2013)
Zhao, X, Sun, ZZ: Compact Crank-Nicolson schemes for a class of fractional Cattaneo equation in inhomogeneous medium. J. Sci. Comput. 62(3), 747-771 (2014)
Sweilam, NH, Moharram, H, Moniem, NKA, Ahmed, S: A parallel Crank-Nicolson finite difference method for time-fractional parabolic equation. J. Numer. Math. 22(4), 363-382 (2014)
Ozbilge, E, Demir, A: Semigroup approach for identification of the unknown diffusion coefficient in a linear parabolic equation with mixed output data. Bound. Value Probl. 2013, 43 (2013)
Ozbilge, E, Demir, A: Analysis of the inverse problem in a time fractional parabolic equation with mixed boundary conditions. Bound. Value Probl. 2014, 134 (2014)
Demir, A, Kanca, F, Ozbilge, E: Numerical solution and distinguishability in time fractional parabolic equation. Bound. Value Probl. 2015, 142 (2015)
Zhao, X, Xu, Q: Efficient numerical schemes for fractional sub-diffusion equation with the spatially variable coefficient. Appl. Math. Model. 38(15-16), 3848-3859 (2014)
Vong, S, Lyu, P, Wang, Z: A compact difference scheme for fractional sub-diffusion equations with the spatially variable coefficient under Neumann boundary conditions. J. Sci. Comput. 66(2), 725-739 (2015)
Metzler, R, Glöckle, WG, Nonnenmacher, TF: Fractional model equation for anomalous diffusion. Physica A 211, 13-24 (1994)
Zeng, F, Li, C, Liu, F, Turner, I: The use of finite difference/element approaches for solving the time-fractional subdiffusion equation. SIAM J. Sci. Comput. 35(6), A2976-A3000 (2013)
Sun, ZZ: The Method of Order Reduction and Its Application to the Numerical Solutions of Partial Differential Equations. Science Press, Beijing (2009)
Sun, ZZ: Numerical Methods of Partial Differential Equations, 2nd edn. Science Press, Beijing (2012) (in Chinese)
Acknowledgements
We wish to thank the reviewers for their constructive comments that led to the improvement of the original manuscript. Financial support for this work was provided by the National Basic Research Program of China (Nos. 2015CB251601, 2013CB227900), National Natural Science Foundation (Nos. 51322401, 51421003, U1261201), the Fundamental Research Funds for the Central Universities (Nos. 2014YC09, 2014ZDPY08) (China University of Mining and Technology), and the 111 Project (No. B07028).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Authors’ contributions
Both authors contributed equally to the writing of this paper. Both authors read and approved the final manuscript.
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
Zhang, P., Pu, H. The error analysis of Crank-Nicolson-type difference scheme for fractional subdiffusion equation with spatially variable coefficient. Bound Value Probl 2017, 15 (2017). https://doi.org/10.1186/s13661-017-0748-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-017-0748-2