A fast and well-conditioned spectral method for singular integral equations

We develop a spectral method for solving univariate singular integral equations over unions of intervals by utilizing Chebyshev and ultraspherical polynomials to reformulate the equations as almost-banded infinite-dimensional systems. This is accomplished by utilizing low rank approximations for sparse representations of the bivariate kernels. The resulting system can be solved in ${\cal O}(m^2n)$ operations using an adaptive QR factorization, where $m$ is the bandwidth and $n$ is the optimal number of unknowns needed to resolve the true solution. The complexity is reduced to ${\cal O}(m n)$ operations by pre-caching the QR factorization when the same operator is used for multiple right-hand sides. Stability is proved by showing that the resulting linear operator can be diagonally preconditioned to be a compact perturbation of the identity. Applications considered include the Faraday cage, and acoustic scattering for the Helmholtz and gravity Helmholtz equations, including spectrally accurate numerical evaluation of the far- and near-field solution. The Julia software package SingularIntegralEquations.jl implements our method with a convenient, user-friendly interface.

[1]  G. Giorgadze On the Riemann-Hilbert Problems , 1998, math/9804035.

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

[3]  Ernst P. Stephan,et al.  A hypersingular boundary integral method for two-dimensional screen and crack problems , 1990 .

[4]  T. J. Rivlin The Chebyshev polynomials , 1974 .

[5]  Lloyd N. Trefethen,et al.  The Exponentially Convergent Trapezoidal Rule , 2014, SIAM Rev..

[6]  Per-Gunnar Martinsson,et al.  A fast direct solver for scattering problems involving elongated structures , 2007, J. Comput. Phys..

[7]  Nicholas Hale,et al.  A fast FFT-based discrete Legendre transform , 2015 .

[8]  F. Smithies,et al.  Singular Integral Equations , 1955, The Mathematical Gazette.

[9]  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..

[10]  Rainer Kress,et al.  On the numerical solution of a hypersingular integral equation in scattering theory , 1995 .

[11]  Sheehan Olver,et al.  The automatic solution of partial differential equations using a global spectral method , 2014, J. Comput. Phys..

[12]  Sheehan Olver,et al.  A Fast and Well-Conditioned Spectral Method , 2012, SIAM Rev..

[13]  Lloyd N. Trefethen,et al.  An Extension of MATLAB to Continuous Functions and Operators , 2004, SIAM J. Sci. Comput..

[14]  Ernst P. Stephan,et al.  An augmented galerkin procedure for the boundary integral method applied to two-dimensional screen and crack problems , 1984 .

[15]  Rainer Kress,et al.  Boundary integral equations in time-harmonic acoustic scattering , 1991 .

[16]  E. Gdoutos,et al.  Fracture Mechanics , 2020, Encyclopedic Dictionary of Archaeology.

[17]  Sheehan Olver,et al.  A Practical Framework for Infinite-Dimensional Linear Algebra , 2014, 2014 First Workshop for High Performance Technical Computing in Dynamic Languages.

[18]  A Chebyshev expansion of singular integral equations with a logarithmic kernel , 1983 .

[19]  Jens Markus Melenk,et al.  A High Frequency hp Boundary Element Method for Scattering by Convex Polygons , 2013, SIAM J. Numer. Anal..

[20]  Paul Garabedian,et al.  Lectures on partial differential equations , 1964 .

[21]  New error bounds for the quadrature method for the solution of Cauchy singular integral equations , 1993 .

[22]  G. Hardy ON HILBERT TRANSFORMS , 1932 .

[23]  Sheehan Olver,et al.  Computation of equilibrium measures , 2011, J. Approx. Theory.

[24]  Alan B. Tayler,et al.  New methods for solving elliptic equations , 1969 .

[25]  F. W. J. Olver,et al.  Numerical solution of second-order linear difference equations , 1967 .

[26]  Lloyd N. Trefethen,et al.  Mathematics of the Faraday Cage , 2015, SIAM Rev..

[27]  Christian Bracher,et al.  Three-dimensional tunneling in quantum ballistic motion , 1998 .

[28]  Giovanni Monegato,et al.  Numerical evaluation of hypersingular integrals , 1994 .

[29]  F. Smithies,et al.  Singular Integral Equations , 1977 .

[30]  Martin Costabel,et al.  On Representation Formulas and Radiation Conditions , 1997 .

[31]  Sheehan Olver,et al.  A general framework for solving Riemann–Hilbert problems numerically , 2012, Numerische Mathematik.

[32]  Glaucio H. Paulino,et al.  Integral equations with hypersingular kernels––theory and applications to fracture mechanics , 1999, math/9906058.

[33]  Stephen Langdon,et al.  A frequency-independent boundary element method for scattering by two-dimensional screens and apertures , 2014, 1401.2786.

[34]  Bradley J. Nelson,et al.  High-order boundary integral equation solution of high frequency wave scattering from obstacles in an unbounded linearly stratified medium , 2014, J. Comput. Phys..

[35]  Sheehan Olver,et al.  Computing the Hilbert transform and its inverse , 2011, Math. Comput..

[36]  Alex Townsend,et al.  Continuous analogues of matrix factorizations , 2015, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[37]  I. S. Gradshteyn,et al.  Table of Integrals, Series, and Products , 1976 .

[38]  J. Tukey,et al.  An algorithm for the machine calculation of complex Fourier series , 1965 .

[39]  C. W. Clenshaw A note on the summation of Chebyshev series , 1955 .

[40]  J. Plemelj Ein Ergänzungssatz zur Cauchyschen Integraldarstellung analytischer Funktionen, Randwerte betreffend , 1908 .

[41]  Per-Gunnar Martinsson,et al.  High-order accurate methods for Nyström discretization of integral equations on smooth curves in the plane , 2014, Adv. Comput. Math..

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

[43]  T. Trogdon,et al.  Numerical Solution of Riemann–Hilbert Problems: Random Matrix Theory and Orthogonal Polynomials , 2012, 1210.2199.

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

[45]  Oscar P. Bruno,et al.  Second‐kind integral solvers for TE and TM problems of diffraction by open arcs , 2012, 1204.3701.

[46]  Weng Cho Chew,et al.  Scattering from elongated objects: Direct solution in O(N log2 N) operations , 1996 .

[47]  A. Sommerfeld Partial Differential Equations in Physics , 1949 .

[48]  Alan Edelman,et al.  Julia: A Fast Dynamic Language for Technical Computing , 2012, ArXiv.

[49]  Oscar P. Bruno,et al.  A generalized Calderón formula for open-arc diffraction problems: theoretical considerations , 2015, Proceedings of the Royal Society of Edinburgh: Section A Mathematics.

[50]  Ralf Hiptmair,et al.  Operator Preconditioning , 2006, Comput. Math. Appl..

[51]  Eric Darve,et al.  An $$\mathcal O (N \log N)$$O(NlogN)  Fast Direct Solver for Partial Hierarchically Semi-Separable Matrices , 2013 .

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

[53]  Lloyd N. Trefethen Computing with functions in two dimensions , 2014 .

[54]  David S. Watkins,et al.  Fundamentals of matrix computations , 1991 .

[55]  W. Gautschi Orthogonal Polynomials: Computation and Approximation , 2004 .

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

[57]  Paul A. Martin,et al.  Exact Solution of a Simple Hypersingular Integral Equation , 1992 .

[58]  Sheehan Olver,et al.  Numerical Solution of Riemann–Hilbert Problems: Painlevé II , 2011, Found. Comput. Math..

[59]  A Chebyshev expansion of singular integrodifferential equations with a ∂2 In |s − t|/∂s ∂t kernel , 1983 .

[60]  Paul A. Martin,et al.  On acoustic and electric Faraday cages , 2014, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[61]  T. Trogdon,et al.  Riemann-Hilbert Problems, Their Numerical Solution, and the Computation of Nonlinear Special Functions , 2015 .

[62]  Alan Edelman,et al.  Julia: A Fresh Approach to Numerical Computing , 2014, SIAM Rev..

[63]  David Elliott Orthogonal Polynomials Associated with Singular Integral Equations Having a Cauchy Kernel , 1982 .

[64]  Darren Crowdy,et al.  Matched asymptotics for a treadmilling low-Reynolds-number swimmer near a wall , 2013 .

[65]  W. Hackbusch,et al.  On the fast matrix multiplication in the boundary element method by panel clustering , 1989 .

[66]  Simon N. Chandler-Wilde,et al.  Acoustic scattering by fractal screens: mathematical formulations and wavenumber-explicit continuity and coercivity estimates , 2014, 1401.2805.

[67]  Lloyd N. Trefethen,et al.  An Extension of Chebfun to Two Dimensions , 2013, SIAM J. Sci. Comput..

[68]  David Elliott,et al.  The Classical Collocation Method for Singular Integral Equations , 1982 .

[69]  Ralf Schweizer,et al.  Integral Equation Methods In Scattering Theory , 2016 .

[70]  Steven G. Johnson,et al.  The Design and Implementation of FFTW3 , 2005, Proceedings of the IEEE.

[71]  Daan Huybrechs,et al.  A Sparse Discretization for Integral Equation Formulations of High Frequency Scattering Problems , 2007, SIAM J. Sci. Comput..

[72]  Eric Darve,et al.  A fast block low-rank dense solver with applications to finite-element matrices , 2014, J. Comput. Phys..

[73]  Joseph Lipka,et al.  A Table of Integrals , 2010 .

[74]  R. Kress Linear Integral Equations , 1989 .

[75]  D. L. Young,et al.  Short Note: The method of fundamental solutions for 2D and 3D Stokes problems , 2006 .

[76]  J. Mason,et al.  Integration Using Chebyshev Polynomials , 2003 .

[77]  Eric Darve,et al.  An O(NlogN)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal O (N \log N)$$\end{document} Fast Direct Solver fo , 2013, Journal of Scientific Computing.