网站首页  词典首页

请输入您要查询的论文:

 

标题 基于超几何级数的调和数求和公式
范文

    秦艳杰 刘红梅

    

    

    【摘要】基于一个超几何级数求和公式和digamma函数的相关性质,利用改进的Newton-Andrews方法,本文建立了一系列推广的调和数求和公式.

    【关键词】超几何级数求和公式;改进的Newton-Andrews方法;调和数求和公式

    一、引 言

    根据Bailey[1]和Slater[2],超几何级数定义如下:

    其中(a)k为k次升阶乘,定义为(a)0=1和(a)n=a(a+1)…(a+n-1),这里n=1,2,….

    广义调和数定义为:

    H0(x)=0和Hn(x)=∑n-1k=01k+x,n=1,2,….(1.2)

    这里的x是一个变量,当x=1时,公式(1.2)就变成了经典调和数:

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

    在1775年欧拉首次提出了一个与调和数有关的非常优美的无穷级数恒等式:∑∞n=1Hn/n3=π4/72.

    后来,这种优美的调和数恒等式吸引了人们的注意,并以各种方式对它进行研究.例如,Borweins[3]通过对傅立叶级数的Parseval恒等式再现了恒等式(1.1).

    近年来,Newton-Andrews方法,被广泛应用于推导调和数恒等式中.该方法基于以下公式:

    d/dx(n+xnx)/=0=Hn.(1.3)

    利用Newton-Andrews方法,文献[4-7]给出了大量有限和调和数恒等式.最近,Wang和Jia[8]运用Newton-Andrews方法又推导出许多无限和形式的调和数恒等式.

    然而,在Newton-Andrews方法中,用二项系数表示超几何求和公式的过程很复杂,令

    我们高兴的是,我们发现了升阶乘的导数:

    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)可以直接研究超几何求和公式,不需要用二项系数来表示超几何级数公式.

    在本文中,基于一个经典超几何级数求和公式,即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方法来建立新的广义调和数求和公式.

    为了书写的方便,我们通常将多个伽马函数的分数形式记为

    Γa,b,…,cA,B,…,C=Γ(a)Γ(b)…Γ(c)Γ(A)Γ(B)…Γ(C).

    伽马函数有以下的性质:

    Γ(x)Γ(1-x)=πcsc(πx),Γ(1+x)=xΓ(x).伽马函数对数的导数称为digamma函数(或Psi函数):

    ψ(z)=ddz{logΓ(z)}=Γ′(z)Γ(z).(1.6)

    它与调和数有关系ψ(n)=Hn-1-γ,则ψ(1)=-γ,γ被称为Euler-Mascheroni常数,且γ=limn→∞(Hn-logn).此外,digamma函数满足递归关系:

    ψ(z+1)=ψ(z)+1z,(1.7)

    和一个反射公式:ψ(1-z)-ψ(z)=πcot(πz),

    此公式與gamma函数的反射公式类似.另外,我们列几个digamma函数的特殊值:

    ψ12=-2ln2-γ,(1.8)

    ψ13=-π23-32ln3-γ,(1.9)

    ψ14=-π2-3ln2-γ,(1.10)

    ψ16=-3π2-2ln2-32ln3-γ.(1.11)

    二、主要结论

    定理 对于任意的正整数a,b,c并且有2c-a-b>1,有如下一般形式的调和数恒等式:

    ∑∞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可以把定理表示成无穷级数的恒等式:

    ∑∞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 .

    利用数学分析的方法可以证得:

    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函數(1.6)的性质可以证得:

    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函数(1.6)式的性质可以证得:

    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!(Hn-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.

随便看

 

科学优质学术资源、百科知识分享平台,免费提供知识科普、生活经验分享、中外学术论文、各类范文、学术文献、教学资料、学术期刊、会议、报纸、杂志、工具书等各类资源检索、在线阅读和软件app下载服务。

 

Copyright © 2004-2023 puapp.net All Rights Reserved
更新时间:2025/7/8 3:24:17