Abstract
In this paper, firstly, we solve the linear 3D Schrödinger equation using Douglas–Gunn alternating direction implicit (ADI) scheme and high-order compact (HOC) ADI scheme, which have the order \(O(\tau^{2}+h^{2})\) and \(O(\tau^{2}+h^{4})\), respectively. Secondly, a fourth-order compact ADI scheme, based on the Douglas–Gunn ADI scheme combined with second-order Strang splitting technique, is proposed for solving 3D nonlinear Schrödinger equation. Stability analysis has demonstrated that these schemes are unconditionally stable. Finally, numerical results show that these schemes preserve the conservation laws and provide accurate and stable solutions for the 3D linear and nonlinear Schrödinger equations.
Similar content being viewed by others
1 Introduction
The nonlinear Schrödinger (NLS) equation has been used extensively in underwater acoustics, quantum mechanics, plasma physics, nonlinear optics, electromagnetic wave propagation, etc. [1–4]. In this paper, we consider the following 3D Schrödinger equation:
with the initial and boundary conditions
where \(u=u(x,y,z,t)\) is a complex-valued function, \(v(x,y,z)\) is an arbitrary real-valued potential function, a and β are real constants. Here, we suppose \(\Omega=[L_{1},L_{2}]^{3}\), ∂Ω is the boundary of Ω, \(u_{0}\) is a given sufficiently smooth function, and \(i=\sqrt{-1}\). There have been different kinds of numerical methods on the solution for various Schrödinger equations [5–10]. For example, Bao and Cai [11] established uniform error estimates of finite difference methods for the NLS equation perturbed by the wave operator. Chang et al. [12] studied several finite difference schemes and compared them for the generalized NLS equation. Kurkinaitis and Ivanauskas [13] investigated several types of finite difference schemes for solving a system of the NLS equations. Besides, Sulem et al. [14] proposed several finite difference schemes, including spectral method, to study the singular solutions to the two-dimensional cubic NLS equations.
In the past years, high-order compact (HOC) methods, which feature high-order accuracy and smaller stencils, have been proposed to solve multi-dimensional partial differential equations [15–18]. For the 2D Schrödinger equations, Wang et al. [19] studied fourth-order compact and energy conservative difference schemes, which are fourth-order in space and second-order in time. Mohebbi and Dehghan [20] developed a compact boundary value method for solving a 2D Schrödinger equation, and this method has fourth-order accuracy in both space and time. Mahdi [21] used a compact finite difference scheme to get fourth-order solution for the 2D unsteady Schrödinger equation.
The alternating direction implicit (ADI) method is widely used to solve the multi-dimensional Schrödinger equations due to its unconditional stability and efficiency in saving CPU time, see for instance Xu and Zhang [22] and the references given there. In order to reduce the computational cost of HOC method, there has been growing work to develop HOC-ADI method. Tian and Yu [23] studied a HOC-ADI method for the solution of the unsteady 2D Schrödinger equation. Gao and Xie [24] proposed a fourth-order ADI compact finite difference scheme for two-dimensional Schrödinger equation. Liao et al. [25] established a compact ADI scheme for solving linear Schrödinger equations. These three articles are second-order in time and fourth-order in space with less computational cost. Li et al. [26] proposed a sixth-order ADI method based on the combined compact method for solving two-dimensional Schrödinger equations. Kong et al. [27] investigated HOC-ADI schemes for the multi-dimensional Schrödinger equations. In [28], Christian Hendricks et al. proposed high-order ADI finite difference schemes for parabolic equations in the combination technique with application in finance. These methods assimilate the advantages of the HOC method and ADI skill. There is very little literature concerning application of the HOC-ADI method to the 3D Schrödinger equation. This paper is just an effort on this subject. In this paper, we apply the standard Douglas–Gunn ADI method and HOC-ADI method to solve the 3D linear Schrödinger (LS) equation. Then, we combine the second-order standard Strang splitting [29] skills with the above methods to solve the 3D nonlinear Schrödinger (NLS) equation.
The rest of our paper is organized as follows: In Sect. 2, we present a standard Douglas–Gunn ADI scheme and a new HOC-ADI scheme for the 3D LS equation, and the stability of the standard Douglas–Gunn ADI scheme and the new HOC-ADI scheme is investigated. In Sect. 3, we develop the Douglas–Gunn ADI splitting scheme and the new HOC-ADI splitting scheme for the 3D NLS equation. In Sect. 4, we present numerical examples and detailed numerical results to verify our theoretical analysis. Finally, the conclusion will be made in Sect. 5.
2 A new high-order compact ADI finite difference scheme for LS equation
In this section, we consider the 3D LS equation by choosing \(\beta=0\) and \(v(x,y,z)=0\) in (1.1):
with the initial and boundary conditions
where \(u_{0}\) is a smooth function. If we discretize the region \(\Omega_{1}=\{(x,y,z,t)|(x,y,z,t)\in[L_{1},L_{2}]^{3}\times[0,T]\}\) with mesh of points with coordinates \(x_{j}=L_{1}+jh, y_{k}=L_{1}+kh, z_{l}=L_{1}+lh\ (h_{x}=h_{y}=h_{z}=h)\), \(j=k=l=0,1,\ldots,M\), \(t_{n}=n\tau\), \(n=0,1,\ldots,N\), where \(h=\frac{L_{2}-L_{1}}{M}\) and \(\tau=\frac{T}{N}\) are mesh sizes and time step, respectively. Let \(u_{jkl}^{n}\) be the approximation of \(u(x_{j},y_{k},z_{l},t_{n})\). Applying Crank–Nicolson implicit discretization to (2.1), we have
where \(\delta_{x}^{2}u_{jkl}^{n}=(u_{j+1,kl}^{n}-2u_{jkl}^{n}+u_{j-1,kl}^{n})/h^{2}\), and \(\delta_{y}^{2}u_{jkl}^{n}\), \(\delta_{z}^{2}u_{jkl}^{n}\) are defined similarly. It is easy to see that (2.4) has second-order accuracy both in space and time.
Adding the term
to the left-hand side of (2.4), we get a second-order scheme
Introducing three intermediate variables \(\Delta u^{*}\), \(\Delta u^{**}\), and Δu, we obtain the following second-order standard Douglas–Gunn ADI scheme (D–G ADI scheme):
We note that the intermediate values of \(\Delta u^{**}\) and \(\Delta u^{*}\) at the boundary are easily obtained by (2.6c) and (2.6b).
Theorem 1
Suppose that the exact solution u of problem (2.1) is smooth enough, then the truncation order of the D–G ADI scheme (2.6a)–(2.6d) is \(O(\tau^{2}+h^{2})\).
Proof
Eliminating the intermediate variables in the D–G ADI scheme (2.6a)–(2.6d), we obtain
By the Taylor expansion, it is easy to check that the truncation error of the above scheme is
where \(O(h^{2})=O(h_{x}^{2}+h_{y}^{2}+h_{z}^{2})\). This ends the proof.
However, scheme (2.6a)–(2.6d) is only second-order accurate in both space and time, so we want to use the fourth-order compact finite difference method to improve the accuracy of space.
Using the fourth-order accurate compact finite difference space discretization [23] and the Crank–Nicolson time discretization to (2.1), we obtain
where \(j=k=l=1,2,\ldots,M-1\). For convenience, we define the following finite difference operators:
Applying to both sides of (2.7) with the operator \(L_{x}L_{y}L_{z}\), we have
Adding the extra term
to the left-hand side of (2.8), we get the following scheme:
Introducing the intermediate variables, we obtain the new HOC-ADI scheme
For this method, intermediate values of \(\Delta u^{**}\) and \(\Delta u^{*}\) at the boundary are easily obtained by (2.10c) and (2.10b). □
Theorem 2
Suppose that the exact solution u of problem (2.1) is smooth enough, then the truncation order of the new HOC-ADI scheme (2.10a)–(2.10d) is \(O(\tau^{2}+h^{4})\).
Proof
Eliminating the intermediate variables in the new HOC-ADI scheme (2.10a)–(2.10d), we have
For the above scheme using Taylor expansion, we have the following truncation error:
where \(O(h^{4})=O(h_{x}^{4}+h_{y}^{4}+h_{z}^{4})\). This completes the proof.
We now investigate the stability of D-G ADI scheme using the Fourier analysis method. The D-G ADI scheme (2.6a)–(2.6d) can be written as the following product form:
We assume that the numerical solution can be expressed by using a Fourier series, whose typical term is
where \(i=\sqrt{-1}\), \(\rho^{n}\) is the amplitude at time level n, and \(\theta_{x},\theta_{y},\theta_{z}\) are the wave numbers in the \(x, y, z\) directions, respectively. Substituting (2.12) into (2.11), we have the following growth factor:
We find that
Therefore, it meets the unconditional stability criterion (\(|G|\leqslant1\)) and the D-G ADI scheme (2.6a)–(2.6d) is unconditionally stable.
Next, we study the stability of the new HOC-ADI scheme in a similar way used above. The new HOC-ADI scheme (2.10a)–(2.10d) can be rewritten as
Substituting (2.12) into (2.13), we get
Also we can easily see that \(|G_{2}|=1\), so scheme (2.10a)–(2.10d) is also unconditionally stable. Therefore, the above results prove the following theorem. □
Theorem 3
The D-G ADI scheme (2.6a)–(2.6d) and the new HOC-ADI scheme (2.10a)–(2.10d) are unconditionally stable.
3 A new HOC-ADI splitting scheme for the NLS equation
In this section, we extend the D-G ADI splitting scheme and the new HOC-ADI splitting scheme which combines the D-G ADI skill and the HOC-ADI skill with splitting strategy to the initial-boundary problems of three-dimensional NLS equations (by choosing \(a=\frac{1}{2}\) in (1.1)):
Here, we use the standard Strang splitting method [30, 31] with second-order splitting error. To this end, we split (3.1) into the following two subequations.
• Linear equation:
• Nonlinear equation:
where (3.4) will be solved by the D-G ADI scheme and the HOC-ADI scheme, respectively, which are proposed in the previous section, and the nonlinear equation (3.5) is solved exactly. If we discretize \(\Omega_{1}=\{(x,y,z,t)|(x,y,z,t)\in[L_{1},L_{2}]^{3}\times[0,T]\}\) with mesh of points with coordinates \(x_{j}=L_{1}+jh, y_{k}=L_{1}+kh, z_{l}=L_{1}+lh\ (h_{x}=h_{y}=h_{z}=h)\), \(j=k=l=0,1,\ldots,M\), \(t_{n}=n\tau\), \(n=0,1,\ldots,N\), where \(h=\frac{L_{2}-L_{1}}{M}\) and \(\tau=\frac{T}{N}\) are the mesh sizes and time step, respectively. Let \(u_{jkl}^{n}\) be the approximation of \(u(x_{j},y_{k},z_{l},t_{n})\), and use the D-G ADI scheme for linear equation (3.4), then we can derive the D-G ADI splitting scheme for the above 3D nonlinear equations (3.1)–(3.3) as follows:
In the same way, if we use the HOC-ADI scheme for linear equation (3.4), then we can derive the new HOC-ADI splitting scheme for the above 3D nonlinear equations (3.1)–(3.3) as follows:
The accuracy of the D-G ADI splitting scheme (3.6) is of second-order in time and space. The new HOC-ADI splitting scheme (3.7) has a truncation error of order \(O(\tau^{2}+h^{4})\). In the following we study the stability of the above two methods.
Theorem 4
The D-G ADI splitting scheme (3.6) and the new HOC-ADI splitting scheme (3.7) are unconditionally stable.
Proof
We define the norm and error term as follows:
Because nonlinear equation (3.5) is solved exactly, by substituting (3.8) into the first equation of (3.6), we have
and also, for the sixth equation of (3.6), we can write
For the linear equation (3.4), by using Theorem 3, we get
Combining (3.10), (3.11) with (3.9) we conclude that
Hence the D-G ADI splitting scheme (3.6) is unconditionally stable. Similarly, the new HOC-ADI splitting scheme (3.7) is also unconditionally stable. □
4 Numerical results
In this section, we performed numerical examples to show the accuracy and efficiency of the proposed methods, all the numerical experiments are obtained by Matlab R2015b on a Lenovo L450 computer (CPU is Intel Core i7-5500U, and Memory is 4.00 GB). It is well known that NLS equation has two conservation laws (mass and energy) [31].
Proposition 1
If the wave function u is the solution of (1.1), then this wave function satisfies the following conservation laws:
-
(1)
Mass conservation
$$\begin{aligned} Q(t)= \int_{\mathbf{R}^{3}} \bigl\vert u(\mathbf{x},t) \bigr\vert ^{2} \,\mathrm{d}\mathbf{x}= \int_{\mathbf{R}^{3}} \bigl\vert u(\mathbf{x},0) \bigr\vert ^{2} \,\mathrm{d}\mathbf {x}=Q(0). \end{aligned}$$(4.1) -
(2)
Energy conservation
$$\begin{aligned} E(t)={}& \int_{\mathbf{R}^{3}} \biggl[a \bigl\vert \nabla u(\mathbf{x},t) \bigr\vert ^{2}+\frac{\beta}{2} \bigl\vert u(\mathbf{x},t) \bigr\vert ^{4} +v(\mathbf{x}) \bigl\vert u(\mathbf{x},t) \bigr\vert ^{2} \biggr] \,\mathrm{d}\mathbf{x}, \\ ={}& \int_{\mathbf{R}^{3}} \biggl[a \bigl\vert \nabla u(\mathbf{x},0) \bigr\vert ^{2}+\frac{\beta}{2} \bigl\vert u(\mathbf{x},0) \bigr\vert ^{4} +v(\mathbf{x}) \bigl\vert u(\mathbf{x},0) \bigr\vert ^{2} \biggr] \,\mathrm{d}\mathbf {x}=E(0). \end{aligned}$$(4.2)
The above conservation laws (4.1) and (4.2) are approximated by
and
which will be used to verify the conservation laws of our scheme numerically.
Example 1
(3D LS equation)
We consider (2.1) with parameters \(a=1\) and the initial condition
The exact solution is given by \(u_{\mathrm{exact}}(x,y,z,t)=\sin x\sin y\sin z\exp(-i3t)\).
We are now applying the D-G ADI scheme (2.6a)–(2.6d) and the new HOC-ADI scheme (2.10a)–(2.10d) to solve this example. Table 1 gives the maximum of numerical errors \(|u_{\mathrm{exact}}(x,y,z,t)-u_{\mathrm{approx}}(x,y,z,t)|\), orders, and CPU times of the two methods. Table 2 shows the maximum of numerical errors until time \(T=4\) using two methods. Figure 1 shows the contour plot of exact solution and numerical solutions by the D-G ADI scheme and the new HOC-ADI scheme in the \(x-y\) plane at \(T=0.01\), \(z=0.5\) with \(N=100\) and \(M=20\). Figure 2 gives relative errors for the two methods, where \(\tau=0.005, h=2\pi/25\). The relative errors are defined by
In Fig. 3, we use the two methods to investigate the discrete mass and energy conservation errors for Example 1, where \(\tau=0.005, h=2\pi/25\). The errors are measured by
The results in Table 1, Table 2, and Fig. 1 show that the new HOC-ADI scheme is more accurate than the D-G ADI scheme, and the new HOC-ADI scheme and D-G ADI scheme have the order \(O(\tau^{2}+h^{4})\) and \(O(\tau^{2}+h^{2})\), respectively. From Fig. 3 we can observe that two schemes for this linear problem preserve the mass and energy conservation.
Example 2
(3D NLS equation)
For this example, we consider the following three-dimensional NLS equation:
where \(v(x,y,z)=1-\sin^{2}x\sin^{2}y\sin^{2}z\) and \(\beta=1\). The exact solution for this equation is in the following form:
We solved the equation by both D-G ADI splitting scheme (3.6) and the new HOC-ADI splitting scheme (3.7) with homogeneous boundary conditions. Table 3 illustrates the maximum error of \(|u_{\mathrm{exact}}(x,y,z,t)-u_{\mathrm{approx}}(x,y,z,t)|\) and orders from the two methods at \(T=2\), and we can see that the new HOC-ADI splitting scheme and the D-G ADI splitting scheme have the order \(O(\tau^{2}+h^{4})\) and \(O(\tau^{2}+h^{2})\), respectively. Table 4 shows the maximum of numerical errors until time \(T=5\) using two methods. Figure 4 shows the contour plot of exact solution and numerical solutions by the D-G ADI splitting scheme and the new HOC-ADI splitting scheme in the \(x-y\) plane at \(T=0.01\), \(z=0.5\) with \(N=100\) and \(M=20\). Figure 5 gives the relative errors for the two methods, where \(\tau=0.005, h=2\pi/25\). The results show that the new HOC-ADI splitting scheme is more accurate. Figure 6 shows that the numerical mass and energy for the nonlinear problem preserve the conservation laws.
5 Conclusions
In this article, we proposed a new high-order compact alternating direction implicit finite difference scheme for the linear and nonlinear Schrödinger equation in three dimensions. For the nonlinear problem, the methods adopted the Strang splitting technique to split the nonlinear problem into linear and nonlinear subproblems for handling the nonlinearity. These methods are proven to be unconditionally stable and preserve the mass and energy conservation for linear and nonlinear problems. Computational results were shown in the tables and figures, and the accuracy and discrete conservation laws were tested. These results show that the proposed methods are efficient and accurate for numerically solving 3D Schrödinger equations.
References
Arnold, A.: Numerically absorbing boundary conditions for quantum evolution equations. VLSI Des. 6(1), 313–319 (2014)
Dodd, R.K., Eilbeck, J.C., Gibbon, J.D.: Solitons and Nonlinear Wave Equations. Academic Press, New York (1982)
Hajj, F.Y.: Solution of the Schrödinger equation in two and three dimensions. J. Phys.
Sulem, C., Sulem, P.L.: The Nonlinear Schrödinger Equation: Self-Focusing and Wave Collapse. Springer, New York (1999)
Akrivis, G.D.: Finite difference discretization of the cubic Schrödinger equation. IMA J. Numer. Anal. 24(1), 115–124 (1993)
Bratsos, A.G.: A linearized finite-difference method for the solution of the nonlinear cubic Schrödinger equation. Korean J. Comput. Appl. Math. 8(3), 459–467 (2001)
Dehghan, M.: Finite difference procedures for solving a problem arising in modeling and design of certain optoelectronic devices. Math. Comput. Simul. 71(1), 16–30 (2006)
Dehghan, M., Shokri, A.: A numerical method for two-dimensional Schrödinger equation using collocation and radial basis functions. Comput. Math. Appl. 54(1), 136–146 (2007)
Dehghan, M., Mirzaei, D.: Numerical solution to the unsteady two-dimensional Schrödinger equation using meshless local boundary integral equation method. Int. J. Numer. Methods Eng. 76(4), 501–520 (2008)
Dehghan, M., Abbaszadeh, M., Mohebbi, A.: Numerical solution of system of n-coupled nonlinear Schrödinger equations via two variants of the meshless local Petrov–Galerkin (MLPG) method. Comput. Model. Eng. Sci. 100(5), 399–444 (2014)
Bao, W., Cai, Y.: Uniform error estimates of finite difference methods for the nonlinear Schrödinger equation with wave operator. SIAM J. Numer. Anal. 50(2), 492–521 (2012)
Chang, Q., Jia, E., Sun, W.: Difference schemes for solving the generalized nonlinear Schrödinger equation. J. Comput. Phys. 148(2), 397–415 (1999)
Kurtinaitis, A.I.F.: Finite difference solution methods for a system of the nonlinear Schröinger equations. Nonlinear Anal., Model. Control 9(3), 247–258 (2004)
Sulem, P.L., Sulem, C., Patera, A.: Numerical simulation of singular solutions to the twe-dimensional cubic Schrödinger equation. Commun. Pure Appl. Math. 37(6), 755–778 (2010)
Dehghan, M., Mohebbi, A., Asgari, Z.: Fourth-order compact solution of the nonlinear Klein–Gordon equation. Numer. Algorithms 52(4), 523–540 (2009)
Deng, D., Zhang, C.: Analysis and application of a compact multistep adi solver for a class of nonlinear viscous wave equations. Appl. Math. Model. 39(3–4), 1033–1049 (2015)
Deng, D.: The study of a fourth-order multistep adi method applied to nonlinear delay reaction-diffusion equations. Appl. Numer. Math. 96, 118–133 (2015)
Deng, D., Jiang, Y., Liang, D.: High-order finite difference methods for a second order dual-phase-lagging models of microscale heat transfer. Appl. Math. Comput. 309, 31–48 (2017)
Wang, T., Guo, B., Xu, Q.: Fourth-order compact and energy conservative difference schemes for the nonlinear Schrödinger equation in two dimensions. J. Comput. Phys. 243, 382–399 (2013)
Mohebbi, A., Dehghan, M.: The use of compact boundary value method for the solution of two-dimensional Schrödinger equation. J. Comput. Appl. Math. 225(1), 124–134 (2009)
Mahdi, S.: Fourth order compact finite difference scheme for two dimension Schrödinger equation. Basrah J. Sci. 25(2), 142–149 (2007)
Xu, Y., Zhang, L.: Alternating direction implicit method for solving two-dimensional cubic nonlinear Schrödinger equation. Comput. Phys. Commun. 183(5), 1082–1093 (2012)
Tian, Z.F., Yu, P.X.: High-order compact ADI (HOC-ADI) method for solving unsteady 2D Schrödinger equation. Comput. Phys. Commun. 181(5), 861–868 (2010)
Gao, Z., Xie, S.: Fourth-order alternating direction implicit compact finite difference schemes for two-dimensional Schrödinger equations. Appl. Numer. Math. 61(4), 593–614 (2011)
Liao, H., Sun, Z., Shi, H., Wang, T.: Convergence of compact ADI method for solving linear Schrödinger equations. Numer. Methods Partial Differ. Equ. 28(5), 1598–1619 (2012)
Li, L.Z., Sun, H.W., Tam, S.C.: A spatial sixth-order alternating direction implicit method for two-dimensional cubic nonlinear Schrödinger equations. Comput. Phys. Commun. 187, 38–48 (2015)
Kong, L., Duan, Y., Wang, L., Yin, X., Ma, Y.: Spectral-like resolution compact adi finite difference method for the multi-dimensional Schrödinger equations. Math. Comput. Model. 55(5–6), 1798–1812 (2012)
Hendricks, C., Heuer, C., Ehrhardt, M., Günther, M.: High-order ADI finite difference schemes for parabolic equations in the combination technique with application in finance. J. Comput. Appl. Math. 316, 175–194 (2017)
Strang, G.: On the construction and comparison of difference schemes. SIAM J. Numer. Anal. 5(3), 506–517 (1968)
Wang, H.: Numerical studies on the split-step finite difference method for nonlinear Schrödinger equations. Appl. Math. Comput. 170(1), 17–35 (2005)
Dehghan, M., Taleei, A.: A compact split-step finite difference method for solving the nonlinear Schrödinger equations with constant and variable coefficients. J. Comput. Phys. 181(1), 43–51 (2010)
Acknowledgements
The authors would like to express their sincere thanks to the anonymous referees and associated editor for his/her careful reading of the manuscript.
Funding
This work is partially supported by the Natural Science Foundation of Xinjiang Province (No. 2017D01C052), the National Natural Science Foundation of China (No. 11671345), the Key Laboratory Project of Xinjiang Province (No. 2017D04030), Excellent Doctor Innovation Program of Xinjiang University (No. XJUBSCX-2013005).
Author information
Authors and Affiliations
Contributions
All authors have read and approved the final manuscript.
Corresponding author
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 (http://creativecommons.org/licenses/by/4.0/), 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.
About this article
Cite this article
Eskar, R., Huang, P. & Feng, X. A new high-order compact ADI finite difference scheme for solving 3D nonlinear Schrödinger equation. Adv Differ Equ 2018, 286 (2018). https://doi.org/10.1186/s13662-018-1700-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1700-1