Coercive second-kind boundary integral equations for the Laplace Dirichlet problem on Lipschitz domains

arXiv2210.02432MaRDI QIDQ6413005FDOQ6413005

Authors: Simon N. Chandler-Wilde, E. A. Spence 

Publication date: 5 October 2022

Abstract: We present new second-kind integral-equation formulations of the interior and exterior Dirichlet problems for Laplace's equation. The operators in these formulations are both continuous and coercive on general Lipschitz domains in $mathbb{R}^d$, $dgeq2$, in the space $L^2(Gamma)$, where $Gamma$ denotes the boundary of the domain. These properties of continuity and coercivity immediately imply that (i) the Galerkin method converges when applied to these formulations; and (ii) the Galerkin matrices are well-conditioned as the discretisation is refined, without the need for operator preconditioning (and we prove a corresponding result about the convergence of GMRES). The main significance of these results is that it was recently proved (see Chandler-Wilde and Spence, Numer. Math., 150(2):299-271, 2022) that there exist 2- and 3-d Lipschitz domains and 3-d starshaped Lipschitz polyhedra for which the operators in the standard second-kind integral-equation formulations for Laplace's equation (involving the double-layer potential and its adjoint) $extitcannot$ be written as the sum of a coercive operator and a compact operator in the space $L^2(Gamma)$. Therefore there exist 2- and 3-d Lipschitz domains and 3-d starshaped Lipschitz polyhedra for which Galerkin methods in $L^2(Gamma)$ do $extitnot$ converge when applied to the standard second-kind formulations, but $extitdo$ converge for the new formulations.

This page was built for publication: Coercive second-kind boundary integral equations for the Laplace Dirichlet problem on Lipschitz domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6413005)