Quiero verificar el siguiente resultado utilizando el teorema de los residuos:
$$\int_0^\infty \frac{\log(x)}{x^2+a^2}dx = \frac{\pi}{2a}\log a, \, a > 0.$$
Aquí están mis ideas:
Al principio me podría mostrar que esta función es de hecho un bien definidos impropia de Riemann integral, pero no he venido con cualquier solución agradable todavía.
Quiero integrar la función de $f(z) := \frac{\log(z)}{z^2+a^2}$ a lo largo del contorno de la $C:= \gamma_1 \cup \gamma_2 \cup \gamma_3 \cup \gamma_4$ constisting de semicírculos con centro en 0 alrededor de la mitad superior del plano y el radio de $R$ $\epsilon$ (resp.) así como los intervalos de $[-R, -\epsilon]$$[\epsilon, R]$.
Para el logaritmo complejo, el uso de la rama de $\log z = \log|z| + i\theta, \theta \in [-\pi/2, 3\pi/2)$, así que no tendrás ningún problema en la línea real (es la elección correcta?).
Tenga en cuenta que tengo un polo en mi contorno, es decir,$z = ia$. El teorema de los Residuos de los rendimientos de $$\int_C f(z) dz= 2\pi i \text{ Res}(f, ia) = 2\pi i\lim_{z\to ia}(z-ia) \frac{\log z}{(z-ia)(z+ia)} = 2\pi i\frac{\log(ia)}{2ia} = \pi \frac{\log(a)+ i\pi/2}{a}$$
Procedimiento, elegimos las siguientes parametrizaciones:
$$\gamma_1 : [-R,0] \to \mathbb C, \quad t\mapsto -\frac{\epsilon t}{R} + (t-\epsilon) \\ \gamma_2 : [0, R] \to \mathbb C, \quad t\mapsto -\frac{\epsilon t}{R} + (\epsilon+t) \\ \gamma_3: [0, \pi]\to \mathbb C, \quad t\mapsto \epsilon e^{it} \\ \gamma_4:[0,\pi] \to \mathbb C, \quad t \mapsto Re^{it}$$
Ahora aquí está lo que estoy seguro acerca de. Para mostrar que el grande y el pequeño círculo que se desvanecen como $R\to \infty$ $\epsilon \to 0$ no es demasiado difícil, pero, ¿cómo lidiar con el resto de las integrales?
Puedo decir
$$\int_{\gamma_1} f(z)dz = \int_0^R \frac{\log(-\frac{\epsilon}{R}t+\epsilon+t)}{(-\frac{\epsilon}{R}t + \epsilon + t)^2 + a^2}(\frac{\epsilon}{R}+1)dt \xrightarrow{\epsilon \to 0} \int_0^R \frac{\log t}{t^2 + a^2}dt$$
o ¿qué tipo de razonamiento debe ser utilizado para el intercambio de límite e integral?También, luego finalmente llego $$\int_0^\infty \frac{\log(x)}{x^2+a^2}dx = \pi \frac{\log a + i\frac{\pi}{2}}{2a}$$
casi lo que yo quiero, pero, ¿de dónde $i\pi /2$?
Gracias de antemano!