La evaluación de $\int^1_0 \frac{\operatorname{Li}_3(x)}{1-x} \log(x)\, \mathrm dx$

Question

¿Cómo se podría solucionar el siguiente

$$\int^1_0 \frac{\operatorname{Li}_3(x)}{1-x} \log(x)\, \mathrm dx$$

Yo podría ser capaz de relacionar la integral de Euler sumas .

Answer 1

Un problema relacionado. Usted puede tener la siguiente forma cerrada

$$\int^1_0 \frac{\operatorname{Li}_3(x)}{1-x} \log(x)\, dx= -\sum _{k=1}^{\infty }{\frac {\psi' \left( k+1 \right) }{{k}^{3}}}\sim -0.7115661976, $$

donde $\psi(x)$ es la función digamma.

Otra posible solución:

$$\int^1_0 \frac{\operatorname{Li}_3(x)}{1-x} \log(x)\, dx = \zeta(5) -\sum _{k=1}^{\infty }{\frac {\psi' \left( k \right) }{{k}^{3}}}\sim -0.7115661976. $$

Añadido: el primero, y sólo usar el poder de la serie de expansiones de $\operatorname{Li}_3(x)$$\frac{1}{1-x}$, y usted termina con

$$\sum_{k=1}^{\infty}\frac{1}{k^3}\sum_{n=0}^{\infty} \int_{0}^{1} x^{k+n}\ln(x)dx=-\sum_{k=1}^{\infty}\frac{1}{k^3}\sum_{n=0}^{\infty}\frac{1}{(n+k+1)^2} $$

$$ = -\sum_{k=1}^{\infty}\frac{\psi'(k+1)}{k^3}. $$

Si se manipula la última suma, usted será capaz de relacionarse a la de Euler sumas como

$$ -\sum_{k=1}^{\infty}\frac{\psi'(k+1)}{k^3}= \zeta(5)-\sum_{n=1}^{\infty}\frac{H_n^{(3)}}{n^2}.$$

Nota: Observe que, estamos recibiendo las identidades de las $\zeta(5)$.

Answer 2

$\newcommand{\ángulos}[1]{\left\langle\, nº 1 \,\right\rangle} \newcommand{\llaves}[1]{\left\lbrace\, nº 1 \,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\, nº 1 \,\right\rbrack} \newcommand{\ceil}[1]{\,\left\lceil\, nº 1 \,\right\rceil\,} \newcommand{\dd}{{\rm d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,{\rm e}^{#1}\,} \newcommand{\fermi}{\,{\rm f}} \newcommand{\piso}[1]{\,\left\lfloor #1 \right\rfloor\,} \newcommand{\mitad}{{1 \over 2}} \newcommand{\ic}{{\rm i}} \newcommand{\iff}{\Longleftrightarrow} \newcommand{\imp}{\Longrightarrow} \newcommand{\pars}[1]{\left (\, nº 1 \,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\parcial #3^{#1}}} \newcommand{\pp}{{\cal P}} \newcommand{\raíz}[2][]{\,\sqrt[#1]{\vphantom{\large Un}\,#2\,}\,} \newcommand{\sech}{\,{\rm sech}} \newcommand{\sgn}{\,{\rm sgn}} \newcommand{\totald}[3][]{\frac{{\rm d}^{#1} #2}{{\rm d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\, nº 1 \,\right\vert}$ $\ds{\int_{0}^{1}{{\rm Li}_{3}\pars{x}\ln\pars{x} \over 1 - x}\,\dd x: \ {\large ?}}$.

En este post se muestra, en general, los motivos, que: $$ \int_{0}^{1}{{\rm Li}_{q}\pars{x}\ln^{i - 1}\pars{x} \over 1 - x}\,\dd x =\pars{-1}^{i - 1}\pars{i - 1}!\bracks{\zeta\pars{r}\zeta\pars{q}% -\sum_{n = 1}^{\infty}{H_{n}^{\rm\pars{r}} \over n^{q}}} $$ donde $\ds{\zeta\pars{z}}$ es la de Riemann Zeta Funcióny $\ds{H_{n}^{\rm \pars{r}} \equiv \sum_{k = 1}^{n}{1 \over k^{\rm r}}}$ es un Generalizada Número Armónico

tal que $\ds{\pars{~\mbox{with}\ q = 3\ \mbox{and}\ r = 2~}}$: $$ \int_{0}^{1}{{\rm Li}_{3}\pars{x}\ln\pars{x} \over 1 - x}\,\dd x =\sum_{n = 1}^{\infty}{H_{n}^{\rm\pars{2}} \over n^{3}} - \zeta\pars{2}\zeta\pars{3}\,,\qquad H_{n}^{\rm\pars{2}} = \sum_{k = 1}^{n}{1 \over k^{2}} $$

En un comentario de esta respuesta, el OP $\pars{\tt @Zaid\ Alfayeai}$ señaló que $\ds{\sum_{n = 1}^{\infty}{H_{n}^{\rm\pars{2}} \over n^{3}} = 3\zeta\pars{2}\zeta\pars{3} - {9 \over 2}\,\zeta\pars{5}}$ tal que

$$\color{#66f}{\large% \int_{0}^{1}{{\rm Li}_{3}\pars{x}\ln\pars{x} \over 1 - x}\,\dd x =2\zeta\pars{2}\zeta\pars{3} - {9 \over 2}\,\zeta\pars{5}} \approx {\tt -0.7115} $$

Answer 3

\begin{align} \int^1_0\frac{\log{x} \ {\rm Li}_3(x)}{1-x}{\rm d}x &=\sum^\infty_{n=1}H_n^{(3)}\int^1_0x^n\log{x} \ {\rm d}x\\ &=-\sum^\infty_{n=1}\frac{H_n^{(3)}}{(n+1)^2}\\ &=\sum^\infty_{n=1}\frac{1}{(n+1)^5}-\sum^\infty_{n=1}\frac{H_{n+1}^{(3)}}{(n+1)^2}\\ &=\zeta(5)-\underbrace{\sum^\infty_{n=1}\frac{H_{n}^{(3)}}{n^2}}_{S} \end{align} Considere la posibilidad de $\displaystyle f(z)=\frac{\pi\cot{\pi z} \ \Psi^{(2)}(-z)}{z^2}$. Sabemos que \begin{align}\pi\cot{\pi z}&=\frac{1}{z-n}-2\sum^\infty_{k=1}\zeta(2k)(z-n)^{2k-1}\\&\approx\frac{1}{z-n}-2\zeta(2)(z-n)\end{align} (véase aquí para una prueba) y \begin{align}\Psi^{(2)}(-z)&=\frac{2}{(z-n)^3}+\sum^\infty_{k=2}(-1)^{k}k(k-1)\left(H_n^{(k+1)}+(-1)^{k+1}\zeta(k+1)\right)(z-n)^{k-2}\\&\approx\frac{2}{(z-n)^3}+2\left(H_n^{(3)}-\zeta(3)\right)\end{align} En los enteros positivos, \begin{align} {\rm Res}(f,n) &=\operatorname*{Res}_{z=n}\left[\frac{2}{z^2(z-n)^4}-\frac{4\zeta(2)}{z^2(z-n)^2}+\frac{2\left(H_n^{(3)}-\zeta(3)\right)}{z^2(z-n)}\right]\\ &=-\frac{8}{n^5}+\frac{8\zeta(2)}{n^3}+\frac{2H_n^{(3)}}{n^2}-\frac{2\zeta(3)}{n^2} \end{align} En los enteros negativos, \begin{align} {\rm Res}(f,-n) &=\frac{\Psi^{(2)}(n)}{n^2}\\ &=\frac{2H_{n}^{(3)}}{n^2}-\frac{2\zeta(3)}{n^2}-\frac{2}{n^5} \end{align} En $z=0$, \begin{align} {\rm Res}(f,0) &=[z^1]\left(\frac{1}{z}-2\zeta(2)z\right)\left(-2\zeta(3)-12\zeta(5)z^2\right)\\ &=-12\zeta(5)+4\zeta(2)\zeta(3) \end{align} Por lo tanto \begin{align}4S&=8\zeta(5)-8\zeta(2)\zeta(3)+2\zeta(2)\zeta(3)+2\zeta(2)\zeta(3)+2\zeta(5)+12\zeta(5)-4\zeta(2)\zeta(3)\\&=22\zeta(5)-8\zeta(2)\zeta(3)\end{align} lo que implica $$\color{blue}{\int^1_0\frac{\log{x} \ {\rm Li}_3(x)}{1-x}}=\zeta(5)-\frac{22\zeta(5)-8\zeta(2)\zeta(3)}{4}=\color{blue}{2\zeta(2)\zeta(3)-\frac{9}{2}\zeta(5)}$$

Answer 4

$$\int_0^1\ln(x)\frac{Li_1(x)}{1-x}dx=-\zeta(3)$$ $$\int_0^1\ln(x)\frac{Li_2(x)}{1-x}dx=-\frac{3}{10}\zeta^2(2)$$ El mismo método puede funcionar para el presente caso. (Continuará.)