HAL Id: jpa-00246436
https://hal.archives-ouvertes.fr/jpa-00246436
Submitted on 1 Jan 1991
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Cluster expansion for transport coefficients for dense simple fluids
Byung Chan Eu
To cite this version:
Byung Chan Eu. Cluster expansion for transport coefficients for dense simple fluids. Journal de
Physique I, EDP Sciences, 1991, 1 (11), pp.1557-1582. �10.1051/jp1:1991225�. �jpa-00246436�
J.
Phys.
I France 1(1991)
1557-1582 NOVEMBRE1991, PAGE 1557Classification Physics Abstracts
05.20 05.60 51.00
Cluster expansion for transport coefficients for dense simple
fluids
Byung
Chan Eu(*)
Department
ofChemistry,
McGillUniversity,
801 Sherbrooke Street West, Montreal,Quebec,
Canada H3A 2K6(Received
29 March 1991,accepted
26July
1991)Abstract. Cluster
expansions
arepresented
for the collision bracketintegrals
for transport coefficients of a densesimple
fluid which appear in the kinetictheory
of dense fluidreported previously.
Thedensity
series calculated with the clusterexpansions
aregiven
inexponential
forms and their
leading
terms consist of a connectedthree-particle
collision operator. The three-particle
contributions are discussed in terms of mass-normalized coordinates which make itpossible
to put them in formsstructurally
rather similar to thetwo-particle
collision bracketintegrals
in theChapman-Enskog theory.
The threeparticle
contributions are thus cast into forms suitable for numericalcomputation.
1. Introduction.
A
theory ill
Of transport prOceSSeS in a dense fluid wasdeveloped
inconjunction
with atheory [2]
of irreversiblethermodynamics
some years agoby
thepresent
author. Since the evolutionequations
for variousmacroscopic
fluxesappearing
in thetheory
are amenable tophenomenological
treatments[3]
in which thetransport
coefficients areregarded
asphenomenological
parameters, the evolutionequations
have beenapplied
as ifthey
arephenomenological,
andconsequently
thetransport
coefficients therein have not asyet
beenseriously
studied from theviewpoint
of moleculartheory. However,
it is essential to calculate them from the molecularviewpoint
if one wishes to relate fluid flowproperties, namely,
fluiddynamic variables,
to molecular structures and interaction forces between molecules. Aslarge
as our desire to
accomplish
such an aim is thechallenge posed by
theproblem
since even anapproximate
butsufficiently
accurate solution of themany-particle problem
involved is not easy to obtain. Such achallenge
appears to berarely
taken up thesedays
sincenonequilibrium
molecular
dynamics
methods [4]actively pursued by
many in recent years appear to offer arelatively painless
alternative.However,
since such numerical methods are a kind ofexperiment
and not withoutlimitations,
theoretical endeavors of the kindpursued
here are still worthwhile and necessary. Itis,
of course,hopeless
to look foranalytic
methods to handlesatisfactorily many-particle problems involved,
but one may still look for some ways to(*)
Also at thePhysics Department
and the Centre for thePhysics
of Materials, McGillUniversity.
1558 JOURNAL DE
PHYSIQUE
I lit 11implement
numerical methods in a more economic manner than the usualnonequilibrium
molecular
dynamics
methods thatrequire
solution ofmany-particle dynamics
for alarge
number of
particles.
Studies[5]
in the past of the virialequation
of state, forexample,
indicate that one can understand thethermodynamic
behavior offairly
dense gases in terms of lowerorder cluster
integrals
or virial coefficients. One can then ask aquestion
: whether a similarapproach
may be taken in the case oftransport
coefficients. Thepresent
work is motivatedby
this
question.
Thisquestion,
of course, is not new.Enskog [6]
and others[7]
devoted their effort to it. Here we do not aim to calculatemany-particle quantities by analytic
means, but to cast them in forms convenient to evaluate themby
suitable numerical methods for a small number ofparticles
which isusuafly
lessthan,
say, ten. With thisgoal clearly
set in mind we would like todevelop
clusterexpansions
fortransport
coefficients whichprovide
well-defineddensity
series for the latter and cast thethree-particle
terms therein into forms suitable for numericalcomputation.
The clusterexpansions
will bedeveloped
such thatthey
reduce to thewell-known
Chapman-Enskog
results[8]
for the transport coefficients inquestion.
This paper is
organized
as follows : in section 2 a brief review will begiven
of thedynamic
cluster
expansion
for the collision operatorappearing
in thetheory.
This clusterexpansion
is then used in section 3 to generate clusterexpansions
for collision bracketintegrals
with whichvarious
transport
coefficients can becomputed.
In section 4 the results obtained are considered in the case of hardspheres
in terms of mass-normalized coordinates whichput
thethree-particle integrals
in forms that can be also used for their numerical evaluation in the future. Their structures are rather similar to the collision bracketintegrals
in theChapman- Enskog theory.
Section 6 is for discussion andconcluding
remarks.2.
Dynandc
clusterexpansion
for collisionoperators
: a brief review.Cluster
expansions
have been used in different versionsby
various authors[7,9]
inconnection with
transport
coefficients. In theapproaches
takenby
other authors[7b]
the evolution(time-displacement)
operator isexpanded
into clusters whichrequires
a resumrna-tion of series that is
divergent
in the limite - 0.
~The meaning
ofe will be
given
in(2.3) below.)
In the present paper a clusterexpansion
isperformed
on theN-particle
collisionoperator appearing
in the collision bracketintegrals [lc],
and theresulting
clusterexpansion
does not
require
a resumrnation since theexpansion
does not involvedivergent
terns.It was shown in a
previous
paper[9]
on a clusterexpansion
for avelocity
autocorrelation function thatN-particle
collisionoperator
T~'~~ can begiven
in terms of connected collision operators for clusters formed out of theN-particles
inquestion.
Let us denote the Liouvilleoperator
of Nparticles by
L~'~~L ~'~~
=
i I(Pilmi) (?/?ri) (?v/or~) (o/op ~)j
=
l'~~
+
Ll'~~ (2. ')
and
£(N)
~ (N)= I
LjN) ~jN)
The resolvent operators are defined
by jlo(z)
=
(£j~~ z)~
~,(z
=
is,
e > 0(2.3)
jl
(z)
=
(£~~~ z)~
'(2.4)
lit I I CLUSTER EXPANSION FOR TRANSPORT COEFFICIENTS 1559
Then the
N-particle
collisionoperator
T~'~~obeys
theintegral equation T(N)
~
~jN) ~jN) ~~~~~
~n(N)(~
~~which may be
equivalently
written asT(N)
~
~jN) ~jN) ~~~~ ~jN)
~~_~~Equation (2.5)
is the classicalLippmann-Schwinger equation
for the operator T~'~~. The system of Nparticles
may bedecomposed
into a set of clusters(cj,c~,...,c~)
where cj, c~,..., c~ denote clusters of oneparticle,
twoparticles,
,
m
particles, respectively,
and there areNI
fl (m!
)~~~
if there are a~ clusters of size m. Then it is
possible
to show[9]
that T~'~~ isdecomposable
as follows :T~~~
=
I
l~c,ci
cm/m;
Cm)
N N N
i I ~J
~i I I ~ijk
+Z Z Z Z l~ijkl
+ + l$j2 ~
l <J i «J « k
i <j < k
«
I
N
~
Z Z Z Z ~'J,~~
~(~'~)
i «j «k «1
This is the classical collision
operator analog
of the clusterexpansion
forquantum
mechanical collision operator firstdeveloped by Weinberg [10].
Here various collision operators aredefined
by
thefollowing integral equations
:(j
=£( £)j 3lo(z) (y
,
(2.8a) Tjk
=ilk £ljk Slo(z) Tjk
,
(2.8b) Tj
ki=
£[
ki £lj
kiSlo (z T;j
ki,
(2. 8C)
lsuk
=Tok Tu
T<k(k, (2.9a)
ls~j ;~i =
Tq;~i
T~~
T~i,
etc.(2.9b)
The interaction Liouville
operator £[
is forparticle pair (I,j),
£)j~ is fortriplet
(I, j,
k), £)j.~i
is for disconnectedpairs (I, j)
and(k, I)
which do not interact with each other.Therifore,
there isno
potential
energy term between the twopairs.
The collisionoperator ljj
is for thepair (I, j)
that is imbedded in(N 2)
freespectators
which neither interact among themselves norparticipate
in the collision process for thepair (I, j ).
Theoperators lS;j~, lS;j;~i,
etc. describe collision processes in which there are nospectators
involved in the set(I, j,
k), (I, j,
kI ),
etc., and this effect is achievedby
the substitution ofterms T~y, etc. which describe a collision event in which one of the three
particles
I, j
and k is aspectator
in addition to the(N-2)
spectators in whichparticles
I,j
and k are imbedded.Therefore,
if adiagrammatic language
is used to describe such collision events,operators
such as lS~j~ insure connecteddiagrams
and thus a true three-particle
collision event, andsimilarly
for otheroperators.
Infact,
if suchoperators
areexpanded
in terms ofbinary
collisionoperators (~
then theexpansion
becomes free fromsingularities arising
from disconnectedness ofdiagrams
and there are no e 'singularities
that1560 JOURNAL DE
PHYSIQUE
I lit 11occur in a naive
binary
coflisionexpansion
for T~'~~ when N m 3. In this sense the clusterexpansion (2.7)
is well behaved with respect to e and thecorresponding expansion
for collision bracketintegrals
calculated with(2.7)
isexpected
to be also well behaved. We end this brief review with the remark that one should not use abinary
collisionexpansion
for N » 3 before inevitable disconnectivities of clusters areproperly
taken care of. Thispoint
isdiscussed in detail in reference
[10]
and also in reference[la].
3. Cluster
expansions
for collision bracketintegrals.
The collision bracket
integrals required
forcalculating transport
coefficients for asingle- component, simple
dense fluid arecollectively given by
the formula[16, lc]
J' ,J'
R(a)
=
f p
2~~ ~ ~~(~v)
~ («) ~ ~~n ~~~ ~ («)~z(x)
~~j~
~
j i k
~ ~'~~ ~~ ~ ~~
where
p
=
I/kBT;
« runs from I to3; f~ =1/5
for «=
I,
I for « =2,1/3
for«
=3;
g =
(mr/2 k~ T)"2/(nd)2 (3.2)
with m~
denoting
the reduced mass, n the numberdensity
and d the size parameter of the molecule ; and the collisionoperator
T~~~~
~~(z)
is for asystem consisting
of Nsubsystems
ofs
particles
which make up the whole system ofA'particles
where A'= sN. The molecularexpressions h)"~
for variousmacroscopic
moments are~y j
h(1) ~_j~ ~_j(2)
~~ j~
~j(2) (~
~~J J J J Jk jk '
k»j
« =
2 hj~~~ =
mj Cl
+Z Fj~ rj~ mj pip
,
(3.4)
~j
~ ~~'
~/~~~ l("~j~~~~~ ~kj ~j+(~~ ~k~jk°~j~'llj(~' (~'~)
#j #J
where
ej
is thepeculiar velocity
ofparticle j
definedby ej
= v~ u(u
= fluid
velocity), (3.6)
F~~ =
(3V/3q~)
(r~~ = r~r~), (3.7)
and
(
denotes theenthalpy
per unit mass, p the pressure, p the massdensity,
and[A
]~~~ means the tracelesssymmetric part
of second rank tensor A. The molecular moments,h)'~, h)~~
and h)~~, whenaveraged
over thephase
space with the distribution function as the statisticalweight, give
rise to the tracelesssymmetric
part of the stress tensor, its excess tracepart
and the heat flux of thefluid, respectively. Therefore, R~'~
is related to theviscosity,
R~~~ to the bulk
viscosity,
and R~~~ to the thermalconductivity
of the fluid. We remark thatthey
have been used asphenomenological parameters
in thegeneralized hydrodynamics study
up to now, but the
density dependence
ofR~"~
has not been calculated as yet.If the
similarity principle [lc, ld]
is used and it is theprinciple
on which thepresent
kinetictheory
is based then the collision bracketintegrals
may becomputed
with collision operator T~'~~ definedby (2.5)
instead of(,~~___~~(z)
which is a kind of « distorted wave » form for T~~~'~lit 11 CLUSTER EXPANSION FOR TRANSPORT COEFFICIENTS 1561
Therefore,
we consider thefollowing
bracketintegral
in this work :N N
R(a)= f p2~ ~ ~ ~~(N)~(«)~ ~~n(N)(~j~(«)~(N) (~_8)
~
j i k =1
~ ~ ~
Here N now denotes the number of
particles
in the system. It is useful to note thatT~'~~ in fact may be
regarded
as the collisionoperator
for the cluster set(sj,
s~,.., sN)
~
(l, I,...,
I),
thatis,
thedecomposition
of Nparticles
into N one-memberclusters,
and thesimilarity principle
asserts that this cluster set isstatistically
andkinetically
siJnilar to the cluster set(sj,
s~,,
s
N)
where s » I.It is convenient to
separate h)~~
into the kinetic andpotential
energypart
as follows :N
h~~~~ = I~ +
jj lI~~, (3.9a)
j~k
("~
N= h~~~~ 8
(rj
r =(
+jj ll~~, (3.9b)
j ~k
where
Iy
and(
are thesingle-particle
contributions thatdepend
ononly
themomcptum
ofparticle j,
andl§j~
and$lj~
are the interactionenergy-dependent
contributions thatgenerally depend
on bothposition
vectors and momenta see(3.3)-(3.5).
Since thepotential
energy isassumed to be
pairwise additive, Hj~
and $i~~ are alsopairwise
additive. It is also convenient to abbreviateintegrals
in thefollowing
manner(A T~'~~(B)
m dx~'~~FI'~~A
3T~'~~B, (3.10)
(A (C(B)~
=
V~(A (C(B) (3.ll)
In this notation we can write the bracket
integral
as follows :N
N N N N NR~~~
"
ifa P
~g£ Jj
+z £ tl~l
T~'~>£ Ik
+z z wkl
J J t»j k k t»k
m
if~ p~gtN (3.12)
where tN can be
decomposed
into thefollowing
fourcomponents
tN = tKK+ t~p + tpK + tpp,
(3.13)
N
NtKK =
jj (
T~'~~jj ~)
,
(3.14)
j k
N
N NtKp=
jj ( Tl'~~ jj jj ~i),
(3.15)
J k t»k
N
N NtpK "
Z Z
lI~-1 T~'~~
ilk
,
(3.16)
j f»j k
N
N N NtPP "
Z Z f-I
T~'~~jj jj
Wk1(3.17)
J f»J
k
f»k
Here tKK is the kinetic part
(I,e.,
thesingle~partide contribution)
while tK~ tpK and1562 JOURNAL DE PHYSIQUE I M 11
tpp are either mixed contributions of the kinetic and
potential
parts or thepotential (many- particle)
contributions. These four contributions will be consideredseparately.
Let us now observe that the
following
identities hold for collisionoperators
which aredifferential operators in momenta
dx~'~~
T~y
F(x~'~~)
=
0
,
(3.18a)
dx~'~~
Y;~~
F(x~'~~)
= 0,
etc
(3.18b)
These are easy to
verify by using
the definitions of collision operator or the classicalLippmann-Schwinger integral equations (2.8a-c)
for them.Therefore, by using (3.18a)
forexample,
we can show that(()T~y[Ij)
= 0(3,19)
identically,
if k # I orI
# I, andk, I
#j.
3.I COLLISION BRACKET INTEGRAL tKK. Substitution of the cluster
expansion (2.7)
forT~'~~
yields
the collision bracketintegral
tKK in the fornltKK =
z z Ii j Ill Tki llji
+
z z z Ill
l~~imiji
+ +
~lJ~l ~ «~«m
+
z z~z z Ill l~ki
;mp
ilj i
+(3.20)
k«I«m«p
We first consider the
binary
collision ternl:N N N
ti~i
»
z z z If Tki Ij1 (3.21)
1=ij=ik«f
Since the
particles
are identical andn =
NIV (3.22)
in the
thernlodynamic limit,
the sum over I can bereplaced by
nV and thusti~i
can be writtenas
N N
t(~i
= n
£ £ £
V(Ii
T~y(Ij) (3.23)
J=i k«I
Because of the
identity (3.19)
there areonly (N
Ibinary
collision operators thatgive
rise to anonvanishing integral,
and hence there follows from(3.23)
ti~i
= n
(N
I V(ii Ti~ fi
+I~) (3.24)
Note that the sum over
j
in(3.23)
hasonly
two tennisIi
andI~
thatyield
anonvanishing integral.
SinceTi~
issymmetric
with respect to theparticle indices,
wefinally
obtain from(3.24)
ti~i
= n~
(f~~~ Ti~
1~~~)~
(3.25)
M 11 CLUSTER EXPANSION FOR TRANSPORT COEFFICIENTS 1563
where
I~~~
=
Ii
+I~
+ + I(3.26)
and
similarly
for i~~~ See(3.I I)
for the abbreviationagreed
upon for the bracketintegrals.
The
integral
on theright
hand side of(3.25)
still candepend
ondensity
since thepair
correlation function
appearing
in itdepends
ondensity.
We will pay attention to this aspect later. For now we tum to thethree~particle contribution,
which isgiven by
N N N
ti~i
mz z z z z If
l~kimIj1 (3.2?)
1=ij=i k«I«m
Since the
particles
are identical the sum over I can bereplaced by
N times a ternl and we thus findN N
tit
" n
£ £ £ £
V(Ii lskim IJI (3.28)
J=i k«f<m
Since for k ~ l the collision
operator ls~y~ gives
avanishing
contributionsby
virtue of theidentity (3.18b)
there are(N
I)(N 2)/2 equivalent
collisionoperators,
andconsequently (3.28)
may be written asti~i
=
n~ V~(ii
lSj~3(I~~~)
=
I
n3
y(3)
~~~~ ~(3)j
~~_~~~3 3
where the second line is obtained on
symmetrization
of theii
factor. One can use a similarprocedure
for other tennis in the clusterexpansion (3.20)
for tKK to obtain theexpansion
~ ~
t it>,
tKK =
z
n z (f~~~ lsc,
c~.., c
~
I~~~lt
(3 .30)
f 2 <cmi
where the sum over
(c~)
is an ordered sequence(fl' off particles
with the indicesincreasing along
the sequence,namely,
lSi~3 lSi~34,lsi~
34, etc. Because the sequence is
ordered,
the ml factor that appears in(2.7)
is notnecessity
in(3.30). Equation (3.30)
is adynamical analog of
the clusterexpansion for
theconfiguration integral
inequilibrium
statisticalmechanics
[I ii.
As mentionedearlier,
since theintegrals
in(3.30) depend
ondensity by
virtue of the distribution functionF~'~~ being dependent
ondensity, (3.30)
is not acomplete density
expansion
fortK~
Infact,
since theI-th
order ternl in(3.30)
involves the reduced distribution functionF~~ (x~
~) definedby
F)()(x~~))
= V -'~ +ldxt
~ i dx
~
F~'~) (3.31)
the
density dependence
of the ternl will be that ofF)(),
which isgenerally
weak in the sense that reduced distribution functionsdepend
ondensity,
but not sostrongly.
Weexpand
F~)
indensity
series :~z(f)
~=
z ~z(f)
~m(~ ~~)
~~
m o
~
15M JOURNAL DE
PHYSIQUE
I M IIwhere
Fj~~
=,
~F~~ (3.33)
m.
~~ n
o
On substitution of
(3.32)
into theintegral
in(3.30)
there results adensity
series for theintegral
m
(i~~~
lS~~ ~
I~~))
=£ A)~~(ci
c~ c~) nJ. (3.34)
~ ~
j o
Here the coefficient
A)~~
is definedby A(f)(~~
~~,_ ~=
l °~
(f(f)jl~
~
jI(f)j
,
(3,35)
~ ~
jl
3fl~ ~~~~ ~n 0
which is
directly
related to the series(3.32)
forFj~~. Substituting (3.34)
into(3.30)
andrearranging
the tennis in powers of n, we obtain the series in n for tKK.cJ f
tKK "
fl~ B)~~ £ )
a~~~(3.36)
f 0
where
I j If +2- jl'
~~~~ ~~
l~o fi ~ij ~~~
~~ ~~~~ ~~~~~~~~~~ ~~'~~~
The factor B)~~ is a
quantity consisting
of thebinary
collisionintegral
which we willspecify
later when other contributions tKp, etc, are
expanded
indensity
series similar to(3.36).
It will tum out to bebasically
theChapman~Enskog
collision bracketintegral [8].
Themeaning
of the sum over(c~)
is the same as in(3.30).
It is useful to write outexplicitly
a fewleading
terms in
(3.36)
~~°~
~
Aj~~(12)/Bj~~, (3.38a)
a~'~
= 2!
A)~~(12)
+ 3!A)~~(123)j/B)~~, (3.38b)
a~~~
=
A)~~(12)
+ A)~~(123)
+A)~~(1234)
+A)~~(12
34) /B)~~, (3.38c)
21 31 41 41
etc.
We remark that A
)~~(12)
involvesbasically
the third virial coefficientalthough
the collision operator involved isbinary. Similarly, Aj~~(12)
andA)~~(123)
involvebasically
the fourth virial coefficient while the relevant collision operator for the latter is the lS123operator. Thus,
a~°~ is atwo-particle contribution,
a~~~ athree-particle contribution,
etc.3.2 COLLISION BRACKET INTEGRALS tKp, tpK AND tpp. The mixed and
potential
contributions tKp, tpK and tpp can be
expanded
indensity
series in the same manner as for tKK. We present the resultsonly
:w ~ if)-
~KP ~
i
f§ I (~
~~~ l~cic~ c~
W~~)
,
(3.39a)
2 cmj
M 11 CLUSTER EXPANSION FOR TRANSPORT COEFFICIENTS 1565
w
~y
if)>tPK "
I
fi I
W~~~ l~cjc2 c~ (1~~~) t ,(3'39b)
f "2 cmj
cc ~
f If),
~PP ~
i
f§ I (~~~
l~cic2 cm @~~~) t ,
(3.39c)
~ Cml
where
t
lI'~~~
=
£
H§y(3.40)
1«J
and
similarl~
forii/~~
Substitution of thedensity expansion (3.32)
for reduced distribution functionF~~
into theintegrals
in(3.38a-c) yields
w ~
f t~p =
n2Bl~~ z
n g#I, (3.41a)
t o
w ~
f
~PK "
fl~~~~~ £
fi ~#, (~.~l~)
f 0
CC I
tPP " n
~Bj~~ I ) g$~
,
(3Alc)
1= 0
where
~~'
"
'~~lo ~ ~ji~~~' ~~~' ~~~~~~
~2
~m~'~'~~' ~~~~~~
~'k
=
ii i~ ~ ~)(~~~' Gill
~~~(Ci C2 Cm
)/B'~~, (3.42b)
=
~~
~~J o
(
+j ), ~~~
~~Gj(±
2-J)(~
~~l
~ ~~
~m~'~'~~, (~~~~~
~k
~ ~~~~~~ ~~ ~~
)
"
j $ lP~~
~C<C2 Cm ~~'~~~i
,
(3.43a)
n o
~'~'
~~~~~i ~2 ~
m "
) ) l
fl~~~l~c,c~ cm I~~~lt
~
~
,
(3.43b)
We now choose B)~~ as follows :
~j2)
~
l
j j /(2)
~q#2)
~~~ ~(2) ~~(2)j
j~~ ~~
~~
2 2
which is the
two~particle
contribution toR~"~ Now, by combining (3.36)
and(3Ala-c)
wefinally
obtain thedensity expansion
for tNcc I
~N " ~ ~~~~~ l
£ ( ij (~.~~)
l
1566 JOURNAL DE PHYSIQUE I M II
where
ai = ia~~~ +
gii
+
gik
+gil~i
,
(3.46)
and thus
w I
R~"~
=
iP
~gfa
n~]~~(
l
z )
aij (3.47)
1=1
It is convenient to resum this series into an
exponential
fornlby using
the method of cumulants[12].
We thus findw I w I
exP
~- i iffy
= I
I )ai (3.48)
1= t
where the cumulant
fly
isgiven by
the formulaPi
=f' ~ Z (m
i)' Z fl ) (aj/Jil', (3.491
i kj) j i
the surn over
(k~) being subject
to the conditionst i
z jkj
=
I
,
z
k~= m
(3.50)
J i J =1
With
(3.48)
wefinally
obtain the collision bracketintegral
in the forrn« I
R~"~
=
iP~gfa n~Bl~~exP (- z ) Pij (3.sll
i=1
It is
helpful
to remark thatfly
are thedynamical analogs
of the irreducible clusterintegrals
inequilibrium
statistical mechanics :pi
involves threeparticles, p~
fourparticles,
etc. It is alsosignificant
to note that thecorrespondence
between thedynamical
andequilibrium
irreducible clusterintegrals
isbrought
aboutby resumming
the series in(3.47)
into anexponential
formby
means of cumulants.4.
Transport
coefficients.The collision bracket
integrals
in(3.51)
now can be used to calculate various transport coefficients for a densesimple
fluid. We consideronly viscosity
and thernlalconductivity, deferring
the consideration of bulkviscosity
to a separate treatment since it does not fit in thegeneral
result(3.51)
obtained here.4.I VIscosITY. Since in the modified moment method the
viscosity
of asimple
fluid isdefined
by [16, lc]
'l =
2P~gfl/R~~~ (4.1)
its
density expansion
iseasily
found from(3.51)
:CC I
'l #
[10 kB ~Pilfl~Bj~~j
eXpi ) fly (4.2)
1=1
M 11 CLUSTER EXPANSION FOR TRANSPORT COEFFICIENTS 1567
It can be shown with the hard
sphere
model that the front factor in the square bracket in(4.2)
is indeed the
Chapman-Enskog viscosity [8]. Therefore,
we will define itby
the fornlula~o = 10
kB Tp~lin~B)~~ (4.3)
The excess
viscosity
over and above theChapman~Enskog viscosity
at lowdensity
is thengiven by
A~
=~-~ow
~i
= 110 exp
z
~ fly
-1(4.4)
i=1
We now show that ~o is indeed the
Chapman~Enskog viscosity.
For this purpose weconsider the hard
sphere
model for interaction. In that caseB)~~
isgiven by
Bj~~
=(i~~~( Ti~( I~~~)
~]~ o(4.5)
Since
according
to theintertwining
relation[13, 14]
theTi~ operator
may be written asTi~
= D(12 )
£)~~ £)~~ D(12 ) (4.6)
where
D(12)
is the Mo4ler waveoperator [13, 14]
for Liouvilleoperator
£~~~ SinceI~~~
depends
on momentaonly
and £)~~ is a derivative operator inposition tj2) ~(2)
~ ~
and therefore
(4.5)
may be written asBj~~
=
(i~~
£)~~ D(12)
(1~~~) ~]~o
(4.7)
When the center of mass and relative
position
vectors are introduced and the Liouvilleoperator
£j~~ isexpressed therewith,
theintegral
in(4.7)
can be written in a familiar form as follows :l~)~~
"
(~ kB ~)~ dPl dP2
~ ~~~~121~,
l~~~fl(~l) f2(~2) (~.8)
where
lWW,Wwlmlwi*W?+W?W?-Wiwi-W2W21~~~.
~wf Wf
+Wf Wf
Wi
Wi W~
W~]~~~,
(4.9) f;(W;)
=
(2 «mkB T)~~/~
exp(- lI~?), (4.10)
W;
=
(p;
mu)1(2 mkB T)~'~ (4,
II)
The details of the derivation of
(4.8)
from(4.7)
isgiven
inAppendix
A. The notation used here is the standard onecommonly
found in the Boltzmann kinetictheory.
Theintegral
in(4.9)
is in fact one of theD~integrals [8]
well known in theChapman~Enskog theory
of solution for the Boltzmannequation
:j 2 w co
4 fl ~~~(2) w
~ dpi dp~ d~ dbbg j~lww,
wwfi (wi f~(w~) (4.12)
o o
1568 JOURNAL DE
PHYSIQUE
I M I1which in the case of a hard
sphere
of radius«/2
is calculated to be[8]
D ~~~(2) = 2 arm
~(k~ Tlarm)~/~ (4.13)
Therefore,
we findiB)~~
=
16
(k~ T)~
D ~~~(2)(4.14)
and the
limiting viscosity
t~o in the fornl'lo "
kB T/8 n~~~(2)
=
~
~
(mk~ Tin )'/~ (4.15)
16 tr
for hard
spheres.
This isexactly
theviscosity
fornlula[8]
for hardspheres
in theChapman~
Enskog theory.
It isindependent
of thedensity.
In summary, for hardspheres
the excessviscosity
isgiven by
the fornlulaA~
=~
(mk~ Tlar)'/~ exp ( fly
I(4.16)
16 « ~
i
where the
leading
term consists of thethree-particle
contribution. We will discuss this contribution in section 5.4.2 THERMAL CONDUCTIVITY. In the modified moment method the lowest order solution
of the constitutive
equation
for heat fluxyields
the thermalconductivity
of asimple
dense fluid definedby
the formula[16, lc]
"
(t~p TP)~flg/R~~~ (4.17)
where
©~
is thespecific
heat per unit mass at constant pressure. Substitution of(3.51) yields
A in the form
"
1?5(kB T)~/4 miB)~~l
eXPiii I ) Pi (4.18)
where
B)~~
is thetwo-particle contribution,
andpi
the(I
+ 2)-particle contribution,
to the thermalconductivity.
It must be noted thatthey
are not the same as for the identicalsymbols
used for theviscosity
the former is definedby (3.44)
while the latter is definedby
the set ofdefinitions
(3.37), (3A2a-c), (3A3a~c), (3.46)
and(3.49),
whereIj
= m~Cl e~
m~e~ (
,
(4.19)
lI§~ = V,~
e~
+ F;~ r;~e~ (4.20)
In the case of hard
spheres
of diameter « it can be shown thatiBj2)
=
18(k~ T)3jmi
n(2)(2). (4.21)
This derivation is
given
inAppendix
A. We define thepre-exponential'factor
in(4.18)
as thelimiting
thermalconductivity lo
which with(4.21)
takes the formM 11 CLUSTER EXPANSION FOR TRANSPORT COEFFICIENTS 1569
lo
=75(k~ T)~/4 miB)~~
25
dv kB T~
(4.22)
"
16 fl ~~~(2)
where
dv
is thespecific
heat per unit mass at constant volume. This isexactly
theChapman- Enskog
thermalconductivity [8], and,
on substitution of D ~~~(2) from(4.13),
becomes25
dv
Tk~
T 1/2lo
~ ~
(4.23)
32 « "m
for hard
spheres.
Onelimination,of D~~~(2)
with(4.15)
for ~o we obtain the well-known relation[8]
between thermalconductivity
andviscosity
lo
=~
dv T~o. (4.24)
Note that there is a factor of Tin the
present
formula because the thermalconductivity
in the presenttheory
is related to theChapman-Cowling
thermalconductivity [8] by
the relationlo
=
Tlo(Chapman-Cowling)
becauselo
is defined with respect to V In T instead of VT used for thethermodynamic
force in theChapman-Cowling theory.
With the relation(4.24)
the thermalconductivity
formula(4.18)
may be written asA
=
©v T11oexP ~i i ) Pi (4.25)
Note that
pi
here are not the same as those forviscosity
; recall the remark made below(4.18)
and the definitions
(4.20a, b).
Weexplicitly
write outpi
for thermalconductivity
:Pi
= ai
"
(~~~
+~~~
(1~123 ~~~~ + ~~'~~~)2in 0
~
~
~~~~
~~~~
1~2 ~~~~+ ifi~~~~)
j
~
j ~4~~ ~.~~)
We will examine this formula
together
with thecorresponding expression
forviscosity
in section 5.The bulk
viscosity requires
aseparate
consideration in view of the fact that there is no two~particle
contribution and thus the clusterexpansion
must be modified. Itwill, therefore,
be examined elsewhere.An
exponential density dependence
was used forviscosity by
Diller[15]
whoinvestigated
theviscosity
ofparahydrogen
over a wide range ofdensity
andtemperature.
Similarexponential
forms are also used for theviscosity
and the thermalconductivity
of argonby
Ashurst and Hoover
[16]
who calculated thetransport
coefficientsby
means of anonequilib-
Rum molecular
dynamics
method. The clusterexpansions
obtained here forviscosity
and thernlalconductivity provide
a kinetictheory
foundation for the aforementionedempirical
fornlulas.
5.
Three-particle
conkibufions.The
density
correction for theChapman-Enskog transport
coefficientsrequires
solution ofmany-particle dynamical problems.
Sincethey
are not solvable inanalytical
fornl as is well1570 JOURNAL DE PHYSIQUE I M II
recognized,
it will be futile to try for such asolution,
but it should be useful to castfit
in aforn1easily
amenable to numerical solution methods. Here we pay close attention topi
inparticular,
which involves athree-particle problem.
In the conventional
approach
to athree-particle problem
one uses relative and center ofmass coordinates so that the kinetic energy is written in terms of the center of mass and two relative kinetic
energies,
the latterbeing given
in the two relative coordinates introduced. The relative kineticenergies
appearasymmetrically
because of the difference in the reducedmasses : in one the reduced mass
of,
say,particles
I and2,
and in the other the reduced massof
particle
3 and theparticle pair (1, 2).
Such coordinates aregenerally
not so convenient fortreating three~partide dynamics,
and we use another set of coordinates more suitable forstudy.
This kind of coordinates wasinitially
introduced in nuclearphysics [17]
and usedby
some authors
[18, 19]
in connection withmany-particle dynamics.
Sincethey
appear to be little used thesedays despite
theirpotential usefulness,
a brief review will be worthwhile andgiven
below. It also defines the notation necessary in thesubsequent
section.S-I MAss-NORMALIzED COORDINATES. Let us label three
particles by I,j
andk,
and theirpositions
and momenta in a fixed coordinate system are denoted r~ andp~, a =
I, j, k, respectively.
Their masses will be denoted m~, a= I,
j,
k. Define thefollowing symbols:
M=m,+m~+m~,
m;~ = m, + mj , etc.
(5.I)
p ~ = m, m~
m~/M,
d(
= m,~
Rim,
m~=
m~(M m~)/pM
= m~m,j/pM.
Here
d,
and(
may be definedsimilarly
tod~ by using I, j,
and kcyclically.
Note thatd~
is dimensionless. Then we introduce thefollowing
transformations of coordinates(r,, r~, r~)
to a new set of coordinates((~i, (~~, (~3)
:kl
°~k ~k
~>(~~ =
-d~ m,d~/m;~ m~d~/m;j
r~(5.2)
(~3 m,/M m~/M m~/M
r~Here
(~j
isessentially
the relativeposition
vector ofparticles
I andj,
and(~~
the relativeposition
vector betweenparticle
k and the center of mass of thepair (I,j),
while(~~ is the center of mass vector of
particles I, j
and k as a whole. Thesubscript
k is attached to
(
to indicate that k is theparticle
whose relative distance from the center ofmass of the
pair (I, j )
is(~~.
Thesubscript
k on(
may be usedcyclically
and two more transfornlationsequivalent
to(5.2)
can be obtainedthereby.
The difference between the present transformations(5.2)
and the conventional onealready
mentioned is in the factord~.
The usefulness of this factor will become clear as weproceed.
Since the center of massmotion for the whole system is of little
interest,
(~~ may be setequal
to zero.Let us denote the vector from the center of mass to
particle
kby
r~~.~ck " ~k
(m;
r; + mjrj
+ mk~k)/fit. (5.3)
Then there holds the
identity
jj
m~ r~~=
0
(5.4)
k
M 11 CLUSTER EXPANSION FOR TRANSPORT COEFFICIENTS 1571
where the sum is over three
particle
indices. Thefollowing identity
also holds :I ~k ~kl
" °
(~.5)
k
This is easy to show vith the definition of
(~i, namely, (5.2).
Of considerablephysical
interest is thelength
of the six-dimensional vector(
=
((~i, (~~ )
m
(£
j,
£~, £3, £4, £~, £~)
fornled with two relativeposition
vectors(~i
and(~~.
6
P ~ "
i it
=
fki £
ki +fk2 fk2 (5.6a)
t i
This
quantity gives
a measure oftogethemess
of threeparticles
and can be written in thefollov4ng
four different modes :p~= p~' jj
3m~rj~
k=1 3
"
I (1 "lk/~ll I(2
k =1 3
"
I (1 Dlk/~ll ill
k I
"
(H~f) ["lij
~~ + '~lki ~(i +'~ljk ~$i (5.~~)
which indicate that p~is related to the moment of inertia for three
particles (I, j,
k).
Since theLagrangian
L can be written in the new coordinate system asL
=
§ z (di;/dt)~ v(1), (5.7a)
the
generalized
momenta ar; aregiven by
«, =
(aLjai,)
=
pi, (5.7b)
where the overdot means the time derivative. The
Hamiltonian, therefore,
isgiven by
H
=
£ «]3
+
£ («]1
+
«]2)
+v(f) (5.81
In accord vith the
ordering
convention introduced for the six-dimensional vector(
we may write the momentumsimilarly
:" "
(H~kl, H~k2)
"
("kl, "k2)
"
("1,
"2, "3, "4, "5,"6)
Then in the center of mass coordinate system the Hamiltonian may be written in the fornJ
H
=
w2/2
p +v(1) (5.9)
where w~3 is set
equal
to zero and if=
jar
=(w.
w )~/~. In this fornl the Hamiltonian looks like that for atwo~partide
system except forV(().
Since the rate ofchange
in p can be written as~i
=~~P~~~ I I<
",,(5.io)
1572 JOURNAL DE PHYSIQUE I M
the
corresponding
momentum may be definedby Pp
# H~
" P ~~
~i i I,
";(5.ii)
TMs momentum will turn out to be
analogous
to the radial relative momentum intwo-particle problems.
Smith
[19]
introducedgeneralized angular
momentaby
A,~ =£;
arj £~ ar,,
(I, j
= 1,
2,..
,
6
(5.12)
or
A;jfl
=i~;
«p~ip~
«~,,
(«, p
= 1, 2
) (5.12')
These
generalized angular
momenta have thefollowing properties
among others :jj f,
A,~ = p~ar~£j pP~
,
(5.I3a)
1
jj
A,~arj
= 2pf;K-
ar,pP~, (5.I3b)
where K is the kinetic energy. With these
relations,
it is easy to showA~m jj (A;j)~
~
iJ
= 2 pp ~ K p ~
P( (5.13c)
Note that A is the
magnitude
of thegeneralized angular
momentum tensor A=
(A,j),
and the kinetic energy in tennis of A takes an
especially revealing
form : K=
P(/2
p +A~/2
pp ~(5.15)
which is
isomorphic
to the relative kinetic energy of twoparticles
inspherical
coordinates.Hence,
theternlinology
radial momentum forP~
we introduced earlier. Since thecentrifugal
term
A~/2 pp~
in(5.15)
vanishes asp - cc,
P~ asymptotically approaches
w =jar
in the limit.We now introduce
hyperpolar
coordinates[20]
in thefollowing
manner :f~
= p cos 0
~,
f5
= P sin 0 cos04,
~
=
~~ ~~ ~
~~ ~jos
0~, ~~'~~~
£~
= p sin
0~
sin04
sin03
sin0~
cosii,
ii
= p sin 0~ sin
04
sin03
sin0~
sin ~§1,
where