Abstract
The fast and accurate computation of the electric forces that drive the motion of charged particles at the nanometer scale represents a computational challenge. For this kind of system, where the discrete nature of the charges cannot be neglected, boundary element methods (BEM) represent a better approach than finite differences/finite elements methods. In this article, we compare two different BEM approaches to a canonical electrostatic problem in a threedimensional space with inhomogeneous dielectrics, emphasizing their suitability for particlebased simulations: the iterative method proposed by Hoyles et al. and the Induced Charge Computation introduced by Boda et al.
1 Introduction
The investigation of the properties of a large variety of physical systems requires accurate computation of the electrostatic interactions among discrete fixed or mobile charges. This problem has been faced in a large number of cases including the analysis of electronic and optoelectronic devices [16], the investigation of fluid properties and the simulation of ion transport through membrane pores [712].
In nanoscale physical systems, some of the properties of the interacting bodies are strongly localized and can be approximated as Dirac delta functions. For example, the properties of spatially homogeneous ionic solutions have been investigated using the so called primitive model for the ions, considering them as hard spheres with finite radii and discrete point charges placed at the center of the spheres. On the other hand, in relatively large physical systems, the charge can be described by a continuous function of the spatial coordinates representing volume (or surface) charge density. The electrostatic problem requires the solution of Poisson's differential equation and boundary conditions. The numerical solution of Poisson's equation requires the discretization of the partial differential equation into a system of algebraic equations on a discretization grid of the simulation domain. In the case of nanoscale systems, the discrete nature of charges cannot be neglected. If the primitive model is adopted for the charges, the electrostatic interactions among them can be computed from Coulomb's law. If the system of interest includes different dielectric regions (or phases) characterized by different values of the permittivity and separated by abrupt boundaries, Coulomb's law is not enough. The charges on the boundary are not discrete. Indeed, every charge can interact significantly with every other charge through the boundary condition and a twobody treatment of electric forces (like Coulomb's law) is incomplete, and in that sense incorrect. In the boundary element method (BEM), the polarization effects associated with the discontinuity of permittivity at boundaries is accounted for by adding to the system the polarization charge induced over the boundary surface. This approach does not require the discretization of the whole simulation domain. It requires the discretization of boundary surfaces where discrete polarization charges are associated with discrete surface elements.
In this article, we compare the accuracy and computational speed of two different BEM approaches for the simulation of charged particles.
2 The electrostatic problem
We study a system of discrete pointcharges embedded in an inhomogeneous medium composed of different dielectric regions separated by sharp boundaries . Poisson's equation is the fundamental law that, within the quasistatic approximation, links the charge density ρ(r) to the spatial distribution of the electric field E(r) and the electrostatic potential Φ(r). The discontinuity of permittivity occurring at the boundaries between different materials or phases is part of the system. Thus, we need to write Poisson's equation taking into account the relationship between the electric field E(r) and the polarization vector P(r), as:
where ϵ_{0 }is the permittivity of free space. Since we deal with discrete charges, except on the boundary, ρ(r) = Σ_{k}q_{k}δ(r  r_{k}) where q_{k }and r_{k }are the charge and the position of the kth point charge, respectively. The polarization charge density h(r) = ∇ · P(r) can be expressed as:
As described in [12], in the frame of the primitive model, polarization charges are present only at the dielectric boundaries, leading to an integral equation in h(s):
where Δϵ(s) and are the change and the mean value of the dielectric constant in the normal direction n(s) evaluated at the boundary . When the integral equation 3 is solved for h(s) on the twodimensional boundary , all source and induced charges of the system are known and the electrostatics can be evaluated everywhere in the space using superposition of Coulombic contributions from both source and induced charges. Therefore, the potential at a given position r_{U }is:
The evaluation of the induced charges in Equation 3 and of the potential in Equation 4 requires the evaluation of surface integrals over the dielectric boundaries. This task can be accomplished by Npoint quadrature, dividing the dielectric boundary into a number N of surface elements that we call "tiles". Therefore, the solution of Poisson's equation is converted into the solution of the linear system of equations, Ah = b, where A is a N × N matrix describing the mutual electrostatic interaction among the N surface elements, the vector b is the electric field impinging on each surface element and the vector h contains the polarization charges induced at the discretization tiles of the dielectric boundaries.
3 Boundary elements methods
In this study, two different BEM implementations are compared: the iterative method (ITER) introduced by Hoyles et al. [13] based on the study of Levitt [14] and the inducedcharge computation (ICC) of Boda et al. [12].
ITER and ICC differ in the way they evaluate the induced charges on the dielectric boundary. ITER approach does not solve a linear system of equations, but evaluates the polarization charges using an algorithmic iterative procedure: at each step, the charge induced by each source/induced charge on the surface elements is evaluated; the procedure is recursively repeated in order to take into account the mutual electrostatic interaction among the polarization charges induced at the surface elements, resulting in a progressive refinement of the estimatedinduced polarization charges until a convergence criterion is met. ICC solution is obtained by simultaneously solving the coupled equations derived by the discretization of Equation 3 over the discretized boundary. In both cases, the evaluation of the electrostatic potential at a given position (Equation 4) is performed via Coulomb's law and superposition with an integral form of Coulomb's law for the induced charge on the boundaries.
4 Results
The accuracy of ITER and ICC methods have been tested by applying them to the solution of a wellknown electrostatic problem: a highpermittivity dielectric sphere (ϵ_{1 }= 80) embedded in a lowpermittivity dielectric medium (ϵ_{2 }= 2) [12,15,16]. The sphere has 5 Å radius and an elementary point charge is located asymmetrically 4 Å off its center (inset of Figure 1). The dielectric boundary (i.e., the sphere surface) is divided into curved tiles, obtained by uniformly discretizing the spherical coordinates θ and ϕ. We solve the electrostatic problem by applying ICC and ITER to the same discretized domain, adopting an analytical description for the discretization tiles. In the ITER case, iterations are stopped when the relative update of the charge induced on each tile falls below δ_{i }= 1 · 10^{4 }[13].
Figure 1. (Color online) Sphere test case. Relative error in the electric potential due to induced charges only along the diameter passing through the source charge. Results for both ITER (circles) and ICC (diamonds) are compared for the same number of boundary discretization tiles. The source charge is located at z = 4 Å.
Figure 1 shows the relative error, with respect to the analytic solution, for the electrostatic potential due to the surfaceboundary induced polarization charges only, evaluated along the sphere diameter passing through the point charge. Both ITER and ICC yield very accurate results, limiting the relative error along the whole diameter to approximately 7 · 10^{3}.
Figure 2 illustrates the computation time for the two methods as a function of the number of boundary discretization elements. ICC is considerably faster than ITER for any number of discretization elements. ICC solves the matrix equation Ah = b with a matrix inversion and a matrixvector multiplication. On the other hand, ITER adopts a complex algorithmic approach requiring, at each iteration, the (computationally expensive) evaluation of Coulombic contributions among the polarization charges induced at the discretization tiles [13,17]. In our implementations, the number of iterations needed to obtain the solution ranges from 80 to 140 depending on the number of tiles.
Figure 2. (Color online) Sphere test case. Left scale: computation time as a function of the number of tiles used to discretize the phase boundary for both ITER (squares) and ICC (diamonds). Right scale: ITER/ICC computation time ratio (circles). ICC works almost 200 times faster than ITER for any number of surface elements.
It is worth noting that the advantage of ICC is even more significant in numerical simulations in which the dielectric boundaries do not change during a simulation run. In such a case, the matrix must be inverted only once at the beginning of the simulation and then, at each time step, the electric forces can be evaluated on the basis of the charge distribution in the system through a N × Nmatrix by Nvector multiplication. On the other hand, the large computation time needed by ITER makes the computation of electrostatics at run time difficult or even unfeasible.
To avoid long computation times, the electric forces in an ITER calculation are often stored in a number of lookup tables for different (possibly all) ion configurations in the system [1820]. This approach has two major drawbacks: (i) the loss in accuracy due to the need to interpolate between lookup table entries; (ii) the practical impossibility to determine potential for asymmetric charge distributions due to extremely large memory requirements. ICC is not subject to these kind of problems since it can rapidly solve Poisson's equation for any charge distribution without lookup tables. Due to its accuracy and computation speed, ICC appears well suited for the simulation of nanoscale discretecharge physical systems.
To provide more stringent and realistic tests, we checked ICC with a toy model of a cellular ion channel. The simulation domain is obtained rotating the 2D shape in Figure 3. Two waterlike dielectric regions (ϵ_{W }= 80) are connected via a cylindrical pore (6.5 Å radius) embedded in a membrane slab (ϵ_{M }= 6) 30 Å wide. The dielectric boundary is discretized using 860 curved tiles defined analytically as described in the supplementary material of [12]. It is worth noting that ITER would provide results with the same accuracy of ICC, since it solves the same electrostatic problem, but computation time would be considerably larger. Furthermore, the accuracy of the solution depends only on the number of the discretization elements used to tile the boundary and is independent of the size and the width of the channel.
Figure 3. (Color online) Toy model of ion channel. Two ionic baths are connected through a cylindrical channel with round corners. The simulation domain is obtained rotating the 2D shape around the channel axis. Red and blue spheres represent the two rings of dipoles that mimic ion channel charged groups.
We define "reaction potential" the electrostatic potential at a given point due to induced charges only:
where h_{i}, a_{i }and r_{i }are the induced charge density, the area and the position for the ith tile, respectively. Figure 4a graphs the reaction potential, 'felt' by a cation that moves along different trajectories parallel to the channel axis as it approaches the membrane center (z = 0). The symmetry of the simulation domain allows us to report results for only one half of the simulation domain. The reaction potential increases as the ion approaches the center of the membrane where it reaches a maximum. It increases as the ion moves a larger distance from the channel axis. An independent accuracy test consists in Gauss's law check: the total induced charge on the dielectric boundary must equal the total charge enclosed by the boundary. Since the only charge in this system is the ion that moves along the trajectories and it lies outside the dielectric boundary, the total charge enclosed by the boundary is 0. Therefore, the total charge induced on the boundary must be very close to 0. Figure 4b shows the total induced charge on the dielectric boundary as a function of the position of the ion along different trajectories. The total induced charge never exceeds a mere 3% of an elementary charge, but it is not zero. Since the simulation of realistic systems may involve up to thousands charges, in our view, the check of Gauss's law should be a feature of all calculations of electrostatics.
Figure 4. (Color online) Toy model of ion channel. (a) Reaction potential for a cation that moves along different trajectories parallel to the channel axis. A sketch of the channel profile is represented as a gray region. (b) Gauss's law check. The total charge induced on the dielectric boundary is plotted as a function of the position of the ion along the trajectories. The numerical error introduced by the computation is limited to 3% of an elementary charge.
Finally, we tested ICC solutions in systems with asymmetrical charge distributions. We added two rings of 20 dipoles in the membrane to mimic ion channel charged groups. The dipoles are oriented such that their negative charges are placed 2 Å far from waterprotein boundary, and the positive charges are placed 2 Å further inside the membrane. The orientation of the dipoles alter the potential profile in proximity of and inside the channel. No ions are present in the system.
Figure 5a shows the potential map inside the cylindrical channel at the center of the membrane (z = 0). The potential at a given point is the sum of the Coulombic contribution from both discrete source and continuous induced charges. Due to the symmetry of the charge distribution, the potential features a radial symmetry reaching its maximum value at the channel axis (x = 0, y = 0). Then we broke the radial symmetry of the charge distribution by switching off three consecutive dipoles in each ring. The potential map reported in Figure 5b features a maximum displaced from channel axis and located close to the missing dipoles.
Figure 5. (Color online) Toy model of ion channel. (a) Potential map inside the cylindrical channel at z = 0 due to dipole rings embedded in the membrane. (b) Potential map at the same coordinate when 3 adjacent dipoles are switched off in each ring. The potential is the sum of both source charge and induced charge Coulombic contributions.
5 Conclusions
We compared ICC and ITER BEMs for the calculation of the electrostatics in discretecharge systems. Our results show that both ICC and ITER feature high accuracy, but ICC is remarkably faster. This enables the evaluation of the electrostatics at run time during simulations. One can avoid the lookup tables to retrieve precalculated values that in our experience do not work well. ICC is therefore much more well suited for the simulation of nanoscale chargedparticle systems such as ion channels or electronic devices.
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
CB implemented and tested the numerical Poisson solvers, carried out the simulations and drafted the manuscript. DG provided the theoretical framework, devised the mathematical approaches and supervised the implementation and testing process. RSE provided knowledge and supervision support for this study and participated in its design and coordination. CF helped conceive the study and participated in its design and coordination and supervised the implementation and testing process. All authors contributed to the interpretation of results, and to the writing of the manuscript. All authors corrected and approved the final manuscript.
References

Tan GL, Bewtra N, Lee K, Xu JM: A twodimensional nonisothermal finite element simulation of laser diodes.
IEEE J Quantum Electron 1993, 29(3):822835. Publisher Full Text

Husain A, Chamberlain SG: Threedimensional simulation of VLSI MOSFETs: The threedimensional simulation program WATMOS.
IEEE J SolidState Circuits 1982, 17(2):261268. Publisher Full Text

Lacombe J, Chakanga K, Geissendoßandrfer S, Von Maydell K, Agert C: Optical modeling of light trapping in thin film silicon solar cells using the FDTD method. In Proceedings of 35th IEEE Photovoltaic Specialists Conference (PVSC). Volume 2010. Honolulu, Hawaii, U.S.A; 2010::001535001539.

Fukuma M, Uebbing RH: Twodimensional MOSFET simulation with energy transport phenomena. In 1984 International Electron Devices Meeting. Volume 30. San Francisco, California, U.S.A; 1984::621624.

Lee WJ, Chang JG, Ju SP, Weng MH, Lee CH: Structuredependent mechanical properties of ultrathin zinc oxide nanowires.
Nanoscale Res Lett 2011, 6(1):352. PubMed Abstract  BioMed Central Full Text  PubMed Central Full Text

Bagherizadeh M, Eshghi M: Two novel lowpower and highspeed dynamic carbon nanotube fulladder cells.
Nanoscale Res Lett 2011, 6(1):519. PubMed Abstract  BioMed Central Full Text  PubMed Central Full Text

Saha S, Celata G: Advances in modelling of biomimetic fluid flow at different scales.
Nanoscale Res Lett 2011, 6(1):344. PubMed Abstract  BioMed Central Full Text  PubMed Central Full Text

Ahadian S, Kawazoe Y: An artificial intelligence approach for modeling and prediction of water diffusion inside a carbon nanotube.
Nanoscale Res Lett 2009, 4(9):10541058. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Honig B, Nicholls A: Classical electrostatics in biology and chemistry.
Science 1995, 268(5214):11441149. PubMed Abstract  Publisher Full Text

Northrup SH, Erickson HP: Kinetics of proteinprotein association explained by Brownian dynamics computer simulation.
Proceedings of the National Academy of Sciences of the United States of America 1992, 89(8):33383342.
cited By (since 1996) 263.
PubMed Abstract  Publisher Full Text  PubMed Central Full Text 
Chung SH, Hoyles M, Allen T, Kuyucak S: Study of ionic currents across a model membrane channel using Brownian dynamics.
Biophys J 1998, 75(2):793809. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Boda D, Valiskó Mó, Eisenberg RS, Nonner W, Henderson D, Gillespie D: The effect of protein dielectric coefficient on the ionic selectivity of a calcium channel.
J Chem Phys 2006, 125(3):034901. Publisher Full Text

Hoyles M, Kuyucak S, Chung SH: Energy barrier presented to ions by the vestibule of the biological membrane channel.
Biophys J 1996, 70(4):16281642. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Levitt DG: Electrostatic calculations for an ion channel. I. Energy and potential profiles and interactions between ions.
Biophys J 1978, 22(2):209219. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Bardhan JP, Eisenberg RS, Gillespie D: Discretization of the inducedcharge boundary integral equation.

Griffiths DJ: Introduction to Electrodynamics. 3rd edition. New Jersey, USA: PrenticeHall, Upper Saddle River; 1999.

Hoyles M, Kuyucak S, Chung SH: Solutions of Poisson's equation in channellike geometries.
Comput Phys Commun 1998, 115(1):4568. Publisher Full Text

Hoyles M, Kuyucak S, Chung SH: Computer simulation of ion conductance in membrane channels.
Phys Rev E 1998, 58(3):36543661. Publisher Full Text

Chung SH, Allen TW, Hoyles M, Kuyucak S: Permeation of ions across the potassium channel: Brownian dynamics studies.
Biophys J 1999, 77(5):25172533. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Corry B, Vora T, Chung SH: Electrostatic basis of valence selectivity in cationic channels.
Biochimica et Biophysica Acta (BBA)  Biomembranes 2005, 1711(1):7286. Publisher Full Text