Pram.~.na, Vol. 7, No. 1, 1976, pp, 17-27. © Printed in India,
Gas-liquid phase transition* A C BISWAS Tata Institute of Fundamental Research, Bombay 400035 MS received 3 November 1975 Abstract. A theorem has been proved giving a sufficient condition for a first order phase transition in a gas. The corresponding fugacity expansions for the isotherms, in the different phases have been derived. Keywords. Partition function ; Massieu-Planck function ; thermodynamic stability ; grand partition function ; first order phase transition ; analytic continuation ; thermodynamic limit; isotherms.
1. Introduction The problem of gas-liquid phase transition has been known to be one of the most fundamental problems in theoretical physics. Though a good advance has been made in tllis direction in the last decade or so, the basic problem still remains. The question we ask ourselves here is " Given a many-particle system with an interaetioll function ~' ,~ (to) in equilibrium (i) can one give a sufficient condition that the system will undergo first order phase transition ? (ii) the condition being satisfied what will be the forms of the isotherms in the saturated vapour phase and the liquid phase ?" We start with the pal tition function given by
1 f Q(fl, W, V ) = ~.~
e
-/3 , ~> , 4'(r~) dr, . . . d r n.
(1)
We put the thermal wave length equal to unity and in (1), /3 = 1/KT, T being the temperature ; K the Boltzmann constant ; N and V respectively are the number o f particles and the total volume of the system. We shall write (1) in terms of the generating function as derived by Mayer and Mayer (1940) namely on
1 (~
Q~ --- Q (fi, N, V) = 2-~i - e
VL' bz (V, 7")~r e ~=1 ~,~-i
d~
(2)
where bz (V, T) are the well-known cluster integrals and C is a closed contour * A synopsis of this paper was presented at the International Conference on Statistical Physics at Budapest, •975. This paper is the revised version of an earlier paper published by the author (Biswas 1973) and subsequently criticized by Groeneveld (Groeneveld 1973). This paper is self-complete and free from the objections raised by Groeneveld about the earlier paper. 17 P--2
18
A C Biswas oo
around ~ = 0 in the complex ~-plane so that on C, ~' bz~! is convergent. I=1
In dealing with the question of phase transition we must first enquire how the canonical Massieu-Planck function (Miinster 1969) should behave at the point of a transition if any. This is discussed in detail by Mtinster (1969). The answer is that the canonical distribution to be physically meaningful should be thermodynamically stable with respect to fluctuations. At the point of a phase transition this stability breaks down. In that case for a given temperature there exists a density p0 (/3) beyond which the canonical partition function does not make sense. In fact for densities p greater than go (/3) the canonical ensemble does not lead to the same asymptotic average as the micro-canonical ensemble and hence is physically meaningless and the corresponding canonical partition functions should be omitted from the sum giving the Grand-Partition function of the system. This fact must be taken into account in formulating a theory of phase transition. The Grand Canonical Partition function for a system of particles in a finite volume V is thus a polynomial of degree ~-o ---- Vpo where go is the density for which the canonical partition function becomes unstable. This number /V0 is not the closepacked number and in fact must be much less than the later. This observation will bring a point of difference of our formulation in the next section in terms of the Grand Partition function flora that of Lee and Yang (1952). The second point of observation we make is that since the Grand-Partition function for finite V is a polynomial of degree ~o we must be able to find the Grand-Partition function for the whole complex fugacity plane before the thermodynamic limit (Ruelle 1969) is taken. This should be possible because if we know the polynomial in any part of the complex plane we can analytically continue it to any other part of the same complex plane. It is only when we take the thermodynamic limit that we should be able to see whelher the flee energy tends to different limits in different regions of the fugacity plane. The above observations will motivate the philosophy of the following analysis. We shall confine our discussion to systems which have (if any) only one phase transition.
2. The Massieu-Planck function Let us define the functions ~bz by log Q (/3, N, V) : N ~ (fl, v, V) :
V~, (/3, p, V).
(2)
We follow closely the notations of Mtinster. As has been discussed by Miinster (1969) in detail the canonical paltition functions Q (/3, N, V) has a domain of stability on the set {N}. This domain of stability is defined by the set {/9} such that N = Vp, where p satisfies oO.7. ~2 bp2 < o
(3)
where ~oo ___ Ltv.~ ~ (/~, N, V) N ~.=P.
(4)
19
Gas-liquid phase transition The boundary of the domain of stability is given by ~23p2 ¢.
_ 0.
(5)
Let pc (fi) be the solution of (5). Then -~0 - Vpo gives the largest value of N for which the canonical partition function is stable with respect to statistical fluctuations. The existence of a finite pc (fi) is a necessary (but not sufficient) condition for phase transition. We shall assume in what follows that a finite pc (fl) exists.
3.
Grand-Partition function
Let z = e ~'/Kr be the fugacity where/~ is the chemical potential of the system. In terms oft* and z equation (5) is equivalent to the existence of a z = zo such that at z = Zo
~l~_ ~z -- 0. bp bp
(6)
Then we define the Oland-Pmtiticn functicn as
Z ,, (fi, V, z) =
.S N
Quz re=
e {/~}
Z
QNz u
(7)
N=o
1
I--
(~)-~'0+1
co
e
V 2: bg(V, DCt z=l
2°,
d~
v
using (2). c<~ Let Zo (V) be the radius of convergence of the series Z' b~ (V, fi) z z and we assume i=1 th at
(i) Ltv_~o, zo (g) = f:o > 0 exists. OO_ CO (ii) 2J b~o ~ and Z lb#o z are finite. |--I
|--i
where /;z = Ltv_~,, b, (V, fl). Then the function Zgr (/~, V, z) is analytic for ] z [ _< Zo in the complex z-plane Let us define ~----z/zo then
1 Za, (/3, V, r:) = ~
1 kg/_z-
e
v 2: g~ (re, T)gz ~=1 d~
-~-
(9)
is analytic in the complex ~-plane in the domain ] ~ I --< 1 ; on ~ i n t h e complex ~-plane [~[ ~ 1,
g, (V, T) = b, (V, T) Zo'.
(10)
20 4.
A C Biswas Thermodynam'e pressure and density
We shall define the isothermal pressure p and the density p by the relations (Ruelle 1969)
p KT
= Ltv. ~ llogZ,,
(11)
(fl, V, Z)
(N) = Ltv_~o T" 1 z ~3 log Z o, (/3, V, z). p = Ltv..>, --V
(12)
We have assumed above that the interaction X 4' (%) satisfies the stability criterion (Ruelle 1969) and the limit in (11) and (12) is realised in the sense of Fisher (Ruelle 1969) which is a smoothness condition on sequences imagined in passing to the limit of infinite volume. 5.
First order phase transition
Definition 1. We shall define a first-order phase transition in the above-defined system if at a fixed temperature T the density p becomes a discontinuous function of the fugacity z wheleas the pressure p remains continuous. In this context we shall prove the following theorem.
TrtEOREM 1: The sufficient condition that a first order phase transition occurs in the system is that there exists a temperature T = T, > 0 below which all b~ (V, T)'s (except perhaps a finite number of them) are positive for V > V0, some finite value. P r o o f - - T h e proof of the theorem consists of the following steps: Lemma 1.--For :~ < 1 Ltv+~
(13)
log Zo~ (fl, V, f:) = ZZ= I gzz ~
where g~ = Ltv.,oo gz (V, T). The relation (13) is well known (Mayer and Mayer 1960). We shall, however, rederive the same starting from (9) for the sake of completeness. Proof.--We start from relation (9). We choose the real axis in the ~-plane such that the phase of ~ is zero, i.e., ~ = ] 2 I. Since 2 < 1, let us choose (7 to be the circle ] ~ ] = ~ and substitute ~ = ~:e~° in (8) to get
(~)-,0+1 1 --
z,, (/3, v ,
~) = ~gi
V~' gl~ r d~ e
l ~1 =
1=1
---
(14)
i.e.,
z , , (/3, v, ~) = U~
_,~
1 - - e -~ ~7o+1~0 1 - - e -~0
v 2: g:Z e,t0 e z=x
dO.
(is)
Gas-liquid phase transition
21
We now note that 1
-
e-*t~v~+1) 0
-
Lt~,~,,
1 - - e-~0
~ ~ (0)
where ~ (0) is the Dirac delta.
This immediately gives
1
L t v . ~ p log Zo, (fl, V, ~). =
Z
|=l
gz~ z
~<
1
(16)
We assume that Ltv.->~o Z' gz~-z -- Z' ~ £ . A sufficient condition for this interl--i change of the ' limit' and ' summatiort' to be possible has been discussed by Katsura (1963).
Hypothesis 1. Let 3 3 To
V
Vo T
V bl ( V , T ) > O
for alll,
V>Vo
i.e., 7I 3 TC
V
Vo T
V
g, (V, T) > 0
for all l.
(17)
V>V o oo
Observation 1. If hypothesis 1 is true then the series Z ~z~I must have a singu-
|HI larity (Titchmarsh 1939) at ~. = 1 in the complex 2-plane and hence the relation
(16) does not hold for 2 > 1. On the other hand since the series Z' gz2~ and I=1 its derivatives are analytic withirt the circle 12[ = 1, according to definitiorL 1 the system does not have a phase-transition for [ 2 [ < 1 and at ~ = 1 equation (6) is satisfied defining the domain of stability of the system in the fugacity plane. In order to find the correct series expansion for the Free Energy for 12 ] > 1 we shall first find an analytic representation of the function Zg, (fl, V, 2) given by (9) in the region l i: ] > 1 in such a way that the thermodynamic limit can be conveniently taken. As already noted such an analytic representation is possible in the complex z-plane before the thermodynamic limit is taken since Zo~ (fl, V, 2) is then a polynomial in the ~:-plane.
Lemma 2. For given V ard -No (may be very large but finite) (~__)/~'0+1
1--
eO
VZgt¢ l d~
1
e l=1
T
(18)
1
analytically represents Zo, (fl, V, ~) for I ~ 1 ~ 1 in the complex 2-plane.
Proof. (i) We first note that Zo,(fl, V, ~) and Z+(fl, V, ~) are analytic in the regions 1~]--<1 and I~1-->1 respectively.
22
A C Biswas
(ii) On the circle [~ [ = 1
z~, (A v, e) =- z$ (A L e) (iii) 1/~? is the zmique-function except for a phase factor which transforms homographically (Copson 1935) all points outside the circle 121= 1 uniquely to those inside and those on th~ circle onto themselves (the point at infinity is chosen to be transformed due to symmetry, to the centre of the re,it circle). in the complex 2-plane. [To be precise, if I ~ I = I R (~) t is the radius of the contour in (18) then the statements ] ~ I >-- 1 and I R @) [ < 1 should uniquely imply one another and R (c@ = 0, this gives R (,9 = 1/~]. L e m m a 3.
1
Ltv+~ V log Z + (fl, V, ~) oo
Z
=2polog£+
gz z
'
~>1
1=1.
where
.g'o
(19)
po = Ltv-~= ~ .
Proof. As in Lemma 1 we shall again choose the real-axis in the if-plane such that the phase of ~ is zero. We then put in (18) ~ = 1/~ d ° to get
f
1
Z + (fl, I7, 2)
~
~r
V 1 - - ( 2 2 e - i ° ) ~ +t 1 --~," e -~O
e
gt
eaO dO
~=~
--'It
f
1 f = 2~
dO
1 ~(~2 e~O)~o+l e 1 - - ~ " e ~o
--'tl*
,f
= U~r
x
V doe
gt
oos,0
'
~.~ |zj.
1 - - (z~"e-~°)~°+l"~ { ~ i0 J + s i n V
Rz 1 - ~ 7
g~
(1) t
sinl0
l--1
× I. (1 - v
e-'O~o+q- I
~ ._--2 "~e-t0
J_[
(20)
(R~ = Real part and I,, = Imaginary part so that x = Rzv + I,.x). Since cos 10 = 1 - - 2 sin s 10/2 from (20) we have after a bit of manipulation,
23
Gas-liquid phase transition oo
s (8, v, 2) = z~+, (/~, v, 2) (2)-,~,o e
,=,
oo
if
= ~
G (0) e
(21)
dO
z=,
--71"
where 1 cos [Vf(O) -1- -No0] - - ~ c o s
G(O) =
- - \~o",1
[Vf(O) + (/Vo + 1) 0]
cos [Vf (0) - - O] + \~-o2}
j (22)
with
f ( O) =
g,
sin I0
I=:1
From (21) co
1 log Z +
= 2No - V log 2 +
g~(~)z -{-~1 l o g J ( ~ o , V ) 1--1
or
Lt~_>oo I log Z~
+ Ltv.~oo - l l o g J (~/o, V)
(23)
Proposition I. J (~/o, V) is a non-zero positive quantity for any finite -N0 and V. Proof This follows from the identity (21). Since Z + is a non-zero positive quantity as it is a polynomial consisting of a sum of positive definite terms for real 2 > 1 and finite No and V, see (18), Proposition 2. 1
Ltv.~oo ~ log J(,~0, V) = O.
Proof We first note that for finite -No and V, G (0) is a continuous function of 0 in the interval --rr < 0 < 7r. Using the integral mean value theorem we have
24
A C Biswas
ql"
J(Aro, V ) - - G ( 8 )
dOe-2V
g,
277"
-
sin'
(24)
1--1 --71"
where 3 is a value of 0 in the interval [ - rr, 7r] and a function of A?0 and V. Due to proposition 1, G(3) is non-zero positive. We write
(25)
s (~o, v)= o(~) u (v) where 71"
f doe
1 U ( V)---- ~
--2V
Egt (-~)' sin2 T,0
,=~
(26)
0
Since gz > 0
for all l, we have (for V > Vo)
gl ~
sin2 2 - - <
g~
l= 1
12 --4
(27)
o0~
(28)
1=1
for all O, and co
E gl ('d
,o >-- gl }, s. m ~o sin ~ -~ ~ > ~
l=l
f --rr <
O < rr, g~ ~ = b 1 = 1 .
1
}
1
-2V
(28),
Heace
2re
gt
02 dO
e 0
_< U ( V ) _< •
1 f
(29)
2 VO2 e - - - ~ - dO
0
or
1
7-~ 0
2V
gz
t
1 0 Qr~/~)
< u(v)_< U~
v'2-P
)
lz
1=1
(30)
Gas-liquid phase transition
25
where 0 ( x ) = .( e-"'dx is the well-known error function. o We now note that (i) G (3) is a uniformly bounded non-zero positive quantity for all -Vo and V. (ii) The error function 0 (x) -+ 1 as x ~ co. These immediately give from (30) and (25),
1
Ltv_~ j/logJ(~?0, V)---- O.
(31)
Hence lemma 3 is proved. We can now derive expression for the isotherms from (13) and (19) using (11) and (12). We get P __ ~
KT
~t~~ 2< 1
oo
p
= >
(32)
l~z~,z
l--1
oo
P --2polog2+
gl
KT
l--1
O
= 200-
2 > 1.
(33)
l~, l=1
To get the isotherms at ~ = 1 we continue the isotherms from both sides to /: = 1 by Abel's theorem (Whittaker and Watson 1963) and then make use o f relation (6). O0
~=~ o.~
Pc =
Z l~i
oo
t~
Zl~ l--I
1
2 = 1.
(34)
From (32), (33), (34) we see that afirst order phase transition does take place and Theorem 1 is proved. A typical isotherm for T < T, is shown in figure 1. The regions 2 < 1, $ -= 1 and ~ > 1 characterise respectively th~ gas, satvrated vapour and the liquid phases. pG and PL are respectively the gas and liquid specific densities of coexistence at equilibrium with the saturated vapour phase. The critical temperature is defined by varfishing of the order parameter Pz--Pc, i.e., by the equation p--3
26
A C Biswas
/
P
~>1
I I I
o
p
Figure 1. A typical ;SOt',lerm for T< To. oo
oo
2 / g , ( L ) = 2p0 (r0) - - X/g~ (r0) or
(35)
l~z (T~) = Po (T,) = Pc
where Pc is the critical density. We remember that P0 is the solution &equation (5). 6.
Discussion
The above considerations are valid for any potential ~' ~ (to) which is stable, i.e., there exists a B ~ 0 such that dp O%) >_ - - n B
for all
n>0.
(36)
i>J
It has been shown by Ruelle that under condition (36) the series ~' b~z z is convergent at least up to z < e - ~ -~ [C (fl)]-i
(37)
C (fi) = I d k I e-6q~(~' - - 1 ].
(38)
where
This means that the system does not have a phase transition in the region defined by (37). The region (37) defines the gas region. This also means that there is no phase transition at high temperature, since for small/3 the region (37) extends to the whole of the positive z-axis (see Ruelle 1969). What we have shown above is that if below a certain temperature T = Tc all b~'s are positive for large V, the system undergoes a first order phase transition (we have not discussed the case when a finite number of b~'s do not have a definite sign. However the generalisation to that case is not difficult).
Gas-liquid phase transition
27
The above discussion is qualitative and is not supposed to give a final answer to the problem. There remain the detailed investigations of the analytic properties of b{s themselves which we have assumed to be tiue. This should be done in terms of some definite potential function satisfying (36). A quantitative test of the theory is possible. From (34) we have (39) where po (]9) is determined by (5). For a realistic potential (39) should quantitatively describe the law of rectilinear diameter (Cailtetet and Mathias 1886) when it holds good. One can also derive the following pressure-density relalion fen a liquid from (33) Pz + Pc = 2to (fl)
P Kr
--
2to log ~0 + 2to ~ "
+ ~
--
~
.~t~ ~+~
fl,,h TM
(40)
k
where /S'k are the irreducible Mayer cluster integrals, b = 2 p o - - p , p being the density of the liquid; ~0 is as defined in section 3 (i). One can quantitatively test (40) with a realistic potential for a given liquid.
Acknowledgement My thanks are due discussions.
Groeneveld for his interest in this work and useful
References Biswas A C 1973 J. Stat. Phys. 7 131 Copson E T 1935 Introduction to the theory of f tractions of a complex variable (see Secs 8.3 anti 8.31) Cailletet L and Mathias E 1886 C.R. Acad. Sci. i02 1202 Groeneveld J 1973 J. Stat. Phys. 9 183 Katsura S 1963 Adv. Phys. 12 391 Lee T D and Yang C N 1952 Phys. Rev. 87 404 Mayer J E and Mayer M G 1940 Statistical Mechanics (New York: Wiley) M[inster A 1969 Statistical Thermodynamics VoL 1 (New York: Academic Press) Ruelle D 1969 Statistical Mechanics (New York: Benjamin) Titchmarsh E C 1939 Theory of Ftmctions 2nd ed. (London) Whittaker E T and Watson G N 1963 A Course of Modern Analysis (Cambridge University Press)