In this work we present and analyse a mixed finite element method for the coupling of fluid flow with porous media flow. The flows are governed by the Navier–Stokes and the Darcy–Forchheimer equations, respectively, and the corresponding transmission conditions are given by mass conservation, balance of normal forces, and the Beavers–Joseph–Saffman law. We consider the standard mixed formulation in the Navier–Stokes domain and the dual-mixed one in the Darcy–Forchheimer region, which yields the introduction of the trace of the porous medium pressure as a suitable Lagrange multiplier. The well-posedness of the problem is achieved by combining a fixed-point strategy, classical results on nonlinear monotone operators and the well-known Schauder and Banach fixed-point theorems. As for the associated Galerkin scheme we employ Bernardi–Raugel and Raviart–Thomas elements for the velocities, and piecewise constant elements for the pressures and the Lagrange multiplier, whereas its existence and uniqueness of solution is established similarly to its continuous counterpart, using in this case the Brouwer and Banach fixed-point theorems, respectively. We show stability, convergence, and a priori error estimates for the associated Galerkin scheme. Finally, we report some numerical examples confirming the predicted rates of convergence, and illustrating the performance of the method.
Mots-clés : Navier–Stokes problem, Darcy–Forchheimer problem, pressure-velocity formulation, fixed-point theory, mixed finite element methods, $$ error analysis
@article{M2AN_2020__54_5_1689_0, author = {Caucao, Sergio and Discacciati, Marco and Gatica, Gabriel N. and Oyarz\'ua, Ricardo}, title = {A conforming mixed finite element method for the {Navier{\textendash}Stokes/Darcy{\textendash}Forchheimer} coupled problem}, journal = {ESAIM: Mathematical Modelling and Numerical Analysis }, pages = {1689--1723}, publisher = {EDP-Sciences}, volume = {54}, number = {5}, year = {2020}, doi = {10.1051/m2an/2020009}, language = {en}, url = {http://www.numdam.org/articles/10.1051/m2an/2020009/} }
TY - JOUR AU - Caucao, Sergio AU - Discacciati, Marco AU - Gatica, Gabriel N. AU - Oyarzúa, Ricardo TI - A conforming mixed finite element method for the Navier–Stokes/Darcy–Forchheimer coupled problem JO - ESAIM: Mathematical Modelling and Numerical Analysis PY - 2020 SP - 1689 EP - 1723 VL - 54 IS - 5 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/m2an/2020009/ DO - 10.1051/m2an/2020009 LA - en ID - M2AN_2020__54_5_1689_0 ER -
%0 Journal Article %A Caucao, Sergio %A Discacciati, Marco %A Gatica, Gabriel N. %A Oyarzúa, Ricardo %T A conforming mixed finite element method for the Navier–Stokes/Darcy–Forchheimer coupled problem %J ESAIM: Mathematical Modelling and Numerical Analysis %D 2020 %P 1689-1723 %V 54 %N 5 %I EDP-Sciences %U http://www.numdam.org/articles/10.1051/m2an/2020009/ %R 10.1051/m2an/2020009 %G en %F M2AN_2020__54_5_1689_0
Caucao, Sergio; Discacciati, Marco; Gatica, Gabriel N.; Oyarzúa, Ricardo. A conforming mixed finite element method for the Navier–Stokes/Darcy–Forchheimer coupled problem. ESAIM: Mathematical Modelling and Numerical Analysis , Tome 54 (2020) no. 5, pp. 1689-1723. doi : 10.1051/m2an/2020009. http://www.numdam.org/articles/10.1051/m2an/2020009/
[1] Sobolev Spaces, 2nd edition. In: Vol. 140 of Pure and Applied Mathematics (Amsterdan). Elsevier/Academic Press, Amsterdam (2003). | Zbl
and ,[2] Coupling of Darcy-Forchheimer and compressible Navier-Stokes equations with heat transfer. SIAM J. Sci. Comput. 31 (2008/09) 1470–1499. | DOI | Zbl
, and ,[3] A computational method for approximating a Darcy-Stokes system governing a vuggy porous medium. Comput. Geosci. 11 (2007) 207–218. | DOI | Zbl
and ,[4] Homogenization of a Darcy-Stokes system modeling vuggy porous media. Comput. Geosci. 10 (2006) 291–302. | DOI | Zbl
and ,[5] Multidomain-staggered coupling technique for Darcy-Navier Stokes multiphase flow: an application to CO2 geosequestration. Finite Elem. Anal. Des. 121 (2016) 52–63. | DOI
, , and ,[6] Petroleum Reservoir Simulation. Applied Science Publishers LTD, London (1979).
and ,[7] Numerical analysis of the Navier–Stokes/Darcy coupling. Numer. Math. 115 (2010) 195–227. | DOI | Zbl
, and ,[8] Natural Convection in Superposed Fluid-Porous Layers. Springer Briefs in Applied Sciences and Technology. Springer, New York (2014). | DOI | Zbl
and ,[9] Boundary conditions at a naturally permeable wall. J. Fluid Mech. 30 (1967) 197–207. | DOI
and ,[10] Analysis of some finite elements for the Stokes problem. Math. Comput. 44 (1985) 71–79. | DOI | Zbl
and ,[11] Gagliardo-Nirenberg, composition and products in fractional Sobolev spaces. J. Evol. Equ. 1 (2001) 387–404. | DOI | Zbl
and ,[12] Mixed and Hybrid Finite Element Methods. In: Vol 15 of Springer Series in Computational Mathematics. Springer-Verlag, New York (1991). | Zbl
and ,[13] An augmented mixed finite element method for the Navier-Stokes equations with variable viscosity. SIAM J. Numer. Anal. 54 (2016) 1069–1092. | DOI
, , and ,[14] A sweating model for the internal ventilation of a motorcycle helmet. Comput. Fluids 43 (2011) 29–37. | DOI | Zbl
and ,[15] A fully-mixed finite element method for the Navier–Stokes/Darcy coupled problem with nonlinear viscosity. J. Numer. Math. 25 (2017) 55–88. | DOI
, , and ,[16] Analysis of time-dependent Navier-Stokes flow coupled with Darcy flow. J. Numer. Math. 16 (2008) 249–280. | DOI | Zbl
and ,[17] Linear and Nonlinear Functional Analysis with Applications. Society for Industrial and Applied Mathematics, Philadelphia, PA (2013). | DOI | Zbl
,[18] Navier–Stokes/Forchheimer models for filtration through porous media. Appl. Numer. Math. 72 (2013) 205–224. | DOI | Zbl
and ,[19] Algorithm 832: UMFPACK V4.3 – an unsymmetric-pattern multifrontal method. ACM Trans. Math. Softw. 30 (2004) 196–199. | DOI | Zbl
,[20] Domain Decomposition Methods for the Coupling of Surface and Groundwater Flows. École Polytechnique Fédérale de Lausanne, Switzerland (2004).
,[21] A conforming mixed finite element method for the Navier–Stokes/Darcy coupled problem. Numer. Math. 135 (2017) 571–606. | DOI
and ,[22] Mathematical and numerical models for coupling surface and groundwater flows. Appl. Numer. Math. 43 (2002) 57–74. | DOI | Zbl
, and ,[23] Theory and Practice of Finite Elements. In: Vol. 159 of Applied Mathematical Sciences. Springer-Verlag, New York (2004). | DOI | Zbl
and ,[24] Coupled generalized nonlinear Stokes flow with flow through a porous medium. SIAM J. Numer. Anal. 47 (2009) 929–952. | DOI | Zbl
, and ,[25] A mixed finite element method for a nonlinear Dirichlet problem. IMA J. Numer. Anal. 18 (1998) 121–132. | DOI | Zbl
,[26] Laboratory analog and numerical study of groundwater flow and solute transport in a karst aquifer with conduit and matrix domains. J. Contam. Hydrol. 110 (2009) 34–44. | DOI
, , and ,[27] A Simple Introduction to the Mixed Finite Element Method. Theory and Applications. Springer Briefs in Mathematics. Springer, Cham (2014). | DOI | Zbl
,[28] A conforming mixed finite-element method for the coupling of fluid flow with porous media flow. IMA J. Numer. Anal. 29 (2009) 86–108. | DOI | Zbl
, and ,[29] Convergence of a family of Galerkin discretizations for the Stokes-Darcy coupled problem. Numer. Methods Partial Differ. Equ. 27 (2011) 721–748. | DOI | Zbl
, and ,[30] Analysis of fully-mixed finite element methods for the Stokes-Darcy coupled problem. Math. Comput. 80 (2011) 1911–1948. | DOI | Zbl
, and ,[31] A twofold saddle point approach for the coupling of fluid flow with nonlinear porous media flow. IMA J. Numer. Anal. 32 (2012) 845–887. | DOI | Zbl
, and ,[32] estimates for elliptic problems with Neumann boundary conditions in Lipschitz domains. Adv. Math. 229 (2012) 2427–2448. | DOI | Zbl
,[33] Finite Element Methods for Navier–Stokes Equations. Theory and algorithms. In: Vol. 5 of Springer Series in Computational Mathematics. Springer-Verlag, Berlin (1986). | DOI | Zbl
and ,[34] Numerical discretization of a Darcy-Forchheimer model. Numer. Math. 110 (2008) 161–198. | DOI | Zbl
and ,[35] Sur l’approximation, par éléments finis d’ordre un, et la résolution, par pénalisation-dualité, d’une classe de problèmes de Dirichlet non linéaires, Rev. Française Automat. Informat. Recherche Opérationnelle Sér. Rouge Anal. Numér. 9 (1975) 41–76. | Numdam | Zbl
and ,[36] Théorèmes de traces relatifs à un polyèdre. C. R. Acad. Sci. Paris Sér. A 278 (1974) 1581–1583. | Zbl
,[37] Elliptic problems in nonsmooth domains. In: Vol. 24 of Monographs and Studies in Mathematics. Pitman (Advanced Publishing Program), Boston, MA (1985). | Zbl
,[38] Problèmes aux limites dans les polygones. Mode d’emploi. EDF Bull. Direction Études Rech. Sér. C Math. Inform. 1 (1986) 21–59. | Zbl
,[39] New development in FreeFem++. J. Numer. Math. 20 (2012) 251–265. | DOI | Zbl
,[40] On the interface boundary condition of Beavers, Joseph, and Saffman. SIAM J. Appl. Math. 60 (2000) 1111–1127. | DOI | Zbl
and ,[41] Laminar flow behind a two-dimensional grid. Proc. Cambridge Philos. Soc. 44 (1948) 58–62. | DOI | Zbl
,[42] Mixed finite element analysis of a non-linear three-fields Stokes model. IMA J. Numer. Anal. 21 (2001) 143–164. | DOI | Zbl
and ,[43] On the quasistatic approximation in the Stokes-Darcy model of groundwater-surface water flows. J. Math. Anal. Appl. 394 (2012) 796–808. | DOI | Zbl
,[44] Mixed element method for two-dimensional Darcy-Forchheimer model. J. Sci. Comput. 52 (2012) 563–587. | DOI | Zbl
and ,[45] A model of fluid flow in solid tumors. Ann. Biomed. Eng. 31 (2003) 181–194. | DOI
and ,[46] Numerical approximation of partial differential equations. In: Vol. 23 of Springer Series in Computational Mathematics. Springer–Verlag, Berlin (1994). | DOI | Zbl
and ,[47] A mixed finite element method for 2nd order elliptic problems. In: Vol. 606 of Mathematical aspects of finite element methods (Proc. Conf., Consiglio Naz. delle Ricerche (C.N.R.), Rome, 1975). Lecture Notes in Math. Springer, Berlin (1977) 292–315. | Zbl
and ,[48] On the derivation of the Forchheimer equation by means of the averaging theorem. Transp. Porous Media 7 (1992) 255–264. | DOI
and ,[49] On the boundary condition at the interface of a porous medium. Stud. Appl. Math. 50 (1971) 77–84. | DOI | Zbl
,[50] Existence et approximation de points selles pour certains problèmes non linéaires. RAIRO Anal. Numér. 11 (1977) 369–400. | DOI | Numdam | Zbl
,[51] Monotone Operators in Banach Space and Nonlinear Partial Differential Equations. In: Vol. 49 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI (1997). | Zbl
,[52] Blood flow and permeability in microvessels. Fluid Dynam. Res. 37 (2005) 82–132. | DOI | Zbl
and ,[53] Numerical investigation of the “poor man’s Navier-Stokes equations” with Darcy and Forchheimer terms. Int. J. Bifur. Chaos Appl. Sci. Eng. 26 (2016) 1650086. | DOI | Zbl
, , and ,[54] Navier–Stokes Equations. Theory and Numerical Analysis. In: Vol. 2 of Studies in Mathematics and its Applications. North-Holland Publishing Co., Amsterdam-New York-Oxford (1977). | Zbl
,Cité par Sources :