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.
@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 - Mod\'elisation Math\'ematique et Analyse Num\'erique},
volume = {46},
year = {2012},
pages = {1175-1199},
doi = {10.1051/m2an/2011073},
mrnumber = {2916377},
zbl = {1272.65098},
language = {en},
url = {http://dml.mathdoc.fr/item/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 - Modélisation Mathématique et Analyse Numérique, Tome 46 (2012) pp. 1175-1199. doi : 10.1051/m2an/2011073. http://gdmltest.u-ga.fr/item/M2AN_2012__46_5_1175_0/
[1] , Sobolev Spaces, 1st edition. Pure Appl. Math. Academic Press, Inc. (1978). | Zbl 0314.46030
[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 2404402
[3] , Multigrid Methods, 1st edition. Longman Scientific & Technical, Essex (1993). | MR 1247694 | Zbl 0786.65094
[4] and , The Mathematical Theory of Finite Element Methods, 2nd edition. Springer (2002). | MR 1894376 | Zbl 0804.65101
[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 0041.54204
[6] , , , , , , and , Spectral AMGe (AMGe). SIAM J. Sci. Comput. 25 (2003) 1-26. | MR 2047193 | Zbl 1057.65096
[7] , and , Multilevel Schwarz methods for elliptic problems with discontinuous coefficients in three dimensions. Numer. Math. 72 (1996) 313-348. | MR 1367653 | Zbl 0857.65131
[8] and , Multiscale finite element methods, Theory and applications. Surveys and Tutorials in Appl. Math. Sci. Springer, New York 4 (2009). | MR 2477579 | Zbl 1163.65080
[9] , , , and , A simplified method for upscaling composite materials with high contrast of the conductivity. SIAM J. Sci. Comput. 31 (2009) 2568-2586. | MR 2520290 | Zbl 1202.80025
[10] and , Domain decomposition preconditioners for multiscale flows in high-contrast media. Multiscale Model. Simul. 8 (2010) 1461-1483. | MR 2718268 | Zbl 1206.76042
[11] and , Domain decomposition preconditioners for multiscale flows in high contrast media : reduced dimension coarse spaces. Multiscale Model. Simul. 8 (2010) 1621-1644. | MR 2728702 | Zbl pre05869382
[12] and , Finite element methods for Navier-Stokes equations, Springer Series in Comput. Math. Theory and Algorithms 5 (1986). | MR 851383 | Zbl 0585.65077
[13] , and , Domain decomposition for multiscale PDEs. Numer. Math. 106 (2007) 589-626. | MR 2317926 | Zbl 1141.65084
[14] , Elliptic problems in nonsmooth domains, Monographs and Studies in Mathematics. Pitman Advanced Publishing Program, Boston, MA 24 (1985). | MR 775683 | Zbl 0695.35060
[15] , Multi-Grid Methods and Applications, 2nd edition. Springer Series in Comput. Math. Springer, Berlin (2003). | Zbl 0595.65106
[16] , and , Convergence of a multiscale finite element method for elliptic problems with rapidly oscillating coefficients. Math. Comp. 68 (1999) 913-943. | MR 1642758 | Zbl 0922.65071
[17] , and , Dual-primal FETI methods for three-dimensional elliptic problems with heterogeneous coefficients. SIAM J. Numer. Anal. 40 (2002) 159-179 (electronic). | MR 1921914 | Zbl 1032.65031
[18] and , Balancing domain decomposition for problems with large jumps in coefficients. Math. Comp. 65 (1996) 1387-1401. | MR 1351204 | Zbl 0853.65129
[19] , Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations. Lect. Notes Comput. Sci. Eng. Springer, Berlin Heidelberg (2008). | MR 2445659 | Zbl 1147.65101
[20] , Mesh theorems on traces, normalizations of function traces and their inversion. Sov. J. Numer. Anal. Math. Modelling 6 (1991) 151-168. | MR 1126677 | Zbl 0816.65097
[21] and , Analysis of FETI methods for multiscale PDEs. Numer. Math. 111 (2008) 293-333. | MR 2456834 | Zbl 1170.65097
[22] and , Analysis of FETI methods for multiscale PDEs - Part II : interface variation. To appear in Numer. Math. | MR 2810804 | Zbl pre05939381
[23] and , Methods of Modern Mathematical Physics IV : Analysis of Operators. Academic Press, New York (1978). | MR 493421 | Zbl 0242.46001
[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 1469678 | Zbl 0884.65119
[26] , and , Domain Decomposition, Parallel Multilevel Methods for Elliptic Partial Differential Equations, 1st edition. Cambridge University Press, Cambridge (1996). | MR 1410757 | Zbl 0857.65126
[27] and , Domain Decomposition Methods - Algorithms and Theory. Springer Series in Comput. Math. (2005). | MR 2104179 | Zbl 1069.65138
[28] , and , Energy-minimizing coarse spaces for two-level Schwarz methods for multiscale PDEs. Numer. Linear Algebra Appl. 16 (2009) 775-799. | MR 2567313 | Zbl 1224.65292
[29] , Multilevel block-factrorization preconditioners. Matrix-based analysis and algorithms for solving finite element equations. Springer-Verlag, New York (2008). | MR 2427040 | Zbl 1170.65001
[30] and , New finite element methods in computational fluid dynamics by H(div) elements. SIAM J. Numer. Anal. 45 (2007) 1269-1286. | MR 2318812 | Zbl 1138.76049
[31] , Numerical Upscaling for Multiscale Flow Problems. Ph.D. thesis, University of Kaiserslautern (2009).
[32] and , On an energy minimizing basis for algebraic multigrid methods. Comput. Visualisation Sci. 7 (2004) 121-127. | MR 2097099 | Zbl 1077.65130