Configuration integral (statistical mechanics)

From VQWiki Public

Jump to: navigation, search

by Loc Vu-Quoc

The classical configuration integral, sometimes referred to as the configurational partition function[1], for a system with \displaystyle N particles is defined as follows:


   \displaystyle 
   Z_N
   :=
   \int\limits_V
      \exp
      \left[ 
	 - \beta U (x_1 , \cdots , x_N)
      \right] 
   d^3 x_1 \cdots d^3 x_N

(1)

where \displaystyle V is the volume enclosing the \displaystyle N particles, \displaystyle \beta a constant defined as


   \displaystyle 
   \beta
   :=
   \frac
   {1}
   {k_B T}

(2)

with \displaystyle k_B being the Boltzmann constant, \displaystyle T the thermodynamic temperature[2] \displaystyle U the potential energy of interparticle forces, \displaystyle \{ x_1 , \cdots , x_N \} the positions in the 3-D space \displaystyle \mathbb R ^3 of the \displaystyle N particles, with \displaystyle x_i = (x_i^1 , x_i^2 , x_i^3) and \displaystyle x_i^j the \displaystyle jth coordinate of the \displaystyle ith particle, and \displaystyle d^3 x_i = d x_i^1 d x_i^2 d x_i^3 an infinitesimal volume. An example for the potential energy \displaystyle U is the Lennard-Jones potential.

By setting \displaystyle U=0, we have \displaystyle Z_N = V^N. Since both \displaystyle U and \displaystyle k_B T have the dimension of energy, the integrand in Eq.(1) is dimensionless, and thus the configuration integral \displaystyle Z_N has the dimension of \displaystyle V^N. For this reason, some authors use the non-dimensionalized configuration integral obtained by dividing Eq.(1) by \displaystyle V^N; see also Allen & Tildesley (1989)[3], p.41; McComb (2004)[4], p.95.

We begin to motivate by providing important applications of the configuration integral, then proceed to give a detailed derivation of Eq.(1) in a self-contained manner that does not require too many prerequisites[5].

Contents

Note on equation numbering: To allow for the flexibility of inserting sections and equations, equation numbers are chosen to be always increasing and sequential within each section, but not necessarily continuous from one section to the next, i.e., there may be gaps in the equation numbers when going from one section to the next. On the other hand, when an equation is assigned a number, this number is unique to this equation, so there can not be any confusion when referring to the equation numbers.



Motivation

Disease research and drug design

Fig.1. Ligand-receptor-ligand binding.  HIV 1 glycoprotein (ligand, red), CD4-glycoprotein (receptor, yellow), b12 antibody protein (ligand, green).
Fig.1. Ligand-receptor-ligand binding. HIV 1 glycoprotein (ligand, red), CD4-glycoprotein (receptor, yellow), b12 antibody protein (ligand, green).

By way of motivation for learning about the configuration integral, we consider an important application of the configuration integral in the development of computational models for the ligand-receptor binding affinities, the study of which constitutes a most important problem in computational biochemistry; Swanson et al. (2004)[6], see also Receptor (biochemistry). Research in the prediction of binding affinities has been a continuing effort for more than half a century.

The Human Immunodeficiency Virus (HIV) that could induce AIDS (Acquired Immune Deficiency Syndrome) has wreaked havoc in several human communities in the world. An HIV virus, such as HIV-1, destroys a human cell by first entering the cell through the cell membrane. To this end, the HIV-1 virus would have its gp120 envelope glycoprotein bind first to the CR4 glycoprotein receptor in the cell membrane, then second to a chemokine receptor family (CXCR4 or CCR5) to initiate its entry into the cell; see the highly informative articles HIV, HIV structure and genome, and the references [7] [8]. A research program has been underway at NIH to develop HIV vaccine (particularly the so-called gp120 vaccines) by trying to understand, through atomistic simulations, a mechanism of how HIV virus evade antibody proteins that would block its binding to the chemokine receptor, thus preventing it from entering the cell[9]. Fig.1 shows an atomistic model of a ligand-receptor-ligand binding involving the HIV-1 virus gp120 envelope glycoprotein (ligand), the CR4 glycoprotein (receptor), and the b12 antibody protein (ligand).

In a ligand-receptor binding, a ligand is in general any molecule that binds to another molecule; the receiving molecule is called a receptor, which is a protein on the cell membrane or within the cell cytoplasm. Such binding can be represented by the chemical reaction describing noncovalent molecular association:


   \displaystyle 
   A + B 
   \leftrightharpoons
   AB

(3)

where \displaystyle A represents the protein (receptor), B the ligand molecule, and \displaystyle AB the bound ligand-receptor.

A goal is to compute the change in the Gibbs energy[10] for the above reaction[11], which is given in terms of the configuration integrals as follows [12]


   \displaystyle 
   \Delta G^\circ_{AB}
   =
   -
   R T
   \log
   \left(
      \frac
      {C^\circ}
      {8 \pi^2}
   \right)
   \left(
      \frac
      {Z_{N,AB} Z_{N,O}}
      {Z_{N,A} Z_{N,B}}
   \right)
   +
   P^\circ
   \langle
      \Delta V_{AB}
   \rangle

(4)

where the \displaystyle Z quantities are the configuration integrals. For example, the configuration integral for protein \displaystyle A is


   \displaystyle 
   Z_{N,A}
   =
   \int
   \exp
   \left[
      - \beta U(r_A , r_S)
   \right]
   d r_A d r_S

(5)

The details on the other quantities are irrelevant for the present article, whose aim is to explain the origin of the configuration integral in statistical mechanics. Readers interested in understanding Eq.(4) are referred to Gilson et al. (1997)[12] for a detailed derivation. A recent review of the ligand-receptor affinity calculation is given by Gilson & Zhou (2007)[13].

Classical partition function (sum-over-states)

In classical (no quantum effect) statistical mechanics, the configuration integral \displaystyle Z_N and the partition function \displaystyle Q_{class} are fundamental in the study of monoatomic, imperfect, classical gases and liquids. Once these functions are known, the thermodynamic properties can be calculated. For such a system with identical \displaystyle N particles, the classical partition function[14] \displaystyle Q_{class} is obtained by multiplying the configuration integral \displaystyle Z_N with a "momentum integral", i.e., an integral over the momentum space, whereas the configuration integral is an integral over the configuration space, with the product of the configuration space by the momentum space being the phase space[15]. In other words, in parallel with the Hamiltonian being the sum of the kinetic energy and the potential energy, the partition function can be decomposed into a product of the "momentum integral" (related to the kinetic energy) and the configuration integral (related to the potential energy). On the other hand, unlike the configuration integral, which is in general difficult to integrate (because of the complex nature of the potential energy), this "momentum integral" can be easily integrated exactly (because of the simple nature of the kinetic energy) to yield a function of the number \displaystyle N of particles and the thermodynamic temperature[2] \displaystyle T:


   \displaystyle 
   Q_{class}
   :=
   \frac
   {Z_N}
   {C_N \Lambda ^{3N}}
   =
   \left(
      \frac
      {V^N}
      {C_N \Lambda ^{3N}}
   \right)
   \left(
      \frac
      {Z_N}
      {V^N}
   \right)
   =
   Q_{class}^0
   Z_N^\star
   \ {\rm with} \ 
   Q_{class}^0
   :=
   \frac
   {V^N}
   {C_N \Lambda ^{3N}}
   \ {\rm and} \ 
   Z_N^\star
   :=
   \frac
   {Z_N}
   {V^N}

(6)

where the coefficient \displaystyle C_N is defined as

\, C_N Case
\, 1 Distinguishable particles
\, N! Indistinguishable particles
(7)

and the thermal de Broglie wavelength \displaystyle \Lambda defined as


   \displaystyle 
   \Lambda (T)
   :=
   \frac
   {h}
   {(2 \pi m k_B T) ^{1/2}}

(8)

where \displaystyle h is the Planck constant. See further reading on \displaystyle \Lambda.

It is sometimes mistaken to think of the configuration integral as the same as the partition function, modulo a multiplicative "constant". First, as seen in Eq.(6), the multiplicative factor of \displaystyle Z_N to obtain \displaystyle Q_{class} is not a constant, but a function of \displaystyle N and \displaystyle T, and is the result of integrating exactly the "momentum integral". Second, there are applications in which the configuration integral plays an important role, with no direct role for the "momentum integral", and therefore the partition function, such as the example of assessing the ligand-receptor binding affinity mentioned above.

The abstract terminology "partition function" is also known more concretely and unassumingly as the "sum-over-states", which conveys a clear and direct meaning of this function, as shown in Eq.(33); see, e.g., Kirkwood (1933)[16]. Even though the name "partition function" (as used in statistical mechanics) is likely to first appear in 1922[17], in his classic book, Tolman (1938, 1979)[18], p.532, chose to use the name "sum-over-states", in agreement with what Planck (1932) used in German as "Zustandsumme" [19] [20] [21]. Other authors used the compromising, hybrid name "partition sum", e.g., Callen (1985), p.351[22]. Khinchin (1949)[23], p.76, used the name "generating function" for the partition function[24].

For the particular case where there is no potential, i.e., \displaystyle U=0, such as in the case of independent particles, the partition function \displaystyle Q_{class} takes a simple form.

As mentioned in the introduction, the configuration integral \displaystyle Z_N can be non-dimensionalized by dividing by \displaystyle V^N, with the non-dimensionalized version denoted by \displaystyle Z_N^\star. Then, the partition function \displaystyle Q_{class} can be written as the product of the partition function \displaystyle Q_{class}^0 of ideal gas (i.e., when the potential \displaystyle U is zero) by the non-dimensionalized configuration integral \displaystyle Z_N^\star. Thus, the configuration integral \displaystyle Z_N^\star can be thought of as a correction factor for \displaystyle Q_{class}^0 to obtain the partition function for the case where the potential is non-zero.

The power and elegance of statistical mechanics reside in its application to predict accurately the thermodynamics properties compared to experiments. The knowledge of the partition function (and the corresponding configuration integral) of a system is important since it allows for the calculation of thermodynamic properties. For instance, a most important relation—sometimes referred to as a fundamental relation; see Callen (1985), p.352[22]—connecting statistical mechanics to thermodynamics is the relationship between the Helmholtz energy[10] \displaystyle A and the partition function \displaystyle Q; McQuarrie (2000)[25], p.45:


   \displaystyle 
   A (T,V,N) = - k_B T \log Q (T,V,N)
   \Longleftrightarrow
   Q 
   = 
   \exp [- A / (k_B T)]
   =
   \exp (-\beta A)

(9)

with \displaystyle \beta = 1 / (k_B T) as defined in Eq.(2). Some authors such as Callen (1985) use the notation \displaystyle F, instead of the more historical and customary notation \displaystyle A, for the Helmholtz (free) energy[10][26]. Eq.(9)2 plays an important role in the Jarzynski equality, also known as a non-equilibrium work relation; see the seminal paper by Jarzynski (1997)[27], where the notation \displaystyle F was used for the Helmholtz energy[10][26].

Physics of fluid turbulence

The configuration integral in particular, and statistical mechanics in general, have been used in the modelling of fluid turbulence; see, e.g., McComb (1992)[28], p.193.

Calculating the configuration integral

The dependence of the interparticle forces on the distance between the particles makes the evaluation of the configuration integral \displaystyle Z_N in Eq.(1) "extremely difficult"; such evaluation has been driving much of the research in classical statistical mechanics; McQuarrie (2000)[25], p.116.

There are two methods to calculate a configuration integral: (i) approximate methods, and (ii) direct numerical integration.

For dilute gases in which the potential is of the usual type, an expansion of the integrand of Eq.(1) in the powers of \displaystyle [\exp(-\beta U) -  1] provides a systematic method to approximately calculate the configuration integral \displaystyle Z_N. This method is known as cluster expansion, which Maria Göppert-Mayer contributed to develop; See Assael et al. (1996)[29], p.49; Huang (1987), p.213[30].

The direct numerical evaluation of the configuration integral is discussed in Tafipolsky et al. (2005)[31].

As mentioned, we will build up below the fundamental concepts that lead to the expression for the classical partition function \displaystyle Q_{class} in Eq.(6) and the classical configuration integral \displaystyle Z_N in Eq.(1), so that all terms in these expressions are explained, without requiring too many prerequisites.

Systems with independent particles

Equilibrium, independent particles

According to the orthodox thermodynamic theory, a thermodynamic system is in equilibrium if its thermodynamic state, which is a set of values for its thermodynamic parameters (i.e., macroscopic parameters such as pressure \displaystyle P, volume \displaystyle V , temperature \displaystyle T, magnetic field \displaystyle M, etc.), remains constant in time; see, e.g., Sklar (1993)[32], p.22, Huang (1987)[30], p.3. A quantitative condition of equilibrium can be described as the partial time derivative of the distribution density being zero, i.e., the distribution density is time-independent at any fixed point in the phase space; this condition is related to the Liouville theorem; see, e.g., Tolman (1979), p.55.

A more advanced and abstract concept of equilibrium came from the development of the kinetic theory, the criticisms of this theory, and the response of the proponents of the kinetic theory to these criticisms. In this concept, equilibrium does not characterize any single macroscopic state of the system, but rather a class of macrostates with each macrostate having its own probability; this approach is known as a reduction of thermodynamics to statistical mechanics; Sklar (1993)[32], p.23. This theory in turn had been a subject of criticism as to how the probabilistic assumptions, thought to be derived from the micro-constituents (atomic structure), were introduced into the theory.

Another line of reduction of thermodynamics to statistical mechanics allowed for the modeling of fluctuations around an equilibrium state. The work on this theory can be traced back to Einstein. Here, unlike the orthodox thermodynamic theory, an isolated system in contact with a heat bath at a constant temperature would have a range of internal temperatures and internal energy contents, centered on the temperature and internal energy of macroscopic equilibrium as predicted in the orthodox thermodynamic theory. This work was described by Sklar (1993) as of "surpassing elegance".

Deeper foundational issues on the definition of equilibrium will become more abstract and complex. The interested reader is referred to Sklar (1993)[32], Chapter 2, Section 2.II.6, pp.44-48, kinetic theory, ensemble approach and ergodic theory; Section 2.III, pp.48-59, Gibbs' statistical mechanics; Section 2.IV, pp.59-71, criticism of Gibbs' approach by the Ehrenfests. Chapter 5, p.156, detail discussion of equilibrium theory. A shorter version can be found in Sklar (2004)[33].

Basically, the historical development of statistical mechanics is rather entangled, with many branches, foundational issues, and problems to explore and resolve. Such confusion manifests itself through the existence of a dozen or so schools of thoughts in statistical mechanics with conflicting approaches: Ergodic theory, coarse-graining (Markovianism), interventionism, BBGKY hierarchy [34] [32], Jaynes, the Brussels school with De Donder[35], Prigogine, etc.; see Uffink (2004)[36], [37]. Disagreements among some of these schools can be found in further reading. The confusion came from the works of Boltzmann himself, who pursued different lines of thoughts; he would often abandon a line of thoughts, only to come back to it several years later[36].

Here, we only need to use the orthodox definition of equilibrium for the purpose of explaining the origin of the configuration integral, and follow Hill (1960, 1986)[38] and McQuarrie (2000)[25].

The particles in a system are considered as independent when there is a weak interaction among them that only involves collision between the particles or between a particle and the surrounding wall. There is no (or negligeable) interparticle forces. Without interaction among the particles, the system cannot reach an equilibrium, Hill (1986), p.59.

One way to think of this problem is by considering an unconfined space, with no walls, in which the particles can move without colliding against each other. Assuming no external forces, such as gravitational forces, the particles continue to move on a straight line with constant velocity. Macroscopically, there cannot be an equilibrium state. In other words, to achieve a macroscopic equilibrium, it is necessary that there be at least the kind of "weak interaction" mentioned above.

Admittedly, the above concept of equilibrium and independence among the particles is somewhat intuitive and hand-waving. It would be desirable to put the above concept on a more solid theoretical footing.

Independent particles

For systems with independent particles, there are two cases to consider: (1) Identical and distinguishable particles, and (2) Indistinguishable (or quantum-mechanically identical) particles.

It should be noted that in case (1), even though the particles are distinguishable, e.g., by their positions, they are identical in all other properties. An example would be the model of a monoatomic crystal, in which each atom is attached to a particular lattice site, and cannot jump to another lattice site. While these atoms are identical to each other, they are distinguishable by their locations in the crystal lattice; see Hill (1986), p.61.

Case (2) is related to a quantum-mechanical system in which identical particles are indistinguishable.

There may be a confusion in the use of the adjective "identical" in both cases. To distinguish the above two different types of "identical" particles, in case (1), we say the particles are identical (but distinguishable), whereas in case (2), we say that the particles are quantum-mechanically identical, which means the same as being indistinguishable. For a philosophical discussion, see French (2006) [39].

Distinguishable and identical particles

The classical Hamiltonian \displaystyle H of a particle is given by


   \displaystyle 
   H (x,p)
   = 
   K + U
   =
   \frac
   {1}
   {2}
   m
   v^2
   +  
   U (x)
   =
   \frac
   {p^2}
   {2 m}
   +
   U (x)

(21)

where \displaystyle x represents the position vector of the particle, \displaystyle p = mv its linear momentum, \displaystyle K its kinetic energy, \displaystyle U its potential energy, \displaystyle m its mass, and \displaystyle v its velocity.

For a system of \displaystyle N independent particles, the Hamiltonian is


   \displaystyle 
   H 
   = 
   \sum_{i=1}^{N} H_i
   =
   \sum_{i=1}^{N} 
   \left[
      \frac
      {p_i^2}
      {2 m_i}
      +
      U (x_i)
   \right]

(22)

Even though it is possible to explain the configuration integral strictly within the framework of classical statistical mechanics, it is more general and simpler to develop the formulation within the framework of quantum statistical mechanics, which includes the classical statistical mechanics as a particular case; Hill (1986), p.2.

For a single particle in 1-D, the system is quantized (see canonical quantization ) by replacing the classical Hamiltonian \displaystyle H by the Hamiltonian operator \displaystyle \mathcal H in which the momentum is replace by the momentum operator


   \displaystyle 
   p = - \imath \hbar \frac{\partial}{\partial x}
   \ {\rm where} \ 
   \hbar
   =
   \frac{h}{2 \pi}

(23)

with \displaystyle \imath being the unit imaginary number, so that


   \displaystyle 
   \mathcal H
   =
   -
   \frac
   {\hbar ^2}
   {2 m}
   \frac
   {\partial ^2}
   {\partial x^2}
   +
   U (x)

(24)

In 3-D, the Hamiltonian operator \displaystyle \mathcal H takes the form:


   \displaystyle 
   \mathcal H
   =
   -
   \frac
   {\hbar ^2}
   {2 m}
   {\rm div}
   +
   U(x)

(25)

where \displaystyle {\rm div} is the divergence operator


   \displaystyle 
   {\rm div}
   =
   \frac
   {\partial}
   {\partial x^i}
   \frac
   {\partial}
   {\partial x^i}
   =
   \frac
   {\partial^2}
   {(\partial x^1)^2}
   +
   \frac
   {\partial^2}
   {(\partial x^2)^2}
   +
   \frac
   {\partial^2}
   {(\partial x^3)^2}
   =
   \frac
   {\partial^2}
   {(\partial x)^2}
   +
   \frac
   {\partial^2}
   {(\partial y)^2}
   +
   \frac
   {\partial^2}
   {(\partial z)^2}

(26)

The Schrödinger equation then takes the form


   \displaystyle 
   \mathcal H \psi = \varepsilon \psi

(27a)

where \displaystyle \psi is a wave function (an eigenfunction), and \displaystyle \varepsilon the corresponding energy (eigenvalue). The energy and the corresponding wave function constitute an eigenpair, called a quantum state; there are infinitely many such eigenpairs


   \displaystyle 
   \{
      (\varepsilon_i , \psi_i), i = 1, \cdots , \infty
   \}

(27b)

There will be multiple eigenvalues; the multiplicity of an eigenvalue is called a degeneracy number denoted by \displaystyle \omega.

The eigenpairs can be grouped by energy level \displaystyle \ell, i.e., by the numerical values of the energy (eigenvalue) \displaystyle \varepsilon; each energy level \displaystyle \ell thus has \displaystyle \omega_\ell quantum states (eigenpairs) with the same energy value \displaystyle \varepsilon_\ell, but with different wave functions \displaystyle \psi_{\ell k}, \displaystyle k = 1 , \cdots , \omega_\ell. The set of quantum states at energy level \displaystyle \varepsilon_\ell is


   \displaystyle
   \{
   (\varepsilon_\ell , \psi_{\ell k}), k = 1 , \cdots , \omega_\ell
   \}

For a system of \displaystyle N independent particles, similar to Eq.(22), the system Hamiltonian operator is the sum of the Hamiltonian operator of individual particle:


   \displaystyle 
   \mathcal H 
   = 
   \sum_{a=1}^{N} {\mathcal H}_a
   \ {\rm with} \ 
   \mathcal H_a \psi_a = \varepsilon_a \psi_a

(28)

We reserve the index \displaystyle a to designate the particle number, the index \displaystyle i for the quantum state, i.e., the eigenpair number, and the index \displaystyle \ell for the energy level.

Consider the system wave function of the form


   \displaystyle 
   \psi 
   = 
   \prod_{a=1}^{N} \psi_a

(29)

Then (cf. Hill (1986), p.60),


   \displaystyle 
   \mathcal H \psi
   =
   \sum_{a=1}^{N} {\mathcal H}_a
   \left(
      \prod_{b=1}^{N} \psi_b
   \right)
   =
   \sum_{a=1}^{N} 
   \left(
      \prod_{\stackrel{b=1}{b \ne a}}^{N} \psi_b
   \right)
   \underbrace{
   {\mathcal H}_a
   \psi_a
   }_{\varepsilon_a \psi_a}
   =
   \underbrace{
   \left(
      \sum_{a=1}^{N} 
      \varepsilon_a
   \right)
   }_{\varepsilon}
   \psi
   =
   \varepsilon 
   \psi

(30)

Thus, the energy of the system is the sum of the energies of individual particles:


   \displaystyle 
   \varepsilon
   =
   \sum_{a=1}^{N} 
   \varepsilon_a

(31)

Hidden in Eq.(31) is the sum over all possible quantum states for each particle. Let \displaystyle j_a represent the state index for particle \displaystyle a, and \displaystyle \varepsilon_{a , j_a} the energy corresponding to state \displaystyle j_a of particle \displaystyle a. Then


   \displaystyle 
   \varepsilon_{j_1, \cdots , j_N}
   =
   \sum_{a=1}^{N} 
   \varepsilon_{a, j_a}

(32)

is the energy corresponding to the system state identified by the n-tuple \displaystyle (j_1 , \cdots , j_N).

The partition function (or sum-over-states) of particle \displaystyle a is of the form


   \displaystyle 
   q_a
   =
   \sum_{\stackrel{j_a}{{\rm (states)}}}
   \exp (- \beta \varepsilon_{a , j_a})

(33)

where the sum is over all quantum states.

Likewise, the partition function for a system of independent and distinguishable particles is (cf. Hill (1986), p.60)


\begin{align}
   \displaystyle 
   Q
   &
   =
   \sum_{\stackrel{(j_1 , \cdots , j_N)}{{\rm (states)}}}
   \exp (- \beta \varepsilon_{j_1, \cdots , j_N})
   =
   \sum_{\stackrel{(j_1 , \cdots , j_N)}{{\rm (states)}}}
   \exp 
   (
      - \beta 
      \sum_{a=1}^{N} 
      \varepsilon_{a, j_a}
   )
   =
   \sum_{\stackrel{(j_1 , \cdots , j_N)}{{\rm (states)}}}
   \prod_{a=1}^{N}
   \exp (- \beta \varepsilon_{a , j_a})
   \\
   &
   =
   \prod_{a=1}^{N}
   \sum_{\stackrel{j_a}{{\rm (states)}}}
   \exp (- \beta \varepsilon_{a , j_a})
   =
   \prod_{a=1}^{N}
   q_a
\end{align}

(34)

In addition to being independent and distinguishable, if the particles are also identical, then


   \displaystyle 
   q_1 = \cdots = q_N = q

(35)

and


   \displaystyle 
   Q = q^N

(36)

Indistinguishable particles

Quantum-mechanically identical particles are indistinguishable. Roughly speaking, each n-tuple \displaystyle (j_1 , \cdots , j_N) has \displaystyle N! identical permutations, and thus the partition function \displaystyle Q in Eq.(36) should be divided by \displaystyle N!, i.e.,


   \displaystyle 
   Q
   =
   \frac
   {q^N}
   {N!}

(51)

The justification for Eq.(51) is actually more sophisticated. Consider identical, indistinguishable particles, labeled \displaystyle \{ a, b, c, \cdots \} for the convenience of making the argument. Consider different quantum states labeled \displaystyle \{ j_a , j_b , j_c , \cdots\} with \displaystyle j_a \ne j_b \ne j_c \ne \cdots. By permutations, in the partition function \displaystyle q^N in Eq.(36), there are \displaystyle N! identical terms of the form


   \displaystyle 
   \exp 
   \left[ 
      - \beta 
      ( 
	 \varepsilon_{a, j_a}
	 +
	 \varepsilon_{b, j_b}
	 +
	 \varepsilon_{c, j_c}
	 +
	 \cdots
      ) 
   \right]

(52)

Only one term among the \displaystyle N! should be counted in the partition function.

But there also terms such as


   \displaystyle 
   \exp 
   \left[ 
      - \beta 
      ( 
	 \varepsilon_{a, {\color{Red}\underset{=}{j_a}}}
	 +
	 \varepsilon_{b, {\color{Red}\underset{=}{j_a}}}
	 +
	 \varepsilon_{c, j_c}
	 +
	 \cdots
      ) 
   \right]

(53)

where the energy level of the first two particles are the same; by permutations of the last \displaystyle (N-1) particles, there are \displaystyle (N-1)! such terms. There are many other similar terms in which a subset of two or more particles have an identical energy level.

Terms like those in Eq.(53), with repeated energy levels, are allowed in the Bose-Einstein statistics for bosons, but not allowed in the Fermi-Dirac statistics for fermions.

But in the limiting case in which each particle has a number of quantum states between the molecular ground state and the molecular ground state plus, say, \displaystyle 10 k_B T, much larger than the number of particles \displaystyle N, then the number of terms such as those in Eq.(52) is much larger than the number of terms such as those in Eq.(53), since there are many different quantum states to choose from; see Hill (1986), p.63. Hence, the partition function can be approximated by


   \displaystyle 
   Q 
   \approx
   \frac
   {q^N}
   {N!}

(54)

Thus Eq.(51) should actually be thought of as an approximation, rather than exact equality.

The above limiting case for which Eq.(51) is valid is called the classical statistics or Boltzmann statistics , which is the limit of the Bose-Einstein statistics and the Fermi-Dirac statistics as temperature increases \displaystyle T \rightarrow \infty.


Ideal monoatomic gases

There are \displaystyle N independent and indistinguishable (quantum-mechanically identical) particles in a cubic box of side length \displaystyle L. To compute the partition function \displaystyle Q_{class} = \frac{q^N}{N!} of this system, we need to know the energy levels of a single particle in a box, which is a classic problem.

Particle in a box

Energy levels

By solving the 3-D time-independent Schrödinger equation for a particle of mass \displaystyle m, in a box, as given


   \displaystyle 
   -
   \frac
   {\hbar^2}
   {2m}
   {\rm div}
   \psi
   +
   U(x) \psi
   =
   \varepsilon
   \psi

(61)

with zero potential inside the box, i.e., \displaystyle U(x) = 0, we obtain the following energy levels (eigenvalues)


   \displaystyle 
   \varepsilon_{l_x , l_y , l_z}
   =
   \frac
   {h^2 (l_x^2 + l_y^2 + l_z^2)}
   {8 m L^2}

(62)

where \displaystyle \{ l_x , l_y , l_z \} \in \mathbb N^3 are the quantum numbers, which take natural values in \displaystyle \mathbb N, i.e., \displaystyle l_x, l_y , l_z = 1, 2, 3, \cdots.

Condition for approximation of partition function

As mentioned above, the number of quantum states \displaystyle \Phi available between the ground state and the ground state plus \displaystyle 10 k_B T should be much larger than the number of particles \displaystyle N for the approximation in Eq.(54) to be valid, i.e.,


   \displaystyle 
   \Phi \gg N

(63)

Thus if we can connect the number \displaystyle \Phi of quantum states to a given maximum energy level \displaystyle \varepsilon_0, then we can establish an energetic condition for which the approximation in Eq.(54) is valid.

Consider Eq.(62) and the 3-D space of quantum numbers \displaystyle \{ l_x , l_y , l_z \} \in \mathbb N^3. Each point of natural-number coordinates in this space corresponds to a quantum state, which can be thought of as occupying a unit cube with a unit volume in this space. Because of the factor \displaystyle (l_x^2 + l_y^2 + l_z^2) in Eq.(62), let's consider a sphere in the space of quantum numbers, centered at the origin, and having a radius \displaystyle R such that


   \displaystyle 
   R^2 
   = 
   (l_x^2 + l_y^2 + l_z^2)
   =
   \frac
   {8 m L^2 \varepsilon_{l_x, l_y, l_z}}
   {h^2}

(64)

Setting 
   \displaystyle \varepsilon_{l_x, l_y, l_z} = \varepsilon_0
, we would have the expression of the radius \displaystyle R_0 such that the quantum states on the surface of that sphere would have the energy level \displaystyle \varepsilon_0


   \displaystyle 
   R_0
   =
   \sqrt{
      \frac
      {8 m L^2 \varepsilon_0}
      {h^2}
   }

(65)
Fig.2. Particle in a box, quantum states, degeneracy
Fig.2. Particle in a box, quantum states, degeneracy

Since the quantum numbers are natural numbers (strictly positive integers), the quantum states lie in an octant (1/8th of the sphere). Thus, the volume of an octant with radius \displaystyle R_0 contains all quantum states with energy levels less than \displaystyle \varepsilon_0, i.e., this volume is equal to the number of quantum states with energy less than \displaystyle \varepsilon_0:


   \displaystyle 
   \Phi (\varepsilon_0)
   =
   \frac{1}{8}
   \frac{4 \pi R_0^3}{3}
   =
   \frac{\pi R_0^3}{6}
   =
   \frac{\pi}{6}
   \left(
      \frac
      {8 m L^2 \varepsilon_0}
      {h^2}
   \right)^{3/2}
   =
   \frac{\pi}{6}
   \left(
      \frac
      {8 m \varepsilon_0}
      {h^2}
   \right)^{3/2}
   V

(66)

with \displaystyle V=L^3 being the volume of the cube of length \displaystyle L. Fig.2 illustrates the quantum states in the space of quantum numbers \displaystyle (l_x , l_y): The circle with radius \displaystyle R_0 corresponds to the energy level \displaystyle \varepsilon_0; the quantum states outside the band corresponding to the energy levels \displaystyle \varepsilon_0 and \displaystyle \varepsilon_0 + d \varepsilon are represented small open circles; the quantum states inside that "energy band" are the small solid circles; the number of small solid circles is the degeneracy at energy level \displaystyle \varepsilon_0; cf. McQuarrie (2000), p.11, Hill (1986), p.75.

Now, take \displaystyle \varepsilon_0 of the order of \displaystyle k_B T, i.e.,


   \displaystyle 
   \varepsilon_0 = \mathcal O (k_B T)

(67)

then the condition in Eq.(63) becomes


   \displaystyle 
   \frac{\pi}{6}
   \left(
      \frac
      {8 m k_B T}
      {h^2}
   \right)^{3/2}
   V
   \gg
   N
   \ {\rm or} \ 
   \frac
   {V}
   {N}
   \gg
   \frac
   {6}
   {\pi}
   \left(
   \frac
   {2 \pi}
   {8}
   \right)^{3/2}
   \left(
      \frac
      {h}
      {\sqrt{2 \pi m k_B T}}
   \right)^3
   =
   1.33 \ 
   \Lambda^3

(68)

where \displaystyle \Lambda is the thermal de Broglie wavelength in Eq.(8). The factor 1.33 can be dismissed from the inequality in Eq.(68), which becomes


   \displaystyle 
   \left(
      \frac
      {V}
      {N}
   \right)^{1/3}
   \gg
   \Lambda

(69)

i.e., for the partition function \displaystyle Q in Eq.(51) to be a good approximation, the average distance between the particles should be much greater than the thermal de Broglie wavelength \displaystyle \Lambda; otherwise, quantum effects will not be negligible.

It is seen that the condition in Eq.(69) led to the approximation in Eq.(54), and is therefore the sufficient condition for the validity of the application of the classical or Boltzmann statistics as expressed in the partition function \displaystyle Q in Eq.(51).[40]

Discrete energy, continuous energy

Here, there is a potential confusion due to the use of the notation \displaystyle \omega to designate the degeneracy[41] in both the discrete (quantum) energy case and in the continuous energy case.

For the discrete-energy case, the summation in the partition function for a single particle can be written in two ways (cf. Eq.(33)): (1) In terms of the quantum states, and (2) in terms of the energy levels. The summation in terms of the energy levels itself has been written in two ways: (2a) With a summation index for the energy level; this summation index (a discrete variable) takes values in the set of natural numbers \displaystyle \mathbb N, e.g., \displaystyle k = 1 , 2 , 3, \cdots. (2b) Without a summation index, but using the notation for energy \displaystyle \varepsilon to designate a discrete variable that takes values in the set of distinct energy levels, i.e., \displaystyle \varepsilon \in \{ \varepsilon_1 , \varepsilon_2 , \cdots \}, such that \displaystyle \varepsilon_1 \ne \varepsilon_2 \ne \cdots, i.e., each energy level \displaystyle \varepsilon_k has a different value of energy; there is no value that is repeated. The 3 ways of writing the summation in the partition function \displaystyle q (i.e., 1, 2a, 2b above) for a single particle are presented below


   \displaystyle 
   q 
   = 
   \sum_{\stackrel{j}{{\rm (states)}}}
   \exp (- \beta \varepsilon_j)
   =
   \sum_{\stackrel{k}{{\rm (levels)}}}
   \omega_k
   \exp (- \beta \varepsilon_k)
   =
   \sum_{\stackrel{\varepsilon}{{\rm (levels)}}}
   \omega(\varepsilon)
   \exp (- \beta \varepsilon)

(70)

For the continuous-energy case, some authors wrote the partition function \displaystyle q as [Hill (1986), p.77; McQuarrie (2000), p.82]


   \displaystyle 
   q
   =
   \int\limits_0^\infty
   \omega(\varepsilon)
   \exp (- \beta \varepsilon)
   d \varepsilon

(*)

Here is the confusion: The quantity \displaystyle \omega (\varepsilon) in Eq.(70) is the degeneracy at the energy level \displaystyle \varepsilon, i.e., the number of quantum states at the same energy level \displaystyle \varepsilon, whereas the quantity \displaystyle \omega (\varepsilon) in Eq.(*) is not the degeneracy, but the number of quantum states per unit energy at the energy level \displaystyle \varepsilon. McQuarrie (2000), p.82, called the factor \displaystyle \omega (\varepsilon) d \varepsilon in Eq.(*) the "effective degeneracy", which is not immediately clear at first encounter. The dimensions of these two \displaystyle \omega's are different from each other (one is number of quantum states, the other is number of quantum states per unit energy). Thus it is better to write Eq.(*) with a different notation, say \displaystyle \overline \omega, for the number of quantum states per unit energy:


   \displaystyle 
   q
   =
   \int\limits_0^\infty
   \overline \omega(\varepsilon)
   \exp (- \beta \varepsilon)
   d \varepsilon

(71)

The case of continuous energy has two useful applications: (1) approximate a densely populated spectrum of discrete quantum energy levels in the evaluation of the partition function (see the next few subsections), (2) use in classical statistical mechanics where the energy varies continously, as opposed to the discrete energy in quantum mechanics.

Approximate summation by integration

With the expression in Eq.(62) for the energy levels for a particle in a box, the partition function expression in Eq.(70) becomes


   \displaystyle 
   q
   =
   \sum_{\stackrel{l_x, l_y, l_z}{{\rm (states)}}}
   \exp (- \beta \varepsilon_{l_x, l_y, l_z})

(72)

The summation in Eq.(72) can be approximated by an integration of the type shown in Eq.(71) if the summand in Eq.(72) changes essentially continuously with increments of the indices \displaystyle (l_x, l_y, l_z). Such is the case if


   \displaystyle 
   \beta \Delta \varepsilon
   =
   \frac
   {\Delta \varepsilon}
   {k_B T}
   \ll
   1

(73)

with \displaystyle \beta defined in Eq.(2), and \displaystyle \Delta \varepsilon the increment in energy level due to an increment of the indices \displaystyle (l_x, l_y, l_z). Based on the expression of the energy level in Eq.(62), consider a unit increment of the quantum numbers from 
   \displaystyle 
   (
      \hat l_x,
      \hat l_y,
      \hat l_z
   )
to 
   \displaystyle
   (
      \hat l_x + 1,
      \hat l_y,
      \hat l_z
   )
, the increment in the energy level is of order


   \displaystyle
   \Delta \varepsilon
   =
   \mathcal O
   \left(
      \frac
      {h^2}
      {8 m L^2}
   \right)
   =
   \mathcal O
   \left(
      \frac
      {h^2}
      {8 m V^{2/3}}
   \right)

Thus, using the expression for the thermal de Broglie wavelength \displaystyle \Lambda in Eq.(2), we have


   \displaystyle 
   \frac
   {\Delta \varepsilon}
   {k_B T}
   =
   \mathcal O
   \left(
      \frac
      {h^2}
      {8 m k_B T V^{2/3}}
   \right)
   =
   \mathcal O
   \left(
      \frac
      {\Lambda^2}
      {V^{2/3}}
   \right)

(74)

With the restriction that the average distance between the particles much larger than the thermal de Broglie wavelength, as expressed in Eq.(69), so that the approximated partition function in Eq.(54) become accurate, we have


   \displaystyle 
   \frac
   {\Delta \varepsilon}
   {k_B T}
   =
   \mathcal O
   \left(
      \frac
      {\Lambda^2}
      {V^{2/3}}
   \right)
   \ll
   \mathcal O
   \left(
      \frac
      {1}
      {N^{2/3}}
   \right)

(75)

If \displaystyle N is of the order of the Avogadro number, then


   \displaystyle 
   \frac
   {\Delta \varepsilon}
   {k_B T}
   \ll
   \mathcal O
   ((10^{23})^{-2/3})
   =
   \mathcal O
   (10^{-15})

(76)

which largely satisfies the condition in Eq.(73)[42], so that the summation in the partition function \displaystyle q in Eq.(72) can be approximated by the integration as expressed in Eq.(71).

Effective degeneracy, order of magnitude

Now that we have introduced the different notation \displaystyle \overline \omega for the number of quantum states per unit energy as shown in Eq.(71), the "effective degeneracy" can be written as


   \displaystyle 
   \omega
   (\varepsilon, d \varepsilon)
   =
   \overline \omega (\varepsilon) d \varepsilon

(81)

We note immediately that the effective degeneracy \displaystyle \omega (\varepsilon, d \varepsilon) is not the same as the degeneracy \displaystyle \omega(\varepsilon), hence the difference in notation.

As illustrated in Fig.1, the effective degeneracy \displaystyle \omega (\varepsilon_0, d \varepsilon) is the number of quantum states lying inside the band formed by the circle with radius \displaystyle R_0 corresponding to the energy level \displaystyle \varepsilon_0 and a (slightly) larger circle corresponding to the energy level \displaystyle \varepsilon_0 + d \varepsilon; Hill (1986), p.77; McQuarrie (2000), p.11. We have


   \displaystyle 
   \omega (\varepsilon_0, d \varepsilon)
   =
   \overline \omega (\varepsilon_0)
   d \varepsilon
   =
   \frac
   {d \Phi (\varepsilon_0)}
   {d \varepsilon}
   d \varepsilon
   =
   \frac
   {\pi}
   {4}
   \left(
      \frac
      {8 m}
      {h^2}
   \right)^{3/2}
   V
   \sqrt{\varepsilon_0}
   \ d \varepsilon

(82)

To give an idea about the magnitude of the effective degeneracy, consider the following numerical data with \displaystyle \varepsilon_0 = k_B T (in SI units)

  • Temperature \displaystyle T = 300^\circ K
  • Mass \displaystyle m = 10^{-22} g = 10^{-25} Kg
  • Box length \displaystyle L = 10 cm = 10^{-1} m
  • Increment of energy \displaystyle d \varepsilon = 0.01 \varepsilon_0

If we just look at the order of magnitude, then

  • \displaystyle k_B = O(10^{-23}) \, J \cdot K^{-1}
  • \displaystyle T = O(100)^\circ K
  • \displaystyle \varepsilon_0 = k_B T = O(10^{-21}) J
  • \displaystyle m = O(10^{-25}) Kg
  • \displaystyle h = O(10^{-34}) \, J \cdot s
  • \displaystyle V = L^3 = O(10^{-3}) m

and thus


   \displaystyle
   \omega(\varepsilon_0, d \varepsilon)
   =
   O
   \left[
      \left(
	 \frac
	 {10^{25}}
	 {(10^{-34})^2}
      \right)^{3/2}
      \cdot
      10^{-3}
      \cdot
      (10^{-21})^{1/2}
      \cdot
      10^{-2}
      \cdot
      10^{-21}
   \right]
   =
   O(10^{28})

which is a large number for a simple system like a particle in a box at room temperature; cf. McQuarrie (2000), p.11. The order of magnitude of \displaystyle \overline \omega (\varepsilon), i.e., the number of quantum states per unit energy, is then


   \displaystyle
   \overline
   \omega(\varepsilon_0)
   =
   O(10^{50})

which is much larger than the effective degeneracy \displaystyle \omega (\varepsilon_0, d \varepsilon).

Partition function, thermal de Broglie wavelength

Using Eq.(82), the partition function \displaystyle q in Eq.(71) for a particle in a box can now be evaluated as follows (Hill (1986), p.77)


   \displaystyle 
   q
   =
   \frac   
   {\pi}   
   {4}
   \left(  
      \frac   
      {8 m}   
      {h^2}   
   \right)^{3/2}
   V
   \int\limits_0^\infty
      \sqrt{\varepsilon}
      \exp (- \beta \varepsilon)
   \ d \varepsilon
   =
   \left(
      \frac
      {2 \pi m k_B T}
      {h^2}
   \right)^{3/2}
   V
   =
   \frac
   {V}
   {\Lambda^3}

(91)

where \displaystyle \Lambda, defined in Eq.(8), is called the thermal de Broglie wavelength. In Eq.(91), we made use of the following integration result of the Gamma function:


   \displaystyle 
   \Gamma (x)
   :=
   \int\limits_{t=0}^{t=\infty}
   t^{x-1}
   e^{-t}
   dt
   \ {\rm with} \ 
   x > 0
   \Longrightarrow
   \Gamma 
   (\frac{3}{2})
   =
   \int\limits_{t=0}^{t=\infty}
   \sqrt{t}
   e^{-t}
   dt
   \ {\rm and} \ 
   \int\limits_{t=0}^{t=\infty}
   \sqrt{t}
   e^{-at}
   dt
   =
   \frac
   {1}
   {a^{3/2}}
   \Gamma
   (\frac{3}{2})

(92)

Integrating by parts the Gamma function in Eq.(92)1, we obtain:


   \displaystyle 
   \Gamma (x) 
   =
   \frac{1}{x}
   \Gamma (x+1)
   \Longrightarrow
   \Gamma (x+1) 
   =
   x 
   \Gamma (x)
   \Longrightarrow
   \Gamma
   (\frac{3}{2})
   =
   \frac{1}{2}
   \Gamma
   (\frac{1}{2})

(93)

Next, by changing the variable \displaystyle t = y^2, we obtain


   \displaystyle 
   \Gamma
   (\frac{1}{2})
   =
   \int\limits_{t=0}^{t=\infty}
   t^{-1/2}
   e^{-t}
   dt
   =
   2
   \int\limits_{y=0}^{y=\infty}
   e^{- y^2}
   dy
   =
   \sqrt{\pi}

(94)

using the integration result in Eq.(162), noting that the domain of integration here is half that in Eq.(162). For more details on the Gamma function, the readers are referred to Sebah & Gourdon (2002)[43].

The thermal de Broglie wavelength \displaystyle \Lambda has the dimension of length (of course): In the numerator of \displaystyle \Lambda, the Planck constant \displaystyle h has the dimension of energy times time, i.e., force \displaystyle F times length \displaystyle L times time \displaystyle T. In the denominator of \displaystyle \Lambda, the term \displaystyle k_B T has the dimension of energy, i.e., force \displaystyle F times length \displaystyle L, or equivalently mass \displaystyle m times velocity squared \displaystyle v^2. Thus, the denominator has the dimension of mass \displaystyle m times velocity \displaystyle v, or momentum. The dimension of \displaystyle \Lambda is then


   \displaystyle 
   [\Lambda]
   =
   \frac
   {[h]}
   {[m] [v]}
   =
   \frac
   {FLT}
   {(F L^{-1} T^2) \cdot (L T^{-1})}
   =
   L

(95)

See further reading on \displaystyle \Lambda.

N particles in a box, partition function

The partition function of a system with \displaystyle N independent, identical, indistinguishable particles can now be written as


   \displaystyle 
   Q
   =
   \frac
   {q^N}
   {N!}
   =
   \frac
   {1}
   {N!}
   \left(
      \frac
      {V}
      {\Lambda^3}
   \right)^{N}

(101)

It can be verified that in the absence of a potential energy, i.e., \displaystyle U = 0 (since the particles are independent; there is no interparticle forces), the configuration integral \displaystyle Z_N = V^N, and the partition function \displaystyle Q_{class} in Eq.(6) is reduced to Eq.(101).

Helmholtz energy

From Eq.(9), the Helmholtz energy[10][26] \displaystyle A of this system can now be written as


\begin{align}
   \displaystyle 
   A
   &
   =
   -
   k_B T 
   \ \log Q
   =
   -
   k_B T 
   \ 
   \left(
      - \log N!
      +
      N \, \log q
   \right)
   \approx
   k_B T 
   \left(
      N \log N
      - 
      N
      -
      N \, \log q
   \right)
   \\
   &
   =
   -
   k_B T 
   N
   \ \log
   \left(
      \frac
      {q e}
      {N}
   \right)
\end{align}

by using the Stirling approximation for \displaystyle \log N!, i.e.,


   \displaystyle
   \log N! \approx N \log N - N

and \displaystyle \log e = 1. Thus,


   \displaystyle 
   A
   =
   -
   k_B T
   N
   \log
   \left[
      \frac
      {V e}
      {\Lambda^3 N}
   \right]
   =
   -
   k_B T
   N
   \log
   \left[
      \frac
      {(2 \pi m k_B T)^{3/2} V e}
      {h^3 N}
   \right]

(102)

which can be used to calculate the thermodynamic properties of the system; see Hill (1986), p.77.

Thermodynamic properties

"the average physicist is made a little uncomfortable by thermodynamics. He is suspicious of its ostensible generality, and he doesn't quite see how anybody has a right to expect to achieve that kind of generality. He finds much more congenial the approach of statistical mechanics, with its analysis reaching into the details of those microscopic processes which in their large aggregates constitute the subject matter of thermodynamics. He feels, rightly or wrongly, that by the methods of statistical mechanics and kinetic theory he has achieved a deeper insight." P.W. Bridgman, The nature of thermodynamics, 1941, p.3.

Once the expression for the Helmholtz energy \displaystyle A (T,V,N) is available, one can then obtain the expressions for the thermodynamic properties of the canonical ensemble, i.e., entropy \displaystyle S, pressure \displaystyle p, chemical potentials \displaystyle \mu_\alpha. In addition, since \displaystyle A = U - TS, we can also obtain the expression for the total internal energy \displaystyle U of the system.

Recall that the independent variables of the internal energy \displaystyle U for the canonical ensemble are entropy \displaystyle S, volume \displaystyle V, and the particle numbers \displaystyle \{ N_\alpha \} for different components (or species); we write \displaystyle U(S,V,\{ N_\alpha \}). We have (McQuarrie (2000), p.17)


   \displaystyle 
   dU
   =
   T dS
   -
   p dV
   +
   \sum_{\alpha}
   \frac
   {\partial U}
   {\partial N_\alpha}
   d N_\alpha
   =
   T dS
   -
   p dV
   +
   \sum_{\alpha}
   \mu_\alpha
   d N_\alpha
   , \ {\rm with} \ 
   \mu_\alpha
   :=
   \frac
   {\partial U}
   {\partial N_\alpha}

(111)

being the chemical potential for species \displaystyle \alpha.

With the Legendre transformation


   \displaystyle 
   A = U - TS

(112)

we have


   \displaystyle 
   dA
   =
   dU - TdS - SdT
   =
   - SdT
   - p dV
   +
   \sum_{\alpha}
   \mu_\alpha
   d N_\alpha

(113)

making \displaystyle (T,V,\{N_\alpha\}) the independent variables for the Helmholtz energy \displaystyle A. From Eq.(113) and using Eq.(9), we have (cf. Hill (1986), p.19)


   \displaystyle 
   S
   =
   -
   \left.
      \frac
      {\partial A}
      {\partial T}
   \right|_{V,N_\alpha}
   =
   k_B \log Q
   +
   k_B T
   \left(
      \left.
	 \frac
	 {\partial \log Q}
	 {\partial T}
      \right|_{V,N_\alpha}
   \right)

(114)


   \displaystyle 
   p
   =
   -
   \left.
      \frac
      {\partial A}
      {\partial V}
   \right|_{T,N_\alpha}
   =
   k_B T
   \left(
      \left.
	 \frac
	 {\partial \log Q}
	 {\partial V}
      \right|_{T,N_\alpha}
   \right)

(115)


   \displaystyle 
   \mu_\alpha
   =
   \left.
      \frac
      {\partial A}
      {\partial N_\alpha}
   \right|_{T,V,\{N_\gamma, \gamma \ne \alpha\}}
   =
   -
   k_B T
   \left(
      \left.
	 \frac
	 {\partial \log Q}
	 {\partial N_\alpha}
      \right|_{T,V,\{N_\gamma, \gamma \ne \alpha\}}
   \right)

(116)

Finally, using Eq.(114) in Eq.(9), we obtain the expression for the total internal energy \displaystyle U


   \displaystyle 
   U = A + TS = 
   k_B T^2
   \left(
      \left.
	 \frac
	 {\partial \log Q}
	 {\partial T}
      \right|_{V,\{N_\alpha\}}
   \right)
   =
   -
   \left.
      \frac
      {\partial \log Q}
      {\partial \beta}
   \right|_{V,\{N_\alpha\}}

(117)

with \displaystyle \beta = 1/(k_B T) defined in Eq.(2).

Now using the expression for the Helmholtz energy \displaystyle A in Eq.(102) and Eqs.(114)-(117), we obtain the following expressions for the thermodynamic properties for an ideal monoatomic gas (i.e., a system of \displaystyle N distinguishable, identical, and independent particles):


   \displaystyle 
   S
   =
   -
   \left.
      \frac
      {\partial A}
      {\partial T}
   \right|_{V,N_\alpha}
   =
   \frac
   {\partial [bT \log (a T^{3/2})]}
   {\partial T}
   =
   b \log (a T^{3/2})
   +
   b T \frac{3}{2} T^{-1}
   =
   b \log (a T^{3/2} e^{3/2})

where \displaystyle a and \displaystyle b are constants with respect to \displaystyle T; see Eq.(102). Thus, the entropy for ideal monoatomic gas takes the form (cf. Hill (1986), p.79)


   \displaystyle 
   S
   = 
   k_B N 
   \log
   \left[
      \frac
      {(2 \pi m k_B T)^{3/2} V e^{5/2}}
      {h^3 N}
   \right]

(118)

Similarly, the pressure takes the familiar form of the ideal gas law:


   \displaystyle 
   p
   =
   -
   \left.
      \frac
      {\partial A}
      {\partial V}
   \right|_{T,N_\alpha}
   =
   \frac
   {N k_B T}
   {V}

(119)

Chemical potential for the c