Cómo probar que $\displaystyle \int_0^{\infty} \dfrac{\arctan(x)\sqrt{\sqrt{1+x^2}-1}}{x\sqrt{1+x^2}}\,dx= \frac{1}{4}\pi^2\sqrt{2}-\sqrt{2}\ln^2\left(1+\sqrt{2}\right)$ ?
Es muy difícil y no tengo ni idea.
Respuestas
¿Demasiados anuncios?
Esto puede ser reducido a una clase de integral relacionados con la polylogarithm, y está relacionado con la Legendre-chi función de $\chi_2$. La fórmula $$\int_{0}^{\frac{\pi}{2}} \arctan(r \sin\theta) \, d\theta = 2 \chi_{2} \left( \frac{\sqrt{1+r^{2}} - 1}{r} \right) $$ da $$\etiqueta{1}\int_{0}^{\frac{\pi}{2}} \arctan( \sin\theta) \ d\theta = 2 \chi_{2} \left( \sqrt{2}-1 \right) = \frac{\pi^2}{8} - \frac{1}{2}\log^2(\sqrt{2}+1)$$ donde hemos utilizado un famoso especial de valor de $\chi_2$. Para una "introducción rápida" acerca de $\chi_2$, ver Sangchul Lee aquí.
De regreso a su problema, denotan su integral por $I$, ten en cuenta que $$\int \frac{\sqrt{\sqrt{1+x^2}-1}}{x\sqrt{1+x^2}} dx = \sqrt 2 \arctan \left[ {\frac{{\sqrt {\sqrt {1 + {x^2}} - 1} }}{{\sqrt 2 }}} \right]$$ para que la integración por partes da $$I = \frac{\sqrt{2}\pi^2}{4}-\sqrt{2}\int_0^\infty {\arctan \left[ {\frac{{\sqrt {\sqrt {1 + {x^2}} - 1} }}{{\sqrt 2 }}} \right]} \frac{{dx}}{{1 + {x^2}}}$$ haciendo $x\mapsto \tan x$ en la última integral da $$I = \frac{\sqrt{2}\pi^2}{4}-\sqrt{2}\underbrace{\int_0^{\pi/2} {\arctan \left( {\frac{{\sin \frac{x}{2}}}{{\sqrt {\cos } x}}} \right)dx}}_J $$
Denotar $$F(r)=\int_0^{\pi/2} {\arctan \left( {\frac{{a\sin \frac{x}{2}}}{{\sqrt {\cos } x}}} \right)} dx$$ A continuación, calcular $F'(r)$ y hacer una integral indefinida da $$\begin{aligned} F'(r) &= \int_0^{\pi /2} {\frac{{\sqrt {\cos x} \sin (\frac{x}{2})}}{{\cos x + {a^2}\sin {{(\frac{x}{2})}^2}}}} dx \\ & = - \left[ {\frac{{2a\arctan \left[ {\frac{{a\cos (\frac{x}{2})}}{{\sqrt {1 - {a^2}} \sqrt {\cos x} }}} \right]}}{{(2 - {a^2})\sqrt {1 - {a^2}} }} + \frac{{2\sqrt 2 }}{{2 - {a^2}}}\ln \left[ {\sqrt 2 \cos (\frac{x}{2}) + \sqrt {\cos x} } \right]} \right]_0^{\pi /2} \\ &= - \frac{{\pi a}}{{(2 - {a^2})\sqrt {1 - {a^2}} }} + \frac{{2a\arctan \left[ {\frac{a}{{\sqrt {1 - {a^2}} }}} \right]}}{{(2 - {a^2})\sqrt {1 - {a^2}} }} + \frac{{2\sqrt 2 \ln (\sqrt 2 + 1)}}{{2 - {a^2}}}\end{aligned}$$
Entonces para conseguir la $J$, podemos integrar a la totalidad de la expresión con respecto a $a$$0$$1$, sólo la segunda integral que merece la atención, la aplicación de $a\mapsto \sin x$: $$\begin{aligned}\int_0^1 {\frac{{\arctan \left[ {\frac{a}{{\sqrt {1 - {a^2}} }}} \right]}}{{(2 - {a^2})\sqrt {1 - {a^2}} }}da} &= \int_0^{\pi /2} {\frac{{x\cos x}}{{2 - {{\sin }^2}x}}dx} \\&=- \int_0^{\frac{\pi }{2}} {xd\left[ {\arctan (\cos x)} \right]} \\&= \int_0^{\frac{\pi }{2}} {\arctan (\cos x)dx} \end{aligned}$$ A continuación, utilice $(1)$. La combinación de todo lo anterior la evaluación debe dar $$J=\int_0^{\pi/2} {\arctan \left( {\frac{{\sin \frac{x}{2}}}{{\sqrt {\cos } x}}} \right)}dx=\ln^2(\sqrt{2}+1)$$ esto demuestra el resultado.
Probablemente hay alguna forma inteligente de reducir el $J$ directamente en $(1)$, espero que alguien pueda punto de sobre cómo.
123
Puntos
18
Deje $x = \tan u \implies dx = \sec^2u\ du$
$$\begin{align}\int_0^{\infty} \dfrac{\arctan(x)\sqrt{\sqrt{1+x^2}-1}}{x\sqrt{1+x^2}}\,dx =& \int_0^{\pi/2} \dfrac{\arctan(\tan u)\sqrt{\sec u-1}\sec u}{\tan u }\,du &\\=& \int_0^{\pi/2} \dfrac{u\sqrt{\sec u-1}}{\sin u }\,du&\\=& \int_0^{\pi/2} \dfrac{u\sqrt{1-\cos u}}{\sin u \sqrt{\cos u}}\,du&\\=& \sqrt{2}\int_0^{\pi/2} \dfrac{u\sin u/2}{\sin u \sqrt{\cos u}}\,du &\\=& \dfrac{1}{\sqrt{2}}\int_0^{\pi/2} \dfrac{u}{\cos (u/2) \sqrt{\cos u}}\,du&\\=& \dfrac{1}{\sqrt{2}}\left(\left[2u \sin^{-1}\left(\tan \dfrac u2\right)\right]_0^{\pi/2} - 2\int_0^{\pi/2}\sin^{-1}\left(\tan \dfrac u2\right)\, du\right)&\\=& \dfrac{\pi^2}{2\sqrt{2}} - \dfrac{2}{\sqrt{2}}\int_0^{\pi/2}\sin^{-1}\left(\tan \dfrac u2\right)\, du \end{align} $$
Deje $z = u/2 \implies 2dz = du$ $$\begin{align}\int_0^{\pi/2}\sin^{-1}\left(\tan \dfrac u2\right)\, du&=& 2\int_0^{\pi/4}\sin^{-1}(\tan z )\, dz\end{align}$$
Deje $t = \tan z$
$$\begin{align} 2\int_0^{\pi/4}\sin^{-1}(\tan z )\, dz=& 2\int_0^1\dfrac{\sin^{-1} t}{t^2 + 1} dt&\\=& 2[\tan^{-1} x \sin^{-1} x]_0^1 - 2\int_0^1 \dfrac{\tan^{-1}(t)}{\sqrt{1-t^2}}\, dt&\\=& 2\dfrac{\pi^2}{8} - 2\int_0^1 \dfrac{\tan^{-1}(t)}{\sqrt{1-t^2}}\, dt\end{align}$$
La integral de la $$\int_0^1 \dfrac{\tan^{-1}(t)}{\sqrt{1-t^2}}\, dt = -\frac{\ln^{2}(1+\sqrt{2})}{2} + \frac{\pi^{2}}{8} \tag 1$$
Así,
$$\int_0^{\pi/2}\sin^{-1}\left(\tan \dfrac u2\right)\, du = \ln^2(1+ \sqrt{2})$$
La respuesta final es entonces
$$\dfrac{\pi^2}{2\sqrt{2}} - \sqrt{2}\ln^2(1+\sqrt{2})$$.
Para la prueba de $(1)$ ver aquí.
FDP
Puntos
448
$\begin{align}I&=\int_0^{\infty} \dfrac{\arctan(x)\sqrt{\sqrt{1+x^2}-1}}{x\sqrt{1+x^2}}\,dx \end{align}$
Realizar el cambio de variable $x=\dfrac{2y}{1-y^2}$,
$\begin{align}I&=\sqrt{2}\int_0^{1} \dfrac{\arctan\left(\dfrac{2y}{1-y^2}\right)}{\sqrt{1-y^2}}\,dy\\ &=2\sqrt{2}\int_0^{1} \dfrac{\arctan y}{\sqrt{1-y^2}}\,dy\\ \end{align}$
Si uno asume que,
$\displaystyle \int_0^{1} \dfrac{\arctan y}{\sqrt{1-y^2}}\,dy=\frac{1}{8}\pi^2-\frac{1}{2}\ln^2(\sqrt{2}+1)$
por lo tanto,
$\displaystyle \boxed{I=\frac{1}{4}\pi^2\sqrt{2}-\sqrt{2}\ln^2(\sqrt{2}+1)}$
(para una prueba de esto, ver: Evaluación de una suma que implican coeficiente binomial en el denominador )
Roger Hoover
Puntos
56
A través de la sustitución de $x=\tan\theta$ la integral se convierte en $$ \int_{0}^{\pi/2}\frac{\theta}{\sin\theta}\sqrt{\frac{1}{\cos\theta}-1}\,d\theta=\int_{0}^{\pi/2}\frac{\theta}{\cos\frac{\theta}{2}\sqrt{2\cos\theta}}\,d\theta$$ y por integración por partes el lado derecho es igual a $$ \frac{\pi^2}{2\sqrt{2}}-\sqrt{2}\int_{0}^{\pi/2}\arctan\left(\frac{\sin\frac{\theta}{2}}{\sqrt{\cos\theta}}\right)\,d\theta $$ donde $$\begin{eqnarray*}\int_{0}^{\pi/2}\arctan\left(\frac{\sin\frac{\theta}{2}}{\sqrt{\cos\theta}}\right)\,d\theta &=& \int_{0}^{\pi/2}\arctan\sqrt{\frac{1-\cos\theta}{2\cos\theta}}\,d\theta\\&=&\int_{0}^{\pi/2}\arctan\sqrt{\frac{1-\sin\theta}{2\sin\theta}}\,d\theta\\&=&\int_{0}^{1}\arctan\sqrt{\frac{1-x}{2x}}\,\frac{dx}{\sqrt{1-x^2}}\\&=&\int_{0}^{+\infty}\frac{\arctan\sqrt{t}}{(1+2t)\sqrt{t(1+t)}}\,dt\\&=&\int_{0}^{+\infty}\frac{2\arctan u}{(1+2u^2)\sqrt{1+u^2}}\,du\end{eqnarray*}$$ por Feynman del truco, está relacionado con la integral $$ \int_{0}^{1}\frac{K(\sqrt{x})}{\sqrt{2-x}}\,dx = \frac{\pi^2}{4}-\log^2(1+\sqrt{2}),$$ que puede ser calculada a través de la transformada de Fourier-Legendre de expansión de la serie (ver aquí, en la página 19) y el dilogarithm reflexión fórmula.
