也可以在推导前补充一个约定域,或者在最终结论中增加适用条件。”
“没有必要在每一步推导后,都重新构造有效定义域吧?”
“这样做虽然严谨,但也会让许多原本简单的推导变得极其复杂。”
“是否存在过度修正的问题?”
……
三个人都提出了自己的质疑。
在他们看来,这篇论文是存在这些疑问的,并不能立马得出验证正确的结论。
穆长兴也转头看向了旁边一直没有开口过的谢永松。
毕竟,谢永松是参与过讨论的。
相比于他,应该更熟悉这论文。
现在林枫不在,这些问题自然需要他来解答。
但后者并没有丝毫慌乱,甚至依旧没有开口。
只是在听完他们的问题后,转身拿过来一个档案袋,从里面掏出了一摞草稿纸。
这——
正是在他在三人来之前去图书馆小会议室里拿的,林枫留下来的昨天晚上写的五十七张草稿纸。
接着,又把这五十七张草稿纸分成了三份,分别发给了面前三人。
“这是……”
三人都是一怔。
但很快,随着一阵纸张翻动的声音响起。
他们全都惊呆了!
因为,他们都在这草稿纸上找到了自己问题的答案。
陈国梁看到了一套关于适用范围分层的推导。
不仅如此,草稿纸上还分别给出了线性、半线性、非线性结构下的判定条件。
也就是说,他刚才提出的适用范围的问题,早就被限定的一清二楚。
甚至,比他设想的还要严谨!
刘启明则看到了十六组不同结构的反例:
有常系数微分方程,有变系数方程,有闭区间上的积分估计,也有弱解框架下的边界项消除。
这些反例中,缺省项所在位置各不相同。
反例特殊性?
根本不存在!
这摞草稿纸里,几乎把能够考虑到的情形全都考虑了一遍!
至于孙文华,更是沉默到难以置信。
在草稿纸里,他看到了三种修正方式的对比:
【第一种:在推导前补充约定域】
【第二种:在结论后附加适用条件】
【第三种:逐步进行迭代域重构】
前两种方式在简单结构中确实有效。
但只要缺省边界参与后续变化,就立马会在下一步失效。
看似成立,实则早已偏离原命题!
为了证明这一点,这上面甚至还画出了完整的误差传播链!
一环扣一环!
没有任何多余的步骤!
这一刻,他们三个都明白了。
自己提出的这些质疑,那根本就不叫问题。
这草稿纸上,这手稿里,已经全部写过了!
包括穆长兴,也被这草稿纸给惊到了。
什么特殊情形?
什么边缘情况?
什么替代解释?
什么可能出现到的逻辑冲突?
全都考虑到了!
根本找不到一丝漏洞!
三个人越看,越是心惊。
越看越是觉得难以置信!
一个小时过去了,
没有一个停下来!
一个半小时过去了,
还都在专心验算着!
直到晚上九点零七分。
孙文华才第一个放下了手中的笔。
但他依旧没有开口,还在沉默着。
-->>(第3/7页)(本章未完,请点击下一页继续阅读)