1. 引言
文本主要对含有广义调和数平方的无穷级数恒等式进行探讨。经典的调和数定义为
,
,
.
调和数的研究可以追溯到中世纪后期,它出现在各种特殊函数的表达式中,在分析、数论、组合和计算机科学等领域中都有重要应用。含有调和数无穷级数的计算公式最早起源于Euler的工作,他发现了若干与Riemann Zeta函数有关的重要恒等式,为调和数的研究做出了巨大贡献。
近些年,涉及调和数和广义调和数的无穷级数求和公式的研究备受关注。在 [1] 中,Paule和Schneider采用Newton-Andrews方法,并将该方法和Zeilberger算法应用于超几何级数求和公式中获得了由Ahlgren提出猜想的5个调和数求和公式。在 [2] 中,Chu和Fu发现了超几何级数与调和数恒等式的内在联系,并通过对终止型超几何级数求和公式进行求导运算,得到了一系列结构漂亮的调和数恒等式。王伟平和贾藏芝 [3] 在2014年利用Bell多项式给出二项式系数及其倒数的表达式,并拓广Newton-Andrews方法的应用领域,探讨了含有调和数的组合求和公式。随后,魏传安 [4] [5] 运用导数算子方法研究了一些含有调和数及广义调和数的级数恒等式。刘红梅和王伟平 [6] 通过对著名的高斯求和定理进行高阶求导运算,推导出一些含有无理数
、Euler常数
、Catalan常数及Apéry常数
的调和数求和公式,并在 [7] 中以两个高斯超几何求和公式为基础,建立一系列关于中心二项式系数和广义调和数的无穷级数恒等式。在 [8] 中,Kargin等从调和数和伯努利数之间的联系出发,提出了广义超调和数和伯努利多项式之间的关系,并利用这种关系获得大量的求和公式及同余恒等式。在 [9] 中,王瑞和乌云高娃利用生成函数的方法研究了广义调和数与Changhee序列、Daehee序列、退化Changhee-Genoocchi序列、两类退化Stirling数的一些新恒等式,同时使用Riordan阵列,探索了这些多项式、Apostol Bernoulli序列、Apostol Euler序列和Apostol Genocchi序列之间的有趣关系。
2006年,Chu [10] 开创了计算q-级数和椭圆超几何级数的Abel分部求和法,对该领域的研究赋予新的生命力。2012年,Chu [11] 再次扩大该方法的研究领域,证明若干含有调和数及其变换形式的求和公式,例如:
,
;
,
,
其中,G表示Catalan常数,即
.
在 [12] 中,王晓元同样利用Abel分部求和法研究了含有广义调和数的无穷级数恒等式,比如:
,
.
由于Abel分部求和法是检验无穷级数收敛的基本方法,利用该方法去研究调和数相关求和公式的工作引起数学工作者的关注,获得成果可以参见 [13] [14] [15] [16] 。
本文主要对含有两个正实数a和b的广义调和数
和
进行展开研究,获得含有
和
的组合恒等式。首先通过组合分析中的Abel分部求和引理获得含有两个差分对的无穷级数求和公式,即主要定理2。然后选取恰当的序列对,利用定理2证明含有广义调和数
的无穷级数恒等式,再取参数
和
两种情况,获得对应的四个著名的经典调和类型数
,
,
,
平方的无穷级数恒等式,并建立
,Catalan常数和ln2的无穷级数求和公式。接下来,采用同样的讨论方法研究含有广义调和数
的无穷级数恒等式。最后对本文的结论进行总结。
2. Abel分部求和法
设
和
是两个序列,
,则 [17] 中定理6.30给出如下Abel求和公式:
,
该公式经常被用来解决一些数列的收敛性问题。在 [11] 中,Chu利用修改后的Abel求和公式推导出含有调和数的无穷级数恒等式。本文中我们将继续利用 [11] 中的Abel分部求和引理对广义调和数进行研究。
对于任意的复数序列
,分别定义向前和向后差分算子
和
为
和
,
需要指出的是,这里的
与通常的向前差分算子仅相差一个负号,则有如下公式成立。
引理1 (Abel分部求和引理)
,
其中极限
存在,且公式中的非终止型级数是收敛的(证明过程参见 [11] )。
如果存在另外的差分对
,满足
,
利用引理1得到
,
将其代入到引理1中,可以获得如下重要变换公式。
定理2 对于给定的两个差分对
和
,如果
,
那么有无穷级数公式成立:
,
上式成立的条件是两个极限
和
都存在,且其中一个非终止型级数是收敛的。
在本文中,首先选取序列
为
和
,
其向前差分算子
;
.
再选取序列
为
和
,
其向前差分算子
;
.
下面将利用定理2推导含有
和
的求和公式,获得的相关结果均已用数学软件Mathematica程序进行验证,以确保其正确性。
3. 含有
的无穷级数恒等式
给定两个序列
为
;
,
不难计算其向后差分
;
,
和极限关系
,
;
,
,
根据定理2可得求和公式。
定理3
.
令参数
和
,可以推出含有调和数平方及其变换形式平方的表达式。
推论4
,
.
给定两个序列
;
,
其向后差分为
;
,
计算极限关系,通过定理2可得求和公式。
定理5
.
令参数
和
,可以推出含有调和数平方及其变换形式平方的表达式。
推论6
,
.
给定两个序列
;
,
容易计算其向后差分为
;
,
将上式和极限关系代入定理2可得求和公式。
定理7
.
令参数
和
,可以推出含有调和数平方及其变换形式平方的表达式。
推论8
,
.
给定两个序列
;
,
其向后差分为
;
,
计算极限关系,通过定理2可得求和公式。
定理9
.
令参数
和
,可以推出含有调和数平方及其变换形式平方的表达式。
推论10
;
.
4. 含有
的无穷级数恒等式
给定两个序列
;
,
其向后差分
;
,
利用极限关系和定理2得到以下求和公式。
定理11
.
令参数
和
,可以推出含有调和类数平方及其变换形式平方的表达式。
推论12
,
.
给定两个序列
;
,
不难获得其向后差分
;
,
将上式和极限关系代入定理2可得求和公式。
定理13
.
令参数
和
,可以推出含有调和类数平方及其变换形式平方的表达式。
推论14
,
.
给定两个序列
;
,
计算其向后差分
;
,
通过极限关系,再利用定理2得到以下求和公式。
定理15
.
令参数
和
,可以推出含有调和类数平方及其变换形式平方的表达式。
推论16
,
.
给定两个序列
;
,
计算其向后差分
;
,
利用极限关系和定理2得到以下求和公式。
定理17
.
令参数
和
,可以推出含有调和类数平方及其变换形式平方的表达式。
推论18
;
.
需要指出的是,只要选取恰当的序列
,利用主要定理2便可以获得一些新的含有广义调和数平方的无穷级数恒等式。
5. 结论
Abel分部求和法是证明组合恒等式强有力的分析学工具,应用Abel分部求和法可以推导出大批新的含有调和数的无穷级数与交错级数。本文利用Abel分部求和法,通过选取两个恰当的序列
,利用主要定理2获得一些新的含有调和数平方以及调和类数平方的无穷级数恒等式,并同时建立一些新的关于
,Catalan常数和ln2的无穷级数求和公式。该研究不仅扩大了Abel方法的应用范围,对调和数的研究领域起到一定的推动作用,感兴趣的读者可以进一步尝试。
基金项目
辽宁省教育厅科学研究项目(项目编号JDL2019028)。