数论中最具创新和美丽的证明之一,等差级数的狄利克雷定理

作者&投稿:禽岭 (若有异议请与网页底部的电邮联系)
~ 研究质数的一个强大工具是狄利克雷特征理论。1805年,法国诞生了一位天才,名叫彼得·古斯塔夫·列琼·狄利克雷。狄利克雷12岁时对数学产生兴趣,1822年他去巴黎学习。几年后,他证明了费马大定理的一个特殊情况,即n=5的情况,从而在数学界声名鹊起。1832年,年仅27岁的狄利克雷成为普鲁士科学院最年轻的成员。
1837年,狄利克雷开始思考一个问题,这个问题彻底改变了我们研究整数的方法。数学家们知道素数有无限多(公元前300年欧几里得证明了这一点),但在当时,研究自然数子集中的素数似乎是遥不可及的。但后来狄利克雷有了一个好的想法。当时的先驱们正在积极地发展复变分析,创造出了许多分析工具。他利用这些工具来研究整数,从而将复分析和数论结合起来。
他想要解决的问题是:对于任意两个互质整数a和m,有无穷多个a+nm形式的质数,其中n是一个正整数。狄利克雷证明了这个命题,现在这个定理以他的名字命名,叫做等差级数的狄利克雷定理。为了证明这一点,狄利克雷发明了一类完全乘性函数,现在称为狄利克雷特征(Dirichlet characters)。
狄利克雷特征设m为自然数。模m的狄利克雷特征是函数χ:ℤ→ℂ,从整数到复数,满足以下条件:
1. χ(1)=1
2. 如果a和b互质,则χ(ab)=χ(a)χ(b)
3. χ(n^2)=1,对于所有奇素数n
4. χ(n)=0,对于所有其他正整数n
从这些性质,还可以推导出其他一些性质。例如,根据上面的第二个性质:χ(1)≠0,因此,我们可以除以它,得到χ(1)χ(1)=χ(1)⋅1=χ(1),这意味着,对所有特征都有顷春搏χ(1)=1。所以我们有:
我们称这个符号为特征的奇偶校验;如果χ(-1)=1,则称其为偶,如果χ(-1)=-1,则称其为奇。注意,对于任何模m,有一个特殊的特征称为主特征χ0 mod m。它由以下方法定义:
其他一些属性是可派生的。其最重要的性质之一是它们都是乘法群之间的同态,因此在复平面的单位圆上取值。我们在这里不讨论特征的群方面,开始之前,有两个知识需要知道。
第一个是欧拉函数ϕ。我们定义ϕ(n)为小于n的正整数中与n互质的数的数目。即森虚自然数k<n使gcd(k, n)=1。例如,ϕ(10)=4,因为有4个小于10的自然数与10互质。
我们需要知道的第二个知识是关于狄利克雷特征的一个事实叫做正交关系:
这里求和是所有模为m的特征,第一个特征上的横杠是这个特征的复共轭。
从欧拉函数到L-函数欧拉研究了ζ函数,发现素数和自然数之间有一个美丽的联系,称为欧拉乘积。令s>1,那么:
s实际上可以是复数(由黎曼推广),但在欧拉的时代,复数分析还处于初级阶段,他只考虑s为实值。
这实际上给出了“有无限多个素数”的另一个证明。欧拉注意到如果对方程两边取对数会发生一些有趣的事情:
现在回想一下对数的泰勒级数展开:
因此我们得到,当s向右趋近于1:
我们看到,logζ(s)=∑1/p^s加上某个有界函数。有很多方法来证明这个渐近界O(1)。一种方法是回到对数的和。我们可以用微积分的各种方法证明,如果0<x≤1/2,那么-log(1-x)<x+x²。
因为对于所有质数p和s>1,1/p^s≤1/2,我们可以用这个引理代入得到:
这显示了一个显式的边界和欧拉著名的巴塞尔问题解的一个很好的应用。通过这种方法,我们不仅确定了有无限多个质数,而且知道∑1/p是发散的。这样,我们就可以有把握地说,质数在自然数中比平方数的密度大。
尽管质数倒数的和发散的速度很慢。实际上,我们可以从上面看到它的发散近似于loglogx。这是一个增长极其缓慢的函数。例如,这个函数要超过数字4,需要x大于:
这是一个有24位的数字。狄利克雷的想法是试图将这个结果推广到素数的子集即等差数列中的素数。注意下面的等差数列:
可以表示为:
换句话说,狄利克雷想要证明,如果gcd(a, m)=1,我们得到的结果:
是发散的。
为了做到这一点,狄利克雷有了第二个奇迹般的洞察。结果是ζ函数有很多“表亲”,它们显示出和ζ函数相同的性质包括欧拉乘积。这类函数是狄利克雷的第二大发现。
由于狄利克雷特征是完全乘性的,因此它们对应的狄利克雷级数也有欧拉积。具体地说,我们有关于χ的狄利克雷L-级数的定义:
我们假设s>1。
这也可以定义为复数s。通过解析延拓,这个函数可以扩展为整个复平面上的亚纯函数,称为狄利克雷L-函数。
在复平面上定义ζ函数时,称为黎曼ζ函数。
因为所有的狄利克雷特征都是完全乘性的,这个级数也有一个欧拉积,:
注意,对于具有平凡特征的狄利克雷L-级数的定义,即χ(n)=1对于所有n,给出了通常的带有欧拉乘积的ζ函数。这使得狄利克雷L-函数成为了ζ函数的推广。
事实上,这些函数与黎曼ζ函数非常相似,它们不仅具有等价的欧拉乘积,而且在Re(s)=1/2这条线周围有一个漂亮的对称关系。此外,它们被期望满足一个与黎曼假设等价的命题,但这尚未得到证明。
狄利克雷的证明一旦狄利克雷建立了特征的欧拉积,接下来的逻辑步骤是对两边取对数,得到质数的和:
再一次,通过类似于上面的论证,我们可以用渐近函数来重写它:
这仅仅意味着,当s→1时,右边的和的增长近似于左边。从这里,狄利克雷有了一个伟大的想法。他用正交关系把它变成了他想要的形式。具体地说,如果我们在上面的方程两边乘以χ(a)的复共轭,然后用模m对所有的特征求和,我们得到如下结果:
这太神奇了。狄利克雷用他的特征定义了一个(全纯)函数,它是等差数列:
中所有素数的和。
现在,狄利克雷“只”需要证明左边在s→1时发散。
证明这一点的策略是,通过将特征分组到三个不相交的集合,:
这样做的原因之一是,对于任何非主特征的χ,结果表明级数L(s,χ)对于s>0是收敛的。
其策略是证明L(s,χ0)在s=1处有一个简单的极,即对应的L级数是发散的,如果χ是一个非主特征,则L(1,χ)≠0。
第二个原因是,我们需要确保L(s,χ0)的极点不会被“log(0)”这样形式的负无穷吞噬。
第一个(主特征),很简单,可以用很多方法证明。例如,我们可以检验,
观察一下,右边除模m的质数的乘积总是有限的——事实上,当s=1时,你可以检查它等于ϕ(m)/m。所以左边的级数从ζ(s=1)继承了极点。
因此,最重要的是证明L(1,χ)对任何非主特征都不等于0。
复数的情况比较简单,因为如果我们对相应的L级数的所有特征取一个乘积,
那么首先,可以证明
我们可以把L-级数的对数写成另一个级数,在这种情况下更容易处理。
第二(复特征),由于主特征的L-级数在s→1时发散,乘积中最多只能有一个零因子,否则,它将是0,与它大于1相矛盾。但如果χ是一个复数,那么它的共轭复数也是不同的,但如果一个是0,另一个也是不同的。因此,对于复χ, L(1,χ)≠0。
二次特征的情况更加微妙,超出了本文的范围。
狄利克雷发明了一个新的数学领域和许多新的抽象方法。在这个证明中,他使用了一些现代的抽象方法。需要注意的是,狄利克雷在他的证明


林毅夫:经济学界的骄子|林毅夫的经济学观点
而林毅夫发表的论文达到了平均每年3篇,比国外一些已经很有影响的经济学家还要高产。事实上,林毅夫关于制度变迁和技术变迁的研究方面都具有突出的理论创新,他的研究成果发表在国外著名的经济学杂志上并且被广泛引用,标志着他的研究已经进入了国际领先水平。1992年,美国最具权威性的经济学术刊物《美国经济...

有关创新作文的开头和结尾
是的,就是他的一个创新方案救公司于水火之中。正是他的创新,才使劳力士公司的品牌价值更加凸显。结尾:不管是个人,还是集体,长远的发展都离不开发现与创新的支持。我们从安藤百福和乔利的身上看到了发现与创新的巨大力最,更应该使己也拥有这样的能力。让我们学会发现与创新,充实自己,奉献社会。5...

创新的中心论点
创新的中心论点如下:1.创新需要打破定势,突破传统。2.创新能推动历史的前进。3.只有求新求异,事物才会有生命力。4.创新需要勇气和智慧。5.新事物也许并不完美,但它毕竟要替代旧事物。扩展知识:论点是逻辑学中的基本概念之一,也是论证的核心和关键。论点通常是指一个命题或观点,它表达了论证者对于...

试论当今社会对于艺术作品中艺术创新的理解
创新离不开对新、奇的追求,没有求新、求异、求变思想意识的人,是不可能做到成功创新的。但创新不是随意的、盲目的,尽管康丁斯基从一次将画放倒了,引发抽象画的创新,但不等于康丁斯基的创新就取决于这一新、奇的发现或举动。这一点在他其后所著的《论艺术之精神》中得以佐证。新、奇的思想意识并形成独特艺术思...

mac是什么牌子 mac品牌介绍
这是因为M.A.C的耀眼光芒,吸引了雅诗兰黛集团慧眼视得这块熠熠生辉的美玉。而在雅诗兰黛集团的协助与支持之下,M.A.C的优异特质才得以被发掘、散播,从北美地区远扬至欧亚各国。M.A.C彩妆被认为是在全球化妆品历史上最具创新、最富影响力的品牌之一。这个成立于1984年的专业彩妆品牌,始终坚持着高标准...

关于创新的优美句子大全精选62句
创新的港湾温情脉脉,创新的清风灌满征帆。创新不是感情的投资,它不需要股息和分红。 17、诗歌的灵魂在于创新,即创造出使人意想不到的,惊叹不已和赏心悦目的东西。 18、对于创新来说,方法就是新的世界,最重要的不是知识,而是思路。 19、在自然科学中,创立方法,研究某种重要的实验条件,往往要比发现个别事实更有...

当代中国最具思想闪光点和想象力创新性及预测性的作家有谁?_百度知 ...
阿缺,九零年生人,毕业于四川大学,中国科幻全新代代表作家之一。阿缺写的小说引人入胜,故事性很强,而且最后会有一定的哲理启发。故事中真挚的爱情描写是让人自顾不暇的看点,幽默中透露出的悲伤,让人迷醉在宇宙间灿烂的爱情中。宇宙尺度下的爱情悲歌,5G时代的超人工智能,未来太空战的星际武器,...

奇虎旅游景点介绍 奇虎科技公司
而在多项调查和评比中,奇虎也被评为最具投资价值企业、最具创新性企业以及最具成长性企业。奇虎创新的PeopleRank的搜索技术和算法,能够有效的抓取和识别在论坛和博客等多种由网民创造的极具价值的内容,并按照利于网民阅读的方式予以呈现,奇虎网已经成为了网民休闲娱乐的主要平台。作为互联网行业的一员,奇虎非常关注...

江浙沪皖东南沿海四省市
而扬州瘦西湖则以其秀丽的自然风光和悠久的历史而吸引了无数游客的驻足。此外,江苏还有许多现代化的都市,如南京、无锡等,这些城市以其繁华的商业街和现代化的建筑吸引了众多游客的目光。浙江:水乡古镇与世界自然遗产 浙江位于中国东南沿海地区,是中国最具活力和创新力的省份之一。这里有着美丽的自然...

搜集有关创新兴趣的名言名句并谈谈简单理解
37、科学技术史证明,过多的知识信息有时反倒会妨碍和限制创新。——朗加明 38、渐进就是守旧。因此经营理念创新,就要反渐进,务必一步到位。——张瑞敏 39、可持续竞争的唯一优势来自于超过竞争对手的创新潜质。——詹姆斯·莫尔斯 40、商品开发离不开创新构想,创新构想是人类智慧中最美丽的花朵。——郭光华 41、天才...

邛崃市15549263436: 二次互反律的作用 -
诸葛非乳疾: 二次互反律漂亮地解决了勒让德符号的计算问题,从而在实际上解决了二次剩余的判别问题.欧拉和勒让德都曾经提出过二次互反律的猜想.但第一个严格的证明是由高斯在1796年作出的,随后他又发现了另外七个不同的证明.在《算数研究》...

邛崃市15549263436: "费马定理"有哪些? -
诸葛非乳疾: 费马猜想〔Fermat's conjecture〕又称费马大定理或费马问题,是数论中最著名的世界难题之一.1637年,法国数学家费马在巴歇校订的希腊数学家丢番图的《算术》第II卷第8命题旁边写道:「将一个立方数分为两个立方数,一个四次幂分为两...

邛崃市15549263436: 初等数论中有什么经典的结论吗?
诸葛非乳疾: 初等数论中经典的结论包括算术基本定理、欧几里得的质数无限证明、中国剩余定理、欧拉定理(其特例是费马小定理)、高斯的二次互反律,勾股方程的商高定理、佩尔方程的连分数求解法等等

邛崃市15549263436: 数论的发展历史 -
诸葛非乳疾: 数论早期称为算术.到20世纪初,才开始使用数论的名称,而算术一词则表示“基本运算”,不过在20世纪的后半,有部份数学家仍会用“算术”一词来表示数论.1952年时数学家Harold Davenport仍用“高等算术”一词来表示数论,戈弗雷·...

邛崃市15549263436: 哥德巴赫猜想 -
诸葛非乳疾: 数论中著名难题之一.1742年,德国数学家哥德巴赫提出:每一个不小于6的偶数都是两个奇素数之和;每一个不小于9的奇数都是三个奇素数之和.实际上,后者是前者的推论.两百多年来,许多数学家孜孜以求,但始终未能完全证明.1966...

邛崃市15549263436: 解析数论的简介 -
诸葛非乳疾: 数论中以分析方法作为研究工具的一个分支.分析方法在数论中的应用可以追溯到18世纪L.欧拉的时代.欧拉证明了,对实变数s>1有恒等式 (式中s取遍所有素数)成立,并且由此推出素数有无穷多个.欧拉恒等式是数论中最主要的定理之一...

邛崃市15549263436: 二次剩余的介绍 -
诸葛非乳疾: 数论基本概念之一.它是初等数论中非常重要的结果,不仅可用来判断二次同余式是否有解,还有很多用途.C.F.高斯称它为算术中的宝石,他一人先后给出多个证明.

邛崃市15549263436: 拉格朗日对数学的贡献有哪些﹖ -
诸葛非乳疾: 拉格朗日在数学上最突出的贡献是使数学分析与几何与力学脱离开来,使数学的独立性更为清楚,从此数学不再仅仅是其他学科的工具.主要有以下四方面:方程解法 在柏林工作的前十年,拉格朗日把大量时间花在代数方程和超越方程的解法上...

邛崃市15549263436: 什么是数论? -
诸葛非乳疾: 人类从学会计数开始就一直和自然数打交道了,后来由于实践的需要,数的概念进一步扩充,自然数被叫做正整数,而把它们的相反数叫做负整数,介于正整数和负整数中间的中性数叫做0.它们合起来叫做整数.(注:现在,自然数的概念有...

邛崃市15549263436: 数学名人名言 -
诸葛非乳疾: 这是一个可靠的规律,当数学或哲学著作的作者以模糊深奥的话写作时,他是在胡说八道. ――A.N.怀特海我曾听到有人说我是数学的反对者,是数学的敌人,但没有人比我更尊重数学,因为它完成了我不曾得到其成就的业绩. ――哥德数...

本站内容来自于网友发表,不代表本站立场,仅表示其个人看法,不对其真实性、正确性、有效性作任何的担保
相关事宜请发邮件给我们
© 星空见康网