High-frequency asymptotic compression of dense BEM matrices

Wave propagation and scattering problems in acoustics are often solved with boundary element methods. They lead to a discretization matrix that is typically dense and large: its size and condition number grow with increasing frequency. Yet, high frequency scattering problems are intrinsically local in nature, which is well represented by highly localized rays bouncing around. Asymptotic methods can be used to reduce the size of the linear system, even making it frequency independent, by explicitly extracting the oscillatory properties from the solution using ray tracing or analogous techniques. However, ray tracing becomes expensive or even intractable in the presence of (multiple) scattering obstacles with complicated geometries. In this paper, we start from the same discretization that constructs the fully resolved large and dense matrix, and achieve asymptotic compression by explicitly localizing the Green’s function instead. This results in a large but sparse matrix, with a faster associated matrix-vector product and, as numerical experiments indicate, a much improved condition number. Though an appropriate localisation of the Green’s function also depends on asymptotic information unavailable for general geometries, we can construct it adaptively in a frequency sweep from small to large frequencies in a way which automatically takes into account a general incident wave. We show that the approach is robust with respect to non-convex, multiple and even near-trapping domains, though the compression rate is clearly lower in the latter case. Furthermore, in spite of its asymptotic nature, the method is robust with respect to low-order discretizations such as piecewise constants, linears or cubics, commonly used in applications. On the other hand, we do not decrease the total number of degrees of freedom compared to a conventional classical discretization. The combination of the sparsifying modification of the Green’s function with other accelerating schemes, such as the fast multipole method, appears possible in principle and is a future research topic.

[1]  Akash Anand,et al.  Analysis of multiple scattering iterations for high-frequency scattering problems. II: The three-dimensional scalar case , 2009, Numerische Mathematik.

[2]  Daan Huybrechs,et al.  Computing highly oscillatory integrals , 2017 .

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

[4]  Ingo Wald,et al.  State of the Art in Ray Tracing Animated Scenes , 2009, Comput. Graph. Forum.

[5]  Stuart C. Hawkins,et al.  A fully discrete Galerkin method for high frequency exterior acoustic scattering in three dimensions , 2011, J. Comput. Phys..

[6]  Stephen Langdon,et al.  A high frequency boundary element method for scattering by a class of nonconvex obstacles , 2014, Numerische Mathematik.

[7]  Vasili M. Babič,et al.  Short-Wavelength Diffraction Theory , 1991 .

[8]  Lexing Ying,et al.  Fast Directional Computation of High Frequency Boundary Integrals via Local FFTs , 2014, Multiscale Model. Simul..

[9]  Mario Bebendorf,et al.  F ¨ Ur Mathematik in Den Naturwissenschaften Leipzig Hierarchical Lu Decomposition Based Preconditioners for Bem Hierarchical Lu Decomposition Based Preconditioners for Bem , 2022 .

[10]  C. Geuzaine,et al.  On the O(1) solution of multiple-scattering problems , 2005, IEEE Transactions on Magnetics.

[11]  Fernando Reitich,et al.  Analysis of Multiple Scattering Iterations for High-frequency Scattering Problems. I: the Two-dimensional Case Analysis of Multiple Scattering Iterations for High-frequency Scattering Problems. I: the Two-dimensional Case , 2006 .

[12]  V. Rokhlin Rapid solution of integral equations of classical potential theory , 1985 .

[13]  Peter Werner,et al.  Über das Dirichletsche Außenraumproblem für die Helmholtzsche Schwingungsgleichung , 1965 .

[14]  Michael Taylor,et al.  Near peak scattering and the corrected Kirchhoff approximation for a convex obstacle , 1985 .

[15]  Stephen Langdon,et al.  Numerical-asymptotic boundary integral methods in high-frequency acoustic scattering* , 2012, Acta Numerica.

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

[17]  Daan Huybrechs,et al.  An efficient implementation of boundary element methods for computationally expensive Green's functions. , 2008 .

[18]  Ivan G. Graham,et al.  A hybrid numerical-asymptotic boundary integral method for high-frequency acoustic scattering , 2007, Numerische Mathematik.

[19]  R. Kress,et al.  Integral equation methods in scattering theory , 1983 .

[20]  Roderick Wong,et al.  Asymptotic approximations of integrals , 1989, Classics in applied mathematics.

[21]  Fernando Reitich,et al.  Prescribed error tolerances within fixed computational times for scattering problems of arbitrarily high frequency: the convex case , 2004, Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[22]  J. Remacle,et al.  Gmsh: A 3‐D finite element mesh generator with built‐in pre‐ and post‐processing facilities , 2009 .

[23]  Eldar Giladi,et al.  Asymptotically derived boundary elements for the Helmholtz equation in high frequencies , 2007 .

[24]  Zydrunas Gimbutas,et al.  A wideband fast multipole method for the Helmholtz equation in three dimensions , 2006, J. Comput. Phys..

[25]  G. Nemes Asymptotic Expansions of Integrals , 2004 .

[26]  Boris N. Khoromskij,et al.  Efficient Computation of Highly Oscillatory Integrals by Using QTT Tensor Approximation , 2014, Comput. Methods Appl. Math..

[27]  Christophe Geuzaine,et al.  Gmsh: A 3‐D finite element mesh generator with built‐in pre‐ and post‐processing facilities , 2009 .

[28]  W. Sweldens,et al.  Quadrature formulae and asymptotic error expansions for wavelet approximations of smooth functions , 1994 .

[29]  Gregory Beylkin,et al.  Fast algorithms for Helmholtz Green's functions , 2008, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

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

[31]  Daan Huybrechs,et al.  A two-dimensional wavelet-packet transform for matrix compression of integral equations with highly oscillatory kernel , 2006 .

[32]  Ian H. Sloan,et al.  Efficient evaluation of highly oscillatory acoustic scattering surface integrals , 2007 .

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

[34]  R. Harrington Time-Harmonic Electromagnetic Fields , 1961 .

[35]  Samuel P. Groth,et al.  Hybrid numerical-asymptotic approximation for high-frequency scattering by penetrable convex polygons , 2015 .

[36]  Daan Huybrechs,et al.  Extraction of Uniformly Accurate Phase Functions Across Smooth Shadow Boundaries in High Frequency Scattering Problems , 2014, SIAM J. Appl. Math..

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

[38]  François Alouges,et al.  The sparse cardinal sine decomposition and its application for fast numerical convolution , 2015, Numerical Algorithms.

[39]  Boris N. Khoromskij,et al.  Tensor-Structured Preconditioners and Approximate Inverse of Elliptic Operators in ℝd , 2009 .

[40]  R. Kress,et al.  On the condition number of boundary integral operators for the exterior Dirichlet problem for the Helmholtz equation , 1983 .