Table of Contents
Fetching ...

A second-order accurate, positivity-preserving numerical scheme for the Poisson-Nernst-Planck-Navier-Stokes system

Yuzhe Qin, Cheng Wang

TL;DR

This work develops and analyzes a fully discrete, second-order, positivity-preserving scheme for the coupled Poisson-Nernst-Planck-Navier-Stokes system by recasting the PNP component as a non-constant mobility gradient flow via the Energetic Variational Approach. The MAC-grid spatial discretization paired with a second-order extrapolated mobility and a modified Crank–Nicolson treatment of logarithmic energies ensures unique solvability, unconditional energy stability, and positivity of ion concentrations, while semi-implicit convection updates maintain efficiency. A comprehensive optimal-rate convergence analysis is carried out through higher-order consistency expansions and refined nonlinear error estimates, yielding overall convergence of order $O( au^4+h^4)$ under a linear refinement constraint. Numerical experiments confirm second-order accuracy, mass conservation, energy dissipation, and robust positivity, demonstrating the scheme’s effectiveness for simulating electrohydrodynamic flows with multiple ionic species.

Abstract

In this paper, we propose and analyze a second order accurate (in both time and space) numerical scheme for the Poisson-Nernst-Planck-Navier-Stokes system, which describes the ion electro-diffusion in fluids. In particular, the Poisson-Nernst-Planck equation is reformulated as a non-constant mobility gradient flow in the Energetic Variational Approach. The marker and cell finite difference method is chosen as the spatial discretization, which facilitates the analysis for the fluid part. In the temporal discretization, the mobility function is computed by a second order extrapolation formula for the sake of unique solvability analysis, while a modified Crank-Nicolson approximation is applied to the singular logarithmic nonlinear term. Nonlinear artificial regularization terms are added in the chemical potential part, so that the positivity-preserving property could be theoretically proved. Meanwhile, a second order accurate, semi-implicit approximation is applied to the convective term in the PNP evolutionary equation, and the fluid momentum equation is similarly computed. In addition, an optimal rate convergence analysis is provided, based on the higher order asymptotic expansion for the numerical solution, the rough and refined error estimate techniques. The following combined theoretical properties have been established for the second order accurate numerical method: (i) second order accuracy, (ii) unique solvability and positivity, (iii) total energy stability, and (iv) optimal rate convergence. A few numerical results are displayed to validate the theoretical analysis.

A second-order accurate, positivity-preserving numerical scheme for the Poisson-Nernst-Planck-Navier-Stokes system

TL;DR

This work develops and analyzes a fully discrete, second-order, positivity-preserving scheme for the coupled Poisson-Nernst-Planck-Navier-Stokes system by recasting the PNP component as a non-constant mobility gradient flow via the Energetic Variational Approach. The MAC-grid spatial discretization paired with a second-order extrapolated mobility and a modified Crank–Nicolson treatment of logarithmic energies ensures unique solvability, unconditional energy stability, and positivity of ion concentrations, while semi-implicit convection updates maintain efficiency. A comprehensive optimal-rate convergence analysis is carried out through higher-order consistency expansions and refined nonlinear error estimates, yielding overall convergence of order under a linear refinement constraint. Numerical experiments confirm second-order accuracy, mass conservation, energy dissipation, and robust positivity, demonstrating the scheme’s effectiveness for simulating electrohydrodynamic flows with multiple ionic species.

Abstract

In this paper, we propose and analyze a second order accurate (in both time and space) numerical scheme for the Poisson-Nernst-Planck-Navier-Stokes system, which describes the ion electro-diffusion in fluids. In particular, the Poisson-Nernst-Planck equation is reformulated as a non-constant mobility gradient flow in the Energetic Variational Approach. The marker and cell finite difference method is chosen as the spatial discretization, which facilitates the analysis for the fluid part. In the temporal discretization, the mobility function is computed by a second order extrapolation formula for the sake of unique solvability analysis, while a modified Crank-Nicolson approximation is applied to the singular logarithmic nonlinear term. Nonlinear artificial regularization terms are added in the chemical potential part, so that the positivity-preserving property could be theoretically proved. Meanwhile, a second order accurate, semi-implicit approximation is applied to the convective term in the PNP evolutionary equation, and the fluid momentum equation is similarly computed. In addition, an optimal rate convergence analysis is provided, based on the higher order asymptotic expansion for the numerical solution, the rough and refined error estimate techniques. The following combined theoretical properties have been established for the second order accurate numerical method: (i) second order accuracy, (ii) unique solvability and positivity, (iii) total energy stability, and (iv) optimal rate convergence. A few numerical results are displayed to validate the theoretical analysis.

Paper Structure

This paper contains 16 sections, 16 theorems, 154 equations, 2 figures, 4 tables.

Key Result

Theorem 2.1

Markus2009Analysis [Total energy law] The following energy dissipation law is satisfied for system eqn: dimensionless main:

Figures (2)

  • Figure 1: Time evolution of the total energy functional and mass of positive ion for the numerical example with initial data \ref{['eqn: initial condition']}.
  • Figure 2: Time evolution of the minimum value of positive ion for example, \ref{['eqn: initial condition']}. The curve shows the minimum concentration of positive ion is always positive.

Theorems & Definitions (27)

  • Theorem 2.1
  • Remark 2.1
  • Remark 2.2
  • Theorem 2.2
  • Definition 1
  • Lemma 3.1
  • Proposition 3.1
  • Lemma 3.2
  • Lemma 3.3
  • Lemma 4.1
  • ...and 17 more