A weakly overlapping domain decomposition preconditioner for the finite element solution of elliptic partial differential equations

We present a new two-level additive Schwarz domain decomposition preconditioner which is appropriate for use in the parallel finite element solution of elliptic partial differential equations (PDEs). As with most parallel domain decomposition methods each processor may be assigned one or more subdomains, and the preconditioner is such that the processors are able to solve their own subproblem(s) concurrently. The novel feature of the technique proposed here is that it requires just a single layer of overlap in the elements which make up each subdomain at each level of refinement, and it is shown that this amount of overlap is sufficient to yield an optimal preconditioner. Some numerical experiments-posed in both two and three space dimensions-are included to confirm that the condition number when using the new preconditioner is indeed independent of the level of mesh refinement on the test problems considered

Numerical Estimates of Inequalities in ...

The Sobolev norm H 1=2 (\Gamma) plays a key role in domain decomposition (DD) techniques. For the efficiency of DD - preconditioners the quantitative values of several constants is important. The goal of this paper is the numerical investigation of the constants in explicit extensions H 1=2 (\Gamma) ! H 1(\Omega\Gamma for the two and three dimensional case, the discrete imbedding of H 1=2 (\Gamma) in L1 (\Gamma) and of the norm estimates between H 1=2 (\Gamma) and H 1=2 00 (\Gamma). 1 Introduction Non-overlapping domain decomposition preconditioning is based on several operators between finite element subspaces of Sobolev spaces in the domain and on the boundary. Theoretically, each operator can be performed to obtain optimal, i.e. mesh-size independent iteration numbers. The goal of this paper is to investigate numerically the quality of some optimal and nearly optimal components. First, we give some definitions of norms(see, e.g. [1]). For measurable functions u on \Omeg..