¿Se puede evaluar la integral \begin{align} \int_{0}^{1} \frac {\ln^{2}(x)~\ln^{2}(1-x)}{\sqrt{1-x}}~\mathrm{d}x \end{align> en términos de $\zeta(3)$ y $\ln(2/\mathrm{e})$ ?
Respuesta
¿Demasiados anuncios?Una forma posible de evaluar esta integral es comenzar desde $$ B(s,t)=\int_0^1x^{s-1}(1-x)^{t-1}dx=\frac{\Gamma(s)\Gamma(t)}{\Gamma(t+s)} $$ Por lo tanto $$ \int_0^1\frac{\ln^2 x\ln^2(1-x)}{\sqrt{1-x}}dx=\left.\frac{\partial^4}{\partial^2s\partial^2t}B(s,t)\right\vert_{(s,t)=(1,\frac{1}{2})} $$ Esto da como resultado, después de simplificar, $$ \int_0^1\frac{\ln^2 x\ln^2(1-x)}{\sqrt{1-x}}dx= \frac{1}{3} \left(168 \zeta (3) (\ln 4-4)-3 \pi ^4+48 (48+(\ln 4 -12) \ln 4 )+8 \pi ^2 (\ln 64 -14)\right). $$ De hecho, esta simplificación se puede hacer utilizando fórmulas sobre la función Polygamma, como $(15)$ y $(16)$ aquí. Agradezco a O.L. por esta información.
0 votos
¿Qué quieres decir con "en términos de"? Cualquier número puede escribirse como una combinación lineal de $\zeta(3)$ y $\ln(2/\mathrm{e})$.
0 votos
Mathematica lo calculó como $$56 \zeta (3) (\log (4)-4)-\pi ^4+16 (48+(\log (4)-12) \log (4))+\frac{8}{3} \pi ^2 (\log (64)-14)$$
0 votos
La idea, en general, es mostrar el proceso paso a paso de la evaluación de la integral. Esto serviría para demostrar si Mathematica, u otro programa similar, es correcto o necesita tener otro resultado en su colección.
0 votos
@FlybyNight tu comentario es realmente interesante y ha impulsado la pregunta: math.stackexchange.com/questions/793551/…