A robust solver for elliptic PDEs in 3D complex geometries

We develop a boundary integral equation solver for elliptic partial differential equations on complex 3D geometries. Our method is high-order accurate with optimal $O(N)$ complexity and robustly handles complex geometries. A key component is our singular and near-singular layer potential evaluation scheme, hedgehog : a simple extrapolation of the solution along a line to the boundary. We present a series of geometry-processing algorithms required for hedgehog to run efficiently with accuracy guarantees on arbitrary geometries and an adaptive upsampling scheme based on a iteration-free heuristic for quadrature error that incorporates surface curvature. We validate the accuracy and performance with a series of numerical tests and compare our approach to a competing local evaluation method.

[1]  Andreas Klöckner,et al.  Optimization of fast algorithms for global Quadrature by Expansion using target-specific expansions , 2018, J. Comput. Phys..

[2]  Camille Carvalho,et al.  Close evaluation of layer potentials in three dimensions , 2018, J. Comput. Phys..

[3]  Weimin Han,et al.  Numerical Solution of Fredholm Integral Equations of the Second Kind , 2009 .

[4]  Dhairya Malhotra,et al.  Taylor states in stellarators: A fast high-order boundary integral solver , 2019, J. Comput. Phys..

[5]  O. Bruno,et al.  A fast, high-order algorithm for the solution of surface scattering problems: basic implementation, tests, and applications , 2001 .

[6]  David Elliott,et al.  A Unified Approach to Quadrature Rules with Asymptotic Estimates of Their Remainders , 1972 .

[7]  Camille Carvalho,et al.  Asymptotic Approximations for the Close Evaluation of Double-Layer Potentials , 2018, SIAM J. Sci. Comput..

[8]  P. Yla-Oijala,et al.  Singularity subtraction technique for high-order polynomial vector basis functions on planar triangles , 2006, IEEE Transactions on Antennas and Propagation.

[9]  Camille Carvalho,et al.  Asymptotic analysis for close evaluation of layer potentials , 2017, J. Comput. Phys..

[10]  Barbara M. Johnston,et al.  Estimates of the error in Gauss-Legendre quadrature for double integrals , 2011, J. Comput. Appl. Math..

[11]  M. A. Jaswon Boundary Integral Equations , 1984 .

[12]  Olaf Steinbach,et al.  Numerical Approximation Methods for Elliptic Boundary Value Problems: Finite and Boundary Elements , 2007 .

[13]  Johan Helsing,et al.  On the evaluation of layer potentials close to their sources , 2008, J. Comput. Phys..

[14]  Lexing Ying,et al.  A simple manifold-based construction of surfaces of arbitrary smoothness , 2004, ACM Trans. Graph..

[15]  Vladimir Rokhlin,et al.  On the Numerical Solution of Elliptic Partial Differential Equations on Polygonal Domains , 2019, SIAM J. Sci. Comput..

[16]  Simon R. Arridge,et al.  Solving Boundary Integral Problems with BEM++ , 2015, ACM Trans. Math. Softw..

[17]  Anna-Karin Tornberg,et al.  Adaptive Quadrature by Expansion for Layer Potential Evaluation in Two Dimensions , 2017, SIAM J. Sci. Comput..

[18]  Barbara M. Johnston,et al.  A complete error analysis for the evaluation of a two-dimensional nearly singular boundary element integral , 2015, J. Comput. Appl. Math..

[19]  V. Z. Parton,et al.  Integral equations in elasticity , 1982 .

[20]  Shravan Veerapaneni,et al.  Solution of Stokes flow in complex nonsmooth 2D geometries via a linear-scaling high-order adaptive integral equation scheme , 2019, J. Comput. Phys..

[21]  Leslie Greengard,et al.  Quadrature by expansion: A new method for the evaluation of layer potentials , 2012, J. Comput. Phys..

[22]  Barbara M. Johnston,et al.  Clenshaw--Curtis and Gauss--Legendre Quadrature for Certain Boundary Element Integrals , 2008, SIAM J. Sci. Comput..

[23]  G. Biros,et al.  PVFMM: A Parallel Kernel Independent FMM for Particle and Volume Potentials , 2015 .

[24]  Hanan Samet,et al.  Foundations of multidimensional and metric data structures , 2006, Morgan Kaufmann series in data management systems.

[25]  T. Hughes,et al.  Isogeometric analysis : CAD, finite elements, NURBS, exact geometry and mesh refinement , 2005 .

[26]  Oscar P. Bruno,et al.  Accurate, high-order representation of complex three-dimensional surfaces via Fourier continuation analysis , 2007, J. Comput. Phys..

[27]  L. Trefethen,et al.  Two results on polynomial interpolation in equally spaced points , 1991 .

[28]  RokhlinVladimir,et al.  On the solution of elliptic partial differential equations on regions with corners , 2016 .

[29]  Anna-Karin Tornberg,et al.  Error estimation for quadrature by expansion in layer potential evaluation , 2017, Adv. Comput. Math..

[30]  D. Zorin,et al.  A simple manifold-based construction of surfaces of arbitrary smoothness , 2004, SIGGRAPH 2004.

[31]  J. T. Beale,et al.  A Simple Method for Computing Singular or Nearly Singular Integrals on Closed Surfaces , 2015, 1508.00265.

[32]  Dierk Schleicher,et al.  Newton's method in practice: Finding all roots of polynomials of degree one million efficiently , 2015, Theor. Comput. Sci..

[33]  Olga Sorkine-Hornung,et al.  Robust inside-outside segmentation using generalized winding numbers , 2013, ACM Trans. Graph..

[34]  B. Shanker,et al.  A Singularity Cancellation Technique for Weakly Singular Integrals on Higher Order Surface Descriptions , 2013, IEEE Transactions on Antennas and Propagation.

[35]  James Bremer,et al.  A Nyström method for weakly singular integral operators on surfaces , 2012, J. Comput. Phys..

[36]  M. Rachh,et al.  On the Solution of the Stokes Equation on Regions with Corners , 2017, Communications on Pure and Applied Mathematics.

[37]  Lloyd N. Trefethen,et al.  Stability of Barycentric Interpolation Formulas for Extrapolation , 2011, SIAM J. Sci. Comput..

[38]  Alex H. Barnett,et al.  Accurate quadrature of nearly singular line integrals in two and three dimensions by singularity swapping , 2019, BIT Numerical Mathematics.

[39]  Lloyd N. Trefethen,et al.  Solving Laplace Problems with Corner Singularities via Rational Functions , 2019, SIAM J. Numer. Anal..

[40]  Georg Stadler,et al.  Scalable simulation of realistic volume fraction red blood cell flows through vascular networks , 2019, SC.

[41]  Stéphanie Chaillat,et al.  Fast iterative boundary element methods for high-frequency scattering problems in 3D elastodynamics , 2017, J. Comput. Phys..

[42]  Vladimir Rokhlin,et al.  On the solution of elliptic partial differential equations on regions with corners , 2016, J. Comput. Phys..

[43]  Vladimir Rokhlin,et al.  High-Order Corrected Trapezoidal Quadrature Rules for Singular Functions , 1997 .

[44]  Leslie Greengard,et al.  A fast algorithm for particle simulations , 1987 .

[45]  Anna-Karin Tornberg,et al.  A fast integral equation method for solid particles in viscous flow using quadrature by expansion , 2016, J. Comput. Phys..

[46]  Andreas Klöckner,et al.  On the Approximation of Local Expansions of Laplace Potentials by the Fast Multipole Method , 2020, ArXiv.

[47]  Lloyd N. Trefethen,et al.  Barycentric Lagrange Interpolation , 2004, SIAM Rev..

[48]  Alex H. Barnett,et al.  Evaluation of Layer Potentials Close to the Boundary for Laplace and Helmholtz Problems on Analytic Planar Domains , 2013, SIAM J. Sci. Comput..

[49]  J. Thomas Beale,et al.  A Grid-Based Boundary Integral Method for Elliptic Problems in Three Dimensions , 2004, SIAM J. Numer. Anal..

[50]  Vladimir Rokhlin,et al.  On the solution of the Helmholtz equation on regions with corners , 2016, Proceedings of the National Academy of Sciences.

[51]  T. Hughes,et al.  Isogeometric analysis of boundary integral equations: High-order collocation methods for the singular and hyper-singular equations , 2016 .

[52]  Yuxiang Liu,et al.  Efficient numerical solution of acoustic scattering from doubly-periodic arrays of axisymmetric objects , 2015, J. Comput. Phys..

[53]  L. Trefethen Is Gauss Quadrature Better than Clenshaw–Curtis? | SIAM Review | Vol. 50, No. 1 | Society for Industrial and Applied Mathematics , 2008 .

[54]  Thomas-Peter Fries,et al.  The Isogeometric Nyström Method , 2015, ArXiv.

[55]  James Bremer,et al.  On the numerical evaluation of the singular integrals of scattering theory , 2013, J. Comput. Phys..

[56]  Dirk Praetorius,et al.  Adaptive BEM with optimal convergence rates for the Helmholtz equation , 2018, Computer Methods in Applied Mechanics and Engineering.

[57]  Timo Betcke,et al.  Stability and convergence of the method of fundamental solutions for Helmholtz problems on analytic domains , 2007, J. Comput. Phys..

[58]  Charles L. Epstein,et al.  On the Convergence of Local Expansions of Layer Potentials , 2012, SIAM J. Numer. Anal..

[59]  D. Zorin,et al.  Ubiquitous evaluation of layer potentials using Quadrature by Kernel-Independent Expansion , 2016, 1612.00977.

[60]  George Biros,et al.  High-volume fraction simulations of two-dimensional vesicle suspensions , 2013, J. Comput. Phys..

[61]  Seppo Järvenpää,et al.  Singularity extraction technique for integral equation methods with higher order basis functions on plane triangles and tetrahedra , 2003 .

[62]  Zydrunas Gimbutas,et al.  A numerical algorithm for the construction of efficient quadrature rules in two and higher dimensions , 2010, Comput. Math. Appl..

[63]  Lloyd N. Trefethen,et al.  Is Gauss Quadrature Better than Clenshaw-Curtis? , 2008, SIAM Rev..

[64]  Lloyd N. Trefethen,et al.  Impossibility of Fast Stable Approximation of Analytic Functions from Equispaced Samples , 2011, SIAM Rev..

[65]  Andreas Klöckner,et al.  A fast algorithm with error bounds for Quadrature by Expansion , 2018, J. Comput. Phys..

[66]  Lexing Ying,et al.  A high-order 3D boundary integral equation solver for elliptic PDEs in smooth domains , 2006, J. Comput. Phys..

[67]  Michael O'Neil,et al.  Fast algorithms for Quadrature by Expansion I: Globally valid expansions , 2016, J. Comput. Phys..

[68]  O. Pironneau Optimal Shape Design for Elliptic Systems , 1983 .

[69]  Stéphanie Chaillat,et al.  Theory and implementation of ℋ-matrix based iterative and direct solvers for Helmholtz and elastodynamic oscillatory kernels , 2017, J. Comput. Phys..

[70]  C. Pozrikidis,et al.  Boundary Integral and Singularity Methods for Linearized Viscous Flow: Preface , 1992 .

[71]  Laurent Demanet,et al.  Stable Extrapolation of Analytic Functions , 2019, Found. Comput. Math..

[72]  David E. Keyes,et al.  Extreme Scale FMM-Accelerated Boundary Integral Equation Solver for Wave Scattering , 2018, SIAM J. Sci. Comput..

[73]  Solomon G. Mikhlin,et al.  Integral Equations: And Their Applications to Certain Problems in Mechanics, Mathematical Physics and Technology , 2014 .

[74]  D. Zorin,et al.  A kernel-independent adaptive fast multipole algorithm in two and three dimensions , 2004 .

[75]  Gerald E. Farin,et al.  Curves and surfaces for computer-aided geometric design - a practical guide, 4th Edition , 1997, Computer science and scientific computing.

[76]  Svetlana Tlupova,et al.  Regularized single and double layer integrals in 3D Stokes flow , 2018, J. Comput. Phys..

[77]  Michael Siegel,et al.  A local target specific quadrature by expansion method for evaluation of layer potentials in 3D , 2017, J. Comput. Phys..

[78]  Bradley K. Alpert,et al.  Hybrid Gauss-Trapezoidal Quadrature Rules , 1999, SIAM J. Sci. Comput..

[79]  Dirk Praetorius,et al.  Adaptive boundary element methods for the computation of the electrostatic capacity on complex polyhedra , 2019, J. Comput. Phys..

[80]  Andreas Klöckner,et al.  A fast algorithm for Quadrature by Expansion in three dimensions , 2018, J. Comput. Phys..

[81]  Ivan G. Graham,et al.  A high-order algorithm for obstacle scattering in three dimensions , 2004 .

[82]  K. Berenhaut,et al.  Applied Mathematical Sciences , 2012 .

[83]  Kirill Serkh,et al.  On the solution of elliptic partial differential equations on regions with corners II: Detailed analysis , 2017, Applied and Computational Harmonic Analysis.

[84]  Oscar P. Bruno,et al.  A high-order integral solver for scalar problems of diffraction by screens and apertures in three-dimensional space , 2012, J. Comput. Phys..