Академический Документы
Профессиональный Документы
Культура Документы
Downloaded 14 Jun 2013 to 152.2.104.3. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://jcp.aip.org/about/rights_and_permissions
I. INTRODUCTION
In the past decade, equations of motion have been developed that generate many-body thermodynamic ensembles as
their phase space averages. 1- 6 Alternatives to Monte Carlo
methods are, now, available to study systems in the canonical, isothermal-isobaric, and isoenthalpic-isobaric ensembles.
Recently, the isobaric methods have been reexamined. 6
It was observed that while isobaric ensembles are produced,
the trajectories have an unphysical dependence on the choice
of basis lattice vectors. 7 ,8 This behavior arises because the
equations of motion are not modularly invariant. 7 ,8 However,
modular invariance can be incorporated naturally into isobaric schemes using the formalism developed by Hoover. 4,6,9
In this ,paper, the inconsistencies of prior schemes are
removed-,4-6,9 and a new hybrid method which combines
both isotropic volume fluctuations and full flexibility of the
simulation cell is introduced. The methods are tested on two
model problems, a particle in a one-dimensional periodic potential and C60 molecules in the solid/fluid phase.
(2.2)
is the internal pressure. A possible explicit dependence of the
potential energy on the volume has been considered. Such
terms
will
occur
when
long-range
interactions
[>(r) ex: 1/ rn ,n:;;; 3] or long-range corrections to short-range
potentials are present. Cutting off long-range interactions or
neglecting long-range corrections in small systems can give
rise to incorrect results. ll Note that the barostat momentum
p" has been coupled to the thermostat momentum PI;'
Hoover's equations have the advantage that they automatically and naturally satisfy the constraint that the volume
be greater than or equal to zero, namely, V(t) = V(O)
Xexp[dIWfbdt' pit')]. The equations also have the conserved quantity
2
, _ '" Pi
p"
p t;
H -~ 2m; +2W +2Q +>(r,V)+(Nf +l)kTg
+PextV,
dH'
-dt
m'
= '"
[V Pi H'p +V r i H'r.]+-p
e+.,;
ap
~
at:.!:>t:.
I
;=1
PtYE
PE=dV(Pint - Pext)-Q'
I;
and Jacobian, 12
(2.1)
#.
(V "p,+ V
dV
dp"
+ dV + dp"
t.J
!:>
aH'
aH'.
+ a p,,+ av V=O,
p"
dJ(t) _
[d g djJg
----;It - -J(t) dg + dpl;
. dVPE
V=--w-'
(2.3)
m'.
0021-9606194/101 (5)/4177113/$6.00
(2.4)
4177
Downloaded 14 Jun 2013 to 152.2.104.3. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://jcp.aip.org/about/rights_and_permissions
4178
Ll
+ l)kT
(2.9)
(2.5)
[ H"]
where
and D( V) is the domain defined by the volume. Unfortunately, Ll is not the isothermal-isobaric partition function
(within a constant) as was made clear by Hoover in the original derivation.4 9
In an effort to correctly generate the isothermal-isobaric
ensemble, it has been suggested that Hoover's equations of
motion be slightly modified: 6
Pi
dVPE
dVp"
V=---w'
Xexp - kT '
p"
..
, + W (ri-rcm),
r,'=m
mi
+ 1) g] 8(H' - E),
exp[ElkT]
(N
. Pi PtE
ri=- +Wri'
.
dp dr V-I
D(V) .
Xexp[(Nf
(2.7)
V=---w '
(2.10)
-(dV)
acfJ(r,
av
V)] .
(PE)=d(
(2.8)
(2.11)
4179
."
(al
it:
e 0.2
I
I
Jl.
'!:l
0.1
..'
0
0
a=
,:
0.2
0.4
0.6
10'" V (1")
0.8
dV exp[ -,BPextV]Q(V),
(2.12)
a=
0.3
e 0.2
'b
...
Jl.
Here,
0.1
Q(V)=
0
0.2
0.4
0.6
10'" V (AO)
f dho Q(V,ho)o(det[ho]-I)
0.8
f dhoJ
dp dr exp[ - ,BH(p,r)]
D(ho,v)
The analysis based on the virial theorem seemingly contradicts the proof based on the Lioville equation (see above)
for the modified equations of motion if Fc.m.=O, Pint=Pint.
However, under these conditions, the position of the center
of mass of the particles is an auxiliary variable, i.e., the dynamics of the r em depend on all the other variables but not
vice versa. In such dynamical systems, satisfying the Liouville equation for the entire distribution is insufficient to
guarantee that the individual pieces are properly generated.
In Appendix A, it is shown that for systems with no external
forces, the volume distribution generated by Eqs. (2.7) is
reduced by one factor of the volume. In Fig. 1, the pathology
is illustrated numerically, for a system of free particles, with
and without the imposition of a zero linear momentum constraint, Pc.m. =0. In the numerical calculations, the NoseHoover thermostatting scheme, which is insufficient to
handle the condition {Pc.m.(t) *0, F e.m. =O}, 13,24 is replaced
by the more general Nose-Hoover chain method 14 (see Appendix C).
The results presented above and in Appendix A suggest
that the new equations of motion, Eqs. (2.9), will be robust
while the modified equations, Eqs. (2.7), may fail to generate
the isothermal-isobaric ensemble under certain circumstances, particularly, if the separable definition of Pint (Ref.
6) is employed. Therefore, the new equations of motion, Eqs.
(2.9), appear to be superior. Tests of the new method on more
X o(det[ho]-l),
(2.14)
where the domain of integration is determined by the transformation r=V11dhos, where s are the scaled/reduced coordinates. The assumption, consistent with the isothermalisobaric ensemble, is that all cells with the same volume
occur with equal a priori probability weighted by the appropriate Boltzman factor Q(V,ho). Therefore, the virial theorem
is always obeyed, i.e., the external pressure P ext is directly
related to the average of the usual expression for the internal
pressure and the correct isotropic limit is obtained.
It is possible to transform the proposed partition function, Eq. (2.13), to a more familiar form. By introducing the
normal matrix of cell parameters, h = V 11dho, and eliminating
the volume using the delta function, one finds
(Pa{3-PextOa{3)=
kT
d
a 10g[Q(h)]
---h{3z---( det[h] 1=1
ahal
2:
(2.16)
a=
dhexp[-,BPextdet(h)]Q(h).
(2.17)
4180
Cd-l)kTj)
( P ""j3- [ P ext -
,_
det(h)
o""f3
."
(2.18)
=0,
(2.25)
and each of the individual ~g satisfy the tensorial virial theorem
pg ( 1 ) Tr[Pgl P t;
Pi=F I - Wg Pi- N ~ Pi- Q Pi'
f
. Pi
Pg
ri= mi +W ri,
g
~.JY-PQ~
i=1
'
'
(2.19)
Pg,.
_ 1
,(Pi)",,(Pi)j3
(P intJ""j3-V '[ ~,
N
mi
(2.26)
C. Hybrid method
Pg,
.
-, ....t, ,
+(Fi)",,(ri)j3-( h )a{3 :
'J
It is possible to separate out the isotropic volume fluctuations from other changes in the simulation cell. Such a
separation allows different time scales to be associated with
the two types of motion (isotropic and anisotropic) through
introduction of different masses for the independent momenta. This separation also' makes it easy to change from a
fully flexible cell to an isotropicaIly flexible cell within the
same computational framework. Such an approach is only
useful for d> 1.
In order to separate out the isotropic fluctuations, the
following equations of motion are proposed:
(2.20)
(2.21)
defines the pressure tensor. The modularly invariant form of
the box momenta Pg are taken from earlier work. 6,7,16 These
' .
equations of motion have conserved quantity:
N
"-~
-t-
P~
-,
H =.LJ ~ + 2 W Tr[pgPg] + 2Q + (r,h)
i=1
m,
g
Pi
(2.22)
2
r ..
- exp[ElkT]
++
++
(2.27)
I-d
( Hill'
(2.23)
Xexp - kT '
where
N
+(r,h)
++
+ P ext det[h].
(2.24)
4181
wgi
wgJo
(2.31)
(r, V,ho)
+ P extV + (Nj
+d'2)kT~
(2.28)
exp[ElkT]
il (N +d2 )kT
f-
D(ho,V)
++
in three dimensions where the J tot are the componen~~ ,of the
total 8f1gular momentum of the cell and the identity pg
X o(Tr[p~]),
(2.29)
where
(2.33)
in two dimensions and
(2.30)
If the thermostat is decoupled, the isoenthalpic-isobaric ensemble is recovered. Also, virial theorems are satisfied by
(jJ ,,) and <Pgo
). Note, that both the dynamics and the en.
semble produced by the hybrid method are equivalent to the
preceding formulation. However, the hybrid method can be a
computationally convenient scheme.
D. Elimination of cell rotations
The equations of motion for the case ofa flexible'simulation cell were_derived using thl? full matrix of Cartesian
cell parameters h or equivalently h o. The cell can therefore,
in general, rotate in space.5 This motion can make data
analysis difficult and should be eliminated.
The origin of the rotational motion of the cell lies in
pressure tensor, P a/3 [see Eq. (2.20)]. If the instantaneous
value of the components of the pressure tensor are asymmetric, P a/3* P {:Ja' then there will be a torque on the cell that
will cause it to rotate. This suggests that there are two options that can be used to eliminate the rotations. The first is
to work with the symmetrized tensor Pa{:J= (P a{:J+ P {:Ja)l2
Here, if the total angular momentum of the cell is initially
zero, the cell should not rotate. A second option is to work
with a restricted set of cell parameters that only respond to
the upperllower triangle of the tensor. This freezes the rotations out.
It is possible to implement either of these two options
within both of the sets of equations of motion derived for
fully flexible cells, i.e., the normal method, Eqs., (2.19), and
the hybrid method, Eqs. (2.27). The application to the symmetrized tensor will be considered first. Here, the constraint
g-=g in the normal method or go=io in the hybrid method
(2.34)
in three dimensions. The only solution consistent with initial
condition pg = P~ or Pgo = P~o is Jtot=O. The conservation
laws guarantee that J IO! will remain zero and the cell will not
rotate (i.e., a fixed point of the dynamics is utilized).
The application to the case of an upper triangular cell is
also simple. Here, the constraint that hjj=O, i> j or
(hO)ij=O, i> j must be enforced. Introduction and elimination of the Lagrange multipliers reveals that only the upper
triangle of the equations of motion need to be considered.
This is obvious since upper triimgular matrices form a closed
algebra. It should be noted that the dynamics produces the
ensemble
il=
f dVdho exp[-,BPextV]Q(V,ho)o(det[ho]-I')
d
IT (h o);i
/=1
(2.35)
il=
f dhexP[-,BPextdet(h)]Q(h),
d
IT
(h);i 1 det[h]l-d,
1=1
where the space of the hofh has been weighted to account for
the unequal a priori sampling of the upper triangular form.
In this space, the tensorial virial theorem
4182
(2.36)
is obeyed where f3;::'a. Using the form of the canonical partition function, it can be shown P a{3 is still given by Eq.
(2.20). However, if the matrix of cell parameters is constrained to be symmetric, the pressure tensor that satisfies the
virial theorem is no longer given by Eq. (2.20). This third
option is therefore to be avoided.
The two methods outlined above will eliminate rotations
of the simulation celL In both methods, however, some information about the behavior of the off-diagonal components
of the pressure tensor has also been eliminated. Therefore,
the average of all the off-diagonal components of the pressure tensor should be monitored to ensure that each is independently equal to zero. This is more physically meaningful
when the method based on the symmetrized tensor i~ used
because the weight associated with the space of the ho remains uniform. The symmetrized method must therefore be
considered a somewhat better way to eliminate rotations of
the simulations cell. [On a technical note, the quantity
N f +d 2 that appears in the equations of motion for p~ must
be changed to Nf+d(d+ 1)/2 in the upper triangular case.]
E. Temperature control
In the equations of motion written above, a single thermostat was coupled to the particles and volume/cell variables. While this scheme is usually effective it does not always perform well. For example, large periodic oscillations
in the total kinetic energy were found to develop in protein
simulations. 17 Also, the equations of motion are not always
ergodic. 4 The Nose-Hoover chain method has been developed to overcome these difficulties. 14 In this method, the
thermostats themselves are thermostatted to form a chain:
(2.37)
.
PE2 M - 1
]
PEM = [ QM-I -kT ,
where M is the chain length. Therefore, in actual simulations, it is useful to thermostat the particles using a NoseHoover chain. It is also useful to use an independent chain to
thermostat the volumelbox variables to ensure these stiff
variables properly sample the phase space. These additions
are completely consistent with the results presented above.
However, if constraints on the particle degrees of freedom
are introduced, the volumelbox variables and all degrees of
freedom involved in the constraints, must share the same
thermostat (see Appendix D).
I1t 2
x(l1t)=x(O)+i(O)I1t+i(O) 2 +0(l1t3 ),
,i(l1t)=i(O)+[i(O)+i(l1t)]
I1t
(3.1)
""2 +0(l1t 3 )
4183
.8
E
p..
.6
.4
.2
.4
O'b2
.3
X{
.2
_
.1
10
90s ( 1 _ s2) 9
4
12+S /6]}
(l-S2)3
,
O'~ [1-S
7'
FIG. 2. (a) Position distribution function of the Model problem (dotted line).
The solid line is the exact result. (b) Volume distribution function of the
Model problem (dotted line). The solid line is the exact result.
TABLE I. Structure and thermodynamics data: neat C60 solid and gas. (,;;,=33 K. lTcoo=7.l A.
T=2600 K (solid)
Quantity .
c
Econs
(v> W)
(a) (A)
(b) (A)
(c) (A)
(a) (deg)
({1> (deg)
(y) (deg)
(P) (atrn)
CPu) (atm)
(Pn> (atrn)
(P 33) (atrn)
(P 1:0 (atrn)
(P 13 ) (atm)
(Pd (atrn)
-(iN) (K)
Isotropic'
3.11XIO-s
7.34X105
90.2
90.2
90.2
90.0
90.0
90.0
500
507
495
498
(4.2)
lTc =3.469
A).
T=2700 K (gas)
Isotropipb
Hybrid"
3.71 X 10- 5
7.36XlOs
90.3
90.3
90.3
90.0
90.0
90.0
500
498
SOl
SOl
-I
-2
-1
1.41 X 104
-7
1.42 X 104
-;rr
2.27XIO- 5
1.09 X 106
103
103
103
90.0
90.0
90.0
500
500
SOl
499
2
-1
-1
7.85X103
Hybridb
3.02XIO- s
1.09 X 106
111
92.3
109
91.1
97.2
93.2
500
500
500
499
-2
1
0
7.85X103
4184
93
I!
91
il
(e)
92
'I
Ii'
s
IS
20
89
0
20
40
60
80
100
time (ps)
92
60
80 100
20
40
60
80 100
tlme(ps)
Ij
'I
sIi'
...
.0
(b)
20
1
!
40
60
20
80 100
lime(ps)
91
40
tlme(ps)
j
~
90
40
60
80 100
time (ps)
'i
I"-
89
0
20
40
60
80
20
100
time (ps)
40
60
80 100
20
40
60
80 100
time (ps)
time (ps)
FlG. 3. Time histories of simulation cell parameters during equilibrium constant NPT simulations of solid C60 at T=2600 K, P ext =500 atm: Ca) isotropic
algorithm; (b)-(hl hybrid algorithm.
106
(a)
'i
1:
!"
It
>
102
s
01
130
100
50
100
150
200
250
lime (ps)
106
1j
1
S
time (ps)
...
(d)
120
J...
110
.0
(b)
tlme(ps)
time (ps)
104
130
1120
il
102
>
100
0
50
100
time (ps)
150
200
250
110
100
(e)
time(ps)
I
I"-
90
0
FlG.4. Time histories of simulation cell parameters during equilibrium constant NPT simulations-of gaseous C60 at T=2700 K, P e",=500 atm: (al isotropic
algorithm; (b)-(h) hybrid algorithm.
4185
110
(a)
1 105
..
100
i>-
95
tim9{ps)
130
90
0
50
100
150
200
250
1120
tim9{ps)
110
tim9{ps)
(d)
110
100
.a
90
....
(b)
80
70
120
1
~
lim9{ps)
100
'i
110
95
100
90
(h)
I"-
90
0
50
100
150
200
250
time (ps)
EG. 5. Time histories of simulation cell parameters during constant N PT simulations of a structural transition from solid to gaseous states of C60 at T=2700
K, P ext =500 atm: (a) isotropic algorithm; (b)-(h) hybrid algorithm.
methods and in the fully flexible studies (the hybrid calculations) the cell remains essentially cubic on the time scale of
the simulations. This second point is by no means guaranteed
in the gas phase study where the partition function is independent of cell shape. In fact, cells with large sides (a,b,c)
and small/large angles are a non-negligible part of the free
shape phase space Idho O(det[hoJ-l) and will eventually appear. However, the metastability of the roughly cubic cells is
a useful result. With the exception of the individual cell
lengths and angles in the hybrid gas simulation, the corresponding average structural and thermodynamic properties
of the two phases computed using the isotropic and hybrid
methods are identical within statistical errors (Table I) and
agree with previous work at constant volume. 2o
The transition from the solid to gas phase was also studied using the two methods (see Fig. 5). Again, the behavior
of the volume is similar for the two methods. The transition
occurs in roughly 15 ps and the final volumes are the same.
In the hybrid study, the cell appears to be distorting slowly,
but significantly, from its initially cubic shape. Nonetheless,
the transition was not affected and the results are in good
agreement with the isotropic calculation.
V. CONCLUSIONS
New constant pressure methodologies have been developed and tested on model and more realistic problems. The
methods were found to perform well under eqUilibrium conditions and during structural transitions such as an evaporation of a solid to form a gas. The methods outlined above
ACKNOWLEDGMENTS
The research described herein was supported by the National Science Foundation under Grant No. CHE-92-23546.
One of us (G. M.) would like to acknowledge startup funds
from Indiana University. D. J. T. would like to acknowledge
National Institutes of Health Grant No. F32 GM14463.
APPENDIX A
4186
_ exp[ElkT]
6.-(N +l)kT
N-1
dpgdp"pdvvr
[HII]
exp-kT'
(Al)
6.
exp[ElkT]
(N+l)kT
[HII]
dpgdPedpdVVfeXP-kT'
...
CA2)
There are two important pressure virial theorems associated with isothermal-isobaric ensemble that are used in the
analysis presented in text. The first and more familiar theorem relates the internal and external pressure
(P int -
Pex~
(Pin~=Pext'
(Bl)
while the second and less familiar theorem relates the internal and external work,
Pint-Pext)V)
(B2)
Both theorems are invariant properties of the isothermalisobaric ensemble and as such are (both) always satisfied,
independent of system, boundary condition, etc. (the only
input to the derivations is the statistical mechanical definition
of the ensemble and the pressure). Incorrect/different ensembles posses incorrect/different virial theorems. For example, the ensemble generated by Hoover dynamics [Eq.
(2.1)] has the two theorems
<Pin~= Pext+kT(V- I ),
(B3)
(PintV) = P ext(V),
(B4)
(CI)
2
]
.
P'M-I
Pt;M= [ QM_I- kT ,
APPENDIX C
It has been shown elsewhere that for systems with no
external forces (~f= 1Fj=O), the Nose-Hoover canonical dynamics method4 ,5 only gives rise to the canonical distribution
if the total linear momentum is taken to be zero.13 In this
appendix, it will be demonstrated that this constraint can be
eliminated under Nose-Hoover chain dynamics,21 a simple
extension of the Nose-Hoover scheme. In addition, the other
"problem" with Nose-Hoover-type methods under these
conditions (~f=lFj=O), that the total linear momentum cannot change sign or direction is addressed.
The Nose-Hoover chain method employs the equations
of motion
H'(p,r,s,pt;)= V(r) +
+L
kT !n(Si)'
eC2)
i=2
Q=
N-\
1=1
N-l
X 8 [ VCr) +
>kT~
N
Qcx
JII
/=1
drl
pgi
ll
II
i=1
/=1
p.12
p2
+ 2M +
dp;rr pgJoo dP p
i=]
APPENDIX D
dS i dP83[S}ldNp-p']
InCS;)-Ej.
N-l
values of M, provided the parameter N in Eq. (AI) is decreased by d. For a more complete treatment of the issues
discussed here, see Ref. 24.
i=1
~ 2~i
4187
!1t 2
ri(!1t)=r/(O)+vi(O)at+FiCO) -2 '
m/
(Dl)
which can be formally shown to generate canonical ensemble, with the zero linear momentum constraint, for all
The velocity Verlet integrator for the equations of motion, Eqs. (2.37), is
2
] at
Fi(O)
riCat)=rlO)+vtCO)!1t+ [ ~-Vi(O)vg(O) 2 '
~(at)=g(O)+viO)!1t+Gg(O)
at 2
2 '
(D2)
] at
Fi(O)
ViCat)=Vi(O)+ [ ~-Vi(O)Vg(O) '2
FiCat)
] at
+ [ ~-Vi(at)viat) '2'
!1t
v,Cat)=v(;(O)+[Ge(O)+G,(at)]
'2'
[1 + (at12)\1 I(ai)]
4188
mi'
-V;(0)vg(0)~(2+~JVJO)V.,(0)] ~t},
ilt
..,
slowly, to provide better temperature control in the simulation.)In addition, Rattle must now be applied as part of the
iterative procedure. Alternatively, only the center of mass
degrees of freedom of partially rigid or rigid subunits may be
barostatted (i.e., scaled by the volume).5 Note that this sec'"
ond procedure produces a slightly different ensemble in partially flexible molecules.
Si(~t)=exp[ - (~t)]h;l(~t)ri(~t),
g(~t)=g(O)+vg(O)M+Gg(O) -;;-,
(D6)
] ~t2
F .,(0)
(~t)=(O)+viO)M+ [-W-V.,(O)Vg(O)T'
v-(~t)=e["(At)-.,(O)]
l-
.-
FiCO)
---v{O)VgCO)
{ v{O)+
[ mi
l
l
(D4)
M} +-;;;;[Fl 6.t)
(2+ Ntd) Vi(O)V..(O) ] 2""
-Vi(~t)V(;(~t)-(2+~JVi(~t)V..(~t)] ~t,
Vg(~t)=Vg(O)+[GlO)+G(;C~t)]
F"(O)
Fi(O)
_
+ [ ~-v;(0)vlO)-2vgO<O)Vi(0)
~t
2""'
v ..(~t)=v,,(O)+ [-W--V.,CO)Vg(O)
_(
2+~JVi(0)V.,(O)] ~;2},"
] ~t
2""
_1M
+ [ ----w--VA~t)Vg(At) 2""'
F.,(~t)
where
ho(~t) =
{j Vgo(O)~t+ ~gO
+
] ~t2 } __
CDS)
--: vgo(O)Vg(O)
ho(O),
(D7)
. _
[F-(O)
vi(~t)=e["(llt)-"(O)lho(~t}hol(o) Vi(O)+.~
~JVi(O)VE(O)] ~t } +IFi~~t)
- vi(M)vg(~t) - 2Vgo(~t)Vi(~t),
-(2+:JVi(~t)Vi~t)] ~t,
vg(~t)=Vg(O)+[Gg(O)+Gg(~t)]
~t
2""'
4189
~vA~t)Vl~t)] ~t ,
-Vgo(O)Vg(O)
~t
++
(E2)
within a desired
generally called
Rattle, is trivial
that
_ ...
0
(
I
) ..AAt .....
Vgo(~t)-Vgo(~t) + ,I t
+V (At)~tI2 2W I
;
go
...
"2 hO(O)hQl(~t)
c. ~~
++
(E3)
is traceless:
'(
) A~T
1+v~(Llt)At/2
2Wgo =
-dTr[Vgo(~t)O].
(E4)
where
The velocities can be determined iteratively as in the previous two subsections. The co~straint that det[ho]=;= 1 must be
enforced with a ShakelRattle routine (see Appendix E). The
advan.lage of the hybrid method over a method involving
only h is that the volume is integrated in exactly the same
way as in the isotropic case: In addition, 'the constraint
that Vgo remain symmetric is ~onserved exactly .~y the integrator (see Sec. II D) and the angular momenta of the cell
remains zero. .
APPENDIX E
In this appendix, it is shown how the Shak:eIRattle algorithm can be used to constrain det[ho]= 1, in the integration
of the hybrid method,. Eqs. (2.27). Briefly, if the term
- "-{det[hol-l) is introduced to the conserved quantity_of the
hybrid method, Eq. (2.28), then the additional term XI must
be added to the force on the pg in Eqs. (2.27). This results in
++
0
++
the term AhO/WgO in the expression for h o. In the Shake/
Rattle algorithm22,23 the following iterative procedure is used
to determine the cell positions at time ~t and the cellvelocities at time ~tI2,
.
++
.....
ho(M)"=hoCM)"-
.An~t2
+ 'JW'
-
++
hoCO),
go
V~CM/2)11={ vgo(M/2)Il-Jho(~t)Il~1
+ ~;:t
go
(El)
ho(O)}hol(~t)",
the variables in the problem are velOCity' dependent. Therefore, the velocities must be generated by repeatedly, (a) iterating velocity Verlet itself to convergence and (b) applying
. Rattle, until all the velocities are determined within a desired
tolerance;
The outlined procedures, Shake and iteration plus Rattle,
should converge rapidly because the "exact" value of the
multiplier has already been substituted into the equations of
motion (d Tr[vgo]ldt = 0). Thus, only small corrections, on
the order of ~t3, necessary for the finite time step integrator
to satisfy the constraint within the. desired ,tolerance are generated by Shake and Rattle. We therefore find the CPU time
taken by this part of the program to be negligible.