This paper presents a numerical compression strategy for the boundary integral equation of acoustic scattering in two dimensions. These equations have oscillatory kernels that we represent in a basis of wave atoms, and compress by thresholding the small coefficients to zero.
This phenomenon was perhaps first observed in 1993 by Bradie, Coifman, and Grossman, in the context of local Fourier bases (Bradie et al. in Appl. Comput. Harmon. Anal. 1:94–99, 1993). Their results have since then been extended in various ways. The purpose of this paper is to bridge a theoretical gap and prove that a well-chosen fixed expansion, the non-standard wave atom form, provides a compression of the acoustic single- and double-layer potentials with wave number k as O(k)-by-O(k) matrices with Cεδk1+δ non-negligible entries, with δ>0 arbitrarily small, and ε the desired accuracy. The argument assumes smooth, separated, and not necessarily convex scatterers in two dimensions. The essential features of wave atoms that allow this result to be written as a theorem are a sharp time-frequency localization that wavelet packets do not obey, and a parabolic scaling (wavelength of the wave packet) ∼ (essential diameter)2. Numerical experiments support the estimate and show that this wave atom representation may be of interest for applications where the same scattering problem needs to be solved for many boundary conditions, for example, the computation of radar cross sections.
Fast algorithm Wave propagation Boundary integral equation Computational harmonic analysis
E. Abbott, Flatland: A Romance in Many Dimensions, 3rd edn. (Dover, New York, 1992) (1884).
J.P. Antoine, R. Murenzi, Two-dimensional directional wavelets and the scale-angle representation, Signal Process.52, 259–281 (1996).
A. Averbuch, E. Braverman, R. Coifman, M. Israeli, A. Sidi, Efficient computation of oscillatory integrals via adaptive multiscale local Fourier bases, Appl. Comput. Harmon. Anal.9(1), 19–53 (2000).
B. Bradie, R. Coifman, A. Grossmann, Fast numerical computations of oscillatory integrals related to acoustic scattering, Appl. Comput. Harmon. Anal.1, 94–99 (1993).
E.J. Candès, D.L. Donoho, New tight frames of curvelets and optimal representations of objects with piecewise-C2 singularities, Commun. Pure Appl. Math.57, 219–266 (2004).
H. Cheng, W.Y. Crutchfield, Z. Gimbutas, L.F. Greengard, J.F. Ethridge, J. Huang, V. Rokhlin, N. Yarvin, J. Zhao, A wideband fast multipole method for the Helmholtz equation in three dimensions, J. Comput. Phys.216, 300–325 (2006).
A. Córdoba, C. Fefferman, Wave packets and Fourier integral operators, Commun. PDE3(11), 979–1005 (1978).
L. Demanet, L. Ying, Curvelets and wave atoms for mirror-extended images, in Proc. SPIE Wavelets XII Conf., 2007.
H. Deng, H. Ling, Fast solution of electromagnetic integral equations using adaptive wavelet packet transform, IEEE Trans. Antennas Propag.47(4), 674–682 (1999).
H. Deng, H. Ling, On a class of predefined wavelet packet bases for efficient representation of electromagnetic integral equations, IEEE Trans. Antennas Propag.47(12), 1772–1779 (1999).
B. Engquist, L. Ying, Fast directional computation for the high frequency Helmholtz kernel in two dimensions, Commun. Math. Sci.7(2), 327–345 (2009).
W.L. Golik, Wavelet packets for fast solution of electromagnetic integral equations, IEEE Trans. Antennas Propag.46(5), 618–624 (1998).
D. Huybrechs, S. Vandewalle, A two-dimensional wavelet-packet transform for matrix compression of integral equations with highly oscillatory kernel, J. Comput. Appl. Math.197(1), 218–232 (2006).