De forma cerrada de $\int_0^1\left(\frac{\arctan x}{x}\right)^n\,dx$

Question

Inspirado por esta pregunta, ¿hay una forma cerrada de

$$\int_0^1\left(\frac{\arctan x}{x}\right)^n\,dx\,?$$

Aquí $n \in \mathbb{N_+}$. En las respuestas a la pregunta anterior, podríamos encontrar evidencias de casos $n=2,3$.

He estado aquí algunos casos específicos.

$$\begin{align} \int_0^1\frac{\arctan x}{x}\,dx & = G, \\ \int_0^1\left(\frac{\arctan x}{x}\right)^2\,dx & =G-\frac{\pi^2}{16}+\frac{\pi}{4}\ln2,\\ \int_0^1\left(\frac{\arctan x}{x}\right)^3\,dx & = \frac{3G}{2}-\frac{\pi^3}{64}-\frac{3\pi^2}{32}+\frac{3\pi}{8}\ln2.\\ \end{align}$$

Furtheremore he evaluado $n=4,5$ de los casos.

$$\int_{0}^{1}\left(\frac{\arctan(x)}{x}\right)^4dx$$

es igual a

$$2G-\frac{3\pi^4}{256}-\frac{\pi^3}{48}-\frac{\pi^2}{8}-\frac{\pi^2G}{8}+\frac{‌​3\pi}{64}\zeta(3)-\frac{\pi^3}{96} \ln2+\frac{\pi}{2} \ln2+\frac{1}{768}\psi_3\left(\frac{1}{4}\right),$$

y

$$\int_{0}^{1}\left(\frac{\arctan(x)}{x}\right)^5dx$$

es igual a

$$\frac{5G}{2}-\frac{25\pi^4}{512}-\frac{5\pi^3}{192}-\frac{5\pi^2}{32}-\frac{5\pi^2 G}{8}+\frac{15\pi}{64}\zeta(3)-\frac{5\pi^3}{96}\ln 2+\frac{5\pi}{8}\ln 2 + \frac{5}{768}\psi_3\left(\frac{1}{4}\right).$$

Aquí $G$ es del catalán constante, $\zeta$ es la de Riemann zeta función, $\psi_3$ es el polygamma función de orden $3$, e $\pi$ es también un famoso constante.

Tenga en cuenta que el problema está relacionado con Dirichlet función beta, ya que

$$\begin{align} \beta(2) & = G \\ \beta(3) & = \frac{\pi^3}{32} \\ \beta(4) & = \frac{1}{768}\left(\psi_3\left(\frac{1}{4}\right)-8\pi^4\right). \end{align}$$

Answer 1

Por medio de la sustitución e integración por partes, $$\begin{align}&\int_0^1\left(\frac{\tan^{-1}x}{x}\right)^n\,dx=\int_0^{\pi/4}\frac{x^n}{\tan^n x}\sec^2 x\,dx\\&=\left[\frac{x^n}{\tan^n x}\tan x\right]_0^{\pi/4}-\int_0^{\pi/4}\frac{nx^{n-1}}{\tan^{n-1}x}-\frac{nx^n}{\tan^n x}\sec^2x\,dx\end{align}$$ Así que tenemos $$\int_0^1\left(\frac{\tan^{-1}x}{x}\right)^n\,dx=\frac{n}{n-1}\int_0^{\pi/4}\frac{x^{n-1}}{\tan^{n-1}x}\,dx-\frac{1}{n-1}\left(\frac{\pi}{4}\right)^n$$ Ahora defina $\displaystyle I(m,n)=\int_0^{\pi/4}x^m\cot^nx\,dx$$m\ge n$. Usando integración por partes, se obtiene una fórmula de recurrencia. $$\begin{align}I(m,n)&=\int_0^{\pi/4}x^{m}\cot^{n}x\,dx\\&=\left[\frac{1}{m+1}x^{m+1}\cot^n x\right]_0^{\pi/4}+\frac{n}{m+1}\int_0^{\pi/4}x^{m+1}\cot^{n-1}x(\cot^2x+1)\,dx\end{align}$$ Así que tenemos $\displaystyle I(m,n)=-I(m,n-2)+\frac{m}{n-1}I(m-1,n-1)-\frac{1}{n-1}\left(\frac\pi4\right)^m$. Ahora debemos determinar $I(m,0)$ $I(m,1)$ encontrar $I(n-1,n-1)$. Se ve fácilmente $$I(m,0)=\frac{1}{m+1}\left(\frac\pi4\right)^{m+1}$$ $I(m,1)$ es un poco de un problema. Esto es donde las cosas empiezan a mancharse.(Todos los zetas, los catalanes, y polygammas aparecen aquí) $$\begin{align}I(m,1)&=\int_0^{\pi/4}x^m\cot x\,dx\\&=\left[x^m\log\sin x\right]_0^{\pi/4}-m\int_0^{\pi/4}x^{m-1}\log\sin x\,dx\\&=\frac{\log 2}{2}\left(\frac{\pi}{4}\right)^m+\sum_{n=1}^\infty\frac mn\int_0^{\pi/4}x^{m-1}\cos 2nx\,dx\end{align}$$ Ahora usando integración por partes, $$\int_0^{\pi/4}x^{m-1}\cos 2nx\,dx=\frac{1}{2n}\left(\frac\pi4\right)^{m-1}\sin\frac{n\pi}2+\frac{m-1}{(2n)^2}\left(\frac\pi4\right)^{m-2}\cos\frac{n\pi}2-\frac{(m-1)(m-2)}{(2n)^2}\int_0^{\pi/4}x^{m-3}\cos 2nx\,dx$$ Este rendimientos $$\begin{align}\int_0^{\pi/4}x^{m-1}\cos 2nx\,dx=&\sin\frac{n\pi}{2}\sum_{k=1}^{[\frac{m+1}2]}\frac{(-1)^{k-1}}{(2n)^{2k-1}}\left(\frac\pi4\right)^{m-2k+1}\frac{(m-1)!}{(m-2k+1)!}\\&+\cos\frac{n\pi}{2}\sum_{k=1}^{[\frac m2]}\frac{(-1)^{k-1}}{(2n)^{2k}}\left(\frac\pi4\right)^{m-2k}\frac{(m-1)!}{(m-2k)!}+\left(\frac{(m-1)!}{(2n)^m}(-1)^{m/2}\right)_{2|m}\end{align}$$ donde el último término de $\displaystyle\left(\frac{(m-1)!}{(2n)^m}(-1)^{m/2}\right)$ está presente iff $m$ es incluso. Ahora el enchufe en la anterior suma y recibimos el $I(m,1)$. $$\begin{align}I(m,1)=&\sum_{k=1}^{[\frac{m+1}2]}\frac{(-1)^{k-1}\pi^{m+1-2k}}{2^{2m+1+4k}}\binom{m}{2k-1}\left(\psi_{2k-1}\left(\frac14\right)-\psi_{2k-1}\left(\frac34\right)\right)\\&+\sum_{k=1}^{[\frac m2]}\frac{(-1)^{k-1}\pi^{m-2k}(2^{2k}-1)}{2^{2m+2k+1}}\frac{m!}{(m-2k)!}\zeta(2k+1)+\left(\frac{(-1)^{m/2}m!}{2^m}\zeta(m+1)\right)_{2|m}\end{align}$$