Cómo probar que$\int_{1}^{\sqrt{2}+1}\frac{\ln{x}}{x^{2}-1}dx=\frac{\pi^{2}}{16}-\frac{\ln^{2}\left(\sqrt{2}+1\right)}{4}$

Question

Cómo probar que $$\int_{1}^{\sqrt{2}+1}\frac{\ln{x}}{x^{2}-1}dx=\frac{\pi^{2}}{16}-\frac{\ln^{2}\left(\sqrt{2}+1\right)}{4}?$ $

Me he encontrado con esta integral recientemente, y soy consciente de que se puede mostrar cómo esto es cierto con una sustitución $u=\ln{x}$ y luego expandirla a una serie de integrales de la forma $\int_{0}^{\ln{(\sqrt{2}+1)}}ue^{-nu}du$ donde se calcula cada integral De forma individual, pero se siente bastante forzada. Hay alguna otra manera de hacer esto? Gracias.

Answer 1

Ponga \begin{equation*} I=\int_{1}^{\sqrt{2}+1}\dfrac{\ln x}{x^2-1}\, \mathrm{d}x =[x=1/y] = \int_{\sqrt{2}-1}^{1}\dfrac{\ln y}{y^2-1}\, \mathrm{d}y.\tag{1} \end {ecuación *} Después de la sustitución $ y=\frac{1-z}{1+z}$ y la integración por partes tenemos \begin{gather*} I = \int_{0}^{\sqrt{2}-1}\dfrac{\ln\left(\frac{1-z}{1+z}\right)}{-2z}\, \mathrm{d}z = \left[-\dfrac{1}{2}\ln(z)\ln\left(\frac{1-z}{1+z}\right)\right]_{0}^{\sqrt{2}-1}+\int_{0}^{\sqrt{2}-1}\dfrac{\ln z}{z^2-1}\, \mathrm{d}z =\\[2ex]-\dfrac{1}{2}\ln^2(\sqrt{2}+1) + \int_{0}^{\sqrt{2}-1}\dfrac{\ln z}{z^2-1}\, \mathrm{d}z.\tag{2} \end {recopilar *} Si agregamos (1) y (2) obtenemos \begin{equation*} 2I = -\dfrac{1}{2}\ln^2(\sqrt{2}+1) + \int_{0}^{1}\dfrac{\ln z}{z^2-1}\, \mathrm{d}z. \end {ecuación *} Consecuentemente \begin{gather*} I = -\dfrac{1}{4}\ln^2(\sqrt{2}+1) -\dfrac{1}{2}\int_{0}^{1}\left(\sum_{k=0}^{\infty}\ln(z)z^{2k}\right)\, \mathrm{d}z =\\[2ex] -\dfrac{1}{4}\ln^2(\sqrt{2}+1) -\dfrac{1}{2}\sum_{k=0}^{\infty}\int_{0}^{1}\ln(z)z^{2k}\, \mathrm{d}z =\\[2ex] -\dfrac{1}{4}\ln^2(\sqrt{2}+1) +\dfrac{1}{2}\sum_{k=0}^{\infty}\dfrac{1}{(2k+1)^2} = \dfrac{\pi^2}{16} -\dfrac{1}{4}\ln^2(\sqrt{2}+1). \end {recopilar *}

Answer 2

Una Solución Completa Ahora

Considere la posibilidad de $$F(s)=\int_1^s\frac{\log x}{x^2-1}\mathrm dx$$ Como antes, $$F(s)=\frac12\int_1^{s}\frac{\log x}{x-1}\mathrm dx-\frac12\int_1^{s}\frac{\log x}{x+1}\mathrm dx$$ $$F(s)=-\frac12\mathrm{Li}_2(1-s)-\frac12J(s)$$ Para $J(s)$, integramos por partes con $\mathrm dv=\frac{\mathrm dx}{1+x}$ conseguir $$J(s)=\log(s)\log(s+1)-\int_1^s\frac{\log(1+x)}{x}\mathrm dx$$ $$J(s)=\log(s)\log(s+1)+\int_2^{1+s}\frac{\log x}{1-x}\mathrm dx$$ $$J(s)=\log(s)\log(s+1)+\mathrm{Li}_2(1-x)\bigg|_2^{1+s}$$ $$J(s)=\log(s)\log(s+1)+\mathrm{Li}_2(-s)-\mathrm{Li}_2(-1)$$ El uso de $\mathrm{Li}_k(-1)=(2^{1-k}-1)\zeta(k)$, $$J(s)=\log(s)\log(s+1)+\mathrm{Li}_2(-s)+\frac{\pi^2}{12}$$ Conectar $s=1+\sqrt2$, $$J(1+\sqrt2)=\log(1+\sqrt2)\log(2+\sqrt2)+\mathrm{Li}_2(-1-\sqrt2)+\frac{\pi^2}{12}$$ Que, como El OP señaló, se convierte en $$J(1+\sqrt2)=\log^2(1+\sqrt2)+\frac12\log(2)\log(1+\sqrt2)+\mathrm{Li}_2(-1-\sqrt2)+\frac{\pi^2}{12}$$ Y de nuevo como el OP señaló, $$F(1+\sqrt2)=-\frac{\pi^2}{48}-\frac14\log^2(1+\sqrt2)+\frac14\log2\log(1+\sqrt2)+\frac1{16}\log^22+\frac12\mathrm{Li}_2\bigg(\frac1{\sqrt2}\bigg)-\frac12\mathrm{Li}_2(1-\sqrt2)$$ Y ya $$\frac12\mathrm{Li}_2\bigg(\frac1{\sqrt2}\bigg)-\frac12\mathrm{Li}_2(1-\sqrt2)=\frac{\pi^2}{12}-\frac14\log2\log(1+\sqrt2)-\frac1{16}\log^22$$ Tenemos $$F(1+\sqrt2)=\frac{\pi^2}{16}-\frac14\log^2(1+\sqrt2)$$

Answer 3

Aquí es un enfoque posible.

El cumplimiento de una sustitución de $x \mapsto 1/x$ a comenzar con da \begin{align} \int_1^{1 + \sqrt{2}} \frac{\ln x}{x^2 - 1} \, dx &= -\int_{\sqrt{2}-1}^1 \frac{\ln x}{1 - x^2} \, dx = -\sum_{n = 0}^\infty \int_{\sqrt{2} - 1}^1 x^{2n} \ln x \, dx, \end{align} donde hemos tomado ventaja de la geométrica de la suma de $1/(1 - x^2)$. La integración por partes, conduce a \begin{align} \int_1^{1 + \sqrt{2}} \frac{\ln x}{x^2 - 1} \, dx &= - \ln (1 + \sqrt{2}) \sum_{n = 0}^\infty \frac{(\sqrt{2} - 1)^{2n + 1}}{2n+1} + \sum_{n = 0}^\infty \frac{1}{(2n + 1)^2}\\ &\qquad - \sum_{n = 0}^\infty \frac{(\sqrt{2} - 1)^{2n + 1}}{(2n + 1)^2}. \tag1 \end{align}

La observación de que $$\tanh^{-1} z = \sum_{n = 0}^\infty \frac{z^{2n + 1}}{2n + 1}, \qquad |z| < 1, \qquad (*)$$ la primera de las sumas que aparecen en (1) se puede expresar como $$\sum_{n = 0}^\infty \frac{(\sqrt{2} - 1)^{2n + 1}}{2n+1} = \tanh^{-1} (\sqrt{2} - 1) = \frac{1}{2} \ln (1 + \sqrt{2}).$$

Para encontrar el segundo y tercer sumas en (1), división ($*$) $x$ antes de la integración de arriba de $0$ a $x$. Así \begin{align} \sum_{n = 0}^\infty \frac{1}{2n + 1} \int_0^x t^{2n} \, dt &= \int_0^x \frac{\tanh^{-1} t}{t} \, dt\\ \sum_{n = 0}^\infty \frac{x^{2n + 1}}{(2n + 1)^2} &= \frac{1}{2} \int_0^x \ln \left (\frac{1 + t}{1 - t} \right ) \frac{dt}{t}\\ &= \frac{1}{2} \int_0^{-x} \frac{\ln (1 - t)}{t} \, dt - \frac{1}{2} \int_0^x \frac{\ln (1 - t)}{t} \, dt \end{align} o $$\sum_{n = 0}^\infty \frac{x^{2n + 1}}{(2n + 1)^2} = \frac{1}{2} \left [\operatorname{Li}_2 (x) - \operatorname{Li}_2 (-x) \right ], \qquad (**)$$ donde $\operatorname{Li}_2 (x)$ es el dilogarithm función.

El segundo y tercer sumas que aparecen en (1) puede encontrarse usando ($**$). Para la segunda suma, la configuración de $x = 1$da $$\sum_{n = 1}^\infty \frac{1}{(2n + 1)^2} = \frac{1}{2} \operatorname{Li}_2 (1) - \frac{1}{2} \operatorname{Li}_2 (-1) = \frac{1}{2} \left (\frac{\pi^2}{6} + \frac{\pi^2}{12} \right ) = \frac{\pi^2}{8},$$ donde la conocida valores especiales para la dilogarithm función de la 1 y $-1$ han sido utilizados.

Para el tercer suma, la configuración de $x = \sqrt{2} - 1$da $$\sum_{n = 0}^\infty \frac{(\sqrt{2} - 1)^{2n + 1}}{(2n + 1)^2} = \frac{1}{2} \left [\operatorname{Li}_2 (\sqrt{2} - 1) - \operatorname{Li}_2 (1 - \sqrt{2}) \right ]. \qquad (\dagger)$$ Ahora queda para expresar la diferencia entre los dos dilogarithms es términos de primaria constantes.

Para ello, haremos uso de las siguientes identidades para el dilogarithm: \begin{align} \operatorname{Li}_2 (1-x) + \operatorname{Li}_2 \left (1 - \frac{1}{x} \right ) &= -\frac{1}{2} \ln^2 x \tag2\\ \operatorname{Li}_2 (x) + \operatorname{Li}_2 (1-x) &= \frac{\pi^2}{6} - \ln x \ln (1 - x) \tag3\\ \operatorname{Li}_2 (x) + \operatorname{Li}_2 (-x) &= \frac{1}{2} \operatorname{Li}_2 (x^2) \tag4 \end{align} Así que aquí vamos. \begin{align} \operatorname{Li}_2 (\sqrt{2} - 1) &= \operatorname{Li}_2 [1 - (2 - \sqrt{2})]\\ &= -\operatorname{Li}_2 \left (1 - \frac{1}{2 - \sqrt{2}} \right ) - \frac{1}{2} \ln^2 (2 - \sqrt{2}) \qquad \text{(by (2))}\\ &= - \operatorname{Li}_2 \left (-\frac{1}{\sqrt{2}} \right ) - \frac{1}{2} \ln^2 \left (\frac{\sqrt{2}}{1 + \sqrt{2}} \right )\\ &= - \operatorname{Li}_2 \left (-\frac{1}{\sqrt{2}} \right ) -\frac{1}{2} \left [\frac{1}{2} \ln 2 - \ln (1 + \sqrt{2}) \right ]^2\\ &= -\operatorname{Li}_2 \left (-\frac{1}{\sqrt{2}} \right ) - \frac{1}{8} \ln^2 2 + \frac{1}{2} \ln 2 \ln (1 + \sqrt{2}) - \frac{1}{2} \ln^2 (1 + \sqrt{2}) \end{align} Y \begin{align} \operatorname{Li}_2 (1 - \sqrt{2}) &= -\operatorname{Li}_2 \left (1 - \frac{1}{\sqrt{2}} \right ) - \frac{1}{2} \ln^2 \sqrt{2} \qquad \text{(by (2))}\\ &= \operatorname{Li}_2 \left (\frac{1}{\sqrt{2}} \right ) - \frac{\pi^2}{6} + \ln \left (\frac{1}{\sqrt{2}} \right ) \ln \left (1 - \frac{1}{\sqrt{2}} \right ) - \frac{1}{8} \ln^2 2 \qquad \text{(by (3))}\\ &= \operatorname{Li}_2 \left (\frac{1}{\sqrt{2}} \right ) - \frac{\pi^2}{6} -\frac{1}{2} \ln 2 \ln \left (\frac{1}{\sqrt{2}(1 + \sqrt{2})} \right ) - \frac{1}{8} \ln^2 2\\ &= \operatorname{Li}_2 \left (\frac{1}{\sqrt{2}} \right ) - \frac{\pi^2}{6} + \frac{1}{2} \ln 2 \left [\frac{1}{2} \ln 2 + \ln (1 + \sqrt{2}) \right ] - \frac{1}{8} \ln^2 2\\ &=\operatorname{Li}_2 \left (\frac{1}{\sqrt{2}} \right ) - \frac{\pi^2}{6} + \frac{1}{2} \ln 2 \ln (1 + \sqrt{2}) + \frac{1}{8} \ln^2 2. \end{align} Así \begin{align} \operatorname{Li}_2 (\sqrt{2} - 1) - \operatorname{Li}_2 (1 - \sqrt{2}) &= - \left [\operatorname{Li}_2 \left (\frac{1}{\sqrt{2}} \right ) + \operatorname{Li}_2 \left (-\frac{1}{\sqrt{2}} \right ) \right ] +\frac{\pi^2}{6} - \frac{1}{2} \ln^2 (1 + \sqrt{2}) - \frac{1}{4} \ln^2 2\\ &= -\frac{1}{2} \operatorname{Li}_2 \left (\frac{1}{2} \right ) + \frac{\pi^2}{6} - \frac{1}{2} \ln^2(1 + \sqrt{2}) - \frac{1}{4} \ln^2 2 \qquad \text{(by (4))} \\ &= -\frac{1}{2} \left [\frac{\pi^2}{12} - \frac{1}{2} \ln^2 2 \right ] + \frac{\pi^2}{6} - \frac{1}{2} \ln^2(1 + \sqrt{2}) -\frac{1}{4} \ln^2 2\\ &= \frac{\pi^2}{8} - \frac{1}{2} \ln^2 (1 + \sqrt{2}). \end{align} Aquí el conocido valor de la dilogarithm de la función en $x = 1/2$ ha sido utilizado.

De modo que la suma en ($\dagger$) puede ser expresado como $$\sum_{n = 0}^\infty \frac{(\sqrt{2} - 1)^{2n + 1}}{(2n + 1)^2} = \frac{\pi^2}{16} - \frac{1}{4} \ln^2 (1 + \sqrt{2}).$$

Colocar las últimas piezas del rompecabezas juntas, (1) se convierte en \begin{align} \int_{1}^{1 + \sqrt{2}} \frac{\ln x}{x^2 - 1} \, dx &= -\frac{1}{2} \ln^2 (1 + \sqrt{2}) + \frac{\pi^2}{8} - \left [\frac{\pi^2}{16} - \frac{1}{4} \ln^2 (1 + \sqrt{2}) \right ]\\ &= \frac{\pi^2}{16} - \frac{1}{4} \ln^2 (1 + \sqrt{2}), \end{align} como se requiere.