第37章 无敌的梁老师倒下了

  常数β，梁渠当然知道，这是blasius解在无穷远处的一个关键物理参数，其数值近似为1.7207，这个值通常是通过高精度的数值计算得到的。

  而林叶的標题，用的词是“严格解析界定”，这意味著……他不是去“算”这个值，而是要去“证明”它的范围？

  梁渠忽然想起了这篇论文的標题，似乎，就是这一部分的成果？

  “有点意思，野心不小。”

  梁渠的心中有点讶然，隨后身体微微前倾，开始仔细阅读这一章的內容。

  然后，他的表情就开始了变化。

  前面的部分，他还能够跟上林叶的思路，林叶引入了常微分方程定性理论中的“比较定理”，这个知识点梁渠还有印象。

  但很快，他的阅读速度就慢了下来，甚至还下意识地拿起桌上的笔，在草稿纸上跟著演算。

  林叶为了证明β的上下界，巧妙地构造了一对极其复杂的辅助函数，这对函数由多项式和指数衰减项组合而成，形式极为刁钻。

  “这个辅助函数……他是怎么想出来的？”梁渠的额头开始渗出细微的汗珠。

  他发现，自己已经无法轻鬆地预判林叶的下一步推导了。

  而接下来，林叶开始运用一系列不等式放缩技巧，去证明他构造的这对函数確实满足“上下解”的条件。

  当梁渠看到林叶在证明过程中，引用了一个名为chaplygin的定理时，他彻底卡住了。

  这个定理的名字，他完全没有印象，而具体內容和应用条件，他就更不清楚了！

  以至於他只能当场打开了某度搜索，而甚至连某度搜索中，关於这个定理的內容都相对较少，足以说明其少见，如果没有足够的知识面，是绝对想不到的。