Abstract
Due to the difficulty in obtaining the a priori estimate, it is very hard to establish the optimal point-wise error bound of a finite difference scheme for solving a nonlinear partial differential equation in high dimensions (2D or 3D). We here propose and analyze finite difference methods for solving the coupled Gross-Pitaevskii equations in two dimensions, which models the two-component Bose-Einstein condensates with an internal atomic Josephson junction. The methods which we considered include two conservative type schemes and two non-conservative type schemes. Discrete conservation laws and solvability of the schemes are analyzed. For the four proposed finite difference methods, we establish the optimal convergence rates for the error at the order of O(h 2 +τ 2) in the l ∞-norm (i.e., the point-wise error estimates) with the time step τ and the mesh size h. Besides the standard techniques of the energy method, the key techniques in the analysis is to use the cut-off function technique, transformation between the time and space direction and the method of order reduction. All the methods and results here are also valid and can be easily extended to the three-dimensional case. Finally, numerical results are reported to confirm our theoretical error estimates for the numerical methods.
Similar content being viewed by others
References
Akrivis G, Dougalis V, Karakashian O. On fully discrete Galerkin methods of secondorder temporal accuracy for the nonlinear Schrödinger equation. Numer Math, 1991, 59: 31–53
Bao W, Cai Y. Ground states of two-component Bose-Einstein condensates with an internal atomic Josephson junction. East Asian J Appl Math, 2011, 1: 49–81
Bao W, Cai Y. Uniform error estimates of finite difference methods for the nonlinear Schrödinger equation with wave operator. SIAM J Numer Anal, 2012, 50: 492–521
Bao W, Cai Y. Optimal error estimates of finite difference methods for the Gross-Pitaevskii equation with angular momentum rotation. Math Comput, 2013, 82: 99–128
Bao W, Cai Y. Mathematical theorey and numerical methods for Bose-Einstein condensation. Kinet Relat Mod, 2013, 6: 1–135
Browder F E. Existence and uniqueness theorems for solutions of nonlinear boundary value problems. In: Finn R, ed. Application of Nonlinear Partial Differential Equations. Proceedings of Symposia in Applied Mathematics, vol. 17. Providence, RI: Amer Math Soc, 1965, 24–49
Chippada S, Dawson C N, Martínez M L, et al. Finite element approximations to the system of shallow water equations, Part II: Discrete time a priori error estimates. SIAM J Numer Anal, 1999, 36: 226–250
Dawson CN, Martínez M L. A characteristic-Galerkin approximation to a system of shallow water equations. Numer Math, 2000, 86: 239–256
Ismail M S. Numerical solution of coupled nonlinear Schrödinger equation by Galerkin method. Math Comp Simul, 2008, 78: 532–547
Liao H, Sun Z. Error estimate of fourth-order compact scheme for linear Schrödinger equations. SIAM J Numer Anal, 2010, 47: 4381–4401
Liao H, Sun Z, Shi H. Maximum norm error analysis of explicit schemes for two-dimensional nonlinear Schrödinger equations (in Chinese). Sci Sin Math, 2010, 40: 827–842
Menyuk C R. Stability of solitons in birefringent optical fibers. J Opt Soc Am B, 1998, 5: 392–402
Pitaevskii L P, Stringary S. Bose-Einstein condensation. Clarendon: Clarendon Press, 2003
Sepúlveda M, Vera O. Numerical methods for a coupled nonlinear Schrödinger system. Bol Soc Esp Mat Apl, 2008, 43: 95–102
Sonnier W J, Christov C I. Strong coupling of Schrödinger equations: Conservative scheme approach. Math Comp Simul, 2005, 69: 514–525
Sun Z. The Method of Order Reduction and its Application to the Numerical Solutions of Partial Differential Equations. Beijing: Science Press, 2009
Sun Z, Zhao D. On the L ∞ convergence of a difference secheme for coupled nonlinear Schrödinger equations. Comp Math Appl, 2010, 59: 3286–3300
Thomée V. Galerkin Finite Element Methods for Parabolic Problems. Berlin: Springer-Verlag, 1997
Wang H. A time-splitting spectral method for coupled Gross-Pitaevskii equations with applications to rotating Bose-Einstein condensates. J Comput Appl Math, 2007, 205: 88–104
Wang T. Maximum norm error bound of a linearized difference scheme for a coupled nonlinear Schrödinger equations. J Comput Appl Math, 2011, 235: 4237–4250
Wang T. Optimal point-wise error estimate of a compact difference scheme for the coupled Gross-Pitaevskii equations in one dimension. J Sci Comput, doi: 10.1007/s10915-013-9757-1, 2013
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, 2013, 243: 382–399
Williams J, Walser R, Cooper J, et al. Nonlinear Josephson-type oscillations of a driven two-component Bose-Einstein condensate. Phys Rev A, 1999, 59: R31–R34
Yang J. Multisoliton perturbation theory for the Manakov equations and its applications to nonlinear optics. Phys Rev E, 1999, 59: 2393–2405
Zhang Y, Bao W, Li H. Dynamics of rotating two-component Bose-Einstein condensates and its efficient computation. Physica D, 2007, 234: 49–69
Zhou Y. Application of Discrete Functional Analysis to the Finite Difference Methods. Beijing: International Academic Publishers, 1990
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Wang, T., Zhao, X. Optimal l ∞ error estimates of finite difference methods for the coupled Gross-Pitaevskii equations in high dimensions. Sci. China Math. 57, 2189–2214 (2014). https://doi.org/10.1007/s11425-014-4773-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11425-014-4773-7
Keywords
- coupled Gross-Pitaevskii equations
- finite difference method
- solvability
- conservation laws
- pointwise convergence
- optimal error estimates