¿Por qué la integral de aspecto duro $\int_{0}^{\infty}\frac{x\sin^2(x)}{\cosh(x)+\cos(x)}dx=1$ ?

Question

Tengo que hacer esta pregunta; la mayoría buscando complicada integral definida rendimiento no tan agradable forma cerrada o números irracionales o mezclado de lo que sea ect.

¿Por qué esta particular integral de aspecto duro da un $1$ como respuesta?

$$\int_{0}^{\infty}\frac{x\sin^2(x)}{\cosh(x)+\cos(x)}dx=1$$

Answer 1

Tenemos la identidad $$\frac{\sin\left(x\right)}{\cosh\left(ax\right)+\cos\left(x\right)}=2\sum_{n\geq1}\left(-1\right)^{n-1}\sin\left(nx\right)e^{-anx},\, a>0,\, x\geq0$$ así que $$J=\int_{0}^{\infty}\frac{x\sin^{2}\left(x\right)}{\cosh\left(x\right)+\cos\left(x\right)}dx=2\sum_{n\geq1}\left(-1\right)^{n-1}\int_{0}^{\infty}x\sin\left(nx\right)\sin\left(x\right)e^{-nx}dx.$$ Consideremos ahora la integral. Observamos que $$I=\int_{0}^{\infty}x\sin\left(nx\right)\sin\left(x\right)e^{-nx}dx=-\frac{1}{4}\int_{0}^{\infty}xe^{-nx-inx-ix}dx+\frac{1}{4}\int_{0}^{\infty}xe^{-nx-inx+ix}dx $$ $$+\frac{1}{4}\int_{0}^{\infty}xe^{-nx+inx-ix}dx-\frac{1}{4}\int_{0}^{\infty}xe^{-nx+inx+ix}dx $$ y ahora observamos que $$-\frac{1}{4}\int_{0}^{\infty}xe^{-nx-inx-ix}dx=-\frac{1}{4}\int_{0}^{\infty}xe^{-x\left(n+in+i\right)}dx=-\frac{1}{4\left(n+in+i\right)^{2}} $$ y de forma similar podemos calcular las otras integrales, por tanto $$I=\frac{1}{4}\left(-\frac{1}{\left(n+in+i\right)^{2}}+\frac{1}{\left(n+in-i\right)^{2}}+\frac{1}{\left(n-in+i\right)^{2}}-\frac{1}{\left(n-in-i\right)^{2}}\right)$$ $$=\frac{2n\left(4n^{4}+4n^{2}-1\right)}{\left(4n^{4}+1\right)^{2}}$$ entonces $$J=\sum_{n\geq1}\left(-1\right)^{n-1}\frac{4n\left(4n^{4}+4n^{2}-1\right)}{\left(4n^{4}+1\right)^{2}} $$ $$=\sum_{n\geq1}\left(-1\right)^{n-1}\left(\frac{2n-1}{\left(2n^{2}-2n+1\right)^{2}}+\frac{2n+1}{\left(2n^{2}+2n+1\right)^{2}}\right)$$ y observe que tenemos una serie telescópica ya que $$\frac{2n+1}{\left(2n^{2}+2n+1\right)^{2}}-\frac{2\left(n+1\right)-1}{\left(2\left(n+1\right)^{2}-2\left(n+1\right)+1\right)^{2}}=0$$ así que $$\int_{0}^{\infty}\frac{x\sin^{2}\left(x\right)}{\cosh\left(x\right)+\cos\left(x\right)}dx=1.$$

Answer 2

Se puede emplear la función generadora $$ \frac{\sin x}{\cosh x+\cos x}=2\sum_{k=1}^\infty(-1)^{k-1}e^{-kx}\sin kx $$ y el resultado clásico de $$ \int_0^\infty x^{m-1}e^{-ax} \cos bx \ dx = \frac{\Gamma(m)}{(a^{2} + b^{2})^{m/2}}\cos\left(m\tan^{-1}\left(\frac{b}{a}\right)\right) $$ Entonces tenemos \begin{align} \int_{0}^{\infty}\frac{x\sin^2 x}{\cosh x+\cos x}\ dx&=2\sum_{k=1}^\infty(-1)^{k-1}\int_{0}^{\infty}x\ e^{-kx}\sin x\sin kx\ dx\\[10pt] &=\sum_{k=1}^\infty(-1)^{k-1}\left[\int_{0}^{\infty}x\ e^{-kx}\cos(k-1)x\ dx-\int_{0}^{\infty}x\ e^{-kx}\cos(k+1)x\ dx\right]\\[10pt] &=\sum_{k=1}^\infty(-1)^{k-1}\left[ \frac{\cos\left(2\tan^{-1}\left(\frac{k-1}{k}\right)\right)}{k^{2}+(k-1)^2}-\frac{\cos\left(2\tan^{-1}\left(\frac{k+1}{k}\right)\right)}{k^{2}+(k+1)^2}\right]\\[10pt] &=1 \end{align} y se cumple la afirmación.

---

Esta última expresión es efectivamente una serie telescópica como se puede observar su suma parcial es igual a $$ \sum_{k=1}^n(-1)^{k-1}\left[ \frac{\cos\left(2\tan^{-1}\left(\frac{k-1}{k}\right)\right)}{k^{2}+(k-1)^2}-\frac{\cos\left(2\tan^{-1}\left(\frac{k+1}{k}\right)\right)}{k^{2}+(k+1)^2}\right]=1+\frac{\cos\left(2\tan^{-1}\left(\frac{n+1}{n}\right)\right)}{n^{2}+(n+1)^2} $$ Observe que $$ \cos2a+\cos2b=2\cos(a-b)\cos(a+b) $$ y $$ \tan^{-1}(x)+\tan^{-1}\left(\frac{1}{x}\right)=\frac{\pi}{2}\qquad,\qquad x>0 $$