Abstract
A set of high-order compact finite difference methods is proposed for solving a class of Caputo-type fractional sub-diffusion equations in conservative form. The diffusion coefficient of the equation may be spatially variable, and the proposed methods have the global convergence order \(\mathcal{O}(\tau ^{r}+h^{4})\), where \(r\ge 2\) is a positive integer and \(\tau \) and h are the temporal and spatial steps. Such new high-order compact difference methods greatly improve the known methods in the literature. The local truncation error and the solvability of the methods are discussed in detail. By applying a discrete energy technique to the matrix form of the methods, a rigorous theoretical analysis of the stability and convergence of the methods is carried out for the case of \(2\le r\le 6\), and the optimal error estimates in the weighted \(H^{1}\), \(L^{2}\) and \(L^{\infty }\) norms are obtained for the general case of variable coefficient. Applications are given to two model problems, and some numerical results are presented to illustrate the various convergence orders of the methods.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Fractional differential equations have been successfully used as a powerful tool in modelling the phenomena related to nonlocality and spatial heterogeneity. As a class of basic fractional differential equations, the fractional sub-diffusion equations (FSDEs for short) that describe a special type of anomalous diffusion phenomenon are becoming increasingly significant in many fields of science and engineering (see, e.g., [1, 2]). These equations were derived by using continuous time random walks with a fractional derivative term in time to represent the degree of memory in the diffusing material [3, 4].
The analytical solutions of most generalized FSDEs are rather difficult to obtain. A number of numerical methods have been developed for the computation of their solutions; for instance, the explicit and implicit finite difference methods in [5, 6], the compact finite difference methods in [7, 8], the finite element methods in [9,10,11], the spectral methods in [12, 13], the alternating direction implicit methods in [14, 15], the implicit meshless method in [16], etc.
Most of the aforementioned numerical methods are generally intended for the equations with constant diffusion coefficients. However, in the inhomogeneous medium, the diffusion coefficient may depend on the space variable (see, e.g., [17,18,19,20,21,22]). This dependence leads to numerous physical applications which are described by the equations involving variable diffusion coefficients (see, e.g., [17,18,19,20,21,22]). When solving these equations, the techniques used for the equations with constant coefficients cannot be applied directly and extra efforts are usually required, especially for obtaining the expected high-order accuracy. In this paper, we seek a high-order compact finite difference method for solving a class of Caputo-type variable coefficient FSDEs in conservative form. The class of equations under consideration with its boundary and initial conditions is given by
where the term \({_{~0}^{C}}\mathcal{D}_{t}^{\alpha }u(x,t)\) represents the Caputo fractional derivative of order \(\alpha \) in t, which is defined by
and the term \(\mathcal{L}u(x,t)\) is the diffusion term with the diffusion coefficient k(x), which is given by
Without loss of generality, we have assumed the homogeneous initial condition \(u(x,0)=0\) in the above problem. If \(u(x,0)=\psi (x)\) for some sufficiently smooth function \(\psi (x)\) then the problem can be reduced to the same form as the above problem for \(v(x,t)=u(x,t)-\psi (x)\).
Throughout the paper, we assume that the given functions f(x, t), \(\phi _{0}(t)\), \(\phi _{L}(t)\) and k(x) in (1.1) and (1.3) are smooth enough and there exist positive constants \(c_{0}\) and \(c_{1}\) such that
In addition, we assume that the solution to the problem (1.1) has the necessary regularity.
It is important to develop high-order numerical methods for solving problem (1.1). A compact finite difference method was proposed in [19], where the unconditional stability and the global convergence of the method were proved by introducing a new norm regarding to the variable coefficient k(x). The recent work [22] extends the method in [19] to the Neumann problem of (1.1). The stability and convergence of the proposed method were studied in that paper by applying the energy method to the matrix form of the method. Another method was given in [20], where a compact exponential finite difference method was considered for a time fractional convection-diffusion reaction equation with variable coefficient that contains the present problem (1.1) as a special case. However, the related convergence analysis was carried out only for the case of constant coefficient. Similarly, some combined compact finite difference methods were proposed in [21] in a general setting but the obtained theoretical results are only for the equation of integer order with constant coefficient. In the above works, the L1 approximation formula was used for the discretization of the Caputo fractional derivative \({_{~0}^{C}}\mathcal{D}_{t}^{\alpha }u\). Consequently, the temporal accuracy of the resulting method is only of order \(2-\alpha \), which is less than two. This motivated us to look for a more accurate approximation to the Caputo fractional derivative \({_{~0}^{C}}\mathcal{D}_{t}^{\alpha }u\) and then develop a high-order numerical method for the problem (1.1), with a rigorous theoretical analysis for the general case of variable coefficient k(x).
Usually, there are two types of approximation approaches for the Caputo fractional derivative \({_{~0}^{C}}\mathcal{D}_{t}^{\alpha }y\) of the function y(t) defined on a finite interval. The idea of the first type is to replace the integrand y(t) inside the integral by its piecewise interpolating polynomial. In general, the obtained discretization method in this way has the convergence order \(r+1-\alpha \), where r is the degree of the interpolating polynomial. The very relevant works were given in [13, 23,24,25,26,27,28,29], where \((2-\alpha )\)th-order (i.e., L1 approximation), \((3-\alpha )\)th-order, \((4-\alpha )\)th-order and \((r+1-\alpha )\)th-order \((r\ge 4)\) methods were investigated, respectively. When such high-order methods are applied to fractional differential equations, a key issue is the stability analysis of the corresponding scheme for all \(\alpha \) in (0, 1). A full stability analysis was established in [23] for a second-order scheme and in [13] for a \((3-\alpha )\)th-order scheme. The second type of approximation approach is to utilize the called weighted and shifted Grüunwald difference operators. Although this approach is often used to handle the Riemann–Liouville fractional derivative, some numerical approximations for the Caputo fractional derivative can also be constructed with the help of the equivalence of these two derivatives under some regularity assumptions. We refer to [30,31,32] for such methods. Different from the first type of approach, the method from this technique has the convergence order independent of the derivative order \(\alpha \). However, on account of the weighted and shifted terms, it usually requires an additional technique for the discretization on the first few time levels in order to obtain the expected high-order accuracy (see, e.g., [30, 31]).
Based on the Lubich operator, this paper derives a class of approximation formulae for the Caputo fractional derivative \({_{~0}^{C}}\mathcal{D}_{t}^{\alpha }y\) defined on a finite interval. The Lubich operator was firstly introduced in [33] to obtain high-order approximations of the Riemann–Liouville fractional integral. Its applications to fractional differential equations are mostly for Riemann–Liouville-type equations (see, e.g., [34,35,36,37,38]). In a series of works [39,40,41,42,43,44], some second-order schemes were proposed for the Caputo-type fractional sub-diffusion or diffusion-wave equation with constant coefficient. The main idea in these works is to transform the original equation into an equivalent integro-differential equation and then apply the Lubich operator of second-order to the Riemann–Liouville fractional integral of the equivalent equation. In this paper, we directly apply the Lubich operator to construct a set of high-order approximation formulae for the Caputo fractional derivative \({_{~0}^{C}}\mathcal{D}_{t}^{\alpha }y\) defined on the finite interval [0, T]. The convergence of the formulae is of order r, where \(r\ge 2\) is a positive integer depending on the choice of the generating functions. On the basis of these formulae, one can easily get high-order and unconditionally stable numerical methods to solve Caputo-type problem (1.1). Another feature of the formulae is that they take the same form and so the computations can be carried out by the same recurrence relation without concern for the various generating functions. We remark that these high-order approximation formulae can also be obtained from the high-order formulae for the Riemann–Liouville fractional derivative; but some additional regularity assumptions are necessary.
In order to give a high-order discretization of the variable coefficient differential operator \(\mathcal{L}u\), we here consider the fourth-order compact difference discretization proposed in our previous works [45, 46], instead of that used in [19, 22, 47]. This discretization was designed by means of the integro-interpolation method, thereby differing essentially from that in [19, 22, 47]. One important difference is that it depends only on the diffusion coefficient k(x) while the one in [19, 22, 47] depends not only on the coefficient k(x) itself but also on its first-order and even second-order derivatives. The dependence of k(x) on x causes considerable difficulty in the analysis of the proposed method; at least the analysis for the case of constant coefficient does not work. Motivated by the recent study in [22], we overcome this difficulty by carefully decomposing the coefficient matrix and then applying the discrete energy method to a suitable matrix form of the method.
The outline of the paper is as follows. In Sect. 2, we construct a set of high-order approximation formulae for the Caputo fractional derivative \({_{~0}^{C}}\mathcal{D}_{t}^{\alpha }y\) defined on [0, T] by making use of the Lubich operator. On the basis of the obtained Lubich approximation formulae, a set of high-order compact finite difference methods for solving problem (1.1) is proposed in Sect. 3. Unconditional stability and convergence of the proposed methods are studied in Sect. 4 for the general case of variable coefficient k(x). Section 5 is devoted to further discussions. In Sect. 6, we apply the proposed compact difference methods to two model problems and present some numerical results to illustrate the theoretical results. The final section contains a brief conclusion.
2 Approximation Formulae for the Caputo Fractional Derivative
In this section, we develop a general form of high-order Lubich difference approximation formulae for the Caputo fractional derivative \({_{~0}^{C}\mathcal{D}_{t}^{\alpha }}y(t)\) of the function y(t) defined on [0, T].
2.1 Lubich Difference Operator
For any function y(t) defined on [0, T], any real number \(\alpha \in (0,1)\) and any positive integer r, the Lubich difference operator with the step \(\tau \) is defined by
where \(\varpi _{r,k}^{(\alpha )}\) are the coefficients of the Taylor series expansion of the generating function
that is,
An easily implementable way of computing the coefficients \(\varpi _{r,k}^{(\alpha )}\) is by the following recursive relation given in [48, 49]:
where
The exact expression of the coefficients \(\varpi _{r,k}^{(\alpha )}\) for \(r=2,3,4,5,6\) can be found in [48, 49]. It was also shown in [48] that the coefficients \(\varpi _{r,k}^{(\alpha )}\rightarrow 0\) as \(k\rightarrow \infty \) for \(r=2,3,4,5,6\), while the coefficients \(\varpi _{r,k}^{(\alpha )}\) for \(r=7,8,9,10\) are oscillatory for sufficiently larger k and so may be unsuitable for numerical computations.
The following lemma gives a property of the generating function \(W_{r,\alpha }(z)\), which is useful for our next discussions.
Lemma 2.1
Let \(V_{r}(z)=\left( W_{r,\alpha }(\mathrm{e}^{-z})\right) ^{\frac{1}{\alpha }}\). Then
Proof
It is clear that \(V_{r}(0)=0\). Since \(V_{r}(z)=\sum _{i=1}^{r} \frac{1}{i} (1-\mathrm{e}^{-z})^{i}\), we have
where \(G_{r}(z)=\sum _{i=0}^{r-1} (1-\mathrm{e}^{-z})^{i}\). In view of \(G_{r}(z)=\mathrm{e}^{z}\left( 1-(1-\mathrm{e}^{-z})^{r}\right) \), we obtain
where \(a_{l,j}\) are some constants independent of z and, in particular, \(a_{l,l-1}=\frac{r!}{(r-l)!}\). This implies \(G_{r}^{(l)}(0)=1\) \((0\le l\le r-1)\) and \(G_{r}^{(r)}(0)=1-r!\). Therefore by (2.7),
This completes the proof. \(\square \)
2.2 Approximation Formulae
Assume \(y(t)\in C^{r}[0,T]\) with \(y^{(r+1)}(t)\in L^{1}[0,T]\) for a nonnegative integer r. We define its extension \(y_\mathrm{ex}(t)\) to the entire real line \(\mathbb {R}\) as follows:
where \(\bar{y}(t)\) is a Hermite interpolation polynomial satisfying \(\bar{y}^{(k)}(T)=y^{(k)}(T)\) and \(\bar{y}^{(k)}(2T)=0\) for \(k=0,1, \dots ,r\).
For any nonnegative integer m and any real number \(\alpha \in (0,1)\), we define
where the function \(\hat{f}(\omega )=\mathcal{F}[f](\omega )\) is the Fourier transformation of f(t), i.e., \(\hat{f} (\omega ) = \mathcal{F}[f](\omega )= \int _{-\infty }^{\infty } \mathrm{e}^{\mathrm{i}\omega t} f(t)\mathrm{d}t\) for all \(\omega \in \mathbb {R}\) (see [50]).
Definition 2.1
Let y(t) be a function defined on [0, T]. We say that \(y(t)\in \mathscr {C}^{m+\alpha }[0,T]\) for a nonnegative integer m and a real number \(\alpha \in (0,1)\) if its extension \(y_\mathrm{ex}(t)\in \mathscr {C}^{m+\alpha }(\mathbb {R})\).
Recall that for any real number \(\alpha \in (0,1)\), the \(\alpha \)th-order Caputo fractional derivative of the function f(t) defined on the entire real line \(\mathbb {R}\) is defined by
We have the following lemma.
Lemma 2.2
Assume \(y(t)\in C^{r}[0,T]\cap \mathscr {C}^{r_{0}+\alpha }[0,T]\) with \(y^{(r+1)}(t)\in L^{1}[0,T]\) for a real number \(\alpha \in (0,1)\) and two nonnegative integers r and \(r_{0}\) satisfying \(r\le r_{0}\). Then
-
(1)
\(y^{(k)}(0)=0\) for \(k=0,1,\dots ,r\),
-
(2)
\( \mathcal{F} \left[ y_\mathrm{ex}^{(k)} \right] (\omega )=(-\mathrm{i}\omega )^{k}\hat{y}_\mathrm{ex}(\omega )\) for \(k=0,1,\dots ,r+1\),
-
(3)
\(\mathcal{F} \left[ {_{-\infty }^{~~C}\mathcal{D}_{t}^{\alpha }}y_\mathrm{ex}^{(k)}\right] (\omega ) =(-\mathrm{i} \omega )^{k+\alpha } \hat{y}_\mathrm{ex}(\omega )\) for \(k=0,1,\dots ,r\), where \(y_\mathrm{ex}(t)\) is the extension of y(t) to the entire real line \(\mathbb {R}\).
Proof
(a) Since \(y(t)\in C^{r}[0,T]\) with \(y^{(r+1)}(t)\in L^{1}[0,T]\), we have that for each \(k=0,1,\dots ,r+1\), \(y_\mathrm{ex}^{(k)}(t)\) is absolutely integrable on \(\mathbb {R}\) and thus its Fourier transformation \(\mathcal{F}\left[ y_\mathrm{ex}^{(k)} \right] (\omega )\) is defined.
Assume, by contradiction, that there exists some \(r^{\prime }\) satisfying \(0\le r^{\prime }\le r\) such that \(y^{(k)}(0)=0\) for \(k=0,1,\dots ,r^{\prime }-1\) but \(y^{(r^{\prime })}(0)\not = 0\). By integrating by parts,
By the Riemann–Lebesgue lemma (see [51]), \(\lim _{|\omega |\rightarrow \infty }\mathcal{F} \left[ y_\mathrm{ex}^{(r^{\prime }+1)} \right] (\omega )=0\). We therefore obtain from (2.11) that \(\lim _{|\omega |\rightarrow \infty }(-\mathrm{i}\omega )^{r^{\prime }+1} \hat{y}_\mathrm{ex}(\omega )= y^{(r^{\prime })}(0)\not = 0\). This implies
Since \(r^{\prime }+1-r_{0}-\alpha <1\), we get that the function \(|\omega |^{r_{0}+\alpha } |\hat{y}_\mathrm{ex}(\omega ) | \) is not integrable on \(\mathbb {R}\). This contradicts \(y_\mathrm{ex}(t)\in \mathscr {C}^{r_{0}+\alpha }(\mathbb {R})\). This proves \(y^{(k)}(0)=0\) for \(k=0,1,\dots ,r\).
(b) The result (2) follows from the result (1) and (2.11).
(c) Let \(k=0,1,\dots ,r\). Since \({_{-\infty }^{~~C}\mathcal{D}_{t}^{\alpha }}y_\mathrm{ex}^{(k)}(t)={_{-\infty }\mathcal{D}}_{t}^{-(1-\alpha )}\left[ y_\mathrm{ex}^{(k+1)}(t)\right] \) and \(y_\mathrm{ex}^{(k+1)}(t)\in L^{1}(\mathbb {R})\), we have from Theorem 7.1 of [50] that
By the result (2), \( \mathcal{F}\left[ y_\mathrm{ex}^{(k+1)}\right] (\omega ) =(-\mathrm{i} \omega )^{k+1} \hat{y}_\mathrm{ex}(\omega )\) which together with (2.12) yields the result (3). \(\square \)
Theorem 2.1
Assume \(y(t)\in {C}[0,T]\cap \mathscr {C}^{r+\alpha }[0,T]\) with \(y^{(1)}(t)\in L^{1}[0,T]\) for a real number \(\alpha \in (0,1)\) and a positive integer r. Then
holds uniformly for all \(t\in [0,T]\) as \(\tau \rightarrow 0\).
Proof
Let \(y_\mathrm{ex}(t)\) be the extension of y(t) to the entire real line \(\mathbb {R}\) and define
We have that for all \(t\in [0,T]\),
It suffices to prove
holds uniformly for all \(t\in \mathbb {R}\) as \(\tau \rightarrow 0\).
Taking the Fourier transformation on both sides of (2.14) yields
where
By Lemma 2.2, \(\mathcal{F} \left[ {_{-\infty }^{~~C}\mathcal{D}_{t}^{\alpha }}y_\mathrm{ex}\right] (\omega ) =(-\mathrm{i} \omega )^{\alpha } \hat{y}_\mathrm{ex}(\omega )\). So we have from (2.17) that
Let \(V_{r}(z)=\left( {W}_{r,\alpha } (\mathrm{e}^{-z}) \right) ^{\frac{1}{\alpha }}\). We have from Lemma 2.1 that the power series expansion of the function \(V_{r}(z)\) has the form \(V_{r}(z)=z+\sum _{l=r+1}^{\infty } a_{l}z^{l}\) which converges absolutely for all \(|z|\le R\) with some \(R>0\). Let \(C_{1}=\sum _{l=r+1}^{\infty } |a_{l}|R^{l}<\infty \) and \(C_{2}=\min \left\{ R, \left( \frac{R^{r+1}}{2C_{1}} \right) ^{\frac{1}{r}} \right\} \). Then, for all \(|z|\le C_{2}\),
and so
where \(C_{3}=R^{-r-1} C_{1} \sum _{n=1}^{\infty } \left( \frac{1}{2} \right) ^{n-1}<\infty \). This proves that for all \(|\omega \tau |\le C_{2}\),
When \(|\omega \tau |> C_{2}\), we have
Therefore, there exists a positive constant \(C_{4}\) independent of \(\omega \tau \) such that
uniformly for \(\omega \tau \in \mathbb {R}\).
Performing the inverse Fourier transformation on both sides of (2.19) leads to
where
The condition requiring that \(y(t)\in \mathscr {C}^{r+\alpha }[0,T]\) implies \(\int _{-\infty }^{\infty } | \omega |^{r+\alpha } |\hat{y}_\mathrm{ex}(\omega )| \mathrm{d} \omega <\infty \), and thus, (2.16) holds uniformly for all \(t\in \mathbb {R}\) as \(\tau \rightarrow 0\). \(\square \)
Remark 2.1
We see from Lemma 2.2 that a necessary condition for the condition of Theorem 2.1 to be satisfied is given by \(y(0)=0\). For this reason, we have assumed the homogeneous initial condition \(u(x,0)=0\) in the problem (1.1). If the problem (1.1) is given with the nonhomogeneous initial condition \(u(x,0)=\psi (x)\), as mentioned in Sect. 1, the substitution \(v(x,t)=u(x,t)-\psi (x)\) will transform the problem (1.1) to the problem which has the same form and the homogeneous initial condition (also see the further discussions in Sect. 5). Hence, Theorem 2.1 is directly applicable to the above nonhomogeneous initial condition without any complication. For a detailed study on approximation methods for the Caputo fractional derivative defined on a finite interval with the nonhomogeneous initial condition, we refer to the recent work in [52].
2.3 Two Test Examples
In this subsection, we use two examples to demonstrate the numerical accuracy of the approximation formula (2.13). We only consider the formula for \(r=3,4,5,6\). Let \(\tau =1/N\) be the step, where N is a positive integer. Denote \(t_{n}=n\tau \) \((0\le n\le N)\). We compute the error \(\mathrm{E}_{r}(\tau )\) and the convergence order \( \mathrm{O}_{r}(\tau )\) by
Example 2.1
Let \(y(t)=t^{r+\alpha }\), where r is a positive integer. The \(\alpha \)th-order Caputo fractional derivative of y(t) is given by
We use the approximation formula (2.13) to compute \({_{~0}^{C}\mathcal{D}_{t}^{\alpha }}y(t_{n})\) \((0\le n\le N)\) numerically. Let \(r=3,4,5,6\). The error \(\mathrm{E}_{r}(\tau )\) and the convergence order \(\mathrm{O}_{r}(\tau )\) for \(\alpha =1/4,1/2,3/4\) and different step \(\tau \) are listed in Table 1. It is seen that the approximation formula (2.13) has the convergence order described in Theorem 2.1.
Example 2.2
In this example, we consider the function \(y(t)=\mathrm{e}^{\frac{t}{3}}-\sum _{k=0}^{r} \frac{1}{k!}\left( \frac{t}{3}\right) ^{k}+t^{r+\alpha }\), where r is a positive integer. Its \(\alpha \)th-order Caputo fractional derivative is given by
In our calculation, the series in the above equation is approximated by its finite sum for \(k=r\) to 50. The error \(\mathrm{E}_{r}(\tau )\) and the convergence order \(\mathrm{O}_{r}(\tau )\) of the approximation formula (2.13) for \(\alpha =1/4,1/2,3/4\) and different step \(\tau \) are listed in Table 2. We see that the numerical results coincide with the theoretical analysis results given in Theorem 2.1.
3 The Compact Finite Difference Scheme
Let \(h=L/M\) be the spatial step, where M is a positive integer. We partition [0, L] into a mesh by the mesh points \(x_{i}=ih\) \((0\le i\le M)\). Let
and
For any grid function \(w=\{w_{i}~|~0\le i\le M\}\), we define operators
Then we have the following lemmas from [45, 46].
Lemma 3.1
Assume that \(\mathcal{L}w(x)\in C^{4}[0,L]\), where \(\mathcal{L}w\) is defined by (1.3). Then it holds that
Lemma 3.2
It holds that
Lemma 3.3
There exists a positive constant \(h_{1}^{*}\), independent of h, such that for all \(h\le h_{1}^{*}\),
For a positive integer N, we let \(\tau =T/N\) be the time step. Denote \(t_{n}=n\tau \) \((0\le n\le N)\). Let u(x, t) be the solution of the problem (1.1). Define the grid functions
An application of the approximation formulae (2.13) and (3.3) yields
where \((R_{t})_{i}^{n}\) and \((R_{x})_{i}^{n}\) are the corresponding local truncation errors. Substituting (3.6) into the governing equation of (1.1), we obtain
Applying \(\mathcal{H}\) to both sides of (3.8) and using (3.7) lead to
where
Omitting the small term \((R_{xt})_{i}^{n}\) in (3.9), we obtain the following compact finite difference scheme:
where \(u_{i}^{n}\) denotes the finite difference approximation to \(U_{i}^{n}\).
Theorem 3.1
Let u(x, t) be the solution of problem (1.1). Assume that \(\mathcal{L}u(x,\cdot )\in C^{4}[0,L]\) and \(u(\cdot ,t)\in C[0,T]\cap \mathscr {C}^{r+\alpha }[0,T]\) with \(\partial _{t}u(\cdot ,t)\in L^{1}[0,T]\) for a positive integer r. Then the truncation error \((R_{xt})_{i}^{n}\) of the compact difference scheme (3.11) satisfies
where \(C^{*}\) is a positive constant independent of \(\tau \), h and n.
Proof
We have from Theorem 2.1 and Lemma 3.1 that the truncation errors \((R_{t})_{i}^{n}\) and \((R_{x})_{i}^{n}\) in (3.6) and (3.7) have the form
Since by Lemma 3.2, \(\mathcal{H}w_{i}=\frac{1}{12}(w_{i-1}+10w_{i}+w_{i+1})+(w_{i-1}+w_{i}+w_{i+1})\mathcal{O}(h)\) for any grid function \(w=\{w_{i}~|~0\le i\le M\}\), we apply the estimates in (3.13) into (3.10) to get the desired estimate (3.12) immediately. \(\square \)
Theorem 3.2
The compact difference scheme (3.11) is uniquely solvable for all sufficiently small \(h\le h_{1}^{*}\), where \(h_{1}^{*}\) is the constant defined in Lemma 3.3.
Proof
It is sufficient to prove that the coefficient matrix \(Q^{*}\) of the system from the compact difference scheme (3.11) is nonsingular if \(h\le h_{1}^{*}\). In fact, \(Q^{*}=\mathrm{tridiag}(p_{i-1}^{*}, q_{i}^{*}, r_{i+1}^{*})\), where \(p_{0}^{*}=r_{M}^{*}=0\) and
It is clear that \(q_{i}^{*}>0\) for each \(1\le i\le M-1\).
Case 1 Assume that \(p_{i}^{*}\not =0\) for all \(1\le i\le M-2\). In this case, the matrix \(Q^{*}\) is irreducible. By Lemma 3.3, we have that for \(2\le i\le M-2\),
Similarly,
This proves that \(Q^{*}\) is irreducibly diagonally dominant and thus nonsingular (see [53]).
Case 2 Assume that \(p_{i_{0}}^{*}= 0\) for some \(1\le i_{0}\le M-2\). In this case, we complete the proof by partitioning \(Q^{*}\) and then considering its submatrices. \(\square \)
4 Stability and Convergence
In this section, we carry out the stability and convergence analysis of the compact difference scheme (3.11) using a technique of discrete energy analysis. Since the coefficient matrix of the scheme (3.11) is not symmetric due to the dependence of the coefficient k(x) on x, a direct analysis using the discrete energy method is much more difficult. Motivated by the recent study in [22], we here use an indirect approach by decomposing the coefficient matrix and then applying the discrete energy method to a suitable matrix form of the scheme (3.11).
4.1 A Suitable Matrix Form of the Scheme (3.11)
We now write the compact difference scheme (3.11) in a suitable matrix form for our analysis. Let \(\mathcal{S}_{h}=\{w~|~ w=(w_{0}, w_{1}, \dots , w_{M}), w_{0}=w_{M}=0\}\) be the space of the grid functions defined on the spatial mesh and vanishing on two boundary points. For any \(w\in \mathcal{S}_{h}\), we let \(\mathbf{w}=(w_{1}, w_{2}, \dots ,w_{M-1})^{T}\in \mathbb {R}^{M-1}\). Define
Then we have that for any \(w\in \mathcal{S}_{h}\),
Let
where \(P_{i}=E_{i}^{(-1)}+E_{i}^{(0)}+E_{i}^{(1)}\). Since for \(i=1,2,\dots ,M-1\),
we have that for any \(w\in \mathcal{S}_{h}\),
An application of (4.1) and (4.2) shows that the compact difference scheme (3.11) can be expressed in the matrix form as
where
and \(\mathbf{r}^{n}\) absorbs the boundary values of the solution vector. Noticing that \(\mathbf{r}^{n}=0\) when \(u_{0}^{n}=u_{M}^{n}=0\) for all \(0\le n\le N\).
Lemma 4.1
There exists a positive constant \(h_{2}^{*}\), independent of h, such that for all \(h\le h_{2}^{*}\), the matrix Q is symmetric and positive definite. Moreover, \(\lambda _{\min }(Q)\ge \frac{1}{3}\) and \(\lambda _{\max }(Q)\le \frac{4}{3}\), where \(\lambda _{\min }(Q)\) and \(\lambda _{\max }(Q)\) denote the smallest and largest eigenvalues of Q.
Proof
We write
We have from Lemma 3.2 that \(P_{i}=1+\mathcal{O}(h)\) which implies \(P_{i}-1=\mathcal{O}(h)\) for all \(1\le i\le M-1\). Since the eigenvalues of the matrix \(\mathrm{tridiag}\left( \frac{1}{12}, \frac{5}{6}, \frac{1}{12}\right) \) are given by \(\lambda _{i}=\frac{5}{6}+\frac{1}{6} \cos \frac{i\pi }{M}\) for all \(1\le i\le M-1\), there exists a positive constant \(h_{2}^{*}\), independent of h, such that for all \(h\le h_{2}^{*}\),
The proof is completed. \(\square \)
Let \(B=Q^{-1}\) when \(h\le h_{2}^{*}\). Then the matrix form (4.3) is equivalent to
The above matrix form and the following lemmas will be used in our stability and convergence analysis of the compact difference scheme (3.11).
Lemma 4.2
There exists a positive constant \(c_{2}\), independent of h, such that
Proof
Lemma 3.2 implies \(\Lambda _{l}^{2}=\mathrm{diag}\left( (\mathcal{O}(h))^{2},(\mathcal{O}(h))^{2},\dots ,(\mathcal{O}(h))^{2}\right) \) for \(l=-1,1\). This proves the result (4.6). \(\square \)
Lemma 4.3
It holds that
-
(1)
\(\frac{c_{0}}{h^{2}}\le \lambda _{\min }(\Lambda )\le \lambda _{\max }(\Lambda )\le \frac{c_{1}}{h^{2}}\), where \(c_{0}\) and \(c_{1}\) are the constants in (1.4),
-
(2)
\(\lambda _{\max }(SS^{T})\le 4\),
-
(3)
\((S_{l}{} \mathbf{w})^{T}S_{l}{} \mathbf{w}\le (S\mathbf{w})^{T}S\mathbf{w}\) for any \(\mathbf{w}\in \mathbb {R}^{M-1}\) and \(l=-1,1\).
Proof
(a) The result (1) follows from (1.4).
(b) Since \(SS^{T}=\mathrm{tridiag}(-\,1,2,-\,1)+\mathrm{diag}(-\,1,0,\dots ,0,-\,1)\), the result (2) follows from the theorem of Gerschgorin (see [53]).
(c) For any \(\mathbf{w}=(w_{1}, w_{2}, \dots ,w_{M-1})^{T}\in \mathbb {R}^{M-1}\),
This proves the result (3). \(\square \)
Lemma 4.4
There exists a positive constant \(h_{3}^{*}\), independent of h, such that for all \(h\le h_{3}^{*}\),
Proof
We have from Lemma 3.2 that there exists a positive constant \(h_{3}^{*}\), independent of h, such that for all \(h\le h_{3}^{*}\),
Let \(w_{i}\) \((1\le i\le M-1)\) denote the ith-component of \(\mathbf{w}\) and let \(w_{0}=w_{M}=0\). Then we have
This completes the proof. \(\square \)
4.2 Analysis of Stability and Convergence
Now we turn to the analysis of stability and convergence for the scheme (3.11), based on its matrix form (4.5). We first introduce the following lemma.
Lemma 4.5
Let \(\varpi _{r,k}^{(\alpha )}\) be defined by (2.4), where \(0<\alpha <1\) and \(2\le r\le 6\). If \(r=4\), we assume \(0<\alpha \le \alpha ^{*}\), where
Then for any nonnegative integer n and \(w^{m}\in \mathcal{S}_{h}\) \((0\le m\le n)\), it holds that
Proof
Denote by \(w_{i}^{m}\) the ith-component of \(\mathbf{w}^{m}\). It is sufficient to prove that for each \(1\le i\le M-1\),
Let
One can easily check that the validity of (4.9) is equivalent to that the above symmetric Toeplitz matrix \(\varpi _{r}^{(\alpha )}\) is positive semi-definite. By the Grenander-Szeg\(\ddot{\mathrm{o}}\) theorem (see [54]), the matrix \(\varpi _{r}^{(\alpha )}\) is positive semi-definite if its generating function \(f_{r}(\alpha ,\theta )\) is nonnegative for all \(\theta \in [-\pi ,\pi ]\), where
However, the latter follows from Theorems 2.1 and 2.2 in [38]. The proof is completed. \(\square \)
For any \(w\in \mathcal{S}_{h}\), we define its \(L^{2}\) norm \(\Vert w \Vert \), \(L^{\infty }\) norm \(\Vert w \Vert _{\infty }\) and \(H^{1}\) norm \(\Vert w \Vert _{1}\) by
where \(|w|_{1}^{2}=\frac{1}{h}\sum _{i=1}^{M} (w_{i}-w_{i-1})^{2}\). It is known from [55] (pages 111 and 112) that for any \(w\in \mathcal{S}_{h}\),
Also we have that for all \(w\in \mathcal{S}_{h}\), \(\Vert w\Vert ^{2}=h\mathbf{w}^{T}{} \mathbf{w}\) and \(h|w|_{1}^{2}=(S\mathbf{w})^{T}S\mathbf{w}\) (see (4.7)), where \(\mathbf{w}=(w_{1}, w_{2}, \dots ,w_{M-1})^{T}\). The following theorem gives an a prior estimate of the compact difference scheme (3.11).
Theorem 4.1
Assume that the condition in Lemma 4.5 is satisfied and let \(h_{4}^{*}\) be a positive constant such that \(( \frac{c_{2}}{c_{0}}(1+h^{3})+36c_{1} ) h<\frac{3}{4}\) for all \(h\le h_{4}^{*}\), where \(c_{0}\), \(c_{1}\) and \(c_{2}\) are the constants in (1.4)) and (4.6). Also let \(u^{n}=(u_{0}^{n}, u_{1}^{n}, \dots , u_{M}^{n})\) be the solution of the compact difference scheme (3.11) with the initial value \(u_{i}^{0}\) and \(u_{0}^{n}=u_{M}^{n}=0\) for all \(0\le n\le N\). Then when \(h\le \min \{h_{1}^{*}, h_{2}^{*}, h_{3}^{*}, h_{4}^{*}\}\), where \(h_{i}^{*}\) \((i=1,2,3)\) are the constants defined in Lemmas 3.3, 4.1 and 4.4, it holds that for \(2\le r\le 6\),
where \(c_{3}= \frac{3}{4}- ( \frac{c_{2}}{c_{0}}(1+h^{3})+36c_{1} ) h>0 \).
Proof
Multiplying (4.5) with \(h(\mathbf{u}^{n})^{T}H^{T}\) to get
Since \(H= Q+ \Lambda _{-1} S_{-1}-\Lambda _{1} S_{1}\) and \(B=Q^{-1}\), we have
and
We first estimate \(-h (\mathbf{u}^{n})^{T}H^{T}BS^{T} \Lambda S\mathbf{u}^{n}\). By the Cauchy–Schwarz inequality,
We have from Lemmas 4.2 and 4.3 that
Using Lemmas 4.1 and 4.3, we obtain
This implies
Substituting (4.16) and (4.18) into (4.15), we get
A similar argument gives
Hence we have from (4.19), (4.20) and (4.13) that
We next estimate \(h (\mathbf{u}^{n})^{T}H^{T}B\mathbf{g}^{n}\). It follows from the Cauchy–Schwarz inequality, (4.10) and Lemma 4.3 that
Also by the Cauchy–Schwarz inequality and Lemmas 4.1–4.3,
Similarly,
Therefore, it follows from (4.14) and (4.22)–(4.24) that
Applying (4.21) and (4.25) into (4.12), we obtain
where \(c_{3}= \frac{3}{4}- ( \frac{c_{2}}{c_{0}}(1+h^{3})+36c_{1} ) h >0 \) for all \(h\le h_{4}^{*}\). Moreover, by Lemma 4.3,
Replacing n by m and then summing up for m from 1 to n on both sides of (4.27), we have
or equivalently,
Since the matrix B is symmetric and positive definite, there exists a symmetric and positive definite matrix \(B_{1}\) such that \(B=B_{1}^{T}B_{1}\). Let \(\mathbf{w}^{n}= B_{1}H\mathbf{u}^{n}\). Then by Lemma 4.5,
This together with (4.28) implies
By Lemmas 4.1 and 4.4, \(h(\mathbf{u}^{0})^{T}H^{T}BH\mathbf{u}^{0}\le 3h(\mathbf{u}^{0})^{T}H^{T}H\mathbf{u}^{0}\le \frac{81}{8}h(\mathbf{u}^{0})^{T}{} \mathbf{u}^{0}\). It is clear that
Then the estimate (4.11) follows immediately from (4.30). \(\square \)
A similar argument as that for proving Lemma 4.4 shows that when \(h\le h_{3}^{*}\),
This observation and Theorem 4.1 imply that the compact difference scheme (3.11) is unconditionally stable to the initial value \(u^{0}\) and the source term f, or more precisely, it is stable without any restriction on the time step \(\tau \) in terms of the spatial step h.
We now consider the convergence of the compact difference scheme (3.11). Let \(e_{i}^{n}=U_{i}^{n}-u_{i}^{n}\). From (3.9) and (3.11), we get the following error equation:
Based on this error equation, we have the following convergence result.
Theorem 4.2
Let \(U_{i}^{n}\) denote the value of the solution u(x, t) of the problem (1.1) at the mesh point \((x_{i},t_{n})\) and let \(u^{n}=(u_{0}^{n}, u_{1}^{n}, \dots , u_{M}^{n})\) be the solution of the compact difference scheme (3.11). Assume that the conditions in Theorems 3.1 and 4.1 are satisfied. Then we have that for \(2\le r\le 6\),
where
Proof
It follows from (4.31) and Theorem 4.1 that
Applying Theorem 3.1, we get the estimate
Finally, the estimates in (4.32)–(4.34) follow from (4.35) and (4.10). \(\square \)
Theorem 4.2 shows that the compact difference scheme (3.11) converges with the convergence order \(\mathcal{O}(\tau ^{r}+h^{4})\), regardless of the order \(\alpha \) of the fractional derivative.
5 Further Discussions
5.1 On Zero-Derivatives Condition
Here we give a discussion about the condition used in Theorems 3.1, 4.1 and 4.2, i.e., that \(u(\cdot ,t)\in C[0,T]\cap \mathscr {C}^{r+\alpha }[0,T]\) with \(\partial _{t}u(\cdot ,t)\in L^{1}[0,T]\). To do this, we first introduce the following proposition, the proof of which will be given in “Appendix”.
Proposition 5.1
Assume \(y(t)\in C^{r+1}[0,T]\) with \(y^{(r+2)}(t)\in L^{1}[0,T]\) for a nonnegative integer r. Then for \(\alpha \in (0,1)\),
In Theorems 3.1, 4.1 and 4.2, we have assumed that \(u(\cdot ,t)\in C[0,T]\cap \mathscr {C}^{r+\alpha }[0,T]\) with \(\partial _{t}u(\cdot ,t)\in L^{1}[0,T]\). As in the known treatments of the Grünwald or Lubich difference approximations and their modifications ([30,31,32, 34, 36, 37]), this assumption ensures that the approximation (2.13) (with y(t) replaced by \(u(\cdot ,t)\)) holds uniformly for all \(t\in [0,T]\) as \(\tau \rightarrow 0\) and thus the rth-order temporal accuracy of the compact difference scheme (3.11). With the help of Proposition 5.1, one see that \(u(\cdot ,t)\in \mathscr {C}^{r+\alpha }[0,T]\) is equivalent to that \(\partial _{t} u(\cdot ,0)=0~(k=0,1,\dots ,r)\) if \(u(\cdot ,t)\) is smooth enough. Generally, the condition requiring that the analytical solution of (1.1) and its several derivatives with respect to t must be zero at \(t=0\) is essential for the high-order accuracy of the scheme (3.11). We refer to it as “zero-derivatives condition”. In order to preserve high-order accuracy of the scheme (3.11) for the problem (1.1) without the above zero-derivatives condition, we provide two basic techniques as follows:
(1) Using a suitable transformation. The main idea of this technique is to consider the problem (1.1) for
instead, where the coefficients \(\partial _{t}^{p}u(x,0)\) \((p=1,2,\dots ,r)\) are specified later. This technique transforms the problem (1.1) into an equivalent problem which has the same form and satisfies the zero-derivatives condition (see, e.g., [56]). Hence, the compact difference scheme (3.11) preserves its high-order accuracy. Moreover, the stability and convergence analysis under the zero-derivatives condition remains valid. In the next section, we shall use a numerical example to show the effectiveness of this technique. The coefficients \(\partial _{t}^{p}u(x,0)\) \((p=1,2,\dots ,r)\) in (5.2) can be computed from the known function f(x, t) as given in the following propositions, the proofs of which are left in “Appendix”.
Proposition 5.2
Let u(x, t) be the solution of the problem (1.1). Assume that both u(x, t) and \(\mathcal{L}u(x,t)\) are in \(C^{0,1}([0,L]\times [0,T])\). Then
Proposition 5.3
Let u(x, t) be the solution of the problem (1.1). Assume that both u(x, t) and \(\mathcal{L}u(x,t)\) are in \(C^{0,r}([0,L]\times [0,T])\) for a positive integer \(r\ge 2\). Define
Then for \(x\in [0,L]\), the limits \(\lim _{t\rightarrow 0} F_{p}(x,t)\) and \(\lim _{t\rightarrow 0} G_{p}(x,t)\) exist and
(2) Adding suitable correction terms. For the Caputo fractional derivative \({_{~0}^{C}}\mathcal{D}_{t}^{\alpha }u(x,t)\), we can rewrite it as
where v(x, t) is defined by (5.2). Obviously, we have made sure that v(x, t) satisfies the zero-derivatives condition, and so by Theorem 2.1,
For preserving the rth-order accuracy, we approximate \(\partial _{t}^{p}u(x_{i},0)\) by the following rth-order difference formula (see [57], page 83):
where the coefficients \(b_{p,q}^{(r)}\) for \(p=1,2,3,4\) and \(r=3,4\) are given in Table 3. Thus, the resulting discretization of (1.1) can be written as
This is a modification to the scheme (3.11) by adding some correction terms related to the starting values \(u_{i}^{n}\) for \(n=0,1,\dots ,2r-1\) (and so it is required that \(\tau \le T/(2r-1)\)). Note that the starting values \(u_{i}^{n}\) for \(n=1,2,\dots ,2r-1\) are coupled and have to be solved simultaneously. The numerical results in the next section will show that the above scheme truly has high-order accuracy for the problem (1.1) without the zero-derivatives condition.
5.2 Further Spatial Approximations
In general, the integrals involved in the compact difference scheme (3.11) cannot be evaluated exactly. One way of overcoming this difficulty is to replace them by suitable numerical integrations. Let \(\varphi (x)=1/k(x)\) and assume \(\varphi (x)\in C^{6}[0,L]\). By the closed Newton-Cotes formula of degree 4 (see [58]),
where \(x_{i}=ih\) even if i is not a integer. This implies
where
Exchanging the order of integration, we have
where \(\widetilde{\varphi }_{1,i}(s)=\varphi (s) \left( \frac{h}{4}(s-x_{i})^{2}-\frac{1}{6} (s-x_{i})^{3} \right) \). Then by the closed Newton-Cotes formula of degree 4,
where \(\xi _{i}\in (x_{i-1}, x_{i})\) and \(\eta _{i}\in (x_{i}, x_{i+1})\). A simple calculation shows
Applying (5.10) and (5.14) into (5.13) leads to
where
Similarly, we get
where
For any grid function \(w=\{w_{i}~|~0\le i\le M\}\), we define operators
Then the corresponding compact finite difference method is to find \(u_{i}^{n}\) such that
Based on the formulae (5.10), (5.11) and (5.15)–(5.19), we can establish the results similar to those in Lemmas 3.1–3.3 and in Theorems 3.1 and 3.2 for the above scheme (5.21). Consequently, for the solution \(u_{i}^{n}\) of the above scheme (5.21), we have the numerical stability given in Theorem 4.1 and the error estimates (4.32)–(4.34) under the condition of Theorem 4.2. It should be pointed out that since the scheme (5.21) is a further approximation to the scheme (3.11), it is recommended to use only when the integrals involved in the scheme (3.11) cannot be evaluated exactly.
6 Applications and Numerical Results
In this section, we apply the proposed compact finite difference methods to two model problems in the form (1.1). The exact analytical solution u(x, t) of each problem is explicitly known and is mainly used to compare with the computed solution \(u_{i}^{n}\) of the compact difference scheme (3.11) or its modified schemes (5.8) and (5.21).
To demonstrate the accuracy of the computed solution \(u_{i}^{n}\), we compute its weighted \(H^{1}\), \(L^{\infty }\) and \(L^{2}\) norms errors:
where \(U_{i}^{n}=u(x_{i},t_{n})\). The temporal and spatial convergence orders are computed, respectively, by the formulae
All computations are carried out by using a MATLAB routine on a computer with Xeon X5650 CPU and 96GB memory.
Example 6.1
Consider the problem (1.1) in the domain \([0,1]\times [0,1]\) with \(k(x)=1+x^{2}\). The source term f(x, t) and the boundary functions \(\phi _{0}(t)\) and \(\phi _{L}(t)\) are properly taken such that the problem has the solution \(u(x,t)=t^{r+\alpha }(2\mathrm{e}^{3}+\sin x)\) for any positive integer r.
Let \(r=3,4,5,6\). We use the compact difference scheme (3.11) with \(r=3,4,5,6\) to solve the above problem. The errors \(\mathrm{E}_{r,\nu }(\tau ,h)\) and the temporal convergence orders \(\mathrm{O}_{r,\nu }^\mathrm{t}(\tau ,h)\) \((\nu =1,2,\infty )\) of the computed solution \(u_{i}^{n}\) for \(h=1/3500\) and different time step \(\tau \) are listed in Table 4 (\(\alpha =1/4\)), Table 5 (\(\alpha =1/2)\) and Table 6 (\(\alpha =3/4\)). As expected from our theoretical analysis, the computed solution \(u_{i}^{n}\) has the rth-order temporal accuracy.
We next compute the spatial convergence order of the compact difference scheme (3.11). The errors \(\mathrm{E}_{r,\nu }(\tau ,h)\) and the spatial convergence orders \(\mathrm{O}_{r,\nu }^\mathrm{s}(\tau ,h)\) \((\nu =1,2,\infty )\) of the computed solution \(u_{i}^{n}\) for different spatial step h are presented in Table 7 (\(\alpha =1/4\)), Table 8 (\(\alpha =1/2\)) and Table 9 (\(\alpha =3/4\)), where the time step \(\tau =1/15000\) for \(r=3\), \(\tau =1/3000\) for \(r=4\) and \(\tau =1/800\) for \(r=5,6\). The data in these tables demonstrate that the computed solution \(u_{i}^{n}\) is of the fourth-order spatial accuracy. This coincides well with the analysis.
Example 6.2
This example is mainly used to demonstrate the effectiveness of the technique using the substitution (5.2) and the high-order accuracy of the modified scheme (5.21). Consider the problem (1.1) in the domain \([0,1]\times [0,1]\) with \(k(x)=\mathrm{e}^{x^{2}}\). For this k(x), the integrals involved in the compact difference scheme (3.11) cannot be evaluated exactly; so we use the modified scheme (5.21) instead. Taking the exact analytical solution as
it is easy to analytically get the source function
Let \(r=3\). Table 10 lists the errors \(\mathrm{E}_{3,\nu }(\tau ,h)\) and the temporal convergence orders \(\mathrm{O}_{3,\nu }^\mathrm{t}(\tau ,h)\) \((\nu =1,2,\infty )\) of the computed solution \(u_{i}^{n}\) by the compact difference scheme (5.21) with \(r=3\) for \(\alpha =1/4,1/2,3/4\) and different time step \(\tau \). It is seen that the third-order temporal accuracy of the computed solution \(u_{i}^{n}\) cannot be achieved.
To preserve the desired high-order accuracy, we transform the present problem by using the substitution (5.2), where according to Propositions 5.2 and 5.3, the coefficients \(\partial _{t}^{p}u(x,0)\) are given by
Let \(r=3,4,5,6\). We use the compact difference scheme (5.21) with \(r=3,4,5,6\) to solve the above transformed problem. As in the first example, the basic feature of the rth-order temporal convergence and the fourth-order spatial convergence of the computed solution \(u_{i}^{n}\) was observed in the numerical computations for each \(r=3,4,5,6\) and different \(\alpha \). Without loss of generality, we only present the results for \(\alpha =1/2\) in Tables 11 and 12. In Table 12, we take the time step \(\tau =1/20000\) for \(r=3\), \(\tau =1/4000\) for \(r=4\), \(\tau =1/1000\) for \(r=5, 6\). Clearly, these results are in accord with our theoretical analysis results. This demonstrates the effectiveness of the technique using the substitution (5.2) for preserving high-order accuracy. It also shows that the modified scheme (5.21) indeed maintains the desired high-order accuracy of the compact difference scheme (3.11).
Example 6.3
We present numerical results to show that the modified scheme (5.8) has high-order accuracy for the problem (1.1) without the zero-derivatives condition. To this end, we still consider the problem in Example 6.2 as our test problem, but we solve it directly by the scheme (5.8) (with the operators \(\mathcal{Q}\) and \(\mathcal{H}\) being replaced by \(\widetilde{\mathcal{Q}}\) and \(\widetilde{\mathcal{H}}\), respectively). Let \(r=4\). We list in Tables 13 and 14 the errors \(\mathrm{E}_{4,\nu }(\tau ,h)\), the temporal convergence orders \(\mathrm{O}_{4,\nu }^\mathrm{t}(\tau ,h)\) and the spatial convergence orders \(\mathrm{O}_{4,\nu }^\mathrm{s}(\tau ,h)\) \((\nu =1,2,\infty )\) of the computed solution \(u_{i}^{n}\) for \(\alpha =1/4,1/2,3/4\). It is seen that the modified scheme (5.8) has the fourth-order accuracy both in time and space as expected.
7 Conclusion
In this paper, we have proposed a set of high-order compact finite difference methods. It can be used to solve a class of Caputo-type fractional sub-diffusion equations in conservative form, where the diffusion coefficient may be spatially variable. A class of Lubich approximation formulae have been derived for the Caputo fractional derivative defined on a finite interval. The high-order compact difference discretization of the spatial variable coefficient differential operator is different from that used in the known treatments of fractional differential equations. The proposed compact difference methods are unconditionally stable and have the global convergence order \(\mathcal{O}(\tau ^{r}+h^{4})\), where \(r\ge 2\) is a positive integer and \(\tau \) and h are the temporal and spatial steps. We have also developed a discrete energy technique for the analysis of the present variable coefficient problem. Using this technique, a theoretical analysis of the stability and convergence of the methods has been rigorously carried out for the case of \(2\le r\le 6\), and the optimal error estimates in the weighted \(H^{1}\), \(L^{2}\) and \(L^{\infty }\) norms have been successfully obtained for the general case of variable coefficient. We have further proposed two modified schemes for enlarging the applicability of the methods while preserving high-order accuracy. Numerical results coincide with the theoretical analysis results and illustrate the various convergence orders of the methods.
References
Klages, R., Radons, G., Sokolov, I.M.: Anomalous Transport: Foundations and Applications. Wiley-VCH, Weinheim (2008)
Bouchaud, J.-P., Georges, A.: Anomalous diffusion in disordered media: statistical mechanisms, models and physical applications. Phys. Rep. 195, 127–293 (1990)
Gorenflo, R., Mainardi, F., Moretti, D., Paradisi, P.: Time fractional diffusion: a discrete random walk approach. Nonlinear Dyn. 29, 129–143 (2002)
Metzler, R., Klafter, J.: The random walk’s guide to anomalous diffusion: a fractional dynamics approach. Phys. Rep. 339, 1–77 (2000)
Chen, C., Liu, F., Turner, I., Anh, V.: Numerical schemes and multivariate extrapolation of a two-dimensional anomalous sub-diffusion equation. Numer. Algorithms 54, 1–21 (2010)
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)
Mohebbi, A., Abbaszade, M., Dehghan, M.: A high-order and unconditionally stable scheme for the modified anomalous fractional sub-diffusion equation with a nonlinear source term. J. Comput. Phys. 240, 36–48 (2013)
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)
Deng, W.: Finite element method for the space and time fractional Fokker–Planck equation. SIAM J. Numer. Anal. 47, 204–226 (2009)
Liu, Q., Liu, F., Turner, I., Anh, V.: Finite element approximation for a modified anomalous subdiffusion equation. Appl. Math. Model. 35, 4103–4116 (2011)
Ford, N.J., Xiao, J., Yan, Y.: A finite element method for the time fractional partial differential equations. Fract. Calc. Appl. Anal. 14, 454–474 (2011)
Li, X., Xu, C.: A space-time spectral method for the time fractional diffusion equation. SIAM J. Numer. Anal. 47, 2108–2131 (2009)
Lv, C., Xu, C.: Error analysis of a high order method for time-fractional diffusion equations. SIAM J. Sci. Comput. 38, A2699–A2724 (2016)
Zhang, Y.N., Sun, Z.Z.: Alternating direction implicit schemes for the two-dimensional fractional sub-diffusion equation. J. Comput. Phys. 230, 8713–8728 (2011)
Wang, Y.-M., Wang, T.: Error analysis of a high-order compact ADI method for two-dimensional fractional convection-subdiffusion equations. Calcolo 53, 301–330 (2016)
Liu, Q., Gu, Y.T., Zhuang, P., Liu, F., Nie, Y.F.: An implicit RBF meshless approach for time fractional diffusion equations. Comput. Mech. 48, 1–12 (2011)
Zoppou, C., Knight, J.H.: Analytical solution of a spatially variable coefficient advection–diffusion equation in up to three dimensions. Appl. Math. Model. 23, 667–685 (1999)
Lai, M., Tseng, Y.: A fast iterative solver for the variable coefficient diffusion equation on a disk. J. Comput. Phys. 208, 196–205 (2005)
Zhao, X., Xu, Q.: Efficient numerical schemes for fractional sub-diffusion equation with the spatially variable coefficient. Appl. Math. Model. 38, 3848–3859 (2014)
Cui, M.: Compact exponential scheme for the time fractional convection–diffusion reaction equation with variable coefficients. J. Comput. Phys. 280, 143–163 (2015)
Cui, M.: Combined compact difference scheme for the time fractional convection–diffusion equation with variable coefficients. Appl. Math. Comput. 246, 464–473 (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, 725–739 (2016)
Alikhanov, A.A.: A new difference scheme for the time fractional diffusion equation. J. Comput. Phys. 280, 424–438 (2015)
Sun, Z.Z., Wu, X.N.: A fully discrete difference scheme for a diffusion-wave system. Appl. Numer. Math. 56, 193–209 (2006)
Lin, Y., Xu, C.: Finite difference/spectral approximations for the time-fractional diffusion equation. J. Comput. Phys. 225, 1533–1552 (2007)
Gao, G.H., Sun, Z.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)
Cao, J.X., Li, C.P., Chen, Y.Q.: High-order approximation to Caputo derivatives and Caputo-type advection–diffusion equations (II). Fract. Calc. Appl. Anal. 18, 735–761 (2015)
Li, C.P., Wu, R.F., Ding, H.F.: High-order approximation to Caputo derivative and Caputo-type advection–diffusion equations. Commun. Appl. Ind. Math. 6, e-536 (2015)
Li, H.F., Cao, J.X., Li, C.P.: High-order approximations to Caputo derivatives and Caputo-type advection–diffusion equations (III). J. Comput. Appl. Math. 299, 159–175 (2016)
Ji, C.C., Sun, Z.Z.: A high-order compact finite difference scheme for the fractional sub-diffusion equation. J. Sci. Comput. 64, 959–985 (2015)
Ji, C.C., Sun, Z.Z.: The high-order compact numerical algorithms for the two-dimensional fractional sub-diffusion equation. Appl. Math. Comput. 269, 775–791 (2015)
Wang, Y.-M.: A high-order compact finite difference method and its extrapolation for fractional mobile/immobile convection–diffusion equations. Calcolo 54, 733–768 (2017)
Lubich, C.: Discretized fractional calculus. SIAM J. Math. Anal. 17, 704–719 (1986)
Li, C.P., Ding, H.F.: Higher order finite difference method for the reaction and anomalous-diffusion equation. Appl. Math. Model. 38, 3802–3821 (2014)
Hao, Z.P., Lin, G., Sun, Z.Z.: A high-order difference scheme for the fractional sub-diffusion equation. Int. J. Comput. Math. 94, 405–426 (2017)
Chen, M.H., Deng, W.H.: Fourth order accurate scheme for the space fractional diffusion equations. SIAM J. Numer. Anal. 52, 1418–1438 (2014)
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.: High-order algorithms for Riesz derivative and their applications (III). Fract. Calc. Appl. Anal. 19, 19–55 (2016)
Zeng, F., Li, C.P., Liu, F., Turner, I.: Numerical algorithms for time-fractional subdiffusion equation with second-order accuracy. SIAM J. Sci. Comput. 37, A55–A78 (2015)
Zeng, F.: Second-order stable finite difference schemes for the time-fractional diffusion-wave equation. J. Sci. Comput. 65, 411–430 (2014)
Zeng, F., Zhang, Z., Karniadakis, G.: Fast difference schemes for solving high-dimensional time-fractional subdiffusion equations. J. Comput. Phys. 307, 15–33 (2016)
Zeng, F., Li, C.P., Liu, F., Turner, I.: The use of finite difference/element approaches for solving the time-fractional subdiffusion equation. SIAM J. Sci. Comput. 35, A2976–A3000 (2013)
Cao, W., Zeng, F., Zhang, Z., Karniadakis, G.: Implicit–explicit difference schemes for nonlinear fractional differential equations with nonsmooth solutions. SIAM J. Sci. Comput. 38, A3070–A3093 (2016)
Yang, J.Y., Huang, J.F., Liang, D.M., Tang, Y.F.: Numerical solution of fractional diffusion-wave equation based on fractional multistep method. Appl. Math. Model. 38, 3652–3661 (2014)
Guo, B.Y., Wang, Y.-M.: An almost monotone approximation for a nonlinear two-point boundary value problem. Adv. Comput. Math. 8, 65–96 (1998)
Wang, Y.-M., Guo, B.Y.: A monotone compact implicit scheme for nonlinear reaction-diffusion equations. J. Comput. Math. 26, 123–148 (2008)
Zhao, X., Sun, Z.Z.: Compact Crank–Nicolson schemes for a class of fractional Cattaneo equation in inhomogeneous medium. J. Sci. Comput. 62, 747–771 (2015)
Wu, R.F., Ding, H.F., Li, C.P.: Determination of coefficients of high-order schemes for Riemann–Liouville derivative. Sci. World J. 2014, Article ID 402373, 21 pp (2014)
Ding, H.F.: Finite difference methods for fractional partial differential equations. Doctoral Dissertation, Shanghai University (2014)
Samko, S., Kilbas, A., Marichev, O.: Fractional Integrals and Derivatives: Theory and Applications. Gordon and Breach, Yverdon (1993)
Zorich, V.A.: Mathematical Analysis II. Springer, Berlin (2004)
Li, C.P., Cai, M.: High-order approximation to Caputo derivatives and Caputo-type advection–diffusion equations: revisited. Numer. Funct. Anal. Opt. 38, 861–890 (2017)
Varga, R.S.: Matrix Iterative Analysis. Springer, Berlin (2000)
Chan, R., Jin, X.: An Introduction to Iterative Toeplitz Solvers. SIAM, Philadelphia (2007)
Samarskii, A.A.: The Theory of Difference Schemes. Marcel Dekker, Inc., New York (2001)
Dimitrov, Y.: Numerical approximations for fractional differential equations. J. Fract. Calc. Appl. 5, 1–45 (2014)
Gustafsson, B.: High Order Difference Methods for Time Dependent PDE. Springer, Berlin (2008)
Isaacson, E., Keller, H.B.: Analysis of Numerical Methods. Dover Publications, Inc., New York (1994)
Diethelm, K.: The Analysis of Fractional Differential Equations. Springer, Berlin (2010)
Acknowledgements
The authors would like to thank the referees for their valuable comments and suggestions which improved the presentation of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was supported by Science and Technology Commission of Shanghai Municipality (STCSM) (No. 13dz2260400).
Appendix
Appendix
Proof of Proposition 5.1
“\(\Longrightarrow \)”: It follows from the result (1) of Lemma 2.2 with \(r_{0}=r\).
“\(\Longleftarrow \)”: Let \(y_\mathrm{ex}(t)\) be the extension defined by (2.9) (with r replaced by \(r+1\)). Since \(y^{(k)}(0)=0\) for \(k=0,1,\dots ,r\), we have from the proof of the result (1) of Lemma 2.2 (with \(r_{0}=r\) and \(r^{\prime }=r+1\)) that
This implies that the function \(|\omega |^{r+\alpha } \left| \hat{y}_\mathrm{ex}(\omega ) \right| \) is integrable on \(\mathbb {R}\) because of \(2-\alpha >1\), and so \(y_\mathrm{ex}(t)\in \mathscr {C}^{r+\alpha }(\mathbb {R})\), i.e., \(y(t)\in \mathscr {C}^{r+\alpha }[0,T]\). \(\square \)
Proof of Proposition 5.2
Since \(u(x,t)\in C^{0,1}([0,L]\times [0,T])\) and \(\mathcal{L}u(x,t)\in C^{0,1}([0,L]\times [0,T])\), we apply the Caputo fractional derivative operator \({_{~0}^{C}}\mathcal{D}_{t}^{1-\alpha }\) to the governing equation of (1.1) and make use of Lemma 3.13 in [59] to obtain
By Lemma 3.11 in [59], \({_{~0}^{C}}\mathcal{D}_{t}^{1-\alpha }( \mathcal{L}u )(x,0)=0\). This proves (5.3). \(\square \)
Proof of Proposition 5.3
By integrating by parts, we have that for \(p=1,2,\dots ,r-1\),
This shows that for \(p=1,2,\dots ,r-1\),
Similarly, for \(p=2,3,\dots ,r\),
Differentiating the governing equation of (1.1) p times with respect to t and then solving for \(\partial _{t}^{p}(\mathcal{L}u)(x,t)\), we obtain
This implies that for \(x\in [0,L]\),
Differentiating the Eq. (A.1) \(p-1\) times with respect to t yields
and so for \(x\in [0,L]\),
By Lemma 3.11 in [59], \({_{~0}^{C}}\mathcal{D}_{t}^{\alpha }(\partial _{t}^{p}u)(x,0)=0\) for \(p=1,2,\dots ,r-1\) and \({_{~0}^{C}}\mathcal{D}_{t}^{1-\alpha }(\partial _{t}^{p-1}(\mathcal{L}u))(x,0)=0\) for \(p=2,3,\dots ,r\). Then the result (5.4) follows by (A.3) and (A.6), and the result (5.5) follows by (A.4) and (A.8). The proof is completed. \(\square \)
Rights and permissions
About this article
Cite this article
Wang, YM., Ren, L. High-Order Compact Difference Methods for Caputo-Type Variable Coefficient Fractional Sub-diffusion Equations in Conservative Form. J Sci Comput 76, 1007–1043 (2018). https://doi.org/10.1007/s10915-018-0647-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10915-018-0647-4
Keywords
- Fractional sub-diffusion equation
- Variable coefficient
- Compact difference method
- High-order convergence
- Energy method