No label defined (Q4938243)

When treating elliptic boundary value problems by domain decomposition methods the interaction between the boundary data of the subdomains plays an important role. The mapping of the Dirichlet datum on the boundary of a subdomain to its Neumann datum is called Poincaré-Steklov operator and corresponds in its discrete form to a so-called Schur complement. For a polygonal domain \(\Omega\subset \mathbb{R}^2\) with boundary \(\Gamma\) we consider the Dirichlet problem for the Laplacian: For given trace \(u|_\Gamma\) on \(\Gamma\) find \(u\) in \(\Omega\) with \(\Delta u=0\) in \(\Omega\). Once, the solution \(u\) to the Dirichlet problem is known, the Neumann datum \(\partial u/\partial n|_\Gamma\) on \(\Gamma\) is computable. By this mapping we formally define the Poincaré-Steklov operator \[ S: u|_\Gamma \mapsto \frac{\partial u}{\partial n}\Biggl|_\Gamma. \] In variational form this operator is given by the solution \(Su|_\Gamma\) of the problem \[ \int_\Gamma (Su|_\Gamma) v|_\Gamma ds= \int_\Omega \nabla u\nabla v dx \quad\text{for any }v\in H^1(\Omega). \] This paper deals with the mapping properties of \(S\) purely within trace spaces on \(\Gamma\). These properties ensure exponentially fast convergence of the \(h\)-\(p\) version of the Galerkin method for the inversion of \(S\). For the entire collection see [Zbl 0924.00038].