La evaluación de $\int_0^1 \frac{z \log ^2\left(\sqrt{z^2+1}-1\right)}{\sqrt{1-z^2}} \, dz$

Question

¿Qué tipo de análisis real herramientas se emplean para esta integral?

$$\int_0^1 \frac{z \log ^2\left(\sqrt{1+z^2}-1\right)}{\sqrt{1-z^2}} \, dz$$

EDIT: Aquí está una pregunta complementaria, el cúbicos de registro de versión integral $$\int_0^1 \frac{z \log ^3\left(\sqrt{1+z^2}-1\right)}{\sqrt{1-z^2}} \, dz$$

Answer 1

1. El cambio de las variables de $y=\sqrt{1-z^2}$ transforma la integral en $$\mathcal{I}=\int_0^1\ln^2\left(\sqrt{2-y^2}-1\right)dy.$$
2. Profundizar en el cambio de las variables de $y=\sqrt2 \sin\varphi$ conduce a $$\mathcal{I}=\sqrt2 \int_{0}^{\pi/4}\cos\varphi\ln^2\left(\sqrt2 \cos\varphi-1\right)d\varphi.$$
3. A continuación se pueden integrar de una vez por partes para matar a uno de los logaritmos : \begin{align}\mathcal{I}=\ln^2\left(\sqrt2-1\right)+2\sqrt2 \int_{0}^{\pi/4}\frac{\sqrt2\sin\varphi-1}{\sqrt{2}\cos\varphi-1}\sin\varphi\ln\left(\sqrt2 \cos\varphi-1\right)d\varphi. \end{align}
4. Finalmente, pasar a un racional parametrización mediante el establecimiento $t=\tan\frac{\varphi}{2}$: $$\mathcal{I}=\ln^2\left(\sqrt2-1\right)+8\left(2-\sqrt2\right) \int_{0}^{\sqrt2-1}\frac{t\left(t-1-\sqrt2\right)}{\left(1+t^2\right)^2\left(t-1+\sqrt2\right)}\ln\left(\sqrt2\, \frac{1-t^2}{1+t^2}-1\right)dt.$$
5. Cualquier antiderivada de la forma $\displaystyle\int R_1(t)\ln R_2(t)\,dt$ con rational $R_{1,2}(t)$ puede ser expresada en términos de dilogarithms. En particular, esto es cierto en nuestro caso (por ejemplo, el uso de Mathematica). Un intrépido lector es invitado a simplificar la combinación resultante de dilogarithm valores.

   ---

   6. Después de una simplificación de la dilogarithmic expresiones, finalmente, se obtiene $$\boxed{\quad\displaystyle\mathcal{I}=2\mathbf{K}-\frac{13\pi^2}{48}+\frac{\pi}{2}+\frac{\ln^22}{4}+\frac{\pi\ln 2}{4}-\ln 2+2\quad}$$ donde $\mathbf{K}$ denota el catalán es constante.