8.2: Perturbation Theory
- Page ID
- 6379
\( \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}\)8.2.1 Fluids in the canonical ensemble
The partition function for a fluid is
\[ Z(T, V, N)=\frac{1}{h^{3 N} N !} \int d \Gamma e^{-\beta H(\Gamma)}\]
where
\[ H(\Gamma)=\frac{1}{2 m} \sum_{i=1}^{N} \mathbf{p}_{i}^{2}+U_{N}\left(\mathbf{r}_{1}, \ldots, \mathbf{r}_{N}\right).\]
The momentum integrals can be performed precisely as they were for the ideal gas, giving
\[ Z(T, V, N)=\frac{1}{\lambda^{3 N}(T) N !} \int d \mathbf{r}_{1} \cdots d \mathbf{r}_{N} e^{-\beta U_{N}\left(\mathbf{r}_{1}, \ldots, \mathbf{r}_{N}\right)},\]
where λ(T) is the thermal de Broglie wavelength. It is useful to define the “configurational partition function”
\[ Q_{N}(T, V)=\frac{1}{N !} \int d \mathbf{r}_{1} \cdots d \mathbf{r}_{N} e^{-\beta U_{N}\left(\mathbf{r}_{1}, \ldots, \mathbf{r}_{N}\right)}.\]
For example, in a three-particle system with spherically symmetric pair potential u(r), the configurational partition function is
\[ Q_{3}(T, V)=\frac{1}{6} \int_{V} d \mathbf{r}_{1} \int_{V} d \mathbf{r}_{2} \int_{V} d \mathbf{r}_{3} e^{-\beta\left[u\left(\left|\mathbf{r}_{1}-\mathbf{r}_{2}\right|\right)+u\left(\left|\mathbf{r}_{1}-\mathbf{r}_{3}\right|\right)+u\left(\left|\mathbf{r}_{2}-\mathbf{r}_{3}\right|\right)\right]}.\]
Every other time in this book that we have encountered a complicated partition function, like the one above, it has factorized into the product of many similar terms. (This happened even in our treatment of harmonic lattice vibrations, through the use of normal coordinates.) The expression above does not factorize in this neat way. With considerable diligence and patience, it is possible to evaluate QN(T, V) for N = 3. But you can see that doing it for cases of interest, such as N = 6.02 × 1023, is simply out of the question. Instead we attempt to use perturbation theory by expanding about an already solved problem, namely the ideal gas. Such an approximation will be a good one at low densities, where the gas is “nearly ideal”. The obvious thing to do is to expand QN(T, V) in the small parameter ρ = N/V, the number density. But how can we do that? The quantity ρ doesn’t appear in these formulas!
8.2.2 The search for a small parameter
We cannot expand QN(T, V) in terms of ρ, but we do know that at low densities all fluids behave like an ideal gas, and that for an ideal gas the chemical potential is
\[ \mu=k_{B} T \ln \left(\frac{\rho}{1 / \lambda^{3}(T)}\right),\]
so that as ρ → 0, µ → −∞ and eβµ → 0. So here is a second small parameter. You might object that eβµ doesn’t appear in the partition function any more than ρ does, but it does appear in the grand canonical partition function!
8.2.3 Fluids in the grand canonical ensemble
The grand canonical partition function is
\[ \Xi(T, V, \mu)=\sum_{N=0}^{\infty} e^{\beta \mu N} Z(T, V, N)\]
\[ =\sum_{N=0}^{\infty}\left(\frac{e^{\beta \mu}}{\lambda^{3}(T)}\right)^{N} Q_{N}(T, V)\]
\[ =\sum_{N=0}^{\infty} z^{N} Q_{N}(T, V)\]
\[ =1+Q_{1}(T, V) z+Q_{2}(T, V) z^{2}+Q_{3}(T, V) z^{3}+\mathcal{O}\left(z^{4}\right),\]
where we have the activity
\[ z \equiv \frac{e^{\beta \mu}}{\lambda^{3}(T)}.\]
The activity is the small parameter upon which perturbation theory relies. (For an ideal gas, it is equal to the number density ρ.)
Note that in this approach we still have to calculate QN coefficients, but we will probably stop at N = 4 or 5 rather than N = 6.02 × 1023. I will write down the first two coefficients:
\( Q_{1}(T, V)=\int_{V} d \mathbf{r}_{1} e^{-\beta 0}=V\)
\[ Q_{2}(T, V)=\frac{1}{2} \int_{V} d \mathbf{r}_{1} \int_{V} d \mathbf{r}_{2} e^{-\beta u\left(\left[\mathbf{r}_{1}-\mathbf{r}_{2} |\right)\right.}.\]
Because the interactions are short-ranged, most of the time u(|r1 −r2|) nearly vanishes, so Q2 is pretty close to V2/2. It is neither intensive nor extensive.
8.2.4 The Mayer expansion
Now we go from the partition function to an experimentally measurable master function, namely pressure:
\[ \frac{p(T, z)}{k_{B} T}=\frac{1}{V} \ln \Xi\]
\[ =\frac{1}{V} \ln \left[1+Q_{1} z+Q_{2} z^{2}+Q_{3} z^{3}+\mathcal{O}\left(z^{4}\right)\right]\]
Employing
\[ \ln (1+\epsilon)=\epsilon-\frac{1}{2} \epsilon^{2}+\frac{1}{3} \epsilon^{3}+\mathcal{O}\left(\epsilon^{4}\right)\]
we obtain
\[ \frac{p(T, z)}{k_{B} T}=\frac{1}{V}\left[Q_{1} z+Q_{2} z^{2}+Q_{3} z^{3}-\frac{1}{2}\left(Q_{1} z+Q_{2} z^{2}\right)^{2}+\frac{1}{3}\left(Q_{1} z\right)^{3}+\mathcal{O}\left(z^{4}\right)\right]\]
\[ =\frac{1}{V} Q_{1} z+\frac{1}{V}\left(Q_{2}-\frac{1}{2} Q_{1}^{2}\right) z^{2}+\frac{1}{V}\left(Q_{3}-Q_{1} Q_{2}+\frac{1}{3} Q_{1}^{3}\right) z^{3}+\mathcal{O}\left(z^{4}\right)\]
\[ =\sum_{\ell=1}^{\infty} b_{\ell} z^{\ell}.\]
The last line above defines the “Mayer expansion”. The expansion coefficients bℓ= bℓ(T) are intensive functions of temperature (in contrast to the coefficients QN(T, V)). Using equations (8.14) it is easy to show that b1 = 1 and that
\( b_{2}=\frac{1}{2 V}\left(\int_{V} d \mathbf{r}_{1} \int_{V} d \mathbf{r}_{2} e^{-\beta u\left(\left|\mathbf{r}_{1}-\mathbf{r}_{2}\right|\right)}-\int_{V} d \mathbf{r}_{1} \int_{V} d \mathbf{r}_{2} 1\right)\)
\[ =\frac{1}{2 V} \int_{V} d \mathbf{r}_{1} \int_{V} d \mathbf{r}_{2}\left(e^{-\beta u\left(\left|\mathbf{r}_{1}-\mathbf{r}_{2}\right|\right)}-1\right).\]
In contrast to the situation with equation (8.14), the integrand above is nearly always zero, which makes it much easier to work with. (The same is true for all the the Mayer coefficients.) Indeed, a little more work will show that
\[ b_{2}=2 \pi \int_{0}^{\infty} d r r^{2}\left(e^{-u(r) / k_{B} T}-1\right).\]
Specialists in the statistical mechanics of fluids spend a lot of time calculating bℓ coefficients for a given potential energy of interaction u(r). We will instead emphasize what to do with the bℓs once they are calculated.
8.2.5 Expansion for the density
To obtain the number density ρ = N/V from the Mayer expansion, use the thermodynamic connection between ρ and p:
\[ \rho=\frac{\partial p}{\partial \mu} )_{T}=\frac{\partial z}{\partial \mu} )_{T} \frac{\partial p}{\partial z} )_{T}=z \frac{\partial(\beta p)}{\partial z} )_{T}.\]
Thus
\[ \rho(T, z)=\sum_{\ell=1}^{\infty} \ell b_{\ell} z^{\ell}.\]
8.2.6 Eliminating the activity: the virial expansion
Now we have two expansions, (8.20) and (8.24), in terms of the activity:
\[ \beta p(z)=z+b_{2} z^{2}+b_{3} z^{3}+\mathcal{O}\left(z^{4}\right)\]
\[ \rho(z)=z+2 b_{2} z^{2}+3 b_{3} z^{3}+\mathcal{O}\left(z^{4}\right)\]
(The temperature dependence of p, ρ, and the bℓs is not shown explicitly.) What we would really like, however, would be the traditional (and experimentally accessible) equation of state, p(ρ). In other words, we want to eliminate the zs between the two expansions above. To this end we will invert the expansion for ρ(z) to find z(ρ), and plug that expression into the expansion (8.25) for p(z). In the appendix we perform the inversion to find, correct to third order,
\[ z(\rho)=\rho-2 b_{2} \rho^{2}+\left(8 b_{2}^{2}-3 b_{3}\right) \rho^{3}+\mathcal{O}\left(\rho^{4}\right).\]
Plugging into (8.25) gives
\[ \beta p(\rho)=z+b_{2} z^{2}+b_{3} z^{3}+\mathcal{O}\left(z^{4}\right)\]
\[ =\left[\rho-2 b_{2} \rho^{2}+\left(8 b_{2}^{2}-3 b_{3}\right) \rho^{3}\right]+b_{2}\left[\rho-2 b_{2} \rho^{2}\right]^{2}+b_{3}[\rho]^{3}+\mathcal{O}\left(\rho^{4}\right)\]
\[ =\left[\rho-2 b_{2} \rho^{2}+\left(8 b_{2}^{2}-3 b_{3}\right) \rho^{3}\right]+b_{2}\left[\rho^{2}-4 b_{2} \rho^{3}\right]+b_{3}[\rho]^{3}+\mathcal{O}\left(\rho^{4}\right)\]
\[ =\rho-b_{2} \rho^{2}+\left(4 b_{2}^{2}-2 b_{3}\right) \rho^{3}+\mathcal{O}\left(\rho^{4}\right).\]
This last expression is called the “virial expansion”, and it is usually written (with the temperature dependence put back in) as
\[ \frac{p(T, \rho)}{k_{B} T}=\rho+B_{2}(T) \rho^{2}+B_{3}(T) \rho^{3}+\mathcal{O}\left(\rho^{4}\right).\]
8.2.7 Appendix: Inverting ρ(z) to find z(ρ)
Begin with
\[ \rho(z)=z+2 b_{2} z^{2}+3 b_{3} z^{3}+\mathcal{O}\left(z^{4}\right),\]
then use
\( \begin{array}{rlrl}{z=\rho+\mathcal{O}\left(z^{2}\right)} & {} & {z^{2}=\left(\rho+\mathcal{O}\left(z^{2}\right)\right)\left(\rho+\mathcal{O}\left(z^{2}\right)\right)} & {z^{3}} & {=\left(\rho^{2}+\mathcal{O}\left(z^{3}\right)\right)\left(\rho+\mathcal{O}\left(z^{2}\right)\right)} \\ {} & {=\rho^{2}+2 \rho \mathcal{O}\left(z^{2}\right)+\mathcal{O}\left(z^{4}\right)} & {} & {=\rho^{3}+\mathcal{O}\left(z^{4}\right)} \\ {} & {=\rho^{2}+\mathcal{O}\left(z^{3}\right)} & {} & {=\rho^{3}+\mathcal{O}\left(z^{4}\right)}\end{array}\)
\( z=\rho-2 b_{2} z^{2}+\mathcal{O}\left(z^{3}\right)\)
\( \begin{aligned} z=\rho-2 b_{2} \rho^{2}+\mathcal{O}\left(z^{3}\right) &=\left(\rho-2 b_{2} \rho^{2}+\mathcal{O}\left(z^{3}\right)\right)\left(\rho-2 b_{2} \rho^{2}+\mathcal{O}\left(z^{3}\right)\right) \\ &=\rho^{2}-4 b_{2} \rho^{3}+4 b_{2}^{2} \rho^{4}+\rho \mathcal{O}\left(z^{3}\right) \\ &=\rho^{2}-4 b_{2} \rho^{3}+\mathcal{O}\left(z^{4}\right) \end{aligned}\)
\( \begin{array}{l}{z=\rho-2 b_{2} z^{2}-3 b_{3} z^{3}+\mathcal{O}\left(z^{4}\right)} \\ {z=\rho-2 b_{2}\left[\rho^{2}-4 b_{2} \rho^{3}+\mathcal{O}\left(z^{4}\right)\right]-3 b_{3}\left[\rho^{3}+\mathcal{O}\left(z^{4}\right)\right]+\mathcal{O}\left(z^{4}\right)}\end{array}\)
to find
\[ z(\rho)=\rho-2 b_{2} \rho^{2}+\left(8 b_{2}^{2}-3 b_{3}\right) \rho^{3}+\mathcal{O}\left(\rho^{4}\right).\]
Problems
8.4 Virial expansion for the ideal gas
Find Q1, Q2, Q3, etc. for an ideal gas. Hence show that the virial equation of state for an ideal gas is pV = NkBT.
8.5 General properties of expansion coefficients
a. Show that Q1 = V, whence b1 = 1.
b. Show (informally) that the bℓ Mayer coefficients, as well as the Bn(T) virial coefficients, are intensive.