随着系统的提示音落下,林叶只觉世界开始褪色,而眼前的那一堆摆在桌面上乱糟糟的草稿纸也开始扭曲、淡化。
下一秒,那种令人安心的失重感传来。
当视野再次清淅时,他已经不在数院那间宽敞却凌乱的办公室里了,而是回到了那个充满了阳光、微尘和粉笔灰的高中教室。
窗外是四月的春景,黑板上仿佛还能看到一些残留的粉笔印。
系统提供的这个修炼空间会根据现实中的季节来提供不同的窗外景色,可以说代入感拉满了。
“呼又回来了。”
林叶深吸了一口气,那种熟悉的静谧感让他原本因为长期高强度思考而紧绷的神经稍微放松了一些。
这就是【十四天自由修炼空间】。
相比起之前那种由系统强制发布任务而让他不不进入的模式,这次是他主动选择回来,并且自己拥有绝对主导权的闭关室。
至于为什么要选择在这个时候使用这次宝贵的机会
林叶径直走向那个属于他的后排靠窗座位,拉开椅子坐下,眼神逐渐变凝重。
因为他卡住了。
自从开学到现在,已经有两个月的时间了,他在现实中几乎是不眠不休地推进着邦别里-朗猜想弱形式的证明。
依托于【算术-几何同构直觉】,他成功地定义出了纳维-斯托克斯方程解空间的几何型状——也就是那个所谓的“伪双曲流形”。
这第一步走很稳,那个用来限制解的几何微分算子也构造象模象样。
但当他试图进行第二步,也就是证明【在这个流形上,有理点的高度是受控的】时,却撞上了一堵看不见的墙。
无论他怎么引入流体的耗散项,那个代表算术复杂度的高度函数始终无法收敛。
它就象是一匹脱缰的野马,只要时间t趋向于无穷,那个在丢番图逼近中至关重要的误差项(,f)就会指数级膨胀。
“虽然前段时间我证明了高度函数的控制项是收敛的,只是没想到那个收敛竟然只是几何上的假象,算术上它却发散了。”
想到这一点,林叶就感觉到一阵头疼。
真不愧是邦别里-朗猜想。
即使只是一个弱形式,也都是陷阱满满。
这让他想到了自己在上次的修炼空间中研究的那个问题,自己一开始就掉进了死磕代数的陷阱当中。
想到这个,林叶也终于是想起了自己好象还把这个问题发到了偏微分树洞上面,也不知道那些人有没有发现死磕代数是不行的。
不过很快他就将心思拉了回来。
:
现在重要的还是自己的问题啊。
“现在的主要症结就在于,流体在高雷诺数下的高频振荡,导致了解曲线的高阶导数增长速度失控,要想按住它,常规的分析手段肯定是已经失效了。”
“我需要从源头解决这个问题,而现在需要知道的就是”
林叶眯起了眼睛。
对于很多数学家,他们在研究过程中遇到了问题,最大的困难就是不知道自己想要解决问题需要什么。
好在是对于林叶来说,他在这方面很少遇到困难。
“我现在需要知道,在现代复几何中,是如何利用jt丛,或者说高阶切空间来强行截断这种误差增长的。”
这正是他知识体系中的盲区。
明确了自己需要什么之后,他回过神,看向面前的课桌。
此时,空荡荡的课桌上,没有象往常一样直接堆满一堆学习资料。
此时上面只有一张洁白的、没有任何字迹的a4纸,以及一支黑色的签字笔。
而纸上也不象以前那样写着什么修炼问题,因为这次的修炼问题需要他自己来设置。
系统的机械音适时在教室上方响起:
【请宿主在纸上写下本次修炼的具体研究目标。】
【系统将根据目标关键词,自动检索并生成最高匹配度的学习资料与文献。】
“果然是定制服务。”
林叶拿起笔,看着那张白纸。
既然是定制,那就不能写太宽泛。
如果只写【证明邦别里-朗猜想】,系统估计会给他扔一堆他早就看过的《a》或者法尔廷斯的论文,那是浪费时间。
必须足够精准,直指那个误差项的痛点!
“我缺的不是几何直觉,我缺的是在复分析和数论之间创建精确映射关系的工具。”
“也就是——vjta字典在函数域上的高维推广。”
猛地睁开眼,林叶下笔如有神。
刷刷刷!
他在纸上写下了