Dos integrales definidas

Question

Estas integrales están estrechamente relacionados desde $\frac{\pi^2}{8}=\sum_{n=0}^{\infty} \frac{1}{(2n+1)^2}$$G=\sum_{n\mathop=0}^{\infty} \frac{(-1)^{n}}{(2n+1)^2}$. Yo no soy capaz de demostrar que ellos, aunque.

Mostrar que $$\int_0^1 \frac{1}{\sqrt{x^2-1}}\log\left(\frac{\sqrt{x+1}+\sqrt{x-1}}{\sqrt{x+1}-\sqrt{x-1}}\right)\,\mathrm{d}x =\frac{\pi^2}{8}$$ $$\int_1^{\infty} \frac{1}{x\sqrt{x^2-1}}\log\left(\frac{\sqrt{x+1}+\sqrt{x-1}}{\sqrt{x+1}-\sqrt{x-1}}\right)\,\mathrm{d}x =2G$$

donde $G$ es del catalán constante.

Answer 1

La primera integral es más fácil de lo que parece. Escribir

$$\begin{align}I &= \int_0^1 \frac{dx}{\sqrt{x^2-1}} \log{\left (\frac{\sqrt{x+1}+\sqrt{x-1}}{\sqrt{x+1}-\sqrt{x-1}} \right )} \\ &= -i \int_0^1 \frac{dx}{\sqrt{1-x^2}} \log{\left (x+i \sqrt{1-x^2}\right )}\\ &= \int_0^1 \frac{dx}{\sqrt{1-x^2}} \arccos{x}\\ &= -\frac12 \left [\arccos^2{x} \right ]_0^1\\ &= \frac{\pi^2}{8}\end{align}$$

La segunda integral es también sencillo, usando el sub $x=\cosh{t}$:

$$\begin{align}J &= \int_1^{\infty} \frac{dx}{x \sqrt{x^2-1}} \log{\left (\frac{\sqrt{x+1}+\sqrt{x-1}}{\sqrt{x+1}-\sqrt{x-1}} \right )} \\ &= \int_0^{\infty} dt \frac{t}{\cosh{t}}\\ &=2 \sum_{k=0}^{\infty} (-1)^k \int_0^{\infty} dt \, t \, e^{-(2 k+1) t}\\ &= 2 \sum_{k=0}^{\infty} \frac{(-1)^k}{(2 k+1)^2} \\ &= 2 G\end{align}$$

Answer 2

Tenga en cuenta que$\cosh^{-1}{x}=\log\left(\frac{\sqrt{x+1}+\sqrt{x-1}}{\sqrt{x+1}-\sqrt{x-1}}\right)$$\frac{d}{dx}\cosh^{-1}{x}=\frac{1}{\sqrt{x^2-1}}$. Sustituyendo $u=\cosh^{-1}{x}$ en la primera integral, obtenemos:

$$\int_0^1 \frac{1}{\sqrt{x^2-1}}\log\left(\frac{\sqrt{x+1}+\sqrt{x-1}}{\sqrt{x+1}-\sqrt{x-1}}\right)\,\mathrm{d}x=\int_{\frac{i\pi}{2}}^{0}udu=\frac12u^2\big |_{\frac{i\pi}{2}}^0=-\frac12(\frac{i\pi}{2})^2=\frac{\pi^2}{8}.$$