3高斯的连分数22调研报告.docx

除数函数除数函数为定义一个整数之和th权力(正整数)因数的 ,(1)它的实现Wolfram语言作为DivisorSigma(k,n)。的符号(哈代和赖特1979,p.239),(矿石1988,p.86)(伯顿1989,p.128)有时用于,提供的因数。而令人惊讶的是,许多因素的多项式也给出了。的值可以找到逆默比乌斯变换1,1,1,…(斯隆和普劳夫1995,p.22)。Heath-Brown(1984)证明经常无限。数字因数叫做的增量最大数量高度综合的数字。这个函数满足身份(2)(3)在哪里不同的素数,是质因数分解的数量 .除数函数是奇怪的敌我识别是一个平方数.这个函数出的因子的总和通常是没有下标写的,也就是说, .作为一个说明性的例子的计算,考虑到140号因数、2、4、5、7、10、14、20、28岁,35岁,70年到140年,总共因数。因此,(4)(5)(6)(7)下面的表总结了前几的值对小和2....斯隆为,2,…0A0000051、2、2、3、2、4、2、4、3、4、2、6…1A0002031、3、4、7、6、12、8、15日,13日,18日……2A0011571、5、10,21岁,26岁,50岁,50岁,85年,91年,130年……3A0011581,9日,28日,73,126,252,344,585,757,1134,……的总和因数的不包括本身(即。,适当的因子的)称为限制因子函数并表示。最初几个值是0,1,1,3,1、6、1、7、4、8、1,16日……(OEISA001065).因子的总和可以找到如下。让与和。对于任何因子的 ,,在那里的因子和的因子。的因数1, ,,……,。的因数1, , ,...,。总结的因数(8)(9)对于一个给定的 ,(10)对所有求和 ,(11)所以。分裂和为主要因素,(12)对于一个权力因数是1, , ,...,,所以(13)为因此,(14)(Berndt1985)。的特殊情况一个,(14)简化(15)同样的,对一个权力2、(14)简化(16)身份(◇)和(◇)可以推广到(17)(18)金额涉及的除数函数(19)为 ,(20)为更一般的,(21)为和(哈代和赖特1979,p.250)。一个生成函数为给出的兰伯特系列(22)(23)(24)(25)在哪里是一个q-polygamma函数.的函数的级数展开(26)哈迪(1999)。Ramanujan给美丽的公式(27)在哪里是ζ函数和(威尔逊1923),这是使用英的证据素数定理(哈代1999,pp.59-60)。这就给了特例(28)(哈代1999年,p.59)。除数函数也满足不平等(29)在哪里是Euler-Mascheroni常数(1984年罗宾,Erdős1984)。Gronwall定理州(30)在哪里是Euler-Mascheroni常数(哈代和赖特1979,p.266)。是2的幂吗敌我识别或是不同的产品吗梅森素数(Sierpiński1958/59,1989年SivaramakrishnanKaplansky1999)。最初几个这样的是1、3、7、21日31日,93,127,217,381,651,889,2667,……(OEISA046528的权力),这些对应于20,2,3,5,5,7,7,8,9,10,10,12日,12日,13日,14日,…(OEISA048947).好奇的身份得到使用模块化的形式理论是由(31)(32)(很有1997,p.1997),一起(33)(34)(35)(m.Trottper。通讯)。除数函数(事实上,为)是奇怪的敌我识别是一个平方数或两次平方数。除数函数满足同余(36)对所有质数也没有合数除了4、6和22(苏巴拉奥1974)。因子的数量是每当本身是(Honsberger1991)。分解的为由Sorli给出。1838年,狄利克雷显示的平均数量因数所有的数字从1到是渐近(37)哈迪(康威和盖1996;1999年,p.55;Havil2003年,页112-113),正如上文所述,薄固体曲线地块实际值和厚短划线情节渐近函数。这是相关的狄利克雷除数问题,旨在找到“最好”的系数在(38)(哈代和赖特1979,p.264)。的summatory功能为与是(39)为 ,(40)(哈代和赖特1979,p.266)。除数函数也可以推广到高斯整数。定义需要一些护理从原则上,有歧义的,四个同事每个因子的选择。斯派拉(1961)定义了复数的因子的总和通过分解在权力截然不同的高斯质数的乘积,(41)在哪里是一个单位,每个位于第一象限的复平面,然后写作(42)这使得一个乘法函数,也给了。这个扩展的实现Wolfram语言作为DivisorSigma(1zGaussianIntegers-真实)。下面的表给出对于小型非负的值和 .01