Convergence of a family of Galerkin discretizations for the Stokes-Darcy coupled problem

In this paper we analyze the well-posedness (unique solvability, stability, and Cea’s estimate) of a family of Galerkin schemes for the coupling of fluid flow with porous media flow. Flows are governed by the Stokes and Darcy 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 usual primal formulation in the Stokes domain and the dual-mixed one in the Darcy region, which yields a compact perturbation of an invertible mapping as the resulting operator equation. We then apply a classical result on projection methods for Fredholm operators of index zero to show that use of any pair of stable Stokes and Darcy elements implies the well-posedness of the corresponding Stokes-Darcy Galerkin scheme. This extends previous results showing well-posedness only for BernardiRaugel and Raviart-Thomas elements. In addition, we show that under somewhat more demanding hypotheses, an alternative approach that makes no use of compacteness arguments, can also be applied. Finally, we provide several numerical results illustrating the good performance of the Galerkin method for different geometries of the problem using the MINI element and the Raviart-Thomas subspace of lowest order.

[1]  J. Galvis,et al.  NON-MATCHING MORTAR DISCRETIZATION ANALYSIS FOR THE COUPLING STOKES-DARCY EQUATIONS , 2007 .

[2]  Frédéric Hecht,et al.  Coupling Darcy and Stokes equations for porous media with cracks , 2005 .

[3]  Jean E. Roberts,et al.  Mixed and hybrid methods , 1991 .

[4]  Vivette Girault,et al.  Finite Element Methods for Navier-Stokes Equations - Theory and Algorithms , 1986, Springer Series in Computational Mathematics.

[5]  G. Gatica,et al.  A conforming mixed finite-element method for the coupling of fluid flow with porous media flow , 2008 .

[6]  Béatrice Rivière,et al.  Locally Conservative Coupling of Stokes and Darcy Flows , 2005 .

[7]  M. Fortin,et al.  A stable finite element for the stokes equations , 1984 .

[8]  D. Joseph,et al.  Boundary conditions at a naturally permeable wall , 1967, Journal of Fluid Mechanics.

[9]  P. Saffman.  On the Boundary Condition at the Surface of a Porous Medium , 1971 .

[10]  Shuyu Sun,et al.  Coupled Generalized Nonlinear Stokes Flow with Flow through a Porous Medium , 2009, SIAM J. Numer. Anal..

[11]  C. Bernardi,et al.  Analysis of some finite elements for the Stokes problem , 1985 .

[12]  Peter Schlattmann,et al.  Theory and Algorithms , 2009 .

[13]  Ivan Yotov,et al.  Coupling Fluid Flow with Porous Media Flow , 2002, SIAM J. Numer. Anal..

[14]  Xiaoping,et al.  UNIFORMLY-STABLE FINITE ELEMENT METHODS FOR DARCY-STOKES-BRINKMAN MODELS , 2008 .

[15]  P. Hansbo,et al.  A unified stabilized method for Stokes' and Darcy's equations , 2007 .

[16]  Willi Jäger,et al.  On The Interface Boundary Condition of Beavers, Joseph, and Saffman , 2000, SIAM J. Appl. Math..

[17]  Trygve K. Karper,et al.  Unified finite element discretizations of coupled Darcy–Stokes flow , 2009 .

[18]  R. Kress.  Linear Integral Equations , 1989 .

[19]  Marco Discacciati,et al.  Domain decomposition methods for the coupling of surface and groundwater flows , 2004 .

[20]  E. Miglio,et al.  Mathematical and numerical models for coupling surface and groundwater flows , 2002 .

[21]  André Garon,et al.  Coupling Stokes and Darcy equations , 2008 .

[22]  Michel Fortin,et al.  Mixed and Hybrid Finite Element Methods , 2011, Springer Series in Computational Mathematics.