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 Novel Arbitrary Lagrangian–Eulerian Finite Element Method for a Mixed Parabolic Problem in a Moving Domain

Global Arbitrary Lagrangian-Eulerian Method for Compressible Multimaterial Flows

A quasi-Lagrangian finite element method for the Navier-Stokes equations in a time-dependent domain

An advanced ALE-mixed finite element method for a cardiovascular fluid–structure interaction problem with multiple moving interfaces

A new framework of high-order unfitted finite element methods using ALE maps for moving-domain problems

Arbitrary Lagrangian-Eulerian finite element approximations for axisymmetric two-phase flow

High-Order Ale Method For The Navier-Stokes Equations On A Moving Hybrid Unstructured Mesh Using Flux Reconstruction Method

An ALE meshfree method for surface PDEs coupling with forced mean curvature flow

A Four-Step Fractional Finite Element Method for Fluid-Structure Interaction

A Finite Element Method for the Numerical Solution of the Coupled Cahn-Hilliard and Navier-Stokes System for Moving Contact Line Problems

An adaptive stabilized finite element method for the Stokes–Darcy coupled problem

A Mixed and Nonconforming FEM with Nonmatching Meshes for a Coupled Stokes-Darcy Model

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

Mixed Stabilized Finite Element Method for the Stationary Stokes-dual-permeability Fluid Flow Model

A Mixed Finite Element Method on A Staggered Mesh for Navier-Stokes Equations

An Energy-stable Finite Element Method for the Simulation of Moving Contact Lines in Two-phase Flows

Convergence of Arbitrary Lagrangian-Eulerian Second-order Projection Method for the Stokes Equations on an Evolving Domain

A New Stabilized Finite Element Method for the Transient Navier–Stokes Equations

Stabilized finite element method for the stationary mixed Stokes–Darcy problem

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

A conservative Eulerian finite element method for transport and diffusion in moving domains