Paper The following article is Open access

Exactly solvable Gross–Pitaevskii type equations

, and

Published 18 January 2021 © 2021 The Author(s). Published by IOP Publishing Ltd
, , Citation Yuan-Yuan Liu et al 2021 J. Phys. Commun. 5 015011 DOI 10.1088/2399-6528/abda12

2399-6528/5/1/015011

Abstract

We suggest a method to construct exactly solvable Gross–Pitaevskii type equations, especially the variable-coefficient high-order Gross–Pitaevskii type equations. We show that there exists a relation between the Gross–Pitaevskii type equations. The Gross–Pitaevskii equations connected by the relation form a family. In the family one only needs to solve one equation and other equations in the family can be solved by a transform. That is, one can construct a series of exactly solvable Gross–Pitaevskii type equations from one exactly solvable Gross–Pitaevskii type equation. As examples, we consider the family of some special Gross–Pitaevskii type equations: the nonlinear Schrödinger equation, the quintic Gross–Pitaevskii equation, and cubic-quintic Gross–Pitaevskii equation. We also construct the family of a kind of generalized Gross–Pitaevskii type equation.

Export citation and abstract BibTeX RIS

Original content from this work may be used under the terms of the Creative Commons Attribution 4.0 licence. Any further distribution of this work must maintain attribution to the author(s) and the title of the work, journal citation and DOI.

1. Introduction

The Gross–Pitaevskii (GP) equation has many applications in various branches of physics. In Bose–Einstein condensation, the GP equation is used to describe dilute Bose gases [1, 2], the BEC in optical lattices [3, 4], and the spinor BEC [5, 6]. Moreover, the dynamics of BEC is studied by the time-dependent GP equation from first-principle [7] and the limit of GP equation's emergence is also discussed [8]. Some methods based on the GP equation, e.g., the truncated Wigner method [9], the positive-P method [10], the mean-field theory, and the Hartree–Fock-Bogoliubov method [11] are used to describe BEC. The influence of the inter-particle interaction to BEC is an important problem [12, 13], and the GP type equation is suitable for describing the condensate of the interacting Bose gas. The GP equation is also used to describe the Josephson plasma oscillations [14]. In general relativity, the GP equation is used to study the gravastar of black hole physics [15] and the black hole in the anti-de Sitter space [16]. The GP equation is a nonlinear equation and is difficult to solve. Many studies are devoted to solving the GP equation, such as stationary solutions [17], numerical solutions [1820], analytical solutions [21], and soliton solutions [2225]. Some methods for solving the GP equation are developed, such as the inverse scattering method [26]. Some solutions of the GP equation with various external potentials are obtained, e.g., the harmonic-oscillator potential [27], the multi-well potential [28], the changed external trap [29], the nonlinear lattice pseudopotential [30], the external magnetic field [31], and a sort of parity-time-symmetric potentials [26, 32]. The problem of scattering is also studied [33]. Moreover, there are studies on the one-dimensional GP equation and its applications [3438]. In this paper, we suggest a method for constructing exactly solvable GP type equations, especially for variable-coefficient GP type equations. The GP equation is also important in studying the nonlinear solitary and periodic waves in the condensate of a superfluid [39] and the ultracold Bose-condensed atomic vapors in mesoscopic waveguide structures [40].

The time-independent GP equation is

Equation (1.1)

where g is the coupling constant and ${U}_{\mathrm{eff}}\left({\bf{r}}\right)=U\left({\bf{r}}\right)-\mu $ with $U\left({\bf{r}}\right)$ the external potential and μ the chemical potential. Here we take = 1 and the mass 2m = 1 for simplicity. The variable-coefficient GP equation, also called the inhomogeneous GP equation, whose coefficients are space-dependent is a kind of important GP type equations [4143]. In the following, we consider the time-independent GP type equation in a general form,

Equation (1.2)

which includes any power of the density $\left|\psi \left({\bf{r}}\right)\right|$ and the coefficient depends on the spatial coordinate. The GP equation, the nonlinear Schrödinger equation, etc., are the special cases of equation (1.2). The GP type equation is used to describe the many-body interaction in BEC [4451]. On the other hand, the variable-coefficient GP type equation has a wide application in nonlinear optics. The nonlinear Schrödinger equation performs numerical analysis of the pulse mechanism of laser [5254]. The variable-coefficient nonlinear Schrödinger equation describes the pulse in inhomogeneous optical systems [55] and the interactions between periodic optical solitons [56]. The variable-coefficient cubic-quintic GP equation describes the brightlike and darklike solitary wave solutions [57].

In this paper, we show that there exists a relation between the GP type equations. If two GP type equations are connected by the relation, their solutions will be connected by a transform. The GP type equations who are connected by the relation form a family. In a family, once an equation is solved, the solutions of other equations in the family can be obtained by the transform.

As examples, we consider some families of the GP type equation, the family of the GP equation, the family of the nonlinear Schrödinger equation, the family of the quintic GP equation, and the family of the cubic-quintic GP equation. These GP type equations belong to different families. The solutions of these equations are known, so by the transform we can solve all the equations in their families.

In section 2, we consider the family of the GP type equation. In section 3, we discuss some exactly solvable families, including the nonlinear Schrödinger equation, the quintic GP equation, and the cubic-quintic GP equation. In section 4, we consider the family of the generalized Gross–Pitaevskii type equation. In section 5, we consider the family of the three-dimensional spherically symmetric GP type equation. The conclusions are summarized in section 6.

2. The family of the Gross–Pitaevskii type equation

In this section, we show that there exists a relation between the GP type equations. All the GP type equations who are related by the relation form a family.

2.1. The relation

For the GP type equations we have the following relation.

Two one-dimensional GP type equations

Equation (2.1)

Equation (2.2)

if ${U}_{\mathrm{eff}}\left(x\right)$ and ${V}_{\mathrm{eff}}\left(\xi \right),{g}_{l}\left(x\right)$ and ${G}_{l}\left(\xi \right)$ (l = 1, ⋯ ,n) satisfy the relations

Equation (2.3)

Equation (2.4)

their solutions are related by the transform:

Equation (2.5)

Equation (2.6)

Hereσ is a constant chosen arbitrarily.

This result can be verified directly. Substituting the transforms (2.5) and (2.6) into the GP type equation (2.1) gives

Equation (2.7)

This is just the one-dimensional GP type equation (2.2) with

Equation (2.8)

This proves the relations (2.3)–(2.6).

2.2. The family

In the relation (2.3) there is a constant σ. The constant σ can be chosen arbitrarily and different choices of σ give different transforms This means that one GP type equation relates infinite number of GP type equations through the relations (2.3)–(2.6) with different σ. The GP type equations who are related by a relation with different σ form a family. The family members are labeled by σ. In a family, we only need to solve one equation and the solution of other family members can be obtain directly by the transforms (2.5) and (2.6).

In a GP type equation family, the family members are connected by a transform with a transform parameter σ. This implies that there exists an algebraic structure.

2.3. The fixed point

In a family, all family members are connected by a transform. This transform has two fixed points.

The transforms (2.5) and (2.6) give

Equation (2.9)

It can be seen directly that the points

Equation (2.10)

are fixed points in the transform. That is, in a family, all family members pass through these two points.

2.4. The family of the Gross–Pitaevskii equation

The GP equation is the most important special case of the GP type equation (1.2), which has only the ${\left|\psi \left(x\right)\right|}^{2}$ term and a constant coefficient ${g}_{2}\left(x\right)=g$:

Equation (2.11)

The family of the GP equation, in which GP equation is one of its family member, by the relations (2.3) and (2.4), consists of the following family members:

Equation (2.12)

with

Equation (2.13)

The family members are labeled by the parameter σ.

The solutions of family members are connected by the transforms (2.5) and (2.6):

Equation (2.14)

3. The exactly solvable family: examples

In the present paper, we consider the GP type equation in a general form. The general GP type equation contains any power of the wave function with space-dependent coefficients. Here we discuss the correspondence between the general GP type equation and the BEC system.

Under the frame of the mean field theory, the interaction between two particles is proportional to the particle number density ${\left|\psi \right|}^{2}$. Therefore, the term ${\left|\psi \right|}^{2}\psi $ describes the two-body interaction, the term ${\left|\psi \right|}^{4}\psi $ describes the three-body interaction, and so on [4451] . That is, the even-power of $\left|\psi \right|$ describes the many-body interaction. Moreover, the odd-power term is also used to describe the effect beyond the mean field treatment [58, 59].

The coupling parameter g is proportional to the s-wave scattering length of inter-atomic scattering in BEC [60, 61] and the scattering length can be determined by the Feshbach resonance [47]. In the BEC experiment, the coupling parameter can be controlled by the Feshbach resonance which changes the scattering length [62, 63]. For example, the scattering length can be changed by the magnetic field [64, 65]. The spatial modulation leads to a space-dependent coupling parameter and the temporal modulation leads to a time-dependent coupling parameter [61, 62, 66]. In the present paper, we consider the GP type equations with space-dependent coupling parameter.

For two-body interactions, the coupling parameter of the term ${\left|\psi \right|}^{2}\psi $ is of the magnitude [45, 49]

Equation (3.1)

where as is the s-wave scattering length. If only consider two-body interactions, it should satisfy $\sqrt{{{na}}_{s}^{3}}\ll 1$ with n the particle number density.

In the case of high densities, the three-body interaction becomes important and the two-body description is no longer effective [49]. Moreover, the coupling parameter of the three-body interaction, i.e., the coefficient of the term ${\left|\psi \right|}^{4}\psi $, is of the magnitude [49]

Equation (3.2)

which is proportional to as 4, so when the scattering length is large, the three-body interaction needs to be taken into account. The coupling parameter g3 may be a complex number. For example, for the 87Rb condensate the real part of g3/ is about 10−26 ∼ 10−27 cm6s−1 [49, 67, 68] and the imaginary part is about 10−30cm6s−1 and is ignorable [69]. The other parameters in equation (3.2) can be determined numerically [67, 70].

In this section, we consider some exactly solvable families, the families of the nonlinear Schrödinger equation, the quintic GP equation, and the cubic-quintic GP equation.

3.1. The family of the nonlinear Schrödinger equation

The stationary nonlinear Schrödinger equation [71]

Equation (3.3)

is a special case of the GP equation (2.11) with a vanishing external potential and the chemical potential μ replaced by the energy E.

The family of the nonlinear Schrödinger equation, by the relations (2.3) and (2.4), consists of the following family members:

Equation (3.4)

with

Equation (3.5)

where ${V}_{\mathrm{eff}}\left(\xi \right)=V\left(\xi \right)-{ \mathcal E }$. The solution of equation (3.4) by the transforms (2.5) and (2.6) is

Equation (3.6)

It can be checked that the nonlinear Schrödinger equation (3.3) has a solution

Equation (3.7)

where b is a constant.

Then the solution of the family member, equation (3.4), by the transform (3.6) is

Equation (3.8)

The family members of the nonlinear Schrödinger equation with various value of σ are shown in figure 1.

Figure 1.

Figure 1. The family members of the nonlinear Schrödinger equation with various value of σ.

Standard image High-resolution image

For a special case of the stationary nonlinear Schrödinger equation (3.3)

Equation (3.9)

[72] provides an exact bright soliton solution:

Equation (3.10)

The family of the nonlinear Schrödinger equation (3.9), by the relations (2.3) and (2.4), consists of the following family members:

Equation (3.11)

where

Equation (3.12)

The solution of the family members (3.11) is

Equation (3.13)

3.2. The family of the quintic Gross–Pitaevskii equation

The quintic GP equation describes BEC when the interaction between the atoms is moderate or strong [50].

The quintic GP equation

Equation (3.14)

has a solution [50]

Equation (3.15)

where g4 is a negative constant.

The family of the quintic GP equation, by the relations (2.3) and (2.4), consists of the family members:

Equation (3.16)

with

Equation (3.17)

The solution of equation (3.16) by the transforms (2.5) and (2.6) is

Equation (3.18)

3.3. The family of the cubic-quintic Gross–Pitaevskii equation

The cubic-quintic GP equation which describes BEC considers two-particle and three-particle interactions [50, 51].

The cubic-quintic GP equation

Equation (3.19)

has a solution [50]

Equation (3.20)

where g2 and g4 are negative constants.

The family of the cubic-quintic GP equation, by the relations (2.3) and (2.4), consists of the family members:

Equation (3.21)

with

Equation (3.22)

The solution of equation (3.21) by the transforms (2.5) and (2.6) is

Equation (3.23)

4. The family of the generalized Gross–Pitaevskii type equation

For academic interest, we consider a generalized Gross–Pitaevskii type equation and its family. By the generalized Gross–Pitaevskii type equation we mean that ${\left|\psi \left(x\right)\right|}^{n}\psi \left(x\right)$ in the Gross–Pitaevskii type equation is replaced by $\psi {\left(x\right)}^{n+1}$.

Two one-dimensional generalized GP type equations

Equation (4.1)

Equation (4.2)

if ${U}_{\mathrm{eff}}\left(x\right)$ and ${V}_{\mathrm{eff}}\left(\xi \right),{g}_{l}\left(x\right)$ and ${G}_{l}\left(\xi \right)$ (l = 1, ⋯ ,n) satisfy the relations

Equation (4.3)

their solutions are related by the transform:

Equation (4.4)

Hereσ is a constant chosen arbitrarily.

This result can be verified directly by the same procedure as for the GP type equation.

The fixed points by the transform (4.3), i.e.,

Equation (4.5)

are

Equation (4.6)

In a family, all family members pass through these two points.

The generalized GP type equation (4.1) is a Liénard equation [7375] with space-dependent coefficients. The result obtained here can be used to consider the family of the Liénard equation.

5. The three-dimensional spherically symmetric Gross–Pitaevskii type equation

The three dimensional spherically symmetric GP type equation also has the similar relation.

Two three-dimensional radial GP type equations

Equation (5.1)

Equation (5.2)

where l and are angular quantum numbers, if ${U}_{\mathrm{eff}}\left(r\right)$ and ${V}_{\mathrm{eff}}\left(\rho \right),g\left(r\right)$ and $G\left(\rho \right)$ satisfy the relations

Equation (5.3)

their solutions are related by the transform:

Equation (5.4)

Hereσ is a constant chosen arbitrarily.

This result can be verified directly. Substituting the transform (5.4) into equation (5.1) gives

Equation (5.5)

This is just the three-dimensional radial GP type equation (5.2) with

Equation (5.6)

This proves the relations (5.3) and (5.4).

6. Conclusion

We show that there exist families of the GP type equations. The GP type equations in a family are related by a transform. In a family, so long as one family member is solved, all family members are solved by the transform. The GP type equation is difficult to solve. The method presented in the paper provides an approach to construct exactly solvable GP type equations.

As examples, we consider the family of some special GP type equations: the nonlinear Schrödinger equation, the quintic GP equation, and the cubic-quintic GP equation.

We also consider family of the generalized GP type equation. The result of the generalized GP type equation inspires us to consider the family of the Liénard equation in the future work.

For three-dimensional cases, we consider the family of the three-dimensional spherically symmetric GP type equation.

Acknowledgments

We are very indebted to Dr G. Zeitrauman for his encouragement. This work is supported in part by Special Funds for Theoretical Physics Research Program of the National Natural Science Foundation of China under Grant No. 11 947 124 and NSF of China under Grant No. 11 575 125 and No. 11 675 119.

Please wait… references are loading.