Cómo encontrar el valor de $I_1=\int_0^\infty\frac{\sqrt{x}\arctan{x}\log^2({1+x^2})}{1+x^2}dx$

Question

Cómo encontrar el valor de $$I_1=\int_0^\infty\frac{\sqrt{x}\arctan{x}\log^2({1+x^2})}{1+x^2}dx$$ Si ponemos $$I_2=\int_0^\infty\frac{\arctan^2({x})\log({1+x^2})}{\sqrt{x}(1+x^2)}dx$$ Después de largos cálculos,he encontrado la siguiente relación. $$I_1-2I_2=\frac{\pi\sqrt{2}}{4}\left(\frac{5}{4}{\pi^3}-4{\pi}G+4{\pi}\ln^{2}2+\frac{5}{2}{\pi^2}\ln2+24G\ln2+12\ln^{3}2+\frac{27}{2}{\zeta(3)}\right)$$ Donde $G$ es el catalán del número.

Answer 1

Esbozo de un método en particular para la integral 1.

Considerar la serie \begin{align} \tan^{-1}(x) = \sum_{n=0}^{\infty} \frac{(1)_{n} (1)_{n}}{n! \, (3/2)_{n}} \, \frac{x^{2n+1}}{(1+x^{2})^{n+1}}. \end{align} Ahora consideremos la integral \begin{align} I(\mu, \nu) = \int_{0}^{\infty} \frac{x^{\nu} \, tan^{-1}(x) }{ (1+x^{2})^{\mu +1}} \, dx. \end{align} A partir de este se ve que: \begin{align} I(\mu, \nu) &= \sum_{n=0}^{\infty} \frac{ (1)_{n} (1)_{n}}{n! (3/2)_{n}} \, \int_{0}^{\infty} \frac{x^{2n+\nu+1} \, dx}{(1+x^{2})^{n+\mu+2}} \\ &= \frac{1}{2} \, \sum_{n=0}^{\infty} \frac{ (1)_{n} (1)_{n}}{n! (3/2)_{n}} \, B(n+ \nu/2 +1, \mu -\nu/2 +1) \\ &= \frac{1}{2} \, B\left( \frac{\nu}{2} +1, \mu - \frac{\nu}{2} + 1\right) \, {}_{3}F_{1}\left( 1, 1, \frac{\nu}{2}+1; \frac{3}{2}, \mu+2; 1\right). \end{align} Para el caso de $\nu = 1/2$ esto se reduce a \begin{align} \int_{0}^{\infty} \frac{\sqrt{x} \, tan^{-1}(x) }{ (1+x^{2})^{\mu +1}} \, dx = \frac{\Gamma\left(\frac{5}{4}\right) \Gamma\left(\mu + \frac{3}{4}\right)}{2 \Gamma(\mu + 2)} {}_{3}F_{2}\left( 1, 1, \frac{5}{4}; \frac{3}{4}, \mu+2; 1\right) \end{align} Tomando la derivada de ambos lados con respecto a $\mu$ conduce a \begin{align} \int_{0}^{\infty} \frac{\sqrt{x} \, tan^{-1}(x) \, \ln(1+x^{2})}{ (1+x^{2})^{\mu +1}} \, dx &= \frac{\Gamma\left(\frac{5}{4}\right) \Gamma\left(\mu + \frac{3}{2}\right)}{2 \, \Gamma(\mu + 2)} \, \left[ \psi\left( \mu + \frac{3}{2}\right) - \psi(\mu+2) \right] \, {}_{3}F_{2}\left( 1, 1, \frac{5}{4}; \frac{3}{2}, \mu + 2; 1 \right) \\ & \hspace{10mm} + \frac{\Gamma\left(\frac{5}{4}\right) \Gamma\left( \mu + \frac{3}{2}\right)}{2 \, \Gamma(\mu + 2) } \, \partial_{\mu} \left[ {}_{3}F_{2}\left( 1, 1, \frac{5}{4}; \frac{3}{2} , \mu + 2; 1 \right) \right] \end{align} y evaluar en $\mu =0$ conduce a \begin{align} \int_{0}^{\infty} \frac{\sqrt{x} \, tan^{-1}(x) \, \ln(1+x^{2})}{ (1+x^{2})^{\mu +1}} \, dx &= \frac{\pi}{4\sqrt{2}} \left( 1 + 3\ln(2) - \frac{\pi}{2} \right) \, {}_{3}F_{2}\left( 1 ,1, \frac{5}{4}; \frac{3}{2}, 2; 1 \right) \\ & \hspace{10mm} - \frac{\pi}{4 \sqrt{2}} \partial_{\mu} \left[ {}_{3}F_{2}\left( 1, 1, \frac{5}{4}; \frac{3}{2}, \mu+2; 1\right) \right]_{\mu=0} \end{align}

La repetición de este proceso conduce a \begin{align} \int_{0}^{\infty} \frac{\sqrt{x} \, tan^{-1}(x) \, \ln^{2}(1+x^{2})}{ (1+x^{2})^{\mu +1}} \, dx &= \frac{\Gamma\left(\frac{5}{4}\right) \Gamma\left(\mu + \frac{3}{2}\right)}{2 \, \Gamma(\mu + 2)} \, \left[ \psi^{'}\left( \mu + \frac{3}{2}\right) - \psi^{'}(\mu+2) + \left( \psi\left(\mu + \frac{3}{2}\right) - \psi(\mu+2) \right)^{2} \right] \\ & \hspace{10mm} \cdot \, {}_{3}F_{2}\left( 1, 1, \frac{5}{4}; \frac{3}{2}, \mu + 2; 1 \right) \\ & \hspace{2mm} + \frac{\Gamma\left(\frac{5}{4}\right) \Gamma\left( \mu + \frac{3}{2}\right)}{ \Gamma(\mu + 2) } \, \left[ \psi\left(\mu + \frac{3}{2}\right) - \psi(\mu+2) \right] \, \partial_{\mu} \left[ {}_{3}F_{2}\left( 1, 1, \frac{5}{4}; \frac{3}{2} , \mu + 2; 1 \right) \right] \\ & \hspace{10mm} + \frac{\Gamma\left(\frac{5}{4}\right) \Gamma\left( \mu + \frac{3}{2}\right)}{ \Gamma(\mu + 2) } \, \partial_{\mu}^{2} \left[ {}_{3}F_{2}\left( 1, 1, \frac{5}{4}; \frac{3}{2} , \mu + 2; 1 \right) \right] \end{align} Al $\mu = 0$ esto se reduce a \begin{align} \int_{0}^{\infty} \frac{\sqrt{x} \, tan^{-1}(x) \, \ln^{2}(1+x^{2})}{1+x^{2}} \, dx &= \frac{\pi}{4 \sqrt{2}} \, \left[ - 8 G + 2 - \pi + (6 - 3 \pi) \ln(2) + 9 \ln^{2}(2) + \frac{13 \pi^{2}}{12} \right] \\ & \hspace{10mm} \cdot \, {}_{3}F_{2}\left( 1, 1, \frac{5}{4}; \frac{3}{2}, 2; 1 \right) \\ & + \frac{\pi}{ 2\sqrt{2} } \, \left[ \frac{\pi}{2} - 1 - 3 \ln(2) \right] \, \partial_{\mu} \left[ {}_{3}F_{2}\left( 1, 1, \frac{5}{4}; \frac{3}{2} , \mu + 2; 1 \right) \right]_{\mu = 0} \\ & \hspace{10mm} + \frac{\pi}{ 4 \sqrt{2} } \, \partial_{\mu}^{2} \left[ {}_{3}F_{2}\left( 1, 1, \frac{5}{4}; \frac{3}{2} , \mu + 2; 1 \right) \right]_{\mu = 0} \end{align}