Derivation of the Boltzmann equation from the Liouville equation

Derivation of the Boltzmann equation from the Liouville equation

Physica 59 (1972) 206-227 o North-Holland DERIVATION OF THE FROM THE Publishing Co. BOLTZMANN LIOUVILLE EQUATION EQUATION * B. LEAF Stat...

1MB Sizes 6 Downloads 148 Views

Physica

59

(1972) 206-227 o North-Holland

DERIVATION

OF THE

FROM

THE

Publishing

Co.

BOLTZMANN

LIOUVILLE

EQUATION

EQUATION

*

B. LEAF State University

of New

York,

College at Cortland,

Received

12 July

Cortland,

New

York r3045,

USA

1971

synopsis The

derivation

previously

given

central-force

interaction

body

equation

is obtained,

distribution

function.

kinetic

one-particle mation

to this

density,

but without

for the kinetic

is extended

equation

with

to include and from

The Boltzmann of previous

equation

for a classical

of external

this the exact

the assumptions

the limitation

equation

the effects

kinetic

The N-

equation

for the

is derived

of short-range

gas with

forces.

as an approxi-

interactions

and low

work to the case of weak interactions.

1. Introduction. In an earlier paper 1)) which will be cited in this article as paper I, an exact kinetic equation was derived for the one-particle distribution of a classical gas with central-force interactions. The starting point for the derivation was the Liouville equation; the method employed was the technique of projection operatorss). In the present paper the treatment is extended to the case in which external forces act on the gas. The assumptions of short-range interaction forces and low density are introduced, but not the limitation to the case of weak interactions as in paper I. If certain additional approximations are made, precise agreement is obtained with the full Boltzmann equation. The additional approximations are 1) Neglect of the elision by the projector 1[00] in the ordered exponential operator. This has the effect of making this operator into a displacement operator along a trajectory governed by a hamiltonian function [eq. (5.8)]. 2) Neglect of the spatial derivative part of the Liouville operator appearing in the ordered exponential operator. This may be considered as an extension of the assumption of molecular chaos [eq. (5.10)]. 3) Neglect of a derivative of the force of the collision interaction with respect to the relative velocity of the colliding particles [eq. (5.13)].

* This work was supported University of New York.

by a grant from the Research

206

Foundation

of the State

BOLTZMANN

EQUATION

FROM

LIOUVILLE

It must also be assumed that the two-particle the collision term can be factored into a product

EQUATION

207

distribution function in of one-particle functions

[eq. (5.21)]. The procedure followed in deriving the exact one-particle kinetic equation closely parallels that of paper I. In section 2, the Liouville operator is given. In section 3, the N-body kinetic equation is derived for the gas with external forces. The exact one-particle kinetic equation is given in section 4. It has the flow terms of the Boltzmann equation, including the contribution of external forces. In section 5, approximate one-particle kinetic equations are obtained. With the assumptions of short-range forces and dilute gas, which were considered in paper I, we obtain the approximate equation (5.1) with collision term (5.5). From this equation, on neglect of the external forces in the collision term and with the additional approximations listed above, the Boltzmann equation is derived. It is shown in section 6 that the momenta pi and p’ appearing in the Boltzmann equation (5.22) and defined by (5.19) and (5.20) in terms of the time-ordered exponential operator are the initial momenta in the inverse collision between two molecules which results in the final momenta p1 and p. In appendix A it is shown that an orthogonal set of projection operators can be constructed in terms of which a complete partition of the unit operator in the Hilbert space can be achieved. With these operators the hamiltonian and, correspondingly, the Liouville operator can be expanded in a systematic way, as required for the present formalism. In appendix B, properties of the time-ordered exponential operator W(T) of eq. (3.26) are considered. The time-dependent hamiltonian formalism, which results when the elision produced by the projector l[kl . . . kN] is ignored, is described. The derivation of the Boltzmann equation shows in detail the assumptions and approximations introduced in starting from the exact dynamical (hamiltonian) equations of motion, in the form of Liouville’s equation, and obtaining the dynamically irreversible Boltzmann equation. The exact oneparticle kinetic equation (4.5) contains none of these assumptions or approximations. Additional 2. Liouville hamiltonian

references operators.

to the literature Consider

are given in paper I.

a gas of N particles

described

by the

(2.1) where U(r,) is the potential energy of external forces acting on the ith particle at position ri, and 4(1 tti - rJ]) is the two-body, central-force interaction between the particles i and j. Expressed as Fourier integrals, U(r,) =

J ds ezxircms u(s), LOI

d(r) = ,J ds ezxires v(s).

(2.2)

B.LEAF

208 In these integrations

the point at s = 0 is omitted

since the contribution

to the integral for s = 0 is a constant, which we equate to zero in the hamiltonian without loss of generality. Equivalently we can require that U(O) = j dszl(s) 6(s) = 0,

~(0) = j ds ~(4 4s) = 0,

without exclusion of the point s = 0 from the integrations

in (2.2). Eq. (2.2)

implies that J d@ 1X LW)

+ X Z d(lrj -

i
i

In phase-space two parts, L = L1-t

representation

rd)l = 0. the Liouville

operator

is separated

L2,

into

(24

and L1 is separated further, L1 = Li + L;,

(24

where

L’; = i x XJ(rk)/i3rkai3/apk

= -

k

L2

=

iC

I: J ds e2rris’rkU(S) 2&?/apk,

(2.5)

k

a4(ir5-rki)

2

ar5

j
aPk

s

= _ F
-~a

.

&

e2nis*(rr-rj) p(s) zxs.

Liouville

-_?

_!? .

_

aPk

aP5

operators are defined by

9=

jdrNIrl...rN>L
p=

Ylf22,

(2.6)

with

so

(2.7)

S?l=9i+L?~,

that

9'; =

dk’N

-

s

x c

i

s

dkN[ki...

kk)

s

ds I-I 6(k;, - k, - SC?& u(s) 2xs.-

m

a

aP5



BOLTZMANN

9'2 =

-

EQUATION

J J dk’N

dkN ]ki

FROM

LIOUVILLE

EQUATION

201

...k;)

x T
?n

a

~ ap,

-

a aP, >


The ket ]rr . . . r~) is the eigenvector

(f-1 . . . rN/kl...

kN> = exp(2zi

(2.8;

of the N-particle

position operator,

2 rm-km). m

ant (2.9;

The Liouville operator _Yi was designed by Yr in paper I, where, in the absence of external forces, the operator 29 did not appear. The structure of these operators is made evident in eq. (A. 17) in terms oj a set of projection operators, which form a partition of the unit operator, as described in appendix A. It follows from the orthogonality of these projectors that P,uil[P]

= 1[8] SF@

(2.10;

= 0,

and

where the projector are defined as

g(kl... 1[8]

B = B(kl . . . kN) and its complement

1[P] = I[kl

kN) = jkl... kN>
a,,jat =

(2.121

Ikl... kN>(kl . . . kN[.

3. The N-body kinetic equation. from the Liouville equation

. . . kN:

To obtain

the N-body

kinetic

equatior (3.1

-i_Yp0

we proceed as in the derivation of eq. (4.9) of paper I. With the use of the orthogonality relations (2.10) and (2.1 l), corresponding to (3.19) and (3.20 of paper I, we obtain apo(t)iat i- iZlpo(t) = =

-iidP2o0(t) -

-i=Y2p0(t)

rd7

J dkNBYs

e-iP1[81r PPpo(t

-

T).

0

In this equation

_%‘2co(t)is given, as in eq. (4.13) of paper I, by

(3.2

B. LEAF

210

_Ys~e(t) = LYso’“(t) -

i rd7

j dkN 992

e-iS1lLPIT .Ps1[B]

oo(t -

T), (3.3)

0

where 1[8] e_(t) = e- iz[B’zlt 1[SP] @CO).

(3.4)

Using the formula for the exponential

A and B

of the sum of two operators

given in eq. (5.1) of paper I, eA+B = eA T exp ;dt e--t4 B et-4,

(3.5)

0

where T is the Dyson ordering operator, e-i~~~l[Bl

e -i7(ZLpl’+9~“)

=

e-iT2Wl

j-h . ..pN. =

=

e-i7_5fl’ =

e -i7(5?~‘+8~“+~2)1[~1

=

in terms of the operators wl(t,

I[?]

h

T exp{-_i

Wi(t)

we obtain Wl(d,

e-i7-LP1’

(3.6)

W(T)>

and W(t) defined as

. . . h) i &’

I[g]

eit’zl’

2:

e-it’zl’

w%

(3.7)

0 w(t,

PI

. ..PN.

h

=

T exp{-i

. . . kN)

s”dt’ 1[B] e’““” (9;

+ 92) e-it’Sl’

1[P]}.

(3.8)

0

Accordingly,

from (3.2), (3.3),

+0(t)/% + iPipo(t) 900(l)

(3.4) and (2. lo),

+ iY~p0(t) == -iY2ao(t)

OrdT j dkN BS?s e-iTzl’ W(T) (2; = 92@(t)

-

rds

S dkNPg2

+

92)

Ppo(t

-

(3.9)

4,

e-iTYLpI’Wi(T) 6psZ[g]

ao(t

-

T),

0

(3.10) 1[8] o:(t)

(3.11)

= ehitzl’ WI(t) 1[9] c&O).

From these Hilbert-space equations we obtain the phase-space equations with the help of eq. (3.7) of paper I. From (3.9) and (2.5), the N-body kinetic equation governing the time evolution of the probability density in r phase space, p(t, p1 . . . pN, t-1 . . . rN) is +(t,

pl

rl

. . . pN>

at

+

x

Pk

k

awk) -%G--•

. . . rN)

a&, k

pl

.

+(t,

pl

ark

P

...pN,

aPk

. . . PN,

rl

. . . rN)

rl

. . . IN)

BOLTZMANN

EQUATION

““‘ly

= -g

Ql) 3

FROM

LIOUVILLE

EQUATION

211

.(&-$--)o(t,Pl...PNA..YN)

m

-

PN, kl . . . kN)

drdkNg(T, PI...

s

0 X

n

J

dr’N e2rri?“*(‘r-rm’) ~(i! -

7, p1 . . . PN, ri , . . &),

(3.12)

where

g(T,PI . . . PN, kl .. . kN) =
“91’~(+?;

+ 92) Ikl... kN)-

(3.13)

As shown in eqs. (5.18) and (5.19) of paper I,
,-2~~~km~(~m+pm~id
x

...

(3.14)

rNl,

n

kN> = i T
92 [kl...

J

drN (rl

. . . rN) e2xif?‘*km (3.15)

Also, from (2.8), 2;

au(f-3)

(kl ..I kN> = i z

3

Accordingly, &,Pl

s

3

a

(3.16)

ap3

from (3.13) .*-pN,

x

drN\rl . . . mN>e2rriErm’km F.-.

z

[ jf

k1.e.

au(+) ark

kN)

.++zz j’
&j(lrb - &I) ar,

j’

It was shown in section 5 of paper I that ei7z,’

92

e-““”

=

Is

r,

p,(T,

(3.18)

PtPj),

j
where =923(7, ptp3)

=

J drN If-1 **. fN> &(T,

p43,

w3)
(3.19)

B. LEAF

212

- am -

(I+ -

r2 +

a

T/PI)

Pd

(3.20)

‘ark 1 ’

apk

the Liouville operator in the phase space of particles dependent interaction potential +(/rj - rt + (pj - pa) eirS1’ 2;

eWiTzLPI = C uj(~, pj), I

where YJ(T,

i and j with timeSimilarly,

T/,uj).

pj)

=

J drN

(3.21)

jr1 . . . rN> &(T,

pj,

rj)
(3.22)

. . . rNI,

with

-b(T, pj, rj) = i

au@, +&T/P)

.p a aP,

arjr

au(ri + PF/~U)

apj

a

lar

j

1

, (3.23)

the Liouville operator in the phase space of particle j with time-dependent external potential U(rj + pjT/,~). In k representation, 5Zj and Tt:, in (3.22) and (3.19) become &f,(T,

p,)

=

-2x

j dkN f dk’N Iki . . , k$>

J ds I1 6(k& - km - ~&n,~)u(s)

x

LOI m s . alap, - kjf a e2~iS*pf+/apj] x [e2ni*epdp


(3.24)

and u,(T> pi&)

x

s

= -2X

J

c dkN

s

dk’N 1ki . . . k&>

ds II d[% - km - +bn,j - &a,i)] p(s) m

LOI

a e2xis*(Pj-P+~/cc -

.(kj -

1

kt)
aPJ

According to (3.18) and (3.21) the exponential fined by (3.8), is given by w(T, PI =

. ..pN.

T

exp{-i

(3.25) operator

W in (3.17),

de-

kl -.. kN)

5 dT‘ I[B] n

&(T',

PI..

. PN)

1[8]},

(3.26)

BOLTZMANN

EQUATION

FROM

LIOUVILLE

EQUATION

213

where

A(T) is the Hilbert-space

Liouville

A(T) = s drN 111 . . . t-N> k?(~)
operator (3.28)

. . . rN\,

representation

M(T) = x &(T, PJ, rj) + x x -&(T, p&j I ZCI &f(T) is the Liouville tonian function

operator

v(T) = c u(r, +&T/P) i

(3.29)

r&).

for the time-dependent,

+ T
-

yg + (Pj -Pi)

interaction-hamil(3.30)

T/PI).

yc

The operator vO(T)

=

dri” Irr

j

. . . fN)

v(T)


(3.31)

. . . rNI,

depends on time through the similarity

transformation

v~(~) = eiT-%’ v. e-i~z~‘,

(3.32)

the same transformation as in (3.18) and (3.21) ; this is the transformation to picture of the “interaction” (or “Dirac”) picture from the “Schr%linger” the original Liouville equation (3.1). According to (3.26), -W(7 ) is determined, not by the Liouville operator h%!(T) arising from the time-dependent interaction hamiltonian k’(7) of (3.30), but by the projected operator I[g] d(T) l[P] from which the contribution at the point kr . . . kN has been elided. But, 1[9]

A(T)

=

1[9]

Jzt(T)

since, according

= -

I[P]

-

B(kl . . . kN)]

B(kl . . . kN)

to (3.24),

B(kl . . . kN) A(T) Therefore,

[I

J(T)

-

sdif(T)[f ./if(T)

-

B(kl . . . kN)] (3.33)

B(kl . . . kN),

(3.25) and (3.27)

B(kl . . . kN) = 0.

from (3.22), d(T) -

1[9’] s

=

j

drN Irr . . . rN> M(T)
drNS duNIt.

+ Ur, . . . . rN+

ffN)

. . . rNl e2rri:U’“+“M(T)
--drN~dUNIrl...rN>M(T)e-2rr’~um’*m<~l+U1,

. . . fNl

. . . . rN+UN(,

(3.34) which can no longer be expressed as a Liouville operator obtained from a classical hamiltonian function in the way that J(T) was obtained from V(T).

IX LEAF

214

In the language of diagrammatic representations, elision of the point at 1[B] in (3.26) is equivalent to the ki . . . kN by means of the projector statement that g(7, pi . . . pi, kl . . . kN) in (3.13) is a “diagonal fragment” s), a diagram in which none of the intermediate states is identical with the initial and final states, B(kl . . . kN) = Ikl . . . kN)(kl The properties of the operator W(T) in (3.26) appendix

. . . kNl. are described

further

in

B.

4. The one-particle kinetic equation. From the N-particle (3.12) we obtain the one-particle kinetic equation

I P . VlVPd -p. aW9 i3r ar !J

a/l(W) ____at =

s dr,

-r, n

x

Wr-

r’l)

at-

kinetic equation

VdtPr) aP

aS2(tprr') ap

l

M

1

dpN d(p,

/ 7s d

-P)

...PN.

dr'[a&,Pl

O&h)

0

eznikn’(r-r’) p(t

-

pl

7,

. . . pN,

r’),

(4.1)

where, as in paper I, fi(W)

= s drN J dpN c d(P,. - P) 6(r, n

the particle

x

o(k

rl . . . rN), (4.2)

density in the one-particle

.%(tprr’)= J drN

r) p(& p1 ...pN,

1 dpN C C

d(pn

phase space (normalized -p)

6(r,

-

r) d(r,

-

to N);

r’)

Wtf7l

pl...pN,

(4.3)

rl... IN),

a two-particle

density [normalized to N(N - l)] ; and g(~, p1 . . . pN, OLnl, kn) from g(~, p1 . . . pN, kl . . . kN) by setting all vectors kl . . . kN equal to zero except k,. Let

is obtained

v&> where from (3.17), comes

Vij = - Vji. Then the one-particle

I P . afl(tPr) au(r) ar p-e ar FL

Vi (W

at

=

dr,

f

a+(lr- f-7) ar

aS2(tprr’)

*

ap

afdtP4 aP

Pi . ..pN. k,), kinetic

equation

(4.4) be-

BOLTZMANN

V&T, PI

X

EQUATION

FROM

LIOUVILLE

kn) ezxikn’(‘--‘)P(t -

**-pN,

7,

pl

EQUATION

215

(4.5)

f’),

. . . PN,

where f’jn(T,

. . . PN, kn) =

PI

s

drN

dtlN 3(lr3

W(T,

p1 . . . PN,

au(f;)

ww - 64

I:

3f-i

j’
(

T/li)

arj OLnl, kn)

a

x 1f-i . . . t-k> e2xikn*rn’Z -.., at+ [ 3 z

rn + (Pj -Pn)

s

X e-2xi*n+n+pnr’p)
+

-

w a

a

’ --aP3*

(4.6)

Yjg’ >I

with, from (3.26) and (2.12), ‘r(T, Pi a.- PN, OLlzls kn)

= T exp{-i

i d$ I[O,,,, knl A(T’,

PI ..-PN) 1[&,

&I}.

(4.7)

0

Eq. (4.5) is an exact equation. The left-hand side exhibits the flow terms of the Boltzmann equation, including the contribution of an external force. If the external force is absent, we recover eqs. (6.11) and (6.12) of paper I. 5. Approximate one-particle kinetic eqzcation: the Boltzmann equation. Following the steps of section 7 of the previous paper, we now assume that the range of the intermolecular forces is short so that (1) we can set the term in SZ equal to zero in (4.5), (2) we can set k, = 0 in Vjn in (4.6) (“molecular chaos”), and (3) we can set 7 = 0 in p(t -- 7, p1 . . . pi, r’) in (4.5). These approximations give

dfl(tPr) -~ at

I P

afdtpd

af-

/

where the collision

C.T. = -

--. aw

ar

ap

* ”

(5.1)

term is

dpN T+F T&-S s

s

afl(tPd =; c T

s(pn -p)

00

x dT V&a 0

Pl -. . PN)

/‘(t, PI

. . . PN,

r),

(5.4

216

B. LEAF

where

Vjn = x

drN

drlN +(lrj

s

-

s

*n + (Pi at-j

-Pn) T//4)

rNI~(T,pl...pN,01...ON)Ir;...r~>


with W(T, Pl ...pN. 01 ...oN) =

T

exp{-i

i dT1 I[0 i . . . ON] d(T’,

0

pi . . .PN) I[& 1..ON]).

(54

Further we assume that the system is a gas at low density, in which case the collision term becomes, as in eq. (7.5) of paper I,

C.T. =

-

L.

Jdpl 1.dTJ’7(7,

PIP) fz(t, PIP, r),

aP where

fz is the

0’

two-particle

V(~,p~p) =

probability

Miri

density normalized to N(N -

[dri[drsSdr;[dri

x
+

(5.5)

- *;I) i3ri

l), and

29(‘r1-r2+~~1-p2)T’P’) kir6>

a . --~

(

ah

a

(5.6)

ap2)I ’

with the matrix element in the space of two particles, of the operator, Wis(7, ~1~2) = T exp{--i

[ &-’ 12[001 s drl s dr2 Inm

x [Ll(T', pl> fl) + Ll(T', p2, r2) + L12(7', plp2, x


rlf2)1

(5.7)

The Liouville operators Li and Liz are given in (3.23) and (3.20). The collision term (5.5) differs from that in paper I by the presence of terms arising from the external potential U(r). If we assume that over the short range of the collision the forces arising from U(r) are negligible compared to the intermolecular forces, then these extra terms can be dropped,

BOLTZMANN

so that the collision

EQUATION

FROM

term becomes

LIOUVILLE

217

EQUATION

the same as that obtained

in eqs. (7.5)

and (7.13) of paper I. In paper I we considered the weak-interaction case in which the ordered exponential operator wrs(~, prps) was replaced by the first term 1s in its power-series expansion. In this case the collision term agrees with the Boltzmann collision term for small-angle scattering. We shall now show that the approximate one-particle kinetic equation (5.1) with the collision term (5.5) gives, with further approximations, the full Boltzmann equation. As we have seen in (3.34), the time displacement effected by the operator process because of the elision of W12(7, P1P2) in (5.7) is not a hamiltonian the point (00) by the projector Zs[OO] = 1s - ]OO>
so

that

T

PlP2)

exp{-i

If;&

id+

Lis(~‘, ~1~2, r1r2)) d(rl - ri) d(rz -

0

(5.6) becomes,

(5.8)

rh),

when terms in U(t) are dropped, W(lr1

-

(P1-

r2 +

P2) d/4)

arl 7

x Texp

d+Lrs(T’,

PrPs,

V’s)

0

X

We further

%Wl arl

(

w2)

this expression =

i

%wl

(5.9)

aP2 )

aP1

approximate

L12(7> PlP2,

a

a f-21) .-----_-_

-

r2 +

by writing

a

(Pl - P2) hi) arl

5

)

(5.10) ignoring the part of the operator in (Z+b/i3pl).(a/arl - a/are). This approximation can be regarded as a further consequence of the assumption of molecular chaos in which spatial derivatives of the distribution functions are neglected. The collision term of (5.5) can now be written with these approximations as

B. LEAF

218 T

x Texp x

IS dT,

WS + (Pl -PI T’IPI)

ag

F*(&-$)f2& a4M

PIP,

(5.11)

f9>

where g = rr - rs, and we have used the theorem of eq. (8.19) in the previous paper to suppress the apparent divergence arising from the double integral j drr j drs of a function depending only on rr - rs. The theorem can be applied directly to (5.6) when Is[OO] is ignored. On adding the vanishing integral of a divergence, we obtain the collision term in the form

jdpljd++& _ +).[a""5 + (;;-p'r'p"

C.T.=

0 7

As a final approximation, we neglect the derivative of a$( ILj+ (pr 85 with respect to the relative momentum pr - p, writing

(&

WIS

=

+

(Pl -PI d/4)

-+J[

w!? + (Pl -PI d/4) ap .(&f). a!t

Since the derivative

can be written WI5

+

(++[ neglecting cordingly,

it is consistent

1 (5.13)

ag

the

]=(&

previous

$+[i$jp approximation

C.T. = [dp,[d5S;r$ 0 7 x

T exp

dT’ IS

0

W) x ;*(&-

am

f

T/P\)/

as

(Pl -PI d/4) with

- p)

(Pl-PP)

T'/P~)

aI

&)f.(t,PIP,

r)

(5.10).

Ac-

BOLTZMANN

EQUATION

FROM

LIOUVILLE

a+v2 + (2+ Prdd21i

ag

0

EQUATION

219

*(&A+] (5.15)

where b and z are the components ly to the direction of the relative

Pr=Pl--p,

z = 22,

t=b+z,

With z’ = z + prr/p C.T. =~d~~~

a9w2+

a+(b2 + 2’2)t agl

w

(5.16)

-co

P

s

dpl

2 = PrlPr.

dbJdz

ag

=

and parallel respective-

and 1’ = b + 2’2, we obtain

dz’ ___ PIP x

of g perpendicular momentum pr :

s

dbfi

P

00

-00

dz __ P,IP

a#p + .22)* 35

B. LEAF

220

jdp’sdb$[Texp{ ldTY.(&- 6)) - 1]

=

-- co x f2(4 PlP9

(5.17)

t),

where now, z = pg/,~. Accordingly, C.T. =

s

where

IPl -PI db I p s

dpi

we obtain

Vz(k

pi = ~exp{~d~~~o(-&

Pip’, r) L

r)l,

f2(& Pip,

(5.18)

$))p’,

(5.19)

$-)]p,

(5.20)

--m and

m [diF.(&

p’ = Texp{

-

-cc

Assuming that f2 can be factored f2(& pip,

we obtain

fl(tplr)

r) =

the collision

_afdw)

P

I

at

f-J

=

dpl s

6. Disczlssion

.

(5.21)

fl(tpr),

term of the Boltzmann

-m. au ar

afl(tpr)

au

db ‘p1;-p’ s of pi and p’.

afdtpr) ap

[fi(tPir) fl(tP’r) The interpretation

(5.19) and (5.20) can be understood operator,

W12(7-)= T exp{--i

equationd),

-

fl(tplr)

fl(tpr)].

(5.22)

of pi and p’ defined

from the properties

in

of the phase-space

d dT’ L12(7’,~1~2, rlr2)},

(6.1)

which appears in (5.8), where the projector 12[00] is ignored. For purposes of this discussion we can reinstate the negligible portion of the Liouville operator Liz which was omitted in (5.10). In the phase space of two particles, Wrs(~) has the same form as w(T) considered in appendix B, and defined in (B.11). The inverse operator, therefore, as in (B.20), is w;-,'(T) =

T exp{i i dT'L12[7', f'l(T')j'2(T'),rl(T') r2(7')1,

(6.2)

where, as in (B.26), L12[7,p1(7)

p2(7), n(T)

r2(7)1 =

&t(T)L12(7,

plp2,

w2)

w12(7).

(6.3)

BOLTZMANN

According

to (3.20),

dependent

EQUATION

L&T,

~1~2,

hamiltonian

Lrs[+r, PI(T)

p4~),

Ml(4

+(lrl -

FROM

LIOUVILLE

r1r2)is the Liouville r2 +

= &W

$(lrl--

12 +

221

operator for the time-

~/pi).According

(~1 - p4

rl(7)r2(7)]is the Liouville

- Q(7) + [Plb) -

EQUATION

to (B.15),

operator for the hamiltonian

P2(7)1 d/4) (pl -p2)

T/PI) W12(7).

(6.4

The operator W;~(T) effects a displacement along the phase-space trajectory from coordinates and momenta at the initial point to those at a point 7 later in time. The operator WIT effects the reverse displacement. If the initial time were taken at --oo instead of 0, so that initially Wrs(--00) = Wi_,‘(-co) = 1, instead of Wrs(0) = W;,‘(O) = 1 in (B.25), then we would have the displacement operators W;:(T)

=

T exp{i

i

d7’ L12[7’, PI(+) ~~47’)~ rl(T’) eMI},

--co

WE+) According 47, where A(T, trajectory.

= T exp{--i

(6.5)

i &’ L12(7’, ~1~2, w2)). -co

to (B. 19), for any dynamical PI(T) p2(7), u(7) r2(dl

= W&J

property, 4~

P1P2, w2L

(6.6)

prps, rlr2)is the value of the property at the initial point of the Accordingly, since Wrs(7) effects the reverse displacement,

W12(7) P,(T) = T expf-i In particular,

i dr’ L12(7’, prps, -co

rla))Pj(7)

for 7 -+ co, with the approximation

?.exp{ rdTt ~-(-&-

=Pj(-a).

(6.7)

(5.10) for Lrs,

- $)}p&) =pl(-m), (6.8)

Therefore in (5.19) and (5.20), if p1 = pi(m) and p = p(co) are the final momenta in a collision process governed by the hamiltonian + of (6.4), then pi = pr(-co) and p’ = p(-co) are the initial momenta: pi and p’ are initial momenta in the inverse collision5) between two molecules which results in the final momenta p1 and p.

B. LEAF

222

APPENDIX

In addition

Orthogonal set of firojection operators. fined in (2.12), construct the projectors Bi =

S dkiB(kr Wtl = j dki9(kl

where integration Pjm==

j dkj [&I

A

to the operator

9 de-

. . . kj’... klv) . . . k;...

kN)[l - S(k;-

is performed

omitting

kj)],

(A.])

the point kj = kj;

S dk&,(kI.,.kj...k&...kr&

(A4

Wml

of any pair of and so forth. Clearly 9’~~~... is symmetric to interchange subscripts. The unit operator in the Hilbert space of N particles can be partitioned in the following way: 1 = J dk’B(ki

. . . kN) + I[kl . . . klv]

. . . k;T) = B(kl

-~+;r:~~+C~~~m+~CC~~rnn+‘... I
(A.3

For a given set of values (kl . . . kN}, each projector in this partition projects onto a different part of the Hilbert space, so that the set of projectors is an orthogonal set; for example,

A hamiltonian to (A.0) as

operator

in the Hilbert

space can be expanded

according

Ho = S dk HoB(kl . . . kN) =Sdk[BHoB+~~~Hob+CC~5mHo~+...l, j
+ C BHoPj i representation

(A4

+ C x PHoPjm j
+ . ..I.

of this operator

is given [paper I, eq.

. ..pN. rr . . . TN) =
where 101 . . . ON> is the ket therefore

Ikl . . . kN) in which

H = j dkN
+ x gjHo@ I

(A4

(A-7) all kt = 0, i =

+ . ..) 101 . . . ON).

1 . . . N,

(-4.8)

,..a, ~~~+sN>~(~~...PN,s~...sN)<~I...~N(, (A-9)

BOLTZMANN

where the Fourier

EQUATION

FROM

LIOUVILLE

223

EQUATION

of H in (A.7) is

transform

h(pr . ..PN. kr . . . kN) = ,

(A. 10)

so that BHoP

= Ikl... kN>h(P1...&v,01...O~)
PjHoB

=

s ds Jkl....k,+

s, . . . kN>

to1 X h(pl

. ..pN.

01 . . . Sj . . .

(A. 1 1)

ON)(kl...knrj,

9J,mHoB =

j ds j ds’ Ikl . . . . kj+ s,....km+ s',...kN) LOI LOI X h(pl...pN,01...Sj...S7;2...ON)
Substitution function,

into (A.8) gives the expansion

H = h(& . ..pN. 01 . . . ON) + z

j

of the phase-space

hamiltonian

01...Sj

ds e2xis*rfk(pr . ..PN.

. . . ON)

3 ro1

+

Fez

IA

ds ,A ds’ e2rri(s’rr+S’*rm) (A. 12)

x h(pr . ..pN. 01 . . . sj . . . & . . . ON) + . . . . For the hamiltonian

given in (2.1) and (2.2)

k(pl

.-.pN,

01 ..a ON)

=

I; i

$,2/2/h

h(p1

. ..pN.

01 . . . Sj . . . ON) =

(A. 13)

for all j,

u(S),

01...sj...sh...ON)= 6(s+ d)v(s), for all j # m. h(Pl...PN. The corresponding

expansion

of the Liouville

u=SdkN[~~~+Z:83Y8+~:C~,dp~+...], 3

operator

Y is (A. 14)

j
or (A. 15) ~~=dkN[8~;48+~:88~~+C~C~~5,+...], I~k,.

ah(pl

i

9~99

. . . PN,

01 . . . ON)

aP3


ds)kl . . . . k,+s, ...kN)

= -2~ J lOI

x

h(pl

ah&

_ k 3’

a

. ..pN.

01 . . . sj . . . ON)s*---

. ..pN.

ah

01 . . . sj

aP,

. . . ON)

...&I, 1
(A.16)

B. LEAF

224

Pj,US

ds

= -2x s

lO1

LO1

x h(pl . ..pN. kj.--

X

a

ds’ Jkl . . . . k:, + s, . . . . km + s’, . . . kN) s

01 . . . sj . . . s& . . . ON) s*-

a aPm >

aPm

h(pl .., PN, 01 . . . Sj . . . Sh . . . ON)
For the hamiltonian of the present parison with (2.8), that Zi

aP5

+ s’.-

a

+ k,~-

aPI

a

problem,

using (A.13) we find on com-

= J dkN9’99, (A. 17)

APPENDIX

B

Properties of W( r ) in eq. (3.26). Time-dependent hamiltonian formalism. In (3.26), W(T) is the solution of the differential equation,

a7qT)/aT

=

-il[P]

An inverse operator w-+,

Jo

W(0) = 1.

1[9] W(T),

(B.1)

is defined by 6)

pi . . . PN, kl . . . kN) = T(‘) exp{i ; d7’ 1[9] .&(T’, pi

. . . pnr)

1[9’]),

(B.2)

0

where T(‘) is the reversed w(T)

“i+(T)

Introducing d@‘(T) we

see

=

time-ordering

=

1.

(W

w-l(T)

l[p]

A(T)

the differential

that

=

-iw(T)

PI

-..pN,

kl

T(‘) exp(-i

1[9]

(B.4)

w(T),

equation

(B.l)

A’(T),

which gives the alternative

=

so that from (3.26),

the operator

&v(T)/aT

yf(T,

operator,

can be written

W(0)

expression

for

W(T)

=

1,

as (W

as

..- kN)

i dT’ 0

J&(T’,

pl

. ..PN.

kl . . . kN)}.

W)

BOLTZMANN

EQUATION

FROM

LIOUVILLE

The inverse operator in (B.2) is the solution of the differential &Y--~(T)/% = iW-1(7) with W-i(O)

equation

1[8] &Y(T) 1[8] = i&!‘(7) W-~(T),

= 1, so that an alternative

225

EQUATION

(B.7)

to (B.2) is the expression

?cy--i(T, pi . ..pN. kl . . . kN) == T exp{i 1 dT’

J?(T’,

p1

kl . . . kN)}.

. . . PN,

(B-8)

0

The time displacement effected by the operator W(T) is a non-hamiltonian process according to (B. 1) and (3.34). But it may be remarked that if (B.l) is approximated by omitting the projector 1[P], ignoring elision of the point kl . . . kN, then ~W(T)/~T so

=

-id(T)

W(T),

(B.9)

that, from (3.28), w(T)

=

s

drN (,.I . . .

rN>

w(T)


(B.lO)

. . . rNl,

where

w(T) = T eXp(--i

id+

M(T’,

P1

. . . PN,

rl

. . . rN)},

(B.ll)

and W-~(T) = J drN

jr1

. . . rN>

wei(T)(rl

(B.12)

. . . rN1,

where = T eXp{i i dT’

w-l(7)

M’(T),

pl

. . . PN,

rl

. . . rN)},

(B. 13)

0

with M’(T)

=

w-l(T)

M(T)

(B.14)

w(T).

As noted in (3.29), &f(T) is the Liouville hamiltonian v(T) in (3.30). Likewise M’(T) ator for the hamiltonian UT, pi(~) ...PN(T). =

w-l(T)

v(T,

operator for the time-dependent in (B. 14) is the Liouville oper-

rl(7) . .. r&)1 pl

. . . pN,

rl

. . . rN)

(B. 15)

w(T).

It can be written

M’(T, pl

-9.

PN, rl . . . rN) =

M[T, pi(T) . . . PN(T), rl(T) . . . rN(T)]-

(B.16)

These results follow from general considerations for motion governed by a time-dependent hamiltonian. The equations of motion for the hamiltonian v[T, pi(T) ***PN(T), rl(T) -.-rN(T)] are

dP3(4 -----=-dT

i3V %(T)

drj(T)

aV

d7

2P, (4

-==. ’

(B.17)

B. LEAF

226

For any dynamical property A [T, PI(T) . . . IN, on the trajectory

Q(T) . . . t-N(T)] of the system

at time T,

dA j -= dT

= iM[T, PI(T) . . . PN(T), Q(T) . . . IN]

A + aA/a~.

(B. 18)

The solution of this equation is A [T, Pi(T) -. . &v(T), =

rl(T) . . . f-N(T)]

(B. 19)

A(T, p1 . . . pN, rl . . . rN),

w-l(T)

where w-l(T)

T eXp(i f ds’ M[T’, pl(T’)

=

0

. . . pN(T’),

rl(T’)

(B.20)

. . . rN(T’)].

To verify the expression (B. 11) for W(T), and hence (B. 13) for W-~(T), consider the Liouville equation for the probability density P(T, pl . . . pN, rl . . . rN) for an ensemble with time-dependent hamiltonian V(T) of (3.30), aP(T, pl . ..pN. rl . . . rN)/aT + ik!(T, p1 . . . pN,

rl

. . . rN)

P(T,

pl

. . . PN,

rl

. . . rN)

=

(B.21)

0.

The solution of this equation is rl-.. rN) =

P(T,Pl...j'N,

W(T)P(O,pl...pN,

where w(T) is given by (B.ll). p[T> h(T) =

Accordingly, dP[T,

The differential

. . . &V(T),

-iM(T,

-iw(T)

dW-l(T)/dT

JCT,

-

iw-l(T)

iM[T, hf(T,

with W(0) = W-r(O) = MIT,

P(o,pl...p~,

rl(T)

...

pl

. ..PN.

PI(T) PI(T) p1

and f’l

. . . PN(T),

ti

. . . PN(T), . . . pN,

rl

PI

governed by

7/(T),

(B.24) follow

w-l(T)

. . . rN)

w(T) (T)

. . . r%(T)], . . . IN]

W-~(T)

(B.25)

. . . rN),

1. Therefore, rl(T) ... ~N(T)I

=

pl...pN,

M(T,

(B.23)

t'N(T)]/dT = 0.

w(T)

rl... rN)

rl... rN).

PI(T) . . . PN(T), w-l(T)

W-l(T)P(T,pl...pN,

theorem results for the trajectory

equations for

dW(T)/dT =

=

w(T)

Liouville’s

PI(T)

=

Using (B.19) we obtain

'..$'N(T), 11(T) ... rN(T)] =

w-l(T)

(B.22)

rl...rN),

rl...

in agreement with (B.14) and (B.16).

IN)

w(T),

(B.26)

BOLTZMANN

EQUATION

FROM LIOUVILLE

EQUATION

227

According to (B.20), the operator W-~(T) effects a displacement of phasespace coordinates along the trajectory from the initial point to a point T later in time, the trajectory governed by V of (B.15). The operator W(T) effects the reverse displacement. This description in terms of a time-dependent hamiltonian holds only if the projector I[P] is ignored in (B.l). Relations analogous to those given here for W(T) and W-~(T), for systems with time-dependent hamiltonians, hold also in quantum mechanicss) .

REFERENCES 1) Leaf, B., Physica 58 (1972) 445. This reference is cited as paper I in the present work. 2) Leaf, B. and Schieve, W. C., Physica 36 (1967) 589; Leaf, B., J. math. Phys. 11 (1970) 1806. 3) Prigogine, I., Non-Equilibrium Statistical Mechanics, Interscience Publishers (New York, 1962). 4) Boltzmann, L., Wien. Ber. 66 (1872) 275. 5) Ter Haar, D., Elements of Statistical Mechanics, Holt, Rinehart and Winston, Inc. (New York, 1954). 6) Leaf, B., J. math. Phys. 9 (1968) 769.