哈代-李特尔伍德定理

数学术语

存在常数K>0及T0>0,使得对所有T>T0,黎曼ζ函数在临界线上0≤Im(s)≤T的区间内的非平凡零点数目不小于KT。这就是哈代-李特尔伍德定理,也称陈-哈代-李特尔伍德定理。早在1928年,陈建功就证明:三角级数绝对收敛的充要条件是它为杨氏(Young)连续函数的傅里叶级数。同年,G.H.哈代(Hardy,1877-1947)与J.E.李特尔伍德(littlewood,1885-1977)于德国数学时报上也发表了同一结论,因后者发行广泛,世人常称之为哈代-利特尔伍德定理。还其本源,此定理当称为“陈-哈代-李特尔伍德定理”。

相关介绍
哈代一生除了对数学本身的卓越贡献外,还有两段与他人合作的经历在数学史上被传为佳话。其中一段是与印度数学奇才拉马努金(Srinivasa Ramanujan,1887-1920)的传奇性的合作,另一段便是与李特尔伍德的合作。李特尔伍德与哈代一样,是英国本土的数学家。英国的数学界自牛顿-莱布尼茨论战以来渐渐与欧洲大陆的数学界孤立了开来。1906年,当李特尔伍德还是剑桥大学三一学院(Trinity College)的一位年轻学生的时候,这种孤立所导致的一个有趣的后果落到了他的头上。他当时的导师、英国数学家巴恩斯(Ernest Barnes,1874-1953)在那年的暑期之前随手写给了他一个函数,轻描淡写地告诉他说这叫做 函数,让他研究一下这个函数的零点位置。初出茅庐的李特尔伍德不知 函数为何方神圣,领命而去倒也罢了,但巴恩斯居然能漫不经心地把这样的课题交给当时还是“菜鸟”(尽管算是比较厉害的“菜鸟”)的李特尔伍德,说明他对欧洲大陆在近半个世纪的时间里对这一函数的研究,以及由此所显示的这一课题的艰深程度了解得很不够。
不过巴恩斯虽有对“敌情”失察之过,把任务交给李特尔伍德却是找对人了,因为李特尔伍德很快就成长为英国第一流的数学家。而在这过程中,巴恩斯所给的这个课题对他的成长不无促进之功。若干年后,当李特尔伍德终于体会到了黎曼猜想的艰深程度,甚至开始怀疑其正确性的时候,他并没有后悔当时曾经接下了这一课题,因为一位真正优秀的数学家在面对一个绝顶难题的时候,往往会被激发出最大的潜力及最敏锐的灵感。
事实上,拿到上述课题后的第二年,李特尔伍德就发现这个 函数与素数分布之间存在着紧密关联。对于欧洲大陆的数学家来说,这种关联已不足为奇,因为它早在四十八年之前就被黎曼发现了。但在闭塞的英国数学界,欧洲大陆在这方面的工作当时还鲜为人知。不过闭塞归闭塞,例外还是有的,其中与李特尔伍德恰好同在三一学院的哈代就是一个例外。尽管李特尔伍德的发现在时间上未能领先,但他能独立地重复黎曼的部分工作,其功力之不凡还是给年长的哈代留下了深刻印象。此后李特尔伍德在曼彻斯特大学(University of Manchester)教了三年书。1910年他在获得了三一学院的教职后重返剑桥,由此开始了与哈代长达三十七年亲密无间的合作生涯,直到1947年哈代去世为止。
哈代与李特尔伍德的合作堪称数学史上合作关系的典范。在他们合作的极盛时期,欧洲数学界流传着许多有关他们的善意玩笑。
比如玻尔(玻尔一兰道定理中的玻尔)曾经开玩笑说当时英国共有三位第一流的数学家:一位是哈代,一位是李特尔伍德,还有一位是哈代-李特尔伍德。而与之截然相反的另一个玩笑则宣称李特尔伍德根本就不存在,是哈代为了自己的文章一旦出现错误时可以有替罪羊而杜撰出来的虚拟人物。据说兰道(玻尔一兰道定理中的兰道)还专程从德国跑到英国来证实李特尔伍德的存在性。
哈代与李特尔伍德对临界线上非平凡零点的研究起点与哈代定理相同。在哈代定理的证明中,着眼点是 在整个临界线上的积分。这一着眼点其实已经为哈代定理的结果埋下了伏笔。正所谓“种瓜得瓜,种豆得豆”,既然所研究的是整个临界线上的积分,所得到的当然也就只是有关整个临界线上零点总数的笼统结果。
那么,为了得到能与黎曼猜想对非平凡零点的描述进行具体比较的结果,我们需要什么呢?我们需要的不仅是对整个临界线上零点总数的研究,更重要的是要了解临界线上位于区间 的零点数目。为此,哈代与李特尔伍德研究了 在临界线上任一区间的积分,即
其中 。通过对这一积分的细致研究,哈代与李特尔伍德发现临界线上不仅有无穷多个非平凡零点,而且虚部在0~T的零点总数随T趋于无穷的速度起码是KT(其中K为大于零的常数)。他们发表于1921年的这一结果在数学界并无确切名称,我们在这里将它称之为哈代-李特尔伍德定理,它的完整表述如下:
哈代一李特尔伍德定理:存在常数K>0及T0>0,使得对所有T>T0,黎曼 函数在临界线上 的区间内的非平凡零点数目不小于KT。
有了这样的具体结果,我们就可以将它与黎曼猜想相比较了。那么,哈代-李特尔伍德定理距离黎曼猜想这一目标究竟有多远呢?为了回答这一问题,我们可以回忆一下黎曼那三个命题中的第一个,即:在 的区间内(不限于临界线上),黎曼 函数的零点总数大约为 。这个命题于1905年被曼戈尔特所证明,并且也是黎曼那三个命题中迄今唯一得到证明的命题。与这个命题相比,我们可以看到一个令人沮丧的结果,那就是哈代-李特尔伍德定理所给出的对临界线上非平凡零点数目下限的渐近估计相对于零点总数来说,其渐近比例为零!真是不比不知道,一比吓一跳,原来花了这么大工夫所得到的这一结果从纯比例的角度看竟是如此的“微不足道”。
这就是我们与黎曼猜想的距离所在,也是黎曼猜想的难度所在。
但尽管如此,哈代-李特尔伍德定理是有关黎曼 函数非平凡零点在临界线上的具体分布的第一个解析结果。在当时也是唯一一个那样的结果,其重要性是不言而喻的。哈代-李特尔伍德定理的这一纪录总共维持了21年,直到1942年才被赛尔伯格所打破。
陈建功与哈代-利特尔伍德定理
在三角级数的绝对收敛与绝对求和方面,陈建功也做出了卓越的贡献。早在1928年,他就证明:三角级数绝对收敛的充要条件是它为杨氏(Young)连续函数之傅里叶级数。同年,G.H.哈代(Hardy,1877-1947)与J.E.李特尔伍德(littlewood,1885-1977)于德国数学时报上也发表了同一结论,因后者发行广泛,世人常称之为哈代-利特尔伍德定理。还其本源,此定理当称为“陈-哈代-李特尔伍德定理”。陈建功在三角级数的收敛与求和方面还有许多贡献,难以一一列举,但必须指出,他1944年的求和的结果推进了哈代-利特尔伍德的定理。
全国各地天气预报查询

上海市

  • 市辖区
  • 云南省

  • 临沧市
  • 云南省

  • 丽江市
  • 云南省

  • 保山市
  • 云南省

  • 大理白族自治州
  • 云南省

  • 德宏傣族景颇族自治州
  • 云南省

  • 怒江傈僳族自治州
  • 云南省

  • 文山壮族苗族自治州
  • 云南省

  • 昆明市
  • 云南省

  • 昭通市
  • 云南省

  • 普洱市
  • 云南省

  • 曲靖市
  • 云南省

  • 楚雄彝族自治州
  • 云南省

  • 玉溪市
  • 云南省

  • 红河哈尼族彝族自治州
  • 云南省

  • 西双版纳傣族自治州
  • 云南省

  • 迪庆藏族自治州
  • 内蒙古自治区

  • 乌兰察布市
  • 内蒙古自治区

  • 乌海市
  • 内蒙古自治区

  • 兴安盟
  • 内蒙古自治区

  • 包头市
  • 内蒙古自治区

  • 呼伦贝尔市
  • 内蒙古自治区

  • 呼和浩特市
  • 内蒙古自治区

  • 巴彦淖尔市
  • 内蒙古自治区

  • 赤峰市
  • 内蒙古自治区

  • 通辽市
  • 内蒙古自治区

  • 鄂尔多斯市
  • 内蒙古自治区

  • 锡林郭勒盟
  • 内蒙古自治区

  • 阿拉善盟
  • 北京市

  • 市辖区
  • 吉林省

  • 吉林市
  • 吉林省

  • 四平市
  • 吉林省

  • 延边朝鲜族自治州
  • 吉林省

  • 松原市
  • 吉林省

  • 白城市
  • 吉林省

  • 白山市
  • 吉林省

  • 辽源市
  • 吉林省

  • 通化市
  • 吉林省

  • 长春市
  • 四川省

  • 乐山市
  • 四川省

  • 内江市
  • 四川省

  • 凉山彝族自治州
  • 四川省

  • 南充市
  • 四川省

  • 宜宾市
  • 四川省

  • 巴中市
  • 四川省

  • 广元市
  • 四川省

  • 广安市
  • 四川省

  • 德阳市
  • 四川省

  • 成都市
  • 四川省

  • 攀枝花市
  • 四川省

  • 泸州市
  • 四川省

  • 甘孜藏族自治州
  • 四川省

  • 眉山市
  • 四川省

  • 绵阳市
  • 四川省

  • 自贡市
  • 四川省

  • 资阳市
  • 四川省

  • 达州市
  • 四川省

  • 遂宁市
  • 四川省

  • 阿坝藏族羌族自治州
  • 四川省

  • 雅安市
  • 天津市

  • 市辖区
  • 宁夏回族自治区

  • 中卫市
  • 宁夏回族自治区

  • 吴忠市
  • 宁夏回族自治区

  • 固原市
  • 宁夏回族自治区

  • 石嘴山市
  • 宁夏回族自治区

  • 银川市
  • 安徽省

  • 亳州市
  • 安徽省

  • 六安市
  • 安徽省

  • 合肥市
  • 安徽省

  • 安庆市
  • 安徽省

  • 宣城市
  • 安徽省

  • 宿州市
  • 安徽省

  • 池州市
  • 安徽省

  • 淮北市
  • 安徽省

  • 淮南市
  • 安徽省

  • 滁州市
  • 安徽省

  • 芜湖市
  • 安徽省

  • 蚌埠市
  • 安徽省

  • 铜陵市
  • 安徽省

  • 阜阳市
  • 安徽省

  • 马鞍山市
  • 安徽省

  • 黄山市
  • 山东省

  • 东营市
  • 山东省

  • 临沂市
  • 山东省

  • 威海市
  • 山东省

  • 德州市
  • 山东省

  • 日照市
  • 山东省

  • 枣庄市
  • 山东省

  • 泰安市
  • 山东省

  • 济南市
  • 山东省

  • 济宁市
  • 山东省

  • 淄博市
  • 山东省

  • 滨州市
  • 山东省

  • 潍坊市
  • 山东省

  • 烟台市
  • 山东省

  • 聊城市
  • 山东省

  • 菏泽市
  • 山东省

  • 青岛市
  • 山西省

  • 临汾市
  • 山西省

  • 吕梁市
  • 山西省

  • 大同市
  • 山西省

  • 太原市
  • 山西省

  • 忻州市
  • 山西省

  • 晋中市
  • 山西省

  • 晋城市
  • 山西省

  • 朔州市
  • 山西省

  • 运城市
  • 山西省

  • 长治市
  • 山西省

  • 阳泉市
  • 广东省

  • 东莞市
  • 广东省

  • 中山市
  • 广东省

  • 云浮市
  • 广东省

  • 佛山市
  • 广东省

  • 广州市
  • 广东省

  • 惠州市
  • 广东省

  • 揭阳市
  • 广东省

  • 梅州市
  • 广东省

  • 汕头市
  • 广东省

  • 汕尾市
  • 广东省

  • 江门市
  • 广东省

  • 河源市
  • 广东省

  • 深圳市
  • 广东省

  • 清远市
  • 广东省

  • 湛江市
  • 广东省

  • 潮州市
  • 广东省

  • 珠海市
  • 广东省

  • 肇庆市
  • 广东省

  • 茂名市
  • 广东省

  • 阳江市
  • 广东省

  • 韶关市
  • 广西壮族自治区

  • 北海市
  • 广西壮族自治区

  • 南宁市
  • 广西壮族自治区

  • 崇左市
  • 广西壮族自治区

  • 来宾市
  • 广西壮族自治区

  • 柳州市
  • 广西壮族自治区

  • 桂林市
  • 广西壮族自治区

  • 梧州市
  • 广西壮族自治区

  • 河池市
  • 广西壮族自治区

  • 玉林市
  • 广西壮族自治区

  • 百色市
  • 广西壮族自治区

  • 贵港市
  • 广西壮族自治区

  • 贺州市
  • 广西壮族自治区

  • 钦州市
  • 广西壮族自治区

  • 防城港市
  • 新疆维吾尔自治区

  • 乌鲁木齐市
  • 新疆维吾尔自治区

  • 伊犁哈萨克自治州
  • 新疆维吾尔自治区

  • 克孜勒苏柯尔克孜自治州
  • 新疆维吾尔自治区

  • 克拉玛依市
  • 新疆维吾尔自治区

  • 博尔塔拉蒙古自治州
  • 新疆维吾尔自治区

  • 吐鲁番市
  • 新疆维吾尔自治区

  • 和田地区
  • 新疆维吾尔自治区

  • 哈密市
  • 新疆维吾尔自治区

  • 喀什地区
  • 新疆维吾尔自治区

  • 塔城地区
  • 新疆维吾尔自治区

  • 巴音郭楞蒙古自治州
  • 新疆维吾尔自治区

  • 昌吉回族自治州
  • 新疆维吾尔自治区

  • 自治区直辖县级行政区划
  • 新疆维吾尔自治区

  • 阿克苏地区
  • 新疆维吾尔自治区

  • 阿勒泰地区
  • 江苏省

  • 南京市
  • 江苏省

  • 南通市
  • 江苏省

  • 宿迁市
  • 江苏省

  • 常州市
  • 江苏省

  • 徐州市
  • 江苏省

  • 扬州市
  • 江苏省

  • 无锡市
  • 江苏省

  • 泰州市
  • 江苏省

  • 淮安市
  • 江苏省

  • 盐城市
  • 江苏省

  • 苏州市
  • 江苏省

  • 连云港市
  • 江苏省

  • 镇江市
  • 江西省

  • 上饶市
  • 江西省

  • 九江市
  • 江西省

  • 南昌市
  • 江西省

  • 吉安市
  • 江西省

  • 宜春市
  • 江西省

  • 抚州市
  • 江西省

  • 新余市
  • 江西省

  • 景德镇市
  • 江西省

  • 萍乡市
  • 江西省

  • 赣州市
  • 江西省

  • 鹰潭市
  • 河北省

  • 保定市
  • 河北省

  • 唐山市
  • 河北省

  • 廊坊市
  • 河北省

  • 张家口市
  • 河北省

  • 承德市
  • 河北省

  • 沧州市
  • 河北省

  • 石家庄市
  • 河北省

  • 秦皇岛市
  • 河北省

  • 衡水市
  • 河北省

  • 邢台市
  • 河北省

  • 邯郸市
  • 河南省

  • 三门峡市
  • 河南省

  • 信阳市
  • 河南省

  • 南阳市
  • 河南省

  • 周口市
  • 河南省

  • 商丘市
  • 河南省

  • 安阳市
  • 河南省

  • 平顶山市
  • 河南省

  • 开封市
  • 河南省

  • 新乡市
  • 河南省

  • 洛阳市
  • 河南省

  • 漯河市
  • 河南省

  • 濮阳市
  • 河南省

  • 焦作市
  • 河南省

  • 省直辖县级行政区划
  • 河南省

  • 许昌市
  • 河南省

  • 郑州市
  • 河南省

  • 驻马店市
  • 河南省

  • 鹤壁市
  • 浙江省

  • 丽水市
  • 浙江省

  • 台州市
  • 浙江省

  • 嘉兴市
  • 浙江省

  • 宁波市
  • 浙江省

  • 杭州市
  • 浙江省

  • 温州市
  • 浙江省

  • 湖州市
  • 浙江省

  • 绍兴市
  • 浙江省

  • 舟山市
  • 浙江省

  • 衢州市
  • 浙江省

  • 金华市
  • 海南省

  • 三亚市
  • 海南省

  • 三沙市
  • 海南省

  • 儋州市
  • 海南省

  • 海口市
  • 海南省

  • 省直辖县级行政区划
  • 湖北省

  • 十堰市
  • 湖北省

  • 咸宁市
  • 湖北省

  • 孝感市
  • 湖北省

  • 宜昌市
  • 湖北省

  • 恩施土家族苗族自治州
  • 湖北省

  • 武汉市
  • 湖北省

  • 省直辖县级行政区划
  • 湖北省

  • 荆州市
  • 湖北省

  • 荆门市
  • 湖北省

  • 襄阳市
  • 湖北省

  • 鄂州市
  • 湖北省

  • 随州市
  • 湖北省

  • 黄冈市
  • 湖北省

  • 黄石市
  • 湖南省

  • 娄底市
  • 湖南省

  • 岳阳市
  • 湖南省

  • 常德市
  • 湖南省

  • 张家界市
  • 湖南省

  • 怀化市
  • 湖南省

  • 株洲市
  • 湖南省

  • 永州市
  • 湖南省

  • 湘潭市
  • 湖南省

  • 湘西土家族苗族自治州
  • 湖南省

  • 益阳市
  • 湖南省

  • 衡阳市
  • 湖南省

  • 邵阳市
  • 湖南省

  • 郴州市
  • 湖南省

  • 长沙市
  • 甘肃省

  • 临夏回族自治州
  • 甘肃省

  • 兰州市
  • 甘肃省

  • 嘉峪关市
  • 甘肃省

  • 天水市
  • 甘肃省

  • 定西市
  • 甘肃省

  • 平凉市
  • 甘肃省

  • 庆阳市
  • 甘肃省

  • 张掖市
  • 甘肃省

  • 武威市
  • 甘肃省

  • 甘南藏族自治州
  • 甘肃省

  • 白银市
  • 甘肃省

  • 酒泉市
  • 甘肃省

  • 金昌市
  • 甘肃省

  • 陇南市
  • 福建省

  • 三明市
  • 福建省

  • 南平市
  • 福建省

  • 厦门市
  • 福建省

  • 宁德市
  • 福建省

  • 泉州市
  • 福建省

  • 漳州市
  • 福建省

  • 福州市
  • 福建省

  • 莆田市
  • 福建省

  • 龙岩市
  • 西藏自治区

  • 山南市
  • 西藏自治区

  • 拉萨市
  • 西藏自治区

  • 日喀则市
  • 西藏自治区

  • 昌都市
  • 西藏自治区

  • 林芝市
  • 西藏自治区

  • 那曲市
  • 西藏自治区

  • 阿里地区
  • 贵州省

  • 六盘水市
  • 贵州省

  • 安顺市
  • 贵州省

  • 毕节市
  • 贵州省

  • 贵阳市
  • 贵州省

  • 遵义市
  • 贵州省

  • 铜仁市
  • 贵州省

  • 黔东南苗族侗族自治州
  • 贵州省

  • 黔南布依族苗族自治州
  • 贵州省

  • 黔西南布依族苗族自治州
  • 辽宁省

  • 丹东市
  • 辽宁省

  • 大连市
  • 辽宁省

  • 抚顺市
  • 辽宁省

  • 朝阳市
  • 辽宁省

  • 本溪市
  • 辽宁省

  • 沈阳市
  • 辽宁省

  • 盘锦市
  • 辽宁省

  • 营口市
  • 辽宁省

  • 葫芦岛市
  • 辽宁省

  • 辽阳市
  • 辽宁省

  • 铁岭市
  • 辽宁省

  • 锦州市
  • 辽宁省

  • 阜新市
  • 辽宁省

  • 鞍山市
  • 重庆市

  • 重庆市

  • 市辖区
  • 陕西省

  • 咸阳市
  • 陕西省

  • 商洛市
  • 陕西省

  • 安康市
  • 陕西省

  • 宝鸡市
  • 陕西省

  • 延安市
  • 陕西省

  • 榆林市
  • 陕西省

  • 汉中市
  • 陕西省

  • 渭南市
  • 陕西省

  • 西安市
  • 陕西省

  • 铜川市
  • 青海省

  • 果洛藏族自治州
  • 青海省

  • 海东市
  • 青海省

  • 海北藏族自治州
  • 青海省

  • 海南藏族自治州
  • 青海省

  • 海西蒙古族藏族自治州
  • 青海省

  • 玉树藏族自治州
  • 青海省

  • 西宁市
  • 青海省

  • 黄南藏族自治州
  • 黑龙江省

  • 七台河市
  • 黑龙江省

  • 伊春市
  • 黑龙江省

  • 佳木斯市
  • 黑龙江省

  • 双鸭山市
  • 黑龙江省

  • 哈尔滨市
  • 黑龙江省

  • 大兴安岭地区
  • 黑龙江省

  • 大庆市
  • 黑龙江省

  • 牡丹江市
  • 黑龙江省

  • 绥化市
  • 黑龙江省

  • 鸡西市
  • 黑龙江省

  • 鹤岗市
  • 黑龙江省

  • 黑河市
  • 黑龙江省

  • 齐齐哈尔市