静态相耦合的Gross-Pitaevskii方程组的解描述了双原子的玻色爱因斯坦凝聚体在极低温度下的基态现象。我们提出一种十分有效的数值方法——梯度法来求解此基态解。我们提出的梯度法在数值上既保持总模量守恒又能使总能量递减;我们严格地证明我们提出的梯度法是一种获得能量函数在给定限制性条件下的最小值(也即基态解)的十分有效的方法。我们通过大量的例子来显示该方法的优点并且应用该方法去研究处于旋转状态下的双原子–玻色爱因斯坦凝聚体在极低温度下所呈现的复杂涡旋现象。 The ground states of rotating two-component Bose-Einstein condensates (BEC) at extremely low temperature are solutions of time-independent coupled Gross-Pitaevskii equations. To compute the ground states, we propose an efficient numerical method—gradient flows with discrete nor-malization. In linear cases and under properly chosen initial data, we can prove that the gradient flows converge into the ground state which has the lowest energy. We show that the method is quite efficient and apply the method to study complicated vortex structure in the ground state solutions of rotating two-component BEC at extremely low temperature.
静态相耦合的Gross-Pitaevskii方程组的解描述了双原子的玻色爱因斯坦凝聚体在极低温度下的基态现象。我们提出一种十分有效的数值方法——梯度法来求解此基态解。我们提出的梯度法在数值上既保持总模量守恒又能使总能量递减;我们严格地证明我们提出的梯度法是一种获得能量函数在给定限制性条件下的最小值(也即基态解)的十分有效的方法。我们通过大量的例子来显示该方法的优点并且应用该方法去研究处于旋转状态下的双原子–玻色爱因斯坦凝聚体在极低温度下所呈现的复杂涡旋现象。 The ground states of rotating two-component Bose-Einstein condensates (BEC) at extremely low temperature are solutions of time-independent coupled Gross-Pitaevskii equations. To compute the ground states, we propose an efficient numerical method—gradient flows with discrete nor-malization. In linear cases and under properly chosen initial data, we can prove that the gradient flows converge into the ground state which has the lowest energy. We show that the method is quite efficient and apply the method to study complicated vortex structure in the ground state solutions of rotating two-component BEC at extremely low temperature.
We study numerically the time-independent vector Gross--Pitaevskii equations (VGPEs) for ground states and time-dependent VGPEs with (or without) an external driven field for dynamics describing a multicomponent Bose--Einstein condensate (BEC) at zero or a very low temperature. In preparation for the numerics, we scale the three-dimensional (3d) VGPEs, approximately reduce it to lower dimensions, present a continuous normalized gradient flow (CNGF) to compute ground states of multicomponent BEC, prove energy diminishing of the CNGF, which provides a mathematical justification, and discretize it by the backward Euler finite difference (BEFD), which is monotone in linear and nonlinear cases and preserves energy diminishing property in the linear case. Then we use a time-splitting sine-spectral (TSSP) method to discretize the time-dependent VGPEs with an external driven field for computing dynamics of multicomponent BEC. The merits of the TSSP method for VGPEs are that it is explicit, unconditionally stable, time reversible and time transverse invariant if the VGPEs is, has "good" resolution in the semiclassical regime, is of spectral-order accuracy in space and second-order accuracy in time, and conserves the total particle number in the discretized level. Extensive numerical examples in three dimensions for ground states and dynamics of multicomponent BEC are presented to demonstrate the power of the numerical methods and to discuss the physics of multicomponent BEC.
In this paper, we study mathematically and numerically the ground states of rotating spin-orbit coupled two-component Bose-Einstein condensates modeled by the coupled Gross-Pitaevskii equations. Firstly, we rigorously prove the existence and nonexistence results for the ground states and derive some analytical properties, including the virial identity and negativity of SOC energy. Secondly, we propose an efficient and accurate preconditioned nonlinear conjugate gradient (PCG) algorithm to compute the ground states. We truncate the whole space into a bounded rectangular domain and readily apply the Fourier spectral method to approximate the wave function. The PCG method is successfully adapted with appropriate modifications to the adaptive step size control strategy for the one-parameter energy minimization problem and to the choice of preconditioners, achieving great performance in terms of accuracy and efficiency. Lastly, we carry out extensive numerical experiments to confirm the spatial spectral accuracy by traversing the most commonly-used initial guesses for each component. Moreover, we investigate the effects of local interaction, angular velocity, spin-orbit coupling and external trapping potential on the ground states, and predict some interesting physical phenomena, such as vortex lattices.
In this paper, we mainly review recent results on mathematical theory andnumerical 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 thencarried 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 forspin-1 BEC, Bogoliubov excitation and BEC at finite temperature.
Abstract. We propose and analyze an efficient and accurate numerical method for computing ground states of spin-2 Bose–Einstein condensates (BECs) by using the normalized gradient flow (NGF). In order to successfully extend the NGF to spin-2 BECs which have five components in the vector wave function but with only two physical constraints on total mass conservation and magnetization conservation, two important techniques are introduced for designing the proposed numerical method. The first one is to systematically investigate the ground state structure and property of spin-2 BECs within a spatially uniform system, which can be used for how to properly choose initial data in the NGF for computing ground states of spin-2 BECs. The second one is to introduce three additional projection conditions based on the relations between the chemical potentials, together with the two existing physical constraints, such that the five projection parameters used in the projection step of the NGF can be uniquely determined. Then a backward-forward Euler finite difference method is adapted to discretize the NGF. We prove rigorously that there exists a unique solution of the nonlinear system for determining the five projection parameters in the full discretization of the NGF under a mild condition on the time step size. Extensive numerical results on ground states of spin-2 BECs with different types of phases and under different potentials are reported to show the efficiency and accuracy of the proposed numerical method and to demonstrate several interesting physical phenomena on ground states of spin-2 BECs.
In this thesis, we consider a Gross–Pitaevskii (GP) energy functional as a model for rotating one component and two components Bose–Einstein condensates (BEC) in two dimensions. This model can be non-dimensionalized to highlight a strong confinement regime with strong interaction between the two components. We introduce a new discretization of this energy, featuring both finite difference and fast Fourier transform approaches, in a bounded domain of R 2 using Dirichlet boundary conditions. We develop an explicit gradient method algorithm with adaptive step and projection (EPG) over the constraints manifold for the minimization of the discrete energy. This method allows for the derivation of a stopping criterion. Moreover, we propose two post processing algorithms for the numerical minimizers. One is aimed for single vortices while the other is aimed for vortex sheets. Both algorithms detect these structures and compute their indices. In a recent article [6], the authors study the behaviour of a segregated two components BEC set into rotation. They are able to prove that for large rotation, the interface between the components gets long, conjecturing the possibility towards vortex sheets. They also study the vortex structures of BEC in a segregated regime. In this thesis, we produce numerical simulations using EPG, validating these recent theoretical results, supporting conjectures, and covering different physical cases (the cases of one component and two components in coexistence regime [45, 39]). We also illustrate the efficiency of EPG compared to the well-known GPELab method [11] which requires to solve a linearly implicit system at each step. Finally, we adapt a few theorems found in the literature to our discrete setting. We prove the existence of a global minimizer of the GP energy functional for the finite difference scheme and study some of its properties. We also work on symmetrical problems we encountered in some of the numerical simulations.
We study ground, symmetric and central vortex states, as well as their energy and chemical potential diagrams, in rotating Bose-Einstein condensates (BEC) analytically and numerically.We start from the three-dimensional (3D) Gross-Pitaevskii equation (GPE) with an angular momentum rotation term, scale it to obtain a four-parameter model, reduce it to a 2D GPE in the limiting regime of strong anisotropic confinement and present its semiclassical scaling and geometrical optics.We discuss the existence/nonexistence problem for ground states (depending on the angular velocity) and find that symmetric and central vortex states are independent of the angular rotational momentum.We perform numerical experiments computing these states using a continuous normalized gradient flow (CNGF) method with a backward Euler finite difference (BEFD) discretization.Ground, symmetric and central vortex states, as well as their energy configurations, are reported in 2D and 3D for a rotating BEC.Through our numerical study, we find various configurations with several vortices in both 2D and 3D structures, energy asymptotics in some limiting regimes and ratios between energies of different states in a strong replusive interaction regime.Finally we report the critical angular velocity at which the ground state loses symmetry, numerical verification of dimension reduction from 3D to 2D, errors for the Thomas-Fermi approximation, and spourous numerical ground states when the rotation speed is larger than the minimal trapping frequency in the xy plane.