Método diferente de probar$\int_{0}^{1}{ dx\over x}\ln\left({1-\sqrt{x}\over 1+\sqrt{x}}\cdot{1+\sqrt[3]{x}\over 1-\sqrt[3]{x}}\cdots\right)=-\pi^2$

Question

Dada la integral$(1)$

PS

Un intento:

$$\text{Prove that}\ \int_{0}^{1}{\mathrm dx\over x}\ln\left({1-\sqrt{x}\over 1+\sqrt{x}}\cdot{1+\sqrt[3]{x}\over 1-\sqrt[3]{x}}\cdot{1-\sqrt[5]{x}\over 1+\sqrt[5]{x}}\right)=-\pi^2\tag1$, entonces$u=x^2,x^3 \text{and}\ x^5$ se convierte en

PS

Simplificar a

PS

Aplicar$(1)$ serie, entonces tenemos

PS

PS

Buscando otro método para probar$$\int_{0}^{1}{\mathrm du\over u}\ln\left[\left({1-u\over 1+u}\right)^2\left({1+u\over 1-u}\right)^3\left({1-u\over 1+u}\right)^5\right]\tag2$

Answer 1

Vamos a generalizar a nosotros

$$\int^1_0 \frac{\mathrm d x}{x} \log \left(\frac{1-x^a}{1+x^a}\right)$$

Deje $x^a = y $, lo que implica $\mathrm d x = \frac{1}{a}y^{\frac{1}{a}-1} \mathrm d y$

\begin{align}\int^1_0 \frac{\frac{1}{a}y^{\frac{1}{a}-1}\mathrm dy}{y^{\frac{1}{a}}} \log \left(\frac{1-y}{1+y}\right) &= \frac{1}{a}\int^1_0 \frac{\mathrm dy}{y} \log \left(\frac{1-y}{1+y}\right) \\&=\frac{1}{a}\int^1_0 \frac{\log(1-y)}{y} \mathrm dy- \frac{1}{a}\int^1_0 \frac{\log(1+y)}{y} \mathrm dy \\&= \frac{\mathrm{Li}_2(-1)-\mathrm{Li}_2(1)}{a} \\ &= -\frac{\pi^2}{4a}\end{align}

Consideremos ahora el caso general

\begin{align}\int^1_0 \frac{\mathrm d x}{x} \log \left(\prod_{k=1}^{n}\frac{1-x^{a_k}}{1+x^{a_k}}\right) &=\sum_{k=1}^n\int^1_0 \frac{\mathrm d x}{x} \log \left(\frac{1-x^{a_k}}{1+x^{a_k}}\right) \\&=-\frac{\pi^2}{4}\sum_{k=1}^n\frac{1}{a_k} \end{align}

Así, obtenemos el resultado de $a_k \geq 1$

$$\int^1_0 \frac{\mathrm d x}{x} \log \left[\prod_{k=1}^{n}\frac{1-x^{1/a_k}}{1+x^{1/a_k}}\right] =-\frac{\pi^2}{4}\sum_{k=1}^n a_k$$

Del mismo modo

$$\int^1_0 \frac{\mathrm d x}{x} \log \left[\prod_{k=1}^{n}(-1)^{k-1}\frac{1-x^{1/a_k}}{1+x^{1/a_k}}\right] =\frac{\pi^2}{4}\sum_{k=1}^n a_k (-1)^k$$

En tu caso, tenemos la secuencia

$$a_k = 2, 3 , 5 $$

Por lo tanto

\begin{align}\int_{0}^{1}{\mathrm dx\over x}\ln\left({1-\sqrt{x}\over 1+\sqrt{x}}\cdot{1+\sqrt[3]{x}\over 1-\sqrt[3]{x}}\cdot{1-\sqrt[5]{x}\over 1+\sqrt[5]{x}}\right)&= \int_{0}^{1}{\mathrm dx\over x}\log \prod^3_{k=1}(-1)^{k-1}\left(\frac{1-x^{1/a_k}}{1+x^{1/a_k}}\right)\\&=\frac{\pi^2}{4}\sum_{k=1}^3 (-1)^k a_k \\&= \frac{\pi^2(-2+3-5)}{4} = -\pi^2\end{align}

Tal vez si somos capaces de intercambio el límite de la integral y bajo algunas condiciones en $a_k$

$$\int^1_0 \frac{\mathrm d x}{x} \log \left[\prod_{k=1}^{\infty}\frac{1-x^{1/a_k}}{1+x^{1/a_k}}\right] =-\frac{\pi^2}{4}\sum_{k=1}^{\infty} a_k$$