Necesito demostrar que $\displaystyle\int_{-\infty}^{\infty} \dfrac{e^{-x}}{1+e^{-2\pi x}}\,dx=\dfrac{1}{2\sin\left(\frac{1}{2}\right)}$. Este es un ejercicio de Básica de Análisis Complejo por Marsden y Hoffman. Mi intento:
En primer lugar, Marsden dice que tenemos que considerar la función compleja $f(z)=\dfrac{e^{-z}}{1+e^{-2\pi z}}$ y en la siguiente curva
$\gamma_2=r+t\pi i$ $t\in [0,1]$
$\gamma_3=(\pi i+r)-2tr$ $t\in [0,1]$
$\gamma_4=(1-t)(\pi i-r)-tr$ $t\in [0,1]$
Tenga en cuenta que la única polos de la función de $f(z)$ en el rectángulo son cuando $z=\dfrac{i}{2}$, $z=\dfrac{3i}{2}$ y $z=\dfrac{5i}{2}$. A partir de un cálculo directo obtenemos que $\text{Res}\left(f(z),\dfrac{i}{2}\right)=\dfrac{e^{-i/2}}{2\pi}$, $\text{Res}\left(f(z),\dfrac{3i}{2}\right)=\dfrac{e^{-3i/2}}{2\pi}$ y $\text{Res}\left(f(z),\dfrac{5i}{2}\right)=\dfrac{e^{-5i/2}}{2\pi}$.
Después de un montón de cálculos, obtenemos un límite para la integral sobre $\gamma_2$: $$\dfrac{e^{-r}}{\sqrt{(1-e^{-2\pi r})^2}}\geq \dfrac{|e^{-r-t\pi i}|}{|1+e^{-2\pi(r+t\pi i)}|}\geq 0$$Thus $$\displaystyle\int_{\gamma_2}^{}f(\gamma_2)\cdot d\gamma\leq \dfrac{e^{-r}}{\sqrt{(1-e^{-2\pi r})^2}}$$When $r\to\infty$ then $\displaystyle\int_{\gamma_2}^{}f(\gamma_2)\cdot d\gamma\to 0$
Creo que es el mismo para $\gamma_4$ pero tengo problemas con la $\gamma_3$. Después de un montón de cálculos, obtenemos la siguiente enlazado: $$\dfrac{e^{-r+2rt}}{\sqrt{1+2e^{-2\pi}\cos(-2\pi^2)+e^{-4\pi r}}}\geq \dfrac{|e^{-r+2rt-\pi i}|}{|1+e^{-2\pi(\pi i+r-2rt)}|}$$ but when $r\to\infty$ we obtain that $\dfrac{e^{-r+2rt}}{\sqrt{1+2e^{-2\pi}\cos(-2\pi^2)+e^{-4\pi r}}}\to\infty$ y necesito, tal vez, que esto limita existe (tal vez, de cero).
Claramente quiero que las integrales sobre las curvas, porque si $\gamma=\gamma_1\cup\gamma_2\cup\gamma_3\cup\gamma_4$ $\displaystyle\int_{\gamma} f(\gamma)\cdot d\gamma=\displaystyle\int_{\gamma_1} f(\gamma_1) \cdot d\gamma_1+\displaystyle\int_{\gamma_2} f(\gamma_2) \cdot d\gamma_2+\displaystyle\int_{\gamma_3} f(\gamma_3) \cdot d\gamma_3+\displaystyle\int_{\gamma_4} f(\gamma_4) \cdot d\gamma_4$ y quiero usar el Teorema de los Residuos. Pero, es el rectángulo de la curva correcta? Aquí una captura de pantalla con el ejercicio: