Une somme de séries avec le coefficient binomial central au carré inverse
Un beau défi de Cornel Valean:
Montre CA
$$2\sum _{n=1}^{\infty }\frac{2^{4 n}}{\displaystyle n^3 \binom{2 n}{n}^2}-\sum _{n=1}^{\infty }\frac{2^{4 n}}{\displaystyle n^4 \binom{2 n}{n}^2}+\sum _{n=1}^{\infty }\frac{2^{4 n} H_n^{(2)}}{\displaystyle n^2 (2 n+1) \binom{2 n}{n}^2}=\frac{\pi^3}{3}.$$
Je dois dire que je ne suis pas expérimenté dans les séries impliquant le coefficient binomial central au carré, je le laisse donc aux personnes qui sont des experts dans de telles séries.
Toutes les approches sont appréciées. Merci.
Réponses
C'est une approche possible. La somme de l'OP peut être réécrite comme
$$I=\sum _{n=1}^{\infty }\frac{2n\cdot 2^{4 n}}{\displaystyle n^4\binom{2 n}{n}^2}-\sum _{n=1}^{\infty }\frac{2^{4 n}}{\displaystyle n^4 \binom{2 n}{n}^2}+\sum _{n=1}^{\infty }\frac{n^2\, 2^{4 n} H_n^{(2)}}{\displaystyle n^4 (2 n+1) \binom{2 n}{n}^2}\\ = \sum _{n=1}^{\infty }\frac{2^{4 n}[(2n-1)(2n+1)+n^2H_n^{(2)}]}{\displaystyle n^2 (2 n+1) \binom{2 n}{n}^2} \\ = \sum _{n=1}^{\infty }\frac{2^{4 n}(4n^2-1+n^2H_n^{(2)})}{\displaystyle n^4 (2 n+1) \binom{2 n}{n}^2} \\ = \sum _{n=1}^{\infty }\frac{2^{4 n}(4-1/n^2+H_n^{(2)})}{\displaystyle n^2 (2 n+1) \binom{2 n}{n}^2} \\ = \sum _{n=1}^{\infty }\frac{2^{4 n}(4+H_{n-1}^{(2)})}{\displaystyle n^2 (2 n+1) \binom{2 n}{n}^2} \\ = \sum _{n=1}^{\infty }\frac{2^{4 n} \, (n!)^4\, (4+H_{n-1}^{(2)})}{\displaystyle n^2(2 n+1)(2n!)^2} \\ = \sum _{n=1}^{\infty }\frac{ (2n!!)^4\, (4+H_{n-1}^{(2)})}{\displaystyle n^2(2 n+1)(2n!)^2} \\ = \sum _{n=1}^{\infty }\frac{ (2n!!)^2\, (4+H_{n-1}^{(2)})}{\displaystyle n^2 (2 n+1)(2n-1!!)^2} \\ = 4 \,\, \underbrace{ \sum _{n=1}^{\infty } \frac{ (2n!!)^2}{\displaystyle n^2 (2 n+1)(2n-1!!)^2} }_\text{J} \\ +\underbrace{\sum _{n=1}^{\infty } \sum_{k=1}^{n-1} \frac{ (2n!!)^2}{\displaystyle n^2 (2 n+1)(2n-1!!)^2} \frac{1}{k^2}}_\text{K} \\ $$
Donc nous avons $I=4J+K$. Considérons tout d'abord les termes du$J$addition. Pour donné$n$, la sommation correspondante $j_n$ est donné par
$$j_n=\frac{1}{n^2} \prod_{k=1}^n \frac{4 k^2}{(2 k- 1) (2 k + 1)} \\=\frac{1}{n^2}\left(\frac 21\cdot \frac 23 \right)\cdot \left(\frac 43\cdot \frac 45 \right)... \cdot \left(\frac{2n}{2n-1}\cdot \frac {2n}{2n+1}\right)$$
où le produit infini ressemble à la formule classique de Wallis pour$\pi/2$. Notez que les termes satisfont la récurrence
$$j_{n+1}=j_n \frac{n^2(2n+2)^2}{(n+1)^2(2n+1)(2n+3)}\\ = j_n \frac{4n^2}{(2n+1)(2n+3)} $$
et qu'ils peuvent être écrits sous la forme
$$j_n=\frac{\pi \,Γ^2(n + 1)}{2 n^2\, Γ(n + \frac 12) Γ(n + \frac 32)}$$
De plus, les termes du $J$ la sommation satisfait la propriété intéressante
$$\sum_{n=1}^m j_n=4m^2 j_m-4$$
Nous allons le prouver par induction. Pour$m=1$, la somme se réduit au terme unique $j_1=4/3$, et en conséquence $4 \cdot 1^2\cdot 4/3-4=4/3$. Supposons maintenant que la propriété soit valide pour un$m$. Passer à$m+1$, la somme devient
$$\sum_{n=1}^{m+1} j_n=4m^2 j_m-4 +j_{m+1}\\ =4m^2 \frac{(2m+1)(2m+3)} {m^2}j_{m+1}-4+j_{m+1} \\ = (4n^2+8n+3) j_{m+1}-4+j_{m+1}\\ = (4n^2+8n+4) j_{m+1}-4 \\ = 4(m+1)^2 j_{m+1}-4 $$
afin que la propriété soit toujours valable pour $m+1$, et la réclamation est prouvée. Ensuite nous avons
$$\sum_{n=1}^m j_n= \frac{2\pi \,\Gamma^2(n + 1)}{ \Gamma(n + \frac 12 ) \Gamma(n + \frac 32 )}-4 $$
Prendre la limite pour $m\rightarrow \infty$, puisque
$$\lim_{m\rightarrow \infty} \frac{\Gamma^2(m + 1)}{ \Gamma(m + \frac 12 ) \Gamma(m + \frac 32 )}=1$$
on a
$$J= \sum_{n=1}^\infty j_n = 2\pi-4$$
conformément à l'approximation numérique de $J \approx 2.283$donné par WA ici .
Pour la double sommation $K$, l'écrivant à nouveau en termes de fonctions Gamma comme déjà fait pour $J$, en utilisant la même définition de $j_n$ donné ci-dessus, et en échangeant les indices que nous avons
$$K=\sum _{k=1}^{\infty } \sum_{n=k+1}^{\infty} j_n \cdot \frac{1}{k^2}\\ =\sum _{k=1}^{\infty } \frac{1}{k^2} \sum_{n=1}^{\infty} j_n - \sum _{k=1}^{\infty } \frac{1}{k^2} \sum_{n=1}^{k} j_n \\ = \frac{\pi^2}{6} (2\pi-4) -\sum _{k=1}^{\infty } \frac{1}{k^2} \left[ \frac{2\pi \,\Gamma^2(k + 1)}{ \Gamma(k + \frac 12 ) \Gamma(k + \frac 32 )}-4\right] \\ = \frac{\pi^3}{3} - \frac{2\pi^2}{3}+ 4\sum _{k=1}^{\infty } \frac{1}{k^2} \\ -\sum _{k=1}^{\infty } \left[ \frac{2\pi \,\Gamma^2(k + 1)}{ k^2\Gamma(k + \frac 12 ) \Gamma(k + \frac 32 )}\right] $$
et puisque la dernière sommation équivaut à $4\sum_{n=1}^\infty j_n$,
$$K=\frac{\pi^3}{3} -4(2\pi-4)$$
Nous concluons alors que
$$I=4J+K \\=4(2\pi-4) + \frac{\pi^3}{3} -4(2\pi-4) = \frac{\pi^3}{3}$$
Une excellente réponse a déjà été donnée (celle choisie), mais bon d'avoir plus de moyens en place.
Une solution de Cornel Ioan Valean
Au lieu de calculer les trois séries séparément, nous pourrions essayer de les calculer toutes en même temps. Donc, nous avons ça$$2\sum _{n=1}^{\infty }\frac{2^{4 n}}{\displaystyle n^3 \binom{2 n}{n}^2}-\sum _{n=1}^{\infty }\frac{2^{4 n}}{\displaystyle n^4 \binom{2 n}{n}^2}+\sum _{n=1}^{\infty }\frac{2^{4 n} H_n^{(2)}}{\displaystyle n^2 (2 n+1) \binom{2 n}{n}^2}$$ $$=\sum _{n=1}^{\infty }\frac{2^{4n} (4n^2-1+n^2 H_n^{(2)})}{\displaystyle n^4 (2 n+1) \binom{2 n}{n}^2}=\sum _{n=1}^{\infty }\frac{2^{4n} (4-1/n^2+ H_n^{(2)})}{\displaystyle n^2 (2 n+1) \binom{2 n}{n}^2}$$ $$=\sum _{n=1}^{\infty }\frac{2^{4n}(4-1/n^2+ H_n^{(2)}\color{blue}{+(4 n^2-1) H_{n-1}^{(2)}}-\color{blue}{(4 n^2-1) H_{n-1}^{(2)}})}{\displaystyle n^2 (2 n+1) \binom{2 n}{n}^2}$$ $$=\sum _{n=1}^{\infty }\frac{2^{4n}(\color{red}{4n^2H_n^{(2)}}-\color{blue}{(4 n^2-1) H_{n-1}^{(2)}})}{\displaystyle n^2 (2 n+1) \binom{2 n}{n}^2}$$ $$=\sum _{n=1}^{\infty}\left(\frac{2^{4n+2}H_n^{(2)}}{\displaystyle (2n+1) \binom{2 n}{n}^2}-\frac{2^{4n}(2n-1)H_{n-1}^{(2)} }{\displaystyle n^2\binom{2 n}{n}^2}\right)$$ $$=\lim_{N\to\infty}\sum _{n=1}^{N}\left(\frac{2^{4n+3}H_n^{(2)}}{\displaystyle (n+1) \binom{2 n+2}{n+1}\binom{2 n}{n}}-\frac{2^{4n-1}H_{n-1}^{(2)} }{\displaystyle n\binom{2 n}{n}\binom{2 n-2}{n-1}}\right)$$ $$=\lim_{N\to\infty}\frac{2^{4N+3}H_N^{(2)}}{\displaystyle (N+1) \binom{2 N+2}{N+1}\binom{2 N}{N}}=\frac{\pi^3}{3},$$
où nous avons utilisé la forme asymptotique du coefficient binomial central, $\displaystyle \binom{2 N}{N}\sim \frac{4^N}{\sqrt{\pi N}}$.