Nonstationary oscillatory integral (source code)

= Nonstationary oscillatory integral

If the phase derivative has no zero on the support of a smooth amplitude, repeated <integration by parts> makes the oscillatory integral decay faster than any prescribed inverse power, subject to corresponding decay and regularity of the amplitude.