Bose gas

An ideal Bose gas is a quantum-mechanical phase of matter, analogous to a classical ideal gas. It is composed of bosons, which have an integer value of spin, and obey Bose–Einstein statistics. The statistical mechanics of bosons were developed by Satyendra Nath Bose for a photon gas, and extended to massive particles by Albert Einstein who realized that an ideal gas of bosons would form a condensate at a low enough temperature, unlike a classical ideal gas. This condensate is known as a Bose–Einstein condensate.
Introduction and examples.
Bosons are quantum mechanical particles that follow Bose–Einstein statistics, or equivalently, that possess integer spin. These particles can be classified as elementary: these are the Higgs boson, the photon, the gluon, the W/Z and the hypothetical graviton; or composite like the atom of hydrogen, the atom of 16O, the nucleus of deuterium, mesons etc. Additionally, some quasiparticles in more complex systems can also be considered bosons like the plasmons (quanta of charge density waves).
The first model that treated a gas with several bosons, was the photon gas, a gas of photons, developed by Bose. This model lead to a better understanding of Planck's law and the black-body radiation. The photon gas can be easily expanded to any kind of ensemble of massless non-interacting bosons. The "phonon gas", also known as Debye model, is an example where the normal modes of vibration of the crystal lattice of a metal, can be treated as effective massless bosons. Peter Debye used the phonon gas model to explain the behaviour of heat capacity of metals at low temperature.
An interesting example of a Bose gas is an ensemble of helium-4 atoms. When a system of 4He atoms is cooled down to temperature near absolute zero, many quantum mechanical effects are present. Below 2.17 kelvins, the ensemble starts to behave as a superfluid, a fluid with almost zero viscosity. The Bose gas is the most simple quantitative model that explains this phase transition. Mainly when a gas of bosons is cooled down, it forms a Bose–Einstein condensate, a state where a large number of bosons occupy the lowest energy, the ground state, and quantum effects are macroscopically visible like wave interference.
The theory of Bose-Einstein condensates and Bose gases can also explain some features of superconductivity where charge carriers couple in pairs (Cooper pairs) and behave like bosons. As a result, superconductors behave like having no electrical resistivity at low temperatures.
The equivalent model for half-integer particles (like electrons or helium-3 atoms), that follow Fermi–Dirac statistics, is called the Fermi gas (an ensemble of non-interacting fermions). At low enough particle number density and high temperature, both the Fermi gas and the Bose gas behave like a classical ideal gas.
Macroscopic limit.
The thermodynamics of an ideal Bose gas is best calculated using the grand canonical ensemble. The grand potential for a Bose gas is given by:
where each term in the sum corresponds to a particular single-particle energy level "ε"i ; "g"i  is the number of states with energy "ε"i ; "z " is the absolute activity (or "fugacity"), which may also be expressed in terms of the chemical potential "μ" by defining:
and "β" defined as:
where "k"B" " is Boltzmann's constant and "T " is the temperature. All thermodynamic quantities may be derived from the grand potential and we will consider all thermodynamic quantities to be functions of only the three variables "z ", "β" (or "T "), and "V ". All partial derivatives are taken with respect to one of these three variables while the other two are held constant.
The permissible range of "z" is from negative infinity to +1, as any value beyond this would give an infinite number of particles to states with an energy level of 0 (it is assumed that the energy levels have been offset so that the lowest energy level is 0).
Macroscopic limit, result for uncondensed fraction.
Following the procedure described in the gas in a box article, we can apply the Thomas–Fermi approximation which assumes that the average energy is large compared to the energy difference between levels so that the above sum may be replaced by an integral. This replacement gives the macroscopic grand potential function formula_4, which is close to formula_5:
The degeneracy "dg " may be expressed for many different situations by the general formula:
where "α" is a constant, "E"c is a "critical" energy, and "Γ" is the Gamma function. For example, for a massive Bose gas in a box, "α"=3/2 and the critical energy is given by:
where "Λ" is the thermal wavelength, and "f" is a degeneracy factor ("f"=1 for simple spinless bosons). For a massive Bose gas in a harmonic trap we will have "α"=3 and the critical energy is given by:
where "V(r)=mω2r2/2 " is the harmonic potential. It is seen that "Ec"  is a function of volume only.
This integral expression for the grand potential evaluates to:
where Li"s"("x") is the polylogarithm function.
The problem with this continuum approximation for a Bose gas is that the ground state has been effectively ignored, giving a degeneracy of zero for zero energy. This inaccuracy becomes serious when dealing with the Bose–Einstein condensate and will be dealt with in the next sections. As will be seen, even at low temperatures the above result is still useful for accurately describing the thermodynamics of just the un-condensed portion of the gas.
Limit on number of particles in uncondensed phase, critical temperature.
The total number of particles is found from the grand potential by
This increases monotonically with "z" (up to the maximum "z" = +1). The behaviour when approaching "z" = 1 is however crucially dependent on the value of "α" (i.e., dependent on whether the gas is 1D, 2D, 3D, whether it is in a flat or harmonic potential well).
For "α" > 1, the number of particles only increases up to a finite maximum value, i.e., formula_12 is finite at "z" = 1:
where "ζ"("α") is the Riemann zeta function (using Li"α"("1") = "ζ"("α")). Thus, for a fixed number of particles formula_12, the largest possible value that "β" can have is a critical value "β"c. This corresponds to a critical temperature "T"c=1/"k"B"β"c, below which the Thomas–Fermi approximation breaks down (the continuum of states simply can no longer support this many particles, at lower temperatures). The above equation can be solved for the critical temperature:
For example, for the three-dimensional Bose gas in a box (formula_16 and using the above noted value of formula_17) we get:
For "α" ≤ 1, there is no upper limit on the number of particles (formula_12 diverges as "z" approaches 1), and thus for example for a gas in a one- or two-dimensional box (formula_20 and formula_21 respectively) there is no critical temperature.
Inclusion of the ground state.
The above problem raises the question for "α" > 1: if a Bose gas with a fixed number of particles is lowered down below the critical temperature, what happens?
The problem here is that the Thomas–Fermi approximation has set the degeneracy of the ground state to zero, which is wrong. There is no ground state to accept the condensate and so particles simply 'disappear' from the continuum of states. It turns out, however, that the macroscopic equation gives an accurate estimate of the number of particles in the excited states, and it is not a bad approximation to simply "tack on" a ground state term to accept the particles that fall out of the continuum:
where "N"0 is the number of particles in the ground state condensate.
Thus in the macroscopic limit, when "T" < "T"c, the value of "z" is pinned to 1 and "N"0 takes up the remainder of particles. For "T" > "T"c there is the normal behaviour, with "N"0 = 0. This approach gives the fraction of condensed particles in the macroscopic limit:
Approximate behaviour in small Bose gases.
For smaller, mesoscopic, systems (for example, with only thousands of particles), the ground state term can be more explicitly approximated by adding in an actual discrete level at energy "ε"=0 in the grand potential:
which gives instead formula_25. Now, the behaviour is smooth when crossing the critical temperature, and "z" approaches 1 very closely but does not reach it.
This can now be solved down to absolute zero in temperature. Figure 1 shows the results of the solution to this equation for "α"=3/2, with "k"="ε"c=1 which corresponds to a gas of bosons in a box. The solid black line is the fraction of excited states "1-N0/N " for "N "=10,000 and the dotted black line is the solution for "N "=1000. The blue lines are the fraction of condensed particles "N0/N " The red lines plot values of the
negative of the chemical potential μ and the green lines plot the corresponding values of "z ". The horizontal axis is the normalized temperature τ defined by
It can be seen that each of these parameters become linear in τα in the limit of low temperature and, except for the chemical potential, linear in 1/τα in the limit of high temperature. As the number of particles increases, the condensed and excited fractions tend towards a discontinuity at the critical temperature.
The equation for the number of particles can be written in terms of the normalized temperature as:
For a given "N " and "τ", this equation can be solved for "τα" and then a series solution for "z " can be found by the method of inversion of series, either in powers of "τα" or as an asymptotic expansion in inverse powers of "τα". From these expansions, we can find the behavior of the gas near "T =0" and in the Maxwell–Boltzmann as "T " approaches infinity. In particular, we are interested in the limit as "N " approaches infinity, which can be easily determined from these expansions.
This approach to modelling small systems may in fact be unrealistic, however, since the variance in the number of particles in the ground state is very large, equal to the number of particles. In contrast, the variance of particle number in a normal gas is only the square-root of the particle number, which is why it can normally be ignored. This high variance is due to the choice of using the grand canonical ensemble for the entire system, including the condensate state.
Thermodynamics of small gases.
Expanded out, the grand potential is:
All thermodynamic properties can be computed from this potential. The following table lists various thermodynamic quantities calculated in the limit of low temperature and high temperature, and in the limit of infinite particle number. An equal sign (=) indicates an exact result, while an approximation symbol indicates that only the first few terms of a series in formula_29 is shown.
It is seen that all quantities approach the values for a classical ideal gas in
the limit of large temperature. The above values can be used to calculate other
thermodynamic quantities. For example, the relationship between internal energy and
the product of pressure and volume is the same as that for a classical ideal gas over
all temperatures:
A similar situation holds for the specific heat at constant volume
The entropy is given by:
Note that in the limit of high temperature, we have
which, for "α"=3/2 is simply a restatement of the Sackur–Tetrode equation. In one dimension bosons with delta interaction behave as fermions, they obey Pauli exclusion principle. In one dimension Bose gas with delta interaction can be solved exactly by Bethe ansatz. The bulk free energy and thermodynamic potentials were calculated by Chen-Ning Yang. In one dimensional case correlation functions also were evaluated. In one dimension Bose gas is equivalent to quantum non-linear Schrödinger equation.