Professional Documents
Culture Documents
(g
) = 0, (1)
where the coefcients g
=
1
c
_
_
_
_
1 0 v
/r 0
0 c
2
0 0
v
/r 0
_
v
2
c
2
__
r
2
0
0 0 0 c
2
_
_
_
_
, (2)
and g =
4
r
2
/c
2
. For irrotational ow, v
and
c
for r .
We consider cylindrical wave solutions to the wave equation (1) of the form(t, r, , z) =
(t, r) e
im
, with the angular wavenumber m. Assuming that the square of the speed of sound
is proportional to the density, as is the case for a BEC [28], the density may be eliminated
from the wave equation, which then becomes
t
2
2i
mv
1
r
r
_
rc
2
r
_
+
m
2
r
2
_
c
2
v
2
_
= 0. (3)
For single frequency waves of the form (t, r) = r
1/2
G(r
) e
it
, and dening a tortoise
coordinate r
by dr/dr
= c
2
, with r
, we nd
d
2
G(r
)
dr
2
+
c
2
c
2
(
2
V
eff
)G(r
) = 0, (4)
V
eff
=
2mv
r
+
m
2
r
2
_
c
2
v
2
1
2r
_
c
2
2r
dc
2
dr
_
, (5)
where we have introduced an effective potential V
eff
to emphasize the similarity to the time-
independent Schr odinger equation.
In order to analyse superradiance, we consider the two limiting cases where the tortoise
coordinate r
)
dr
2
+
2
c
2
G(r
) 0, (6)
with the general solution
G(r
) = Ae
i(/c
)r
+ B e
i(/c
)r
, (7)
where A and B are constant amplitudes of incoming and outgoing waves, respectively.
The analysis of the other limit, where r
[(r r
0
)/]
2
2 + [(r r
0
)/]
2
, r > r
0
,
0, r r
0
.
(8)
This is similar to the charge l = 1 vortex density prole for a BEC [28], but with the scale
length given by the free parameter , rather than by the healing length . In the Thomas
Fermi limit of dominant atom interactions, the length scale for a charge l vortex, with angular
3836 T R Slatyer and C M Savage
momentum l h per particle, is l [30]. Although a vortex with l > 1 is unstable to decay
into l single charge vortices, it may be stabilized by a pinning optical potential [31]. Since
the density prole equation (8) was chosen primarily for analytical convenience, we do not
expect it to be exactly achievable experimentally, although something close to it should be.
For example, the optical dipole potential generated by far detuned light has been used to
engineer density proles in BECs [32]. Although our prole does not reproduce any specic
astrophysical metric, it does have an analogue ergoregion, and we shall show that it displays
the associated wave scattering physics. The other free parameter is the radius of the zero
density core r
0
, which might also be engineered by applied potentials. Since we have assumed
that the square of the speed of sound is proportional to the density, c
2
= /
=
_
1
c
2
dr = r
2
2
r r
0
. (9)
For r r
0
, r
2
2
/(r r
0
) and c
2
c
2
(r r
0
)
2
/(2
2
). Using these approximations
and retaining only terms of lowest order in r r
0
, we nd that asymptotically
r
2
d
2
G(r
)
dr
2
+
2
2
2
c
2
G(r
) = 0, (10)
m
_
r
2
0
. (11)
This is a Euler-type equation and has solutions of the form G(r
) = |r
, where
=
1
2
,
1
2
sign()
_
1 8
2
2
_
c
2
_
1/2
. (12)
The general solution to the asymptotic form of the wave equation is then
G(r
) = |r
|
1/2
(C|r
+ D|r
), (13)
where C and D are constants. According to equation (12), is either real or purely imaginary.
For imaginary this asymptotic solution is oscillatory and may be written in the form
G(r
) = |r
|
1/2
(C e
ln|r
|
+ De
ln|r
|
). (14)
By making |r
will be made
dimensionless. This last form allows us to identify the two linearly independent solutions
as outgoing and ingoing waves, with amplitudes C and D, respectively. Note that in this
asymptotic limit r
(|B|
2
|A|
2
). (15)
If is imaginary,
W() = 2 (|C|
2
|D|
2
). (16)
Following Vilenkin [33], consider a solution to the wave equation for G(r
) representing a
wave originating at r
) =
_
e
i(/c
)r
+ Re
i(/c
)r
, r
,
T |r
|
1/2
e
ln|r
|
, r
.
(17)
Superradiant scattering from a hydrodynamic vortex 3837
Then by Abels theorem, the Wronskian of this solution is constant, since there is no rst
derivative term in the differential equation for G(r
(|R|
2
1) = 2 |T |
2
, (18)
and therefore,
|R|
2
= 1 sign()| ||T|
2
c
/. (19)
In particular, if is negative, and T = 0, then |R| > 1, and superradiance occurs, since then,
in the asymptotic region far from the vortex, the amplitude of the reected wave exceeds that
of the incident wave. This superradiance inequality < 0 expands to
< m
_
r
2
0
, (20)
which requires m > 0, so that the cylindrical waves propagate in the same direction as the
vortex ow.
Since the reected superradiant pulse carries energy away fromthe vortex, the vortex must
lose energy. This is possible if the ingoing pulse is interpreted as an anomalous negative energy
mode [34] of the fully quantized eld [14]. It is appropriate to interpret all the phonon modes
as non-condensed modes. This avoids regarding the incident pulse as a superposition with the
vortex background mean eld, and explains why the angular momentum is not constrained
to change in units of Plancks constant times the number of atoms, as it would be in a pure
condensate.
In contrast to the draining vortex examined by Basak and Majumdar [11, 12] and the
rotating black hole [33], here there are two independent necessary conditions for superradiance:
must be purely imaginary and must be negative. Combining these conditions gives a
frequency-independent condition for superradiance. For since 0, then m
_
r
2
0
,
and superradiance requires, 0 m
_
r
2
0
, and therefore
2
m
2
2
_
r
4
0
. If is to
be imaginary, we must have 1 < 8
2
2
_
c
2
r
2
0
_
(2
2).
For a charge l vortex in a BEC, we can substitute expressions [28] for the vortex velocity
constant = l h/m
atom
, where m
atom
is the mass of an atom, and for c
= h/(
2m
atom
), to obtain > r
2
0
_
(4lm). This is always possible to full, at
least in principle, since the healing length is given by = (8na)
1/2
, where n is the atomic
number density and a is the s-wave scattering length, and both n and a are under experimental
control.
To determine the magnitude of the superradiant amplication, we numerically solved the
wave equation (3) using the XMDS package [35]. We used an initial Gaussian wavepacket of
the form (0, r) = A(r), with frequency
0
. Specically,
A(r) = e
(rr
init
)
2
/w
2
e
i
0
r/c
t
(0, r) = (i
0
2c
(r r
init
)/w
2
)A(r).
(21)
We found that superradiance occurred for a wide range of parameters, as long as the relevant
inequalities were fullled. Figure 1 shows a particularly strong and clean example of the
scattering of an m = 1 wavepacket. Comparing the Fourier components of the real parts of
the incident and reected wavepackets in the asymptotic region, we found that the dominant
Fourier power in the reected wavepacket is approximately doubled.
The parameters are given in the caption and are representative of conditions for a trapped
dilute gas BEC. They are made dimensionless, indicated by a tilde, by measuring distance and
3838 T R Slatyer and C M Savage
1
0
1
2
0
2
-600 -400 -200 0 200
1
0
1
r*
(a)
(b)
(c)
Figure 1. Wavepacket propagation from numerical solution of equation (3). The real part of the
wavepacket is plotted versus the dimensionless modied radial tortoise coordinate r
, dened in the
text, with = 800/801 so that r
= 800 at r = r
0
. The initial wavepacket, at t = 0, was given by
equation (21) with r
init
= 200 and w = 10. (a) t = 114: the wavepacket is propagating towards the
vortex. (b) t = 330: the wavepacket has just split into reected and transmitted parts. (c) t = 504:
the reected wavepacket. Dimensionless parameters: m = 1, = 2, c
= 1, = 20. The
spatial grid had 8192 points over r
= 10
3
ms
1
and = 20 m. For the case of a
Rb
87
BEC, m
atom
= 1.4 10
25
kg, and the asymptotic healing length 0.5, and = 2
corresponds to a vortex charge of about l = 3. Note that the real part of the wave is plotted
against the modied tortoise coordinate r
= r 2
2
/( r 1 + ). This magnies the scale
as r r
0
( r 1) , while limiting the lower bound of r
to 1 2
2
/. The ergoregion
boundary, or static limit, is at r 8 or r
92.
The local healing length determines the validity of the hydrodynamic approximation,
and is larger than the asymptotic value by the factor