In this paper, we use a time splitting method with higher-order accuracy for the solutions (in space variables) of a class of two-dimensional semi-linear parabolic equations. Galerkin-Chebyshev pseudo spectral method is used for discretization of the spatial derivatives, and implicit Euler method is used for temporal discretization. In addition, we use this novel method to solve the well-known semi-linear Poisson-Boltzmann (PB) model equation and obtain solutions with higher-order accuracy. Furthermore, we compare the results obtained by our method for the semi-linear parabolic equation with the available analytical results in the literature for some special cases, and found excellent agreement. Furthermore, our new technique is also applicable for three-dimensional problems.
Consider a class of semi-linear parabolic equations of the form
with the initial condition
and the Dirichlet boundary conditions
where k(t), a(x,y),
There are many studies dealing with the numerical solution of this type of the equation; considering the finite difference, for example, Tian and Ge  and Mohebbi and Deghan ; and considering finite element method, for example, Lasis and Suli , very recently, two grid finite element methods were developed by Chen and Liu . Related to the spectral method, there are some studies listed in Liu et al. . We note that in all these studies, especially with spectral methods, the authors used explicit method, which is necessary for the temporal variable, which has stability problem for large time.
In this study, we use implicit method for temporal variables, and obtain the solution to semi-linear Poisson-Boltzmann (PB) equation, which is commonly used to characterize electrostatic interactions. Solving numerically the semi-linear PB equation is very challenging due to various factors of the PB model, such as complex geometry of protein structures, singular source terms, strong nonlinearity of ionic effects, systems with distributed mobile charges. These are vital for the study of a protein system immersed in an ionic solvent environment (see details see Geng and Zhao ).
Efficiency and accuracy are two major concerns in obtaining numerical solutions of the Poisson-Boltzmann equation, for applications in chemistry and biophysics. Developments in boundary element methods, interface methods, adaptive methods, finite element methods, and other approaches for the Poisson-Boltzmann equation are outlined in the review article by Lu et al. . More recently, Deng et al.  used the discontinuous Galerkin method and obtained numerical solution for three-dimensional semi-linear PB equation using the regularization formulation technique.
The goal of this work is to introduce Galerkin-Chebyshev pseudo spectral method for two-dimensional semi-linear parabolic equations of second order in the form of Eqs.(4) and (5). The proposed method is built based on an operator splitting or time splitting framework. In this method, the nonlinear subsystem of the semi-linear partial differential equation can be analytically integrated in time and then linear part of the semi-linear equation can be integrated easily in time. Then the Galerkin-Chebyshev spectral method is used for discretization of the spatial derivatives. Literature review reveals that no such work exists; this gives us enough motivation for the present report. The details of the proposed time splitting pseudo spectral Chebyshev method is discussed in Section 2. Numerical validations of our results (of a benchmark example) with the available analytical results in the literature will be considered in Section 3. Finally, this work ends with a conclusions section.
2 Galerkin-Chebyshev spectral method and operator splitting
Consider a uniform grid partition in time with an increment Δt and denote tn = nΔ t. A first order time splitting scheme of Geng and Zhao , and Deng et al.  will be employed to update Eq.(4) in the subinterval [tn,tn + 1], omitting star, we get
where α =
Evaluating the expression both at tn to tn + 1, we get
For example, for the well-known nonlinear Poisson-Boltzmann, we have g(t) = 1, h(x,y,t) = 0 and f(χ) = –k2sinh (χ ) (see for details Refs. and ). In this case, following the same line as in Refs.  and , we have analytical solution as
2.1 Galerkin-Chebyshev spectral method
Let us denote Tn(y) as the nth degree Chebyshev polynomial and
where inner product is defined in
For Dirichlet boundary conditions, we consider
then, we have,
Then, for t∈ [tn,tn+1]
Then in the light of Lemma 1, we have
where A = (akj), B = (bkj) k,j = 0,1,2,…, N–2.
We now present the following theorem for weighted
here, Dru =
3 Numerical results
In this section, we present numerical examples to demonstrate the convergence and accuracy of the new method. Throughout this section, we use uniform grid for temporal discretization, Δ t = tn+1–tn, k + 1 is the time-step and the number of grid-points in the interval [tn, tn+1].
3.1 Test Problem 1: Poisson-Boltzmann equation
We first briefly drive the model, the net electric charge density,ρe, in the EDL (electric double layer) can be related to the total potential field(Φ) by the Poisson equation
where ϵ is the permittivity of the solution. The total electric field Φ = Θ +Ψ is a linear superposition of the applied electric field generated by the electrodes, Θ (z), and the electric field due to the net charge distribution in the EDL, ψ(x,y), for details Movahed . Consider the above equation with the standard electrokinetic model in Refs. [10,11]: Assume two dimensional, then RHS becomes a function of two variables,x and y. Substituting Φ = Θ + Ψ, we see that Eq.(18) can be separated very easily into the following two equations
Therefore, the net electric charge density is independent of the external electric field and is determined by ψ. According to the quasi-equilibrium conditions, the ion density variation in the EDL obeys the Boltzmann distribution. So, for a symmetric electrolyte of equal valence (ℤ = ℤ+ = –ℤ–), then the first part in Eq.(30) can be expressed explicitly by the PB equation as follows
where n0 is the bulk number concentration of ions in the electrolyte solution, Tm is the absolute average temperature, kb is the Boltzmann constant, and e is the elementary electronic charge. If use the dimensionless variables and parameters as in Refs. , , we obtain the dimensionless nonlinear Poisson-Boltzman. We further assume electrical field two-dimensional, in a two dimensional Cartesian coordinates system equation becomes
This equation subject to the following boundary conditions (These conditions are widely suggested)
Direct application of spectral method, requires solving highly nonlinear algebraic system which is not possible to solve numerically for large number of base elements. This motivates the development of pseudo-transient continuation approaches for solving the nonlinear PB equation (for details see Refs. [12, 13, 14, 15], the method authors used in this study are mainly finite difference and finite element methods. Basically, a pseudo-transient variation is introduced to convert Eq.(32) from the time-independent form to a time-dependent form
We need now an initial solution, this could be the electrostatic potential obtained from a linearized PB equation or trivially ψ̄ = 0. We then numerically integrate Eq.(34) for a sufficiently large time period. The solution of the original nonlinear PB Eq.(32) can be recovered eventually by the steady state solution of the pseudo-time dependent process from Eq.(34).
However, there exists a real difficulty involved in the numerical integration of the time dependent NPB equation (34). Generally speaking, since a long time integration is required to reach the steady state for Eq.(34), explicit time stepping methods are usually not efficient for pseudo-transient continuation approaches, see for example [12, 13, 14, 15]. In the literature, semi-implicit time stepping methods [12, 13] are commonly used to solve time dependent NPB equation (34) so that a large time step could be used for a stable simulation. Nevertheless, a fully implicit time integration method has never been constructed for solving the classical nonlinear PB equation (34) by the method of Galerkin spectral method. Here we show that in Eqs.(12)-(13) and (10) that time splitting method enable us to use the implicit time integration. We first tested our algorithm for sinh (ψ̄) ≈ ψ̄ in which case Eq.(24) becomes linear and exact analytical solution is possible . We found that Lw error less than 10–8 for N = 10 and 0 < t < 10. Therefore, we expect similar error for nonlinear case. In Fig.1, we see that steady state case has been easily obtained. Furthermore, we are only able to show on figure first three approximations, because the other approximations are very small to show on the figure, which shows the power of our approximations.
In Fig.2, we show the centerline electrostatic potential which shows the development of the profiles. We also show the three dimensional profile of electrostatic potential for t = 2.5. Figure 3 indicates the steady state solution, because any increase in the value of t, does not cause any change in the electrostatic potential.
Since the available experimental results for the Poisson-Boltzman equation are on [0,a], we obtained our results on this region. However, we note here that, in order to apply Chebyshev-Galerkin spectral method, we first transformed the given region to [–1,1], then we obtain the solution. Finally we applied inverse transformation to the obtained solution in order to express the solution in the original region. We also note that integration of equation in Eq. (12), we use Gauss-Chebyshev quadrature method.
3.2 Test Problem 2
We consider in this case k(t) = 1,a = c = 0, b = d = 1,α 2 = 1, f(u) =
where the source function is chosen the such that exact solution is
In this case, according to our time splitting scheme, on [tn, tn+1] we get
Integration of equation (38) and using the Cardana formula, we get
Since we have solved nonlinear part analytically, we can apply implicit scheme for temporal discretization. Now, substituting (18) and (19) into (30) and (31), and applying the Chebyshev Galerkin method, we obtain simple expression temporal discretization which can be solved by implicit method as described earlier. Hence, we see that our method much more efficient than the usual spectral Galerkin method. Fig. 4 shows the approximation for the h(x,y,t) in terms of our base function in Eq.(14) for given fixed time. We see that the error is less than 10–4 except for the initial and end regions where h(x,y,t) is not zero; whereas our base function satisfies the boundary condition zero at the end-point. Fig. 5 shows the Lw error for different N.
In this paper, we presented a new technique to solve a class of semi-linear parabolic partial differential equations numerically. We combined Galerkin-Chebyhev pseudo spectral method with time splitting technique. This helped in reducing the problem to a linear parabolic partial differential equation in space variables. Then we could use the Galerkin-Chebyhev spectral method easily and this enabled us to use the implicit Euler method for temporal discretization. In this paper, we also studied two-dimensional problems. Furthermore, our new technique is applicable to three-dimensional problems. In a follow up paper, we shall analyse three-dimensional class of semi-linear parabolic partial differential equations and the associated error analyses.
Communicated by Juan L.G. Guirao
Z. F. Tian and Y. B. Ge,1.(2007), A fourth-order compact ADI method for solving two-dimensional unsteady convection-diffusion problems, J. Comput. Appl. Math. 198, 268-286. 10.1016/j.cam.2005.12.005
W. Geng and S. Zhao,6.(2013) Fully implicit ADI schemes for solving the nonlinear Poisson-Boltzmann equation, Molecular Based Math. Bio. 1, 109-123. 10.2478/mlbmb-2013-0006
B. Z. Lu, Y.C. Zhou, M.J. Holst and J.A. McCammon,7.(2008) Recent progress in numerical methods for the Poisson-Boltzmann equation in biophysical applications, Commun. Comput. Phys. 3, 973-1009.
J. Shen, T. Tang and L. Wang,9.(2011), Spectral Methods Algorithms, Analysis and Applications, Springer Series in Computational Mathematics, ISBN-10: 354071040X; ISBN-13: 978-3540710400.