Expresión de forma cerrada para la suma armónica$\sum\limits_{n=1}^{\infty}\frac{H_{2n}}{n^2\cdot4^n}{2n \choose n}$

Question

Me pregunto si se podría derivar una expresión de forma cerrada para la serie $$\sum_{n=1}^{\infty}\frac{H_{2n}}{n^2\cdot4^n}{2n \choose n}$ $

PS

Ahora, sé que las series que involucran números armónicos son adecuadas para un enfoque de suma por parte (o transformación de Abel), pero no conduce a ninguna parte aquí, al menos no en este estado.

Alguna sugerencia ?

Answer 1

Para $x \in [0,1]$vamos $$ f(x) = \sum \limits_{n=1}^\infty \frac{{2n \choose n}}{n^2 4^n} x^{2n} \, . $$ Usando el poder de la serie de $\arcsin$ encontramos $$ x \frac{\mathrm{d}}{\mathrm{d} x} x \frac{\mathrm{d}}{\mathrm{d} x} f(x) = 4 \frac{\mathrm{d}}{\mathrm{d} x} [\arcsin(x) - x] = 4 \left[\frac{1}{\sqrt{1-x^2}} - 1 \right] $$ para $x \in [0,1)$ . En particular, $$ f'(1) = 4 \int \limits_0^1 \frac{1}{x} \left[\frac{1}{\sqrt{1-x^2}} - 1 \right] \, \mathrm{d} x \stackrel{x=\sqrt{1-y^2}}{=} 4 \int \limits_0^1 \frac{\mathrm{d} y}{1+y} = 4 \ln(2) \, . $$ Ahora podemos calcular \begin{align} S &\equiv \sum \limits_{n=1}^\infty \frac{H_{2n} {2n \choose n}}{n^2 4^n} = \sum \limits_{n=1}^\infty \frac{{2n \choose n}}{n^2 4^n} \int \limits_0^1 \frac{1-x^{2n}}{1-x} \, \mathrm{d} x = \int \limits_0^1 \frac{f(1) - f(x)}{1-x} \, \mathrm{d} x \\ &= \int \limits_0^1 \frac{- \ln(1-x)}{x} x f'(x) \, \mathrm{d} x = \operatorname{Li}_2 (1) f'(1) - 4 \int \limits_0^1 \frac{\operatorname{Li}_2 (x)}{x} \left[\frac{1}{\sqrt{1-x^2}} - 1 \right] \, \mathrm{d} x \\ &= \operatorname{Li}_2 (1) f'(1) + 4 \operatorname{Li}_3 (1) - 4 \int \limits_0^1 \frac{\operatorname{Li}_2 (x)}{x \sqrt{1-x^2}} \, \mathrm{d} x \equiv 4 \left[\frac{\pi^2}{6} \ln(2) + \zeta(3) - I\right] \, . \end{align} Con el fin de encontrar $I$ utilizamos un conocido representación integral de la dilogarithm: \begin{align} I &= \int \limits_0^\infty t \int \limits_0^1 \frac{\mathrm{d} x}{(\mathrm{e}^t - x) \sqrt{1-x^2}} \, \mathrm{d} t \stackrel{(*)}{=} \int \limits_0^\infty \frac{t \left[\frac{\pi}{2} + \arcsin(\mathrm{e}^{-t})\right]}{\sqrt{\mathrm{e}^{2t}-1}} \, \mathrm{d} t \\ &\stackrel{\mathrm{e}^{-t} = \sin(u)}{=} \frac{1}{2} \int \limits_0^{\pi/2} -\ln[\sin(u)] (\pi + 2 u) \, \mathrm{d} u = \frac{1}{2} \int \limits_0^{\pi/2} u (\pi + u) \cot(u) \, \mathrm{d} u \\ &= \frac{1}{2} [\pi K_1^{(1)} + K_2^{(1)}] = \frac{3}{8}\pi^2 \ln(2) - \frac{7}{16} \zeta(3) \, . \end{align} Las integrales de $ K_n^{(m)}$ se discuten en esta pregunta. Combinando este resultado y la expresión anterior por la suma de terminar con $$ \boxed{S = \sum \limits_{n=1}^\infty \frac{H_{2n} {2n \choose n}}{n^2 4^n} = \frac{23}{4} \zeta(3) - \frac{5}{6} \pi^2 \ln(2)} \, . $$

---

La prueba de $(*)$:

Para $a \in [0,1]$vamos $$ g(a) = \int \limits_0^1 \frac{-\ln(1-a x)}{x \sqrt{1-x^2}} \, \mathrm{d} x= \sum \limits_{n=1}^\infty \frac{a^n}{n} \int \limits_0^{\pi/2} \sin^{n-1} (t) \, \mathrm{d} t \, .$$ El uso de Wallis' integrales encontramos $$ g(a) = \frac{\pi}{2} \sum \limits_{k=0}^\infty \frac{{2k \choose k} a^{2k+1}}{4^k(2k+1)} + \frac{1}{4} \sum \limits_{m=1}^\infty \frac{4^k a^{2k}}{k^2 {2k \choose k}} = \frac{\pi}{2} \arcsin(a) + \frac{1}{2} \arcsin^2 (a) \, . $$ Por lo tanto $$ \int \limits_0^1 \frac{\mathrm{d} x}{(1-a x)\sqrt{1-x^2}} = g'(a) = \frac{\frac{\pi}{2} + \arcsin{a}}{\sqrt{1-a^2}} $$ tiene por $a \in [0,1)$ .

Answer 2

Esta no es una respuesta pero es demasiado largo para un comentario.

Teniendo en cuenta $$a_n=\frac{H_{2n}}{n^2\,4^n}{2n \choose n}\qquad \text{and} \qquad S_p=\sum_{n=1}^p a_n$$ ninguno de los CAS que probé fue capaz de encontrar una expresión para las sumas parciales o la infinita suma. Numéricamente, como se muestra a continuación, la convergencia parece ser extremadamente lento $$\left( \begin{array}{cc} p & S_p \\ 1000 & 1.21081501745 \\ 2000 & 1.21088004598 \\ 3000 & 1.21089738494 \\ 4000 & 1.21090493158 \\ 5000 & 1.21090901996 \\ 6000 & 1.21091153294 \\ 7000 & 1.21091321066 \\ 8000 & 1.21091439815 \\ 9000 & 1.21091527609 \\ 10000 & 1.21091594745 \end{array} \right)$$ which can be explained by the fact that, for large values of $$n $$\frac {a_{n+1}} {a_n} \simeq 1+\frac{2-5( \log (2n)+ \gamma) }{2 n \left(\log(2n)+\gamma \right)}$$ For the infinite summation, the result seems to be close to $1.2109201$ que no es identificado por el inverso simbólico calculadoras.

Para grandes valores de $n$, también podemos encontrar $$a_n\simeq b_n=\frac{ \log (2n)+\gamma }{n^{5/2}\,\sqrt{\pi }}$$ que no ayuda mucho, incluso si $$\sum_{n=1}^\infty b_n=\frac{(\gamma+\log(2)) \zeta \left(\frac{5}{2}\right)-\zeta '\left(\frac{5}{2}\right)}{\sqrt{\pi }}\approx 1.18001$$ Sin embargo, numéricamente, esto puede ser de alguna ayuda para escribir $$S_\infty=S_p+\sum_{n=p+1}^\infty b_n$$ $$\left( \begin{array}{cc} p & S_\infty \approx \\ 100 & 1.2109213325 \\ 200 & 1.2109203863 \\ 300 & 1.2109202368 \\ 400 & 1.2109201900 \\ 500 & 1.2109201700 \\ 600 & 1.2109201590 \\ 700 & 1.2109201535 \\ 800 & 1.2109201498 \\ 900 & 1.2109201475 \\ 1000 & 1.2109201458 \end{array} \right)$$