Quantum Mechanics of Bose-Einstein Condensates Alexander L ...
Quantum Mechanics of Bose-Einstein Condensates Alexander L ...
Quantum Mechanics of Bose-Einstein Condensates Alexander L ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Quantum</strong> <strong>Mechanics</strong> <strong>of</strong> <strong>Bose</strong>-<strong>Einstein</strong> <strong>Condensates</strong><br />
1. Brief review <strong>of</strong> superfluid 4 He<br />
<strong>Alexander</strong> L. Fetter<br />
Stanford University<br />
Natal, Brazil, August 2012<br />
• two-fluid model and quantized circulation<br />
• quasiparticles and Landau critical velocity<br />
2. Three-dimensional ideal <strong>Bose</strong> gas in a box and in a trap<br />
3. Energies and length scales for interacting <strong>Bose</strong> gas<br />
4. Gross-Pitaevskii picture for a trapped <strong>Bose</strong> gas<br />
• static and time-dependent behavior<br />
• Bogoliubov spectrum and collective modes<br />
• effect <strong>of</strong> attractive interactions<br />
5. Optical lattices and reduced dimensionality<br />
1
1. Brief review <strong>of</strong> superfluid 4 He<br />
• 4 He (and also 3 He) remain liquid down to T = 0 K under atmospheric<br />
pressure<br />
• arises from weak interatomic potentials and large quantum zero-point<br />
motion<br />
• 4 He has two electrons, two protons and two neutrons so it acts like a boson<br />
under interchange <strong>of</strong> two atoms<br />
• in contrast, 3 He has only one neutron and thus acts like a fermion under<br />
interchange <strong>of</strong> two atoms<br />
• this apparently small difference leads to wholly distinct behaviors at low<br />
temperature<br />
• below T λ ≈ 2.17 K, 4 He makes a phase transition from a viscous normal<br />
fluid to a wholly different and remarkable superfluid form<br />
2
1.1 two-fluid model<br />
• superfluid 4 He can flow through fine channels with no pressure drop,<br />
implying zero viscosity<br />
• yet a direct measurement <strong>of</strong> viscosity (through a rotating cylinder device)<br />
yields viscosity like that <strong>of</strong> the normal fluid above T λ<br />
• Landau explained this with a phenomenological two-fluid model:<br />
(1) a viscous normal component with density ρ n and velocity v n and<br />
(2) a superfluid component with density ρ s and an irrotational velocity v s<br />
with ∇ × v s = 0<br />
• both ρ n and ρ s depend on temperature, with ρ n + ρ s = ρ (the total mass<br />
density)<br />
• ρ n vanishes at T = 0 K, and ρ s vanishes at T λ<br />
• can measure ρ n through viscous drag on oscillating disks, and then ρ s =<br />
ρ − ρ n<br />
3
• superfluids exhibit persistent currents in multiply connected geometries<br />
• rotate in normal state above T λ and then cool; superfluid continues to rotate<br />
even if container comes to rest<br />
• similar behavior for superconductors, where electrical charge makes direct<br />
measurement straightforward<br />
• measured critical velocity v c sets upper limit on size <strong>of</strong> persistent currents<br />
• for channel <strong>of</strong> lateral dimension d, observed critical velocity v c ∼ /Md,<br />
where M is atomic mass<br />
• this is believed to arise from formation <strong>of</strong> quantized vortices (Feynman)<br />
• there is very different mechanism for v c in bulk (Landau)<br />
4
1.2 quantized circulation<br />
• superfluid is irrotational; can describe with velocity potential v s = ∇Φ<br />
• for slow flow, it is also incompressible with ∇ · v s = 0<br />
• together, these imply that Φ obeys Laplace’s equation with ∇ 2 Φ = 0<br />
• quantum mechanics shows that the velocity potential is proportional to the<br />
phase S <strong>of</strong> a single-particle wave function with Φ = S/M (Feynman)<br />
• originally, irrotational superfluid flow was thought to imply that superfluid<br />
would not rotate<br />
• experiments showed, however, that meniscus for rotating superfluid was just<br />
like that for rotating normal fluid<br />
• Onsager (1949) and Feynman (1955) suggested that rotating superfluid has<br />
an array <strong>of</strong> quantized vortices<br />
• each has quantized circulation κ = ∮ dl · v s = h/M<br />
• for external rotation with speed Ω, vortex areal density is n v = MΩ/π<br />
5
1.3 quasiparticles and Landau critical velocity<br />
• Landau proposed that superfluid 4 He has a long-wavelength phonon<br />
spectrum ω k ≈ sk with s ≈ 240 m/s the speed <strong>of</strong> compressional sound<br />
• to fit the specific heat, he suggested that the spectrum also has a local<br />
minimum at shorter wavelengths<br />
ω k ≈ ∆ + (k − k 0) 2<br />
,<br />
2M ∗<br />
where ∆/k B ≈ 8.7 K is known as the roton gap, k 0 ≈ 1.9 × 10 10 m −1<br />
(k0 −1 ∼ interparticle separation), and M ∗ ≈ 0.16 M( 4 He)<br />
• this model yields a good fit to the measured temperature dependence <strong>of</strong> ρ s<br />
and ρ n<br />
• it also predicts a critical velocity v c by considering the motion <strong>of</strong> a massive<br />
macroscopic object through the superfluid<br />
• energy/momentum conservation shows that the object emits quasiparticles<br />
only when it exceeds a critical velocity v c given by the minimum value <strong>of</strong><br />
the ratio ω k /k, which here occurs for rotons with v c ≈ ∆/k 0 ≈ 50 m/s<br />
6
2. Three-dimensional ideal <strong>Bose</strong> gas<br />
Brief review <strong>of</strong> familiar uniform system and less familiar case <strong>of</strong> harmonic trap<br />
2.1 Qualitative picture <strong>of</strong> <strong>Bose</strong>-<strong>Einstein</strong> condensation in uniform system<br />
• assume uniform ideal gas with particle mass M, number density n and<br />
volume per particle n −1<br />
• one characteristic length is interparticle spacing ∼ n −1/3<br />
• if system is in equilibrium at temperature T , then mean particle momentum<br />
is p T ∼ √ Mk B T<br />
• the de Broglie wavelength λ T ∼ h/p T ∼ / √ Mk B T then gives another<br />
characteristic length<br />
• in classical limit → 0 (or high T ), thermal wavelength λ T is small relative<br />
to interparticle spacing n −1/3<br />
• neglect quantum diffraction, like ray optics in electromagnetism<br />
7
• as T falls, thermal wavelength λ T eventually becomes comparable to<br />
interparticle spacing n −1/3<br />
• now quantum diffraction between nearby particles is important<br />
• define dimensionless “phase space density” nλ 3 T<br />
(small in classical limit)<br />
• when this parameter is <strong>of</strong> order 1, get onset <strong>of</strong> quantum degeneracy<br />
• for fermions, this defines the familiar Fermi temperature T F , given<br />
equivalently by k B T F ≈ 2 n 2/3 /M<br />
• for electrons in metals with n ∼ 10 28 m −3 and M as electron mass, find<br />
T F ∼ 10 4 K<br />
• for liquid 3 He with similar n but much bigger M, find T F ∼ 1 K<br />
• unlike the gradual fermion crossover, an ideal <strong>Bose</strong> gas undergoes a sharp<br />
transition at a similar temperature k B T c ∼ 2 n 2/3 /M<br />
• parameters for both 3 He and 4 He are similar and yield T c ∼ 1 K, comparable<br />
with observed T λ ∼ 2.17 K<br />
8
2.2 quantitative description <strong>of</strong> ideal <strong>Bose</strong> gas in external potential V tr<br />
• for any specific trap potential V tr , there is a set <strong>of</strong> single-particle states with<br />
energies ɛ j<br />
• for an ideal <strong>Bose</strong> gas in equilibrium at temperature T and chemical potential<br />
µ, the mean occupation <strong>of</strong> the state j is<br />
n j =<br />
1<br />
exp[β(ɛ j − µ)] − 1 ≡ f(ɛ j)<br />
where β −1 = k B T and f(ɛ) = {exp[β[ɛ − µ)] − 1} −1 is the familiar<br />
<strong>Bose</strong>-<strong>Einstein</strong> distribution function<br />
• the mean total particle number and mean total energy are<br />
N(T, µ) = ∑ j<br />
f(ɛ j ) and E(T, µ) = ∑ j<br />
ɛ j f(ɛ j )<br />
• formally, can invert the first to find µ(T, N), and substitution into second<br />
yields the more physical quantity E(T, N)<br />
9
• for large N, introduce “density <strong>of</strong> states” g(ɛ) = ∑ j δ(ɛ − ɛ j)<br />
• previous expression for N then becomes<br />
∫<br />
N(T, µ) = dɛ g(ɛ)f(ɛ) =<br />
∫ ∞<br />
ɛ 0<br />
g(ɛ)<br />
dɛ<br />
exp[β(ɛ − µ)] − 1<br />
• for a classical system, the chemical potential is large and negative<br />
• as T falls at fixed N, chemical potential increases toward zero and eventually<br />
reaches the lowest single-particle energy ɛ 0<br />
• this equality µ(T c , N) = ɛ 0 defines the critical temperature for the onset <strong>of</strong><br />
<strong>Bose</strong>-<strong>Einstein</strong> condensation because distribution function f(ɛ 0 ) is singular<br />
• nevertheless, the integral that represents N continues to decrease for T < T c<br />
10
• let N 0 be the number <strong>of</strong> particles condensed in the lowest single particle<br />
state<br />
• by definition, N 0 = 0 above the <strong>Bose</strong>-<strong>Einstein</strong> condensation temperature T c<br />
• separate out N 0 from integral and write N = N 0 (T ) + N ′ (T ), with<br />
N ′ (T ) =<br />
∫ ∞<br />
ɛ 0<br />
g(ɛ)<br />
dɛ<br />
exp[β(ɛ − ɛ 0 )] − 1<br />
the number <strong>of</strong> particles not in the condensate<br />
• if g(ɛ 0 ) is finite, integral diverges and BEC cannot occur<br />
11
2.3 uniform ideal three-dimensional <strong>Bose</strong> gas<br />
• three-dimensional cubical box with dimension L and volume V = L 3<br />
• periodic boundary conditions give plane waves ψ k (r) = V −1/2 exp(ik · r)<br />
• energy eigenvalue is ɛ k = 2 k 2 /2M<br />
• boundary conditions require k = (2π/L)(n x , n y , n z ) where n j is an integer<br />
• lowest state is uniform with k = 0, ɛ 0 = 0 and density 1/V<br />
• integral gives density <strong>of</strong> states<br />
g(ɛ) = V<br />
4π 2 ( 2M<br />
2 ) 3/2<br />
ɛ 1/2<br />
• g(ɛ) vanishes at ɛ = 0, and get BEC with nλ 3 T c<br />
≈ 2.612 that defines T c<br />
12
• below T c , fraction <strong>of</strong> particles in excited states with finite momentum is less<br />
than 1<br />
N ′ (T )<br />
N = ( T<br />
T c<br />
) 3/2<br />
• correspondingly, fraction <strong>of</strong> particles in condensate is<br />
N 0 (T )<br />
N = 1 − N ′ (T )<br />
N = 1 − ( T<br />
T c<br />
) 3/2<br />
,<br />
which increases from 0 at T c to 1 at T = 0 K<br />
• for uniform ideal <strong>Bose</strong> gas in d dimensions, same analysis gives density <strong>of</strong><br />
states g(ɛ) ∝ ɛ d/2−1<br />
• note that g(0) is finite for two dimensions, so two-dimensional <strong>Bose</strong> gas has<br />
no BEC<br />
• but this case is subtle since it depends logarithmically on order <strong>of</strong> limits<br />
N → ∞ or L 2 → ∞<br />
13
2.4 ideal three-dimensional <strong>Bose</strong> gas in harmonic trap<br />
• general three-dimensional harmonic trap has potential<br />
• familiar single-particle energies are<br />
V tr (r) = 1 2 M ( ω 2 xx 2 + ω 2 yy 2 + ω 2 zz 2)<br />
ɛ nx ,n y ,n z<br />
= (n x ω x + n y ω y + n z ω z ) + ɛ 0<br />
where n j is a non-negative integer and ɛ 0 = 1 2 (ω x+ω y +ω z ) is ground-state<br />
(zero-point) energy<br />
• ground-state wave function ψ 0 (r) is product <strong>of</strong> three Gaussians with<br />
characteristic dimensions d j = √ /Mω j (oscillator length)<br />
• if sums are replaced by integrals (holds for ɛ ≫ ɛ 0 ), density <strong>of</strong> states becomes<br />
g(ɛ) =<br />
ɛ2<br />
2 3 ω0<br />
3 ,<br />
where ω 0 = (ω x ω y ω z ) 1/3 is geometric mean trap frequency<br />
14
• onset <strong>of</strong> BEC in this harmonic trap occurs for µ(T c , N) = ɛ 0 , with transition<br />
temperature<br />
k B T c ≈ 0.94 ω 0 N 1/3<br />
• below T c , number <strong>of</strong> particles in excited states falls like N ′ (T )/N = (T/T c ) 3<br />
• compare power 3/2 for uniform BEC<br />
• remaining particles occupy the non-uniform single-particle ground state<br />
ψ 0 (r) (product <strong>of</strong> Gaussians) with<br />
N 0 (T )<br />
N = 1 − ( T<br />
T c<br />
) 3<br />
• like uniform BEC, condensate fraction grows from 0 at T c to 1 at T = 0<br />
• zero-temperature condensate density has Gaussian pr<strong>of</strong>ile: n 0 (r) = N|ψ 0 (r)| 2<br />
• note trap potential introduces new characteristic length d 0 = √ /Mω 0 ,<br />
unlike case <strong>of</strong> uniform ideal BEC<br />
15
• images <strong>of</strong> this three-dimensional Gaussian condensate rising out <strong>of</strong> thermal<br />
cloud provided clear evidence <strong>of</strong> BEC<br />
• typical atomic traps have d 0 ∼ a few µm and N ∼ 10 6<br />
• leads to transition temperature T c ∼ 100-1000 nK, depending on atomic<br />
mass (varies from 7 Li to 87 Rb)<br />
16
• for isotropic harmonic trap in general dimension d, find density <strong>of</strong> states<br />
g(ɛ) ∝ ɛ d−1<br />
• note two dimensions now yields g(0) = 0, so two-dimensional harmonic trap<br />
will have BEC for ideal gas<br />
• but even weak interactions lead to different physical interpretation related<br />
to Berezinskii-Kosterlitz-Thouless (BKT) transition<br />
• here, case d = 1 is similar to two-dimensional uniform ideal BEC; both have<br />
finite value for g(0)<br />
17
3. Energies and length scales for interacting <strong>Bose</strong> gases<br />
Inclusion <strong>of</strong> two-body interactions leads to several new features for realistic<br />
BECs<br />
• Interaction potential v(r − r ′ ) has short range, much less than interparticle<br />
spacing<br />
• at low temperatures, only s-wave scattering is important<br />
• introduce a simple model with contact interactions: v(r) = gδ (3) (r),<br />
where g has the dimension <strong>of</strong> energy times volume<br />
• standard scattering theory for two identical particles with mass M yields<br />
the identification<br />
g = 4π2 a<br />
M ,<br />
where a is the s-wave scattering length that relates the phase <strong>of</strong> the scattered<br />
wave to that <strong>of</strong> the incoming wave<br />
18
• for common bosonic alkali-metal atoms ( 23 Na, 87 Rb), s-wave scattering<br />
length is positive and a few nm, so interaction is repulsive<br />
• for 7 Li, scattering length is negative (because <strong>of</strong> accident <strong>of</strong> bound states)<br />
• this effective attraction leads to very different behavior for 7 Li (discussed<br />
later)<br />
• for positive a, dimensionless parameter na 3 characterizes “diluteness” <strong>of</strong> gas<br />
• usually na 3 is very small ∼ 10 −6<br />
• in some cases, magnetic field can enhance a with “Feshbach resonance”<br />
leading to large values <strong>of</strong> na 3 19
3.1 interaction energy for a uniform <strong>Bose</strong> gas<br />
In the present model, each particle in an N-particle interacting gas experiences<br />
an effective local mean-field (Hartree) potential<br />
V H (r i ) = g ∑ j≠i<br />
δ (3) (r i − r j ) ≈ gn(r i ),<br />
where sum is over all other particles<br />
• takes energy E(N + 1) − E(N) = gn to add one particle to uniform dilute<br />
<strong>Bose</strong> gas in box<br />
• this quantity is just the chemical potential µ = (∂E/∂N) V<br />
• hence here µ = gn<br />
• from thermodynamic identity, find E(V, N) = 1 2 gN 2 /V<br />
• pressure is p = −(∂E/∂V ) N = 1 2 gn2<br />
20
3.2 healing length for uniform gas<br />
• compare kinetic energy − 2 ∇ 2 /2M with Hartree energy V H = gn<br />
• leads to characteristic squared length<br />
ξ 2 =<br />
2<br />
2Mgn = 1<br />
8πna ,<br />
making use <strong>of</strong> relation between coupling constant g and s-wave scattering<br />
length a<br />
• if gas is perturbed locally, it takes a distance ∼ ξ to heal back to bulk<br />
density n<br />
• in dilute limit na 3 ≪ 1, healing length ξ is large compared to interparticle<br />
spacing n −1/3 , confirming mean-field picture<br />
21
4. Gross-Pitaevskii picture for trapped <strong>Bose</strong> gas<br />
At zero temperature, a uniform interacting <strong>Bose</strong> gas has two microscopic length<br />
scales:<br />
• the s-wave scattering length a<br />
• the interparticle spacing n −1/3 (equivalently, the healing length ξ)<br />
In contrast, an interacting trapped <strong>Bose</strong> gas has an additional length associated<br />
with the trap potential<br />
• for harmonic trap, this is just the oscillator length d 0 = √ /Mω 0<br />
• this additional length leads to many interesting new effects and an additional<br />
dimensionless parameter<br />
22
4.1 static behavior<br />
Gross and Pitaevskii (1961) independently started from time-independent Schrödinger<br />
equation for condensate wave function Ψ in an ideal gas and added nonlinear<br />
Hartree potential V H = g|Ψ| 2<br />
• including trap potential V tr leads to Gross-Pitaevskii (GP) equation for a<br />
trapped <strong>Bose</strong> gas<br />
(− 2 ∇ 2<br />
)<br />
2M + V tr + g|Ψ| 2 Ψ = µΨ,<br />
where µ is chemical potential<br />
• in dilute <strong>Bose</strong> gas at low temperature with na 3 ≪ 1, usually normalize to<br />
the total N with ∫ dV |Ψ| 2 = N<br />
23
For deeper understanding <strong>of</strong> this time-independent GP equation, it is helpful<br />
to start from the corresponding GP energy functional<br />
⎛<br />
⎞<br />
∫<br />
⎜<br />
E GP [Ψ] = dV ⎝ 2 |∇Ψ| 2<br />
+ V tr |Ψ| 2 + 1<br />
} 2M {{ }<br />
} {{ } 2 g ⎟<br />
|Ψ|4 ⎠<br />
trap<br />
} {{ }<br />
kinetic<br />
interaction<br />
where the three terms are the kinetic energy, the trap energy (proportional<br />
to the condensate density), and the interaction energy (proportional to the<br />
condensate density squared), respectively<br />
• variation <strong>of</strong> E GP [Ψ] with respect to Ψ ∗ at fixed normalization reproduces the<br />
time-independent GP equation, with the chemical potential µ as a Lagrange<br />
multiplier (<br />
− 2 ∇ 2<br />
)<br />
2M + V tr + g|Ψ| 2 Ψ = µΨ,<br />
• note that this GP equation looks like a nonlinear eigenvalue equation, but<br />
the right-hand side contains µ rather than the energy per particle<br />
24
For harmonic trap, use oscillator length d 0 and trap frequency ω 0 times as<br />
units <strong>of</strong> length and energy<br />
• resulting energy functional has one-particle kinetic energy and trap potential<br />
energy <strong>of</strong> order unity<br />
• two-particle interaction term contains new dimensionless parameter Na/d 0<br />
that characterizes importance <strong>of</strong> interaction energy relative to that <strong>of</strong> ideal<br />
gas in harmonic trap<br />
• if Na/d 0 is small then BEC acts like ideal gas<br />
• situation is very different if Na/d 0 is large<br />
• note that d 0 ∼ a few µm and a ∼ a few nm, so ratio a/d 0 ∼ 10 −3<br />
• but for typical N ∼ 10 6 , interaction parameter can be large ∼ 10 3<br />
• in this case, repulsive interactions act to expand condensate to larger radius<br />
R 0 (typically R 0 /d 0 ∼ 10)<br />
25
• expanded condensate has much smaller radial density gradient<br />
• hence ignore radial kinetic energy in GP energy functional<br />
• leads to simpler and approximate “Thomas-Fermi” (TF) energy functional<br />
∫<br />
E TF [Ψ] = dV ( V tr |Ψ| 2 + 1 2 g|Ψ|4) ,<br />
which involves only |Ψ| 2 and |Ψ| 4<br />
• variation <strong>of</strong> E TF [Ψ] with respect to density |Ψ| 2 yields the TF approximation<br />
V tr (r) + g|Ψ(r)| 2 = µ,<br />
which also follows by omitting the kinetic energy term in GP equation<br />
• solution is simple TF condensate density<br />
n(r) = µ − V tr(r)<br />
g<br />
where θ(x) is unit positive step function<br />
θ[µ − V tr (r)],<br />
26
• for general three-dimensional harmonic trap, TF density is inverted parabola<br />
)<br />
n(r) = n(0)<br />
(1 − x2<br />
− y2<br />
− z2<br />
Rx<br />
2 Ry<br />
2 Rz<br />
2<br />
where right side is positive and zero otherwise<br />
• here, n(0) = µ/g is central density and Rj<br />
2 = 2µ/Mω2 j<br />
condensate radii in three orthogonal directions<br />
are the squared<br />
• normalization condition on |Ψ| 2 yields N = 8πn(0)R 3 0/15 where R 3 0 =<br />
R x R y R z depends on chemical potential µ<br />
• leads to important dimensionless relation<br />
(<br />
R0<br />
d 0<br />
) 5<br />
= 15 Na<br />
d 0<br />
which is large in present TF limit<br />
27
• similarly, the TF chemical potential is also large<br />
µ TF = 1 ( ) 2<br />
2 ω R0<br />
0<br />
d 0<br />
compared to characteristic oscillator energy ω 0<br />
• note that µ TF is proportional to N 2/5<br />
• thermodynamic identity µ = ∂E/∂N yields TF energy E TF = 5 7 Nµ TF<br />
• use central density n(0) to define healing length in nonuniform condensate<br />
• leads to simple relation<br />
ξ<br />
= d 0<br />
d 0 R 0<br />
• right side is small in TF limit, so ξ is small compared to oscillator length<br />
• clear separation <strong>of</strong> TF length scales ξ ≪ d 0 ≪ R 0 is crucial in physics <strong>of</strong><br />
trapped TF condensates<br />
28
4.2 time-dependent Gross-Pitaevskii equation<br />
The time-independent GP equation has an intuitive time-dependent<br />
generalization<br />
∂Ψ(r, t)<br />
i =<br />
[− 2 ∇ 2<br />
]<br />
∂t 2M + V tr(r) + g|Ψ(r, t)| 2 Ψ(r, t),<br />
where Ψ(r, t) now depends on t as well as on r<br />
• comparison with time-independent GP equation shows that a stationary<br />
solution has the time dependence exp(−iµt/).<br />
• this nonlinear field equation can be recast in an intuitive hydrodynamic<br />
form by writing the condensate wave function as<br />
Ψ(r, t) = |Ψ(r, t)| exp[iS(r, t)]<br />
in terms <strong>of</strong> the magnitude |Ψ| and the phase S<br />
29
• the condensate (particle) density is simply n(r, t) = |Ψ(r, t)| 2<br />
• usual one-body definition <strong>of</strong> the particle current density for the Schrödinger<br />
equation shows that j = |Ψ| 2 ∇S/M<br />
• hydrodynamic definition j = nv then gives the local superfluid velocity as<br />
v(r, t) = ∇S(r, t) = ∇Φ(r, t),<br />
M<br />
where Φ = S/M is velocity potential for this irrotational flow (Feynman)<br />
• relation between the velocity v and the phase S implies that the circulation<br />
κ = ∮ C<br />
dl · v around any closed path C in the fluid is quantized in units <strong>of</strong><br />
2π/M<br />
κ = ∮<br />
dl · ∇S = M C M ∆S C,<br />
because ∆S C must be an integral multiple <strong>of</strong> 2π to make the condensate<br />
wave function Ψ single valued<br />
30
Substitute the representation Ψ = |Ψ|e iS into the time-dependent GP equation<br />
• imaginary part gives the expected conservation <strong>of</strong> particles<br />
∂n<br />
∂t + ∇ · (nv) = 0<br />
• in contrast the real part gives a generalized Bernoulli equation<br />
1<br />
2 Mv2 + V tr − 2<br />
2M √ n ∇2√ n + gn + M ∂Φ<br />
∂t = 0 (1)<br />
• explicitly quantum-mechanical term involving 2 is called the “quantum<br />
pressure” (but it really has dimension <strong>of</strong> an energy)<br />
• usually negligible for low-lying collective modes <strong>of</strong> a trapped condensate in<br />
the TF limit, since the density is slowly varying<br />
• but the quantum pressure term is crucial for short-wavelength Bogoliubov<br />
excitation spectrum in uniform gas<br />
31
4.3 Bogoliubov spectrum: linearized hydrodynamics for uniform <strong>Bose</strong> gas<br />
For uniform <strong>Bose</strong> gas, study small perturbations n ′ in density and Φ ′ in velocity<br />
potential: n = n 0 + n ′ and Φ = Φ 0 + Φ ′<br />
• equation <strong>of</strong> continuity becomes<br />
∂n ′<br />
∂t + n 0∇ 2 Φ ′ = 0<br />
• similarly, perturbed Bernoulli equation becomes<br />
− 2 ∇ 2 n ′<br />
4n 0<br />
+ gn ′ + M ∂Φ′<br />
∂t = 0<br />
• these coupled Bogoliubov equations for density perturbations n ′ and velocity<br />
perturbations Φ ′ have celebrated plane-wave solutions<br />
32
• for plane-waves ∝ exp[i(k · r − ωt)], Bogoliobov dispersion relation is<br />
Ek 2 = gn 0 2 k 2 ( 2<br />
M + k 2 ) 2<br />
= 2gn 0 ɛ 0 k + ( )<br />
ɛ 0 2<br />
k<br />
2M<br />
(k)/2 (kHz)<br />
14<br />
12<br />
10<br />
8<br />
6<br />
4<br />
2<br />
2 R -1<br />
0<br />
0 1 2 3 4<br />
k<br />
• solid line is Bogoliubov spectrum and dashed line is free particle spectrum<br />
• black dots are experimental values determined from the dynamic structure<br />
factor S(k, ω) measured by two-photon Bragg scattering<br />
33
• for long wavelengths (k → 0), get linear spectrum E k ≈ sk with speed <strong>of</strong><br />
sound s = √ n 0 g/M<br />
• need g > 0 for stable sound waves, namely repulsive interactions<br />
• for short wavelengths, in contrast, spectrum is quadratic (free particle) with<br />
E k ≈ 2 k 2 /2M<br />
• crossover between two regimes is at k cr ≈ 1/ξ = √ 2Mn 0 g/<br />
• if g → 0 (no repulsive interaction), then k cr → 0, and spectrum reduces to<br />
free particle for all k<br />
• Landau critical velocity here becomes v c = s = √ n 0 g/M<br />
• note that ideal gas (g = 0) has v c = 0, so ideal uniform gas has BEC but is<br />
not true superfluid<br />
34
4.4 linearized hydrodynamic equations for collective modes in trap<br />
Trapped static condensate with nonuniform density n 0 (r) has small-amplitude<br />
collective oscillations<br />
• assume n = n 0 + n ′ and v ′ = ∇Φ ′<br />
• combination <strong>of</strong> linearized conservation equation and linearized Bernoulli<br />
equation leads to<br />
∂ 2 n ′<br />
∂t 2<br />
= ∇ · [<br />
n0 (r)g<br />
M ∇n′ ]<br />
• this is generalized wave equation in inhomogeneous medium characterized<br />
by nonuniform density n 0 (r)<br />
• note that gn 0 (r)/M is local squared speed <strong>of</strong> sound s 2 (r)<br />
• hence rewrite previous equation as<br />
∂ 2 n ′<br />
∂t 2 = ∇ · [s 2 (r)∇n ′]<br />
• important in all experimental studies <strong>of</strong> collective modes<br />
35
4.5 effect <strong>of</strong> attractive interactions for trapped condensates<br />
Effective interaction is repulsive for 4 He because <strong>of</strong> the weak van der Waals<br />
attraction and the strong hard-core repulsion, leading to positive s-wave<br />
scattering length<br />
• situation is different for alkali-metals like Li, Na, and Rb because <strong>of</strong> large<br />
atomic polarizability<br />
• note alkali metal atoms have odd Z, and total number <strong>of</strong> fermions is 2Z+N,<br />
where N is neutron number<br />
• bosonic species require even N, leading to odd total atomic number<br />
A = Z + N such as 7 Li<br />
• unlike He, these atoms have many bound states<br />
• sign <strong>of</strong> scattering length determined by relative position <strong>of</strong> last bound state<br />
36
• 7 Li has large negative scattering length a ≈ −55.4 nm, whereas 87 Rb has<br />
a ≈ 5.77 nm<br />
• 7 Li BEC would be unstable in bulk, but positive trap kinetic energy allows<br />
for small condensates with small negative interaction energy<br />
• for quantitative analysis, assume a spherical trap with frequency ω 0 ,<br />
oscillator length d 0 , and Gaussian trial function<br />
)<br />
Ψ(r) ∝ exp<br />
(− r2<br />
2β 2 d 2 ,<br />
0<br />
where β is variational parameter (condensate radius is βd 0 )<br />
• GP ground-state energy is readily evaluated<br />
[<br />
E g (β) = 1 ( ) √<br />
2 Nω 3 1 2<br />
0<br />
2 β + 2 β2 +<br />
π<br />
Na<br />
d 0<br />
1<br />
β 3 ]<br />
• here three terms arise from kinetic energy, trap energy, and interaction<br />
energy, respectively<br />
• for positive a, expect expanded condensate with β > 1<br />
• but for negative a, expect reduced condensate with β < 1<br />
37
E g (β) = 1 2 Nω 0<br />
[<br />
3<br />
2<br />
( 1<br />
β 2 + β2 )<br />
+<br />
√<br />
2<br />
π<br />
Na<br />
d 0<br />
1<br />
β 3 ]<br />
It is clear from inspection that E g (β) becomes large for β → ∞<br />
• detailed behavior for small β depends crucially on sign <strong>of</strong> a<br />
• for noninteracting gas (a = 0), minimum occurs for β = 1, which is familiar<br />
oscillator solution<br />
• for positive a, E g (β) diverges to ∞ for small β, expanding the condensate<br />
• for negative a, however, E g (β) diverges to −∞ for small β, so any solution<br />
is globally unstable<br />
38
• for small and moderate negative values <strong>of</strong> a, the energy E g (β) has a local<br />
minimum, and system remains locally stable, as seen in upper curve (a)<br />
• straightforward analysis shows that variational local minimum disappears<br />
at critical value N c |a|/d 0 ≈ 0.671 (middle curve b)<br />
• corresponding critical condensate radius is reduced by β c = 5 −1/4 ≈ 0.669<br />
• numerical study <strong>of</strong> GP equation yields more accurate value N c |a|/d 0<br />
0.575<br />
• this differs from variational estimate by ≈ 17%<br />
• lower curve (c) has lost even local stability<br />
≈<br />
39
5. Optical lattices and reduced dimensionality<br />
Response <strong>of</strong> an atom to electromagnetic fields is an old subject that has many<br />
applications for BECs<br />
• place an electric dipole p in an electric field E<br />
• interaction energy is U int = −p · E<br />
• minus sign means that p orients itself along the direction <strong>of</strong> E for lowest<br />
energy configuration<br />
• this holds for a fixed dipole moment p, but typically atom is polarizable<br />
and acquires p induced by presence <strong>of</strong> E<br />
• the dipole moment is proportional to E, with p = αɛ 0 E in SI units and α<br />
is atomic polarizability<br />
• simple classical model is conducting sphere <strong>of</strong> radius b, where α = 4πb 3<br />
(three times the volume)<br />
40
• for polarizable atom, interaction energy becomes U int = − 1 2 αɛ 0|E| 2<br />
• if electric field is static and nonuniform, then interaction energy also becomes<br />
spatially varying U int (r) = − 1 2 αɛ 0|E(r)| 2<br />
• hence atom experiences a force that seeks to minimize the interaction energy,<br />
placing the atom at the local maximum <strong>of</strong> |E| 2 because static polarizability<br />
α is positive<br />
• same result holds for low and intermediate frequencies <strong>of</strong> the applied electric<br />
field<br />
• situation eventually changes because <strong>of</strong> induced transitions among atomic<br />
energy levels<br />
41
• Drude model <strong>of</strong> a bound electron with resonant frequency ω 0 and damping<br />
time τ gives simple and familiar result for frequency-dependent<br />
polarizability<br />
α(0)ω0<br />
2 α(ω) =<br />
ω0 2 − ω2 − iω/τ<br />
where ω is frequency <strong>of</strong> applied field and α(0) is (positive) static<br />
polarizability<br />
• note that Re α(ω) changes sign from positive to negative for ω > ω 0<br />
• combination <strong>of</strong> these results yields frequency-dependent complex interaction<br />
energy<br />
U int (r, ω) = − 1 α(0)ɛ 0 ω0<br />
2<br />
2 ω0 2 − |E(r, ω2 ω)|2<br />
− iω/τ<br />
• this result is <strong>of</strong>ten called the ac Stark effect<br />
42
• these ideas apply directly to optical trapping <strong>of</strong> an atom by a focused laser<br />
beam<br />
• if the frequency <strong>of</strong> laser is below the resonance (“red detuning”), then<br />
Re α(ω) is positive and atom is attracted to maximum <strong>of</strong> the intensity<br />
• but if the frequency <strong>of</strong> laser is above the resonance (“blue detuning”), then<br />
Re α(ω) is negative and atom is repelled from maximum <strong>of</strong> the intensity<br />
• in practice, use far-<strong>of</strong>f-resonance lasers to avoid dissipation<br />
• for alkali-metal atoms (Li, Na, K, Rb, Cs), the lowest s to p transition <strong>of</strong><br />
the single valence electron dominates, as in familiar yellow lines <strong>of</strong> Na<br />
• Ketterle’s group (MIT) successfully trapped a pre-existing 23 Na BEC in a<br />
focused infrared laser beam (1998)<br />
• unlike magnetic trap that can confine only certain magnetic hyperfine states,<br />
laser trap confines all magnetic states (I’ll come back to this topic later)<br />
43
Laser trapping has important application in what are known as “optical lattices”<br />
• consider laser beam propagating along the z axis with electric field<br />
E(z, t) = E 0 cos(kz − ωt)<br />
• reflect the beam <strong>of</strong>f a mirror at z = 0 and form a standing wave<br />
E 0 [cos(kz − ωt) − cos(kz + ωt)] = 2E 0 sin kz sin ωt<br />
• corresponding intensity is |E(z, t)| 2 = 4|E 0 | 2 sin 2 kz sin 2 ωt<br />
• this periodic array has spatial period 1 2λ, where λ = 2π/k is wavelength <strong>of</strong><br />
laser beam<br />
• red detuning traps atoms at maxima; blue detuning traps atoms at nodes<br />
• for either sign <strong>of</strong> detuning, atoms assume a periodic array in this<br />
one-dimensional lattice<br />
• wide application in study <strong>of</strong> cold dilute atoms<br />
44
• combination <strong>of</strong> more laser beams can lead to two-dimensional array <strong>of</strong> onedimensional<br />
tubes and three-dimensional array <strong>of</strong> zero-dimensional dots<br />
• strength <strong>of</strong> laser field determines the height <strong>of</strong> the barrier for tunneling<br />
between adjacent sites<br />
• has been used to study transition from superfluid to Mott insulator in a<br />
three-dimensional optical lattice<br />
45
• interesting experiment at Stanford (1998) trapped atoms in a vertical<br />
one-dimensional lattice<br />
• adjacent sites have different gravitational potential Mgλ/2<br />
• associated interlayer tunneling produced ac Josephson current at frequency<br />
ω J = Mgλ/(2)<br />
• led to observable periodic particle flux from lower end <strong>of</strong> the array at this<br />
Josephson frequency<br />
46