Dynamics of solitary waves in ultracold gases in terms of observable quantities
L. P. Pitaevskii

TL;DR
This paper derives equations linking the dynamics of various solitary waves in ultracold gases to observable quantities, facilitating experimental analysis and applying these to magnetic solitons in Bose gas mixtures.
Contribution
It provides a simple derivation of equations connecting soliton dynamics with observable parameters, enabling practical experimental measurements.
Findings
Derived equations relate soliton mass and particle depletion to observable quantities.
Applied the theory to magnetic solitons in Bose gas mixtures.
Facilitated experimental analysis of solitary wave dynamics.
Abstract
A variety of solitary waves, such as solitons, vortex rings, solitonic vortices, and more complex entities, have recently been predicted to exist. They can move in superfluid ultracold gases along elongated traps. The theoretical description of this motion requires knowledge of the inertial soliton mass and the effective number of particles in it as functions of the soliton energy. While these functions can be calculated by a microscopic theory, it is also possible to express them directly in terms of observable quantities, such as the order parameter phase jump and the particle number depletion in the soliton. In this article, the corresponding equations are derived in a simple and physically clear way and applied to the recently predicted `magnetic soliton' in mixtures of Bose gases in various spin states.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Dynamics of solitary waves in ultracold gases
in terms of observable quantities
L. P. Pitaevskii1,2
1Kapitza Institute for Physical Problems RAS, Kosygina 2, 119334 Moscow, Russia
2INO-CNR BEC Center and Dipartimento di Fisica, Università di Trento, 38123 Povo, Italy
Abstract
A variety of solitary waves, such as solitons, vortex rings, solitonic vortices, and more complex entities, have recently been predicted to exist. They can move in superfluid ultracold gases along elongated traps. The theoretical description of this motion requires knowledge of the inertial soliton mass and the effective number of particles in it as functions of the soliton energy. While these functions can be calculated by a microscopic theory, it is also possible to express them directly in terms of observable quantities, such as the order parameter phase jump and the particle number depletion in the soliton. In this article, the corresponding equations are derived in a simple and physically clear way and applied to the recently predicted ‘magnetic soliton’ in mixtures of Bose gases in various spin states.
pacs:
03.75.Lm, 3.75.Kk, 67.85.De
DOI: https://doi.org/10.3367/UFNe.2016.08.037891
I 1. Introduction.
Macroscopic equations of motion of a soliton and observable quantities
The existence of solitary waves - solitons, vortex rings, solitonic vortices, and more complex entities is an important property of quantum gases. The detailed study of the solitary waves has become possible with the development of experimental techniques for confining atomic gases in magnetic and optical traps and cooling them to ultralow temperatures. At such temperatures, a gas becomes super- fluid, and solitary waves can be observed as moving non- decaying objects. (For brevity, in what follows I refer to these waves as solitons.) The essential point is that these excitations, while macroscopic, contain a certain highly perturbed core region, which has a structure dependent on the specific properties of the system and which should be described in microscopic terms. A typical experiment for studying such objects consists in observing their motion in an elongated trap. If the trap is sufficiently long, the problem can be solved in two stages, by first finding the solution for a uniform cylindrical trap and then determining the motion of a soliton in a finite trap applying macroscopic equations of motion. It turns out, however, that soliton dynamics in such a one-dimensional geometry exhibits interesting features due to the occurrence of a jump in the order parameter phase (see Section 2). For example, this jump substantially affects the canonical momentum of the soliton, a fact which was already noted in the classical work of T. Tsuzuki who used the Gross-Pitaevskii (below abbreviated GP) equations to construct a plane 111Plane in the sense that all the quantities involved are assumed to depend on the coordinate alone. soliton in a dilute Bose-Einstein condensed gas Ts71 .
The soliton equation of motion in an elongated trap can be derived from the energy conservation law. A convenient way to do this involves using the soliton velocity and the chemical potential of the gas as independent variables. The soliton energy should then be determined by employing the thermodynamic potential of the grand canonical ensemble, , where is the energy, and is the number of particles in the system. For a soliton in a uniform trap, one has (where is the ground state potential) and is, by definition, the soliton energy. For a weakly nonuniform (i.e. very elongated in the -detection) trap, the energy can be approximated as
[TABLE]
where denotes the soliton center coordinate, and is the trap potential. (This is what is known as the local density approximation.) For a harmonic trap, the potential takes the form . The soliton equation of motion is determined by the energy conservation BA00 ; KP04 . Differentiating Eqn (1) with respect to time and noting that , the equation of motion assumes the form
[TABLE]
where
[TABLE]
Here, has the meaning of the soliton inertial mass, and is the effective number of atoms in the soliton 222The quantity is also often called ’effevtive mass’ and denoted , or .. Thus, knowing the energy (1) allows the determination of the soliton motion in the trap. However, the calculation of is a challenging theoretical problem in itself, so it is of great interest whether and can be expressed directly in terms of observable quantities. It is this question with which this paper is concerned.
I will assume that a superfluid gas is described by a complex order parameter , whose phase defines the superfluid velocity through the equation
[TABLE]
For a gas of bosons, is the wave function of the condensate, and . For a gas of superfluid fermions, is the Ginzburg-Landau wave function, and because this function is the wave function of superconducting pairs. Here, is the mass of the atom. Far from the soliton, where the hydrodynamics is valid, the atomic density flux is , where is the gas number density. There are two observable quantities in terms of which I will express and . One is the order parameter phase jump
[TABLE]
It can be shown KP03 that is independent of and . The phase jump can be (but has not yet been) measured in an interference experiment and arises in a natural way in the numerical calculations of the soliton structure. The other observable quantity is the ’number of depleted atoms in the soliton’, namely
[TABLE]
where is the one-dimensional (i.e., and integrated) atomic number density in the soliton core, and is the unperturbed density. Usually, the quantity is negative, and the soliton is ’dark’. Hence, the term ’depleted’. The quantity can be calculated from the observed density distribution in the soliton. Notice that at , where is the speed of sound. Indeed, it is only density perturbations of infinitesimal amplitude that can travel at the speed of sound.
II 2. Canonical momentum and inertial mass
The question of the effective mass can be conveniently addressed by first discussing the soliton’s momentum. By definition, the momentum is directed along the z-axis and is equal to
[TABLE]
It can be verified that the integral in this equation converges for large z and is therefore uniquely defined. It is a simple matter to express in terms of . Consider the soliton to be in the reference frame in which it is at rest, and let the flux of atoms in this frame be . Because motion in this frame is steady-state, is independent of time and the continuity equation takes the form . Integrating this equation with respect to and gives . Thus, is independent of z and is equal to its value at , namely , because in this frame the liquid outside of the soliton moves with velocity . On the other hand, the flux in the laboratory frame is, via the Galilean transformation, . Substituting these formulas into Eqn (7), we find (see Ref. SDPS11 )
[TABLE]
I will call the quantity in (7)-(8) the ‘local momentum’. The local momentum becomes clearly zero at and also goes to zero together with as the velocity approaches the speed of sound. The important feature of the one-dimensional geometry considered is that is not identical to the canonical momentum which satisfies the equation
[TABLE]
or equivalently
[TABLE]
The physical meaning of the difference between and is currently well understood (see, for example, monograph PS16 , Ch. 5). Let the soliton move in a trap folded into a toroidal ring of radius . Further, let the radius be so large that the curvature of the trap has no effect on the soliton dynamics. This implies, in fact, the ‘thermodynamic limit’ for . Upon creating a soliton in a toroidal trap, the wave function should remain unique. The presence of a phase jump Df is in itself a factor that violates this uniqueness. This means that the creation of a soliton occurs with the appearance outside of it of a counterflow which compensates for the phase jump. The momentum of the counterflow makes a contribution to the canonical momentum. The counterflow velocity is calculated from the condition that
[TABLE]
where account was taken of the fact that outside of the soliton, i.e., for
[TABLE]
where is the soliton core thickness, the counterflow velocity can be considered constant across the cross section of the trap. Accordingly, the counterflow momentum is . The canonical momentum represents now the total momentum, i.e., equals the sum of 333The question of how actually to calculate the momentum is not addressed in this article. For solitary waves comprising quantized vortices, an equivalent equation derived in Ref. Pit14 is more suitable.:
[TABLE]
Differentiating this equation with respect to and taking into account Eqn (10), we arrive at the sought after relation among , , and :
[TABLE]
This equation was used in Ref. SDPS11 when studying soliton dynamics in a superfluid Fermi gas under unitarity conditions. The trapped soliton was assumed there to perform only small oscillations, and the difference between and was not significant (see Section 3).
III 3. Effective number of particles
and depletion of particle number
My task now reduces to expressing the effective number of particles in a soliton in terms of and . For a soliton at rest, the problem is simple: the system is steady-state, so that it is possible to apply the thermodynamic relation for the energy of the grand canonical ensemble: , where is the number of atoms in the system. By definition, the soliton energy is , where is the energy in the absence of the soliton, and . Thus, we obtain
[TABLE]
This formula, however, does not apply to a moving soliton, because in the laboratory frame the problem is not stationary, and so the question requires a special analysis. Such an analysis has indeed been made in Refs SGK12 ; Cam13 which used and as calculation variables. (The distinction between and was brought to my attention by D M Gangardt.) My hope is that the derivation below will give insight into the physical meaning of the equations obtained. The investigation of this interesting question has long been hindered by the fact, to some extent accidental, that for a plane Tsuzuki soliton the equality is also valid at a finite velocity.
In order to apply thermodynamics to a moving soliton, it is necessary to transfer to a reference frame which moves relative the lab frame with velocity V and where the soliton is at rest. According to the general Galilean transformation rule for mechanical quantities, the soliton energy in this frame is given by
[TABLE]
, , (15),
[TABLE]
This quantity cannot, however, be identified so far with . Due to the presence of the counterflow, also outside of the soliton the number of particles changes by a finite amount . As , the density of these particles tends to zero and cannot be measured, so DNcfl should be subtracted from :
[TABLE]
The quantity is easily calculated using the Bernoulli hydrodynamic equation valid in the superfluid gas outside of the soliton:
[TABLE]
where is the chemical potential of the gas at rest expressed in terms of its number density, and is the gas velocity. In the ground state, one has . Upon creating a soliton, . Thus, the creation of a soliton changes by the quantity . The corresponding change in the number density is , and a change in the number of particles is written out as
[TABLE]
where I have made use of equation (11) for . Substituting Eqns (17) and (20) into Eqn (18, we finally obtain the deficiency in the number of particles in the soliton:
[TABLE]
Using definition (3) of the effective number of atoms and expression (13) for momentum , the desired expression of in terms of and looks as follows:
[TABLE]
For the Tsuzuki soliton, all the considered quantities can be expressed explicitly in analytical form by solving the Gross-Pitaevskii equation. Equations ((14), (21) then give
[TABLE]
independent of velocity . The same result is obtained by directly integrating (6).
Let us return to (21). We first eliminate from this equation by making use of Eqn (13) and then proceed by using the following relation between the derivatives, which is valid if canonical equation (9) is satisfied:
[TABLE]
As a result, we arrive at the equation for :
[TABLE]
or, taking into account the equation for the speed of sound, , we find in the upshot:
[TABLE]
It is in this form that the equation was first presented in Ref. Cam13 , see Eqn (3.16). This equation is convenient to apply when the soliton energy is expressed as a function of , not of , as is commonly the case with microscopic theories based on exactly solvable models. As for equations, analogous to the mean field theory GP equation, calculations using them involve the variables , . Equation (25) has been employed to calculate in a one-dimensional Fermi gas SB16 . Notice that by substituting from Eqn (26) into Eqn (13) we obtain, by resorting to the canonical momentum definition (9), the equation which defines the phase jump in terms of the derivatives of .
IV 4. Nontrivial example. Magnetic soliton
As I have already noted, the application of the obtained relations to a plane soliton in a weakly nonideal Bose gas gives a trivial result (23). There are currently only few analytical solutions that describe solitons. In this section, I will apply the obtained relations to the recently predicted phenomenon of a ‘magnetic soliton’ in the mixture of two Bose-Einstein condensates residing in different hyperfine triplet states QPS16 . Such a mixture is described by a system of two coupled Gross-Pitaevskii type equations. However, the problem greatly simplifies if the inequality
[TABLE]
holds, where and are scattering lengths for atoms in the same state, and is the scattering length for atoms in different states. Under this condition, the equations describing the dynamics of the total gas number density separate from those for the difference of the component number densities. I will consider a symmetric case, in which and the unperturbed densities are equal, . The essential point is that small perturbations of the density travel at sound speed , where is the interaction constant equal to in the case of purely one-dimensional motion. The chemical potential is equal to the usual value for a condensate, . As for the difference , which has the meaning of the gas spin polarization, its perturbations travel with the speed of ‘spin sound’:
[TABLE]
where is the small parameter of the problem, . Notice that the total number density is perturbed weakly. In a similar way, it is possible to construct an analytical solution describing a plane ‘magnetic soliton’, i.e., a localized region in which , and the total number density is constant in the first approximation. The variables involved are and of two order parameters, instead of which it is convenient to introduce the phase difference and the phase sum . In the following, we will only need the energy of the magnetic soliton QPS16 :
[TABLE]
and the jump in the phase sum
[TABLE]
Equation (13) for the canonical momentum is readily extended to the case of two condensates:
[TABLE]
At this point, we should take into account that the total number density also remains constant within the soliton, which means that the first term in this equation is small and can be disregarded. (It can be shown that .) Thus, we obtain
[TABLE]
The canonical momentum of the magnetic soliton is almost completely determined by the counterflow. From Eqn (32), the following simple expression for the soliton energy as a function of the momentum can be derived:
[TABLE]
Differentiating expressions (29) yields the soliton inertial mass and the effective number of particles :
[TABLE]
While both these quantities diverge on approaching the magnetic sound speed, their ratio (which enters the equation of motion (2)) remains finite:
[TABLE]
Let us now evaluate the depletion of the number of particles in a magnetic soliton. Equation (21) for the case of two condensates takes the form
[TABLE]
or, expressing in terms of according to Eqn (32), we obtain
[TABLE]
A simple calculation gives
[TABLE]
We see that, unlike the Tsuzuki soliton, and behave totally differently as . At , these quantities are equal (as they should be).
IV.1 5. Derivation the relation between
and directly from equations
In this section, we will derive equation (21) directly from an equation that generalizes the Gross-Pitaevskii equation. Such generalized equations are widely applied in soliton theory, if the system can be described by a mean field theory. Among such problems is, in particular, that of applying the GP equation to the study of solitary waves in a cylindrical trap. The point is that simple relation (23) is valid only for a plane Tsuzuki soliton. If, however, a radial confining potential is present, then even in the case of an ordinary soliton the equations obtained above should be used, let alone more complex solitary waves that exist in such a geometry KP03 ; BR02 .
I will assume that the system is described by the energy functional , where is the order parameter (or the wave function) , so that . (I set , thus limiting the problem to the case of bosons.)
The equation for is obtained by varying of the the energy functional of the grand canonical distribution over
[TABLE]
where is
[TABLE]
For a running soliton, the solution is , so that the equation can be rewritten as
[TABLE]
Let us now determine and in terms . The energy of the gas in the presence of a soliton is and . On the other hand, differentiating Eqn (40) at constant obviously gives
[TABLE]
because . Thus, we obtain
[TABLE]
Differentiation of the functional yields
[TABLE]
where the replacement should be made after differentiation. Eliminating the variational derivatives with the help (41) results in
[TABLE]
Notice that, given this equation, no additional calculations are needed to show that for a plane Tsuzuki soliton . As shown in Ref. PS16 , Eqn (5.56)] the solution in this case can be written out in a form in which is independent of and , bringing the second term in Eqn (43) to zero. Substituting into Eqn (43) gives, after simple algebra, the following expression
[TABLE]
In the second term of this equation, we can integrate with respect to to obtain
[TABLE]
where account was taken of the fact that is independent of and . Using the local momentum definition (7), we arrive at the equation
[TABLE]
which taking into account Eqn (13), is identical to Eqn (21).
V 6. Conclusion
The theoretical description of solitary waves is complex and requires a microscopic theory, because the characteristic core thickness is on the order of the correlation length of particles in the system. Accordingly, the comparison of theory with experiment provides an important insight into the validity of the theoretical approach used. The study of soliton motion in an elongated trap is the most important of the experiments available. Comparing theory with experiment using the observables and opens new possibilities. This is especially true of numerical simulations, when these two quantities are easily determined and comparison with the obtained equation of motion makes it possible to test the self-consistency of calculations and their underlying theory, as well as allowing the estimation of the computation accuracy.
**AFTERWORD
**The present paper has been submitted to the special October 2016 issue of Uspekhi Fizicheskikh Nauk [Physics-Uspekhi] journal on the occasion of the 100th anniversary of the birth of V. L. Ginzburg. He was a remarkable physicist recognized for his classical contributions to diverse areas of theoretical physics. My personal communications with him contributed much to my development as a scientist, and I was always an admirer of his personal qualities. The beginning of our friendship - one that lasted uninterrupted until his death - was our joint work on the theory of superfluidity in 4He near the -point GP58 ; G04 . From the very beginning I was greatly impressed by the clarity of his thought and by the total absence of pomposity in his manners. A second intersection of our activities had to do with the theory of van der Waals forces. The theory of these forces, which I E Dzyaloshinskii, E M Lifshitz, and I [15, 16] developed for an electromagnetic field in energy-absorbing dielectrics, was formulated in terms of quantum field theoretical diagrammatic techniques. Ginzburg asked me then whether this could be done without applying this technique, and I was firmly confident it could not. Shortly thereafter, however, he devised a clever way to overcome absorption- related difficulties and developed (with Yu S Barash) a complete theory [17] which, among other things, made it possible to get rid of some cumbersome calculations. The theory of solitons, which is the subject of this article, was to my knowledge never among his interests. But the theory of solitons in superfluid Fermi systems always and inevitably uses the boson order parameter, i.e., the Ginzburg - Landau wave function. It should be noted, by the way, that the Ginzburg - Landau theory only increases in importance as time goes on. Of course and alas, nothing can replace direct personal communication but a soothing fact is that V L Ginzburg’s work remains and will be of service to future generations of physicists. Of special note is V L Ginzburg’s role as the Chief Editor of the Uspekhi Fizicheskikh Nauk [Physics - Uspekhi] journal [18]. His continual work in the journal lasted, literally, to the last day of his life, and it was V L Ginzburg’s constant effort to pursue impartiality and firm principles in the editorial policy.
**Acknowledgments
**I am grateful to D M Gangardt, F Dalfovo, and S Giorgini for fruitful discussions of the subject. This work was supported by ERC through a QGBE grant, by a QUIC grant from the Horizon2020 FET program, and by Provincia Autonoma di Trento.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) Tsuzuki T J. Low Temp. Phys. 4 , 441 (1971)
- 2(2) Busch Th and Anglin J R Phys. Rev. Lett. 84 , 2298 (2000)
- 3(3) Konotop V V and Pitaevskii L P Phys. Rev. Lett. 93 , 240403 (2004)
- 4(4) Komineas, S and Papanicolaou N Phys. Rev. A 68 043617 (2003)
- 5(5) Pitaevskii L P and Stringari S, Bose-Einstein Condensation and Superfluidity , (Orford University Press, New York, 2016).
- 6(6) Scott R G, Dalfovo F, Pitaevskii L P, and Stringari S Phys. Rev. Lett. 106 , 185301 (2011)
- 7(7) Pitaevskii JETP 119 1097 (2014); ar Xiv:1311.4693
- 8(8) Schecter M, Gangardt D M, and Kamenev A Ann. Phys. (N. Y) 327 639 (2012)
