Gibbs entropy (Shannon form)

Entropy of an ensemble: minus k_B times the expected log-probability of microstates.
Gibbs entropy (Shannon form)

Definition (Gibbs/Shannon entropy).
An equilibrium ensemble is a on microstates (often given by a density with respect to a reference measure). For a discrete set of microstates with probabilities {pi}\{p_i\}, the Gibbs (Shannon) entropy is

SG(p)=kBipilnpi. S_G(p)=-k_B\sum_i p_i\ln p_i.

This is kBk_B times the .

For a classical phase-space description, let dΓd\Gamma denote the and let ρ(x)\rho(x) be a probability density on (so ρdΓ=1\int \rho\,d\Gamma=1, interpreted via the ). Then

SG[ρ]=kBρ(x)lnρ(x)dΓ(x). S_G[\rho] = -k_B \int \rho(x)\,\ln \rho(x)\,d\Gamma(x).

Remark on “continuous entropy.”
In the continuous setting, ρ\rho is a density with respect to a chosen reference measure (here the Liouville/phase-space volume). Changing that reference shifts SGS_G by an additive constant. In statistical mechanics, this ambiguity matches the physical fact that entropy is defined up to an additive constant once a coarse-graining (or a microscopic phase-space cell) is fixed.

Canonical example.
In the , with H(x)H(x), inverse temperature , and Z(β)Z(\beta), the density is

ρβ(x)=eβH(x)Z(β). \rho_\beta(x)=\frac{e^{-\beta H(x)}}{Z(\beta)}.

Using the U=HρβU=\langle H\rangle_{\rho_\beta}, one obtains the identity

SG[ρβ]=kB(lnZ(β)+βU). S_G[\rho_\beta] = k_B\big(\ln Z(\beta)+\beta U\big).

This links Gibbs entropy directly to the logarithm of the partition function and to .

Physical interpretation.
SGS_G measures uncertainty (spread) of the ensemble over microstates: it is large when probability mass is distributed over many microstates and small when concentrated. It is also the entropy functional appearing in entropy maximization constructions such as .

Inequalities and irreversibility viewpoint.
Comparing two ensembles PP and QQ naturally introduces , whose nonnegativity is . In equilibrium statistical mechanics, this underlies variational characterizations of the canonical state and convexity properties of lnZ\ln Z.