Buscar

Question

Encontré esta integral mientras trabajaba en una serie difícil.

un amigo pudo evaluarlo dando: $$\int_0^1 \frac{\ln^2x\arctan x}{x(1+x^2)}\ dx=\frac{\pi^3}{16}\ln2-\frac{7\pi}{64}\zeta(3)-\frac{\pi^4}{96}+\frac1{768}\psi^{(3)}\left(\frac14\right) usando la manipulación integral. Se aprecian otros enfoques.

Answer 1

solución por Kartick Betal.

$$\begin{align} I&=\int_0^1 \frac{\ln^2x\arctan x}{x(1+x^2)}\ dx=\int_0^\infty \frac{\ln^2x\arctan x}{x(1+x^2)}\ dx-\underbrace{\int_1^\infty \frac{\ln^2x\arctan x}{x(1+x^2)}\ dx}_{\displaystyle x\mapsto 1/x}\\ &=\int_0^\infty \frac{\ln^2x\arctan x}{x(1+x^2)}\ dx-\int_0^1 \frac{x\ln^2x\left(\frac{\pi}{2}-\arctan x\right)}{1+x^2}\ dx\\ &=\int_0^\infty \frac{\ln^2x\arctan x}{x(1+x^2)}\ dx-\frac{\pi}{2}\int_0^1 \frac{x\ln^2x}{1+x^2}\ dx+\int_0^1 \frac{x\ln^2x\arctan x}{1+x^2}\ dx\\ &=\int_0^\infty \frac{\ln^2x\arctan x}{x(1+x^2)}\ dx-\frac{\pi}{2}\times\frac3{16}\zeta(3)+\int_0^1 \left(\frac1x-\frac1{x(1+x^2)}\right)\ln^2x\arctan x\ dx\\ &=\int_0^\infty \frac{\ln^2x\arctan x}{x(1+x^2)}\ dx-\frac{3\pi}{32}\zeta(3)+\int_0^1 \frac{\ln^2x\arctan x}{x}\ dx-I\\ 2I&=\int_0^\infty \frac{\ln^2x\arctan x}{x(1+x^2)}\ dx-\frac{3\pi}{32}\zeta(3)+2\beta(4)\tag{1}\\ \end{align}$$ el uso de $\ \displaystyle\arctan x=\int_0^1\frac{x}{1+x^2y^2}\ dy\ $, obtenemos $$\begin{align} K&=\int_0^\infty \frac{\ln^2x\arctan x}{x(1+x^2)}\ dx=\int_0^\infty \frac{\ln^2x}{x(1+x^2)}\left(\int_0^1\frac{x}{1+x^2y^2}\ dy\right)\ dx\\ &=\int_0^1\frac{1}{1-y^2}\left(\int_0^\infty\frac{\ln^2x}{1+x^2}\ dx-\int_0^\infty\frac{y^2\ln^2x}{1+x^2y^2}\ dx\right)\ dy\\ &=\int_0^1\frac{1}{1-y^2}\left(\frac{\pi^3}{8}-\frac{y\pi^3}{8}-\frac{y\pi\ln^2y}{2}\right)\ dy\\ &=\frac{\pi^3}{8}\int_0^1\frac{1-y}{1-y^2}\ dy-\frac{\pi}2\int_0^1\frac{y\ln^2y}{1-y^2}\ dy\\ &=\frac{\pi^3}{8}\int_0^1\frac{1}{1+y}\ dy-\frac{\pi}{16}\int_0^1\frac{\ln^2y}{1-y}\ dy\\ &=\frac{\pi^3}{8}\ln2-\frac{\pi}{8}\zeta(3)\tag{2} \end{align}$$ conectar $(2)$ en $(1)$, obtenemos $$I=\frac{\pi^3}{16}\ln2-\frac{7\pi}{32}\zeta(3)+\beta(4)$$

conectar $\ \displaystyle\beta(4)=\frac1{768}\left(\psi^{(3)}\left(\frac14\right)-8\pi^4\right)\ $ a partir de aquí, se obtiene la forma cerrada de $\ I$.