Abstract
This paper presents new geometrical flow equations for the theoretical modeling of biomolecular surfaces in the context of multiscale implicit solvent models. To account for the local variations near the biomolecular surfaces due to interactions between solvent molecules, and between solvent and solute molecules, we propose potential driven geometric flows, which balance the intrinsic geometric forces that would occur for a surface separating two homogeneous materials with the potential forces induced by the atomic interactions. Stochastic geometric flows are introduced to account for the random fluctuation and dissipation in density and pressure near the solvent–solute interface. Physical properties, such as free energy minimization (area decreasing) and incompressibility (volume preserving), are realized by some of our geometric flow equations. The proposed approach for geometric and potential forces driving the formation and evolution of biological surfaces is illustrated by extensive numerical experiments and compared with established minimal molecular surfaces and molecular surfaces. Local modification of biomolecular surfaces is demonstrated with potential driven geometric flows. High order geometric flows are also considered and tested in the present work for surface generation. Biomolecular surfaces generated by these approaches are typically free of geometric singularities. As the speed of surface generation is crucial to implicit solvent model based molecular dynamics, four numerical algorithms, a semi-implicit scheme, a Crank–Nicolson scheme, and two alternating direction implicit (ADI) schemes, are constructed and tested. Being either stable or conditionally stable but admitting a large critical time step size, these schemes overcome the stability constraint of the earlier forward Euler scheme. Aided with the Thomas algorithm, one of the ADI schemes is found to be very efficient as it balances the speed and accuracy.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Ashbaugh HS (2000) Convergence of molecular and macroscopic continuum descriptions of ion hydration. J Phys Chem B 104: 7235–7238
Baker NA (2005) Improving implicit solvent simulations: a Poisson-centric view. Curr Opin Struct Biol 15: 137–143
Bates PW, Wei GW, Zhao S (2006) The minimal molecular surface, arXiv:q-bio/0610038v1 [q-bio.BM]
Bates PW, Wei GW, Zhao S (2008) Minimal molecular surfaces and their applications. J Comput Chem 29: 380–391
Brakke K (1978) The motion of a surface by its mean curvature, Mathematical Notes, vol 20. Princeton University Press, Princeton, NJ
Bertozzi AL, Greer JB (2004) Low-curvature image simplifiers: global regularity of smooth solutions and Laplacian limiting schemes. Commun Pure Appl Math 57: 764–790
Blomgren PV, Chan TF (1990) Color TV: total variation methods for restoration of vector valued images. IEEE Trans Image Process 7: 304–309
Bostrom M, Tavares FW, Bratko D, Ninham BW (2005) Specific ion effects in solutions of globular proteins: comparison between analytical models and simulation. J Phys Chem B 109: 24489–24494
Carstensen V, Kimmel R, Sapiro G (1997) Geodesic active contours. Int J Comput Vis 22: 61–79
Cecil T (2005) A numerical method for computing minimal surfaces in arbitrary dimension. J Comput Phys 206: 650–660
Cerutti DS, Baker NA, McCammon AJ (2007) Solvent reaction field potential inside an uncharged globular protein: a bridge between Implicit and Explicit Solvent Models?. J Chem Phys 127: 155101
Chan TF, Marquina A, Mulet P (2000) High-order total variation-based image restoration. SIAM J Sci Comput 22: 503–516
Cheng L-T, Dzubiella J, McCammon JA, Li B (2007) Application of the level-set method to the solvation of nonpolar molecules. J Chem Phys 127: 084503
Chopp DL (1993) Computing minimal-sufaces via level set curvature flow. J Comput Phys 106: 77–91
Chorny I, Dill KA, Jacobson MP (2005) Surfaces affect ion pairing. J Phys Chem B 109: 24056–24060
Ciarlet PG, Lions JL (1990) Handbook of numerical analysis, finite difference methods (part 1), Solution of Equations in \({\mathbb{R}^n}\), vol 1. Elsevier Science, Amsterdam
Clarenz U, Diewald U, Dziuk G, Rumpf M, Rusu R (2004) A finite element method for surface restoration with boundary conditions. Comput Aided Geom Des 21(5): 427–445
Connolly ML (1985) Molecular surface triangulation. J Appl Crystallogr 18: 499–505
Cortis CM, Friesner RA (1997) Numerical solution of the Poisson–Boltzmann equation using tetrahedral finite-element meshes. J Comput Chem 18: 1591–1608
Droske M, Rumpf M (2004) A level set formulation for Willmore flow. Interfaces Free Boundaries 6(3): 361–378
Dzubiella J, Swanson JMJ, McCammon JA (2006) Coupling nonpolar and polar solvation free energies in implicit solvent models. J Chem Phys 124: 084905
Eisenhaber F, Argos P (1993) Improved strategy in analytic surface calculation for molecular systems: Handling of singularities and computational efficiency. J Comput Chem 14: 1272–1280
Escher J, Mayer UF, Simonett G (1998) The surface diffusion flow for immersed hypersurfaces. SIAM J Math Anal 29(6): 1419–1433
Feig M, Brooks III CL (2004) Recent advances in the development and application of implicit solvent models in biomolecule simulations. Curr Opin Struct Biol 14: 217–224
Feig M, Onufriev A, Lee MS, Im W, Case DA, Brooks III CL (2004) Performance comparison of Generalized Born and Poisson methods in the calculation of electrostatic solvation energies for protein structures. J Comp Chem 25: 265–284
Feng XB, Prohl A (2004) Analysis of a fully discrete finite element method for the phase field model and approximation of its sharp interface limits. Math Comput 73: 541–567
Fixman M (1979) The Poisson–Boltzmann equation and its application to polyelectrolytes. J Chem Phys 70: 4995–5005
Forsman J (2004) A simple correlation-corrected Poisson–Boltzmann theory. J Phys Chem B 108: 9236–9245
Forsten KE, Kozack RE, Lauffenburger DA, Subramaniam S (1994) Numerical solution of the nonlinear Poisson–Boltzmann equation for a membrane–electrolyte system. J Phys Chem 98: 5580–5586
Gage M, Hamilton RS (1986) The heat equation shrinking convex plain curves. J Diff Geom 23: 69–96
Gilboa G, Sochen N, Zeevi YY (2004) Image sharpening by flows based on triple well potentials. J Math Imaging Vis 20: 121–131
Gogonea V, Osawa E (1994) Implementation of solvent effect in molecular mechanics. 1. Model development and analytical algorithm for the solvent-accessible surface area. Supramol Chem 3: 303–317
Gomes J, Faugeras O (2001) Using the vector distance functions to evolve manifolds of arbitrary codimension. Lect Notes Computer Sci 2106: 1–13
Grant JA, Pickup BT, Nicholls A (2001) A smooth permittivity function for Poisson–Boltzmann solvation methods. J Comput Chem 22: 608–640
Greer JB, Bertozzi AL (2004) H-1 solutions of a class of fourth order nonlinear equations for image processing. Discrete Continuous Dyn Syst 10: 349–366
Greer JB, Bertozzi AL (2004) Traveling wave solutions of fourth order PDEs for image processing. SIAM J Math Anal 36: 38–68
He L, Kao C-Y, Osher S (2007) Incorporating topological derivatives into shape derivatives based level set methods. J Comput Phys 225: 891–909
Honig B, Nicholls A (1995) Classical electrostatics in biology and chemstry. Science 268: 1144–1149
Huiskens G (1987) The volume preserving mean curvature flow. J Reine Angew Math 382: 35–48
Im W, Beglov D, Roux B (1998) Continuum solvation model: Computation of electrostatic forces from numerical solutions to the Poisson–Boltzmann equation. Comput Phys Commun 111: 59–75
Lawson HB (1980) Lectures on minimal submanifolds, Publish or Perish, Berkeley
Lee B, Richards FM (1973) Interpretation of protein structures: estimation of static accessibility. J Mol Biol 55: 379–400
Levy RM, Gallicchio E (1998) Computer simulation with explicit solvent: recent progress in the thermodynamic decomposition of free energies and in modeling electrostatic effects. Annu Rev Phys Chem 49: 531–567
Li YY, Santosa F (1996) A computational algorithm for minimizing total variation in image restoration. IEEE Trans Image Process 5: 987–995
Lu Q, Luo R (2003) A Poisson–Boltzmann dynamics method with nonperiodic boundary condition. J Chem Phys 119: 11035–11047
Lysaker M, Lundervold A, Tai XC (2003) Noise removal using fourth-order partial differential equation with application to medical magnetic resonance images in space and time. IEEE Trans Image Process 12: 1579–1590
MacKerell AD Jr, Bashford D, Bellott M, Dunbrack JD, Evanseck MJ, Field MJ, Fischer S, Gao J, Guo H, Ha S, Joseph-McCarthy D, Kuczera L, Lau FTK, Mattos C, Michnick S, Ngo T, Nguyen DT, Prodhom B, Reiher WE, Roux B, Schlenkrich M, Smith JC, Stote R, Straub J, Watanabe M, Wiorkiewicz-Kuczera J, Yin D, Karplus M (1998) All-atom empirical potential for molecular modeling and dynamics studies of proteins. J Phys Chem 102: 3586–3616
Mikula K, Sevcovic D (2004) A direct method for solving an anisotropic mean curvature flow of plane curves with an external force. Math Methods Appl Sci 27: 1545–1565
Mumford D, Shah J (1989) Optimal approximations by piecewise smooth functions and associated variational problems. Commun Pure Appl Math 42: 577–685
Osher S, Sethian JA (1988) Fronts propogating with curvature-dependent speed: algorithms based on Hamilton–Jacobi formulations. J Comput Phys 79: 12–49
Osher S, Rudin L (1990) Feature-oriented image enhancement using shock filters. SIAM J Numer Anal 27: 919–940
Osher S, Rudin L (1991) Shocks and other nonlinear filtering applied to image processing. Proc SPIE Appl Digital Image Process XIV 1567: 414–430
Osher S (1993) A level set formulation for the solution of the dirichlet problem for Hamilton–Jacobi equations. SIAM J Math Anal 24: 1145–1152
Osher S, Fedkiw RP (2001) Level set methods: an overview and some recent results. J Comput Phys 169: 463–502
Perona P, Malik J (1990) Scale-space and edge detection using anisotropic diffusion. IEEE Trans Pattern Anal Machine Intell 12: 629–639
Richards FM (1977) Areas, volumes, packing and protein structure. Annu Rev Biophys Bioeng 6: 151–176
Roux B, Simonson T (1999) Implicit solvent models. Biophys Chem 78: 1–20
Rudin L, Osher S, Fatemi E (1992) Nonlinear total variation based noise removal algorithm. Physica D 60: 259–268
Sanner MF, Olson AJ, Spehner JC (1996) Reduced surface: an efficient way to compute molecular surfaces. Biopolymers 38: 305–320
Sapiro G, Ringach D (1995) Anisotropic diffusion of multivalued images with applications to color filtering. IEEE Trans Image Process 5: 1582–1586
Sapiro G (1996) From active contours to anisotropic diffusion: Relation between basic PDE’s in image processing, Proc. ICIP, Lausanne
Sarti A, Malladi R, Sethian JA (2002) Subjective surfaces: a geometric model for boundary completion. Int J Comput Vis 46: 201–221
Sbert C, Sole AF (2003) 3D curves reconstruction based on deformable models. J Math Imag Vis 18: 211–223
Schneider R, Kobbelt L (2000) Generating fair meshes with G 1 boundary conditions, Geometric Modeling and Processing, Hong Kong, China, pp 251–261
Schneider R, Kobbelt L (2001) Geometric fairing of irregular meshes for free-form surface design. Comput Aided Geom Des 18(4): 359–379
Sethian JA (2001) Evolution, implementation, and application of level set and fast marching methods for advancing fronts. J Comput Phys 169: 503–555
Sharp KA, Honig B (1990) Electrostatic interactions in macromolecules: thoery and applications. Annu Rev Biophys Biophys Chem 19: 301–332
Shen JJ (2006) A stochastic-variational model for soft Mumford-Shah segmentation. Int J Biomed Imaging 92329: 1–14
Simonett G (2001) The Willmore flow for near spheres. Differential Integral Equations 14(8): 1005–1014
Smereka P (2003) Semi-implicit level set methods for curvature and for motion by surface diffusion. J Sci Comput 19: 439–456
Sochen N, Kimmel R, Malladi R (1998) A general framework for low level vision. IEEE Trans Image Process 7: 310–318
Sun YH, Wu PR, Wei GW, Wang G (2006) Evolution operator based single-step method for image processing. Int J Biomed Imaging 83847: 1–27
Swanson JMJ, Henchman RH, McCammon JA (2004) Revisiting free energy calculations: a theoretical connection to MM/PBSA and direct calculation of the association free energy. Biophys J 86: 67–74
Tan C, Tan Y-H, Luo R (2007) Implicit nonpolar solvent models. J Phys Chem B 111: 12263–12274
Vorobjev YN, Scheraga HA (1997) A fast adaptive multigrid boundary element method for macromolecular electrostatic computations in a solvent. J Comput Chem 18: 569–583
Wagoner J, Baker NA (2004) Solvation forces on biomolecular structures: a comparison of explicit solvent and Poisson–Boltzmann models. J Comput Chem 25: 1623–1629
Wang XQ, Du Q (2008) Modelling and simulations of multi-component lipid membranes and open membranes via diffuse interface approaches. J Math Biol 56: 347–371
Wang Y, Zhou HM (2006) Total variation wavelet-based medical image denoising. Int J Biomed Imaging 2006: 89095
Warwicker J, Watson HC (1982) Calculation of the electric-potential in the active-site cleft due to alpha-helix dipoles. J Mol Biol 154: 671–679
Wei GW (1999) Generalized Perona–Malik equation for image restoration. IEEE Signal Process Lett 6: 165–167
Wei GW, Jia YQ (2002) Synchronization based image edge detection. Europhys Lett 59: 814–819
Wei GW, Sun YH, Zhou YC, Feig M (2005) Molecular multiresolution surfaces, arXiv:math-ph, 0511001, 1 Nov 2005
Wei GW, Bates PW, Zhao S (2007) Geometric flows on biological surfaces, In: Mathematics of DNA structure, function, and interactions. IMA, 16–21 September 2007. http://www.ima.umn.edu/2007-2008/W9.16-21.07/abstracts.html
Willmore TJ (1993) Riemannian geometry. Clarendon Press, Oxford
Xu G, Pan Q, Bajaj C (2006) Discrete surface modelling using partial differential equations. Comput Aided Geom Des 23(2): 125–145
Xu M, Zhou SL (2007) Existence and uniqueness of weak solutions for a fourth-order nonlinear parabolic equation. J Math Anal Appl 325: 636–654
Yoshizawa S, Belyaev AG (2002) Fair triangle mesh generation with discrete elastica. Geometric modeling and processing, Saitama, Japan, pp 119–123
You YL, Kaveh M (2000) Fourth-order partial differential equations for noise removal. IEEE Trans Image Processing 10: 1723–1730
Yu SN, Geng WH, Wei GW (2007) Treatment of geometric singularities in the implicit solvent models. J Chem Phys 126: 244108
Zauhar RJ, Morgan RS (1985) A new method for computing the macromolecular electric-potential. J Mol Biol 186: 815–820
Zhang Y, Xu G, Bajaj C (2006) Quality meshing of implicit solvation models of biomolecular structures. Comput Aided Geom Des 23: 510–530
Zhao HK, Chan TF, Merriman B, Osher S (1996) A variational level set approach to multiphase motion. J Comput Phys 127: 179–195
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bates, P.W., Chen, Z., Sun, Y. et al. Geometric and potential driving formation and evolution of biomolecular surfaces. J. Math. Biol. 59, 193–231 (2009). https://doi.org/10.1007/s00285-008-0226-7
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00285-008-0226-7
Keywords
- Biomolecular surface formation and evolution
- Mean curvature flow
- Potential driven geometric flows
- High order geometric flows
- Stochastic geometric flows
- Computational algorithm