返回307.第307章 就证出来了?(1 / 1)咸鱼2号机首页

关灯 护眼     字体:

上一章 目录 下一章

第307章 就.证出来了?

许青舟咧嘴笑着,深吸一口气提神,说:“行,师兄,我先洗个澡再过去。”

“我在楼下大厅等你。”苏科伟有点不放心,觉得许青舟好像很疲惫,万一疏忽迟到,难免给其他人留下口舌。

许青舟点头,自己拿着干净衣服洗澡。

浴室很快响起哗哗的流水声。

房间里,餐桌上有早餐盘子,应该是直接叫服务员送的早餐。

书桌的一角堆满废弃手稿,桌上也铺着稿纸。

窗外,天气晴朗,风和日丽,灿烂的阳光从窗户透进来,撒在一角,微风吹拂窗帘,又扬起书桌上杯子压着的稿纸一角。

如果有人仔细看过去的话,可以发现这样的内容:

在γ(t)上(s)=s+1s(s+1)(ζ′(s)ζ(s)t2t2=ac+1t22

容易证明∫(re(s)=c)+γ(t)(s)ds=0。】

让 h1<h2<hk取遍大于k的素数,则根据lagrange定理可知素数p>k时总有νpk<p。而当pk时 q(0)=h1h2…,hk}便是一个恰有k个元素的可行整数】

即:对所有自然数k,存在无穷多个素数对(p, p + 2k),波利尼亚克猜想获证。】

没错,埋头死磕三天时间,许青舟证明了波利尼亚克猜想。

他虽然暂时脱离宋校的管控,但还是没到曾经动辄通宵的地步,前面几天都是2点睡觉,早上6点起床。

就昨晚熬了一个通宵。

一个世界级的成果就摆在面前,根本睡不着。

了一晚,他已经把所有的证明过程拉了三遍。

尽管部分地方可稍作精简,但逻辑没问题,证明没问题,接下来再验算了十几遍,找找bug,就可以公布成果。

9点25分。

洗了个澡,许青舟终于觉得清醒很多,换好衣服,把报告会需要的u盘和文件拿着,去楼下找苏科伟。

见许青舟下来,苏科伟收起笔记本,两个人出酒店,朝报告厅过去。

苏科伟好奇地问:“师弟,波利尼亚克猜想的进度还顺利吧。”

“已经搞定了。”

“哦,没事,毕竟是一个.”

苏科伟本来想安慰这位师弟,猛地站住,愕然地望着许青舟:“你说你证明了?!”

“证出来了。”

“你证出波利尼亚克猜想了?!”

“嗯。”

9点50,许青舟到达报告大厅,和工作人员联系好,做上台准备。

报告厅内熟人很多,覃一贞教授,理事长蔡心远,国际数学联盟的主席森重文,人还挺多,大多数都是数论领域的专家,也有对数论有研究的学者,或者单纯凑热闹。

苏科伟神情恍惚,在人群中招顾教授。

靠,师弟又干掉一个世界级的猜想!

他想把这事情汇报给顾志钟,可发现顾教授正拿着稿子和楚院士讨论等差数列上的selberg公式问题,随即打算先等等。

过了4分钟。

“嗯,接下来再通过反复利用性质∑n(n,k)=1(n)=∑.dn,dkμ(d)以及适当的移项,就可以得到算式,得,老楚,下来聊,先听这小子的报告会。”

“嘿嘿,好。”楚江峰笑着点头。

顾志钟这边结束,转头,就发现苏科伟在发呆。

“小苏。”

“教授。”苏科伟回神,终于想起要说师弟的牛逼事迹。

“小苏啊,你对筛法不也挺感兴趣了吗,可以多和你师弟讨论一下。”

“嗯,我记住了,教授”

顾志钟摆摆手,道:“其他事下来说,先听讲座。”

苏科伟欲言又止,见顾志钟目光已经看向台上的许师弟,他无奈地叹了口气,得,还是许师弟亲自说吧。

10点,报告正式开始。

“本次报告会的主要内容有两个。第一,孪生素数定理筛法改进,上界m的计算简化。第二,是向大家介绍我在研究波利尼亚克猜想时总结到的一个新工具。”许青舟站在台上,简单地和台下的众人打了个招呼,就进入主题。

他先说了孪生素数定理部分。

“如果让p(z)表示大小不超过z的所有素数之乘积,则先前的筛法就能写成:s=∑n<nz),q(n))λd)2”

“当:gi(d)=μhi(d)=μ2(d)npdgi(p)1gi(p)第67就可以化成:s=[1+o(1)]nlogn(km2.o(r2log3kr)+o(e)”

前半部分内容不新奇,就是对曾经的证明过程进行补充而已。

说了20分钟,许青舟进入第二部分。

“正如我开头所说,在研究波利尼亚克猜想时我创造了一个新工具——调和筛法。”

台下传来一阵骚动。

“调和筛法?是某个经典筛法的改进版?”

“应该是了。”

大家小声地议论起来。

筛法是寻找素数或解决与素数相关问题的最有效工具之一,常见的筛法埃拉托斯特尼筛法、区间筛法等等,或者这些筛法的改进版本。

顾志钟微微点头,眼神好奇,想知道这小子搞了一个什么样的筛法。

“为了更好的研究素数分布规律,我以塞尔伯格筛法为基础,在其中使用解集和数列来探究孪生素数的性质。”

许青舟开门见山,把公式这些全部调出来。

报告厅响起齐刷刷的翻笔记本的声音。

前方,许青舟已经开始:

“利用(4),得:1(ΛΛ+Λ′)=1″,对两侧做莫比乌斯反演,就有:ΛΛ+Λ′=μ1″.”

“将dirichlet卷积的定义和导数的定义搞定:

∑rd=nΛ(r)Λ(d)+Λ(n)lum{rd=n}\mu(r)\log^2dag5”

报告会讲述部分结束。

台下,不少人表情惊叹,感慨这个筛法很完美。

到了提问环节。

明显,大家对于调和筛法相当感兴趣。

比如,一位中年教授起来问:“在ppt第53页,d能被解出的充要条件是q、k互素,我们就只需要考虑q、k互素的情况,这里,是怎么得到的?”

许青舟略微思考一下,就说道:“通过分部求和法得到,只需要处理等式右侧的内容了:

∑qdqd≡h(k)μ(q)log2d=∑q(q,k)=1μ(q)∑dd≡q1h(k)log2d”

还有问如何把调和数列融入筛法的。

许青舟一一作答。

第六个提问人,话筒到了一个老熟人手上。

顾志钟的老对头庞含冬。

庞含冬没有提筛法的问题,而是笑眯眯地问道:“许青舟同学,这调和筛法是你这半年的全部成果?”

“是其中一部分。”许青舟淡定地回答,明白这老头在找事情了。

“其中一部分?”

庞含冬笑着,继续说道:“半年前,你以波利尼亚克猜想作为项目,目前世界不少研究机构都是喜讯连连。你这边似乎没怎么听说消息吗,我们都很着急。”

许青舟表情淡定,说道:“我一位老师说过,做学问得沉得下心,我觉得很对,并且一直以这个为行为准则。”

庞含冬的脸色一僵,谁不知道顾志钟那个老东西曾经讽刺过他不潜心学问,搞杂七杂八的东西。

而顾教授也是微微笑起来,心说这小子还真有自己的风范。

庞含冬压着恼怒,皮笑肉不笑,说:“数论,还是你们年轻人有想法方不方便透露你的进度。毕竟,许多像我一样的学者都在期待能听到你的好消息。”

据他所知,这人自从申请了项目,光物院大项目就参加了两个,一个人再逆天,也不可能还拿得出精力来研究其它吧。

你顾志钟不是说做学问要稳嘛,自己的学生怎么东一锤子西一榔头。

虽不至于做得太过,但把许青舟拉在火上烤烤还是简单。

我就是要让你说出波利尼亚克猜想的证明不顺利。

(本章完)

『加入书签,方便阅读』

上一章 目录 下一章