You are on page 1of 9

THE JOURNAL OF CHEMICAL PHYSICS 124, 194103 共2006兲

A simple, direct derivation and proof of the validity of the SLLOD


equations of motion for generalized homogeneous flows
Peter J. Daivisa兲
Applied Physics, School of Applied Sciences, RMIT University, G.P.O. Box 2476 V, Melbourne,
Victoria 3001, Australia
B. D. Toddb兲
Centre for Molecular Simulation, Swinburne University of Technology, P.O. Box 218, Hawthorn,
Victoria 3122, Australia
共Received 11 August 2005; accepted 13 March 2006; published online 16 May 2006兲

We present a simple and direct derivation of the SLLOD equations of motion for molecular
simulations of general homogeneous flows. We show that these equations of motion 共1兲 generate the
correct particle trajectories, 共2兲 conserve the total thermal momentum without requiring the center
of mass to be located at the origin, and 共3兲 exactly generate the required energy dissipation. These
equations of motion are compared with the g-SLLOD and p-SLLOD equations of motion, which are
found to be deficient. Claims that the SLLOD equations of motion are incorrect for elongational
flows are critically examined and found to be invalid. It is confirmed that the SLLOD equations are,
in general, non-Hamiltonian. We derive a Hamiltonian from which they can be obtained in the
special case of a symmetric velocity gradient tensor. In this case, it is possible to perform a
canonical transformation that results in the well-known DOLLS tensor Hamiltonian. © 2006
American Institute of Physics. 关DOI: 10.1063/1.2192775兴

I. INTRODUCTION mented the SLLOD equations of motion. Work in this field


1 then languished for several years because of the inherent
The SLLOD equations of motion are the acknowledged
finiteness of the simulation caused by the contraction of at
standard set of first order linear differential equations that
least one of the lengths of the simulation box. This means
enable one to perform nonequilibrium molecular dynamics
that more interesting and industrially relevant fluids, such as
共NEMD兲 simulations of homogeneous planar shear flow.
alkanes or polymers, could not be studied due to their long
They have been implemented for simple and complex fluids
relaxation times compared with the short finite simulation
and have been central to some spectacularly successful stud-
time available. In the mid-1990s Baranyai and Cummings4
ies of the shear rheology of fluids from first principles. The
and Todd and Daivis5 revived interest in this problem by
SLLOD equations of motion are usually written in the form
devising several new algorithms to simulate elongational
of two first order differential equations:
flows for longer or indefinite times. A solution to this prob-
pi lem was finally applied to molecular dynamics simulations
ṙi = + ri · ⵜu,
mi of planar elongational flow by Todd and Daivis,6 and inde-
共1兲 pendently by Baranyai and Cummings,7 who implemented a
ṗi = Fi␾ − pi · ⵜu, new set of periodic boundary conditions that allowed for
simulations of unrestricted duration. These boundary condi-
where mi, ri, and pi represent the mass, position, and thermal tions were based on the set of reproducible lattices derived
momentum, respectively, of particle i, Fi␾ represents the total by Kraynik and Reinelt.8
force due to intermolecular potentials of all other particles At about this time, Tuckerman et al.9 suggested that the
on particle i, and ⵜu represents the velocity gradient tensor. SLLOD equations of motion were incorrect when applied to
A thermostating mechanism is also required in order for elongational flow. They proposed an alternative set of equa-
these equations to generate a steady state, but the thermostats tions given by
are not the subject of this paper and will therefore be omit-
ted. pi
ṙi = + ri · ⵜu,
Simulations of elongational flow—a much more com- mi
plex flow geometry—were first performed in the mid-1980s 共2兲
by Heyes2 who implemented a simple NEMD technique ṗi = Fi␾ − pi · ⵜu − miri · ⵜu · ⵜu,
based on deformation of the simulation cell for a Lennard-
Jones fluid, and then later by Evans and Heyes3 who imple- which they called the g-SLLOD 共or “generalized” SLLOD兲
equations. These equations differ from the original SLLOD
a兲 equations in that an additional term proportional to the par-
Author to whom correspondence should be addressed. Electronic mail:
peter.daivis@rmit.edu.au ticle position is included in the force equation. The additional
b兲
Electronic mail: btodd@swin.edu.au term is zero for shear flow but nonzero for elongation. Thus,

0021-9606/2006/124共19兲/194103/9/$23.00 124, 194103-1 © 2006 American Institute of Physics

Downloaded 15 Jun 2010 to 136.186.72.210. Redistribution subject to AIP license or copyright; see http://jcp.aip.org/jcp/copyright.jsp
194103-2 P. J. Daivis and B. D. Todd J. Chem. Phys. 124, 194103 共2006兲

g-SLLOD is the same as SLLOD for shear, but different for ⳵J共r,t兲
elongation. = − ⵜ · P共r,t兲 − ⵜ · 关␳共r,t兲u共r,t兲u共r,t兲兴 + G共r,t兲,
⳵t
Soon after they were proposed, the g-SLLOD equations
共3兲
were criticized for a number of shortcomings, including gen-
eration of an incorrect distribution function. This was fol- where J共r , t兲 = ␳共r , t兲u共r , t兲 = 兺imivi␦共r − ri兲 is the local in-
lowed by a more general discussion on the formulation of stantaneous momentum density, the body force G共r , t兲 is
statistical mechanics for systems with non-Hamiltonian and given by
noncanonical equations of motion,10 and many questions re-
main unresolved. We do not intend to discuss these more G共r,t兲 = 兺 Fei ␦共r − ri兲, 共4兲
general issues here. While simulations of elongational flow i

using the SLLOD equations of motion continued with more


where Fei is the external force on particle i, and the index i
refined algorithmic improvements11–13 and incorporated the
ranges over all molecules in the fluid. To express this in
study of more complex molecular systems,14,15 it is clear that terms of the wave vector k, one takes the Fourier transform
some doubts remain over the validity of either the SLLOD or of Eq. 共3兲 to obtain
g-SLLOD equations of motion for simulating elongational
flow. The debate has again been opened very recently by ⳵J̃共k,t兲
Edwards and co-workers,16–18 who maintain that the = ik · P̃共k,t兲 + ik · 关␳
uu共k,t兲兴 + G̃共k,t兲. 共5兲
⳵t
g-SLLOD equations are the correct equations to use for elon-
gational flow. They call their implementation p-SLLOD 共for Here the tilde above a quantity represents its Fourier trans-
“proper” SLLOD兲, but, despite the fact that they were ob- form and J̃共k , t兲 represents the Fourier transform of the local
tained by different methods, the p-SLLOD and g-SLLOD momentum density. This equation immediately shows that
equations of motion are identical. the time dependence of the zero wave vector component of
Our intention in writing this paper has been to remove the momentum density is completely determined by the ex-
these doubts by presenting a simple and clear derivation of ternal body force. The equation of motion for the zero wave
the equations of motion for molecular simulations of flows vector component of the momentum density is
with homogeneous velocity gradients. In what follows we
d
will show that the SLLOD equations of motion are indeed
the correct equations of motion to use for all types of gener-
兺 mivi = 兺i Fei ,
dt i
共6兲

alized homogeneous flow. We will do this by carefully deriv-


ing the SLLOD equations for generalized flow fields in Sec. where mi is the mass of molecule i, and vi is the laboratory
II and showing that these equations are completely consistent frame velocity of molecule i. We now define the peculiar, or
with Newton’s equations of motion. We will specifically ex- thermal, velocity ci for molecule i, with a change of variable
amine planar shear and planar elongational flows. The rela- such that
tionship of SLLOD to the system Hamiltonian for shear and vi = ci + u共ri兲⌰共t兲 = ci + ri · ⵜu⌰共t兲,
elongational flows will then be discussed in Sec. III. In Sec.
IV we point out several crucial deficiencies in the g-SLLOD
d
equations which were not discussed in the previous 兺i mici = 0, 兺 mici = 0,
dt i
共7兲
Comment10 on the paper in which the g-SLLOD equations of
motion were first proposed.9 Finally, in Sec. V we discuss the
in which the first line is valid for a homogeneous velocity
periodic boundary conditions that must be used in conjunc-
gradient and line two expresses the condition that the total
tion with the SLLOD algorithm, and offer concluding re-
thermal momentum and its derivative are both zero. It is
marks in Sec. VI.
assumed that they are maintained at these values by the
equations of motion, i.e., that the thermal component of the
momentum is conserved.
It is assumed here that the velocity gradient is applied as
a step function at time t = 0, where the Heaviside step func-
II. DERIVATION OF THE SLLOD ALGORITHM
tion is defined as
Our aim in this section is to demonstrate that for arbi-
trary homogeneous flows, the SLLOD equations of motion
are identical to Newton’s equations of motion for a fluid in
⌰共t兲 = 再 0, t ⬍ 0
1, t ⬎ 0.
冎 共8兲

the presence of an external force. Let G共r , t兲 be an external We now demonstrate that the SLLOD equations of motion
body force density 共i.e., the force per unit volume兲 applied to emerge naturally when we insist that the zero wave vector
a fluid of infinite extent at the laboratory position r and time momentum obeys Eq. 共6兲 and that the peculiar or thermal
t. If ␳ is the fluid density, u is the fluid streaming velocity, velocity satisfies Eq. 共7兲.
and P is the pressure tensor, then the local, instantaneous Taking the time derivative of the zero wave vector mo-
equation of motion can be expressed as1,19 mentum gives

Downloaded 15 Jun 2010 to 136.186.72.210. Redistribution subject to AIP license or copyright; see http://jcp.aip.org/jcp/copyright.jsp
194103-3 Proof of validity of the SLLOD equations J. Chem. Phys. 124, 194103 共2006兲

d d The SLLOD equations of motion are not usually ex-



dt i
mivi = 兺 mi关ci + ri · ⵜu⌰共t兲兴
dt i pressed in the Newtonian form given above. Instead, a
change of variable is performed, in which we define the pe-
d culiar or thermal velocity by
= 兺 miri · ⵜu⌰共t兲,
dt i
ṙi = ci + ri · ⵜu⌰共t兲. 共13兲
where we have used the fact that the thermal momentum is If we now substitute this expression for the velocity into
conserved to obtain the second line. Taking the derivative of Newton’s second law 关Eq. 共11兲兴, and then insert the forces
the product inside the sum, substituting Eq. 共7兲 for the ve- given by Eq. 共12兲 into the left hand side of Eq. 共11兲 and make
locity, and using the fact that the mean value of the thermal the peculiar velocity the subject of the equation, we obtain a
momentum is zero, we obtain first order differential equation for the peculiar velocity,
d

dt i
冋 d
mivi = 兺 mivi · ⵜu⌰共t兲 + miri · 共ⵜu⌰共t兲兲
i dt
册 miċi = Fi␾ − mici · ⵜu⌰共t兲. 共14兲
Equations 共13兲 and 共14兲 are just the first order version of
= 兺 关miri · ⵜu · ⵜu⌰共t兲 + miri · ⵜu␦共t兲兴. 共9兲 the SLLOD equations of motion, identical to Eq. 共1兲 when
i we define the peculiar momentum as pi = mici. Normally
these are written without the explicit inclusion of the step
In obtaining the last line of Eq. 共9兲 we have used the property function, which we have included here for greater clarity. It
that the total peculiar momentum is conserved and the prod- is important to appreciate that we have solved for the labo-
uct of the step function with itself is just the step function. In ratory position and the thermal velocity. Both of these quan-
an actual computer simulation, finite precision numerics and tities are calculated relative to the laboratory reference
discretization error in the solution of the ordinary differential frame, since the definition of ci exclusively involves quanti-
equations mean that conservation of thermal momentum may ties referred to the laboratory frame. If we had used a moving
not be strictly achieved, though Eq. 共9兲 is formally correct. reference frame, the streaming velocity would be zero. This
This will be discussed in Sec. IV. Comparing the right hand is clearly not the case in the SLLOD equations of motion,
sides of Eqs. 共6兲 and 共9兲, we see that the sum of the external which explicitly include a nonzero streaming velocity.
forces over all particles is given by the right hand side of Eq. We now consider two specific types of flow: planar shear
共9兲. If we insist that the equations of motion are spatially and planar elongational. If the desired velocity gradient cor-
homogeneous, i.e., that they have the same functional form responds to simple planar shear with flow in the x direction
for every particle in the system, then the external force acting and gradient in the y direction, then we have
on each particle that is required to generate the correct zero

冢 冣
wave vector momentum density, subject to the condition that 0 0 0
the total peculiar momentum and its derivative are zero at all
ⵜu = ␥˙ 0 0 , 共15兲
times, is given by
0 0 0
i = miri · ⵜu␦共t兲 + miri · ⵜu · ⵜu⌰共t兲.
Fext 共10兲
where ␥˙ = ⳵ux / ⳵y is the magnitude of the velocity gradient.
From this one can identify the total external force per mol- For planar shear flow ⵜu · ⵜu = 0 and so the external force
ecule as consisting of two components: an impulse force at described by Eq. 共10兲 only consists of the impulse term. The
time t = 0 at the moment the field is applied, and an additional flow is generated by the impulse at t = 0 and, because the
term that is zero before the application of the field and a system is infinite in extent 共the use of periodic boundary
constant multiplied by the molecule’s laboratory position af- conditions ensures this兲, the impulse will result in a persis-
terwards. This expression for the external force is the only tent zero wave vector momentum current for all times there-
one that gives the same equations of motion for each particle after without the need for a constant driving external field at
and simultaneously satisfies Eqs. 共6兲 and 共7兲 while specifi- t ⬎ 0. This must necessarily be the case because there is no
cally excluding terms of the form mici · ⵜu⌰共t兲 whose sum is zero wave vector acceleration of the system of particles in
zero and therefore cannot contribute to the zero wave vector planar shear flow after the impulse, as shown by Eq. 共9兲.
component of the momentum density or the total external 关Equation 共3兲 shows that we do not need to consider the
force. effect of stresses, because they occur at first order, not zero
In Newtonian form, the full equations of motion are order, in wave vector.兴
In the case of planar elongational flow, with expansion in
dvi the x direction, contraction in the y direction, and no field in
Fi = mi , 共11兲
dt the z direction, the velocity gradient tensor is

冢 冣
where the total force on molecule i is the sum of internal ␧˙ 0 0
共intermolecular兲 and external forces given by
ⵜu = 0 − ␧˙ 0 , 共16兲
Fi = Fi␾ + Fext
i . 共12兲 0 0 0

The external force is given by Eq. 共10兲. in which case

Downloaded 15 Jun 2010 to 136.186.72.210. Redistribution subject to AIP license or copyright; see http://jcp.aip.org/jcp/copyright.jsp
194103-4 P. J. Daivis and B. D. Todd J. Chem. Phys. 124, 194103 共2006兲

冢 冣
␧˙ 2 0 0 energy exists only if ⵜ ⫻ Fe = 0. Examining the external force
terms, we see that if the impulse force can be expressed as
ⵜu · ⵜu = 0 ␧˙ 2 0 , 共17兲
the gradient of a potential, it must satisfy
0 0 0

冨 冨
i j k
where ␧˙ is the elongation rate. In this case the external force
⳵ ⳵ ⳵ ⳵
described by Eq. 共10兲 has the initial impulse, as with planar ⫻ ri · ⵜu =
shear flow, but in addition has a term proportional to the ⳵ri ⳵xi ⳵yi ⳵zi
laboratory position of the molecule. In particular, the form ri · ⵜux ri · ⵜuy ri · ⵜuz
for the individual components is
ext
Fi,x = mi␧˙ xi␦共t兲 + mi␧˙ 2xi⌰共t兲, =i 冉 ⳵uz ⳵u y
⳵y

⳵z
冊 冉
−j
⳵uz ⳵ux
⳵x

⳵z

Fext ˙ y i␦共t兲 + mi␧˙ 2y i⌰共t兲,
i,y = − mi␧ 共18兲 +k 冉 ⳵x
− 冊
⳵u y ⳵ux
⳵y
= 0. 共19兲
ext
Fi,z = 0. This condition is clearly satisfied if the velocity gradient ten-
For planar elongation an impulse force alone is insufficient sor is symmetric. Thus, for planar shear it is not satisfied,
to sustain an indefinite flow. An additional external force whereas for planar elongational flow it is. For planar elonga-
proportional to the laboratory position must apply at all times tional flow the potential energy associated with the impulsive
to every molecule. The signature of this external force is that external force is

冕 冕
it must induce a zero wave vector component of the accel-
eration of the fluid. This acceleration is observed as the hy- V=− F · dri = − ␦共t兲mi ri · ⵜu · dri
perbolic streaming velocity profile, in which both the mag-
nitude and direction of the velocity of a small element of mi␧˙ 2 2
fluid continually change with time, unlike in shear flow for =− 共x − y i 兲␦共t兲. 共20兲
2 i
which they remain constant.
It is important to appreciate that Eqs. 共11兲 and 共14兲 are For the nonimpulsive external force term we see that
equivalent ways of expressing Newton’s second law and are

completely general for homogeneous flows. The g-SLLOD ⫻ ri · ⵜu · ⵜu
equations of motion instead introduce an additional term, ⳵ri

冨 冨
−miri · ⵜu · ⵜu, into Eq. 共14兲. This in turn actually negates the i j k
influence of the necessary nonimpulsive external force re-
⳵ ⳵ ⳵
quired to sustain an elongational flow indefinitely. The ob- =
servation that simulations using g-SLLOD do, in fact, con- ⳵xi ⳵yi ⳵zi
tinue to flow is a consequence of implementing them with a ri · ⵜu · ⵜux ri · ⵜu · ⵜuy ri · ⵜu · ⵜuz
coupled thermostat and boundary conditions that are consis-
tent with the desired flow through the definition of the pecu-
liar velocity, Eq. 共13兲, and the evolution of the periodic
=i 冉 ⳵u
⳵y
· ⵜuz −
⳵u
⳵z
· ⵜuy − j
⳵u
⳵x
冊 冉
· ⵜuz −
⳵u
⳵z
· ⵜux 冊
boundaries, which is also essentially given by Eq. 共13兲 共see
Sec. V兲. As we will show later, the boundary conditions do +k 冉 ⳵u
⳵x
· ⵜuy −
⳵u
⳵y
· ⵜux , 冊 共21兲
not exert a force on the particles unless their streaming mo-
tion is incompatible with the motion of the boundaries. In which is zero if the velocity gradient tensor is symmetric.
addition, the thermostat interprets any deviations from the This condition is satisfied for all types of elongational flow,
assumed velocity profile as heat and compensates by apply- and it is irrelevant for shear flow, since the nonimpulsive
ing an additional force to the molecules, which in turn serves external force term is then zero.
to sustain the velocity gradient specified by the definition of Therefore, the potential energy corresponding to this part
the peculiar velocity 关Eq. 共13兲兴. Thus, it is possible to induce of the external force is zero for shear flow, while for planar
the desired flow, even when the equations of motion are in- elongational flow it is

冕 冕
consistent with the flow, as they are in the case of g-SLLOD.
V=− F · dri = − ⌰共t兲mi ri · ⵜu · ⵜu · dri
III. RELATIONSHIP TO HAMILTONIAN MECHANICS
mi␧˙ 2 2 2
The question now arises: can these equations be derived =− 共xi − y i 兲⌰共t兲. 共22兲
2
from a Hamiltonian, and what relationship do they have to
the Hamiltonian description? If a Hamiltonian containing a Thus we see that a Hamiltonian description for the SLLOD
standard potential energy function exists, then we should be equations of motion does not exist for planar shear flow, but
able to write the external force on the right hand side of the does exist for planar elongational flow. It will, in fact, exist
Newtonian form of the SLLOD algorithm 关Eq. 共10兲兴 as the for all types of elongational flow.
gradient of a potential. This can immediately be checked by The general form of the Hamiltonian for flows with a
calculating the curl of the external force, since a potential symmetric velocity gradient tensor is

Downloaded 15 Jun 2010 to 136.186.72.210. Redistribution subject to AIP license or copyright; see http://jcp.aip.org/jcp/copyright.jsp
194103-5 Proof of validity of the SLLOD equations J. Chem. Phys. 124, 194103 共2006兲

H共rN,p⬘N,t兲 = ␾共rN兲 + K共p⬘N兲 + V共rN,t兲, 共23兲 stability is due entirely to finite precision numerics and does
not result from a flaw in the SLLOD algorithm, as has been
where ␾ is the intermolecular potential energy, K is the ki- asserted recently by Baig et al.17 We have previously dem-
netic energy, and V is the potential energy due to the external onstrated that the effect of uncorrected numerical error in the
field, which is given by thermal momentum can be analyzed for the case of planar
1 1 elongational flow as follows. The equation of motion for the
V共rN,t兲 = −
2
兺 mi共ri · ⵜu兲2⌰共t兲 − 2 兺 miri · ⵜu · ri␦共t兲. thermal momentum given by the SLLOD equations of mo-
tion is Ṗ = −P · ⵜu, where P = 兺imici is the total peculiar mo-
共24兲
mentum of the system. If we allow the initial value of the
Here, the conjugate momentum p⬘ is related to the velocity total thermal momentum to be nonzero, contradicting the ex-
by the usual definition from classical mechanics, pi⬘ act equations of motion, but allowing for a small numerical
= ⳵L / ⳵ṙi = miṙ, consistent with the system Lagrangian. When error, the equation of motion for the thermal momentum can
this Hamiltonian is used with Hamilton’s equations of mo- be solved for each Cartesian component with Eq. 共16兲 to
tion, the resulting equations of motion are the same as Eq. give12
共12兲, except that the velocity gradient in the impulse term of
the external force is now only the symmetric part of the Px共t兲 = Px共0兲exp共− ␧˙ t兲,
velocity gradient. This is totally consistent with our previous 共28兲
discussion in which we found that a Hamiltonian only exists Py共t兲 = Py共0兲exp共␧˙ t兲.
for flows with a symmetric velocity gradient tensor. Further,
it is easily shown that if we perform a canonical transforma- Clearly if we set the components of the initial thermal mo-
tion such that mentum identically equal to zero and we solve the equations
qi = ri , of motion without introducing any numerical error, the evo-
共25兲 lution of the system will always result in zero total thermal
pi = p⬘ − miri · ⵜu⌰共t兲, momentum at all times. Since the complete elimination of
discretization and truncation errors in numerical computation
with a generating function for the canonical transformation20 is impossible there will always be numerical errors in the
given by momentum. Because any nonzero error in total initial mo-
1 mentum in the y direction grows exponentially in time, ulti-
F共rN,pN,t兲 = 兺 ri · pi + 兺 mi共ri · ⵜu兲2⌰共t兲, 共26兲 mately this can cause serious problems for the simulation if
2
it remains uncorrected. Fortunately, this numerical error is
then we obtain the Hamiltonian in terms of the new variables easily corrected by periodically subtracting the mean y com-
as ponent of the peculiar momentum from each particle, by
adding proportional feedback to correct the momentum, or
⳵F
HDOLLS共qN,pN,t兲 = H + by adding a constraint to prevent it from growing.12 Interest-
⳵t ingly, it has recently been suggested22,23 that fluctuations
p2i may be an inherently chaotic source of instability for elon-
= ␾共qN兲 + 兺 + 兺 qi · ⵜu · pi⌰共t兲, gational flows in general, and work is continuing to explore
2mi
this microscopic connection. No such problem will occur in
共27兲 the x direction because now the total momentum is forced to
which is the DOLLS tensor Hamiltonian.21 This results in the converge exponentially to zero. We have previously also
well-known DOLLS equations of motion, which, we now shown that no such problem occurs in shear flow, which
see can only be applied for symmetric velocity gradients, in explains why numerical simulations of planar shear are al-
which case it is equivalent to the SLLOD algorithm. An im- ways stable.12
portant point here is that the explicit time dependence of the The g-SLLOD equations differ from the SLLOD equa-
Hamiltonian 共which has been neglected by Baig et al.17兲 tions only in the force equation, so that the equations of
must be taken into account in order to obtain correct results. motion for the first moment of the positions Q = 兺imiri and
the total peculiar momentum P = 兺ipi are
IV. MOMENTUM CONSERVATION AND ENERGY
DISSIPATION Q̇ = P + Q · ⵜu,
共29兲
The SLLOD equations of motion conserve the total ther-
mal momentum of the system. This is easily seen by sum- Ṗ = − P · ⵜu − Q · ⵜu · ⵜu.
ming over all molecules in Eq. 共14兲 and is valid for any type
of homogeneous flow, including shear and elongation. Note Using the first of these equations, the second can be written
that this is a separate issue to the phenomenon observed by as
Todd and Daivis,12 in which they found that numerical simu-
lations of elongational flow via the SLLOD algorithm exhib- Ṗ = − Q̇ · ⵜu, 共30兲
ited an inherent instability in the total thermal momentum
which was nevertheless controllable. The source of this in- which can be directly integrated to give

Downloaded 15 Jun 2010 to 136.186.72.210. Redistribution subject to AIP license or copyright; see http://jcp.aip.org/jcp/copyright.jsp
194103-6 P. J. Daivis and B. D. Todd J. Chem. Phys. 124, 194103 共2006兲

P共t兲 = P共0兲 − 关Q共t兲 − Q共0兲兴 · ⵜu. 共31兲 no longer satisfied exactly and instantaneously, as it is when
the SLLOD equations of motion are applied. This means that
The initial value problem can be solved explicitly by taking the work done by the external field will not correspond ex-
the derivative of the first line of Eq. 共29兲, substituting the actly to the energy removed by the internal energy constraint
second line of Eq. 共29兲 into it, and integrating twice with force in a constant internal energy simulation. Furthermore,
respect to time, giving because the application of linear response theory requires
that the correct dissipation be generated by the equations of
Q共t兲 = Q共0兲 + Q̇共0兲t = Q共0兲 + Q共0兲 · ⵜut, 共32兲
motion, the g-SLLOD equations of motion will not give the
which results in the expression for the total thermal momen- correct linear response for small systems and the magnitude
tum derived by Baig et al.17 of the error will not be easy to quantify.
P共t兲 = P共0兲 − 关P共0兲 + Q共0兲 · ⵜu兴 · ⵜut. 共33兲
For shear flow ⵜu · ⵜu = 0 so the equations of motion con- V. PERIODIC BOUNDARY CONDITIONS
serve thermal momentum. However, for elongational flow,
ⵜu · ⵜu ⫽ 0 and so the equations of motion will not conserve The first simulations of elongational flow were per-
thermal momentum instantaneously unless the center of mass formed by direct deformation of the simulation box.2 The
is located at the origin, 兺imiri = 0. This condition can be ar- introduction of equations of motion that allowed a flow to be
bitrarily chosen as an initial condition for the simulation, but induced by an explicit external force, rather than by direct
it is not physically required in the same way that the thermal deformation of the simulation box, had major benefits. One
momentum must satisfy P = 兺imici = 0. The requirement of a of these was that the nonequilibrium response of the system
special choice for the origin in the g-SLLOD algorithm vio- could be analyzed mathematically using linear and nonlinear
lates the property of translational invariance that a periodic response theories.1 It follows from this that if we want our
system would be expected to possess. This requirement is not mathematical analysis to be correct, no other external forces
shared by the SLLOD equations of motion. than those explicitly imposed on the system should be in-
g-SLLOD has another serious problem associated with cluded. Therefore, it is essential that the periodic boundary
it, namely, it generates the wrong energy dissipation. The conditions should not impose a force on the system. The way
aim of a synthetic-force nonequilibrium molecular dynamics to achieve this is to allow the simulation box to evolve ac-
algorithm is to replace the boundary conditions that are re- cording to the kinematics of the induced flow. Let L repre-
sponsible for generating macroscopic fluxes with synthetic sent one of the vectors defining the vertices of the simulation
forces in the equations of motion. These synthetic forces box. If L is to evolve with the flow, it must obey
should have, as their sole result, the production of the appro-
priate dissipative flux, so that the link with linear response L̇ = L · ⵜu⌰共t兲, 共36兲
theory becomes explicit and analytically tractable. Therefore,
it is crucial that the rate of change of internal energy should and the acceleration of the box vertex must therefore be
only consist of a bilinear expression involving the appropri- given by
ate flux and synthetic force.
The SLLOD equations of motion are known to generate L̈ = L · ⵜu · ⵜu⌰共t兲 + L · ⵜu␦共t兲. 共37兲
the correct rate of energy dissipation. This is obtained by
taking the time derivative of the total internal energy E This is identical to the acceleration of a noninteracting par-
= 兺i1 / 2mic2i + 1 / 2兺i兺 j␾ij共rij兲, using the equations of motion ticle with no thermal momentum given by the SLLOD equa-
and standard manipulations, and is found to be1,24 tions of motion, as can easily be shown by setting the pecu-
liar velocity to zero and then taking the time derivative of
ĖSLLOD = − VPT:ⵜu

再 冎
Eq. 共7兲. However, it is not consistent with the acceleration
− VPxy␥˙ planar shear calculated from the g-SLLOD equations of motion, r̈i
= 共34兲 = ri · ⵜu␦共t兲 which lacks the first term of Eq. 共37兲. Thus, we
− V␧˙ 共Pxx − Pyy兲 planar elongation,
observe that if these boundary conditions were applied in
where P is the pressure tensor. The rate of change of the conjunction with the g-SLLOD equations of motion 共in the
internal energy given by the g-SLLOD equations of motion absence of a thermostat兲, they would be inconsistent with the
is flow induced by those equations of motion. In the presence
Ėg-SLLOD = − VPT:ⵜu − 冉兺 冊
i
miciri · ⵜu:ⵜu. 共35兲
of a thermostat, the thermostat itself would apply a force on
the particles to induce the desired flow unless a profile unbi-
ased thermostat1 was used. We will consider a simple ex-
This gives the same dissipation rate as the SLLOD equations ample that exhibits the problem explicitly. Imagine a nonin-
of motion for shear, but for planar elongation it is incorrect, teracting particle with an initial velocity of zero. At time t
since it is known from hydrodynamics that the rate of inter- = 0, the external field is applied. With properly formulated
nal energy generation by viscous processes is given by equations of motion, this particle’s motion at subsequent
−VPT : ⵜu for all flows. While the extra term in Eq. 共35兲 times should be solely determined by the external force that
might become negligible in the thermodynamic limit, Eq. generates the flow. In this case, the equation of motion given
共35兲 has the disadvantage that the energy balance equation is by the SLLOD equations of motion would be

Downloaded 15 Jun 2010 to 136.186.72.210. Redistribution subject to AIP license or copyright; see http://jcp.aip.org/jcp/copyright.jsp
194103-7 Proof of validity of the SLLOD equations J. Chem. Phys. 124, 194103 共2006兲

d 2r i sum of the intermolecular forces acting on that particle, since


mi = miri · ⵜu␦共t兲 + miri · ⵜu · ⵜu⌰共t兲 the second term in Eq. 共10兲 is zero for shear flow. For elon-
dt2
gational flow the situation is different, and the second term in
d the external force must be included, therefore the Liouville
= 共miri · ⵜu⌰共t兲兲. 共38兲
dt operator and propagator must be modified. This immediately
invalidates the recent extension of Yamada and Kawasaki’s
Integrating this gives the expected particle velocity, u共t兲
nonlinear response theory to general flows attempted by Ed-
= ri · ⵜu⌰共t兲. As shown by Tuckerman et al.9 关their Eq. 共22兲兴,
wards et al.26 Evans and Morriss27 have previously demon-
the g-SLLOD equations of motion lack the second term in
strated the equivalence of the nonlinear response of a system
the external force. In g-SLLOD dynamics, the external force
in planar shear flow under SLLOD dynamics and that of a
only provides an initial acceleration through the delta func-
system with an initial local equilibrium distribution function
tion term, but it is zero thereafter, and the trajectory of a
propagated with Newtonian dynamics, as derived by Yamada
noninteracting particle with zero peculiar momentum will
and Kawasaki.25 Since it has already been shown that
then be a simple straight line by Newton’s first law. This
SLLOD dynamics also generates the correct velocity gradi-
means that the particle trajectory generated by the g-SLLOD
ent for elongational flows, it is obvious that propagation of
equations of motion will be incorrect if this term is nonzero.
an initial equilibrium distribution function with the SLLOD
Specifically, the g-SLLOD equations of motion generate in-
propagator will generate the correct nonequilibrium distribu-
correct trajectories for extensional flows. We must then ask,
tion function for any homogeneous flow. In fact, the gener-
what provides the force required to generate the flow ob-
alization of nonlinear response theory to a general, homoge-
served in simulations of elongational flow performed with
neous velocity gradient tensor has already been tested for
the g-SLLOD equations of motion? The answer must be that
steady and oscillatory elongational flow with excellent
it is provided by the periodic boundary conditions and the
results.24,28
thermostat. This is unsatisfactory, since the correct applica-
tion of response theory requires that the flow should be gen-
erated by a force that can be expressed in analytical form and VII. COMMENTS ON “A VALIDATION OF THE
appears explicitly in the equations of motion. p-SLLOD EQUATIONS OF MOTION FOR
HOMOGENEOUS STEADY-STATE FLOWS”29
VI. CONCLUSIONS The following article by Edwards et al.29 presents criti-
cisms of our article and states the arguments in support of
The discussion that we have presented makes it clear
their view that the p-SLLOD equations of motion are pref-
that the SLLOD equations of motion correctly generate the
erable to the SLLOD equations of motion for molecular dy-
desired zero wave vector velocity gradient and particle tra-
namics simulations of flows with homogeneous velocity gra-
jectories in a homogeneous flow simulation. We have also
dients. We would like to add the following comments in
explicitly confirmed the often-stated fact that, in their most
response to their article.
general form, these equations of motion cannot be derived
from a Hamiltonian, due to the lack of a suitable potential 共1兲 In their Sec. I, Edwards et al. state that the NEMD
function to represent the effect of the external field on the algorithm based on the SLLOD equations of motion is
particles. It might be thought that the introduction of a “artificial” and that the p-SLLOD algorithm is “natu-
velocity-dependent generalized potential might make it pos- ral” because the former contains an external force and
sible to place these equations in Hamiltonian form.16 How- the latter does not. While we agree that NEMD algo-
ever, since the external force terms in Eq. 共10兲 only depend rithms do contain artificial forces 共in the sense that they
on the positions, this is clearly not an option. The only alter- do not exist in nature兲, we disagree with the implication
native seems to be to introduce a generalized force into the that this invalidates these algorithms. On the contrary,
Lagrangian equations of motion, resulting in noncanonical we believe that the ability to generate the desired non-
Hamiltonian equations of motion, nullifying the advantages equilibrium flux with terms that appear explicitly in the
of a Hamiltonian description. equations of motion is a great advantage, because it
Finally, it is appropriate to consider the distribution func- allows us to simulate systems with nonequilibrium
tion and nonlinear response that result from the application fluxes in translationally invariant, homogeneous sys-
of SLLOD dynamics to a system of particles. The form of tems with periodic boundary conditions. In addition,
Eq. 共10兲 makes it clear that the first effect of propagation the existence of explicit terms in the equations of mo-
with the SLLOD equations of motion is to instantaneously tion that generate the flow allows us to apply linear and
add a streaming component to the particle velocities so as to nonlinear response theories, providing the most con-
create an initial local equilibrium distribution function. This vincing validation of the equations of motion, as shown
initial condition is often used in theoretical treatments of long ago by Evans and Morriss.27
nonequilibrium statistical mechanics.25 The procedure used 共2兲 Edwards et al. state further that the only forces acting
by Yamada and Kawasaki25 to obtain the nonlinear shear on the particles in the central simulation box in a
response was to begin with an initial local equilibrium dis- p-SLLOD algorithm simulation are intermolecular
tribution function and then propagate the system with New- forces, which sum to zero, but that this sum is nonzero
ton’s equations of motion. In the case of planar shear flow, for all other simulation boxes. This cannot possibly be
this means that the total force on each atom is simply the true in a system with periodic boundary conditions, be-

Downloaded 15 Jun 2010 to 136.186.72.210. Redistribution subject to AIP license or copyright; see http://jcp.aip.org/jcp/copyright.jsp
194103-8 P. J. Daivis and B. D. Todd J. Chem. Phys. 124, 194103 共2006兲

cause the intermolecular forces are functions only of 共7兲 The analysis following Eq. 共III.13兲 of Edwards et al. is
the positions, which are periodic. This periodicity en- misleading, because the velocity that is desired in this
sures that the sum of the intermolecular forces must be instance is the one that exists immediately after the
zero for every image of the central simulation box. application of the velocity gradient. This means we
共3兲 The p-SLLOD equations of motion are identical to the must take the limit as ␧ approaches zero in their Eq.
g-SLLOD equations, which were proposed in 1997 by 共III.13兲, giving the expected result that the velocities
Tuckerman et al.9 The claim by Edwards et al. that the are incremented by the local streaming velocity.
p-SLLOD equations of motion do not contain an exter- 共8兲 The analysis of the energy balance for the SLLOD
nal force is in disagreement with the analysis of Tuck- equations of motion in Sec. VI of their paper contains
erman et al., who have shown that there is an impulse the misleading statement that the effect of the external
force at the time the velocity gradient is applied 共usu- force has been neglected in arriving at their Eq. 共VI.4兲.
ally taken as t = 0兲 in the g-SLLOD equations of motion This is clearly incorrect because the full form of the
when they are expressed in terms of the laboratory SLLOD equations of motion 关their Eq. 共VI.2兲兴 has been
frame acceleration. used to obtain it. Our view is that since the SLLOD
共4兲 In their Sec. III, Edwards et al. make a spurious com- equations of motion give the desired rate of work by
parison between experimental elongational flow, which the velocity gradient, shown by their Eq. 共VI.3兲, this is
is obviously driven by boundary conditions, and simply a further argument in favor of the SLLOD equa-
NEMD simulations of homogeneous flow in an infinite tions and against the p-SLLOD equations of motion,
periodic system with the SLLOD equations of motion. which do not share this property.
共9兲 Edwards et al. state in their Sec. VII that “the Yamada
Our view is that in NEMD simulations using the
and Kawasaki derivation was performed for a general,
SLLOD equations of motion on an infinitely periodic
homogeneous steady-state flow field.” However, Ya-
system, the total boundary stress on the simulation box
mada and Kawasaki make no claims that their deriva-
is zero if the periodic boundary conditions are formu-
tion is valid for general homogeneous flows, and their
lated correctly 共so as to evolve with the flow兲 and the
specific results are all for planar shear flow.
time derivative of the zero wave vector momentum
density can only be nonzero if there is an applied body We believe that we have addressed most of the main
force. This is why we are able to use Eq. 共5兲 to analyze points of difference between our two points of view, but
the flow. In the case of homogeneous shear, only a delta there remain many detailed points on which we have re-
function force is required, whereas for elongational frained from commenting.
flow, an additional force is needed, as we have shown
in our Eq. 共10兲. This surprising situation occurs because
1
D. J. Evans and G. P. Morriss, Statistical Mechanics of Nonequilibrium
Liquids 共Academic, London, 1990兲.
the zero wave vector momentum of the system never 2
D. M. Heyes, Chem. Phys. 98, 15 共1985兲.
decays once it has been established in an infinite sys- 3
M. W. Evans and D. M. Heyes, Mol. Phys. 69, 241 共1990兲.
tem undergoing planar shear.1 The same is not true for 4
A. Baranyai and P. T. Cummings, J. Chem. Phys. 103, 10217 共1995兲.
5
elongational flows. B. D. Todd and P. J. Daivis, J. Chem. Phys. 107, 1617 共1997兲.
6
B. D. Todd and P. J. Daivis, Phys. Rev. Lett. 81, 1118 共1998兲.
共5兲 The claim by Edwards et al. in their Sec. III following 7
A. Baranyai and P. T. Cummings, J. Chem. Phys. 110, 42 共1999兲.
Eq. 共10兲 that our derivation of the expression for the 8
A. M. Kraynik and D. A. Reinelt, Int. J. Multiphase Flow 18, 1045
external force acting on each particle is not rigorous 共1992兲.
9
M. E. Tuckerman, C. J. Mundy, S. Balasubramanian and M. L. Klein, J.
appears to be based on a misunderstanding of our deri- Chem. Phys. 106, 5615 共1997兲.
vation. We use two physical assumptions to arrive at 10
D. J. Evans, D. J. Searles D. J., Wm. G. Hoover, C. G. Hoover, B. L.
our expression for the external force. First, we express Holian, H. A. Posch, and G. P. Morriss, J. Chem. Phys. 108, 4351
the total external force on the system of particles in 共1998兲; Much of this debate is reviewed in G. S. Ezra, J. Math. Chem.
35, 29 共2004兲.
terms of the desired independent variables, the position, 11
B. D. Todd and P. J. Daivis, Comput. Phys. Commun. 117, 191 共1999兲.
12
and the peculiar momentum and then eliminate terms B. D. Todd and P. J. Daivis, J. Chem. Phys. 112, 40 共2000兲.
13
whose sum is equal to zero because they cannot con- M. L. Matin, P. J. Daivis and B. D. Todd, Comput. Phys. Commun. 151,
35 共2003兲.
tribute to the external force. This gives our Eq. 共9兲, 14
M. L. Matin, P. J. Daivis, and B. D. Todd, J. Chem. Phys. 113, 9122
which is the sum of the external forces on each particle. 共2000兲; 115, 5338 共2001兲.
15
Second, we insist that the equations of motion are the P. J. Daivis, M. L. Matin, and B. D. Todd, J. Non-Newtonian Fluid Mech.
111, 1 共2003兲.
same for every particle in the system. This gives our 16
B. J. Edwards and M. Dressler, J. Non-Newtonian Fluid Mech. 96, 163
Eq. 共10兲. The discussion by Edwards et al. misinter- 共2001兲.
17
prets our derivation by implying that a term that sums C. Baig, B. J. Edwards, D. J. Keffer, and H. D. Cochran, J. Chem. Phys.
to zero and thus contributes a total external force of 122, 114103 共2005兲.
18
C. Baig, B. J. Edwards, D. J. Keffer, and H. D. Cochran, J. Chem. Phys.
zero at all times should be included in the external 122, 184906 共2005兲.
force for each particle. 19
S. R. de Groot and P. Mazur, Non-equilibrium Thermodynamics 共Dover,
共6兲 Equation 共III.11兲 of Edwards et al. incorrectly identifies 20
New York, 1984兲.
H. Goldstein, Classical Mechanics 共Addison-Wesley, Reading, MA,
the external force on each particle as the mass times the
1980兲.
time derivative of the streaming component of the ve- 21
W. G. Hoover, D. J. Evans, R. B. Hickman, A. J. C. Ladd, W. T. Ashurst,
locity of that particle. and B. Moran, Phys. Rev. A 22, 1690 共1980兲.

Downloaded 15 Jun 2010 to 136.186.72.210. Redistribution subject to AIP license or copyright; see http://jcp.aip.org/jcp/copyright.jsp
194103-9 Proof of validity of the SLLOD equations J. Chem. Phys. 124, 194103 共2006兲

22
T. A. Hunt and B. D. Todd, Mol. Phys. 101, 3445 共2003兲. 共2005兲.
23
B. D. Todd, Mol. Simul. 31, 411 共2005兲. 27
D. J. Evans and G. P. Morriss, Phys. Rev. A 30, 1528 共1984兲.
24
B. D. Todd, Phys. Rev. E 56, 6723 共1997兲. 28
B. D. Todd, Phys. Rev. E 58, 4587 共1998兲.
25
T. Yamada and K. Kawasaki, Prog. Theor. Phys. 38, 1031 共1967兲. 29
B. J. Edwards, C. Baig, and D. J. Keffer, J. Chem. Phys. 124, 194104
26
B. J. Edwards, C. Baig, and D. J. Keffer, J. Chem. Phys. 123, 114106 共2006兲, following paper.

Downloaded 15 Jun 2010 to 136.186.72.210. Redistribution subject to AIP license or copyright; see http://jcp.aip.org/jcp/copyright.jsp

You might also like