Statistical mechanics |
---|
![]() |
Inphysics, apartition function describes thestatistical properties of a system inthermodynamic equilibrium.[citation needed] Partition functions arefunctions of the thermodynamicstate variables, such as thetemperature andvolume. Most of the aggregatethermodynamic variables of the system, such as thetotal energy,free energy,entropy, andpressure, can be expressed in terms of the partition function or itsderivatives. The partition function is dimensionless.
Each partition function is constructed to represent a particularstatistical ensemble (which, in turn, corresponds to a particularfree energy). The most common statistical ensembles have named partition functions. Thecanonical partition function applies to acanonical ensemble, in which the system is allowed to exchangeheat with theenvironment at fixed temperature, volume, andnumber of particles. Thegrand canonical partition function applies to agrand canonical ensemble, in which the system can exchange both heat and particles with the environment, at fixed temperature, volume, andchemical potential. Other types of partition functions can be defined for different circumstances; seepartition function (mathematics) for generalizations. The partition function has many physical meanings, as discussed inMeaning and significance.
Initially, let us assume that a thermodynamically large system is inthermal contact with the environment, with a temperatureT, and both the volume of the system and the number of constituent particles are fixed. A collection of this kind of system comprises an ensemble called acanonical ensemble. The appropriatemathematical expression for the canonical partition function depends on thedegrees of freedom of the system, whether the context isclassical mechanics orquantum mechanics, and whether the spectrum of states isdiscrete orcontinuous.[citation needed]
For a canonical ensemble that is classical and discrete, the canonical partition function is defined aswhere
Theexponential factor is otherwise known as theBoltzmann factor.
There are multiple approaches to deriving the partition function. The following derivation follows the more powerful and generalinformation-theoreticJaynesianmaximum entropy approach.
According to thesecond law of thermodynamics, a system assumes a configuration ofmaximum entropy atthermodynamic equilibrium. We seek a probability distribution of states that maximizes the discreteGibbs entropysubject to two physical constraints:
Applyingvariational calculus with constraints (analogous in some sense to the method ofLagrange multipliers), we write the Lagrangian (or Lagrange function) as
Varying and extremizing with respect to leads to
Since this equation should hold for any variation, it implies that
Isolating for yields
To obtain, one substitutes the probability into the first constraint:where is a number defined as the canonical ensemble partition function:
Isolating for yields.
Rewriting in terms of gives
Rewriting in terms of gives
To obtain, we differentiate with respect to the average energy and apply thefirst law of thermodynamics,:
(Note that and vary with as well; however, using the chain rule andone can show that the additional contributions to this derivative cancel each other.)
Thus the canonical partition function becomeswhere is defined as thethermodynamic beta. Finally, the probability distribution and entropy are respectively
Inclassical mechanics, theposition andmomentum variables of a particle can vary continuously, so the set of microstates is actuallyuncountable. Inclassical statistical mechanics, it is rather inaccurate to express the partition function as asum of discrete terms. In this case we must describe the partition function using anintegral rather than a sum. For a canonical ensemble that is classical and continuous, the canonical partition function is defined aswhere
To make it into a dimensionless quantity, we must divide it byh, which is some quantity with units ofaction (usually taken to be thePlanck constant).
For generalized cases, the partition function of particles in-dimensions is given by
For a gas of identical classical non-interacting particles in three dimensions, the partition function iswhere
The reason for thefactorial factorN! is discussedbelow. The extra constant factor introduced in the denominator was introduced because, unlike the discrete form, the continuous form shown above is notdimensionless. As stated in the previous section, to make it into a dimensionless quantity, we must divide it byh3N (whereh is usually taken to be the Planck constant).
For a canonical ensemble that is quantum mechanical and discrete, the canonical partition function is defined as thetrace of the Boltzmann factor:where:
Thedimension of is the number ofenergy eigenstates of the system.
For a canonical ensemble that is quantum mechanical and continuous, the canonical partition function is defined aswhere:
In systems with multiplequantum statess sharing the same energyEs, it is said that theenergy levels of the system aredegenerate. In the case of degenerate energy levels, we can write the partition function in terms of the contribution from energy levels (indexed byj) as follows:wheregj is the degeneracy factor, or number of quantum statess that have the same energy level defined byEj =Es.
The above treatment applies toquantumstatistical mechanics, where a physical system inside afinite-sized box will typically have a discrete set of energy eigenstates, which we can use as the statess above. In quantum mechanics, the partition function can be more formally written as a trace over thestate space (which is independent of the choice ofbasis):whereĤ is thequantum Hamiltonian operator. The exponential of an operator can be defined using theexponential power series.
The classical form ofZ is recovered when the trace is expressed in terms ofcoherent states[1] and when quantum-mechanicaluncertainties in the position and momentum of a particle are regarded as negligible. Formally, usingbra–ket notation, one inserts under the trace for each degree of freedom the identity:where|x,p⟩ is anormalisedGaussian wavepacket centered at positionx and momentump. ThusA coherent state is an approximate eigenstate of both operators and, hence also of the HamiltonianĤ, with errors of the size of the uncertainties. IfΔx andΔp can be regarded as zero, the action ofĤ reduces to multiplication by the classical Hamiltonian, andZ reduces to the classical configuration integral.
For simplicity, we will use the discrete form of the partition function in this section. Our results will apply equally well to the continuous form.
Consider a systemS embedded into aheat bathB. Let the totalenergy of both systems beE. Letpi denote theprobability that the systemS is in a particularmicrostate,i, with energyEi. According to thefundamental postulate of statistical mechanics (which states that all attainable microstates of a system are equally probable), the probabilitypi will be inversely proportional to the number of microstates of the totalclosed system (S,B) in whichS is in microstatei with energyEi. Equivalently,pi will be proportional to the number of microstates of the heat bathB with energyE −Ei:
Assuming that the heat bath's internal energy is much larger than the energy ofS (E ≫Ei), we canTaylor-expand to first order inEi and use the thermodynamic relation, where here, are the entropy and temperature of the bath respectively:
Thus
Since the total probability to find the system insome microstate (the sum of allpi) must be equal to 1, we know that the constant of proportionality must be thenormalization constant, and so, we can define the partition function to be this constant:
In order to demonstrate the usefulness of the partition function, let us calculate the thermodynamic value of the total energy. This is simply theexpected value, orensemble average for the energy, which is the sum of the microstate energies weighted by their probabilities:or, equivalently,
Incidentally, one should note that if the microstate energies depend on a parameter λ in the mannerthen the expected value ofA is
This provides us with a method for calculating the expected values of many microscopic quantities. We add the quantity artificially to the microstate energies (or, in the language of quantum mechanics, to the Hamiltonian), calculate the new partition function and expected value, and then setλ to zero in the final expression. This is analogous to thesource field method used in thepath integral formulation ofquantum field theory.[citation needed]
In this section, we will state the relationships between the partition function and the various thermodynamic parameters of the system. These results can be derived using the method of the previous section and the various thermodynamic relations.
As we have already seen, the thermodynamic energy is
Thevariance in the energy (or "energy fluctuation") is
Theheat capacity is
In general, consider theextensive variableX andintensive variableY whereX andY form a pair ofconjugate variables. In ensembles whereY is fixed (andX is allowed to fluctuate), then the average value ofX will be:
The sign will depend on the specific definitions of the variablesX andY. An example would beX = volume andY = pressure. Additionally, the variance inX will be
In the special case ofentropy, entropy is given bywhereA is theHelmholtz free energy defined asA =U −TS, whereU = ⟨E⟩ is the total energy andS is theentropy, so that
Furthermore, the heat capacity can be expressed as
Suppose a system is subdivided intoN sub-systems with negligible interaction energy, that is, we can assume the particles are essentially non-interacting. If the partition functions of the sub-systems areζ1,ζ2, ...,ζN, then the partition function of the entire system is theproduct of the individual partition functions:
If the sub-systems have the same physical properties, then their partition functions are equal,ζ1 =ζ2 = ... =ζ, in which case
However, there is a well-known exception to this rule. If the sub-systems are actuallyidentical particles, in thequantum mechanical sense that they are impossible to distinguish even in principle, the total partition function must be divided by aN! (N factorial):
This is to ensure that we do not "over-count" the number of microstates. While this may seem like a strange requirement, it is actually necessary to preserve the existence of a thermodynamic limit for such systems. This is known as theGibbs paradox.
It may not be obvious why the partition function, as we have defined it above, is an important quantity. First, consider what goes into it. The partition function is a function of the temperatureT and the microstate energiesE1,E2,E3, etc. The microstate energies are determined by other thermodynamic variables, such as the number of particles and the volume, as well as microscopic quantities like the mass of the constituent particles. This dependence on microscopic variables is the central point of statistical mechanics. With a model of the microscopic constituents of a system, one can calculate the microstate energies, and thus the partition function, which will then allow us to calculate all the other thermodynamic properties of the system.
The partition function can be related to thermodynamic properties because it has a very important statistical meaning. The probabilityPs that the system occupies microstates is
Thus, as shown above, the partition function plays the role of a normalizing constant (note that it doesnot depend ons), ensuring that the probabilities sum up to one:
This is the reason for callingZ the "partition function": it encodes how the probabilities are partitioned among the different microstates, based on their individual energies. Other partition functions for different ensembles divide up the probabilities based on other macrostate variables. As an example: the partition function for theisothermal-isobaric ensemble, thegeneralized Boltzmann distribution, divides up probabilities based on particle number, pressure, and temperature. The energy is replaced by the characteristic potential of that ensemble, theGibbs Free Energy. The letterZ stands for theGerman wordZustandssumme, "sum over states". The usefulness of the partition function stems from the fact that the macroscopicthermodynamic quantities of a system can be related to its microscopic details through the derivatives of its partition function. Finding the partition function is also equivalent to performing aLaplace transform of the density of states function from the energy domain to theβ domain, and theinverse Laplace transform of the partition function reclaims the state density function of energies.
We can define agrand canonical partition function for agrand canonical ensemble, which describes the statistics of a constant-volume system that can exchange both heat and particles with a reservoir. The reservoir has a constant temperatureT, and achemical potentialμ.
The grand canonical partition function, denoted by, is the following sum overmicrostatesHere, each microstate is labelled by, and has total particle number and total energy. This partition function is closely related to thegrand potential,, by the relationThis can be contrasted to the canonical partition function above, which is related instead to theHelmholtz free energy.
It is important to note that the number of microstates in the grand canonical ensemble may be much larger than in the canonical ensemble, since here we consider not only variations in energy but also in particle number. Again, the utility of the grand canonical partition function is that it is related to the probability that the system is in state:
An important application of the grand canonical ensemble is in deriving exactly the statistics of a non-interacting many-body quantum gas (Fermi–Dirac statistics for fermions,Bose–Einstein statistics for bosons), however it is much more generally applicable than that. The grand canonical ensemble may also be used to describe classical systems, or even interacting quantum gases.
The grand partition function is sometimes written (equivalently) in terms of alternate variables as[2]where is known as the absoluteactivity (orfugacity) and is the canonical partition function.