第136章 暂时没有错误（1/2）

“咚咚。”

“进。”里面传来丘成桐那辨识度极高的声音。

陈航推门而入。

丘成桐和比尔卡尔都在。两人坐在办公桌旁的沙发上，面前的小茶几上放着两杯冒着热气的茶。他们似乎正在讨论什么，见到陈航进来，同时转过头来。

“陈航啊，来得正好。”丘成桐招了招手，目光落在他手里的U盘上。

比尔卡尔教授推了推眼镜，温和地笑了笑：“我们可是等了好几天。昨天还打了个赌，丘先生说你可能还需要一周才能把证明整理成文，我说以你的效率，三天应该就够了。结果没想到，你居然只花了两天。”

“嗯……多谢老师夸奖，主要还是认真投入，写了119页。”

两人很诧异，两天居然能写超过100页？这什么脑子和手速？丘成桐更是表示一丝怀疑。

比尔卡尔教授倒吸一口凉气，伸手接过U盘：“我得看看，这到底是真材实料，还是……嗯，你知道的，年轻人有时候会为了追求篇幅而啰嗦。”

“我保证每一页都有内容。”陈航认真地说，“而且我用了LaTeX，排版很紧凑。”

丘成桐已经站起身，快步走到办公桌前打开笔记本电脑，动作快得像二十岁的小伙子。他把U盘插进去，找到PDF文件，双击打开。

办公室里安静下来，只有鼠标滚轮滚动的声音和偶尔的呼吸声。

陈航站在一旁，看着两位教授的表情从怀疑转为专注，再从专注转为惊讶，最后定格在一种近乎敬畏的严肃上。

“这个引理3.2的表述……”比尔卡尔教授指着屏幕，“用到了Mkowski泛函的变分性质，这个技巧我在一篇1998年的论文里见过，但你把它的适用范围扩展了。”

“看第47页的这个估计式，”丘成桐放大屏幕，“这个加权Sobolev范数的构造，很巧妙，既保证了紧性，又不损失临界接触条件的精度。你是怎么想到的？”

陈航走过去解释：“我在分析沙发旋转过程中与墙角接触的瞬间，发现那些关键约束其实可以转化为边界上的某种积分不等式。然后我就想，能不能构造一个泛函，使得它的极值点自动满足这些不等式？”

“所以你就用了带惩罚项的变分问题框架。”比尔卡尔点头，眼睛还盯着屏幕，“而这个惩罚项的权重选择……精妙。太精妙了。多一分则太强，会排除掉真正的最优解；少一分则太弱，控制不住那些偷面积的投机形状。”

丘成桐已经翻到了论文的后半部分，那里是唯一性证明的核心。

“这个扰动分析……”他喃喃道，“你证明了Gerver解在允许的形变空间中是局部唯一的，然后通过拓扑度的论证把它推广到全局……这思路很标准，但执行得完美无缺。”

两位教授就这样一页页看下去，时而低声讨论，时而陷入沉思，完全忘记了办公室里还有第三个人存在。

陈航也不急，自己找了个位置坐下。

“啪！”

本章未完，点击下一页继续阅读。