含有中心二项式系数以及广义调和数的无穷级数恒等式

摘要/Abstract

摘要：

该文以两个高斯超几何求和公式为基础，建立一系列关于中心二项式系数和广义调和数的无穷级数恒等式.

Abstract:

In this paper, by appling Gauss's two hypergeometric summation formulas, we derive some infinite series expressions for the central binomial coefficients and the generalized harmonic numbers.

Key words: Hypergeometric series, Central binomial coefficients, Generalized harmonic numbers, Summation formulas

中图分类号:

O157.1

刘红梅. 含有中心二项式系数以及广义调和数的无穷级数恒等式[J]. 数学物理学报, 2020, 40(3): 631-640.

Hongmei Liu. Infinite Series Involving Central Binomial Coefficients and Generalized Harmonic Numbers[J]. Acta mathematica scientia,Series A, 2020, 40(3): 631-640.

图/表 3

表 1

由推论2.1给出的关于中心二项式系数的求和公式"

$m$	$\lambda$	$\mu$	$\sigma$	central binomial coefficient summation formulas
$0$				$\sum\limits_{n=0}^{\infty}\frac{({}^{2n}_{\; n}) }{4^n(n+1)}=2$
$1$	$1$	$0$	$0$	$\sum\limits_{n=1}^{\infty}\frac{({}^{2n}_{\; n}) }{4^n(n+1)}H_n=4\ln2$ [13, (2.11)]
$1$	$0$	$1$	$0$	$\sum\limits_{n=1}^{\infty}\frac{({}^{2n}_{\; n}) }{4^n(n+1)}O_n=2$ [13, (2.13)]
$1$	$0$	$0$	$1$	$\sum\limits_{n=0}^{\infty}\frac{({}^{2n}_{\; n}) }{4^n(n+1)}H_{n+1}=4$ [13, (2.12)]
$2$	$1$	$0$	$0$	$\sum\limits_{n=0}^{\infty}\frac{({}^{2n}_{\; n}) }{4^n(n+1)}(H_n^2-H_n^{(2)})=8 \ln^22+\frac{2}{3}\pi^2$ [14, Ex.4.1]
$2$	$0$	$1$	$0$	$\sum\limits_{n=0}^{\infty}\frac{({}^{2n}_{\; n}) }{4^n(n+1)}(O_n^2-O_n^{(2)})=4$[14, Ex.4.22]
$2$	$0$	$0$	$1$	$\sum\limits_{n=0}^{\infty}\frac{({}^{2n}_{\; n}) }{4^n(n+1)}(H_{n+1}^{(2)}+H_{n+1}^2 -2H_{n+1})=8$ [14, Ex.4.24]
$3$	$1$	$0$	$0$	$\begin{array}{l}\sum\limits_{n=0}^{\infty}\frac{({}^{2n}_{\; n})}{4^n(n+1)}(H_{n}^{3}-3H_{n}H_n^{(2)}+2H_{n}^{(3)})\\ =4(4\ln^32+\pi^2\ln2+6\zeta(3)) \ {\rm [14, \; Ex.4.11]} \end{array}$
$3$	$0$	$1$	$0$	$\sum\limits_{n=0}^{\infty}\frac{({}^{2n}_{\; n})}{4^n(n+1)}(O_{n}^{3}-3O_{n}O_n^{(2)}+2O_{n}^{(3)})=12$[14, Ex.4.23]
$3$	$0$	$0$	$1$	$ \begin{array}{l}\sum\limits_{n=0}^{\infty}\frac{({}^{2n}_{\; n})}{4^n(n+1)}(H_{n+1}^3-3H_{n+1}^2+3H_{n+1}H_{n+1}^{(2)} \\ -3H_{n+1}^{(2)}+2H_{n+1}^{(3)})=48\ {\rm [14, \; Ex.4.25]}\end{array}$
$4$	$1$	$0$	$0$	$\begin{array}{l} \sum\limits_{n=0}^{\infty}\frac{({}^{2n}_{\; n}) }{4^n(n+1)}(H_{n}^4-6H_{n}^2H_n^{(2)}+3(H_{n}^{(2)})^2+8H_{n}H_n^{(3)}-6H_{n}^{(4)})\\ =2(16\ln^42+8\pi^2\ln^22+\pi^4/3+96\ln2\cdot\zeta(3)+84\zeta(4)) \end{array}$
$4$	$0$	$1$	$0$	$\sum\limits_{n=0}^{\infty}\frac{({}^{2n}_{\; n}) }{4^n(n+1)}(O_{n}^{4}-6O_{n}^2O_n^{(2)}+3(O_n^{(2)})^2+8O_nO_{n}^{(3)}-6O_n^{(4)})=48$
$4$	$0$	$0$	$1$	$\begin{array}{l} \sum\limits_{n=0}^{\infty}\frac{({}^{2n}_{\; n})}{4^n(n+1)}(-4H_{n+1}^3+H_{n+1}^4-12H_{n+1}H_{n+1}^{(2)}+6H_{n+1}^2H_{n+1}^{(2)} \\+3(H_{n+1}^{(2)})^2-8H_{n+1}^{(3)}+8H_{n+1}H_{n+1}^{(3)}+6H_{n+1}^{(4)})=384 \end{array}$

表 1

表 2

表 3

由推论2.3给出的关于中心二项式系数的求和公式"

$m$	$\lambda$	$\mu$	$\sigma$	central binomial coefficient summation formulas
$0$				$\sum\limits_{n=0}^{\infty}\frac{{({}^{2n}_{\; n}) }^2}{16^n(n+1)}=\frac{4}{\pi}$
$1$	$1$	$0$	$0$	$\sum\limits_{n=0}^{\infty}\frac{{({}^{2n}_{\; n}) }^2}{16^n(n+1)}O_n=\frac{4}{\pi}(1-\ln2)$[13, (2.17)]
$1$	$0$	$0$	$1$	$\sum\limits_{n=0}^{\infty}\frac{{({}^{2n}_{\; n}) }^2}{16^n(n+1)}H_{n+1}=\frac{16}{\pi}(1-\ln2)$[13, (2.18)]
$2$	$1$	$0$	$0$	$\sum\limits_{n=0}^{\infty}\frac{{({}^{2n}_{\; n})}^2}{16^n(n+1)}(O_n^2-O_n^{(2)}) =\frac{4}{\pi}(2-2\ln2+\ln^22-\frac{\pi^2}{12})$ [14, Ex.4.2]
$2$	$0$	$0$	$1$	$\begin{array}{l} \sum\limits_{n=0}^{\infty}\frac{{({}^{2n}_{\; n})}^2}{16^n(n+1)}(H_{n+1}^{(2)}\!+\!H_{n+1}^2\!-\!2H_{n+1}) \!=\!\frac{4}{\pi}(16\ln^22\!-\!24\ln2\!+\!16\!-\!\frac{2\pi^2}{3}) {\rm [14, Ex.4.7]} \end{array}$
$3$	$1$	$0$	$0$	$\begin{array}{l} \sum\limits_{n=0}^{\infty}\frac{{({}^{2n}_{\; n}) }^2}{16^n(n+1)}(O_{n}^3-3O_{n}O_n^{(2)}+2O_{n}^{(3)}) \\ =\frac{1}{\pi}(24-16\ln2+4\ln^22-4\ln^32-\pi^2+\pi^2\ln2-6\zeta(3))\ {\rm [14, Ex.4.12]} \end{array}$
$3$	$0$	$0$	$1$	$\begin{array}{l} \sum\limits_{n=0}^{\infty}\frac{{({}^{2n}_{\; n}) }^2}{16^n(n+1)}(H_{n+1}^3 -3H_{n+1}^2+3H_{n+1}H_{n+1}^{(2)}-3H_{n+1}^{(2)}+2H_{n+1}^{(3)}) \\ =\frac{8}{\pi}(60-60\ln2+24\ln^22-32\ln^32-3\pi^2+4\pi^2\ln2-12\zeta(3))\ {\rm [14, Ex.4.13]} \end{array}$
$4$	$1$	$0$	$0$	$\begin{array}{l} \sum\limits_{n=0}^{\infty}\frac{{({}^{2n}_{\; n})}^2}{16^n(n+1)}(O_{n}^{4}-6O_{n}^2O_n^{(2)} +3(O_n^{(2)})^2+8O_nO_{n}^{(3)}-6O_n^{(4)})\\ =\frac{4}{\pi}(24-24\ln2+12\ln^22-4\ln^32+\ln^42-\pi^2+\pi^2\ln2 -\frac{1}{2}\pi^2\ln^22\\ +\frac{\pi^4}{48}-6\zeta(3)+6\zeta(3)\ln2-\frac{21}{4}\zeta(4)) \end{array}$
$4$	$0$	$0$	$1$	$\begin{array}{l} \sum\limits_{n=0}^{\infty}\frac{{({}^{2n}_{\; n}) }^2}{16^n(n+1)}(-4H_{n+1}^3+H_{n+1}^4-12H_{n+1}H_{n+1}^{(2)} +6H_{n+1}^2H_{n+1}^{(2)}\\ +3(H_{n+1}^{(2)})^2-8H_{n+1}^{(3)}+8H_{n+1}H_{n+1}^{(3)}+6H_{n+1}^{(4)}) \\ =\frac{4}{\pi}(1152-1920\ln2+1536\ln^22-768\ln^32+256\ln^42-64\pi^2+96\pi^2\ln2 \\ -64\pi^2\ln^22+\frac{4}{3}\pi^4-288\zeta(3)+384\ln2\cdot\zeta(3)-168\zeta(4)) \end{array}$

表 3

参考文献 24

1	Ablinger J . Discovering and proving infinite binomial sums identities. Exp Math, 2017, 26 (1): 62- 71
2	Apéry R . Irrationalité de $\zeta(2)$ et $\zeta(3)$. Astérisque, 1979, 61, 11- 13
3	Bailey W N . Generalized Hypergeometric Series. Cambridge: Cambridge Univ Press, 1935
4	Campbell J M . Ramanujan-like series for $\frac{1}{\pi}$ involving harmonic numbers. Ramanujan J, 2018, 46 (2): 373- 387 doi: 10.1007/s11139-018-9995-9
5	Chen X , Chu W . The Gauss $_2F_1(1)$-summation theorem and harmonic number identities. Integral Transforms Spec Funct, 2009, 20 (12): 925- 935 doi: 10.1080/10652460903016166
6	Chen X , Chu W . Dixon's $_3F_2(1)$-series and identities involving harmonic numbers and Riemann zeta function. Discrete Math, 2010, 310, 83- 91 doi: 10.1016/j.disc.2009.07.029
7	Chu W . Hypergeometric series and the Riemann zeta function. Acta Arith, 1997, 82 (2): 103- 118 doi: 10.4064/aa-82-2-103-118
8	Chu W . Hypergeometric approch to Apéry-like series. Integral Transforms Spec Funct, 2017, 28 (7): 505- 518 doi: 10.1080/10652469.2017.1315416
9	Chu W , Zheng D Y . Infinite series with harmonic numbers and central binomial coefficients. Int J Number Theory, 2009, 5 (3): 429- 448
10	Comtet L. Advanced Combinatorics. Dordrecht: Klumer, 1974
11	Kölbig K S . The polygamma function $\psi^{(k)}(x)$ for $x=\frac{1}{4}$ and $x=\frac{3}{4}$. J Comput Appl Math, 1996, 75, 43- 46
12	Liu H , Wang W . Harmonic number identities via hypergeometric series and Bell polynomials. Integral Transforms Spec Funct, 2012, 23 (1): 49- 68 doi: 10.1080/10652469.2011.553718
13	Liu H , Zhou W , Ding S . Generalized harmonic number summation formulae via hypergeometric series and digamma functions. J Differ Equ Appl, 2017, 23 (7): 1204- 1218 doi: 10.1080/10236198.2017.1318861
14	Liu H , Wang W . Gauss's theorem and harmonic number summation formulae with certain mathematical constants. J Differ Equ Appl, 2019, 25 (3): 313- 330 doi: 10.1080/10236198.2019.1572127
15	Lehmer D H . Interesting series involving the central binomial coefficient. Amer Math Monthly, 1985, 92, 449- 457 doi: 10.1080/00029890.1985.11971651
16	Riordan J. An Introduction to Combinatorial Analysis. Reprint of the 1958 Original. Mineola: Dover, 2002
17	Srivastava H M, Choi J. Series Associated with the Zeta and Related Functions. Dordrecht: Kluwer Academic Publishers, 2001
18	Slater L J . Generalized Hypergeometric Functions. Cambridge: Cambridge Univ Press, 1966
19	Sun Z . New series for some special values of $L$-functions. Nanjing Univ J Math, 2015, 32 (2): 189- 218
20	Wang W , Jia C . Harmonic number identities via the Newton-Andrews method. Ramanujan J, 2014, 35 (2): 263- 285 doi: 10.1007/s11139-013-9511-1
21	Wang W , Xu C . Evaluations of sums involving harmonic numbers and binomial coefficients. J Differ Equ Appl, 2019, 25 (7): 1007- 1023 doi: 10.1080/10236198.2019.1647184
22	Wang X , Chu W . Further Ramanujan-like series containing harmonic numbers and squared binomial coefficients. Ramanujan J, 2019 doi: 10.1007/s11139-019-00140-5
23	Zheng D . Further summation formulae related to generalized harmonic numbers. J Math Anal Appl, 2007, 335 (1): 692- 706 doi: 10.1016/j.jmaa.2007.02.002
24	Zucker I J . On the series $\sum\limits_{k=1}^{\infty} \big({}^{2k}_{\; k}\big)^{-1}k^{-n}$. J Number Theory, 1985, 20, 92- 102 doi: 10.1016/0022-314X(85)90019-8

[1]	刘红梅, 李阳. 两类Kampé de Fériet,级数的简化和求和公式[J]. 数学物理学报, 2025, 45(1): 136-152.
[2]	刘红梅, 周文书, 李阳. 双变量超几何级数的变换与简化公式[J]. 数学物理学报, 2016, 36(1): 150-156.
[3]	张春苟. 单纯形上Meyer Konig and Zeller算子的二阶矩量 [DM)][J]. 数学物理学报, 2005, 25(2): 256-263.