「我先用了勒贝格控制收敛定理,想把极限换到积分号里面去,结果边界条件不满足,然後我就开始硬放缩,用伊普西龙-德尔塔语言去卡它的上下界,但这个高阶误差项根本收敛不了,写了大半页不等式,完犊子了。」
陈拙接过草稿纸。
纸上全是各种带有绝对值的不等式和嵌套的积分符号。
王大勇的基础很紮实,分析学的每一步推导都严丝合缝,但正是因为太正统,反而陷进了一张无穷无尽的连续性大网里。陈拙只看了几眼,就把草稿纸放到了一边,视线落回到原题上。
他没有去拿笔帮王大勇改写那些不等式,而是用手指轻轻点了点题目里的那个被积函数。
「你为什麽非要把它当成一个连续的体积去求积分?」
陈拙的声音很平和。
王大勇愣了一下。
「这不是积分域吗?它本来就是一个连续的流形空间啊。」
「表面上看是这样。」
陈拙指着函数後面的那一串对称的约束条件。
「但你看它的边界,在这个特定的高维空间里,这个积分的本质并不是在求平滑的体积。」陈拙拿过一支笔,在空白的地方画了几个点,然後用直线把它们连了起来,形成了一个简单的网格。「不要去算连续的积分,太绕了。」
陈拙一边画一边说。
「你把它所描述的这个空间,直接映射成一个离散的格点模型,那些复杂的约束条件,其实就是这个图论模型里顶点之间的连通关系。」王大勇凑了过来,看着那几个点,眉头依然微微皱着。
「把它变成离散的之後呢?」
「写它的邻接矩阵。」
陈拙在网格旁边写下了一个简单的代数矩阵符号。
「一旦你构建出这个矩阵,原来那个让人头疼的高维积分渐近值,在数学意义上,就完全等价於这个矩阵的n次方的迹。」王大勇的眼睛猛地睁大了一圈。
「求矩阵n次方的迹...…」
王大勇喃喃自语,大脑开始飞速运转。
「等於求所有特徵值的n次方之和 .当n趋近於无穷大的时候,也就是求这个渐近极限,其他的特徵值都可以忽路,最後的结果只取决於那个最大的主特徵值!」
原本需要大半页纸去痛苦放缩,用无数个无穷小量去逼近的分析学难题,在这一刻,变成了一个只要求解线性代数特徵值的计算。连约分和求极限的过程都省了。
本章未完,请点击下一页继续阅读!