数学家Eichler曾经说过,数学中只有五种基本运算,加、减、乘、除,以及模形式。
也许这是一种很有个人色彩的论点,但是也确实说明当今比较深刻的数学中,模形式无处不在。
模形式是一种解析函数,并且这种函数在一个在模型群的群运算之下,会变成某种类型的函数方程,并且通过函数计算出的值也会呈现出某个增长趋势。
总而言之,这是一种运用范围十分广泛的数学工具,包括证明费马大定理过程中的谷山丰-志村五郎猜想,也用到了模形式论。
将模形式论和群论进行联系的研究,也在数学界中广为存在。
而此时此刻,林晓眼前的来自于塞尔伯格教授的证明过程中,他就看到了这样的运用。
“对啊,我怎么就没有想到呢?”
他一边如同接受醍醐灌顶般吸取着这些手稿中的知识,一边感慨着这里面的知识给他带来的启发。
不愧是曾经证明了素数定理的阿特勒·塞尔伯格教授,这样对知识的运用,真无愧于大师的杰作。
“学了那么久的群论和李群,我居然就想不到这样的变化,这样一来再配上我之前的步骤……”
林晓的目光越来越亮。
然后他迅速地拿起了笔和草稿纸,开始了接下来的演绎。
这些手稿,并没有告诉他答案,毕竟阿特勒·塞尔伯格教授当初也没有成功,所以他需要沿着手稿中传达出来的思想,完成接下来的工作。
而接下来的工作,是一项大工程,他需要将群论,以及自己之前的研究结合起来,然后再将模形式论融汇进去,完成一个更具有适用性的新数学方法。
而通过这个新的方法,他有预感,自己将能够完成自己最终的目的。
不过,他也得试了才知道,毕竟有时候的灵感,也是会成为错觉的。
就算是当初的塞尔伯格教授,也只是在其中运用到了这样的方法,但是最终不也没有成功。
当然,有了方向,对于数学研究来说,那就是最重要的。
于是,林晓继续起自己的工作。
【……F2k(τ)=(2ζ(2k))^(-1)G2k(τ),τ∈H.
……
log|P(ζ1,ζ2,ζ3)|>-μT^4(logT)^24……】
林晓越写,越感觉思维如泉涌,虽然这并不能让他找到当初在贤者状态下,大脑开发度达到4%以上的那种状态,不过,这种灵感不断涌现的状态,同样也是难能可贵的。
即使中间他也会遇到某些问题,但他依然能够很快解决。
就这样,随着一行行公式的列出,以及一堆堆由英文字母、阿拉伯数字、希腊字母组成的不断组合,一张张草稿纸也就这样被他用去,有些被他扔在了一边,有些则被他保留在旁边。
时间越发过去。
他已经可以感觉到,自己距离最终的成果,已经接近到了前所未有的距离。
不知道多久后,同样也考完的孙宇、欧阳盛等人,也已经和两位领队回来了,他们看到林晓那紧闭的房间,都摇摇头,没有去打扰。
“也不知道林神能不能解决那个问题啊。”
“既然都喊人家林神了,你所需要做的就是相信神。”
“回头我得给林神做个牌位,每天在家里供着,祈祷我能有他一半牛逼就好了。”
“一半牛逼?你怕是想上天哦。”
几个人笑哈哈地开着玩笑,然后继续回顾起他们的考试过程,对起了题。
不过,总而言之,他们本次考试都感觉挺不错的,发挥都还算不错,除了第三题和第六题都属于压轴题,他们感到十分困难之外,其他题都还是有一定的信心。
就这样,他们聊着天,一直到了下午,中途还顺便去吃了一顿饭,至于林晓那边,虽然没有和他们吃饭,不过他们也还是帮林晓带了饭回来,以前林晓一旦进入研究状态中顾及不上吃饭时,他们都是帮林晓带的饭。
直到晚上,他们开始计划去外面吃一顿夜宵,弥补一下这几天只能在酒店吃饭的遗憾,顺便,也能体会一下这里的风土人情。
不过,正当他们要出去的时候,那紧闭的房门被打开了,林晓从里面走了出来。
“哟,林神啊,你出来的还真是巧了,我们正说要出去呢。”
“出去吃东西吗?”林晓问道。
“对啊。”
“那就去吧。”林晓摸了摸肚子,尴尬地说:“有些饿了。”
“我的天哪,林神居然还会感到饿!”
“那还不赶快走,怎么能让林神饿着?”
这帮人顿时大呼小叫起来,上来就拉着林晓,然后就要出发。
林晓看着他们这样子,不由无奈地摇摇头。
从上午十点半开始,到中间三点多的时候,他只吃了一顿他们带回来的罗马尼亚特色美食白菜卷以及一小盘烤碎肉卷,到现在已经十点了,他还真挺饿的。
这也是难得一次他直接被饿出沉浸状态的情况。
当然这么长时间的研究,他也算是成果斐然,虽然还并没有成功,但他现在也基本可以确定,自己的方向是正确的了,只要继续走下去,成功已经是件看得到的方向了。
不过,人是铁饭是钢,还是先把自己的肚子给填饱再说吧。
而后,林晓便和他们一起离开了酒店,去外面吃夜宵,欣赏。
…………
接下来的两天时间,是IMO试卷批改组进行试卷批改的时间,与此同时每一名参赛者也被组织起来,要进行一场远足活动。
不过,致力于自己问题中的林晓,并没有参与到这场活动中,而是继续窝在酒店里做着研究。
终于,直到7月12日的时候,他的研究迎来了尾声。
看着眼前最终的这长长的一串式子,林晓又回头看了看前面的过程,最后长出一口气:“如此,算是完成了。”
“那么,我应该称其为林氏群变换理论,还是林氏模形式变换法?”
“哎,算了,先别纠结这个,先把最后的问题搞定吧。”
最后的问题,也就是梅森素数的分布规律了。
此时此刻,原来如隔鸿沟的答案,对于他来说,已然唾手可得。
8)