Laguerre Wavelet Approach for a Two-Dimensional Time–Space Fractional Schrödinger Equation

Abstract

This article is devoted to the determination of numerical solutions for the two-dimensional time–spacefractional Schrödinger equation. To do this, the unknown parameters are obtained using the Laguerre wavelet approach. We discretize the problem by using this technique. Then, we solve the discretized nonlinear problem by means of a collocation method. The method was proven to give very accurate results. The given numerical examples support this claim.

1. Introduction

In the 19th century, Reimann and Liouville as well as Euler and Fourier provided useful results in modern calculus and introduced the first foundational contributions in fractional calculus. Since the beginning of the 21st century, the subject of fractional calculus has been given a lot of attention by many researchers because of its more precise and realistic results in many industrial and technological fields. Today, it is known that many physical processes in nature can be modelled by using fractional calculus in a better way. The capacity of fractional calculus to meet the demands of the real-world applications provides a basis for the application of fractional modelling and fractional systems in the fields of engineering and applied science [1,2,3].

This ever-increasing expansion of fractional concepts has also made a significant contribution to the investigation of different fractional differential contexts [4,5]. The reviewed articles in [6] provide an up-to-date bibliography of approximate methods for the resolution of the fractional differential equations.

Beyond the great interest aroused by fractional equations, the fractional Schrödinger equation is one of the most important models in mathematical physics, and it has been used widely in various fields such as super-fluids, quantum mechanics, particle physics and plasma, earthquake science, nonlinear optics, underwater acoustics, the semi-conductor industry, and optimal control problems [7,8,9]. To the best of our knowledge, the existence of solutions for the above-mentioned equation has been studied in [10,11,12,13]. Although many researchers have provided efficient computational methods to solve the fractional Schrödinger equation, most of them are studied in one dimension. Indeed, to the best of our knowledge, only a limited number of methods has been generalized in order to deal with multi-dimensional time–space fractional Schrödinger equations [14,15,16].

Our goal in this paper is to present an efficient, high-accuracy, and simple method for solving the two-dimensional time–space fractional Schrödinger equation, which is defined as follows:

$$i{}_0^C{D}_t^{\alpha }U+{\kappa }_1{}_0^C{D}_x^{\beta }U+{\kappa }_2{}_0^C{D}_y^{\beta }U+G(x,y,t)U=0,(x,y,t)\in \mathrm{\Omega }\times [0,T],$$ (1)

with the initial condition

$$U(x,y,0)=\varphi (x,y),(x,y)\in \mathrm{\Omega }$$

and boundary condition

$$U(x,y,t)=0,(x,y)\in \partial \mathrm{\Omega }.$$

In Equation (1), $0<\alpha \le 1$ and $1/2<\beta \le 2$ are the order of Caputo fractional derivatives in time and space, respectively. Moreover, $\mathrm{\Omega }$ is a bounded domain in ${\mathbb{R}}^2$, ${\kappa }_1$ and ${\kappa }_2$ are real constants, $\varphi (x,y)$ is a sufficient smooth function, i is the imaginary unity, and $U(x,y,t)$ is assumed to be a complex wave function of space and time. In this paper, we propose a high-accuracy numerical method in both time and space to obtain the approximate numerical solutions for Equation (1). More precisely, for the proposed method, the Laguerre wavelets are considered as an expansion of the series. Due to the high accuracy and ease of use of these polynomials, researchers often apply them to find approximate solutions for a variety of problems. To simplify the problem significantly, Equation (1) is equivalently reformulated into a system of discrete equations. The unknown coefficients are chosen to satisfy the solution of Equation (1).

The rest of this work is organized as follows. The basic concepts of fractional operations are introduced in Section 2. In addition, some of the main characteristics of the Laguerre polynomials and wavelets are given in this section. The discretization and description of the method are explained in Section 3. Section 4 describes the approximate solutions obtained by the proposed method. Finally, the conclusion is given in the last section.

2. Preliminary Tools

Here, we provide some definitions and basic concepts that are used throughout the paper.

2.1. Fractional Operations

First, we briefly introduce some definitions related to fractional operators that permit us to formulate the two-dimensional time–space fractional Schrödinger Equation (1). For more details, see [17,18,19].

Definition 1.

For a given function $f\in L_1([t_0,t_f],{\mathbb{R}}^n)$, the α-order ($\alpha >0$) of the Riemann–Liouville fractional integral is given by

$${}_{t_0}{I}_t^{\alpha }f\left(t\right)={\displaystyle \frac{1}{\mathrm{\Gamma }\left(\alpha \right)}}{\int }_{t_0}^t{(t-\tau )}^{\alpha -1}f\left(\tau \right)d\tau ,$$ (2)

in which $\mathrm{\Gamma }(.)$ is the Euler Gamma function. It is clear that when $\alpha =0$ then ${}_{t_0}{I}_t^{\alpha }f\left(t\right)=f\left(t\right)$.

Definition 2.

The $0<\alpha$-order of a fractional derivative for a given function $f\left(t\right)$ in the Riemann–Liouville sense is determined by

$${}_{t_0}{D}_t^{\alpha }f\left(t\right)=D^n\left({}_{t_0}{I}_t^{n-\alpha }\right)f\left(t\right)={\displaystyle \frac{1}{\mathrm{\Gamma }(n-\alpha )}}{\left({\displaystyle \frac{d}{dt}}\right)}^n{\int }_{t_0}^t{(t-\tau )}^{n-\alpha -1}f\left(\tau \right)d\tau ,$$ (3)

where $n-1<\alpha \le n$, $n\in \mathbb{N}$. If $\alpha \in \mathbb{N}$, then the definition of the fractional derivative coincides with that of the ordinary derivative.

Definition 3.

The $0<\alpha$-order of Caputo fractional derivatives for a given function $f\left(t\right)$ is specified as

$${}_{t_0}^C{D}_t^{\alpha }f\left(t\right)=\left({}_{t_0}{I}_t^{n-\alpha }\right)D^{n}f\left(t\right)={\displaystyle \frac{1}{\mathrm{\Gamma }(n-\alpha )}}{\int }_{t_0}^t{(t-\tau )}^{n-\alpha -1}{f}^{\left(n\right)}\left(\tau \right)d\tau ,$$ (4)

in which $n-1<\alpha \le n$, $n\in \mathbb{N}$.

Furthermore, if K is constant, then we have

$${}_{t_0}^C{D}_t^{\alpha }K=0.$$

In addition, the fractional derivative of $f\left(t\right)=t$ for $n-1<\alpha \le n$ is obtained, as follows [20]:

$$\begin{array}{c}\hfill {}_{t_0}^C{D}_t^{\alpha }(t-t_0)=\left\{\begin{array}{c}{\displaystyle \frac{\mathrm{\Gamma }(n+1)}{\mathrm{\Gamma }(n-\alpha +1)}}{(t-t_0)}^{n-\alpha },n\ge \left[\alpha \right],\hfill \\ 0,n<\left[\alpha \right],\hfill \end{array}\right.\end{array}$$

in which $\left[\alpha \right]$ is the integer part of $\alpha$.

Remark 1.

Let $t>0$, $n-1<\alpha <n$, $n\in \mathbb{R}$. If both functions, $f\left(t\right)$ and $g\left(t\right)$, together with their derivatives are continuous in $[0,t]$, then the following Leibniz rule is valid for the Caputo derivative:

$${}_0^C{D}_t^{\alpha }\left(f\left(t\right)g\left(t\right)\right)=\sum _{k=0}^{\infty }{C}_{\alpha }^k{(}_0{D}_t^{\alpha -n}f\left(t\right))g^{\left(k\right)}\left(t\right)-\sum _{k=0}^{n-1}{\displaystyle \frac{t^{k-\alpha }}{\mathrm{\Gamma }(k+1-\alpha )}}\left({\left(f\left(t\right)g\left(t\right)\right)}^k\left(0\right)\right),$$

wherein $C_{\alpha }^k=\left(\begin{array}{c}\alpha \hfill \\ k\hfill \end{array}\right)$.

2.2. Laguerre Polynomials and Laguerre Wavelets

For any $\sigma >-1$, the Laguerre polynomials $L_k^{\left(\sigma \right)}\left(x\right)$, $k\ge 0$ are the eigenfunctions of the singular Sturm–Liouville problem in $(0,\infty )$, which are expressed as:

$${\left(x^{\sigma +1}exp(-x){\left(L_n^{\left(\sigma \right)}\left(x\right)\right)}^{{}^{\prime }}\right)}^{{}^{\prime }}+n{x}^{\sigma }exp(-x)L_n^{\left(\sigma \right)}\left(x\right)=0.$$

These polynomials are orthogonal with respect to the weight $w\left(x\right)=x^{\sigma }exp(-x)$ in $(0,\infty )$, that is

$${\int }_0^{\infty }{L}_n^{\left(\sigma \right)}\left(x\right)L_m^{\left(\sigma \right)}\left(x\right)x^{\sigma }exp(-x)dx={\displaystyle \frac{(n+\sigma )!}{n!}}{\delta }_{nm},n,m\ge 0,$$

where ${\delta }_{nm}$ is the Dirac delta function [21,22]. Furthermore, the following recursion relation is credible for the Laguerre polynomial:

$$L_{n+1}^{\left(\sigma \right)}\left(x\right)={\displaystyle \frac{(2n+\sigma +1-x)}{n+1}}{L}_n^{\left(\sigma \right)}\left(x\right)-{\displaystyle \frac{(n+\sigma )}{n+1}}{L}_{n-1}^{\left(\sigma \right)}\left(x\right),$$

in which $L_0^{\left(\sigma \right)}\left(x\right)=1$ and $L_1^{\left(\sigma \right)}\left(x\right)=\sigma +1-x$. Moreover, Rodriguez’s formula in this case becomes:

$$L_n^{\left(\sigma \right)}\left(x\right)={\displaystyle \frac{t^{-\sigma }exp\left(x\right)}{n!}}{\displaystyle \frac{d^n}{d{x}^n}}\left(x^{n+\sigma }exp(-x)\right).$$

Let $L_n\left(x\right)=L_n^{\left(0\right)}\left(x\right)$ for the special case $\sigma =0$. Then, we have $L_n^{\left(0\right)}\left(0\right)=1$, have caused these polynomials to become orthonormal in $(0,\infty )$. We recall a well-known classical global uniform for Laguerre polynomials, estimated as follows [21]:

$$\mid L_n^{\left(\sigma \right)}\left(x\right)\mid \le {\displaystyle \frac{(\sigma +1)k}{k!}}exp\left(\frac{x}{2}\right),\sigma \ge 0,x\ge 0,k=0,1,2,\cdots .$$

The Laguerre wavelets in interval $[0,1)$ are defined as follows:

$$\begin{array}{c}\hfill {\psi }_{n,m}\left(x\right)=\left\{\begin{array}{c}{\displaystyle \frac{2^{\frac{k}{2}}}{m!}}{L}_m(2^{k}x-2n+1),{\displaystyle \frac{n-1}{2^{k-1}}}\le x<{\displaystyle \frac{n}{2^{k-1}}},\hfill \\ 0,\mathrm{otherwhere},\hfill \end{array}\right.\end{array}$$ (5)

for $n=1,2,3,\cdots ,2^{k-1}$, $k\in {\mathbb{Z}}^{+}$. In addition, the order of Laguerre polynomials is denoted by $m=0,1,\cdots ,M-1$, in which M is a constant positive integer [23]. In addition, two-dimensional Laguerre wavelets are introduced as follows:

$$\begin{array}{c}\hfill {\psi }_{n,m,l,j}(x,y)=\left\{\begin{array}{c}{\displaystyle \frac{2^{\frac{k_1+k_2}{2}}}{m!j!}}{L}_m(2^{k_1}x-2n+1)L_j(2^{k_2}y-2n+1),{\displaystyle \frac{n-1}{2^{k_1-1}}}\le x<{\displaystyle \frac{n}{2^{k_1-1}}},{\displaystyle \frac{l-1}{2^{k_2-1}}}\le y<{\displaystyle \frac{l}{2^{k_2-1}}},\hfill \\ 0,\mathrm{otherwhere},\hfill \end{array}\right.\end{array}$$ (6)

in which $l=1,2,\cdots ,2^{k_2-1}$, $n=1,2,\cdots ,2^{k_1-1}$, $k_1$, and $k_2$ are arbitrary positive integers. Furthermore, the order of Laguerre polynomials in relation (6) are indicated by m and j.

3. Proposed Computational Method by Laguerre Wavelets

A given function $f\left(x\right)\in C[0,1]$ can be expanded in terms of Laguerre wavelets in the following form:

$$f\left(x\right)=\sum _{n=1}^{\infty }\sum _{m=0}^{\infty }{c}_{nm}{\psi }_{nm}\left(x\right),$$ (7)

where $c_{nm}=<f\left(x\right),{\psi }_{nm}\left(x\right)>$, $<.,.>$ denotes the inner product in $L^2[0,1]$, and ${\psi }_{nm}\left(x\right)$ are the Laguerre wavelets defined in Equation (5). If the infinite series in Equation (7) are truncated, then we can rewrite it as follows:

$$f\left(x\right)\cong \sum _{n=1}^{2^{k-1}}\sum _{m=0}^{M-1}{c}_{nm}{\psi }_{nm}\left(x\right)=C^T\mathrm{\Psi }\left(x\right),$$ (8)

in which $\mathrm{\Psi }\left(x\right)$ and C are two $2^{k-1}M$ column vectors and are given respectively by

$$\mathrm{\Psi }\left(x\right)=[{\psi }_{1,0}\left(x\right),{\psi }_{1,1}\left(x\right),\cdots ,{\psi }_{1,(M-1)}\left(x\right),\cdots ,{\psi }_{2^{k-1},(M-1)}\left(x\right)],$$

and

$$C={[c_{1,0},c_{1,1},\cdots ,c_{1,(M-1)},c_{20},\cdots ,c_{2^{k-1},(M-1)}]}^T,$$

wherein

$$c_{nm}={\int }_0^1{\psi }_{nm}\left(x\right)f\left(x\right)dx.$$

Furthermore, a function $f(x,y)$ over $[0,1)\times [0,1)$ can be expanded in terms of two-dimensional Laguerre wavelets, as follows:

$$f(x,y)\cong \sum _{n=1}^{2^{k_1-1}}\sum _{m=0}^{M_1-1}\sum _{l=1}^{2^{k_2-1}}\sum _{j=0}^{M_2-1}{\mathbf{c}}_{nmlj}{\mathit{\psi }}_{nmlj}(x,y)={\mathbf{C}}^T\mathrm{\Psi }(x,y),$$ (9)

in which $\mathrm{\Psi }$ and C are two $2^{k_1-1}{2}^{k_2-1}{M}_1{M}_2\times 1$-dimensional matrix whose elements can be calculated by

$$\begin{array}{cc}\hfill \mathrm{\Psi }(x,y)=& [{\mathrm{\Psi }}_{1,0,1,0}(x,y),{\mathrm{\Psi }}_{1,0,1,1}(x,y),\dots ,{\mathrm{\Psi }}_{1,0,1,(M_2-1)}(x,y),\hfill \\ & \dots ,{\mathrm{\Psi }}_{1,0,2^{k_2-1},(M_2-1)}\left(x\right),\dots ,{\mathrm{\Psi }}_{2^{k_1-1},(M_1-1),2^{k_2-1},(M_2-1)}],\hfill \end{array}$$

and

$${\mathbf{c}}_{nmlj}={\int }_0^1{\int }_0^1{\psi }_{nm}\left(x\right){\psi }_{lj}\left(y\right)f(x,y)dxdy,$$

where the coefficients ${\mathbf{c}}_{nmlj}$ are known. In order to solve problem (1), and paying attention to the definition of Laguerre wavelets in (5), we first consider the collocation points $t_l=\frac{l}{T^{*}-1}$, $l=0,1,\cdots ,T^{*}-1$ in which $T^{*}=2^{k-1}(M-1)$. Hence, we can get the following Laguerre wavelet matrix:

$${\mathbf{L}}_{T^{*}\times T^{*}}=[\mathrm{\Psi }\left(0\right),\mathrm{\Psi }(\frac{1}{T^{*}-1}),\cdots ,\mathrm{\Psi }\left(1\right)].$$ (10)

Furthermore, the fractional derivative of the Laguerre polynomials is obtained as follows [24]:

$${}_0^C{D}_t^{\alpha }{L}_n\left(t\right)=\sum _{k=\left[\alpha \right]}^n\frac{{(-1)}^k}{k!}\frac{n!}{k!(n-k)!}\frac{t^{k-\alpha }}{\mathrm{\Gamma }(k-\alpha +1)}.$$ (11)

Therefore, for the fractional derivative of $\mathrm{\Psi }\left(t\right)$, we have

$$\left(D^{\alpha }\mathrm{\Psi }\right)\left(t\right)\cong \left({\mathbf{L}}_{T^{*}\times T^{*}}{S}^{\alpha }{\mathbf{L}}_{T^{*}\times T^{*}}^{-1}\right)\mathrm{\Psi }\left(t\right),$$ (12)

where $S^{\alpha }$ is defined as follows:

$$\begin{array}{c}\hfill S_{T^{*}\times T^{*}}^{\alpha }={\displaystyle \frac{1}{{(T^{*}-1)}^{\alpha }\mathrm{\Gamma }(\alpha +2)}}\left[\begin{array}{ccccc}0& s_{1,1}& \left(\genfrac{}{}{0pt}{}{1}{0}\right)s_{1,2}+\left(\genfrac{}{}{0pt}{}{2}{0}\right)s_{2,2}& \dots & \sum _{j=1}^{T^{*}}\left(\genfrac{}{}{0pt}{}{j}{0}\right)s_{j,T^{*}}\\ 0& -s_{1,1}& -[\left(\genfrac{}{}{0pt}{}{1}{1}\right)s_{1,2}+\left(\genfrac{}{}{0pt}{}{2}{1}\right)s_{2,2}]& \dots & -\sum _{j=2}^{T^{*}}\left(\genfrac{}{}{0pt}{}{j}{1}\right)s_{j,T^{*}}\\ 0& 0& \left(\genfrac{}{}{0pt}{}{2}{2}\right)s_{2,2}& \dots & \sum _{j=3}^{T^{*}}\left(\genfrac{}{}{0pt}{}{j}{2}\right)s_{j,T^{*}}\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ 0& 0& 0& \cdots & {(-1)}^{T^{*}}\left(\genfrac{}{}{0pt}{}{T^{*}}{T^{*}}\right)s_{T^{*},T^{*}}\end{array}\right]\end{array}$$

in which

$$s_{j,k}=\left\{\begin{array}{c}{(-1)}^j{\displaystyle \frac{j!}{\mathrm{\Gamma }(j+1-\alpha )}}\left(\begin{array}{c}k\hfill \\ j\hfill \end{array}\right),\mathrm{if}k\ge j\ge \lceil \alpha \rceil \hfill \\ 0,\mathrm{otherwise}.\hfill \end{array}\right.$$

By using the above collocation points $t_l$, we first expand $U(x,y,t_l)$ using the two-dimensional extension of the Laguerre wavelets (9). Then, Equation (12) is used to approximate the fractional derivatives of $U(x,y,t_l)$. By applying these approximations, we obtain the discretization form of (1) as follows:

$$i{}_0^C{D}_t^{\alpha }{U}_{k,M}(x,y)+{\kappa }_1{}_0^C{D}_x^{\beta }{U}_{k,M}(x,y)+{\kappa }_2{}_0^C{D}_y^{\beta }{U}_{k,M}(x,y)+G_{k,M}(x,y)U_{k,M}(x,y)=0.$$ (13)

Let $(x_m,y_j)$ be the set of $2^{k_1-1}{M}_1\times 2^{k_2-1}{M}_2$ zeros of the Laguerre polynomials in $[0,1]$. Then, we can collocate Equation (13) in the following form:

$$i{}_0^C{D}_t^{\alpha }{U}_{k,M}(x_m,y_j)+{\kappa }_1{}_0^C{D}_x^{\beta }{U}_{k,M}(x_m,y_j)+{\kappa }_2{}_0^C{D}_y^{\beta }{U}_{k,M}(x_m,y_j)+G_{k,M}(x_m,y_j)U_{k,M}(x_m,y_j)=0.$$ (14)

Finally, Equation (14) can easily be implemented to get a system of nonlinear algebraic equations that can be solved using Newton’s iterative method.

4. Convergence Analysis

Here, we will analyze the convergence of function approximation using the Laguerre wavelets by providing some theorems. Then, we introduce the absolute value between the exact and the approximate solutions obtained by the given method, after which we investigate the error of our approach. The following theorem shows that the function approximation based on the Laguerre wavelet converges to the function itself, and an upper bound is also obtained for an absolute value of series expansion coefficients.

Theorem 1.

For a given continuous and bounded function $f\left(x\right)$ on interval $[0,1]$, the extension of the Laguerre wavelets, defined in Equation (8), converges uniformly to it.

Proof. 

Let $f\left(x\right)\in L^2[0,1]$ be a continuous function and $\left|f\right(x\left)\right|\le R$, where $R\in {\mathbb{R}}^{+}$. Then, it can be assumed that $f\left(x\right)$ is in the form of Equation (8). The coefficients of the Laguerre wavelet in the approximation of the function $f\left(x\right)$ can be determined through the following relation:

$$c_{nm}=\langle {\psi }_{nm},f\left(x\right)\rangle .$$

Now, for $n,m>0$, we have

$$c_{nm}=\langle {\psi }_{nm},f\left(x\right)\rangle ={\int }_0^1{\psi }_{nm}f\left(x\right)dx={\displaystyle \frac{2^{\frac{k}{2}}}{m!}}{\int }_{I_{nk}}f\left(x\right)L_m(2^{k}x-2n+1)dx,$$ (15)

in which $I_{nk}=\left[{\displaystyle \frac{n-1}{2^{k-1}}},{\displaystyle \frac{n}{2^{k-1}}}\right)$. By assigning the variable $2^{k}x-2n+1=t$, we have

$$c_{nm}={\displaystyle \frac{2^{\frac{-k}{2}}}{m!}}{\int }_{-1}^{1}f\left({\displaystyle \frac{t-1+2n}{2^k}}\right)L_m\left(t\right)dt.$$ (16)

Now, using the property of the Laguerre polynomials, we obtain

$$|c_{nm}|\le {\displaystyle \frac{1}{2^{\frac{k}{2}}m!}}{\int }_{-1}^1\left|f\left({\displaystyle \frac{t-1+2n}{2^k}}\right)\right||L_m\left(t\right)|dt\le {\displaystyle \frac{R}{2^{\frac{k}{2}}m!}}{\int }_{-1}^1\left|L_m\left(t\right)\right|dt.$$ (17)

Since $L_m(.)$ is continuous and integrable on $(-1,1)$, let ${\int }_{-1}^1\left|L_m\left(t\right)\right|dt=A$. Then, we have

$$|c_{nm}|\le {\displaystyle \frac{RA}{2^{\frac{k}{2}}m!}}.$$ (18)

This means that the series ${\sum }_{n=1}^{2^{k-1}}{\sum }_{m=0}^{M-1}{c}_{nm}$ is absolutely convergent; hence, the series presented in Equation (8) is uniformly convergent. □

A direct conclusion of this theorem is that the two-dimensional Laguerre wavelet expansion of function $f(x,y)\in L^2([0,1]\times [0,1])$, which is defined in Equation (9), also uniformly converges to it.

5. Illustrative Examples

In this section, we calculate the approximate solutions of the fractional Schrödinger Equation (1) based on the provided method by the Laguerre wavelets. We also use the following uniform norm to define the absolute error:

$$E(x,y,t)=\mid U(x,y,t)-\tilde{U}(x,y,t)\mid ,(x,y)\in \mathrm{\Omega },t\in [0,1],$$ (19)

in which $\tilde{U}(x,y,t)$ introduces the approximation solution for problem (1) that was obtained by using the proposed method, while $U(x,y,t)$ shows the exact solution. Our method is applied with $k_1=k_2=2$, $M_1=M_2=4$ and the number of equally central points distributed in the interval $[0,1]$.

Example 1.

For the first example, consider the following two-dimensional time–space fractional Schrödinger equation:

$${\partial }_t^{\alpha }U+i({\partial }_x^{\beta }U+{\partial }_y^{\beta }U)+iG(x,y,t)U=0,(x,y)\in \mathrm{\Omega },t\in [0,1],i=\sqrt{-1},$$ (20)

with the initial condition $U(x,y,0)=sin(x+y)$, $t\in [0,T]$, where $G(x,y,t)=\frac{3}{2}-2\frac{sin(x+y-0.5t)}{sin(x+y)}$. The exact solution of this problem was obtained for $\alpha =1$ as follows [16,25]:

$$U(x,y,t)=exp\left({\displaystyle \frac{-3it}{2}}\right)sin(x+y).$$

The obtained approximate solutions from the Laguerre wavelet method are shown in Table 1 and Figure 1. It can be clearly seen in Table 1 that the numerical results of the proposed method with fewer repetitions achieved better accuracy from the reported results in [16].

Table 1.

Comparison of the absolute errors of the proposed method with different values for $\alpha ,\beta$ in Equation (20).

Method	$\mathit{\alpha }$	$\mathit{\beta }=1.2$	$\mathit{\beta }=1.4$	$\mathit{\beta }=1.6$	$\mathit{\beta }=1.8$	$\mathit{\beta }=2$
This study	$\alpha =0.0$	$2.71578\times {10}^{-4}$	$2.96775\times {10}^{-4}$	$4.82481\times {10}^{-5}$	$4.60978\times {10}^{-6}$	$2.01762\times {10}^{-6}$
$M_1=4$	$\alpha =0.2$	$3.12299\times {10}^{-4}$	$3.56969\times {10}^{-4}$	$3.26856\times {10}^{-4}$	$8.77692\times {10}^{-5}$	$9.80176\times {10}^{-7}$
$M_2=4$	$\alpha =0.4$	$3.39405\times {10}^{-5}$	$3.509808\times {10}^{-5}$	$1.69322\times {10}^{-5}$	$7.98751\times {10}^{-6}$	$4.96747\times {10}^{-6}$
	$\alpha =0.6$	$2.013919\times {10}^{-5}$	$1.52279\times {10}^{-5}$	$3.83772\times {10}^{-6}$	$3.74967\times {10}^{-7}$	$2.17126\times {10}^{-7}$
	$\alpha =0.8$	$4.194561\times {10}^{-6}$	$3.54682\times {10}^{-6}$	$2.98667\times {10}^{-6}$	$5.50806\times {10}^{-7}$	$5.03257\times {10}^{-7}$
	$\alpha =1.0$	$2.35096\times {10}^{-7}$	$2.34678\times {10}^{-7}$	$1.90231\times {10}^{-6}$	$2.11453\times {10}^{-7}$	$1.60234\times {10}^{-8}$
Method in [16]	$\alpha =1.0$	$1.5595\times {10}^{-5}$	$1.0943\times {10}^{-6}$	$1.9856\times {10}^{-5}$	$1.8697\times {10}^{-6}$	$2.6566\times {10}^{-7}$
with $M=256$

Figure 1.

The error function for the numerical solutions of Example 1, with $\alpha =1$ and $\beta =1.2$.

Example 2.

In the second example, we further demonstrate the effectiveness of the proposed method. Consider Equation (1) with the initial condition $\varphi (x,y)=x^2{(1-x)}^2{y}^2{(1-y)}^2{e}^i$ and $G(x,y,t)=1+{\displaystyle \frac{1}{cos\left(\frac{\beta }{2}\pi \right)}}[\vartheta (x,\frac{\beta }{2})+\vartheta (y,\frac{\beta }{2})]$, in which

$$\begin{array}{cc}\hfill & \vartheta (y,\frac{\beta }{2})={\displaystyle \frac{1}{\mathrm{\Gamma }(3-\beta )}}{\displaystyle \frac{y^{2-\beta }+{(1-y)}^{2-\beta }}{y^2{(1-y)}^2}}-{\displaystyle \frac{6}{\mathrm{\Gamma }(4-\beta )}}{\displaystyle \frac{y^{3-\beta }+{(1-y)}^{3-\beta }}{y^2{(1-y)}^2}}\hfill \\ \hfill & +{\displaystyle \frac{12}{\mathrm{\Gamma }(5-\beta )}}{\displaystyle \frac{y^{4-\beta }+{(1-y)}^{4-\beta }}{y^2{(1-y)}^2}},(x,y)\in \mathrm{\Omega },t\in [0,1].\hfill \end{array}$$ (21)

We assume that ${\kappa }_1={\kappa }_2=1$ in Equation (1). By choosing $\alpha =1$, the exact solution of this problem is $U(x,y,t)=x^2{(1-x)}^2{y}^2{(1-y)}^2{e}^{i(t+1)}$ [15]. Table 2 shows the numerical errors of our method and the presented method in [15] for $\alpha =1$ and different values of β. Figure 2 gives the associated error $E(x,y,t)$ for $\beta =0.85$. The numerical results clearly show the improvement of accuracy by using the Laguerre wavelets approach. Therefore, our suggested method is more effective.

Table 2.

Comparison of the absolute errors of the proposed method for Equation (21).

Method	$\mathit{\beta }=0.6$	$\mathit{\beta }=0.85$
This study	$2.9073\times {10}^{-6}$	$4.4034\times {10}^{-6}$
Method in [15]	$2.19898\times {10}^{-5}$	$4.7600\times {10}^{-5}$

Figure 2.

The error function for numerical solutions of Example 2, with $\alpha =1$.

6. Conclusions

In the present work, the Laguerre wavelets and the collocation method were employed to construct an original approach for solving 2-dimensional time–space fractional Schrödinger equations effectively. The treatment was found through a nonlinear discretization that made use of the Laguerre polynomials with wavelets and was compared with some examples taken from the literature of particular cases in which the fractional Schrödinger Equation (1) was solvable in explicit form. It was shown that the obtained results are in very good agreement with or even better than the previous methods. Moreover, we conclude that the proposed method is significantly more effective in solving this problem numerically.

Author Contributions

Conceptualization, S.B., S.S.-Z., J.M., A.Y., E.Z.-S. and H.J.; methodology, S.B., S.S.-Z., J.M., A.Y., E.Z.-S. and H.J.; software, S.B., S.S.-Z., J.M., A.Y., E.Z.-S. and H.J.; validation, S.B., S.S.-Z., J.M., A.Y., E.Z.-S. and H.J.; investigation, S.B., S.S.-Z., J.M., A.Y., E.Z.-S. and H.J.; writing—original draft preparation, S.B., S.S.-Z., J.M., A.Y., E.Z.-S. and H.J.; writing—review and editing, S.B., S.S.-Z., J.M., A.Y., E.Z.-S. and H.J.; supervision, S.B., S.S.-Z., J.M., A.Y., E.Z.-S. and H.J. All authors have read and agreed to the published version of the manuscript.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

Funding Statement

This research received no external funding.