Integral $\int_0^1\frac{1-x^2+\left(1+x^2\right)\ln x}{\left(x+x^2\right)\ln^3x}dx$

Question

Yo estoy luchando con esta integral $$I=\int_0^1\frac{1-x^2+\left(1+x^2\right)\ln x}{\left(x+x^2\right)\ln^3x}dx.\tag1$$ Mathematica no se pudo evaluar en forma cerrada. Su valor numérico es de aproximadamente $I\approx0.7804287418294087023386965471512328112...$$^\text{[más]}$, pero no pude encontrar una plausible la forma cerrada para este número utilizando la inversa simbólico calculadoras disponibles en línea.

---

Actualización: Basado en Raymond Manzoni del comentario de abajo, no es en realidad un conjetural forma cerrada, numéricamente que la coincidencia de al menos $10^3$ dígitos decimales: $$I\stackrel?=6\ln A-\frac{\ln4}3-\frac14,\tag2$$ donde $A$ es la Glaisher-Kinkelin constante: $$A=\exp\left(\frac1{12}-\zeta'(-1)\right).\tag3$$ Podría usted sugerir una prueba de la conjetura de $(2)$?

Answer 1

Partimos de la primera Binet la fórmula: $$\ln\Gamma(z)=\left(z-\tfrac12\right)\ln z-z+\frac{\ln(2\pi)}2+\int_0^\infty\left(\frac12-\frac1t+\frac1{e^t-1}\right)\frac{e^{-t\,z}}t dt.\tag1$$ Cambiar la variable $t=-2\ln x$: $$\ln\Gamma(z)=\left(z-\tfrac12\right)\ln z-z+\frac{\ln(2\pi)}2+\frac12\int_0^1^{2z-1}\frac{1-x^2+(1+x^2)\ln x}{(x^2-1)\ln^2x}dx.\tag2$$ Integrar en el intervalo de $0<z<\frac12$: $$\psi^{(-2)}\left(\tfrac12\right)=\frac1{16}+\frac{\ln8}8+\frac{\ln\pi}4+\frac14\int_0^1\frac{1-x^2+(1+x^2)\ln x}{(x+x^2)\ln^3x}dx.\tag3$$ Utilizar la fórmula de $(5)$ de aquí la conexión de Barnes de la Función G y negapolygamma, y dejar que $z=\frac12$: $$\ln G\left(\tfrac12\right)=\frac{\ln(2\pi)}4+\frac18-\frac{\ln\pi}4-\psi^{(-2)}\left(\tfrac12\right).\tag4$$ Utilizar la fórmula de $(19)$ desde la misma página para obtener una forma cerrada para $\ln G\left(\tfrac12\right)$ en términos de la Glaisher-Kinkelin constante$$: $$\ln G\left(\tfrac12\right)=-\frac{3\ln}2-\frac{\ln\pi}4+\frac18+\frac{\ln2}{24}.\tag5$$ La comparación de $(4)$ y $(5)$ podemos obtener: $$\psi^{(-2)}\left(\tfrac12\right)=\frac{3\ln}2+\frac{\ln\pi}4+\frac{5\ln2}{24}\tag6.$$ Finalmente, a partir de $(3)$ y $(6)$ de la siguiente manera: $$\int_0^1\frac{1-x^2+(1+x^2)\ln x}{(x+x^2)\ln^3x}dx=6\ln A-\frac{\ln4}3-\frac14,\tag7$$ que demuestra la conjetura.

Answer 2

$$\begin{align*} I&=\int^1_0\frac{1-x^2+(1+x^2)\log x}{x+1}\frac{dx}{x\log^3x}\\ &=\left.\frac{-1}{2\log^2x}\frac{1-x^2+(1+x^2)\log x}{x+1}\right|^1_0-\int^1_0\frac{-1}{2\log^2x}\frac{\partial}{\partial x}\left(\frac{1-x^2+(1+x^2)\log x}{x+1}\right)dx\\ &=\int^1_0\frac{1}{2\log^2x}\frac{\partial}{\partial x}\left(1-x+\frac{(1+x^2)\log x}{x+1}\right)dx\\ &=\frac12\int^1_0\frac{1}{\log^2x}\left(-1+\frac{(1+x^2)}{x(x+1)}+\frac{(x^2+2x-1)\log x}{(x+1)^2}\right)dx\\ &=\frac12\int^1_0\left(\frac{1-x}{x(x+1)\log^2x}+\frac{1}{\log x}-\frac{2}{(x+1)^2\log x}\right)dx\\ &=\frac12\int^1_0\left(\frac{1-x}{x(x+1)\log^2x}+\frac{2}{(x+1)^2\log x}\right)dx+\frac12\int^1_0\left(\frac{1}{\log x}-\frac{4}{(x+1)^2\log x}\right)dx\\ &=\frac12(I_1+I_2). \end{align*}$$

$$\begin{align*} I_1&=\int^1_0\left(\frac{1-x}{x(x+1)\log^2x}+\frac{2}{(x+1)^2\log x}\right)dx\\ &=\int^1_0\left(\frac{1-x^2+2x\log x}{(x+1)^2}\right)\frac{dx}{x\log^2x}\\ &=\left.\frac{-1}{\log x}\frac{1-x^2+2x\log x}{(x+1)^2}\right|^1_0-\int^1_0\frac{-1}{\log x}\frac{\partial}{\partial x}\left(\frac{1-x^2+2x\log x}{(x+1)^2}\right)dx\\ &=\int^1_0\frac{-1}{\log x}\frac{-2(1-x)\log x}{(x+1)^3}dx\\ Y=2\int^1_0\frac{1-x}{(x+1)^3}dx=\frac12. \end{align*}$$

Mathematica es capaz de evaluar $I_2=12\log A-1-\frac43\log 2$, por lo que la conjetura forma cerrada está probado.

Edit: para evaluar $I_2$, escribimos $F(a)=\int^1_0\frac{x^un-1}{(x+1)^2\log x}dx$, de modo que $F(0)=0$ y $F'(a)=\int^1_0\frac{x^a}{(x+1)^2}dx$. Tenemos $$\begin{align*} I_2&=\int^1_0\left(\frac{1}{\log x}-\frac{4}{(x+1)^2\log x}\right)dx\\ &=\int^1_0\frac{x^2+2x-3}{(x+1)^2\log x}dx=F(2)+2F(1). \end{align*}$$

A continuación, tenemos que dar la forma cerrada de $F(a)$. En primer lugar tenemos $$\begin{align*} \int^1_0\frac{x^adx}{(1-zx)^2}&=\int^1_0\sum_{n=0}^{\infty}(n+1)z^nx^{n+a}dx\\ &=\sum_{n=0}^{\infty}\frac{(n+1)z^n}{n+a+1}\\ &=\sum_{n=0}^{\infty}z^n-\sum_{n=0}^{\infty}\frac{z^n}{n+a+1}\\ &=\frac{1}{1-z}-\frac{a} {+1}~_2F_1(1,a+1;a+2\mid z) \end{align*}$$ para todos $|z|<1$. Tomando límites, tenemos $$\begin{align*} F'(a)&=\frac12-\frac{a} {+1}~_2F_1(1,a+1;a+2\mid-1)\\ &=\frac12-\frac{a}{2}\left(\psi\left(\frac{a+2}{2}\right)-\psi\left(\frac{a+1}{2}\right)\right) \end{align*}$$ y por lo tanto $$\begin{align*} F(a)&=\int^a_0F'(b)~db\\ &=\frac{a}{2}-\int^a_0\frac{b}{2}\left(\psi\left(\frac{b+2}{2}\right)-\psi\left(\frac{b+1}{2}\right)\right)db\\ &=\frac{a}{2}-2\int^{/2}_{0}c\left(\psi(c+1)-\psi(c+\frac12)\right)dc\\ &=\frac{a}{2}+\int^{a/2}_{0}(2\psi(c+1)-\psi(c+\frac12))dc-2\int^{a/2}_{0}\left((c+1)\psi(c+1)-(c+\frac12)\psi(c+\frac12)\right)dc\\ &=\frac{a}{2}+(2\log\Gamma(a/2+1)-2\log\Gamma(1)-\log\Gamma(a/2+1/2)+\log\Gamma(1/2))\\ &-2\left(\int^{a/2+1}_{1}-\int^{a/2+1/2}_{1/2}\right)c\psi(c)dc\\ &=\frac{a}{2}+\log\Gamma(1/2)+2\log\Gamma(a/2+1)-\log\Gamma(a/2+1/2)-2\left.(c\log\Gamma(c)-\psi^{(-2)}(c))\right|^{a/2+1,1/2}_{a/2+1/2,1}\\ &=\frac{a}{2}+\log\Gamma(1/2)+2\log\Gamma(a/2+1)-\log\Gamma(a/2+1/2)-(a+2)\log\Gamma(a/2+1)\\&+(a+1)\log\Gamma(a/2+1/2)-\log\Gamma(1/2)+2\left.(\psi^{(-2)}(c))\right|^{a/2+1,1/2}_{a/2+1/2,1}\\ &=\frac{a}{2}-a\log\Gamma(a/2+1)+a\log\Gamma(a/2+1/2)+2\left.(\psi^{(-2)}(c))\right|^{a/2+1,1/2}_{a/2+1/2,1}\\ &=\frac{a}{2}-\log\Gamma(a/2+1)+a\log\Gamma(a/2+1/2)\\ Y+2\left(\psi^{(-2)}(a/2+1)-\psi^{(-2)}(a/2+1/2)+\psi^{(-2)}(1/2)-\psi^{(-2)}(1)\a la derecha).\\ \end{align*}$$ Aquí $\psi^{(-2)}(a)=\int^a_0\log\Gamma(x)dx$. Ahora podemos dar una forma cerrada para $I_2$: $$\begin{align*} I_2&=F(2)+2F(1)\\ Y=(1-2\log\Gamma(2)+2\log\Gamma(3/2))+2\left(1/2-\log\Gamma(3/2)+\log\Gamma(1)\right)\\ Y+2(\psi^{(-2)}(2)-\psi^{(-2)}(3/2)+\psi^{(-2)}(1/2)-\psi^{(-2)}(1))\\ &+4(\psi^{(-2)}(3/2)-\psi^{(-2)}(1)+\psi^{(-2)}(1/2)-\psi^{(-2)}(1))\\ Y=2+2\psi^{(-2)}(2)+2\psi^{(-2)}(3/2)+6\psi^{(-2)}(1/2)-10\psi^{(-2)}(1). \end{align*}$$ Usando los valores conocidos de $\psi^{(-2)}(2)=\log2+\log\pi-1$, $\psi^{(-2)}(1)=\frac12\log 2+\frac12\log\pi$, $\psi^{(-2)}(3/2)=\frac34\log\pi+\frac{5}{24}\log 2+\frac32\log A-\frac12$ y $\psi^{(-2)}(1/2)=\frac14\log\pi+\frac{5}{24}\log 2+\frac32\log$, finalmente, a la conclusión de que $I_2=12\log A-1-\frac43\log 2$, y por lo tanto $$I=\frac12(I_1+I_2)=6\log A-\frac23\log 2-\frac14.$$