Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Imaginery integrations

  1. Jul 21, 2006 #1
    [tex]I(t)=f(t)\ast(\int_{0}^{\infty}\exp(-x^{2}\pm\frac{\allowbreak i}{x})dx)[/tex]

    In this function, the integral must surely come out to be a constant and so I(t)=A*f(t) where A is a constant.

    However, the integral does not seem possible using Mathematica and so I must ask the questions:

    a) is Mathematica wrong and the integral indeed possible?
    b) if the integral is not possible, is it still legitimate to allow it be equal to some constant, A?

  2. jcsd
  3. Jul 21, 2006 #2


    User Avatar
    Homework Helper

    I got an answer in terms of a 11 parameter G-function using this website

    http://www.hostsrv.com/webmab/app1/MSP/quickmath/02/pageGenerate?site=quickmath&s1=calculus&s2=integrate&s3=advanced#reply [Broken]



    for "expression," and put


    for "variable(s) & limits," then click integrate
    Last edited by a moderator: May 2, 2017
  4. Jul 21, 2006 #3
    Ok thanks for that. The website says it is powered by Mathematica, so why does Mathematica on my computer (version 5.1) refuse to do the integral saying that it does not converge?

    Do you know how I could enter this 11-G function into Mathematica? Thanks.
    Last edited: Jul 21, 2006
  5. Jul 21, 2006 #4


    User Avatar
    Homework Helper

    let's do some approximations...

    Recall Euler's equation says that [tex]e^{\pm i\alpha}=\cos \alpha \pm i \sin \alpha [/tex] and hence our integrand becomes

    [tex]e^{-x^2 \pm \frac{i}{x}} = e^{-x^2}e^{\pm \frac{i}{x}} = e^{-x^2} \left[ \cos \left( \frac{1}{x}\right) \pm i \sin \left( \frac{1}{x}\right) \right] [/tex]​

    so that the integral becomes

    [tex]\int_{0}^{\infty}e^{-x^2\pm \frac{i}{x}}dx = \int_{0}^{\infty}e^{-x^2} \cos \left( \frac{1}{x}\right) \pm i \int_{0}^{\infty}e^{-x^2} \sin \left( \frac{1}{x}\right) dx [/tex]​

    since [tex]-1\leq \cos \left( \frac{1}{x}\right) \leq 1[/tex] is true for all x, and hence [tex]0\leq \left| \cos \left( \frac{1}{x}\right) \right| \leq 1[/tex] then multiplying by [tex]e^{-x^2}[/tex] gives

    [tex]0\leq \left| e^{-x^2} \cos \left( \frac{1}{x}\right) \right| \leq e^{-x^2}[/tex]​

    and similarly for the sine term we have

    [tex]0\leq \left| e^{-x^2} \sin \left( \frac{1}{x}\right) \right| \leq e^{-x^2}[/tex] ​

    now to prove convergence of the integral, note that it is convergent if its real and imaginary components are convergent,

    [tex]\left| \int_{0}^{\infty}\Re {e^{-x^2\pm \frac{i}{x}}}dx \right| = \left| {\int_{0}^{\infty}e^{-x^2} \cos \left( \frac{1}{x}\right) dx} \right| \leq \int_{0}^{\infty}\left| e^{-x^2} \cos \left( \frac{1}{x}\right) \right| dx \leq \int_{0}^{\infty}e^{-x^2} dx = \frac{\sqrt{\pi}}{2}[/tex]​

    which proves that the real component is absolutely convergent (and hence convergent). By similar reasoning, the imaginary part is also [tex]\leq \frac{\sqrt{\pi}}{2} .[/tex] Now

    [tex]\left| \int_{0}^{\infty}e^{-x^2\pm \frac{i}{x}}dx \right| \leq \int_{0}^{\infty}\left| e^{-x^2\pm \frac{i}{x}}\right| dx = \int_{0}^{\infty}\left| e^{-x^2}\cos \left( \frac{1}{x}\right) \pm i e^{-x^2}\sin \left( \frac{1}{x}\right) \right| dx [/tex]
    [tex]\leq \int_{0}^{\infty} \left| e^{-x^2}\cos \left( \frac{1}{x}\right) \right| dx + \int_{0}^{\infty}\left| e^{-x^2}\sin \left( \frac{1}{x}\right) \right| dx \leq \frac{\sqrt{\pi}}{2} + \frac{\sqrt{\pi}}{2} = \sqrt{\pi}[/tex]​

    where the triangle rule was used to obtain the second inequality, the given integral, namely [tex]\int_{0}^{\infty}e^{-x^2\pm \frac{i}{x}}dx,[/tex] has been shown to be absolutely convergent; also, we have the upper bound of [tex]\sqrt{\pi}[/tex] for its magnitude, that is

    [tex]\left| \int_{0}^{\infty}e^{-x^2\pm \frac{i}{x}}dx \right| \leq \sqrt{\pi}[/tex]​

    which is a nice consequence of our approach.
    Last edited: Jul 21, 2006
  6. Jul 21, 2006 #5


    User Avatar
    Homework Helper

    Way shorter this way

    All that crap was totally unnecessary! Check this out: since [tex]\left| e^{i\alpha}\right| =1,[/tex] we have

    [tex]\left| \int_{0}^{\infty}e^{-x^2\pm \frac{i}{x}}dx \right| \leq \int_{0}^{\infty}\left| e^{-x^2}e^{\pm \frac{i}{x}}\right| dx = \int_{0}^{\infty} e^{-x^2}\left| e^{\pm \frac{i}{x}}\right| dx = \int_{0}^{\infty} e^{-x^2} dx =\sqrt{\pi}[/tex]​

    thus the integral is abs. conv.
    Last edited: Jul 21, 2006
  7. Jul 22, 2006 #6


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member
    Dearly Missed

    eeh, we have: [tex]\int_{0}^{\infty}e^{-x^{2}}dx=\frac{\sqrt{\pi}}{2}[/tex]
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook