Ayuda para Demostrar que $\int_{0}^{\pi\over 4}\arctan{(\cot^2{x})}\mathrm dx={2\pi^2-\ln^2({3+2\sqrt{2})}\over 16}$

Question

Necesito ayuda en demostrar a $(1)$. $$I=\int_{0}^{\pi\over 4}\arctan{(\cot^2{x})}\mathrm dx={2\pi^2-\ln^2({3+2\sqrt{2})}\over 16}\tag1$$ Esto es lo que he intentado;

El cumplimiento de una sub: $u=\cot^2{x}$ $du=-2\cot{x}\csc^2{x}dx$

Recuerdan $1+\cot^2{x}=\csc^2{x}$

$$I={1\over2}\int_{1}^{\infty}\arctan{u}\cdot{\mathrm dx\over u^{1/2}+u^{3/2}}$$

Recuerdan $u^3+1=(u+1)(u^2-u+1)$

$$I={1\over2}\int_{1}^{\infty}\arctan{u}\left({A\over u^{1/2}}+{B\over u+1}+{Cu+D\over u^2-u+1}\right)\mathrm du$$

Estoy atascado en este punto.

Alguien puede ayudar a demostrar $(1)$?

Answer 1

En primer lugar, escribir $I$

$$ I= \frac{\pi^2}{16} + \int_{0}^{\frac{\pi}{4}} \left( \arctan(\cot^2 x) - \arctan(1) \right) \, dx. $$

Ahora mediante la suma de las fórmulas para$\arctan$$\cos$, tenemos

$$ \arctan(\cot^2 x) - \arctan(1) = \arctan\left(\frac{\cot^2 x - 1}{\cot^2 x + 1} \right) = \arctan(\cos 2x). $$

En consecuencia, hemos

\begin{align*} I &= \frac{\pi^2}{16} + \int_{0}^{\frac{\pi}{4}} \arctan(\cos 2x) \, dx \\ &= \frac{\pi^2}{16} + \frac{1}{2}\int_{0}^{\frac{\pi}{2}} \arctan(\sin \theta) \, d\theta, \end{align*}

donde la última línea de la siguiente manera a partir de la sustitución de $\theta = \frac{\pi}{2} - 2x$. La última integral se puede calcular en términos de la Legendre chi función de $\chi_2$:

$$ \int_{0}^{\frac{\pi}{2}} \arctan(\sin \theta) \, d\theta = 2\chi_2(\sqrt{2}-1). \tag{1} $$

Para una prueba de $\text{(1)}$, ver mi respuesta anterior , por ejemplo. Hay sólo un puñado de especiales conocidos los valores de $\chi_2$, pero afortunadamente

$$\chi_2(\sqrt{2}-1) = \frac{\pi^2}{16} - \frac{1}{4}\log^2(\sqrt{2}+1) \tag{2} $$

es uno de ellos. En resumen, tenemos

$$ I = \frac{\pi^2}{8} - \frac{1}{4}\log^2(\sqrt{2}+1), $$

que coincide con la propuesta de respuesta.

---

Adenda. La identidad de $\text{(2)}$ sigue conectando $x = \sqrt{2}-1$ a la identidad

$$ \chi_2\left(\frac{1-x}{1+x}\right) + \chi_2(x) = \frac{\pi^2}{8} - \frac{1}{2}\log x \log\left(\frac{1-x}{1+x}\right), $$

que puede ser fácilmente controlado por la diferenciación de ambos lados.

Answer 2

Para la evaluación de las $\displaystyle J=\int_0^{\tfrac{\pi}{2}}\arctan(\sin x)dx$

Realizar el cambio de variable $y=\sin x$,

$\displaystyle J=\int_0^1 \dfrac{\arctan x}{\sqrt{1-x^2}}dx$

Realizar el cambio de variable $y=\sqrt{\dfrac{1-x}{1+x}}$,

$\begin{align}\displaystyle J&=2\int_0^1 \dfrac{\arctan\left(\tfrac{1-x^2}{1+x^2}\right)}{1+x^2}dx\\ &=2\int_0^1 \dfrac{\arctan(1)}{1+x^2}dx-2\int_0^1 \dfrac{\arctan(x^2)}{1+x^2}dx\\ &=\dfrac{\pi^2}{8}-2\int_0^1 \dfrac{\arctan(x^2)}{1+x^2}dx\\ \end{align}$

$\begin{align} \displaystyle\int_0^1 \dfrac{\arctan(x^2)}{1+x^2}dx&=\Big[\arctan x\arctan(x^2)\Big]_0^1-\int_0^1 \dfrac{2x\arctan x}{1+x^4}dx\\ &=\dfrac{\pi^2}{16}-\int_0^1 \dfrac{2x\arctan x}{1+x^4}dx\\ \end{align}$

Desde entonces,

$\displaystyle \arctan x=\int_0^1 \dfrac{x}{1+t^2x^2}dx$

a continuación,

$\begin{align} \displaystyle K&=\int_0^1 \dfrac{2x\arctan x}{1+x^4}dx\\ \displaystyle &=\int_0^1\int_0^1 \dfrac{2x^2}{(1+t^2x^2)(1+x^4)}dtdx\\ \displaystyle &=\int_0^1\int_0^1 \left(\dfrac{2t^2}{(1+t^4)(1+x^4)}+\dfrac{2x^2}{(1+x^4)(1+t^4)}-\dfrac{2t^2}{(1+t^4)(1+t^2x^2}\right)dtdx\\ &=\displaystyle 4\left(\int_0^1 \dfrac{t^2}{1+t^4}dt\right)\left(\int_0^1 \dfrac{1}{1+x^4}dx\right)-K \end{align}$

Por lo tanto,

$\displaystyle K=2\left(\int_0^1 \dfrac{x^2}{1+x^4}dx\right)\left(\int_0^1 \dfrac{1}{1+x^4}dx\right)$

Desde entonces,

$\begin{align}\displaystyle \int_0^1 \dfrac{x^2}{1+x^4}dx&=\left[\dfrac{1}{4\sqrt{2}}\ln\left(\dfrac{x^2-\sqrt{2}x+1}{x^2+\sqrt{2}x+1}\right)+\dfrac{1}{2\sqrt{2}}\arctan\left(\sqrt{2}x+1\right)+\dfrac{1}{2\sqrt{2}}\arctan\left(\sqrt{2}x-1\right)\right]_0^1\\ &=\dfrac{1}{4\sqrt{2}}\Big(\pi+\ln\left(3-2\sqrt{2}\right)\Big) \end{align}$

y,

$\begin{align}\displaystyle \int_0^1 \dfrac{1}{1+x^4}dx&=\left[\dfrac{1}{4\sqrt{2}}\ln\left(\dfrac{x^2+\sqrt{2}x+1}{x^2-\sqrt{2}x+1}\right)+\dfrac{1}{2\sqrt{2}}\arctan\left(\sqrt{2}x+1\right)+\dfrac{1}{2\sqrt{2}}\arctan\left(\sqrt{2}x-1\right)\right]_0^1\\ &=\dfrac{1}{4\sqrt{2}}\Big(\pi-\ln\left(3-2\sqrt{2}\right)\Big) \end{align}$

Por lo tanto,

$\boxed{K=\displaystyle \dfrac{\pi^2}{16}-\dfrac{1}{16}\Big(\ln\left(3-2\sqrt{2}\right)\Big)^2}$

Por lo tanto,

$\boxed{\displaystyle\int_0^1 \dfrac{\arctan(x^2)}{1+x^2}dx=\dfrac{1}{16}\Big(\ln\left(3-2\sqrt{2}\right)\Big)^2}$

Por lo tanto,

$\boxed{\displaystyle J=\dfrac{\pi^2}{8}-\dfrac{1}{8}\Big(\ln\left(3-2\sqrt{2}\right)\Big)^2}$

Addendum:

$\displaystyle I=\int_0^{\tfrac{\pi}{4}} \arctan\left(\cot^2(x)\right)dx$

Realizar el cambio de variable,

$y=\tan x$,

$\begin{align}I&=\displaystyle \int_0^1 \dfrac{\arctan\left(\tfrac{1}{x^2}\right)}{1+x^2}dx\\ &=\displaystyle \int_0^1 \dfrac{\tfrac{\pi}{2}-\arctan\left(x^2\right)}{1+x^2}dx\\ &=\displaystyle \dfrac{\pi^2}{8}-\int_0^1 \dfrac{\arctan\left(x^2\right)}{1+x^2}dx \end{align}$