Prueba

Question

Probar $$\int_0^\infty \log \left(1-2\frac{\cos 2\theta}{x^2}+\frac{1}{x^4} \right)dx =2\pi \sin \theta$$where $\theta\[0,\pi]$.

Me he encontrado con otro problema similar, $$ \int_0^{2\pi} \log(1-2r\cos \theta +r^2) d\theta=2\pi \log^+(r^2) $$ Tengo curiosidad de saber si existe alguna relación entre ellos.

Y me he quedado prendado de la proposición en el título. He encontrado que $$1-2\frac{\cos 2\theta}{x^2}+\frac{1}{x^4} =\left(\frac{1}{x}-e^{i\theta}\right)\left(\frac{1}{x}+e^{i\theta}\right)\left(\frac{1}{x}-e^{-i\theta}\right)\left(\frac{1}{x}+e^{-i\theta}\right)$$ Pero no me podía mover.

Cualquier sugerencias? Gracias de antemano.

Answer 1

Comenzaremos por algunas de las $x\rightarrow \frac{1}{x}$ sustituciones mientras derivating bajo el signo integral: $$I(\theta)=\int_0^\infty \log \left(1-2\frac{\cos 2\theta}{x^2}+\frac{1}{x^4} \right)dx\overset{x\rightarrow \frac{1}{x}}=\int_0^\infty \frac{\ln(1- 2\cos(2\theta) x^2 +x^4)}{x^2}dx$$ $$I'(\theta)=4\int_0^\infty \frac{\sin(2\theta)}{x^4-2\cos(2\theta)x^2+1}dx\overset{x\rightarrow \frac{1}{x}}=4\int_0^\infty \frac{\sin(2\theta)x^2}{x^4-2\cos(2\theta)x^2+1}dx$$ Ahora resumiendo las dos integrales de arriba nos da: $$\Rightarrow 2I'(\theta)=4\int_0^\infty \frac{\sin(2\theta)(1+x^2)}{x^4-2\cos(2\theta)x^2+1}dx=4\int_0^\infty \frac{\sin(2\theta)\left(\frac{1}{x^2}+1\right)}{x^2+\frac{1}{x^2}-2\cos(2\theta)}dx$$ $$\Rightarrow I'(\theta)=2\int_0^\infty \frac{\sin(2\theta)\left(x-\frac{1}{x}\right)'}{\left(x-\frac{1}{x}\right)^2 +2(1-\cos(2\theta))}dx\overset{\large x- \frac{1}{x}=t}=2\int_{-\infty}^\infty \frac{\sin(2\theta)}{t^2 +4\sin^2 (\theta)}dt$$ $$=2 \frac{\sin(2\theta)}{2\sin(\theta)}\arctan\left(\frac{t}{2\sin(\theta)}\right)\bigg|_{-\infty}^\infty=2\cos(\theta) \cdot \pi$$ $$\Rightarrow I(\theta) = 2\pi \int \cos(\theta) d\theta =2\pi \sin \theta +C$$ Pero $I(0)=0$ (véase J. G. respuesta), así:$$I(0)=0+C\Rightarrow C=0 \Rightarrow \boxed{I(\theta)=2\pi\sin(\theta)}$$

Answer 2

Para $\theta \in [0;\pi]$, \begin{align} J(\theta)&=\int_0^\infty \ln\left(1-\frac{2\cos(2\theta)}{x^2}+\frac{1}{x^4}\right) \,dx \end{align} Realizar el cambio de variable $y=\dfrac{1}{x}$,

\begin{align} J(\theta)&=\int_0^\infty \frac{\ln\left(1-2\cos(2\theta)x^2+x^4\right)}{x^2} \,dx \end{align}

Para $a\geq -1$, definir la función de $F$, \begin{align}F(a)&=\int_0^\infty \frac{\ln\left(1+2ax^2+x^4\right)}{x^2} \,dx\\ &=\left[-\frac{\ln\left(1+2ax^2+x^4\right)}{x}\right]_0^\infty+\int_0^\infty \frac{4\left(x^2+a\right)}{1+2ax^2+x^4}\,dx\\ &=\int_0^\infty \frac{4\left(x^2+a\right)}{1+2ax^2+x^4}\,dx\\ \end{align} Realizar el cambio de variable $y=\dfrac{1}{x}$, \begin{align}F(a)&=\int_0^\infty \frac{4\left( \frac{1}{x^2}+a\right) }{x^2\left(1+\frac{2a}{x^2}+\frac{1}{x^4}\right) } \,dx\\ &=\int_0^\infty \frac{4\left( 1+ax^2\right) }{x^4+2ax^2+1 } \,dx\\ \end{align} Por lo tanto, \begin{align}F(a)&=\int_0^\infty \frac{2(a+1)\left( 1+x^2\right) }{x^4+2ax^2+1 } \,dx\\ &=2(a+1)\int_0^\infty \frac{\left(1+\frac{1}{x^2}\right)}{x^2+\frac{1}{x^2}+2a } \,dx\\ &=2(a+1)\int_0^\infty \frac{\left(1+\frac{1}{x^2}\right)}{\left(x-\frac{1}{x}\right)^2+2(a+1) } \,dx\\ \end{align} Realizar el cambio de variable $y=x-\dfrac{1}{x}$, \begin{align}F(a)&= 2(a+1)\int_{-\infty}^{+\infty}\frac{1}{x^2+2(a+1)}\,dx\\ &=4(a+1)\int_{0}^{+\infty}\frac{1}{x^2+2(a+1)}\,dx\\ &=\left[2\sqrt{2(a+1)}\arctan\left( \frac{x}{\sqrt{2(a+1)}} \right)\right]_0^\infty\\ &=\boxed{\pi\sqrt{2(1+a)}} \end{align}

Observar que, $J(\theta)=F\big(-\cos(2\theta)\big)$.

\begin{align} 2(1-\cos(2\theta))&=2(1-\cos^2(\theta)+\sin^2 (\theta))\\ &=2\times 2\sin^2 (\theta)\\ &=4\times \sin^2 (\theta)\\ \end{align} Ya que, por $\theta \in [0;\pi],\sin(\theta)\geq 0$ entonces $\sqrt{2(1-\cos(2\theta))}=2\sin(\theta)$

Por lo tanto, \begin{align}\boxed{J(\theta)=2\pi \sin(\theta)}\end{align}

Answer 3

Para complementar la respuesta de Zacky, agregaré una prueba de que $I(0)=0$ . La aplicación de $x\mapsto\frac{1}{x}$ para $x\ge 1$ da $$I(x)=2\int_0^\infty\ln|1-x^{-2}|dx=2\int_0^1\left[(1+\frac{1}{x^2})\ln(1-x^2)-2\ln x\right]\\=-2\int_0^1\left[(1+x^2)\sum_{n\ge 0}\frac{x^{2n}}{n+1}+2\ln x\right]dx=-2\int_0^1\left[\sum_{n\ge 0}\left(\frac{x^{2n}}{n+1}+\frac{x^{2n+2}}{n+1}\right)+2\ln x\right]dx\\=-2\left[\sum_{n\ge 0}\left(\frac{x^{2n+1}}{(n+1)(2n+1)}+\frac{x^{2n+3}}{(n+1)(2n+3)}\right)+2x\ln x-2x\right]_0^1\\=-2\left[\sum_{n\ge 0}\left(\frac{4}{(2n+1)(2n+3)}\right)-2\right],$ $ que desaparece por fracciones parciales.