在各种各样的BUFF加成下，他的研究十分顺利。
于是从第二周开始，他就开始了自己真正的研究工作。
他的目标，是对Blasius方程的解进行深入的分析和求解。
他熟练地推导出了经典的Blasius级数解，并分析了其在η=0，即壁面附近的性质。
然而，当他研究解在无穷远处的渐进行为 f(η)≈η-β时，却发现了一个问题，所有文献都只是给出了常数β的一个数值近似值，β≈ 1.7207，这个值是通过数值计算得到的，却缺乏一个严格的、纯粹由解析方法得出的理论界定。
“也就是说，我们知道这个常数大概是多少，但没有人从理论上证明它必须落在哪个精确的区间内。”林叶的眉头紧锁，一个大胆的想法在他脑海中萌生，“我能不能……用纯粹的数学方法，为这个重要的物理常数β，给出一个严格的解析解？”
数值解和解析解之间是不一样的。
数值解得到的是近似解，其精度取决于所使用的算法和计算资源，而解析解则是基于数学推导得出的精确表达式。
数值解因为离散化和计算舍入误差存在精度上的损失，而解析解则是具有严格的数学正确性！
而这带来的就是，想要得到解析解的难度，相对于得到数值解的难度要更高。
因为它对于数学的要求更高一些！
而这，也正好符合林叶这项成果所属的数学领域！
这个想法，就是他本次研究的核心创新点，他要做的，不是去计算β，而是去证明β的取值范围。
接下来的半个月，林叶就陷入了疯狂的、纯粹的数学推导之中。
他查阅了大量关于常微分方程定性理论的资料，学习了比较定理、上下解方法等高等技巧。
他的思路是构造两个辅助函数：一个“上解”函数 f_upper(η)和一个“下解”函数 f_lower(η)，这两个函
本章未完，请点击"下一页"继续阅读！ 第2页 / 共6页