Hola a todos: esta vez tengo la integral de la $$\int_0^\infty\frac{1-\cos x}{x^2(x^2+1)}\,dx$$y debemos tratar de resolverlo mediante la integración compleja, de residuos, del Teorema de Cauchy y de la totalidad del lote. (Por CIERTO, ¿alguien tiene alguna idea de si esta integral puede resolverse sin funciones complejas?)
$\underline{\text{What I did}}$: Dejar a $\,\gamma\,$ ser la integración de ruta de acceso que contiene los segmentos $$\begin{align}(i)&\,\,\text{the real interval} \,[-R\,,\,-\epsilon]\\(ii)&\,\,\text{the "little" half circle} \,\{z\;|\;z=\epsilon e^{i\theta}\,,\,\theta\in [0,\pi]\}\\(iii)&\,\,\text{ the real interval}\,[\epsilon\,,\,R]\\(iv)&\,\,\text{ and the "big" half circle}\,\{z\;|\;z=R e^{i\theta}\,,\,\theta\in [0,\pi]\}\end{align}$$ we take the integral $$I:=\oint_\gamma\frac{1-e^{iz}}{z^2(z^2+1)}\,dz$$ Como el único polo de esta función dentro de la $\,\gamma\,$ es la simple $\,z=i\,$ ( $\,\epsilon<1<R\,$ , por ejemplo), y $$\,\operatorname{Res}_{z=i}\left(\frac{1-e^{iz}}{z^2(z^2+1)}\right)=\lim_{z\to i}\frac{1-e^{iz}}{z^2(z+i)}=\frac{e^{-1}-1}{2i}$$We get from the Cauchy's residue theorem $$\displaystyle{I=2\pi i\,\frac{e^{-1}-1}{2i}=\pi\left(\frac{1}{e}-1\right)}$$
Pasamos ahora a evaluar la integral anterior en cada segmento de $\,\gamma\,$ descrito anteriormente:$$\text{on}\,(iv)\,\text{it is easy:}\,\left|\frac{1-e^{iz}}{z^2(z^2+1)}\right|\leq\frac{1+e^{-R\cos\theta}}{R^4}\xrightarrow[R\to\infty]{} 0$$
En $\,(i)\,,\,(iii)\,$ juntos y dejando $\,R\to \infty\,$ obtenemos $\,\displaystyle{\int_{-\infty}^\infty\frac{1-\cos x}{x^2(x^2+1)}\,dx}\,$ , que no es un problema como el integrando la función es par.
Así que aquí viene el problema: en $\,(ii)\,$ hemos:$$z=\epsilon e^{i\theta}\Longrightarrow dz=\epsilon ie^{i\theta}d\theta\,,\,0\leq\theta\leq \pi\,\,\text{but going from left to right, so}$$$$\oint_{z=\epsilon e^{i\theta}}\frac{1-e^{i}}{z^2(z^2+1)}\,dz=\int_\pi^0\frac{1-e^{i\epsilon e^{i\theta}}}{\epsilon^2e^{2i\theta}\left(\epsilon^2e^{2i\theta}+1\right)}\,\epsilon ie^{i\theta}\,d\theta$$
Ahora, la única cosa que se le ocurrió para evaluar la integral anterior al $\,\epsilon\to 0\,$ es conseguir que el límite en la integral, llegar $$\lim_{\epsilon\to 0}\frac{1-e^{i\epsilon e^{i\theta}}}{\epsilon e^{i\theta}\left(\epsilon^2 e^{2i\theta}+1\right)}=-i\Longrightarrow \int_\pi^0\frac{1-e^{i\epsilon e^{i\theta}}}{\epsilon^2e^{2i\theta}\left(\epsilon^2e^{2i\theta}+1\right)}\,\epsilon ie^{i\theta}\,d\theta\xrightarrow [\epsilon\to 0]{} -\pi$$applying L'Hospital, so the final result is$$\pi\left(\frac{1}{e}-1\right)=I\xrightarrow [R\to\infty\,,\,\epsilon\to 0]{} \int_{-\infty}^\infty\frac{1-\cos x}{x^2(x^2+1)}\,dx-\pi$$from which we get the value of $\,\displaystyle{\frac{\pi}{2}}\,$ por nuestros integral, lo cual es correcto (al menos de acuerdo a Wolframalpha), sin embargo,...
¿Cómo puedo justificar la introducción del límite en el integral?? La única manera de que me parece posible (en todo caso) es sustituir $$\epsilon\to\frac{1}{\delta}$$ to get an indefinite integral with upper limit equal to $\,\infty\,$ inj $\,(ii)\,$ arriba y, a continuación, utilizar el teorema de convergencia dominada (o tal vez la monotonía).
Mi pregunta es doble: Es la sustitución sólo se describe lo que puede poner de mí fuera de mi miseria en este caso? y: ¿Es posible justificar la aprobación de la límite a la integral sin hacer la sustitución y, por lo tanto, sin recursos para una integral indefinida con infinito límite superior?
Gracias a cualquier persona invertir él/su tiempo para leer esta pregunta, y por supuesto, las ideas, las correcciones serán muy agradecidos.