原本还带着一丝带师弟的轻松心态，手里甚至还拿着个笔记本准备记点关于他们课题的东西，但当「弗雷歇导数」和「算子谱半径」这两个词从导师嘴里蹦出来的时候，他的笔尖猛地顿住了。
这是……泛函分析在流体力学中的高阶应用？
他下意识地看向林叶，心想这高中生能听懂吗？
这可是研究生高年级甚至博士阶段才涉及的数学工具。
然而，下一秒，林叶的反应让他差点惊掉了下巴。
林叶并没有露出丝毫迷茫，反而眉头微微一皱，几乎是瞬间就跟上了周文渊的思路，甚至直接指出了其中的痛点：「周老师，用弗雷歇导数来线性化确实是标准路径。但是，这里有一个问题，我们的定义域是半无穷区间[0，∞)，如果不加权的话，紧致性条件可能不满足，谱分析会失效。」
说着，林叶顺手接过周文渊手中的笔，在旁边补了一个权重函数：「我觉得，我们是不是可以引入一个加权 sobolev空间，利用 hardy不等式来控制η→0处的奇异性，这样就能保证算子是 fredhol型的，从而利用反函数定理？」
「hardy不等式……」周文渊的眼睛瞬间亮了起来，他盯着林叶写下的那个加权范数，仅仅思考了两秒钟，便猛地一拍大腿，「妙啊！我昨晚一直纠结于如何处理边界的奇异性，居然忘了引入加权范数！这样一来，我们就把无界区域的问题转化到了紧致算子的框架下！」
「没错！」林叶的语速也快了起来，教授和高中生的思维仿佛也在此刻通过碰撞产生了火花，激发出了他们更多的想法，「只要证明了它是 fredhol算子，且指标为 0，再结合原本的单调性，唯一性就证出来了！」
「那样的话，这个逆映射定理就彻底立住了！」周文渊兴奋地直接站起身，拉过旁边的白板，「来来来，我们把这个加权空间具体的权函数形式确定一下，是用指数衰减还是多项式衰减……」
两人就这样旁若无人地在白板前写画起来。
但是站在一旁的张涛，此时整个人已经彻底石化了。
他呆呆地看着白板上那密密麻麻的算子符号、范数定义以及不等式推导，脑瓜子嗡嗡作响。
这……这是高中生？
这特么是高中生？！
作为周文渊最得意的博士生，张涛自认数学功底在同龄人中已是佼佼者，但此刻，他竟然发现自己有些跟不上这两个人的节奏——虽然这主要也是