可罗萨里过剩数

✍ dations ◷ 2025-10-31 11:56:43 #除数函数,整数数列

可罗萨里过剩数(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的可罗萨里过剩数都成立。

相关

  • 猫科动物猫亚科 Felinae 豹亚科 Pantherinae †剑齿虎亚科 Machairodontinae †原小熊猫亚科 Proailurinae猫科包括狮子、老虎和豹等动物,是食肉目的9个科中最具肉食性的哺乳动物。第
  • 达令河达令河(英语:Darling River)亦翻作大令河,是澳大利亚第一长河,发源于新南威尔士北部,上游有很多支流;干流向西南流,在温特沃斯(Wentworth)注入墨累河。水量季节变化很大,干季经常断流,雨
  • 洛杉矶级洛杉矶级攻击型核潜艇(英语:Los Angeles-class submarine,常称为688级)为美国在冷战时期建造的一种高速多用途核潜艇,也是美国的第五代攻击型潜艇。该舰的任务主要是反舰、反潜、
  • 夏尔·罗贝尔·里歇夏尔·罗贝尔·里歇(法语:Charles Robert Richet,1850年8月25日-1935年12月4日),法国生理学家,是许多研究的早期建立者,例如神经化学、消化作用、恒温动物的体温调控,以及呼吸作用。
  • 弗朗西斯科·卡尔沃·塞拉列尔弗朗西斯科·卡尔沃·塞拉列尔(西班牙语:Francisco Calvo Serraller,1948年4月19日-2018年11月16日),西班牙历史学家。卡尔沃·塞拉列尔1948年出生于马德里。他在康普顿斯大学获得
  • 托隆尼亚家族托隆尼亚家族(意大利语:Torlonia),是一个起源于法国,发迹于罗马的贵族家族,该家族于18-19世纪透过协助梵谛冈进行财务管理而获得了巨大财富,由于其惊人的财富,在意大利语流行辞典中,
  • 丁协平丁协平(1938年4月16日-2020年1月4日),男,四川自贡人,中国数学家,非线性分析专家,四川师范大学教授。1938年出生于四川自贡。1961年毕业于四川大学数学系,期间师从柯召、张鼎铭和蒲保
  • 米洛斯拉夫·布拉泽维奇米洛斯拉夫·布拉泽维奇(Miroslav Blažević,1935年2月10日-)是克罗地亚著名足球主教练,曾经率领克罗地亚国家队获得1998年法国世界杯季军,在中国执教时曾担任上海申花和中国国奥
  • 任豪任豪(英语:P.O.I,1995年7月17日-),出生于中国四川省成都市,中国大陆男歌手及演员,所属经纪公司白色系文化。现为男子音乐组合R1SE成员,前为男子音乐组合ZERO-G成员。2014年,成为白色系
  • 邓通邓通(?-2世纪?),西汉蜀郡人,汉文帝宠臣。原为船夫,后来成为汉文帝的佞幸,并赐给铜山成为富豪,却得罪太子刘启。太子登基后,剥夺邓通所有财产。邓通最后饿死。邓通原是一个船夫,汉朝时称