8
$\begingroup$

$$\int_{-\infty}^\infty \frac{e^{pz}}{e^z-1}dz$$

I started by defining the following contour: rectangular contour

It is easy to show that the integrals along the 2 vertical sides of the rectangle go to $0$ as $R\Rightarrow\infty$ by applying the triangle inequality for integrals.
Note that we must have $0<p<1$ for this to work.

For the integral along the top side of the rectangle we define $z=x+\pi i$ so the integral becomes:
$$\int_{R}^{-R} \frac{e^{p(x+\pi i)}}{e^{x+\pi i}-1}dx$$
Using some basic algebra and taking the limit as $R\Rightarrow\infty$ this simplifies to:
$${e^{p \pi i}}\int_{-\infty}^{\infty} \frac{e^{px}}{e^{x}+1}dx$$
This integral has a known solution and plugging this solution in yields: $${e^{p \pi i}} {\frac{\pi}{\sin{p \pi}}}$$
Now we need to tackle the integral over the semi-circle and to do so we define: $z=\epsilon e^{i \theta}$ so $dz=i \epsilon e^{i \theta} d\theta$ and $-\pi \leq \theta \leq 0$

The integral becomes:

$$\int_{- \pi}^{0} \frac{e^{p \epsilon e^{i \theta}}}{e^{\epsilon e^{i \theta}}-1} i \epsilon e^{i \theta}d\theta$$
Taking the limit as $\epsilon \Rightarrow 0$ using l'Hopital's rule we get:
$$\int_{- \pi}^{0} \frac{e^{p \epsilon e^{i \theta}}}{e^{\epsilon e^{i \theta}}-1} i \epsilon e^{i \theta}d\theta = i \pi$$
Putting everything together and using the fact that the closed contour integral is zero since there are no singularities inside the contour yields. I let WolframAlpha do the simplification:

$$\int_{-\infty}^\infty \frac{e^{pz}}{e^z-1}dz = -\pi \cot{(p \pi)} -2 \pi i$$
In my opinion this seems weird because the integrand is real for all inputs of z except $0$. I expected the cauchy principal value, which this integral actually is because it blows up at $0$, to be real valued as well. Unfortunately my calculations show that this integral is complex valued.

Could someone please tell me if I did something wrong or not. I found an article which also has this integral covered but I believe there is a mistake in their calculation of the integral along the semi-circle (they forgot a minus sign), which if corrected results in the same answer I got. link: article covering the integral.

Any help is greatly appreciated!

PS: I am 17 years old so this is my first post on this forum, if there are any (informal) rules which I am not aware of please let me know as well!

$\endgroup$
  • $\begingroup$ since 0<p<1 sin(pi*p) will be positive. $\endgroup$ – M.Bakkers May 1 at 21:15
  • 1
    $\begingroup$ Having read over this, it looks correct, but I am not an analyst. $\endgroup$ – The Count May 1 at 21:20
  • 2
    $\begingroup$ Yeah, the imaginary part is definitely troublesome. It should be a real value. $\endgroup$ – Thomas Andrews May 1 at 21:21
  • 1
    $\begingroup$ Your parameterisation is for the lower semicircle. $\endgroup$ – Calvin Khor May 1 at 22:05
  • 2
    $\begingroup$ As Ellefsen pointed out, if you consider the closed contour to be zero, then the integral over the $\epsilon$-arc has to go from $\pi$ to $0$. Otherwise - like you did from $-\pi$ to $0$ - you would encircle the pole and obtain some $2\pi i$ from the residue theorem on the other side of the equation. The $2\pi i$ which you have in your solution cancel with the $2\pi i$ from the residue theorem. In that sense this is an alternative to Ellefsen's approach. $\endgroup$ – Diger May 1 at 22:27
3
$\begingroup$

Your values of $\theta$ should be $0 \le \theta \le \pi$ traveled backwards. Interchanging limits and integration, we thus have $$\begin{align} \lim_{\epsilon \to 0}\int_{\pi}^{0} \frac{e^{p \epsilon e^{i \theta}}}{e^{\epsilon e^{i \theta}}-1} i \epsilon e^{i \theta}d\theta &= \int_{\pi}^{0} \lim_{\epsilon \to 0}\frac{e^{p \epsilon e^{i \theta}}}{e^{\epsilon e^{i \theta}}-1} i \epsilon e^{i \theta}d\theta \\&=i\int_{\pi}^{0}e^{i \theta}\lim_{\epsilon \to 0}\frac{e^{p \epsilon e^{i \theta}} \epsilon }{e^{\epsilon e^{i \theta}}-1}d\theta \\&=i\int_{\pi}^{0}e^{i \theta}e^{-i\theta}d\theta \\&=-i\pi \end{align} $$ Which yields the answer you would expect, canceling the imaginary part. We thus only get the real part.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.