那是第二赛段开始的第七天。
凌云虽然依旧和往常一样,对数学问题一点忙也帮不上,但身处混沌之地地他显然会比其他人更加焦急。
这天,他不停地在混沌之地的各个研究组之间游走,但得到地结果却并不尽如人意。
因为他发现一周的时间过去了,这些来自炎夏古今的一大票数学天才们,所讨论的内容似乎和第一天的时候并没有什么太大区别……
“纳维耶斯托克斯方程是一组微分方程。微分方程是用来描述一个特定地量,在给定的初始条件下会如何随时间改变的一组方程。”
“在纳斯方程这个例子中,从流体的初始流动开始,我们就可以用微分方程来描述这个流体的流动随时间的演化。”
“求解一个微分方程意味着,通过能描述我们关注量的那些方程,来找到能在任意时间上我们得到想求量的数学方程。许多物理系统都是通过微分方程描述的,无论是振动的吉他琴弦还是从一个高温物体向低温物体传递过去的热流……我们完全可以进行类比推理。”
“但是,纳斯方程要难很多.从数学角度来讲,目前用来解其他微分方程的技巧,对它根本无效;从物理的角度来讲,流体能表现出混沌和湍流行为——例如从蜡烛和香烟流出的烟,其初始流动会趋向于平稳并且可以预测,但很快就会陷入不可预测的涡流当中。”
……
凌云在研究纳斯方程的这组呆了不到十分钟的时间,便无奈地摇着头离开了。
显然,在过去的一周他们并没有取得任何有效的进展。
困扰他们的难点、他们研究的重点问题,依旧和第一天的时候如出一辙。
时间仅仅剩下四个小时了,他们自然也很难再有什么建树了。
这道题,炎夏大概率只能选择放弃。
凌云轻轻叹息了一声,又去到另外一桌。
“杨米尔斯理论利用了从几何对称中得到的数学结构来描述电磁力、弱核力和强核力。由杨米尔斯理论做出来的预测,经受住了许多实验的验证,可以说是非常成功的。”
“关于质量间隙问题,它要求一些亚原子粒子在某种程度上能与光子类似,也就是没有质量的。质量间隙是用来解释为何核力的强度要远高于电磁力和引力,但是作用范围却极短的重要概念。”
凌云听了半天,说穿了就是要对这个所谓的质量间隙作出一个完整的数学解释嘛。
可惜就是一周过去了,负责则这道题目的研究小组也同样一筹莫展。
果然,现代蓝星那么多数学天才花了那么长时间都没有一点头绪的未解之谜,即便加上炎夏古代的数学天才们也没那么容易解决啊。
凌云心里的希望,正在逐渐变小。
他依旧轻轻摇头叹息,又去道下一个组。
负责研究贝赫和斯韦讷同戴尔猜想的组。
“各位前辈应该都了解吧?数学研究中,最古老的研究对象之一就的丢番图方程。”
“或者说,我们想要寻求整数解的多项式方程——最经典的例子就是毕达哥拉斯的三元组数,或者说三组满足勾股定理的整数了。”
“椭圆曲线的研究历史已经有足足两百多年了。椭圆曲线是被一种用特别类别的丢番图方程所定义的曲线。”
“这些曲线对于数论和密码学都有着重要应用,而寻找这些曲线的整数或有理数解是该领域的主要研究。”
“最近几十年,数学界最闪耀炫酷的进展就是对于经典费马大定理的证明,它证明的是更高阶版的毕达哥拉斯三元组数并不存在。”
“而这,也导致了对椭圆曲线理论的更广的发展……”
……
很显然,这一组的研究结果跟前面两组也没有什么太大区别。
凌云无可奈何,只好再继续换一组看看。
“代数几何的数学规则,是研究可用代数定义为代数方程的解集的高维形状。”
“在二十世纪,数学家们发展出许多更加成熟的技巧,以便更好的理解代数几何的研究对象,比如曲线、曲面和双曲面。”
“这些难以想象的形状可通过复杂的计算工具变得更易接受。”
“而霍奇猜想,认为某些特定的几何结构具有一种特别有用的,可用来更好的将这些形状研究和分类的代数对应。”
“霍奇猜想,在蓝星数学界六大未解之谜里面,其实是最难被证明的……”
“因为,我们甚至无法确定它是对的。”
“霍奇猜想并没有有效的计算证据,因为无法找到对的方法来进行一般情况的计算。”
“而且,从另一个角度来看,相较于黎曼猜想,霍奇猜想可以错,但黎曼猜想不能。”
“因为如果黎曼猜想是错的,导致的后果是世界的崩塌;而霍奇猜想如果错了,后果也只是会让世界更复杂而已,并不会崩塌。”
“所以我们并非一定要证明霍奇猜想的正确性,其实证明它是错误的也可以……”
凌云又跑了。
经过这几天的熏陶,现在他基本上已经能听明白古人们一般都在说些什么了。
可正因为他能听明白了,他猜更加深刻地意识到,这些天以来炎夏古今的数学家们真的堪称毫无进展。八壹中文網
当然了,这也不能怪他们。
蓝星数学界的未解之谜,要是有那么容易解开的话,它们就不会一直是个未解之谜了。
再说了,蓝星上的其他国家,不也同样都没什么进展吗?
至少,目前还没有任何人发表研究成果。
也就是说炎夏目前的名次依然位列第二,仅次于在十几年前就已经解开一个蓝星数学界未解之谜的熊国。
那还有什么好说的呢,尽力就好。
路过研究批与恩批关系的小组,凌云甚至都没有多做停留。
因为要和鹰国错开的缘故,炎夏这边早已在第二赛段开始的第三天,就撤下了研究这个问题的小组一半成员,分到其他各个组去。
也就是说,对于这道题,炎夏本身就处于半放弃的状态。
其他几组都毫无进展,这一组相比也不会有什么太大成果。
所以凌云压根没有停留,继续向前走去。
还有最后一个研究小组,是负责研究黎曼假设的。
有就是在这时候,凌云的耳边响起高呼声——一个久违的好消息,犹如久旱逢甘霖一般如期而至。
“我知道了!”
“我知道应该怎么去证明了!”