text: # evaluation of oscillatory integrals
  
  by Sangoku
  Tags: evaluation, integrals, oscillatory
   P: 21 HOw can you evaluate (for big 'u') the exponential integral $$\int_{0}^{1}dx f(x)e^{iux}$$ u-->oo if you use Numerical methods, since exp(iux) oscillates rapidly you cannot apply any of them, also since we have inside exponential (iux) you can not apply 'Stationary phase method' unless you make the change. $$\int f(g(t)exp(iug(t))$$ and then apply stationary phase finding $$g'(t)=0$$ to evaluate the integral but i am not pretty sure.
   P: 173 You should check out Olver's book Asymptotics and Special Functions. I'm pretty sure you'll find something there.
   P: 1,967 If f is continuous, then taking f out of the integral with the intermediate value theorem, and calculating the integral of the exponential expression, should enable you to prove that this approaches zero when u approches infinity.
  P: 1,967
  
  ## evaluation of oscillatory integrals
  
  And remember that in
  
  $$\int\limits_0^1 f(x) e^{iux} dx = f(\xi_u) \int\limits_0^1 e^{iux} dx$$
  
  the $\xi_u$ depends on u. I think suprisingly many of my mistakes have been related to first using some intermediate value theorem, and then ignoring on what the xi depends.
   Sci Advisor P: 1,637 You can try a physics trick called "wick rotation" by making a change of variables to the real plane (to get rid of the annoying 'i' in the top integral), you just have to check to see if the analytic continuation makes sense there. But i'd first go with the method of steepest descent, it seems tailor made for this type of integral after a suitable variable change f(x) --> h(Z) and ix -- > g(Z). I don't see why its not defined in this case. So long as h(Z) and g(Z) are analytic functions in some contour of the complex plane (check this) and u --> infinity, you're set. Of course if f(x) is some pathological beast, you're probably out of luck.
   P: 1,967 My two previous posts were example of how first making a mistake, and then fixing it, can lead into unnecessarily complicated way. This is what I should have said $$\big| \int\limits_0^1 f(x) e^{iux} dx\big| \leq \big(\underset{x\in [0,1]}{\textrm{sup}} |f(x)|\big) \big| \int\limits_0^1 e^{iux} dx\big| \underset{u\to\infty}{\to} 0$$ If the supremum doesn't exist, then you'll have to know something else, and use it somehow.
  P: 12
   P: 1,967 Holy crap! I've been writing nonsense here in 2007. If you want to use the intermediate value theorem $$\int\limits_0^1 f(x)\phi(x)dx = f(\xi) \int\limits_0^1 \phi(x)dx$$ then $\phi$ should be real and non-negative. Also, if you set $f(x)=e^{-i\pi x}$ and $u=2\pi$, then $$\int\limits_0^1 f(x) e^{iux}dx = \frac{2i}{\pi}$$ and $$\big(\underset{x\in [0,1]}{\textrm{sup}}\; |f(x)|\big) \int\limits_0^1 e^{iux}dx = 0$$ So my inequality wasn't fine.
metadata: {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}