千禧七大数学问题

PAGE/NUMPAGES千禧七大数学问题千禧七大数学问题    20##美国克雷数学促进研究所提出。为了纪念百年前希尔伯特提出的23问题。每一道题的赏金均为百万美金。1、黎曼猜想。黎曼猜想,即素数的分布最终归结为所谓的黎曼ζ函数的零点问题。黎曼在１８５９年在论文《在给定大小之下的素数个数》中做出这样的猜想：ζ〔ｚ〕函数位于０≤ｘ≤１之间的全部零点都在ReZ＝1／２之上,即零点的实部都是１／２,这至今仍是未解决的问题。黎曼猜想是说：素数在自然数中的分布问题在纯粹数学和应用数学上都是很重要的问题。素数在自然数域中分布并没有一定规则。黎曼〔1826--1866〕发现素数出现的频率与所谓黎曼ζ函数紧密相关。　　现在已经验证了最初的1,500,000,000个解,猜想都是正确的。但是否对所有解是正确的,却没有证明,随着费马最后定理的获证,黎曼猜想作为最困难的数学问题的地位更加突出。  透过此猜想,数学家认为可以解决素数分布之谜。这个问题是希尔伯特23个问题中还没有解决的问题。透过研究黎曼猜想数学家们认为除了能解开质数分布之谜外,对於解析数论、函数理论、椭圆函数论、群论、质数检验等都将会有实质的影响。2、杨-密尔斯理论与质量漏洞猜想西元1954年杨振宁与密尔斯提出杨-密尔斯规范理论,杨振宁由数学开始,提出一个具有规范性的理论架构,后来逐渐发展成为量子物理之重要理论,也使得他成为近代物理奠基的重要人物。杨振宁与密尔斯提出的理论中会产生传送作用力的粒子,而他们碰到的困难是这个粒子的质量的问题。他们从数学上所推导的结果是,这个粒子具有电荷但没有质量。然而,困难的是如果这一有电荷的粒子是没有质量的,那麼为什麼没有任何实验证据呢？而如果假定该粒子有质量,规范对称性就会被破坏。一般物理学家是相信有质量,因此如何填补这个漏洞就是相当具挑战性的数学问题。3、P问题对NP问题随著计算尺寸的增大,计算时间会以多项式方式增加的型式的问题叫做「P问题」。P问题的P是PolynomialTime<多项式时间>的头一个字母。已知尺寸为n,如果能决定计算时间在d时间以下就可以或不行时,我们就称之为「多项式时间决定法」。而能用这个算法解的问题就是P问题。反之若有其他因素,例如第六感参与进来的算法就叫做「非决定性算法」,这类的问题就是「NP问题」,NP是NondeterministicPolynomialtime<非决定性多项式时间>的缩写。由定义来说,P问题是NP问题的一部份。但是否NP问题里面有些不属於P问题等级的东西呢？或者NP问题终究也成为P问题？这就是相当著名的PNP问题。4、.纳维尔–史托克方程〔Navier–StokesEquations〕因为尤拉方程太过简化所以寻求作修正,在修正的过程中产生了新的结果。法国工程师纳维尔与英国数学家史托克经过了严格的数学推导,将黏性项也考虑进去得到的就是纳维尔–史托克方程。自从西元1943年法国数学家勒雷〔Leray〕证明了纳维尔–史托克方程的全时间弱解之后,人们一直想知道的是此解是否唯一？得到的结果是：如果事先假设纳维尔–史托克方程的解是强解,则解是唯一。所以此问题变成:弱解与强解之间的差距有多大,有没有可能弱解会等於强解？换句话说,是不是能得到纳维尔–史托克方程的全时间平滑解？再者就是证明其解在有限时间内会爆掉。解决此问题不仅对数学还有对物理与航太工程有贡献,特别是乱流都会有决定性的影响,另外纳维尔–史托克方程与奥地利伟大物理学家波兹曼的波兹曼方程也有密切的关系,研究纳维尔–史托克〔尤拉〕方程与波兹曼方程〔BoltzmannEquations〕两者之关系的学问叫做流体极限,由此可见纳维尔–史托克方程本身有非常丰富之内涵。5.庞加莱臆测庞加莱臆测是拓朴学的大问题。用数学界的行话来说：单连通的三维闭流形与三维球面同胚。从数学的意义上说这是一个看似简单却又非常困难的问题,自庞加莱在西元1904年提出之后,吸引许多优秀的数学家投入这个研究主题。庞加莱〔图4〕臆测提出不久,数学们自然的将之推广到高维空间,我们称之为广义庞加莱臆测：单连通的≥n维闭流形,如果与n≥维球面有相同的基本群则必与n维球面同胚。经过近60年后,西元1961年,美国数学家斯麦尔〔Smale〕以巧妙的方法,他忽略三维、四维的困难,直接证明五维以上的≥广义庞加莱臆测,他因此获得西元1966年的费尔兹奖。经过20年之后,另一个美国数学家佛瑞曼〔Freedman〕则证明了四维的庞加莱臆测,并於西元1986年因为这个成就获得费尔兹奖。但是对於我们真正居住的三维空间,在当时仍然是一个未解之谜。=一直到西元2003年4月,俄罗斯数学家斐雷曼〔Perelman〕於麻省理工学院做了三场演讲,在会中他回答了许多数学家的疑问,许多迹象显示斐雷曼可能已经破解庞加莱臆测。数天后「纽约时报」首次以「俄国人解决了著名的数学问题」为题向公众披露此一消息。同日深具影响力的数学MathWorld刊出的头条文章为「庞加莱臆测被证明了,这次是真的！」[14]。数学家们的审查将到20##才能完成,到目前为止,尚未发现斐雷曼无法领取克雷数学研究所之百万美金的漏洞。6.白之与斯温纳顿-戴尔臆测〔BirchandSwinnerton-DyerConjecture〕一般的椭圆曲线方程式y^2=x^3+ax+b,在计算椭圆之弧长时就会遇见这种曲线。自50年代以来,数学家便发现椭圆曲线与数论、几何、密码学等有著密切的关系。例如：怀尔斯〔Wiles〕证明费马最后定理,其中一个关键步骤就是用到椭圆曲线与模形式之关系－即谷山-志村猜想,白之与斯温纳顿-戴尔臆测就是与椭圆曲线有关。60年代英国剑桥大学的白之与斯温纳顿-戴尔利用电脑计算一些多项式方程式的有理数解。通常会有无穷多解,然而要如何计算无限呢？其解法是先分类,典型的数学方法是同余这个观念并藉此得同余类即被一个数除之后的余数,无穷多个数不可能每个都要。数学家自然的选择了质数,所以这个问题与黎曼猜想之Zeta函数有关。经由长时间大量的计算与资料收集,他们观察出一些规律与模式,因而提出这个猜测。他们从电脑计算之结果断言：椭圆曲线会有无穷多个有理点,若且唯若附於曲线上面的Zeta函数ζ=时取值为0,即ζ<1>；当s1=07.霍奇臆测「任意在非奇异投影代数曲体上的调和微分形式,都是代数圆之上同调类的有理组合。」最后的这个难题,虽不是千禧七大难题中最困难的问题,但却可能是最不容易被一般人所了解的。因为其中有太多高深专业而且抽象。