show that $\int_{0}^{\infty}\frac{x\cos ax}{\sinh x}dx=\frac{\pi^2}{4} \operatorname{sech}^2 \left(\frac{a\pi}{2}\right) $

Show that $$\int_{0}^{\infty}\frac{x\cos ax}{\sinh x}dx=\frac{\pi^2}{4} \operatorname{sech}^2\left(\frac{a\pi}{2}\right) $$

I think we can solve it by contour integration, but how? and it would be better if there were two ways, the first with real analysis and the second with complex analysis.


We of course assume that $a$ is real here. For a complex analysis, consider the integral

$$\oint_C dz \frac{\sin{a z}}{\sinh{z}}$$

where $C$ is the following contour:

rect cont

Because there are no poles in the interior of the contour, this integral is zero by Cauchy's theorem. On the other hand, the contour integral is equal to

$$\int_{\epsilon}^R dx \frac{\sin{a x}}{\sinh{x}} + i \int_0^{\pi} dy \frac{\sin{a(R+i y)}}{\sinh{(R+i y)}} + \\ \int_R^{\epsilon} dx \frac{\sin{a(x+i \pi)}}{\sinh{(x+i \pi)}} + i \epsilon \int_0^{-\pi/2} d\phi \, e^{i \phi} \frac{\sin{a(i \pi + \epsilon e^{i \phi})}}{\sinh{(i \pi + \epsilon e^{i \phi})}} + \\i \int_{\pi-\epsilon}^{\epsilon} dy \frac{\sin{i a y}}{\sinh{i y}} + i \epsilon \int_{\pi/2}^0 d\phi \, e^{i \phi} \frac{\sin{a \epsilon e^{i \phi}}}{\sinh{\epsilon e^{i \phi}}} $$

We take the limits as $R \to \infty$ and $\epsilon \to 0$; in these limits, the second and sixth integrals vanish. We also need only consider the real part of the above expression, as the integral of interest is real; this then eliminates the fifth integral from consideration altogether, and we need only examine the real part of the third. By expanding the trig functions using, e.g., addition theorems, we get the following relation:

$$\left (1+\cosh{\pi a}\right) \int_0^{\infty} dx \frac{\sin{a x}}{\sinh{x}} - \frac{\pi}{2} \sinh{\pi a} = 0$$

or

$$\int_0^{\infty} dx \frac{\sin{a x}}{\sinh{x}} = \frac{\pi}{2} \tanh{\frac{\pi a}{2}}$$

Of course, this is not the integral desired. Nevertheless, assuming everything is absolutely convergent (which it is here), we may differentiate both sides with respect to $a$ and reverse order of derivative and integral to get

$$\int_0^{\infty} dx \frac{x \cos{a x}}{\sinh{x}} = \frac{\pi^2}{4} \text{sech}^2{\frac{\pi a}{2}}$$

as was to be shown.


Here's another complex analytic approach.

Since $$\int_{0}^{\infty}\frac{x\cos ax}{\sinh x}dx \quad\textrm{and}\quad \int_{0}^{\infty}\frac{\sin ax}{\sinh x}dx$$ are uniformly convergent, differentiation and integration commute. Also, the integrals are even. We find $$\begin{eqnarray*} \int_{0}^{\infty}\frac{x\cos ax}{\sinh x}dx &=& \frac{\partial}{\partial a} \int_{0}^{\infty}\frac{\sin ax}{\sinh x}dx \\ &=& \frac{1}{2} \frac{\partial}{\partial a} \int_{-\infty}^{\infty} \frac{\sin ax}{\sinh x}dx \\ &=& \frac{1}{2}\frac{\partial}{\partial a} \mathrm{Im} \int_{-\infty}^{\infty}\frac{e^{iax}}{\sinh x}dx. \end{eqnarray*}$$ We close the contour for the last integral along a semicircular contour in the upper half plane. Here we assume, with little loss of generality, that $\mathrm{Re}(a)>0$. (Due to the good behavior of $e^{iax}$, the integral along this contour is zero.) We pick up the residues in the upper half plane occurring at $x=in\pi$, where $n=1,2,\ldots$. Thus, $$\begin{eqnarray*} \int_{0}^{\infty}\frac{x\cos ax}{\sinh x}dx &=& \frac{1}{2}\frac{\partial}{\partial a} \mathrm{Im} \,2\pi i \sum_{n=1}^\infty \mathrm{Res}_{x_n=i n\pi} \frac{e^{iax_n}}{\sinh x_n} \\ &=& \frac{1}{2}\frac{\partial}{\partial a} \mathrm{Im} \,2\pi i \sum_{n=1}^\infty \frac{e^{-n\pi a}}{\cosh i n\pi} \\ &=& \pi \frac{\partial}{\partial a} \sum_{n=1}^\infty (-1)^n e^{-n\pi a} \\ &=& -\pi \frac{\partial}{\partial a} \frac{1}{1+e^{a\pi}} \\ &=& \frac{\pi^2 e^{a\pi}}{(1+e^{a\pi})^2} \\ &=& \frac{\pi^2}{4}\mathrm{sech}^2\frac{a\pi}{2}. \end{eqnarray*}$$