Let and introduceDeform 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 endpoint path , and . Its negative orientation gives the leading endpoint termTaking real parts and inserting givesThe oscillatory first coefficient can vanish at particular values of ; the stated remainder still holds as an additive asymptotic expansion.
The quadratic phase descends from the stationary endpoint and from the nonstationary upper endpoint
. Details. Articles by others on the same topic
There are currently no matching articles.
