Use the method of steepest descents to find an asymptotic approximation, valid for z large, real and positive, to the function defined by
Fν(z)=∫Cexp(−izsint+iνt)dt,
where ν is real and non-negative and C is a contour that starts at t=−π+i∞ and ends at t=−i∞.