(记者廖洋)近日,青岛理工大学理学院副教授王金良在《应用数学》上发表了论文《黎曼猜想的证明,其开门钥匙是周期性》,试图破解世界数学难题——“黎曼猜想”。
“黎曼猜想”又称“黎曼假设”,由德国数学家黎曼于1859年首次提出,是美国克莱数学促进会于2000年发起并悬赏解决的七大世界数学难题之一。这一问题又极其重要,它影响数学和物理的多个领域,也影响互联网的信息安全。
“黎曼猜想”是指猜测一个在复数域内定义的Zeta函数其所有零点(函数值等于0的点)都位于临界线(实部为1/2的直线)上。该猜想的正确性是受到普遍认可的。王金良表示,“黎曼猜想”证明的根本困难在于Zeta函数是一个在复数域内定义的包含无穷级数的无穷积分,其变化情况难以通过现有微积分知识来认识。纵观已有失败经历,任何想绕过这个无穷积分的尝试都是徒劳的,因为所有信息都隐含其中。
与Zeta函数等价的Xi函数具有自然的“对称性”。王金良利用此“对称性”和调和函数的“极值原理”以及一些几何技巧对其证明进行过多次尝试,失败后转向了Xi函数的横向“单调性”。他通过大量的数值模拟发现,“单调性”是有益的,但仍需证明Xi函数的实部于临界线附近不存在正的极小值和负的极大值,而这一点很难。
直到今年,王金良对已公开的临界线上前100000个数值近似零点进行研究时才有了新突破。他发现了一个更精确的零点分布规律,并大胆猜测Xi函数的实部具有特定的纵向“周期性”,这一想法将已有文献中零星的成果碎片都串了起来。接下来,王金良对此进行了严格论证并完成论文,论文被科学研究出版社(SCIRP)旗下的国际英文开放期刊接收并发表。
“黎曼猜想”依据临界带(实部为0和1的两直线之间的区域)内和临界线上零点的分布情况可划分成3个依次递进的命题。第1命题,即临界带内零点个数满足特定估计式,早已被证明。第2命题,即临界线上零点个数也满足同样的估计式,可以从新发现的“周期性”得到证实。而对第3命题,即猜想本身的证明,王金良利用了Xi函数的对称性、单调性、周期性以及调和函数的“极值原理”。
不过,值得注意的是,按照克莱数学促进会的规则,每个解答都需要以正式论文的形式发表并经受相关领域内专家长达两年的检验。
来源: 《中国科学报》