第208章 紧性问题，斩于马下！（2/2）
屏幕那头，徐子轩死死地盯着林叶写下的推导过程。
起初，他的表情是困惑，紧接着，随着林叶写下Div—CurI引理的应用条件，他的眼睛越睁越大，嘴巴也慢慢张成了「0」型。
他在脑海中飞快地验算着这一步的合理性。
没有引入新的假设，也没有复杂的边界估计。
仅仅是一次视角的转换，一次巧妙的代数重构————
那个困扰了他这么久、甚至让他觉得无解的内核发散项，就这么————被抵消了？
「这————这————」
徐子轩激动得语无伦次，他猛地低下头，抓起自己的笔，在自己的草稿纸上疯狂地验证起来。
「对————散度为零————旋度有界————弱收敛保持——
「我的天————真的是这样！」
一分钟后，徐子轩猛地擡起头，隔着屏幕看着林叶，脸上满是震撼与狂喜：「林叶！
你是个天才！绝对的天才！Div—CurI引理！我怎么就忘了这个老古董？！结合几何刚性，这简直就是绝杀！」
「最难啃的骨头总算是拿下了！」
徐子轩兴奋得直接从座位上蹦了起来，在办公室中转悠了两圈，然后才猛地扑回屏幕前，虽然神情依旧激动，但理智也开始回归。
「虽然剩下的边界层校正项还有一点小尾巴，那个还需要做一些常规的估计，但这已经不是本质困难了！只要主项被你的方法抵消掉，剩下的那些也就是花点时间做苦力活而已！」
随着激动结束，当徐子轩的目光重新落回在屏幕上那个精妙绝伦的推导过程时，他的眼神又逐渐变得深邃起来。
他盯着黑板上那个关于几何约束的关键项，脑海中突然闪过一道白光。
「等等————」徐子轩猛地擡起头，隔着屏幕看向林叶，语气中带着一丝求证，「林叶，你刚才用到的这个几何刚性约束的处理手法————这不就是你的【几何刚性交换子定理】吗？」
林叶闻言，微微一愣，随即坦然地点了点头，笑着说道：「确实是。没想到徐教授这么忙，居然也已经看过我的论文了？」
「怎么可能没看过？」徐子轩苦笑一声，语气中带着几分感叹，「现在整个数学界，无论是做分析的还是做方程的，谁不在讨论你那两篇论文？这可是这段时间以来，整个arXiv上最火爆的话题，甚至有人说这是这一代分析学最锋利的矛。」
「虽然我这段时间一直把自己关在办公室里死磕这个紧性问题，但吃饭睡觉的时候，也还是忍不住去下载下来拜读了一部分。特别是第一篇关于工具构造的，虽然还没完全吃透，但那个内核思想————真的是太惊艳了。」
说到这里，徐子轩看着屏幕对面那个一脸平静的少年，心情变得愈发复杂。
他回想起一个月前在金陵的那场报告会，回想起林叶当时在台上那从容不迫的样子，以及后来把解决紧性问题的思路大方分享出来的举动。
「林叶————」徐子轩深吸了一口气，神色复杂地问道，「你老实告诉我，当初在金陵的时候，你是不是————其实脑子里就已经构建出这个几何刚性交换子定理的雏形了？」
林叶没有否认，轻轻点了点头：「那时候确实已经有了初步的想法，也是在和你的讨论中，让我找到了完善它的最后一块拼图。」
「难怪————」徐子轩长叹一声，整个人像是泄了气的皮球，靠在了椅背上，「难怪当时面对解决紧性问题这个诱惑，你表现得那么云淡风轻，甚至把思路全盘托出也不在意，原来你已经有了一个更重要的东西将要完成了，自然也就看不上什么紧性问题了。」
听到徐子轩这番略带自嘲的比喻，林叶却收敛了笑容，认真地纠正道：「徐教授，你误会了，我并不是看不上紧性问题。恰恰相反，紧性问题是验证理论的重要一环。只不过从数学的底层逻辑上来说，【几何刚性交换子定理】作为一种通用的分析工具，其普适性和基础性确实要比解决某一个具体的方程收敛性问题更重要一些。一个是「道」，一个是「术」，两者并没有高下之分，只是层级不同。」
听着林叶的纠正，徐子轩不由笑着调侃一句，「也就是说，几何刚性交换子定理对你来说更加的海阔天空嘛！」
林叶哭笑不得。
但不可否认，确实可以这么说。
随后，就是短时间的沉默。
不过很快，徐子轩突然坐直了身体，神色变得前所未有的郑重。
「林叶，说实话，你是我有生以来见过的，最聪明、也是最纯粹的人。
徐子轩的声音满是感慨：「当年我在国内读书的时候，周围人都叫我天才。后来我有幸去了巴黎高师读博，在那里，我见到了太多来自世界各地的数学怪物，那时候我以为我已经见识到了人类智商的天花板。但是直到现在————」
他看着屏幕里的少年，苦笑道：「你又一次打破了我对天才这两个字的认知。」
林叶被夸得有些不好意思，刚想谦虚两句，徐子轩却已经摆摆手，截断了他的话头。
「好了，矫情的话我就不多说了，大恩不言谢。」徐子轩重新拿起了笔，眼神中重新燃起了斗志，「既然最难的一步已经跨过去了，剩下的那些边界层校正的苦力活，就交给我吧。」
「我相信徐教授。」林叶笑着送上祝福，「而且，这个成果如果能顺利做出来，对我来说也是一个极其重要的消息。因为这将是【几何刚性交换子定理】在实际问题中应用的又一个完美范例，有了它，我的理论就等于有了两个实证案例了。」
「放心，我会让它成为你证明的条件全局正则性之外的又一个完美范例！」徐子轩郑重承诺。
他们都有这个自信。
紧性问题，如今已经可以称得上被斩于马下了！
两人又简单交流了几句后续的安排，便结束了这次长达数小时的视频通话。
看着电脑屏幕重新变回桌面，林叶伸了个大大的懒腰，浑身骨节发出一阵脆响。
他转头看了一眼窗外。
此时已是下午两点，阳光正好。
「糟糕！萨纳克教授的课就快要开始了！」
刚才聊得太投入，完全忘了这茬。
这位刚刚在数学界搅动风云、让顶尖数学家们都心服口服的林神，此刻却像个普通的迟到大学生一样，手忙脚乱地抓起书包，把桌上的草稿纸一股脑塞进去，然后火急火燎地冲出了办公室。
哪怕证明了NS方程的正则性，他也还是个学生啊！
>