Abstract. We derive Ehrenfest like equations for the coupled Gross Pitaevskii equations (CGPE) which
describe the dynamics of the binary BoseEinstein condensate (BBEC) both in the free particle regime and
in the regime where condensate is well trapped. Instead of traditional variational technique, we propose a
new Ehrenfest based approach to explore so far unrevealed dynamics for CGPE and illustrate the possibility
of almost shape invariant states in both the regimes. In the absence of a trapping potential, when all the
interactions present in the system are attractive, it is possible for an initially mixed Gaussian state to
propagate with almost no change in width if the proper initial condition is satisfied. Even for repulsive
intra-atomic and attractive inter-atomic interaction (g ) one can tune |g | such that the width of the
propagating wave packet remains bounded within almost about 10%. We also discuss the dynamics of the
initially phase separated condensate and have shown the breakdown of the Gaussian nature of the wave
packets due to collisions. However, when the BEC is trapped in simple harmonic oscillator (SHO) potential,
for g > 0, it is possible for an initially overlapping state to retain its initial shape if g is less than a
c c
critical value (g ). If g exceeds g , an overlapping state can become phase separated while keeping its
shape unchanged.
1 Introduction and the Ehrenfest scenario directions are frozen out. However, the dimensionality
reduction is an approximation providing the effective one
Over the last few decades the studies of BoseEinstein dimensional or two dimensional results instead of gen-
condensates have revealed several interesting features aris- uine one dimensional and two dimensional results. In
ing from a nonlinearity that stems from a mean field principal, there are a number of techniques of reduc-
picture of atomic interactions. This leads to a nonlinear ing the relevant three dimensional GPE to an effectively
Schrodinger equation which in this context is called the one dimensional (quasi-low dimensional) dynamics [7,8].
Gross Pitaevskii equation (GPE) since the condensates This quasi-condensate [9] has the same density profile and
are produced in a trapping potential [13]. While the stat- local correlation properties as true condensates. We have
ics and dynamics of the single species condensate has been recently found [10] that introducing an approximation,
exhaustively researched, that of the binary condensate is based on Ehrenfest equation, which is independent of the
somewhat more problematic and hence some questions initial form of the wave function works well for the single
remain at a fairly basic level when an analytic treatment component system and provides reliable results for initial
is attempted. Some of these have to do with oscillation fre- shapes which are Gaussian or localized hyperbolic func-
quencies and dynamics of the condensate which is not in tions. However, our approach is complementary to that
equilibrium [4]. A useful approximation scheme has been of Navarro et al. who use a generalization of the varia-
discussed by Navarro et al. [5], who have used a variational tional technique. In this present work, we show that a
model [6] with a Gaussian trial function for each of the similar description using Ehrenfest relations can be set up
two condensates. The trap is actually three-dimensional. for the binary condensates also and can be very effective
But one can vary the frequencies in different directions in probing whether there can be a nearly shape invariant
to produce very elongated (cigar shaped) or highly flat- properties of initial wave packets.
tened (pancake shaped) condensate profile and thereby Another interesting set of problems in dynamics of
generating effectively one dimensional or effectively two binary BEC involving Rabi switching of condensate wave
dimensional condensate respectively. In this effective lower functions and the interface instability has been considered
dimensional system, the shape of the condensates does by [1115]. Following the works of McCarron et al. [16],
not change in the other directions meaning the other it is possible to produce phase separated condensate and
that should make the free expansion dynamics experimen-
a
e-mail: sukla.ph10@gmail.com tally feasible. For the most part in Section 2, we focus on
Page 2 of 12 Eur. Phys. J. D (2017) 71: 291
the following scenarios an equilibrium situation exists can be recast into the following form
for the binary condensate in a trapping potential and at
t = 0, the trap is switched off. One would like to know how i~hOi = h[O, H]i + h[O, g P + g P ]i , (3)
the dynamics will proceed. In particular, we are interested
in exploring how closely does an initial wavepacket retains
its shape, i.e., how much coherent it is. With this in mind, and a similar equation holds for species . Equation (3)
we introduce an Ehrenfest equation based approach for follows by noting
studying the dynamics and show that it is a reasonably Z
versatile tool for handling several issues in the dynamics hOi = dx O (4a)
of the binary condensates which remained unexplored. We
analyze the dynamics both in miscible (overlapping) and since O does not have explicit time dependence
in phase separated regime with interesting combinations of Z
i~hOi = dxi~ O + O
parameters. In miscible domain, we indicate the appear-
ance of almost coherent wave packet both for g < 0 Z
and g > 0 if the proper initial conditions are satisfied. = dx OH HO
The possibility of breakdown of the wave packet due to
the collisions between the wave packets in the phase sep-
Z
+ dx O g P + g P
arated regime is also presented. In Section 3, we discuss
over the following framework we consider the equilib-
rium binary BEC in a confining potential and at t = 0, g P + g P O . (4b)
the trap frequency is changed. Similar as in the Section 2,
an interesting question then concerns the dynamics of the A similar equation holds for hOi .
condensate in this framework. Thereafter, we proceed to We write the explicit answers for the first few moments
investigate the existence of shape invariant states both in for the species (with similar equation holding for species
overlapping and phase separated initial conditions. )
For two species and CGPE can be written as
d hpi
hxi = (5a)
~ 2 2 dt m
i~t (x, t) = (x, t) + Vext (x) (x, t)
Z
2 d dV P
x
2m dt
hpi =
dx
g P
x
dx (5b)
+ g | |2 + g | |2
d 2 1
~2 2 hx i = hxp + pxi (5c)
i~t (x, t) = (x, t) + Vext (x) (x, t) dt m
2 2
2m x
Z
d 2 dV dV P
hp i = p + p mg dx
+ g | |2 + g | |2 (1) dt dx dx t
Z
P
2mg P dx (5d)
where we have considered identical masses (m) for both t
the species for simplicity in analysis. The interaction d2 2 2hp2 i
1 d dV
strengths (g , g and g ) can be all positive (repulsive hx i = hxp + pxi = 2 x
dt2 m dt m2 dx
interaction) or all negative (attractive interaction) or com- Z Z
binations of them. In our study we have incorporated all g 2g P
+ P2 dx xP dx (5e)
the possibilities. m m x
To write down the Ehrenfest equations, we write
equation (1) as where h |p| i = hpi denotes the average momentum
for species and that of species is h |p| i = hpi .
These moment equations are exact and hold for all pack-
i~t (x, t) = H + g P + g P ets. Consequently, they can lead to exact conservation
laws which are not found from any other approach. For
i~t (x, t) = H + g P + g P , (2) a free particle of only one species, we note that
2
~ 2
2 hpi = constant (6a)
where H = 2m x2 + Vext (x), P = | | and P = 2
Z
| |2 . The initial wave function is taken to be p g
+ P2 dx = constant. (6b)
(x, 0) (x, 0), i.e., separable in the indices and . 2m 2
We assume that this separability persists at later times
and the wave function is (x, t) (x, t). Hence the aver- Clearly equation (6a) corresponds to momentum con-
age position of species is h |x| i = hxi and that of servation. Similarly, equation (6b) corresponds to the
species is h |x| i = hxi with similar results hold- conservation of energy where the energy of a free parti-
ing for any other operator O. Taking the nonlinearity into cle is its kinetic energy augmented by the self energy
account, consequently the Ehrenfest equation for species due to the interaction (the second term in Eq. (6b)). For
Eur. Phys. J. D (2017) 71: 291 Page 3 of 12
the two species problem in free particle regime with equal g and g = 0 for 6= )
number of particles for both the species, we find from
equation (5b) along with its counterpart for species ,
d 3 3
Z hx i = hx2 p + px2 i (12)
dh i P P dt 2m
hpi + hpi = g P + P dx
dt x x
Z
= g (P P )dx
x
d2 3 3 3
=0 (7) hx i = 2 hxp2 + p2 xi F (t) (13)
dt2 m 2
indicating
g
P x2 dP
R
where F (t) = m dx dx
hpi + hpi = constant. (8)
d3 3
Z
This corresponds to the conservation of the total momen- 6 dF 12g d dP
hx i = 3 hp3 i x (P ) dx (14)
tum of the two species. From equation (5d) along with dt3 m dt m dx dt
its counterpart for species , we deduce the following for
equal number of particles of species and ,
In the above equation, hp3 i is not a constant of motion,
hp2 i hp2 i g
Z
g
Z as can be easily seen from its dynamics
+ + P2 dx + P2 dx
2m 2m 2 2
Z h 2
d 3 3g d d d2 d
Z i
+g P P dx = constant. (9) hp i = (P ) + (P ) dx.
dt m dx2 dx dx2 dx
(15)
Furthermore, for an arbitrary external potential V (x), we
get
The above equation, apart from establishing that hp3 i is
2
hp i hp i 2
g
Z not constant for a free particle, also shows that develop-
+ hV i + + hV i + P2 dx ment of hp3 i requires knowledge of amplitude and phase of
2m 2m 2
Z Z separately. This is a complication which shows that the
g higher order moments bring in the details of the dynam-
+ P2 dx + g P P dx = constant (10)
2 ics of the wave function and are not determined by the
moments alone. This is a fact that needs to be kept in
which for the single species problem reduces to mind while assessing the success in dealing with the low
order moments. Once the inevitability of the existence of
hp2 i P2
Z
a phase in the wave-function is accepted ,one needs to ask
+ hV i + g dx = constant. (11) whether any further constraint can be imposed. These can
2m 2
come from the fact that the shape invariance would require
Our equation (10) corresponds to the energy conser- the skewness, kurtosis of the distribution to be retained
vation for the system. The constraint of equal number as well. This will sharpen the parameters for shape invari-
of particles of the two species is a strong constraint. ance and also help in relating to the integrable models
Also one needs to note the special case where g = g = where an infinite number of constants of motion exist.
g , when the energy conservation looks identical to the Having pointed out a potential problem with higher
single species case with the self energy included. In moments, we now proceed to discuss specific time devel-
equation (11) the single species P is replaced by the sum opments for the peaks and the widths of the initial wave
of P and P . packet. For V (x) = 21 m 2 x2 , we find by straight forward
The advantage of using Ehrenfests equation for explor- algebra from equations (5a)(5e)
ing the dynamics lies in being able to obtain constraining
equations like equations (8)(11) corresponding to conser-
d2
Z
vation of energy. 2 g dP
dP
(x) = (x) dx P P
It should be noted though that while the presence of dt2 m dx dx
Z
the interaction term in the Gross-Pitaevskii still allows to 2g dP
write some conservation laws till the second moment, there = 2 (x) dxP (16)
m dx
is a clear complication for the higher moments. In this case
it is clear that for the third and higher moments, the phase
of the evolving wave function is going to play an important where x = hxi hxi is the separation between the two
role. We point this out with the single species problem for centers. Similarly the second moment S2 = hx2 i hxi2 (in
the free particle which is the simplest to implement. We our entire analysis this second moment will be referred
find for the third moment (now we have no subscript on as the width of the distribution), is found to have the
Page 4 of 12 Eur. Phys. J. D (2017) 71: 291
on equations (20a) and (20b) we get Considering only the linear terms, with the help of
equations (22)(24) and taking the dimensionless argu-
2 ment of the theory into account, the flow equations for
~2
g 1 2g 1 the width modulations takes the following dimensionless
2 = 2 2
+ +
m m 2 m form
(21a) h
3 c 2 i 2
2
g 1 2g 1
2 2 = +4 2 3 1
2 = ~
+ + .
3
2c c 4 c
2 2
m m 2 m c2 2
3 2 5
(21b) c
h
3 c 2 i 2
2 = 3 + 4 2 1
It is now relevant to ask whether the above dynamical sys- 2c c3 4 c
tem has a stable fixed point 0 , 0 , 0 = 0 = 0. If 2
c
the form of the wave packet is preserved 0 = 0 = 0. 3 2 5 2 . (26)
Solving equations (21a) and (21b) numerically with the c
constraint = 0 = we obtain the critical value of
the widths (c and c ) of the wave packets for a par- Considering j2 (x, t) = j2 (x)et with j = , we
ticular set of coupling constants (g , g , g ). If this fixed reach into the solution of
point exists and is stable, we will have a coherent state p
a state which propagates without change of initial shape, 2 = B B 2 4C
i.e., (x, t) = (x x0 (t), 0). At this point we stop the
analysis and go through the numerics to check the valid- with
ity of analytical findings. In particular, we consider the h
1 i
Gaussian wave packet with initial widths set at their crit- B= 5 2 3 + + 3
c 2 c3 c
ical value and observe whether the width changes with
time or not.
Numerical results: For the dimensionless analysis of and
the
theory all the coupling constants are rescaled as g = h1 i2
2 ~p
m
0
. All the concerned length and time units are B 2 4C =
+ 3 3 2 3 3 3
3
2 c c c c c
~ p20
rescaled by p0 and m~ respectively.
c 2
2
+6 2 5 3 + c .
c 3
2.1.1 Solving analytically obtained ODE
In dimensionless form equations (20a)(20c) appear as To have stable oscillatory solution 2 must be less than
following zero. Considering < 0, one can have stable oscil-
c3
latory solution if | | < ( 3 + 3 ). Henceforth
10 2 c c
x2
d2 2 1 e d2
x2
we proceed to analyze the following two scenarios under
2
= 2 + + 2 2 2 3 1 d2 (22) overlapping initial condition.
dt
x2 All the coupling constants are considered negative
d2 2 d2
x2
1 2e
= + + 2 2 1 d2 (23) After solving equations (22) and (24) numerically, we
dt2 2 3 observe the presence of shape invariant states. These are
d2 xd x2
d2 xd the states for which the widths of the wave packet remain
= 4 2 e (24) almost constant with time. For free particle regime, where
dt2 3
the free expansion of the wave packet is well known,
our study has interesting implications. Considering =
where corresponds to the width of the wave packets
1.0, = 2.0, = 0.5 we obtain the coherent
in dimensionless form and 2 = 2 + 2 . Before proceed-
widths c = 0.6 and c = 0.442. In Figure 1 we have
ing towards the numerical verification of our analysis, we shown the presence of shape invariant states when the
consider the existence of such wave packets having width initial widths 0 and 0 are taken equal to the coherent
c and c and we explore the behavior of the widths of widths. The black solid line in Figure 1a and the red solid
the wave packets around these coherent widths. We do lin- line in Figure 1b indicate the presence of shape invari-
ear stability analysis by considering the width modulation ant states for species and respectively. The green
(x, t) and (x, t). solid lines in Figures 1a and 1b represent the dynamics
of width for species and respectively under arbitrary
2 (x, t) = c
2
+ 2 (x, t) initial conditions. The significant changes in the widths
with time imply the absence of shape invariant states
2 (x, t) = c
2
+ 2 (x, t). (25) for both the species under any arbitrary initial condition.
Page 6 of 12 Eur. Phys. J. D (2017) 71: 291
is satisfied. Both the species have repulsive interaction the wave packets in case of binary BEC when intraspecies
among themselves ( > 0, > 0 ) whereas the inter interaction are repulsive.
species interaction is attractive, i.e., < 0. For a free Intra species coupling constants are positive
particle, the wave packet in generally expands with time
indicating the delocalization in space. Figure 2 clearly The dynamics in Figures 5 and 6 show that both of the
shows that even if there is repulsive intraspecies interac- wave packets move in the same direction in spite of hav-
tion, there is a possibility of bounded oscillation of widths ing the momentum in opposite direction. This behavior
Eur. Phys. J. D (2017) 71: 291 Page 7 of 12
Fig. 3. Dynamics of the wave packet for species in free Fig. 6. Dynamics of the wave packet for species in free
particle regime. With the evolution of time, the wave packet particle regime. All the parameters and initial conditions are
retains its initial shape. For = 1.0, = 2.0 and = the same as Figure 5.
0.5, the initial widths 0 = 0.6 = c and 0 = 0.442 =
c are considered. The initial momentums for both the wave
packets are taken equal (p0 = 0.2 = p0 ).
Fig. 8. Dynamics of the wave packet for species in phase Fig. 9. Dynamics of the wave packet for species in phase sep-
separated regime. Wave packets are initially at a fairly large arated regime. All the initial conditions are same as in Figure 8
distance from each other such that (xd (0) , ). We have and all the parameters are the same as in Figure 1a. The wave
considered x0 = 0.0 and x0 = 5.0. dx d
|
dt t=0
< 0, i.e., the wave packet not only lose its coherent nature but due to the collision
packet of species has greater magnitude of initial momentum with other wave packet, it loses its initial Gaussian shape also.
(p0 = 0.2) than that of (p0 = 0.1). All other parameters
are same as in Figure 1a. The wave packet somehow manages
the coherent nature.
2
( + )
B 2 4C = 3 2 Equation (31) and Figure 10 clearly imply that for the
(2 + 2 )3/2 2 bounded dynamics of xd , we require < c
. Where
2 2
( + ) c 1 2 2 3
= 42 (c + c ) 2 . If this condition is satisfied (solid
+(6 2 ) .
(2 + 2 )5/2 black curve in Fig. 10), xd will oscillate around zero with
very small amplitude and the overlapping wave packets
To have stable oscillatory solution 2 must be less then will remain overlapping for all the time. But if > c
zero which can be possible if B > 0 along with the (dashed black curve in Fig. 10), the overlapping state
1 5
condition < 6 2 c . can have the possibility of phase separation since xd
2 2
3 3 c c
c c 3 + will increase unboundedly under this condition. Here we
c 3
c
Page 10 of 12 Eur. Phys. J. D (2017) 71: 291
assume that all the s remain fixed at their coherent on the interaction parameters of the system. For =
values. 1.0, = 2.0 and = 0.336, the initial widths are
found to be 0 = 0.552 = c and 0 = 0.423 = c .
Dynamics of xd with < 0 Considering this set of parameters and solving the set
of equations (27b) and (27c), the dynamics of the wave
In this case, the expression for effective potential packets are shown in Figure 11. The wave packets for both
1
| |
2
becomes Vef f (xd ) = 2 + 2 2 2 2
3 xd and hence the species remain shape invariant for all the time.
(c +c ) 2
its schematic diagram will be similar as shown in the solid For > 0
c
black curve of Figure 10 for the case of | | < | |. This
form of the effective potential supports bounded oscil- On the other hand, by considering repulsive interspecies
lation of xd around zero for all values of , i.e., an interaction = 0.577 and attractive intraspecies inter-
overlapping state will remain overlapping. There is no pos- actions = 0.5, = 0.75 we obtain (c ) = 0.867
sibility of transition from an overlapping state to phase and (c ) = 0.797. In Figure 12, we have shown the
separated state as shown in Figure 11 which supports our dynamics of the widths (at left) of the wave packets and
numerical findings in Figures 11, 13 and 14. the dynamics of xd (at right) when the initial widths
are chosen equal to their corresponding coherent widths.
xd grows with time and oscillates. This case is quite
Numerical results interesting in the sense that it opens up the possibility
of transition from overlapping to phase separated state
3.1.1 Solving analytically obtained ODE in SHO. However, for > 0, the bounded oscillation
For < 0 of widths with very small amplitude are noticeable and
hence the presence of shape invariant states in this case
Like the free particle, here also the shape invariant is approximate. Also the oscillatory dynamics of xd opens
states for both the wave packets exist if initial widths are up the possibility for the wave packets to transit between
chosen to be equal to their coherent widths depending overlapping state and phase separated state.
Eur. Phys. J. D (2017) 71: 291 Page 11 of 12
Fig. 17. Wave packet dynamics for species in simple har- Fig. 18. Wave packet dynamics for species in SHO. The ini-
monic confining potential. For = 1.0, = 2.0, = tial widths are 0 = 0.647 and 0 = 0.456 for = 1.0,
0.029, the initial widths are 0 = 0.647 and 0 = 0.456. Wave = 2.0, = 0.029. To keep the initial wave packets
packets are initially separated by moderately large distance in phase separated regime, here we choose xd (0) = 2.5 and
such that the phase separated initial condition (xd / 1) p0 = 0.4. The wave packet oscillates with very small mag-
is satisfied. xd (0) = 2.5 and p0 = 0.5 are chosen. The nitude around the initial position x0 (t = 0) = 0 keeping its
wave packet starts from x0 (t = 0) = 2.5 and oscillates with initial shape invariant.
reasonable magnitude while retaining its initial shape.