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

Help with an irregular integral

  1. Dec 9, 2012 #1
    I am looking for help with doing the following integral :
    [tex]\frac{1}{2\pi i}\int_{1}^{\infty}\ln\left(\frac{1-e^{-2\pi i x}}{1-e^{2\pi i x}} \right )\frac{dx}{x\left(\ln x+z\right)}\;\;\;\;z\in \mathbb{C}[/tex]
    i tried to transform it into a complex integral along a 'keyhole' contour, with a branch cut along the +ive real line [itex]\left[1,\infty\right)[/itex]. but then [itex]\;\ln x\;[/itex] would be transformed into [itex]\;\ln x+2\pi i\;[/itex] when doing the integral along [itex]\left(\infty,1\right]\;[/itex] which doesn't add up nicely to the portion along [itex]\left[1,\infty\right)[/itex]. any insights are appreciated.
  2. jcsd
  3. Dec 9, 2012 #2


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Doesn't this simplify fairly easily?
  4. Dec 10, 2012 #3
    you would think !!! but no, it doesn't ....
  5. Dec 10, 2012 #4
    The integral above is equivalent to :

    [tex] \int_{1}^{\infty}\left(\frac{1}{2}-x+\left \lfloor x \right \rfloor \right )\left(\frac{1}{x\left(\ln x+z\right)}\right)dx [/tex]
    [tex]\int_{1}^{\infty}\sum_{n=1}^{\infty}\frac{\sin(2 \pi n x)}{n\pi}\left(\frac{1}{x\left(\ln x+z\right)}\right)dx [/tex]
  6. Dec 10, 2012 #5


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    [itex]\frac{1-e^{-2\pi i x}}{1-e^{2\pi i x}} = \frac{e^{-2\pi i x}(e^{2\pi i x}-1)}{1-e^{2\pi i x}} = -e^{-2\pi i x}[/itex]
    I end up with [itex]\int_0^∞\frac{1-2e^u}{2(u+z)}du[/itex]
    which surely doesn't converge?
  7. Dec 12, 2012 #6
    you missed the fact that the inverse of the complex exponential - the complex [itex]\log[/itex] function- is multivalued. namely :
    [tex] \frac{1-e^{-2\pi i x}}{1-e^{2\pi i x}}=-e^{-2\pi i x}=e^{-2\pi i \left(x-1/2\right)}=e^{-2\pi i \left(\left \{ x \right \}-1/2\right)}[/tex]
    Where [itex] \left \{ x \right \}[/itex] is the fractional part of x. Thus:
    [tex] \frac{1}{2\pi i}\ln\left(\frac{1-e^{-2\pi i x}}{1-e^{2\pi i x}}\right)=\frac{1}{2}-\left \{ x \right \}[/tex]
    Another way to think of it is to take the Taylor expansion of the [itex] \log[/itex]:
    [tex] \frac{1}{2\pi i}\left(\ln\left(1-e^{-2\pi i x}\right)-\ln(1-e^{2\pi i x})\right)=\frac{1}{2\pi i}\sum_{k=1}^{\infty}\frac{e^{2\pi i k x}-e^{-2\pi i kx}}{k}=\sum_{n=1}^{\infty}\frac{\sin(2\pi k x)}{k\pi}[/tex]
    Which in turn is the Fourier expansion of [itex]\frac{1}{2}-\left \{ x \right \} [/itex]
    Using these facts, we can prove that the integral in question is equal to the limit:
    [tex] e^{-z}\text{Ei}(z)+\lim_{N\rightarrow \infty}\sum_{n=1}^{N}\left(n+\frac{1}{2} \right )\ln\left(\frac{\ln(n+1)+z}{\ln(n)+z} \right )-e^{-z}\text{Ei}(z+\ln N)[/tex]
    Where [itex] \text{Ei}(z)[/itex] is the exponential integral function. But i'm stuck with this cumbersome limit
    Last edited: Dec 12, 2012
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: Help with an irregular integral
  1. Help with an integral (Replies: 1)

  2. Help with integration (Replies: 3)

  3. Help with an integral (Replies: 3)

  4. Help with an integral (Replies: 0)