# 2.3: Fundamental Assumption

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\id}{\mathrm{id}}$$ $$\newcommand{\Span}{\mathrm{span}}$$

( \newcommand{\kernel}{\mathrm{null}\,}\) $$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$ $$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$ $$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\id}{\mathrm{id}}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\kernel}{\mathrm{null}\,}$$

$$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$

$$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$

$$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$ $$\newcommand{\AA}{\unicode[.8,0]{x212B}}$$

$$\newcommand{\vectorA}[1]{\vec{#1}} % arrow$$

$$\newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow$$

$$\newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vectorC}[1]{\textbf{#1}}$$

$$\newcommand{\vectorD}[1]{\overrightarrow{#1}}$$

$$\newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}}$$

$$\newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}}$$

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\avec}{\mathbf a}$$ $$\newcommand{\bvec}{\mathbf b}$$ $$\newcommand{\cvec}{\mathbf c}$$ $$\newcommand{\dvec}{\mathbf d}$$ $$\newcommand{\dtil}{\widetilde{\mathbf d}}$$ $$\newcommand{\evec}{\mathbf e}$$ $$\newcommand{\fvec}{\mathbf f}$$ $$\newcommand{\nvec}{\mathbf n}$$ $$\newcommand{\pvec}{\mathbf p}$$ $$\newcommand{\qvec}{\mathbf q}$$ $$\newcommand{\svec}{\mathbf s}$$ $$\newcommand{\tvec}{\mathbf t}$$ $$\newcommand{\uvec}{\mathbf u}$$ $$\newcommand{\vvec}{\mathbf v}$$ $$\newcommand{\wvec}{\mathbf w}$$ $$\newcommand{\xvec}{\mathbf x}$$ $$\newcommand{\yvec}{\mathbf y}$$ $$\newcommand{\zvec}{\mathbf z}$$ $$\newcommand{\rvec}{\mathbf r}$$ $$\newcommand{\mvec}{\mathbf m}$$ $$\newcommand{\zerovec}{\mathbf 0}$$ $$\newcommand{\onevec}{\mathbf 1}$$ $$\newcommand{\real}{\mathbb R}$$ $$\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}$$ $$\newcommand{\laspan}[1]{\text{Span}\{#1\}}$$ $$\newcommand{\bcal}{\cal B}$$ $$\newcommand{\ccal}{\cal C}$$ $$\newcommand{\scal}{\cal S}$$ $$\newcommand{\wcal}{\cal W}$$ $$\newcommand{\ecal}{\cal E}$$ $$\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}$$ $$\newcommand{\gray}[1]{\color{gray}{#1}}$$ $$\newcommand{\lgray}[1]{\color{lightgray}{#1}}$$ $$\newcommand{\rank}{\operatorname{rank}}$$ $$\newcommand{\row}{\text{Row}}$$ $$\newcommand{\col}{\text{Col}}$$ $$\renewcommand{\row}{\text{Row}}$$ $$\newcommand{\nul}{\text{Nul}}$$ $$\newcommand{\var}{\text{Var}}$$ $$\newcommand{\corr}{\text{corr}}$$ $$\newcommand{\len}[1]{\left|#1\right|}$$ $$\newcommand{\bbar}{\overline{\bvec}}$$ $$\newcommand{\bhat}{\widehat{\bvec}}$$ $$\newcommand{\bperp}{\bvec^\perp}$$ $$\newcommand{\xhat}{\widehat{\xvec}}$$ $$\newcommand{\vhat}{\widehat{\vvec}}$$ $$\newcommand{\uhat}{\widehat{\uvec}}$$ $$\newcommand{\what}{\widehat{\wvec}}$$ $$\newcommand{\Sighat}{\widehat{\Sigma}}$$ $$\newcommand{\lt}{<}$$ $$\newcommand{\gt}{>}$$ $$\newcommand{\amp}{&}$$ $$\definecolor{fillinmathshade}{gray}{0.9}$$

Define microstate and macrostate.

There are many microstates corresponding to any given macrostate. The collection of all such microstates is called an “ensemble”. (Just as a musical ensemble is a collection of performers.)

Note: An ensemble is a (conceptual) collection of macroscopic systems. It is not the collection of atoms that makes up a macroscopic system.

(Terminology: A microstate is also called a “configuration” or a “complexion”. . . both poor terms. A macrostate is also called a “thermodynamic state”. A “corresponding” microstate is sometimes called an “accessible” or a “consistent” microstate.)

A system is said to be “isolated” if no energy goes in or out, and if the mechanical parameters ($$N$$, $$V$$, etc.) are also fixed. Most of the systems you deal with in classical mechanics classes, for example, are isolated.

The fundamental assumption of statistical mechanics is:

An isolated system in an equilibrium macrostate has equal probability of being in any of the microstates corresponding to that macrostate.

Conceptual difficulties:

1. What is equilibrium?
2. What is probability? (Any experiment is done on one system.)
3. May be false! (Can be motivated by the ergodic hypothesis, but this is just suggestive, and the ergodic hypothesis itself has not been proven and may be false. Cellular automata may violate this assumption. . . but do physical/biological systems? See for example Andrew I. Adamatzky, Identification of Cellular Automata (Taylor and Francis, 1995) and the essay review by Normand Mousseau, in Contemporary Physics, 37 (1996) 321–323; Stephen Wolfram, A New Kind of Science (Wolfram Media, 2002).)

Practical difficulties.

1. Gives way to find average values of microscopic quantities, such as

$$\langle \text{kinetic energy} \rangle,~ \langle \text{potential energy} \rangle, ~ \langle \text{height} \rangle,$$

but not things like temperature and pressure.

2. Based on model. (In particular, infinitely hard smooth walls.)

3. For point particle model, requires infinitely thin sheet in phase space. Work instead with the volume of phase space corresponding to energies from $$E$$ to $$E + \Delta E$$, and at the end of the calculation take the limit $$∆E \to 0$$.

To examine these practical difficulties in more detail, consider again the helium-in-a-smooth-box model. Suppose we want to find the number of microstates with energy ranging from $$E$$ to $$E + \Delta E$$, in a system with $$N$$ identical particles in a box of volume $$V$$.

Your first answer might be that there are an infinite number of points in phase space satisfying this criterion. This is true but it misses the point: A thimble and a Mack truck both contain an infinite number of points, but the Mack truck carries more because it has more volume. Clearly the microstate count we desire is some sort of measure of phase-space volume. I’ll call the region of phase space with energy ranging from $$E$$ to $$E + \Delta E$$ by the name $$\sigma (E, ∆E)$$, and call its volume

$\int_{\sigma(E, \Delta E)} d \Gamma . \quad(\text { Volume in phase space. })$

However, this volume isn’t precisely what we want. Permutation argument for N identical particles. (For a system with N identical particles, there are N! points in phase space corresponding to the same microstate.) A better measure of the microstate count is thus

$\frac{1}{N !} \int_{\sigma(E, \Delta E)} d \Gamma . \quad \text { (Delabeled volume in phase space.) }$

There remains one more problem. We desire a count, which is dimensionless, and the above expression gives a phase-space volume, which has the dimensions of

$(\text{angular momentum})^{3N}.\nonumber$

The solution to this problem is straightforward if clunky. Pick a quantity with the dimensions of angular momentum. Any quantity will do, so make an arbitrary choice. Call the quantity $$h_0$$. (Clearly, by the time we produce a measurable physical result at the end of a calculation, it had better be independent of our choice of $$h_0$$, just as the value of any measurable result in a classical mechanics problem has to be independent of choice of the potential energy zero.) Then define the microstate count as the dimensionless quantity

$\Omega(E, \Delta E, V, N)=\frac{1}{h_{0}^{3 N}} \frac{1}{N !} \int_{\sigma(E, \Delta E)} d \Gamma . \quad \text { (Dimensionless, delabeled volume in phase space. } )\label{2.6}$

In poker, there are 52 cards in a deck, so the probability of drawing any given card from a shuffled deck is 1/52. The number 52 plays a fundamental role in answering any question concerning probability in poker.

In statistical mechanics, there are $$\Omega$$ microstates corresponding to a macrostate, so the probability of encountering any given microstate is (if the fundamental assumption is correct) $$1/\Omega$$. The number $$\Omega$$ plays the same fundamental role in statistical mechanics that 52 does in poker.

## 2.7 Microstate count for a mixture

What expression corresponds to \ref{2.6} for a collection of $$N_{He}$$ Helium atoms and $$N_{Ar}$$ Argon atoms?

This page titled 2.3: Fundamental Assumption is shared under a CC BY-SA license and was authored, remixed, and/or curated by Daniel F. Styer.