基于超幾何級數(shù)的調(diào)和數(shù)求和公式

秦艷杰 劉紅梅

【摘要】基于一個超幾何級數(shù)求和公式和digamma函數(shù)的相關(guān)性質(zhì)，利用改進的Newton-Andrews方法，本文建立了一系列推廣的調(diào)和數(shù)求和公式.

【關(guān)鍵詞】超幾何級數(shù)求和公式;改進的Newton-Andrews方法;調(diào)和數(shù)求和公式

一、引 言

根據(jù)Bailey[1]和Slater[2]，超幾何級數(shù)定義如下：

其中（a）k為k次升階乘，定義為（a）0=1和（a）n=a（a+1）…（a+n-1），這里n=1，2，….

廣義調(diào)和數(shù)定義為：

H0（x）=0和Hn（x）=∑n-1k=01k+x，n=1，2，….（1.2）

這里的x是一個變量，當(dāng)x=1時，公式（1.2）就變成了經(jīng)典調(diào)和數(shù)：

H0=0和Hn=∑n-1k=01k+1，n=1，2，….

在1775年歐拉首次提出了一個與調(diào)和數(shù)有關(guān)的非常優(yōu)美的無窮級數(shù)恒等式：∑∞n=1Hn/n3=π4/72.

后來，這種優(yōu)美的調(diào)和數(shù)恒等式吸引了人們的注意，并以各種方式對它進行研究.例如，Borweins[3]通過對傅立葉級數(shù)的Parseval恒等式再現(xiàn)了恒等式（1.1）.

近年來，Newton-Andrews方法，被廣泛應(yīng)用于推導(dǎo)調(diào)和數(shù)恒等式中.該方法基于以下公式：

d/dx（n+xnx）/=0=Hn.（1.3）

利用Newton-Andrews方法，文獻[4-7]給出了大量有限和調(diào)和數(shù)恒等式.最近，Wang和Jia[8]運用Newton-Andrews方法又推導(dǎo)出許多無限和形式的調(diào)和數(shù)恒等式.

然而，在Newton-Andrews方法中，用二項系數(shù)表示超幾何求和公式的過程很復(fù)雜，令

我們高興的是，我們發(fā)現(xiàn)了升階乘的導(dǎo)數(shù)：

ddx（a+λx）n|x=0=λ（a）nHn（a），（1.4）

其中（a）0=1和（a）n=a（a+1）…（a+n-1），這里n=1，2，….通過公式（1.4）可以直接研究超幾何求和公式，不需要用二項系數(shù)來表示超幾何級數(shù)公式.

在本文中，基于一個經(jīng)典超幾何級數(shù)求和公式，即Watsons 3F2-求和定理：

3F2a，b，c

12（a+b+1），2c1

=Γ12Γ12+cΓ12+a2+b2Γ12-a2-b2+c

Γ12+a2Γ12+b2Γ12-a2+cΓ12-b2+c

（R（2c-a-b）>-1），（1.5）

利用改進的Newton-Andrews方法來建立新的廣義調(diào)和數(shù)求和公式.

為了書寫的方便，我們通常將多個伽馬函數(shù)的分數(shù)形式記為

Γa，b，…，cA，B，…，C=Γ（a）Γ（b）…Γ（c）Γ（A）Γ（B）…Γ（C）.

伽馬函數(shù)有以下的性質(zhì)：

Γ（x）Γ（1-x）=πcsc（πx），Γ（1+x）=xΓ（x）.伽馬函數(shù)對數(shù)的導(dǎo)數(shù)稱為digamma函數(shù)（或Psi函數(shù)）：

ψ（z）=ddz{logΓ（z）}=Γ′（z）Γ（z）.（1.6）

它與調(diào)和數(shù)有關(guān)系ψ（n）=Hn-1-γ，則ψ（1）=-γ，γ被稱為Euler-Mascheroni常數(shù)，且γ=limn→∞（Hn-logn）.此外，digamma函數(shù)滿足遞歸關(guān)系：

ψ（z+1）=ψ（z）+1z，（1.7）

和一個反射公式：ψ（1-z）-ψ（z）=πcot（πz），

此公式與gamma函數(shù)的反射公式類似.另外，我們列幾個digamma函數(shù)的特殊值：

ψ12=-2ln2-γ，（1.8）

ψ13=-π23-32ln3-γ，（1.9）

ψ14=-π2-3ln2-γ，（1.10）

ψ16=-3π2-2ln2-32ln3-γ.（1.11）

二、主要結(jié)論

定理 對于任意的正整數(shù)a，b，c并且有2c-a-b>1，有如下一般形式的調(diào)和數(shù)恒等式：

∑∞n=1（a）n（b）n（c）nn！12（a+b+1）n（2c）nHn（a）-12Hna2+b2+12

=12Γ12，12+c，12+a2+b2，12-a2-b2+c12+a2，12+b2，12-a2+c，12-b2+c×

ψ12+a2+b2-ψ12-a2-b2+c-ψ12+a2+ψ12-a2+c.（2.1）

∑∞n=1（a）n（b）n（c）nn！12（a+b+1）n（2c）n[Hn（c）-2Hn（2c）]

=Γ12，12+c，12+a2+b2，12-a2-b2+c12+a2，12+b2，12-a2+c，12-b2+c×

ψ12+c+ψ12-a2-b2+c-ψ12-a2+c-ψ12-b2+c.（2.2）

證明 在（1.5）中令a→a+x可以把定理表示成無窮級數(shù)的恒等式：

∑∞n=1（a+x）n（b）n（c）nn！12（a+x+b+1）n（2c）n

=Γ12，12+c，12+a+x2+b2，12-a+x2-b2+c12+a+x2，12+b2，12-a+x2+c，12-b2+c .

利用數(shù)學(xué)分析的方法可以證得：

ddx∑∞n=0（a+x）n（b）n（c）nn！12（a+x+b+1）n（2c）n

=∑∞n=0ddx（a+x）n（b）n（c）nn！12（a+x+b+1）n（2c）n，

而ddx（a+x）n（b）n（c）nn！12（a+x+b+1）n（2c）n

=（a+x）n（b）n（c）nn！12（a+x+b+1）n（2c）nHn（a+x）-? 12Hna+x2+b2+12.

又由digamma函數(shù)（1.6）的性質(zhì)可以證得：

ddxΓ12，12+c，12+a+x2+b2，12-a+x2-b2+c12+a+x2，12+b2，12-a+x2+c，12-a+x2+c

=12Γ12，12+c，12+a+x2+b2，12-a+x2-b2+c12+a+x2，12+b2，12-a+x2+c，12-b2+c ×

ψ12+a+x2+b2-ψ12-a+x2-b2+c-ψ12+a+x2+ψ12-a+x2+c.

令x=0，則（2.1）式成立.

同理，在（1.5）式中令c→c+x，

ddx∑∞n=0（a）n（b）n（c+x）nn！12（a=b+1）n（2c+2x）n

=∑∞n=0（a）n（b）n（c+x）nn！12（a=b+1）n（2c+2x）n

=∑∞n=0（a）n（b）n（c+x）nn！12（a+b+1）n（2c+2x）n×[Hn（c+x）-2Hn（2c+2x）].

又由digamma函數(shù)（1.6）式的性質(zhì)可以證得：

ddxΓ12，12+c+x，12+a2+b2，12-a2-b2+c+x12+a2，12+b2，12-a2+c+x，12-b2+c+x

=Γ12，12+c+x，12+a2+b2，12-a2-b2+c+x12+a2，12+b2，12-a2+c+x，12-b2+c+x×

ψ12+c+x-ψ12-a2-b2+c+x-ψ12-a2+c+x+ψ12-b2+c+x.

令x=0，則（2.2）式成立.

推論1 在（2.1）式和（2.2）式中令c=2，a=b=1，有：

∑∞n=16n?。℉n-On+1）32n×（2+n）×（3+n）=-316π32，（2.3）

∑∞n=16n32n×（2+n）×（3+n）[Hn+1-2Hn+3]

=-32ln2+2π32，（2.4）

這里On=12Hn12=∑∞n=112k-1.（2.5）

推論2 在（2.1）式和（2.2）式中令c=1，a=b=13，有：

∑∞n=113n13n56n（2）nHn13-12Hn56

=91623π3-3.（2.7）

∑∞n=113n13n56n（2）n[Hn-2Hn+1]

=98-4ln2+32ln3-3π6+4.（2.8）

【參考文獻】

[1]W N Bailey.Generalized hypergeometric series[M].Cambridge：Cambridge University Press，1953.

[2]L J Slater.Generalized Hypergeometric Functions[M].Cambridge：Cambridge University Press，1966.

[3]D Borwein，J M Borwein.On an intriguing integral and some series related toξ（4）[J].Proc.Amer.Math.Soc.，1995（4）：1191-1198.

[4]G E Andrews，K Uchimura.Identities in combinatorics Ⅳ：Differentiation and harmonic numbers[J].Util.Math，1985（28）：265-269.

[5]W Chu.Hypergeometric approach to Weidemans conjecture[J].Arch.Math.，2006（5）：400-406.

[6]W Chu，L De Donno.Hypergeometric series and harmonic number identities[J].Adv.Appl.Math.，2005（1）：123-137.

[7]W Chu and A M Fu.Dougall-Dixon formula and harmonic number identities[J].Ramanujan J.，2009（1）：11-31.

[8]W Wang，C Jia.Harmonic number identities via the Newton-Andrews method[J].Ramanujan J.，2014（2）：263-285.