Skip to main content

Finite difference scheme for simulating a generalized two-dimensional multi-term time fractional non-Newtonian fluid model


A finite difference scheme, based upon the Crank–Nicolson scheme, is applied to the numerical approximation of a two-dimensional time fractional non-Newtonian fluid model. This model not only possesses a multi-term time derivative, but also contains a special time fractional operator on the spatial derivative. And a very important lemma is proposed and also proved, which plays a vital role in the proof of the unconditional stability. The stability and convergence of the finite difference scheme are discussed and theoretically proved by the energy method. Numerical experiments are given to validate the accuracy and efficiency of the scheme, and the results indicate that this Crank–Nicolson difference scheme is very effective for simulating the generalized non-Newtonian fluid diffusion model.


Fractional partial differential equations have been applied to many anomalous phenomena and complex systems in natural science and engineering technology fields [1,2,3]. They have some advantages in describing real processes or phenomena with memory [4, 5] over the integer-order ones. Many existing models have used single-term time-fractional derivatives to describe anomalous diffusion phenomena [6, 7], optimum control [8, 9], ecological system [10, 11]. In recent years, the extension to multi-term time fractional diffusion equations has been considered. Liu et al. [12] derived the analytical solutions for the multi-time time-fractional diffusion-wave equations with nonhomogeneous boundary conditions by using the method of separating variables. Daftardar–Gejji et al. [13] obtained the solutions of multi-term time fractional diffusion wave equations under different homogeneous or non-homogeneous boundary conditions. Some numerical treatment of multi-term fractional diffusion equations is also an active area of current research. The Galerkin finite element method was discussed in [14]. Liu et al. [15] found numerical solutions for the multi-term fractional diffusion-wave diffusion whose fractional orders belong to the intervals \([0,1)\), \([1,2)\), \([0,2)\), \([0,3)\), \([2,3)\), and \([2,4)\), separately. In [16], they handled the multi-term fractional wave equations with a meshless collocation method and applied the moving least squares reproducing kernel particle approximation to construct the shape functions for spatial approximation of the equations in two dimensions. An implicit compact difference scheme based on the \(L_{2}\) approximation was constructed to simulate the solution of the two-dimensional multi-term fractional equations in [17].

Fractional equations also have many other applications, such as continuous time random walks in external fields [18], fractal mobile/immobile solute transport [19], attenuation coefficient for power-law biological tissue [20]. In the last few decades, non-Newtonian fluids have been widely applied in engineering and industry. The constitutive equation of non-Newtonian fluids is much more complex than its Newtonian counterparts, and the constitutive equations involving fractional derivative have been proved to be a valuable tool to handle viscoelastic properties [21], and the obtained results show that they are in good agreement with the experimental data [22].

The generalized Oldroyd-B fluid is a particular subclass of non-Newtonian fluids. Some recent papers about the generalized Oldroyd-B fluids can be found in references [23, 24]. The fundamental electromagnetic relations have been summarized by Sutton [25]. One important part is the incompressible Oldroyd-B fluid which is bounded by two infinite rigid plates, when a magnetic field is imposed on the above flow under the assumption of low magnetic Reynolds number. Khan et al. [26] considered the generalized Oldroyd-B fluid in a porous medium with the influence of Hall current. For the MHD flow, Zheng et al. [27] discussed the flow between two plates with slip boundary conditions and obtained the exact solution using some transform techniques. There are some literature works [27, 28] that give the exact solution of the generalized Oldroyd-B fluid, and they are typically given in generalized G or H-function. Fetecau et al. [29] considered the two-dimensional fluid model and also obtained the exact solution.

But these multi-term fractional fluid models are difficult to get their exact solution, therefore, many researchers look for other solutions [30, 31]; numerical method is a promising tool to solve these equations. And up to now, numerical methods to solve fractional equations mainly are finite difference methods [32,33,34], finite element methods [35, 36], finite volume methods [37, 38], and spectral methods [39,40,41]. For these multi-term fractional fluid models, Bazhlekova et al. [42] proposed a finite difference method to solve the viscoelastic flow with generalized fractional Oldroyd-B model, and they utilized the Grünwald–Letnikov formula to approximate the Riemann–Liouville time fractional derivative; the results were low accuracy and lacked theoretical analysis. Recently, Feng et al. [43] gave the numerical solution of these problems, but it was confined to a one-dimensional case. We use finite difference method to solve the generalized two-dimensional multi-term time fractional Oldroyd-B fluid equation. We get that the temporal convergence order is \({\min\{3-\gamma,2-\alpha ,2-\beta\}}\), this result is better than [43] where the convergence rate in time is only first order, and we also propose and prove a vital lemma. It will help us to prove the unconditional stability of the Crank–Nicolson finite difference scheme, but in literature [44], they only proved that this Crank–Nicolson difference scheme is conditionally stable.

Inspired by the above works and motivated by potential applications, we will consider the following generalized two-dimensional multi-term time fractional non-Newtonian fluid diffusion equation:

$$ c_{1} {{}^{C}_{0}D^{\gamma}_{t}}u+c_{2} \frac{\partial u}{\partial t}+c_{3}{{}^{C}_{0}D^{\alpha }_{t}}u+c_{4}u =c_{5}\triangle u+c_{6}{{}^{C}_{0}D^{\beta}_{t}} \triangle u+f(\mathbf{x},t), $$

where \(u=u(\mathbf{x},t)\), \(\mathbf{x}=(x,y)\in\varOmega=(0,L_{x})\times (0,L_{y})\subset\Re^{2}\), \(0< t\leq T\), and the following initial conditions:

$$u(\mathbf{x},0)=\varphi(\mathbf{x}),\qquad u_{t}(\mathbf{x},0)=\phi( \mathbf {x}),\quad \mathbf{x}\in\varOmega $$

and Dirichlet boundary condition

$$u(\mathbf{x},t)=0,\quad \mathbf{x}\in\partial\varOmega\subset\Re^{2}, 0< t \leq T, $$

where \(c_{i}>0\), \(i=1,\ldots,6\), and \(1<\gamma<2\), \(0<\alpha,\beta<1\), here ∂Ω is the boundary of Ω. is the Laplace operator \(\triangle u=\frac{\partial^{2} u}{\partial x^{2}}+\frac{\partial^{2} u}{\partial y^{2}}\), \(\varphi(\mathbf{x})\) and \(\phi(\mathbf{x})\) are sufficiently smooth functions, \(f(\mathbf{x},t)\) is a known source term function. \({{}^{C}_{0}D^{\theta}_{t}} u\) is the Caputo time fractional derivative of order \(\theta(\theta>0, n-1\leq\theta< n)\) with respect to t [45, 46]

$${{}^{C}_{0}D^{\theta}_{t}} u(\mathbf{x},t)= \textstyle\begin{cases} \frac{1}{\varGamma(n-\theta)}\int_{0}^{t}(t-s)^{n-1-\theta}\frac{\partial^{n} u(\mathbf{x},s)}{\partial s^{n}}\,ds,& \theta\notin{\mathbf{z}}^{+}, \\ \frac{\partial^{\theta}u(\mathbf{x},t)}{\partial t^{\theta}},& \theta\in {\mathbf{z}}^{+}, \end{cases} $$

where \(\varGamma(\cdot)\) is the gamma function.

The outline of this paper is organized as follows. First, preliminary knowledge is given, and the numerical discretization of the time fractional derivative is proposed. Then, we develop the finite difference method for the generalized non-Newtonian fluid model and derive the implicit scheme. After that, we proceed with the proof of the stability and convergence of the scheme by energy method and discuss the solvability of the numerical scheme. Finally, we present a numerical example to demonstrate the effectiveness of our method and draw some conclusions.


In the x-direction \([0,L_{p}]\), we take the mesh points \(x_{p}=ph_{1}\), \(p=0, 1,\ldots,M_{1}\), in the y-direction \([0,L_{q}]\), we take the mesh points \(y_{q}=qh_{1}\), \(q=0, 1,\ldots, M_{1}\), and \(t_{n} = n\tau\), \(n = 0, 1,\ldots, N\), where \(h_{x} =L_{p}/M_{1}\), \(h_{y} =L_{q}/M_{1}\), \(\tau= T/N\) are the uniform spatial step size and temporal step size, respectively. Denote \(\varOmega_{\tau}\equiv\{t_{n}\mid 0\leq n\leq N\}\), \(\varOmega_{h}\equiv\{ (x_{p},y_{q})\mid 0\leq p\leq M_{1}, 0\leq q\leq M_{2}\}\). Suppose \(u_{pq}^{n}=u(x_{p},y_{q},t_{n})\), \(u_{pq}^{n}\) is a grid function on \(\varOmega _{h}\times\varOmega_{\tau}\). We introduce the following notations:

$$\begin{aligned}& \nabla_{t}u_{pq}^{n}=\frac{u_{pq}^{n}-u_{pq}^{n-1}}{\tau}, \qquad u_{pq}^{n-\frac {1}{2}}=\frac{u_{pq}^{n}+u_{pq}^{n-1}}{2},\qquad \nabla_{x}u_{pq}^{n}= \frac {u_{pq}^{n}-u_{p-1q}^{n}}{h}, \\& \delta_{x}^{2}u_{pq}^{n}= \frac{u_{p-1q}^{n}-2u_{pq}^{n}+u_{p+1q}^{n}}{h_{x}^{2}},\qquad \delta _{y}^{2}u_{pq}^{n}= \frac{u_{pq-1}^{n}-2u_{pq}^{n}+u_{pq+1}^{n}}{h_{y}^{2}}. \end{aligned}$$

We define \(\mathcal{V}_{h}=\{v \mid v \text{ is a grid function on } \varOmega _{h} \text{ and } v_{0q}=v_{M_{x}q}=v_{p0}=v_{pM_{y}}=0\}\). For any \(u,v\in\mathcal{V}_{h}\), we also define the following discrete inner products and induced norms:

$$\begin{aligned}& (u,v)=h_{x}h_{y}\sum_{p=1}^{M_{x}-1} \sum_{p=1}^{M_{y}-1}u_{pq}v_{pq}, \\& \bigl\langle (\nabla_{x}+\nabla_{y})u,( \nabla_{x}+\nabla_{y})v\bigr\rangle =h_{x}h_{y} \sum_{p=1}^{M_{x}}\sum _{p=1}^{M_{y}}(\nabla_{x}+ \nabla_{y})u_{pq}\cdot(\nabla _{x}+ \nabla_{y})v_{pq}, \\& \|v\|_{0}=\sqrt{(v,v)},\qquad \|v\|_{\infty}=\max _{\substack{1 \leq p \leq M_{x}\\ 1\leq q\leq M_{y}}}{\mid v\mid},\qquad |v|_{1}=\sqrt{\bigl\langle ( \nabla_{x}+\nabla _{y})v,(\nabla_{x}+ \nabla_{y})v\bigr\rangle }. \end{aligned}$$

The \(\|\cdot\|_{1}\) norm of the grid function \(v\in\mathcal{V}_{h}\) is given as

$$ \|v\|_{1}=\sqrt{c_{4}\|v \|_{0}^{2}+c_{5}\|v\|_{1}^{2}}. $$

For the two-dimensional case, we can get the following properties:

$$\begin{aligned}& \bigl(\bigl(\delta_{x}^{2}+\delta_{y}^{2} \bigr)v^{k},v^{n}\bigr)=-\bigl\langle (\nabla_{x}+ \nabla _{y})v^{k},(\nabla_{x}+ \nabla_{y})v^{n}\bigr\rangle , \\& \begin{aligned}[b] \bigl(\bigl(\delta_{x}^{2}+ \delta_{y}^{2}\bigr)v^{k},\nabla_{t}v^{n} \bigr)&=-\frac{1}{\tau}\bigl\langle (\nabla_{x}+ \nabla_{y})v^{k},(\nabla_{x}+\nabla_{y})v^{n}-( \nabla_{x}+\nabla _{y})v^{n-1}\bigr\rangle \\ &=-\bigl\langle (\nabla_{x}+\nabla_{y})v^{k}, \nabla_{t}(\nabla_{x}+\nabla_{y})v^{n} \bigr\rangle , \end{aligned} \end{aligned}$$
$$\begin{aligned}& \bigl(\nabla_{t}\bigl(\bigl(\delta_{x}^{2}+ \delta_{y}^{2}\bigr)v^{k}\bigr), \nabla_{t}v^{n}\bigr) =-\bigl\langle \nabla_{t} \bigl((\nabla_{x}+\nabla_{y})v^{k}\bigr), \nabla_{t}\bigl((\nabla_{x}+\nabla _{y})v^{n} \bigr)\bigr\rangle . \end{aligned}$$


We only give the proof of formula (4), similar to the one-dimensional case, it is easy to get

$$\begin{aligned}& \bigl(\nabla_{t}\bigl(\bigl(\delta_{x}^{2}+ \delta_{y}^{2}\bigr)v^{k}\bigr), \nabla_{t}v^{n}\bigr) \\& \quad =\frac{1}{\tau }\bigl\langle ( \nabla_{x}+\nabla_{y})v^{k}-(\nabla_{x}+ \nabla_{y})v^{k-1},\nabla _{t}v^{n}\bigr\rangle \\& \quad =-\frac{1}{\tau}\bigl(\bigl\langle (\nabla_{x}+ \nabla_{y})v^{k},\nabla_{t}(\nabla_{x}+ \nabla _{y})v^{n}\bigr\rangle -\bigl\langle ( \nabla_{x}+\nabla_{y})v^{k-1},\nabla_{t}( \nabla_{x}+\nabla _{y})v^{n}\bigr\rangle \bigr) \\& \quad =-\bigl\langle \nabla_{t}\bigl((\nabla_{x}+ \nabla_{y})v^{k}\bigr),\nabla_{t}\bigl(( \nabla_{x}+\nabla _{y})v^{n}\bigr)\bigr\rangle . \end{aligned}$$


Next we will give the Crank–Nicolson scheme of fractional derivative.

Crank–Nicolson discretization of \({D_{t}^{\beta}}u\) (\(0<\beta<1\))

From the Crank–Nicolson scheme in [44, 47], we give the discretization scheme at grid points \((x_{p},y_{q},t_{n-\frac{1}{2}})\) directly

$$ \begin{aligned}[b] {D_{t}^{\beta}}u(x_{p},y_{q},t_{n-\frac{1}{2}})&= \frac{\tau^{-\beta}}{\varGamma (2-\beta)}\Biggl[d_{0}^{(\beta)}u_{pq}^{n}- \sum^{n-1}_{k=1}\bigl(d_{n-k-1}^{(\beta )}-d_{n-k}^{(\beta)} \bigr)u_{pq}^{k}-d_{n-1}^{(\beta)}u_{pq}^{0} \Biggr]+R_{1} \\ &=\frac{\tau^{1-\beta}}{\varGamma(2-\beta)}\sum^{n}_{k=1}d_{n-k}^{(\beta )} \nabla_{t}u_{pq}^{k}+R_{1}, \end{aligned} $$

where \(R_{1}\leq C(\tau^{2-\beta})\), and

$$ d_{k}^{(\beta)}= \textstyle\begin{cases} (k+\frac{1}{2})^{1-\beta}-(k-\frac{1}{2})^{1-\beta},& k=1,2,3,\ldots, \\ 2^{\beta-1},& k=0. \end{cases} $$

Lemma 1

The coefficients \(d_{k}^{(\beta)}\) satisfy the following properties:

  1. (1)

    \(d_{k}^{(\beta)}>0\), \(\lim_{k\rightarrow\infty}d_{k}^{(\beta)}=0\),

  2. (2)

    \(d_{k}^{(\beta)}>d_{k+1}^{(\beta)}\), \(k\geq1\),

  3. (3)

    \(d_{k+1}^{(\beta)}-2d_{k}^{(\beta)}+d_{k-1}^{(\beta)}>0\), \(k\geq2\).

Remark 1

When \(0<\beta<0.4811\), \(d_{2}^{(\beta)}-2d_{1}^{(\beta )}+d_{0}^{(\beta)}<0\). Regarding these coefficients’ property, literature [44] proved that this Crank–Nicolson difference scheme is only conditionally stable. Next, we will give the following important lemma, which is a valuable tool to prove the unconditional stability of this Crank–Nicolson difference scheme.

Lemma 2

For \(0<\beta<1\), \(d_{k}^{(\beta)}\) are defined as (5), (6), and for any positive integer N and real vector \(\mathbf{Q}=(v^{1},v^{2},\ldots ,v^{N-1},v^{N})\in R^{N+1}\), we have

$$ \sum_{n=1}^{N}\sum _{k=1}^{n} d_{n-k}^{(\beta)} v^{k}v^{n}\geq0. $$


From Remark 1, when \(0<\beta<0.4811\), the coefficient \(d_{2}^{(\beta)}-2d_{1}^{(\beta)}+d_{0}^{(\beta)}<0\). Next, we will give the proof that it does not affect the results. Then, similar to Feng’s proof [48], we will first prove the following results. We can rewrite (7) in the following form:

$$ \sum_{n=1}^{N}\sum _{k=1}^{n} d_{n-k}^{(\beta)} v^{k}v^{n}=\sum_{n=1}^{N} \sum_{k=0}^{n-1} d_{n-k}^{(\beta)} v^{n-k}v^{n}=\mathbf{Q}\mathbf{W}\mathbf{Q}^{T}, $$


W= [ d 0 ( β ) 0 0 0 0 d 1 ( β ) d 0 ( β ) 0 0 0 d 2 ( β ) d 1 ( β ) d 0 ( β ) 0 0 d N 2 ( β ) d N 3 ( β ) d N 4 ( β ) d 0 ( β ) 0 d N 1 ( β ) d N 2 ( β ) d N 3 ( β ) d 1 ( β ) d 0 ( β ) ] .

To prove (7) is equivalent to proving that Matrix W is positive definite. So we only need to prove \(\mathbf{T_{N}}=\frac{\mathbf {W}+\mathbf{W}^{T}}{2}\) is positive definite [43]. TN is a real symmetric Toeplitz matrix and has the form

TN= 1 2 [ 2 d 0 ( β ) d 1 ( β ) d 2 ( β ) d N 2 ( β ) d N 1 ( β ) d 1 ( β ) 2 d 0 ( β ) d 1 ( β ) d N 3 ( β ) d N 2 ( β ) d 2 ( β ) d 1 ( β ) 2 d 0 ( β ) d N 4 ( β ) d N 3 ( β ) d N 2 ( β ) d N 3 ( β ) d N 4 ( β ) 2 d 0 ( β ) d 1 ( β ) d N 1 ( β ) d N 2 ( β ) d N 3 ( β ) d 1 ( β ) 2 d 0 ( β ) ] .

Next, we will prove \(\det{(\mathbf{T_{N}})}>0\). It is easy to verify that \(\det{(\mathbf{T_{1}})}= 2d_{0}^{(\beta)}>0\), and \(\det{(\mathbf{T_{2}})}= 2(d_{0}^{(\beta)})^{2}-\frac{1}{2}d_{1}^{(\beta)}>0\), for a finite integer N, we explicitly calculate the value of \(\det{(\mathbf{T_{N}})}>0\). When N is sufficiently large, according to [49], we have

$$ \frac{\det{(\mathbf{T_{N}})}}{\det{(\mathbf{T_{N+1}})}}>0, $$

then we can conclude that \(\det{(\mathbf{T_{N+1}})}>0\). As matrix \(\mathbf{T_{k},k=1,2,\ldots,N}\) are the principal minors of matrix \(H_{N+1}\) and \(\det{(\mathbf{T_{k}})}>0\), \(k=1,2,\ldots,N+1\), then the real symmetric Toeplitz matrix \(\mathbf{T_{N+1}}\) is positive definite, matrix W is positive definite, so (7) is proved. □

In this part, we will give the scheme of the fractional derivative \({D_{t}^{\beta}}\triangle u\), \(0<\beta<1\).


$$\begin{aligned} \triangle u(x_{p},y_{q},t_{n-\frac{1}{2}})&=\bigl( \delta_{x}^{2}+\delta _{y}^{2} \bigr)u(x_{p},y_{q},t_{n-\frac{1}{2}}) \\ &\quad {}-\frac{h_{x}^{2}}{12}\frac{\partial^{4}u(\xi_{p},y_{q},t_{n-\frac {1}{2}})}{\partial x^{4}} -\frac{h_{y}^{2}}{12} \frac{\partial^{4}u(x_{p},\varsigma_{q},t_{n-\frac {1}{2}})}{\partial y^{4}}, \end{aligned}$$

where \(x_{p-1}\leq\xi_{p}\leq x_{p}, y_{q-1}\leq\varsigma_{q}\leq y_{q}\), then

$$ {D_{t}^{\beta}}\triangle u(x_{p},y_{q},t_{n-\frac{1}{2}})= \frac{\tau^{1-\beta }}{\varGamma(2-\beta)}\sum^{n}_{k=1}d_{n-k}^{(\beta)} \nabla_{t}\bigl(\delta _{x}^{2}+ \delta_{y}^{2}\bigr)u_{pq}^{k}+R_{2}, $$

where \(|R_{2}|\leq C\tau^{2-\beta}+h_{x}^{2}+h_{y}^{2}\).

Next we give the following lemmas [50].

Lemma 3

Discretization of the time fractional derivative \({D_{t}^{\gamma}}u(x,y,t)\) \((1<\gamma<2)\). From the results in [50], at mesh points \((x_{p},y_{q},t_{n-\frac{1}{2}})\) we get

$$ \begin{aligned}[b] {D_{t}^{\gamma}}u(x_{p},y_{q},t_{n-\frac{1}{2}})& \approx\frac{1}{2}\bigl[D_{t}^{\gamma }u(x_{p},y_{q},t_{n})+D_{t}^{\gamma}u(x_{p},y_{q},t_{n-1}) \bigr] \\ &=\frac{\tau^{1-\gamma}}{\varGamma(3-\gamma)} \Biggl[a_{0}^{(\gamma)}\nabla_{t}u_{pq}^{n}- \sum_{k=1}^{n-1}\bigl(a_{n-k-1}^{(\gamma )}-a_{n-k}^{(\gamma)} \bigr)\nabla_{t}u_{pq}^{k} \\ &\quad {}-a_{n-1}^{(\gamma)}\frac{\partial u(x_{p},y_{q},0)}{\partial t} \Biggr]+R_{3}, \end{aligned} $$

where \(R_{3}=O(\tau^{3-\gamma})\), the coefficients \(a_{k}^{(\gamma )}=(k+1)^{2-\gamma}-k^{2-\gamma}\), \(k=0,1,2,\ldots\) , and they satisfy the following properties:

  1. (1)

    \(a_{k}^{(\gamma)}>0\), \(a_{0}^{(\gamma)}=1\), \(a_{k}^{(\gamma )}>a_{k+1}^{(\gamma)}\), \({\lim_{k\to\infty}}a_{k}^{(\gamma)}=0\),

  2. (2)

    \(\sum_{k=0}^{n-1}(a_{k}^{(\gamma)}-a_{k+1}^{(\gamma )})+a_{n}^{(\gamma)}=1\),

  3. (3)

    \((2-\gamma)(k+1)^{1-\gamma}\leq a_{k}^{(\gamma)}\leq(2-\gamma )k^{1-\gamma}\).

Lemma 4

([43, 50])

For \(1<\gamma<2\), define \(a_{k}^{(\gamma)}=(k+1)^{2-\gamma}-k^{2-\gamma }\), \(k=0,1,2,\ldots,n\), and \(S=\{S_{1},S_{2},S_{3},\ldots\}\) and P, then it holds that

$$\begin{aligned} &\frac{\tau^{1-\gamma}}{\varGamma(3-\gamma)}\sum_{n=1}^{N} \Biggl[a_{0}^{(\gamma)}S_{n}- \sum _{k=1}^{n-1}\bigl(a_{n-k-1}^{(\gamma)}-a_{n-k}^{(\gamma)} \bigr)S_{k}- a_{n-1}^{(\gamma)}P \Biggr]S_{n} \\ &\quad \geq \frac{T^{1-\gamma}}{2\varGamma(2-\gamma)}\sum_{n=1}^{N}S_{n}^{2} -\frac{T^{2-\gamma}}{2\tau\varGamma(3-\gamma)}P^{2},\quad N=1,2,3,\ldots. \end{aligned}$$

The derivation of the difference scheme

We assume \(u(x,y,t)\in C_{x,y,t}^{4,4,3}(\varOmega\times(0,T])\) and define the grid function \(f_{pq}^{n}=f(x_{p},y_{q},t_{n})\), \(\varphi_{pq}=\varphi (x_{p},y_{q})\), \(\phi_{pq}=\phi(x_{p},y_{q})\), \((x_{p},y_{q}) \in\varOmega_{h}\), \(0\leq n\leq N\). Now, we will present the finite difference scheme for the two-dimensional generalized non-Newtonian fluid model (1)

$$\begin{aligned} &{c_{1}D^{\gamma}_{t}u(x_{p},y_{q},t_{n-\frac{1}{2}})+c_{2} \frac{\partial u(x_{p},y_{q},t_{n-\frac{1}{2}})}{\partial t}+c_{3}D^{\alpha }_{t}u(x_{p},y_{q},t_{n-\frac{1}{2}})}+c_{4}u(x_{p},y_{q},t_{n-\frac{1}{2}}) \\ &\quad =c_{5}\Delta u(x_{p},y_{q},t_{n-\frac{1}{2}}) +c_{6}D^{\beta}_{t}\Delta u(x_{p},y_{q},t_{n-\frac{1}{2}})+f(x_{p},y_{q},t_{n-\frac {1}{2}}). \end{aligned}$$

From Eqs. (5) and (8), one gets

$$\begin{aligned} &c_{1}\mu_{1} \Biggl[a_{0}^{(\gamma)} \nabla_{t}u_{pq}^{n}- \sum _{k=1}^{n-1}\bigl(a_{n-k-1}^{(\gamma)}-a_{n-k}^{(\gamma)} \bigr)\nabla_{t}u_{pq}^{k}- a_{n-1}^{(\gamma)} \phi_{pq} \Biggr] \\ &\qquad {}+c_{2}\nabla_{t}u_{pq}^{n} +c_{3}\mu_{2}\sum^{n}_{k=1}d_{n-k}^{(\alpha)} \nabla_{t}u_{pq}^{k} +c_{4}u_{pq}^{n-\frac{1}{2}} \\ &\quad =c_{5}\bigl(\delta_{x}^{2}+ \delta_{y}^{2}\bigr)u_{pq}^{n-\frac{1}{2}} +c_{6}\mu_{3}\sum^{n}_{k=1}d_{n-k}^{(\beta)} \nabla_{t}\bigl(\delta_{x}^{2}+\delta _{y}^{2}\bigr)u_{pq}^{k} \\ &\qquad {}+f_{pq}^{n-\frac{1}{2}}+R_{pq}^{n}, \end{aligned}$$

where \(\mu_{1}=\frac{\tau^{1-\gamma}}{\varGamma(3-\gamma)}\), \(\mu_{2}=\frac{\tau^{1-\alpha}}{\varGamma(2-\alpha)}\), \(\mu_{3}=\frac{\tau ^{1-\beta}}{\varGamma(2-\beta)}\), and \(u(x_{p},y_{q},t_{n-\frac{1}{2}})=\frac {u(x_{p},y_{q},t_{n})+u(x_{p},y_{q},t_{n-1})}{2}+O(\tau^{2})\), \(\frac{\partial }{\partial t}u(x_{p},y_{q},t_{n-\frac{1}{2}})=\frac {u(x_{p},y_{q},t_{n})-u(x_{p},y_{q},t_{n-1})}{\tau}+O(\tau^{2})\), so \(|R_{pq}^{n}|\leq C(\tau^{min(3-\gamma,2-\alpha,2-\beta)}+h_{1}^{2}+h_{2}^{2})\), in which C is independent of τ, \(h_{1}\), and \(h_{2}\). Omitting the error term, we use \(U_{pq}^{n}\) as the numerical solution, then we obtain the implicit finite difference scheme for generalized non-Newtonian fluid Eq. (1)

$$\begin{aligned} &c_{l}\mu_{l} \Biggl[a_{0}^{(\gamma)} \nabla_{t}U_{pq}^{n}- \sum _{k=1}^{n-1}\bigl(a_{n-k-1}^{(\gamma)}-a_{n-k}^{(\gamma)} \bigr)\nabla_{t}U_{pq}^{k}- a_{n-1}^{(\gamma)} \phi_{pq} \Biggr] \\ &\qquad {}+c_{2}\nabla_{t}U_{pq}^{n}+c_{3} \mu_{2}\sum^{n}_{k=1}d_{n-k}^{(\alpha)} \nabla_{t}U_{pq}^{k} +c_{4}U_{pq}^{n-\frac{1}{2}} \\ &\quad =c_{5}\bigl(\delta_{x}^{2}+ \delta_{y}^{2}\bigr)U_{pq}^{n-\frac{1}{2}} +c_{6}\mu_{3}\sum^{n}_{k=1}c_{n-k}^{(\beta)} \nabla_{t}\bigl(\delta_{x}^{2}+\delta _{y}^{2}\bigr)U_{pq}^{k}+f_{pq}^{n-\frac{1}{2}}, \end{aligned}$$

with the initial and boundary conditions

$$\begin{aligned}& U^{0}_{pq} =\varphi_{pq},\quad (x_{p},y_{q})\in\varOmega_{h}, \\& U_{pq}^{n} =0,\quad (x_{p},y_{q})\in \mathcal{V}_{h}, 1\leq n\leq N. \end{aligned}$$

Analysis of the numerical scheme

Solvability of the scheme

Theorem 1

The implicit finite difference scheme (11) is uniquely solvable.


At each time level, the coefficient matrix A is

A= [ B C 0 0 0 C B C 0 0 0 C B 0 0 0 0 0 B C 0 0 0 C B ] ,

where B and C are block matrixes,

B= [ r 1 + 2 r 2 + 2 r 3 r 3 0 0 0 r 3 r 1 + 2 r 2 + 2 r 3 r 3 0 0 0 r 3 r 1 + 2 r 2 + 2 r 3 0 0 0 0 0 r 1 + 2 r 2 + 2 r 3 r 3 0 0 0 r 3 r 1 + 2 r 2 + 2 r 3 ] ,


C= [ r 2 0 0 0 0 0 r 2 0 0 0 0 0 r 2 0 0 0 0 0 r 2 0 0 0 0 0 r 2 ] ,

where \(r_{1}=\frac{c_{1}k_{1}+c_{2}+c_{3}k_{2}d_{0}^{(\alpha)}}{\tau}+\frac {c_{4}}{2}>0\), \(r_{2}=\frac{\frac{c_{5}}{2}+c_{6}k_{3}d_{0}^{(\beta)}}{h_{1}^{2}}>0\), \(r_{3}=\frac{\frac{c_{5}}{2}+c_{6}k_{3}d_{0}^{(\beta)}}{h_{2}^{2}}>0\), \(r_{4}=\frac{c_{1}k_{1}+c_{2}}{\tau}-\frac{b_{2}}{2}\), and \(r_{5}=\frac{c_{5}}{2}\). Then A is a strictly diagonally dominant matrix. Therefore A is nonsingular, which means that the numerical scheme (11) is uniquely solvable. □


Theorem 2

The implicit finite difference scheme (11) is unconditionally stable.


Multiplying Eq. (11) by \(h_{1}h_{2}\tau\nabla_{t}U_{pq}^{n}\) and summing p from 1 to \(M_{1}-1\), q from 1 to \(M_{2}-1\) and summing n from 1 to N, we obtain

$$\begin{aligned} &c_{1}k_{1}\tau\sum_{n=1}^{N} \sum_{p=1}^{M_{1}-1}\sum _{q=1}^{M_{2}-1}h_{1}h_{2} \Biggl[a_{0}^{(\gamma)}\nabla_{t}U_{pq}^{n}- \sum_{k=1}^{n-1}\bigl(a_{n-k-1}^{(\gamma)}-a_{n-k}^{(\gamma)} \bigr)\nabla_{t}U_{pq}^{k}- a_{n-1}^{(\gamma)} \phi_{pq} \Biggr]\nabla_{t}U_{pq}^{n} \\ &\qquad {}+c_{2}\tau\sum_{n=1}^{N} \sum_{p=1}^{M_{1}-1}\sum _{q=1}^{M_{2}-1}h_{1}h_{2}\bigl(\nabla _{t}U_{pq}^{n}\bigr)^{2} \\ &\qquad {}+ c_{3}k_{2}\tau\sum _{n=1}^{N}\sum_{p=1}^{M_{1}-1} \sum_{q=1}^{M_{2}-1}h_{1}h_{2} \sum^{n}_{k=1}d_{n-k}^{(\alpha)} \nabla_{t}U_{pq}^{k}\nabla_{t}U_{pq}^{n} \\ &\qquad {}+c_{4}\tau\sum_{n=1}^{N} \sum_{p=1}^{M_{1}-1}\sum _{q=1}^{M_{2}-1}h_{1}h_{2}U_{pq}^{n-\frac{1}{2}} \nabla_{t}U_{pq}^{n} \\ &\quad =c_{5}\tau\sum_{n=1}^{N} \sum_{p=1}^{M_{1}-1}\sum _{q=1}^{M_{2}-1}h_{1}h_{2}\bigl(\delta _{x}^{2}+\delta_{y}^{2} \bigr)U_{pq}^{n-\frac{1}{2}}\nabla_{t}U_{pq}^{n} \\ &\qquad {}+c_{6}k_{3}\tau\sum _{n=1}^{N}\sum_{p=1}^{M_{1}-1} \sum_{q=1}^{M_{2}-1}h_{1}h_{2} \sum^{n}_{k=1}d_{n-k}^{(\beta)} \nabla_{t}\bigl(\delta _{x}^{2}+ \delta_{y}^{2}\bigr)U_{pq}^{k} \nabla_{t}U_{pq}^{n} \\ &\qquad {}+\tau\sum_{n=1}^{N}\sum _{p=1}^{M_{1}-1}\sum_{q=1}^{M_{2}-1}h_{1}h_{2}f_{pq}^{n-\frac{1}{2}} \nabla_{t}U_{pq}^{n}. \end{aligned}$$

Using Lemma 3, we have

$$\begin{aligned} &c_{1}k_{1}\tau\sum_{n=1}^{N} \sum_{p=1}^{M_{1}-1}\sum _{q=1}^{M_{2}-1}h_{1}h_{2} \Biggl[a_{0}^{(\gamma)}\nabla_{t}U_{pq}^{n}- \sum_{k=1}^{n-1}\bigl(a_{n-k-1}^{(\gamma)}-a_{n-k}^{(\gamma)} \bigr)\nabla_{t}U_{pq}^{k}- a_{n-1}^{(\gamma)} \phi_{pq} \Biggr]\nabla_{t}U_{pq}^{n} \\ &\quad \geq c_{1}\frac{\tau T^{1-\gamma}}{2\varGamma(2-\gamma)}\sum_{n=1}^{N} \sum_{p=1}^{M_{1}-1}\sum _{q=1}^{M_{2}-1}h_{1}h_{2} \bigl( \nabla_{t}U_{pq}^{n}\bigr)^{2} -c_{1}\frac{a_{1} T^{2-\gamma}}{2\varGamma(3-\gamma)}\sum_{p=1}^{M_{1}-1} \sum_{q=1}^{M_{2}-1}h_{1}h_{2} \phi^{2}_{pq} \\ &\quad =c_{1}\frac{\tau T^{1-\gamma}}{2\varGamma(2-\gamma)}\sum_{n=1}^{N} \bigl\Vert \nabla _{t}U^{n} \bigr\Vert _{0}^{2} -c_{1}\frac{T^{2-\gamma}}{2\varGamma(3-\gamma)}\|\phi \|_{0}^{2}. \end{aligned}$$

For the second term, we obtain

$$ c_{2}\tau\sum_{n=1}^{N} \sum_{p=1}^{M_{1}-1}\sum _{q=1}^{M_{2}-1}h_{1}h_{2}\bigl(\nabla _{t}U_{pq}^{n}\bigr)^{2} =c_{2}\tau\sum_{n=1}^{N} \bigl\Vert \nabla_{t}U^{n} \bigr\Vert _{0}^{2}. $$

Using Lemma 2, we get

$$\begin{aligned} &c_{3}k_{2}\tau\sum_{n=1}^{N} \sum_{p=1}^{M_{1}-1}\sum _{q=1}^{M_{2}-1}h_{1}h_{2}\sum ^{n}_{k=1}d_{n-k}^{(\alpha)} \nabla_{t}U_{pq}^{k}\nabla _{t}U_{pq}^{n} \\ &\quad = c_{3}k_{2}\sum_{n=1}^{N} \sum_{k=1}^{n}d_{n-k}^{(\alpha_{m})} \bigl(\nabla U^{k},\nabla U^{n}\bigr)\geq0. \end{aligned}$$

For the forth term, we have

$$\begin{aligned} &c_{4}\tau\sum_{n=1}^{N}\sum _{p=1}^{M_{1}-1}\sum_{q=1}^{M_{2}-1}h_{1}h_{2}U_{pq}^{n-\frac{1}{2}} \nabla_{t}U_{pq}^{n}= \frac{c_{4}}{2}\sum _{n=1}^{N}\bigl(U^{n}+U^{n-1},U^{n}-U^{n-1} \bigr) \\ &\quad =\frac{c_{4}}{2}\sum_{n=1}^{N} \bigl( \bigl\Vert U^{n} \bigr\Vert _{0}^{2}- \bigl\Vert U^{n-1} \bigr\Vert _{0}^{2}\bigr)= \frac {c_{4}}{2}\bigl( \bigl\Vert U^{N} \bigr\Vert _{0}^{2}- \bigl\Vert U^{0} \bigr\Vert _{0}^{2}\bigr). \end{aligned}$$

Applying (3) and using the inequality \(a(a-b)\geq\frac {1}{2}(a^{2}-b^{2})\), we obtain

$$\begin{aligned} &c_{5}\tau\sum_{n=1}^{N}\sum _{p=1}^{M_{1}-1}\sum_{q=1}^{M_{2}-1}h_{1}h_{2} \bigl(\delta _{x}^{2}+\delta_{y}^{2} \bigr)U_{pq}^{n}\nabla_{t}u_{pq}^{n} \\ &\quad =c_{5}\tau\sum_{n=1}^{N} \bigl(\bigl(\delta_{x}^{2}+\delta_{y}^{2} \bigr)U^{n},\nabla _{t}U^{n}\bigr) \\ &\quad =-c_{5}\sum_{n=1}^{N} \bigl\langle (\nabla_{x}+\nabla_{y})U^{n},( \nabla_{x}+\nabla_{y})U^{n}-(\nabla_{x}+ \nabla _{y})U^{n-1}\bigr\rangle \\ &\quad \leq-\frac{c_{5}}{2}\sum_{n=1}^{N} \bigl( \bigl\vert U^{n} \bigr\vert _{1}^{2}- \bigl\vert U^{n-1} \bigr\vert _{1}^{2}\bigr) = \frac{c_{5}}{2}\bigl( \bigl\vert U^{0} \bigr\vert _{1}^{2}- \bigl\vert U^{N} \bigr\vert _{1}^{2}\bigr). \end{aligned}$$

Combining (4) and Lemma 2, we have

$$\begin{aligned} &c_{6}k_{3}\tau\sum_{n=1}^{N} \sum_{p=1}^{M_{1}-1}\sum _{q=1}^{M_{2}-1}h_{1}h_{2}\sum ^{n}_{k=1}c_{n-k}^{(\beta)} \nabla_{t}\bigl(\delta _{x}^{2}+ \delta_{y}^{2}\bigr)U_{pq}^{k} \nabla_{t}U_{pq}^{n} \\ &\quad =c_{6}k_{3}\tau\sum_{n=1}^{N} \sum^{n}_{k=1}c_{n-k}^{(\beta_{)}} \bigl(\nabla _{t}\bigl(\bigl(\delta_{x}^{2}+ \delta_{y}^{2}\bigr)U^{k}\bigr), \nabla_{t}U^{n}\bigr) \\ &\quad =-c_{6}k_{3}\tau\sum_{n=1}^{N} \sum^{n}_{k=1}c_{n-k}^{(\beta_{)}} \bigl\langle \nabla_{t}\bigl((\nabla_{x}+ \nabla_{y})U^{k}\bigr),\nabla_{t}\bigl(( \nabla_{x}+\nabla _{y})U^{n}\bigr)\bigr\rangle \leq0. \end{aligned}$$

For the last term and using the important inequality \(ab\leq \varepsilon a^{2}+\frac{b^{2}}{4\varepsilon}\), we have

$$\begin{aligned} &\tau\sum_{n=1}^{N}\sum _{p=1}^{M_{1}-1}\sum_{q=1}^{M_{2}-1}h_{1}h_{2}f_{pq}^{n-\frac{1}{2}} \nabla_{t}U_{pq}^{n} \\ &\quad \leq \tau \biggl(\frac{c_{1} T^{1-\gamma_{l}}}{2\varGamma(2-\gamma_{l})}+c_{2} \biggr)\sum _{n=1}^{N}\sum_{p=1}^{M_{1}-1} \sum_{q=1}^{M_{2}-1}h_{1}h_{2} \bigl(\nabla _{t}U_{pq}^{n-\frac{1}{2}}\bigr)^{2} \\ &\qquad {}+\frac{\tau}{4 (\frac{c_{1}T^{1-\gamma_{l}}}{2\varGamma(2-\gamma _{l})}+c_{2} )} \sum_{n=1}^{N} \sum_{p=1}^{M_{1}-1}\sum _{q=1}^{M_{2}-1}h_{1}h_{2} \bigl(f_{pq}^{n-\frac {1}{2}}\bigr)^{2} \\ &\quad =\tau \biggl(\frac{ c_{1}T^{1-\gamma_{l}}}{2\varGamma(2-\gamma_{l})}+c_{2} \biggr)\sum _{n=1}^{N} \bigl\Vert \nabla_{t}U^{n} \bigr\Vert _{0}^{2}+ \frac{\tau}{4 (\frac{c_{1}T^{1-\gamma_{l}}}{2\varGamma(2-\gamma _{l})}+c_{2} )} \sum _{n=1}^{N} \bigl\Vert f^{n-\frac{1}{2}} \bigr\Vert _{0}^{2}. \end{aligned}$$

Substituting (13)–(19) into (12), we have

$$\begin{aligned} &\tau \biggl(\frac{c_{1} T^{1-\gamma_{l}}}{2\varGamma(2-\gamma_{l})}+c_{2} \biggr)\sum _{n=1}^{N} \bigl\Vert \nabla_{t}U^{n} \bigr\Vert _{0}^{2} -\frac{c_{1} T^{2-\gamma_{l}}}{2\varGamma(3-\gamma_{l})} \Vert \phi \Vert _{0}^{2}+\frac{c_{4}}{2}\bigl( \bigl\Vert U^{N} \bigr\Vert _{0}^{2}- \bigl\Vert u^{0} \bigr\Vert _{0}^{2}\bigr) \\ &\quad \leq\frac {c_{5}}{2}\bigl(\bigl|U^{0}\bigr|_{1}^{2}-\bigl|U^{N}\bigr|_{1}^{2} \bigr) \\ &\qquad {}+\tau \biggl(\frac{c_{1} T^{1-\gamma_{l}}}{2\varGamma(2-\gamma_{l})}+c_{2} \biggr)\sum _{n=1}^{N} \bigl\Vert \nabla_{t}U^{n} \bigr\Vert _{0}^{2}+ \frac{\tau}{4 (\frac{c_{1}T^{1-\gamma_{l}}}{2\varGamma(2-\gamma _{l})}+c_{2} )} \sum _{n=1}^{N} \bigl\Vert f^{n-\frac{1}{2}} \bigr\Vert _{0}^{2}, \end{aligned}$$

then we have

$$\begin{aligned} &{c_{4}} \bigl\Vert U^{N} \bigr\Vert _{0}^{2}+{c_{5}} \bigl\vert U^{N} \bigr\vert _{1}^{2} \\ &\quad \leq {c_{4}} \bigl\Vert U^{0} \bigr\Vert _{0}^{2}+{c_{5}} \bigl\vert U^{0} \bigr\vert _{1}^{2} \\ &\qquad {}+\frac{c_{1}T^{2-\gamma_{l}}}{\varGamma(3-\gamma_{l})} \Vert \phi \Vert _{0}^{2}+ \frac {T}{ (\frac{c_{1} T^{1-\gamma_{l}}}{2\varGamma(2-\gamma_{l})}+2c_{2} )} \max_{1\leq n\leq N} \bigl\Vert f^{n-\frac{1}{2}} \bigr\Vert _{0}^{2}. \end{aligned}$$

Then we have

$$\begin{aligned} \bigl\Vert U^{N} \bigr\Vert _{1}^{2}&\leq \bigl\Vert U^{0} \bigr\Vert _{1}^{2} \\ &\quad {}+c_{1}\frac{ T^{2-\gamma_{l}}}{\varGamma(3-\gamma_{l})} \Vert \phi \Vert _{0}^{2}+\frac {T}{ (\frac{c_{1} T^{1-\gamma_{l}}}{\varGamma(2-\gamma_{l})}+2c_{2} )} \max_{1\leq n\leq N} \bigl\Vert f^{n-\frac{1}{2}} \bigr\Vert _{0}^{2}, \end{aligned}$$

which means that scheme (11) is unconditionally stable. □


Theorem 3

Define \({u}^{n}\) and \(U^{n}\) as the exact solution and numerical solution vectors of scheme (11), respectively. Suppose that the solution \(u(x,y,t)\in C_{x,y,t}^{4,4,3}(\varOmega)\), then there exists a positive constant C independent of h and τ such that

$$ \bigl\Vert {u}^{n}-U^{n} \bigr\Vert _{1}\leq C\sqrt{\frac{TL_{p}L_{q}}{{ \frac{2c_{1} T^{1-\gamma }}{\varGamma(2-\gamma)}}+4b_{1}}}\bigl(\tau^{\min(3-\gamma,2-\alpha,2-\beta )}+h_{1}^{2}+h_{2}^{2} \bigr). $$


Similar to Theorem 2, it is easy to prove. □

Numerical example

In this section, we carry out numerical experiments using the proposed finite difference schemes to illustrate our theoretical statements. Consider the following multi-term time fractional diffusion equation:

$$ \textstyle\begin{cases} c_{1}{D_{t}^{\gamma}} u(x,y,t)+c_{2}\frac{\partial u(x,y,t)}{\partial {t}}+c_{3}{D_{t}^{\alpha}} u(x,y,t)+c_{4}u(x,y,t) \\ \quad =c_{5}\Delta u(x,y,t) +{c_{6}D_{t}^{\beta}}\Delta u(x,y,t)+f(x,y,t), \\ u(x,y,0)=\sin(\pi x)\sin(\pi y),\qquad u_{t}(x,y,0)=0,\quad 0\le x\le a,0\le y\le b, \\ u(0,y,t)=0,\qquad u(a,y,t)=0;\qquad u(x,0,t)=0,\qquad u(x,b,t)=0 ,\quad 0\le t\le T, \end{cases} $$

where \((x,y,t)\in[0,a]\times[0,b]\times[0,T]\), \(0<\alpha, \beta<1\), \(1<\gamma<2\), the source term is \(f(x,y,t)=\sin(\pi x)\sin(\pi y) [\frac{\varGamma(p+1)t^{p-\gamma }}{\varGamma(p+1-\gamma)}+pt^{p} +\frac{\varGamma(p+1)t^{p-\alpha}}{\varGamma(p+1-\alpha)}+(1+2\pi^{2})(t^{p}+1)+ \frac{2\pi^{2}\varGamma(p+1)t^{p-\delta}}{\varGamma(p+1-\delta)} ]\). And the exact solution is \(u(x,y,t)=(t^{p}+1)\sin(\pi x)\sin(\pi y)\), \(p\geq2\).

Case 1: In this simulation, we choose \(c_{1}=c_{2}=c_{3}=c_{4}=c_{5}=c_{6}=1\), \(a=b=1\), \(h_{1}=h_{2}=h\). Firstly, we use the implicit finite difference scheme (11) to solve the equation, and the numerical results are given in Tables 1 and 2. Table 1 shows the \(L_{2}\) error and \(L_{\infty}\) error and the convergence order of h for different γ, α, β with \(\tau=1/1000\) at \(t=1\). Table 2 shows the \(L_{2}\) error and \(L_{\infty}\) error and the convergence order of τ for different γ, α, β with \(\tau^{\min\{ 3-\gamma,2-\alpha,2-\beta\}}\approx h^{2}\) at \(t=1\).

Table 1 The spacial error and convergence order of the scheme for different γ, α, β with \(\tau=1/1000\)
Table 2 The temporal error and convergence order of the scheme for different γ, α, β with \(\tau^{\min\{3-\gamma,2-\alpha,2-\beta\}}\approx h^{2}\)

From the tables, we can find that the numerical results are in good agreement with the exact solution and reach the accuracy of \(\tau^{\min\{3-\gamma,2-\alpha,2-\beta\}}+h^{2}\) order, which demonstrates the effectiveness of our numerical method and confirms the theoretical analysis.

Case 2: In this calculation, we choose \(a=b=1\), \(h_{1}=h_{2}=h=1/20\), \(\tau=1/100\). In order to observe the effects of different physical parameters on the velocity field, we plot some figures to demonstrate the dynamic characteristics of the generalized non-Newtonian fluid. Figure 1 shows the influence of time on the velocity and the flow velocity increase with \(t=0.5\) and \(t=1\) respectively, and coefficients \(c_{i}=1\), \(i=1,\ldots ,6\). In order to show the difference clearly, we choose \(y=1\), and the variations of \(u(x,y,t)\) with x for different values of λ, α, β, p, \(c_{i}=1\), \(i=1,\ldots,6\) at a fixed time (\(t=1\)) are illustrated in Figs. 25. From the figures, we can conclude that the coefficients \(c_{i}=1\), \(i=1,\ldots,6\), parameter p, and the fractional order γ, α, β have effects on the velocity function \(u(x,y,t)\).

Figure 1

Numerical solution profiles of velocity \(u(x,y,t)\) with \(\gamma =1.7\), \(\alpha=0.8\), \(\beta=0.6\)

Figure 2

Numerical solution profiles of velocity \(u(x,y,t)\) with different γ, α, β with \(c_{1}=1\), \(c_{2}=5\), \(c_{3}=3\), \(c_{4}=1\), \(c_{5}=5\), \(c_{6}=5\), \(p=3\)

Figure 3

Numerical solution profiles of velocity \(u(x,y,t)\) with different p with \(\gamma=1.6\), \(\alpha=0.5\), \(\beta=0.3\), \(c_{1}=1\), \(c_{2}=5\), \(c_{3}=3\), \(c_{4}=2\), \(c_{5}=4\), \(c_{6}=3\)

Figure 4

Numerical solution profiles of velocity \(u(x,y,t)\) with different \(c_{1}\), \(c_{3}\), \(c_{6}\) with \(\gamma=1.2\), \(\alpha=0.5\), \(\beta =0.8\), \(c_{2}=c_{4}=c_{5}=1\), \(p=3\)

Figure 5

Numerical solution profiles of velocity \(u(x,y,t)\) with different \(c_{2}\), \(c_{4}\), \(c_{5}\) with \(\gamma=1.2\), \(\alpha=0.5\), \(\beta =0.8\), \(c_{1}=c_{3}=c_{6}=1\), \(p=3\)


In this paper, we proposed the finite difference method, based on the Crank–Nicolson method, to solve the multi-term time fractional generalized non-Newtonian fluid equation. This is a finite difference scheme with accuracy of \(O(\tau^{\min\{3-\gamma,2-\alpha,2-\beta\} }+h_{x}^{2}+h_{y}^{2})\). And we established the unconditional stability and convergence analysis for this implicit difference scheme. Numerical experiments were exhibited to verify the effectiveness and reliability of this method. We can conclude that this numerical method is robust and can be extended to other multi-term time fractional diffusion equations, multi-term time fractional diffusion-wave equations.


  1. 1.

    Meltzler, R., Klafter, J.: The random walk’s guide to anomalous diffusion: a fractional dynamics approach. Phys. Rep. 339, 1–77 (2000)

    MathSciNet  Article  Google Scholar 

  2. 2.

    Margulis, L.: Fractional Calculus and Waves in Linear Viscoelasticity and Introduction to Mathematical Models. World Scientific, Singapore (2010)

    Google Scholar 

  3. 3.

    Atangana, A., Hammouch, Z., Mophou, G., Owolabi, K.M.: Focus point on modelling complex real-world problems with fractal and new trends of fractional differentiation. Eur. Phys. J. Plus 133, 315 (2018)

    Article  Google Scholar 

  4. 4.

    Scalas, E., Gorenflo, R., Mainardi, F.: Fractional calculus and continuous-time finance. Phys. A, Stat. Mech. Appl. 284, 376–384 (2000)

    MathSciNet  Article  Google Scholar 

  5. 5.

    Leonenko, N., Meerschaert, M., Sikorskii, A.: Fractional Pearson diffusions. J. Math. Anal. Appl. 403, 532–546 (2013)

    MathSciNet  Article  Google Scholar 

  6. 6.

    Liu, F., Zhuang, P., Liu, Q.: Numerical Methods of Fractional Partial Differential Equations and Applications. Science Press, Bejing (2015)

    Google Scholar 

  7. 7.

    Yang, Q.Q., Turner, I., Liu, F.W., Ilić, M.: Novel numerical methods for solving the time-space fractional diffusion in two-dimensions. SIAM J. Sci. Comput. 33, 1159–1180 (2011)

    MathSciNet  Article  Google Scholar 

  8. 8.

    Jajarmi, A., Hajipour, M., Mohammadzadeh, E., Baleanu, D.: A new approach for the nonlinear fractional optimal control problems with external persistent disturbances. J. Franklin Inst. 389, 1117–1127 (2012)

    MATH  Google Scholar 

  9. 9.

    Jajarmi, A., Baleanu, D.: Suboptimal control of fractional-order dynamic systems with delay argument. J. Vib. Control 24, 2430–2446 (2018)

    MathSciNet  Article  Google Scholar 

  10. 10.

    Baleanu, D., Jajarmi, A., Bonyah, E., Hajipour, M.: New aspects of the poor nutrition in the life cycle within the fractional calculus. Adv. Differ. Equ. 2018, 230 (2018)

    MathSciNet  Article  Google Scholar 

  11. 11.

    Jajarmi, A., Baleanu, D.: A new fractional analysis on the interaction of HIV with CD4+ T-cells. Chaos Solitons Fractals 113, 221–229 (2018)

    MathSciNet  Article  Google Scholar 

  12. 12.

    Jiang, H., Liu, F.W., Turner, I., Burrage, K.: Analytical solutions for the multi-term time-fractional diffusion–wave/diffusion equations in a finite domain. Comput. Math. Appl. 64, 3377–3388 (2012)

    MathSciNet  Article  Google Scholar 

  13. 13.

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

    MathSciNet  Article  Google Scholar 

  14. 14.

    Jin, B.T., Lazarov, R., Liu, Y., Zhou, Z.: The Galerkin finite element method for a multi-term time-fractional diffusion equation. J. Comput. Phys. 281, 825–843 (2015)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Liu, F.W., Meerschaert, M.M., McGough, R.J., Zhuang, P.H., Liu, Q.X.: Numerical methods for solving the multi-term time fractional wave-diffusion equation. Fract. Calc. Appl. Anal. 16, 9–25 (2013)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Salehi, R.: A meshless point colocation method for 2-D multi-term time fractional diffusion-wave equation. Numer. Algorithms 74, 1145–1168 (2017)

    MathSciNet  Article  Google Scholar 

  17. 17.

    Hao, Z.P., Lin, G.: Finite difference schemes for multi-term time-fractional mixed diffusion-wave equations. Preprint

  18. 18.

    Metzler, R., Kalfter, J., Sokolov, I.M.: Anomalous transport in external fields: continuous time random walks and fractional diffusion equations extended. Phys. Rev. E 58, 1621 (1998)

    Article  Google Scholar 

  19. 19.

    Schumer, R., Benson, D.A., Meerschaert, M.M., Baeumer, B.: Fractal mobile/immobile solute transport. Water Resour. Res. 39, 1296 (2003)

    Google Scholar 

  20. 20.

    Kelly, J.F., McGough, R.J., Meerschaert, M.M.: Analytical time-domain Green’s functions for power-law media. J. Acoust. Soc. Am. 124, 2861–2872 (2008)

    Article  Google Scholar 

  21. 21.

    Bagley, R.L., Torvik, P.J.: A theorectical basis for the application of fractional calculus to viscoelasticity. J. Rheol. 27, 201–210 (1983)

    Article  Google Scholar 

  22. 22.

    Makris, N., Constantinou, M.C.: Fractional-derivative Maxwell model for viscous danmpers. J. Struct. Eng. 117, 2708–2724 (1991)

    Article  Google Scholar 

  23. 23.

    Qi, H.T., Xu, M.Y.: Some unsteady unidirectional flows of a generalized Oldroyd-B fluid with fractional derivative. Appl. Math. Model. 33, 4184–4191 (2009)

    MathSciNet  Article  Google Scholar 

  24. 24.

    Jiang, Y.T., Qi, H.T., Xu, H.Y., Jiang, X.Y.: Transient electroosmotic slip flow of fractional Oldroyd-B fluids. Microfluid. Nanofluid. 21, 7 (2017)

    Article  Google Scholar 

  25. 25.

    Sutton, G.W., Sherman, A.: Engineering Magnetohydrodynamics. McGraw-Hill, New York (1965)

    Google Scholar 

  26. 26.

    Khan, M., Maqbool, K., Hayat, T.: Influence of hall current on the flows of a generalzied Oldroyd-B fluid in a porous space. Acta Mech. 184, 1–13 (2006)

    Article  Google Scholar 

  27. 27.

    Zheng, L.C., Liu, Y.Q., Zhang, X.X.: Slip effects on MHD flow of a generalized Oldroyd-B fluid with fractional derivative. Nonlinear Anal., Real World Appl. 13, 513–523 (2012)

    MathSciNet  Article  Google Scholar 

  28. 28.

    Jiang, X.Y., Qi, H.T.: Thermal wave model of bioheat transfer with modified Riemann–Liouville fractional derivative. J. Phys. A, Math. Theor. 45, 831–842 (2012)

    MathSciNet  Article  Google Scholar 

  29. 29.

    Fetecau, C., Fetecau, C., Kamran, M., Vieru, D.: Exact solutions for the flow of a generalized Oldroyd-B fluid induced by a constantly accelerating plate between side walls perpendicular to the plate. J. Non-Newton. Fluid Mech. 156, 189–201 (2009)

    Article  Google Scholar 

  30. 30.

    Zaky, M., Doha, E.H., Taha, T.M., Baleanu, D.: New recursive approximations for variable-order fractional operators with applications. Math. Model. Anal. 23, 227–239 (2018)

    MathSciNet  Article  Google Scholar 

  31. 31.

    Bhrawy, A.H., Doha, E.H., Baleanu, D., Hafez, R.M.: A highly accurate Jacobi collocation algorithm for systems of high-order linear differential-difference equations with mixed initial conditions. Math. Methods Appl. Sci. 38, 3022–3032 (2015)

    MathSciNet  Article  Google Scholar 

  32. 32.

    Ding, H.F., Li, C.P.: Fractional-compact numerical algorithms for Riesz spatial fractional reaction–dipersion equations. Fract. Calc. Appl. Anal. 20, 722–764 (2017)

    MathSciNet  Article  Google Scholar 

  33. 33.

    Alikhanov, A.A.: A new difference scheme for the time fractional diffusion equation. J. Comput. Phys. 280, 424–438 (2015)

    MathSciNet  Article  Google Scholar 

  34. 34.

    Gao, G.H., Sun, Z.Z., Zhang, H.W.: A new fractional numerical differentiation formula to approximate the Caputo fractional derivative and its applications. J. Comput. Phys. 259, 33–50 (2014)

    MathSciNet  Article  Google Scholar 

  35. 35.

    Liu, Y., Du, Y.W., Li, H., Li, J.C., He, S.G.: A two-grid mixed finite element method for a nonlinear fourth order reaction diffusion problem with time-fractional derivative. Comput. Math. Appl. 70, 2474–2492 (2015)

    MathSciNet  Article  Google Scholar 

  36. 36.

    Zhao, Y.M., Bu, W.P., Huang, J.F., Liu, D.Y., Tang, Y.F.: Finite element method for two-dimensional space-fractonal advection dispersion equations. Appl. Math. Comput. 257, 553–565 (2015)

    MathSciNet  MATH  Google Scholar 

  37. 37.

    Simmons, A., Yang, Q.Q., Moroney, T.: A finite volume method for two-sided fractional diffusion equations on non-uniform meshes. J. Comput. Phys. 335, 747–759 (2017)

    MathSciNet  Article  Google Scholar 

  38. 38.

    Jia, J.H., Wang, H.: A fast finite volume method for conservative space-fractional diffusion equations in convex domains. J. Comput. Phys. 310, 63–84 (2016)

    MathSciNet  Article  Google Scholar 

  39. 39.

    Bhrawy, A.H., Abdelkawy, M.A., Baleanu, D., Amin, A.Z.M.: A spectral technique for solving two-dimensional fractional integral equations with weakly singular kernel. Hacet. J. Math. Stat. 47, 553–566 (2018)

    MathSciNet  Google Scholar 

  40. 40.

    Zayernouri, M., Karniadakis, G.E.: Fractional spectral collocation method. SIAM J. Sci. Comput. 36, 40–62 (2014)

    MathSciNet  Article  Google Scholar 

  41. 41.

    Zeng, F., Liu, F., Li, C.P., Burrage, K., Turner, I., Anh, V.: A Crank–Nicolson adi spectral method for a two-dimensional Riesz space fractional nonlinear reaction–diffusion equation. SIAM J. Numer. Anal. 52, 2599–2622 (2014)

    MathSciNet  Article  Google Scholar 

  42. 42.

    Bazhlekova, E., Bazhlekov, I.: Viscoelastic flows with fractional derivative models: computational approach by convolutional calculus of Dimovski. Fract. Calc. Appl. Anal. 17, 954–976 (2014)

    MathSciNet  Article  Google Scholar 

  43. 43.

    Feng, L.B., Liu, F.W., Turner, I., Zhuang, P.H.: Numerical methods and analysis for simulating the flow of a generalized Oldroyd-B fluid between two infinite parallel rigid plates. Int. J. Heat Mass Transf. 115, 1309–1320 (2017)

    Article  Google Scholar 

  44. 44.

    Karatay, I., Kale, N., Bayramoglu Erguner, S.R.: A new difference scheme for time fractional heat equations based on the Crank–Nicholson method. Fract. Calc. Appl. Anal. 16, 892–910 (2013)

    MathSciNet  Article  Google Scholar 

  45. 45.

    Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)

    Google Scholar 

  46. 46.

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

    Google Scholar 

  47. 47.

    Liu, J.C., Li, H., Liu, Y.: A new fully discrete finite difference/element approxiamation for fractional cable equation. J. Appl. Math. Comput. 52, 345–361 (2016)

    MathSciNet  Article  Google Scholar 

  48. 48.

    Feng, L., Liu, F., Turner, I., Zheng, L.: Novel numerical analysis of multi-term time fractional viscoelastic non-Newtonian fluid models for simulating unsteady MHD Couette flow of a generalized Oldroyd-B. Fract. Calc. Appl. Anal. 21(4), 1073–1103 (2018)

    MathSciNet  Article  Google Scholar 

  49. 49.

    Böttcher, A., Silbermann, B.: Analysis of Toeplitz Operators, 2nd edn. Springer, Berlin (2005)

    Google Scholar 

  50. 50.

    Sun, Z.Z., Wu, X.N.: A fully discrete difference scheme for a diffusion-wave system. Appl. Numer. Math. 56, 193–209 (2006)

    MathSciNet  Article  Google Scholar 

Download references


This article is supported by the National Natural Science Foundation of China (Nos. 11501082, 11801060), the Natural Science Foundation of Shandong Province (No. ZR2016AQ07), and the Postdoctoral Science Foundation of Jiangsu Province (Grant No. 1402046C).

Author information




All authors contributed equally to each part of this work. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Yanqin Liu.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Liu, Y., Yin, X., Feng, L. et al. Finite difference scheme for simulating a generalized two-dimensional multi-term time fractional non-Newtonian fluid model. Adv Differ Equ 2018, 442 (2018).

Download citation


  • Finite difference method
  • Crank–Nicolson difference scheme
  • Energy method
  • Caputo fractional derivative
  • Multi-term time derivative
  • Generalized non-Newtonian fluid