An abstract framework for constructing stable decompositions of the spaces corresponding to general symmetric positive definite problems into “local” subspaces and a global “coarse” space is developed. Particular applications of this abstract framework include practically important problems in porous media applications such as: the scalar elliptic (pressure) equation and the stream function formulation of its mixed form, Stokes' and Brinkman's equations. The constant in the corresponding abstract energy estimate is shown to be robust with respect to mesh parameters as well as the contrast, which is defined as the ratio of high and low values of the conductivity (or permeability). The derived stable decomposition allows to construct additive overlapping Schwarz iterative methods with condition numbers uniformly bounded with respect to the contrast and mesh parameters. The coarse spaces are obtained by patching together the eigenfunctions corresponding to the smallest eigenvalues of certain local problems. A detailed analysis of the abstract setting is provided. The proposed decomposition builds on a method of Galvis and Efendiev [Multiscale Model. Simul. 8 (2010) 1461-1483] developed for second order scalar elliptic problems with high contrast. Applications to the finite element discretizations of the second order elliptic problem in Galerkin and mixed formulation, the Stokes equations, and Brinkman's problem are presented. A number of numerical experiments for these problems in two spatial dimensions are provided.
Mots clés : domain decomposition, robust additive Schwarz preconditioner, spectral coarse spaces, high contrast, Brinkman's problem, multiscale problems
@article{M2AN_2012__46_5_1175_0, author = {Efendiev, Yalchin and Galvis, Juan and Lazarov, Raytcho and Willems, Joerg}, title = {Robust domain decomposition preconditioners for abstract symmetric positive definite bilinear forms}, journal = {ESAIM: Mathematical Modelling and Numerical Analysis }, pages = {1175--1199}, publisher = {EDP-Sciences}, volume = {46}, number = {5}, year = {2012}, doi = {10.1051/m2an/2011073}, mrnumber = {2916377}, zbl = {1272.65098}, language = {en}, url = {http://www.numdam.org/articles/10.1051/m2an/2011073/} }
TY - JOUR AU - Efendiev, Yalchin AU - Galvis, Juan AU - Lazarov, Raytcho AU - Willems, Joerg TI - Robust domain decomposition preconditioners for abstract symmetric positive definite bilinear forms JO - ESAIM: Mathematical Modelling and Numerical Analysis PY - 2012 SP - 1175 EP - 1199 VL - 46 IS - 5 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/m2an/2011073/ DO - 10.1051/m2an/2011073 LA - en ID - M2AN_2012__46_5_1175_0 ER -
%0 Journal Article %A Efendiev, Yalchin %A Galvis, Juan %A Lazarov, Raytcho %A Willems, Joerg %T Robust domain decomposition preconditioners for abstract symmetric positive definite bilinear forms %J ESAIM: Mathematical Modelling and Numerical Analysis %D 2012 %P 1175-1199 %V 46 %N 5 %I EDP-Sciences %U http://www.numdam.org/articles/10.1051/m2an/2011073/ %R 10.1051/m2an/2011073 %G en %F M2AN_2012__46_5_1175_0
Efendiev, Yalchin; Galvis, Juan; Lazarov, Raytcho; Willems, Joerg. Robust domain decomposition preconditioners for abstract symmetric positive definite bilinear forms. ESAIM: Mathematical Modelling and Numerical Analysis , Tome 46 (2012) no. 5, pp. 1175-1199. doi : 10.1051/m2an/2011073. http://www.numdam.org/articles/10.1051/m2an/2011073/
[1] Sobolev Spaces, 1st edition. Pure Appl. Math. Academic Press, Inc. (1978). | Zbl
,[2] W. Bangerth, R. Hartmann and G. Kanschat, deal.II - a general purpose object oriented finite element library. ACM Trans. Math. Softw. 33 (2007) 24/1-24/27. | MR
[3] Multigrid Methods, 1st edition. Longman Scientific & Technical, Essex (1993). | MR | Zbl
,[4] The Mathematical Theory of Finite Element Methods, 2nd edition. Springer (2002). | MR | Zbl
and ,[5] A calculation of the viscouse force exerted by a flowing fluid on a dense swarm of particles. Appl. Sci. Res. A1 (1947) 27-34. | Zbl
,[6] Spectral AMGe (AMGe). SIAM J. Sci. Comput. 25 (2003) 1-26. | MR | Zbl
, , , , , , and ,[7] Multilevel Schwarz methods for elliptic problems with discontinuous coefficients in three dimensions. Numer. Math. 72 (1996) 313-348. | MR | Zbl
, and ,[8] Multiscale finite element methods, Theory and applications. Surveys and Tutorials in Appl. Math. Sci. Springer, New York 4 (2009). | MR | Zbl
and ,[9] A simplified method for upscaling composite materials with high contrast of the conductivity. SIAM J. Sci. Comput. 31 (2009) 2568-2586. | MR | Zbl
, , , and ,[10] Domain decomposition preconditioners for multiscale flows in high-contrast media. Multiscale Model. Simul. 8 (2010) 1461-1483. | MR | Zbl
and ,[11] Domain decomposition preconditioners for multiscale flows in high contrast media : reduced dimension coarse spaces. Multiscale Model. Simul. 8 (2010) 1621-1644. | MR
and ,[12] Finite element methods for Navier-Stokes equations, Springer Series in Comput. Math. Theory and Algorithms 5 (1986). | MR | Zbl
and ,[13] Domain decomposition for multiscale PDEs. Numer. Math. 106 (2007) 589-626. | MR | Zbl
, and ,[14] Elliptic problems in nonsmooth domains, Monographs and Studies in Mathematics. Pitman Advanced Publishing Program, Boston, MA 24 (1985). | MR | Zbl
,[15] Multi-Grid Methods and Applications, 2nd edition. Springer Series in Comput. Math. Springer, Berlin (2003). | Zbl
,[16] Convergence of a multiscale finite element method for elliptic problems with rapidly oscillating coefficients. Math. Comp. 68 (1999) 913-943. | MR | Zbl
, and ,[17] Dual-primal FETI methods for three-dimensional elliptic problems with heterogeneous coefficients. SIAM J. Numer. Anal. 40 (2002) 159-179 (electronic). | MR | Zbl
, and ,[18] Balancing domain decomposition for problems with large jumps in coefficients. Math. Comp. 65 (1996) 1387-1401. | MR | Zbl
and ,[19] Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations. Lect. Notes Comput. Sci. Eng. Springer, Berlin Heidelberg (2008). | MR | Zbl
,[20] Mesh theorems on traces, normalizations of function traces and their inversion. Sov. J. Numer. Anal. Math. Modelling 6 (1991) 151-168. | MR | Zbl
,[21] Analysis of FETI methods for multiscale PDEs. Numer. Math. 111 (2008) 293-333. | MR | Zbl
and ,[22] Analysis of FETI methods for multiscale PDEs - Part II : interface variation. To appear in Numer. Math. | MR
and ,[23] Methods of Modern Mathematical Physics IV : Analysis of Operators. Academic Press, New York (1978). | MR | Zbl
and ,[24] Schwarz Preconditioners for Elliptic Problems with Discontinuous Coefficients Using Conforming and Non-Conforming Elements. Ph.D. thesis, Courant Institute, New York University (1994).
,[25] Nonstandard coarse spaces and Schwarz methods for elliptic problems with discontinuous coefficients using non-conforming elements. Numer. Math. 77 (1997) 383-406. | MR | Zbl
,[26] Domain Decomposition, Parallel Multilevel Methods for Elliptic Partial Differential Equations, 1st edition. Cambridge University Press, Cambridge (1996). | MR | Zbl
, and ,[27] Domain Decomposition Methods - Algorithms and Theory. Springer Series in Comput. Math. (2005). | MR | Zbl
and ,[28] Energy-minimizing coarse spaces for two-level Schwarz methods for multiscale PDEs. Numer. Linear Algebra Appl. 16 (2009) 775-799. | MR | Zbl
, and ,[29] Multilevel block-factrorization preconditioners. Matrix-based analysis and algorithms for solving finite element equations. Springer-Verlag, New York (2008). | MR | Zbl
,[30] New finite element methods in computational fluid dynamics by H(div) elements. SIAM J. Numer. Anal. 45 (2007) 1269-1286. | MR | Zbl
and ,[31] Numerical Upscaling for Multiscale Flow Problems. Ph.D. thesis, University of Kaiserslautern (2009).
,[32] On an energy minimizing basis for algebraic multigrid methods. Comput. Visualisation Sci. 7 (2004) 121-127. | MR | Zbl
and ,Cité par Sources :