接下来的一个多周时间，上京大学数学科学学院的一间实验室中，多了一道仿佛不知疲倦的身影。

    虽然赵长顺不止一次和林叶说过，可以多在他们学校里面逛逛，如果林叶想要在上京玩一玩的话，就跟他说，他也可以带林叶去玩一玩。

    然而林叶都谢绝了赵长顺的好意，基本上将所有时间都泡在实验室，坐在他的那个工位上，研究着课题。

    没办法，因为他真切感到了这种纯粹研究的有趣之处。

    不象是之前做过的那些竞赛题，无论是再难的竞赛题，它们的解决过程也都离不开各种各样的套路。

    而这种学术研究时所要解决的问题，就脱离了这些套路，成为了对于智力以及所掌握知识的绝对考验。

    这种思考的过程————

    让林叶感到了多巴胺不停分泌的快乐。

    以至于赵长顺和周文渊都不得不惊叹，这简直就是搞学术研究的人才啊！

    当然，对于实验室中的那些研究生们来说，林叶这就是天生学术圣体。

    他们反正是从来没有见过明明可以玩，却不仅不玩，还要把所有时间都花在搞研究上面的人。

    至于他们自己一要不是因为毕业的压力，还有同龄人的竞争压力，他们当然早就玩起来了。

    除此之外，这一个周的时间，林叶也和周文渊讨论了两次。

    总的来说，研究进展是惊人的。

    他们已经成功地创建起了加权Sobolev空间框架，并利用正则化技术，完美地计算出了积分算子T的弗雷歇导数，证明了其在每一点都是非奇异的。

    换句话说，他们证明了“局部可逆性”。

    这意味着，在这个复杂的无限维函数空间里，每一个微小的局域内，热流和流场参数都是一一映射的。

    然而，就在距离终点只有一步之遥的时候，他们撞上了一堵墙。

    一堵名为“整体可逆性”的墙。

    第8天，林叶和周文渊进行的第三次讨论。

    “不行，还是推不过去。”

    周文渊将手中的白板笔扔在桌上，眉头紧锁成了一个“川”字，“虽然我们证明了局部可逆，但对于非线性算子来说，局部可逆推不出整体可逆。时单调，但在整个实轴上却不是一一映射的，万一我们的算子在远处发生折叠怎么办？”

    要证明整体可逆，根据着名的Hadard—Lévy定理，除了局部同胚之外，还必须证明算子是真映射。

    简单来说，就是必须证明当输入参数β趋于边界或无穷大时，输出的热流泛函C1的范数也必须趋于无穷大。

    但问题就出在这里。

    那个积分算子太复杂了，包含了指数套积分的结构，当β变大时，非线性项的增长速度极难控制，他们尝试了无数种放缩方法，都无法得到一个一致的下界估计。

    “如果这一步证不出来，那个“对偶定理“就存在理论漏洞，可能会出现多值解的情况，那物理意义就大打折扣了。”周文渊叹了口气，看了看表，“我得去参加学院的教程会议了，不得不走。林叶，你先歇会儿吧，别把自己逼太紧，这个问题可能需要引入新的工具，我回来再想想。”

    办公室内，只剩下林叶和正在一旁整理文献的张涛。

    林叶并没有休息，他依旧站在白板前，死死盯着那个让他和周文渊卡了两天的积分不等式。

    ”

    一旁的张涛看着林叶那副苦思冥想的样子，心中也不由得感叹，这几天他虽然没完全参与，但也大致看懂了，自己的老师和林叶在搞的那个纯数学证明，十分的高深。

    更让他没有想到的是，这个课题，居然来自于林叶那两篇论文结论的隐藏联系。

    他当初也看了那两篇论文三遍，就完全没有发现还有这种联系。

    而林叶居然能够意识到。

    即使是周老师都是后面又看了一遍后才发现的。

    张涛心中感叹起来，看着林叶还在思考着那个连周老师一时半会几都解决不了的问题，他想了想，便走过去倒了杯水递给林叶：“喝口水吧，这种关于算子强制性”的估计，确实是泛函分析里最头疼的部分。”

    林叶接过水，道了声谢，重新看了看当前遇到的问题，叹了口气：“确实很难啊，感觉我离开上京之前，这个问题都不可能解决了。”

    张涛失笑道：“就这么几天，能够做到这个程度已经很牛逼了，这个课题我估计，到时候如果真的解决了，发表sci肯定是没问题。一篇sci论文，不管是几区，都不是那么快就能够搞定的，除非是周老师那种级别的学者，把所有时间都花在一个课题上面还有可能。”

    林叶点了点头，表示了认同，“确实。”

    然后他看向张