Integral dilogarítmica definida generalizada.

Question

Sea $p$ y $q$ sean números enteros tales que $p\ge 1$ y $q\ge 2$ y que $t\in(-1,1)$ . Consideramos la siguiente integral. \begin{equation} {\mathcal A}^{(p,2)}_q(t) := \int\limits_0^1 [\log(\xi)]^p \frac{[Li_q(t \xi)]^2}{\xi} d\xi \end{equation} donde $Li_{.}(.)$ es el polilogaritmo. Generalizando el planteamiento de Integral de dilogaritmo definido $\int^1_0 \frac{\operatorname{Li}_2^2(x)}{x}\, dx $ calculamos lo siguiente: \begin{eqnarray} &&{\mathcal A}^{(p,2)}_2(1) = (-1)^{p-1} p! \cdot \\ &&\left[ \sum\limits_{l=1}^{p+1} (p+2-l) {\bf H}^{(l)}_{p+5-l}(1) - \sum_{l=2}^{p+1} (p+2-l) \zeta(l) \zeta(p+5-l) - \zeta(2) \zeta(p+3)\right] \end{eqnarray} aquí ${\bf H}^{(l)}_n(t) := \sum\limits_{m=1}^\infty H_m^{(l)}/m^n \cdot t^m$ . Ahora, la pregunta obvia es cuál es el resultado para el genérico $t$ y genérico $q\ge 2$ .

Answer 1

Exponemos el resultado para $q=2$ y para $t$ . Tenemos: \begin{eqnarray} &&{\mathcal A}^{(p,2)}_2(t) = (-1)^{p-1} p!\cdot \\ &&\left[ \sum\limits_{l=1}^{p+1}(p+2-l)\sum\limits_{k=1}^\infty \frac{t^k}{k^l} \zeta(5-l+p,k)- \sum\limits_{l=2}^{p+1} (p+2-l) Li_l(t) Li_{p+5-l}(1) - Li_2(t) Li_{p+3}(t) - (p+1)Li_1(t) [Li_{p+4}(1) - Li_{p+4}(t)] \right] = \\ &&(-1)^p p! \cdot \\ &&\left[ -\binom{p+2}{2} Li_{p+5}(t) - (p+1) Li_1(t) Li_{p+4}(t) + Li_2(t) Li_{p+3} (t) + \sum\limits_{l=1}^{p+1} (p+2-l) {\bf H}^{(p+5-l)}_l(t) \right] \end{eqnarray} Aquí $\zeta()$ es la función zeta de Hurwitz. La generalización para $q \ge 1$ es bastante sencillo, por lo que sólo expondremos el resultado final. Lo tenemos: \begin{eqnarray} &&{\mathcal A}^{(p,2)}_q(t) = (-1)^p p! \cdot \\ &&\left( \sum\limits_{l_1=0}^q \binom{q+p-l_1}{p} \left\{Li_{l_1}(t) \cdot 1_{l_1 \ge 1} - 1 \cdot 1_{l_1=0}\right\}\cdot Li_{2q+p+1-l_1}(t) (-1)^{q-l_1} + \sum\limits_{l_1=1}^{p+1} \binom{q+p-l_1}{q-1} (-1)^q {\bf H}^{(2q+p+1-l_1)}_{l_1}(t) \right) \end{eqnarray} Aquí ambos $q\ge 1$ y $p\ge 1$ y $t\in(-1,1)$ y ${\bf H}^{(q)}_p(t) := \sum\limits_{m=1}^\infty H_m^{(q)}/m^p \cdot t^m$ .

Answer 2

Esta respuesta sólo es válida para $t=-1$ y para $p=0$ Tenemos: \begin{eqnarray} &&{\mathcal A}^{(0,2)}_q(-1) := \int\limits_0^1 \frac{[Li_q(-\xi)]^2}{\xi} d\xi\\ &&=\frac{1}{2^{2 q-2}} \int\limits_0^1 \frac{[Li_q(\xi^2)]^2}{\xi} d\xi - \frac{2}{2^{q-1}} \int\limits_0^1 \frac{Li_q(\xi^2)Li_q(\xi)}{\xi}d\xi + \int\limits_0^1 \frac{[Li_q(\xi)]^2}{\xi}d\xi \\ &&=\left(\frac{1}{2^{2q-1}}-1\right)\cdot \int\limits_0^1 \frac{[Li_q(\xi)]^2}{\xi}d\xi - 2 \int\limits_0^1 \frac{Li_q(-\xi) Li_q(\xi)}{\xi} d\xi \end{eqnarray} En la segunda línea desde arriba utilizamos la identidad $Li_q(-\xi) = (1/2^{q-1})\cdot Li_q(\xi^2) - Li_q(\xi)$ válido para $q=1,2,\cdots$ y en la línea siguiente cambiamos las variables en consecuencia y simplificamos el resultado. La primera integral en el rhs ya se ha calculado anteriormente y se lee: \begin{eqnarray} &&\int\limits_0^1 \frac{[Li_q(\xi)]^2}{\xi}d\xi \\ &&=\sum\limits_{l=2}^q \zeta(l) \zeta(2q+1-l)(-1)^{q-l} + (-1)^{q-1} {\bf H}^{(1)}_{2 q}(+1)\\ &&= \sum\limits_{l=2}^q \zeta(l) \zeta(2q+1-l)(-1)^{q-l} +(q+1) (-1)^{q-1} \zeta(1+2 q) + \frac{(-1)^{q}}{2} \sum\limits_{l=2}^{2q-1} \zeta(l) \zeta(2q+1-l) \end{eqnarray} La segunda integral se calcula integrando por partes $(q+1)$ veces y expandiendo la integral restante en una serie e integrando término a término. Tenemos: \begin{eqnarray} &&\int\limits_0^1 \frac{Li_q(-\xi)Li_q(\xi)}{\xi}d\xi =\\ && \sum\limits_{l=0}^{q-1} Li_{q-l}(-1) Li_{q+1+l}(1) (-1)^l + (-1)^q \sum\limits_{l=1}^{2q-1} Li_{l}(-1) \zeta(2q+1-l)(-1)^{l-1} + (-1)^{q+1} {\bf H}^{(1)}_{2 q}(-1)=\\ && \sum\limits_{l=0}^{q-1} (-1+\frac{1}{2^{q-l-1}}) \zeta(q-l) \zeta(q+1+l) (-1)^l + (-1)^q \sum\limits_{l=1}^{2q-1} (-1+\frac{1}{2^{l-1}})\zeta(l) \zeta(2q+1-l)(-1)^{l-1} + (-1)^{q+1} {\bf H}^{(1)}_{2 q}(-1) \end{eqnarray} Esto finaliza el cálculo. La generalización a enteros no negativos arbitrarios $p$ es bastante sencillo y lo proporcionaremos más adelante. El resultado es el siguiente: \begin{eqnarray} &&{\mathcal A}^{(p,2)}_q(-1)=(-1)^p p! \cdot\left\{\right.\\ &&\sum\limits_{l=2}^q \binom{q+p-l}{p} \left[1+\frac{1}{2^{2q-1+p}} - \frac{1}{2^{2q-1+p-l}}\right]\cdot \zeta(2q+p+1-l)\zeta(l)(-1)^{q-l}+\\ &&\sum\limits_{l=2}^{p+1} \binom{q+p-l}{q-1} \left[1+\frac{1}{2^{2q-1+p}} - \frac{1}{2^{2q-1+p-l}}\right]\cdot \zeta(2q+p+1-l)\zeta(l)(-1)^{q}+\\ &&\sum\limits_{l=1}^{p+1} \binom{q+p-l}{q-1} (-1)^{q-1} \left[(\frac{1}{2^{2q-1+p}}-1)\cdot {\bf H}^{(l)}_{2q+p+1-l}(+1) - 2 {\bf H}^{(l)}_{2q+p+1-l}(-1)\right]\\ &&\left.\right\} \end{eqnarray} para $p\ge 0$ y para $q\ge 1$ .