Skip to content

Weakly Interacting Bose Gas Preview

A weakly interacting Bose gas is a dilute gas of bosons whose low-energy two-body collisions are important but whose many-body correlations remain perturbatively small. In three dimensions, the standard control parameter is the gas parameter

γ=nas3≪1,\gamma = n a_s^3 \ll 1,

where n=N/Vn=N/V is the number density and asa_s is the ss-wave scattering length. The phrase weakly interacting does not mean that a dimensional coupling constant is numerically small by itself. It means that the interaction length is much smaller than the mean interparticle spacing:

as≪n−1/3.a_s \ll n^{-1/3}.

Even in this controlled regime, interactions change the infrared physics qualitatively. The ideal condensate has quadratic excitations, zero interaction pressure, divergent compressibility, and no nonzero Landau critical velocity. A weak repulsion produces a finite chemical potential, a healing length, and a linear sound branch. It also depletes the condensate at zero temperature and shifts the ground-state energy beyond mean field.

This page is a bridge rather than the canonical derivation of every method. It owns:

  • the assumptions that define the dilute three-dimensional regime;
  • the physical meaning of the contact coupling;
  • the uniform mean-field equation of state;
  • the scales gngn, cc, and ξ\xi;
  • a derivation preview of the Bogoliubov spectrum;
  • the leading depletion and Lee–Huang–Yang results;
  • the connection between phonons and superfluidity;
  • a map of where the approximation succeeds and fails.

Gross–Pitaevskii Equation owns the full variational and dynamical mean-field derivation, including traps. Bogoliubov Theory owns the systematic diagonalization of bosonic quadratic Hamiltonians and its extension to paired fermions. Goldstone Modes in Many-Body Systems owns the symmetry-based counting and the distinction between Goldstone sound and other gapless branches. Operator normalization and ultraviolet cautions already have canonical homes in Field Operators in Many-Body Models and Common Many-Body Hamiltonians; pair counting and two-body-density conventions are collected in Two-Body Operators.

Quasiparticles Overview supplies the general distinction among normal modes, collective modes, dressed particles, and quasiparticles, together with lifetime and propagation criteria.

Polarons Preview uses this dilute condensate and its Bogoliubov density modes as the host for a mobile Bose polaron, while retaining impurity recoil and impurity–boson coupling as separate data.

Use Superfluidity in Condensed Matter when this controlled Bose-gas model becomes an input to a neutral-material phase or response claim; this page retains the dilute-gas derivation and validity window.

Unless stated otherwise, consider:

  • one species of spinless bosons;
  • three spatial dimensions;
  • a homogeneous volume VV with periodic boundary conditions;
  • short-range, repulsive interactions;
  • positive scattering length as>0a_s>0;
  • zero temperature, or temperatures low enough that condensate depletion is small;
  • the thermodynamic limit at fixed density;
  • wavelengths long compared with the microscopic interaction range.

The low-energy Hamiltonian is

H^=∫d3r ℏ22m∇ψ^†⋅∇ψ^+g2∫d3r ψ^†ψ^†ψ^ψ^,\begin{aligned} \hat H ={}& \int d^3r\, \frac{\hbar^2}{2m} \boldsymbol\nabla\hat\psi^\dagger \boldsymbol\cdot \boldsymbol\nabla\hat\psi \\ &+ \frac{g}{2} \int d^3r\, \hat\psi^\dagger \hat\psi^\dagger \hat\psi \hat\psi, \end{aligned}

with equal-time commutator

[ψ^(r),ψ^†(r′)]=δ(3)(r−r′).[ \hat\psi(\mathbf r), \hat\psi^\dagger(\mathbf r') ] = \delta^{(3)}(\mathbf r-\mathbf r').

At leading order in the low-energy expansion,

g=4πℏ2asm.g = \frac{4\pi\hbar^2 a_s}{m}.

This formula uses the physical, renormalized scattering length. A bare coefficient multiplying a delta function depends on the ultraviolet prescription once loop or zero-point integrals are evaluated. It must not be identified with 4πℏ2as/m4\pi\hbar^2a_s/m at every cutoff without matching.

Let U(r)U(r) be a short-range microscopic two-body potential. At low relative momentum, its ss-wave phase shift obeys the effective-range expansion

kcot⁡δ0(k)=−1as+re2k2+O(k4),k\cot\delta_0(k) = -\frac{1}{a_s} + \frac{r_e}{2}k^2 + O(k^4),

where rer_e is the effective range. The scattering amplitude is

f0(k)=1kcot⁡δ0(k)−ik.f_0(k) = \frac{1}{ k\cot\delta_0(k)-ik }.

If all relevant momenta satisfy

k∣re∣≪1,k|r_e| \ll 1,

the leading interaction is determined by asa_s and microscopic shape details enter only at higher order. The contact model is therefore an effective low-energy theory, not a claim that real atoms are mathematical points.

The two independent approximations should be kept separate:

ApproximationRepresentative conditionWhat it controls
low-energy two-body reduction$kr_e
dilute many-body expansionnas3≪1na_s^3\ll1suppressing depletion and higher-order many-body corrections

A system may satisfy one condition more accurately than the other.

For a periodic box,

ψ^(r)=1V∑keik⋅ra^k,\hat\psi(\mathbf r) = \frac{1}{\sqrt V} \sum_{\mathbf k} e^{i\mathbf k\cdot\mathbf r} \hat a_{\mathbf k},

and

ϵk=ℏ2k22m.\epsilon_k = \frac{\hbar^2k^2}{2m}.

The Hamiltonian becomes

H^=∑kϵka^k†a^k+g2V∑k,k′,qa^k+q†a^k′−q†a^k′a^k.\begin{aligned} \hat H ={}& \sum_{\mathbf k} \epsilon_k \hat a_{\mathbf k}^\dagger \hat a_{\mathbf k} \\ &+ \frac{g}{2V} \sum_{\mathbf k,\mathbf k',\mathbf q} \hat a_{\mathbf k+\mathbf q}^\dagger \hat a_{\mathbf k'-\mathbf q}^\dagger \hat a_{\mathbf k'} \hat a_{\mathbf k}. \end{aligned}

The momentum transfer q\mathbf q redistributes momentum between two particles while preserving total momentum. Unlike the ideal-gas Hamiltonian, the interaction does not commute with each individual mode occupation. Momentum modes are coupled, and the exact eigenstates are not single occupation-number configurations.

Start with the idealized state in which all NN particles occupy the zero-momentum mode:

∣N0=N⟩=(a^0†)NN!∣0⟩.|N_0=N\rangle = \frac{ (\hat a_{\mathbf0}^\dagger)^N }{\sqrt{N!}} |0\rangle.

Its kinetic energy is zero. The interaction expectation value uses

⟨a^0†a^0†a^0a^0⟩=N(N−1),\left\langle \hat a_{\mathbf0}^\dagger \hat a_{\mathbf0}^\dagger \hat a_{\mathbf0} \hat a_{\mathbf0} \right\rangle = N(N-1),

so

EMF=g2VN(N−1).E_{\mathrm{MF}} = \frac{g}{2V} N(N-1).

In the thermodynamic limit,

EMFV=g2n2.\frac{E_{\mathrm{MF}}}{V} = \frac{g}{2}n^2.

The factor 1/21/2 prevents double counting of particle pairs. This simple result is mean field because the trial state neglects pair correlations generated by the interaction.

At fixed volume, the mean-field chemical potential is

μMF=(∂EMF∂N)V=gn\mu_{\mathrm{MF}} = \left( \frac{\partial E_{\mathrm{MF}}}{\partial N} \right)_V = gn

in the thermodynamic limit. The pressure is

PMF=−(∂EMF∂V)N=g2n2.P_{\mathrm{MF}} = -\left( \frac{\partial E_{\mathrm{MF}}}{\partial V} \right)_N = \frac{g}{2}n^2.

The isothermal compressibility at zero temperature is

κT=1n(∂n∂P)T=1gn2.\kappa_T = \frac{1}{n} \left( \frac{\partial n}{\partial P} \right)_T = \frac{1}{gn^2}.

Thus an arbitrarily weak positive gg gives the condensate a finite stiffness. In the ideal limit g→0+g\to0^+,

κT→∞.\kappa_T \to \infty.

The Chemical Potential page explains why μ\mu is an addition-energy derivative rather than the energy of a distinguished particle.

Introduce a condensate amplitude Φ(r)\Phi(\mathbf r) normalized by

∫d3r ∣Φ(r)∣2=N.\int d^3r\, |\Phi(\mathbf r)|^2 = N.

The corresponding energy functional is

E[Φ]=∫d3r [ℏ22m∣∇Φ∣2+Vext∣Φ∣2+g2∣Φ∣4].E[\Phi] = \int d^3r\, \left[ \frac{\hbar^2}{2m} |\boldsymbol\nabla\Phi|^2 + V_{\mathrm{ext}} |\Phi|^2 + \frac{g}{2} |\Phi|^4 \right].

Stationarity at fixed particle number gives the signpost equation

[−ℏ2∇22m+Vext+g∣Φ∣2]Φ=μΦ.\left[ -\frac{\hbar^2\nabla^2}{2m} + V_{\mathrm{ext}} + g|\Phi|^2 \right] \Phi = \mu\Phi.

For a uniform condensate, Φ=n\Phi=\sqrt n and μ=gn\mu=gn. Gross–Pitaevskii Equation derives this equation carefully, distinguishes stationary and time-dependent formulations, and treats boundary conditions, vortices, and trapped profiles. Here it serves only to show how the uniform equation of state enters a spatially varying condensate.

Replacing an operator by a complex amplitude is a representation of mean-field order, not an exact operator identity. Exact finite-NN states can preserve particle-number symmetry; number-conserving formulations reproduce the leading results without assigning a nonzero expectation value to ψ^\hat\psi.

Three scales organize the weakly interacting gas.

The mean-field energy per added particle is

μ=gn.\mu = gn.

This separates the collective low-energy regime from approximately single-particle behavior.

At zero temperature, hydrodynamics gives

c2=1m∂P∂n.c^2 = \frac{1}{m} \frac{\partial P}{\partial n}.

Using the mean-field pressure,

c=gnm.c = \sqrt{\frac{gn}{m}}.

Equivalently,

mc2=gn.mc^2 = gn.

Balance the kinetic cost of varying the condensate over a distance ξ\xi against the interaction energy:

ℏ22mξ2=gn.\frac{\hbar^2}{2m\xi^2} = gn.

The Gross–Pitaevskii healing-length convention used here is

ξ=ℏ2mgn=18πnas.\xi = \frac{\hbar}{\sqrt{2mgn}} = \frac{1}{\sqrt{8\pi n a_s}}.

It obeys

ξ=ℏ2,mc.\xi = \frac{\hbar}{\sqrt2,mc}.

Different texts sometimes absorb the factor 2\sqrt2 into the definition of a coherence or healing length. Always check the defining balance before comparing formulas.

Parametrically, the dilute limit generates the hierarchy

as≪n−1/3≪ξ,a_s \ll n^{-1/3} \ll \xi,

up to numerical factors. The first inequality suppresses short-range many-body encounters; the second allows collective density variations to involve many particles.

For the ideal gas,

Ek(0)=ϵk=ℏ2k22m.E_k^{(0)} = \epsilon_k = \frac{\hbar^2k^2}{2m}.

The phase velocity tends to zero:

Ek(0)ℏk=ℏk2m⟶0\frac{E_k^{(0)}}{\hbar k} = \frac{\hbar k}{2m} \longrightarrow 0

as k→0k\to0. A fluid with this spectrum has no positive Landau threshold for creating excitations. The same softness appears thermodynamically as infinite compressibility below the ideal-gas condensation temperature.

Interactions cannot be represented merely by adding a constant Hartree shift to every excitation. Particle and hole amplitudes mix, and that mixing is what produces a gapless collective branch.

Work with the grand-canonical operator

K^=H^−μN^.\hat K = \hat H - \mu\hat N.

When the zero-momentum mode is macroscopically occupied, write schematically

a^0≈N0\hat a_{\mathbf0} \approx \sqrt{N_0}

and retain terms through quadratic order in a^k≠0\hat a_{\mathbf k\ne0}. Choosing

μ=gn0,n0=N0V,\mu = gn_0, \qquad n_0 = \frac{N_0}{V},

removes the linear terms. The quadratic fluctuation Hamiltonian is

K^2=∑k≠0[(ϵk+gn0)a^k†a^k+gn02(a^k†a^−k†+a^ka^−k)].\begin{aligned} \hat K_2 ={}& \sum_{\mathbf k\ne\mathbf0} \Bigg[ (\epsilon_k+gn_0) \hat a_{\mathbf k}^\dagger \hat a_{\mathbf k} \\ &\quad+ \frac{gn_0}{2} \left( \hat a_{\mathbf k}^\dagger \hat a_{-\mathbf k}^\dagger + \hat a_{\mathbf k} \hat a_{-\mathbf k} \right) \Bigg]. \end{aligned}

The anomalous terms create or remove opposite-momentum pairs. Therefore bare particles of momentum k\mathbf k are not the normal modes.

The approximation organizes the Hamiltonian as:

Order in fluctuationsRole
no fluctuation operatorscondensate mean-field energy
one fluctuation operatorvanishes when the background is stationary
two fluctuation operatorsindependent quasiparticles after diagonalization
three and four fluctuation operatorsquasiparticle interactions neglected at leading order

The actual control condition is small depletion and weak quasiparticle interactions, not a formal claim that every higher-power operator is always negligible.

Introduce quasiparticle operators by

a^k=ukb^k−vkb^−k†,\hat a_{\mathbf k} = u_k\hat b_{\mathbf k} - v_k\hat b_{-\mathbf k}^\dagger,

with real coefficients satisfying

uk2−vk2=1.u_k^2-v_k^2 = 1.

This condition preserves the bosonic commutator. The coefficients can be chosen as

uk2=12(ϵk+gn0Ek+1),u_k^2 = \frac12 \left( \frac{\epsilon_k+gn_0}{E_k} + 1 \right),

and

vk2=12(ϵk+gn0Ek−1).v_k^2 = \frac12 \left( \frac{\epsilon_k+gn_0}{E_k} - 1 \right).

The resulting excitation energy is

Ek=ϵk(ϵk+2gn0).E_k = \sqrt{ \epsilon_k (\epsilon_k+2gn_0) }.

At leading order in the dilute expansion, one may replace n0n_0 by nn inside this spectrum. Their difference is already of relative order nas3\sqrt{na_s^3}.

The quasiparticle vacuum is not the state with every atom in the zero-momentum mode. It is a correlated, pair-squeezed state with nonzero occupation vk2v_k^2 in modes k≠0\mathbf k\ne0.

Bogoliubov Quasiparticles compares this bosonic hyperbolic mixing with fermionic pairing and explains how uku_k and vkv_k enter particle content, conserved quantities, and probe coherence factors.

The equations of motion for the pair

(a^ka^−k†)\begin{pmatrix} \hat a_{\mathbf k} \\ \hat a_{-\mathbf k}^\dagger \end{pmatrix}

involve the matrix

Lk=(ϵk+gn0gn0−gn0−(ϵk+gn0)).\mathcal L_k = \begin{pmatrix} \epsilon_k+gn_0 & gn_0 \\ -gn_0 & -(\epsilon_k+gn_0) \end{pmatrix}.

Its eigenvalues satisfy

λk2=(ϵk+gn0)2−(gn0)2,\lambda_k^2 = (\epsilon_k+gn_0)^2 -(gn_0)^2,

and hence

λk=±Ek.\lambda_k = \pm E_k.

The minus sign in the lower row reflects the bosonic particle–hole metric. This is why diagonalizing the ordinary symmetric coefficient matrix as though it were a one-particle Hamiltonian gives the wrong answer.

Define

q=kξ.q = k\xi.

Because

ϵk=gnq2,\epsilon_k = gnq^2,

the leading spectrum takes the universal dimensionless form

Ekgn=q2(q2+2).\frac{E_k}{gn} = \sqrt{ q^2(q^2+2) }.

Bogoliubov dispersion crossing from a linear sound branch to a particle-like quadratic branch

The Bogoliubov dispersion in units set by gngn and the healing length ξ=ℏ/2mgn\xi=\hbar/\sqrt{2mgn}. For kξ≪1k\xi\ll1, Ek/(gn)≃2,kξE_k/(gn)\simeq\sqrt2,k\xi; for kξ≫1k\xi\gg1, Ek/(gn)≃(kξ)2+1E_k/(gn)\simeq(k\xi)^2+1.

For q≪1q\ll1,

Ek=ℏck[1+(kξ)24+O((kξ)4)].E_k = \hbar ck \left[ 1 + \frac{(k\xi)^2}{4} + O((k\xi)^4) \right].

The excitations are phonons: collective density and phase waves rather than atoms carrying a definite momentum independently of the medium.

For q≫1q\gg1 while the contact description remains valid,

Ek=ϵk+gn−(gn)22ϵk+O(ϵk−2).E_k = \epsilon_k + gn - \frac{(gn)^2}{2\epsilon_k} + O(\epsilon_k^{-2}).

The excitation becomes particle-like, with a leading mean-field shift. This is an intermediate asymptotic statement: at momenta comparable to the inverse interaction range, the contact theory itself must be refined.

The crossover occurs near

kξ∼1,k\xi \sim 1,

or equivalently

ϵk∼gn.\epsilon_k \sim gn.

The healing length is therefore both a spatial recovery scale and the wavelength separating collective from particle-like excitations.

The microscopic Hamiltonian conserves total particle number and is invariant under

ψ^⟼eiαψ^.\hat\psi \longmapsto e^{i\alpha} \hat\psi.

In a thermodynamic symmetry-breaking description, the condensate chooses a phase. Long-wavelength phase variations cost arbitrarily little energy, producing the gapless phonon branch. The simple Bogoliubov spectrum indeed obeys

Ek=0=0.E_{k=0} = 0.

At finite size and fixed NN, one can retain exact number symmetry. The same collective spectrum emerges through number-conserving constructions. A nonzero order-parameter expectation value is a useful thermodynamic representation, not the only logically possible formulation. The broader symmetry logic is introduced in Spontaneous Symmetry Breaking Preview.

At zero temperature, the Bogoliubov quasiparticle vacuum satisfies

⟨b^k†b^k⟩=0,\langle \hat b_{\mathbf k}^\dagger \hat b_{\mathbf k} \rangle = 0,

but the atomic momentum modes have occupation

⟨a^k†a^k⟩=vk2.\langle \hat a_{\mathbf k}^\dagger \hat a_{\mathbf k} \rangle = v_k^2.

Thus the noncondensed density is

nex=∫d3k(2π)3vk2.n_{\mathrm{ex}} = \int \frac{d^3k}{(2\pi)^3} v_k^2.

For the homogeneous three-dimensional dilute gas,

nexn=83πnas3+O(nas3).\frac{n_{\mathrm{ex}}}{n} = \frac{8}{3\sqrt\pi} \sqrt{na_s^3} + O(na_s^3).

This is quantum depletion: it remains at T=0T=0 and arises from interaction-induced pair correlations. It is distinct from thermal depletion. Small nas3\sqrt{na_s^3} makes the condensate fraction close to one, but never exactly one for a nonzero repulsive interaction in the thermodynamic ground state.

The Bose–Einstein Condensation page owns the basis-independent definition of condensate occupation. Here depletion is used as the quantitative diagnostic controlling the weak-correlation expansion.

Beyond Mean Field: Lee–Huang–Yang Term

Section titled “Beyond Mean Field: Lee–Huang–Yang Term”

The quadratic modes have zero-point energy. A naive contact-theory sum is ultraviolet divergent, so the bare coupling must be eliminated in favor of the physical scattering length before a finite result is quoted. After this matching, the ground-state energy density is

EV=gn22[1+12815πnas3+O ⁣(nas3ln⁡(nas3))].\frac{E}{V} = \frac{gn^2}{2} \left[ 1 + \frac{128}{15\sqrt\pi} \sqrt{na_s^3} + O\!\left( na_s^3\ln(na_s^3) \right) \right].

The leading correction is the Lee–Huang–Yang term. Differentiation gives

μ=gn[1+323πnas3+⋯ ].\mu = gn \left[ 1 + \frac{32}{3\sqrt\pi} \sqrt{na_s^3} + \cdots \right].

Several lessons are packed into these formulas:

  1. Mean field is the first term of a controlled expansion, not an exact result.
  2. The first correction is nonanalytic in gg when expressed at fixed density because as∝ga_s\propto g at leading order.
  3. The same parameter nas3\sqrt{na_s^3} controls both depletion and the leading energy correction.
  4. Higher orders eventually depend on additional short-distance data as well as logarithms.

The Lee–Huang–Yang term is a standard established result for the dilute homogeneous three-dimensional gas. Applying a local version of it to mixtures, dipolar gases, low dimensions, or rapidly varying trapped profiles requires a new validity analysis.

Define the density fluctuation mode

δn^k=n^k−⟨n^k⟩.\delta\hat n_{\mathbf k} = \hat n_{\mathbf k} - \langle\hat n_{\mathbf k}\rangle.

With the normalization

S(k)=1N⟨δn^kδn^−k⟩,S(k) = \frac{1}{N} \left\langle \delta\hat n_{\mathbf k} \delta\hat n_{-\mathbf k} \right\rangle,

Bogoliubov theory at zero temperature gives

S(k)=ϵkEk.S(k) = \frac{\epsilon_k}{E_k}.

At long wavelength,

S(k)∼ℏk2mc.S(k) \sim \frac{\hbar k}{2mc}.

The vanishing of S(k)S(k) as k→0k\to0 shows that repulsive interactions suppress long-wavelength density fluctuations. At finite temperature within the quasiparticle approximation,

S(k)=ϵkEkcoth⁡ ⁣(βEk2).S(k) = \frac{\epsilon_k}{E_k} \coth\!\left( \frac{\beta E_k}{2} \right).

Correlation-function definitions and connected-versus-disconnected bookkeeping are developed in Correlation Functions Overview.

Suppose an obstacle moves through the fluid with velocity v\mathbf v. Creating an excitation of momentum p\mathbf p changes the energy in the obstacle frame by

ΔE′=E(p)−v⋅p.\Delta E' = E(\mathbf p) - \mathbf v\boldsymbol\cdot\mathbf p.

Energetic emission is impossible if this is positive for every allowed excitation. The Landau critical velocity is therefore

vL=min⁡p≠0E(p)∣p∣.v_L = \min_{\mathbf p\ne\mathbf0} \frac{E(\mathbf p)}{|\mathbf p|}.

For the Bogoliubov branch, p=ℏk\mathbf p=\hbar\mathbf k and

Ek2ℏ2k2=c2+(ℏk2m)2.\frac{E_k^2}{\hbar^2k^2} = c^2 + \left( \frac{\hbar k}{2m} \right)^2.

Hence

vL=c.v_L = c.

This is a striking qualitative change from the ideal gas, for which vL=0v_L=0.

The Landau value is an energetic upper benchmark, not a universal measured critical velocity. In trapped or bounded fluids, vortex nucleation, surfaces, inhomogeneity, finite temperature, disorder, and dissipation can trigger flow decay below cc.

Condensation and superfluidity are related but not identical:

  • condensation concerns an extensive eigenvalue of the one-body density matrix;
  • superfluidity concerns nondissipative response, phase stiffness, metastable flow, and topological defects;
  • a three-dimensional weakly interacting condensate at low temperature exhibits both;
  • in other dimensions and strongly correlated systems, the relation can be subtler.

Take parameters roughly characteristic of a dilute alkali gas:

n=1020 m−3,as=5.3 nm,n = 10^{20}\ \mathrm{m}^{-3}, \qquad a_s = 5.3\ \mathrm{nm},

and

m=1.44×10−25 kg.m = 1.44\times10^{-25}\ \mathrm{kg}.

Then

nas3≈1.5×10−5,na_s^3 \approx 1.5\times10^{-5},

so

nas3≈3.9×10−3.\sqrt{na_s^3} \approx 3.9\times10^{-3}.

The leading quantum depletion is approximately

nexn≈5.8×10−3,\frac{n_{\mathrm{ex}}}{n} \approx 5.8\times10^{-3},

or about 0.6%0.6\%. The mean-field scales are approximately

μkB≈37 nK,\frac{\mu}{k_B} \approx 37\ \mathrm{nK}, c≈1.9 mm s−1,c \approx 1.9\ \mathrm{mm\,s^{-1}},

and

ξ≈0.27 μm.\xi \approx 0.27\ \mu\mathrm m.

These numbers are illustrative, not universal properties of a species. Density, internal state, magnetic field, trap geometry, and scattering length all matter.

QuestionControlled answer in this previewWarning sign
Is the gas dilute?nas3≪1na_s^3\ll1depletion or beyond-mean-field terms are not small
Is contact matching adequate?relevant $kr_e
Is the condensate expansion valid?nex/n≪1n_{\mathrm{ex}}/n\ll1strong depletion or fragmentation
Is the uniform treatment adequate?variation scale Lvar≫ξL_{\mathrm{var}}\gg\xisharp boundaries, vortex cores, tight confinement
Is the phonon limit adequate?kξ≪1k\xi\ll1particle-like curvature matters
Is the zero-temperature equation of state adequate?thermal fraction is smallapproach to the critical region
Is a stable homogeneous branch present?g>0g>0g<0g<0 gives long-wavelength collapse

No single small number controls every approximation.

As TT approaches the condensation transition, n0n_0 becomes small and long-wavelength critical fluctuations grow. A naive condensate expansion is not uniformly accurate in the critical region. The interaction-induced shift of the transition temperature is a separate finite-temperature many-body problem.

The parameter nas3na_s^3 is specific to three dimensions. Couplings have different dimensions in one and two dimensions, long-range order has stronger infrared restrictions, and phase fluctuations can dominate density fluctuations. Three-dimensional depletion and Lee–Huang–Yang coefficients must not be transplanted unchanged.

Near a resonance, asa_s can become comparable to or larger than the interparticle spacing. Then nas3≪1na_s^3\ll1 fails, depletion is not perturbative, and additional few-body scales may enter. Bogoliubov theory is no longer a controlled expansion merely because a condensate remains observable.

For g<0g<0, the mean-field pressure and compressibility indicate instability. Formally,

Ek2=ϵk(ϵk−2∣g∣n),E_k^2 = \epsilon_k (\epsilon_k-2|g|n),

which is negative at sufficiently small kk. A uniform infinite gas therefore has exponentially growing long-wavelength modes. Finite trapped attractive condensates can be metastable below a system-dependent particle-number threshold, but that is a different boundary-value problem.

Dipolar, Coulomb, and other long-range forces produce momentum-dependent interactions and can generate excitation structures absent from the contact model. Replacing them by one scalar asa_s can erase the defining physics.

For a dilute-gas estimate:

  1. Identify the dimensionality, density, mass, and low-energy scattering data.
  2. Check nas3≪1na_s^3\ll1 in three dimensions.
  3. Compute g=4πℏ2as/mg=4\pi\hbar^2a_s/m using the physical scattering length.
  4. Find the mean-field scale μ=gn\mu=gn.
  5. Compute c=gn/mc=\sqrt{gn/m} and ξ=ℏ/2mgn\xi=\hbar/\sqrt{2mgn}.
  6. Compare the probe momentum with 1/ξ1/\xi.
  7. Use Ek=ϵk(ϵk+2gn)E_k=\sqrt{\epsilon_k(\epsilon_k+2gn)} only within the contact and weak-depletion regimes.
  8. Estimate nex/nn_{\mathrm{ex}}/n and the Lee–Huang–Yang correction.
  9. Reassess traps, temperature, effective range, and dimensional crossover before comparing with an experiment.

The numerical value of gg depends on units. The gas parameter nas3na_s^3 is dimensionless and controls the three-dimensional dilute expansion.

Treating the contact interaction as microscopic at every scale

Section titled “Treating the contact interaction as microscopic at every scale”

The delta interaction is an effective low-energy representation. Beyond leading mean field, ultraviolet matching to the scattering length is essential.

Setting the condensate fraction to exactly one

Section titled “Setting the condensate fraction to exactly one”

Repulsive interactions produce quantum depletion even at zero temperature.

Keeping the diagonal shift while discarding anomalous pair terms produces a spurious gap. Particle–hole mixing is essential for the sound mode.

Macroscopic one-body occupation and nondissipative flow are distinct diagnostics, even though they coexist in the standard weak three-dimensional gas.

Factors of 2\sqrt2 differ across conventions. Define ξ\xi by an explicit kinetic-interaction balance.

Mixing total and condensate density inconsistently

Section titled “Mixing total and condensate density inconsistently”

At leading order n0n_0 and nn may be interchanged in the spectrum. At the next order, that replacement changes coefficients and must be tracked systematically.

Applying the zero-temperature formulas near criticality

Section titled “Applying the zero-temperature formulas near criticality”

Small gas parameter does not eliminate thermal and critical fluctuations near the transition.

Identifying the observed critical velocity with sound speed automatically

Section titled “Identifying the observed critical velocity with sound speed automatically”

cc is the homogeneous Bogoliubov Landau value. Real flow decay may begin earlier through vortices, boundaries, or dissipation.

Evaluate the contact interaction in the state with NN particles in the zero-momentum mode. Explain why the result involves N(N−1)N(N-1) rather than N2N^2.

Solution

Only the zero-mode term contributes:

H^int⟶g2Va^0†a^0†a^0a^0.\hat H_{\mathrm{int}} \longrightarrow \frac{g}{2V} \hat a_{\mathbf0}^\dagger \hat a_{\mathbf0}^\dagger \hat a_{\mathbf0} \hat a_{\mathbf0}.

Using

a^0∣N⟩=N∣N−1⟩,\hat a_{\mathbf0} |N\rangle = \sqrt N |N-1\rangle,

twice gives

⟨a^0†a^0†a^0a^0⟩=N(N−1).\left\langle \hat a_{\mathbf0}^\dagger \hat a_{\mathbf0}^\dagger \hat a_{\mathbf0} \hat a_{\mathbf0} \right\rangle = N(N-1).

Therefore

Eint=g2VN(N−1).E_{\mathrm{int}} = \frac{g}{2V}N(N-1).

The product counts ordered choices of two distinct particles. The prefactor 1/21/2 converts this to unordered pairs. A particle does not interact with itself, which is why the exact finite-NN factor is not N2N^2.

Starting with

E(N,V)=gN22V,E(N,V) = \frac{gN^2}{2V},

derive μ\mu, PP, and κT\kappa_T in the thermodynamic limit.

Solution

At fixed VV,

μ=(∂E∂N)V=gNV=gn.\mu = \left( \frac{\partial E}{\partial N} \right)_V = \frac{gN}{V} = gn.

At fixed NN,

P=−(∂E∂V)N=gN22V2=gn22.P = -\left( \frac{\partial E}{\partial V} \right)_N = \frac{gN^2}{2V^2} = \frac{gn^2}{2}.

Since

∂P∂n=gn,\frac{\partial P}{\partial n} = gn,

the compressibility is

κT=1n(∂n∂P)T=1gn2.\kappa_T = \frac{1}{n} \left( \frac{\partial n}{\partial P} \right)_T = \frac{1}{gn^2}.

All three quantities reflect the same interaction stiffness.

Let q=kξq=k\xi and show that

Ekgn=q2(q2+2).\frac{E_k}{gn} = \sqrt{q^2(q^2+2)}.

Derive its first correction in both the q≪1q\ll1 and q≫1q\gg1 limits.

Solution

The definition

ξ2=ℏ22mgn\xi^2 = \frac{\hbar^2}{2mgn}

implies

ϵk=ℏ2k22m=gnq2.\epsilon_k = \frac{\hbar^2k^2}{2m} = gnq^2.

Substitution into the Bogoliubov spectrum gives the dimensionless form. For q≪1q\ll1,

q2(q2+2)=2,q1+q22=2,q(1+q24+O(q4)).\begin{aligned} \sqrt{q^2(q^2+2)} &= \sqrt2,q \sqrt{1+\frac{q^2}{2}} \\ &= \sqrt2,q \left( 1+\frac{q^2}{4}+O(q^4) \right). \end{aligned}

Because 2,gnξ=ℏc\sqrt2,gn\xi=\hbar c, this is

Ek=ℏck[1+(kξ)24+⋯ ].E_k = \hbar ck \left[ 1+\frac{(k\xi)^2}{4}+\cdots \right].

For q≫1q\gg1,

q2(q2+2)=q21+2q2=q2+1−12q2+O(q−4).\begin{aligned} \sqrt{q^2(q^2+2)} &= q^2 \sqrt{1+\frac{2}{q^2}} \\ &= q^2+1-\frac{1}{2q^2}+O(q^{-4}). \end{aligned}

Thus

Ek=ϵk+gn−(gn)22ϵk+⋯ .E_k = \epsilon_k +gn -\frac{(gn)^2}{2\epsilon_k} +\cdots.

For

a^k=ukb^k−vkb^−k†,\hat a_{\mathbf k} = u_k\hat b_{\mathbf k} - v_k\hat b_{-\mathbf k}^\dagger,

derive the condition on uku_k and vkv_k required by bosonic commutation relations.

Solution

Using

[b^k,b^k†]=1[ \hat b_{\mathbf k}, \hat b_{\mathbf k}^\dagger ] = 1

and

[b^−k†,b^−k]=−1,[ \hat b_{-\mathbf k}^\dagger, \hat b_{-\mathbf k} ] = -1,

one finds

[a^k,a^k†]=∣uk∣2−∣vk∣2.[ \hat a_{\mathbf k}, \hat a_{\mathbf k}^\dagger ] = |u_k|^2-|v_k|^2.

Therefore canonical bosonic algebra requires

∣uk∣2−∣vk∣2=1.|u_k|^2-|v_k|^2 = 1.

For the real convention used on this page, this reduces to uk2−vk2=1u_k^2-v_k^2=1. It is a hyperbolic normalization rather than the unitary normalization ∣u∣2+∣v∣2=1|u|^2+|v|^2=1 familiar from two-level rotations.

Use

nex=12π2∫0∞dk k2vk2n_{\mathrm{ex}} = \frac{1}{2\pi^2} \int_0^\infty dk\,k^2v_k^2

to show by rescaling that nex/nn_{\mathrm{ex}}/n is proportional to nas3\sqrt{na_s^3}. You may use

∫0∞dq q22[q2+1q2(q2+2)−1]=132.\int_0^\infty dq\, \frac{q^2}{2} \left[ \frac{q^2+1}{\sqrt{q^2(q^2+2)}} -1 \right] = \frac{1}{3\sqrt2}.
Solution

Set q=kξq=k\xi. Then

vk2=12[q2+1q2(q2+2)−1],v_k^2 = \frac12 \left[ \frac{q^2+1}{\sqrt{q^2(q^2+2)}} -1 \right],

and

nex=12π2ξ3132.n_{\mathrm{ex}} = \frac{1}{2\pi^2\xi^3} \frac{1}{3\sqrt2}.

Using

ξ−3=(8πnas)3/2,\xi^{-3} = (8\pi n a_s)^{3/2},

gives

nex=83πn3/2as3/2.n_{\mathrm{ex}} = \frac{8}{3\sqrt\pi} n^{3/2}a_s^{3/2}.

Dividing by nn yields

nexn=83πnas3.\frac{n_{\mathrm{ex}}}{n} = \frac{8}{3\sqrt\pi} \sqrt{na_s^3}.

The rescaling shows why the square root of the gas parameter, rather than the gas parameter itself, is the first relative correction.

Starting from S(k)=ϵk/EkS(k)=\epsilon_k/E_k, derive the k→0k\to0 limit and interpret it physically.

Solution

At long wavelength,

Ek∼ℏck.E_k \sim \hbar ck.

Therefore

S(k)∼ℏ2k2/(2m)ℏck=ℏk2mc.S(k) \sim \frac{ \hbar^2k^2/(2m) }{ \hbar ck } = \frac{\hbar k}{2mc}.

Thus S(k)→0S(k)\to0 linearly. Repulsive interactions suppress density fluctuations on long length scales. The remaining low-energy mode is dominated by a coherent phase-density oscillation rather than independent occupation fluctuations of free particles.

Show directly that the minimum of Ek/(ℏk)E_k/(\hbar k) for the Bogoliubov spectrum is cc.

Solution

Divide the squared dispersion by ℏ2k2\hbar^2k^2:

Ek2ℏ2k2=ϵk(ϵk+2gn)ℏ2k2=ℏ2k24m2+gnm=(ℏk2m)2+c2.\begin{aligned} \frac{E_k^2}{\hbar^2k^2} &= \frac{ \epsilon_k(\epsilon_k+2gn) }{ \hbar^2k^2 } \\ &= \frac{\hbar^2k^2}{4m^2} + \frac{gn}{m} \\ &= \left( \frac{\hbar k}{2m} \right)^2 +c^2. \end{aligned}

The right-hand side increases with k2k^2, so its infimum occurs as k→0k\to0:

min⁡k>0Ekℏk=c.\min_{k>0} \frac{E_k}{\hbar k} = c.

This is the Landau critical velocity for the single homogeneous Bogoliubov branch. It does not include vortex or boundary-mediated decay channels.

Let g=−∣g∣g=-|g|. Determine the momentum range for which the Bogoliubov frequency is imaginary, and find the fastest growth rate.

Solution

For an attractive interaction,

Ek2=ϵk(ϵk−2∣g∣n).E_k^2 = \epsilon_k (\epsilon_k-2|g|n).

This is negative when

0<ϵk<2∣g∣n.0 < \epsilon_k < 2|g|n.

Since ϵk=ℏ2k2/(2m)\epsilon_k=\hbar^2k^2/(2m), the unstable band is

0<k<2m∣g∣nℏ.0 < k < \frac{2\sqrt{m|g|n}}{\hbar}.

Write Ek=iℏΓkE_k=i\hbar\Gamma_k in this band. Then

Γk=1ℏϵk(2∣g∣n−ϵk).\Gamma_k = \frac{1}{\hbar} \sqrt{ \epsilon_k(2|g|n-\epsilon_k) }.

The product is maximal at

ϵk=∣g∣n,\epsilon_k = |g|n,

giving

Γmax=∣g∣nℏ.\Gamma_{\mathrm{max}} = \frac{|g|n}{\hbar}.

An imaginary frequency signals dynamical collapse of the assumed uniform background, not a stable quasiparticle.

  • N. N. Bogoliubov, “On the Theory of Superfluidity,” Journal of Physics (USSR) 11, 23–32 (1947) — original weakly interacting Bose-gas quasiparticle construction.
  • T. D. Lee, K. Huang, and C. N. Yang, “Eigenvalues and Eigenfunctions of a Bose System of Hard Spheres and Its Low-Temperature Properties”, Physical Review 106, 1135–1145 (1957) — dilute-gas ground-state energy and the leading beyond-mean-field correction.
  • N. M. Hugenholtz and D. Pines, “Ground-State Energy and Excitation Spectrum of a System of Interacting Bosons”, Physical Review 116, 489–506 (1959) — gaplessness and interacting-boson spectrum.
  • F. Dalfovo, S. Giorgini, L. P. Pitaevskii, and S. Stringari, “Theory of Bose–Einstein Condensation in Trapped Gases”, Reviews of Modern Physics 71, 463–512 (1999) — authoritative review of dilute trapped condensates.
  • J. O. Andersen, “Theory of the Weakly Interacting Bose Gas”, Reviews of Modern Physics 76, 599–639 (2004) — systematic dilute-gas expansion, renormalization, depletion, and finite-temperature methods.
  • R. Lopes, C. Eigen, N. Navon, D. Clément, R. P. Smith, and Z. Hadzibabic, “Quantum Depletion of a Homogeneous Bose–Einstein Condensate”, Physical Review Letters 119, 190404 (2017) — experimental test of interaction-driven depletion in a homogeneous gas.
  • C. J. Pethick and H. Smith, Bose–Einstein Condensation in Dilute Gases, 2nd ed., Cambridge University Press (2008) — scattering, mean field, collective modes, traps, and finite-temperature theory.
  • L. Pitaevskii and S. Stringari, Bose–Einstein Condensation and Superfluidity, Oxford University Press (2016) — modern treatment of condensates, hydrodynamics, superfluidity, and beyond-mean-field effects.
  • A. L. Fetter and J. D. Walecka, Quantum Theory of Many-Particle Systems, Dover (2003 reprint) — operator derivation of Bogoliubov theory and many-body response methods.