答案是一个无穷级数,大概长这样:「不对易性————」林叶盯着那个方括号,也就是李代数中的李括号,「这个[x,y]代表了两个操作次序不同带来的误差。」
他发现,现有的关于bch公式的研究,大多集中在收敛半径的粗糙估计上。对于某些特定结构的李代数,级数会截断;但对于一般的巴拿赫代数,级数的系数增长极快,导致很难判断它到底什么时候收敛。
「如果我能利用组合数学的方法,对这些系数的增长率给出一个更精确的界定————」
第十五天,林叶的心中一动,终于确定了自己的选题。
《关于自由李代数中bch级数系数的组合结构及其范数最优估计》。
「嘶————自己确定选题还真是有点累啊。」
当确定了自己的选题之后,林叶才算是难得从长达半个月的专注研究中醒了过来。
忍不住感慨一声,随后就没有浪费时间,再次投入到了疯狂的推演中。
可以说,接下来的二十多天时间,对于林叶来说就完全属于一场纯粹的代数游戏了。
他的世界里不再有流体,不再有激波,只剩下了一堆抽象的符号和树形图。
为了计算高阶李括号项的系数,他引入了lyndon词和hai基的概念,草稿纸上画满了复杂的二叉树和排列组合公式。
所幸的是修炼空间给他提供了堪称无穷的草稿纸来使用。
「第n阶项的系数范数,似乎遵循着某种涉及伯努利数的递归规律————」
终于,在第27天的时候,林叶成功找到了最关键的那个命题:通过一种新的加权范数定义,可以把bch级数的收敛半径从传统的2拓展到更宽的范围。
而第35天,当他在处理一个关于「非对易多项式环」的引理时,灵感突如其来。
他发现,如果利用哥德堡系数某种未被注意到的对称性,可以将原本复杂的级数求和,转化为一个简单的复变函数积分问题!
于是乎,当倒计时只剩下5小时的时候。
「通了!」
林叶兴奋地把笔拍在桌子上。
他成功构造了一个新的不等式,证明了在特定条件下,bch公式的余项衰减速度比前人预想的要快得多。
这在纯数学上是一个非常漂亮的结果,因为它揭示了非对易算子之间某种深层的和谐性。
终于,他再次从长达近25天的沉浸式