The bosonic coherent-state resolution of identity gives the ordinary trace by insertion into a number-state basis. For fermions, the fermionic coherent-state trace requires a sign in the bra. In one mode, for an even operator ,
Without that sign the result would be the supertrace . Applying this identity mode by mode to the even operator gives the grand canonical partition function
For each one-particle state , a boson occupation number can be any . Its contribution to the grand canonical partition function is the geometric series
The noninteracting modes factorize, so
Convergence requires . Since the lowest energy is zero, the limiting maximum chemical potential is
The chemical potential is the change in internal energy when one particle is added at fixed entropy and volume:
Equivalently, for the Helmholtz free energy.
Let a microstate have energy and particle number . Maximizing the Gibbs entropy subject to normalization and fixed mean values of and is the maximum-entropy derivation of equilibrium ensembles. With Lagrange multipliers , , and , vary
The stationarity equation is . Normalization therefore gives the grand canonical ensemble
Here is the grand canonical partition function and is the Boltzmann constant.
For one fermionic quantum state of energy , the Pauli exclusion principle permits occupation numbers only . Its two grand-canonical weights are and , so its mean occupation is the Fermi-Dirac distribution
For a free nonrelativistic particle, . In a region of area , the number of wave-vector states in the annulus from to , including the two spin angular momentum states, is
Since , the two-dimensional free-electron density of states is constant:
We now use units in which , as in the question. At zero temperature, the Fermi-Dirac distribution is a step function, and hence
At positive temperature the same fixed particle number satisfies the exact relation
Thus
This is the low-temperature particle-number cancellation for constant density of states. Therefore, for , the mean number of particles in the energy interval is
Finally, compare the internal energy with its zero-temperature value. The thermally excited particles above and holes below have equal leading particle numbers, so their terms proportional to cancel. With ,
where the integral follows from the fermion-to-boson thermal integral ratio. Differentiation gives the linear low-temperature heat capacity of a two-dimensional Fermi gas:
The requested power law is therefore linear in , with exponent one.
For an ultrarelativistic particle, . Including the two spin states of an electron, counting wavevectors in a sphere gives the density of states
The grand canonical partition function of the ideal Fermi gas is therefore
Since the grand potential satisfies , integration by parts gives
Thus
This is the equation of state of an ideal ultrarelativistic gas.