Integral $\int_{0}^{\pi/2} \arctan \left(2\tan^2 x\right) \mathrm{d}x$

Question

La siguiente integral puede parecer fácil de evaluar...

$$ \int_{0}^{\Large\frac{\pi}{2}} \arctan \left(2 \tan^2 x\right) \mathrm{d}x = \pi \arctan \left( \frac{1}{2} \right). $$

¿Podría demostrarlo?

Answer 1

Mi respuesta es diferente a la que usted dio. Deje que $$ I(a)=\int_0^{\frac{\pi}{2}}\arctan(a\tan^2x)dx. $$ Que $I(0)=0$ y \begin{eqnarray} I'(a)&=&\int_0^{\frac{\pi}{2}}\frac{\tan^2x}{1+a^2\tan^4x}dx\\ &=&\int_0^\infty\frac{u^2}{(1+u^2)(1+a^2u^4)}du\\ &=&\frac{1}{1+a^2}\int_0^\infty\left(-\frac{1}{1+u^2}+\frac{1+a^2u^2}{1+a^2u^4}\right)du\\ &=&\frac{1}{1+a^2}\left(-\int_0^\infty\frac{1}{1+u^2}du+\int_0^\infty\frac{1}{1+a^2u^4}du+\int_0^\infty\frac{a^2u^2}{1+a^2u^4}\right)du\\ &=&\frac{1}{1+a^2}\left(-\frac{\pi}{2}+\frac{\pi}{2\sqrt{2}\sqrt{a}}+\frac{\sqrt{a}\pi}{2\sqrt{2}}\right) \end{eqnarray} y por lo tanto $$ I=\int_0^2I'(a)da=\pi\arctan(1+\sqrt{2a})\Big]_0^2=-\frac{\pi^2}{4}+\pi\arctan 3=\frac{\pi}{2}\arctan\frac{4}{3}.$$

Answer 2

Este es un resultado que evita la diferenciación con respecto a un parámetro.

Set $$ I(\alpha):= \int_{0}^{\Large\frac{\pi}{2}} \arctan \left(\frac{2\alpha \:\sin^2 x}{\alpha^2-1+\cos^2 x}\right)\: \mathrm{d}x, \quad \alpha>0. $$ Entonces $$ I(\alpha)= \pi \arctan \left(\frac{1}{2\alpha}\right) \quad ({\star}) $$

Con $ \alpha:=1$ obtenemos $$ \int_{0}^{\Large\frac{\pi}{2}} \arctan \left(2 \tan^2 x\right) \mathrm{d}x = \pi \arctan \left( \frac{1}{2} \right). $$ Para obtener $({\star})$ utilizar la evaluación estándar extendida a los números complejos

$$ \int_{0}^{\Large\frac{\pi}{2}} \log \left(1+ t \sin^2 x\right) \mathrm{d}x = \pi \log \left( \frac{1+\sqrt{1+t}}{2} \right) $$

y observar que $$ \arctan (z) = \frac{i}{2} \left(\log (1-i z)-\log (1+i z)\right), \quad\Re z \neq 0. $$