Jumlah deret dengan koefisien binomial pusat kuadrat terbalik
Tantangan bagus oleh Cornel Valean:
Menunjukkan bahwa
$$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}.$$
Saya harus mengatakan bahwa saya tidak berpengalaman dalam rangkaian yang melibatkan koefisien binomial pusat kuadrat, jadi saya serahkan kepada orang-orang yang ahli dalam rangkaian tersebut.
Semua pendekatan dihargai. Terima kasih.
Jawaban
Ini adalah pendekatan yang mungkin. Jumlah OP dapat ditulis ulang sebagai
$$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} \\ $$
Jadi kita punya $I=4J+K$. Mari kita pertimbangkan terlebih dahulu istilah dari $J$penjumlahan. Untuk diberikan$n$, ringkasan yang sesuai $j_n$ diberikan oleh
$$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)$$
di mana produk yang tak terbatas menyerupai klasik rumus Wallis untuk$\pi/2$. Perhatikan bahwa istilah memenuhi pengulangan
$$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)} $$
dan dapat ditulis dalam bentuk
$$j_n=\frac{\pi \,Γ^2(n + 1)}{2 n^2\, Γ(n + \frac 12) Γ(n + \frac 32)}$$
Apalagi istilah dalam file $J$ penjumlahan memenuhi properti yang menarik
$$\sum_{n=1}^m j_n=4m^2 j_m-4$$
Kami akan membuktikannya dengan induksi. Untuk$m=1$, jumlahnya dikurangi menjadi satu suku $j_1=4/3$, dan karenanya $4 \cdot 1^2\cdot 4/3-4=4/3$. Sekarang mari kita asumsikan bahwa properti itu valid untuk suatu pemberian$m$. Meneruskan ke$m+1$, jumlahnya menjadi
$$\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 $$
sehingga propertinya masih berlaku $m+1$, dan klaim tersebut terbukti. Lalu kita punya
$$\sum_{n=1}^m j_n= \frac{2\pi \,\Gamma^2(n + 1)}{ \Gamma(n + \frac 12 ) \Gamma(n + \frac 32 )}-4 $$
Mengambil batas untuk $m\rightarrow \infty$, sejak
$$\lim_{m\rightarrow \infty} \frac{\Gamma^2(m + 1)}{ \Gamma(m + \frac 12 ) \Gamma(m + \frac 32 )}=1$$
kita punya
$$J= \sum_{n=1}^\infty j_n = 2\pi-4$$
sesuai dengan perkiraan numerik $J \approx 2.283$diberikan oleh WA disini .
Untuk penjumlahan ganda $K$, menuliskannya lagi dalam istilah fungsi Gamma seperti yang telah dilakukan untuk $J$, menggunakan definisi yang sama dari $j_n$ diberikan di atas, dan menukar indeks yang kita miliki
$$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] $$
dan karena penjumlahan terakhir sama dengan $4\sum_{n=1}^\infty j_n$,
$$K=\frac{\pi^3}{3} -4(2\pi-4)$$
Kami kemudian menyimpulkan itu
$$I=4J+K \\=4(2\pi-4) + \frac{\pi^3}{3} -4(2\pi-4) = \frac{\pi^3}{3}$$
Jawaban yang sangat baik sudah diberikan (yang terpilih), tapi bagus untuk memiliki lebih banyak cara.
Solusi oleh Cornel Ioan Valean
Alih-alih menghitung ketiga deret secara terpisah, kita mungkin mencoba menghitung semuanya sekaligus. Jadi, kami punya itu $$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},$$
di mana kami menggunakan bentuk asimtotik dari koefisien binomial pusat, $\displaystyle \binom{2 N}{N}\sim \frac{4^N}{\sqrt{\pi N}}$.