第424章 回去自己看看（2/2）

我们现在还在用逐步逼近法跑能带计算，如果把这块嫁接过来，计算速度大概也能提升一到两个数量级。”

说完他又摇了摇头，语气带著感慨，“这孩子隨手写的板书，比我带的学生专门研究半年的课题还透彻，了不起啊。”

肖宿继续推进。

他转过身在黑板上方的一片空白处开始建立商空间上的能量泛函推导，手指在黑板上敲出节奏感极强的声响。

“商空间降维之后，剩下的两步分別是构建有效设计空间和进行凸优化求解。

这两步在数学上都有现成的工具，构造凸性条件是一个典型的变分问题。

我们要证明在降维后的空间里，目標性能函数是严格凸的，极小值存在且唯一。”

他没有多想，自然而然地开始构造这个证明。

粉笔触到黑板的那一刻，就像一支外科手术刀找到了最精確的下刀位置。

他的眼神专注而沉静，所有的公式早已在脑子里完成了排练。

从凸性条件的泛函构造，到极小值存在性的拓扑论证，每一步都行云流水。

“在商空间上定义加权度量之后，极小值的存在性由该空间的紧致性保证，唯一性则由严格凸性保证。”

他在黑板上流畅地写出了商空间上的紧致性判据，“这部分的数学我在质量间隙的几何框架里已经做过，把规范场换成材料参数，构造是一样的。”

讲解推进到变分不等式的正则化处理时，他已经完全沉浸在自己推导的节奏里了。

从紧致性判据到变分不等式的构造，从正则化惩罚项的设置到收敛性条件的推导，每一步都严丝合缝。

黑板上那些矩阵和对角线组成的图案，在满教室的学生眼中像是某种神圣的壁画，大部分人已经彻底跟不上了，但是没有一个人低头玩手机。

他们说不清自己在看什么，但是都本能地觉得台上这个人正在自己眼前构造著某种非凡的东西。

终於，肖宿讲完了一个小节，他把粉笔放回粉笔槽里，拍了拍手上的粉笔灰，转过身面对全班。

“这一节到这里，內容比较简单，大家应该都能跟上吧，有什么问题吗？”

教室里一片死寂。

前排几个刚刚还在疯狂做笔记的学生同时停止了动作，像被人按了暂停键。

坐在第二排靠走道位置的一个研究生嘴巴张了张，又合上，其实很想说点什么，但是又怕说出来会暴露自己已经跟丟了很久的事实。

第三排那个戴黑框眼镜的男生把手举到一半，在肖宿的目光扫过来的那一瞬间，又放了下去。

过了许久，肖宿刚要说下课，角落里一个声音怯怯地响了起来：

“肖教授，刚才您讲到nijenhuis张量为零时j可积，那个张量的定义……能不能再讲一遍？我没太跟的上。”

肖宿蹙眉看了他一眼，確定他不是在开玩笑之后，看著他说：“这个在教材第三章第二节有详细的定义和推导，回去自己看看，先把定义学明白。”

那个学生张了张嘴，“哦”了一声，红著脸，迅速低下了头。