New series involving binomial coefficients

Zhi-Wei Sun
2023-11-17
Abstract:In this paper, we deduce several new identities on infinite series with denominators of summands containing both binomial coefficients and linear parts. For example, we evaluate the sums $$\sum_{k=1}^\infty\frac{x_0^k}{(2k-1)\binom{3k}k},\ \sum_{k=0}^\infty\frac{x_0^k}{(3k+1)\binom{3k}k} \ \text{and}\ \sum_{k=0}^\infty\frac{x_0^k}{(3k+2)\binom{3k}k}$$ for any $x_0\in(-27/4,27/4)$. For any $1<n\le 85/4$, we obtain the following fast converging series for $\log n$: $$\begin{aligned}&\sum_{k=0}^\infty\frac{(2(n^2+6n+1)^2k+n^4+30n^2+1)(n-1)^{4k}}{(4k+1)(-n)^k(n+1)^{2k}\binom{4k}{2k}}\\&\qquad=8n(n+1)^2-2n(n^2-1)\log n.\end{aligned}$$ We also prove that $$\sum_{k=0}^\infty\frac{153965k^2-96459k+22786}{(-8)^k\binom{4k}k}=\frac{64}5(1634-45\log2).$$ In addition, we pose many new conjectural series identities involving binomial coefficients; for example, we conjecture that $$\sum_{k=1}^\infty\frac{\binom{2k}k^3}{4096^k}\bigg(9(42k+5)\sum_{j=0}^{k-1}\frac1{(2j+1)^4}+\frac{25}{(2k+1)^3}\bigg)=\frac 56\pi^3.$$
Number Theory,Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the derivation and proof of new identities for infinite series involving binomial coefficients. Specifically, the author ZHI - WEI SUN is committed to studying and evaluating infinite series with denominators containing binomial coefficients and linear parts, and has proposed some new conjectures. The following are some key issues in the paper: 1. **Derivation of new series identities**: - The author has derived multiple new infinite series identities containing binomial coefficients. For example, for any \(x_0\in(-\frac{27}{4},\frac{27}{4})\), the author has evaluated the following series: \[ \sum_{k = 1}^{\infty}\frac{x_0^k}{(2k-1)(3k)_k},\quad\sum_{k = 0}^{\infty}\frac{x_0^k}{(3k + 1)(3k)_k},\quad\sum_{k = 0}^{\infty}\frac{x_0^k}{(3k + 2)(3k)_k} \] where \((3k)_k\) represents the generalized binomial coefficient. 2. **Fast - converging series of logarithmic functions**: - For any \(1 < n\leqslant\frac{85}{4}\), the author has obtained a fast - converging series representation of the logarithmic function \(\log n\). For example: \[ \sum_{k = 0}^{\infty}\frac{(2(n^2+6n + 1)^{2k}+n^4 + 30n^2+1)(n - 1)^{4k}}{(4k+1)(-n)^k(n + 1)^{2k}(4k)_k}=8n(n + 1)^2-2n(n^2-1)\log n \] 3. **Series summation of special values**: - The author has also proved some series summation formulas for specific values. For example: \[ \sum_{k = 0}^{\infty}\frac{153965k^2-96459k + 22786}{(-8)^k(4k)_k}=\frac{64}{5}(1634-45\log 2) \] 4. **Proposing new conjectures**: - The author has proposed many new conjectures involving binomial coefficients. For example: \[ \sum_{k = 0}^{\infty}\frac{(2k)_k^3}{4096^k}\left(\frac{9(42k + 5)}{\sum_{0\leqslant j < k}\frac{1}{(2j+1)^4}+\frac{25}{(2k+1)^3}}\right)=\frac{5}{6}\pi^3 \] 5. **Series involving harmonic numbers**: - The author has also studied series involving harmonic numbers (harmonic numbers) and has proposed related conjectures. For example: \[ \sum_{k = 0}^{\infty}\frac{(42k+5)(2k)_k^3}{4096^k}\left(H_{2k}^{(2)}-\frac{25}{92}H_k^{(2)}\right)=\frac{2\pi}{69} \] In summary, the main purpose of this paper is to derive and verify new identities of infinite series involving binomial coefficients by introducing new mathematical tools and techniques, and to propose conjectures for further research. These results not only enrich the research content of combinatorial mathematics and number theory, but also provide theoretical support for applications in related fields.