An integrable Gross–Pitaevskii equation with a parabolic potential is presented where particle density ∣u∣2 is conserved. We also present an integrable vector Gross–Pitaevskii system with a parabolic potential, where the total particle density ${\sum }_{j=1}^{n}| {u}_{j}{| }^{2}$ is conserved. These equations are related to nonisospectral scalar and vector nonlinear Schrödinger equations. Infinitely many conservation laws are obtained. Gauge transformations between the standard isospectral nonlinear Schrödinger equations and the conserved Gross–Pitaevskii equations, both scalar and vector cases are derived. Solutions and dynamics are analyzed and illustrated. Some solutions exhibit features of localized-like waves.
describes the ground state of a quantum system of identical bosons, and in particular, the Bose–Einstein condensates (BEC) with a constant number of atoms at temperatures close to absolute zero (see [4] and the references therein). In the equation, $\psi (\vec{r})$ is the wave function in three-dimensional space, $V(\vec{r})$ is the external potential, i, ℏ, m and g stand for the imaginary unit, the reduced Planck constant, the mass of the bosons, and a parameter that measures inter-particle interactions, respectively. When V ∝ x, the one-dimensional (1D) dimensionless version of the GP equation (1), is a nonisospectral NLS equation that is integrable and related to a time-dependent spectral parameter λ = t, and can be gauge transformed to the usual NLS equation [5]. When V ∝ x2, usually the GP equation with constant coefficients, is not integrable, but there are some integrable cases when time-dependent coefficients are introduced (e.g. [6–9]).
Recently, the authors considered a dimensionless GP equation with a parabolic external potential of the following form [10],
Note that there is a gain term iα(t)q in the equation, which means one needs to either add or reduce atoms in experiments, and thus the number of atoms is not constant. Solutions of (2) exhibit interesting interaction dynamics but ∣q∣2 is not a conserved density.
In this paper, we will consider the following GP equation
This equation can be derived from (2) by analyzing a one-soliton solution and the corresponding quantity ${\int }_{-\infty }^{+\infty }| q{| }^{2}{\rm{d}}x$ of the equation (2). Details will be explained in the next section. Note that g(t) plays a role that measures inter-particle interactions by formally replacing the carrier wave ∣u∣2 in the constant-coefficient GP equation using g(t)∣u∣2. We will see that the equation (4) is not only integrable but also allows the conserved particle density ∣u∣2. Its infinitely many conservation laws and multi-soliton solutions will be derived. As for dynamics, the carrier wave ∣u∣2 does not have a constant amplitude although ${\int }_{-\infty }^{+\infty }| u{| }^{2}{\rm{d}}x$ is a conserved quantity. ∣u∣2 is a localized-like wave when δ > 0, but has periodic singularities when δ < 0. We also note that equation (4a) together with parametrisation (4b) was already considered in the literature, e.g. in [7], where a more general form of the GP equation with time-dependent coefficients was investigated and equation (4a) is one of the cases that are gauge equivalent to the NLS equation with constant coefficients (see table 1 in [7]). However, in our paper, we focus on how a conserved GP equation is obtained from a non-conserved one by observing a soliton solution.
We will also extend our idea from the conserved GP equation (4) to the vector case, i.e.
where (referring to [11]) ${\boldsymbol{u}}={({u}_{1},\cdots ,{u}_{n})}^{{\rm{T}}}$ is an n-component complex-valued vector field with ui(i = 1, 2, ⋯ ,n) being the wave function of the i-th Bose condensate, g(t) takes the form (4b) and measures the atomic interactions, δx2 is an external parabolic potential and † stands for the Hermitian of a matrix. A vector GP system can be used to describe the dynamics of multi-interacting dilute Bose condensates at absolute zero temperature [11–14]. This system is integrable and related to nonisospectral vector NLS equations. Infinitely many conservation laws of (5) will be constructed, which show that the particle density ${\sum }_{j=1}^{n}| {u}_{j}{| }^{2}$ is conserved. We will also derive a gauge transformation that connects the conserved GP equation (5) to an isospectral vector NLS equation. Moreover, N-soliton solutions (NSS) will be constructed via gauge transformation, and the dynamics of some solutions will be analyzed and illustrated.
The paper is organized as follows. In section 2, we explain the main idea of how we construct the conserved GP equation (4) from a non-conserved GP equation, based on solutions of the latter. In section 3, conserved vector GP equation (5) are investigated, including a Lax pair, infinitely many conservation laws, gauge transformation, and NSS, as well as their dynamics. Finally, section 4 serves for conclusions.
2. The conserved GP equation (4)
In this section, we investigate the conserved GP equation (4) and its integrability.
Let us first explain how we are motivated by solutions of the nonconserved GP equation (2) and arrive at the conserved equation (4). Recalling the carrier wave (particle density) of the explicit 1SS of (2) [10],
where ${a}_{1},{b}_{1},{h}_{1}\in {\mathbb{R}}$ are arbitrary, which provides a space-time localized wave when δ > 0. In order to understand how the gain term affects the total particle number, by calculation, we find the number is
by which we can remove the gain term from (2) and get the conserved GP equation (4), of which the total particle number ${ \mathcal N }$ corresponding to 1SS is a constant,
which provides a particle density (corresponding to one-soliton) governed by equation(4). This is a space-time localized wave as ∣u∣2 decays exponentially in ∣x∣ at fixed t, and likewise, at fixed x, it decays exponentially in t. However, the total number of particles ${\int }_{-\infty }^{+\infty }| u{| }^{2}{\rm{d}}x$ is conserved.
When δ > 0, ∣u∣2 given in (11) is illustrated in figure 1, where we can see that the envelope becomes flatter when ∣t∣ increases but ∣u∣2 is indeed a conserved density.
Figure 1. Shape and motion of 1SS for equation (4) with δ > 0. (a) Stationary soliton ∣u∣2 with δ = 0.36, a1 = 0.5, b1 = h1 = 0. (b) The 2D plot of (a) at t = 0 (red dashed curve), t = 1 (blue dashed curve), t = 2 (black dashed curve).
By calculation, one can find that for given t (except periodic singularities), ∣u∣2 reaches its maximum $4{a}_{1}^{2}\sec (2\sqrt{-\delta }t)$ at
as the velocity of the wave. The top trace is involved with trigonometric functions, which indicates oscillations of the wave, as depicted in figure 2. Note that there are periodic singularities (blowup points) at
Here as a comment, we point out that the statement given in section 4.1 of Ref.[7] that ∣u∣2 takes finite amplitude at the above blowing-up points, is NOT correct.1
1In fact, ∣u∣2 given in (12) is a 2-dimensional function defined on ${{\mathbb{R}}}^{2}$. It is known that for the limit resulting from (x, t) → (xj, tj) one should consider all possible paths that (x,t) approaches to (xj, tj). It is easy to show two paths along which ∣u∣2 gets different results.
Figure 2. Shape and motion of 1SS for equation (4) with δ < 0. (a) A moving soliton ∣u∣2 with δ = −0.36, a1 = 0.5, b1 = 0.5, h1 = 0. (b) The 2D plot of (a) at t = 0 (red dashed curve), t = 10 (blue dashed curve), t = 20 (black dashed curve).
For the GP equation (4), it is easy to see from the equation that
which indicates that ∣u∣2 is a conserved density of fluid. Here * stands for complex conjugate. For the case δ < 0, one should consider the above conservation law at $t\in ({t}_{j},{t}_{j+1}),\,j\in {\mathbb{Z}}$, with tj given in (13). There are high-order conservation laws for equation (4). We will derive them in the next section.
With regard to integrability, note that the GP equation (2) is connected to an integrable non-isospectral NLS equation
where R = − Q*, spectral parameter λ is time-dependent, obeying λt = − 2αλ, and * stands for complex conjugate. Thus, integrability of the conserved GP equation (4) is guaranteed if
$\phi ={({\phi }_{1},{\phi }_{2},\cdots ,{\phi }_{n+1})}^{{\rm{T}}}$, ${\boldsymbol{q}}={({q}_{1},{q}_{2},\cdots ,{q}_{n})}^{{\rm{T}}}$ is n-component complex-valued vector field, In is the n × n identity matrix.
3.2. Conservation laws
In the following, we construct infinitely many conservation laws for the conserved vector GP equation (5) and show that ${\sum }_{j=1}^{n}| {u}_{j}{| }^{2}$ is a conserved particle density. Infinite many conservation laws for the conserved vector GP equation (5) can be obtained either from the infinite conservation laws of the isospectral vector NLS equation (30) (see section 4 in [15]) coupled with the gauge transformation as listed in theorem 1, or from those of the non-isospectral vector NLS equation (16) coupled with transformation (17). Here we will show the latter approach.
Start from the generalized ZS-AKNS spectral problem (18), i.e., in a scalar system,
Noticing that the time evolution λt = − 2αλ of the spectral parameter λ implies $\lambda =a{\rm{sech}} (2\sqrt{\delta }t)$, where $a\in {\mathbb{C}}$, here we have chosen δ > 0 without loss of generality. The Riccati equation set (22) allows a series solution
where Ci is the ith component of the vector C and D is the scalar function in (18). The compatibility condition ${(\mathrm{ln}{\phi }_{n+1})}_{{xt}}={(\mathrm{ln}{\phi }_{n+1})}_{{tx}}$ leads to
Then inserting the expansion (23) into the above equation as well as λt = − 2αλ and the expressions of C and D, by comparing terms of the same order in (2ia)−1, we get infinitely many conservation laws for equation (16)
are conserved densities and the associated fluxes, respectively. Infinitely many conservation laws of the conserved vector GP equation (5) can be obtained by substituting (17) into (26). We list the first two conserved densities and the associated fluxes (for the case δ > 0)
In this subsection, we present NSS for the conserved vector GP equation (5) based on gauge transformation.
We find that both scalar and vector conserved GP equations (4) and (5) are gauge equivalent to the corresponding standard isospectral NLS equations. The connections are described in the following (where the scalar equation is a special case of the vector form).
The conserved vector GP equation (5) and the isospectral vector NLS equation
${\beta }_{j}={({\beta }_{j,1},\cdots ,{\beta }_{j,n})}^{{\rm{T}}}$ is an n-component constant column vector, ${\theta }_{k}={\rm{i}}{\eta }_{k}X+2{\rm{i}}{\eta }_{k}^{2}T$. The above result can be presented in a more compact form
Then, the NSS of the conserved vector GP equation (5) can be obtained by virtue of the gauge transformation (31).
3.4. Dynamics for the conserved vector GP equation (5)
In this subsection, we investigate dynamics for the conserved vector GP equation (5).
3.4.1. Solutions for the case δ > 0
Taking N = 1 in the formula (34) and combined with the transformation (31), it is straightforward to obtain 1SS for the conserved vector GP equation (5). Let us consider the two-component case, i.e. fixing n = 2. The 1SS for equation (5) reads (cf [17])
The above top trajectory can be further described according to the sign of $s=(4{a}_{1}{b}_{1}+{\gamma }_{11}\sqrt{\delta })(4{a}_{1}{b}_{1}-{\gamma }_{11}\sqrt{\delta })$: when s > 0, x(t) runs like $\sinh (2\sqrt{\delta }t)$, when s < 0, x(t) runs like $\cosh (2\sqrt{\delta }t)$, when s = 0, x(t) runs like ${{\rm{e}}}^{2\sqrt{\delta }t}$ or ${{\rm{e}}}^{-2\sqrt{\delta }t}$ and in particular x(t) is stationary when a1 = γ1,1 = 0, as shown in figures 3(a)–(d), respectively.
Figure 3. Shape and motion of 1SS given by (38) for equation (5) with δ = 0.36. (a) A moving wave runs like $\sinh (2\sqrt{\delta }t)$ with ${a}_{1}=1,{b}_{1}=1,{\beta }_{\mathrm{1,1}}=\tfrac{1}{2},{\beta }_{\mathrm{1,2}}=\tfrac{\sqrt{3}}{2}$. (b) A moving wave runs like $\cosh (2\sqrt{\delta }t)$ with ${a}_{1}=0,{b}_{1}=4,{\beta }_{\mathrm{1,1}}=\tfrac{1}{2}{\left(\tfrac{4}{5}\right)}^{10},{\beta }_{\mathrm{1,2}}=\tfrac{\sqrt{3}}{2}{\left(\tfrac{4}{5}\right)}^{10}$. (c) A moving wave runs like ${{\rm{e}}}^{2\sqrt{\delta }t}$ with ${a}_{1}=\tfrac{3}{20},{b}_{1}=\tfrac{1}{2}\mathrm{ln}20,{\beta }_{\mathrm{1,1}}=4,{\beta }_{\mathrm{1,2}}=2{\rm{i}}$. (d) A stationary wave with ${a}_{1}\,=\,0,{b}_{1}=2,{\beta }_{\mathrm{1,1}}=\tfrac{\sqrt{2}}{2},{\beta }_{\mathrm{1,2}}=\tfrac{\sqrt{2}}{2}{\rm{i}}$.
3.4.2. Solutions for the case δ < 0
In the case of δ < 0, 1SS for equation (5) with δ < 0 can be written as
which is conserved. Besides, infinitely many conserved quantities for equation (5) with δ < 0 can be constructed in a similar way as mentioned in section 3.4. As for dynamics, ∣u1(x, t)∣2 provides a wave traveling with amplitude $| {\beta }_{\mathrm{1,1}}{| }^{2}{{\rm{e}}}^{2{\gamma }_{11}}4{b}_{1}^{2}\left(\sec (2\sqrt{-\delta }t)\right)$, periodical top trajectory
singularities appear at $({x}_{j}={(-1)}^{j}\tfrac{2{a}_{1}}{\sqrt{-\delta }},{t}_{j}=\tfrac{\pi }{2\sqrt{-\delta }}\left(\tfrac{1}{2}+j\right)),j\in {\mathbb{Z}}$. Dynamics are illustrated in figure 4(a), together with the density plot given in figure 4(b).
Figure 4. (a) 1SS of ∣u1(x, t)∣ given by (45) for equation (5) with δ = −0.36, a1 = 1, b1 = 1, β1,1 = 1, β1,2 = 1. (b) Density plot of (a).
4. Conclusions and remarks
In this paper, we have introduced a way to obtain a conserved GP equation with a parabolic potential. This idea was explained and illustrated in section 2, where we started from the non-conserved GP equation (2) with a parabolic potential, by calculating its total particle number ${ \mathcal N }$ (see equation (7)) associated with 1SS, we were led to the transformation (9), and the resulting GP equation (4) turns out to be conserved in terms of total particle number ${ \mathcal N }$. The conserved GP equation (4) contains a time-dependent coefficient g(t) to measure inter-particle interactions. This idea was then extended to the vector GP equation in section 3 and the conserved version is given in equation (5). The dynamics of some solutions are illustrated.
We remark that the conserved GP equation (4) has been included in [7] as one of the GP equations that are gauge equivalent to the standard NLS equation (see table 1 in [7]). In our paper, we corrected an inaccurate statement given in [7] about the periodic singularities appearing in the case δ < 0.
The idea of this paper might be applied to the differential-difference GP models, which will be investigated elsewhere.
The authors are grateful to the referees for their invaluable comments. This project is supported by the NSF of China (Nos. 11 875 040, 12 126 352, 12 126 343).
RajendranSMuruganandamPLakshmananM2010 Bright and dark solitons in a quasi-1D Bose-Einstein condensates modelled by 1D Gross-Pitaevskii equation with time-dependent parameters Phys. D239 366 386
BuschThCiracJ IPerez-GarciaV MZollerP1997 Stability and collective excitations of a two-component Bose-Einstein condensed gas: a moment approach Phys. Rev. A56 2978 2983