Abstract
An integral equation method is presented for the 1D steady-state Poisson-Nernst-Planck equations modeling ion transport through membrane channels. The differential equations are recast as integral equations using Green’s 3rd identity yielding a fixed-point problem for the electric potential gradient and ion concentrations. The integrals are discretized by a combination of midpoint and trapezoid rules, and the resulting algebraic equations are solved by Gummel iteration. Numerical tests for electroneutral and non-electroneutral systems demonstrate the method’s 2nd order accuracy and ability to resolve sharp boundary layers. The method is applied to a 1D model of the K\(^+\) ion channel with a fixed charge density that ensures cation selectivity. In these tests, the proposed integral equation method yields potential and concentration profiles in good agreement with published results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Ion transport through membrane channels is a fundamental process in cell biology [1]. However, atomistic simulations of this process are expensive, and an alternative continuum approach is based on the Poisson-Nernst-Planck (PNP) equations, where the Poisson equation for the electric potential is coupled to the Nernst-Planck equation for the ion concentrations [2]. The continuum PNP model accounts for two effects, (1) molecular diffusion due to ion concentration gradients and (2) ion drift in the applied and self-consistent electric fields. The PNP equations have been employed to study many aspects of ion channel selectivity [3], including the effect of fixed charge [4], ion size [5], and membrane surface charge [6].
Despite the relative efficiency in comparison with atomistic simulations, numerical solution of the PNP equations is still challenging due to several factors, (1) nonlinear coupling of the electric potential and ion concentrations, (2) the need to resolve the channel geometry, as well as boundary layers and internal layers at material interfaces, and (3) maintaining stability in convection-dominated cases [7]. Many PNP solvers have been developed using finite-difference methods [8,9,10], finite-element methods [6, 11,12,13], and finite-volume methods [14,15,16]. It is also important for numerical PNP solvers to preserve positivity of the ion concentrations and conserve mass in time-dependent simulations, and several schemes have been developed for this purpose [10, 17,18,19,20].
The boundary element method (BEM) is another approach to solving linear elliptic boundary value problems, where the differential equation is recast as an integral equation on the domain boundary by convolution with an appropriate Green’s function [21]. While the BEM requires discretization of singular integrals, it has the advantage of reduced spatial dimension. Closely related to the PNP equations is the Poisson-Boltzmann (PB) equation for the electrostatic potential of a solvated protein. The BEM has been applied to solve the 3D linear PB equation on the molecular surface of a protein (see [22, 23] and references therein), but aside from some early work using a Green’s function to solve the PB equation for an ion channel in 1D [24], as far as we know this approach has not been further developed for 2D and 3D ion channel problems.
In fact there are two challenges to applying an integral equation approach to the PNP system, (1) nonlinear coupling of the electric potential and ion concentrations, and (2) the ions are distributed throughout the channel and solvent domain requiring costly volume integrals in 2D and 3D. Nonetheless, we believe that these obstacles can be overcome using iteration to handle the nonlinearity and a fast summation method with adaptive quadrature for the volume integrals. As a step in that direction, the present work develops a novel integral equation method for the 1D steady-state PNP equations.
The paper is organized as follows. Section 2 introduces the 1D steady-state PNP equations. Section 3 uses Green’s 3rd identity to recast the PNP equations as a fixed-point problem involving integral operators for the potential gradient and ion concentrations. Section 4 presents the numerical implementation. Section 5 presents tests for electroneutral and non-electroneutral systems with Robin boundary conditions on the potential and no-flux boundary conditions on the ion concentrations. Section 6 presents a K\(^+\) ion channel simulation following [25], and the work is summarized in Section 7.
2 PNP equations
This work focuses on the 1D steady-state PNP equations with two ion species. The electrostatic potential \(\phi (x)\) satisfies the Poisson equation,
where \(\epsilon\) is the permittivity, the valence is \(z_1 = -1\) for anions and \(z_2 = 1\) for cations, e is the proton charge, \(c_1(x), c_2(x)\) are the ion concentrations, and the domain is \([-L,L]\). This is supplemented with the Nernst-Planck equation,
for \(i = 1,2\), where \(D_i, k_B, T\) are the diffusion coefficient of ion species i, Boltzmann constant, and absolute temperature.
Following [10], the PNP equations are non-dimensionalized with respect to the bulk concentration \(c_0\) [ions/Å\(^3\)], channel half-length L [Å], characteristic diffusion coefficient \(D_0\) [Å\(^2\)/s], characteristic potential \(\phi _0\) [V], and water permittivity \(\epsilon _t\) [F/Å]. The resulting non-dimensional equations are
for \(i = 1,2\) with domain \([-1,1]\). The coefficients are
where \(\chi _{1}\) is the ratio of electric potential energy to thermal energy, and \(\chi _{2}/\epsilon\) is the inverse square Debye length. Except as otherwise noted, the non-dimensional diffusion coefficient is \(D_i=1\).
2.1 Problem specification
The first set of examples are electroneutral and non-electroneutral systems, where the non-dimensional PNP equations (3) are solved on the interval \([-1,1]\). We consider Robin boundary conditions for the potential,
where \(\eta , \phi _{\pm }\) are constants that depend on biological modeling considerations. Note that if \(\eta =0\), then (5) reduces to Dirichlet boundary conditions for the potential. The channel is assumed to be closed at both ends; hence, the no-flux boundary condition is applied for the ion concentrations,
Finally, the total concentration for each ion species is a specified positive constant,
In addition to the electroneutral and non-eletroneutral systems, we also consider a K\(^+\) ion channel model, and the problem specification in that case is given further below.
3 Integral form
This section recasts the 1D steady-state PNP differential equations as a set of integral equations in the form
where \(\textbf{P}, \textbf{NP}\) are operators obtained by integrating the Poisson and Nernst-Planck equations while incorporating the Robin and no-flux boundary conditions and the total concentration condition. Note that (8) defines a fixed-point problem, where \(\textbf{P}\) maps the concentrations \(c_1, c_2\) into the potential gradient \(\phi ^\prime\), while \(\textbf{NP}\) maps the concentration \(c_i\) and potential gradient \(\phi ^\prime\) into the concentration \(c_i\) for \(i=1,2\). The integral form of the PNP equations in (8) is solved by Gummel iteration [26] for \(\phi ^\prime , c_1, c_2\), and once it converges, further processing yields the potential \(\phi\), and the concentration gradients \(c_1^\prime , c_2^\prime\) needed to compute the current. Note that a fixed-point formulation and Gummel iteration were also used in the analysis of semiconductor drift-diffusion equations, although without recasting the differential equations as integral equations [27].
The derivation of the \(\textbf{P}\) and \(\textbf{NP}\) operators relies on Green’s 3rd identity,
where f(x) is twice continuously differentiable on \([-1,1]\) and g(x, y) is the 1D free-space Laplace Green’s function,
Note that among the two terms on the right side of (9), the first term (or bracket term) involves the boundary values \(f(\pm 1), f^\prime (\pm 1)\), and the second term (or volume integral term) involves \(f^{\prime \prime }(x)\) over the entire interval. One can think of (9) as defining an operator, where \(f(\pm 1),f^\prime (\pm 1),f^{\prime \prime }(x)\) are the input, and f(x) is the output. This point of view is taken in reformulating the PNP equations.
3.1 Derivation of P operator
Here, we assume that the ion concentrations \(c_1(x), c_2(x)\) are given, and we shall derive an integral expression for the potential gradient \(\phi ^\prime (x)\). The Poisson equation (3a) is written as
and then applying (9) with \(f(y) = \phi (y)\) yields an integral expression for the potential,
Differentiating (12) yields an analogous expression for the potential gradient,
The bracket terms in (12) and (13) involve the boundary values of the potential \(\phi (\pm 1)\) and potential gradient \(\phi ^\prime (\pm 1)\). The Robin boundary conditions (5) provide two equations for these four unknowns, and two more equations are obtained as follows.
Integrating the Poisson equation (11) over \([-1,x]\) yields
and setting \(x=1\) yields
Then, integrating (14) over \([-1,1]\) yields
where \(a_i\) is the total concentration of ion species i defined in (7) and
is the first moment of the ion concentration. By similar steps, integrating the Poisson equation (11) over [x, 1] yields
Then, adding (16) and (18) yields
Combining the Robin boundary conditions (5) with (15) and (19) yields the linear system
Hence, given ion concentrations \(c_1(x), c_2(x)\) for \(x \in [-1,1]\), the \(\textbf{P}\) operator in (8a) is defined by the following steps.
-
Compute the side right of the linear system (20) and solve for the potential boundary values \(\phi (\pm 1), \phi ^\prime (\pm 1)\)
-
Compute the interior values of the potential gradient \(\phi ^\prime (x)\) for \(x \in (-1,1)\) from (13)
These steps require computing certain integrals, and the discretization schemes will be explained further below.
3.2 Derivation of NP operator
Here, we assume that the ion concentration \(c_i(x)\) and potential gradient \(\phi ^\prime (x)\) are given, and we shall derive an integral expression for \(c_i(x)\). The Nernst-Planck equation (3b) is written as
after cancelling the constant diffusion coefficient \(D_i\), and then, applying (9) with \(f(x) = c_i(x)\) yields an integral expression for the ion concentration,
Differentiating (22) yields an analogous expression for the concentration gradient,
The bracket terms in (22) and (23) involve the boundary values of the concentration \(c_i(\pm 1)\) and concentration gradient \(c_i^\prime (\pm 1)\). The solution procedure in this case is somewhat different than what was described above for the \(\textbf{P}\) operator.
From the Nernst-Planck equation (3b) and no-flux boundary conditions (6), it follows that
Integrating (24) over \([-1,x]\) yields
and setting \(x = 1\) yields
Then, integrating (25) over \([-1,1]\) yields
Hence, given the ion concentration \(c_i(x)\) and potential gradient \(\phi ^\prime (x)\) for \(x \in [-1,1]\), the \(\textbf{NP}\) operator in (8b) is defined by the following steps.
-
Compute the integrals on the right of (26, 27) and solve for the concentration boundary values \(c_i(\pm 1)\) on the left
-
Compute the concentration gradient boundary values \(c_i^\prime (\pm 1)\) using \(c_i(\pm 1)\) and the no-flux boundary conditions (6)
-
Compute the interior concentration \(c_i(x)\) for \(x \in (-1,1)\) from (22)
This concludes the derivation of the \(\textbf{P}, \textbf{NP}\) operators in the integral form of the PNP equations (8).
4 Numerical method
This section presents the numerical method used to solve the integral form of the PNP equations with the Robin and no-flux boundary conditions and total concentration constraint. The domain \([-1,1]\) is divided into N subintervals with endpoints \(x_k, k=0:N\), where \(x_0 = -1, x_N = 1\), and the grid spacing is \(h_k = x_{k+1}-x_k\). We consider two point sets, uniform and Chebyshev,
The potential and concentration values and their gradients are denoted as
Two types of integrals appear in the \(\textbf{P}, \textbf{NP}\) operators depending on whether or not the Green’s function is involved. When the Green’s function is not involved, the integral is discretized by the trapezoid rule,
where \(w_k\) are the trapezoid weights. Next, we explain how the integrals involving the Green’s function are computed.
4.1 Integrals for P operator
First consider the integral in the potential expression (12),
where \(x_{j+1/2} = (x_j+x_{j+1})/2\). Note that a midpoint approximation is used in (31c), and the trapezoid rule is used in (31d). Then, setting \(x = x_k\) in (12) yields
Applying the same steps to the integral in the potential gradient exression (13) yields
Equations (32) and (33) are used to compute the interior values of the potential and its gradient, \(\phi _k, \phi _k^\prime , k=1:N-1\), where the boundary values \(\phi (\pm 1), \phi ^\prime (\pm 1)\) in the bracket terms are computed as described in Section 3.1. Note that the terms \(g(x_k,x_{j+1/2})\) in (32) and \(g_x(x_k,x_{j+1/2})\) in (33) avoid the singularity in the Green’s function.
4.2 Integrals for NP operator
Now consider the integral in the concentration expression (22),
where a midpoint approximation is used in (34c) and the fundamental theorem of calculus is used in (34d). Then, setting \(x = x_k\) in (22) yields
Applying the same steps to the integral in the concentration gradient expression (23) yields
Equations (35) and (36) are used to compute the interior values of the concentration and its gradient, \(c_{i,k}, c_{i,k}^\prime , k=1:N-1\), where the boundary values \(c_i(\pm 1), c_i^\prime (\pm 1)\) in the bracket terms are computed as described in Section 3.2.
4.3 Gummel iteration
Define vectors containing the grid values of the potential, ion concentration, and their gradients,
Then after discretizing, the integral form of the PNP equations (8) becomes a system of nonlinear equations for the grid values,
To solve (38), we employ Gummel iteration with relaxation [26]. Letting superscript n denote the iteration step, we have
where the relaxation parameter is chosen with \(0< \omega < 1\). The intermediate potential gradient \(\mathbf{D\Phi }^*\) is computed by the procedure in Section 4.1, and the intermediate concentration \(\textbf{c}_i^*, i=1,2\) is computed by the procedure in Section 4.2. Hence, each iteration has two stages; the first stage comprising (39a)-(39b) computes the potential gradient using the ion concentrations from the previous iteration, and the second stage comprising (39c)-(39d) computes the ion concentrations using the potential gradient from the first stage.
The scheme starts with constant initial guesses for the potential gradient and ion concentrations,
where \(j = 0:N\) is the grid-point index, the right side of (40a) is the gradient determined by the formal potential boundary values \(\phi _{\pm }\), and (40b) satisfies the total concentration constraint (7). The stopping criterion is
After the scheme converges, the grid values of the potential \(\phi _k\) are computed from (32), and the grid values of the concentration gradient \(c_{i,k}^\prime\) are computed from (36). Note that the potential is presented for diagnostic purposes, and the concentration gradient is used to compute the current in the K\(^+\) channel simulation further below.
This completes the description of the proposed integral equation method for the 1D steady-state PNP equations. Several antecedents have used integral equation formulations to solve two-point boundary value problems although, to the best of our knowledge, they used Green’s functions that satisfy homogeneous boundary conditions [24, 28, 29], whereas the present PNP solver uses the free-space Green’s function which we expect will better facilitate a future extension to 2D and 3D problems.
5 Numerical results
In this section, the integral method is applied to compute several examples from prior work in which the PNP equations were solved by finite-difference or finite-element methods [10, 30]. In these examples, there are two ion species with valence \(z_1=-1\) (anions), \(z_2=1\) (cations), and two types of systems depending on the total ion concentration, electroneutral (\(a_1 = a_2\)) and non-electroneutral (\(a_1 \ne a_2\)). Table 1 gives the parameter values. The calculations used either Chebyshev or uniform grid points as noted, and the relaxation parameter \(\omega\) was chosen by trial and error. The method was programmed in Python, and the calculations were done on an iMac computer with the Apple M1 chip.
5.1 Electroneutral systems
Here, we consider three electroneutral systems in which the total anion and cation concentrations are equal, \(a_1 = a_2\), the formal potential boundary values are either \(\phi _- = -1, \phi _+ = 1\) (cases 1 and 2) or \(\phi _- = 1, \phi _+ = -1\) (case 3).
5.1.1 Electroneutral case 1
In this case, the capacitance parameter is equal to the permittivity, \(\eta = \epsilon\), and two values are considered, \(\epsilon = 1/4, 1/64\) [10, 30]. Figure 1 shows the computed potential \(\phi\) and anion concentration \(c_1\); the cation concentration \(c_2\) is not shown, since it is simply the reflection of \(c_1\) about the channel midpoint, \(c_2(x) = c_1(-x)\). With \(\phi _\pm = \pm 1\), the potential is an odd function, \(\phi (-x) = -\phi (x)\), and it increases monotonically from left to right across the channel. The anions are repelled from the low potential at \(x=-1\) and are attracted to the high potential at \(x=1\) where they accumulate due to the no-flux boundary condition. For large permittivity \(\epsilon = 1/4\), the potential and concentration profiles have mild gradients, but for small permittivity \(\epsilon = 1/64\), the profiles have sharp boundary layers. These results agree well with Fig. 1 in [10, 30].
Next, we consider convergence of the method. Following [10], the convergence rate for the potential is defined by
where \({\varvec{\Phi }}_N\) denotes the vector of computed potential grid values using N subintervals. Table 2 shows results for both uniform and Chebyshev points indicating that \(p \approx 2\), so the integral method is 2nd order accurate. For large permittivity \(\epsilon = 1/4\), where the solution is smooth, both point sets require the same number of iterations, while the Chebyshev points yield slightly smaller error. For small permittivity \(\epsilon = 1/64\), where the solution has a sharp boundary layer, the number of iterations is higher for both point sets, but the Chebyshev points require fewer iterations and yield smaller error than the uniform points.
5.1.2 Electroneutral case 2
This case extends case 1 by considering five values of the capacitance parameter, \(\eta = 0, \epsilon ^2, \epsilon , \epsilon ^{1/2}, 1\). Figure 2 shows the potential \(\phi\) and anion concentration \(c_1\), where the computed boundary values of \(\phi (1), c_1(1)\) are printed alongside the curves for comparison with [30]. As in case 1, the anions are repelled from the potential minimum at \(x=-1\) and are attracted to the potential maximum at \(x=1\); moreover, for large permittivity \(\epsilon = 1/4\), the profiles have mild gradients, but for small permittivity \(\epsilon = 1/64\), they have sharp boundary layers. The dependence on \(\eta\) is interesting. As \(\eta \rightarrow 0\), the potential boundary values converge to the formal values, \(\phi (\pm 1) \rightarrow \phi _\pm\), as required by the Robin boundary conditions (5). On the other hand, as \(\eta\) increases, the potential vanishes, \(\phi (x) \rightarrow 0\), and the anion concentration tends to the bulk value, \(c_1(x) \rightarrow 1/2\); these features are consistent with the Robin and no-flux boundary conditions (5), (6) and the total concentration condition (7). The present results agree well with Fig. 1 in [30].
5.1.3 Electroneutral case 3
This case uses the more realistic values of \(\chi _1, \chi _2, \eta\) in Table 1 [10]. Figure 3 shows the potential \(\phi\) and anion concentration \(c_1\). In this case with small capacitance parameter \(\eta\) = 4.63e-5, the Robin boundary conditions are almost Dirichlet boundary conditions, so \(\phi (\pm 1) \approx -\phi _\pm\) as shown in Fig. 3a. The anions are attracted to the potential maximum at \(x = -1\), leading to a boundary layer in the concentration. Note that the concentration boundary value \(c_1(-1) \approx 21.6\) is higher than in case 1 and case 2; this is attributed to the higher total concentration \(a_1 = 2\) in this case. These results agree well with the late time results for the time-dependent PNP equations in Fig. 2 of [10].
5.2 Non-electroneutral systems
This is case 4 in Table 1. In contrast with the previous cases, here, the total cation concentration \(a_2=2\) is greater than the total anion concentration \(a_1=1\), and the formal potential boundary values are equal, \(\phi _\pm = 1\) [30].
Figure 4 shows the results, where the top frames use large permittivity \(\epsilon = 1/4\) (case 4.1), and the bottom frames use small permittivity \(\epsilon = 1/16\) (case 4.2). Five values of the capacitance parameter are considered, \(\eta = 0, \epsilon ^2, \epsilon , \epsilon ^{1/2}, 1\). Results are shown for the potential \(\phi\), potential gradient \(\phi ^\prime\), and ion concentrations \(c_1, c_2\) (in this case, the concentrations have different profiles). The potential is maximum at \(x=0\), and the potential boundary values \(\phi (1)\) are printed on the right side of the plots; these results are in good agreement with [30]. The high potential at \(x=0\) attracts anions and repels cations, leading to boundary layers in the ion concentrations.
As the capacitance parameter \(\eta\) increases, the potential also increases, but the profiles have almost the same shape, and the potential gradient is almost independent of \(\eta\) (the curves overlap); the ion concentrations are also almost independent of \(\eta\) because the Nernst-Planck equation (3b) depends on \(\phi ^\prime\), but not \(\phi\). As the permittivity \(\epsilon\) decreases, the potential gradient and ion concentrations develop sharp boundary layers. In [30], it was proven that as \(\epsilon \rightarrow 0\), the potential \(\phi (x) \rightarrow \infty\) for all \(x \in [-1,1]\) and Fig. 4 is consistent with this. Figure 4 also suggests that the ion concentration boundary values converge like \(c_1(\pm 1) \rightarrow 0, c_2(\pm 1) \rightarrow \infty\) as \(\epsilon \rightarrow 0\).
Table 3 shows the potential error and convergence rate confirming 2nd order accuracy \(p \approx 2\) for this non-electroneutral system with capacitance ƞ=0. As before, for large permittivity \(\epsilon = 1/4\), the uniform and Chebyshev points yield similar results. For small permittivity \(\epsilon = 1/16\), the number of iterations is higher for both points sets, but Chebyshev points require fewer iterations and yield smaller error.
6 K\(^+\) ion channel
Finally, we consider a potassium (K\(^+\)) ion channel model following [25]. Figure 5 shows a cross-section of the model comprising two conical baths with KCl solvent and a cylindrical channel with four subregions (buffer, nonpolar, central cavity, and selectivity filter). In this example, the PNP equations are solved in dimensional form with the 1D approximation from [25],
where \(A(x)= \pi r(x)^2\) is the cross-sectional area in terms of the radius r(x). Note that the Poisson equation (43a) now includes a fixed negative charge density \(\rho _n(x)\). The model extends over the interval \([-5,8.5]\) (the spatial unit is nm), and Dirichlet boundary conditions are imposed,
Table 4 gives the parameter values with units in the caption. The material parameters are constant in each bath and each channel subregion, where the ion mobility is \(\mu _i = eD_i/k_BT\) in terms of the diffusion coefficient \(D_i\). The four channel subregions have constant radius \(r(x) = 0.5\), and while [25] took r(x) to be linear in the baths with \(r(-5) = r(8.5) = 5.5\); here, we consider a piecewise constant approximation indicated schematically by the red dotted lines in Fig. 5. In practice, we used 20 steps in each bath, so altogether there are 43 interfaces (19 in each bath, three in the channel interior, and two at the bath/channel interfaces). At each interface, the potential and ion concentrations satisfy continuity conditions,
where the bracket indicates the jump across the interface.
The integral method previously described for systems with one domain was extended to this example with multiple subdomains, and the scheme has the same Gummel iteration form as (39). The unknown boundary and interface variables \(\phi , \phi ^\prime , c_i, c_i^\prime\) at the domain boundary and 43 interfaces satisfy a coupled linear system which is solved in each iteration after which the interior variables are computed using Green’s 3rd identity.
To illustrate the idea in a simple case, consider the Poisson equation (43a) on the interval \([x_L,x_R]\) with Dirichlet BC \(\phi _L,\phi _R\) and one interface at \(x_I\). Here, there are two subdomains, \([x_L,x_I], [x_I,x_R]\), and six unknown boundary/interface values of the potential and potential gradient, \(\phi ^\prime (x_L), \phi ^\prime (x_R), \phi (x_I^{\pm }), \phi ^\prime (x_I^{\pm })\), which satisfy six linear equations comprising two interface conditions (46a),(46b), two equations from integrating once over each subdomain (46c),(46d), and two equations from integrating twice (46e),(46f),
where the integrations follow the process described in Section 3.1 leading to (20). In the equations (46), the subscripts and superscripts L and R correspond to the two subdomains, and on the right side of the equal sign, we have the following definitions for the left subdomain,
with corresponding definitions for the right subdomain. The Nernst-Planck equation (43b) is treated similarly.
Returning to the model of the K\(^+\) channel with 43 interfaces, the linear system has dimension 174 (four unknowns at each interface and two unknowns at the boundary). The computations used uniform grid spacing \(h = 0.01\) and the same stopping criterion as before (41). In this problem, the mobility/diffusion coefficient ratio is \(\mu _i/D_i = 40\)/V, and the resulting potential gradient \(\phi ^\prime (x)\) is large in some places; hence, the model is drift-dominated, and we used the following continuation scheme; the problem is solved for an increasing sequence of ratios \(\mu _i/D_i\) = 1/V, 10/V, 20/V, and 40/V, with relaxation parameters \(\omega = 0.9, 0.4, 0.26, 0.18\), requiring 12, 69, 148, and 218 iterations, respectively, and the converged solution for one ratio \(\mu _i/D_i\) is the initial guess for the next ratio; the total run time for all four ratios was 44 seconds. The continuation scheme was not needed for the electroneutral and non-electroneutral systems considered earlier since they were not drift-dominated.
Figure 6 shows the computed potential and ion concentration profiles which agree well with the previous results [25]. The negative fixed charge density \(\rho _n\), indicated by green dashed lines, has substantial impact on the potential and ion concentrations. In particular, the polar subregions with negative fixed charge have local potential minima below the boundary potential (−133.7 mV in the buffer and −155.8 mV in the filter), while the potential rises to a local maximum in the nonpolar subregion (−34.3 mV). As a result, the K\(^+\) cations are attracted to the buffer and filter and are expelled from the nonpolar region, while the opposite is true for the Cl\(^-\) anions; this demonstrates the cation selectivity property of the K\(^+\) channel.
We also computed the current–voltage curve for the K\(^+\) channel model, where the current is
in terms of the applied voltage \(V_{\textrm{app}}\) across the channel. All other parameters are the same as in Table 4. It follows from the NP equation (43b) that the current (48a) is constant throughout the domain, and in the present calculations, this was satisfied to machine precision.
Figure 7 shows the computed I–V curve which closely matches the expected linear relation. For \(V_{\textrm{app}}\) = 100 mV, the current is 19.4 pA comprising 19.1 pA for K\(^+\) cations and 0.3 pA for Cl\(^-\) anions, which again shows the cation selectivity of the K\(^+\) channel. We checked that the computed current is not sensitive to the number of steps in the bath, and Table 5 shows that the computed current converges to 20.9 pA as the grid spacing h is reduced with convergence rate \(p \approx 2\). For comparison, [25] reported current 22.5 pA comprising 22.2 pA for cations and 0.3 pA for anions. Hence, the two calculations agree for the anion current, but there is a small discrepancy in the cation current.
7 Summary
An integral equation method was presented for the 1D steady-state PNP equations modeling ion transport through membrane channels. Green’s 3rd identity was applied to recast the PNP differential equations as a fixed-point problem involving integral operators for the potential gradient and ion concentrations. The integrals were computed by midpoint and trapezoid rules at either uniform or Chebyshev grid points, and the resulting nonlinear equations were solved by Gummel iteration with relaxation. Each iteration requires solving a small linear system for the boundary and interface variables.
The integral equation method was applied to electroneutral and non-electroneutral systems with Robin boundary conditions on the potential and no-flux boundary conditions on the ion concentrations. The method is 2nd order accurate even in cases with sharp boundary layers. The method was also applied to a drift-dominated K\(^+\) ion channel model following [25]. In this case, the fixed charge density in the channel ensures the selectivity of K\(^+\) ions and exclusion of Cl\(^-\) ions. In these tests, the integral method results agree well with published finite-difference and finite-element results [10, 25, 30].
Various techniques have been used in numerical PNP solvers to improve stability such as positivity-preserving schemes, Slotboom variables, and streamwise upstream differencing. The integral equation method presented here did not employ these techniques, although it did use relaxation to accelerate the iteration and continuation to compute a good initial guess for drift-dominated systems. It is noteworthy that in these calculations, the integral equation method preserved the positivity of the ion concentrations.
In the future work, we aim to extend the integral equation PNP solver to time-dependent problems as well as 2D and 3D ion channel models, where the volume integral can be efficiently computed using adaptive quadrature and a fast summation method [31,32,33].
Data Availability
The datasets generated during the current study can be replicated by running the Python scripts in the BIE_PNP_1D repository, https://github.com/zhen-wwu.
References
Hille, B.: Ion Channels of Excitable Membranes. Sinauer, 3rd edition (2001)
Wei, G.-W., Zheng, Q., Chen, Z., Xia, K.: Variational multiscale models for charge transport. SIAM Rev 54, 699–754 (2012)
Liu, X., Lu, B.: Incorporating Born solvation energy into the three-dimensional Poisson-Nernst-Planck model to study ion selectivity in KcsA K\(^+\) channels. Phys. Rev. E 96, 062416 (2017)
Eisenberg, B., Liu, W.: Poisson-Nernst-Planck systems for ion channels with permanent charges. SIAM J. Math. Anal. 38, 1932–1966 (2007)
Horng, T.-L., Lin, T.-C., Liu, C., Eisenberg, B.: PNP equations with steric effects: a model of ion flow through channels. J. Phys. Chem. B 116, 11422–11441 (2012)
Xie, D., Chao, Z.: A finite element iterative solver for a PNP ion channel model with Neumann boundary condition and membrane surface charge. J. Comput. Phys. 423, 109915 (2020)
Wang, Q., Li, H., Zhang, L., Lu, B.: A stabilized finite element method for the Poisson-Nernst-Planck equations in three-dimensional ion channel simulations. Appl. Math. Lett. 111, 106652 (2021)
Kurnikova, M.G., Coalson, R.D., Graf, P., Nitzan, A.: A lattice relaxation algorithm for three-dimensional Poisson-Nernst-Planck theory with application to ion transport through the gramicidin A channel. Biophys. J. 76, 642–656 (1999)
Zheng, Q., Chen, D., Wei, G.-W.: Second-order Poisson-Nernst-Planck solver for ion transport. J. Comput. Phys. 230, 5239–5262 (2011)
Flavell, A., Machen, M., Eisenberg, B., Kabre, J., Liu, C., Li, X.: A conservative finite difference scheme for Poisson-Nernst-Planck equations. J. Comput. Electron. 13, 235–249 (2014)
Lu, B., Zhou, Y., Huber, G.A., Bond, S.D., Holst, M.J., McCammon, J.A.: Electrodiffusion: a continuum modeling framework for biomolecular systems with realistic spatiotemporal resolution. J. Chem. Phys. 127(13), 10–604 (2007)
Lu, B., Holst, M.J., McCammon, J.A., Zhou, Y.C.: Poisson-Nernst-Planck equations for simulating biomolecular diffusion-reaction processes I: finite element solutions. J. Comput. Phys. 229, 6979–6994 (2010)
Xie, D., Lu, B.: An effective finite element iterative solver for a Poisson-Nernst-Planck ion channel model with periodic boundary conditions. SIAM J Sci Comput. 42(6), 1490–1516 (2020)
Chainais-Hillairet, C., Peng, Y.-J.: Convergence of a finite-volume scheme for the drift-diffusion equations in 1D. IMA J. Numer. Anal. 23, 81–108 (2003)
Song, Z., Cao, X., Huang, H.: Electroneutral models for dynamic Poisson-Nernst-Planck systems. Phys. Rev. E 97, 012411 (2018)
Song, Z., Cao, X., Horng, T.-L., Huang, H.: Selectivity of the KcsA potassium channel: analysis and computation. Phys. Rev. E 100, 022406 (2019)
Metti, M.S., Xu, J., Liu, C.: Energetically stable discretizations for charge transport and electrokinetic models. J. Comput. Phys. 306, 1–18 (2016)
Flavell, A., Kabre, J., Li, X.: An energy-preserving discretization for the Poisson-Nernst-Planck equations. J. Comput. Electron. 16, 431–441 (2017)
Liu, H., Wang, Z.: A free energy satisfying discontinuous Galerkin method for one-dimensional Poisson-Nernst-Planck systems. J. Comput. Phys. 328, 413–437 (2017)
Hu, J., Huang, X.: A fully discrete positivity-preserving and energy-dissipative finite difference scheme for Poisson-Nernst-Planck equations. Numer. Math. 145, 77–115 (2020)
Steinbach, O.: Numerical Approximation Methods for Elliptic Boundary Value Problems: Finite and Boundary Elements. Springer, LLC (2008)
Juffer, A., Botta, E.F., van Keulen, B.A., van der Ploeg, A., Berendsen, H.J.: The electric potential of a macromolecule in a solvent: a fundamental approach. J. Comput. Phys. 97, 144–171 (1991)
Geng, W., Krasny, R.: A treecode-accelerated boundary integral Poisson-Boltzmann solver for electrostatics of solvated biomolecules. J. Comput. Phys. 247, 62–78 (2013)
Barcilon, V., Chen, D.-P., Eisenberg, R.S.: Ion flow through narrow membrane channels: Part II. SIAM J. Appl. Math. 52, 1405–1425 (1992)
Gardner, C.L., Nonner, W., Eisenberg, R.S.: Electrodiffusion model simulation of ionic channels: 1D simulations. J. Comput. Electron. 3, 25–31 (2004)
Gummel, H.K.: A self-consistent iterative scheme for one-dimensional steady state transistor calculations. IEEE Trans. Electron. Devices 11, 455–465 (1964)
Jerome, J.W.: Consistency of semiconductor modeling: an existence/stability analysis for the stationary van Roosbroeck system. SIAM J. Appl. Math. 45, 565–590 (1985)
Greengard, L., Rokhlin, V.: On the numerical solution of two-point boundary value problems. Commun. Pure Appl. Math. 44, 419–452 (1991)
Viswanath, D., Tobasco, I.: Navier-Stokes solver using Green’s functions I: channel flow and plane couette flow. J. Comput. Phys. 251, 414–431 (2013)
Lee, C.-C., Lee, H., Hyon, Y., Lin, T.-C., Liu, C.: New Poisson-Boltzmann type equations: one-dimensional solutions. Nonlinearity 24, 431 (2010)
Wang, L., Krasny, R., Tlupova, S.: A kernel-independent treecode based on barycentric Lagrange interpolation. Commun. Comput. Phys. 28, 1415–1436 (2020)
Wilson, L., Geng, W., Krasny, R.: TABI-PB 2.0: an improved version of the treecode-accelerated boundary integral Poisson-Boltzmann solver. J. Phys. Chem. B 126, 7104–7113 (2022)
Xu, L., Krasny, R.: Dynamics of elliptical vortices with continuous profiles. Phys. Rev. Fluids 8, 024702 (2023)
Acknowledgements
The authors thank the Referee for careful reading and detailed comments which helped improve the manuscript.
Funding
This work was supported by NSF grants DMS-1819094/1819193 and DMS-2110767/2110869.
Author information
Authors and Affiliations
Contributions
All authors contributed to the algorithm design. Zhen Chao carried out the test calculations and wrote the first draft of the manuscript. All authors contributed to editing the manuscript, and they approved the final version.
Corresponding author
Ethics declarations
Competing Interests
The authors have no relevant financial or non-financial interests to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chao, Z., Geng, W. & Krasny, R. Integral equation method for the 1D steady-state Poisson-Nernst-Planck equations. J Comput Electron 22, 1396–1408 (2023). https://doi.org/10.1007/s10825-023-02092-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10825-023-02092-y