Prueba $\sum_{k=1}^{\infty}\frac{(-1)^k}{(2k+1)^2}(2H_{2k}+H_k)=\frac{\pi^3}{32}-2G\ln2$

Question

Cómo probar

$$\sum_{k=1}^{\infty}\frac{(-1)^k}{(2k+1)^2}(2H_{2k}+H_k)\stackrel ?=\frac{\pi^3}{32}-2G\ln2,$$ donde $G$ es la constante del catalán.

Intento

Para la primera suma, $$\sum_{k=1}^{\infty}\frac{(-1)^k}{(2k+1)^2}H_{2k}=\Re\left\{\sum_{k=1}^{\infty}\frac{i^k}{(k+1)^2}H_{k}\right\},$$ que puede evaluarse utilizando la fórmula de este puesto : $$\sum_{n=1}^\infty \frac{H_n}{n^2}\, x^n=\zeta(3)+\frac{\ln(1-x)^2\ln(x)}{2}+\ln(1-x)\operatorname{Li}_2(1-x)+\operatorname{Li}_3(x)-\operatorname{Li}_3(1-x),$$ pero no podemos aplicar un enfoque similar a la segunda suma $$\sum_{k=1}^{\infty}\frac{(-1)^k}{(2k+1)^2}H_k.$$ Entonces, intenté escribir la suma como $$\sum_{k=1}^{\infty}\frac{(-1)^k}{(2k+1)^2}\int_0^1\frac{2x^{2k}+x^k-3}{x-1}~\mathrm dx$$ y se vuelve más complicado.

Editar:

¿Podemos evaluar la suma directamente (evitar en lo posible el cálculo de integrales y polilogos)? La integral dada por @Jack D'Aurizio es un poco complicada ( ver este post ).

Answer 1

La serie que involucra a $H_k$ y $H_{2k}$ puede estudiarse de forma similar: ya que $$ \frac{-\log(1-x)}{1-x} = \sum_{n\geq 1} H_n x^{n} $$ tenemos $ \frac{-\log(1+x^2)}{1+x^2} = \sum_{n\geq 1} H_n(-1)^n x^{2n} $ y $$ \sum_{k\geq 1}\frac{(-1)^k}{(2k+1)^2}H_k = \int_{0}^{1}\frac{\log(1+x^2)\log(x)}{1+x^2}\,dx$$ se reduce a $$ \int_{0}^{\pi/4} -2\log(\cos\theta) \log(\tan\theta)\,d\theta $$ que es sencillo de abordar a través de la conocida serie de Fourier . Es igual a

$$ -\frac{\pi^3}{64}-K\log(2)-\frac{\pi}{16}\log^2(2)+2\,\text{Im}\,\text{Li}_3\left(\frac{1+i}{2}\right)\approx -0.07355395672853217. $$

Answer 2

\begin{align} S&=2\sum_{n=0}^\infty\frac{(-1)^nH_{2n}}{(2n+1)^2}+\sum_{n=0}^\infty\frac{(-1)^nH_{n}}{(2n+1)^2}\\ &=2\sum_{n=0}^\infty\frac{(-1)^nH_{2n+1}}{(2n+1)^2}+\sum_{n=0}^\infty\frac{(-1)^nH_{n}}{(2n+1)^2}-2\sum_{n=0}^\infty\frac{(-1)^n}{(2n+1)^3}\\ &=2\Im\sum_{n=1}^\infty\frac{(i)^nH_{n}}{n^2}+\sum_{n=1}^\infty\frac{(-1)^nH_{n}}{(2n+1)^2}-\frac{\pi^2}{16}\\ &=S_1+S_2-\frac{\pi^3}{16}\tag{1} \end{align} Utilizando la función generadora : $$\sum_{n=1}^\infty\frac{x^nH_n}{n^2}=\operatorname{Li}_3(x)-\operatorname{Li}_3(1-x)+\ln(1-x)\operatorname{Li}_2(1-x)+\frac12\ln x\ln^2(1-x)+\zeta(3)$$ entonces \begin{align} S_1&=2\Im\left(\operatorname{Li}_3(i)-\operatorname{Li}_3(1-i)+\ln(1-i)\operatorname{Li}_2(1-i)+\frac12\ln(i)\ln^2(1-i)\right)\\ &\boxed{S_1=-2\Im\operatorname{Li}_3(1-i)-G\ln2-\frac{\pi}{8}\ln^22} \end{align}

$$S_2=\sum_{n=1}^\infty\frac{(-1)^nH_n}{(2n+1)^2}=\int_0^1\frac{\ln(1+x^2)\ln x}{1+x^2}\ dx$$ La última integral se evalúa aquí

$$\boxed{\int_0^1\frac{\ln(1+x^2)\ln x}{1+x^2}\ dx=\frac3{32}\pi^3+\frac{\pi}8\ln^22-G\ln2+2\text{Im}\operatorname{Li_3}(1-i)=S_2}$$ Enchufando $S_1$ y $S_2$ en $(1)$ obtenemos $$\color{blue}{S=\frac{\pi^3}{32}-2G\ln2}$$

nota que utilizamos: $$\ln(i)=\frac{\pi}{2}i$$ $$\ln(1-i)=\frac12\ln2-\frac{\pi}{4}i$$ $$\operatorname{Li_2}(1-i)=\frac{\pi^2}{16}-\left(\frac{\pi}{4}\ln2+G\right)i$$ que nos dan: $$\ln(i)\ln^2(1-i)=\frac{\pi^2}{8}\ln2-\left(\frac{\pi^3}{32}-\frac{\pi}{8}\ln^22\right)i$$ $$\ln(1-i)\operatorname{Li_2}(1-i) =-\frac{\pi}{4}G-\frac{\pi^2}{32}\ln2-\left(\frac12\ln2G+\frac{\pi^3}{64}+\frac{\pi}{8}\ln^22\right)i$$

Answer 3

Esta suma también tiene alguna relación con la identidad integral, que pidió casi al mismo tiempo, ver este , se reescribe como

$$\frac3{2} \int_{0}^{1} {\frac{\arctan x \ln(1+x^2)}{x} \mathrm{d}x} = \int_{0}^{1} {\frac{\arctan x \ln(1+x)}{x} \mathrm{d}x}$$

dado algunas series famosas

$$\arctan x = \sum_{n=0}^{\infty} {\frac{(-1)^n x^{2n+1}}{2n+1}}$$

$$\frac1{2} \arctan x \ln (1+x^2) = \sum_{n=0}^{\infty} {\frac{(-1)^{n+1}H_{2n}}{2n+1} x^{2n+1}}$$

a la izquierda

$$\frac3{2} \int_{0}^{1} {\frac{\arctan x \ln(1+x^2)}{x} \mathrm{d}x} = 3\int_{0}^{1} {\sum_{n=0}^{\infty} {\frac{(-1)^{n+1}H_{2n}}{2n+1} x^{2n}} \>\mathrm{d}x} = 3\sum_{n=0}^{\infty} {\frac{(-1)^{n+1}H_{2n}}{(2n+1)^2}}$$

a la derecha

$$\begin{aligned} \int_{0}^{1} {\frac{\arctan x \ln(1+x)}{x} \mathrm{d}x} & = \int_{0}^{1} {\sum_{n=0}^{\infty} {\frac{(-1)^n}{2n+1}} x^{2n}\ln(1+x) \>\mathrm{d}x}\\ & = 2\ln2\sum_{n=0}^{\infty} {\frac{(-1)^n}{(2n+1)^2}} - \sum_{n=0}^{\infty} {\frac{(-1)^n}{(2n+1)^2} \int_{0}^{1} {\frac{1+x^{2n+1}}{1+x}}\mathrm{d}x}\\ & = 2G\ln2 - \sum_{n=0}^{\infty} {\frac{(-1)^n}{(2n+1)^2} \int_{0}^{1} {\sum_{k=0}^{2n} {(-x)^k}}\mathrm{d}x}\\ & = 2G\ln2 + \sum_{n=0}^{\infty} {\frac{(-1)^n}{(2n+1)^2} \sum_{k=1}^{2n+1} {\frac{(-1)^k}{k}}}\\ & = 2G\ln2 + \sum_{n=0}^{\infty} {\frac{(-1)^n}{(2n+1)^2}(H_{n}-H_{2n+1})} \end{aligned}$$

descifrar esta identidad

$$\sum_{n=0}^{\infty} {\frac{(-1)^n}{(2n+1)^2}(H_{n}+3H_{2n}-H_{2n+1})} = -2G\ln2$$

o

$$\begin{aligned} \sum_{n=0}^{\infty} {\frac{(-1)^n}{(2n+1)^2}(H_{n}+2H_{2n})} & = \sum_{n=0}^{\infty} {\frac{(-1)^n}{(2n+1)^2}(H_{2n+1}-H_{2n})} - 2G\ln2\\ & = \sum_{n=0}^{\infty} {\frac{(-1)^n}{(2n+1)^3}} - 2G\ln2 = \frac{\pi^3}{32} - 2G\ln2 \end{aligned}$$

donde puede necesitar algunos valores particulares de Función Beta de Dirichlet .