The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Oscillatory Integrals with monotonic phase
Suppose doesn’t change sign on i.e. is monotonic.
Then:
Proof
is a bijection → use substitute .
The inverse function rule gives: