1-dimensional hard rods: Difference between revisions

From SklogWiki
Jump to navigation Jump to search
m (Slight tidy up.)
(Beautiful derivation added. Only, it relies on the Laplace transform.)
Line 64: Line 64:


where <math> \eta \equiv \frac{ N \sigma}{L} </math>; is the fraction of volume (i.e. length) occupied by the rods.
where <math> \eta \equiv \frac{ N \sigma}{L} </math>; is the fraction of volume (i.e. length) occupied by the rods.
== Isobaric Ensemble: an alternative derivation ==
Adapted from Reference [4]. If the rods are ordered according to their label: <math> x_0 < x_1 < x_2 < \cdots < x_{N-1} </math> the canonical [[partition function]] can also be written:
: <math>
Z=
\int_0^{x_1} d x_0
\int_0^{x_2} d x_1
\cdots
\int_0^{L} d x_{N-1}
f(x_1-x_0)
f(x_2-x_1)
\cdots
f(L-x_{N-1}),
</math>
where <math>N!</math> does not appear one would have <math>N!</math> analogous expressions
by permuting the label of the (distinguishable) rods. <math>f(x)</math> is the [[Boltzmann factor]]
of the hard rods, which is <math>0</math> if <math>x<\sigma</math> and <math>1</math> otherwise.
A variable change to the distances between rods: <math> y_k = x_k - x_{k-1} </math> results in
: <math>
Z =
\int_0^{\infty} d y_0
\int_0^{\infty} d y_1
\cdots
\int_0^{\infty} d y_{N-1}
f(y_1)
f(y_2)
\cdots
f(y_{N-1}) \delta \left( \sum_{i=0}^{N-1} y_i-L \right):
</math>
the distances can take any value as long as they are not below <math>\sigma</math> (as enforced
by <math>f(y)</math>) and as long as they add up to <math>L</math> (as enforced by the [[Dirac_delta_distribution | Dirac delta]]). Writing the later as the inverse [[Laplace transform]] of an exponential:
: <math>
Z =
\int_0^{\infty} d y_0
\int_0^{\infty} d y_1
\cdots
\int_0^{\infty} d y_{N-1}
f(y_1)
f(y_2)
\cdots
f(y_{N-1})
\frac{1}{2\pi i } \int_{-\infty}^{\infty} ds \exp \left[ - s \left(\sum_{i=0}^{N-1} y_i-L \right)\right].
</math>
Exchanging integrals and expanding the exponential the <math>N</math> integrals decouple:
:<math>
Z =
\frac{1}{2\pi i } \int_{-\infty}^{\infty} ds
e^{ L s }
\left\{
\int_0^{\infty} d y f(y) e^{ - s y }
\right\}^N.
</math>
We may proceed to invert the Laplace transform (e.g. by means of the residues theorem), but this is not needed: we see our configuration integral is the inverse Laplace transform of another one,
:<math>
Z'(s)= \left\{ \int_0^{\infty} d y f(y) e^{ - s y } \right\}^N, </math>
so that
:<math>
Z'(s) = \int_0^{\infty} ds e^{ L s } Z(L).
</math>
This is precisely the transformation from the configuration integral in the canonical (<math>N,T,L</math>) ensemble to the isobaric (<math>N,T,p</math>) one, if one identifies
<math>s=p/k T</math>. Therefore, the [[Gibbs energy function]] is simply <math>G=-kT\log Z'(p/kT) </math>, which easily evaluated to be <math>G=kT N \log(p/kT)+p\sigma N</math>. The [[chemical potential]] is <math>\mu=G/N</math>, and by means of thermodynamic identities such as <math>\rho=\partial p/\partial \mu</math> one arrives at the same equation of state as the one given above.


==References==
==References==
Line 69: Line 131:
#[http://dx.doi.org/10.1016/0031-8914(49)90059-2  L. van Hove "Quelques Propriétés Générales De L'intégrale De Configuration D'un Système De Particules Avec Interaction", Physica, '''15''' pp. 951-961 (1949)]
#[http://dx.doi.org/10.1016/0031-8914(49)90059-2  L. van Hove "Quelques Propriétés Générales De L'intégrale De Configuration D'un Système De Particules Avec Interaction", Physica, '''15''' pp. 951-961 (1949)]
#[http://dx.doi.org/10.1016/0031-8914(50)90072-3  L. van Hove, "Sur L'intégrale de Configuration Pour Les Systèmes De Particules À Une Dimension", Physica, '''16''' pp. 137-143 (1950)]
#[http://dx.doi.org/10.1016/0031-8914(50)90072-3  L. van Hove, "Sur L'intégrale de Configuration Pour Les Systèmes De Particules À Une Dimension", Physica, '''16''' pp. 137-143 (1950)]
#J. M. Ziman ''Models of Disorder: The Theoretical Physics of Homogeneously Disordered Systems''. ISBN 0521292808. Cambridge University Press (1979)


[[Category:Models]]
[[Category:Models]]
[[Category:Statistical mechanics]]
[[Category:Statistical mechanics]]

Revision as of 14:37, 22 February 2008

1-dimensional hard rods are basically hard spheres confined to 1 dimension (not to be confused with 3-dimensional hard rods). The model is given by the intermolecular pair potential:

Φ(xi,xj)={0;|xi−xj|>σ∞;|xi−xj|<σ

where xk is the position of the center of the k-th rod, along with an external potential; the whole length of the rod must be inside the range:

V0(xi)={0;σ/2<x<L−σ/2∞;.

Canonical Ensemble: Configuration Integral

The statistical mechanics of this system can be solved exactly (see Ref. 1). Consider a system of length L defined in the range [0,L]. The aim is to compute the partition function of a system of N hard rods of length σ. Consider that the particles are ordered according to their label: x0<x1<x2<⋯<xN−1; taking into account the pair potential we can write the canonical partition function (configuration integral) of a system of N particles as:

Z(N,L)N!=∫σ/2L+σ/2−Nσdx0∫x0+σL+σ/2−Nσ+σdx1⋯∫xi−1+σL+σ/2−Nσ+iσdxi⋯∫xN−2+σL+σ/2−Nσ+(N−1)σdxN−1.

Variable change: ωk=xk−(k+12)σ ; we get:

Z(N,L)N!=∫0L−Nσdω0∫ω0L−Nσdω1⋯∫ωi−1L−Nσdωi⋯∫ωN−2L−NσdωN−1.

Therefore:

Z(N,L)N!=(L−Nσ)NN!.
Q(N,L)=(L−Nσ)NΛNN!.

Thermodynamics

Helmholtz energy function

A(N,L,T)=−kBTlogQ

In the thermodynamic limit (i.e. N→∞;L→∞ with ρ=NL, remaining finite):

A(N,L,T)=NkBT[log(NΛL−Nσ)−1].

Equation of state

Using the thermodynamic relations, the pressure (linear tension in this case) p can be written as:

p=−(∂A∂L)N,T=NkBTL−Nσ;
Z=pLNkBT=11−η,

where η≡NσL; is the fraction of volume (i.e. length) occupied by the rods.

Isobaric Ensemble: an alternative derivation

Adapted from Reference [4]. If the rods are ordered according to their label: x0<x1<x2<⋯<xN−1 the canonical partition function can also be written:

Z=∫0x1dx0∫0x2dx1⋯∫0LdxN−1f(x1−x0)f(x2−x1)⋯f(L−xN−1),

where N! does not appear one would have N! analogous expressions by permuting the label of the (distinguishable) rods. f(x) is the Boltzmann factor of the hard rods, which is 0 if x<σ and 1 otherwise.

A variable change to the distances between rods: yk=xk−xk−1 results in

Z=∫0∞dy0∫0∞dy1⋯∫0∞dyN−1f(y1)f(y2)⋯f(yN−1)δ(∑i=0N−1yi−L):

the distances can take any value as long as they are not below σ (as enforced by f(y)) and as long as they add up to L (as enforced by the Dirac delta). Writing the later as the inverse Laplace transform of an exponential:

Z=∫0∞dy0∫0∞dy1⋯∫0∞dyN−1f(y1)f(y2)⋯f(yN−1)12πi∫−∞∞dsexp[−s(∑i=0N−1yi−L)].

Exchanging integrals and expanding the exponential the N integrals decouple:

Z=12πi∫−∞∞dseLs{∫0∞dyf(y)e−sy}N.

We may proceed to invert the Laplace transform (e.g. by means of the residues theorem), but this is not needed: we see our configuration integral is the inverse Laplace transform of another one,

Z′(s)={∫0∞dyf(y)e−sy}N,

so that

Z′(s)=∫0∞dseLsZ(L).

This is precisely the transformation from the configuration integral in the canonical (N,T,L) ensemble to the isobaric (N,T,p) one, if one identifies s=p/kT. Therefore, the Gibbs energy function is simply G=−kTlogZ′(p/kT), which easily evaluated to be G=kTNlog(p/kT)+pσN. The chemical potential is μ=G/N, and by means of thermodynamic identities such as ρ=∂p/∂μ one arrives at the same equation of state as the one given above.

References

  1. Lewi Tonks "The Complete Equation of State of One, Two and Three-Dimensional Gases of Hard Elastic Spheres", Physical Review 50 pp. 955- (1936)
  2. L. van Hove "Quelques Propriétés Générales De L'intégrale De Configuration D'un Système De Particules Avec Interaction", Physica, 15 pp. 951-961 (1949)
  3. L. van Hove, "Sur L'intégrale de Configuration Pour Les Systèmes De Particules À Une Dimension", Physica, 16 pp. 137-143 (1950)
  4. J. M. Ziman Models of Disorder: The Theoretical Physics of Homogeneously Disordered Systems. ISBN 0521292808. Cambridge University Press (1979)