9512.net

甜梦文库

甜梦文库

当前位置：首页 >> >> # Scenario of strongly non-equilibrium Bose-Einstein condensation

Scenario of strongly non-equilibrium Bose-Einstein condensation

Natalia G. Berlo?1 and Boris V. Svistunov2

1

Department of Mathematics, University of California, Los Angeles, CA, USA, 90095-1555 2 Russian Research Center “Kurchatov Institute”, 123182 Moscow, Russia? (Dated: July 10, 2001)

arXiv:cond-mat/0107209v3 [cond-mat.soft] 18 Dec 2001

Large scale numerical simulations of the Gross-Pitaevskii equation are used to elucidate the selfevolution of a Bose gas from a strongly non-equilibrium initial state. The stages of the process con?rm and re?ne the theoretical scenario of Bose-Einstein condensation developed by Svistunov, Kagan, and Shlyapnikov [1, 2, 3]: the system evolves from the regime of weak turbulence to super?uid turbulence via states of strong turbulence in the long-wavelength region of energy space.

PACS numbers: 03.75.Fi, 02.60.Cb, 05.45.-a, 47.20.Ky

I. A.

INTRODUCTION

Statement of the problem

The experimental realization of Bose-Einstein condensates (BEC) in dilute alkali and hydrogen gases [4] and more recently in a gas of metastable helium [5] has stimulated a great interest in the dynamics of BEC. In the case of a pure condensate, both equilibrium and dynamical properties of the system can be described by the GrossPitaevskii equation (GPE)[6] (in nonlinear physics this equation is known as defocusing nonlinear Schr¨dinger o equation). The GPE has been remarkably successful in predicting the condensate shape in an external potential, the dynamics of the expanding condensate cloud, the motion of quantized vortices; it is also a popular qualitative model of super?uid helium. An important and often overlooked feature of the GPE is that it gives an accurate microscopic description of the formation of BEC from the strongly degenerate gas of weakly interacting bosons [7, 8]. By large scale numerical simulations of the GPE it is possible, in principle, to reveal all the stages of this evolution from weak turbulence to super?uid turbulence with a tangle of quantized vortices as was argued by Svistunov, Kagan, and Shlyapnikov [1, 2, 3] (for a brief review see Ref. 9). This task has up to now remained unful?lled, though some important steps in this direction have been made in Refs. [10, 11]. We would also like to mention the description of the equilibrium ?uctuations of the condensate and highly occupied non-condensate modes using the time-dependent GPE [12, 13]. The goal of this paper is to obtain the conclusive description of the process of strongly non-equilibrium BEC formation in a macroscopically large uniform weakly interacting Bose gas using the GPE. We are especially interested in tracing the development of the so-called coherent regime [1, 2, 3, 7] at a certain stage of evolution. According to the theoretical predictions [2, 3], this

? Electronic

address: svist@kurm.polyn.kiae.su

nberlo?@math.ucla.edu,

regime sets in after the breakdown of the regime of weak turbulence in a low-energy region of wavenumber space. It corresponds to the formation of the super?uid shortrange order which is the state of super?uid turbulence with quasi-condensate local correlation properties. The notions of weak turbulence and super?uid turbulence are crucial to our understanding of ordering kinetics. In the regime of weak turbulence (for an introduction to the weak turbulence theory for the GPE see Ref. 14), the “single-particle” modes of the ?eld are almost independent due to weak nonlinearity of the system. The smallness of correlations between harmonics in the regime of weak turbulence implies the absence of any order. On the other hand, the regime of super?uid turbulence (for an introduction, see Ref. 15) is the regime of strong coherence where the local correlation properties correspond to the super?uid state, but the long-range order is absent because of the presence of a chaotic vortex tangle and non-equilibrium long-wave phonons [3]. In the case of a weakly interacting, gas the local super?uid order is synonymous to the existence of quasi-condensate correlation properties [2]. In a macroscopically large system, the cross-over from weak turbulence to super?uid turbulence is a key ordering process. Indeed, in the regime of weak turbulence there is no order at all, while in the regime of super?uid turbulence the (local) super?uid order has already been formed. Meanwhile, a rigorous theoretical as well as numerical or experimental studies of this stage of evolution have been lacking. The general conclusions concerning this stage [2, 3] were made on the basis of qualitative analysis that naturally contained ad hoc elements. The di?culty with an accurate analysis of the transition from weak turbulence to super?uid turbulence comes from the fact that the evolution between these two qualitatively di?erent states takes place in the regime of strong turbulence which is hardly amenable to analytical treatment. Large computational resources are necessary for a numerical analysis of this stage since the problem involves signi?cantly di?erent length scales and, therefore, requires high spatial resolution. In the present paper we demonstrate that this problem can be unambiguously solved with a powerful enough computer. Our numerics clearly reveal the dramatic process of transformation from weak turbulence to super?uid

2 turbulence and, thus, ?lls in a serious gap in rigorous theoretic description of the strongly non-equilibrium BEC formation kinetics in a macroscopic system. The paper is organized as follows. In Sec. I B we discuss the relevance of the time-dependent GPE to the description of the BEC formation kinetics and its relation to the other formalisms. In Sec. I C we render some important details of the evolution scenario that we are going to observe. In Sec. II we describe our numerical procedure. In Sec. III we present the results of our simulations. In Sec. IV we conclude with outlining the observed evolution scenario and making a comment on the case of a con?ned gas.

B. Time-dependent Gross-Pitaevskii equation and BEC formation kinetics

In this Section we will discuss the question of applicability of the GPE to the BEC formation kinetics, and its connections to the other—full-quantum—treatments. These discussion is especially relevant in the wake of a recent controversy on the applicability of the classical-?eld description to a non-condensed bosonic ?eld. A general analysis of the kinetics of a weakly interacting bosonic ?eld was performed in Ref. 16. In terms of the coherent-state formalism, it was demonstrated that if the occupation numbers are large and somewhat uncertain (with the absolute value of the uncertainty being much larger than unity and with a relative value of the uncertainty being arbitrarily small), then the system evolves as an ensemble of classical ?elds with corresponding classical-?eld action. (For an elementary demonstration of this fact for a weakly interacting Bose gas and especially for the discussion of the structure of the initial state see Ref. 8.) This has a direct analogy with the electro-magnetic ?eld: (i) the density matrix of a completely disordered weakly interacting Bose gas with large and somewhat uncertain occupation numbers is almost diagonal in the coherent-state representation, so that the initial state can be viewed as a mixture or statistical ensemble of coherent states; (ii) to the leading order each coherent state evolves along its classical trajectory which in our case is given by the GPE i? h h ?2 2 ?ψ =? ? ψ + U |ψ|2 ψ, ?t 2m (1)

where ψ is the complex-valued classical ?eld that speci?es the index of the coherent state, m is the mass of the boson, U = 4π? 2 a/m is the strength of the δ-function interh action (pseudo-)potential, and a is the scattering length. [Note that in a strongly interacting system it is impossible to divide single-particle modes into highly occupied and practically empty ones, so the requirement of weak interactions is essential here. In a strongly interacting system, there are always quantum modes with occupation numbers of order unity that are coupled to the rest of the system.] Therefore, the behavior of the quantum

?eld is equivalent to that of an ensemble of classical matter ?elds. It is important to emphasize that in the context of the strongly non-equilibrium BEC formation kinetics the condition of large occupation numbers is self-consistent: the evolution leads to an explosive increase of occupation numbers in the low-energy region of wavenumber space [1] where the ordering process takes place. Even if the occupation numbers are of order unity in the initial state, so that the classical matter ?eld description is not yet applicable, the evolution that can be described at this stage by the standard Boltzmann quantum kinetic equation inevitably results in the appearance of large occupation numbers in the low-energy region of the particle distribution (see, e.g., Ref. [17]). The blow-up scenario [1] indicates that only low-energy part of the ?eld is initially involved in the process. Therefore, one can switch from the kinetic equation to the matter ?eld description for the long-wavelength component of the ?eld at a certain moment in the evolution when the occupation numbers become appropriately large. As the time scale of the formation of the local quasi-condensate correlations is much smaller than any other characteristic time scale of evolution [2], the cut-o? of the high-frequency modes, associated with the matter ?eld description, is not important. By the time the interactions (particle exchange) between the high- and low-frequency modes became signi?cant, the local super?uid order had already been developed. The order of interaction wavelengths is of typical thermal deBroglier wavelength and, therefore, these interactions are essentially local with respect to the quasi-condensate and can be described in terms of the kinetic equation[1, 17]. The thesis of the applicability of the matter ?eld description at large occupation numbers was justi?ed by the analysis of Ref. 16. Later Stoof questioned the validity of this thesis by introducing the concept of “quantum nucleation” of condensate as a result of an essentially quantum instability [18]; the path-integral version of Keldysh formalism was used to substantiate this concept. For a criticism of the concept of “quantum nucleation” see Refs. 8, 19. It is important to emphasize, however, that the pathintegral approach developed in [18] appears to be the most fundamental, powerful, and universal way of deriving the basic equations for the dynamics of a weakly interacting Bose gas. In particular, we believe that the demonstration of the applicability of the time-dependent GPE to the description of highly occupied single-particle modes of a non-condensed gas within this formalism would be the most natural since the e?ective action for the bosonic ?eld is simply the classical-?eld action of the GPE. Basically, one simply has to make sure that for the modes with large and somewhat uncertain occupation numbers the main contribution to the path integral comes from a close vicinity of the classical trajectories with the quantum corrections being relevant only on large enough times of evolution.

3 An interesting all-quantum description of the BEC kinetics was implemented in Ref. 11. This technique is based on associating the quantum-?eld density matrix in coherent-state representation with a correlator of a pair of classical ?elds which evolution is governed by a system of two coupled nonlinear equations with stochastic terms. Using this method the authors performed a numerical simulation of the BEC formation in a trapped gas of a moderate size. We believe (in particular, in view of general results of Refs. 8, 16) that this approach might be further developed analytically to demonstrate explicit overlapping with the other treatments and with the time-dependent GPE. Indeed, the form of the system of two coupled equations of Ref. 11 is reminiscent of that of the GPE. This suggests that under the condition of large occupation numbers the system can be decoupled leading to the GPE for the diagonal part of the density matrix with relative smallness of the non-diagonal terms. If the standard Boltzmann equation is applicable, so that the system can be viewed as an ensemble of weakly coupled elementary modes [20], it is natural to expect that the equations of Ref. 11 should lead to the kinetic equation. A natural way for deriving kinetic equation from the dynamic equations of Ref. 11 is to utilize the standard formalism of the weak turbulence theory. In the case of the GPE, the weak turbulence approximation leads to the quantum-?eld Boltzmann kinetic equation without spontaneous scattering processes (see, e.g., Ref.[14]; note also that it is the simplest way to make sure that the GPE is immediately applicable once the occupation numbers are large). It is natural to expect that in the full-quantum treatment of Ref. 11 the weak-turbulence procedure over the dynamic equations would result in the complete quantum-?eld Boltzmann kinetic equation with the spontaneous processes retained. Unfortunately, we are not aware of such investigations of the equations of Ref. 11 that might be very instructive for the general understanding of the dynamics of a weakly interacting Bose gas.

C. Initial state and evolution scenario

kinetic equation. The kinetic equation is obtained as the random-phase approximation of Eq. (1) for occupation numbers nk de?ned by ak a? ′ ≈ nk δk δk′ . Alternak tively, the weak-turbulence kinetic equation follows from the general quantum Boltzmann kinetic equation if one neglects spontaneous scattering as compared with stimulated scattering (because of large occupation numbers). Svistunov [1] and later Semikoz and Tkachev [17] considered the self-similar solution of the Boltzmann kinetic equation:

n? (t) = A??α (t)f (?/?0 ), 0 ?0 (t) = B(t? ? t) , ?α f (x) → x at x → ∞,

1/2(α?1)

t ≤ t? , f (0) = 1,

(3) (4) (5)

where ? = h2 k 2 /2m. The dimensional constants A and B ? relate to each other by (α ? 1)m3 U 2 A2 = λπ 3 ? 7 B 2(α?1) , h where the parameters α and λ were determined by numerical analysis as α ≈ 1.24 [17] and λ ≈ 1.2 [1]. The form of the function f was also determined numerically in Ref. [1]. The solution (3)-(5) has only one free parameter, say A, that depends on conditions in the “prehistoric” evolution. By “pre-historic” evolution we mean any sort of non-universal dynamics preceding the appearance of self-similarity. This dynamics is sensitive to the details of the initial condition or/and cooling mechanism as well as to the spontaneous-scattering terms in the kinetic equation which cannot be neglected until the occupation numbers are large enough. When the self-similar regime sets in at a certain step of evolution all the particular details of the previous evolution are absorbed in the single parameter A. The self-similar solution (3)-(5) describes a wave in energy space propagating from high to lower energies. The energy ?0 (t) de?nes the “head” of the wave. The wave propagates in a blow-up fashion: ?0 (t) → 0 and n?0 (t) → ∞ as t → t? . In reality the validity of the kinetic equations associated with the random phase approximation breaks down shortly before the blow-up time t? . This moment marks the beginning of a qualitatively di?erent stage in the evolution the coherent regime: strong turbulence evolves into a quasi-condensate state. In the coherent regime the phases of the complex amplitudes ak of the ?eld ψ become strongly correlated and the periods of their oscillations are then comparable with the evolution times of the occupation numbers. The formation of the quasi-condensate is manifested by the appearance of a well-de?ned tangle of quantized vortices and, therefore, by the beginning of the ?nal stage of the evolution: super?uid turbulence. In this regime the vortex tangle starts to relax over macroscopically large times.

In what follows we consider the evolution of Eq. (1) starting with a strongly non-equilibrium initial condition ψ(r, t = 0) =

k

ak exp(ikr),

(2)

where the phases of the complex amplitudes ak are distributed randomly. Such an initial condition follows from the microscopic quantum-mechanical analysis of the state of a weakly interacting Bose gas in the kinetic regime [8]. Theoretical investigations of the relaxation of such an initial state towards the equilibrium con?guration were performed by Svistunov, Kagan, and Shlyapnikov [1, 2, 3]. The analysis revealed a number of stages in the evolution. Initially the system is in the weak turbulence regime and thus can be described by Boltzmann

4

II. A. NUMERIC PROCEDURE Finite-di?erence scheme

directly from the self-similar solution Eq. (2) with (3)-(5), so that: ak = ξk n0 f (?/?0 ) exp[iφk ], (11)

We performed a large scale numerical integration of a dimensionless form of the GPE ? 2i ?ψ = ?2 ψ + |ψ|2 ψ, ?t (6)

starting with a strongly non-equilibrium initial condition. Our calculations were done in a periodic box N 3 , with N = 256, using a fourth-order (with respect to the spatial variables) ?nite-di?erence scheme. The scheme corresponds to the Hamiltonian system in the discrete variables ψijk : i where H= 1 2

? ψijk ijk 1 [? 12 (ψi+2,j,k ? ψi?2,j,k

?ψijk ?H = , ? ?t ?ψijk

(7)

+ ψi,j+2,k ?ψi,j?2,k + ψi,j,k+2 ? ψi,j,k?2 ) 4 + 3 ( ψi+1,j,k ?ψi?1,j,k + ψi,j+1,k ? ψi,j?1,k

1 + ψi,j,k+1 ?ψi,j,k?1 )] ? 2 |ψijk |4

(8)

[in the numerics we set the space step in each direction of the grid as dx = dy = dz = 1]. Equation (7) conserves the energy H and the total particle number ijk |ψijk |2 exactly. In time stepping, the leap-frog scheme was implemented i

n+1 n?1 ψijk ? ψijk

2dt

=

?H ? ?ψijk

n

,

(9)

with dt = 0.03. To prevent the even-odd instability of the leap-frog iterations, we introduce the backward Euler step i

n+1 n ψijk ? ψijk

where ξk and φk are random numbers. [Note that in the simulations the momentum k is the momentum of the lattice Fourier transform.] The phase φk is uniformly distributed on [0, 2π] in accordance with the basic statement of the theory of weak turbulence and with the explicit microscopic analysis of corresponding quantum ?eld states [8]. The choice of ξk is rather arbitrary, we only ?x its mean value to be equal to unity, introducing therefore the parameter n0 . The weak-turbulence evolution is invariant to the details of the statistics of |ak |. By the time the system enters the regime of strong turbulence, the proper statistics is established automatically since each harmonic participates in a large number of scattering events. We tried di?erent distributions for ξk and saw no systematic di?erence in the evolution picture. The main set of our simulations was done with the distribution function w(ξk ) = exp (?ξk ) (heuristically suggested by equilibrium Hibbs statistics of harmonics in the noninteracting model). When choosing the parameters of the initial condition (2) speci?ed by the complex Fourier amplitudes (11), we have to take ?0 small enough to be free from systematic error of large ?nite-di?erences. On the other hand, taking ?0 too small reduces the physical size of the system. Let us de?ne one period of the amplitude oscillation as tp = 2π/?0 and the number of periods before the blow-up as P = t? /tp . When choosing the value of n0 in combination with ?0 , we would like to avoid having P too small when the time scale of the kinetic regime becomes too short, or having P too large, when the ?nite-size e?ects (the discreteness of the k) dominate the calculation. Given the maximal available grid size N = 256, we found that it is optimal to take n0 = 15 and ?0 = 1/18, so that tp ≈ 113, t? = 4λπ 3 /(α ? 1)?2 n2 ≈ 893, and P ≈ 8. 0 0

III. DATA PROCESSING AND RESULTS

dt

=

?H ? ?ψijk

n+1

,

(10)

every 104 time steps. The leap-frog scheme is nondissipative, so the only loss of energy and of the total particle number occurs during the backward Euler step and, since we take this step very rarely, these losses are insigni?cant. The code was tested against known solutions of the GPE: vortex rings and rarefaction pulses [21]. The simulations were performed on a Sun Enterprise 450 Server and took about three months to complete for the main set of calculations discussed below.

B. Initial condition

To eliminate the computationally expensive (and the least physically interesting) transient regime, we started

The instantaneous values of the occupation numbers nk (t) = |ak (t)|2 are extremely ‘noisy’ functions of time. To be able to draw some quantitative comparisons and conclusions we need either to perform some averaging or to deal with some coarse-grained self-averaging characteristics of the particle distribution. Taking the second option, we introduce shells in momentum space. By the i-th shell (i = 1, 2, 3, . . .) we understand the set of momenta satisfying the condition i ? 1 ≤ log2 (k/2π) < i. The idea behind this de?nition is that each shell represents some typical momentum (wavelength) scale and thus allows to introduce a coarse-grained characteristic of the occupation numbers corresponding to a given scale. Namely, for each shell i we introduce the mean occupa(shell i) nk (t)/Mi , where Mi is the tion number ηi (t) = number of harmonics in the i-th shell. The harmonic

5

200 150

? ?

?

? ??

1.50 1.25

? ? ?

?? ???? ????

? ?

???? ???

150

100 50 0

100 200 300 400 500

t

1.00

4

100

? ??

3 2 1

50

140 120 100 80 60 40 20

? ?

?

0 100 200 300 400 500

0.75 0.50 0.25

t

?

?

0

0 1 2 3 4 5 6 7

?

0

1000 2000 3000 4000

t

?

10

20

30

40

50

FIG. 1: The time evolution of ηi (t = 100j) in the weak turbulence regime for j = 0, . . . , 6. In the insets we show the theoretical self-similar solution (3)-(5) (solid line) and the solution obtained through the numerical integration of (6) (dashed line) for the shells i = 1 (a) and i = 2 (b).

FIG. 2: Evolution of the integral distribution of particles Fk = k′ ≤k nk′ . Notice the appearance of a ‘shoulder’ of Fk indicative of the quasi-condensate formation. The evolution of nk=0 is presented in the inset. Note the strong ?uctuations typical for the evolution of a single harmonic. The ?uctuations are also seen in the graph of the ?rst shell (see insert (a) of Fig. 1).

k = 0, which plays a special role (at the very end of the evolution), is not assigned to any shell. Another instructive coarse-grained characteristic of the particle distribution is the integral distribution function Fk = k′ ≤k nk′ which shows how many particles have momenta not exceeding k. We use function Fk to keep track of the formation of the quasi-condensate and to determine wavenumber span of the above-the-condensate particles. This information is used, in particular, for ?ltering out the high-frequency harmonics in order to interpret the results of our numerical calculations in super?uid turbulence regime. With the above-introduced quantities we now turn to the analysis of the results of our numerical simulations. The self-similar character of the evolution is clearly observed in Fig. 1. Inserts in Fig. 1 give the comparison of the theoretical prediction of the evolution of the occupation number function n? (t) de?ned by Eq. (3) and the evolution of the ?rst and the second shells. The agreement with the theoretical predictions [1] is quite good for t < 600. After that the numerical solution deviates from the self-similar theoretical solution which is the manifestation of the onset of the strong turbulence stage of evolution. As follows from the dimensional analysis (see, e.g., Ref. [9]), the characteristic time, t0 , and the characteristic wave vector, k0 , at the beginning of the strong turbulence regime are given by the relations t? ? t0 ? C0 [? 2α+5 /m3 U 2 A2 ]1/(2α?1) , h k0 ? C1 [AU (m/? )α+1 ]1/(2α?1) , h (12) (13)

salient characteristic of the distribution is the shoulder which becomes sharper and sharper as the evolution continues. Note that by de?nition of the function Fk , the height of the shoulder is equal to the number of the quasicondensate particles. From Fig. 2 we estimate k0 ? 15 which means that C1 ? C0 ? 40 . (14)

where C0 are C1 some dimensionless constants. Our numerical results (Fig. 1) indicate that t? ? t0 ? 300 which implies C0 ? 40. After the formation of the quasicondensate (t > 1000), the distribution of particles acquires a bimodal shape which is seen in Fig. 2. The

Within the coherent regime the momentum distribution of the harmonics yields rather incomplete picture of the evolution and it becomes reasonable to follow the ordering process in coordinate space. The tracing the topological defects in the phase of the long-wavelength part of the complex matter ?eld ψ is very important since the transformation of these defects into a tangle of well-separated vortex lines is the most essential feature of the super?uid short-range ordering [3]. To this end we ?rst ?lter out the high-frequency harmonics by per2 forming the transformation ak → ak max{1 ? k 2 /kc , 0}, where kc is a cut-o? wave number. When the function Fk has a pronounced quasi-condensate shoulder, the natural choice is to take kc somewhat larger than the momentum of the shoulder in order to remove the above-thecondensate part of the ?eld ψ. In the regime of weak turbulence, when there is no quasi-condensate, the procedure of ?ltering is ambiguous: the distribution is not bimodal, so there is no special low momentum kc ; also, the structure of the defects in the ?ltered ?eld essentially depends on the cut-o? parameter and, thus, has no physical meaning. The results of visualizing the topological defects are presented in Fig. 3. The formation of a tangle of wellseparated vortices and the decay of super?uid turbulence are clearly seen. This is the key point of our simulation.

6

? FIG. 3: Evolution of topological defects in the phase of the long-wavelength part ψ of the ?eld ψ in the computational box ? ? 2563 . The defects are visualized by isosurfaces |ψ|2 = 0.05 |ψ|2 . High-frequency spatial waves are suppressed by the factor 2 max{1 ? k2 /kc , 0}, where the cut-o? wave number is chosen according to the phenomenological formula kc = 9 ? t/1000.

To the best of our knowledge, this is the ?rst unambiguous demonstration of the formation of the state of super?uid turbulence in the course of self-evolution of weakly interacting Bose gas. This result forms a solid basis for the analysis of the further stages of long-range ordering in terms of well-developed theory of super?uid turbulence that was performed in Ref. 3 (see also Ref. 22). The characteristic time of the evolution of the vortex tangle depends on the typical interline spacing, R, as R2 / ln(R/a0 ), where a0 is the vortex core size (see, e.g., [3]). During the ?nal stage of evolution, when R is of the order of linear size of the computational box, the slowing down of the relaxation process makes numerical simulation of the ?nal stage of the vortex tangle decay to be enormously expensive in a large computational box. For example, according to the above-mentioned estimate of the relaxation time, to achieve the complete disappearance of the vortex tangle in our N = 256 system we would need several years. To observe this ?nal stage of the vortex tangle decay, we repeated the calculations for a smaller computational box with N = 128 (reducing in this way the computational time by a factor of ? 32 = 23 × 22 ); see Fig. 4. Parameters of the initial condition are ? = 1/2 and n0 = 2π, so that the number of periods before the blow-up is P ≈ 5. A single vortex ring remains at t = 4000 as the result of the turbulence decay; see Fig. 5(a).

The above-mentioned ?ltering method allows us to visualize the position of the core of a quantized vortex line, but not the actual size of the core since we force the solution to be represented by a relatively small number of harmonics. To get a better representation of an actual size of the core as well as to resolve another objects of interest—rarefaction pulses [21], which are likely to appear in the course of transformation of strong turbulence into super?uid turbulence, we implement a di?erent type of ?ltering based on time averaging. We introduce a Gaussian-weighted time average of the ?eld ψ:

ψijk (t) =

ψijk (τ ) exp[?(τ ? t)2 /100] dτ .

(15)

The width of the Gaussian kernel in (15) is chosen in such a way that the (disordered) high-frequency part of the ?eld ψ is averaged out revealing the strongly correlated low-frequency part ψ. Fig. 5 compares the density isosurfaces obtained by two di?erent methods: by highfrequency suppression (Fig. 5a) and by time averaging (Fig. 5b). In the latter case we reveal the actual shape of the vortex core and resolve the rarefaction pulses.

7

? FIG. 4: Evolution of topological defects in the phase of the long-wavelength part ψ of the ?eld ψ in the computational box ? ? 1283 . The defects are visualized by isosurfaces |ψ|2 = 0.05 |ψ|2 . High-frequency spatial waves are suppressed by the factor 2 max{1 ? k2 /kc , 0}, where the cut-o? wave number is chosen according to the phenomenological formula kc = 9 ? t/1000.

IV.

CONCLUSION

We have performed large scale numerical simulations of the process of strongly non-equilibrium Bose-Einstein condensation in a uniform weakly interacting Bose gas. In the limit of weak interaction under the condition of strong enough deviation from equilibrium the key stage of ordering dynamics—super?uid turbulence formation—is universal and corresponds to the process of self-ordering of a classical matter ?eld which dynamics is governed by the time-dependent Gross-Pitaevskii equation (defocusing nonlinear Schr¨dinger equation). The universality o implies independence of evolution from the details of initial processes such as, for example, cooling mechanism

and rate as well as from quantum e?ects such as spontaneous scattering. All the information about the evolution preceding the universal stage is absorbed in the single parameter A that de?nes scaling of characteristic time and wavenumber, in accordance with Eqs. (12)-(14). The most important features of the BEC formation scenario observed in our simulation are as follows. The low-energy part of the quantum ?eld characterized by large occupation numbers and, thus, described by a classical complex matter ?eld ψ obeying Eq. (1) initially evolves in a weak-turbulent self-similar fashion according to Eqs. (3)-(5). The occupation numbers at small energies become progressively larger. At the characteristic time moment t0 , given by Eq. (12), close to the formal blow-up time t? of the solution (3)-(5), the self-similarity

8 trapped gas is concerned, the situation becomes sensitive to the competition between ?nite size and nonlinear effects. If nonlinear e?ects dominate, the basic physics of the ordering process is predicted to be analogous to that revealed by our simulation [23]. If ?nite-size e?ects dominate (which means that the initial size of the condensate is smaller than corresponding healing length, so that, for example, vortices cannot arise in principle [23]), the ordering kinetics is substantially simpli?ed being reduced to the growth of genuine condensate [20, 24]. Clearly, our numerical approach can be extended to the case of a trapped Bose gas by simply including a term with an external potential in Eq. (1). Such a simulation could provide a deeper interpretation of the ?rst experiments on the kinetics of BEC formation [25, 26] answering, in particular, the question of whether the process involves the formation of vortex tangle; and if not, under which conditions one may expect formation of super?uid turbulence (quasi condensate) in a realistic experimental situation.

? ?

? ?

FIG. 5: Comparison of two isosurfaces obtained by di?erent ?ltering techniques. The solution at t = 4000 is obtained by numerical integration of (6) in the periodic box with N = ? ? 128. The isosurface |ψ|2 = 0.05 |ψ|2 is plotted in Fig. 5(a) using the high-frequency ?ltering with kc = 5. The isosurface |ψ|2 = 0.2 |ψ|2 is plotted in Fig. 5(b), where ψ is de?ned by Eq.(15).

of the energy distribution breaks down. The distribution gradually becomes bimodal; the low-energy quasicondensate part of the ?eld sets to the state of super?uid turbulence characterized by a tangle of the vortex lines. The further evolution of the quasi-condensate is independent of the rest of the system (apart from a permanent ?ux of the particles into the quasi-condensate) and basically is the process of relaxation of super?uid turbulence. All vortex lines relax in a macroscopically large time. In the present paper, we dealt with the case of macroscopically large uniform system. As far as the case of a

Acknowledgments

NGB was supported by the NSF grant DMS-0104288. BVS acknowledges a support from Russian Foundation for Basic Research under Grant 01-02-16508 and from the Netherlands Organization for Scienti?c Research (NWO). The authors are very grateful to Professor Paul Roberts for fruitful discussions.

[1] B.V. Svistunov, J. Moscow Phys. Soc. 1, 373 (1991). [2] Yu. Kagan, B.V. Svistunov, and G.V. Shlyapnikov, Zh. Eksp. Teor. Fiz. 101, 528 (1992) [Sov. Phys. JETP 75, 387 (1992)]. [3] Yu. Kagan and B.V. Svistunov, Zh. Eksp. Theor. Fiz. 105, 353 (1994) [Sov. Phys. JETP 78, 187 (1994)]. [4] M.H. Anderson et al., Science 269, 198 (1995); K.B. Davis et al., Phys. Rev. Lett. 75, 3969 (1995); C.C. Bradley et al., Phys. Rev. Lett. 78, 985 (1997). [5] A. Robert et al., Science Express 10.1126/science. 1060622 (2001); F. Pereira Dos Santos et al., Phys. Rev. Lett. 86, 3459 (2001). [6] V.L. Ginzburg and L.P. Pitaevskii, Zh. Eksp.Teor. Fiz. 34, 1240 (1958) [Sov. Phys. JETP 7, 858 (1958)]; E.P. Gross, Nuovo Cimento 20, 454 (1961); L.P. Pitaevskii, Soviet Physics JETP, 13, 451 (1961). [7] E. Levich and V. Yakhot, J. Phys. A: Math. Gen. 11, 2237 (1978). [8] Yu. Kagan and B.V. Svistunov, Phys. Rev. Lett. 79, 3331 (1997). [9] B.V. Svistunov, Kinetics of Strongly Non-Equilibrium Bose-Einstein Condensation, in Quantized Vortex Dynamics and Super?uid Turbulence (Lecture Notes in Physics, Vol. 571), Eds. C.F. Barenghi, R.J. Donnelly, and W.F. Vinen, Springer-Verlag, 2001 (cond-

mat/0009368). [10] K. Damle, S.N. Majumdar, and S. Sachdev, Phys. Rev. A 54, 5037 (1996). [11] P.D. Drummond and J.F. Corney, Phys. Rev. A, 60, R2661 (1999). The all-quantum simulation performed in this paper is similar to solving the GPE. [12] K. G?ral, M. Gajda, and K. Rz?zewski, Opt. Exp. 8, 92 o a˙ (2001). [13] M.J. Davis, S.A. Morgan, and K. Burnett, Phys. Rev. Lett. 87, 160402 (2001). [14] S. Nazarenko, Yu. Lvov, and R. West, Weak Turbulence Theory for the Gross-Pitaevskii Equation in Quantized Vortex Dynamics and Super?uid Turbulence (Lecture Notes in Physics, Vol. 571), Eds. C.F. Barenghi, R.J. Donnelly, and W.F. Vinen, Springer-Verlag, 2001. [15] R.J. Donnelly, Quantized Vortices in He II (Cambridge Studies in Low Temperature Physics Vol. 3), Cambridge University Press, 1991; C.F. Barenghi, R.J. Donnelly, and W.F. Vinen (Eds.), Quantized Vortex Dynamics and Super?uid Turbulence (Lecture Notes in Physics, Vol. 571), Springer-Verlag, 2001. [16] P. Carruthers and K.S. Dy, Phys. Rev. 147, 214 (1966). [17] D.V. Semikoz and I.I. Tkachev, Phys. Rev. D 55, 489 (1997). [18] H.T.C. Stoof, J. Low Temp. Phys. 114, 11 (1999); and

9

earlier papers by the same author cited therein. [19] In [18] it was argued that the quantum instability leads to a spontaneous formation of a homogeneous condensate on extremely short time scale. The evidence of this instability was presented using the path-integral version of Keldysh formalism developed for the Bose gas. The appearance of a term that corresponds to a uniform time-dependent external ?eld in the e?ective action and changes its sign was used as the indicator of this instability. Notice, however, that in the non-Euclidean case under consideration such a term can be immediately absorbed into the phase of the ?eld and, therefore, cannot e?ect the evolution. [20] C.W. Gardiner et al. Phys. Rev. Lett. 81, 5266 (1998); M.J. Davis, C.W. Gardiner, and R.J. Ballagh, Phys. Rev. A 62, 63608 (2000). C.A. Jones and P.H. Roberts, J. Phys. A: Gen. Phys. 15, 2599 (1982). Yu. Kagan and B.V. Svistunov, Pis’ma Zh. Eksp. Theor. Fiz. 67, 495 (1998) [JETP Lett. 67, 521 (1998)]. B.V. Svistunov, Phys. Lett. A 287, 169 (2001). M.J. Bijlsma, E. Zaremba, and H.T.C. Stoof, Phys. Rev. A 62, 63609 (2000). H.-J. Miesner et al., Science 279, 1005 (1998). M. K¨hl, T.W. H¨nsch, and T. Esslinger, condo a mat/0106642.

[21] [22] [23] [24] [25] [26]

赞助商链接

更多相关文章：
更多相关标签：