Abstract:In this paper we employ a Banach spaces-based framework to introduce and analyze new mixed finite element methods for the numerical solution of the coupled Stokes and Poisson–Nernst–Planck equations, which is a nonlinear model describing the dynamics of electrically charged incompressible fluids. The pressure of the fluid is eliminated from the system (though computed afterwards via a postprocessing formula) thanks to the incompressibility condition and the incorporation of the fluid pseudostress as an auxiliary unknown. In turn, besides the electrostatic potential and the concentration of ionized particles, we use the electric field (rescaled gradient of the potential) and total ionic fluxes as new unknowns. The resulting fully mixed variational formulation in Banach spaces can be written as a coupled system consisting of two saddle-point problems, each one with nonlinear source terms depending on the remaining unknowns, and a perturbed saddlepoint problem with linear source terms, which is in turn additionally perturbed by a bilinear form. The well-posedness of the continuous formulation is a consequence of a fixed-point strategy in combination with the Banach theorem, the Babuˇska–Brezzi theory, the solvability of abstract perturbed saddle-point problems, and the Banach–Neˇcas–Babuˇska theorem. For this we also employ smallness assumptions on the data. An analogous approach, but using now both the Brouwer and Banach theorems, and invoking suitable stability conditions on arbitrary finite element subspaces, is employed to conclude the existence and uniqueness of solution for the associated Galerkin scheme. A priori error estimates are derived, and examples of discrete spaces that fit the theory, include, e.g., Raviart–Thomas elements of order k along with piecewise polynomials of degree ďk. Finally, rates of convergence are specified and several numerical experiments confirm the theoretical error bounds. These tests also illustrate the balance-preserving properties and applicability of the proposed family of methods.

A posteriori analysis for a mixed formulation of the Stokes spectral problem

A Posteriori Error Estimate for Stabilized Low-Order Mixed Fem for the Stokes Equations

A posteriori error analysis of a semi‐augmented finite element method for double‐diffusive natural convection in porous media

A Posteriori Error Estimates of Stabilization of Low-Order Mixed Finite Elements for Incompressible Flow

A posteriori error analysis of a Banach spaces-based fully mixed FEM for double-diffusive convection in a fluid-saturated porous medium

Analysis of an a Posteriori Error Estimator for a Variational Inequality Governed by the Stokes Equations.

Stokes flow with Tresca boundary condition: a posteriori error analysis

An a posteriori error analysis for an augmented discontinuous Galerkin method applied to Stokes problem

A posteriori error analysis of a mixed FEM for the coupled Brinkman-Forchheimer/Darcy problem

A Mixed finite element method for the velocity-pseudostress formulation of the Oseen eigenvalue problem

A posteriori error estimates for stabilised mixed finite element methods for a nonlinear elliptic problem

A Posteriori Error Analysis of the Hybrid High-Order Method for the Stokes Problem.

A posteriori error analysis of hybrid high-order method for the Stokes problem

An augmented mixed FEM for the convective Brinkman-Forchheimer problem: a priori and a posteriori error analysis

A posteriori error analysis and mesh adaptivity for a virtual element method solving the Stokes equations

A posteriori error analysis for a coupled Stokes-poroelastic system with multiple compartments

A Posteriori Error Estimates for the Virtual Element Method for the Stokes Problem

H 1 -conforming virtual element method for the Laplacian eigenvalue problem in mixed form

Residual-Based a posteriori error estimation for hp-adaptive finite element methods for the Stokes equations

New mixed finite element methods for the coupled Stokes and Poisson–Nernst–Planck equations in Banach spaces

H1-conforming Virtual Element Method for the Laplacian Eigenvalue Problem in Mixed Form