有限驗證法證明超幾何恒等式.pdf

1、本文主要研究了證明超幾何恒等式的有限驗證法，并給出了所需驗證項數較小的估計。 通過驗證有限項來證明超幾何恒等式這種思想最早是由D.Zeilberger提出的。他指出，給定恒等式∑kF(n，k)=f(n)，n≥n0，其中F(n，k)和f(n)都是超幾何函數，則存在可以直接由F(n，k)和f(n)得到的整數n1，使得若∑kF(n，k)=f(n)對n=n0，n0+1，...，n1成立，則它對所有的n≥n0都成立。 1993年，

2、L.Yen在其博士論文中首次實現了這一思想，對超幾何恒等式估計出了n1，她估計n1的方法是：估計出證明恒等式兩邊滿足相同的遞歸關系所需驗證的項數nf，和該遞歸關系的階數J，以及na，滿足當n≥na時，遞歸關系的首項系數恒不為零，則取n1=max{n′a-1，nf}即可，其中n′a=max{na，n0+J}。但Yen得到的估計非常大，無法用于實際證明。例如對恒等式∑k(nk)=2n估計出的n1為1011，而對恒等式∑k(nk)2=(2nn

3、)，這一估計更是達到10115。1996年Yen還進一步對q-超幾何恒等式得到了n1更小的估計。2003年，張寶印利用吳消元法，進一步減小了對q-超幾何恒等式n1的估計。 上述方法所需估計的三個數值中，最難估計的是na，它一般情況下也是三者中最大的。為了進一步挖掘求和項所蘊含的信息以減小對na的估計，本文引入了多項式的次數高度對(DH對)的概念，進而定義了DH向量和DH矩陣以及它們之間的運算法則，并研究了DH對、DH向量、DH矩

4、陣以及它們之間的運算所滿足的一些性質。 基于Cramer法則和Yen給出的形式地求齊次線性方程組多項式解的算法，我們給出了求齊次線性方程組多項式解的DH對上界的算法。利用SisterCeline算法和新Zeilberger算法可以得到關于遞歸關系多項式系數的方程組，對此方程組利用上述求DH對上界的算法，我們可以估計出遞歸關系系數多項式的DH對上界，從而得出na和n1的估計。 實例表明，本文的結果改進了對n1的估計。例如對

5、一般的超幾何恒等式，我們對恒等式∑k(nk)=2n，利用SisterCeline算法得到n1=16，利用新Zeilberger算法得到n1=4。對恒等式∑k(nk)2=(2nn)，利用SisterCeline算法得到n1=2.52×1025，利用新Zeilberger算法得到n1=24700。對q-超幾何恒等式，我們利用新q-Zeilberger算法對Jacobi三重積恒等式的一種有限形式得到n1=9，對q-Vandermonde-Ch