解析数论

数学概念

解析数论,是数论中以分析方法作为研究工具的一个分支。解析数论是在初等数论无法解决的情况下发展起来的,如有了一个可以表达所有素数的素数普遍公式,一些由解析数论范围的内容,就自动转到初等数论的范围内。如孪生素数猜想以及哥德巴赫猜想。

简介
数论中以分析方法作为研究工具的一个分支。分析方法在数论中的应用可以追溯到18世纪L.欧拉的时代。欧拉证明了,对实变数s>1有恒等式 (式中s取遍所有素数)成立,并且由此推出素数有无穷多个。欧拉恒等式是数论中最主要的定理之一。随后P.G.L.狄利克雷创立了研究数论问题的两个重要工具,即狄利克雷(剩余)特征标与狄利克雷L函数,奠定了解析数论的基础。
解析数论是在初等数论无法解决的情况下发展起来的,因为,如果有了一个可以表达所有素数的素数普遍公式,一些由解析数论范围的内容,就自动转到初等数论的范围内。例如孪生素数猜想以及哥德巴赫猜想
联系数论和复变函数论的桥梁是所谓的佩隆公式(Peron)。很多数论问题可以归结为某类求和函数的估计问题,而利用佩隆公式,就可以将求和函数的估计转变为某类复变函数的零点、极点的分布情况的估计。 大多数数论问题最终都能归结为L函数的性质讨论。
令π(x)表示不超过x的素数的个数,关于π(x)的研究是素数论的中心问题,黎曼在数论中引入复变函数ζ(s),称为黎曼ζ函数(见数论),他对这个函数作了深入的研究,得到了许多重要结果。特别是 ,他建立了一个与ζ(s)的零点有关的表示π(x)的公式,因此研究素数分布问题的关键在于研究ζ(s)的性质特别是它的零点的性质。这样,黎曼开创了解析数论的一个新时期。黎曼提出一个猜想:ζ(s)的所有复零点都在直线Res=1/2上,这就是所谓黎曼猜想。它是尚未解决的最著名的数学问题之一。
1896年,J.阿达马与C.J.dela瓦莱-普桑用解析方法同时并且相互独立地证明了素数定理即当x→∞时,π(x)~.x/lnx (这个问题最早由高斯提出),从此解析数论开始得到迅速发展。1949年,A.塞尔伯格与P.爱尔特希分别给出了对于素数定理的一个十分初等的分析证明,当然它是很复杂的。
解析数论起源于素数分布哥德巴赫猜想华林问题以及格点问题的研究、解析数论的方法主要有复变积分法、圆法、筛法指数和方法、特征和方法、密率等。
基础
欧拉恒等式是数论中最重要的定理之一,是算术基本定理的解析等价形式,揭示了素数p和自然数n之间的积性关系。他还提出了母函数法,利用幂级数来研究整数分拆,这导致圆法和指数和方法的产生。其后,P.G.L.狄利克雷应用分析方法于1837年解决了首项与公差互素的算术级数中有无限多个素数的问题,又于1839年推证出二次域类数公式。他创立了研究数论的两个重要工具,即狄利克雷(剩余)特征标与狄利克雷l函数,奠定了解析数论的基础。
1859年,(G.F.)B.黎曼发表了一篇关于不大于x的素数个数π(x)的著名论文《论不大于一个给定值的素数个数》,这是他在数论方面公开发表的惟一的文章。他把恒等式的右边的级数记作ζ(s),所不同之处是把s看作复变数。现在称ζ(s)为黎曼ζ函数。他认为素数性质可以通过复变函数ζ(s)来探讨,并对复变函数ζ(s)做了深刻的研究,得到许多重要结果。特别是他建立了一个与ζ(s)的零点有关的表示π(x)的公式。因此研究素数分布的关键在于研究复变函数 ζ(s)的性质,特别是ζ(s)的零点性质。这一杰出的工作,是复变函数论的思想和方法应用于数论研究的结果。黎曼开创了解析数论的新时期,也推动了单复变函数论的发展。在文章中他提出了一个猜想:ζ(s)的所有复零点都在直线 Res=1/2上。这就是所谓黎曼猜想。它是至今没有解决的最著名的数学问题之一。它的研究对解析数论和代数数论的发展都有极其深刻的影响。
发展
1896年,J.(-S.)阿达马与C.de la瓦莱-普桑严格地按照黎曼提出的方法和结果,用整函数理论,同时证明了素数定理:当x→∞时,π(x)~x(lnx)-1。从此解析数论开始得到迅速发展,而在此以前的30年中却无显著进展。  
在数论中应用分析方法,大致有两种情况:一是数论问题本身不涉及分析概念。这类问题又可分为两种情形,或者有一些问题不应用分析方法就不能解决,例如,上述的狄利克雷的两个工作、三素数定理(见数论、堆垒数论)、华林问题;或者有一些问题应用分析方法可使证明简单、可以对问题做定量研究,例如,应用母函数法对整数分拆的一些恒等式的证明、欧拉证明素数有无穷多个的分析方法导致H.默滕斯证明了关于素数平均分布的三个定理、堆垒数论的许多问题引入分析方法证明解的存在性,得出解数的渐近公式或上下界估计。二是数论问题本身必须用分析概念才能表达清楚。例如,关于素数定理,即不大于x的素数个数π(x)等于多少的问题(见素数分布)。此外,利用分析概念还可提出新的数论问题,例如各种数论函数的阶估计及均值估计(见格点问题)。
解决一个数论问题需要用到多深的分析工具,或者能否不用分析工具。这也是数学家努力为之探索的问题。例如,在1949年A.赛尔伯格与P.爱尔特希不利用ζ函数,且除了极限、ex和lnx的性质外,也不需要其他的分析知识,给出了素数定理一个十分初等的分析证明。当然它是很复杂的。
解析数论起源于素数分布、哥德巴赫猜想华林问题以及格点问题的研究。解析数论的方法主要有复变积分法、圆法、筛法、指数和方法、特征和方法、密率等。模形式论与解析数论有密切关系。
两大问题
解析数论,一直以来有两大问题,素数方程与L-函数。
素数方程
素数,即我们中小学学到的质数,从乘法角度讲,相当于构成整数的“原子”。Goldbach猜想,即是一种素数方程问题,即方程的解集在素数集合里考虑。
Fields奖得主Bombieri在大筛法方面做出了重要工作,从而给陈景润等一批中国数学家带来机会,先是潘承洞解决了1+5型问题,王元解决2+3型的同时构造出了后续攻击路线的解决框架,包括1+4和1+3,最后由陈景润解决了1+2型问题,一直到现在都无法改进,是中国数学家目前为止最拿得响的工作,因为目前谁也做不出最难的1+1型。
素数方程方面,1998年Fields奖得主Gowers获奖之后,紧接着在整数方程做出了开创性的工作,然后由Terence Tao(陶哲轩)和Ben Green推广到素数方程方面,这个推广,很不平凡,陶哲轩获得了2006年Fields奖。
Gowers-Tao-Green的思想,将素数方程做了系统的突破,可以解决绝大多数的线性方程组问题,唯独不能攻击Goldbach猜想。
素数方程方面,一直以来有两大方法:筛法和圆法。前者自古希腊时期就被发现,陈景润的工作,就是动用此法。圆法,则是英国剑桥的Hardy-Littlewood-Ramanujan发明,至今也应用了90多年了。
Gowers-Tao-Green,其价值地位相当于第三种方法出世,正是因为增加了新的理解,才有可能得到新的突破性结果。Gowers-Tao-Green增加的是哪种新思想,这种新思想,除了素数方程的数论问题之外,亦很可能对其他数学领域也产生深刻影响。
经典解析数论在素数方程方面的研究思路是:
A-Step 1. Summation Formulas (各种求和公式)
A-Step 2. Equations Detect (方程探测)
L-函数
一般地说, -函数来源由两类组成:算术L-函数和自守L-函数。这两者又是密切联系在一起的,根据罗伯特·朗兰兹的猜想,笼统地说, 一切有意义的L-函数都来自自守L-函数。
算术L-函数
简单地说,
同样地,狄利克雷在研究算术级数中的素数分布时,引入了Dirichlet L-函数:
Dedekind zeta-函数:设 为一代数数域
椭圆曲线的Haass-Weil L-函数:设 为一非奇异的椭圆曲线 定义 为曲线在有限域 上的解,设 ,则下面的级数称为关于曲线的Haass-Weil L-函数
阿廷L-函数:设 是一个有限维的伽罗瓦表示,其中 为一代数数域,
自守L-函数
全纯模形式的L-函数,Maass L-函数,标准L-函数等等。
研究内容
根据罗伯特·朗兰兹在国际数学家大会上的报告所指,研究一个L-函数主要有三部分内容:
1.解析延拓
L-函数的解析延拓和函数方程这是最基本的一部分。对于一般的自守L-函数这是较容易得到的, 但是对算术的L-函数这一部分并不是容易得到的。例如,对于Haass-Weil L-函数,这部分就是谷山-志村猜想,该猜想一部分就能推出费尔马大定理。关于阿廷L-函数的全纯解析沿拓的阿廷猜想也是数论中重要的未知问题。
对于数学对象 的L-函数,我们定义其的gamma因子为
其中 为复参数。
定义下面关于 的完全 -函数
那么,一般地我们有函数方程
其中 为模为1的复数, 为关于 的对偶对象。
2.零点的分布
非零区域:如黎曼zeta函数的目前最好的非零区域为
在假设黎曼猜想下,零点虚部的分布问题与随机矩阵的联系等等。
3.特殊点的值
中心值,临界点,整点的值,极点的留数等。这里面也有很多猜想,像BSD猜想,类数问题,Deligne 猜想,Beilinson 猜想,Goldfeld猜想。其实往往我们重要的不仅是关心它具体有多大,而是关心的这个量里面隐含着什么样的算术意义。像Dedekind zeta 函数在s=1处的留数,里面包含了一个数域的很多不变量:类数,判别式,regular等;BSD猜想就是Haass-Weil L-函数在中心点的的阶就是该椭圆曲线的秩!
全国各地天气预报查询

上海市

  • 市辖区
  • 云南省

  • 临沧市
  • 云南省

  • 丽江市
  • 云南省

  • 保山市
  • 云南省

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

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

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

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

  • 昆明市
  • 云南省

  • 昭通市
  • 云南省

  • 普洱市
  • 云南省

  • 曲靖市
  • 云南省

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

  • 玉溪市
  • 云南省

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

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

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

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

  • 乌海市
  • 内蒙古自治区

  • 兴安盟
  • 内蒙古自治区

  • 包头市
  • 内蒙古自治区

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

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

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

  • 赤峰市
  • 内蒙古自治区

  • 通辽市
  • 内蒙古自治区

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

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

  • 阿拉善盟
  • 北京市

  • 市辖区
  • 吉林省

  • 吉林市
  • 吉林省

  • 四平市
  • 吉林省

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

  • 松原市
  • 吉林省

  • 白城市
  • 吉林省

  • 白山市
  • 吉林省

  • 辽源市
  • 吉林省

  • 通化市
  • 吉林省

  • 长春市
  • 四川省

  • 乐山市
  • 四川省

  • 内江市
  • 四川省

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

  • 南充市
  • 四川省

  • 宜宾市
  • 四川省

  • 巴中市
  • 四川省

  • 广元市
  • 四川省

  • 广安市
  • 四川省

  • 德阳市
  • 四川省

  • 成都市
  • 四川省

  • 攀枝花市
  • 四川省

  • 泸州市
  • 四川省

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

  • 眉山市
  • 四川省

  • 绵阳市
  • 四川省

  • 自贡市
  • 四川省

  • 资阳市
  • 四川省

  • 达州市
  • 四川省

  • 遂宁市
  • 四川省

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

  • 雅安市
  • 天津市

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

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

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

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

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

  • 银川市
  • 安徽省

  • 亳州市
  • 安徽省

  • 六安市
  • 安徽省

  • 合肥市
  • 安徽省

  • 安庆市
  • 安徽省

  • 宣城市
  • 安徽省

  • 宿州市
  • 安徽省

  • 池州市
  • 安徽省

  • 淮北市
  • 安徽省

  • 淮南市
  • 安徽省

  • 滁州市
  • 安徽省

  • 芜湖市
  • 安徽省

  • 蚌埠市
  • 安徽省

  • 铜陵市
  • 安徽省

  • 阜阳市
  • 安徽省

  • 马鞍山市
  • 安徽省

  • 黄山市
  • 山东省

  • 东营市
  • 山东省

  • 临沂市
  • 山东省

  • 威海市
  • 山东省

  • 德州市
  • 山东省

  • 日照市
  • 山东省

  • 枣庄市
  • 山东省

  • 泰安市
  • 山东省

  • 济南市
  • 山东省

  • 济宁市
  • 山东省

  • 淄博市
  • 山东省

  • 滨州市
  • 山东省

  • 潍坊市
  • 山东省

  • 烟台市
  • 山东省

  • 聊城市
  • 山东省

  • 菏泽市
  • 山东省

  • 青岛市
  • 山西省

  • 临汾市
  • 山西省

  • 吕梁市
  • 山西省

  • 大同市
  • 山西省

  • 太原市
  • 山西省

  • 忻州市
  • 山西省

  • 晋中市
  • 山西省

  • 晋城市
  • 山西省

  • 朔州市
  • 山西省

  • 运城市
  • 山西省

  • 长治市
  • 山西省

  • 阳泉市
  • 广东省

  • 东莞市
  • 广东省

  • 中山市
  • 广东省

  • 云浮市
  • 广东省

  • 佛山市
  • 广东省

  • 广州市
  • 广东省

  • 惠州市
  • 广东省

  • 揭阳市
  • 广东省

  • 梅州市
  • 广东省

  • 汕头市
  • 广东省

  • 汕尾市
  • 广东省

  • 江门市
  • 广东省

  • 河源市
  • 广东省

  • 深圳市
  • 广东省

  • 清远市
  • 广东省

  • 湛江市
  • 广东省

  • 潮州市
  • 广东省

  • 珠海市
  • 广东省

  • 肇庆市
  • 广东省

  • 茂名市
  • 广东省

  • 阳江市
  • 广东省

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • 阿勒泰地区
  • 江苏省

  • 南京市
  • 江苏省

  • 南通市
  • 江苏省

  • 宿迁市
  • 江苏省

  • 常州市
  • 江苏省

  • 徐州市
  • 江苏省

  • 扬州市
  • 江苏省

  • 无锡市
  • 江苏省

  • 泰州市
  • 江苏省

  • 淮安市
  • 江苏省

  • 盐城市
  • 江苏省

  • 苏州市
  • 江苏省

  • 连云港市
  • 江苏省

  • 镇江市
  • 江西省

  • 上饶市
  • 江西省

  • 九江市
  • 江西省

  • 南昌市
  • 江西省

  • 吉安市
  • 江西省

  • 宜春市
  • 江西省

  • 抚州市
  • 江西省

  • 新余市
  • 江西省

  • 景德镇市
  • 江西省

  • 萍乡市
  • 江西省

  • 赣州市
  • 江西省

  • 鹰潭市
  • 河北省

  • 保定市
  • 河北省

  • 唐山市
  • 河北省

  • 廊坊市
  • 河北省

  • 张家口市
  • 河北省

  • 承德市
  • 河北省

  • 沧州市
  • 河北省

  • 石家庄市
  • 河北省

  • 秦皇岛市
  • 河北省

  • 衡水市
  • 河北省

  • 邢台市
  • 河北省

  • 邯郸市
  • 河南省

  • 三门峡市
  • 河南省

  • 信阳市
  • 河南省

  • 南阳市
  • 河南省

  • 周口市
  • 河南省

  • 商丘市
  • 河南省

  • 安阳市
  • 河南省

  • 平顶山市
  • 河南省

  • 开封市
  • 河南省

  • 新乡市
  • 河南省

  • 洛阳市
  • 河南省

  • 漯河市
  • 河南省

  • 濮阳市
  • 河南省

  • 焦作市
  • 河南省

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

  • 许昌市
  • 河南省

  • 郑州市
  • 河南省

  • 驻马店市
  • 河南省

  • 鹤壁市
  • 浙江省

  • 丽水市
  • 浙江省

  • 台州市
  • 浙江省

  • 嘉兴市
  • 浙江省

  • 宁波市
  • 浙江省

  • 杭州市
  • 浙江省

  • 温州市
  • 浙江省

  • 湖州市
  • 浙江省

  • 绍兴市
  • 浙江省

  • 舟山市
  • 浙江省

  • 衢州市
  • 浙江省

  • 金华市
  • 海南省

  • 三亚市
  • 海南省

  • 三沙市
  • 海南省

  • 儋州市
  • 海南省

  • 海口市
  • 海南省

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

  • 十堰市
  • 湖北省

  • 咸宁市
  • 湖北省

  • 孝感市
  • 湖北省

  • 宜昌市
  • 湖北省

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

  • 武汉市
  • 湖北省

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

  • 荆州市
  • 湖北省

  • 荆门市
  • 湖北省

  • 襄阳市
  • 湖北省

  • 鄂州市
  • 湖北省

  • 随州市
  • 湖北省

  • 黄冈市
  • 湖北省

  • 黄石市
  • 湖南省

  • 娄底市
  • 湖南省

  • 岳阳市
  • 湖南省

  • 常德市
  • 湖南省

  • 张家界市
  • 湖南省

  • 怀化市
  • 湖南省

  • 株洲市
  • 湖南省

  • 永州市
  • 湖南省

  • 湘潭市
  • 湖南省

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

  • 益阳市
  • 湖南省

  • 衡阳市
  • 湖南省

  • 邵阳市
  • 湖南省

  • 郴州市
  • 湖南省

  • 长沙市
  • 甘肃省

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

  • 兰州市
  • 甘肃省

  • 嘉峪关市
  • 甘肃省

  • 天水市
  • 甘肃省

  • 定西市
  • 甘肃省

  • 平凉市
  • 甘肃省

  • 庆阳市
  • 甘肃省

  • 张掖市
  • 甘肃省

  • 武威市
  • 甘肃省

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

  • 白银市
  • 甘肃省

  • 酒泉市
  • 甘肃省

  • 金昌市
  • 甘肃省

  • 陇南市
  • 福建省

  • 三明市
  • 福建省

  • 南平市
  • 福建省

  • 厦门市
  • 福建省

  • 宁德市
  • 福建省

  • 泉州市
  • 福建省

  • 漳州市
  • 福建省

  • 福州市
  • 福建省

  • 莆田市
  • 福建省

  • 龙岩市
  • 西藏自治区

  • 山南市
  • 西藏自治区

  • 拉萨市
  • 西藏自治区

  • 日喀则市
  • 西藏自治区

  • 昌都市
  • 西藏自治区

  • 林芝市
  • 西藏自治区

  • 那曲市
  • 西藏自治区

  • 阿里地区
  • 贵州省

  • 六盘水市
  • 贵州省

  • 安顺市
  • 贵州省

  • 毕节市
  • 贵州省

  • 贵阳市
  • 贵州省

  • 遵义市
  • 贵州省

  • 铜仁市
  • 贵州省

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

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

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

  • 丹东市
  • 辽宁省

  • 大连市
  • 辽宁省

  • 抚顺市
  • 辽宁省

  • 朝阳市
  • 辽宁省

  • 本溪市
  • 辽宁省

  • 沈阳市
  • 辽宁省

  • 盘锦市
  • 辽宁省

  • 营口市
  • 辽宁省

  • 葫芦岛市
  • 辽宁省

  • 辽阳市
  • 辽宁省

  • 铁岭市
  • 辽宁省

  • 锦州市
  • 辽宁省

  • 阜新市
  • 辽宁省

  • 鞍山市
  • 重庆市

  • 重庆市

  • 市辖区
  • 陕西省

  • 咸阳市
  • 陕西省

  • 商洛市
  • 陕西省

  • 安康市
  • 陕西省

  • 宝鸡市
  • 陕西省

  • 延安市
  • 陕西省

  • 榆林市
  • 陕西省

  • 汉中市
  • 陕西省

  • 渭南市
  • 陕西省

  • 西安市
  • 陕西省

  • 铜川市
  • 青海省

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

  • 海东市
  • 青海省

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

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

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

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

  • 西宁市
  • 青海省

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

  • 七台河市
  • 黑龙江省

  • 伊春市
  • 黑龙江省

  • 佳木斯市
  • 黑龙江省

  • 双鸭山市
  • 黑龙江省

  • 哈尔滨市
  • 黑龙江省

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

  • 大庆市
  • 黑龙江省

  • 牡丹江市
  • 黑龙江省

  • 绥化市
  • 黑龙江省

  • 鸡西市
  • 黑龙江省

  • 鹤岗市
  • 黑龙江省

  • 黑河市
  • 黑龙江省

  • 齐齐哈尔市