β,梁渠当然知道,这是Blasius解在无穷远处的一个关键物理参数,其数值近似为1.7207,这个值通常是通过高精度的数值计算得到的。
而林叶的标题,用的词是“严格解析界定”,这意味着……他不是去“算”这个值,而是要去“证明”它的范围?
梁渠忽然想起了这篇论文的标题,似乎,就是这一部分的成果?
“有点意思,野心不小。”
梁渠的心中有点讶然,随后身体微微前倾,开始仔细阅读这一章的内容。
然后,他的表情就开始了变化。
前面的部分,他还能够跟上林叶的思路,林叶引入了常微分方程定性理论中的“比较定理”,这个知识点梁渠还有印象。
但很快,他的阅读速度就慢了下来,甚至还下意识地拿起桌上的笔,在草稿纸上跟着演算。
林叶为了证明β的上下界,巧妙地构造了一对极其复杂的辅助函数,这对函数由多项式和指数衰减项组合而成,形式极为刁钻。
“这个辅助函数……他是怎么想出来的?”梁渠的额头开始渗出细微的汗珠。
他发现,自己已经无法轻松地预判林叶的下一步推导了。
而接下来,林叶开始运用一系列不等式放缩技巧,去证明他构造的这对函数确实满足“上下解”的条件。
当梁渠看到林叶在证明过程中,引用了一个名为Chaplygin的定理时,他彻底卡住了。
这个定理的名字,他完全没有印象,而具体内容和应用条件,他就更不清楚了!
以至于他只能当场打开了某度搜索,而甚至连某度搜索中,关于这个定理的内容都相对较少,足以说明其少见,如果没有足够的知识面,是绝对想不到的。
他忍不住看向了旁边的林叶,问道:“这个定理,你也是从我给你买的那些书上看到的?”
林叶看了一眼,然后回答道:“不是,是我自己看的其他资料上知道
本章未完,请点击"下一页"继续阅读! 第2页 / 共5页