Skip to content

Bose Gas Formula Sheet

This sheet specializes the Quantum Gas Formula Sheet to ideal bosons. Its central bookkeeping rule is to separate a potentially macroscopic ground mode before replacing excited-state sums by continuum integrals.

The derivations and physical interpretation remain in Bose–Einstein Statistics, Ideal Bose Gas, Bose–Einstein Condensation, Quantum Gases in Traps, and Low-Dimensional Quantum Gases.

Unless stated otherwise:

  • the particles are noninteracting bosons of mass mm;
  • the continuum is homogeneous and dd dimensional;
  • ϵk=ℏ2k2/(2m)\epsilon_{\mathbf k}=\hbar^2k^2/(2m);
  • the ground energy is shifted to ϵ0=0\epsilon_0=0;
  • gg counts internal components sharing one chemical potential and spectrum;
  • n=N/Vn=N/V is total density across those components;
  • β=1/(kBT)\beta=1/(k_{\mathrm B}T) and z=eβμz=e^{\beta\mu};
  • 0<z<10<z<1 at finite volume;
  • the thermodynamic limit follows periodic finite-volume state counting.

The factor gg is not mechanical: separately conserved components require separate number equations and chemical potentials, while a degenerate ground manifold can change how condensate occupation is distributed.

The Bose–Einstein occupation is

nˉ(ϵ)≡1eβ(ϵ−μ)−1=1z−1eβϵ−1.\bar n(\epsilon) \equiv \frac{1}{e^{\beta(\epsilon-\mu)}-1} = \frac{1}{z^{-1}e^{\beta\epsilon}-1}.

Positivity and convergence require

μ<ϵ0\mu < \epsilon_0

for an ordinary finite-volume grand-canonical state. With ϵ0=0\epsilon_0=0,

μ<0,0<z<1.\mu<0, \qquad 0<z<1.

The thermodynamic condensation boundary is approached as

μ→0−,z→1−.\mu\to0^-, \qquad z\to1^-.

For bosonic quasiparticles whose number is not conserved in equilibrium, the chemical potential is normally fixed to zero rather than determined by a number equation.

For one-particle modes α\alpha,

H=∑αϵαnα,nα=0,1,2,….H = \sum_\alpha \epsilon_\alpha n_\alpha, \qquad n_\alpha=0,1,2,\ldots.

Define

xα≡e−β(ϵα−μ).x_\alpha \equiv e^{-\beta(\epsilon_\alpha-\mu)}.

The one-mode probability law is geometric:

Pα(n)=(1−xα)xαn,n=0,1,2,….\begin{aligned} P_\alpha(n) &= (1-x_\alpha)x_\alpha^n, \\ n &= 0,1,2,\ldots. \end{aligned}

The grand partition function and grand potential are

Ξ=∏α11−xα,Ω=kBT∑αln⁡(1−xα).\begin{aligned} \Xi &= \prod_\alpha \frac{1}{1-x_\alpha}, \\ \Omega &= k_{\mathrm B}T \sum_\alpha \ln(1-x_\alpha). \end{aligned}

The mean and variance of one mode are

⟨nα⟩=xα1−xα,Var⁡(nα)=⟨nα⟩(1+⟨nα⟩).\begin{aligned} \langle n_\alpha\rangle &= \frac{x_\alpha}{1-x_\alpha}, \\ \operatorname{Var}(n_\alpha) &= \langle n_\alpha\rangle \left( 1+\langle n_\alpha\rangle \right). \end{aligned}

The one-mode entropy is

SαkB=(1+nˉα)ln⁡(1+nˉα)−nˉαln⁡nˉα.\begin{aligned} \frac{S_\alpha}{k_{\mathrm B}} &= (1+\bar n_\alpha) \ln(1+\bar n_\alpha) \\ &\quad- \bar n_\alpha \ln\bar n_\alpha. \end{aligned}

These fluctuation formulas apply to independent grand-canonical modes. A fixed total particle number correlates the occupations.

For ϵ0=0\epsilon_0=0, the ground-mode occupation is

N0=z1−z.N_0 = \frac{z}{1-z}.

Therefore

z=N0N0+1,μ=−kBTln⁡(1+1N0).\begin{aligned} z &= \frac{N_0}{N_0+1}, \\ \mu &= -k_{\mathrm B}T \ln\left( 1+\frac{1}{N_0} \right). \end{aligned}

For N0≫1N_0\gg1,

μ≃−kBTN0.\mu \simeq -\frac{k_{\mathrm B}T}{N_0}.

The exact number equation is

N=N0+∑α≠01z−1eβϵα−1.N = N_0 + \sum_{\alpha\ne0} \frac{1}{z^{-1}e^{\beta\epsilon_\alpha}-1}.

Only the excited sum should be replaced by a smooth continuum integral near condensation. Absorbing the ground mode into the density of states erases the degree of freedom that becomes macroscopic.

The ground-mode grand potential is

Ω0=kBTln⁡(1−z).\Omega_0 = k_{\mathrm B}T\ln(1-z).

Even when N0=O(V)N_0=O(V), Ω0/V→0\Omega_0/V\to0 in the thermodynamic limit. The ideal condensate therefore changes density without adding an extensive pressure contribution.

For the quadratic dispersion,

Dd(ϵ)=gVΓ(d/2)(m2πℏ2)d/2×ϵd/2−1,ϵ>0.\begin{aligned} D_d(\epsilon) &= \frac{gV}{\Gamma(d/2)} \left( \frac{m}{2\pi\hbar^2} \right)^{d/2} \\ &\quad\times \epsilon^{d/2-1}, \qquad \epsilon>0. \end{aligned}

The thermal de Broglie wavelength is

λT=2πℏ2mkBT.\lambda_T = \sqrt{ \frac{2\pi\hbar^2}{mk_{\mathrm B}T} }.

Use

∑α≠0F(ϵα)⟶∫0∞dϵ Dd(ϵ)F(ϵ)\sum_{\alpha\ne0} F(\epsilon_\alpha) \longrightarrow \int_0^\infty d\epsilon\, D_d(\epsilon)F(\epsilon)

only when the excited spectrum is sufficiently dense on the relevant thermal scale.

Define

gs(z)≡Li⁡s(z)=∑ℓ=1∞zℓℓs.g_s(z) \equiv \operatorname{Li}_s(z) = \sum_{\ell=1}^{\infty} \frac{z^\ell}{\ell^s}.

The integral representation is

gs(z)=1Γ(s)∫0∞dt ts−1z−1et−1.g_s(z) = \frac{1}{\Gamma(s)} \int_0^\infty dt\, \frac{t^{s-1}}{z^{-1}e^t-1}.

Useful identities are

zddzgs(z)=gs−1(z),gs(1)=ζ(s),s>1.\begin{aligned} z\frac{d}{dz}g_s(z) &= g_{s-1}(z), \\ g_s(1) &= \zeta(s), \qquad s>1. \end{aligned}

For z≪1z\ll1,

gs(z)=z+z22s+O(z3).g_s(z) = z + \frac{z^2}{2^s} + O(z^3).

The degeneracy factor gg and the Bose function gs(z)g_s(z) are different objects. The subscripted function should never be mistaken for the number of internal components.

Let

s≡d2.s \equiv \frac d2.

When the ground-mode density is negligible,

n=gλTdgs(z).n = \frac{g}{\lambda_T^d} g_s(z).

The pressure, grand potential, and internal energy are

P=gkBTλTdgs+1(z),Ω=−PV,U=sPV.\begin{aligned} P &= \frac{gk_{\mathrm B}T}{\lambda_T^d} g_{s+1}(z), \\ \Omega &= -PV, \\ U &= sPV. \end{aligned}

The entropy per particle is

SNkB=(s+1)gs+1(z)gs(z)−ln⁡z.\frac{S}{Nk_{\mathrm B}} = (s+1) \frac{g_{s+1}(z)}{g_s(z)} - \ln z.

At fixed density, z(T)z(T) follows from the number equation. Its logarithmic derivative is

dln⁡zdln⁡T=−sgs(z)gs−1(z).\frac{d\ln z}{d\ln T} = -s \frac{g_s(z)}{g_{s-1}(z)}.

The normal-phase heat capacity at fixed NN and VV is

CVNkB=s(s+1)gs+1(z)gs(z)−s2gs(z)gs−1(z).\begin{aligned} \frac{C_V}{Nk_{\mathrm B}} &= s(s+1) \frac{g_{s+1}(z)}{g_s(z)} \\ &\quad- s^2 \frac{g_s(z)}{g_{s-1}(z)}. \end{aligned}

This formula assumes a homogeneous quadratic gas and a smooth thermodynamic limit. It should not be transplanted unchanged to a trap or lattice band.

At fixed TT, the excited-state density increases with zz and reaches

nth,max=gλTdζ(s)n_{\mathrm{th,max}} = \frac{g}{\lambda_T^d} \zeta(s)

when z→1−z\to1^-, provided s>1s>1.

For a quadratic homogeneous gas, saturation therefore requires

d>2.d>2.

If n>nth,maxn>n_{\mathrm{th,max}}, the excess density cannot enter the continuum thermal cloud. In the ideal thermodynamic limit it appears as n0=n−nth,maxn_0=n-n_{\mathrm{th,max}}.

For d>2d>2,

Tc=2πℏ2mkB[ngζ(d/2)]2/d.T_c = \frac{2\pi\hbar^2}{mk_{\mathrm B}} \left[ \frac{n}{g\zeta(d/2)} \right]^{2/d}.

In three dimensions,

Tc=2πℏ2mkB[ngζ(3/2)]2/3.T_c = \frac{2\pi\hbar^2}{mk_{\mathrm B}} \left[ \frac{n}{g\zeta(3/2)} \right]^{2/3}.

The condensate fraction below TcT_c is

N0N=1−(TTc)s,s=d2.\frac{N_0}{N} = 1 - \left( \frac{T}{T_c} \right)^s, \qquad s=\frac d2.

These formulas assume a homogeneous ideal gas, fixed total density, a nondegenerate spatial ground mode apart from the stated internal structure, and a thermodynamic limit.

Below TcT_c, set z=1z=1 in the thermodynamic-limit thermal cloud. Then

P=gkBTλTdζ(s+1),U=sPV.\begin{aligned} P &= \frac{gk_{\mathrm B}T}{\lambda_T^d} \zeta(s+1), \\ U &= sPV. \end{aligned}

The entropy and heat capacity per total particle are

SNkB=(s+1)ζ(s+1)ζ(s)(TTc)s,CVNkB=s(s+1)ζ(s+1)ζ(s)(TTc)s.\begin{aligned} \frac{S}{Nk_{\mathrm B}} &= (s+1) \frac{\zeta(s+1)}{\zeta(s)} \left( \frac{T}{T_c} \right)^s, \\ \frac{C_V}{Nk_{\mathrm B}} &= s(s+1) \frac{\zeta(s+1)}{\zeta(s)} \left( \frac{T}{T_c} \right)^s. \end{aligned}

For the three-dimensional gas,

N0N=1−(TTc)3/2,CVNkB=154ζ(5/2)ζ(3/2)(TTc)3/2.\begin{aligned} \frac{N_0}{N} &= 1- \left( \frac{T}{T_c} \right)^{3/2}, \\ \frac{C_V}{Nk_{\mathrm B}} &= \frac{15}{4} \frac{\zeta(5/2)}{\zeta(3/2)} \left( \frac{T}{T_c} \right)^{3/2}. \end{aligned}

At Tc−T_c^-, the last coefficient is approximately 1.9261.926. The ideal three-dimensional heat capacity is continuous at TcT_c, while its derivative is nonanalytic.

For a homogeneous quadratic gas:

QuantityNormal phaseCondensed phase
activity0<z<10<z<1 from nλT3/g=g3/2(z)n\lambda_T^3/g=g_{3/2}(z)z→1z\to1
thermal densitygλT−3g3/2(z)g\lambda_T^{-3}g_{3/2}(z)gλT−3ζ(3/2)g\lambda_T^{-3}\zeta(3/2)
condensate densitynegligible in thermodynamic normal phasen0=n−gλT−3ζ(3/2)n_0=n-g\lambda_T^{-3}\zeta(3/2)
pressuregkBTλT−3g5/2(z)gk_{\mathrm B}T\lambda_T^{-3}g_{5/2}(z)gkBTλT−3ζ(5/2)gk_{\mathrm B}T\lambda_T^{-3}\zeta(5/2)
energy3PV/23PV/23PV/23PV/2
mode variancenˉ(1+nˉ)\bar n(1+\bar n)same mode law, with ground-mode caveat

Useful constants are

ζ(3/2)≃2.612375,ζ(5/2)≃1.341487,ζ(3)≃1.202057.\begin{aligned} \zeta(3/2) &\simeq 2.612375, \\ \zeta(5/2) &\simeq 1.341487, \\ \zeta(3) &\simeq 1.202057. \end{aligned}

In the normal phase,

(∂n∂μ)T=βgλTdgs−1(z).\left( \frac{\partial n}{\partial\mu} \right)_T = \frac{\beta g}{\lambda_T^d} g_{s-1}(z).

The isothermal compressibility is

κT=βgn2λTdgs−1(z).\kappa_T = \frac{\beta g}{n^2\lambda_T^d} g_{s-1}(z).

For d=3d=3, g1/2(z)g_{1/2}(z) diverges as z→1−z\to1^-. The uniform ideal gas becomes infinitely compressible at the condensation boundary and throughout the condensed thermodynamic-limit phase, because added density can enter the zero-energy mode without changing μ\mu or pressure.

This pathological softness is removed by repulsive interactions. It is one reason the ideal condensate is not a complete model of a physical superfluid.

In the grand-canonical ideal gas,

Var⁡(N0)=N0(1+N0).\operatorname{Var}(N_0) = N_0(1+N_0).

If N0=O(N)N_0=O(N), then

Var⁡(N0)N0⟶1.\frac{ \sqrt{\operatorname{Var}(N_0)} }{N_0} \longrightarrow 1.

This order-one relative fluctuation is often called the grand-canonical fluctuation problem or “grand-canonical catastrophe.” It reflects the combination of an exactly ideal zero mode and unconstrained particle exchange. Canonical fixed-NN calculations correlate N0N_0 with the thermal cloud and do not inherit this O(N02)O(N_0^2) variance unchanged.

Do not use this grand-canonical result as a universal claim about condensate fluctuations in finite traps or interacting gases.

Let

x≡nλTdg≪1.x \equiv \frac{n\lambda_T^d}{g} \ll 1.

Then

z=x−x22d/2+O(x3),μkBT=ln⁡x−x2d/2+O(x2).\begin{aligned} z &= x - \frac{x^2}{2^{d/2}} + O(x^3), \\ \frac{\mu}{k_{\mathrm B}T} &= \ln x - \frac{x}{2^{d/2}} + O(x^2). \end{aligned}

The pressure is

PnkBT=1−x2d/2+1+O(x2).\frac{P}{nk_{\mathrm B}T} = 1 - \frac{x}{2^{d/2+1}} + O(x^2).

The negative correction is an exchange-statistics effect, not evidence for an attractive two-body potential.

For

ϵk=Akr,A>0,\epsilon_{\mathbf k} = A k^r, \qquad A>0,

the low-energy density of states scales as

Dd,r(ϵ)∝ϵd/r−1.D_{d,r}(\epsilon) \propto \epsilon^{d/r-1}.

At z=1z=1, the thermal-number integrand behaves as

ϵd/r−2.\epsilon^{d/r-2}.

It is integrable at zero energy only if

dr>1.\frac{d}{r}>1.

For a quadratic gas, r=2r=2 and the criterion is d>2d>2. A uniform ideal gas in one or two dimensions therefore has no finite-temperature thermodynamic Bose condensation transition. Finite size, confinement, altered dispersion, and interactions can produce crossovers or other kinds of order, but they do not invalidate the stated homogeneous ideal-gas result.

For a three-dimensional anisotropic harmonic trap with

ωˉ≡(ωxωyωz)1/3,\bar\omega \equiv (\omega_x\omega_y\omega_z)^{1/3},

the semiclassical excited-state density of states is

Dtr(ϵ)=gϵ22(ℏωˉ)3.D_{\mathrm{tr}}(\epsilon) = \frac{g\epsilon^2}{ 2(\hbar\bar\omega)^3 }.

When kBTk_{\mathrm B}T is large compared with the level spacings,

Nex=g(kBTℏωˉ)3g3(z).N_{\mathrm{ex}} = g \left( \frac{k_{\mathrm B}T}{\hbar\bar\omega} \right)^3 g_3(z).

The ideal trap condensation scale and condensate fraction are

Tctr=ℏωˉkB[Ngζ(3)]1/3,N0N=1−(TTctr)3.\begin{aligned} T_c^{\mathrm{tr}} &= \frac{\hbar\bar\omega}{k_{\mathrm B}} \left[ \frac{N}{g\zeta(3)} \right]^{1/3}, \\ \frac{N_0}{N} &= 1- \left( \frac{T}{T_c^{\mathrm{tr}}} \right)^3. \end{aligned}

These are leading semiclassical ideal-trap formulas. Finite-size shifts, interactions, anisotropy beyond ωˉ\bar\omega, and the experimental definition of the transition require the canonical Quantum Gases in Traps treatment.

Use the actual band dispersion and Brillouin-zone density of states. A flat or bounded band can change low-energy counting, and interacting Bose–Hubbard systems are not described by independent Bose occupations of the bare lattice modes.

Repulsive interactions generate a finite compressibility, alter the transition temperature, and replace free-particle low-energy excitations by collective modes. Use the Gross–Pitaevskii Equation and Bogoliubov Theory only within their stated dilute weak-coupling regimes.

The Lieb–Liniger and Tonks–Girardeau limits are interacting one-dimensional models. Their correlations and thermodynamics cannot be obtained by inserting an effective chemical potential into the uniform ideal Bose formulas.

Macroscopic ground-mode occupation and superfluid response are distinct concepts. The uniform ideal Bose gas has condensation in d>2d>2 but pathological compressibility and no interaction-generated sound mode.

  • 0<z<10<z<1 for a finite conserved-particle ideal Bose gas with ϵ0=0\epsilon_0=0.
  • The ground mode is separated before taking the continuum limit.
  • nλTd/gn\lambda_T^d/g is dimensionless.
  • kBT/λTdk_{\mathrm B}T/\lambda_T^d has pressure units.
  • z→0z\to0 recovers Maxwell–Boltzmann occupation.
  • z→1−z\to1^- is allowed only with its convergence and ground-mode qualifications.
  • The uniform quadratic condensation criterion is d>2d>2.
  • The homogeneous condensate exponent is d/2d/2; the three-dimensional harmonic-trap exponent is 33.
  • At T=0T=0 with ϵ0=0\epsilon_0=0, the ideal gas has U=P=S=0U=P=S=0.
  • A prediction of infinite compressibility signals the ideal-model boundary, not a robust material property.
  • Setting z=1z=1 in a finite-volume number equation without separating the ground mode.
  • Treating nˉ(ϵ)\bar n(\epsilon) as a normalized probability density over energy.
  • Calling every bosonic system a gas of independently occupied bare modes.
  • Inserting internal degeneracy gg without specifying conversion among components.
  • Using the homogeneous Tc∝n2/3T_c\propto n^{2/3} formula for a harmonic trap.
  • Inferring a finite-temperature uniform ideal-gas transition in d≤2d\le2.
  • Identifying ideal-gas condensation with superfluidity.
  • Interpreting the negative virial correction as an attractive potential.
  • Taking grand-canonical condensate fluctuations as ensemble independent.
  • Applying ideal-gas compressibility or heat-capacity formulas after interactions become important.
  • R. K. Pathria and P. D. Beale, Statistical Mechanics, 3rd ed., Elsevier (2011) — ideal Bose gases and ensemble thermodynamics.
  • K. Huang, Statistical Mechanics, 2nd ed., Wiley (1987) — Bose functions, condensation, and fluctuations.
  • C. J. Pethick and H. Smith, Bose–Einstein Condensation in Dilute Gases, 2nd ed., Cambridge University Press (2008) — uniform and trapped gases and interaction boundaries.
  • L. Pitaevskii and S. Stringari, Bose–Einstein Condensation and Superfluidity, Oxford University Press (2016) — finite-temperature Bose gases, condensates, and collective behavior.
  • L. D. Landau and E. M. Lifshitz, Statistical Physics, Part 1, 3rd ed., Butterworth–Heinemann (1980) — ideal quantum gases and thermodynamic limits.
  • W. Ketterle and N. J. van Druten, “Bose–Einstein condensation of a finite number of particles trapped in one or three dimensions,” Physical Review A 54, 656 (1996) — finite trapped-gas state counting and dimensional crossover.

Starting from N0=z/(1−z)N_0=z/(1-z), solve for μ\mu and find its large-N0N_0 behavior.

Solution

Rearranging gives

z=N0N0+1.z = \frac{N_0}{N_0+1}.

Since z=eβμz=e^{\beta\mu},

μ=kBTln⁡(N0N0+1)=−kBTln⁡(1+1N0).\begin{aligned} \mu &= k_{\mathrm B}T \ln\left( \frac{N_0}{N_0+1} \right) \\ &= -k_{\mathrm B}T \ln\left( 1+\frac{1}{N_0} \right). \end{aligned}

For N0≫1N_0\gg1, use ln⁡(1+y)=y+O(y2)\ln(1+y)=y+O(y^2):

μ=−kBTN0+O(N0−2).\mu = -\frac{k_{\mathrm B}T}{N_0} + O(N_0^{-2}).

Thus the finite-volume chemical potential remains negative and approaches the ground energy from below.

Use the low-energy density of states for ϵ=Akr\epsilon=Ak^r to derive the criterion for saturation of the thermal cloud.

Solution

The density of states scales as

Dd,r(ϵ)∝ϵd/r−1.D_{d,r}(\epsilon) \propto \epsilon^{d/r-1}.

At z=1z=1 and low energy,

nˉ(ϵ)∼1βϵ.\bar n(\epsilon) \sim \frac{1}{\beta\epsilon}.

The thermal-number integrand is therefore

Dd,r(ϵ)nˉ(ϵ)∝ϵd/r−2.D_{d,r}(\epsilon) \bar n(\epsilon) \propto \epsilon^{d/r-2}.

Its integral at zero is finite if

dr−2>−1,\frac{d}{r}-2>-1,

or

dr>1.\frac{d}{r}>1.

For r=2r=2, the condition is d>2d>2.

For a homogeneous quadratic gas with d>2d>2, derive the condensate fraction and the condensed-phase heat capacity at fixed NN.

Solution

Below TcT_c, z=1z=1 and

Nex(T)=gVλTdζ(s),s=d2.N_{\mathrm{ex}}(T) = \frac{gV}{\lambda_T^d} \zeta(s), \qquad s=\frac d2.

Because λT−d∝Ts\lambda_T^{-d}\propto T^s and N=Nex(Tc)N=N_{\mathrm{ex}}(T_c),

Nex(T)N=(TTc)s.\frac{N_{\mathrm{ex}}(T)}{N} = \left( \frac{T}{T_c} \right)^s.

Therefore

N0N=1−(TTc)s.\frac{N_0}{N} = 1- \left( \frac{T}{T_c} \right)^s.

The thermal energy is

U=sgVkBTλTdζ(s+1),U = s \frac{gVk_{\mathrm B}T}{\lambda_T^d} \zeta(s+1),

so U∝Ts+1U\propto T^{s+1}. Differentiating and eliminating gV/λTcdgV/\lambda_{T_c}^d with the critical-number equation gives

CVNkB=s(s+1)ζ(s+1)ζ(s)(TTc)s.\frac{C_V}{Nk_{\mathrm B}} = s(s+1) \frac{\zeta(s+1)}{\zeta(s)} \left( \frac{T}{T_c} \right)^s.

4. Grand-canonical ground-mode fluctuation

Section titled “4. Grand-canonical ground-mode fluctuation”

Show that the relative root-mean-square ground-mode fluctuation approaches one when N0N_0 is macroscopic.

Solution

For a geometric mode distribution,

Var⁡(N0)=N0(1+N0).\operatorname{Var}(N_0) = N_0(1+N_0).

Hence

Var⁡(N0)N0=1+1N0⟶1(N0→∞).\begin{aligned} \frac{\sqrt{\operatorname{Var}(N_0)}}{N_0} &= \sqrt{ 1+\frac{1}{N_0} } \\ &\longrightarrow 1 \qquad (N_0\to\infty). \end{aligned}

The result is specific to the grand-canonical ideal zero mode. A fixed total number or interactions change the fluctuation problem.

Let x=nλTd/g≪1x=n\lambda_T^d/g\ll1. Derive the first Bose correction to the classical pressure.

Solution

The small-zz expansions are

x=z+z22d/2+O(z3),PλTdgkBT=z+z22d/2+1+O(z3).\begin{aligned} x &= z+ \frac{z^2}{2^{d/2}} + O(z^3), \\ \frac{P\lambda_T^d}{ gk_{\mathrm B}T } &= z+ \frac{z^2}{2^{d/2+1}} + O(z^3). \end{aligned}

Inverting the number series gives

z=x−x22d/2+O(x3).z = x- \frac{x^2}{2^{d/2}} + O(x^3).

Substitution into the pressure series yields

PnkBT=1−x2d/2+1+O(x2).\frac{P}{nk_{\mathrm B}T} = 1- \frac{x}{2^{d/2+1}} + O(x^2).

The negative sign reflects Bose exchange statistics, not an attractive interaction.

Use the three-dimensional harmonic-trap density of states to derive the ideal condensate fraction exponent.

Solution

At z=1z=1,

Nex=g(kBTℏωˉ)3ζ(3).N_{\mathrm{ex}} = g \left( \frac{k_{\mathrm B}T}{\hbar\bar\omega} \right)^3 \zeta(3).

At the trap condensation temperature,

N=g(kBTctrℏωˉ)3ζ(3).N = g \left( \frac{k_{\mathrm B}T_c^{\mathrm{tr}}}{ \hbar\bar\omega } \right)^3 \zeta(3).

Taking the ratio gives

Nex(T)N=(TTctr)3.\frac{N_{\mathrm{ex}}(T)}{N} = \left( \frac{T}{T_c^{\mathrm{tr}}} \right)^3.

Therefore

N0N=1−(TTctr)3.\frac{N_0}{N} = 1- \left( \frac{T}{T_c^{\mathrm{tr}}} \right)^3.

The exponent 33 comes from the harmonic-trap density of states and differs from the homogeneous three-dimensional exponent 3/23/2.