Page 1

PHYSICAL REVIEW E 83, 041201 (2011)

Zwanzig-Mori equation for the time-dependent pair distribution function

Song-Ho Chong, Chang-Yun Son, and Sangyoub Lee*

Department of Chemistry, Seoul National University, Seoul 151-747, Korea

(Received 7 January 2011; revised manuscript received 7 March 2011; published 26 April 2011)

We develop a microscopic theoretical framework for the time-dependent pair distribution function starting

from the Liouville equation. An exact Zwanzig-Mori equation of motion for the time-dependent pair distribution

function is derived based on the projection-operator formalism. It is demonstrated that, under the Markovian

approximation, our equation reduces to the so-called telegraph equation that includes the potential of mean force

acting between the pair particles. With the additional approximation neglecting the inertia term, our equation

takes the form of Smoluchowski’s equation, which has been previously introduced with intuitive arguments and

shown to satisfactorily reproduce the simulation results of the particle-pair dynamics.

DOI: 10.1103/PhysRevE.83.041201PACS number(s): 61.20.Lc, 05.20.Jj, 82.20.−w

I. INTRODUCTION

The time-dependent pair distribution function g(r,r?,t),

describing the probability density of finding a pair of particles

separated by r at time t given that they were separated by r?at

time zero, is one of the fundamental quantities characterizing

liquid-state dynamics [1]. It is a central quantity determining

collision-induced absorption and depolarized Rayleigh and

Raman scattering spectra [2,3]. Its knowledge also enables

the calculation of the first encounter time distribution and

survival probability of reactive molecules [4,5], and it has

played an important role in the rigorous formulation of

the diffusion-influenced bimolecular reaction kinetics [6,7].

However,thetheoreticaldevelopmentforg(r,r?,t)isstillinthe

primitive stage compared to that for the van Hove correlation

functions [1].

The function g(r,r?,t) was first introduced by Oppenheim

and Bloom [8] in their study of nuclear magnetic relaxation in

fluids. However, their theory is valid only in the limit of free

particles and leads to unsatisfactory results even for the short-

time regime in the presence of interparticle interactions [9].

The exact short-time dynamics of g(r,r?,t) were subsequently

derived by Balucani and Vallauri [10], but calculating the

dynamics in the longer time regime was outside the scope

of their work. On the other hand, Haan [11] studied the

dynamic behavior of g(r,r?,t) from a different approach and

demonstrated that Smoluchowski’s equation with a potential

of mean force satisfactorily reproduces the simulation results

oftheparticle-pairdynamics.However,hisapproachresortsto

intuitive arguments and is not based on a first-principle theory.

The pair distribution function has also been investigated based

on the kinetic theory [12], but its applicability is limited to the

low-density regime.

In this paper, we develop a basic theoretical framework

for the time-dependent pair distribution function, starting

from the Liouville equation and using the projection-operator

technique. Such a rigorous framework has served as a basis

for developing successful liquid-state theories for the van

Hove correlation functions [1]. It is demonstrated that the

exact short-time behavior derived before and Smoluchowski’s

equation, which satisfactorily reproduced the simulation

*sangyoub@snu.ac.kr

results in the longer time regime, naturally follow from the

exact equation of motion for g(r,r?,t) that we will derive

in the present work. Our result will therefore provide a

rigorous basis for developing improved theories dealing with

the time-dependent pair distribution function.

The paper is organized as follows. In the next section, we

derive an exact Zwanzig-Mori equation of motion for the

time-dependent pair distribution function, starting from the

Liouville equation for the whole system comprising a central

particle pair and surrounding solvent particles. Section III

discusses the implications of the derived equation, and the

Appendix is devoted to a derivation of the initial value of the

memory function.

II. EXACT EQUATION OF MOTION

A. Liouville equation

We consider a classical fluid of N spherical particles of

mass m at a temperature T confined in a volume V, in which

two tagged particles, A and B, are dissolved. For simplicity,

the tagged particles are assumed to be mechanically identical

to solvent particles. The Hamiltonian of the total system is

given by

H = K + U,

(1)

with the kinetic energy part

K =

p2

2m+p2

AB

2m+

N

?

i=1

p2

2m,

i

(2)

and the potential energy part

U = φ(rAB) +

N

?

i=1

[φ(rAi) + φ(rBi)] +1

2

N

?

i,j (i?=j)

φ(rij).

(3)

Here, piand ridenote the momentum and position vectors

of the particle i, respectively, and we have assumed that the

total potential is represented by a sum of radially symmetric

potential functions φ(rij) that depend only on the particle

separation rij= |ri− rj|.

041201-1

1539-3755/2011/83(4)/041201(10)©2011 American Physical Society

Page 2

SONG-HO CHONG, CHANG-YUN SON, AND SANGYOUB LEE PHYSICAL REVIEW E 83, 041201 (2011)

According to classical mechanics, Newton’s equation of

motion of a dynamical variable—say, A(t)—can be written in

the form

d

dtA(t) = {H,A(t)} ≡ iLA(t),

which is called the Liouville equation [1]. Here the symbol

{ , } denotes a classical Poisson bracket, and the Liouville

operator iL of the total system is given by

?

(4)

iL =

i=A,B,1,...,N

?pi

m·

∂

∂ri

−∂U

∂ri

·

∂

∂ pi

?

.

(5)

B. Time-dependent pair distribution function

Of primary interest in the present work is the joint

probability distribution function

G(r,r?,t) ≡ V?δ(r − rAB(t))δ(r?− rAB(0))?.

Here, rAB(t) = rA(t) − rB(t) denotes the separation of the

particles A and B at time t, and ?···? represents the canonical

ensemble average

?

i=A,B,1,...,N

In this expression, β = 1/(kBT), with kBbeing Boltzmann’s

constant and Z denoting the partition function

?

i=A,B,1,...,N

The initial value of G(r,r?,t) is given by

(6)

?···? =1

Z

?

[d pidri]e−βH···.

(7)

Z =

?

[d pidri]e−βH.

(8)

G(r,r?,0) = Vδ(r − r?)?δ(r − rAB)? = δ(r − r?)g(r)

in terms of the radial distribution function g(r) [1]. This result

accounts for the name time-dependent pair distribution func-

tion given to G(r,r?,t). In the long-time limit, the average in

Eq. (6) can be factored, yielding

(9)

lim

t→∞G(r,r?,t) =1

Vg(r)g(r?).

(10)

Let us also introduce the conditional distribution function

g(r,r?,t) ≡ G(r,r?,t)/g(r?),

(11)

which is proportional to the probability of finding a pair of

particlesseparatedbyr attimet,giventhattheywereseparated

by r?at time zero. The initial value and the long-time limit are

given by

g(r,r?,0) = δ(r − r?) and lim

The time-dependent pair distribution function obeys the

Liouville equation

t→∞g(r,r?,t) =1

Vg(r). (12)

d

dtG(r,r?,t) = iLG(r,r?,t),

(13)

and so does the conditional distribution function g(r,r?,t). In

the following, we shall rewrite this equation of motion using

the projection-operator formalism.

C. Projection-operator formalism

Here,wesummarizetheprojection-operatorformalismthat

is to be used in deriving the exact equation of motion for

G(r,r?,t). Let us consider time-correlation functions formed

with a set of dynamical variables {Ai(r)}:

Cij(r,r?,t) ≡ (Ai(r,t),Aj(r?,0)) ≡ V?Ai(r,t)Aj(r?,0)?.

(14)

Hereafter,theabsenceoftheargumentt impliesthatassociated

quantities are evaluated at time t = 0. For example, we shall

denote the initial value of Cij(r,r?,t) as

Cij(r,r?) = (Ai(r),Aj(r?)) = V?Ai(r)Aj(r?)?.

Letusintroducetheprojectionoperatorontoasetofdynamical

variables {Ai(r)} via

?

(15)

PX(r) ≡

j,?

?

dr?

?

dr??(X(r),Aj(r?))C−1

j?(r?,r??)A?(r??).

(16)

Here, C−1

defined through

ij

denotes an element of the inverse matrix of Cij

?

?

?

dr??Ci?(r,r??)C−1

?j(r??,r?) = δijδ(r − r?).

(17)

The complementary operator is defined by Q ≡ I − P, with

I being the identity operator. One can easily show that the

operators P and Q are idempotent and Hermitian.

Once the projection operator satisfying the idempotency

and Hermitianity is introduced, it is straightforward to obtain

from the Liouville equation

d

dtCij(r,r?,t) = iLCij(r,r?,t)(18)

the following exact Zwanzig-Mori equation of motion [1]:

?

?

×C?j(r??,r?,τ).

Here, the frequency matrix is defined by

?

d

dtCij(r,r?,t) =

?

−

?

dr??i?i?(r,r??)C?j(r??,r?,t)

?

?

dr??

?t

0

dτ Ki?(r,r??,t − τ)

(19)

i?ij(r,r?) =

?

?

dr??(iLAi(r),A?(r??))C−1

?j(r??,r?), (20)

while the memory-function matrix reads

?

in terms of the fluctuating force given by

Kij(r,r?,t) =

?

?

dr??(Ri(r,t),R?(r??))C−1

?j(r??,r?),

(21)

Ri(r,t) = eiQLQtRi(r),

(22)

041201-2

Page 3

ZWANZIG-MORI EQUATION FOR THE TIME-DEPENDENT ...

PHYSICAL REVIEW E 83, 041201 (2011)

with

Ri(r) = iLAi(r) −

?

?

?

dr?i?i?(r,r?)A?(r?).

(23)

D. Exact equation of motion for the time-dependent pair

distribution function

Here we derive the exact equation of motion for G(r,r?,t)

using the result from the previous subsection. To this end, we

introduce dynamical variables

ρ(r,t) = δ(r − rAB(t)),

j(r,t) = vAB(t)δ(r − rAB(t)),

(24)

(25)

so that A0(r) = ρ(r), A1(r) = jx(r), A2(r) = jy(r), and

A3(r) = jz(r). Here, vAB= pA/m − pB/m denotes the rel-

ative velocity. Notice that the function G(r,r?,t) in which

we are interested is given by the (0,0) component of

Cij(r,r?,t),

C00(r,r?,t) = G(r,r?,t).

(26)

For later convenience, let us also introduce the following

notation:

Hx(r,r?,t) ≡ C10(r,r?,t),Hy(r,r?,t) ≡ C20(r,r?,t),

(27)

Hz(r,r?,t) ≡ C30(r,r?,t).

We first evaluate the elements Cij(r,r?) and C−1

staticensembleaveragesformedwiththevariablesinEqs.(24)

and (25), we obtain

?ρ(r)ρ(r?)? =1

?ρ(r)jβ(r?)? = ?jα(r)ρ(r?)? = 0,

?jα(r)jβ(r?)? =1

Here,α andβ refertox,y,orz,andv2≡ kBT/μisthethermal

velocity with the reduced mass μ = m/2. We therefore obtain

from the definition (15)

ij(r,r?). For

Vδ(r − r?)g(r?),

(28)

(29)

Vδαβv2δ(r − r?)g(r?).

(30)

C(r,r?) = δ(r − r?)g(r)

⎛

⎜

⎜

⎜

⎝

1

0

0

0

0

v2

0

0

0

0

v2

0

0

0

0

v2

⎞

⎟

⎟

⎟

⎠,

(31)

and from Eq. (17), the inverse is given by

C−1(r,r?) = δ(r − r?)

1

g(r)

⎛

⎜

⎜

⎜

⎝

1

0

0

0

00

0

0

0

0

1/v2

0

0

1/v2

01/v2

⎞

⎟

(32)

⎟

⎟

⎠.

We next calculate static ensemble averages involving time

derivatives to obtain the expression for i?(r,r?). Due to the

time-reversal symmetry, the following equations hold:

?[iLρ(r)]ρ(r?)? = 0,

?[iLjα(r)]jβ(r?)? = 0.

(33)

For the rest, we use the continuity equation

iLρ(r) = −vAB· ∇δ(r − rAB) = −∇ · j(r),

to obtain

?[iLρ(r)]jα(r?)? = −1

(34)

Vv2∇α[δ(r − r?)g(r)],

(35)

?[iLjα(r)]ρ(r?)? = −?jα(r)[iLρ(r?)]?

=

1

Vv2∇?

α[δ(r − r?)g(r)],

(36)

where we have used the Hermitian property of L, which can

easily be derived from the definition (5). Here and in the

following, ∇α and ∇?

∇ ≡ ∂/∂r and ∇?≡ ∂/∂r?. Let us notice

1

g(r?)∇α[δ(r − r?)g(r)] = ∇αδ(r − r?),

αrefer to the x, y, or z component of

(37)

whereas

1

g(r?)∇?

= ∇?

= −∇αδ(r − r?) − βδ(r − r?)∇αw(r),

where we have introduced the potential of mean force [1]

α[δ(r − r?)g(r)]

αδ(r − r?) + δ(r − r?)∇?

αlog[g(r?)]

(38)

w(r) ≡ −kBT logg(r).

(39)

Using the results so far, we obtain from Eq. (20)

i?(r,r?) =

⎛

⎜

⎜

⎜

⎝

0

−∇xδ(r − r?)

0

0

0

−∇yδ(r − r?)

0

0

0

−∇zδ(r − r?)

0

0

0

−v2∇xδ(r − r?) − βv2δ(r − r?)∇xw(r)

−v2∇yδ(r − r?) − βv2δ(r − r?)∇yw(r)

−v2∇zδ(r − r?) − βv2δ(r − r?)∇zw(r)

⎞

⎟

⎟

⎟

⎠.

(40)

041201-3

Page 4

SONG-HO CHONG, CHANG-YUN SON, AND SANGYOUB LEE PHYSICAL REVIEW E 83, 041201 (2011)

Now we can calculate R(r) from Eq. (23). Using the

continuity equation (34), we have

tR(r) = (0

Rx(r)

Ry(r)

Rz(r)),

(41)

where the superscript “t” denotes the transpose, and

Rα(r) = iLjα(r) + v2∇αρ(r) + βv2ρ(r)∇αw(r).

One therefore obtains from Eqs. (21) and (32)

(42)

K(r,r?,t)

=

⎛

⎜

⎜

⎜

⎝

0

0

0

0

000

Kxx(r,r?,t)

Kyx(r,r?,t)

Kzx(r,r?,t)

Kxy(r,r?,t)

Kyy(r,r?,t)

Kzy(r,r?,t)

Kxz(r,r?,t)

Kyz(r,r?,t)

Kzz(r,r?,t)

⎞

⎟

⎟

⎟

⎠,

(43)

with

Kαβ(r,r?,t) ≡V

v2?Rα(r,t)Rβ(r?)?/g(r?).

(44)

The initial value of Kαβ(r,r?,t) is evaluated in the Appendix,

and the result under Kirkwood’s superposition approximation

for a triple-density correlation function [see Eqs. (A36) and

(A37)] is given in Eq. (A38).

Summarizing the results so far, we obtain the following

set of exact equations of motion involving G(r,r?,t) and

Hα(r,r?,t):

d

dtG(r,r?,t) = −∇ · H(r,r?,t),

(45)

d

dtHα(r,r?,t)

= −v2∇αG(r,r?,t) − βv2G(r,r?,t)∇αw(r)

−

β

?

?

dr??

?t

0

dτ Kαβ(r,r??,t − τ)Hβ(r??,r?,τ). (46)

Combining these two equations, one obtains

d2

dt2G(r,r?,t) = v2∇2G(r,r?,t) + βv2∇ · {G(r,r?,t)∇w(r)}

?

×Hβ(r??,r?,τ).

The equation just derived is still not in a useful form, and

further manipulation shall therefore be performed in the

following subsection.

+

α,β

?

dr??

?t

0

dτ ∇αKαβ(r,r??,t − τ)

(47)

E. Further manipulation

The manipulation we will do here is to eliminate Hβ in

favor of G from the last term in Eq. (47). This is possible by

exploiting the isotropy of the system, according to which the

current density can be decomposed into the longitudinal and

transverse components

j(r,t) = jL(r,t) + jT(r,t),

(48)

satisfying

∇ × jL(r,t) = 0,

∇ · jT(r,t) = 0.

(49)

(50)

The longitudinal component jL,α(r,t) can be written in terms

of a scalar function ψ(r,t) as

jL,α(r,t) = ∇αψ(r,t).

(51)

Sincethedensityfluctuationcouplesonlywiththelongitudinal

current fluctuation in the isotropic system, there holds

Hα(r,r?,t) = (jα(r,t),ρ(r?,0)) = (jL,α(r,t),ρ(r?,0))

= ∇α?(r,r?,t),

where in the final equality we have introduced the time-

correlation function

(52)

?(r,r?,t) ≡ (ψ(r,t),ρ(r?,0)).

(53)

It then follows from Eq. (45) that

d

dtG(r,r?,t) = −∇2?(r,r?,t).

Thus, Hα and G are connected via the function ? through

Eqs. (52) and (54).

To see a more direct connection, it is more convenient

to work in the Fourier space. Let us introduce the Fourier

transform (FT) of G(r,r?,t) via

?

and its inverse relation by

?

TheFTsofotherfunctionsshallbedefined similarly.Onethen

obtains from Eqs. (52) and (54)

(54)

F(k,k?,t) =

dr eik·r

?

dr?e−ik?·r?G(r,r?,t),

(55)

G(r,r?,t) =

1

(2π)6

dke−ik·r

?

dk?eik?·r?F(k,k?,t).

(56)

Hα(k,k?,t) = −ikα?(k,k?,t),

d

dtF(k,k?,t) = k2?(k,k?,t),

(57)

and hence

Hα(k,k?,t) = −ikα

k2

d

dtF(k,k?,t).

(58)

Let us use this result to rewrite the last term in Eq. (47).

Using the product rule

?

=

(2π)3

the FT of the last term in Eq. (47) is found to be given by

??

?

dreik·r

?

dr?e−ik?·r???

?

dr??A(r,r??)B(r??,r?)

?

1

dk??A(k,k??)B(k??,k?),

(59)

FT of

α,β

?

dr??

?t

dτ KL(k,k??,t − τ)d

0

dτ ∇αKαβ(r,r??,t − τ)Hβ(r??,r?,τ)

?

= −

dk??

?t

0

dτF(k??,k?,τ),

(60)

041201-4

Page 5

ZWANZIG-MORI EQUATION FOR THE TIME-DEPENDENT ...

PHYSICAL REVIEW E 83, 041201 (2011)

where we have introduced

KL(k,k?,t) ≡

?

α,β

kαk?

(k?)2Kαβ(k,k?,t).

β

(61)

Equation (47) can then be written as

d2

dt2G(r,r?,t)

= v2∇2G(r,r?,t) + βv2∇ · {G(r,r?,t)∇w(r)}

−

0

with the memory kernel KL(r,r?,t), which is an inverse FT of

KL(k,k?,t).

Finally, we notice that all of the differential operators in

Eq. (62) do not involve r?, so this equation holds also for

the conditional distribution function g(r,r?,t) introduced in

Eq. (11).

?

dr??

?t

dτ KL(r,r??,t − τ)d

dτG(r??,r?,τ),

(62)

III. DISCUSSION

In this section, we discuss implications of the exact

Zwanzig-Mori equation (62) in connection with the previous

related work and with the corresponding equation for the van

Hove self-correlation function. We start from the short-time

expansion of G(r,r?,t),

G(r,r?,t) = G(r,r?,0) +t2

in which only even powers of time appear, due to the time-

reversal symmetry. The initial value is given in Eq. (9). For the

initial second time derivative, one obtains by setting t = 0 in

Eq. (62) and using the definition (39) for the potential of mean

force

¨G(r,r?,0) = v2∇2G(r,r?,0) − v2∇ · {G(r,r?,0)∇ log[g(r)]}

= v2∇2{δ(r − r?)g(r)} − v2∇ · {δ(r − r?)∇g(r)}.

2

¨G(r,r?,0) + O(t4),

(63)

(64)

This expression can be rewritten in a more symmetrical form

with respect to r and r?as

¨G(r,r?,0) = −v2∇ · ∇?[δ(r − r?)g(r?)],

showing that¨G(r,r?,0) is negative definite when viewed as a

matrix with indices r and r?. This result agrees with the one

derived in the previous work [1,10]. The short-time expansion

for g(r,r?,t) can be obtained in a similar manner, with the

result

g(r,r?,t) = g(r,r?,0) +t2

in which g(r,r?,0) = δ(r − r?) and

¨ g(r,r?,0) = v2∇2δ(r − r?) + βv2∇ · [δ(r − r?)∇w(r)].

(65)

2¨ g(r,r?,0) + O(t4),

(66)

(67)

We next consider the long-time diffusive regime. Let us

introduce the following Markovian approximation for the

memory kernel

KL(r,r?,t) ≈v2

Dr

δ(r − r?)δ(t),

(68)

intermsoftherelativediffusionconstantDr.Onethenobtains

from Eq. (62) for g(r,r?,t) [see the comment below Eq. (62)]

d2

dt2g(r,r?,t) = v2∇2g(r,r?,t) + βv2∇ · [g(r,r?,t)∇w(r)]

−v2

Dr

d

dtg(r,r?,t).

(69)

By introducing

Dr=kBT

ζr

and ¯β =ζr

μ,

(70)

Eq. (69) can be rewritten as

¯β−1d2

dt2g(r,r?,t) +d

=kBT

ζr

dtg(r,r?,t)

∇ · [∇g(r,r?,t) + βg(r,r?,t)∇w(r)].

(71)

This equation is formally identical to the so-called telegraph

equation [13]. The telegraph equation is conventionally de-

rived startingfromtheFokker-Planck equation [13],butitalso

follows from the Liouville equation, as we have demonstrated

here.

If one further neglects the inertia term in Eq. (69), one

obtains the following equation, which takes the form of

Smoluchowski’s equation

d

dtg(r,r?,t) = Dr{∇2g(r,r?,t) + β∇ · [g(r,r?,t)∇w(r)]}.

(72)

This equation is the one proposed by Haan with intuitive

arguments, and has been shown to satisfactorily reproduce

the simulation result for g(r,r?,t) [11].

Finally,letuscomparetheequationsforthetime-dependent

pair distribution function g(r,r?,t) with the corresponding

equations for the more familiar van Hove self-correlation

function Gs(r,t) [1] to highlight the new feature in the former

equations. The van Hove self-correlation function, defined

by Gs(r,t) ≡ ?δ(r − [rA(t) − rA(0)])?, is associated with the

probability that a single tagged particle moves to a position

that is separated by r from its initial position during the

time t. The initial value and the long-time limit are given by

Gs(r,0) = δ(r) and limt→∞Gs(r,t) = 1/V, which are to be

compared with those for g(r,r?,t) given in Eq. (12). Using the

similar projection-operator technique presented in Sec. II, one

obtains the following Zwanzig-Mori equation for Gs(r,t) [1]:

d2

dt2Gs(r,t) = v2

s∇2Gs(r,t)

?

−

dr??

?t

0

dτ Ks,L(r−r??,t−τ)

d

dτGs(r??,τ),

(73)

where v2

ory kernel, which is to be compared with Eq. (62). From this

equation, the short-time expansion is given by

s= kBT/m and Ks,L(r,t) is the corresponding mem-

Gs(r,t) = Gs(r,0) +t2

2

¨Gs(r,0) + O(t4),

(74)

041201-5

Page 6

SONG-HO CHONG, CHANG-YUN SON, AND SANGYOUB LEE PHYSICAL REVIEW E 83, 041201 (2011)

with Gs(r,0) = δ(r) and

¨Gs(r,0) = v2

s∇2δ(r),

(75)

to be compared with Eq. (67). Under the Markovian approx-

imation Ks,L(r,t) = (v2

diffusion constant, and neglecting the inertia term, one obtains

from Eq. (73) the ordinary diffusion equation

s/Ds)δ(r)δ(t), with Ds denoting the

d

dtGs(r,t) = Ds∇2Gs(r,t),

(76)

to be compared with Eq. (72). Thus, the essential difference

between the equations for g(r,r?,t) and the corresponding

equationsforGs(r,t)isintheappearanceoftheterminvolving

the potential of mean force w(r) = −kBT logg(r) in the

former, and this holds in both the short-time and long-time

regimes. In fact, while Gs(r,t → ∞) = 1/V is a steady-state

solution to Eq. (76), the structural effects enter even into

the long-time limit g(r,r?,t → ∞) = (1/V)g(r) that solves

Eq.(72)inthesteady-statelimit.Itisthusexpectedthat,unlike

thedynamicsofGs(r,t),whoserelaxationfromtheinitialdelta

functiontowardthelong-timelimit1/V isratherstructureless,

thedynamicsofg(r,r?,t)arestronglyaffectedbythestructural

effects in the whole time regime. Indeed, molecular-dynamics

simulation results for g(r,r?,t) in Refs. [11,14] have demon-

strated that its time evolution is characterized by a relaxation

towardcertainfavoredseparationsassociatedwiththepeaksof

g(r): Particles initially separated by a distance corresponding

to a peak of g(r) tend to retain that separation for a long

time, whereas those initially not in a favored position quickly

lose their initial separation and attain separations associated

with the peaks of g(r). Our exact equation of motion provides

a microscopic basis for understanding such structural effects

that show up in the dynamics of g(r,r?,t).

Inthispaper,wederivedanexactZwanzig-Moriequationof

motionforthetime-dependentpairdistributionfunction,start-

ing from the Liouville equation and based on the projection-

operator formalism. The derived Eq. (62) reproduces the exact

short-time behavior that has been derived before and reduces

to Smoluchowski’s equation, which has been demonstrated

to yield satisfactory results in the diffusion regime. For the

intermediate time regime, on the other hand, one needs to take

intoaccountnon-Markovianeffectsinthememorykernel.The

simplest approximation would be the so-called viscoelastic

model, in which the time dependence of the memory kernel is

assumed to be exponential [1]. This approximation becomes

even more tractable when it is combined with the method in

[15,16], which estimates the relaxation time in the viscoelastic

model solely based on the initial value of the memory kernel.

Such an approximation is feasible for g(r,r?,t), since we have

derived the initial value of the memory kernel [see Eq. (A38)].

Another possibility is to develop a mode-coupling theory that

does not assume the decay form of the memory kernel [1],

which, however, requires further theoretical work. The basic

theoretical framework for the time-dependent pair distribution

function we presented here will serve as a basis for such

developments.

ACKNOWLEDGMENTS

This work was supported by grants from the National

Research Foundation (NRF), funded by the Korean gov-

ernment (Grant Nos. 0409-20100158, 2009-0074693, and

2010-0001631).

APPENDIX: INITIAL VALUE OF THE MEMORY KERNEL

In this Appendix, we derive the expression for the initial

value of the memory kernel, Kαβ(r,r?,0), which according to

Eqs. (42) and (44) is given by

Kαβ(r,r?,0) =

V

v2g(r?)?Rα(r)Rβ(r?)?,

(A1)

with

Rα(r) =˙jα(r) + v2∇αρ(r) + βv2ρ(r)∇αw(r).

Here and in the following discussion, the dot denotes the time

derivative,˙A = (d/dt)A = iLA. From the definition in (25),

the time derivative of jα(r) is given by

?

Substituting Eq. (A2) into Eq. (A1) yields

(A2)

˙jα(r) = ˙ vα

ABδ(r − rAB) −

γ

vα

ABvγ

AB∇γδ(r − rAB).

(A3)

Kαβ(r,r?,0) =

V

v2g(r?){?˙jα(r)˙jβ(r?)? + v2∇?

+v4∇α∇?

+βv4[∇αw(r)]∇?

β?˙jα(r)ρ(r?)? + βv2[∇?

βw(r?)]∇α?ρ(r)ρ(r?)? + βv2[∇αw(r)]?ρ(r)˙jβ(r?)?

β?ρ(r)ρ(r?)? + β2v4[∇αw(r)][∇?

βw(r?)]?˙jα(r)ρ(r?)? + v2∇α?ρ(r)˙jβ(r?)?

β?ρ(r)ρ(r?)? + βv4[∇?

βw(r?)]?ρ(r)ρ(r?)?}.

(A4)

Using Eq. (28) for the terms involving ?ρ(r)ρ(r?)?, one obtains

Kαβ(r,r?,0) =

V

v2g(r?){?˙jα(r)˙jβ(r?)? + v2∇?

+v2∇α?ρ(r)˙jβ(r?)? + βv2[∇αw(r)]?ρ(r)˙jβ(r?)??

+

+β[∇αw(r)]∇?

β?˙jα(r)ρ(r?)? + βv2[∇?

βw(r?)]?˙jα(r)ρ(r?)?

v2

g(r?){∇α∇?

β[δ(r − r?)g(r)] + β[∇?

β[δ(r − r?)g(r)] + β2[∇αw(r)][∇?

βw(r?)]∇α[δ(r − r?)g(r)]

βw(r?)]δ(r − r?)g(r)}.

(A5)

041201-6

Page 7

ZWANZIG-MORI EQUATION FOR THE TIME-DEPENDENT ...

PHYSICAL REVIEW E 83, 041201 (2011)

In the following, we shall calculate the terms involving the

averages ?˙jα(r)˙jβ(r?)?, ?˙jα(r)ρ(r?)?, and ?ρ(r)˙jβ(r?)?.

1. Calculation of the terms involving ?˙jα(r)ρ(r?)?

and ?ρ(r)˙jβ(r?)?

Using Eq. (A3), one can derive

?˙jα(r)ρ(r?)? = δ(r − r?)?˙ vα

ABδ(r − rAB)?

−v2

V∇α[δ(r − r?)g(r)].

(A6)

Similarly, there holds

?ρ(r)˙jβ(r?)? = δ(r − r?)?˙ vβ

ABδ(r − rAB)?

β[δ(r − r?)g(r)].

−v2

V∇?

(A7)

Now, we need to calculate ?˙ vα

From Newton’s equation of motion, we have

ABδ(r − rAB)?.

˙ vα

AB= −1

m

∂U

∂rα

A

+1

m

∂U

∂rα

B

,

(A8)

where U denotes the potential of the total system given in

Eq. (3). We therefore obtain

?˙ vα

ABδ(r − rAB)?= −1

m

?∂U

?∂U

∂rα

A

δ(r − rAB)

?

?

+1

m ∂rα

B

δ(r − rAB)

.

(A9)

Here, we use the following well-known relation [1],

?∂U

A

to obtain

?˙ vα

Using this result, one gets from Eqs. (A6) and (A7)

∂rα

f

?

= kBT

?∂f

∂rα

A

?

,

(A10)

ABδ(r − rAB)?=v2

V∇αg(r).

(A11)

?˙jα(r)ρ(r?)? =v2

Vδ(r − r?)∇αg(r) −v2

V∇α[δ(r − r?)g(r)],

(A12)

?ρ(r)˙jβ(r?)? =v2

Vδ(r − r?)∇βg(r) −v2

V∇?

β[δ(r − r?)g(r)].

(A13)

Substituting these results into Eq. (A5) yields

Kαβ(r,r?,0) =

V

v2g(r?)?˙jα(r)˙jβ(r?)? +

+∇α[δ(r − r?)∇βg(r)] − ∇α∇?

v2

g(r?){∇?

β[δ(r − r?)∇αg(r)] − β2[∇αw(r)][∇?

β[δ(r − r?)g(r)]}.

βw(r?)]δ(r − r?)g(r)

(A14)

2. Calculation of the term involving ?˙jα(r)˙jβ(r?)?

We next consider the term involving ?˙jα(r)˙jβ(r?)?. From Eq. (A3), one obtains

?˙jα(r)˙jβ(r?)? = δ(r − r?)?˙ vα

+

γ,γ?

AB˙ vβ

ABδ(r − rAB)?− v2∇?

β

?δ(r − r?)?˙ vα

ABδ(r − rAB)??− v2∇α

?δ(r − r?)?˙ vβ

ABδ(r − rAB)??

?

?vα

ABvγ

ABvβ

ABvγ?

AB∇γδ(r − rAB)∇?

γ?δ(r?− rAB)?.

(A15)

The last term survives only when (i) α = β = γ = γ?, (ii) α = β and γ = γ?or α ?= γ, (iii) γ = α and γ?= β, and (iv) γ = β

and γ?= α—that is, the following condition holds:

lastterminEq.(A15) =v4

V

?

∇α∇?

β+ ∇?

α∇β+ δαβ

?

γ

∇γ∇?

γ

?

[δ(r − r?)g(r)],

(A16)

in deriving which we have used ?(vα

right-hand side of Eq. (A15), we obtain

AB)4? = 3v4and ?(vα

AB)2? = v2. Using Eq. (A11) for the second and third terms on the

?˙jα(r)˙jβ(r?)? = δ(r − r?)?˙ vα

AB˙ vβ

ABδ(r − rAB)?−v4

β+ ∇?

V∇?

β[δ(r − r?)∇αg(r)] −v4

?

V∇α[δ(r − r?)∇βg(r)]

+v4

V

?

∇α∇?

α∇β+ δαβ

?

γ

∇γ∇?

γ

[δ(r − r?)g(r)].

(A17)

Substituting this result into Eq. (A14) gives

Kαβ(r,r?,0) =

V

v2g(r?)δ(r − r?)?˙ vα

−β2[∇αw(r)][∇?

AB˙ vβ

ABδ(r − rAB)?+

v2

g(r?)

??

∇?

α∇β+ δαβ

?

γ

∇γ∇?

γ

?

[δ(r − r?)g(r)]

βw(r?)]δ(r − r?)g(r)

?

.

(A18)

041201-7

Page 8

SONG-HO CHONG, CHANG-YUN SON, AND SANGYOUB LEE PHYSICAL REVIEW E 83, 041201 (2011)

Now we are left with the average ?˙ vα

AB˙ vβ

ABδ(r − rAB)?. From Eq. (A8), we have

ABδ(r − rAB)?=

1

m2

∂rα

?˙ vα

AB˙ vβ

1

m2

?

∂U

∂rα

?

A

∂U

∂rβ

A

δ(r − rAB)

?

−

?

1

m2

?

∂U

∂rα

?

A

∂U

∂rβ

B

δ(r − rAB)

?

−

∂U

B

∂U

∂rβ

A

δ(r − rAB)

+

1

m2

∂U

∂rα

B

∂U

∂rβ

B

δ(r − rAB)

?

.

(A19)

Let us start from the first term. Using the relation (A10), we obtain the following result:

first term in Eq. (A19) =kBT

m2

??

∂2U

∂rα

A∂rβ

A

?

δ(r − rAB)

?

+

?kBT

m

?2?

∂2

∂rα

A∂rβ

A

δ(r − rAB)

?

.

(A20)

The second term in this expression can be written as

?

∂2

∂rα

A∂rβ

A

δ(r − rAB)

?

=

?

∂2

∂rα

AB∂rβ

AB

δ(r − rAB)

?

=1

V∇α∇βg(r).

(A21)

Using Eq. (3), the second derivative of the total potential reads

∂2U

∂rα

A∂rβ

A

=∂2φ(rAB)

∂rα

A∂rβ

A

+

N

?

i=1

∂2φ(rAi)

∂rα

A∂rβ

A

=∂2φ(rAB)

∂rα

AB∂rβ

AB

+

N

?

i=1

∂2φ(rAi)

∂rα

Ai∂rβ

Ai

,

(A22)

and hence, the first term in Eq. (A20) is given by

??

∂rα

A

∂2U

A∂rβ

?

δ(r − rAB)

?

=

??

∂2φ(rAB)

∂rα

AB∂rβ

AB

?

δ(r − rAB)

?

+

N

?

?

i=1

??

∂2φ(rAi)

∂rα

Ai∂rβ

Ai

?

δ(r − rAB)

?

= [∇α∇βφ(r)]?δ(r − rAB)? +

N

?

dr??[∇??

i=1

dr??[∇??

α∇??

βφ(r??)]?δ(r − rAB)δ(r??− rAi)?

=

1

V[∇α∇βφ(r)]g(r) +ρ

V

?

α∇??

βφ(r??)]g(3)

AB;A(r,r??),

(A23)

where we have introduced the triple-density correlation function involving the particles A and B and a solvent particle:

ρ

Vg(3)

AB;A(r,r??) ≡

N

?

i=1

?δ(r − rAB)δ(r??− rAi)?,

(A24)

with ρ = N/V being the average number density of the solvent. We therefore obtain

first term in Eq. (A19) =kBT

Vm2

?

[∇α∇βφ(r)]g(r) + ρ

?

dr??[∇??

α∇??

βφ(r??)]g(3)

AB;A(r,r??)

?

+1

V

?kBT

m

?2

∇α∇βg(r).

(A25)

The other terms in Eq. (A19) can be handled in a similar manner, with the results

second term in Eq. (A19) =

1

V

kBT

m2[∇α∇βφ(r)]g(r) +1

V

?kBT

?kBT

m

?2

?2

∇α∇βg(r),

(A26)

third term in Eq. (A19) =

1

V

kBT

m2[∇α∇βφ(r)]g(r) +1

Vm

∇α∇βg(r),

(A27)

fourth term in Eq. (A19) =1

V

kBT

m2

?

[∇α∇βφ(r)]g(r) + ρ

?

dr??[∇??

α∇??

βφ(r??)]g(3)

AB;B(r,r??)

?

+1

V

?kBT

m

?2

∇α∇βg(r).

(A28)

Summarizing Eqs. (A19), (A25), and (A26)–(A28), we obtain

?˙ vα

AB˙ vβ

ABδ(r − rAB)?=βv4

V

[∇α∇βφ(r)]g(r) +v4

+ρkBT

Vm2

V∇α∇βg(r) +ρkBT

Vm2

?

dr??[∇??

α∇??

βφ(r??)]g(3)

AB;A(r,r??)

?

dr??[∇??

α∇??

βφ(r??)]g(3)

AB;B(r,r??).

(A29)

041201-8

Page 9

ZWANZIG-MORI EQUATION FOR THE TIME-DEPENDENT ...

PHYSICAL REVIEW E 83, 041201 (2011)

Substituting the result (A29) into Eq. (A18) yields

?

Kαβ(r,r?,0) =

v2

g(r?)

∇?

α∇β+ δαβ

?

γ

∇γ∇?

γ

?

[δ(r − r?)g(r)] +

v2

g(r?)δ(r − r?){∇α∇βg(r) − β2[∇αw(r)][∇?

βw(r?)]g(r)}

+

1

g(r?)δ(r − r?)

?

?

βv2[∇α∇βφ(r)]g(r) +ρkBT

v2m2

?

?

dr??[∇??

α∇??

βφ(r??)]g(3)

AB;A(r,r??)

+ρkBT

v2m2

dr??[∇??

α∇??

βφ(r??)]g(3)

AB;B(r,r??)

.

(A30)

Here, we notice that

∇α∇βlog[g(r)] = ∇α

?∇βg(r)

g(r)

?

=[∇α∇βg(r)]g(r) − [∇βg(r)][∇αg(r)]

g(r)2

=

1

g(r)∇α∇βg(r) − {∇αlog[g(r)]}{∇αlog[g(r)]} =

1

g(r)∇α∇βg(r) − β2[∇αw(r)][∇βw(r)], (A31)

which leads to

1

g(r?)δ(r − r?)∇α∇βg(r) = δ(r − r?){−β∇α∇βw(r) + β2[∇αw(r)][∇βw(r)]}.

Using this result, Eq. (A30) can be rewritten as

?

?

+δ(r − r?)ρkBT

v2m2

(A32)

Kαβ(r,r?,0) =

v2

g(r?)

∇?

α∇β+ δαβ

?

γ

∇γ∇?

γ

?

[δ(r − r?)g(r)] + δ(r − r?)βv2∇α∇β[φ(r) − w(r)]

+δ(r − r?)ρkBT

v2m2

dr??[∇??

α∇??

βφ(r??)]?g(3)

α∇??

AB;A(r,r??)/g(r)?

AB;B(r,r??)/g(r)?.

?

dr??[∇??

βφ(r??)]?g(3)

(A33)

3. Further manipulations

Equation (A33) shall further be manipulated to eliminate the radial distribution function appearing in the denominator. For the

first two terms in Eq. (A33), we proceed as follows:

1

g(r?)∇?

α∇β[δ(r − r?)g(r?)] =

1

g(r?)∇?

α[g(r?)∇βδ(r − r?)] =

1

g(r?){[∇?

αg(r?)][∇βδ(r − r?)] + g(r?)∇?

α∇βδ(r − r?)}

= −β[∇?

αw(r?)]∇βδ(r − r?) + ∇?

α∇βδ(r − r?),

(A34)

1

g(r?)∇γ∇?

γ[δ(r − r?)g(r?)] = −β[∇?

γw(r?)]∇γδ(r − r?) + ∇γ∇?

γδ(r − r?).

(A35)

For the triple-density correlations in Eq. (A33), we use Kirkwood’s superposition approximation [1]:

g(3)

AB;A(r,r??) ≈ g(r)g(r??)g(|r − r??|),

g(3)

(A36)

AB;B(r,r??) ≈ g(r)g(|r + r??|)g(r??).

(A37)

Thereby, we arrive at the following expression for Kαβ(r,r?,0):

Kαβ(r,r?,0) = −βv2?∇?

+δ(r − r?)βv2∇α∇β[φ(r) − w(r)] + δ(r − r?)

αw(r?)?[∇βδ(r − r?)] + v2∇?

α∇βδ(r − r?) + δαβv2?

ρv2

2kBT

γ

{−β[∇?

γw(r?)][∇γδ(r − r?)] + ∇γ∇?

γδ(r − r?)}

?

dr??[∇??

α∇??

βφ(r??)]g(r??)g(|r − r??|).

(A38)

041201-9

Page 10

SONG-HO CHONG, CHANG-YUN SON, AND SANGYOUB LEE PHYSICAL REVIEW E 83, 041201 (2011)

[1] U. Balucani and M. Zoppi, Dynamics of the Liquid State

(Clarendon, Oxford, 1994).

[2] W. M. Gelbart, Adv. Chem. Phys. 26, 1 (1974).

[3] Y. Le Duff and A. Gharbi, Phys. Rev. A 17, 1729 (1978).

[4] S. A. Rice, in Diffusion-Limited Reactions, Comprehensive

Chemical Kinetics Vol. 25, edited by C. H. Bamford, C. F. H.

Tipper, and R. G. Compton (Elsevier, Amsterdam, 1985).

[5] N. Agmon, Phys. Rev. Lett. 67, 1366 (1991).

[6] J.-H. Kim and S. Lee, J. Chem. Phys. 131, 014503 (2009).

[7] J.-H.Kim,S.Lee,J.Lee,andS.Lee,J.Chem.Phys.131,164503

(2009).

[8] I. Oppenheim and M. Bloom, Can. J. Phys. 39, 845 (1961).

[9] M. S. Miller, D. A. McQuarrie, G. Birnbaum, and J. D. Poll,

J. Chem. Phys. 57, 618 (1972).

[10] U. Balucani and R. Vallauri, Phys. Lett. A 76, 223 (1980).

[11] S. W. Haan, Phys. Rev. A 20, 2516 (1979).

[12] J. A. Leegwater, J. Chem. Phys. 92, 4394 (1990).

[13] G. Wilemski, J. Stat. Phys. 14, 153 (1976).

[14] U. Balucani and R. Vallauri, Physica A 102, 70 (1980).

[15] S. W. Lovesey, J. Phys. C 4, 3057 (1971).

[16] J. R. D. Copley and S. W. Lovesey, Rep. Prog. Phys. 38, 461

(1975).

041201-10

Download full-text