歇会儿吧，别把自己逼太紧，这个问题可能需要引入新的工具，我回来再想想。」

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

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

「t（b）川≥Φ（川b）——这个下界到底怎么构造——」林叶喃喃自语，大脑在得到了103提高的数学能力的驱动下飞速运转，但就像是在迷宫里打转，始终找不到出口。

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

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

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

而林叶居然能够意识到。

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

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

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

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

林叶点了点头，表示了认同，「确实。」

然后他看向张涛，突然问道：「张学长，你在做研究的时候，如果遇到这种非线性算子在无穷远处的行为估计，一般会用什么方法？」

张涛一愣，倒是没想到林叶会突然问起了自己，还好不是关于这个问题的建议，不然他这位学长说不定就要丢脸了。

思考了一下林叶的这个问题后，他便苦笑道：「我的课题主要涉及可压缩流，那种非线性太强了，我们一般都不做整体证明，直接上数值模拟。不过————」

他挠了挠头，回忆起了自己博士一年级上基础课时的经历。

「我记得我在学《非线性泛函分析》的时候，读过一篇关于拓扑度理论的文献，那里面提到，如果证明强制性太难，有时候可以换个思路。」

「换个思路？」林叶眼神一动。

「对，」张涛走到办公室的书架旁，翻找了一会儿，抽出了一本厚厚的英文原版书——《nonlear functional analysis and its applications》，又在目录上寻找了一会儿，最后才翻到了其中一章递给林叶，「你看这里，leray

schauder度理论。如果你能证明这个算子在某种同伦变换下，其拓扑度不为零，那么有时候不需要显式地构造强制性不等式，也能利用边界条件推导出整体满射性。」

「虽然我也不确定这能不能

章节内容不完整，请退出阅读模式查看完整内容！