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

Curious definite integral : sine integral times exponential

  1. Nov 21, 2014 #1
    Hello PF,

    I just found a curious integral. I wondered if it comes from a bigger group of integral definitions:
    [tex]\int_0^\infty \mathrm{Si}(ax)e^{-x}\mathrm{d}x=\mathrm{atan}(a)[/tex]
    Where Si(x) is the sine integral function [itex]\mathrm{Si}(x)=\int_0^x \frac{\mathrm{sin}x}{x}\mathrm{d}x[/itex]
    I proved the equation by developing Si(x) in Taylor series and there is a nice simplification between Si Taylor coefficients and the Gamma function.
     
  2. jcsd
  3. Nov 21, 2014 #2

    lurflurf

    User Avatar
    Homework Helper

    Sure something like

    $$\int_0^\infty \! \! \! \left\{ \int_0^x \mathrm{f}( \tau ) \, \mathrm{d} \tau \right\} e^{-s \, x}\mathrm{d}x=\dfrac{1}{s} \int_0^\infty \mathrm{f}( x ) \, e^{-s \, x}\mathrm{d}x$$
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook