13.07.2015 Views

Calculation of the Maxwell stress tensor and the Poisson-Boltzmann ...

Calculation of the Maxwell stress tensor and the Poisson-Boltzmann ...

Calculation of the Maxwell stress tensor and the Poisson-Boltzmann ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

THE JOURNAL OF CHEMICAL PHYSICS 123, 084904 2005<strong>Calculation</strong> <strong>of</strong> <strong>the</strong> <strong>Maxwell</strong> <strong>stress</strong> <strong>tensor</strong> <strong>and</strong> <strong>the</strong> <strong>Poisson</strong>-<strong>Boltzmann</strong> forceon a solvated molecular surface using hypersingular boundaryintegralsBenzhuo Lu aDepartment <strong>of</strong> Chemistry <strong>and</strong> Biochemistry, Center for Theoretical Biological Physics,University <strong>of</strong> California at San Diego, La Jolla, California 92093-0365Xiaolin ChengCenter for Theoretical Biological Physics, Howard Hughes Medical Institute,University <strong>of</strong> California at San Diego, La Jolla, California 92093-0365Tingjun HouDepartment <strong>of</strong> Chemistry <strong>and</strong> Biochemistry, Center for Theoretical Biological Physics,University <strong>of</strong> California at San Diego, La Jolla, California 92093-0365J. Andrew McCammonDepartment <strong>of</strong> Chemistry <strong>and</strong> Biochemistry, Center for Theoretical Biological Physics,Department <strong>of</strong> Pharmacology, Howard Hughes Medical Institute, University <strong>of</strong> California at San Diego,La Jolla, California 92093-0365Received 13 May 2005; accepted 30 June 2005; published online 1 September 2005The electrostatic interaction among molecules solvated in ionic solution is governed by <strong>the</strong><strong>Poisson</strong>-<strong>Boltzmann</strong> equation PBE. Here <strong>the</strong> hypersingular integral technique is used in a boundaryelement method BEM for <strong>the</strong> three-dimensional 3D linear PBE to calculate <strong>the</strong> <strong>Maxwell</strong> <strong>stress</strong><strong>tensor</strong> on <strong>the</strong> solvated molecular surface, <strong>and</strong> <strong>the</strong>n <strong>the</strong> PB forces <strong>and</strong> torques can be obtained from<strong>the</strong> <strong>stress</strong> <strong>tensor</strong>. Compared with <strong>the</strong> variational method also in a BEM frame that we proposedrecently, this method provides an even more efficient way to calculate <strong>the</strong> full intermolecularelectrostatic interaction force, especially for macromolecular systems. Thus, it may be more suitablefor <strong>the</strong> application <strong>of</strong> Brownian dynamics methods to study <strong>the</strong> dynamics <strong>of</strong> protein/protein dockingas well as <strong>the</strong> assembly <strong>of</strong> large 3D architectures involving many diffusing subunits. The method hasbeen tested on two simple cases to demonstrate its reliability <strong>and</strong> efficiency, <strong>and</strong> also compared withour previous variational method used in BEM. © 2005 American Institute <strong>of</strong> Physics.DOI: 10.1063/1.2008252I. INTRODUCTIONa Electronic mail: blu@mccammon.ucsd.eduThe electrostatic interactions among biomolecules inionic solution can be described by <strong>the</strong> <strong>Poisson</strong>-<strong>Boltzmann</strong>equation PBE. Different methods have been developed tosolve <strong>the</strong> PBE, such as finite difference FD methods, 1–3finite element FE methods, 4,5 <strong>and</strong> boundary element methodsBEMs. 6,7 However, most <strong>of</strong> <strong>the</strong>se works <strong>and</strong> <strong>the</strong>ir applicationsin biomolecular studies are focused on <strong>the</strong> electrostaticpotential <strong>and</strong> interaction energy calculations.Relatively few studies have considered electrostatic forcecalculations. Dynamical study <strong>of</strong> biomolecular systems is <strong>of</strong>great interest in chemical physics <strong>and</strong> molecular biology.Therefore, <strong>the</strong> force calculation is important for many <strong>the</strong>oreticalstudies <strong>and</strong> molecular-dynamics MD simulations.PB forces have recently been applied in several MDsimulations. 8–10 Gilson et al. 11 derived an expression for PBforce calculation that is correct for <strong>the</strong> FD approach. Theformula is compatible with <strong>the</strong> <strong>Maxwell</strong> <strong>stress</strong> <strong>tensor</strong>method, <strong>and</strong> a smooth dielectric boundary is required in thatmethod. But for a system with two or more interacting macromolecules,as in protein assembly, <strong>the</strong> FD method is notpractical for <strong>the</strong> full PB force calculation “on <strong>the</strong> fly” due to<strong>the</strong> tremendous CPU time required. The Brownian dynamicsBD program in <strong>the</strong> UHBD Ref. 12 actually uses a partialPB force between protein <strong>and</strong> lig<strong>and</strong>, because only <strong>the</strong> reactionfield <strong>of</strong> <strong>the</strong> fixed protein is calculated. For rigid bodyproblems, <strong>the</strong> BEM can use <strong>the</strong> molecular surface informationrepeatedly, so that it has fast performance for <strong>the</strong> full PBforce updating required in a protein-protein encounter dynamicssimulation. The force calculation in a BEM using a“polarized charge” method was first described by Zauhar; 13<strong>the</strong> force included both qE forces <strong>and</strong> boundary pressures.This idea was used in a later BEM work. 8,14 In <strong>the</strong>se works,<strong>the</strong> BEM used a single-layer representation. However, <strong>the</strong>accuracy <strong>of</strong> <strong>the</strong> boundary pressure computed by this techniquehas not yet been demonstrated. More generally, <strong>the</strong> use<strong>of</strong> only a single- or double-layer representation <strong>of</strong> <strong>the</strong> BEMto calculate <strong>the</strong> forces <strong>and</strong> torques has still not been adequatelytested. In our recent work, 15 to our knowledge, wegave <strong>the</strong> first rigorous procedure for using a variational approachembedded in <strong>the</strong> BEM frame to calculate <strong>the</strong> full PBforce <strong>and</strong> torque on a molecule in an interacting system withan arbitrary number <strong>of</strong> molecules in ionic solution. That is0021-9606/2005/1238/084904/8/$22.50123, 084904-1© 2005 American Institute <strong>of</strong> PhysicsDownloaded 02 Sep 2005 to 132.239.16.167. Redistribution subject to AIP license or copyright, see http://jcp.aip.org/jcp/copyright.jsp


084904-3 Stress <strong>tensor</strong> on a solvated molecular surface J. Chem. Phys. 123, 084904 2005limi y,xvx − W i y,x v =0, 12→0 +S−e +s VndSxwhereW i = Gy i= 14r 2r ,i,13FIG. 1. Exclusion <strong>of</strong> <strong>the</strong> singular point y by a vanishing neighborhood o . e denotes <strong>the</strong> dotted part <strong>of</strong> <strong>the</strong> boundary.osmotic pressure <strong>of</strong> ion to <strong>the</strong> <strong>stress</strong>es at <strong>the</strong> level <strong>of</strong> linearPBE. This term is considered to be part <strong>of</strong> <strong>the</strong> hydrodynamic<strong>stress</strong> ra<strong>the</strong>r than <strong>the</strong> electric <strong>stress</strong>. For a system with noconvective flow as is <strong>the</strong> case in this work, <strong>the</strong> abovementionedformula gives <strong>the</strong> total <strong>stress</strong> present. Therefore,to obtain <strong>the</strong> boundary <strong>stress</strong> <strong>tensor</strong>, <strong>the</strong> derivative <strong>of</strong> <strong>the</strong>potential, that is, <strong>the</strong> negative <strong>of</strong> E on <strong>the</strong> boundary, shouldbe known. In <strong>the</strong> integral form <strong>of</strong> <strong>the</strong> potential solution, Eqs.3 <strong>and</strong> 4, <strong>the</strong> derivative <strong>of</strong> <strong>the</strong> potential with respect toposition p, noted as ,p , is obtained directly by differentiatingon both sides <strong>of</strong> <strong>the</strong> equations, <strong>and</strong> <strong>the</strong>n this value on <strong>the</strong>surface can be obtained by taking <strong>the</strong> limit as p approaches<strong>the</strong> boundary S. In order to use some results from <strong>the</strong> literaturein which Laplace’s equation is usually studied, here wefirst treat <strong>the</strong> interior potential solution <strong>of</strong> <strong>the</strong> PBE by subtracting<strong>the</strong> contribution <strong>of</strong> <strong>the</strong> source point charges <strong>of</strong> <strong>the</strong>molecule, that is p = int p − 1D int q k G pk , p,k . 10kThen, <strong>the</strong> modified potential p satisfies Laplace’s equation,which is equal to <strong>the</strong> case without point charges. We will firstcalculate <strong>the</strong> derivative <strong>of</strong> p , noted as ,p , <strong>the</strong>n return to <strong>the</strong>derivative <strong>of</strong> <strong>the</strong> original potential, i.e., ,p , by recovering<strong>the</strong> contribution from <strong>the</strong> source point charges, which is easilycalculated using Coulomb’s law.Now let us first consider <strong>the</strong> st<strong>and</strong>ard boundary integralequation for <strong>the</strong> harmonic function on <strong>the</strong> 3D domain ,bounded by <strong>the</strong> regular surface S see Fig. 1, 16,18lim→0 +S−e +s Gy,x x − Gy,x xdSx =0.nn11The fundamental solution G has a weak singularity <strong>of</strong> orderr −1 , when r=x−y→0, while its normal derivative has astrong singularity <strong>of</strong> order r −2 . Since in Eq. 11 both <strong>the</strong>points y <strong>and</strong> x lie on <strong>the</strong> surface S, a limiting process isnecessary. Actually, since Eq. 11 stems from Green’s secondidentity, it may be only formulated on a domain notincluding <strong>the</strong> singular point y. The situation is exemplified inFig. 1, where a vanishing neighborhood o <strong>of</strong> y has beenremoved from <strong>the</strong> original domain . The integration is thusperformed on <strong>the</strong> boundary S =S−e +s <strong>of</strong> <strong>the</strong> new domain =−o Fig. 1.Differentiating Eq. 11 with respect to any coordinatey i , we obtainV i =G n k x =− 1x k y i 4r 33r r,in − n i, 14where r ,i =r/x i =−r/y i , <strong>and</strong> n i is <strong>the</strong> ith component <strong>of</strong> <strong>the</strong>normal vector n. As expected, <strong>the</strong> kernel W i shows a strongsingularity <strong>of</strong> order r −2 , while <strong>the</strong> kernel V i is hypersingular<strong>of</strong> order r −3 ,asr→0.Through <strong>the</strong> limiting process analysis as in Refs. 16 <strong>and</strong>19 <strong>the</strong> hypersingular boundary integral equation for ourmodified electrostatic potential v can be written in <strong>the</strong> followingform:c ik yv ,k y + limi y,xvx→0 +S−e V − W i y,x vxdSx + vy b iyn =0, 15where c ik <strong>and</strong> b i are bounded coefficients that only dependupon <strong>the</strong> local geometry <strong>of</strong> S at y. Ify is a smooth boundarypoint <strong>and</strong> s had a spherical shape, <strong>the</strong> coefficient c ik simplyreduces to 0.5 ik . This is <strong>the</strong>n similar to Eq. 4.4.5 inRef. 19. This is <strong>the</strong> value we take in our case, because weconsider that our molecular boundary has been smoo<strong>the</strong>dbefore discretization.The derivative <strong>of</strong> <strong>the</strong> potential appears in Eq. 15, but<strong>the</strong>re still is a limiting process to be treated. We rearrange <strong>the</strong>equation in <strong>the</strong> hypersingular integral form on a discretizedboundary for v in our study as12 v ,iy =−v o ,i − lim V i y,x vx→0 +s e −e n dSx+ vy b iy + lim W i y,xvxdSx,→0 +s e −e 16where s e denotes <strong>the</strong> boundary elements involving <strong>the</strong> singularpoint y, <strong>and</strong> v o ,i denotes <strong>the</strong> value from integration inEq. 15 on all o<strong>the</strong>r elements S−s e , which can be obtainedby regular numerical integration. The term in brackets in Eq.16, defined in terms <strong>of</strong> a limit, is called <strong>the</strong> “Hadamard” 20or “finite part” <strong>of</strong> <strong>the</strong> unregularized integral, which is <strong>the</strong>hypersingular integral part. Guiggiani et al. 16 presented aprocedure using Laurent series expansion to treat <strong>the</strong> generalform <strong>of</strong> hypersingular integral <strong>and</strong> finally transformed it intoa sum <strong>of</strong> a double integral <strong>and</strong> a one-dimensional regularintegral. Then <strong>the</strong> st<strong>and</strong>ard quadrature formulas can be used.The procedure was improved a little bit later <strong>and</strong> expressedin a more complete form, 17 which does not affect <strong>the</strong> formulasfor our case. Similar results can be obtained by usingo<strong>the</strong>r approaches see <strong>the</strong> appendixes <strong>of</strong> Ref. 17. The strongDownloaded 02 Sep 2005 to 132.239.16.167. Redistribution subject to AIP license or copyright, see http://jcp.aip.org/jcp/copyright.jsp


084904-4 Lu et al. J. Chem. Phys. 123, 084904 2005r i /4r 2 N v J. J is <strong>the</strong> Jacobian from <strong>the</strong> coordinatetransformation, <strong>and</strong> here simply doubles <strong>the</strong> element area,From <strong>the</strong> coordinate transformation from r to ,, wefindx i − y i = A i ,20FIG. 2. A flat triangle in <strong>the</strong> three-dimensional space is mapped to a rightisosceles triangle on <strong>the</strong> plane. The singular point y, its surroundingcircular patch e , <strong>and</strong> <strong>the</strong>ir images in <strong>the</strong> transformed triangle are alsoshown.singular integral part, i.e., <strong>the</strong> last term on <strong>the</strong> right-h<strong>and</strong> side<strong>of</strong> Eq. 16, can be treated following a similar procedure.For our specific case, because we use a flat triangularelement <strong>and</strong> linear shape functions, <strong>the</strong> derivation <strong>of</strong> hypersingularintegral formulation can be more simple <strong>and</strong>straightforward. Here we give <strong>the</strong> detailed derivation. Let usfirst consider <strong>the</strong> case that <strong>the</strong> singular point y locates in <strong>the</strong>element, <strong>and</strong> suppose in <strong>the</strong> limiting process <strong>the</strong> patch e iscircular <strong>and</strong> <strong>of</strong> radius centered at point y see Fig. 2. Inthis case, we can <strong>the</strong>n show as following that part <strong>of</strong> <strong>the</strong>integral <strong>the</strong> circular patch-related part is solved analytically<strong>and</strong> <strong>the</strong> remainder numerically, which was also discussed byAllison. 21 In <strong>the</strong> implementation <strong>of</strong> <strong>the</strong> boundary elementintegral, <strong>the</strong> surface triangles in <strong>the</strong> physical threedimensionalspace are mapped to an isosceles triangle on <strong>the</strong> parametric plane, as shown in Fig. 2, where <strong>the</strong> integrationon each element is actually performed.The values <strong>of</strong> <strong>the</strong> coordinates, <strong>the</strong> potential, <strong>and</strong> its normalderivative at any position in <strong>the</strong> element are obtained bylinear interpolation from <strong>the</strong> corresponding values on threenodes, respectively. For example, for a point , in parametricspace, its coordinates in <strong>the</strong> original space is x=N 1 ,x 1 +N 2 ,x 2 +N 3 ,x 3 , where N i i=1,2,3 are<strong>the</strong> shape functions, <strong>and</strong> x 1 ,x 2 ,x 3 are <strong>the</strong> original coordinates<strong>of</strong> <strong>the</strong> three nodes <strong>of</strong> <strong>the</strong> element. Here, N 1 =1−−, N 2=, <strong>and</strong> N 3 =.Now, we use polar coordinate , in <strong>the</strong> parametricspace , to perform <strong>the</strong> integral. Denoting Eq. 16 as12 v ,i =−v o ,i − I + I W ,17we find that <strong>the</strong> hypersingular part I <strong>and</strong> <strong>the</strong> strong singularpart I W areI = lim→0 +s e −e V i y,xN v n Jdd + vy b iy, 18Jdd I W = lim W i y,xN v ,→0 +s e −e 19where v <strong>and</strong> v n ,=1,2,3, denote <strong>the</strong> value v <strong>and</strong> vx/nat node , respectively, <strong>and</strong> <strong>the</strong> doubly appeared superscriptsor subscripts implicitly mean a summation, i.e., N v n= N v n . Note that r/n=0 on <strong>the</strong> flat surface, <strong>the</strong> hypersingularintegr<strong>and</strong> in Eq. 18 is thus reduced ton i /4r 3 N v n J, <strong>and</strong> <strong>the</strong> strong singular integral is given bywherer = A,A i = x 2 i − x 1 i cos + x 3 i − x 1 i sin ,21223A = A i 21/2, 23i=1<strong>and</strong>N = N o + N 1 , = 1,2,3. 24Here, A, A i , N 0 , <strong>and</strong> N 1 have <strong>the</strong> same definitions as in Ref.16. N 0 is a constant that depends on <strong>the</strong> position <strong>of</strong> <strong>the</strong> singularpoint, namely, <strong>the</strong> position where we want to calculate<strong>the</strong> derivative <strong>of</strong> <strong>the</strong> potential. The contour <strong>of</strong> <strong>the</strong> neighborhoode given by <strong>the</strong> expression =r now in <strong>the</strong> parameterplane is expressed in polar coordinates by = A i .25By using <strong>the</strong> reversion <strong>of</strong> <strong>the</strong> above expression, we <strong>the</strong>nobtain <strong>the</strong> expression in <strong>of</strong> <strong>the</strong> equation in polar coordinates<strong>of</strong> <strong>the</strong> contour e <strong>the</strong> image <strong>of</strong> e , see Fig. 2 = /A i .26Now, using <strong>the</strong> above formulas expansion Eqs.20–26 <strong>and</strong> performing <strong>the</strong> hypersingular <strong>and</strong> strong singularintegrals, we obtainI = lim→0 +02 A−3Jn i N 1lnˆ −ln +lnA4− A−3 Jn i N 04 1ˆ + 1Ad + vy b iy , 27I W = lim→0 +02 A−3A i JN 1ˆ4+ A−3 A i JN 0lnˆ −ln4+lnAd .28Note that A=A+, A i =−A i +, <strong>and</strong> N 1 =−N 1 +, <strong>the</strong> integral <strong>of</strong> <strong>the</strong> terms involving ln in bothEqs. 27 <strong>and</strong> 28 is equal to zero. Because <strong>the</strong> final value Iin Eq. 27 is finite, in <strong>the</strong> limiting process, <strong>the</strong> integral result<strong>of</strong> <strong>the</strong> term involving 1/ must be canceled by <strong>the</strong> termvyb i y/. Then, <strong>the</strong> singular integrals are transformedwithout any approximation into regular integrals one dimensionin our case, <strong>the</strong>y areI =012F −1 lnˆA − F −2 ˆd,29Downloaded 02 Sep 2005 to 132.239.16.167. Redistribution subject to AIP license or copyright, see http://jcp.aip.org/jcp/copyright.jsp


084904-5 Stress <strong>tensor</strong> on a solvated molecular surface J. Chem. Phys. 123, 084904 2005I W =02F W 0 ˆ + F W −1 lnˆAd,30withF −1 = A−3 Jn i N 1, 314F −2 = A−3 Jn i N 0, 324F W 0 = A−3 A i JN 1, 334F W −1 = A−3 A i JN 0. 344The above two formulas hold for linear triangularboundary elements employed when <strong>the</strong> singular point is locatedin <strong>the</strong> element. A general form for hypersingular integralfor any kind <strong>of</strong> boundary element employed can befound in Refs. 16 <strong>and</strong> 17. If <strong>the</strong> singular point is chosen to benodal points on <strong>the</strong> bounding surface, a similar circular patchcan be selected, but subdivided into parts belonging to differentneighboring elements. Then a similar procedure presentedabove can be used, <strong>and</strong> <strong>the</strong> singular integral can beanalytically resolved. The results become 2I = mF m −1 lnˆ mA m mm 1− F m −2 1ˆ md ,mI W 2= F Wm 0 ˆ m + F Wm −1 mm 1lnˆ mA m d ,3536where <strong>the</strong> index m refers to <strong>the</strong> mth element around <strong>the</strong> collocationpoint, F m −1 , F m −2 , F Wm −1 , F Wm 0 , <strong>and</strong> A m are <strong>the</strong> similar coefficient as in Eqs. 29 <strong>and</strong> 30 but correspondto <strong>the</strong> mth element, <strong>and</strong> m 1 m 2 on <strong>the</strong> element. Itshould be noted here that, when <strong>the</strong> adjacent elements are ona plane, <strong>the</strong> sum <strong>of</strong> all <strong>the</strong> sectional angle ranges is equal to2. This was restated in <strong>the</strong> work <strong>of</strong> Huber et al. 22 However,in a real discretized surface such as <strong>the</strong> triangulated molecularsurface in our case, <strong>the</strong> adjacent elements sharing a commonnode may deviate somewhat from a plane, <strong>and</strong> thus <strong>the</strong>sum <strong>of</strong> <strong>the</strong> angles might not be 2. Never<strong>the</strong>less, in ourpresent <strong>stress</strong> calculations on <strong>the</strong> node, we suppose that <strong>the</strong>molecular surface is smoo<strong>the</strong>d enough <strong>and</strong> <strong>the</strong> adjacent elementsaround a node are nearly on a plane; Eqs. 35 <strong>and</strong>36 are still used for <strong>the</strong> boundary integral on each relatedelement. Because <strong>the</strong> integral on each element is also actuallytransformed onto an independent parametric triangle asis routinely done, <strong>the</strong> angle interval in <strong>the</strong> integral is /2 iftaking <strong>the</strong> singular node as <strong>the</strong> first node <strong>of</strong> each element in<strong>the</strong> transformation.In this work, we implement two options to select <strong>the</strong>collocation point, a singular point where <strong>the</strong> v ,i is to be calculated.One is to select <strong>the</strong> points in <strong>the</strong> element not on<strong>the</strong> edge, which isare just <strong>the</strong> Gauss quadrature points for<strong>the</strong> integration in Eqs. 29 <strong>and</strong> 30. We name this hypersingularintegral method type I, denoted as HS1. The o<strong>the</strong>roption is to put <strong>the</strong> collocation point at each corner node,<strong>and</strong> Eqs. 35 <strong>and</strong> 36 will be used, for which case <strong>the</strong> derivative<strong>of</strong> <strong>the</strong> potential at any point in <strong>the</strong> element will beobtained by interpolation. This second method is denoted asHS2.For <strong>the</strong> first case where <strong>the</strong> singular point is selected asinside <strong>the</strong> triangular element, we just show <strong>the</strong> integral on<strong>the</strong> parametric triangle where <strong>the</strong> boundary element integralis actually performed. Figure 3 shows <strong>the</strong> singular point in aparametric triangle.From <strong>the</strong> figure, <strong>the</strong> needed function ˆ can be calculated,1−a − bsin/4ˆ 1 = , − 1 − 2 ,sin/4 + ˆ 2 =ˆ 3 =acos − , − 2 3 2 − 3, 37bcos − 3/2 , 32 − 3 2 − 1 ,where 1 =arctan b/1−a, 2 =arctan1−b/a, 3=arctan a/b, <strong>and</strong> a,b are <strong>the</strong> parametric coordinates <strong>of</strong> <strong>the</strong>singular point in <strong>the</strong> parametric triangle; e.g., if <strong>the</strong> singularpoint is in <strong>the</strong> center <strong>of</strong> <strong>the</strong> triangle, <strong>the</strong>n a=1/3 <strong>and</strong> b=1/3.The values in N in Eqs. 31–34 are=1−a − b, =1N 0a, =2b, =3,<strong>and</strong>FIG. 3. A singular point in a parametric triangle.=− cos − sin , =1N 1 cos , =238sin , =3.Downloaded 02 Sep 2005 to 132.239.16.167. Redistribution subject to AIP license or copyright, see http://jcp.aip.org/jcp/copyright.jsp


084904-6 Lu et al. J. Chem. Phys. 123, 084904 2005In method HS2 for <strong>the</strong> singular point at <strong>the</strong> node <strong>of</strong> atriangular element, e.g., <strong>the</strong> first node 0,0, <strong>the</strong> functions inˆ reduce to only one type,1ˆ =cos + sin , 0 2 , 39<strong>and</strong> <strong>the</strong> functions in N are=1, =1N 00, =20, =3,<strong>and</strong>=− cos − sin , =1N 1 cos , =240sin , =3.Now, all <strong>the</strong> essential elements are ready for <strong>the</strong> calculation<strong>of</strong> <strong>the</strong> derivatives <strong>of</strong> <strong>the</strong> potential on <strong>the</strong> molecularsurface. The PB force calculation takes <strong>the</strong> following steps:First, we use <strong>the</strong> BEM to get <strong>the</strong> PBE solution potentials<strong>and</strong> <strong>the</strong>ir normal derivatives on <strong>the</strong> boundary elements foran arbitrary number <strong>of</strong> solvated molecules, as described inour former work. 15 Second, <strong>the</strong> singular integrals as describedabove are used to calculate <strong>the</strong> derivatives <strong>of</strong> <strong>the</strong>modified potential v ,i , <strong>the</strong>n <strong>the</strong> derivatives <strong>of</strong> <strong>the</strong> potential ,iare obtained by adding <strong>the</strong> contribution <strong>of</strong> <strong>the</strong> source pointcharges to v ,i , <strong>and</strong> <strong>the</strong> <strong>stress</strong> <strong>tensor</strong> T at any point on <strong>the</strong>surface can be computed from Eq. 9. Finally, <strong>the</strong> PB forceF <strong>and</strong> torque M acting on each molecule are calculated byintegrationsF =STx · dSx, 41M r c x Tx · dSx,42=Swhere r c x is a vector from <strong>the</strong> center <strong>of</strong> mass <strong>of</strong> <strong>the</strong> targetmolecule to <strong>the</strong> surface point x, <strong>and</strong> <strong>the</strong> dot <strong>and</strong> cross vectormultiplication are applied to <strong>the</strong> vector <strong>and</strong> <strong>tensor</strong> quantities.IV. TESTS FOR SOME SIMPLE CASESSince we have previously compared <strong>the</strong> potentials calculatedfrom a variational approach with <strong>the</strong> analytical resultson some cases, 15 here we just calculate <strong>and</strong> compare <strong>the</strong>electrostatic interaction forces between solvated moleculescomputed by all <strong>the</strong>se methods. For a test model, we choosetwo point charges in vacuum, in which each charge is surroundedby a unit sphere discretized by 320 flat triangularelements 162 nodes. Both charges are put on <strong>the</strong> x axis,<strong>the</strong>refore, <strong>the</strong> nonzero force component is along <strong>the</strong> x direction,i.e., F x , <strong>and</strong> <strong>the</strong> o<strong>the</strong>r two components F y <strong>and</strong> F z arezero in <strong>the</strong>ory. Figure 4 shows <strong>the</strong> forces F x along <strong>the</strong> xdirection as a function <strong>of</strong> <strong>the</strong> distance between <strong>the</strong> two pointcharges calculated using <strong>the</strong> two hypersingular integralmethods HS1 <strong>and</strong> HS2, <strong>the</strong> variational approach, <strong>and</strong> <strong>the</strong>analytical formula.FIG. 4. The force calculation comparison using different approaches: analyticalresults solid line, hypersingular integral type I HS1 with singularpoint in <strong>the</strong> center <strong>of</strong> each element dotted line, hypersingular integral typeII HS2 with singular point on <strong>the</strong> nodes dot-dashed line, <strong>and</strong> variationalapproach dashed line.It is found that <strong>the</strong> forces F x calculated by both HS1 <strong>and</strong><strong>the</strong> variational approach are very close to <strong>the</strong> analytical onesin all <strong>the</strong> distance range shown in Fig. 4. The results from <strong>the</strong>hypersingular integral method HS1 are even more accuratethan those from <strong>the</strong> variational approach; <strong>the</strong> HS1 curve isbetween those obtained by analytical solution <strong>and</strong> <strong>the</strong> variationalapproach over all <strong>the</strong> range. For HS2, <strong>the</strong> results atclose distance are even more accurate than those frommethod HS1, but HS2 is less accurate at a large distance. It isalso found that <strong>the</strong> more separated <strong>the</strong> two charges become,<strong>the</strong> smaller <strong>the</strong> relative errors <strong>of</strong> HS1 <strong>and</strong> <strong>the</strong> variationalmethods are. For example, <strong>the</strong> relative errors given by <strong>the</strong>variational approach <strong>and</strong> <strong>the</strong> HS1 method at a distance <strong>of</strong> 4Å are 5.6% <strong>and</strong> 3.1%, respectively, <strong>and</strong> 2.8% <strong>and</strong> 0.3% at adistance <strong>of</strong> 10 Å, respectively. HS2 gives a more accurateresult with a relative error <strong>of</strong> 2.7% at distance <strong>of</strong> 4 Å, but abigger relative error 5.6% at a distance <strong>of</strong> 10 Å. One reasonmay be <strong>the</strong> approximation <strong>of</strong> treating <strong>the</strong> adjacent elementsas on a plane when using Eqs. 35 <strong>and</strong> 36, as mentionedabove. Ano<strong>the</strong>r possible reason will be discussed later. Inaddition, note that as mentioned in our previous work <strong>the</strong>force calculations at moderate to large distances are evenmore accurate than <strong>the</strong> potential itself on <strong>the</strong> boundary. Thisis quite promising for BD trajectory calculations.It has to be noted that in our calculations <strong>the</strong> o<strong>the</strong>r tw<strong>of</strong>orce components F y <strong>and</strong> F z that should be zero are verysmall less than 10 −5 in <strong>the</strong> variational approach, while inhypersingular integral method HS1, <strong>the</strong>se numbers are not assmall, although <strong>the</strong>y are still small relative to <strong>the</strong> nonzerocomponent F x e.g., F y =0.14 kcal/mol Å <strong>and</strong> F z=0.28 kcal/mol Å at 4-Å distance. At larger distances, <strong>the</strong>setwo force components do not decrease much, thus <strong>the</strong> relativeerrors <strong>of</strong> <strong>the</strong>se force components will be increased at along distance. This is mostly due to <strong>the</strong> numerical error inherentlyexisting in <strong>the</strong> algorithms. Comparing <strong>the</strong> two approachesrefer to previous work 15 , we find that <strong>the</strong> interactionbetween molecules calculated using <strong>the</strong> variationalapproach depends on , which is <strong>the</strong> difference <strong>of</strong> <strong>the</strong> potentialon <strong>the</strong> molecular surface in <strong>the</strong> interacting molecularDownloaded 02 Sep 2005 to 132.239.16.167. Redistribution subject to AIP license or copyright, see http://jcp.aip.org/jcp/copyright.jsp


084904-7 Stress <strong>tensor</strong> on a solvated molecular surface J. Chem. Phys. 123, 084904 2005system relative to that in <strong>the</strong> isolated case. Therefore ,<strong>and</strong> consequently <strong>the</strong> force calculation, directly depend on<strong>the</strong> distance between <strong>the</strong> molecules. This keeps <strong>the</strong> relativeaccuracy more constant over almost all <strong>the</strong> distance rangeswhere <strong>the</strong> BEM is valid. But for <strong>the</strong> hypersingular integralmethod, as described in Sec. III <strong>the</strong> calculation <strong>of</strong> <strong>the</strong> derivative<strong>of</strong> <strong>the</strong> potential v ,i depends on <strong>the</strong> total potential including due to <strong>the</strong> interaction, as well as <strong>the</strong> potential from<strong>the</strong> isolated molecule isol that is fixed independent <strong>of</strong> <strong>the</strong>relative positions <strong>of</strong> <strong>the</strong> two molecules. Therefore, at a largedistance, even if is small, isol stays <strong>the</strong> same; <strong>the</strong> numericalerror due to this part is maintained, <strong>and</strong> this makes<strong>the</strong> relative error increase. However, as illustrated by <strong>the</strong>above example, <strong>the</strong> relative error does not increase for <strong>the</strong>main force component, e.g., F x . So, it seems that <strong>the</strong> relativeerrors <strong>of</strong> <strong>the</strong> variational approach are more stable <strong>and</strong> independent<strong>of</strong> <strong>the</strong> relative position <strong>of</strong> <strong>the</strong> molecules, while formolecules that are closer toge<strong>the</strong>r, where <strong>the</strong> interaction isexpected to be strong, <strong>the</strong> hypersingular methods give moreaccurate results.An interesting thing is to check how much <strong>the</strong> singularintegral parts including strong <strong>and</strong> hypersingular contributeto <strong>the</strong> total calculated electrostatic field. In <strong>the</strong> HS1 method,<strong>the</strong> singular integral contribution is just from <strong>the</strong> integrationon one element where <strong>the</strong> singular point is located, <strong>and</strong> <strong>the</strong>o<strong>the</strong>r part is from <strong>the</strong> integral on all <strong>of</strong> <strong>the</strong> o<strong>the</strong>r elements.However, it is found that <strong>the</strong> singular integral contribution islarge enough to <strong>of</strong>fset <strong>the</strong> contributions from all <strong>the</strong> o<strong>the</strong>relementary integrals. For example, at 4-Å distance in <strong>the</strong>above case, at <strong>the</strong> center <strong>of</strong> <strong>the</strong> first element, <strong>the</strong> singularintegral part HS1 gives <strong>the</strong> contributions to <strong>the</strong> electrostaticfield −47.86, −34.84, <strong>and</strong> −347.17 kcal/mol Å e on x, y, <strong>and</strong>z directions, respectively, <strong>and</strong> <strong>the</strong> regular integral part gives59.59, 36.55, <strong>and</strong> 364.69 kcal/mol Å e on x, y, <strong>and</strong> z directions,respectively. Therefore, <strong>the</strong> singular integral part cannotbe omitted in <strong>the</strong> <strong>stress</strong> <strong>tensor</strong> calculation in <strong>the</strong> BEM.The main advantage <strong>of</strong> <strong>the</strong> hypersingular integralmethod is its calculation efficiency, which is also <strong>the</strong> mainmotivation to develop this method, as mentioned above. In<strong>the</strong> above test case, in which 30 calculation points were selectedas shown in Fig. 4, <strong>the</strong> CPU time on an Intel PentiumIV2 GHz for <strong>the</strong> whole BEM calculation is 28.3 s for <strong>the</strong>variational approach, 23.0 s for HS1, <strong>and</strong> 19.3 s for HS2.Moreover, as shown in <strong>the</strong> methods sections, <strong>the</strong> CPU timespent on <strong>the</strong> force calculation for <strong>the</strong> hypersingular integralis only dependent on <strong>the</strong> boundary elements on <strong>the</strong> target2molecule, i.e., N elem , while that in <strong>the</strong> variational approachis dependent on all <strong>the</strong> boundary elements <strong>of</strong> <strong>the</strong> molecularsystems. Therefore, for a large biomolecular system, <strong>the</strong> hypersingularintegral methods should display much more efficiencythan in <strong>the</strong> above simple system.The second testing model is a point charge interactingwith a dipole. The point charge surrounded by a unitspherical boundary is located at −2,0,0; <strong>the</strong> dipole is alsosurrounded by a unit spherical boundary with its two pointcharges located at 2, 0, 0.1 <strong>and</strong> 2,0,−0.1, respectively. Inthis model, <strong>the</strong>re are both force <strong>and</strong> torque acting on <strong>the</strong>dipole, but only <strong>the</strong> z direction force component F z <strong>and</strong><strong>the</strong> y direction torque component M y are in principle notzero. The analytical solutions are F z analy =−1.04 kcal/mol Å,<strong>and</strong> M y analy =−4.15 kcal/mol. The variational approachgives F z =−1.02 kcal/mol Å, <strong>and</strong> M y =−4.08 kcal/mol,<strong>and</strong> <strong>the</strong> hypersingular integral method HS1 givesF z =−1.01 kcal/mol Å, <strong>and</strong> M y =−4.01 kcal/mol, <strong>and</strong> <strong>the</strong>yare all close to <strong>the</strong> correct values. HS2 givesF z =−1.15 kcal/mol Å, <strong>and</strong> M y =−4.58 kcal/mol. The results<strong>of</strong> HS2 have a relatively large deviation from <strong>the</strong> analyticalvalues, <strong>and</strong> show a less accuracy than HS1 again.V. CONCLUSIONS AND DISCUSSIONWe use <strong>the</strong> hypersingular integral technique in a BEMframe to directly calculate <strong>the</strong> derivatives <strong>of</strong> <strong>the</strong> potential on<strong>the</strong> molecular boundary, <strong>and</strong> <strong>the</strong>n <strong>the</strong> <strong>Maxwell</strong> <strong>stress</strong> is obtained<strong>and</strong> used to compute <strong>the</strong> PB force on a molecule in aninteracting solvated molecular system. The computationalaccuracy <strong>and</strong> performance for force <strong>and</strong> torque are demonstratedin <strong>the</strong> sample tests <strong>and</strong> compared with that <strong>of</strong> <strong>the</strong>previous variational approach. The accuracy <strong>of</strong> <strong>the</strong> hypersingularintegral method HS1 is found to be even somewhathigher than that <strong>of</strong> <strong>the</strong> variational method for <strong>the</strong> main forcecomponent computation. Compared with HS2, <strong>the</strong> first kind<strong>of</strong> hypersingular integral method HS1 is rigorous in principlewithout <strong>the</strong> plane approximation for <strong>the</strong> adjacentboundary elements, <strong>and</strong> it has a stable computational performancein terms <strong>of</strong> accuracy in different cases. Overall, <strong>the</strong>major advantage <strong>of</strong> this hypersingular integral method is itsfaster performance compared with <strong>the</strong> variational approach,especially for biomolecular systems, <strong>and</strong> this makes it potentiallyuseful for <strong>the</strong> BD simulation <strong>of</strong> protein-proteindocking.ACKNOWLEDGMENTSThis work was supported in part by <strong>the</strong> NIH, NSF, <strong>the</strong>Howard Hughes Medical Institute, National BiomedicalComputing Resource, <strong>the</strong> NSF Center for Theoretical BiologicalPhysics, SDSC, <strong>the</strong> W. M. Keck Foundation, <strong>and</strong> Accelrys,Inc.1 M. E. Davis <strong>and</strong> J. A. McCammon, J. Comput. Chem. 10, 386 1989.2 M. Holst, R. E. Kozack, F. Saied, <strong>and</strong> S. Subramaniam, J. Biomol. Struct.Dyn. 11, 1437 1994.3 A. Nicholls <strong>and</strong> B. Honig, J. Comput. Chem. 12, 435 1991.4 T. J. You <strong>and</strong> S. C. Harvey, J. Comput. Chem. 14, 4841993.5 M. Holst, N. Baker, <strong>and</strong> F. Wang, J. Comput. Chem. 21, 1319 2000.6 R. J. Zauhar <strong>and</strong> R. S. Morgan, J. Mol. Biol. 186, 815 1985.7 H. X. Zhou, Biophys. J. 65, 955 1993.8 B. Z. Lu, C. X. Wang, W. Z. Chen, S. Z. Wan, <strong>and</strong> Y. Y. Shi, J. Phys.Chem. B 104, 6877 2000.9 B. Z. Lu, W. Z. Chen, C. X. Wang, <strong>and</strong> X. J. Xu, Proteins 48, 4972002.10 R. Luo, L. David, <strong>and</strong> M. K. Gilson, J. Comput. Chem. 23, 12442002.11 M. K. Gilson, M. E. Davis, B. A. Luty, <strong>and</strong> J. A. McCammon, J. Phys.Chem. 97, 3591 1993.12 J. D. Madura, J. M. Briggs, R. C. Wade et al., Comput. Phys. Commun.91, 571995.13 R. J. Zauhar, J. Comput. Chem. 12, 575 1991.14 A. J. Bordner <strong>and</strong> G. A. Huber, J. Comput. Chem. 24, 3532003.15 B. Z. Lu, D. Q. Zhang, <strong>and</strong> J. A. McCammon, J. Chem. Phys. 122,214102 2005.16 M. Guiggiani, G. Krishnasamy, T. J. Rudolphi, <strong>and</strong> F. J. Rizzo, Trans.ASME, J. Appl. Mech. 59, 604 1992.17 M. Guiggiani, in Singular Integrals in Boundary Element Methods,Downloaded 02 Sep 2005 to 132.239.16.167. Redistribution subject to AIP license or copyright, see http://jcp.aip.org/jcp/copyright.jsp


084904-8 Lu et al. J. Chem. Phys. 123, 084904 2005edited by V. Sladek <strong>and</strong> J. Sladek Computational Mechanics, Southampton,UK, 1998, Chap. 3, pp. 85–124.18 O. D. Kellog, Foundations <strong>of</strong> Potential Theory Frederick Ungar, NewYork, 1929.19 C. Pozrikidis, A Practical Guide to Boundary-Element Methods with <strong>the</strong>S<strong>of</strong>tware Library BEMLIB Chapman <strong>and</strong> Hall, London, 2002.20 J. Hadamard, Lectures on Cauchy’s Problem in Linear Partial DifferentialEquations Dover, New York, 1952.21 S. A. Allison, Macromolecules 29, 7391 1996.22 O. Huber, A. Lang, <strong>and</strong> G. Kuhn, Comput. Mech. 12, 391993.Downloaded 02 Sep 2005 to 132.239.16.167. Redistribution subject to AIP license or copyright, see http://jcp.aip.org/jcp/copyright.jsp

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!