学霸的模拟器系统 第161节

　　“刚看到。韩老师，出什么事了？”

　　林允宁问得很直接。

　　“《科学》的第一轮审稿意见回来了。三个审稿人意见不同。”

　　韩至渊的语气很平静，但林允宁能听出那平静之下的凝重。

　　“两个审稿人给了最高评价，认为我们的实验观测到了一个全新的物理现象，理论模型也极具启发性，建议‘小修后直接接收’。”

　　韩至渊顿了顿，继续说道：

　　“问题出在第三个审稿人身上。

　　“他只提了一个问题，但这个问题，有点出乎意料，而且不好回答。”

　　韩至渊叹了口气，干脆直接将那段致命的审稿意见，一字一句地念了出来：

　　“‘作者提出的‘非局域声子赝势’模型，其核心是一个优美的积分-微分方程。然而，在数学上，作者并未提供该方程解的存在性与唯一性的严格证明。作者巧妙地绕过了这一步，直接给出了一个在物理上看似合理的自洽解。但这在数学上，是不严谨的。物理的优美，不能以牺牲数学的严谨为代价。’”

　　电话那头沉默了片刻，韩至渊的声音再次响起，带着一丝疲惫：

　　“审稿人的结论是：要求我们在两周内，提供该方程解的严格数学证明。否则，他建议将论文的理论部分大幅删减，只保留实验快报的核心内容，转投其他期刊。”

　　林允宁靠在冰冷的墙壁上，一言不发。

　　他明白这意味着什么。

　　删掉理论部分，就等于否认了“非局域声子赝势”理论的正确性，也砍掉了“雅努斯计划”的灵魂。

　　那篇论文将从一个开创新领域的宣言，变成一篇平平无奇的新实验现象的发现。

　　“这个审稿人，应该是个搞数学物理的，我猜也许是普林斯顿的爱德华威腾教授。”

　　韩至渊说道，“他的问题无法回避，而且……说实话，这是纯粹的数学问题，还是偏微分方程理论里最难啃的那种骨头。我问了数学院的几个同事，他们看了方程都直摇头，说没几个月的工夫，想都别想。”

　　林允宁第一次感到了真正的压力。

　　这不是实验仪器出故障，可以熬夜调试；

　　也不是代码有bug，可以逐行排查。

　　这是在逻辑与公理构筑的冰冷世界里，他被要求拿出一块自己根本没有的基石。

　　“我先试试。”

　　林允宁平静地说道。

　　“好，别有太大压力。”

　　韩至渊的声音缓和了一些，“如果实在不行，我们就撤稿，把理论部分打磨得更扎实，以后再投。你的工作已经足够惊艳，没必要为了一篇文章……”

　　“我明白，韩老师。”

　　挂掉电话，林允宁回到座位，周围同学的嬉笑打闹声仿佛隔着一层厚厚的玻璃。

　　他闭上眼，意识沉入那片幽蓝色的光幕。

　　“系统，针对‘非局域声子赝势’方程，进行解的存在性与唯一性证明推演。”

　　【指令已接收，模拟科研启动。】

　　【正在构建证明路径……】

　　【警告：检测到多个关键前置知识模块缺失，逻辑链无法闭合。】

　　【警告：缺少‘非线性泛函分析’，无法构建算子空间。】

　　【警告：缺少‘索博列夫空间理论’，无法处理微分算子的性质。】

　　【警告：缺少‘巴拿赫不动点定理’应用框架……】

　　【模拟失败。】

　　林允宁睁开眼，揉了揉眉心。

　　他知道自己遇到了真正的麻烦。

　　缺少的知识模块太多，他甚至不知道自己需要补上哪些知识，才能去挑战这个问题。

　　就像想用小学的算术去解微积分，连问题都无法定义。

　　……

　　深夜十一点。

　　林允宁躺在在被窝里，翻来覆去地睡不着，脑子里全是那个长长的积分-微分方程。

　　他犹豫了片刻，还是穿上衣服，走到桌前，打开了QQ视频。

　　视频响了很久才被接起，那头传来顾念真一贯清冷的声音，带着一丝被吵醒的鼻音：

　　“林允宁，这么晚了，什么事？”

　　“顾师姐，不好意思，这么晚打扰你。”

　　“没事，说吧。”

　　顾念真没有半句废话，依旧言简意赅。

　　林允宁也没有绕圈子，直接将那个积分-微分方程的核心形式，用最简洁的语言描述了一遍，然后问道：

　　“顾师姐，从你的专业角度看，要证明这类方程解的存在性和唯一性，通常需要用到哪些数学工具？”

　　电话那头沉默了。

　　足足过了半分钟，久到林允宁以为信号断了的时候，顾念真的声音才再次响起，语速不快，但每个字都清清楚楚。

　　“我是搞数值计算的，这个帮不到你太多，只能说个大致的思路。

　　“问题很复杂。这个方程……非线性、非局域，还带积分核……想证明它，你至少需要……

　　“首先是基础，《实变函数》和《泛函分析》是入门。然后你需要掌握‘索博列夫空间’理论，这是处理偏微分方程弱解的基石。接着，是‘巴拿赫不动点定理’和‘Schauder不动点定理’，这是证明解存在性的核心工具。可能还会用到一些‘调和分析’里的技巧来处理那个积分核……”

　　就在林允宁用笔在草稿纸上飞速记录的时候，他忽然听到听筒里，隐约传来一个睡意朦胧的男声。

　　“念念……谁啊，大半夜的……”

　　是陈正平的声音。

　　林允宁的笔尖一顿。

　　紧接着，他看到顾念真脸上露出一丝从未见过的慌乱，压低了声音嗔怪地说：

　　“是允宁，有事找我，你先睡。”

　　林允宁看着电脑屏幕，瞬间愣住了。

　　几秒钟后，他反应了过来，不禁会心一笑。

　　原来……高冷的顾师姐和老实的陈师兄……

　　这瓜，有点甜。

　　电话那头的顾念真也有点尴尬，清了清嗓子，恢复了平时的语调：

　　“总之，就是这些。这些书，够你看一阵子了。”

　　“我明白了，谢谢师姐。”

　　林允宁忍着笑，认真地道了谢。

　　顾念真没有给他直接的答案，但为他指明了需要攀登的几座数学山峰，给了他一张至关重要的“地图”。

　　……

　　第二天开始，林允宁的生活模式切换到了极限状态。

　　他不再看物理，也不再写代码。

　　课间十分钟，他在看《非线性泛函分析》；

　　午休时间，他在啃《调和分析引论》。

　　每次系统跳出收录信息时，他就立刻投入大量时长，在模拟器中学习。

　　【知识模块‘非线性泛函分析’注入模拟时长500小时……等级提升：LV.2范式掌握！】

　　【知识模块‘索博列夫空间’注入模拟时长500小时……等级提升：LV.2范式掌握！】

　　模拟时长以每天数百小时的速度疯狂消耗。

　　现实中，他的书桌上，每天都堆满了被揉成一团的草稿纸。

　　秦雅似乎察觉到了他的异常。

　　她什么也没问。

　　只是每天晚自习，等别的同学都走光后，她会悄悄地回到教室，坐在林允宁斜后方的位置，安静地看自己的化学书。

　　有时候，她会从书包里拿出一个小小的、银色的松下CD机，分一个耳机给林允宁，放一些舒缓的古典音乐。

　　但那份安静的陪伴，像一双温柔的手，抚平了他焦躁的内心。

　　宋子阳的关心方式则更直接。

　　每天晚饭时间，他都会拎着一个保温饭盒准时出现。

　　“食堂打的糖醋里脊，趁热吃。”