基础超几何级数与q-Gosper算法.pdfVIP

摘要 摘要 ·这篇论文的主要结果是关于基本超几何级数的一些进展，包括基本超几何级 数恒等式关于q-Gosper算法的机器证明，一些已知等式的有限形式，以及四个 经典基本超几何级数公式关于g-调和级数的等式． 在第一章中，我们给出了基本超几何级数的背景，并介绍了本论文中用到的 定义和记号．同时，我们还介绍了一些重要的经典基本超几何级数恒等式． 在第二章中，我tf]弓l进了一种基于q-Gosper算法证明基本超几何级数恒等 式的系统方法．先从已知等式中得出一个迭代关系式，然后利用q-Gosper算法 计算产生Gosper对(gk，k)．这一步可以看作是对迭代关系式的验证．最后，我 们利用这个迭代关系式通过计算某个极限值来证明原始的等式．事实上，一旦 Gosper对给定，我们就可以计算相应的Abel对．一般来说，这种方法对于证明 很多带参数的经典和式都是非常有效的，其中包括很多著名的双边和单边和式． 在第三章中，我们介绍了曾被Cauchy『33]用来给出Jacobi三重积恒等式 第二个证明的一种方法．这种方法可以利用有限单边级数等式得到双边级数等 式．我们称这种方法为Cauchy方法．这种经典的方法被很多数学家采用，比如