A Unified Integral Equation Scheme for Doubly Periodic Laplace and Stokes Boundary Value Problems in Two Dimensions

We present a spectrally accurate scheme to turn a boundary integral formulation for an elliptic PDE on a single unit cell geometry into one for the fully periodic problem. The basic idea is to use a small least squares solve to enforce periodic boundary conditions without ever handling periodic Green's functions. We describe fast solvers for the two-dimensional (2D) doubly periodic conduction problem and Stokes nonslip fluid flow problem, where the unit cell contains many inclusions with smooth boundaries. Applications include computing the effective bulk properties of composite media (homogenization) and microfluidic chip design. We split the infinite sum over the lattice of images into a directly summed "near" part plus a small number of auxiliary sources that represent the (smooth) remaining "far" contribution. Applying physical boundary conditions on the unit cell walls gives an expanded linear system, which, after a rank-1 or rank-3 correction and a Schur complement, leaves a well-conditioned square system that can be solved iteratively using fast multipole acceleration plus a low-rank term. We are rather explicit about the consistency and nullspaces of both the continuous and discretized problems. The scheme is simple (no lattice sums, Ewald methods, or particle meshes are required), allows adaptivity, and is essentially dimension- and PDE-independent, so it generalizes without fuss to 3D and to other elliptic problems. In order to handle close-to-touching geometries accurately we incorporate recently developed spectral quadratures. We include eight numerical examples and a software implementation. We validate against high-accuracy results for the square array of discs in Laplace and Stokes cases (improving upon the latter), and show linear scaling for up to 10(4) randomly located inclusions per unit cell. (C) 2018 Wiley Periodicals, Inc.