Abstract
A distributed order time fractional diffusion equation whose solution has a weak singularity near the initial time \(t = 0\) is considered. The numerical method of the paper uses the well-known L1 scheme on a graded mesh to discretize the time Caputo fractional derivative and a standard finite element method in space. A \(\beta \)-robust discrete fractional Grönwall inequality is investigated. By this inequality, the \(\beta \)-robust optimal-rate convergence and a superconvergence bound \(\Vert \nabla R_hu^n-\nabla u_h^n\Vert \) are proved. This superconvergence bound is also used to show that a simple postprocessing of the computed solution will yield a higher order of convergence in the spatial direction. The final convergence result reveals the optimal grading that one should use for the temporal graded mesh. Numerical results show that our analysis is sharp.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the present paper, we consider the distributed order time-fractional diffusion equation with corresponding initial and boundary conditions as following:
where \(\varOmega \subset \mathbb {R}^d ~(d=1,2,3), \kappa \) is a positive constant, and \( f\in C(\overline{Q})\) with \(\overline{Q}:=\varOmega \times [0,T]\). In (1.1a), \(\mathscr {D}^\omega _t u\) denotes the distributed order fractional derivative, which is defined by
where \(\omega (\alpha )\ge 0\), \(\int _0^\beta \omega (\alpha )\mathrm{d}\alpha =c_0>0\), \(D_t^\alpha u\) \((0<\alpha <1)\) is the fractional Caputo derivative of order \(\alpha \), defined by
The analytic solutions of the distributed order time-fractional diffusion equation have been studied by many researchers [13, 24, 29, 31]. However, only for a few problems the exact solutions can be displayed, and most of these solutions are consist of complex functions (Mittag-Leffler function, Wright function, etc.), which are not easy to compute. Thus it is very necessary to develop some efficient numerical methods to solve the distributed order time-fractional diffusion equation. Alikhanov [2] presented a priori estimates for the multi-term variable-distributed order diffusion equation by the method of the energy inequalities and investigated a difference scheme to solve it. Ye et al. [43] proposed a compact difference scheme for the problem (1.1) and got the stability and optimal convergent result for the proposed scheme. The numerical analysis of a finite difference method for the time distributed-order and Riesz space fractional diffusion equation was presented in [44]. Chen et al. [9] developed a fully discrete spectral method for the distributed order time-fractional reaction-diffusion equation, which will achieve the spectral accuracy. Bu et al. [8] investigated three efficient fully discrete finite element schemes to solve problem (1.1). Li et al. [23] developed two alternating direction implicit Galerkin-Legendre spectral methods for distributed-order differential equation in two-dimensional space. Samiee et al. [34, 35] proposed a unified and fast Petrov-Galerkin spectral method for distributed-order partial differential equations, where Jacobi poly-fractonomials and Legendre polynomials were employed as temporal and spatial basis/test functions, respectively. Furthermore, some recent developments are given in [1, 38, 42].
It is worth noting that the analysis of the above schemes is based on the assumption that the solution is smooth enough in time direction. However, this assumption is unrealistic. The solution of the time-fractional partial differential equation typically exhibits a weak singularity near the initial time. Mclean [30] investigated the regularity result of solutions for time fractional diffusion equations and discovered these singular behaviors. Stynes et al. [39] investigated the L1 scheme on graded mesh to solve these weak singularities of the time-fractional reaction diffusion equation. Liao et al. [27] developed a discrete fractional Grönwall inequality on nonuniform mesh, which can be used to solve the time-fractional nonlinear problem with a weakly singular solution. Ren and Chen [32] investigated a finite difference/spectral method to approximate a distributed order time fractional diffusion equation with initial singularity on two dimensional spatial domain, while the convergent result show that the bound will blow up as \(\beta \rightarrow 1^-\). Bu et al. [7] proposed a space-time finite element method for the distributed order time fractional reaction diffusion equation with weakly singular solution. Moreover, there are some other relevant works about the weakly singular solution for the time-fractional partial differential equation, e.g. the finite difference method [22, 26, 36], the finite element method [3, 20, 21, 41], the discontinuous Galerkin method [4, 5, 14, 15, 17, 33], the collocation method [19, 25].
Let p be a non-negative integer. Assume that \(u_0 \in D({\varDelta }^{{p}+2})\) and \(\partial _t^l f(\cdot ,t) \in D({\varDelta }^{{p}})\) for \(l=1,2\), where the fractional power \(\varDelta ^p\) is defined in [16, p.3]. Imitating [16, Theorem 2.1], we obtained that the solution of the initial-boundary value problem (1.1) satisfies
with \(l=0,1,2\), and \(0< \sigma <1\).
In this paper, we will construct the finite difference/finite element method to solve the initial-boundary value problem (1.1), whose solutions behave a weak singularity as (1.3). In order to obtain the sharp \(H^1\)-norm convergent result, the fully discrete L1 finite element method with integral formula will be written as differential formula. By investigating a \(\beta \)-robust discrete Grönwall inequality, the \(\beta \)-robust \(H^1\)-norm stability and convergent results are obtained. Furthermore, the superconvergent result in space direction will achieve.
The rest of the paper will organized as follows. In Sect. 2, several operators will be introduced, which will be used in following error estimate. In Sect. 3, we will construct a fully discrete scheme, which is based on the L1 scheme in time direction and the finite element method in space direction. The sharp \(H^1\)-norm stability and convergent result will be presented in Sect. 4, while these bounds will blow up as \(\beta \rightarrow 1^-\). To overcome this, a new analysis will be presented in Sect. 5, and the \(\beta \)-robust stability and convergent results are obtained by using a new \(\beta \)-robust Grönwall inequality. The superconvergent result in space direction is given in Sect. 6.Finally, in Sect. 7, the numerical experiments are presented to illustrate the sharpness of our theoretical analysis.
Notation. C denotes a generic constant, it is independent of mesh parameters N and h and can take different values in different places. We write \(\Vert \cdot \Vert _\infty \) and \(\Vert \cdot \Vert \) for the norms in \(L^\infty (\varOmega )\) and \(L^2(\varOmega )\) respectively. For each \(m\in \mathbb {N}\), the notation \(H^m(\varOmega )\) is used for the standard Sobolev space with its associated norm \(\Vert \cdot \Vert _m\) and seminorm \(|\cdot |_m\). The \(L^2(\varOmega )\) inner product is denoted by \((\cdot ,\cdot )\).
2 Preliminaries
Recall that \(\varOmega \subset \mathbb {R}^d\). To construct standard finite element space, we write \(Q_k\) for the space of polynomials of degree k in d variables. Denote the reference element \(\widehat{K}:=[0,1]^d\). Let \(\mathscr {T}_h\) be a quasiuniform partition of \(\varOmega \) (see Figure 1) into elements \(K_m\) for \(m=1,\ldots , M\), where each \(K_m = q_m({\hat{K}})\) for some \(q_m\in Q_k\). Then the standard mapped \(Q_k\) functions are used on each element (see, e.g., [12, Section 3.7]), set
where \(h:=\max _{1\le m\le M} \{\text {diam}(K_m)\}\) is the mesh diameter.
Next we will introduce three operators. First, define the \(L^2\) projector \(P_h: L^2(\varOmega ) \rightarrow V_{0h}\) by
One can show [6] that
where \(C_p\) is a positive constant independent of the mesh size h.
The Ritz projector \(R_h: H_0^1(\varOmega )\rightarrow V_{0h}\) is defined by \(\left( \nabla R_hw,\nabla v_h\right) =\left( \nabla w,\nabla v_h\right) \) for all \(v_h\in V_{0h}\). From [40, Lemma 1.1] we get
Next, we define the discrete Laplacian \(\varDelta _h: V_{0h}\rightarrow V_{0h}\) [40, (1.33)] by
Imitating [40, (1.34)], we get that these three operators are related by
3 The L1 FEM Method
In this section, we will approximate the problem (1.1) using the finite element method in space and the well-known L1 difference scheme in time, on a mesh that is uniform in space and graded in time.
3.1 Temporal Discretisation
Let q be a positive integer. Divide the interval \([0,\beta ]\) into q-subintervals with \(h_\alpha =\beta /q\). Denote \(\varvec{\alpha }:=(\alpha _1,\ldots , \alpha _q)\), and \(\mathbb {D}_t^{\varvec{\alpha }}u:=h_\alpha \sum _{s=1}^q\omega (\alpha _s)D_t^{\alpha _s}u\) with \(\alpha _s=(s-1/2)h_\alpha \) for \(s=1,\cdots , q\). Note that \(\alpha _s\) is the center of each cell \([(s-1)h_\alpha ,s h_\alpha ]\). Thus the distributed order fractional derivative can be approximated by the multi-term fractional derivative
where \(R(t):=\mathscr {D}^\omega _t u-\mathbb {D}_t^{\varvec{\alpha }}u\) denotes the approximation error. Under the conditions \(\omega (\alpha )\in C^2[0,\beta ]\) and \(D_t^\alpha u(\cdot ,\cdot )\in C^2[0,\beta ]\), one has \(\Vert R(t)\Vert \le Ch^2_\alpha \) by composite midpoint formula for numerical integration [11, (5.1.19)].
Let N be a positive integer. Set the temporal mesh \(t_n=T(n/N)^r\) for \(n=0,1,\dots ,N\), where the constant r satisfies \(r\ge 1\). Denote the time step \(\tau _n:=t_n-t_{n-1}\) for \(n=1,\dots ,N\).
The Caputo fractional derivative \(D_t^\alpha u(\cdot ,t_n)\) with \(0<\alpha <1\) is approximated by the well-known L1 approximation of [39, (3.1)]
where
Denote
Thus the distributed order fractional derivative (1.2) can be approximated by
It is easy to see that
Next, we will present three Lemmas, which will be used in our later analysis.
Lemma 3.1
[32, Lemma 2.2] For any grid function \(\{v^n\}_{n=0}^N\) , one has
Lemma 3.2
[32, Lemma 2.3] Suppose \(h_\alpha \) is sufficiently small, one has
One should bear in mind that in the rest of our paper, we always take \(h_\alpha \) sufficiently small to ensure Lemma 3.2 is valid.
Lemma 3.3
Let \(\sigma \in (0,1)\) and \(\alpha \in (0,1)\). Assume that \(\Vert u^{(l)}(\cdot , t)\Vert _1\le C(1+t^{\sigma -l})\) for \(l=0,1,2\), and \(t\in (0,T]\). Then
where C is a constant.
Proof
The result is followed from [32, Lemma 2.4] and [32, Lemma 2.6]. \(\square \)
3.2 The Fully Discrete L1 FEM
Firstly, we use the standard finite element method (FEM) to discretize (1.1a) in spatial direction. A weak formulation of (1.1) is: Find \(u(\cdot ,t)\in H^1_0(\varOmega )\) for each \(t\in (0,T]\), such that
with \(u(x,0)=u_0\).
Our semi-discrete FEM is: Find \(u_h(\cdot , t) \in V_{0h}\) for each \(t\in (0,T]\), such that
with \(u_h^0=R_hu_0\).
Applying the L1 scheme (3.4) to approximate (3.7) in temporal direction, the fully discrete L1 finite element method (L1 FEM) takes the form: find \(u_h^n \in V_{0h}\) for \(n=0,1,\dots ,N\) such that
where \(f^n(\cdot ) := f(\cdot , t_n)\).
By (2.4) and (2.1), the L1 FEM (3.8) can be written as: find \(u_h^n \in V_{0h}\) for \(n=0,1,\dots ,N\) such that
for \(n=1,\dots ,N\). Owing to \(\mathbb {D}_N^{\varvec{\alpha }} u_h^n, \varDelta _h u_h^n\) and \(P_hf^n\) all belong to \(V_{0h}\), this integral formulation of L1 FEM takes the differential form: find \(u_h^n \in V_{0h}\) for \(n=0,1,\dots ,N\) such that
for \(n=1,\dots ,N\).
4 \(H^1\)-norm Stability of L1 FEM
In this section, we will present the sharp \(H^1\)-norm stability and convergent results of the computed solution given in (3.9).
Next the following important property of the L1 scheme will be stated.
Lemma 4.1
Let the functions \(v^j = v(\cdot , t_j)\) be in \(L^2(\varOmega )\) for \(j=0,1,\dots , N\). Then the discrete L1 scheme satisfies
Proof
Let \(n\in \{1,2,\ldots ,N\}\). The definition of \(\mathbb {D}_N^{\varvec{\alpha }} v^n\) gives
where we used Cauchy-Schwarz inequalities and \(0< d_{n,i+1}<d_{n,i}\) given in (3.5). \(\square \)
Now we give the stability of the L1 FEM (3.9) in following lemma.
Lemma 4.2
The solution \(u_h^n\) of the discrete problem (3.9) satisfies
Proof
Fix \(n\in \{1,2,\ldots , N\}\). Multiplying (3.9) by \(-\varDelta _h u_h^n\) and integrating over \(\varOmega \), one has
Applying \(\kappa >0\), then use the definition (2.4) of \(\varDelta _h\) to get
Now Lemma 4.1, a Cauchy-Schwarz inequality, and (2.2) yield
Invoking (4.2) and Lemmas 3.1 and 3.2, one has
where Lemma 3.2 is used for the penultimate inequality. \(\square \)
Let \(u^n\) and \(u^n_h\) be the solutions of (1.1) and (3.9) respectively at time \(t=t_n\) for \(n = 0,1,\dots , N\). Denote \(R^n:=\mathscr {D}^\omega _t u(t_n)-\mathbb {D}_t^{\varvec{\alpha }}u(t_n)\) for \(n = 0,1,\dots , N\). To facilitate the error analysis for the standard finite element method, we follow the writing
where \(\zeta ^n:=R_hu^n-u^n_h\) and \(\rho ^n:=R_hu^n-u^n\). Now we consider the analysis of \(\zeta ^n\), because the bound of \(\rho ^n\) can be approximated immediately using (2.3). From (1.1a), (3.9), and (2.5), one has
where \(\varphi ^n(x) :={\mathbb {D}_t^{\varvec{\alpha }}u^n-\mathbb {D}_N^{\varvec{\alpha }} u^n=\sum _{s=1}^qh_{\alpha }\omega (\alpha _s)[D_t^{\alpha _s} u(x,t_n)-D_N^{\alpha _s} u(x,t_n)]}\). Clearly
Thus
We can now prove the optimal-rate convergence of our L1 FEM (3.9) in \(L^\infty (H^1)\).
Theorem 4.1
(Error estimate for the L1 FEM) Let \(u^n\) and \(u_h^n\) be the solutions of (1.1) and (3.9), respectively. Assume the hypotheses of (1.3) with \(k+1\le p\), \(\omega (\alpha )\in C^2[0,\beta ]\), and \(D_t^\alpha u(\cdot ,\cdot )\in C^2[0,\beta ]\). Then for \(n=1,2,\dots ,N\), there exists a constant C such that
Proof
Fix \(n\in \{1,2,\ldots , N\}\). Multiplying (4.5) by \(-\varDelta _h \zeta ^n\) and integrating over \(\varOmega \), one has
Recalling the definition (2.4) of \(\varDelta _h\) and the projection \(P_h\), we get
By Lemma 4.1 and a Cauchy-Schwarz inequality, this gives
Thus
Invoking Lemma 3.1 and (4.8), one has
where Lemmas 3.2 and 3.3, (2.3), and \(\Vert \nabla \zeta ^0\Vert =\Vert \nabla (R_h u^0-u^0)\Vert =0\) are used. Combining this bound and (2.3) with (4.3), we get (5.8). \(\square \)
Remark 4.1
The orders of convergence displayed in Theorem 4.1 indicate that the rates of convergence in space, distributed variable, and time are \(h^k\), \(h_\alpha ^2\), and \(N^{-\min \{r\sigma , 2-\alpha _q\}}\), respectively.
It is obvious that the convergent result obtained in Theorem 4.1 will blow up as \(\beta \rightarrow 1^-\). This phenomenon also appears in [32]. In the next part we will try to improve this convergent result by making it \(\beta \)-robust.
5 \(\beta \)-robust \(H^1\)-norm Error Analysis of the L1 FEM
In this section, we will present a \(\beta \)-robust discrete Grönwall inequality, which is an improve of [18, Lemma 8]. Applying this new discrete Grönwall inequality, a \(\beta \)-robust \(H^1\)-norm error estimate for the computed solution is obtained. Based on this result, a superconvergent result is achieved immediately.
As in [39, (4.6)], define the positive real numbers \(\theta _{n,j}\), for \(n=1,2,\dots , N\) and \(j=1,2,\dots , n-1\), by
where \(d_{n,k}\) is defined in (3.3). Observe that (3.5) implies \(\theta _{n,j}>0\) for all n, j.
Lemma 5.1
[10, Lemma 5.1] For \(n=1,2,\ldots , N\) and \(1\le k\le n\), one has
Lemma 5.2
Let \(\gamma \in (0,1)\) be a constant. Then for \(n=1,2,\ldots , N\), one has
Proof
Imitating [10, Lemma 5.3], one has
Thus
Multiply this inequality by \(\theta _{n,j}\) then sum from \(j=1\) to n. This yields
by changing the order of summation then invoking Lemma 5.1. \(\square \)
Corollary 5.1
Setting \(l_N=1/\ln N\), one has
Proof
Applying \(1\le j^{rl_N}\) and \(N^{rl_N}=e^r\), one has
Choosing \(\gamma =l_N\) in Lemma 5.2 yields
where \(t_n^{l_N}\le T^{l_N}\) is used. Thus the result follows. \(\square \)
Corollary 5.2
Setting \(l_N=1/\ln N\), one has
Proof
From Lemma 3.2 we have
Thus the result follows from Corollary 5.1 and \(\frac{1}{\min \{t_n^{-\alpha _1}, t_n^{-\alpha _q}\}}\le \max \{t_n^{\alpha _1}, t_n^{\alpha _q}\}\). \(\square \)
Next we will prove a new nonstandard Grönwall inequality, which is an improvement of [18, Lemma 8].
Lemma 5.3
Assume that the sequences \(\{\xi ^n\}_{n=1}^\infty , \{\eta ^n\}_{n=1}^\infty \) are nonnegative and the grid function \(\{\,v^n : \, n=0,1,\dots , N\}\) satisfies \(v^0 \ge 0\) and
Then
Proof
For \(n=1,\dots , N\), set
Our proof uses induction on n. First consider the case \(n=1\). If \(v^1\le \eta ^1_*\), then as \(v^0, \theta _{n,j}\) and \(\xi _j\) are all non-negative, the result for \(n=1\) follows immediately. Otherwise \(v^1> \eta ^1_*\), which implies \(v^1> \eta ^1 \ge 0\). Hence the inequality (5.4) with \(n=1\) gives us
i.e.,
by (3.4). Rearranging this inequality then invoking (5.1), one has
Thus the result is true for \(n=1\).
Fix \(k\in \{2,\ldots ,N\}\). Assume that (5.5) is valid for \(n=1,2,\ldots ,k-1\). If \(v^k\le \eta ^k_*\), then as \(v^0, \theta _{n,j}\) and \(\xi _j\) are all non-negative, the result for \(n=k\) follows immediately. Otherwise \(v^k> \eta ^k_*\), which implies \(v^k> \eta ^k \ge 0\). Hence the inequality (5.4) with \(n=k\) gives us
i.e.,
by (3.4). This is equivalent to
Combining this inequality with the inductive hypothesis yields
where we used the relationship (5.1), \(d_{k,k}>0\), and \(\eta ^n_*\) is nondecreasing for n increasing. We conclude the lemma is true by the principle of induction. \(\square \)
Now we will achieve a \(\beta \)-robust stability result for the fully discrete L1 FEM by Lemma 5.3.
Theorem 5.1
The solution \(u_h^n\) of the discrete problem (3.9) satisfies
where \(l_N\) is defined in Corollary 5.2.
Proof
Fix \(n\in \{1,2,\ldots , N\}\). Multiplying (3.9) by \(-\varDelta _h u_h^n\) and integrating over \(\varOmega \), one has
Discard the non-negative term \(\Vert \varDelta _h u_h^n\Vert ^2\), then use the definition (2.4) of \(\varDelta _h\) to get
Applying Lemma 4.1 yields
By Lemma 5.3, one has
Applied Corollary 5.2, the lemma is proved. \(\square \)
We then prove the main result of the paper, which demonstrates convergence of our method in \(L^\infty (H^1)\) with an optimal and \(\beta \)-robust convergence rate.
Theorem 5.2
(Error estimate) Let \(u^n\) and \(u_h^n\) be the solutions of (1.1) and (3.9), respectively. Assume the hypotheses of (1.3) with \(k+1\le p\), \(\omega (\alpha )\in C^2[0,\beta ]\), and \(D_t^\alpha u(\cdot ,\cdot )\in C^2[0,\beta ]\). Then for \(n=1,2,\dots ,N\), one has
where \(l_N=1/ln N\) and C is a constant independent of h and N.
Proof
Fix \(n\in \{1,2,\ldots , N\}\). Multiplying (4.5) by \(-\varDelta _h \zeta ^n\) and integrating over \(\varOmega \), we arrive at
Recalling the definition (2.4) of \(\varDelta _h\) and the projection \(P_h\) yileds
Applying the Lemma 4.1 and the Cauchy-Schwartz inequality, one has
Invoking (2.2) and (2.3), we get
where the inequality \(\Vert \nabla R_h w\Vert \le \Vert \nabla w\Vert \,\forall w\in H_0^1(\varOmega )\) is used. Observe that (5.11) is a particular case of (5.4). Thus we can invoke Lemma 5.3 to get
By Lemma 3.3, we get \(\Vert \nabla \varphi ^j\Vert \le C\sum _{s=1}^q h_\alpha \omega (\alpha _s)t_j^{-\alpha _s} N^{-\min \{2-\alpha _s,r\sigma \}}\). Substituting this inequality into (5.12) and invoking Corollaries 5.1 and 5.2 yields
where we used \(\Vert \nabla \zeta ^0\Vert =\Vert \nabla (R_h u^0-u_h^0)\Vert =0\). Combining this bound and (2.3) with (4.3), we get (5.8). \(\square \)
Remark 5.1
No blow up appear in the error estimate given in Theorem 5.2 as \(\beta \rightarrow 1^-\), unlike the bound in Theorem 4.1 and [32, Theorem 3.1].
Corollary 5.3
Assume the hypotheses of Theorem 5.2 are satisfied. Then
Proof
Applying Poincare inequality, one has \(\Vert R_hu^n-u^n_h\Vert \le C\Vert \nabla R_hu^n-\nabla u^n_h\Vert \). Combining this result with (5.9) and (2.3), we get (5.13). \(\square \)
6 Superconvergence Analysis
In this section, a superconvergent result for the distributed order time-fractional diffusion equation (1.1) in two-dimensions will be presented, where the bilinear element \((k=1)\) is used in our finite element space.
To obtain the superconvergent result, we will introduce two operators as follows. Let \(\pi _h:H^2(\varOmega )\rightarrow V_{0h}\) be the interpolation operator satisfying \(\pi _hv(a_i)=v(a_i)\), where \(a_i, (i=1,2,3,4)\) are the four vertices of \(K_m\). By [37, (8)], we get the \(H^1\)-norm estimate
which will play an important role in the superclose and superconvergence analysis.
Now we adopt the interpolation postprocessing operator \(\pi _{2h}\) as the same in [28], which satisfies
Next we will state the global superconvergence result.
Corollary 6.1
Assume the hypotheses of Theorem 5.2 are satisfied with \(p=3\). Using bilinear element \((k=1)\) in our finite element space. If the domain \(\varOmega \) is rectangular with sides parallel to the coordinate axes, one has
Proof
By triangle inequality, we arrive at \(\Vert \nabla \pi _hu^n-\nabla u_h^n\Vert \le \Vert \nabla \pi _hu^n-\nabla R_hu^n\Vert +\Vert \nabla R_hu^n-\nabla u_h^n\Vert \). Then the bound (6.3) follows from (6.1) and (5.9) immediately.
Furthermore, combining the bound (6.3) with (6.2) yields
Thus the proof is complete. \(\square \)
Remark 6.1
Under the same condition of Corollary 6.1, the spatial \(H^1\)-norm error of exact solution and numerical solution given in (5.8) reaches O(h) convergence for the bilinear element in space (note that the degree of the polynomial is \(k=1\) ). However, according to the superconvergent result (6.4), the \(H^1\)-norm error of the exact solution and numerical solution after postprocessing is improved to \(O(h^2)\) convergence.
7 Numerical Experiments
In this section we will present some numerical results for the initial-boundary value problem (1.1) whose solution mimic the behaviour described in (1.3) with \(\sigma =\beta \).
Define the errors \(E_0^{M,N}\), \(E_1^{M,N}\), and \(E_2^{M,N}\) for the computed solutions by
Example 7.1
Consider the problem (1.1) with \(\kappa =0.1\), \(T=1\), \(\omega (\alpha )=\varGamma (\beta +1-\alpha )/\varGamma (1+\beta )\), \(\varOmega =(0,1)\times (0,1)\), and the function f is chosen such that the exact solution of this problem is \(u(x,y,t)= t^\beta \sin (\pi x)\sin (\pi y)\).
To solve Example 7.1 numerically, a uniform rectangular partition of \(\varOmega \) with \(M+1\) nodes in each spatial direction and the bilinear polynomial in spatial are used. By taking \(r=(2-\beta )/\beta \), one obtains the optimal rates of convergence in Theorem 5.2 and Corollary 6.1, viz., \(O\left( h+h_\alpha ^2+N^{-(2-\beta )}\right) \) for \(\Vert \nabla u^n- \nabla u^n_h\Vert \) and \(O\left( h^{2}+h_\alpha ^2+N^{-(2-\beta )}\right) \) for \(\Vert \nabla \pi _h u^n-\nabla u_h^n\Vert \) and \(\Vert \nabla u^n-\nabla \pi _{2h}u_h^n\Vert \).
Firstly, we verify the temporal accuracy of our fully discrete L1 FEM (3.9). Table 1 shows the \(E_0^{M,N}\) errors for \(\beta =0.3, 0.5, 0.7\). Here \(M=\lceil N^{2-\beta }\rceil \) and \(q=100\) are taken so that the temporal error dominates the result. The orders of convergence displayed indicate that the rate of convergence is \(N^{-(2-\beta )}\), as predicted by (5.8) of Theorem 5.2. Tables 2 and 3 display the \(E_1^{M,N}\) and \(E_2^{M,N}\) error and their associated orders of convergence for \(\beta =0.3, 0.5, 0.7\), with \(M=\lceil N^{1-\beta /2}\rceil \) and \(q=100\) so that the temporal error dominates the distributed variable error and the spatial error. The orders of convergence displayed indicate that the rate of convergence is \(N^{-(2-\beta )}\), as predicted by Corollary 6.1.
Next we test the accuracy in spatial direction. Table 4 shows the \(E_0^{M,N}\), \(E_1^{M,N}\), and \(E_2^{M,N}\) errors and their associated orders of convergence for \(\beta =0.3, 0.5, 0.7\). Here \(N=200\) and \(q=100\) are taken so that the spatial error dominates the results. We observe O(h) convergence for \(E_0^{M,N}\) and \(O(h^2)\) convergence for \(E_1^{M,N}\) and \(E_2^{M,N}\), again as predicted by Theorem 5.2 and Corollary 6.1.
At last we check the convergence order for distributed variable. Table 5 shows the \(E_1^{M,N}\) error and the associated order of convergence for \(\beta =0.3,0.5,0.7\), where \(N=1000\) and \(M=200\) are taken to eliminate the temporal error and the spatial error.
These numerical results demonstrate the sharpness of our theoretical convergence bounds in Theorem 5.2 and Corollary 6.1.
Example 7.2
Consider the problem (1.1) with \(\kappa =0.1\), \(T=1\), \(\omega (\alpha )=\varGamma (\beta +1-\alpha )/\varGamma (1+\beta )\), \(\varOmega =(0,1)\times (0,1)\), and \(\phi (x,y)=x^{2.5}(x-1)y^{2.5}(y-1)\). The function f is chosen such that the exact solution of this problem is \(u(x,y,t)= (1+t^\beta )x^{2.5}(x-1)y^{2.5}(y-1)\), which is nonsmooth in spatial direction.
In this example, we just test the convergent result of \(E_1^{M,N}\) and \(E_2^{M,N}\), and the selection of M, N, and q is same as Example 7.1. Tables 6 and 7 show that \(E_1^{M,N}\) and \(E_2^{M,N}\) have the global truncation error \(O(N^{-(2-\beta )})\) in temporal direction. Table 8 shows that \(O(h^2)\) convergence for \(E_1^{M,N}\) and \(E_2^{M,N}\) in spatial direction is observed.
Data Availability
The datasets generated during the current study are available from the corresponding author on reasonable request.
References
Abbaszadeh, Mostafa, Dehghan, Mehdi: An improved meshless method for solving two-dimensional distributed order time-fractional diffusion-wave equation with error estimate. Numer. Algorithms 75(1), 173–211 (2017)
Alikhanov, Anatoly A.: Numerical methods of solutions of boundary value problems for the multi-term variable-distributed order diffusion equation. Appl. Math. Comput. 268, 12–22 (2015)
An, N.: Superconvergence of a finite element method for the time-fractional diffusion equation with a time-space dependent diffusivity. Adv. Differ. Equ. 2020(1), 1–11 (2020)
An, Na., Huang, Chaobao, Xijun, Yu.: Error analysis of direct discontinuous Galerkin method for two-dimensional fractional diffusion-wave equation. Appl. Math. Comput. 349, 148–157 (2019)
An, Na., Huang, Chaobao, Xijun, Yu.: Error analysis of discontinuous Galerkin method for the time fractional KdV equation with weak singularity solution. Discrete Contin. Dyn. Syst. Ser. B 25(1), 321–334 (2020)
Bramble, James H., Pasciak, Joseph E., Steinbach, Olaf: On the stability of the \({L}^2\) projection in \({H}^1({\Omega })\). Math. Comput. 71(237), 147–156 (2002)
Weiping, Bu., Ji, Lun, Tang, Yifa, Zhou, Jie: Space-time finite element method for the distributed-order time fractional reaction diffusion equations. Appl. Numer. Math. 152, 446–465 (2020)
Weiping, Bu., Xiao, Aiguo, Zeng, Wei: Finite difference/finite element methods for distributed-order time fractional diffusion equations. J. Sci. Comput. 72(1), 422–441 (2017)
Chen, Hu., Lü, Shujuan, Chen, Wenping: Finite difference/spectral approximations for the distributed order time fractional reaction-diffusion equation on an unbounded domain. J. Comput. Phys. 315, 84–97 (2016)
Chen, Hu., Stynes, Martin: Blow-up of error estimates in time-fractional initial-boundary value problems. IMA J. Numer. Anal. 41(2), 974–997 (2021)
Dahlquist, Germund, Björck, Åke.: Numerical methods in scientific computing:, vol. 1. Society for Industrial and Applied Mathematics, USA (2008)
Ganesan, Sashikumaar, Tobiska, Lutz: Finite elements Theory and algorithms. Cambridge University Press, Delhi (2017)
Gorenflo, Rudolf, Luchko, Yuri, Stojanović, Mirjana: Fundamental solution of a distributed order time-fractional diffusion-wave equation as probability density. Fract. Calc. Appl. Anal. 16(2), 297–316 (2013)
Huang, Chaobao, An, Na., Xijun, Yu.: A local discontinuous Galerkin method for time-fractional diffusion equation with discontinuous coefficient. Appl. Numer. Math. 151, 367–379 (2020)
Huang, Chaobao, An, Na., Xijun, Yu., Zhang, Huili: A direct discontinuous Galerkin method for time-fractional diffusion equation with discontinuous diffusive coefficient. Complex Var. Elliptic Equ. 65(9), 1445–1461 (2020)
Chaobao Huang and Martin Stynes: Superconvergence of a finite element method for the multi-term time-fractional diffusion problem. J. Sci. Comput. 82(1), 1–17 (2020)
Huang, Chaobao, Stynes, Martin, An, Na.: Optimal \(L^\infty (L^2)\) error analysis of a direct discontinuous Galerkin method for a time-fractional reaction-diffusion problem. BIT 58(3), 661–690 (2018)
Huang, Chaobao, Stynes, Martin, Chen, Hu.: An \(\alpha \)-robust finite element method for a multi-term time-fractional diffusion problem. J. Comput. Appl. Math. 389, 113334 (2021)
Jia, Jinhong, Wang, Hong, Zheng, Xiangcheng: A fast collocation approximation to a two-sided variable-order space-fractional diffusion equation and its analysis. J. Comput. Appl. Math. 388, 113234 (2021)
Kopteva, Natalia, Meng, Xiangyun: Error analysis for a fractional-derivative parabolic problem on quasi-graded meshes using barrier functions. SIAM J. Numer. Anal. 58(2), 1217–1238 (2020)
Li, Dongfang, Chengda, Wu., Zhang, Zhimin: Linearized Galerkin FEMs for nonlinear time fractional parabolic problems with non-smooth solutions in time direction. J. Sci. Comput. 80(1), 403–419 (2019)
Hongwei Li and Yuchen Wu: Artificial boundary conditions for nonlinear time fractional Burgers’ equation on unbounded domains. Appl. Math. Lett. 120, 107277 (2021)
Li, Xiaoli, Rui, Hongxing, Liu, Zhengguang: Two alternating direction implicit spectral methods for two-dimensional distributed-order differential equation. Numer. Algorithms 82(1), 321–347 (2019)
Li, Zhiyuan, Luchko, Yuri, Yamamoto, Masahiro: Asymptotic estimates of solutions to initial-boundary-value problems for distributed order time-fractional diffusion equations. Fract. Calc. Appl. Anal. 17(4), 1114–1136 (2014)
Liang, Hui, Stynes, Martin: Collocation methods for general Caputo two-point boundary value problems. J. Sci. Comput. 76(1), 390–425 (2018)
Liao, Hong-lin, Li, Dongfang, Zhang, Jiwei: Sharp error estimate of the nonuniform L1 formula for linear reaction-subdiffusion equations. SIAM J. Numer. Anal. 56(2), 1112–1133 (2018)
Liao, Hong-lin, McLean, William, Zhang, Jiwei: A discrete Grönwall inequality with applications to numerical schemes for subdiffusion problems. SIAM J. Numer. Anal. 57(1), 218–237 (2019)
Qun Lin and Jiafu Lin: Finite element methods: accuracy and improvement. Elsevier, Netherlands (2007)
Luchko, Yury: Boundary value problems for the generalized time-fractional diffusion equation of distributed order. Fract. Calc. Appl. Anal. 12(4), 409–422 (2009)
McLean, William: Regularity of solutions to a time-fractional diffusion equation. ANZIAM J. 52(2), 123–138 (2010)
Igor Podlubny. Fractional differential equations, volume 198 of Mathematics in Science and Engineering. Academic Press, Inc., San Diego, CA, 1999. An introduction to fractional derivatives, fractional differential equations, to methods of their solution and some of their applications
Ren, Jincheng, Chen, Hu.: A numerical method for distributed order time fractional diffusion equation with weakly singular solutions. Appl. Math. Lett. 96, 159–165 (2019)
Ren, Jincheng, Huang, Chaobao, An, Na.: Direct discontinuous Galerkin method for solving nonlinear time fractional diffusion equation with weak singularity solution. Appl. Math. Lett. 102, 106111 (2020)
Samiee, Mehdi, Kharazmi, Ehsan, Meerschaert, Mark M., Zayernouri, Mohsen: A unified Petrov-Galerkin spectral method and fast solver for distributed-order partial differential equations. Commun. Appl. Math. Comput. 3(1), 61–90 (2021)
Mehdi Samiee, Ehsan Kharazmi, Mohsen Zayernouri, and Mark M Meerschaert. Petrov-galerkin method for fully distributed-order fractional partial differential equations, 2018
Shen, Jinye, Li, Changpin, Sun, Zhi-zhong: An H2N2 interpolation for Caputo derivative with order in \((1,2)\) and its application to time-fractional wave equations in more than one space dimension. J. Sci. Comput. 83(2), 29 (2020)
Shi, Dong Yang, Wang, Fen Ling, Fan, Ming Zhi, Zhao, Yan Min: A new approach of the lowest-order anisotropic mixed finite element high-accuracy analysis for nonlinear sine-Gordon equations. Math. Numer. Sin. 37(2), 148–161 (2015)
Shi, Y.H., Liu, F., Zhao, Y.M., Wang, F.L., Turner, I.: An unstructured mesh finite element method for solving the multi-term time fractional and Riesz space distributed-order wave equation on an irregular convex domain. Appl. Math. Model. 73, 615–636 (2019)
Stynes, Martin, O’Riordan, Eugene, Gracia, José Luis.: Error analysis of a finite difference method on graded meshes for a time-fractional diffusion equation. SIAM J. Numer. Anal. 55(2), 1057–1079 (2017)
Thomée, Vidar: Galerkin finite element methods for parabolic problems. Springer, Berlin (2006)
Wang, Feng, Chen, Huanzhen, Wang, Hong: Finite element simulation and efficient algorithm for fractional Cahn-Hilliard equation. J. Comput. Appl. Math. 356, 248–266 (2019)
Wei, Leilei, Liu, Lijie, Sun, Huixia: Stability and convergence of a local discontinuous Galerkin method for the fractional diffusion equation with distributed order. J. Appl. Math. Comput. 59(1–2), 323–341 (2019)
Ye, H., Liu, F., Anh, V.: Compact difference scheme for distributed-order time-fractional diffusion-wave equation on bounded domains. J. Comput. Phys. 298, 652–660 (2015)
Ye, H., Liu, F., Anh, V., Turner, I.: Numerical analysis for the time distributed-order and Riesz space fractional diffusions on bounded domains. IMA J. Appl. Math. 80(3), 825–838 (2015)
Acknowledgements
The research of Chaobao Huang is supported in part by the National Natural Science Foundation of China under grants Nos. 12101360 and 12171278 and the Natural Science Foundation of Shandong Province under grant ZR2020QA031. The research of Hu Chen is supported in part by the National Natural Science Foundation of China under grant 11801026, sponsored by OUC Scientific Research Starting Fund of Introduced Talent. The research of Na An is supported in part by the National Natural Science Foundation of China under grant 11801332.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Code availability
Codes of the current study are available from the authors on reasonable request.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Huang, C., Chen, H. & An, N. \(\beta \)-Robust Superconvergent Analysis of a Finite Element Method for the Distributed Order Time-Fractional Diffusion Equation. J Sci Comput 90, 44 (2022). https://doi.org/10.1007/s10915-021-01726-2
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10915-021-01726-2