zeilbrger算法及其应用.pdfVIP

摘要 摘要 证明无穷基本超几何恒等式，以及利用zeilberger算法来证明双重和恒等式。 在第一章中，我们介绍了zeilberger算法的一些背景和论文中使用的一些记 号和基本定义。 在第二章中，我们解决了一个公开问题：在什么情形下q．zeilberger算法终 止。当给定的q一双超几何项是关于q，旷，矿的有理函数时，Le给出了这种特殊情 形下的解答。我们给出了这个问题在一般情形下的解答，对g，zeilberger算法终 止的g一双超几何项给出了一个刻画。首先，对给定的g一双超几何项T(n，≈)，应 明了由算法q—decomp计算得到的g-双超几何项死(n，≈)具有很好的性质。紧接 着，我们对q一双超几何项的结构进行了研究。由q一双超几何项的结构性质以及 递归关系式中一些因子的整除性，得到结论：对于由上面q_decomp算法得到的 乃(n，≈)，q—zeilberger终止当且仅当乃(礼，≈)是q一正则超几何项。由此得到本章 的主要结果一～对任意的g一双超几何项T(n，％)，g．zeilberger算法是否终止的判 别标准。最后，我们还给了一个算法，用于判断是否可以用g—zeilberger算法找 到给定q一双超几何项