Abstract
Knowledge of the chemical potential is essential in application of the Fermi–Dirac and the Bose–Einstein distribution functions for the calculation of properties of quantum gases. We give expressions for the chemical potential of ideal Fermi and Bose gases in 1, 2 and 3 dimensions in terms of inverse polylogarithm functions. We provide Mathematica functions for these chemical potentials together with low- and high-temperature series expansions. In the 3d Bose case we give also expansions about \(T_{{{{\mathrm {B}}}}}\). The Mathematica routines for the series allow calculation to arbitrary order.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The properties of ideal Fermi and Bose gases are the starting points for the understanding of the low-temperature behaviour of a broad range of physical systems, including electrons in metals [1, 2], the helium liquids [3, 4] and systems of trapped gases [5]. Associated with these is interest in systems of lower dimensionality including graphene [6], helium films [7] and ultra-cold atoms in quasi-1d and quasi-2d traps [8].
The properties of ideal quantum gases are expressed, conveniently and succinctly in terms of the so-called Fermi–Dirac and Bose–Einstein functions. And essential to this is knowledge of the chemical potential [9].
Traditionally Fermi–Dirac and Bose–Einstein functions have been found from tables and power series expansions. The 1938 paper by McDougall and Stoner [10] gave extensive tables for fermions and there was a discussion of the corresponding functions for bosons by London [11], with series expansions given by Robinson [12] and generalized by Clunie [13]. A consolidated treatment of these functions is found in Pathria [14].
The problem with the McDougal–Stoner tables and the above treatments was that the functions were given for different values of \(\mu /kT\) which made for difficulties finding the chemical potential \(\mu \). In 1974 Betts [15] published tables of (reduced) chemical potential as a function of (reduced) temperature for 3d fermions and bosons; at that time, it was a heroic achievement of minicomputer programming. Ebner and Fu [16] gave useful series expressions for 3d fermions and analytic expressions for 2d fermions. Also they produced extensive tables [17], sadly now unavailable.
A further provision of series expansions for fermions was by Hore and Frankel [18] who gave expressions for the intermediate quantum region. These series were expanded about \(z=1\) where z is the fugacity. Expansions in the intermediate region for both bosons and fermions have been given by Sotnikov et al. [19].
The advent of symbolic mathematics software such as Mathematica has revolutionized the way Fermi–Dirac and Bose–Einstein calculations may be carried out. Such software can perform series expansions, reversion of series, symbolic integration, numerical integration to arbitrary precision and general symbolic manipulation. Moreover Mathematica “knows of” a large number of the “special functions” and their properties. Also it has inverse function support.
The Fermi–Dirac and the Bose–Einstein integrals may both be expressed in terms of the polylogarithm functions, once the chemical potential is known. In this paper we provide Mathematica functions to obtain the chemical potential. From these it is then straightforward to evaluate properties of Bose and Fermi gases. For reference we include the classical (Maxwell) gas. Of course at low temperatures such a gas is un-physical; it violates the third law of thermodynamics. But at high temperatures the way that the Bose and Fermi gases deviate from the classical is instructive.
2 General Methodology
2.1 The Polylogarithm Functions
The expectation value of an extensive function of energy \(Q(\varepsilon )\) is given by
where the sum is taken over the single particle energy states and \(\alpha \) is the factor which accounts for the degeneracy of the particles’ spin states. This is 2 for electrons (spin \(S= \frac{1}{2}\)); more generally, it will be \(2S + 1\). Here \(n(\varepsilon )\) is the Fermi–Dirac or the Bose–Einstein distribution function
where a is understood to be \(+1\) for fermions and \(-1\) for bosons. Classical particles also can be accommodated by taking \(a=0\). We may refer to such particles as “maxwellons”.
The distribution function involves the chemical potential \(\mu \), and so, this must be known before any later calculations. A key result of this paper is the provision of Mathematica functions for evaluation of the chemical potential for free fermion and boson gases in one, two and three dimensions.
In the thermodynamic limit Eq. (1) usually may be converted to an integral
where \(g(\varepsilon )\) is the energy density of states. Since \(Q(\varepsilon )\) and \(g(\varepsilon )\) are often proportional to powers of \(\varepsilon \) we require to evaluate thermodynamic integrals of the form
where \(z= e^{\mu /kT}\) is the fugacity. These integrals are related to the polylogarithm functions \({\text {Li}}_s(z)\) [20, 21]:
The Maxwell case has been added for completeness.
We see that the thermodynamic integrals in the Bose and the Fermi case are thus given in terms of the polylogarithm functions:
It then follows that the calculation of thermodynamic functions of ideal Fermi and Bose gases boils down to the evaluation of polylogarithm functions—once the chemical potential is known.
2.2 Common Energy Scale
When discussing fermions it is customary to use the Fermi energy as a convenient energy scale. This is the energy of the highest filled state at \(T=0\). Such a definition is clearly not applicable to maxwellons and to bosons. But it would be convenient to have a common energy scale applicable to particles whatever their statistics. In 3d the Fermi energy \(\varepsilon _{{\mathrm {F}}}\) and the Fermi wave vector \(k_{{\mathrm {F}}}=(2m\varepsilon _{{\mathrm {F}}})^{1/2}/\hbar \) are given by
The Fermi wave vector is a measure of the inverse particle spacing. And this measure is appropriate in the discussion of maxwellons and bosons. In this spirit we shall introduce a characteristic wave vector, which we call the quantum wave vector \(k_{{\mathrm {q}}}\), and relate this to a quantum energy \(\varepsilon _{{\mathrm {q}}}=\hbar ^2k_{{\mathrm {q}}}^2/2m\). This would be the Fermi energy in the case of fermions. In 1, 2 and 3d this is
We note that Betts [15] uses different definitions for Bose and Fermi characteristic energies; this can be confusing.
2.3 Density of States
The (energy) density of states for free particles in one, two and three dimensions is [22]
In terms of the quantum characteristic energy these may be expressed
or, generally, in d dimensions
We note that for atoms trapped in a harmonic trap the density of states is proportional to \(\varepsilon ^{d-2}\); then, polylogarithm functions of different orders (usually integer) will be needed in the thermodynamic limit.
3 Chemical Potential and Fugacity
The number of particles in the system is given by
However, the density of states \(g(\varepsilon )\) is proportional to N so that N cancels and Eq. (12) leads to an expression for the quantum energy
This gives the quantum energy in terms of the chemical potential and the temperature. By inverting this relation we may find the chemical potential as a function of the quantum energy and the temperature.
For the Maxwell, Fermi and Bose cases Eq. (13) gives
In terms of the quantum energy we shall introduce the reduced chemical potential \(\mu ^*\), defined as
and this will be expressed as a function of \(\tau \), the reduced temperatureFootnote 1
The fugacity is expressed in terms of \(\tau \) as \( z(\tau )=e^{\mu ^*(\tau )/\tau }. \) Using our reduced variables, Eq. (14) become
Then, from inversion of these equations, \(z(\tau )\) is given by
and then \(\mu ^*(\tau )\) by
Mathematica routines for these functions (Fermi and Bose) are given in Appendix A.
4 Functions and Their Series Expressions
Details of the calculation of the low-temperature and high-temperature series are given in the appendices. Associated Mathematica Notebooks are included in Supplementary Information, allowing evaluation of these series to arbitrary order.
A key point about the Mathematica calculations is that while Mathematica provides the InverseFunction command used in the chemical potential and fugacity expressions, the InverseFunction provision does not extend to symbolic series calculations. For this reason we have to perform the series expansion first and then obtain the inverse by reversing the power series.
In this section below we summarize the results of these calculations. We shall use the Mathematica functions of Appendix A to create plots of the chemical potential and the series approximations given. A Mathematica notebook creating the plots below is given in Supplementary Information MOESM1_ESM.nb.
4.1 Maxwellons in 1d
In Eqs. (21) and (18) we put \(d=1\) giving
4.2 Fermions in 1d
In Eqs. (22) and (19) we put \(d=1\) giving
Chemical potential—low-temperature series
Chemical potential—high-temperature series
The first term is the Maxwell chemical potential.
The 1d Fermi chemical potential, together with low-T and high-T approximations, is shown in Fig. 1.
Fugacity—low-temperature series. Since \(z_{{\mathrm {F1}}}(\tau )\) diverges as \(\tau \rightarrow 0\) there is no simple low-temperature power series. But the low-temperature behaviour can be expressed as
with the limiting low-temperature behaviour
Fugacity—high-temperature series
The first term is the Maxwell fugacity.
4.3 Bosons in 1d
In Eqs. (23) and (20) we put \(d=1\) giving
Chemical potential—low-temperature series
where \(\zeta ()\) is the Reimann zeta function.
Chemical potential—high-temperature series
The first term is the Maxwell chemical potential.
The 1d Bose chemical potential, together with low-T and high-T approximations, is shown in Fig. 2.
Fugacity—low-temperature series
Fugacity—high-temperature series
The first term is the Maxwell fugacity.
4.4 Maxwellons in 2d
In Eqs. (21) and (18) we put \(d=2\) giving
4.5 Fermions in 2d
In Eqs. (22) and (19) we put \(d=2\) giving
But since \({\text {Li}}_1(-z)=-\ln (1+z)\), it follows that in 2d explicit expressions may be obtained. Thus:
Our Eq. (43) corresponds to Eq. (1) of Ebner and Fu.
Chemical potential—low-temperature series There is no series in ascending powers of \(\tau \), but the following series of exponentials follows from Eq. (43) at low temperatures.
Chemical potential—high-temperature series
corresponding to Eq. (2) of Ebner and Fu. The first term of Eq. (46) is the Maxwell chemical potential.
The 2d Fermi chemical potential, together with low-T and high-T approximations, is shown in Fig. 3.
Fugacity—low temperatures. Since \(z_{{\mathrm {F2}}}(\tau )\) diverges as \(\tau \rightarrow 0\) there is no simple low-temperature power series. But in the spirit of Eq. (45) and writing \(z_{{\mathrm {F2}}}(\tau )\) as
we may regard the two terms in the brackets as a terminating low-temperature expansion, with the divergent
giving the limiting low-temperature behaviour.
Fugacity—high-temperature series
The first term is the Maxwell fugacity.
4.6 Bosons in 2d
In Eqs. (23) and (20) we put \(d=2\) giving
But since \({\text {Li}}_1(z)=-\ln (1-z)\), it follows that in 2d explicit expressions may be obtained. Thus:
In 2d we have the special results
manifestations of May’s theorem on Fermi–Bose correspondence in 2d [23]. We note that May’s theorem holds only in the thermodynamic limit; it breaks down for finite systems [24].
Chemical potential—low-temperature series There is no series in ascending powers of \(\tau \), but the following series of exponentials follows from Eq. (52) at low temperatures.
Chemical potential—high-temperature series
The first term is the Maxwell chemical potential.
The 2d Bose chemical potential, together with low-T and high-T approximations, is shown in Fig. 4.
Fugacity—low temperatures There is no low-temperature series for the fugacity, but we may regard the expression for \(z_{{\mathrm {B2}}}(\tau )\), Eq. (53), as a terminating low-temperature expansion:
with low-temperature limit \(z_{{\mathrm {B2}}}(0)=1\).
Fugacity—high-temperature series
The first term is the Maxwell fugacity.
4.7 Maxwellons in 3d
In Eqs. (21) and (18) we put \(d=3\) giving
4.8 Fermions in 3d
In Eqs. (22) and (19) we put \(d=3\) giving
Chemical potential—low-temperature series
Chemical potential—high-temperature series
This equation corresponds to that given by Ebner and Fu after their Eq. (3). But their equation has a typo. The first term of Eq. (65) is the Maxwell chemical potential.
The 3d Fermi chemical potential, together with low-T and high-T approximations, is shown in Fig. 5.
Fugacity—low-temperature series Since \(z_{{\mathrm {F3}}}\) diverges as \(\tau \rightarrow 0\) there is no simple low-temperature power series. But the low-temperature behaviour can be expressed as
with the limiting low-temperature behaviour
Fugacity—high-temperature series
The first term is the Maxwell fugacity.
4.9 Bosons in 3d
In three dimensions bosons can undergo Bose–Einstein condensation. When this happens the chemical potential will be zero and the fugacity will be unity. We denote the reduced Bose temperature by \(\tau _{{{{\mathrm {B}}}}}\).
In Eqs. (23) and (20) we put \(d=3\) to give \(\mu ^*\) and z when \(\tau >\tau _{{{{\mathrm {B}}}}}\). Then the reduced chemical potential and the fugacity are given by
The Bose temperature \(\tau _{{{{\mathrm {B}}}}}\) is the zero of \(\mu ^*(\tau )\) of Eq. (69), that is,
Chemical potential—low-temperature series
An expression equivalent to the first term of the series is given by London [11]; the author thanks Bill Mullin for drawing his attention to this.
Chemical potential—high-temperature series
The first term is the Maxwell chemical potential.
The 3d Bose chemical potential, together with low-T and high-T approximations, is shown in Fig. 6.
Fugacity—low-temperature series
Fugacity—high-temperature series
The first term is the Maxwell fugacity.
5 Chemical Potential Plots in 1, 2 and 3d
We now use the Mathematica functions to create plots of the chemical potential in one-, two- and three dimensions. These will contrast the differences and similarities of the Fermi, Bose and Maxwell cases.
5.1 Three Dimensions
The temperature dependence of the 3d chemical potential is shown in Fig. 7. At high temperatures the Fermi and Bose chemical potentials tend towards the classical Maxwell behaviour, Eq. (91/92),
becoming equal as \(\tau \rightarrow \infty \). (Recall \(a=+1\) for fermions, \(-1\) for bosons and 0 for maxwellons.)
At low temperatures the fermion \(\mu ^*(\tau )\rightarrow 1\) as \(\tau \rightarrow 0\) (\(\mu (T)\rightarrow \varepsilon _{{\mathrm {F}}}\) as \(T\rightarrow 0\)).
Upon cooling, bosons in 3d undergo BEC at the Bose temperature \(\tau _{{{{\mathrm {B}}}}}\) where the chemical potential goes to zero. Just above the Bose temperature \(\mu ^*(\tau )\) increases quadratically in \((\tau -\tau _{{{{\mathrm {B}}}}})\), while below the Bose temperature \(\mu ^*(\tau )\) is identically zero. There is a discontinuity in the second derivative of \(\mu ^*(\tau )\) at \(\tau =\tau _{{{{\mathrm {B}}}}}\). We shall in the following sections see that there is no BEC for \(d<3\); this is an example of the Mermin–Wagner theorem [25]. Then there is macroscopic occupation only at \(T=0\).
The maxwellon chemical potential increases from zero as the temperature increases from zero, with a nonzero slope; this is a violation of the third law of thermodynamics, which requires \(\partial \mu /\partial T\rightarrow 0\) as \(T\rightarrow 0\).
5.2 Two Dimensions
The temperature dependence of the 2d chemical potential is shown in Fig. 8.
At high temperatures the Fermi and Bose chemical potentials, Eq. (91/92), tend towards the classical Maxwell behaviour
but they never actually get there. In 2d we have the May’s theorem result
and at high temperatures, the Maxwell \(\mu \) is midway between those of the Fermi and the Bose cases. In other words, in the high-temperature limit the Fermi chemical potential is \(\varepsilon _{{\mathrm {q}}}/2\) higher than the Maxwell value and the Bose chemical potential is \(\varepsilon _{{\mathrm {q}}}/2\) below.
At low temperatures the Bose chemical potential goes to zero. There is no BEC, so \(\mu \) is zero only at zero temperature. But the low-temperature \(\mu \) is “very flat” (see Fig. 8 right plot); it is as if the 2d bosons are “trying to” condense. We shall see in Sect. 5.3 that there is certainly no BEC in 1d. But here, in 2d, we might say that BEC is “marginal”.
The low-temperature Fermi chemical potential is similar to the Bose case, just shifted up by \(\varepsilon _{{\mathrm {q}}}\).
The Maxwell chemical potential increases from zero as the temperature increases from zero with nonzero slope, in violation of the third law of thermodynamics.
5.3 One Dimension
The temperature dependence of the 1d chemical potential is shown in Fig. 9.
At high temperatures the Fermi and Bose chemical potentials, Eq. (91/92), are going in the same direction as the Maxwell case: the Fermi above and the Bose below
but as the temperature increases the Fermi and Bose curves move further away from the Maxwell. The fractional deviation \((\mu _{{\mathrm {F,B}}}^*(\tau )-\mu _{{\mathrm {M}}}^*(\tau ))/\mu _{{\mathrm {M}}}^*(\tau )\) does go to zero as \(\tau \rightarrow \infty \).
The low-temperature Bose chemical potential goes to zero as \(\tau ^2\). There is not even a hint of BEC; the macroscopic occupation of the ground state occurs only at \(T=0\).
The low-temperature Fermi chemical potential has an interesting form. As the temperature increases from zero \(\mu \) increases a little before turning over and decreasing. This is not a violation of the third law since \(\partial \mu /\partial T \rightarrow 0\) as \(T\rightarrow 0\).
The Maxwell chemical potential increases from zero with nonzero slope as the temperature increases from zero, in violation of the third law of thermodynamics.
Notes
We note that our \(\mu ^*(\tau )\) is equivalent, in the Fermi case, to Ebner and Fu’s [16] \(\zeta (t)\).
References
N.W. Ashcroft, N.D. Mermin, Solid State Physics (Holt Rinehart and Winston, New York, 1976)
M. Sachs, Solid State Theory (McGraw-Hill, New York, 1963)
D. Pines, P. Nozières, The Theory of Quantum Liquids I: Normal Fermi Liquids (Benjamin, Amsterdam, 1966)
D. Pines, P. Nozières, The Theory of Quantum Liquids II: Superfluid Bose Liquids (Benjamin, Amsterdam, 1989)
I. Bloch, J. Dalibard, S. Nascimbène, Nat. Phys. 8(4), 267 (2012). https://doi.org/10.1038/nphys2259
A.K. Geim, K.S. Novoselov, Nat. Mater. 6(3), 183 (2007). https://doi.org/10.1038/nmat1849
J. Saunders, Realizing quantum materials with helium: helium films at ultralow temperatures, from strongly correlated atomically layered films to topological superfluidity, in Topological Phase Transitions and New Developments, ed. by K. Brink, M. Gunn, J.V. Jose, J.M. Kosterlitz, K.K. Phua (World Scientific, Singapore, 2018), pp. 165–196. (book section 12)
X.W. Guan, M.T. Batchelor, C. Lee, Rev. Mod. Phys. 85(4), 1633 (2013). https://doi.org/10.1103/RevModPhys.85.1633
G. Cook, Am. J. Phys 63(8), 737 (1995). https://doi.org/10.1119/1.17844
J. McDougall, E.C. Stoner, Philos. Trans. R. Soc. A Math. Phys. Eng. Sci. 237(773), 67 (1938). https://doi.org/10.1098/rsta.1938.0004
F. London, Superfluids, Vol II: Macroscopic Theory of Superfluid Helium (Wiley, New York, 1954). [Reprinted by Dover (1964)]
J. Robinson, Phys. Rev. 83(3), 678 (1951). https://doi.org/10.1103/PhysRev.83.678
J. Clunie, Proc. Phys. Soc. A 67, 632 (1954). https://doi.org/10.1088/0370-1298/67/7/308
R.K. Pathria, Statistical Mechanics (Elsevier, Amsterdam, 1972, 1996, 2011)
D.S. Betts, R.E. Turner, Introductory Statistical Mechanics (Addison-Wesley, Wokingham, 1974, 1992)
C. Ebner, H.H. Fu, J. Low Temp. Phys. 16(1–2), 1 (1974). https://doi.org/10.1007/bf00655858
C. Ebner, H.H. Fu, NAPS document no. 02342 (1974)
S.R. Hore, N.E. Frankel, Phys. Rev. A 12(4), 1617 (1975). https://doi.org/10.1103/PhysRevA.12.1617
A.G. Sotnikov, K.V. Sereda, Y.V. Slyusarenko, Low Temp. Phys. 43(1), 144 (2017). https://doi.org/10.1063/1.4975807
F.W.J. Olver, D.W. Lozier, R.F. Boisvert, C.W. Clark, NIST Handbook of Mathematical Functions (Cambridge University Press, Cambridge, 2010)
E.W. Weisstein, Polylogarithm. From MathWorld—A Wolfram Web Resource. http://mathworld.wolfram.com/Polylogarithm.html. Accessed 12 June 2019
B. Cowan, Topics in Statistical Mechanics (Imperial College Press, London, 2005)
R.M. May, Phys. Rev. 135(6A), A1515 (1964). https://doi.org/10.1103/PhysRev.135.A1515
A. Swarup, B. Cowan, J. Low Temp. Phys. 134(3–4), 881 (2004). https://doi.org/10.1023/B:JOLT.0000013207.24358.7e
N.D. Mermin, H. Wagner, Phys. Rev. Lett. 17(22), 1133 (1966). https://doi.org/10.1103/PhysRevLett.17.1133
A. Sommerfeld, Z. Phys. 47(1–2), 1 (1928). https://doi.org/10.1007/BF01391052
F. Reif, Fundamentals of Statistical and Thermal Physics (McGraw-Hill, New York, 1965)
L.D. Landau, E.M. Lifshitz, Statistical Physics (Pergamon Press, Oxford, 1970)
A. Swarup, A critical survey of the Fermi–Dirac and Bose–Einstein distributions and the role of dimensionality. Master’s thesis, Royal Holloway University of London (2000)
Acknowledgements
The author is grateful to Bob Swarup; aspects of this work, particularly the role of dimensionality, were discussed in his MSc thesis [29]. Special thanks go to Bill Mullin. He critiqued an early version of the manuscript, giving invaluable advice. He also made helpful suggestions on the presentation.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Electronic supplementary material
Below is the link to the electronic supplementary material.
Appendices
Mathematica Functions for Chemical Potential and Fugacity
1.1 Mathematica Functions
The Maxwell chemical potential and fugacity expressions in 1, 2 and 3d: Eqs. (24), (25), (39), (40), (60), (61) are straightforward; they do not require special Mathematica functions. The 2d Fermi and Bose chemical potential and fugacity expressions also are straightforward; although they do not require special Mathematica functions, these are given below for completeness.
1.1.1 Fermi Chemical Potential in 1d
This is given by Eq. (26):
with Mathematica implementation
1.1.2 Fermi Fugacity in 1d
This is given by Eq. (27):
with Mathematica implementation
1.1.3 Bose Chemical Potential in 1d
This is given by Eq. (33):
with Mathematica implementation
1.1.4 Bose Fugacity in 1d
This is given by Eq. (34):
with Mathematica implementation
1.1.5 Fermi Chemical Potential in 2d
This is given by Eq. (43):
with Mathematica implementation
1.1.6 Fermi Fugacity in 2d
This is given by Eq. (44):
with Mathematica implementation
1.1.7 Bose Chemical Potential in 2d
This is given by Eq. (52):
with Mathematica implementation
1.1.8 Bose Fugacity in 2d
This is given by Eq. (53):
with Mathematica implementation
1.1.9 Fermi Chemical Potential in 3d
This is given by Eq. (62):
with Mathematica implementation
1.1.10 Fermi Fugacity in 3d
This is given by Eq. (63):
with Mathematica implementation
1.1.11 Bose Chemical Potential in 3d
This is given by Eq. (69):
where
with Mathematica implementation
1.1.12 Bose Fugacity in 3d
This is given by Eq. (70):
with Mathematica implementation
1.2 Implementation Notes
The calculations for \(d=1\) and \(d=3\) can be relatively time-consuming as these involve the evaluation of inverse functions. However, in the \(d=2\) case the evaluations will be much quicker. In order to make comparisons I timed the evaluation and plotting of each function over the range \(0\le \tau \le 2\). The timings, in seconds, are given in the table below.
d | \(\mu ^*_{{\mathrm {F}}}\) | \(z_{{\mathrm {F}}}\) | \(\mu ^*_{{{{\mathrm {B}}}}}\) | \(z_{{{{\mathrm {B}}}}}\) |
---|---|---|---|---|
1 | 5.13 | 42.9 | 21.2 (4.28) | 3.59 |
2 | 0.0145 | 0.0427 | 0.0918 | 0.0323 |
3 | 2.34 | 23.13 | 2.64 | 1.31 |
Clearly these depend on the computer and software (I used a MacBook Pro (Retina, Mid 2012) with 16 GB of RAM, under macOS High Sierra version 10.13.6, running Mathematica 11.3.0.0). The relative timings are significant.
For fermions in 1 and 3d we see it is approximately ten times faster to evaluate the chemical potential than the fugacity. In these cases, if the fugacity is required, it is better to evaluate the chemical potential and obtain the fugacity from \(z=e^{-\mu ^*/\tau }\).
For bosons in 1 and 3d it is faster to evaluate the fugacity. Indeed numerical evaluation of \(\mu ^*_{{{{\mathrm {B}}}}}(\tau )\) can give (erroneous) small imaginary contributions because of the accumulation of round-off errors. The number in the brackets for the timing of the 1d Bose chemical potential corresponds to the time for evaluating and plotting the “real” part of \(\mu ^*\).
High-Temperature Expansions
The high-temperature expansions are able to accommodate the Fermi, Bose and Maxwell cases together, indicating how they tend to the same value in the \(T\rightarrow \infty \) limit. Moreover, in what follows we shall treat the dimensionality d as a variable. It is instructive to keep d general at this stage and then specify it at the end. Alternatively d could be set now, whereupon the following expressions are much simplified.
1.1 Quantum Energy
We start from Eq. (13) for the quantum energy:
in the high-temperature case, it is preferable to work, initially, in terms of the fugacity z.
Upon changing the variable of integration to the dimensionless \({x}=\varepsilon /kT\) we have
or
Here \(\tau \) is the reduced temperature. This is the starting point for the Mathematica series calculation.
1.2 Series Expansion
At high temperatures \(n(\varepsilon )\) is small, and so, z is small. We expand the bracket factor in powers of z
in terms which Eq. (81) becomes the series
The integrals are straightforward
so that
1.3 Fugacity
Equation (85) is a series for \(1/\tau ^{d/2}\) in powers of z. We invert this to give a series for z in powers of \(1/\tau ^{d/2}\):
In the Maxwell case (\(a=0\)) we find
corresponding to Eq. (18), with \(d=1\), \(d=2\) and \(d=3\) cases corresponding to Eqs. (25), (40) and (61).
The \(d=1\), \(d=2\) and \(d=3\) cases of Eq. (86), for \(a=1\) and \(a=-1\) (Fermi and Bose) correspond to the high-temperature series, Eqs. (32), (38), (49), (59), (68), (75).
1.4 Chemical Potential
The Maxwell (reduced) chemical potential \(\mu ^*_{{\mathrm {M}}}(\tau )=\tau \ln z_{{\mathrm {M}}}(\tau )\) is
corresponding to Eq. (21). In expressing the high-temperature power series for Fermi and Bose gases it is convenient to write the chemical potential as the Maxwell chemical potential plus the Fermi/Bose correction.
Thus we shall examine the high-temperature expansion of \(\mu ^*(\tau )-\mu ^*_{{\mathrm {M}}}(\tau )\). Now
The ratio \(z(\tau )/z_{{\mathrm {M}}}(\tau )\) is
The logarithm of this series multiplied by \(\tau \) then gives the \(\mu \) series
or, writing \(\mu ^*_{{\mathrm {M}}}(\tau )\) explicitly
The \(d=1\), \(d=2\) and \(d=3\) cases of this equation, for \(a=1\) and \(a=-1\) (Fermi and Bose) correspond to the high-temperature chemical potential series, Eqs. (29), (36), (46), (57), (65), (73).
1.5 Mathematica Calculation
This Mathematica calculation is given in the Notebook MOESM2_ESM.nb in Supplementary Information. These are the steps.
To perform the Mathematica calculation of the high-temperature expansions we start from inverse temperature integral, Eq. (81):
-
1.
Expand the denominator in the integrand in powers of the small z.
-
2.
The integration is then done term by term on the expansion.
-
3.
This gives \(\tau ^{-d/2}\) as a power series in z.
-
4.
This series is “reversed” to give z as a series in (decreasing) powers of \(\tau ^{d/2}\).
Fermi Low-Temperature (Sommerfeld) Expansions
The low-temperature Fermi expansions procedure was pioneered by Sommerfeld [26]. We shall follow the intuitive treatment of Reif [27], based on the observation that the derivative of the Fermi–Dirac distribution is sharply peaked at low temperatures.
As in the high-temperature case we shall keep d general at this stage and then specify it at the end. Alternatively d could be set now, whereupon the following expressions are much simplified.
1.1 Fermi Energy
We start from Eq. (13) for the quantum energy:
Since here we are restricted to fermions only we shall revert to the terminology \(\varepsilon _{{\mathrm {F}}}\). We integrate by parts:
Here \(n'(\varepsilon )\) is the derivative of the Fermi–Dirac distribution function with respect to energy and we note that the first term vanishes so long as \(d>0\).
Now \(n'(\varepsilon )\) is sharply peaked about \(\varepsilon =\mu \). We transform the variable of integration to \(x=(\varepsilon -\mu )/kT\):
and then, only small values of x will contribute to the integral. This means that “negligible error” will be introduced by extending the lower limit of the integral to \(-\infty \). Thus we are making an approximation for the Fermi energy integral:
We call this a Sommerfeld integral.
Upon dividing both sides of this equation by \((kT)^{d/2}\) we have an equation in reduced variables
This is an expression for \(\tau \) in terms of \(\tau /\mu ^*\). We shall invert this to obtain \(\tau /\mu ^*\) in terms of \(\tau \), and from this, obtain \(\mu ^*\) in terms of \(\tau \).
Equation (97) is the starting point for the Mathematica series calculation.
1.2 Sommerfeld Expansion
The Sommerfeld expansion then follows by expanding the rightmost bracket of Eq. (97) in powers of x and integrating term by term.
These integrals are pure numbers. Denote
so that
The integrals \(I_n\) are given in terms of the Riemann zeta function \(\zeta (n)\):
Since only the even n terms contribute to the series I shall remove the odd terms of Eq. (100) and include a further term, giving
Then we take the \(-2/d\) power of this, so that
or
1.3 Chemical Potential
Equation (104) is series expression for \(\tau \) in powers of \(\tau /\mu ^*\). We reverse this to give the series for \(\tau /\mu ^*\) in powers of \(\tau \):
so \(1/\mu ^*\) is
We take the reciprocal of this series, to give
The \(d=1\) and \(d=3\) cases of this correspond to Eqs. (28) and (64). We note immediately a problem for \(d=2\); in this case, there is no power series in \(\tau \) (see Sect. C.5).
1.4 Fugacity
The fugacity may be expressed as \(z(\tau )=e^{\mu ^*(\tau )/\tau }\). From Eq. (107) we see that \(\mu ^*/\tau \rightarrow \infty \) as \(\tau \rightarrow 0\) so z will diverge and there is no low-temperature power series expansion. But \((\mu ^*-1)/\tau \) remains finite as \(\tau \rightarrow 0\) and so \(e^{(\mu ^*-1)/\tau }= e^{\mu ^*/\tau }e^{-1/\tau }=ze^{-1/\tau }\) will have a low-temperature power series expansion. This gives
The \(d=1\) and \(d=3\) cases of this correspond to Eqs. (30) and (66).
Again there is a problem for \(d=2\); right from Eq. (102), there appear \((d-2)\) factors in the expansion coefficients (see Sect. C.5).
1.5 Errors in the Sommerfeld Expansion
Landau and Lifshitz [28], in treating the 3d Fermi gas, note that the error introduced in the Sommerfeld procedure, whereby the lower limit of the integral is extended to \(-\infty \) involves neglecting “exponentially small” terms. These terms are negligibly small so long as the Sommerfeld series does not terminate. However, for even d the series does terminate, and then, these exponential terms can dominate. Indeed when \(d=2\) we have the Sommerfeld approximation \(\mu ^*=1\); there are no powers of \(\tau \). Fortunately in 2d we have the exact result, expressed as the series of Eq. (45). This shows the “neglected” exponential terms. There is a further discussion of the errors in Sachs [2], p. 165.
1.6 Mathematica Calculation
This Mathematica calculation is given in the Notebook MOESM3_ESM.nb in Supplementary Information. These are the steps.
To perform the Mathematica calculation of the low-temperature expansions we start from the Sommerfeld expression for \(\tau ^{-d/2}\), Eq. (97):
-
1.
Expand the rightmost bracket in powers of the small \(\tau x/\mu ^*\).
-
2.
The integration is then done term by term with the expansion, giving a series in \(\tau /\mu ^*\).
-
3.
The integral series is raised to the power \(-2/d\) and multiplied by \(\tau /\mu ^*\) to give \(\tau \) as a series in \(\tau /\mu ^*\).
-
4.
This series is “reversed” to give a \(\tau /\mu ^*\) as a series in \(\tau \).
-
5.
Finally this series is divided by \(\tau \) and we then take the reciprocal; this gives the series for \(\mu ^*\) in powers of \(\tau \).
Note: Mathematica looks after the \(I_n\) integrals automatically. Actually it cannot do the general (symbolic) n case, but for each numerical integer value it is happy.
Bose Low-Temperature Expansions: One Dimension
The starting point for this calculation is the \(d=1\) case of Eq. (17c), that is,
from which it follows that \(\tau \) is
1.1 Series Expansion
We are interested in the behaviour at small \(\tau \). At \(\tau =0\) we have \(z=1\) (all particles in the ground state) and then as \(\tau \) increases from zero, z decreases from 1 towards zero. So at low temperatures \(z-1\) is a small quantity so we shall (or at least Mathematica will) expand \(\tau \) in powers of this:
where \(\zeta ()\) are Riemann zeta functions.
1.2 Fugacity and Chemical Potential
This expansion is reversed, to give z as a power series in \(\tau \):
corresponding to Eq. (37), and then, the chemical potential \(\mu ^*(\tau )=\tau \ln z(\tau )\) is
corresponding to Eq. (35).
The Mathematica calculation of these results is given in the Notebook MOESM4_ESM.nb in Supplementary Information. It follows the steps outlined above.
Bose Low-Temperature Expansions: Three Dimensions
The starting point for this calculation is the \(d=3\) case of Eq. (17c), that is,
from which it follows that \(\tau \) is
The (reduced) Bose temperature \(\tau _{{{{\mathrm {B}}}}}\) is the \(z=1\) value of this expression
We note that for all \(0<z<1\) (the allowed range for z), Eq. (115) will give values of \(\tau \) only greater or equal to \(\tau _{{{{\mathrm {B}}}}}\). In other words the inversion of this equation will apply only when \(\tau \ge \tau _{{{{\mathrm {B}}}}}\).
1.1 Series Expansion
We are interested in the behaviour at small \(\tau \). For \(\tau <\tau _{{{{\mathrm {B}}}}}\) we have \(z=1\) (macroscopic number of particles in the ground state) and then as \(\tau \) increases \(\tau _{{{{\mathrm {B}}}}}\), z decreases from 1 towards zero. So at low temperatures \(1-z\) is a small quantity so we shall (or at least Mathematica will) expand \(\tau \) in powers of this:
Observe that the first term is the Bose temperature \(\tau _{{{{\mathrm {B}}}}}\).
1.2 Fugacity
We want to find z as a power series in \(\tau -\tau _{{{{\mathrm {B}}}}}\) or, equivalently, as a power series in \((\tau -\tau _{{{{\mathrm {B}}}}})/\tau _{{{{\mathrm {B}}}}}\). From Eq. (117) we have
This is a series for \((\tau -\tau _{{{{\mathrm {B}}}}})/\tau _{{{{\mathrm {B}}}}}\) in powers of \(1-z\). We reverse this to get \(1-z\) as a series in \((\tau -\tau _{{{{\mathrm {B}}}}})/\tau _{{{{\mathrm {B}}}}}\). And then subtracting this from 1 we have the series for \(z(\tau )\):
corresponding to Eq. (74).
1.3 Chemical Potential
The reduced chemical potential is \(\mu ^*=\tau \ln z\). But here we need to be careful with the powers of \(\tau -\tau _{{{{\mathrm {B}}}}}\). So let us write
The series for \(\ln z\) from Eq. (119) is
then, doing the multiplications by \(\tau -\tau _{{{{\mathrm {B}}}}}\) and by \(\tau _{{{{\mathrm {B}}}}}\), adding and collecting the \(\tau -\tau _{{{{\mathrm {B}}}}}\) powers give
corresponding to Eq. (72).
The Mathematica calculation of these results is given in the Notebook MOESM5_ESM.nb in Supplementary Information. It follows the steps outlined above.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Cowan, B. On the Chemical Potential of Ideal Fermi and Bose Gases. J Low Temp Phys 197, 412–444 (2019). https://doi.org/10.1007/s10909-019-02228-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10909-019-02228-0