Numerical evaluation of oscillatory integrals via automated steepest descent contour deformation

TL;DR

This paper introduces an automated algorithm for numerically evaluating highly oscillatory integrals with polynomial phase functions, simplifying contour deformation and improving accuracy without expert intervention.

Contribution

The authors develop a novel, fully automated contour deformation algorithm that handles coalescing stationary points and endpoints for oscillatory integrals with minimal user input.

Findings

The algorithm is accurate and efficient across a wide frequency range.

It effectively manages coalescing stationary points and endpoints at infinity.

The implementation, PathFinder, is available in MATLAB.

Abstract

Steepest descent methods combining complex contour deformation with numerical quadrature provide an efficient and accurate approach for the evaluation of highly oscillatory integrals. However, unless the phase function governing the oscillation is particularly simple, their application requires a significant amount of a priori analysis and expert user input, to determine the appropriate contour deformation, and to deal with the non-uniformity in the accuracy of standard quadrature techniques associated with the coalescence of stationary points (saddle points) with each other, or with the endpoints of the original integration contour. In this paper we present a novel algorithm for the numerical evaluation of oscillatory integrals with general polynomial phase functions, which automates the contour deformation process and avoids the difficulties typically encountered with coalescing stationary points and endpoints. The inputs to the algorithm are simply the phase and amplitude functions, the endpoints and orientation of the original integration contour, and a small number of numerical parameters. By a series of numerical experiments we demonstrate that the algorithm is accurate and efficient over a large range of frequencies, even for examples with a large number of coalescing stationary points and with endpoints at infinity. As a particular application, we use our algorithm to evaluate cuspoid canonical integrals from scattering theory. A Matlab implementation of the algorithm is made available and is called PathFinder.