Demostrar que $\int \limits_{0}^{\infty}\frac{x}{\sinh ax}dx=\left(\frac{\pi}{2a}\right)^2$

Question

Demostrar que $$\int \limits_{0}^{\infty}\frac{x}{\sinh ax}dx=\left(\frac{\pi}{2a}\right)^2$$

mediante dos formas: la primera, mediante la integración de contornos, y la segunda, mediante el análisis real.

Answer 1

$$a>0:$$

$$\int_0^{\infty} \frac{x\,dx}{\sinh ax}=\frac{1}{a^2}\int_0^{\infty}\frac{x\,dx}{\sinh x}=\frac{2}{a^2}\int_0^{\infty} \left(\frac{x}{e^{x}}\right)\frac{dx}{1-e^{-2x}}=\frac{2}{a^2}\int_0^{\infty}x\sum_{k=0}^{\infty}e^{-(2k+1)x}\,dx$$

Ahora bien, como

$$\int_0^{\infty} xe^{-kx}\,dx=\frac{1}{k^2}$$

Lo tenemos:

$$\int_0^{\infty} \frac{x\,dx}{\sinh ax}=\frac{2}{a^2}\sum_{k=0}^{\infty} \frac{1}{(2k+1)^2}=\frac{\pi^2}{4a^2}$$

Esta última suma se deduce de:

$$\sum_{k=0}^{\infty} \frac{1}{(2k+1)^2}=\sum_{k=1}^{\infty} \frac{1}{k^2}-\sum_{k=1}^{\infty} \frac{1}{(2k)^2}=\frac{3}{4}\sum_{k=1}^{\infty} \frac{1}{k^2}=\frac{\pi^2}{8}$$

El caso $a<0$ se aborda añadiendo un negativo.

Answer 2

Suponiendo que $a\gt0$ , $$ \begin{align} \int_0^\infty\frac{x}{\sinh(ax)}\mathrm{d}x &=\frac1{2a^2}\int_{-\infty}^\infty\frac{x}{\sinh(x)}\mathrm{d}x\tag{1}\\ &=\frac1{a^2}\int_{-\infty}^\infty\frac{x}{e^x-e^{-x}}\mathrm{d}x\tag{2}\\ &=\frac1{a^2}\int_{-\infty}^\infty\frac{x+i\pi/2}{i(e^x+e^{-x})}\mathrm{d}x\tag{3}\\ &=\frac{\pi}{2a^2}\int_{-\infty}^\infty\frac1{e^x+e^{-x}}\mathrm{d}x\tag{4}\\ &=\frac{\pi}{2a^2}\int_{-\infty}^\infty\frac1{e^{2x}+1}\mathrm{d}e^x\tag{5}\\ &=\frac{\pi}{2a^2}\int_0^\infty\frac1{u^2+1}\mathrm{d}u\tag{6}\\ &=\frac{\pi^2}{4a^2}\tag{7} \end{align} $$ Explicación:
$(1)$ : Sustitución $x\mapsto x/a$ , utilizar la simetría de la función par para ampliar el alcance
$(2)$ : $\sinh(x)=\frac{e^x-e^{-x}}{2}$
$(3)$ : mover el contorno hacia arriba $i\pi/2$
$(4)$ : eliminar la parte impar por simetría
$(5)$ : multiplicar por $\frac{e^x}{e^x}$
$(6)$ : $u=e^x$
$(7)$ : $u=\tan(\theta)$ sustitución

En $(3)$ la integral a lo largo del contorno $$[-R,R]\cup[R,R+\frac{i\pi}2]\cup[R+\frac{i\pi}2,-R+\frac{i\pi}2]\cup[-R+\frac{i\pi}2,-R]$$ es $0$ ya que no hay singularidades del integrando dentro del contorno. Como el integrando desaparece en $[R,R+\frac{i\pi}2]$ y $[-R,-R+\frac{i\pi}2]$ podemos simplemente intercambiar la integral a lo largo de $(-\infty,\infty)$ para $(-\infty+\frac{i\pi}2,\infty+\frac{i\pi}2)$ .

Answer 3

Dejemos que $x\to ax$ por lo que añadimos $\frac 1{a^2}$

Por contorno, toma el camino como
$$-R \to R \to R + i\pi \to \epsilon + i \pi \to \gamma \to -\epsilon + i \pi \to -R+ i \pi \to -R $$ La integral es $$\int_{-R}^R \frac{x}{\sinh(x)}dx +\int_0^{\pi} \frac{R + i y}{\sinh(R + iy )}i dy + \int_R^{\epsilon} \frac{x+i\pi}{\sinh(x+i\pi)}dx + \int_{\gamma } + \int_{-\epsilon}^{-R} \frac{x+ i \pi }{\sinh(x+i\pi)}dx + \int_{\pi}^0 \frac{R + iy}{\sinh(R + iy)}i dy = 0$$

Como $R\to\infty$ la segunda y la última integral desaparecen a partir de El lema de Jordan . La integral que contiene $R$ $$\int_{-R}^R \frac{x}{\sinh(x)}dx + \int_R^{\epsilon} \frac{x+i\pi}{\sinh(x+i\pi)}dx + \int_{-\epsilon}^{-R} \frac{x+ i \pi }{\sinh(x+i\pi)}dx = 4 \int_\epsilon^R \frac{x}{\sinh(x)}dx$$ El $\gamma$ parte de la curva $$\int_\gamma = \lim_{\epsilon \to 0}\int_0^{-\pi } \frac{i\pi + \epsilon e^{i\theta}}{\sinh(i\pi + \epsilon e^{i\theta})} i \epsilon e^{i\theta}d\theta = \lim_{\epsilon \to 0}\int_0^{-\pi } \frac{\pi \epsilon e^{i\theta}}{\sinh(\epsilon e^{i\theta})}d\theta - i \lim_{\epsilon \to 0}\int_0^{- \pi} \frac{(\epsilon e^{i\theta})^2}{\sinh(\epsilon e^{i\theta})} d\theta = - \pi^2 $$ Poniendo todo en orden se obtiene, $$\lim_{R\to\infty}\lim_{\epsilon\to0} 4 \int_\epsilon^R \frac{x}{\sinh(x)}dx - \pi^2 = 0$$

Answer 4

Realizar la integración por partes,

$\begin{align} J&=\int \limits_{0}^{\infty}\frac{x}{\sinh ax}dx\\&=\left[\frac{1}{a}\ln\left(\text{arctanh}\left(\frac{ax}{2}\right)\right)x\right]_0^{\infty}-\int_0^{\infty}\frac{1}{a}\ln\left(\text{arctanh}\left(\frac{ax}{2}\right)\right)dx\\ &=-\frac{1}{a}\int_0^{\infty}\ln\left(\text{arctanh}\left(\frac{ax}{2}\right)\right)dx\\ \end{align}$

Realizar el cambio de variable $y=\text{arctanh}\left(\frac{ax}{2}\right)$ ,

$\begin{align}J&=-\frac{2}{a^2}\int_0^1\frac{\ln x}{1-x^2}dx\\ &=\frac{2}{a^2}\int_0^1\frac{x\ln x}{1-x^2}dx-\frac{2}{a^2}\int_0^1\frac{\ln x}{1-x}dx \end{align}$

En el primer intégral realizar el cambio de variable $y=2x$ ,

$\begin{align}J&=\frac{1}{2a^2}\int_0^1\frac{\ln x}{1-x}dx-\frac{2}{a^2}\int_0^1\frac{\ln x}{1-x}dx\\ &=-\frac{3}{2a^2}\int_0^1\frac{\ln x}{1-x}dx\\ &=\frac{3}{2a^2}\zeta(2)\\ &=\frac{1}{4a^2}\pi^2 \end{align}$