Coercivity, essential norms, and the Galerkin method for second-kind integral equations on polyhedral and Lipschitz domains
Abstract
It is well known that, with a particular choice of norm, the classical double-layer potential operator D has essential norm <1/2 as an operator on the natural trace space H1/2() whenever is the boundary of a bounded Lipschitz domain. This implies, for the standard second-kind boundary integral equations for the interior and exterior Dirichlet and Neumann problems in potential theory, convergence of the Galerkin method in H1/2() for any sequence of finite-dimensional subspaces (HN)N=1∞ that is asymptotically dense in H1/2(). Long-standing open questions are whether the essential norm is also <1/2 for D as an operator on L2() for all Lipschitz in 2-d; or whether, for all Lipschitz in 2-d and 3-d, or at least for the smaller class of Lipschitz polyhedra in 3-d, the weaker condition holds that the operators 12I+D are compact perturbations of coercive operators -- this a necessary and sufficient condition for the convergence of the Galerkin method for every sequence of subspaces (HN)N=1∞ that is asymptotically dense in L2(). We settle these open questions negatively. We give examples of 2-d and 3-d Lipschitz domains with Lipschitz constant equal to one for which the essential norm of D is ≥ 1/2, and examples with Lipschitz constant two for which the operators 12I +D are not coercive plus compact. We also give, for every C>0, examples of Lipschitz polyhedra for which the essential norm is ≥ C and for which λ I+D is not a compact perturbation of a coercive operator for any real or complex λ with |λ|≤ C. Finally, we resolve negatively a related open question in the convergence theory for collocation methods.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.