No el más integral, no una más fácil

Question

Tal vez no es entre los integrales más difíciles, pero es interesante tratar de encontrar un elegante
aproximación para el integral $$I_1=\int_0^1 \frac{\log (x)}{\sqrt{x (x+1)}} \, dx$ $ $$=4 \text{Li}_2\left(-\sqrt{2}\right)-4 \text{Li}_2\left(-1-\sqrt{2}\right)+2 \log ^2\left(1+\sqrt{2}\right)-4 \log \left(2+\sqrt{2}\right) \log \left(1+\sqrt{2}\right)-\frac{\pi ^2}{3}$ $

¿Ves alguna forma? Entonces me pregunto si podemos pensar en algunas maneras elegantes para la evaluación de las versiones cuadráticas y cúbicas, es decir

$$I_2=\int_0^1 \frac{\log^2 (x)}{\sqrt{x (x+1)}} \, dx$$ $$I_3=\int_0^1 \frac{\log^3 (x)}{\sqrt{x (x+1)}} \, dx.$$

¿Hasta qué punto podemos posiblemente vamos con la generalización tal que podamos integrales en forma cerrada?

Answer 1

Haciendo la sustitución de Euler $\sqrt{x^{2}+x} = x+t$, nos encontramos con

$$ \begin{align} \int_{0}^{1} \frac{\log(x)}{\sqrt{x^{2}+x}} \, dx &= 2 \int_{0}^{\sqrt{2}-1} \frac{\log \left(\frac{t^{2}}{1-2t}\right)}{1-2t} \, dt \\ &= 4 \int_{0}^{\sqrt{2}-1} \frac{\log t}{1-2t} \, dt - 2\int_{0}^{\sqrt{2}-1} \frac{\log(1-2t)}{1-2t} \, dt. \end{align}$$

La primera integral puede evaluarse mediante la integración por partes.

$$\begin{align} \int_{0}^{\sqrt{2}-1} \frac{\log t}{1-2t} \, dt &= -\frac{1}{2}\log(t) \log(1-2t) \Bigg|^{\sqrt{2}-1}_{0} + \frac{1}{2}\int_{0}^{\sqrt{2}-1} \frac{\log(1-2t)}{t} \, dt \\ &= -\frac{1}{2}\log(\sqrt{2}-1) \log(3 - 2 \sqrt{2}) - \frac{1}{2}\text{Li}_{2} \big(2(\sqrt{2}-1)\big) \end{align}$$

Por lo tanto,

$$\begin{align}\int_{0}^{1} \frac{\log(x)}{\sqrt{x^{2}+x}} \, dx &= -2 \log(\sqrt{2}-1) \log(3 - 2 \sqrt{2}) - 2 \text{Li}_{2} \big( 2(\sqrt{2}-1) \big) + \frac{1}{2} \log^{2}(3- 2 \sqrt{2}) \\ &\approx -3.8208072259. \end{align}$$

EDITAR:

David H se utiliza una sustitución de Euler para evaluar una similar, pero mucho más difícil integral de aquí.

Answer 2

Como alternativa, podemos aplicar la sustitución $x\mapsto\sinh^2{x}$. \begin{align} \int^1_0\frac{\ln{x}}{\sqrt{x(x+1)}}{\rm d}x &=4\int^{-\ln(\sqrt{2}-1)}_0\ln(\sinh{x})\ {\rm d}x\\ &=4\int^{-\ln(\sqrt{2}-1)}_0\left(\color{green}{\ln\left(1-e^{-2x}\right)}-\ln{2}+x\right)\ {\rm d}x\\ &=-4\sum^\infty_{n=1}\frac{1}{n}\int^{-\ln(\sqrt{2}-1)}_0e^{-2nx}\ {\rm d}x+4\ln{2}\ln\left(\sqrt{2}-1\right)+2\ln^2\left(\sqrt{2}-1\right)\\ &=2\sum^\infty_{n=1}\frac{\left(3-2\sqrt{2}\right)^n-1}{n^2}+4\ln{2}\ln\left(\sqrt{2}-1\right)+2\ln^2\left(\sqrt{2}-1\right)\\ &=\color{red}{2{\rm Li}_2\left(3-2\sqrt{2}\right)-\frac{\pi^2}{3}+4\ln{2}\ln\left(\sqrt{2}-1\right)+2\ln^2\left(\sqrt{2}-1\right)} \end {Alinee el}

---

Semejantemente, para la segunda integral,\begin{align} \int^1_0\frac{\ln^2{x}}{\sqrt{x(x+1)}}\ {\rm d}x &=8\int^{-\ln(\sqrt{2}-1)}_0\ln^2(\sinh{x})\ {\rm d}x=8(A+B+C) \end {alinee el} donde\begin{align} A &=\int^{-\ln(\sqrt{2}-1)}_0\left(x^2-2x\ln{2}-2\ln{2}\color{green}{\ln\left(1-e^{-2x}\right)}+\ln^2{2}\right)\ {\rm d}x\\ &=-{\rm Li}_2\left(3-2\sqrt{2}\right)\ln{2}+\frac{\pi^2}{6}\ln{2}-\ln^2{2}\ln\left(\sqrt{2}-1\right)-\ln{2}\ln^2\left(\sqrt{2}-1\right)-\frac{1}{3}\ln^3\left(\sqrt{2}-1\right) \end {Alinee el} y \begin{align} B &=\int^{-\ln(\sqrt{2}-1)}_02x\ln\left(1-e^{-2x}\right)\ {\rm d}x\\ &=-2\sum^\infty_{n=1}\frac{1}{n}\int^{-\ln(\sqrt{2}-1)}_0xe^{-2nx}\ {\rm d}x\\ &=2\sum^\infty_{n=1}\frac{1}{n}\left[\frac{xe^{-2nx}}{2n}+\frac{e^{-2nx}}{4n^2}\right]^{-\ln(\sqrt{2}-1)}_0\\ &=-\ln\left(\sqrt{2}-1\right)\sum^\infty_{n=1}\frac{\left(3-2\sqrt{2}\right)^n}{n^2}+\frac{1}{2}\sum^\infty_{n=1}\frac{\left(3-2\sqrt{2}\right)^n}{n^3}-\frac{1}{2}\sum^\infty_{n=1}\frac{1}{n^3}\\ &=\frac{1}{2}{\rm Li}_3\left(3-2\sqrt{2}\right)-\frac{\zeta(3)}{2}-{\rm Li}_2\left(3-2\sqrt{2}\right)\ln\left(\sqrt{2}-1\right) \end {alinee el} y \begin{align} C &=\int^{-\ln(\sqrt{2}-1)}_0\ln^2\left(1-e^{-2x}\right)\ {\rm d}x=2\sum^\infty_{n=1}\frac{H_{n-1}}{n}\int^{-\ln(\sqrt{2}-1)}_0e^{-2nx}\ {\rm d}x\\ &=-\sum^\infty_{n=1}\frac{\left(H_n-\frac{1}{n}\right)\left(\left(3-2\sqrt{2}\right)^n-1\right)}{n^2} \end{align} usando el bien conocido generación función $$\sum^\infty_{n=1}\frac{H_n}{n^2}z^n={\rm Li}_3(z)-{\rm Li}_3(1-z)+{\rm Li}_2(1-z)\ln(1-z)+\frac{1}{2}\ln{z}\ln^2(1-z)+\zeta(3)$ $ obtenemos\begin{align} C &={\rm Li}_3\left(2\sqrt{2}-2\right)-{\rm Li}_2\left(2\sqrt{2}-2\right)\ln\left(2\sqrt{2}-2\right)-\ln\left(\sqrt{2}-1\right)\ln^2{2}-2\ln{2}\ln^2\left(\sqrt{2}-1\right)\\ &\ \ \ \ -\ln^3\left(\sqrt{2}-1\right) \end{align} por lo tanto,\begin{align} \int^1_0\frac{\ln^2{x}}{\sqrt{x(x+1)}}\ {\rm d}x &=\color{blue}{4{\rm Li}_3\left(3-2\sqrt{2}\right)+8{\rm Li}_3\left(2\sqrt{2}-2\right)-4\zeta(3)-8{\rm Li}_2\left(3-2\sqrt{2}\right)\ln\left(2\sqrt{2}-2\right)}\\ &\ \ \ \ \color{blue}{-8{\rm Li}_2\left(2\sqrt{2}-2\right)\ln\left(2\sqrt{2}-2\right)+\frac{4\pi^2}{3}\ln{2}-24\ln{2}\ln^2\left(\sqrt{2}-1\right)}\\ &\ \ \ \ \color{blue}{-16\ln^2{2}\ln\left(\sqrt{2}-1\right)-\frac{32}{3}\ln^3\left(\sqrt{2}-1\right)} \end {alinee el}

---

Debido a que la función generadora de $\dfrac{H_n}{n^3}$ así, creo que se puede trabajar la forma cerrada de $\displaystyle\int^1_0\frac{\ln^3{x}}{\sqrt{x(x+1)}}\ {\rm d}x$ sin demasiada dificultad. Sin embargo, el proceso es muy tedioso.

Answer 3

Let: $$ f(s)=\int_{0}^{1}\frac{x^s}{\sqrt{1+x}}\,dx. $ $ que tenemos, por integración por partes: $$ f(s+1)+f(s) = \int_{0}^{1} x^s\sqrt{1+x}\,dx = \frac{1}{s+1}\left(\sqrt{2}-\frac{1}{2}\,f(s+1)\right)$ $ por lo tanto: $$ \left(2s+3\right)\, f(s+1)+(2s+2)\,f(s) = 2\sqrt{2},$$ $f(0)=2\sqrt{2}-1$ y $\lim_{s\to +\infty}f(s)=0$. Tenemos:

$$ f(s)=\sum_{n\geq 0}\frac{(-1)^n (n-1/2)!}{\sqrt{\pi}(s+n+1)n!} $ $ y calcular: %#% $ de #% se reduce a computación $$ \int_{0}^{1}\frac{\log^k x}{\sqrt{x(x+1)}}\,dx $. Eso da: $f^{(k)}\left(-\frac{1}{2}\right)$ $ % que $$ 2^{k+1}\phantom{}_{k+2} F_{k+1}\left(\frac{1}{2},\frac{1}{2},\ldots,\frac{1}{2};\frac{3}{2},\frac{3}{2},\ldots,\frac{3}{2};-1\right),$y $k=1$ son esencialmente los únicos casos que son capaces de gestionar a través de identidades hipergeométrica.