随后,一行五人离开了会议室,来到了陈院士位于数院顶层的独立办公室。
一进门,陈景明就亲自给林叶拉开了一把椅子,这个动作让旁边的三位教授看得眼皮直跳——这待遇简直无敌了啊!
坐定之后,陈景明作为院士,自然也配备着一名助理,很快便给五个人将茶水泡上。
陈景明没有废话,直接说起了刚才在会上没来得及深究的技术细节:「林叶,刚才你说利用krylov子空间投影来规避矩阵指数的计算,这个思路很妙。但是,我有一个疑问。」
老院士锐利的目光注视着林叶:「在如此高维的非线性系统中,你如何保证投影后的低维子空间,能够完整地包含了导致刚性的那些快模式?如果快模式漏掉了,计算岂不是依然会失稳?」
这个问题一出,旁边的周文渊、李建国和王海峰都下意识地屏住了呼吸。
这是一个极深的问题,直指模型降维的核心痛点。
林叶却神色淡然,仿佛早就思考过千万遍:「陈老,您担心的是谱污染,或者说信息丢失。实际上,这正是我引入bch公式修正的另一个妙用。」
林叶随手拿起桌上的纸笔,刷刷写下了几行推导:「在构建krylov子空间时,我不只使用了雅可比矩阵j作用在向量v上的幂次序列,我还将非线性源项的李括号导数[f,s]也作为基底生成元加了进去。」
「这样生成的子空间,在数学上被称为增广krylov子空间。它天然地包含了刚性源项的高频振荡特征。从谱分析的角度看,那些模值巨大的特征值,会自动显影在这个子空间里,绝对跑不掉。」
看着纸上那漂亮的增广基底构造,陈景明愣了一下,随即猛地一拍大腿,哈哈大笑起来:「好!好一个增广子空间!把物理特征硬塞进数学基底里,这招暗度陈仓用得太绝了!」
旁边的周文渊也是听的越发惊诧。
他原本以为自己已经很了解林叶的思路了,没想到在这些细节上,林叶竟然还有如此深的造诣。
「这哪里是高中生————」王海峰在一旁小声嘀咕,「这对于数值代数的理解,怕是比我都深。」
他的年龄算是现场中第二小的,但是也比林叶这个年龄最小的大了十多岁,此时对于林叶的能力可谓是彻底服气了。
几人又针对算法的几个极端边界条件进行了推演,林叶对答如流,甚至在几个卡点上反过来给了几位教授新的启发。