Skip to main content

Theory and Modern Applications

High-order compact finite volume scheme for the 2D multi-term time fractional sub-diffusion equation

Abstract

Based on an L1 interpolation operator, a new high-order compact finite volume scheme is derived for the 2D multi-term time fractional sub-diffusion equation. It is shown that the difference scheme is unconditionally convergent and stable in \(L_{\infty }\)-norm. The convergence order is \(O(\tau ^{2-\alpha }+h_{1}^{4}+h_{2}^{4})\), where τ is the temporal step size and \(h_{1}\) is the spatial step size in one direction, \(h_{2}\) is the spatial step size in another direction. Two numerical examples are implemented, testifying to their efficiency and confirming their convergence order.

1 Introduction

The study of fractional partial differential equations has attracted many scholars’ attention in recent decades [2729, 32]. Fractional differential equations are invoked in various scientific and engineering applications now. Physical phenomena in these fields, such as semiconductor, nuclear magnetic resonance, and signal processing, are successfully described by differential equations involving derivatives of fractional order [5, 6, 24, 25]. Moreover, some physical phenomena cannot be described by single-term time fractional partial differential equations, and they have to be described by multi-term time fractional partial differential equations [4]. For example, when modeling various types of viscoelastic damping one must use multi-term time fractional partial differential equations. Because the fractional integrals and derivatives satisfy the nonlocal properties, fractional-order partial differential equations are different from classical partial differential equations.

Many theoretical analyses about the multi-term time fractional partial differential equations have been carried out, but the analytic solutions cannot be obtained exactly in most fractional partial differential equations [10, 23]. Other scholars have discussed the numerical solution of fractional partial differential equations by using different methods, such as finite difference method, compact finite difference method, finite element method, alternating direction implicit schemes, and so on [13, 79, 1113, 1517, 1922, 26, 30, 3436, 3841, 4345, 47, 48, 50, 51, 53, 54]. Agarwal et al. discussed the solvability a linear loaded integro-differential equation in an infinite three-dimensional domain [1]. Then, Agarwal et al. analyzed special functions of differential equations [2]. Alderremy et al. structured new models of the multi-space fractional Gardner equation [3]. Wang et al. considered some tractable cases of limit values in which either a difference of two ingredients or a difference equation is used coupled with the relevant functional equations to give rise to unexpected results [41]. El-Sayed et al. introduced a numerical technique for solving a class of multi-term variable-order fractional differential equations [11]. Chen and Liu structured a finite difference method for two-dimensional anomalous sub-diffusion equation, and they analyzed the stability and convergence of the scheme [7]. Yuste and Acedo found a finite difference method which can solve the time fractional diffusion equation by using a forward Euler scheme, and they discussed the stability and convergence of the scheme [48]. Ren and Sun proposed some efficient and stable numerical methods for multi-term time fractional sub-diffusion equations, and they proved that these methods are stable convergent in the sense of the maximum norm [30]. Liu has made a great contribution to fractional partial differential equations by using a finite difference method and discussed the stability and convergence by using a new energy method [19, 21]. Tadjeran et al. structured a second-order accurate numerical approximation for the fractional diffusion equation [36]. Sun et al. introduced a linearized second-order difference scheme for the nonlinear time fractional fourth-order reaction-diffusion equation [34]. Cui obtained finite difference schemes for the variable coefficients single- and multi-term time fractional diffusion equations [8]. To obtain higher order accuracy, a compact finite difference scheme is put forward. Wang et al. proposed compact difference schemes for the modified anomalous fractional sub-diffusion equation and the fractional diffusion-wave equation [44]. Cui structured a compact difference scheme for time fractional fourth-order equation with first Dirichlet boundary condition and discussed the stability and convergence [9]. Gao and Liu proposed a compact difference scheme for fourth-order temporal multi-term fractional wave equations and obtained maximum error estimates [13]. Later, Ji and Sun provided a high-order compact finite difference scheme for the fractional sub-diffusion equation [16]. Zhuang et al. structured a new solution of the implicit numerical methods for the anomalous sub-diffusion equation and a numerical method of the modified anomalous sub-diffusion equation with a nonlinear source term [20, 53]. Liu et al. provided finite element approximation for a modified anomalous sub-diffusion equation and a finite element method for two-dimensional multi-term time fractional diffusion wave equations [22, 45]. Langlands et al. introduced an implicit solution method for the fractional diffusion equation and proved the accuracy and stability of the scheme [17]. Wang et al. proposed a high-order compact ADI method for two-dimensional fractional convection sub-diffusion equations with Neumann boundary conditions and proved its unconditional stability and global convergence to be \(O(\tau ^{2-\alpha }+h^{4})\) in the discrete L2 norm [43]. Zhang and Sun obtained alternating direction implicit schemes for the two-dimensional fractional sub-diffusion equation, and they proved that schemes are unconditionally stable and the numerical solution converges in the maximum norm [50]. Yang et al. provided a variational iteration method for solving multi-order fractional differential equations [47]. Furthermore, Zhuang et al. structured an implicit numerical method for the nonlinear fractional reaction sub-diffusion process, and they proved that the scheme was conditionally stable using the Fourier method [54]. Later, Zhang et al. proposed a Crank–Nicolson type difference scheme for the sub-diffusion equation which has a variable time and proved its unconditional stability in the maximum norm [51]. Tuan et al. analyzed a backward problem for fractional diffusion equation with Riemann–Liouville derivative [40]. Tuan et al. solved final value problem for nonlinear time fractional reaction-diffusion equation with discrete data [38]. Tuan et al. handled a terminal value problem for a generalization of fractional diffusion equation with hyper-Bessel operator [39]. Nguyen et al. settled a terminal value problem for time fractional diffusion equation by using regularization [26]. In addition, more researchers have found other numerical schemes such as the finite element method and others [12, 15, 18, 33, 35, 37, 46, 52]. Zhou et al. structured a weak Galerkin finite element method for multi-term time fractional diffusion equations [52]. Lin et al. obtained a separable freconditioner for time-space fractional Caputo–Riesz diffusion equations [18]. Sheng and Shen proposed a space-time Petrov–Galerkin spectral method for time fractional diffusion equation [33]. Wu and Zhou provided parareal algorithms with local time integrators for time fractional differential equations [46]. Tang et al. introduced energy dissipation theory and numerical stability for time fractional phase field equations [37]. Obviously, the study of the time fractional sub-diffusion equation, which included only one item time fractional order, is thorough. In fractional physics, especially diffusion movement, the concept of Brown movement is extended because of the generalization of Gauss probability function. The scope of nuclear magnetic resonance is expanding by added resolving power, so one item time fractional order cannot explain this kind of problem. Multi-term time fractional sub-diffusion equations play an important role in actual production and life.

The finite volume method is also called the control volume method. This method is an important approximation method. We usually mesh the space and there are nonrepetitive control volumes near each grid point. Then, we integrate the equations separately on each control volume. Finally, we approximate the first-order partial derivatives with the function values of nodes. Zhang and Jiang provided a compact finite volume method for one-dimensional Schrödinger equation [49]. Wang et al. proposed a compact finite volume scheme for one-dimensional parabolic equations with third boundary conditions, and proved that the scheme is unconditionally stable [42]. The finite volume method has obvious advantages of integral conservation [31].

Consider the following two-dimensional multi-term time fractional sub-diffusion equation with homogeneous source term on the computational domain \(\Omega \times [0,T]\):

$$ \textstyle\begin{cases} {}^{C}_{0}D^{\alpha }_{t}u(x,y,t)+^{C}_{0}D^{\beta }_{t}u(x,y,t)=\Delta u(x,y,t)+f(x,y,t), & (x,y)\in \Omega , t\in (0,T], \\ u(x,y,t)=\psi (x,y,t), & (x,y)\in \partial \Omega ,t\in [0,T], \\ u(x,y,0)=\varphi (x,y), & (x,y)\in \Omega , \end{cases} $$
(1)

where \(\Omega =(0,L_{1})\times (0,L_{2})\), Ω is the boundary, \(0<\beta <\alpha <1\), and the operator \({}^{C}_{0}D^{\alpha }_{t}\) denotes the Caputo fractional derivative of order α defined by

$$ ^{C}_{0}D^{\alpha }_{t}f(t)= \frac{1}{\Gamma (1-\alpha )} \int ^{t}_{0}\frac{f^{\prime }(\xi )}{(t-\xi )^{\alpha }}\,d\xi , $$

\(\Gamma (\cdot )\) is the gamma function, and \(\psi (x,y,t)\), \(\varphi (x,y)\), and \(f(x,y,t)\) are the known smooth functions, \(\psi (x,y,0)=\varphi (x,y)\).

For the numerical approximation, take three positive integers \(M_{1}\), \(M_{2}\), N, and let \(h_{1}=\frac{L_{1}}{M_{1}}\), \(h_{2}=\frac{L_{2}}{M_{2}}\), \(\tau =\frac{T}{N}\). Define \(x_{i}=ih_{1}\) (\(0\leq i\leq M_{1}\)), \(y_{j}=jh_{2}\) (\(0\leq i\leq M_{2}\)), \(t_{n}=n\tau\) (\(0\leq n\leq N\)), \(\Omega _{h_{1}}=\{x_{i}\mid 0\leq i\leq M_{1}\}\), \(\Omega _{h_{2}}=\{y_{j}\mid 0\leq i\leq M_{2}\}\), \(\Omega _{\tau }=\{t_{n}\mid 0\leq i\leq N\}\). Define \(\overline{\Omega }_{h}=\Omega _{h_{1}}\times \Omega _{h_{2}}\), \(\Omega _{h}=\overline{\Omega }_{h}\cup \partial \Omega \), \(\Omega _{h\tau }=\Omega _{h}\times \Omega _{\tau }\), then the computational domain \(\Omega \times [0,T]\) is covered by \(\Omega _{h\tau }\). Define primal partition \(I_{h}\), grid element \(I_{ij}=[x_{i},x_{i+1}]\times [y_{j},y_{j+1}]\) (\(0\leq i\leq M_{1}-1\), \(0 \leq j\leq M_{2}-1\)). Define dual partition \(I_{h}^{\ast }\), \(I_{0j}^{\ast }=[0,x_{\frac{1}{2}}]\times [y_{j-\frac{1}{2}},y_{j+ \frac{1}{2}}]\), \(I_{0i}^{\ast }=[0,y_{\frac{1}{2}}]\times [x_{i-\frac{1}{2}},x_{i+ \frac{1}{2}}]\), \(I_{ijp}^{\ast }=[x_{i-\frac{1}{2}},x_{i+\frac{1}{2}}]\times [y_{j- \frac{1}{2}},y_{j+\frac{1}{2}}]\) (\(1\leq i\leq M_{1}-1\), \(1\leq j\leq M_{2}-1\)), \(I_{jM_{1}}^{\ast }=[y_{j-\frac{1}{2}},y_{j+\frac{1}{2}}]\times [x_{M_{1}- \frac{1}{2}},L_{1}]\), \(I_{iM_{2}}^{\ast }=[x_{i-\frac{1}{2}},x_{i+\frac{1}{2}}]\times [x_{M_{2}- \frac{1}{2}},L_{2}]\). Suppose that \(u=\{u_{i,j}^{n}\mid 0\leq i\leq M_{1},0\leq j\leq M_{2},0\leq n\leq N \}\) is a grid function on \(\Omega _{h\tau }\). For every grid function u, we define the following notations:

$$ \delta _{x}u_{i-\frac{1}{2},j}^{n}= \frac{1}{h_{1}}\bigl(u_{i,j}^{n}-u_{i-1,j}^{n} \bigr),\qquad \delta _{y}u_{i,j-\frac{1}{2}}^{n}= \frac{1}{h_{2}}\bigl(u_{i,j}^{n}-u_{i.j-1}^{n} \bigr). $$

By using an L1 interpolation operator and a compact operator, we can construct a high-order compact finite scheme and establish the corresponding error estimate. The remainder of the article is arranged as follows. In Sect. 2, the compact finite volume scheme is derived. In Sect. 3, the existence and uniqueness, stability and convergence of the finite volume scheme are proved. In Sect. 4, two numerical examples are given to demonstrate the theoretical results. Finally, we obtain a brief conclusion.

2 The derivation of the compact finite volume scheme

To construct the compact finite volume scheme, we introduce some important lemmas.

Lemma 1

If \(g(x)\in C^{3}[0,L_{1}]\) and \(x_{i+\frac{1}{2}}=(i+\frac{1}{2})h_{1}\), \(0\leq i\leq M_{1}-1\), then

$$ \int ^{x_{i+\frac{1}{2}}}_{x_{i-\frac{1}{2}}}g(x)\,dx= \frac{h_{1}}{24} \bigl[g(x_{i-1})+22g(x_{i})+g(x_{i+1})\bigr] +C_{1}h_{1}^{4}, $$

where

$$C_{1}= \int ^{\frac{1}{2}}_{-\frac{1}{2}} \frac{g^{3}(\theta _{1})}{6}\xi \bigl( \xi ^{2}-1\bigr)\,d\xi ,\quad \theta _{1} \in (x_{i-\frac{1}{2}},x_{i+\frac{1}{2}}).$$

Especially,

$$ \int ^{x_{\frac{1}{2}}}_{0}g(x)\,dx=\frac{h_{1}}{3}g(x_{0})+ \frac{5h_{1}}{24}g(x_{1})-\frac{h_{1}}{24}g(x_{2})+O \bigl(h_{1}^{4}\bigr) $$

and

$$ \int ^{x_{M_{1}}}_{x_{M_{1}-\frac{1}{2}}}g(x)\,dx=- \frac{h_{1}}{24}g(x_{M_{1}-2})+ \frac{5h_{1}}{24}g(x_{M_{1}-1})+ \frac{h_{1}}{3}g(x_{M_{1}})+O \bigl(h_{1}^{4}\bigr). $$

Similarly, if \(w(y)\in C^{3}[0,L_{2}]\), we obtain that

$$ \int ^{y_{j+\frac{1}{2}}}_{y_{j-\frac{1}{2}}}w(x)\,dx= \frac{h_{2}}{24} \bigl[w(y_{j-1})+22w(y_{j})+w(y_{j+1})\bigr] +C_{2}h_{2}^{4}, $$

where

$$C_{2}= \int ^{\frac{1}{2}}_{-\frac{1}{2}} \frac{w^{3}(\theta _{2})}{6}\xi \bigl( \xi ^{2}-1\bigr)\,d\xi , \quad \theta _{2} \in (y_{j-\frac{1}{2}},y_{j+\frac{1}{2}}).$$

Especially,

$$ \int ^{y_{\frac{1}{2}}}_{0}w(y)\,dy=\frac{h_{2}}{3}w(y_{0})+ \frac{5h_{2}}{24}w(y_{1})-\frac{h_{2}}{24}w(y_{2})+O \bigl(h_{2}^{4}\bigr) $$

and

$$ \int ^{y_{M_{2}}}_{y_{M_{2}-\frac{1}{2}}}w(y)\,dy=- \frac{h_{2}}{24}w(y_{M_{2}-2})+ \frac{5h_{2}}{24}w(y_{M_{2}-1})+ \frac{h_{2}}{3}w(y_{M_{2}})+O \bigl(h_{2}^{4}\bigr). $$

Proof

We only prove the first integral approximation. The proof process of the second integral approximation is similar to the first one. We use Lagrange interpolation to approximate \(g(x)\) at the points \((x_{i-1},g(x_{i-1}))\), \((x_{i},g(x_{i}))\), and \((x_{i+1},g(x_{i+1}))\). We can obtain that

$$ g(x)=L_{2}(x)+R_{2}(x), $$

where

$$\begin{aligned} L_{2}(x)={}& \frac{(x-x_{i})(x-x_{i+1})}{(x_{i-1}-x_{i})(x_{i-1}-x_{i+1})}g(x_{i-1})+ \frac{(x-x_{i-1})(x-x_{i+1})}{(x_{i}-x_{i-1})(x_{i}-x_{i+1})}g(x_{i}) \\ &{}+\frac{(x-x_{i-1})(x-x_{i})}{(x_{i+1}-x_{i-1})(x_{i+1}-x_{i})}g(x_{i+1}) \end{aligned}$$

and

$$ R_{2}(x)=\frac{g^{3}(\theta _{1})}{6}(x-x_{i-1}) (x-x_{i}) (x-x_{i+1}),\quad \theta _{1}\in (x_{i-\frac{1}{2}},x_{i+\frac{1}{2}}). $$

Integrating \(g(x)\) by parts, we have

$$ \int ^{x_{i+\frac{1}{2}}}_{x_{i-\frac{1}{2}}}g(x)\,dx= \int ^{x_{i+\frac{1}{2}}}_{x_{i-\frac{1}{2}}}\bigl(L_{2}(x)+R_{2}(x) \bigr)\,dx. $$

To obtain the approximation order, we use substitution to simplify integral terms. For example, let \(\xi =\frac{x-ih_{1}}{h_{1}}\), so the integral terms can be simplified into

$$ L_{2}(\xi )=\frac{1}{2}\xi (\xi -1)g(x_{i-1})- \bigl(\xi ^{2}-1\bigr)g(x_{i})+ \frac{1}{2}\xi (\xi +1)g(x_{i+1}) $$

and

$$ R_{2}(\xi )=\frac{g^{3}(\theta _{1})h_{1}^{3}}{6}\xi \bigl(\xi ^{2}-1 \bigr). $$

Then

$$ \int ^{x_{i+\frac{1}{2}}}_{x_{i-\frac{1}{2}}}L_{2}(x)\,dx= h_{1} \int ^{\frac{1}{2}}_{-\frac{1}{2}}L_{2}(\xi )\,d\xi = \frac{h_{1}}{24}\bigl(g(x_{i-1})+22g(x_{i})+g(x_{i+1}) \bigr) $$

and

$$ \int ^{x_{i+\frac{1}{2}}}_{x_{i-\frac{1}{2}}}R_{2}(x)\,dx= h_{1} \int ^{\frac{1}{2}}_{-\frac{1}{2}}R_{2}(\xi )\,d\xi = h_{1}^{4} \int ^{\frac{1}{2}}_{-\frac{1}{2}} \frac{g^{3}(\theta _{1})}{6}\xi \bigl( \xi ^{2}-1\bigr)\,d\xi . $$

Following the proof process of the first conclusion, we easily obtain the second conclusion. □

Define a grid function space \(U_{h_{1}}=\{g|g=(g_{0},g_{1}, \ldots , g_{M_{1}})\}\). For every \(g\in U_{h_{1}}\), define the integral operator as follows:

$$ (S_{x}g)_{i}=\frac{h_{1}}{24}(g_{i-1}+22g_{i}+g_{i+1}), \quad (1\leq i \leq M_{1}-1) $$

with \((S_{x}g)_{0}=\frac{h_{1}}{3}g_{0}+\frac{5h_{1}}{24}g_{1}- \frac{h_{1}}{24}g_{2}\), \((S_{x}g)_{M_{1}}=-\frac{h_{1}}{24}g_{M_{1}-2}+ \frac{5h_{1}}{24}g_{M_{1}-1}+\frac{h_{1}}{3}g_{M_{1}}\).

Similarly, for every \(w\in U_{h_{2}}\), define the integral operator as follows:

$$ (S_{y}w)_{j}=\frac{h_{2}}{24}(w_{j-1}+22w_{j}+w_{j+1}), \quad (1\leq j \leq M_{2}-1) $$

with \((S_{y}w)_{0}=\frac{h_{2}}{3}w_{0}+\frac{5h_{2}}{24}w_{1}- \frac{h_{2}}{24}w_{2}\), \((S_{y}w)_{M_{2}}=-\frac{h_{2}}{24}w_{M_{2}-2}+ \frac{5h_{2}}{24}w_{M_{2}-1}+\frac{h_{2}}{3}w_{M_{2}}\).

Lemma 2

If \(g(x)\in C^{5}[0,L_{1}]\) and \(x_{i+\frac{1}{2}}=(i+\frac{1}{2})h_{1}\), \(0\leq i\leq M_{1}-1\), then

$$ \frac{1}{24}\bigl[g^{\prime }(x_{i-\frac{3}{2}})+22g^{\prime }(x_{i-\frac{1}{2}})+g^{\prime }(x_{i+ \frac{1}{2}}) \bigr]=\frac{1}{h_{1}}\bigl[g(x_{i})-g(x_{i-1}) \bigr]+C_{1}h_{1}^{4}, $$

where

$$\begin{aligned} C_{1}={} & \int ^{1}_{0}\biggl\{ \frac{1}{144} \bigl[g^{(5)}(x_{i- \frac{1}{2}}-\lambda h_{1})+g^{(5)}(x_{i-\frac{1}{2}}+ \lambda h_{1})\bigr](1- \lambda )^{3} \\ &{}-\frac{1}{48}\biggl[g^{(5)}\biggl(x_{i-\frac{1}{2}}- \frac{\lambda }{2}h_{1}\biggr)+g^{(5)} \biggl(x_{i- \frac{1}{2}}+\frac{\lambda }{2}h_{1}\biggr)\biggr](1- \lambda )^{4}\biggr\} \,d\lambda . \end{aligned}$$

Especially,

$$ 3g^{\prime }(x_{\frac{1}{2}})-5g^{\prime }(x_{\frac{3}{2}})+4g^{\prime }(x_{\frac{5}{2}})-g^{\prime }(x_{ \frac{7}{2}})= \frac{1}{h_{1}}\bigl[g(x_{1})-g(x_{0})\bigr]+O \bigl(h_{1}^{4}\bigr) $$

and

$$ -g^{\prime }(x_{M_{1}-\frac{7}{2}})+4g^{\prime }(x_{M_{1}-\frac{5}{2}})-5g^{\prime }(x_{M_{1}- \frac{3}{2}})+3g^{\prime }(x_{M_{1}-\frac{1}{2}})= \frac{1}{h_{1}}\bigl[g(x_{M_{1}})-g(x_{M_{1}-1})\bigr]+O \bigl(h_{1}^{4}\bigr). $$

Similarly, if \(w(y)\in C^{5}[0,L_{2}]\) and \(y_{j+\frac{1}{2}}=(j+\frac{1}{2})h_{2}\), \(0\leq i\leq M_{2}-1\), then

$$ \frac{1}{24}\bigl[w^{\prime }(y_{j-\frac{3}{2}})+22w^{\prime }(y_{j-\frac{1}{2}})+w^{\prime }(y_{j+ \frac{1}{2}}) \bigr]=\frac{1}{h_{2}}\bigl[w(y_{j})-w(y_{j-1}) \bigr]+C_{2}h_{2}^{4}, $$

where

$$\begin{aligned} C_{2}= {} & \int ^{1}_{0}\biggl\{ \frac{1}{144} \bigl[w^{(5)}(y_{j- \frac{1}{2}}-\lambda h_{2})+w^{(5)}(y_{j-\frac{1}{2}}+ \lambda h_{2})\bigr](1- \lambda )^{3} \\ &{}-\frac{1}{48}\biggl[w^{(5)}\biggl(y_{j-\frac{1}{2}}- \frac{\lambda }{2}h_{2}\biggr)+w^{(5)} \biggl(y_{j- \frac{1}{2}}+\frac{\lambda }{2}h_{2}\biggr)\biggr](1- \lambda )^{4}\biggr\} \,d\lambda . \end{aligned}$$

Especially,

$$ 3w^{\prime }(y_{\frac{1}{2}})-5w^{\prime }(y_{\frac{3}{2}})+4w^{\prime }(y_{\frac{5}{2}})-w^{\prime }(y_{ \frac{7}{2}})= \frac{1}{h_{2}}\bigl[w(y_{1})-w(y_{0})\bigr]+O \bigl(h_{2}^{4}\bigr) $$

and

$$\begin{aligned}& -w^{\prime }(y_{M_{2}-\frac{7}{2}})+4w^{\prime }(y_{M_{2}-\frac{5}{2}})-5w^{\prime }(y_{M_{2}- \frac{3}{2}})+3w^{\prime }(y_{M_{2}-\frac{1}{2}}) \\& \quad =\frac{1}{h_{{2}}}\bigl[w(y_{M_{2}})-w(y_{M_{2}-1}) \bigr]+O\bigl(h_{2}^{4}\bigr). \end{aligned}$$

Proof

We also only prove the first equation. Based on the Taylor expansion, we obtain the following equations:

$$\begin{aligned} &g(x_{i})=g(x_{i-\frac{1}{2}})+ \frac{h_{1}}{2}g^{\prime }(x_{i-\frac{1}{2}})+ \frac{h_{1}^{2}}{8}g^{\prime \prime }(x_{i-\frac{1}{2}})+ \frac{h_{1}^{3}}{48}g^{(3)}(x_{i- \frac{1}{2}}) \\ &\hphantom{g(x_{i})=}{}+\frac{h_{1}^{4}}{384}g^{(4)}(x_{i-\frac{1}{2}})+ \frac{1}{24} \int ^{x_{i}}_{x_{i- \frac{1}{2}}}g^{(5)}(s) (x_{i}-s)^{4}\,ds, \end{aligned}$$
(2)
$$\begin{aligned} &g(x_{i-1})=g(x_{i-\frac{1}{2}})- \frac{h_{1}}{2}g^{\prime }(x_{i- \frac{1}{2}})+\frac{h_{1}^{2}}{8}g^{\prime \prime }(x_{i-\frac{1}{2}})- \frac{h_{1}^{3}}{48}g^{(3)}(x_{i-\frac{1}{2}}) \\ &\hphantom{g(x_{i-1})=}{}+\frac{h_{1}^{4}}{384}g^{(4)}(x_{i-\frac{1}{2}})+ \frac{1}{24} \int ^{x_{i-1}}_{x_{i- \frac{1}{2}}}g^{(5)}(s) (x_{i-1}-s)^{4}\,ds, \end{aligned}$$
(3)
$$\begin{aligned} &g^{\prime }(x_{i-\frac{3}{2}})=g^{\prime }(x_{i-\frac{1}{2}})-h_{1}g^{\prime \prime }(x_{i- \frac{1}{2}})+ \frac{h_{1}^{2}}{2}g^{(3)}(x_{i-\frac{1}{2}}) \\ &\hphantom{g^{\prime }(x_{i-\frac{3}{2}})=}{}-\frac{h_{1}^{3}}{6}g^{(4)}(x_{i-\frac{1}{2}})+ \frac{1}{6} \int ^{x_{i- \frac{3}{2}}}_{x_{i-\frac{1}{2}}}g^{(5)}(s) (x_{i-\frac{3}{2}}-s)^{3}\,ds, \end{aligned}$$
(4)
$$\begin{aligned} &g^{\prime }(x_{i+\frac{1}{2}})=g^{\prime }(x_{i-\frac{1}{2}})+h_{1}g^{\prime \prime }(x_{i- \frac{1}{2}})+ \frac{h_{1}^{2}}{2}g^{(3)}(x_{i-\frac{1}{2}}) \\ &\hphantom{g^{\prime }(x_{i+\frac{1}{2}})=}{}+\frac{h_{1}^{3}}{6}g^{(4)}(x_{i-\frac{1}{2}})+ \frac{1}{6} \int ^{x_{i+ \frac{1}{2}}}_{x_{i-\frac{1}{2}}}g^{(5)}(s) (x_{i+\frac{1}{2}}-s)^{3}\,ds. \end{aligned}$$
(5)

Similar to Lemma 1, to obtain the approximation order, we use substitution to simplify integral remainder. For example, let \(s=(i-\frac{1}{2})h+\frac{\lambda }{2}h\), so the integral remainder of (2) can be simplified into

$$ \frac{h_{1}^{5}}{768} \int ^{1}_{0}g^{(5)} \biggl(x_{i-\frac{1}{2}}+ \frac{\lambda }{2}h\biggr) (1-\lambda )^{4}\,d\lambda . $$

So, we can simplify the integral remainder of (2)–(5) by using the same way, then

$$\begin{aligned} &\frac{1}{24}\bigl[g^{\prime }(x_{i-\frac{3}{2}})+22g^{\prime }(x_{i-\frac{1}{2}})+g^{\prime }(x_{i+ \frac{1}{2}}) \bigr]-\frac{1}{h_{1}}\bigl[g(x_{i})-g(x_{i-1}) \bigr] \\ &\quad =\frac{h_{1}^{4}}{144} \int ^{1}_{0}\bigl[g^{(5)}(x_{i- \frac{1}{2}}- \lambda h_{1})+g^{(5)}(x_{i-\frac{1}{2}}+\lambda h_{1})\bigr](1- \lambda )^{3}\,d\lambda \\ &\qquad {}-\frac{h_{1}^{4}}{48} \int ^{1}_{0}\biggl[g^{(5)} \biggl(x_{i- \frac{1}{2}}-\frac{\lambda }{2} h_{1} \biggr)+g^{(5)}\biggl(x_{i-\frac{1}{2}}+ \frac{\lambda }{2} h_{1}\biggr)\biggr](1-\lambda )^{4}\,d\lambda \\ &\quad =h_{1}^{4} \int ^{1}_{0}\biggl\{ \frac{1}{144} \bigl[g^{(5)}(x_{i- \frac{1}{2}}-\lambda h_{1})+g^{(5)}(x_{i-\frac{1}{2}}+ \lambda h_{1})\bigr](1- \lambda )^{3} \\ &\qquad {}-\frac{1}{48}\biggl[g^{(5)}\biggl(x_{i-\frac{1}{2}}- \frac{\lambda }{2}h_{1}\biggr)+g^{(5)} \biggl(x_{i- \frac{1}{2}}+\frac{\lambda }{2}h_{1}\biggr)\biggr](1- \lambda )^{4}\biggr\} \,d\lambda . \end{aligned}$$

Similarly, we easily draw the second conclusion. □

Define a fractional index grid function space \(\overline{U}_{h_{1}}=\{g|g=(g_{\frac{1}{2}},g_{\frac{3}{2}}, \ldots , g_{M_{1}-\frac{1}{2}})\}\). For every \(g_{i-\frac{1}{2}}\in \overline{U}_{h_{1}}\), define a compact operator as follows:

$$ (A_{x}g)_{i-\frac{1}{2}}=\frac{1}{24}(g_{i-\frac{3}{2}}+22g_{i- \frac{1}{2}}+g_{i+\frac{1}{2}}) \quad (2\leq i\leq M_{1}-1) $$

with

$$\begin{aligned}& (A_{x}g)_{\frac{1}{2}}=3g(x_{\frac{1}{2}})-5g(x_{\frac{3}{2}})+4g(x_{ \frac{5}{2}})-g(x_{\frac{7}{2}}), \\& (A_{x}g)_{M_{1}-\frac{1}{2}}=-g(x_{M_{1}- \frac{7}{2}})+4g(x_{M_{1}-\frac{5}{2}})-5g(x_{M_{1}-\frac{3}{2}})+3g(x_{M_{1}- \frac{1}{2}}). \end{aligned}$$

Similarly, define a fractional index grid function space \(\overline{U}_{h_{2}}=\{w|w=(w_{\frac{1}{2}},w_{\frac{3}{2}}, \ldots , w_{M_{2}-\frac{1}{2}})\}\). For every \(w_{j-\frac{1}{2}}\in \overline{U}_{h_{2}}\), define a compact operator as follows:

$$ (A_{y}w)_{j-\frac{1}{2}}=\frac{1}{24}(w_{j-\frac{3}{2}}+22w_{j- \frac{1}{2}}+w_{j+\frac{1}{2}}) \quad (2\leq j\leq M_{2}-1) $$

with \((A_{y}w)_{\frac{1}{2}}=3w(y_{\frac{1}{2}})-5w(y_{\frac{3}{2}})+4w(y_{ \frac{5}{2}})-w(y_{\frac{7}{2}})\), \((A_{y}w)_{M_{2}-\frac{1}{2}}=-w(y_{M_{2}- \frac{7}{2}})+4w(y_{M_{2}-\frac{5}{2}})-5w(y_{M_{2}-\frac{3}{2}})+3w(y_{M_{2}- \frac{1}{2}})\).

Lemma 3

([14])

If \(0<\alpha <1\), \(g\in C^{2}[0,t_{n}]\), then

$$\begin{aligned} &\frac{1}{\Gamma (1-\alpha )} \int ^{t_{n}}_{0} \frac{g^{\prime }(\xi )}{(t_{n}-\xi )^{\alpha }}\,d\xi \\ &\quad =\frac{\tau ^{-\alpha }}{\Gamma (2-\alpha )}\Biggl[a_{0}^{\alpha }g(t_{n})- \sum_{k=1}^{n-1}\bigl(a_{n-k-1}^{\alpha }-a_{n-k}^{\alpha } \bigr)g(t_{k})-a_{n-1}^{ \alpha }g(0) \Biggr]+R^{\alpha }_{t_{n}} \end{aligned}$$

and

$$ \bigl\vert R^{\alpha }_{t_{n}} \bigr\vert \leq \frac{1}{\Gamma (2-\alpha )}\biggl[ \frac{1}{4}+\frac{\alpha }{(1-\alpha )(2-\alpha )}\biggr] \max_{0 \leq t\leq t_{n}} \bigl\vert g^{\prime \prime }(t) \bigr\vert \tau ^{2-\alpha }, $$

where \(a_{k}^{\alpha }=(k+1)^{1-\alpha }-k^{1-\alpha }\).

Define an L1 approximation operator \(D_{\tau }^{\alpha }\) as follows:

$$\begin{aligned} &D_{\tau }^{\alpha }g_{ij}^{n}= \frac{\tau ^{-\alpha }}{\Gamma (2-\alpha )}\Biggl[a_{0}^{\alpha }g(t_{n})- \sum_{k=1}^{n-1}\bigl(a_{n-k-1}^{\alpha }-a_{n-k}^{\alpha } \bigr)g(t_{k})-a_{n-1}^{ \alpha }g(0)\Biggr], \\ &0\leq i\leq M_{1},\qquad 0\leq j\leq M_{2},\qquad 0 \leq n\leq N, \end{aligned}$$

where the definition of \(a^{\alpha }_{k}\) is the same as in Lemma 3.

Let us now construct a compact finite volume scheme for problem (1). On \(\Omega _{h\tau }\), we now define the grid functions

$$ U_{i,j}^{n}=u(x_{i},y_{j},t_{n}), \qquad f_{i,j}^{n}=f(x_{i},y_{j},t_{n}), \quad 0\leq i\leq M_{1}, 0\leq j\leq M_{2}, 0\leq n\leq N. $$

Suppose \(u(x,y,t)\in C^{5,5,2}_{x,y,t}(\Omega \times [0,T])\). We consider equation (1) at the point \((x,y,t_{n})\), and we can have

$$\begin{aligned} &{}^{C}_{0}D^{\alpha }_{t}u(x,y,t_{n})+^{C}_{0}D^{\beta }_{t}u(x,y,t_{n})= \frac{\partial ^{2}u(x,y,t_{n})}{\partial x^{2}}+ \frac{\partial ^{2}u(x,y,t_{n})}{\partial y^{2}}+f(x,y,t_{n}), \\ &(x,y)\in \Omega ,\quad 1\leq n\leq N. \end{aligned}$$
(6)

Integrating (6) on dual elements, we have

$$\begin{aligned} & \int ^{x_{i+\frac{1}{2}}}_{x_{i-\frac{1}{2}}} \int ^{y_{j+\frac{1}{2}}}_{y_{j-\frac{1}{2}}} \bigl(^{C}_{0}D^{ \alpha }_{t}u(x,y,t_{n})+^{C}_{0}D^{\beta }_{t}u(x,y,t_{n}) \bigr)\,dy\,dx \\ &\quad = \int ^{x_{i+\frac{1}{2}}}_{x_{i-\frac{1}{2}}} \int ^{y_{j+\frac{1}{2}}}_{y_{j-\frac{1}{2}}} \biggl( \frac{\partial ^{2}u(x,y,t_{n})}{\partial x^{2}}+ \frac{\partial ^{2}u(x,y,t_{n})}{\partial y^{2}}+f(x,y,t_{n})\biggr)\,dy\,dx, \\ &1\leq i\leq M_{1}-1,\qquad 1\leq j\leq M_{2}-1, \qquad 1\leq n \leq N. \end{aligned}$$
(7)

We obtain that

$$\begin{aligned} & \int ^{x_{i+\frac{1}{2}}}_{x_{i-\frac{1}{2}}} \int ^{y_{j+\frac{1}{2}}}_{y_{j-\frac{1}{2}}}\bigl(^{C}_{0}D^{ \alpha }_{t}u(x,y,t_{n})+^{C}_{0}D^{\beta }_{t}u(x,y,t_{n}) \bigr)\,dy\,dx \\ &\quad = \int ^{y_{j+\frac{1}{2}}}_{y_{j-\frac{1}{2}}}\biggl( \frac{\partial u(x_{i+\frac{1}{2}},y,t_{n})}{\partial x}- \frac{\partial u(x_{i-\frac{1}{2}},y,t_{n})}{\partial x}\biggr)\,dy \\ &\qquad {}+ \int ^{x_{i+\frac{1}{2}}}_{x_{i-\frac{1}{2}}}\biggl( \frac{\partial u(x,y_{j+\frac{1}{2}},t_{n})}{\partial y}- \frac{\partial u(x,y_{j-\frac{1}{2}},t_{n})}{\partial y}\biggr)\,dx \\ &\qquad {}+ \int ^{x_{i+\frac{1}{2}}}_{x_{i-\frac{1}{2}}} \int ^{y_{j+\frac{1}{2}}}_{y_{j-\frac{1}{2}}} f(x,y,t_{n})\,dy \,dx, \\ & 1\leq i\leq M_{1}-1,\qquad 1\leq j\leq M_{2}-1, \qquad 1 \leq n \leq N. \end{aligned}$$
(8)

By using Lemma 2, we get that

$$\begin{aligned} &A_{x}A_{y} \int ^{x_{i+\frac{1}{2}}}_{x_{i-\frac{1}{2}}} \int ^{y_{j+\frac{1}{2}}}_{y_{j-\frac{1}{2}}} \bigl(^{C}_{0}D^{ \alpha }_{t}u(x,y,t_{n})+^{C}_{0}D^{\beta }_{t}u(x,y,t_{n}) \bigr)\,dy\,dx \\ &\quad =A_{x}A_{y} \int ^{y_{j+\frac{1}{2}}}_{y_{j-\frac{1}{2}}}\biggl( \frac{\partial u(x_{i+\frac{1}{2}},y,t_{n})}{\partial x}- \frac{\partial u(x_{i-\frac{1}{2}},y,t_{n})}{\partial x}\biggr)\,dy \\ &\qquad {}+A_{x}A_{y} \int ^{x_{i+\frac{1}{2}}}_{x_{i-\frac{1}{2}}}\biggl( \frac{\partial u(x,y_{j+\frac{1}{2}},t_{n})}{\partial y}- \frac{\partial u(x,y_{j-\frac{1}{2}},t_{n})}{\partial y}\biggr)\,dx \\ &\qquad {}+A_{x}A_{y} \int ^{x_{i+\frac{1}{2}}}_{x_{i-\frac{1}{2}}} \int ^{y_{j+\frac{1}{2}}}_{y_{j-\frac{1}{2}}} f(x,y,t_{n})\,dy \,dx, \\ &1\leq i\leq M_{1}-1,\qquad 1\leq j\leq M_{2}-1,\qquad 1\leq n \leq N. \end{aligned}$$
(9)

And then, we apply Lemma 1 to deal with spatial integral and use Lemma 3 to discretize the time fractional derivative. To optimize formula layout, we use the following notations:

$$\begin{aligned} &A_{1}u_{ij}^{n}=\frac{1}{576}S_{x}S_{y} \bigl(D_{\tau }^{\alpha }u_{ij}^{n}+D_{ \tau }^{\beta }u_{ij}^{n} \bigr), \\ &A_{2}u_{ij}^{n}=\frac{1}{24}S_{y} \bigl(\delta _{x}u_{i+\frac{1}{2},j}^{n}- \delta _{x}u_{i-\frac{1}{2},j}^{n}\bigr), \\ &A_{3}u_{ij}^{n}=\frac{1}{24}S_{x} \bigl(\delta _{y}u_{i,j+\frac{1}{2}}^{n}- \delta _{y}u_{i,j-\frac{1}{2}}^{n}\bigr), \\ &A_{4}u_{ij}^{n}=\frac{1}{576}S_{x}S_{y}u_{i-1,j}^{n}+ \frac{22}{576}S_{x}S_{y}u_{ij}^{n}+ \frac{1}{576}S_{x}S_{y}u_{i+1,j}^{n}. \end{aligned}$$

We obtain

$$\begin{aligned} &A_{1}\bigl[U_{i-1,j-1}^{n} +22U_{i,j-1}^{n} +U_{i+1,j-1}^{n} +22U_{i-1,j}^{n} +484U_{ij}^{n} \\ &\qquad {}+22U_{i+1,j}^{n} +U_{i-1,j+1}^{n} +22U_{i,j+1}^{n} +U_{i+1,j+1}^{n} \bigr] \\ &\quad =A_{2}\bigl[U_{i,j-1}^{n} +22U_{i,j}^{n} +U_{i,j+1}^{n} \bigr] +A_{3}\bigl[U_{i-1,j}^{n} +22U_{ij}^{n} +U_{i+1,j}^{n} \bigr] \\ &\qquad {}+A_{4}\bigl[f_{i,j-1}^{n}+22f_{ij}^{n}+f_{i,j+1}^{n} \bigr]+r_{ij}^{n} , \quad 1\leq n \leq N, \end{aligned}$$
(10)

where \(r_{ij}^{n}=C_{1}(\tau ^{2-\alpha })+C_{2}(h_{1}^{4}+h_{2}^{4})\).

Notice that \(u(x,y,t)=\psi (x,y,t)\) and \(u(x,y,0)=\varphi (x,y)\), so we have

$$\begin{aligned} &U_{i,j}^{0}=\varphi (x_{i},y_{j}),\quad 1\leq i \leq M_{1}-1, 1 \leq j \leq M_{2}-1, \end{aligned}$$
(11)
$$\begin{aligned} &U_{0,j}^{n}=\psi (0,y_{j},t_{n}), \qquad U_{L_{1},j}^{n}=\psi (L_{1},y_{j},t_{n}), \\ &U_{i,0}^{n}=\psi (x_{i},0,t_{n}), \qquad U_{i,L_{2}}^{n}=\psi (x_{i},L_{2},t_{n}), \quad 0\leq n \leq N. \end{aligned}$$
(12)

So, we leave out the infinitesimal and replace exact solution \(U_{i,j}^{n}\) with numerical solution \(u_{i,j}^{n}\), then we obtain that

$$\begin{aligned} &A_{1}\bigl[u_{i-1,j-1}^{n} +22u_{i,j-1}^{n} +u_{i+1,j-1}^{n} +22u_{i-1,j}^{n} +484u_{ij}^{n} \\ &\qquad {}+22u_{i+1,j}^{n} +u_{i-1,j+1}^{n} +22u_{i,j+1}^{n} +u_{i+1,j+1}^{n} \bigr] \\ &\quad =A_{2}\bigl[u_{i,j-1}^{n} +22u_{i,j}^{n} +u_{i,j+1}^{n} \bigr] +A_{3}\bigl[u_{i-1,j}^{n} +22u_{ij}^{n} +u_{i+1,j}^{n} \bigr] \\ &\qquad {}+A_{4}\bigl[f_{i,j-1}^{n}+22f_{ij}^{n}+f_{i,j+1}^{n} \bigr] ,\quad 1 \leq n \leq N, \end{aligned}$$
(13)
$$\begin{aligned} &u_{i,j}^{0}=\varphi (x_{i},y_{j}), \quad 1\leq i \leq M_{1}-1, 1 \leq j \leq M_{2}-1, \end{aligned}$$
(14)
$$\begin{aligned} &u_{0,j}^{n}=\psi (0,y_{j},t_{n}), \qquad u_{L_{1},j}^{n}=\psi (L_{1},y_{j},t_{n}), \\ &u_{i,0}^{n}=\psi (x_{i},0,t_{n}), \qquad u_{i,L_{2}}^{n}=\psi (x_{i},L_{2},t_{n}), \quad 0\leq n \leq N. \end{aligned}$$
(15)

These above equations are the compact finite volume scheme of question (1).

3 Analysis of the compact finite volume scheme

In this section, we prove the existence and uniqueness, stability and convergence of the compact finite volume scheme.

First, we introduce the norms in the space \(U_{h}\). Let \(g=(g_{00}, g_{01}, \ldots , g_{M_{1}M_{2}})\in U_{h}\), where \(U_{h}=U_{h_{1}}\times U_{h_{2}}\). Denote

$$ \Vert g \Vert _{\infty }=\max_{0< i< M_{1},0< j< M_{2},} \vert g_{ij} \vert . $$

Some important lemmas, which can be used in the following verifications, will be given.

Lemma 4

([14])

Suppose \(\alpha \in (0,1)\), and the definition of \(a_{l}^{\alpha }\) is the same as in Lemma (3), \(l=0,1,\ldots \) , then

  1. (I)

    \(1=a_{0}^{\alpha }>a_{1}^{\alpha }>a_{2}^{ \alpha }>\cdots >a_{l}^{\alpha }; a_{l}^{\alpha }\rightarrow 0\), when \(l\rightarrow \infty \);

  2. (II)

    \((1-\alpha )l^{-\alpha }< a_{l-1}^{\alpha }<(1- \alpha )(l-1)^{-\alpha }\), \(l\geq 1\).

Lemma 5

Let \(p=(p_{00}, p_{01}, \ldots , p_{M_{1}M_{2}})\in U_{h}\), \(q=(q_{00}, q_{01}, \ldots ,q_{M_{1}M_{2}})\in U_{h}\), then

$$ \Vert p+q \Vert _{\infty }\leq \Vert p \Vert _{\infty }+ \Vert q \Vert _{ \infty }. $$

Theorem 1

The solution of the compact finite volume scheme (13)(15) is existent and unique.

Proof

Let \(u^{n}=(u_{00}^{n}, u_{01}^{n}, \ldots , u_{M_{1}M_{2}}^{n})\in U_{h}\), and the numerical solution of \(u^{0}\) can be obtained by (14). If the numerical solutions of \(u^{0}, u^{1}, \ldots , u^{n-1}\) are existing and unique, we can obtain nonhomogeneous linear equations about \(u^{n}\) from (13) and (15). If homogeneous linear equations only have a zero solution can be proved, we can prove that the existence and uniqueness of \(u^{n}\) can be proved. Define \(S_{\alpha }=\tau ^{\alpha }\Gamma (2-\alpha )\), \(S_{\beta }=\tau ^{\beta } \Gamma (2-\beta )\).

$$\begin{aligned} &\biggl(\frac{S_{x}S_{y}}{576S_{\alpha }}+\frac{S_{x}S_{y}}{576S_{\beta }} \biggr)u_{i-1,j-1}^{n} +\biggl(\frac{22S_{x}S_{y}}{576S_{\alpha }}+ \frac{22S_{x}S_{y}}{576S_{\beta }}\biggr)u_{i,j-1}^{n} \\ &\qquad {}+\biggl(\frac{S_{x}S_{y}}{576S_{\alpha }}+\frac{S_{x}S_{y}}{576S_{\beta }} \biggr)u_{i+1,j-1}^{n} +\biggl(\frac{22S_{x}S_{y}}{576S_{\alpha }}+ \frac{22S_{x}S_{y}}{576S_{\beta }}\biggr)u_{i-1,j}^{n} \\ &\qquad {}+\biggl(\frac{484S_{x}S_{y}}{576S_{\alpha }}+ \frac{484S_{x}S_{y}}{576S_{\beta }} \biggr)u_{i,j}^{n} +\biggl( \frac{22S_{x}S_{y}}{576S_{\alpha }}+ \frac{22S_{x}S_{y}}{576S_{\beta }}\biggr)u_{i+1,j}^{n} \\ &\qquad {}+\biggl(\frac{S_{x}S_{y}}{576S_{\alpha }}+\frac{S_{x}S_{y}}{576S_{\beta }} \biggr)u_{i-1,j+1}^{n} +\biggl(\frac{22S_{x}S_{y}}{576S_{\alpha }}+ \frac{22S_{x}S_{y}}{576S_{\beta }}\biggr)u_{i,j+1}^{n} \\ &\qquad {}+\biggl(\frac{S_{x}S_{y}}{576S_{\alpha }}+\frac{S_{x}S_{y}}{576S_{\beta }} \biggr)u_{i+1,j+1}^{n} \\ &\quad =\frac{1}{24}S_{y}\bigl(\delta _{x}u_{i+\frac{1}{2},j-1}^{n}- \delta _{x}u_{i- \frac{1}{2},j-1}^{n}\bigr) + \frac{22}{24}S_{y}\bigl(\delta _{x}u_{i+ \frac{1}{2},j}^{n}- \delta _{x}u_{i-\frac{1}{2},j}^{n}\bigr) \\ &\qquad {}+\frac{1}{24}S_{y}\bigl(\delta _{x}u_{i+\frac{1}{2},j+1}^{n}-\delta _{x}u_{i- \frac{1}{2},j+1}^{n} \bigr) +\frac{1}{24}S_{x}\bigl(\delta _{y}u_{i-1,j+ \frac{1}{2}}^{n}- \delta _{y}u_{i-1,j-\frac{1}{2}}^{n}\bigr) \\ &\qquad {}+\frac{22}{24}S_{x}\bigl(\delta _{y}u_{i,j+\frac{1}{2}}^{n}-\delta _{y}u_{i,j- \frac{1}{2}}^{n} \bigr) +\frac{1}{24}S_{x}\bigl(\delta _{y}u_{i+1,j+\frac{1}{2}}^{n}- \delta _{y}u_{i+1,j-\frac{1}{2}}^{n}\bigr) \\ & 1\leq i\leq M_{1}-1,\qquad 1\leq j\leq M_{2}-1. \\ \end{aligned}$$
(16)
$$\begin{aligned} &u_{0}^{n}=u_{M}^{n}=0. \end{aligned}$$
(17)

What we should do next is to prove that (16) and (17) only have a zero solution. Equation (16) can be rewritten into

$$\begin{aligned} &\biggl(\frac{S_{x}S_{y}}{576S_{\alpha }}+\frac{S_{x}S_{y}}{576S_{\beta }}\biggr)u_{i-1,j-1}^{n} +\biggl(\frac{22S_{x}S_{y}}{576S_{\alpha }}+ \frac{22S_{x}S_{y}}{576S_{\beta }}+\frac{2S_{y}}{24h_{1}} \biggr)u_{i,j-1}^{n} \\ &\qquad {}+\biggl(\frac{S_{x}S_{y}}{576S_{\alpha }}+\frac{S_{x}S_{y}}{576S_{\beta }} \biggr)u_{i+1,j-1}^{n} +\biggl(\frac{22S_{x}S_{y}}{576S_{\alpha }}+ \frac{22S_{x}S_{y}}{576S_{\beta }}+\frac{2S_{x}}{24h_{2}}\biggr)u_{i-1,j}^{n} \\ &\qquad {}+\biggl(\frac{484S_{x}S_{y}}{576S_{\alpha }}+ \frac{484S_{x}S_{y}}{576S_{\beta }}+ \frac{44S_{y}}{24h_{1}}+ \frac{44S_{x}}{24h_{2}}\biggr)u_{i,j}^{n} +\biggl( \frac{22S_{x}S_{y}}{576S_{\alpha }}+ \frac{22S_{x}S_{y}}{576S_{\beta }}+\frac{2S_{x}}{24h_{2}} \biggr)u_{i+1,j}^{n} \\ &\qquad {}+\biggl(\frac{S_{x}S_{y}}{576S_{\alpha }}+\frac{S_{x}S_{y}}{576S_{\beta }} \biggr)u_{i-1,j+1}^{n} +\biggl(\frac{22S_{x}S_{y}}{576S_{\alpha }}+ \frac{22S_{x}S_{y}}{576S_{\beta }}+\frac{2S_{y}}{24h_{1}}\biggr)u_{i,j+1}^{n} \\ &\qquad {}+\biggl(\frac{S_{x}S_{y}}{576S_{\alpha }}+\frac{S_{x}S_{y}}{576S_{\beta }} \biggr)u_{i+1,j+1}^{n} \\ &\quad =\biggl(\frac{S_{y}}{24h_{1}}+\frac{S_{x}}{24h_{2}}\biggr)u_{i-1,j-1}^{n} +\biggl( \frac{S_{y}}{24h_{1}}+\frac{S_{x}}{24h_{2}}\biggr)u_{i+1,j-1}^{n} + \frac{22S_{y}}{24h_{1}}u_{i-1,j}^{n} +\frac{22S_{y}}{24h_{1}}u_{i+1,j}^{n} \\ &\qquad {}+\frac{22S_{x}}{24h_{2}}u_{i,j-1}^{n} + \frac{22S_{x}}{24h_{2}}u_{i,j+1}^{n} +\biggl( \frac{S_{y}}{24h_{1}}+\frac{S_{x}}{24h_{2}}\biggr)u_{i-1,j+1}^{n} +\biggl( \frac{S_{y}}{24h_{1}}+\frac{S_{x}}{24h_{2}}\biggr)u_{i+1,j+1}^{n} \\ & 1\leq i\leq M_{1}-1, \qquad 1\leq j \leq M_{2}-1. \end{aligned}$$

By using Lemma 5, equation mentioned above also can be transformed into

$$\begin{aligned} \biggl(\frac{S_{x}S_{y}}{S_{\alpha }}+\frac{S_{x}S_{y}}{S_{\beta }}+ \frac{2S_{y}}{h_{1}}+ \frac{2S_{x}}{h_{2}}\biggr) \bigl\Vert u^{n} \bigr\Vert _{\infty } \leq \biggl(\frac{2S_{y}}{h_{1}}+\frac{2S_{x}}{h_{2}}\biggr) \bigl\Vert u^{n} \bigr\Vert _{ \infty }. \end{aligned}$$

If the equation holds on, we can obtain that \(\Vert u^{n}\Vert _{\infty }=0\). Furthermore, \(u^{n}=0\).

According to the inductive principle, equations (13)–(15) have a unique solution. □

Theorem 2

Suppose that the compact finite volume scheme (13)(15) has a solution. We record it as \(\{v^{n}_{ij}\vert 0\leq i\leq M_{1}, 0\leq j\leq M_{2}, 0 \leq n\leq N\}\), then

$$\begin{aligned} \bigl\Vert v^{k} \bigr\Vert _{\infty } \leq \bigl\Vert v^{0} \bigr\Vert _{\infty }+c\max _{1\leq m\leq k} \bigl\Vert f^{m} \bigr\Vert _{\infty },\quad 1\leq k\leq N, \end{aligned}$$
(18)

where \(c=\frac{1}{2}\max \{T^{\alpha }\Gamma (1-\alpha ), T^{\beta }\Gamma (1- \beta )\}\), \(\Vert f^{m}\Vert _{\infty }=\max_{1\leq i\leq M_{1}-1,1\leq j \leq M_{2}-1}\vert f^{m}_{ij}\vert \).

Proof

To optimize formula layout, we use the following notations:

$$\begin{aligned} &\delta u_{ij}^{n}=u_{i-1,j-1}^{n}+u_{i+1,j-1}^{n}+u_{i-1,j+1}^{n}+u_{i+1,j+1}^{n}, \\ &\delta _{j} u_{ij}^{n}=u_{i,j-1}^{n}+u_{i,j+1}^{n}, \\ &\delta _{i} u_{ij}^{n}=u_{i-1,j}^{n}+u_{i+1,j}^{n}, \\ &\delta _{\alpha }u_{ij}^{n}=\sum _{k=1}^{n-1}\bigl(a_{n-k-1}^{ \alpha }- a_{n-k}^{\alpha }\bigr)u^{k}_{i,j}+a_{n-1}^{\alpha }u^{0}_{i,j}, \\ &\delta _{\beta }u_{ij}^{n}=\sum _{k=1}^{n-1}\bigl(a_{n-k-1}^{\beta }- a_{n-k}^{\beta }\bigr)u^{k}_{i,j}+a_{n-1}^{\beta }u^{0}_{i,j}. \end{aligned}$$

Equation (13) can be written into

$$\begin{aligned} &\biggl(\frac{S_{x}S_{y}}{576S_{\alpha }}+\frac{S_{x}S_{y}}{576S_{\beta }}\biggr) \delta v_{ij}^{n} +\biggl(\frac{484S_{x}S_{y}}{576S_{\alpha }}+ \frac{484S_{x}S_{y}}{576S_{\beta }}+\frac{44S_{y}}{24h_{1}}+ \frac{44S_{x}}{24h_{2}} \biggr)v_{i,j}^{n} \\ &\qquad {}+\biggl(\frac{22S_{x}S_{y}}{576S_{\alpha }}+ \frac{22S_{x}S_{y}}{576S_{\beta }}+ \frac{2S_{y}}{24h_{1}}\biggr)\delta _{j} v_{ij}^{n} \\ &\qquad {} +\biggl(\frac{22S_{x}S_{y}}{576S_{\alpha }}+ \frac{22S_{x}S_{y}}{576S_{\beta }}+\frac{2S_{x}}{24h_{2}}\biggr) \delta _{i} v_{ij}^{n} \\ &\quad =\frac{S_{x}S_{y}}{576S_{\alpha }}\bigl(\delta _{\alpha }v_{i-1,j-1}^{n}+ \delta _{\alpha }v_{i+1,j-1}^{n}+\delta _{\alpha }v_{i-1,j+1}^{n}+ \delta _{\alpha }v_{i+1,j+1}^{n} \bigr) \\ &\qquad {}+\frac{S_{x}S_{y}}{576S_{\beta }}\bigl(\delta _{\beta }v_{i-1,j-1}^{n}+ \delta _{\beta }v_{i+1,j-1}^{n}+\delta _{\beta }v_{i-1,j+1}^{n}+\delta _{ \beta }v_{i+1,j+1}^{n} \bigr) \\ &\qquad {}+\frac{22S_{x}S_{y}}{576S_{\alpha }}\bigl(\delta _{\alpha }v_{i,j-1}^{n}+ \delta _{\alpha }v_{i,j+1}^{n}+\delta _{\alpha }v_{i-1,j}^{n}+\delta _{ \alpha }v_{i+1,j}^{n} \bigr) \\ &\qquad {}+\frac{22S_{x}S_{y}}{576S_{\beta }}\bigl(\delta _{\beta }v_{i,j-1}^{n}+ \delta _{\beta }v_{i,j+1}^{n}+\delta _{\beta }v_{i-1,j}^{n}+\delta _{ \beta }v_{i+1,j}^{n} \bigr) \\ &\qquad {}+\frac{484S_{x}S_{y}}{576S_{\alpha }}\delta _{\alpha }v_{ij}^{n}+ \frac{484S_{x}S_{y}}{576S_{\beta }}\delta _{\beta }v_{ij}^{n} + \biggl( \frac{S_{y}}{24h_{1}}+\frac{S_{x}}{24h_{2}}\biggr)\delta v_{ij}^{n} \\ &\qquad {}+\frac{22S_{y}}{24h_{1}}\delta _{i} v_{ij}^{n} + \frac{22S_{x}}{24h_{2}}\delta _{j} v_{ij}^{n} +\frac{1}{576}S_{x}S_{y} \delta f_{ij}^{n} +\frac{484}{576}S_{x}S_{y}f_{i,j}^{n} \\ &\qquad {}+\frac{22S_{x}S_{y}}{576}f_{i,j-1}^{n}\bigl(\delta _{j} f_{ij}^{n}+ \delta _{j} f_{ij}^{n}\bigr) \quad 1\leq n \leq N. \end{aligned}$$

By using Lemma 5, we can obtain

$$\begin{aligned} &\biggl(\frac{S_{x}S_{y}}{S_{\alpha }}+\frac{S_{x}S_{y}}{S_{\beta }}+ \frac{2S_{y}}{h_{1}}+\frac{2S_{x}}{h_{2}}\biggr) \bigl\Vert v^{n} \bigr\Vert _{\infty } \\ &\quad \leq \frac{S_{x}S_{y}}{S_{\alpha }}\Biggl[\sum_{k=1}^{n-1} \bigl(a_{n-k-1}^{ \alpha }- a_{n-k}^{\alpha } \bigr) \bigl\Vert v^{k} \bigr\Vert _{\infty }+a_{n-1}^{\alpha } \bigl\Vert v^{0} \bigr\Vert _{\infty }\Biggr] \\ &\qquad {}+\frac{S_{x}S_{y}}{S_{\beta }}\Biggl[\sum_{k=1}^{n-1} \bigl(a_{n-k-1}^{ \beta }- a_{n-k}^{\beta } \bigr) \bigl\Vert v^{k} \bigr\Vert _{\infty }+a_{n-1}^{\beta } \bigl\Vert v^{0} \bigr\Vert _{\infty }\Biggr] \\ &\qquad {}+\biggl(\frac{2S_{y}}{h_{1}}+\frac{2S_{x}}{h_{2}}\biggr) \bigl\Vert v^{n} \bigr\Vert _{ \infty }+S_{x}S_{y} \bigl\Vert f^{n} \bigr\Vert _{\infty } \\ &\quad =\frac{S_{x}S_{y}}{S_{\alpha }}\Biggl[\sum_{k=1}^{n-1} \bigl(a_{n-k-1}^{ \alpha }- a_{n-k}^{\alpha } \bigr) \bigl\Vert v^{k} \bigr\Vert _{\infty }+a_{n-1}^{\alpha } \bigl\Vert v^{0} \bigr\Vert _{\infty }\Biggr] \\ &\qquad {}+\frac{S_{x}S_{y}}{S_{\beta }}\Biggl[\sum_{k=1}^{n-1} \bigl(a_{n-k-1}^{ \beta }- a_{n-k}^{\beta } \bigr) \bigl\Vert v^{k} \bigr\Vert _{\infty }+a_{n-1}^{\beta } \bigl\Vert v^{0} \bigr\Vert _{\infty }\Biggr] \\ &\qquad {}+\biggl(\frac{2S_{y}}{h_{1}}+\frac{2S_{x}}{h_{2}}\biggr) \bigl\Vert v^{n} \bigr\Vert _{ \infty }+S_{x}S_{y} \frac{a_{n-1}^{\alpha }}{S_{\alpha }}\cdot \frac{S_{\alpha }}{2a_{n-1}^{\alpha }} \bigl\Vert f^{n} \bigr\Vert _{\infty } \\ &\qquad {}+S_{x}S_{y}\frac{a_{n-1}^{\beta }}{S_{\beta }}\cdot \frac{S_{\beta }}{2a_{n-1}^{\beta }} \bigl\Vert f^{n} \bigr\Vert _{\infty }. \end{aligned}$$
(19)

By using Lemma 4, we can obtain

$$\begin{aligned}& \frac{S_{\alpha }}{2a_{n-1}^{\alpha }}\leq \frac{\tau ^{\alpha }\Gamma (2-\alpha )}{2(1-\alpha )n^{-\alpha }}= \frac{t_{n}^{\alpha }\Gamma (1-\alpha )}{2}, \\ \end{aligned}$$
(20)
$$\begin{aligned}& \frac{S_{\beta }}{2a_{n-1}^{\beta }}\leq \frac{\tau ^{\beta }\Gamma (2-\beta )}{2(1-\beta )n^{-\beta }}= \frac{t_{n}^{\beta }\Gamma (1-\beta )}{2}. \end{aligned}$$
(21)

Bring (20) and (21) into (19), then

$$\begin{aligned} &\biggl(\frac{S_{x}S_{y}}{S_{\alpha }}+\frac{S_{x}S_{y}}{S_{\beta }}\biggr) \bigl\Vert v^{n} \bigr\Vert _{\infty } \\ &\quad \leq\sum_{k=1}^{n-1}\biggl[ \frac{S_{x}S_{y}}{S_{\alpha }}\bigl(a_{n-k-1}^{ \alpha }-a_{n-k}^{\alpha } \bigr)+\frac{S_{x}S_{y}}{S_{\beta }}\bigl(a_{n-k-1}^{ \beta }- a_{n-k}^{\beta }\bigr)\biggr] \bigl\Vert v^{k} \bigr\Vert _{\infty } \\ &\qquad {}+\biggl(S_{x}S_{y}\frac{a_{n-1}^{\alpha }}{S_{\alpha }}+S_{x}S_{y} \frac{a_{n-1}^{\beta }}{S_{\beta }}\biggr) \bigl( \bigl\Vert v^{0} \bigr\Vert _{\infty }+c \bigl\Vert f^{n} \bigr\Vert _{\infty }\bigr), \end{aligned}$$
(22)

where \(c=\frac{1}{2}\max \{T^{\alpha }\Gamma (1-\alpha ), T^{\beta }\Gamma (1- \beta )\}\).

We prove the establishment of (18) now.

According to (22), we can obtain that when \(n=1\),

$$\begin{aligned} \biggl(\frac{S_{x}S_{y}}{S_{\alpha }}+\frac{S_{x}S_{y}}{S_{\beta }}\biggr) \bigl\Vert v^{1} \bigr\Vert _{\infty }\leq \biggl(S_{x}S_{y} \frac{a_{0}^{\alpha }}{S_{\alpha }}+S_{x}S_{y} \frac{a_{0}^{\beta }}{S_{\beta }} \biggr) \bigl( \bigl\Vert v^{0} \bigr\Vert _{\infty }+c \bigl\Vert f^{1} \bigr\Vert _{\infty }\bigr). \end{aligned}$$

It also can be written as

$$\begin{aligned} \bigl\Vert v^{1} \bigr\Vert _{\infty }\leq \bigl\Vert v^{0} \bigr\Vert _{\infty }+c \bigl\Vert f^{1} \bigr\Vert _{\infty }. \end{aligned}$$

So, when \(k=1\), equation (18) is valid.

Suppose that equation (22) also satisfies conditions when \(k=1, 2, \ldots , n-1\). According to (22), we can obtain

$$\begin{aligned} &\biggl(\frac{S_{x}S_{y}}{S_{\alpha }}+\frac{S_{x}S_{y}}{S_{\beta }}\biggr) \bigl\Vert v^{n} \bigr\Vert _{\infty } \\ &\quad \leq \sum_{k=1}^{n-1}\biggl[ \frac{S_{x}S_{y}}{S_{\alpha }}\bigl(a_{n-k-1}^{ \alpha }-a_{n-k}^{\alpha } \bigr) \\ &\qquad {}+\frac{S_{x}S_{y}}{S_{\beta }}\bigl(a_{n-k-1}^{\beta }- a_{n-k}^{\beta }\bigr)\biggr]\Bigl( \bigl\Vert v^{0} \bigr\Vert _{\infty }+\max_{1\leq m\leq k} \bigl\Vert f^{m} \bigr\Vert _{\infty }\Bigr)) \\ &\qquad {}+\biggl(S_{x}S_{y}\frac{a_{n-1}^{\alpha }}{S_{\alpha }}+S_{x}S_{y} \frac{a_{n-1}^{\beta }}{S_{\beta }}\biggr) \bigl( \bigl\Vert v^{0} \bigr\Vert _{\infty }+c \bigl\Vert f^{n} \bigr\Vert _{\infty }\bigr) \\ &\quad \leq \Biggl\{ \sum_{k=1}^{n-1} \biggl[\frac{S_{x}S_{y}}{S_{\alpha }}\bigl(a_{n-k-1}^{ \alpha }-a_{n-k}^{\alpha } \bigr)+\frac{S_{x}S_{y}}{S_{\beta }}\bigl(a_{n-k-1}^{ \beta }- a_{n-k}^{\beta }\bigr)\biggr] \\ &\qquad {}+S_{x}S_{y}\frac{a_{n-1}^{\alpha }}{S_{\alpha }}+S_{x}S_{y} \frac{a_{n-1}^{\beta }}{S_{\beta }}\Biggr\} \Bigl( \bigl\Vert v^{0} \bigr\Vert _{\infty }+\max_{1\leq m\leq n} \bigl\Vert f^{m} \bigr\Vert _{\infty }\Bigr)) \\ &\quad =\biggl(\frac{S_{x}S_{y}}{S_{\alpha }}+\frac{S_{x}S_{y}}{S_{\beta }}\biggr) \bigl( \bigl\Vert v^{0} \bigr\Vert _{\infty }+c \bigl\Vert f^{n} \bigr\Vert _{\infty }\bigr). \end{aligned}$$

It is equivalent to

$$ \bigl\Vert v^{n} \bigr\Vert _{\infty }\leq \bigl\Vert v^{0} \bigr\Vert _{\infty }+c \bigl\Vert f^{n} \bigr\Vert _{\infty }. $$

So, when \(k=n\), equation (18) satisfies conditions.

According to the inductive principle, Theorem 2 holds. □

Theorem 3

The solution of the compact finite volume scheme (13)(15) is convergent. Suppose that \(\{U^{n}_{ij}\vert 0\leq i\leq M_{1}, 0\leq j\leq M_{2}, 0 \leq n\leq N\}\) is the solution of equation (1) and \(\{u^{n}_{ij}\vert 0\leq i\leq M_{1}, 0\leq j\leq M_{2}, 0 \leq n\leq N\}\) is the solution of the compact finite volume scheme (13)(15). Define

$$ e^{n}_{ij}=U^{n}_{ij}-u^{n}_{ij}, \quad 0\leq i\leq M_{1}, 0\leq j \leq M_{2}, ,0\leq n \leq N, $$

then

$$\begin{aligned} \bigl\Vert e^{n} \bigr\Vert _{\infty } \leq c\bigl(\tau ^{2-\alpha }+h_{1}^{4}+h_{2}^{4} \bigr), \quad 1\leq n\leq N. \end{aligned}$$
(23)

Proof

By subtracting equations (13)–(15) from the compact finite volume scheme (10)–(12), we can obtain error equations:

$$\begin{aligned} &\frac{1}{576}S_{x}S_{y} \bigl(D_{\tau }^{\alpha }e_{i-1,j-1}^{n}+D_{\tau }^{ \beta }e_{i-1,j-1}^{n} \bigr) +\frac{22}{576}S_{x}S_{y} \bigl(D_{\tau }^{\alpha }e_{i,j-1}^{n}+D_{ \tau }^{\beta }e_{i,j-1}^{n} \bigr) \\ &\qquad {}+\frac{1}{576}S_{x}S_{y} \bigl(D_{\tau }^{\alpha }e_{i+1,j-1}^{n}+D_{\tau }^{ \beta }e_{i+1,j-1}^{n} \bigr) +\frac{22}{576}S_{x}S_{y} \bigl(D_{\tau }^{\alpha }e_{i-1,j}^{n}+D_{ \tau }^{\beta }e_{i-1,j}^{n} \bigr) \\ &\qquad {}+\frac{484}{576}S_{x}S_{y} \bigl(D_{\tau }^{\alpha }e_{i,j}^{n}+D_{\tau }^{ \beta }e_{i,j}^{n} \bigr) +\frac{22}{576}S_{x}S_{y} \bigl(D_{\tau }^{\alpha }e_{i+1,j}^{n}+D_{ \tau }^{\beta }e_{i+1,j}^{n} \bigr) \\ &\qquad {}+\frac{1}{576}S_{x}S_{y} \bigl(D_{\tau }^{\alpha }e_{i-1,j+1}^{n}+D_{\tau }^{ \beta }e_{i-1,j+1}^{n} \bigr) +\frac{22}{576}S_{x}S_{y} \bigl(D_{\tau }^{\alpha }e_{i,j+1}^{n}+D_{ \tau }^{\beta }e_{i,j+1}^{n} \bigr) \\ &\qquad {}+\frac{1}{576}S_{x}S_{y} \bigl(D_{\tau }^{\alpha }e_{i+1,j+1}^{n}+D_{\tau }^{ \beta }e_{i+1,j+1}^{n} \bigr) \\ &\quad =\frac{1}{24}S_{y}\bigl(\delta _{x}e_{i+\frac{1}{2},j-1}^{n}- \delta _{x}e_{i- \frac{1}{2},j-1}^{n}\bigr) + \frac{22}{24}S_{y}\bigl(\delta _{x}e_{i+ \frac{1}{2},j}^{n}- \delta _{x}e_{i-\frac{1}{2},j}^{n}\bigr) \\ &\qquad {}+\frac{1}{24}S_{y}\bigl(\delta _{x}e_{i+\frac{1}{2},j+1}^{n}-\delta _{x}e_{i- \frac{1}{2},j+1}^{n} \bigr) +\frac{1}{24}S_{x}\bigl(\delta _{y}e_{i-1,j+ \frac{1}{2}}^{n}- \delta _{y}e_{i-1,j-\frac{1}{2}}^{n}\bigr) \\ &\qquad {}+\frac{22}{24}S_{x}\bigl(\delta _{y}e_{i,j+\frac{1}{2}}^{n}-\delta _{y}e_{i,j- \frac{1}{2}}^{n} \bigr) +\frac{1}{24}S_{x}\bigl(\delta _{y}e_{i+1,j+\frac{1}{2}}^{n}- \delta _{y}e_{i+1,j-\frac{1}{2}}^{n}\bigr)+r_{ij}^{n}, \\ & 1\leq n \leq N, \end{aligned}$$
(24)
$$\begin{aligned} &e_{i,j}^{0}=0, \quad 1\leq i \leq M_{1}-1, 1\leq j \leq M_{2}-1, \end{aligned}$$
(25)
$$\begin{aligned} &e_{0,j}^{n}=0, \qquad e_{L_{1},j}^{n}=0, \\ &e_{i,0}^{n}=0, \qquad e_{i,L_{2}}^{n}=0, \quad 0\leq n \leq N. \end{aligned}$$
(26)

By using Theorem 2, we can obtain

$$ \bigl\Vert e^{n} \bigr\Vert _{\infty }\leq \bigl\Vert e^{0} \bigr\Vert _{\infty }+c\max_{1\leq k\leq n} \bigl\Vert r^{k} \bigr\Vert _{\infty }, \quad 1\leq n\leq N, $$

where \(c=\frac{1}{2}\max \{T^{\alpha }\Gamma (1-\alpha ), T^{\beta }\Gamma (1- \beta )\}\).

Furthermore, it is easy to obtain that

$$ \bigl\Vert r^{k} \bigr\Vert _{\infty }\leq c_{1}\bigl(\tau ^{2-\alpha }+h^{4}\bigr). $$

So, the result

$$ \bigl\Vert e^{n} \bigr\Vert _{\infty }\leq c\bigl(\tau ^{2-\alpha }+h_{1}^{4}+h_{2}^{4} \bigr), \quad 1\leq n\leq N, $$

is proved. □

4 Numerical experiments

We now present two numerical examples using the numerical methods as discussed above, where the errors involved are measured by comparing the numerical solutions with exact solutions. To simplify the calculation, let \(h=h_{1}=h_{2}\).

Example 1

Let \(\Omega =[0,1]\times [0.1]\), \(T=1\). In order to test the convergence of the finite volume scheme, we refer to the exact solution of problem (1) as

$$\begin{aligned} u(x,y,t)=\frac{1}{3}t^{2}\sin (\pi x)\sin (\pi y). \end{aligned}$$

We can obtain the corresponding source term \(f(x,y,t)\) and the initial and boundary conditions with \(\alpha =0.4\), \(\beta =0.2\), which are respectively

$$\begin{aligned} f(x,y,t)={}&\frac{1}{3}\biggl(\frac{\Gamma (3)}{\Gamma (3-\alpha )}\sin (\pi x)\sin ( \pi y)t^{2-\alpha }+\frac{\Gamma (3)}{\Gamma (3-\beta )}\sin (\pi x)\sin ( \pi y)t^{2-\beta } \\ &{}+2\pi ^{2}t^{2}\sin (\pi x)\sin (\pi y)\biggr) \end{aligned}$$

and

$$\begin{aligned} \psi (x,y,t)=0, \qquad \varphi (x,y)=0. \end{aligned}$$

Denote the maximum norm errors

$$\begin{aligned} E_{\infty }(h_{1},h_{2},\tau )=\max _{1\leq i\leq M_{1},1\leq j \leq M_{2}} \bigl\vert U^{N}_{ij}-u^{N}_{ij} \bigr\vert . \end{aligned}$$

Tables 1 and 2 show the maximum norm errors and the convergence order of the finite volume scheme. In order to simplify the calculation, we let \(h=h_{1}=h_{2}\). Suppose

$$\begin{aligned} E_{\infty }(h,\tau )=O\bigl(h^{p}+\tau ^{q} \bigr). \end{aligned}$$

If τ is small enough, then \(E_{\infty }(h,\tau )\approx O(h^{p})\). Consequently,

$$\begin{aligned} \frac{E_{\infty }(2h,\tau )}{E_{\infty }(h,\tau )}\approx 2^{p}, \qquad \log 2 \frac{E_{\infty }(2h,\tau )}{E_{\infty }(h,\tau )}\approx p. \end{aligned}$$

So, p is the convergence order with respect to the spatial step size. Similarly, we can obtain

$$ q\approx \log 2\frac{E_{\infty }(h,2\tau )}{E_{\infty }(h,\tau )} $$

for small enough h. Denote

$$\begin{aligned}& \mathit{Order}1=\log 2\frac{E_{\infty }(h,2\tau )}{E_{\infty }(h,\tau )}, \\& \mathit{Order}2= \frac{E_{\infty }(2h,\tau )}{E_{\infty }(h,\tau )}. \end{aligned}$$
Table 1 Error behavior with Dirichlet boundary condition for \(h=\frac{1}{1000}\)
Table 2 Error behavior with Dirichlet boundary condition for \(\tau =\frac{1}{1000}\)

Define \(\mathit{Mass}_{h}=\sum_{i=0}^{M_{1}}\sum_{j=0}^{M_{2}}u_{ij}^{N}h^{2}\). If under different meshes \(\mathit{Mass}_{h}\) keep about the same size, we can explain the integral conservation of the compact finite volume scheme.

Figure 1
figure 1

The effect of numerical solution and exact solution at fixed \(h=\frac{1}{1000}\) and \(\tau =\frac{1}{64}\)

Figure 2
figure 2

The effect of numerical solution and exact solution at fixed \(\tau =\frac{1}{1000}\) and \(h=\frac{1}{64}\)

We compare the exact solution and the numerical solution under different meshes. In Tables 1 and 2, temporal and spatial convergence orders are shown. We fix sufficiently small spatial step size \(h=\frac{1}{1000}\) and vary the temporal step sizes. Table 1 lists the numerical results for different temporal step sizes. Similarly, we fix sufficiently small temporal step sizes \(\tau =\frac{1}{1000}\) and vary the spatial step sizes. Also, Table 2 lists the numerical results for different spatial step sizes.

In order to observe error orders more intuitively, we plot Fig. 3 about error orders, where slope represents the error order. We can observe that the temporal error order is about \(2-\alpha \) and the spatial error order is about \(h^{4}\).

Figure 3
figure 3

The red line represents temporal error order, the blue line represents spatial error order

Figure 4
figure 4

The effect of numerical solution and exact solution at fixed \(h=\frac{1}{1000}\) and \(\tau =\frac{1}{64}\)

Figure 5
figure 5

The effect of numerical solution and exact solution at fixed \(h=\frac{1}{1000}\) and \(\tau =\frac{1}{64}\)

Example 2

Let \(\Omega =[0,1]\times [0.1]\), \(T=1\). As before, we refer to the exact solution of problem (1) as

$$ u(x,t)=t^{3}\bigl(-x+x^{2}\bigr) \bigl(-y+y^{2} \bigr). $$

It is also not difficult to obtain the corresponding source term \(f(x,y,t)\) and the initial and boundary conditions with \(\alpha =0.8\), \(\beta =0.3\), which are respectively

$$\begin{aligned} f(x,y,t)={}&\frac{\Gamma (4)}{\Gamma (4-\alpha )}\bigl(x-x^{2}\bigr) \bigl(y-y^{2}\bigr)t^{3- \alpha }+\frac{\Gamma (4)}{\Gamma (4-\beta )} \bigl(x-x^{2}\bigr) \bigl(y-y^{2}\bigr)t^{3- \beta } \\ &{}+2t^{3}\bigl(y-y^{2}\bigr)+2t^{3} \bigl(x-x^{2}\bigr) \end{aligned}$$

and

$$\begin{aligned} \psi (x,y,t)=0, \qquad \varphi (x,y)=0. \end{aligned}$$

Like the previous example, we compute the maximum norm errors of the numerical solution to test the convergence of the compact finite volume scheme, which is defined the same as in Example 1. Denote

$$ \mathit{Order}1=\log 2\frac{E_{\infty }(h,2\tau )}{E_{\infty }(h,\tau )}, \qquad \mathit{Order}2= \frac{E_{\infty }(2h,\tau )}{E_{\infty }(h,\tau )}. $$

In Table 3, we compute the problem for a longer time by fixing \(N=8, 16, 32, 64, 128\), and still choosing \(h=\frac{1}{1000}\). And then, we compute the problem for a longer space by fixing \(M=8, 16, 32, 64, 128\), and still choosing \(\tau =\frac{1}{1000}\) in Table 4.

Table 3 Error behavior with Dirichlet boundary condition for \(h=\frac{1}{1000}\)
Table 4 Error behavior with Dirichlet boundary condition for \(\tau =\frac{1}{1000}\)

As in Example 1, we plot Fig. 6 about error orders, where slope represents the error order. We can observe that the temporal error order is about \(2-\alpha \) and the spatial error order is about \(h^{4}\).

Figure 6
figure 6

The red line represents temporal error order, the blue line represents spatial error order

5 Conclusion

In this article, we constructed a compact finite volume scheme for the multi-term time fractional sub-diffusion equation. We proved the existence and uniqueness, stability and \(L_{\infty }\) convergence of our scheme. Two numerical results show that the scheme is conserved and convergent with the order \(O(\tau ^{2-\alpha }+h^{4})\).

Availability of data and materials

Not applicable.

References

  1. Agarwal, P., Baltaeva, U., Alikulov, Y.: Solvability of the boundary-value problem for a linear loaded integro-differential equation in an infinite three-dimensional domain. Chaos Solitons Fractals 140, 110108 (2020)

    Article  MathSciNet  Google Scholar 

  2. Agarwal, P., Waldschmidt, M., Kanemitsu, S., Jain, S.: Recent Trends in Special Functions and Analysis of Differential Equations. CRC Press, Boca Raton (2020)

    Book  Google Scholar 

  3. Alderremy, A.A., Saad, K.M., Agarwal, P., et al.: Certain new models of the multi space-fractional Gardner equation. Phys. A, Stat. Mech. Appl. 545, 123806 (2020)

    Article  MathSciNet  Google Scholar 

  4. Bagley, R.L., Torvik, R.J.: On the appearance of the fractional derivative in the behaviour of real materials. Appl. Mech. 51, 294–298 (1984)

    Article  MATH  Google Scholar 

  5. Baleanu, D., Defterli, O., Agrawal, O.P.: A central difference numerical scheme for fractional optimal control problems. J. Vib. Control 15(4), 583–597 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  6. Benson, D.A., Wheatcraft, S.W., Meerschaert, M.M.: Application of a fractional advection dispersion equation. Water Resour. Res. 36, 1403–1412 (2000)

    Article  Google Scholar 

  7. Chen, C.M., Liu, F.W., Turner, I., et al.: Numerical schemes and multivariate extrapolation of a two-dimensional anomalous sub-diffusion equation. Numer. Algorithms 54, 1–21 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  8. Cui, M.: Finite difference schemes for the variable coefficients single and multi-term time-fractional diffusion equations with non-smooth solutions on graded and uniform meshes. Numer. Math., Theory Methods Appl. 12, 845–866 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  9. Cui, M.: Compact difference scheme for time-fractional fourth-order equation with first Dirichlet boundary condition. East Asian J. Appl. Math. 9, 45–66 (2019)

    Article  MathSciNet  Google Scholar 

  10. Daftardar, G.V., Bhalekar, S.: Boundary value problems for multi-term fractional differential equations. J. Math. Anal. Appl. 345, 754–765 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  11. El-Sayed, A.A., Baleanu, D., Agarwal, P.: A novel Jacobi operational matrix for numerical solution of multi-term variable-order fractional differential equations. J. Taibah Univ. Sci. 14(1), 963–974 (2020)

    Article  Google Scholar 

  12. Ervin, V.J., Roop, J.P.: Variational formulation for the stationary fractional advection dispersion equation. Numer. Methods Partial Differ. Equ. 22, 558–576 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  13. Gao, G.H., Liu, R.: A compact difference scheme for fourth-order temporal multi-term fractional wave equations and maximum error estimates. East Asian J. Appl. Math. 9, 703–722 (2019)

    MathSciNet  Google Scholar 

  14. Gao, G.H., Sun, Z.Z.: Two alternating direction implicit difference schemes for solving the two-dimensional time distributed-order wave equations. J. Sci. Comput. 69(2), 506–531 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  15. Gautschi, W.: Some elementary inequalities relating to the gamma and incomplete gamma function. J. Math. Phys. 38, 77–81 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  16. Ji, C.C., Sun, Z.Z.: A high-order compact finite difference scheme for the fractional sub-diffusion equation. J. Sci. Comput. 64(3), 959–985 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  17. Langlands, T.A.M., Henry, B.I.: The accuracy and stability of an implicit solution method for the fractional diffusion equation. J. Comput. Phys. 205(2), 719–736 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  18. Lin, X.L., Michael, K.N., Sun, H.W.: A separable preconditioner for time-space fractional Caputo–Riesz diffusion equations. Numer. Math., Theory Methods Appl. 11, 827–853 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  19. Liu, F.W., Anh, V., Turner, I.: Numerical solution of the space fractional Fokker–Planck equation. Comput. Appl. Math. 166, 209–219 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  20. Liu, F.W., Yang, C., Burrage, K.: Numerical method and analytical technique of the modified anomalous subdiffusion equation with a nonlinear source term. Comput. Appl. Math. 231, 160–176 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  21. Liu, F.W., Zhuang, P., Anh, V., Turner, I., Burrage, K.: Stability and convergence of the difference methods for the space-time fractional advection-diffusion equation. Appl. Math. Comput. 191, 12–20 (2007)

    MathSciNet  MATH  Google Scholar 

  22. Liu, Q., Liu, F.W., Turner, I., et al.: Finite element approximation for a modified anomalous sub-diffusion equation. Appl. Math. Model. 35, 4103–4116 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  23. Luchko, Y.: Initial-boundary-value problems for the generalized multi-term time fractional diffusion equation. J. Math. Anal. Appl. 374, 538–548 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  24. Machado, J.: Analysis and Design of Fractional-Order Digital Control Systems. Gordon & Breach, New York (1997)

    MATH  Google Scholar 

  25. Mainardi, F., Raberto, M., Gorenflo, R., Scalas, E.: Fractional calculus and continuous-time finance II: the waiting-time distribution. Physica A 287, 468–481 (2000)

    Article  MATH  Google Scholar 

  26. Nguyen, T., Au, V.V., Long, L.D., Baleanu, D.: Regularization of a terminal value problem for time fractional diffusion equation. Math. Methods Appl. Sci. 43(6), 3850–3878 (2020)

    Article  MATH  Google Scholar 

  27. Oldham, K.B., Spanier, J.: Theory and Application of Differentiation and Integration to Arbitrary Order. Academic Press, San Diego (1974)

    MATH  Google Scholar 

  28. Oustaloup, A.: Commande Robuste d’Ordre Non Entier. Hermes (1991)

    MATH  Google Scholar 

  29. Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)

    MATH  Google Scholar 

  30. Ren, J.C., Sun, Z.Z.: Efficient and stable numerical methods for multi-term time fractional sub-diffusion equations. East Asian J. Appl. Math. 4, 242–266 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  31. Rui, H.X.: A conservative characteristic finite volume element method for solution of the advection-diffusion equation. Comput. Methods Appl. Mech. Eng. 197(45–48), 3862–3869 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  32. Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, New York (1993)

    MATH  Google Scholar 

  33. Sheng, C.T., Shen, J.: A space-time Petrov–Galerkin spectral method for time fractional diffusion equation. Numer. Math., Theory Methods Appl. 11, 854–876 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  34. Sun, H., Sun, Z.Z., Du, R.: A linearized second-order difference scheme for the nonlinear time-fractional fourth-order reaction-diffusion equation. Numer. Math., Theory Methods Appl. 12, 1168–1190 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  35. Sun, Z.Z.: Numerical Methods of Partial Differential Equations. Science Press, Beijing (2012)

    Google Scholar 

  36. Tadjeran, C., Meerschaert, M.M., Scheffler, H.-P.: A second-order accurate numerical approximation for the fractional diffusion equation. Comput. Phys. 213, 205–213 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  37. Tang, T., Yu, H.J., Zhou, T.: On energy dissipation theory and numerical stability for time-fractional phase field equations. SIAM J. Sci. Comput. 41(6), A3757–A3778 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  38. Tuan, N.H., Baleanu, D., Thach, T.N., et al.: Final value problem for nonlinear time fractional reaction-diffusion equation with discrete data. J. Comput. Appl. Math. 376, 112883 (2020)

    Article  MathSciNet  MATH  Google Scholar 

  39. Tuan, N.H., Huynh, L.N., Baleanu, D., Can, N.H.: On a terminal value problem for a generalization of the fractional diffusion equation with hyper-Bessel operator. Math. Methods Appl. Sci. 43(6), 2858–2882 (2020)

    Article  MATH  Google Scholar 

  40. Tuan, N.H., Tuan, N.H., Baleanu, D., Thach, T.N.: On a backward problem for fractional diffusion equation with Riemann–Liouville derivative. Math. Methods Appl. Sci. 43(3), 1292–1312 (2020)

    Article  MathSciNet  MATH  Google Scholar 

  41. Wang, N.L., Agarwal, P., Kanemitsu, S.: Limiting values and functional and difference equations. Mathematics 8(3), 407 (2020)

    Article  Google Scholar 

  42. Wang, T.K.: An altering direction finite volume element method for a class of two-dimensional viscous wave equations. J. Numer. Methods Comput. Appl. 45, 205–210 (2018)

    Google Scholar 

  43. Wang, Y.M., Wang, T.: Error analysis of a high-order compact ADI method for two-dimensional fractional convection-subdiffusion equations. Calcolo 53, 1–30 (2015)

    MathSciNet  Google Scholar 

  44. Wang, Z.B., 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)

    Article  MathSciNet  MATH  Google Scholar 

  45. Wei, Y.B., Zhao, Y.M., et al.: Spatial high accuracy analysis of FEM for two-dimensional multi-term time-fractional diffusion-wave equations. Acta Math. Appl. Sin. Engl. Ser. 34, 828–841 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  46. Wu, S.L., Zhou, T.: Parareal algorithms with local time-integrators for time fractional differential equations. J. Comput. Phys. 358, 135–149 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  47. Yang, S.P., Xiao, A.G., Su, H.: Convergence of the variational iteration method for solving multi-order fractional differential equations. Comput. Math. Appl. 60, 2871–2879 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  48. 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(5), 1862–1874 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  49. Zhang, K.R., Jiang, Z.W.: Compact finite volume method for one-dimensional Schrodinger equation. J. Shandong Norm. Univ. 34, 201–205 (2018)

    Google Scholar 

  50. Zhang, Y., Sun, Z.Z.: Alternating direction implicit schemes for the two-dimensional fractional sub-diffusion equation. J. Comput. Phys. 230, 8713–8728 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  51. Zhang, Y., Sun, Z.Z., Wu, H.W.: Error estimates of Crank–Nicolson-type difference schemes for the sub-diffusion equation. SIAM J. Numer. Anal. 49, 2302–2322 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  52. Zhou, J., Xu, D., Chen, H.B.: A weak Galerkin finite element method for multi-term time-fractional diffusion equations. East Asian J. Appl. Math. 8, 181–193 (2018)

    Article  MathSciNet  Google Scholar 

  53. Zhuang, P., Liu, F.W., Anh, V., Turner, I.: New numerical methods for the time fractional sub-diffusion equation. SIAM J. Numer. Anal. 46(2), 1079–1095 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  54. Zhuang, P., Liu, F.W., Anh, V., Turner, I.: Stability and convergence of an implicit numerical method for the non-linear fractional reaction-subdiffusion process. IMA J. Appl. Math. 74, 645–667 (2009)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to express their sincere thanks to the referees for the valuable comments and suggestions which helped to improve the original paper.

Funding

This work is supported by the National Natural Science Foundation of China (No. 11171193) and the Natural Science Foundation of Shandong Province of China (No. ZR2017MA020).

Author information

Authors and Affiliations

Authors

Contributions

BS carried out the main part of this article. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Ziwen Jiang.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Su, B., Jiang, Z. High-order compact finite volume scheme for the 2D multi-term time fractional sub-diffusion equation. Adv Differ Equ 2020, 689 (2020). https://doi.org/10.1186/s13662-020-03128-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-020-03128-4

Keywords