This paper presents an a priori error analysis of a fully discrete scheme for the numerical solution of the transient, nonlinear Darcy–Nernst–Planck–Poisson system. The scheme uses the second order backward difference formula (BDF2) in time and the mixed finite element method with Raviart–Thomas elements in space. In the first step, we show that the solution of the underlying weak continuous problem is also a solution of a third problem for which an existence result is already established. Thereby a stability estimate arises, which provides an bound of the concentrations / masses of the system. This bound is used as a level for a cut-off operator that enables a proper formulation of the fully discrete scheme. The error analysis works without semi-discrete intermediate formulations and reveals convergence rates of optimal orders in time and space. Numerical simulations validate the theoretical results for lowest order finite element spaces in two dimensions.
Accepté le :
DOI : 10.1051/m2an/2017002
Mots-clés : Stokes / Darcy–Nernst–Planck–Poisson system, mixed finite elements, backward difference formula, error analysis, porous media
@article{M2AN_2017__51_5_1883_0, author = {Frank, Florian and Knabner, Peter}, title = {Convergence analysis of a {BDF2\,/\,mixed} finite element discretization of a {Darcy{\textendash}Nernst{\textendash}Planck{\textendash}Poisson} system}, journal = {ESAIM: Mathematical Modelling and Numerical Analysis }, pages = {1883--1902}, publisher = {EDP-Sciences}, volume = {51}, number = {5}, year = {2017}, doi = {10.1051/m2an/2017002}, zbl = {1457.65119}, mrnumber = {3731553}, language = {en}, url = {http://archive.numdam.org/articles/10.1051/m2an/2017002/} }
TY - JOUR AU - Frank, Florian AU - Knabner, Peter TI - Convergence analysis of a BDF2 / mixed finite element discretization of a Darcy–Nernst–Planck–Poisson system JO - ESAIM: Mathematical Modelling and Numerical Analysis PY - 2017 SP - 1883 EP - 1902 VL - 51 IS - 5 PB - EDP-Sciences UR - http://archive.numdam.org/articles/10.1051/m2an/2017002/ DO - 10.1051/m2an/2017002 LA - en ID - M2AN_2017__51_5_1883_0 ER -
%0 Journal Article %A Frank, Florian %A Knabner, Peter %T Convergence analysis of a BDF2 / mixed finite element discretization of a Darcy–Nernst–Planck–Poisson system %J ESAIM: Mathematical Modelling and Numerical Analysis %D 2017 %P 1883-1902 %V 51 %N 5 %I EDP-Sciences %U http://archive.numdam.org/articles/10.1051/m2an/2017002/ %R 10.1051/m2an/2017002 %G en %F M2AN_2017__51_5_1883_0
Frank, Florian; Knabner, Peter. Convergence analysis of a BDF2 / mixed finite element discretization of a Darcy–Nernst–Planck–Poisson system. ESAIM: Mathematical Modelling and Numerical Analysis , Tome 51 (2017) no. 5, pp. 1883-1902. doi : 10.1051/m2an/2017002. http://archive.numdam.org/articles/10.1051/m2an/2017002/
R.A. Adams, Sobolev Spaces. Number Bd. 65 in Pure Appl. Math. Academic Press (1975). | MR | Zbl
Ion transport in porous media: derivation of the macroscopic equations using upscaling and properties of the effective coefficients. Comput. Geosci. 17 (2013) 479–495. | DOI | MR | Zbl
, , , and ,A nonlinear mixed finite element method for a degenerate parabolic equation arising in flow in porous media. SIAM J. Numer. Anal. 33 (1996) 1669–1687. | DOI | MR | Zbl
, and ,A priori error estimates for the numerical solution of a coupled geomechanics and reservoir flow model with stress-dependent permeability. Comput. Geosci. 14 (2010) 755–768. | DOI | Zbl
and ,Analytical solution of the poisson–nernst–planck–stokes equations in a cylindrical channel. Proc. R. Soc. A: Math., Phys. Eng. Sci. 467 (2011) 3157–3169. | DOI | MR | Zbl
and ,F. Brezzi and M. Fortin,Mixed and hybrid finite elements methods. Springer Series in Computational Mathematics. Springer, New York (1991). | MR | Zbl
Entropy-stable and entropy-dissipative approximations of a fourth-order quantum diffusion equation. Numer. Math. 127 (2013) 365–396. | DOI | MR | Zbl
, and ,Z. Chen, Finite Element Methods and Their Applications. Springer (2005). | MR | Zbl
P.G. Ciarlet, Basic error estimates for elliptic problems. Finite Element Methods (Part 1), Vol. 2. In Handbook of Numerical Analysis. Edited by P.G. Ciarlet and J. L. Lions. North-Holland, Amsterdam (1991). | MR | Zbl
D. Cioranescu and P. Donato, An Introduction to Homogenization, in vol. 17 of Oxford lecture series in mathematics and its applications. Edited by J. Ball and D. Welsh. Oxford University Press (1999). | MR | Zbl
Z. Ding, A proof of the trace theorem of Sobolev spaces on Lipschitz domains. Vol. 124 of Proc. of the American Mathematical Society (1996) 591–600. | MR | Zbl
R.G. Durán, Mixed finite element methods. In Mixed Finite Elements, Compatibility Conditions, and Applications: Lectures given at the C.I.M.E. Springer (2008). | Zbl
A. Ern and J. L. Guermond, Theory and Practice of Finite Elements. Applied Mathematical Sciences. Springer (2004). | MR | Zbl
L.C. Evans,Partial Differential Equations. Graduate Studies in Mathematics. American Mathematical Society (2010). | MR | Zbl
F. Frank, Numerical studies of models for electrokinetic flow and charged solute transport in periodic porous media. Ph.D. thesis, University of Erlangen-Nürnberg (2013).
Numerical investigation of homogenized stokes–nernst–planck–poisson systems. Comput. Visualiz. Sci. 14 (2013) 385–400. | DOI | MR | Zbl
, and ,V. Girault and P.A. Raviart, Finite Element Approximation of the Navier–Stokes Equations. Lecture Notes in Mathematics Springer (1979). | MR | Zbl
Existence and uniqueness of a global weak solution of a Darcy–Nernst–Planck–Poisson system. GAMM-Mitteilungen 35 (2012) 191–208. | DOI | MR | Zbl
, and ,B. Kirby, Micro- And Nanoscale Fluid Mechanics: Transport in Microfluidic Devices. Cambridge University Press (2010). | MR | Zbl
P. Knabner and W. Barth, Lineare Algebra: Grundlagen und Anwendungen. Springer (2012). | Zbl
Homogenization of the ionic transport equations in periodic porous media. Transp. Porous Media 65 (2006) 107–131. | DOI | MR
and ,J.H. Masliyah and S. Bhattacharjee, Electrokinetic and Colloid Transport Phenomena. Wiley-Interscience (2006).
Electro-chemo-mechanical couplings in swelling clays derived from a micro / macro-homogenization procedure. Inter. J. Solids Structures 39 (2002) 6159–6190. | DOI | Zbl
and ,A two-scale model for coupled electro-chemo-mechanical phenomena and Onsager’s reciprocity relations in expansive clays: I Homogenization analysis. Transp. Porous Media 62 (2006) 333–380. | DOI | MR
and ,Mixed finite elements in . Numer. Math. 35 (1980) 315–341. | DOI | MR | Zbl
,Convergent discretizations for the Nernst–Planck–Poisson system. Numer. Math. 111 (2009) 591–630. | DOI | MR | Zbl
and ,A. Quarteroni and A. Valli. Numerical Approximation of Partial Differential Equations. Springer Series in Computational Mathematics. Springer (1994). | MR | Zbl
Order of convergence estimates for an Euler implicit, mixed finite element discretization of Richards’ equation. SIAM J. Numer. Anal. 42 (2004) 1452–1478. | DOI | MR | Zbl
, and ,F.A. Radu, Mixed finite element discretization of Richard’s equation: error analysis and application to realistic infiltration problems. Ph.D. thesis, Chair of Applied Mathematics 1, University of Erlangen–Nuremberg (2004).
Analysis of an Euler implicit-mixed finite element scheme for reactive solute transport in porous media. Numer. Methods for Partial Differ. Equ. 26 (2010) 320–344. | MR | Zbl
, and ,P.A. Raviart and J.M. Thomas, A mixed finite element method for second-order elliptic problems. Mathematical Aspects of the Finite Element Method. In vol. 606 of Lectures Notes in Mathematics (1977) 292–315. | MR | Zbl
Rigorous homogenization of a Stokes–Nernst–Planck–Poisson system. J. Math. Anal. Appl. 390 (2012) 374–393. | DOI | MR | Zbl
, and ,T. Roubcíˇek, Incompressible ionized fluid mixtures. Contin. Mech. Thermodyn. 17 (2006) 493–509. | MR | Zbl
Modeling and deriving porous media Stokes–Poisson–Nernst–Planck equations by a multiple-scale approach. Commun. Math. Sci. 9 (2011) 685–710. | DOI | MR | Zbl
,S. Sun, B. Rivière, and M.F. Wheeler, A combined mixed finite element and discontinuous galerkin method for miscible displacement problem in porous media. In Recent Progress in Computational and Applied PDES, edited by Tony F. Chan, Yunqing Huang, Tao Tang, Jinchao Xu, and Long-An Ying (2002) 323–351. Springer. | MR | Zbl
J.M. Thomas, Sur l’analyse numérique des méthodes d’éléments finis hybrides et mixtes. Thèse d’Etat, Université Pierre et Marie Curie, Paris (1977).
V. Thomée, Galerkin Finite Element Methods for Parabolic Problems. Springer Series in Computational Mathematics. Springer (2006). | MR | Zbl
MATLAB, The MathWorks, Inc., Natick, Massachusetts, United States. Available at: http://www.mathworks.com/products/matlab (2017).
Z. Wu, J. Yin and C. Wang, Elliptic and Parabolic Equations. World Scientific (2006). | MR | Zbl
Cité par Sources :