arXiv subjects

Yongyong Cai

Publications and source records attributed to Yongyong Cai.

33 records · Page 2Linked to original sources

arXiv2018

Mathematical models and numerical methods for spinor Bose-Einstein condensates

In this paper, we systematically review mathematical models, theories and numerical methods for ground states and dynamics of spinor Bose-Einstein condensates (BECs) based on the coupled Gross-Pitaevskii equations (GPEs). We start with a pseudo spin-1/2 BEC system with/without an internal atomic Josephson junction and spin-orbit coupling including (i) existence and uniqueness as well as non-existence of ground states under different parameter regimes, (ii) ground state structures under different limiting parameter regimes, (iii) dynamical properties, and (iv) efficient and accurate numerical methods for computing ground states and dynamics. Then we extend these results to spin-1 BEC and spin-2 BEC. Finally, extensions to dipolar spinor systems and/or general spin-F (F>=3) BEC are discussed.

cond-mat.quant-gas↗

arXiv2018

Vortex patterns and the critical rotational frequency in rotating dipolar Bose-Einstein condensates

Based on the two-dimensional mean-field equations for pancake-shaped dipolar Bose-Einstein condensates in a rotating frame with both attractive and repulsive dipole-dipole interaction (DDI) as well as arbitrary polarization angle, we study the profiles of the single vortex state and show how the critical rotational frequency change with the s-wave contact interaction strengths, DDI strengths and the polarization angles. In addition, we find numerically that at the `magic angle' $\vartheta=\arccos(\sqrt{3}/3)$, the critical rotational frequency is almost independent of the DDI strength. By numerically solving the dipolar GPE at high rotational speed, we identify different patterns of vortex lattices which strongly depend on the polarization direction. As a result, we undergo a study of vortex lattice structures for the whole regime of polarization direction and find evidence that the vortex lattice orientation tends to be aligned with the direction of the dipoles.

cond-mat.quant-gas↗

arXiv2016

Error estimates of numerical methods for the nonlinear Dirac equation in the nonrelativistic limit regime

We present several numerical methods and establish their error estimates for the discretization of the nonlinear Dirac equation in the nonrelativistic limit regime, involving a small dimensionless parameter $0<\varepsilon\ll 1$ which is inversely proportional to the speed of light. In this limit regime, the solution is highly oscillatory in time, i.e. there are propagating waves with wavelength $O(\varepsilon^2)$ and $O(1)$ in time and space, respectively. We begin with the conservative Crank-Nicolson finite difference (CNFD) method and establish rigorously its error estimate which depends explicitly on the mesh size $h$ and time step $τ$ as well as the small parameter $0<\varepsilon\le 1$. Based on the error bound, in order to obtain `correct' numerical solutions in the nonrelativistic limit regime, i.e. $0<\varepsilon\ll 1$, the CNFD method requests the $\varepsilon$-scalability: $τ=O(\varepsilon^3)$ and $h=O(\sqrt{\varepsilon})$. Then we propose and analyze two numerical methods for the discretization of the nonlinear Dirac equation by using the Fourier spectral discretization for spatial derivatives combined with the exponential wave integrator and time-splitting technique for temporal derivatives, respectively. Rigorous error bounds for the two numerical methods show that their $\varepsilon$-scalability is improved to $τ=O(\varepsilon^2)$ and $h=O(1)$ when $0<\varepsilon\ll 1$ compared with the CNFD method. Extensive numerical results are reported to confirm our error estimates.

math.NA↗

arXiv2016

Numerical methods and comparison for the Dirac equation in the nonrelativistic limit regime

We analyze rigorously error estimates and compare numerically spatial/temporal resolution of various numerical methods for the discretization of the Dirac equation in the nonrelativistic limit regime, involving a small dimensionless parameter $0<\varepsilon\ll 1$ which is inversely proportional to the speed of light. In this limit regime, the solution is highly oscillatory in time, i.e. there are propagating waves with wavelength $O(\varepsilon^2)$ and $O(1)$ in time and space, respectively. We begin with several frequently used finite difference time domain (FDTD) methods and obtain rigorously their error estimates in the nonrelativistic limit regime by paying particular attention to how error bounds depend explicitly on mesh size $h$ and time step $τ$ as well as the small parameter $\varepsilon$. Based on the error bounds, in order to obtain `correct' numerical solutions in the nonrelativistic limit regime, i.e. $0<\varepsilon\ll 1$, the FDTD methods share the same $\varepsilon$-scalability on time step: $τ=O(\varepsilon^3)$. Then we propose and analyze two numerical methods for the discretization of the Dirac equation by using the Fourier spectral discretization for spatial derivatives combined with the exponential wave integrator and time-splitting technique for temporal derivatives, respectively. Rigorous error bounds for the two numerical methods show that their $\varepsilon$-scalability on time step is improved to $τ=O(\varepsilon^2)$ when $0<\varepsilon\ll 1$. Extensive numerical results are reported to support our error estimates.

math.NA↗

arXiv2016

A uniformly accurate (UA) multiscale time integrator pseudospectral method for the Dirac equation in the nonrelativistic limit regime

We propose and rigourously analyze a multiscale time integrator Fourier pseudospectral (MTI-FP) method for the Dirac equation with a dimensionless parameter $\varepsilon\in(0,1]$ which is inversely proportional to the speed of light. In the nonrelativistic limit regime, i.e. $0<\varepsilon\ll 1$, the solution exhibits highly oscillatory propagating waves with wavelength $O(\varepsilon^2)$ and $O(1)$ in time and space, respectively. Due to the rapid temporal oscillation, it is quite challenging in designing and analyzing numerical methods with uniform error bounds in $\varepsilon\in(0,1]$. We present the MTI-FP method based on properly adopting a multiscale decomposition of the solution of the Dirac equation and applying the exponential wave integrator with appropriate numerical quadratures. By a careful study of the error propagation and using the energy method, we establish two independent error estimates via two different mathematical approaches as $h^{m_0}+\frac{τ^2}{\varepsilon^2}$ and $h^{m_0}+τ^2+\varepsilon^2$, where $h$ is the mesh size, $τ$ is the time step and $m_0$ depends on the regularity of the solution. These two error bounds immediately imply that the MTI-FP method converges uniformly and optimally in space with exponential convergence rate if the solution is smooth, and uniformly in time with linear convergence rate at $O(τ)$ for all $\varepsilon\in(0,1]$ and optimally with quadratic convergence rate at $O(τ^2)$ in the regimes when either $\varepsilon=O(1)$ or $0<\varepsilon\lesssim τ$. Numerical results are reported to demonstrate that our error estimates are optimal and sharp. Finally, the MTI-FP method is applied to study numerically the convergence rates of the solution of the Dirac equation to those of its limiting models when $\varepsilon\to0^+$.

math.NA↗

arXiv2015

Mean-field regime and Thomas-Fermi approximations of trapped Bose-Einstein condensates with higher order interactions in one and two dimensions

We derive rigorously one- and two-dimensional mean-field equations for cigar- and pancake-shaped Bose-Einstein condensates (BEC) with higher order interactions (HOI). We show how the higher order interaction modifies the contact interaction of the strongly confined particles. Surprisingly, we find that the usual Gaussian profile assumption for the strongly confining direction is inappropriate for the cigar-shaped BEC case, and a Thomas-Fermi type profile should be adopted instead. Based on the derived mean field equations, the Thomas-Fermi densities are analyzed in presence of the contact interaction and HOI. For both box and harmonic traps in one, two and three dimensions, we identify the analytical Thomas-Fermi densities, which depend on the competition between the contact interaction and the HOI.

cond-mat.quant-gas↗

arXiv2014

Ground states and dynamics of spin-orbit-coupled Bose-Einstein condensates

We study analytically and asymptotically as well as numerically ground states and dynamics of two-component spin-orbit-coupled Bose-Einstein condensates (BECs) modeled by the coupled Gross-Pitaevskii equations (CGPEs). In fact, due to the appearance of the spin-orbit (SO) coupling in the two-component BEC with a Raman coupling, the ground state structures and dynamical properties become very rich and complicated. For the ground states, we establish the existence and non-existence results under different parameter regimes, and obtain their limiting behaviors and/or structures with different combinations of the SO and Raman coupling strengths. For the dynamics, we show that the motion of the center-of-mass is either non-periodic or with different frequency to the trapping frequency when the external trapping potential is taken as harmonic and the initial data is chosen as a stationary state (e.g. ground state) with a shift, which is completely different from the case of a two-component BEC without the SO coupling, and obtain the semiclassical limit of the CGPEs in the linear case via the Wigner transform method. Efficient and accurate numerical methods are proposed for computing the ground states and dynamics, especially for the case of box potentials. Numerical results are reported to demonstrate the efficiency and accuracy of the numerical methods and show the rich phenomenon in the SO-coupled BECs.

math-ph↗

arXiv2014

A uniformly accurate multiscale time integrator pseudospectral method for the Klein-Gordon equation in the nonrelativistic limit regime

We propose and analyze a multiscale time integrator Fourier pseudospectral (MTI-FP) method for solving the Klein-Gordon (KG) equation with a dimensionless parameter $0<\varepsilon\leq1$ which is inversely proportional to the speed of light. In the nonrelativistic limit regime, i.e. $0<\varepsilon\ll1$, the solution to the KG equation propagates waves with amplitude at $O(1)$ and wavelength at $O(\varepsilon^2)$ in time and $O(1)$ in space, which causes significantly numerical burdens due to the high oscillation in time. The MTI-FP method is designed by adapting a multiscale decomposition by frequency (MDF) to the solution at each time step and applying an exponential wave integrator to the nonlinear Schrödinger equation with wave operator under well-prepared initial data for $\varepsilon^2$-frequency and $O(1)$-amplitude waves and a KG-type equation with small initial data for the reminder waves in the MDF. We rigorously establish two independent error bounds in $H^2$-norm to the MTI-FP method at $O(h^{m_0}+τ^2+\varepsilon^2)$ and $O(h^{m_0}+τ^2/\varepsilon^2)$ with $h$ mesh size, $τ$ time step and $m_0\ge2$ an integer depending on the regularity of the solution, which immediately imply that the MTI-FP converges uniformly and optimally in space with exponential convergence rate if the solution is smooth, and uniformly in time with linear convergence rate at $O(τ)$ for all $\varepsilon\in(0,1]$ and optimally with quadratic convergence rate at $O(τ^2)$ in the regimes when either $\varepsilon=O(1)$ or $0<\varepsilon\le τ$. Numerical results are reported to confirm the error bounds and demonstrate the efficiency and accuracy of the MTI-FP method for the KG equation, especially in the nonrelativistic limit regime.

math.NA↗

arXiv2013

Uniform and optimal error estimates of an exponential wave integrator sine pseudospectral method for the nonlinear Schrodinger equation with wave operator

We propose an exponential wave integrator sine pseudospectral (EWI-SP) method for the nonlinear Schrödinger equation (NLS) with wave operator (NLSW), and carry out rigorous error analysis. The NLSW is NLS perturbed by the wave operator with strength described by a dimensionless parameter $\varepsilon\in(0,1]$. As $\varepsilon\to0^+$, the NLSW converges to the NLS and for the small perturbation, i.e. $0<\varepsilon\ll1$, the solution of the NLSW differs from that of the NLS with a function oscillating in time with $O(\varepsilon^2)$-wavelength at $O(\varepsilon^2)$ and $O(\varepsilon^4)$ amplitudes for ill-prepared and well-prepared initial data, respectively. This rapid oscillation in time brings significant difficulties in designing and analyzing numerical methods with error bounds uniformly in $\varepsilon$. In this work, we show that the proposed EWI-SP possesses the optimal uniform error bounds at $O(τ^2)$ and $O(τ)$ in $τ$ (time step) for well-prepared initial data and ill-prepared initial data, respectively, and spectral accuracy in $h$ (mesh size) for the both cases, in the $L^2$ and semi-$H^1$ norms. This result significantly improves the error bounds of the finite difference methods for the NLSW. Our approach involves a careful study of the error propagation, cut-off of the nonlinearity and the energy method. Numerical examples are provided to confirm our theoretical analysis.

math.NA↗

arXiv2012

Mathematical theory and numerical methods for Bose-Einstein condensation

In this paper, we mainly review recent results on mathematical theory and numerical methods for Bose-Einstein condensation (BEC), based on the Gross-Pitaevskii equation (GPE). Starting from the simplest case with one-component BEC of the weakly interacting bosons, we study the reduction of GPE to lower dimensions, the ground states of BEC including the existence and uniqueness as well as nonexistence results, and the dynamics of GPE including dynamical laws, well-posedness of the Cauchy problem as well as the finite time blow-up. To compute the ground state, the gradient flow with discrete normalization (or imaginary time) method is reviewed and various full discretization methods are presented and compared. To simulate the dynamics, both finite difference methods and time splitting spectral methods are reviewed, and their error estimates are briefly outlined. When the GPE has symmetric properties, we show how to simplify the numerical methods. Then we compare two widely used scalings, i.e. physical scaling (commonly used) and semiclassical scaling, for BEC in strong repulsive interaction regime (Thomas-Fermi regime), and discuss semiclassical limits of the GPE. Extensions of these results for one-component BEC are then carried out for rotating BEC by GPE with an angular momentum rotation, dipolar BEC by GPE with long range dipole-dipole interaction, and two-component BEC by coupled GPEs. Finally, as a perspective, we show briefly the mathematical models for spin-1 BEC, Bogoliubov excitation and BEC at finite temperature.

cond-mat.quant-gas↗

arXiv2012

Gross-Pitaevskii-Poisson equations for dipolar Bose-Einstein condensate with anisotropic confinement

Ground states and dynamical properties of dipolar Bose-Einstein condensate are analyzed based on the Gross-Pitaevskii-Poisson system (GPPS) and its dimension reduction models under anisotropic confining potential. We begin with the three-dimensional (3D) Gross-Pitaevskii-Poisson system and review its quasi-2D approximate equations when the trap is strongly confined in $z$-direction and quasi-1D approximate equations when the trap is strongly confined in $x$-, $y$-directions. In fact, in the quasi-2D equations, a fractional Poisson equation with the operator $(-Δ)^{1/2}$ is involved which brings significant difficulties into the analysis. Existence and uniqueness as well as nonexistence of the ground state under different parameter regimes are established for the quasi-2D and quasi-1D equations. Well-posedness of the Cauchy problem for both equations and finite time blowup in 2D are analyzed. Finally, we rigorously prove the convergence and linear convergence rate between the solutions of the 3D GPPS and its quasi-2D and quasi-1D approximate equations in weak interaction regime.

math-ph↗

arXiv2012

Controlling phase separation of a two-component Bose-Einstein condensate by confinement

We point out that the widely accepted condition g11g22<g122 for phase separation of a two-component Bose-Einstein condensate is insufficient if kinetic energy is taken into account, which competes against the intercomponent interaction and favors phase mixing. Here g11, g22, and g12 are the intra- and intercomponent interaction strengths, respectively. Taking a d-dimensional infinitely deep square well potential of width L as an example, a simple scaling analysis shows that if d=1 (d=3), phase separation will be suppressed as L\rightarrow0 (L\rightarrow\infty) whether the condition g11g22<g122 is satisfied or not. In the intermediate case of d=2, the width L is irrelevant but again phase separation can be partially or even completely suppressed even if g11g22<g122. Moreover, the miscibility-immiscibility transition is turned from a first-order one into a second-order one by the kinetic energy. All these results carry over to d-dimensional harmonic potentials, where the harmonic oscillator length ξho plays the role of L. Our finding provides a scenario of controlling the miscibility-immiscibility transition of a two-component condensate by changing the confinement, instead of the conventional approach of changing the values of the g's.

cond-mat.quant-gas↗

arXiv2012

Effective dipole-dipole interactions in multilayered dipolar Bose-Einstein condensates

We propose a two-dimensional model for a multilayer stack of dipolar Bose-Einstein condensates formed by a strong optical lattice. We derive effective intra- and interlayer dipole-dipole interaction potentials and provide simple analytical approximations for a given number of lattice sites at arbitrary polarization. We find that the interlayer dipole-dipole interaction changes the transverse aspect ratio of the ground state in the central layers depending on its polarization and the number of lattice sites. The changing aspect ratio should be observable in time of flight images. Furthermore, we show that the interlayer dipole-dipole interaction reduces the excitation energy of local perturbations, affecting the development of a roton minimum.

cond-mat.quant-gas↗

arXiv2010

Mean-field regime of trapped dipolar Bose-Einstein condensates in one and two dimensions

We derive rigorous one- and two-dimensional mean-field equations for cigar- and pancake-shaped dipolar Bose-Einstein condensates with arbitrary polarization angle. We show how the dipolar interaction modifies the contact interaction of the strongly confined atoms. In addition, our equations introduce a nonlocal potential, which is anisotropic for pancake-shaped condensates. We propose to observe this anisotropy via measurement of the condensate aspect ratio. We also derive analytically approximate density profiles from our equations. Both the numerical solutions of our reduced mean-field equations and the analytical density profiles agree well with numerical solutions of the full Gross-Pitaevskii equation while being more efficient to compute.

cond-mat.quant-gas↗

arXiv2010

Efficient numerical methods for computing ground states and dynamics of dipolar Bose-Einstein condensates

New efficient and accurate numerical methods are proposed to compute ground states and dynamics of dipolar Bose-Einstein condensates (BECs) described by a three-dimensional (3D) Gross-Pitaevskii equation (GPE) with a dipolar interaction potential. Due to the high singularity in the dipolar interaction potential, it brings significant difficulties in mathematical analysis and numerical simulations of dipolar BECs. In this paper, by decoupling the two-body dipolar interaction potential into short-range (or local) and long-range interactions (or repulsive and attractive interactions), the GPE for dipolar BECs is reformulated as a Gross-Pitaevskii-Poisson type system. Based on this new mathematical formulation, we prove rigorously existence and uniqueness as well as nonexistence of the ground states, and discuss the existence of global weak solution and finite time blowup of the dynamics in different parameter regimes of dipolar BECs. In addition, a backward Euler sine pseudospectral method is presented for computing the ground states and a time-splitting sine pseudospectral method is proposed for computing the dynamics of dipolar BECs. Due to the adaption of new mathematical formulation, our new numerical methods avoid evaluating integrals with high singularity and thus they are more efficient and accurate than those numerical methods currently used in the literatures for solving the problem. Extensive numerical examples in 3D are reported to demonstrate the efficiency and accuracy of our new numerical methods for computing the ground states and dynamics of dipolar BECs.

cond-mat.quant-gas↗