If
a smooth real phase
ϕ has a unique nondegenerate interior maximum at
t0, then
∫a(t)exϕ(t)dt∼a(t0)exϕ(t0)x∣ϕ′′(t0)∣2π. For
a maximum at an endpoint
b with
ϕ′(b)>0, the leading factor is
a(b)exϕ(b)/(xϕ′(b)).
New to topics? Read the docs here!