Сумма рядов с обратным квадратом центрального биномиального коэффициента
Хороший вызов Корнела Валина:
Покажи это
$$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}.$$
Я должен сказать, что у меня нет опыта в сериях, включающих квадрат центрального биномиального коэффициента, поэтому я оставляю это людям, которые являются экспертами в таких сериях.
Все подходы приветствуются. Спасибо.
Ответы
Это возможный подход. Сумму ОП можно переписать как
$$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} \\ $$
Итак, у нас есть $I=4J+K$. Рассмотрим сначала условия$J$суммирование. Для данного$n$, соответствующее слагаемое $j_n$ дан кем-то
$$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)$$
где бесконечное произведение напоминает классическую формулу Уоллиса для$\pi/2$. Обратите внимание, что члены удовлетворяют повторяемости
$$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)} $$
и что их можно записать в виде
$$j_n=\frac{\pi \,Γ^2(n + 1)}{2 n^2\, Γ(n + \frac 12) Γ(n + \frac 32)}$$
Более того, условия в $J$ суммирование удовлетворяет интересному свойству
$$\sum_{n=1}^m j_n=4m^2 j_m-4$$
Докажем это по индукции. Для$m=1$, сумма сводится к одному члену $j_1=4/3$, и соответственно $4 \cdot 1^2\cdot 4/3-4=4/3$. Теперь предположим, что свойство верно для данного$m$. Переходя к$m+1$, сумма становится
$$\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 $$
так что свойство все еще действует в течение $m+1$, и утверждение доказано. Тогда у нас есть
$$\sum_{n=1}^m j_n= \frac{2\pi \,\Gamma^2(n + 1)}{ \Gamma(n + \frac 12 ) \Gamma(n + \frac 32 )}-4 $$
Принимая предел для $m\rightarrow \infty$, поскольку
$$\lim_{m\rightarrow \infty} \frac{\Gamma^2(m + 1)}{ \Gamma(m + \frac 12 ) \Gamma(m + \frac 32 )}=1$$
у нас есть
$$J= \sum_{n=1}^\infty j_n = 2\pi-4$$
в соответствии с численным приближением $J \approx 2.283$предоставлено WA здесь .
Для двойного суммирования $K$, записав его снова в терминах гамма-функций, как это уже было сделано для $J$, используя то же определение $j_n$ приведенный выше, и меняя местами индексы, мы имеем
$$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] $$
и поскольку последнее суммирование эквивалентно $4\sum_{n=1}^\infty j_n$,
$$K=\frac{\pi^3}{3} -4(2\pi-4)$$
Затем мы заключаем, что
$$I=4J+K \\=4(2\pi-4) + \frac{\pi^3}{3} -4(2\pi-4) = \frac{\pi^3}{3}$$
Уже дан отличный ответ (избранный), но хорошо, что есть еще способы.
Решение Корнела Иоана Валеана
Вместо того, чтобы вычислять все три ряда по отдельности, мы можем попытаться вычислить их все сразу. Итак, у нас есть это$$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},$$
где мы использовали асимптотику центрального биномиального коэффициента, $\displaystyle \binom{2 N}{N}\sim \frac{4^N}{\sqrt{\pi N}}$.