Skip to main content

Theory and Modern Applications

Numerical analysis for time-fractional Schrödinger equation on two space dimensions


In this paper, we study the numerical methods for solving the time-fractional Schrödinger equation (TFSE) with Caputo or Riemann–Liouville fractional derivative. The numerical schemes are implemented by using the L1 scheme in time direction and Fourier–Galerkin/Legendre-Galerkin spectral methods in spatial variable. We prove that the two schemes are unconditionally stable and numerical solutions converge with the order \(\mathcal{O}( \Delta t^{2-\alpha }+N^{-s}+ N^{-m})\), where α is the order of the fractional derivative, Δt, N are the step of time and polynomial degree, respectively, m, s are the regularity of u and V. Several numerical results are performed to confirm the theoretical analysis.

1 Introduction

In this work, we construct numerical methods to solve the following TFSE:

$$\begin{aligned} & \frac{1}{i}\frac{\partial ^{\alpha }u}{\partial t^{\alpha }} - \Delta u +\beta V(x,y)u=0 \quad \text{in } \varOmega \times [0, T], \end{aligned}$$
$$\begin{aligned} &\mbox{(i) } u \text{ are periodic}; \text{or} \mbox{ (ii) } u|_{\partial {\varOmega }}=0, \end{aligned}$$
$$\begin{aligned} &u(x,y,0)=u_{0}(x, y) \quad \text{on } \partial \varOmega \times [0, T], \end{aligned}$$

where \(i^{2}=-1\), \(\frac{\partial ^{\alpha }u}{\partial t^{\alpha }}\) (\(0< \alpha <1\)) denotes the Caputo or Riemann–Liouville fractional derivative, \(\varOmega \subset \mathbf{R}^{2}\) is a bound domain, β is a positive constant, and V represents a potential function.

TFSE can be viewed as a generalization of the classical Schrödinger equation. It has emerged as an appropriate model in various applications, such as plasma physics, polymer physics, nonlinear optic, etc. The concept of fractal in quantum mechanics has been developed over the past ten years, since Laskin [1, 2] defined some path integrals and developed the space fractional quantum mechanics on the basis of new fractional path integrals method. Naber [3], Wang and Xu [4] constructed a class of TFSE with Caputo fractional derivative and discussed the solutions for a free particle and a potential well. Guo and Xu [5] studied the TSFE with a free particle, and they obtained the fundamental solution of the problem. Cheng [6] proved the existence of ground state for TSFE with unbounded potential by using Lagrange multiplier method. In [7], Felmer and Tan studied the existence, regularity of the ground state for the nonlinear fractional Schrödinger equation. It is remarkable that Wang et al. [8] investigated the existence and uniqueness of optimal controls of TFSE (1)–(3).

It is difficult to find an explicit form of analytical solutions of fractional equation, so some recent contributions have focused on using numerical methods to obtain approximate solutions. Rida et al. [9] proposed an Adomian decomposition method for solving nonlinear TFSE. Li and Xu [10] constructed a time-space spectral method to investigate the solution of fractional partial differential equations. Yildirim [11] introduced a homotopy perturbation method to study analytical solutions for fractional Schrödinger equation. Wei et al. [12, 13] presented a local discontinuous Galerkin (LDG) method to approximate the solution of TFSE. Mohebbi et al. [14] developed a shifted Legendre collocation method to solve TFSE with initial-boundary and nonlocal conditions. Baleanu et al. [1517] investigated the soliton solutions of the nonlinear Schrödinger equation with Kerr law nonlinearity. They obtained the exact dark optical, dark-singular, and periodic singular soliton solutions of the equation. Garrappa et al. [18] discussed approximating the solution of TFSE by using the Krylov projection methods. Zhu et al. [19] presented a finite element method to solve time-space-fractional Schrödinger equation with Caputo and Riesz derivatives. The other related numerical methods for fractional equation can been found in [2025] and the references therein.

On the other hand, L1 scheme [26, 27] is an efficient numerical method to approximate Caputo or Riemann–Liouville derivative. Langlands and Henry [28], Sun and Wu [29], Lin and Xu [30] obtained the error estimate of the L1 scheme. Grajales and Vargas [31] constructed a Crank–Nicholson/Fourier–Galerkin method to approximate the solution of the Schrödinger equation. Gong et al. [32] proposed an energy conservative Crank–Nicholson/Fourier pseudo-spectral method to solve the Schrödinger equation. Kumar et al. [3336] introduced a series of homotopy transform methods to solve some fractional equations.

As a classical high-order method, spectral method has been widely used to solve PDE/ODE equations. In this article, we propose two efficient numerical schemes to approximate the TFSE with Caputo or Riemann–Liouville derivative. The proposed schemes are performed by combining the L1 scheme for fractional derivative and Fourier–Galerkin/Legendre–Galerkin spectral methods for space variable. A detailed analysis of the numerical scheme is provided for both stability and error estimate. Our rigorous analysis results show that numerical methods lead to 2-α order accuracy in time direction and spectral accuracy in space direction. At last, some numerical examples are conducted to support the theoretical claims.

The rest of the paper is structured in the following way. Section 2 introduces the L1 scheme for Caputo and Riemann–Liouville derivative. In Sect. 3, we discuss error estimates for the full discrete schemes. In Sect. 4, some numerical experiments are presented to illustrate the validity of the numerical method. The conclusions of this paper are given in Sect. 5.

2 Stability for semi-discretization TFSE

In this part, we present the semi-discrete schemes for the solution of (1)–(3). First, we introduce an L1 scheme to discrete the Caputo and Riemann–Liouville derivatives. Let M be a positive integer, \(\Delta t= T/M\) be the time step, and \(t_{n}=n \Delta t\), \(n=0, 1, \ldots , M-1\) be a mesh point. We introduce the following L1 scheme for Caputo fractional derivative of order α:

$$\begin{aligned} \frac{1}{\varGamma (2-\alpha )}\sum^{n}_{j=0} b_{j}\frac{u(t_{n+1-j})- u(t_{n-j})}{\Delta t^{\alpha }}, \end{aligned}$$

and the Riemann–Liouville derivative is approximated by

$$\begin{aligned} \frac{1}{\varGamma (2-\alpha )}\sum^{n}_{j=0} b_{j}\frac{u(t_{n+1-j})- u(t_{n-j})}{\Delta t^{\alpha }} +\frac{u(t _{0}) (t_{n+1}-t_{0})^{-\alpha }}{\varGamma (1-\alpha )}, \end{aligned}$$

where \(b_{j}=(j+1)^{1-\alpha }-j^{1-\alpha }\).

Then, we rewrite the complex function \(u(x,y,t)\) into the real part and the imaginary part, that is, \(u(x,y,t)=v(x,y,t)+i w(x,y,t)\). Then we get the following coupled system:

$$\begin{aligned} \textstyle\begin{cases} \frac{\partial ^{\alpha }v}{\partial t^{\alpha }} +\Delta w -\beta V w=0, \\ \frac{\partial ^{\alpha }w}{\partial t^{\alpha }} - \Delta v + \beta V v=0. \end{cases}\displaystyle \end{aligned}$$

Remark 1

It is worth mentioning that there are two different boundary conditions for Caputo and Riemann–Liouville derivatives.

Then we obtain the following semi-discrete schemes for TFSE with Caputo derivative:

$$\begin{aligned} \textstyle\begin{cases} (v^{n+1}-\sum^{n-1}_{j=0}(b_{j}-b_{j+1}) v^{n-j}-b_{n} v^{0})+a _{0}\Delta w^{n+1}-a_{0} \beta V w^{n+1}=0, \\ (w^{n+1}-\sum^{n-1}_{j=0}(b_{j}-b_{j+1}) w^{n-j}-b_{n} w^{0})- a_{0} \Delta v^{n+1}+ a_{0} \beta V v^{n+1}=0, \end{cases}\displaystyle \end{aligned}$$

and Riemann–Liouville derivative:

$$\begin{aligned} \textstyle\begin{cases} (v^{n+1}-\sum^{n-1}_{j=0}(b_{j}-b_{j+1}) v^{n-j}-\overline{b} _{n} v^{0})+a_{0}\Delta w^{n+1}-a_{0} \beta V w^{n+1}=0, \\ (w^{n+1}-\sum^{n-1}_{j=0}(b_{j}-b_{j+1}) w^{n-j}- \overline{b}_{n} w^{0})- a_{0} \Delta v^{n+1}+ a_{0} \beta V v^{n+1}=0, \end{cases}\displaystyle \end{aligned}$$

where \(a_{0}={\Delta t^{\alpha }}{\varGamma (2-\alpha )}\), \(\overline{b} _{n}=b_{n}- (1-\alpha ) \Delta t^{\alpha } t^{-\alpha }_{n+1}\).

Lemma 1

For all \(\overline{b}_{n}\), \(n\geq 0\), we have

$$\begin{aligned} 0< \overline{b}_{n}\leq \alpha b_{n}. \end{aligned}$$


It is easy to check that

$$\begin{aligned} \overline{b}_{n}=(n+1)^{1-\alpha }-n^{1-\alpha }-(1-\alpha ) (n+1)^{- \alpha }. \end{aligned}$$


$$\begin{aligned} f(t)=(1+t)^{\alpha }- (1+t\alpha ), \quad t\geq 0. \end{aligned}$$

Then \(f(0)=0\) and \(f'(t)=\alpha ((1+t)^{\alpha -1}-1)<0\), \(\forall t>0\), thus \(f(t)< f(0)=0\), then

$$\begin{aligned} (1+t)^{\alpha }< (1+t\alpha ), \quad \forall t>0. \end{aligned}$$

Let \(t=\frac{1}{x}\), \(x>0\), we have

$$\begin{aligned} \biggl(1+\frac{1}{x}\biggr)^{\alpha }< \biggl(1+\frac{\alpha }{x} \biggr). \end{aligned}$$


$$\begin{aligned} \biggl(\frac{1+x}{x}\biggr)^{\alpha }< \biggl(\frac{x+\alpha }{x}\biggr). \end{aligned}$$

That is

$$\begin{aligned} (1+x)^{-\alpha }(x+\alpha )>x^{1-\alpha }. \end{aligned}$$


$$\begin{aligned} (1+x)^{-\alpha }\bigl(1+x-(1-\alpha )\bigr)>x^{1-\alpha }. \end{aligned}$$


$$\begin{aligned} (1+x)^{1-\alpha }-(1-\alpha ) (1+x)^{1-\alpha } -x^{1-\alpha }>0. \end{aligned}$$

On the other hand, there holds

$$\begin{aligned} \overline{b}_{n}-\alpha b_{n}=(1-\alpha ) \bigl((n+1)^{1-\alpha }-n^{1- \alpha }-(n+1)^{-\alpha }\bigr)\leq 0, \quad \forall n \geq 0. \end{aligned}$$

The above inequalities can be proved as follows:

$$\begin{aligned} (n+1)^{1-\alpha }-n^{1-\alpha }-(n+1)^{-\alpha } \leq 0. \end{aligned}$$

It follows that

$$\begin{aligned} (n+1)^{1-\alpha }-(n+1)^{-\alpha } \leq n^{1-\alpha }. \end{aligned}$$

Thus, we arrive at

$$\begin{aligned} (n+1)^{1-\alpha }\biggl(1-\frac{1}{n+1}\biggr) \leq n^{1-\alpha }. \end{aligned}$$

That is

$$\begin{aligned} (n+1)^{-\alpha } \leq n^{-\alpha }. \end{aligned}$$

Hence, we finish the proof of (9). □

We have the following unconditional stability results.

Lemma 2

The semi-discrete schemes (7) are unconditionally stable such that, for \(0\leq n \leq M-1\), we have

$$\begin{aligned} \bigl\Vert v^{n+1} \bigr\Vert ^{2}+ \bigl\Vert w^{n+1} \bigr\Vert ^{2} &\leq \bigl\Vert v^{0} \bigr\Vert ^{2}+ \bigl\Vert w^{0} \bigr\Vert ^{2}. \end{aligned}$$


When \(n=0\), computing the \(L^{2}\) inner product of (7) with \(2 v^{1}\) and \(2w^{1}\), we obtain

$$\begin{aligned} &\bigl(v^{1}- v^{0}, 2 v^{1}\bigr)+ 2 a_{0} \bigl(\Delta w^{1}, v^{1} \bigr)-2a_{0} \beta \bigl( V w^{1}, v^{1} \bigr)=0, \\ &\bigl(w^{1}- w^{0}, 2 w^{1}\bigr)- 2 a_{0} \bigl(\Delta v^{1}, w^{1} \bigr)+2a_{0} \beta \bigl( V v^{1}, w^{1} \bigr)=0. \end{aligned}$$

This yields

$$\begin{aligned} \bigl\Vert v^{1} \bigr\Vert ^{2}- \bigl\Vert v^{0} \bigr\Vert ^{2}+ \bigl\Vert v^{1}-v^{0} \bigr\Vert ^{2} + \bigl\Vert w^{1} \bigr\Vert ^{2}- \bigl\Vert w^{0} \bigr\Vert ^{2}+ \bigl\Vert w^{1}- w^{0} \bigr\Vert ^{2}=0. \end{aligned}$$

That is

$$\begin{aligned} \bigl\Vert v^{1} \bigr\Vert ^{2}+ \bigl\Vert w^{1} \bigr\Vert ^{2} \leq \bigl\Vert v^{0} \bigr\Vert ^{2}+ \bigl\Vert w^{0} \bigr\Vert ^{2}. \end{aligned}$$

Assume that the following inequality holds:

$$\begin{aligned} \bigl\Vert v^{j} \bigr\Vert ^{2}+ \bigl\Vert w^{j} \bigr\Vert ^{2} \leq \bigl\Vert v^{0} \bigr\Vert ^{2}+ \bigl\Vert w^{0} \bigr\Vert ^{2}, \quad j=2, 3,\ldots , n. \end{aligned}$$

Then we need to prove \(\| v^{n+1}\|^{2}+ \| w^{n+1}\|^{2} \leq \| v ^{0}\|^{2}+ \| w^{0}\|^{2}\). When \(j=n+1\), computing the \(L^{2}\) inner product of (7) with \(2 v^{n+1}\) and \(2 w^{n+1}\), we derive

$$\begin{aligned} &2 \bigl\Vert v^{n+1} \bigr\Vert ^{2}+2 \bigl\Vert w^{n+1} \bigr\Vert ^{2} \\ &\quad = 2 \Biggl(\sum^{n-1}_{j=0}(b_{j}-b_{j+1}) v^{n-j}+ {b}_{n} v^{0}, v^{n+1}\Biggr)+ 2 \Biggl(\sum^{n-1}_{j=0}(b_{j}-b_{j+1}) w^{n-j}+ {b}_{n} w ^{0}, w^{n+1}\Biggr) \\ &\quad \leq \sum^{n-1}_{j=0}(b_{j}-b_{j+1}) \bigl( \bigl\Vert v^{n-j} \bigr\Vert ^{2}+ \bigl\Vert v ^{n+1} \bigr\Vert ^{2}\bigr)+ {b}_{n} \bigl( \bigl\Vert v^{0} \bigr\Vert ^{2}+ \bigl\Vert v^{n+1} \bigr\Vert ^{2}\bigr)) \\ &\qquad{}+ \sum^{n-1}_{j=0}(b_{j}-b_{j+1}) \bigl( \bigl\Vert w^{n-j} \bigr\Vert ^{2}+ \bigl\Vert w^{n+1} \bigr\Vert ^{2}\bigr)+{b}_{n} \bigl( \bigl\Vert w^{0} \bigr\Vert ^{2}+ \bigl\Vert w^{n+1} \bigr\Vert ^{2}\bigr)). \end{aligned}$$

Noting that

$$\begin{aligned} \sum^{n-1}_{j=0} (b_{j}-b_{j+1}) +b_{n}=1. \end{aligned}$$

Thus, we get

$$\begin{aligned} \bigl\Vert v^{n+1} \bigr\Vert ^{2}+ \bigl\Vert w^{n+1} \bigr\Vert ^{2} &\leq \sum ^{n-1}_{j=0}(b _{j}-b_{j+1}) \bigl( \bigl\Vert v^{n-j} \bigr\Vert ^{2}+ \bigl\Vert w^{n-j} \bigr\Vert ^{2} \bigr) + b_{n} \bigl( \bigl\Vert v ^{0} \bigr\Vert ^{2}+ \bigl\Vert w^{0} \bigr\Vert ^{2} \bigr) \\ &\leq \Biggl( \sum^{n-1}_{j=0}(b_{j}-b_{j+1})+ b_{n} \Biggr) \bigl( \bigl\Vert v^{0} \bigr\Vert ^{2}+ \bigl\Vert w^{0} \bigr\Vert ^{2} \bigr) \\ &= \bigl\Vert v^{0} \bigr\Vert ^{2}+ \bigl\Vert w^{0} \bigr\Vert ^{2}. \end{aligned}$$

The proof is completed. □

Lemma 3

Semi-discrete equations (8) are unconditionally stable, and \(v^{n+1}\), \(w^{n+1}\)satisfy

$$\begin{aligned} \bigl\Vert v^{n+1} \bigr\Vert ^{2}+ \bigl\Vert w^{n+1} \bigr\Vert ^{2} &\leq \alpha \bigl\Vert v^{0} \bigr\Vert ^{2}+ \alpha \bigl\Vert w^{0} \bigr\Vert ^{2}, \quad 0\leq n \leq M-1. \end{aligned}$$


For \(n=0\), taking the \(L^{2}\) inner product of (8) with \(2 v^{1}\), \(2 w^{1}\), we get

$$\begin{aligned} &\bigl(v^{1}-\alpha v^{0}, 2 v^{1}\bigr)+ 2 a_{0} \bigl(\Delta w^{1}, v^{1} \bigr)-2a_{0} \beta \bigl( V w^{1}, v^{1} \bigr)=0, \\ &\bigl(w^{1}- \alpha w^{0}, 2 w^{1}\bigr)- 2 a_{0} \bigl(\Delta v^{1}, w^{1} \bigr)+2a_{0} \beta \bigl( V v^{1}, w^{1} \bigr)=0. \end{aligned}$$


$$\begin{aligned} \bigl\Vert v^{1} \bigr\Vert ^{2}- \alpha ^{2} \bigl\Vert v^{0} \bigr\Vert ^{2}+ \bigl\Vert v^{1}-\alpha v^{0} \bigr\Vert ^{2} + \bigl\Vert w^{1} \bigr\Vert ^{2}- \alpha ^{2} \bigl\Vert w^{0} \bigr\Vert ^{2}+ \bigl\Vert w^{1}-\alpha w^{0} \bigr\Vert ^{2}=0. \end{aligned}$$

We arrive at

$$\begin{aligned} \bigl\Vert v^{1} \bigr\Vert ^{2}+ \bigl\Vert w^{1} \bigr\Vert ^{2} \leq \alpha \bigl\Vert v^{0} \bigr\Vert ^{2}+\alpha \bigl\Vert w ^{0} \bigr\Vert ^{2}. \end{aligned}$$


$$\begin{aligned} \bigl\Vert v^{j} \bigr\Vert ^{2}+ \bigl\Vert w^{j} \bigr\Vert ^{2} \leq \alpha \bigl\Vert v^{0} \bigr\Vert ^{2}+ \alpha \bigl\Vert w ^{0} \bigr\Vert ^{2}, \quad j=2, 3,\ldots , n. \end{aligned}$$

For \(k=n+1\), taking the \(L^{2}\) inner product of (7) with \(2 v^{n+1}\) and \(2 w^{n+1}\), we find that

$$\begin{aligned} &2 \bigl\Vert v^{n+1} \bigr\Vert ^{2}+2 \bigl\Vert w^{n+1} \bigr\Vert ^{2} \\ &\quad = 2 \Biggl(\sum^{n-1}_{j=0}(b_{j}-b_{j+1}) v^{n-j}+ \overline{b} _{n} v^{0}, v^{n+1} \Biggr)+ 2 \Biggl(\sum^{n-1}_{j=0}(b_{j}-b_{j+1}) w^{n-j}+ \overline{b}_{n} w^{0}, w^{n+1} \Biggr) \\ &\quad \leq \sum^{n-1}_{j=0}(b_{j}-b_{j+1}) \bigl( \bigl\Vert v^{n-j} \bigr\Vert ^{2}+ \bigl\Vert v ^{n+1} \bigr\Vert ^{2}\bigr)+ \overline{b}_{n} \bigl( \bigl\Vert v^{0} \bigr\Vert ^{2}+ \bigl\Vert v^{n+1} \bigr\Vert ^{2}\bigr)) \\ &\qquad{}+ \sum^{n-1}_{j=0}(b_{j}-b_{j+1}) \bigl( \bigl\Vert w^{n-j} \bigr\Vert ^{2}+ \bigl\Vert w^{n+1} \bigr\Vert ^{2}\bigr)+ \overline{b}_{n} \bigl( \bigl\Vert w^{0} \bigr\Vert ^{2}+ \bigl\Vert w^{n+1} \bigr\Vert ^{2}\bigr)). \end{aligned}$$

By using (9), we have

$$\begin{aligned} \bigl\Vert v^{n+1} \bigr\Vert ^{2}+ \bigl\Vert w^{n+1} \bigr\Vert ^{2} &\leq \sum ^{n-1}_{j=0}(b _{j}-b_{j+1}) \bigl( \bigl\Vert v^{n-j} \bigr\Vert ^{2}+ \bigl\Vert w^{n-j} \bigr\Vert ^{2} \bigr) + \overline{b}_{n} \bigl( \bigl\Vert v^{0} \bigr\Vert ^{2}+ \bigl\Vert w^{0} \bigr\Vert ^{2} \bigr) \\ &\leq \Biggl( \sum^{n-1}_{j=0}(b_{j}-b_{j+1}) \Biggr) \bigl( \alpha \bigl\Vert v^{0} \bigr\Vert ^{2}+ \alpha \bigl\Vert w^{0} \bigr\Vert ^{2} \bigr) + \alpha b_{n} \bigl( \bigl\Vert v ^{0} \bigr\Vert ^{2}+ \bigl\Vert w^{0} \bigr\Vert ^{2} \bigr) \\ &= \alpha \bigl\Vert v^{0} \bigr\Vert ^{2}+ \alpha \bigl\Vert w^{0} \bigr\Vert ^{2}. \end{aligned}$$

This concludes the proof. □

3 Error estimates for full discretization

In this section, we discuss fully discrete schemes. Considering different boundary conditions, we choose a Fourier–Galerkin spectral method to discretize semi-discrete scheme (7) and a Legendre–Galerkin method to discretize semi-discrete scheme (8). We present some error estimates for full-discretization schemes in \(L^{2}\) norm. First, we define \(S_{N}\) to be the Fourier or Legendre polynomial space. Denote \(\pi _{N}: L^{2}(\varOmega )\rightarrow S_{N}\) to be the \(L^{2}\)-projection operator which satisfies

$$\begin{aligned} (\pi _{N}\phi -\phi , \psi )=0, \quad \forall \psi \in S_{N}. \end{aligned}$$

We also define the \(H^{1}\)-projection operator \(\pi ^{1}_{N}: H^{1}( \varOmega )\rightarrow S_{N}\) by

$$\begin{aligned} \bigl(\nabla \bigl(\pi ^{1}_{N}\phi -\phi \bigr), \nabla \psi \bigr)=0, \quad \forall \psi \in S_{N}. \end{aligned}$$

We have the following estimate [37]:

$$\begin{aligned} \Vert \phi -\pi _{N}\phi \Vert _{0} \leq C N^{-m} \Vert \phi \Vert _{m}, \quad \forall \phi \in H^{m} (\varOmega ), m \geq 0. \end{aligned}$$

Consider the full-discretization Fourier–Galerkin/Legendre–Galerkin spectral method to equations (7) and (8) as follows: find \(v^{n+1}_{N}, w^{n+1}_{N} \in S_{N}\) such that, for all \(\phi _{N}, \psi _{N}\in S_{N}\), they satisfy

$$\begin{aligned} \textstyle\begin{cases} (v^{n+1}_{N} -\sum^{n-1}_{j=0}(b_{j}-b_{j+1})v^{n-j}_{N}-b_{n} v^{0}_{N}, \phi _{N})+a_{0}(\Delta w^{n+1}, \phi _{N})-a_{0} \beta ( I _{N} V w^{n+1}, \phi _{N})=0, \\ (w^{n+1}_{N}-\sum^{n-1}_{j=0}(b_{j}-b_{j+1})w^{n-j}_{N} -b _{n} w^{0}_{N}, \psi _{N})- a_{0} (\Delta v^{n+1}_{N}, \psi _{N}) + a _{0} \beta (I_{N} V v^{n+1}_{N}, \psi _{N})=0, \end{cases}\displaystyle \end{aligned}$$


$$\begin{aligned} \textstyle\begin{cases} (v^{n+1}_{N} -\sum^{n-1}_{j=0}(b_{j}-b_{j+1})v^{n-j}_{N}- \overline{b}_{n} v^{0}_{N}, \phi _{N})+a_{0}(\Delta w^{n+1}, \phi _{N})-a _{0} \beta ( I_{N} V w^{n+1}, \phi _{N})=0, \\ (w^{n+1}_{N}-\sum^{n-1}_{j=0}(b_{j}-b_{j+1})w^{n-j}_{N} - \overline{b}_{n} w^{0}_{N}, \psi _{N})- a_{0} (\Delta v^{n+1}_{N}, \psi _{N}) + a_{0} \beta (I_{N} V v^{n+1}_{N}, \psi _{N})=0, \end{cases}\displaystyle \end{aligned}$$

where \(I_{N} V\) is the interpolation function of V.

We now state the stability results for equations (15) and (16).

Theorem 1

Let \((\{v^{n}_{N}\}^{M-1}_{n=1}, \{w^{n}_{N}\}^{M-1} _{n=1} )\)be the numerical solutions of (15), then we derive

$$\begin{aligned} \bigl\Vert v^{n+1}_{N} \bigr\Vert ^{2}+ \bigl\Vert w^{n+1}_{N} \bigr\Vert ^{2} \leq \bigl\Vert v^{0}_{N} \bigr\Vert ^{2}+ \bigl\Vert w ^{0}_{N} \bigr\Vert ^{2}. \end{aligned}$$

Theorem 2

Let \((\{v^{n}_{N}\}^{M-1}_{n=1}, \{w^{n}_{N}\}^{M-1} _{n=1} )\)be the numerical solutions of (16), then we have

$$\begin{aligned} \bigl\Vert v^{n+1}_{N} \bigr\Vert ^{2}+ \bigl\Vert w^{n+1}_{N} \bigr\Vert ^{2} \leq \alpha \bigl\Vert v^{0}_{N} \bigr\Vert ^{2}+ \alpha \bigl\Vert w^{0}_{N} \bigr\Vert ^{2}. \end{aligned}$$

Next, we begin to analyze the error estimates of the full-discretization schemes (15) and (16). We denote the truncation error as follows:

$$\begin{aligned} &r^{n+1}_{1}= \frac{1}{\varGamma (2-\alpha )}\sum ^{n}_{j=0} b_{j}\frac{v(t _{n+1-j})- v(t_{n-j})}{\Delta t^{\alpha }}- \frac{1}{\varGamma (1-\alpha )} \int ^{t_{n+1}}_{0} \frac{\partial v(s)}{\partial s} \frac{ds}{(t _{n+1}-s)^{\alpha }}, \\ &r^{n+1}_{2}= \frac{1}{\varGamma (2-\alpha )}\sum ^{n}_{j=0} b _{j}\frac{w(t_{n+1-j})- w(t_{n-j})}{\Delta t^{\alpha }}- \frac{1}{ \varGamma (1-\alpha )} \int ^{t_{n+1}}_{0} \frac{\partial w(s)}{\partial s} \frac{ds}{(t_{n+1}-s)^{\alpha }}. \end{aligned}$$

From [29, 30], we have

$$\begin{aligned} \bigl\Vert r^{n+1}_{1} \bigr\Vert \leq C \Delta t^{2-\alpha }, \qquad \bigl\Vert r^{n+1}_{2} \bigr\Vert \leq C \Delta t^{2-\alpha }. \end{aligned}$$

We also define the following error functions:

$$\begin{aligned} &\widetilde{e}^{n}_{v}=\pi _{N}v(t_{n})-u^{n}_{N},\qquad \widehat{e}^{n} _{v}=v(t_{n})-\pi _{N}v(t_{n}),\qquad e^{n}_{v}= \widehat{e}^{n}_{v}+ \widetilde{e}^{n}_{v}=v(t_{n})-v^{n}_{N}, \end{aligned}$$
$$\begin{aligned} &\widetilde{e}^{n}_{w}=\pi _{N}w(t_{n})-w^{n}_{N},\qquad \widehat{e} ^{n}_{w}=w(t_{n})-\pi _{N}w(t_{n}),\qquad e^{n}_{w}= \widehat{e}^{n}_{w}+ \widetilde{e}^{n}_{w}=w(t_{n})-w^{n}_{N}. \end{aligned}$$

The following lemma can help us to analyze the error estimates.

Lemma 4

For \(a_{0}\), \(b_{n}\), \(n\geq 0\), we have the following result:

$$\begin{aligned} \frac{a_{0}}{ b_{n}} \leq 2\varGamma (1-\alpha ) T^{\alpha }. \end{aligned}$$


$$\begin{aligned} b_{n} &= \bigl((n+1)^{1-\alpha }-(n)^{1-\alpha }\bigr)= n^{1-\alpha } \biggl(\biggl(1+ \frac{1}{n}\biggr)^{1-\alpha }-1\biggr) \\ &= n^{1-\alpha }\biggl(\frac{(1-a)}{n}+ \frac{(1-\alpha )(-\alpha )}{2!} \frac{1}{n ^{2}}+\cdots \biggr) \\ &\geq n^{1-\alpha }\biggl(\frac{(1-a)}{n}+ \frac{(1-\alpha )(-\alpha )}{2!} \frac{1}{n^{2}}\biggr) \\ &= n^{1-\alpha } \biggl(\frac{(1-a)}{2n}+ \frac{(1-a)}{2n}+ \frac{(1-\alpha )(-\alpha )}{2!}\frac{1}{n^{2}} \biggr). \end{aligned}$$

Note that

$$\begin{aligned} \frac{(1-a)}{2n}+\frac{(1-\alpha )(-\alpha )}{2!}\frac{1}{n^{2}} \geq 0. \end{aligned}$$

Therefore, we obtain

$$\begin{aligned} \frac{a_{0}}{ b_{n}} \leq \frac{ 2n^{\alpha } \Delta t^{\alpha } \varGamma (2-\alpha )}{(1-\alpha )} \leq 2\varGamma (1-\alpha ) T^{\alpha }. \end{aligned}$$


We show the error estimate of full-discretization problem (15) in the following theorem.

Theorem 3

Suppose that \(u=v+i w\)is the exact solution of (1)(3), \((v, w)\)and \((\{v^{n}_{N}\}^{M-1} _{n=1}, \{v^{n}_{N}\}^{M-1}_{n=1} )\)are the solutions of (6) and (15), respectively, then we have

$$\begin{aligned} \bigl\Vert v(\cdot , t_{n})-v^{n}_{N} \bigr\Vert + \bigl\Vert w(\cdot , t_{n})-w^{n}_{N} \bigr\Vert \leq C \bigl(\Delta t^{2-\alpha } + N^{-s}+ N^{-m}\bigr), \end{aligned}$$

whereCdepends only onu, V, T, α, β.


We will utilize mathematical induction to prove the above conclusion. For \(n=0\), equation (15) can be written as

$$\begin{aligned} \textstyle\begin{cases} \frac{1}{a_{0}}(v^{1}_{N} - v^{0}_{N}, \phi _{N})+(\Delta w^{1}_{N}, \phi _{N})- \beta ( I_{N} V w^{1}_{N}, \phi _{N})=0, \\ \frac{1}{a_{0}}(w^{1}_{N} - w^{0}_{N}, \psi _{N})-(\Delta v^{1}_{N}, \psi _{N})+ \beta ( I_{N} V v^{1}_{N}, \psi _{N})=0. \end{cases}\displaystyle \end{aligned}$$

Subtracting (24) from a reformulation of (6) at \(t_{1}\), we obtain

$$\begin{aligned} &\bigl(\widetilde{e}^{1}_{v}-\widetilde{e}^{0}_{v}, \phi _{N}\bigr)+a_{0} \bigl( \Delta \widetilde{e}^{1}_{w}, \phi _{N} \bigr)- a_{0} \beta \bigl( V w(t_{1})- I_{N} V w^{1}_{N} , \phi _{N} \bigr) \\ &\quad = a_{0}\bigl(r^{1}_{1}, \phi _{N} \bigr)+\bigl(\bigl(\pi _{N}-I\bigr) \bigl(v(t_{1})-v(t_{0})\bigr), \phi _{N}\bigr) - a_{0} \bigl(\nabla \bigl(\pi ^{1}_{N}-I\bigr) w(t_{1}), \nabla \phi _{N}\bigr), \\ &\bigl(\widetilde{e}^{1}_{w}-\widetilde{e}^{0}_{w}, \psi _{N}\bigr)-a_{0} \bigl( \Delta \widetilde{e}^{1}_{v}, \psi _{N} \bigr)+ a_{0} \beta \bigl( V v(t_{1}) - I_{N} V v^{1}_{N} , \psi _{N} \bigr) \\ &\quad = a_{0}\bigl(r^{1}_{2}, \psi _{N} \bigr)+\bigl(\bigl(\pi _{N}-I\bigr) \bigl(w(t_{1})-w(t_{0})\bigr), \psi _{N}\bigr) + a_{0} \bigl(\nabla \bigl(\pi ^{1}_{N}-I\bigr) v(t_{1}), \nabla \psi _{N}\bigr). \end{aligned}$$

Let \(\phi _{N}=2\widetilde{e}^{1}_{v}\), \(\psi _{N}= 2\widetilde{e}^{1} _{w}\), we have

$$\begin{aligned} 2 \bigl\Vert \widetilde{e}^{1}_{v} \bigr\Vert ^{2}+2 \bigl\Vert \widetilde{e}^{1}_{w} \bigr\Vert ^{2} &\leq 2a_{0}\bigl(r^{1}_{1}, \widetilde{e}^{1}_{v}\bigr)+2a_{0} \bigl(r^{1}_{2}, \widetilde{e}^{1}_{w} \bigr) \\ &\quad{}+2\bigl(\bigl(\pi _{N}-I\bigr) \bigl(v(t_{1})- v(t_{0})\bigr), \widetilde{e}^{1}_{v} \bigr)+ 2\bigl(\bigl(\pi _{N}-I\bigr) \bigl(w(t_{1})- w(t_{0})\bigr), \widetilde{e}^{1}_{w} \bigr) \\ &\quad{}+2a_{0} \beta \bigl(w(t_{1}) (V- I_{N} V)+I_{N} V \bigl(w(t_{1})-w^{1}_{N} \bigr) , \widetilde{e}^{1}_{v} \bigr) \\ &\quad{}-2a_{0} \beta \bigl(v(t_{1}) (V- I_{N} V)+I_{N} V \bigl(v(t_{1})-v^{1}_{N} \bigr) , \widetilde{e}^{1}_{w} \bigr). \end{aligned}$$

Note that

$$\begin{aligned} &2a_{0} \bigl( w(t_{1}) (V- I_{N} V)+I_{N} V \bigl(w(t_{1})-w^{1}_{N} \bigr) , \widetilde{e}^{1}_{v} \bigr)\\ &\qquad {}-2a_{0} \bigl( v(t_{1}) (V- I_{N} V)+I_{N} V \bigl(v(t _{1})-v^{1}_{N}\bigr) , \widetilde{e}^{1}_{w} \bigr) \\ &\quad =2a_{0} \bigl(w(t_{1}) (V- I_{N} V)+ I_{N} V\bigl( \widetilde{e}^{1}_{w}+ \widehat{e}^{1}_{w} \bigr) , \widetilde{e}^{1}_{v} \bigr)-2a_{0} \bigl( v(t _{1}) (V-I_{N} V) +I_{N} V\bigl( \widetilde{e}^{1}_{v}+ \widehat{e}^{1}_{v}\bigr) , \widetilde{e}^{1}_{w} \bigr) \\ &\quad =2a_{0} \bigl( w(t_{1}) (V- I_{N} V)+I_{N} V \widehat{e}^{1}_{w}, \widetilde{e}^{1}_{v} \bigr)-2a_{0} \bigl( v(t_{1}) (V- I_{N} V)+I_{N} V \widehat{e}^{1}_{v}, \widetilde{e}^{1}_{w} \bigr). \end{aligned}$$

Using Young’s inequality, we get

$$\begin{aligned} &2 \bigl\Vert \widetilde{e}^{1}_{v} \bigr\Vert ^{2} +2 \bigl\Vert \widetilde{e}^{1}_{w} \bigr\Vert ^{2}\\ &\quad \leq a_{0} \biggl(4a_{0} \bigl\Vert r^{1}_{1} \bigr\Vert ^{2}+ \frac{1 }{4 a_{0}} \bigl\Vert \widetilde{e}^{1}_{v} \bigr\Vert ^{2} \biggr)+a_{0} \biggl(4a_{0} \bigl\Vert r^{1}_{2} \bigr\Vert ^{2}+ \frac{1 }{4 a_{0}} \bigl\Vert \widetilde{e}^{1}_{w} \bigr\Vert ^{2} \biggr) \\ &\qquad{}+ 4 \bigl\Vert \bigl(\pi _{N}-I\bigr) \bigl(v(t_{1})- v(t_{0})\bigr) \bigr\Vert ^{2}+ \frac{1}{4} \bigl\Vert \widetilde{e}^{1}_{v} \bigr\Vert ^{2}+4 \bigl\Vert \bigl(\pi _{N}-I \bigr) \bigl(w(t_{1})- w(t_{0})\bigr) \bigr\Vert ^{2}+ \frac{1}{4} \bigl\Vert \widetilde{e}^{1}_{w} \bigr\Vert ^{2} \\ &\qquad{}+a_{0} \beta \biggl( 4a_{0} \beta \bigl\Vert I_{N} V\widehat{e}^{1}_{w} \bigr\Vert ^{2}+ \frac{1 }{4 a_{0} \beta } \bigl\Vert \widetilde{e}^{1}_{v} \bigr\Vert ^{2} \biggr)\\ &\qquad {}+a _{0} \beta \biggl(4a_{0} \beta \bigl\Vert w(t_{1}) (V- I_{N} V) \bigr\Vert ^{2}+ \frac{1 }{4 a_{0} \beta } \bigl\Vert \widetilde{e}^{1}_{v} \bigr\Vert ^{2} \biggr) \\ &\qquad{}+a_{0} \beta \biggl( 4a_{0} \beta \bigl\Vert I_{N} V\widehat{e}^{1}_{v} \bigr\Vert ^{2}+ \frac{1 }{4 a_{0} \beta } \bigl\Vert \widetilde{e}^{1}_{w} \bigr\Vert ^{2} \biggr)\\ &\qquad {}+a _{0} \beta \biggl(4a_{0} \beta \bigl\Vert v(t_{1}) (V- I_{N} V) \bigr\Vert ^{2}+ \frac{1 }{4 a_{0} \beta } \bigl\Vert \widetilde{e}^{1}_{w} \bigr\Vert ^{2} \biggr) \\ &\quad \leq 4a^{2}_{0} \bigl( \Vert r_{1} \Vert ^{2}+ \Vert r_{2} \Vert ^{2}\bigr)+ 4 \bigl\Vert \bigl(\pi _{N}-I\bigr) \bigl(v(t _{1})- v(t_{0})\bigr) \bigr\Vert ^{2}+ 4 \bigl\Vert \bigl(\pi _{N}-I\bigr) \bigl(w(t_{1})- w(t_{0})\bigr) \bigr\Vert ^{2} \\ &\qquad{}+4a^{2}_{0} \beta ^{2} \Vert I_{N} V \Vert _{\infty } \bigl\Vert \widehat{e}^{1}_{w} \bigr\Vert ^{2}+ 4a^{2}_{0} \beta ^{2} \bigl\Vert w(t_{1}) \bigr\Vert _{\infty } \Vert V-I_{N} V \Vert ^{2}+ \bigl\Vert \widetilde{e}^{1}_{w} \bigr\Vert ^{2}+ \bigl\Vert \widetilde{e}^{1}_{v} \bigr\Vert ^{2} \\ &\qquad{}+4a^{2}_{0} \beta ^{2} \Vert I_{N} V \Vert _{\infty } \bigl\Vert \widehat{e}^{1}_{v} \bigr\Vert ^{2}+ 4a^{2}_{0} \beta ^{2} \bigl\Vert v(t_{1}) \bigr\Vert _{\infty } \Vert V-I_{N} V \Vert ^{2}. \end{aligned}$$

That is

$$\begin{aligned} \bigl\Vert \widetilde{e}^{1}_{v} \bigr\Vert ^{2}+ \bigl\Vert \widetilde{e}^{1}_{w} \bigr\Vert ^{2} &\leq C _{1} a^{2}_{0} \Delta t^{4-2\alpha } +C _{2}a^{2}_{0} N^{-s}+ C_{3} a ^{2}_{0}N^{-m}. \end{aligned}$$


$$\begin{aligned} \bigl\Vert \widetilde{e}^{j}_{v} \bigr\Vert ^{2}+ \bigl\Vert \widetilde{e}^{j}_{w} \bigr\Vert ^{2} &\leq \frac{C _{1} a^{2}_{0} \Delta t^{4-2\alpha } }{b^{2}_{j-1}} + \frac{C _{2}a ^{2}_{0} N^{-s}}{b^{2}_{j-1}}+ \frac{C_{3} a^{2}_{0}N^{-m}}{b^{2}_{j-1}}, \quad j=2,3,\ldots ,n. \end{aligned}$$

Next, we need to prove that it also holds for \(j=n+1\). Setting \(\phi _{N}=2 \widetilde{e}^{n+1}_{v}\) and \(\psi _{N}=2 \widetilde{e} ^{n+1}_{w}\) in (15), we have

$$\begin{aligned} & 2 \bigl\Vert \widetilde{e}^{n+1}_{v} \bigr\Vert ^{2}+2 \bigl\Vert \widetilde{e}^{n+1}_{w} \bigr\Vert ^{2} \\ &\quad \leq 2a_{0}\bigl(r^{n+1}_{1}, \widetilde{e}^{n+1}_{v}\bigr)+2a_{0} \bigl(r^{n+1} _{2}, \widetilde{e}^{n+1}_{w} \bigr) \\ &\qquad{}+2\Biggl(\sum^{n-1}_{j=0}(b_{j}-b_{j+1}) \widetilde{e}^{n-j}_{v} +b _{n} \widetilde{e}^{0}_{v}, \widetilde{e}^{n+1}_{v} \Biggr)+2\Biggl(\sum^{n-1}_{j=0}(b_{j}-b_{j+1}) \widetilde{e}^{n-j}_{w} +b_{n} \widetilde{e}^{0}_{w}, \widetilde{e}^{n+1}_{w} \Biggr) \\ &\qquad{}+2\Biggl(\bigl(\pi _{N}-I\bigr) \Biggl(v(t_{n+1})-\sum^{n}_{j=0}(b_{j} -b_{j+1})v(t _{n-j})-b_{n} v(t_{0}) \Biggr), \widetilde{e}^{n+1}_{v}\Biggr) \\ &\qquad{}+2\Biggl(\bigl(\pi _{N}-I\bigr) \Biggl(w(t_{n+1})-\sum^{n}_{j=0}(b_{j} -b_{j+1})w(t _{n-j})-b_{n} w(t_{0}) \Biggr), \widetilde{e}^{n+1}_{w}\Biggr) \\ &\qquad{}+2a_{0} \beta \bigl( w(t_{n+1}) (V- I_{N} V)+I_{N} V \bigl(w(t_{n+1})-w ^{n+1}_{N} \bigr) , \widetilde{e}^{n+1}_{v} \bigr) \\ &\qquad{}-2a_{0} \beta \bigl( v(t_{n+1}) (V- I_{N} V)+I_{N} V \bigl(v(t_{n+1})-v ^{n+1}_{N} \bigr) , \widetilde{e}^{n+1}_{w} \bigr) \\ &\quad \leq a_{0} \biggl( \frac{4a_{0}}{b_{n}} \bigl\Vert r^{n+1}_{1} \bigr\Vert ^{2}+\frac{b _{n} }{4 a_{0}} \bigl\Vert \widetilde{e}^{n+1}_{v} \bigr\Vert ^{2} \biggr)+a_{0} \biggl(\frac{4a _{0}}{b_{n}} \bigl\Vert r^{n+1}_{2} \bigr\Vert ^{2}+\frac{b_{n} }{4 a_{0}} \bigl\Vert \widetilde{e}^{n+1}_{w} \bigr\Vert ^{2} \biggr) \\ &\qquad{}+\sum^{n-1}_{j=0 }(b_{j}-b_{j+1}) \bigl( \bigl\Vert \widetilde{e}^{n-j}_{v} \bigr\Vert ^{2}+ \bigl\Vert \widetilde{e}^{n+1}_{v} \bigr\Vert ^{2}\bigr)+ \sum^{n-1}_{j=0 }(b _{j}-b_{j+1}) \bigl( \bigl\Vert \widetilde{e}^{n-j}_{w} \bigr\Vert ^{2}+ \bigl\Vert \widetilde{e}^{n+1} _{w} \bigr\Vert ^{2}\bigr) \\ &\qquad{}+\frac{4}{b_{n}} \Biggl\Vert \bigl(\pi _{N}-I \bigr) \Biggl(v(t_{n+1})-\sum^{n}_{j=0}(b _{j} -b_{j+1})v(t_{n-j})-b_{n} v(t_{0})\Biggr) \Biggr\Vert ^{2}+\frac{b_{n}}{4} \bigl\Vert \widetilde{e}^{n+1}_{v} \bigr\Vert ^{2} \\ &\qquad{}+\frac{4}{b_{n}} \Biggl\Vert \bigl(\pi _{N}-I \bigr) \Biggl(w(t_{n+1})-\sum^{n}_{j=0}(b _{j} -b_{j+1})w(t_{n-j})-b_{n} v(t_{0})\Biggr) \Biggr\Vert ^{2}+\frac{b_{n}}{4} \bigl\Vert \widetilde{e}^{n+1}_{w} \bigr\Vert ^{2} \\ &\qquad{}+a_{0} \beta \biggl( \frac{4a_{0} \beta }{b_{n}} \bigl\Vert I_{N} V\widehat{e} ^{n+1}_{w} \bigr\Vert ^{2}+ \frac{b_{n} }{4 a_{0} \beta } \bigl\Vert \widetilde{e}^{n+1} _{v} \bigr\Vert ^{2} \biggr)\\ &\qquad {}+a_{0} \beta \biggl(\frac{4a_{0} \beta }{b_{n}} \bigl\Vert w(t _{n+1}) (V- I_{N} V) \bigr\Vert ^{2}+ \frac{b_{n}}{4 a_{0} \beta } \bigl\Vert \widetilde{e}^{n+1}_{v} \bigr\Vert ^{2} \biggr) \\ &\qquad{}+a_{0} \beta \biggl(\frac{4a_{0} \beta }{b_{n}} \bigl\Vert I_{N} V\widehat{e} ^{n+1}_{v} \bigr\Vert ^{2}+ \frac{b_{n}}{4 a_{0} \beta } \bigl\Vert \widetilde{e}^{n+1} _{w} \bigr\Vert ^{2} \biggr)\\ &\qquad {}+a_{0} \beta \biggl(\frac{4a_{0} \beta }{b_{n}} \bigl\Vert v(t _{n+1}) (V- I_{N} V) \bigr\Vert ^{2}+ \frac{b_{n}}{4 a_{0} \beta } \bigl\Vert \widetilde{e}^{n+1}_{w} \bigr\Vert ^{2} \biggr). \end{aligned}$$

That is

$$\begin{aligned} \bigl\Vert \widetilde{e}^{n+1}_{v} \bigr\Vert ^{2}+ \bigl\Vert \widetilde{e}^{n+1}_{w} \bigr\Vert ^{2} &\leq \frac{4a^{2}_{0}}{b_{n}} \bigl( \bigl\Vert r^{n+1}_{1} \bigr\Vert ^{2}+ \bigl\Vert r^{n+1}_{2} \bigr\Vert ^{2}\bigr)+\sum ^{n-1}_{j=0 }(b_{j}-b_{j+1}) \bigl( \bigl\Vert \widetilde{e}^{n-j} _{v} \bigr\Vert ^{2}+ \bigl\Vert \widetilde{e}^{n-j}_{w} \bigr\Vert ^{2}\bigr) \\ &\quad{}+\frac{4}{b_{n}} \Biggl\Vert \bigl(\pi _{N}-I \bigr) \Biggl(v(t_{n+1})-\sum^{n}_{j=0}(b _{j} -b_{j+1})v(t_{n-j})-b_{n} v(t_{0})\Biggr) \Biggr\Vert ^{2} \\ &\quad{}+\frac{4}{b_{n}} \Biggl\Vert \bigl(\pi _{N}-I \bigr) \Biggl(w(t_{n+1})-\sum^{n}_{j=0}(b _{j} -b_{j+1})w(t_{n-j})-b_{n} w(t_{0})\Biggr) \Biggr\Vert ^{2} \\ &\quad{}+\frac{4a^{2}_{0} \beta ^{2}}{b_{n}} \Vert I_{N} V \Vert _{\infty } \bigl\Vert \widehat{e}^{n+1}_{w} \bigr\Vert ^{2}+ \frac{4a^{2}_{0} \beta ^{2}}{b_{n}} \bigl\Vert w(t _{n+1}) \bigr\Vert _{\infty } \Vert V-I_{N} V \Vert ^{2} \\ &\quad{}+\frac{4a^{2}_{0} \beta ^{2}}{b_{n}} \Vert I_{N} V \Vert _{\infty } \bigl\Vert \widehat{e}^{n+1}_{v} \bigr\Vert ^{2}+ \frac{4a^{2}_{0} \beta ^{2}}{b_{n}} \bigl\Vert v(t _{n+1}) \bigr\Vert _{\infty } \Vert V-I_{N} V \Vert ^{2}. \end{aligned}$$

Using assumption (25) and the fact that \(b_{n-1-j}>b_{n}\), we obtain

$$\begin{aligned} \bigl\Vert \widetilde{e}^{n+1}_{v} \bigr\Vert ^{2}+ \bigl\Vert \widetilde{e}^{n+1}_{w} \bigr\Vert ^{2} &\leq \biggl( \frac{C_{1} a^{2}_{0} \Delta t^{4-2\alpha } }{b_{n}} + \frac{C _{2}a^{2}_{0} N^{-s}}{b_{n}}+ \frac{C_{3} a^{2}_{0}N^{-m}}{b _{n}} \biggr) \\ &\quad{}+ \sum^{n-1}_{j=0}(b_{j}-b_{j+1}) \biggl( \frac{C_{1} a^{2} _{0} \Delta t^{4-2\alpha } }{b^{2}_{n-j-1}} + \frac{C _{2}a^{2}_{0} N ^{-s}}{b^{2}_{n-j-1}}+ \frac{C_{3} a^{2}_{0}N^{-m}}{b^{2}_{n-j-1}} \biggr) \\ &\leq \biggl( \frac{C_{1} a^{2}_{0} \Delta t^{4-2\alpha } }{b_{n}} + \frac{C _{2}a^{2}_{0} N^{-s}}{b_{n}}+ \frac{C_{3} a^{2}_{0}N^{-m}}{b _{n}} \biggr) \\ &\quad{}+\sum^{n-1}_{j=0}(b_{j}-b_{j+1}) \biggl( \frac{C_{1} a^{2}_{0} \Delta t^{4-2\alpha }}{b^{2}_{n}} + \frac{C _{2}a^{2}_{0} N^{-s}}{b ^{2}_{n}}+ \frac{C_{3} a^{2}_{0}N^{-m}}{b^{2}_{n}} \biggr) \\ &= \biggl( \frac{C_{1} a^{2}_{0} \Delta t^{4-2\alpha }}{b^{2}_{n}} + \frac{C _{2}a^{2}_{0} N^{-s}}{b^{2}_{n}}+ \frac{C_{3} a^{2}_{0}N^{-m}}{b ^{2}_{n}} \biggr) \Biggl(b_{n} +\sum^{n-1}_{j=0}(b_{j}-b_{j+1}) \Biggr) \\ &= \biggl( \frac{C_{1} a^{2}_{0} \Delta t^{4-2\alpha }}{b^{2}_{n}} + \frac{C _{2}a^{2}_{0} N^{-s}}{b^{2}_{n}}+ \frac{C_{3} a^{2}_{0}N^{-m}}{b ^{2}_{n}} \biggr). \end{aligned}$$

Combining with (14) and (22), estimate (23) is proved. □

Theorem 4

Suppose that \(u=v+i w\)is the exact solution of (1)(3), \((v, w)\)and \((\{v^{n}_{N}\}^{M-1} _{n=1}, \{v^{n}_{N}\}^{M-1}_{n=1} )\)are the solutions to (6) and (16), respectively, then we obtain

$$\begin{aligned} \bigl\Vert v(\cdot , t_{n})-v^{n}_{N} \bigr\Vert + \bigl\Vert w(\cdot , t_{n})-w^{n}_{N} \bigr\Vert \leq C \bigl(\Delta t^{2-\alpha } + N^{-s}+ N^{-m}\bigr). \end{aligned}$$


The proof process is similar to the above theorem, and we omit it here. □

4 Numerical results

This section presents several numerical examples to confirm the accuracy and applicability of schemes (15)–(16) for solving Caputo/Riemann–Liouville Schrödinger equations. First, we need an exact solution to evaluate the accuracy of the numerical solution.

Example 4.1

Let \(\beta =1\) and \(V=1\), we consider numerical results for the following Caputo time-fractional Schrödinger equation:

$$\begin{aligned} \frac{1}{\varGamma (1-\alpha )} \int ^{t}_{0} \frac{\partial u(x,y,\mu )}{ \partial \mu } \frac{d\mu }{ (t-\mu )^{\alpha }}-i \Delta u +i u=f(x,y,t), \end{aligned}$$


$$\begin{aligned} f(x,y,t)= \frac{2 t^{2-\alpha }}{\varGamma (3-\alpha )}(\cos 8x+i\sin 8y )+t^{2}(-65 \sin 8y+i 65 \cos 8x). \end{aligned}$$

Then the exact solution is \(u=t^{2}(\cos 8x+i \sin 8y)\).

Full-discrete scheme (15) is solved in \(\varOmega =(0,2\pi )^{2}\) with \(T=1\). Tables 12 display the temporal convergence orders at \(N=20\) for v, w, respectively. It shows that for \(\alpha =0.1, 0.3, 0.5, 0.6, 0.7,0.9\), the convergence orders of v and w are approximately 1.9, 1.7, 1.5, 1.4, 1.3, 1.1, respectively, which indicates that numerical scheme (15) can achieve \(2-\alpha \) order accuracy in time, which confirms the result in Theorem 3. Table 3 shows the \(L^{2}\) error and the \(L^{\infty }\) error in space with \(\alpha =0.1, 0.3, 0.5, 0.7\). It confirms that the numerical solutions are in good agreement with the exact solutions and the error is influenced by the time direction error. It ascertains that, if the error in the time direction is negligible, our numerical method can theoretically achieve exponential order accuracy in space.

Table 1 Temporal convergence orders of v for Example 4.1
Table 2 Temporal convergence orders of w for Example 4.1
Table 3 \(L^{2}\), \(L^{\infty }\) errors of v and w at \(\Delta t=10^{-4}\) for Example 4.1

Example 4.2

Let \(\beta =1\) and \(V=1\), we consider the following Riemann–Liouville time-fractional Schrödinger equation:

$$\begin{aligned} \frac{1}{\varGamma (1-\alpha )}\frac{d}{d t} \int ^{t}_{0} (t-\mu )^{- \alpha } u(x,y,\mu )\,d \mu -i \Delta u +i u=f(x,y,t), \end{aligned}$$


$$\begin{aligned} f(x,y,t)= \biggl(\frac{ t^{-\alpha }}{\varGamma (1-\alpha )} +\frac{2 t ^{2-\alpha }}{\varGamma (3-\alpha )} \biggr) (\sin 8x+i\cos 8y )+\bigl(t^{2}+1\bigr) (-65 \cos 8y+i 65 \sin 8x). \end{aligned}$$

Then the exact solution is \(u=(t^{2}+1)(\sin 8x+i \cos 8y)\).

Full-discrete scheme (16) is solved at \(\varOmega =(0,2\pi )^{2}\) with \(T=1\). The convergence orders in time direction are listed in Tables 45, and the \(L^{2}\) and \(L^{\infty }\) errors in spatial direction are also listed in Table 6. It is obvious that numerical scheme (16) achieves \(2-\alpha \) order accuracy in time direction. Table 6 shows that numerical schemes (15)–(16) have good convergence behavior.

Table 4 Temporal convergence orders of v for Example 4.2
Table 5 Temporal convergence orders of w for Example 4.2
Table 6 \(L^{2}\), \(L^{\infty }\) errors of v and w at \(\Delta t=10^{-4}\) for Example 4.2

We fix \(u(x,y,0)=\cos 6 x+i \sin y\), \(\Delta t=0.001\), \(N=20\), we also use numerical method (15) to simulate the dynamic behavior of the solution for different α. The results are summarized in Figs. 13. The results show that the wavelength becomes larger when the fractional diffusion coefficient α increases due to the long tail mechanism of the fractional operator.

Figure 1
figure 1

The dynamic behavior of solution for \(\alpha =0.5\)

Figure 2
figure 2

The dynamic behavior of solution for \(\alpha =0.7\)

Figure 3
figure 3

The dynamic behavior of solution for \(\alpha =0.9\)

5 Conclusion

We have constructed two efficient numerical schemes to solve time-fractional Schrödinger equation with Caputo/Riemann–Liouville derivative. These two numerical methods have been proved to be unconditionally stable. In addition, we have also discussed the convergence of the numerical methods, and numerical convergence results show that the two schemes converge with the order \(\mathcal{O}(\Delta t^{2-\alpha }+N^{-s}+ N^{-m})\). Numerical examples are consistent with the theoretical prediction.


  1. Laskin, N.: Fractional quantum mechanics. Phys. Rev. E 62(3), 3135 (2000)

    Article  MathSciNet  Google Scholar 

  2. Laskin, N.: Fractional quantum mechanics and Lévy path integrals. Phys. Lett. A 268(4–6), 298–305 (2000)

    Article  MathSciNet  Google Scholar 

  3. Naber, M.: Time fractional Schrödinger equation. J. Math. Phys. 45(8), 3339–3352 (2004)

    Article  MathSciNet  Google Scholar 

  4. Wang, S., Xu, M.: Generalized fractional Schrödinger equation with space-time fractional derivatives. J. Math. Phys. 48(4), 041502 (2007)

    Article  Google Scholar 

  5. Guo, X., Xu, M.: Some physical applications of fractional Schrödinger equation. J. Math. Phys. 47(8), 082104 (2006)

    Article  MathSciNet  Google Scholar 

  6. Cheng, M.: Bound state for the fractional Schrödinger equation with unbounded potential. J. Math. Phys. 53(4), 043507 (2012)

    Article  MathSciNet  Google Scholar 

  7. Felmer, P., Tan, A.Q.J.: Positive solutions of the nonlinear Schrödinger equation with the fractional Laplacian. Proc. R. Soc. Edinb. 142(6), 1237–1262 (2012)

    Article  Google Scholar 

  8. Wang, J.R., Zhou, Y., Wei, W.: Fractional Schrödinger equations with potential and optimal controls. Nonlinear Anal., Real World Appl. 13(6), 2755–2766 (2012)

    Article  MathSciNet  Google Scholar 

  9. Rida, S.Z., El-Sherbiny, H.M., Arafa, A.A.M.: On the solution of the fractional nonlinear Schrödinger equation. Phys. Lett. A 372(5), 553–558 (2008)

    Article  MathSciNet  Google Scholar 

  10. Li, X., Xu, C.: A space-time spectral method for the time fractional diffusion equation. SIAM J. Numer. Anal. 47(3), 2108–2131 (2009)

    Article  MathSciNet  Google Scholar 

  11. Yildirim, A.: An algorithm for solving the fractional nonlinear Schrödinger equation by means of the homotopy perturbation method. Int. J. Nonlinear Sci. Numer. Simul. 10(4), 445–450 (2009)

    Article  Google Scholar 

  12. Wei, L., He, Y., Zhang, X., Wang, S.: A numerical study based on an implicit fully discrete local discontinuous Galerkin method for the time-fractional coupled Schrödinger equation. Finite Elem. Anal. Des. 59, 28–34 (2012)

    Article  MathSciNet  Google Scholar 

  13. Wei, L., Zhang, X., Kumar, S., Yildirim, A.: A numerical study based on an implicit fully discrete local discontinuous Galerkin method for the time-fractional coupled Schrödinger system. Comput. Math. Appl. 64(8), 2603–2615 (2012)

    Article  MathSciNet  Google Scholar 

  14. Mohebbi, A., Abbaszadeh, M., Dehghan, M.: The use of a meshless technique based on collocation and radial basis functions for solving the time fractional nonlinear Schrödinger equation arising in quantum mechanics. Eng. Anal. Bound. Elem. 37(2), 475–485 (2013)

    Article  MathSciNet  Google Scholar 

  15. Baleanu, D., Inc, M., Aliyu, A.I., Yusuf, A.: Dark optical solitons and conservation laws to the resonance nonlinear Schrödinger’s equation with Kerr law nonlinearity. Optik 147, 248–255 (2017)

    Article  Google Scholar 

  16. Inc, M., Aliyu, A.I., Yusuf, A., Baleanu, D.: Dispersive optical solitons and modulation instability analysis of Schrödinger–Hirota equation with spatio-temporal dispersion and Kerr law nonlinearity. Superlattices Microstruct. 113, 319–327 (2018)

    Article  Google Scholar 

  17. Inc, M., Yusuf, A., Aliyu, A.I., Baleanu, D.: Dark and singular optical solitons for the conformable space-time nonlinear Schrödinger equation with Kerr and power law nonlinearity. Optik 162, 65–75 (2018)

    Article  Google Scholar 

  18. Garrappa, R., Moret, I., Popolizio, M.: Solving the time-fractional Schrödinger equation by Krylov projection methods. J. Comput. Phys. 293, 115–134 (2015)

    Article  MathSciNet  Google Scholar 

  19. Zhu, X., Yuan, Z., Wang, J., Nie, Y., Yang, Z.: Finite element method for time-space-fractional Schrödinger equation. Electron. J. Differ. Equ. 2017, 166, 1–18 (2017)

    Article  Google Scholar 

  20. Wei, L., He, Y.: Numerical algorithm based on an implicit fully discrete local discontinuous Galerkin method for the time-fractional KdV–Burgers–Kuramoto equation. Z. Angew. Math. Mech. 93(1), 14–28 (2013)

    Article  MathSciNet  Google Scholar 

  21. Kumar, S., Kocak, H., Yildirim, A.: A fractional model of gas dynamics equations and its analytical approximate solution using Laplace transform. Z. Naturforsch. A 67(6–7), 389–396 (2012)

    Article  Google Scholar 

  22. Gupta, P.K., Singh, M., Yildirim, A.: Approximate analytical solution of the time-fractional Camassa–Holm, modified Camassa–Holm, and Degasperis–Procesi equations by homotopy perturbation method. Sci. Iran. 23(1), 155–165 (2016)

    Google Scholar 

  23. Yusuf, A., Inc, M., Aliyu, A.L., Baleanu, D.: Optical solitons possessing beta derivative of the Chen–Lee–Liu equation in optical fibers. Front. Phys. 7, 34 (2019)

    Article  Google Scholar 

  24. Yusuf, A., Inc, M., Baleanu, D.: Optical solitons with M-truncated and beta derivatives in nonlinear optics. Front. Phys. 7, 126 (2019)

    Article  Google Scholar 

  25. Kumar, D., Singh, J., Qurashi, M.A., Baleanu, D.: A new fractional SIRS-SI malaria disease model with application of vaccines, antimalarial drugs, and spraying. Adv. Differ. Equ. 2019(1), 278 (2019)

    Article  MathSciNet  Google Scholar 

  26. Oldham, K.B., Spanier, J.: The fractional calculus. Math. Gaz. 56(247), 396–400 (1974)

    MATH  Google Scholar 

  27. Lynch, V.E., Carreras, B.A., Del-Castillo-Negrete, D., Ferreira-Mejias, K.M., Hicks, H.R.: Numerical methods for the solution of partial differential equations of fractional order. J. Comput. Phys. 192(2), 406–421 (2003)

    Article  MathSciNet  Google Scholar 

  28. 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  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  30. Lin, Y., Xu, C.: Finite difference/spectral approximations for the time-fractional diffusion equation. J. Comput. Phys. 225(2), 1533–1552 (2007)

    Article  MathSciNet  Google Scholar 

  31. Grajales, J.C.M., Vargas, L.F.: Error analysis of a Fourier–Galerkin method applied to the Schrödinger equation. Appl. Anal. 95(1), 156–173 (2016)

    Article  MathSciNet  Google Scholar 

  32. Gong, Y., Wang, Q., Wang, Y., Cai, J.: A conservative Fourier pseudo-spectral method for the nonlinear Schrödinger equation. J. Comput. Phys. 328, 354–370 (2017)

    Article  MathSciNet  Google Scholar 

  33. Jagdev, S., Kumar, D., Baleanu, D.: On the analysis of fractional diabetes model with exponential law. Adv. Differ. Equ. 2018(1), 231 (2018)

    Article  MathSciNet  Google Scholar 

  34. Amit, G., Singh, J., Kumar, D.: An efficient analytical approach for fractional equal width equations describing hydro-magnetic waves in cold plasma. Phys. A, Stat. Mech. Appl. 524, 563–575 (2019)

    Article  MathSciNet  Google Scholar 

  35. Jagdev, S., Kumar, D., Baleanu, D.: New aspects of fractional Biswas–Milovic model with Mittag-Leffler law. Math. Model. Nat. Phenom. 14(3), 303 (2019)

    Article  MathSciNet  Google Scholar 

  36. Singh, J., Kumar, D., Baleanu, D., Rathore, S.: On the local fractional wave equation in fractal strings. Math. Methods Appl. Sci. 42(5), 1588–1595 (2019)

    Article  MathSciNet  Google Scholar 

  37. Quarteroni, A.M., Valli, A.: Numerical Approximation of Partial Differential Equations. Springer, Berlin (1994)

    Book  Google Scholar 

Download references


The authors would like to thank editors and reviewers for their help.

Availability of data and materials

Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.

Authors’ information

Jun Zhang, Computational Mathematics Research Center, Guizhou University of Finance and Economics, Guiyang 550025, Department of Mathematics, Guizhou University, Guiyang, Guizhou 550025, China. E-mail addresses: JingRong Wang, Corresponding author, Department of Mathematics, Guizhou University, Guiyang, 550025, China and School of Mathematical Sciences, Qufu Normal University, Qufu 273165, Shandong, China. E-mail addresses: Yong Zhou, Department of Mathematics, Xiangtan University, Xiangtan, Hunan 411105, China and Faculty of Information Technology, Macau University of Science and Technology, Taipa, China. E-mail addresses:


The work of Jun Zhang is supported by the National Natural Science Foundation of China, Grant/Award Number: 11901132,61472093; the China Scholarship Council, Grant/Award Number: 201908525061; the Chinese Postdoc Foundation, Grant Grant/Award Number: 2019M653490, and Guizhou Province University science and technology top talents project, Grant/Award Number: KY[2018]047. The work of JinRong Wang is supported by the National Natural Science Foundation of China, Grant/Award Number: 11661016; Training Object of High Level and Innovative Talents of Guizhou Province, Grant/Award Number: (2016)4006; Major Research Project of Innovative Group in Guizhou Education Department, Grant/Award Number: [2018]012. The work of Yong Zhou is supported by the National Natural Science Foundation of China, Grant/Award Number: 11671339.

Author information

Authors and Affiliations



JZ carried out an efficient numerical approach to solve time-fractional Schrödinger. JRW helped to draft the manuscript. YZ helped to correct some typos and grammar errors. All authors read and approved the final manuscript.

Corresponding author

Correspondence to JinRong Wang.

Ethics declarations

Ethics approval and consent to participate

Not applicable.

Competing interests

The authors declare that they have no competing interests.

Consent for publication

We agree.

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 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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Zhang, J., Wang, J. & Zhou, Y. Numerical analysis for time-fractional Schrödinger equation on two space dimensions. Adv Differ Equ 2020, 53 (2020).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: