View source for Statistical ensemble

<!--
s0873301.png
$#A+1 = 63 n = 0
$#C+1 = 63 : ~/encyclopedia/old_files/data/S087/S.0807330 Statistical ensemble
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

A name given in statistical physics (cf. [[Statistical physics, mathematical problems in|Statistical physics, mathematical problems in]]) to the phase space (space of states) of any physical system and a method of averaging physical (observable) quantities related to this system. In a classical system with phase space  $  \Omega $, 
the observable quantities are real functions defined on  $  \Omega $, 
and they are averaged by integration with respect to a certain probability measure  $  \mu $
on  $  \Omega $. 
In a quantum system described by vectors in a Hilbert space  $  {\mathcal H} $, 
the observable quantities are defined by self-adjoint operators acting on  $  {\mathcal H} $, 
and are averaged using a certain positive, normalized functional  $  \rho $, 
defined on the algebra  $  \mathfrak A ( {\mathcal H}) $
of operators on  $  {\mathcal H} $ (such functionals on  $  \mathfrak A ( {\mathcal H}) $
are called states). A state is usually given in the form

$$ \tag{1 }
\rho ( A)  =   \mathop{\rm Tr} ( \widehat \rho   A),\  A \in \mathfrak A ( {\mathcal H}),
$$

where  $  \widehat \rho   $
is a positive operator on  $  {\mathcal H} $ (of trace class) such that  $   \mathop{\rm Tr}  \widehat \rho   = 1 $ (the operator  $  \widehat \rho   $
is called the density matrix of the state  $  \rho $).

If the evolution of the physical system in time is given (the dynamics of the system), i.e. (in the classical case) a group  $  \Gamma _ {t} :  \Omega \rightarrow \Omega $, 
$  t \in \mathbf R $, 
of one-to-one mappings of the phase space onto itself, generated by the Hamilton equations of motion with a certain Hamilton function  $  H( \omega ) $, 
$  \omega \in \Omega $ (the energy of the system), or (in the quantum case) a group of unitary mappings  $  U _ {t} :  {\mathcal H} \rightarrow {\mathcal H} $, 
$  t \in \mathbf R $, 
of the Hilbert space onto itself, generated by the Hamilton operator  $  \widehat{H}  $ (the energy operator of the system), then the evolution in time of any statistical ensemble defined for this system is naturally defined:

$$ \tag{2 }
\left . \begin{array}{c}

{\mu _ {t} ( C)  =  \mu ( \Gamma _ {t}  ^ {-1} C),\  C \subset  \Omega \ \ 
\textrm{ (classical  case)  } , }
\\

\rho _ {t} ( A)  =  \rho ( U _ {t} AU _ {t}  ^ {-1} ) \ \ 
\textrm{ (quantum  case)  } . 
\end{array}
 \right \}
$$

In describing the stationary behaviour of the system, equilibrium ensembles are studied, i.e. measures or states that are invariant relative to the evolution (2). Although there are, generally speaking, many equilibrium statistical ensembles, only special ones are studied in statistical physics — the so-called canonical Gibbs ensembles (distributions) (cf. also [[Gibbs statistical aggregate|Gibbs statistical aggregate]]).

==Classical Gibbs ensembles.==
In addition to the Hamiltonian  $  H = H _ {0} ( \omega ) $, 
let there be a functionally independent set  $  H _ {1} ( \omega ), \dots, H _ {k} ( \omega ) $, 
$  k = 0, 1, \dots $
of functions on  $  \Omega $
that are invariant relative to the dynamics  $  \Gamma _ {t} $ (in systems consisting of a finite, but arbitrary, number of particles of one or more types,  $  H _ {i} ( \omega ) $
is equal, for example, to the number of particles of whatever type in the configuration  $  \omega \in \Omega $; 
in the case of a system of magnetic dipoles,  $  H _ {i} ( \omega ) $
is equal to their total magnetic moment, etc.). The measure

$$ \tag{3 }
d \mu _ {\beta , v _ {1},  \dots, v _ {k} } =
$$

$$ 
= \ 
( \Xi )  ^ {-1}  \mathop{\rm exp} \{ - \beta ( H _ {0} + v _ {1} H _ {1} + \dots + v _ {k} H _ {k} ) \}  d \omega ,
$$

is called a grand canonical Gibbs ensemble, where  $  d \omega $
is a measure generated by a symplectic structure on  $  \Omega $; 
$  \beta > 0 $
and  $  v _ {1}, \dots, v _ {k} $
are real parameters; and  $  \Xi $
is a normalization factor, called the grand statistical sum (or grand partition function, cf. [[Statistical sum|Statistical sum]]),

$$ \tag{4 }
\Xi  =  \int\limits _  \Omega   \mathop{\rm exp} \{ - \beta ( H _ {0} + v _ {1} H _ {1} + \dots + v _ {k} H _ {k} ) \}  d \omega .
$$

The measure  $  \mu _ {h _ {0} , \dots, h _ {k} } $
generated by the measure (3), concentrated on the set  $  \{  \omega  : {H _ {i} ( \omega ) = h _ {i} ,  i = 0, \dots, k } \} $, 
$  h _ {i} \in \mathbf R $, 
$  i = 0, \dots, k $, 
and coinciding with the conditional distribution on this set is called a micro-canonical Gibbs ensemble.  "Intermediate"  ensembles are also studied — the so-called small canonical Gibbs ensembles, which are obtained in similar fashion from (3) by fixing the values of all or some of the functions  $  H _ {i} ( \omega ) $, 
$  i = 1, \dots, k $.

==Quantum Gibbs ensembles.==
Let  $  \widehat{H}  _ {1}, \dots, \widehat{H}  _ {k} $ ($  k $
arbitrary) be pairwise commuting operators, commuting also with the operator  $  \widehat{H}  = \widehat{H}  _ {0} $ ( "conserved quantities" ). The state on  $  \mathfrak A ( {\mathcal H}) $
defined by the [[Density matrix|density matrix]]

$$ 
\widehat \rho   _ {\beta , v _ {1}, \dots, v _ {k} }  = \ 
( \Xi )  ^ {-1}  \mathop{\rm exp} \{ - \beta
( \widehat{H}  _ {0} + v _ {1} \widehat{H}  _ {1} + \dots + v _ {k} \widehat{H}  _ {k} ) \} ,
$$

where

$$ 
\Xi  =   \mathop{\rm Tr} (  \mathop{\rm exp} \{ - \beta
( \widehat{H}  _ {0} + v _ {1} \widehat{H}  _ {1} + \dots + v _ {k} \widehat{H}  _ {k} ) \} )
$$

is a grand statistical sum (grand partition function) and  $  \beta > 0 $, 
$  v _ {1}, \dots, v _ {k} $
are parameters, is called the grand canonical Gibbs ensemble. Let  $  P _ {\widehat{H}  _ {i}  } ^ {h _ {i} } $, 
$  i = 0, \dots, k $, 
be a projector on  $  {\mathcal H} $
onto the eigensubspace of the operator  $  \widehat{H}  _ {i} $
with eigenvalue  $  h _ {i} $. 
A state with density matrix

$$ 
\widehat \rho   _ {h _ {0},  \dots, h _ {k} }  = \ 
( Q)  ^ {-1} P _ {\widehat{H}  _ {0}  } ^ {h _ {0} } \dots P _ {\widehat{H}  _ {k}  } ^ {h _ {k} } ,
$$

where  $  Q =  \mathop{\rm dim} (  \mathop{\rm Im}  \widehat \rho   _ {h _ {0} , \dots, h _ {k} } ) $, 
is called a micro-canonical Gibbs ensemble. Small canonical Gibbs ensembles are introduced in the same way, for example, as a statistical ensemble with density matrix

$$ 
\widehat \rho   _ {\beta ,h _ {1} , \dots, h _ {k} }  = \ 
( Z)  ^ {-1}  \mathop{\rm exp} \{ - \beta \widehat{H}  _ {0} \} \prod _ { i= 1} ^ { k }  P _ {\widehat{H}  _ {i}  } ^ {h _ {i} } ,
$$

where  $  Z $
is a normalization factor (a small statistical sum, small partition function).

Certain model modifications of these statistical ensembles are sometimes studied (for example, Gibbs ensembles in configuration or lattice systems), as are so-called limiting Gibbs ensembles, i.e. probability distributions (or states) on the phase space of an infinite system (for example, systems with an infinite number of particles moving throughout the space). These statistical ensembles arise from the above ensembles for finite systems during a passage to the thermodynamic limit (see [[#References|[3]]]).

There exists a hypothesis — the so-called principle of limit equivalence of ensembles — which states that when certain natural conditions are fulfilled (roughly speaking, when there is no phase transition), limiting Gibbs statistical ensembles obtained using different Gibbs ensembles (grand canonical, small canonical, micro-canonical) coincide, given a specific correspondence between the parameters defining these ensembles. This hypothesis has been proved (see [[#References|[3]]]) in certain specific situations.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  L.D. Landau,   E.M. Lifshitz,   "Statistical physics" , Pergamon  (1980)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  R.A. Minlos,   "Lectures on statistical physics"  ''Russian Math. Surveys'' , '''23''' :  1  (1968)  pp. 137–201  ''Uspekhi Mat. Nauk'' , '''23''' :  1  (1968)  pp. 133–190</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  D. Ruelle,   "Statistical mechanics: rigorous results" , Benjamin  (1969)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  K. Preston,   "Gibbs states and countable sets" , Cambridge Univ. Press  (1974)</TD></TR></table>