2-dimensional primal domain decomposition theory in detail. (Q499017)

The authors give details of the theory of primal domain decomposition (DD) methods for the 2-dimensional Poisson equation with homogeneous Dirichlet boundary conditions and jumping coefficients \[ -\operatorname{div}(\rho (x)\nabla u(x))=f(x), \] \[ u(x)=0,\,\,\,x \in\partial\Omega , \] where \(\Omega\subset\text{R}^2\) is a bounded polygonal domain with Lipschitz boundary, \(f\in L^2(\Omega),\) and \(\rho\in L^\infty (\Omega)\) is a positive piecewise constant material function. The domain \(\Omega\) is decomposed into \(N\) nonoverlapping open triangular subdomains \(\Omega_i\) by means of a conforming finite element discretization \(\bar{\Omega}=\mathop\cup\limits_{i=1}^N \bar{\Omega}_i\). It is proved that the condition number of the vertex-based DD preconditioner is \(O((1+\log (H/h))^2)\), independently of the coefficient jumps, where \(H\) and \(h\) denote the discretization parameters of the coarse and fine triangulations, respectively. In this paper all the proofs are presented in detail by means of fundamental calculus. The paper is organized as follows: Section 1 is an introduction. In Section 2 construction of the preconditioner is given. In Section 3 analysis of the condition number of the DD-preconditioned algebraic system is presented.