24.01.2014 Views

Quantum Mechanics of Bose-Einstein Condensates Alexander L ...

Quantum Mechanics of Bose-Einstein Condensates Alexander L ...

Quantum Mechanics of Bose-Einstein Condensates Alexander L ...

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!