可罗萨里过剩数

✍ dations ◷ 2025-10-20 20:19:52 #除数函数,整数数列

可罗萨里过剩数(Colossally superabundant number,有时会简称CA)是指一正整数,存在一正数ε,使得对于所有正整数m,下式恒成立:

其中σ为除数函数,是所有正约数(包括本身)的和。

头几个超过剩数为:2, 6, 12, 60, 120, 360, 2520, 5040... (OEIS中的数列A004490)

所有的可罗萨里过剩数都是超过剩数,但有些整数是超过剩数,而不是可罗萨里过剩数。

可罗萨里过剩数最早是由斯里尼瓦瑟·拉马努金所发现,他在1915年提出的相关高合成数的论文中原来有包括有可罗萨里过剩数的相关研究。不过因为期刊发行单位伦敦数学学会的财务问题,拉马努金为了减少论文的篇幅,愿意删除论文中有关可罗萨里过剩数的内容。拉马努金的研究和黎曼猜想有关.配合他提出的有关可罗萨里过剩数上下限的假设,可以证明一个称为罗宾不等式的不等式在所有足够大(英语:sufficiently large)的正整数时都成立。

拉马努金发现的可罗萨里过剩数比莱昂尼达斯·阿劳哥鲁(英语:Alaoglu)及保罗·埃尔德什所发现的类似整数要严格一些些。

可罗萨里过剩数是由有许多约数的整数组成的数列,以除数函数和本身之间的闗系来判断是否有很多约数。一正整数的除数函数是所有的正约数的和(包括1和)。保罗·巴赫曼(英语:Paul Gustav Heinrich Bachmann)证明σ()的平均值大致接近π² / 6。多玛·哈肯·格朗沃尔(英语:Thomas Hakon Grönwall)提出的格朗沃尔定理证明σ()最大值的数量值略大于上述的公式,而且存在一个递增数列使得整数σ() 大致和γlog(log())大小相当,其中γ为欧拉-马歇罗尼常数。可罗萨里过剩数需要在针对某一特定ε > 0的条件下,下列函数在为可罗萨里过剩数时有最大值:

保罗·巴赫曼及古伦沃尔证明了针对每个小于0的ε > 0,此函数会有一最大值,而且当ε越接近0,最大值的数值会越大。因此有无穷多个Colossally过剩数,不过分布的非常稀疏,在小于1018的范围内只有22个。

针对每一个ε值,上述的函数均存在一个全域极大值。但各ε值下函数的全域极大值可能有多个点,不一定只有一个点。阿劳哥鲁及保罗·埃尔德什研究在一定特定值的ε值下,会有几个不同的使上述函数均为全域最大值,针对大多数的ε值,只有一个使函数有全域最大值。不过埃尔德什和让-路易·尼古拉(Jean-Louis Nicolas)证明有一些离散的ε值形成的集合,在该ε值下函数会有2或4个不同的值,都会使函数有相同的全域最大值。

Alaoglu及保罗·埃尔德什合作在1944年发表的论文中试图证明二个连续可罗萨里过剩数之间的比值恒为素数,但没有成功。后来将上述的叙述变成一个猜想,而且证明此猜想会依循超越数论(英语:transcendental number theory)中四个指数猜想(英语:Four exponentials conjecture)中的一个特例,也就是对于二相异的素数,及一实数,只有在为正整数时才能同时使及均为有理数。

根据六个指数定理(英语:six exponentials theorem)中有关三个素数的类似结果(也就是卡尔·西格尔声称由他本人证明的定理),阿劳哥鲁及保罗·埃尔德什已证明二个连续可罗萨里过剩数之间的比值恒为素数或是半素数(二个相异素数乘积)。

阿劳哥鲁及保罗·埃尔德什的猜想尚未被证实或推翻。若其猜想成立,表示存在一个由非相异素数组成的数列1, 2, 3,…,使得第个可罗萨里过剩数可以用下式表示:

假设上述猜想成立,此素数数列的前几项为2, 3, 2, 5, 2, 3, 7, 2 (OEIS中的数列A073751),而且所有的ε值下,函数只会有1或2的值使函数有相同的全域最大值,没有任何一个ε值会对应4个使函数有相同全域最大值的值。

1980年代盖.罗宾证明黎曼猜想等于以下的不等式对于所有大于5040的正整数都成立:

当 = 5040时上述等式不成立,但罗宾证明若黎曼猜想成立时,上述不等式只有在=5040时会不成立,其余条件都会成立,上述不等式称为罗宾不等式。若除了5040外,仍有其他正整数使罗宾不等式不成立,该正整数一定是可罗萨里过剩数,因此黎曼猜想也等于上述不等式对于所有大于5040的可罗萨里过剩数都成立。

相关

  • 西北部联邦管区西北部联邦管区(俄语:Северо-западный федеральный округ,罗马化:Severo-zapadny federalny okrug)位于俄罗斯西北部,是目前俄罗斯的联邦管区之一
  • 祖乙祖乙(?-?),又称且乙(“且”是“祖”的本字,实为同一字),姓子,名滕(一作胜),中国商朝第十四任君主,《史记·殷本纪》称他为河亶甲之子,但甲骨文记载他是仲丁之子。他在位时商朝再度兴盛。《太
  • 边值问题在微分方程中,边值问题是一个微分方程和一组称之为边界条件的约束条件。边值问题的解通常是符合约束条件的微分方程的解。物理学中经常遇到边值问题,例如波动方程等。许多重要
  • 烛台双屿坐标:25°13′58″N 121°39′17″E / 25.23273°N 121.654742°E / 25.23273; 121.654742烛台双屿,又称为烛台屿、夫妇石、夫妻石,是台湾新北市金山区的显礁。本为金山岬的一
  • 戈塔巴雅·拉贾帕克萨 战斗勇敢奖章(英语:Rana Wickrama Padakkama) 戈塔巴雅·拉贾帕克萨(僧伽罗语:ගෝඨාභය රාජපක්ෂ,泰米尔语:கோத்தாபய ராஜபக்ச,英语:Gotabaya Rajapaksa,194
  • 迈塞尔·尤伊伯迈塞尔·尤伊伯(爱沙尼亚语:Maicel Uibo,1992年12月27日-)是一名爱沙尼亚十项全能运动员。尤伊伯在2019年世界田径锦标赛上以8604分的个人最好成绩赢得了银牌。他于2017年和巴哈
  • 西尔维乌·库尔蒂恰努西尔维乌·库尔蒂恰努(罗马尼亚语:Silviu Curticeanu;1933年10月15日-),法学家,罗马尼亚共产党中央政治执行委员会候补委员、中央书记处书记、中央办公厅主任。被外界视为尼古拉·
  • 乔丹·克拉克森乔丹·泰勒·克拉克森(英语:Jordan Taylor Clarkson,1992年6月7日-),美国、菲律宾职业篮球员,主要位置为控球后卫及得分后卫,现效力于美国国家篮球协会(NBA)的犹他爵士。克拉克森的父
  • 韦斯·本特利韦斯·本特利(英语:Wesley Cook "Wes" Bentley,1978年9月4日-)是美国的一位演员。他最著名的作品包括美国丽人等电影。本特利出生在俄亥俄州琼斯伯勒。曾在饥饿游戏电影中演出游
  • 高仁护高仁护,唐代将领高则之子,非常勇猛,但是并没有参军。