Solutions of Poisson-Nernst Planck Equations with Ion Interaction ()
1. Background
Biological ion channels are proteins located in the membranes of the cells of our body with a central pore that allows and controls the passage of charged ions such as calcium (Ca2+), potassium (K+), Sodium (Na2+) and so on. These channels support transfer across the membrane when opened by an appropriate stimulus. The concentration of these ions is one of the crucial factors in regulating many physiological functions including signal transfer in the nervous system, regulating the secretion of hormones in the cells, etc. Thus furthering understanding of the dynamics and mechanism of the ion channel is vital for medical intervention in a broad range of diseases areas and the determination of new research trends in medical fields [1].
One of the most popular continuum theories describing ion transport in such a complex biological system is the Poisson Nernst-Planck (PNP) model [2]. The PNP equations describe the electro diffusion of ions under the effect of electric field induced by ions charge themselves. The model uses a combination of, firstly, Poisson’s equation to describe how ions and the channel protein to create electrical potential and secondly, Nernst-Planck equations to describe migration and diffusion of ions in gradients of concentration and electrical potential. Furthermore, the two components of the PNP model form, also known as the “drift-diffusion equations” which is widely used to describe behaviour of semiconductors, solid-state devices like transistors, nano-devices in biophysics and physical chemistry as illustrated in [2] [3] [4] [5].
Among the popularly applied numerical techniques for PNP model include Finite Difference (FD) [5] [6] [7], spectral methods [4] [8] and Finite Element Methods (FEM) [9] [10] [11] [12] [13]. The most preferred and appropriate numerical method amongst them for biological channels is FEM, this is due to the inherent capability to adequately handle irregular geometries and non-uniform boundaries. A number of researchers have applied different types of FEM in the study of steric PNP models, for example, [9] generalized the Borukhov model to obtain a size modified PNP (SMPNP) that was able to treat non-uniform particle sizes. The objective was to show that: 1) Size Modified Poisson-Boltzmann (SMPB) model was implied by SMPNP equations under certain boundary and interface conditions and can be reproduced through the numerical solution of the SMPNP. 2) The side effects in the SMPNP effectively reduce the densities of highly concentrated counter-ions around the biomolecule. An accurate finite element method and convergent Gummel iteration were developed for the numerical solution of a completely coupled non-linear system of SMPNP.
The validity of the PNP model was extended by adding an Excess Chemical Potential (ECP) correction to account for finite ion size and water occupation by [4]. The modification of the standard drift-diffusion solution methodology was accomplished by adding an outer iteration for the correction, achieving feasible convergence rates with simple test structures. Under equilibrium conditions in the absence of fixed charge on the membrane, PNP theory predicted uniform ion densities while PNP/ECP predicted non-uniform charge distribution. [10] presented a mathematical model for finite-size effects using a regularized Lennard Jones (LJ) repulsive potential under an energy variational framework and its numerical verification to recover layering behaviour. Edge finite element method was used to solve a system of modified PNP and employed convex iteration scheme to ensure self-consistency between ionic concentrations and electrostatic potentials. Both PNP with LJ repulsive potential and Density function theory hard-sphere potential have the same overall behaviour of ion concentration. Ion concentration near the boundary was found to be larger than in bulk.
Thereafter, [13] proposed linearized local conservative mixed FEM for solving time-dependent PNP equations, where the NP and Poisson fluxes were introduced as new vector-valued variables. These methods were employed for spatial discretization, backward Euler with linearisation for temporal discretization hence the system decoupled and solved iteratively for each time step. Additionally, [14] developed a modified PNP macroscopic model accounting for size exclusion effects resulting in nonlinear mobilities. The numerical simulation of the model indicated decreasing behaviour in conductance which leads to current saturation, behaviour was not detected in the PNP case. Finally, it is important to note that FEM simulation of PNP with steric effects is mostly limited to 1D cases see [10]. This is despite realistic computationally expensive 3D ion channel see [6], a major contributing factor being difficulty in numerical convergence.
Consequently, this study adopts approximation of the LJ potential in the energy functional with hard-sphere repulsion using band limit function which cut-off higher frequencies and preserve spatial frequencies in Fourier modes. The approximation is done with help of a cutoff length (σ) approaching zero, see [8] to simplify the kernel in the functional. As a result, the improved energy function is used to derive equations of PNP with steric effects (mPNP), which is simple and numerically viable. The paper proposes and analyzes the mixed FEM method based on Taylor-hood elements and classical FEM using the bilinear element with equal degrees of freedom to discretize the domain. Furthermore, FEM algorithm is enforced over the domain with iterative linearization to solve the decoupled system of highly nonlinear mPNP and PNP equations for two monovalent ion species in 2D. Accordingly, the study analyses their concentration behaviour in the channel with changing steric values. In the previous study, we analyzed the existence of approximate solution of a 2D mPNP system, see [15] and numerical simulation using mFEM in [16], the current study intends to improve the accuracy of numerical approximate solutions obtained in the previous simulation and offer a validation scheme.
2. Mathematical Model
Given that classical PNP model have known limitations, for example, it neglects the finite size effects of ion particles and does not account for non-electrostatic interaction between ions see, [4] [9] [17] [18]. As a result the PNP model cannot adequately describe the flow behaviour of biological ion channel calling for improvement. Consequently, in recent years, mathematical studies in this area have modified the PNP equation to include finite volume effects and electrostatic interactions.
2.1. Poisson-Nernst-Planck Equation
The Poisson-Nernst-Planck mathematical model for analyzing ion transport is given by:
(2.1a)
(2.1b)
In the Nersnt-Planck (NP) Equation (2.1a),
and
are concentration and valence for the ith ion species.
is the electrostatic potential,
is the Boltzmann constant, T is the absolute temperature, N is the number of ions, e is the unit charge and
is the diffusion coefficient of ion species. In the Poisson Equation (2.1b),
is the coupling energy constant and
representing permanent charge density.
2.2. Poisson-Nernst-Planck Equation with Steric Effects
This subsection considers a continuum flow in a two dimensional problem to represent a channel in cell membrane. The energy variational approach is used to derive a system of differential equations including finite size effects of ions using the Lennard Jonnes repulsive potential. This potential introduces the ion interaction which is modeled as hard spheres in a rectangular space with unit thickness. The contribution of the repulsive potential to the total free energy functional is given by:
(2.2)
given that
and
are the radii of the ith and jth ions and
becomes their coupling energy constant. The main computational challenge is the inaccuracy and inefficiency in simulation due to the effects of high frequencies in the kernel of potential term in (2.2). In order to explore the flow with high accuracy, this paper employs a band-limit function which depends on a cut-off length (
) to eliminate the high spatial frequencies and preserve the bounded spatial frequencies, see [8] [19]. The cutoff length is taken to be small parameter tending to zero for better approximation. Using this band-limit function and fourier analysis an approximate energy functional is derived which reduces the numerical complexity of the repulsive term in the LJ potential describing ion interaction.
The Energy functional in (2.2) is replaced by an equivalent approximate energy functional derived in [19] and represented as:
(2.3)
where
, the dimensional space
and
is the surface
area of the d-dimensional unit ball. Applying the energy variational method, we obtain a new mathematical model for NP equation given by:
(2.4)
where the flux
is given by:
Equation (2.4) forms a system of NP equations with steric effects, which satisfies the dissipation law given below:
(2.5)
where
is the chemical potential. Simplifying (2.4), we obtain rates of
concentration for the two ions
(negative) and
(positive) in steady state given by:
(2.6a)
(2.6b)
where
,
,
. Coupling (2.6) and (2.1b) and taking
, we obtain the system of mPNP equations.
3. Numerical Schemes
Classical and Taylor-Hood Domain Discretisation
Case I: The study examined use Classical rectangular element models the flow where bilinear elements are prescribed on each node sharing all the three components for concentration and potential in the coupled system. Shape functions for which uses local coordinates(
) to express these components in form of 4 noded bilinear elements
as illustrated in Figure 1(a), representing nodes for
. These bilinear interpolation functions are used for both concentration,
and
and potential,
components, resulting into 12 unknown variables for each element.
(3.1)
Case II: Taylor-hood elements discretization over the domain proposes nine nodes for concentration and four nodes for potential variables where all the flow variables are defined as illustrated in Figure 1(b). Shape functions using local co-ordinates (
) are used to expressed these components in form of four-noded
Figure 1. The (a) Classical domain consisting of 4-nodes (
) providing bilinear elements for both concentration and potential components, and the (b) Taylor-hood multi-grid composed of 9-noded (
) concentration measurements and (
) bilinear potential nodes.
bilinear elements given in (3.1) and nine-noded elements denoted by
for
an example of first node in the element is given by:
(3.2)
Thus the interpolation functions
are used for concentration components,
and
while bilinear interpolation functions
are used for potential component,
resulting into 20 unknown variables for each element in Taylor-hood elements.
Taylor-hood elements are established to be well-posed and numerically stable while bilinear elements are unstable [20] [21]. However, Taylor-hood imposes computational challenges due to many degrees of freedom for the variables whereas the bilinear elements easy to implement particularly when applying mesh refinement of the domain. Lastly, both elements are comparable since they produce the same order of potential interpolation.
4. Finite Element Discretization and Linearization
We employ Sobolev function to represent the domain given
to be a space of continous function at the closure of the domain,
,
a space of square integrable functions and
being functions of
whose derivatives are square integrable functions with values vanish at the boundary of the domain. These space functions are used to describe the finite dimensional
space on
to be
and
, for
. It is therefore permissible to express parameter values
,
and
are expressed in form of the basic functions of
and
given by:
(4.1)
where
,
and
are the parameter measurements at the nodes of each elements and
and
are the shape functions for concentration and potential respectively and whilst
is the degree of freedom for each variable. To overcome the nonlinearity in the mPNP equations, the unknowns are written in iterative form as:
(4.2)
where
and
are previous known values and
and
are the correction values. Hence the nonlinear terms are linearized as shown in Equation (4.3):
(4.3)
For novelty in computation, we let
,
,
,
and
. Using the above notations we integrate (2.6) and (2.1b) over the domain, then by applying Gauss-Divergence theorem to the diffusive terms results into weak form of concentration and potential given by:
(4.4)
(4.5)
given
is the unit outward normal and
are the weight functions for concentration and potential respectively. Since achieving convergence for highly nonlinear system is computationally expensive, we refine the meshes in the domain and decouple our system to obtain convergence of the iterative numerical scheme illustrated in Figure 2 below.
5. Numerical Results and Discussion
5.1. Solutions for the PNP Problem
Case I: To validate the numerical scheme, we construct a 2D steady PNP problem with known analytical solution this is by modifying the 3D PNP equation in [22]. We start by considering analytical solution of the form (5.1a)-(5.1d) in domain,
defined as:
(5.1a)
(5.2b)
(5.3c)
(5.4d)
satisfying the steady state PNP equations for two monovalent ion species
and
given by (5.2a)-(5.2c):
Figure 2. Flow chart for numerical simulation of mPNP equations, given
.
(5.2a)
(5.2b)
(5.2c)
when taking
,
,
,
,
and
. Given
,
is the vacuum permittivity and
is the relative permittivity. Prescribing Neumann boundary condition for concentration in two opposite vertical walls of the channel and Dirichlet boundary conditions for exit and entry of the channel
walls satisfying:
(5.3a)
(5.3b)
(5.3c)
(5.3d)
where
is the unit outward normal.
The numerical solution of PNP equations (5.2a)-(5.2c) was in agreement with the analytical solution for Concentration and Potential as illustrated in Figure 3 and Figure 4. Increasing the number of elements, N improved the accuracy of the numerical solution such that when
, the approximate solution were established to be very accurate hence validating the numerical scheme.
5.2. Solutions for mPNP Problem
In this subsection, we consider a two dimensional steady state mPNP equations given by (2.6) and (2.1b) for two ion species denoted by n and p, with valencies taken to be
and
, and radii
Å and
Å, respectively. The constant diffusion coefficients was taken as
and
for negative and positive ions, respectively. The flow is assumed to be in the y direction at
. The impact of steric components
and
on concentration of two monovalent ion species is determined and discussed for Taylor-hood and bilinear elements.
Dirichlet conditions prescribed at the channel walls for concentration and potential in the domain,
, no flux boundary conditions are imposed for both concentration and potential, respectively and electro-neutrality condition is assumed for the charge densities given by:
(5.4)
where
are constants,
is the concentration flux and
is the
Figure 3. Contours for (a) analytical and (b) numerical Concentration, cn satisfying the PNP equations (5.2a)-(5.2c).
unit outward normal.
Case II: A four-noded rectangular element, each sharing nodal points for potential and concentration components was utilized to obtain the following results. The three steric effects
and
are varied and analyzed for concentration profile with the aim to demonstrate their effect on the positive and negative ion flow in an electro-neutral biological channel environment under the
Figure 4. Potential,
contours for (a) analytical and (b) numerical solutions of the PNP equations.
boundary condition in (5.4).
Results illustrated in Figure 5 demonstrate effect of repulsive forces of cations in the flow whence other steric components are held constant. On the other hand, Figure 6 and Figure 7 accounts for the attractive force of the constituent
Figure 5. Variation of ionic concentration cn and cp with finite size effects, S3 and PNP equation across the domain, at
.
opposite ions and repulsive of anions, respectively, all of which are responsible for ion flow fluctuations.
Figure 6. Variation of ionic concentration with finite size effects, S2 across the domain at
.
The above three critical forms in variation implies that radius size of an ion plays a role in ion interaction and competition as in the subsequent analysis.
Figure 7. Variation of ionic concentration with finite size effects, S1 across the domain at
.
Upon increasing the positive steric effects S3 the repulsive forces between ion increases resulting into reduction in cations being selected to through the channel see, Figure 6(b). These repulsive forces are very strong hence prevents of anions as displayed in Figure 6(b). Varying the attractive element of the steric effect, S2 increases the attractive forces between the ions resulting in gradual increase in flow and accumulation of anions and accelerated decrease of the cations in the channel as shown in Figure 7. This may be due to frequent collision between cations which have larger radius hence reaches equilibrium faster than anions. Lastly, insignificant variation of the negative steric effects S1 increases the repulsive forces between the anions enhancing steady reduction in their diffusion and concentration in the channel, see Figure 8(a) whereas the flow of cations remain constant, as evident in Figure 8(b). Consequently, we realize significant contribution of both attractive and repulsive element of steric effect compared to ion concentration. But overally, contribution of the increase in the attractive component of the steric effect S2 in the flow pronounces anion and diminishes cation flows significantly as in Figure 7(a) and Figure 7(b) respectively.
It can, therefore, be deduced that the repulsive components plays the least role in the selectivity of ion species while the attractive components have more impact on the flow of ions. However flow of the anions is enhanced in all the situations compared to the cations upon varying the repulsive components S3 and S1. This may be as a result of the size/radius of the ion. The diffusion of cations is also observed to be faster than anions in all the variations, this may be as a result of bulk mobility of the anions which is higher than the cations in the channel.
Case III: Taylor-hood multi-grid with 9 nodes rectangular elements for each concentration components and 4 noded rectangular elements for potential components was adopted to discretize and solve the mPNP system of equations. Given, specific values of steric effects S1, S2 and S3, the estimated concentration profiles cn and cp obtained are similar and showed convergence for gradual increase in the number of iterations as illustrated in Table 1. Whereas execution of infinitesimal variation of steric effect, S1 results into insignificant variation in the approximate solutions of the flow components, see Figure 8. This loss of accuracy and convergence is largely because of the instability in the system due to nonlinearity and loss of information from non shared nodes.
The results obtained with mPNP equations demonstrated the impact of variation of finite size on ion interaction in the channel, which is not viable with PNP equations. Simulation with bilinear elements exhibited numerically stable solutions of the mPNP model compared to Taylor-hood elements, this may be as a consequence of few degrees of freedom of potential nodes updating the concentration nodes in each element in the domain. Further, results with Taylor-hood elements introduced oscillations in the approximate solution and some negative concentration with varied steric component. Therefore, it is importance to address this challenge in order to obtain desired results. Consequently, we investigated the convergence of the iterative scheme after number of iterations, as illustrated in Table 1 and results with Taylor-hood elements displayed instability in convergence compared to bilinear elements and PNP equations.
Figure 8. Concentration profile for (a) cn and (b) cp for various, S1 and PNP equations when
.
Table 1. Convergence of exact PNP, bilinear (cFEM) and Taylor-hood (TH) elements after iterations I.
6. Conclusion
The main objective of the study was to develop PNP with steric effects consisting of LJ hard-sphere potential which was modified using a band limit function to reduce the complexity of computation. A two-dimensional steady-state numerical solution of the mPNP system of equations showing the effects of variation of steric effects on ion flow and concentration is discussed for a rectangular channel. In fact, we have observed the effects of repulsive and attractive steric forces on ion flow and deduced the role played by radial size in selectivity. The Mixed Finite element approach based on Taylor-hood and bilinear elements enabled the establishment of distinction between the flows in relation to steric components qualitatively. We validated our numerical scheme by obtaining analytical and numerical solutions on the 2D PNP equation and convergence of the scheme compared to mPNP equations. Lastly, it is fundamental to note that an anion has a smaller size compared to a cation, therefore, easing selectivity and flow in the channel as established in the study. Effects of potential variation are also worth examining for such a flow in addition to computational efficiency in triangular elements in Taylor-hood method.