分拆函数等式的推广及超几何函数恒等式的新证明.pdfVIP

第一章 引言 q一级数发展至今已经形成了一套比较完整的理论，它被应用到数论、根系 (Macdonald恒等式)、超越数理论、计算代数、组合学、差分方程、李代数和李 群、物理学、统计学、代数几何、Haurd．HeXagon模等方面． 说到分拆函数，众所周知的印度数学家S．Ramanjan经常被人们称为是数论专家， 尽管他对分析以及数学的其他很多领域都有杰出的贡献，但每当人们提到他时，大家 都会很自然的关注到他的分拆函数一数论和组合论中的一个重要内容．S．Ramanujan 是从Euler提出分拆函数之后对分拆函数贡献最大的一位数学家，值得提到的是他 给出并证明了分拆函数的三个重要结论P(5n+4)兰0(mod 7)【3】，[6，pp．21m213】和P(11n+6)三o(mod 了一种新的证明方法，在S．R锄anujan的手稿中，他用字母J代替多项式的方法给出 了P(n)=117-(n)(mod13)的简单证明． of 上面提到的三个结论的简单证明[5】．刘治国教授也写了一篇名为Anidentity andthe of assuI璐of Ramallujanrepresentationintegers 章，这都说明了现在有越来越多的数学家开始重视分拆函数的研究了． 通过研究生期间的学习我也开始慢慢认识了分拆函数，开始知道了自然界中的数 字之间原来有着千丝万缕的联系．在此，我写了一篇简短而又易理解的文章，旨在把我 近阶段感觉比较有乐趣的的心得记录下来而已． 本文一共分四部分：第一章对q一级数的历史做了一下简单的介绍；在第二章中对 一些基本符号如：q一升阶数，分拆函数，以及新引进的分拆函数的定义等作了一些简单 的介绍；第三章我们给出分拆函数恒等式的推广形式，根据这些推广形式我们给出了 一些结论的简单证明，并给出了推广恒等式的一些性质；第四章为了证明一个超几何 函数恒等式，我们先给出一个引理，然后采用简单的符号代替复杂式子的方式重新给 出了超几何函数恒等式的证明． 最后说明一下，我的这篇文章虽然经过数次修改并查阅核实了许多知识点，但仍 不免有错误和纰漏之处，敬请读者谅解，并希望您能给我多提宝贵意见和建议，谢谢1 2 第二章 分拆函数定义的引进 2．1 基本符号 在本文中遇到(o；q)n，我们读作：a的n阶q-升阶乘，并统一定义为： (o；q)n=(1一o)(1一nq)(1一nq2)…(1一口gn一1)，(2．1．1) (凸；q)∞=(1一o)(1一nq)(1一n口2)…(1一n口n)…．(2．1．2) 当n=o时，(n；g)o=1， 其中a为任意复数，n为正整数，…1． 特别地，当o=g时，我们记 (g；g)o：=1， (g；g)n：=(1一q)(1一92)…(1～qn)， ． (g；q)∞：=(1一g)(1一92)…(1～口n)…． 以后在其他地方我们还可能遇到n为负整数的情况，此时： (口．g)n=面毛． 2．2 分拆函数的定义 为了行文方便，在本文中我们称P(n)和后面提到的疡(n)为原始分拆函数，解释 ～下P(几)的含义：首先将正整数n写成正整数和的形式，共有后种写法，若两种写法 第二章分拆函数定义的引进 数字相同只是顺序不同记为一种写法，我们汜：P(n)=后． 是尸(n)随着n的增大上升的很快．于是人们开始不断地努力寻找有关P(九)的恒等 式来研究P(几)的性质． 数p(钆)中的p为小写字母，为行文方便在本文中我们统一用大写字母P，即：P(n)．)，而 且还提出了分拆函数p(佗)的生成函数： 2志巾l“· (2．2．1) 薹即)qn ． 跏)一赤exp(丌~／孚)， (2．2．2) 也就是说(2．2．2)左右两边的比值