Convergence of adaptive BEM for some mixed boundary value problem

For a boundary integral formulation of the 2D Laplace equation with mixed boundary conditions, we consider an adaptive Galerkin BEM based on an Formula: see text-type error estimator. We include the resolution of the Dirichlet, Neumann, and volume data into the adaptive algorithm. In particular, an implementation of the developed algorithm has only to deal with discrete integral operators. We prove that the proposed adaptive scheme leads to a sequence of discrete solutions, for which the corresponding error estimators tend to zero. Under a saturation assumption for the non-perturbed problem which is observed empirically, the sequence of discrete solutions thus converges to the exact solution in the energy norm.