Let and introduce
Deform the contour upward to the steepest descent contour from zero and the endpoint path from . More precisely the original integral is the first path traversed forward minus the endpoint path traversed forward. Connect the truncated paths where and let . That connector has exponentially small factor , and no pole of is crossed: all its poles are real and outside the original segment.
On the first path , so its leading contribution is
The last equality follows by , .
On the endpoint path , and . Its negative orientation gives the leading endpoint term
Taking real parts and inserting gives
The oscillatory first coefficient can vanish at particular values of ; the stated remainder still holds as an additive asymptotic expansion.
Figure 1.
The quadratic phase descends from the stationary endpoint and from the nonstationary upper endpoint
. Details.

Articles by others on the same topic (0)

There are currently no matching articles.