skip to main content


Title: A positivity-preserving, energy stable and convergent numerical scheme for the Poisson-Nernst-Planck system
In this paper we propose and analyze a finite difference numerical scheme for the Poisson-Nernst-Planck equation (PNP) system. To understand the energy structure of the PNP model, we make use of the Energetic Variational Approach (EnVarA), so that the PNP system could be reformulated as a non-constant mobility H − 1 H^{-1} gradient flow, with singular logarithmic energy potentials involved. To ensure the unique solvability and energy stability, the mobility function is explicitly treated, while both the logarithmic and the electric potential diffusion terms are treated implicitly, due to the convex nature of these two energy functional parts. The positivity-preserving property for both concentrations, n n and p p , is established at a theoretical level. This is based on the subtle fact that the singular nature of the logarithmic term around the value of 0 0 prevents the numerical solution reaching the singular value, so that the numerical scheme is always well-defined. In addition, an optimal rate convergence analysis is provided in this work, in which many highly non-standard estimates have to be involved, due to the nonlinear parabolic coefficients. The higher order asymptotic expansion (up to third order temporal accuracy and fourth order spatial accuracy), the rough error estimate (to establish the ℓ ∞ \ell ^\infty bound for n n and p p ), and the refined error estimate have to be carried out to accomplish such a convergence result. In our knowledge, this work will be the first to combine the following three theoretical properties for a numerical scheme for the PNP system: (i) unique solvability and positivity, (ii) energy stability, and (iii) optimal rate convergence. A few numerical results are also presented in this article, which demonstrates the robustness of the proposed numerical scheme.  more » « less
Award ID(s):
2012634 1759536 1950868
NSF-PAR ID:
10283139
Author(s) / Creator(s):
; ; ; ;
Date Published:
Journal Name:
Mathematics of Computation
Volume:
90
Issue:
331
ISSN:
0025-5718
Page Range / eLocation ID:
2071 to 2106
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. A class of nonlinear Fokker–Planck equations with nonlocal interactions may include many important cases, such as porous medium equations with external potentials and aggregation–diffusion models. The trajectory equation of the Fokker–Plank equation can be derived based on an energetic variational approach. A structure‐preserving numerical scheme that is mass conservative, energy stable, uniquely solvable, and positivity preserving at a theoretical level has also been designed in the previous work. Moreover, the numerical scheme is shown to satisfy the discrete energetic dissipation law and preserve steady states and has been observed to be second order accurate in space and first‐order accurate time in various numerical experiments. In this work, we give the rigorous convergence analysis for the highly nonlinear numerical scheme. A careful higher order asymptotic expansion is needed to handle the highly nonlinear nature of the trajectory equation. In addition, two step error estimates (a rough estimate and a refined estimate) are necessary in the convergence proof. Different from a standard error estimate, the rough estimate is performed to control the nonlinear term. A few numerical results are also presented to verify the optimal convergence order and the preservation of equilibria.

     
    more » « less
  2. Abstract

    We propose and analyze a second order accurate in time, energy stable numerical scheme for the strongly anisotropic Cahn–Hilliard system, in which a biharmonic regularization has to be introduced to make the equation well‐posed. A convexity analysis on the anisotropic interfacial energy is necessary to overcome an essential difficulty associated with its highly nonlinear and singular nature. The second order backward differentiation formula temporal approximation is applied, combined with Fourier pseudo‐spectral spatial discretization. The nonlinear surface energy part is updated by an explicit extrapolation formula. Meanwhile, the energy stability analysis is enforced by the fact that all the second order functional derivatives of the energy stay uniformly bounded by a global constant. A Douglas‐Dupont type regularization is added to stabilize the numerical scheme, and a careful estimate ensures a modified energy stability with a uniform constraint for the regularization parameter . In turn, the combination with an appropriate treatment for the nonlinear double well potential terms leads to a weakly nonlinear scheme. More importantly, such an energy stability is in terms of the interfacial energy with respect to the original phase variable, which enables us to derive an optimal rate convergence analysis.

     
    more » « less
  3. null (Ed.)
    In this paper, we study the central discontinuous Galerkin (DG) method on overlapping meshes for second order wave equations. We consider the first order hyperbolic system, which is equivalent to the second order scalar equation, and construct the corresponding central DG scheme. We then provide the stability analysis and the optimal error estimates for the proposed central DG scheme for one- and multi-dimensional cases with piecewise P k elements. The optimal error estimates are valid for uniform Cartesian meshes and polynomials of arbitrary degree k  ≥ 0. In particular, we adopt the techniques in Liu et al . ( SIAM J. Numer. Anal. 56 (2018) 520–541; ESAIM: M2AN 54 (2020) 705–726) and obtain the local projection that is crucial in deriving the optimal order of convergence. The construction of the projection here is more challenging since the unknowns are highly coupled in the proposed scheme. Dispersion analysis is performed on the proposed scheme for one dimensional problems, indicating that the numerical solution with P 1 elements reaches its minimum with a suitable parameter in the dissipation term. Several numerical examples including accuracy tests and long time simulation are presented to validate the theoretical results. 
    more » « less
  4. A second‐order accurate, linear numerical method is analyzed for the Landau–Lifshitz equation with large damping parameters. This equation describes the dynamics of magnetization, with a non‐convexity constraint of unit length of the magnetization. The numerical method is based on the second‐order backward differentiation formula in time, combined with an implicit treatment for the linear diffusion term from the harmonic mapping part and explicit extrapolation for the nonlinear terms. Afterward, a projection step is applied to normalize the numerical solution at a point‐wise level. This numerical scheme has shown extensive advantages in the practical computations for the physical model with large damping parameters, which comes from the fact that only a linear system with constant coefficients (independent of both time and the updated magnetization) needs to be solved at each time step, and has greatly improved the numerical efficiency. Meanwhile, a theoretical analysis for this linear numerical scheme has not been available. In this paper, we provide a rigorous error estimate of the numerical scheme, in the discrete norm, under suitable regularity assumptions and reasonable ratio between the time step size and the spatial mesh size. In particular, the projection operation is nonlinear, and a stability estimate for the projection step turns out to be highly challenging. Such a stability estimate is derived in details, which will play an essential role in the convergence analysis for the numerical scheme, if the damping parameter is greater than 3.

     
    more » « less
  5. Abstract

    The anisotropic phase‐field dendritic crystal growth model is a highly nonlinear system that couples the anisotropic Allen–Cahn equation and the thermal equation together. Due to the high anisotropy and nonlinear couplings in the system, how to develop an accurate and efficient, especially a fully decoupled scheme, has always been a challenging problem. To solve the challenge, in this article, we construct a novel fully decoupled numerical scheme which is also linear, energy stable, and second‐order time accurate. The key idea to realize the full decoupling structure is to introduce an ordinary differential equation to deal with the nonlinear coupling terms satisfying the so‐called “zero‐energy‐contribution” property. This scheme is very effective and easy to implement since only a few fully decoupled elliptic equations with constant coefficients need to be solved at each time step. We rigorously prove the solvability of each step and the unconditional energy stability, and perform a large number of numerical simulations in 2D and 3D to demonstrate its stability and accuracy numerically.

     
    more » « less