Optimal Point-Wise Error Estimate of a Compact Difference Scheme for the Coupled Gross–Pitaevskii Equations in One Dimension

The coupled Gross–Pitaevskii (CGP) equation studied in this paper is an important mathematical model describing two-component Bose–Einstein condensate with an internal atomic Josephson junction. We here analyze a compact finite difference scheme which conserves the total mass and energy in the discrete level for the CGP equation. In general, due to the difficulty caused by compact difference on nonlinear terms, optimal point-wise error estimates without any restrictions on the grid ratios of compact difference schemes for nonlinear partial differential equations are very hard to be established. To overcome the difficulty caused by the compact difference operator, we introduce a new norm and an interesting transformation by which the difference scheme is transformed into a special equivalent vector form, we then use the energy method and some important lemmas on the equivalent system to obtain the optimal convergent rate, without any restrictions on the grid ratio, at the order of $$O(h^{4}+\tau ^2)$$O(h4+τ2) in the maximum norm with time step $$\tau $$τ and mesh size $$h$$h. Finally, numerical results are reported to test the theoretical results and simulate the dynamics of the CGP equation.

[1]  Weizhu Bao,et al.  Uniform Error Estimates of Finite Difference Methods for the Nonlinear Schrödinger Equation with Wave Operator , 2012, SIAM J. Numer. Anal..

[2]  Xuan Zhao,et al.  Compact Alternating Direction Implicit Scheme for the Two-Dimensional Fractional Diffusion-Wave Equation , 2012, SIAM J. Numer. Anal..

[3]  Weizhu Bao,et al.  Ground States of Two-component Bose-Einstein Condensates with an Internal Atomic Josephson Junction , 2011 .

[4]  Masahito Ueda,et al.  Nonlinear dynamics of vortex lattice formation in a rotating Bose-Einstein condensate , 2002, cond-mat/0211394.

[5]  Nonlinear Josephson-type oscillations of a driven, two-component Bose-Einstein condensate , 1998, cond-mat/9806337.

[6]  Yanzhi Zhang,et al.  Dynamics of rotating two-component Bose-Einstein condensates and its efficient computation , 2007 .

[7]  J. R. Ensher,et al.  Dynamics of component separation in a binary mixture of Bose-Einstein condensates , 1998 .

[8]  Tingchun Wang,et al.  Convergence of compact ADI method for solving linear Schrödinger equations , 2012 .

[9]  Weizhu Bao Ground States and Dynamics of Multicomponent Bose-Einstein Condensates , 2004, Multiscale Model. Simul..

[10]  Xuan Zhao,et al.  A three level linearized compact difference scheme for the Cahn-Hilliard equation , 2011, Science China Mathematics.

[11]  Shusen Xie,et al.  Compact finite difference schemes with high accuracy for one-dimensional nonlinear Schrödinger equation , 2009 .

[12]  Weizhu Bao,et al.  Optimal error estimates of finite difference methods for the Gross-Pitaevskii equation with angular momentum rotation , 2012, Math. Comput..

[13]  Ashvin Gopaul,et al.  Analysis of a Fourth-Order Scheme for a Three-Dimensional Convection-Diffusion Model Problem , 2006, SIAM J. Sci. Comput..

[14]  Zhi-zhong Sun,et al.  Maximum norm error bounds of ADI and compact ADI methods for solving parabolic equations , 2010 .

[15]  Tingchun Wang,et al.  Convergence of an Eighth-Order Compact Difference Scheme for the Nonlinear Schrödinger Equation , 2012, Adv. Numer. Anal..

[16]  W. Ketterle,et al.  Bose-Einstein condensation , 1997 .

[17]  Shusen Xie,et al.  Fourth-order alternating direction implicit compact finite difference schemes for two-dimensional Schrödinger equations , 2011 .

[18]  Tingchun Wang,et al.  Fourth-order compact and energy conservative difference schemes for the nonlinear Schrödinger equation in two dimensions , 2013, J. Comput. Phys..

[19]  Zhi-Zhong Sun,et al.  Error Estimate of Fourth-Order Compact Scheme for Linear Schrödinger Equations , 2010, SIAM J. Numer. Anal..

[20]  Vortex phase diagram in rotating two-component Bose-Einstein condensates. , 2003, Physical review letters.

[21]  Z. Fei,et al.  Numerical simulation of nonlinear Schro¨dinger systems: a new conservative scheme , 1995 .

[22]  W. Bao,et al.  Mathematical Models and Numerical Methods for Bose-Einstein Condensation , 2012, 1212.5341.

[23]  Wang Ting,et al.  Unconditional convergence of two conservative compact difference schemes for non-linear Schrdinger equation in one dimension , 2011 .

[24]  L. Vu-Quoc,et al.  Finite difference calculus invariant structure of a class of algorithms for the nonlinear Klein-Gordon equation , 1995 .

[25]  Murli M. Gupta,et al.  Convergence of Fourth Order Compact Difference Schemes for Three-Dimensional Convection-Diffusion Equations , 2007, SIAM J. Numer. Anal..

[26]  X. Xiong The number of cubic partitions modulo powers of 5 , 2010, 1004.4737.

[27]  Jichun Li,et al.  Finite Difference Methods for Elliptic Equations , 2008 .

[28]  C. Wieman,et al.  Measurements of Relative Phase in Two-Component Bose-Einstein Condensates [Phys. Rev. Lett. 81, 1543 (1998)] , 1998 .