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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

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!