下来的才是主菜。
主屏上方切出了新标题:非紧流形上凝聚度泛函的正则性。
下方列着三个小节:
一、局部凝聚态与Sobolev嵌入。
二、退化纤维层收缩与Bootstrap临界指数间隙。
三、非紧无穷远处的边界控制。
林允宁放下翻页笔,转身走到旁边那块崭新的移动黑板前,拈起一支粉笔。
他用拇指蹭了蹭粉笔末端,直接落笔。
“第一阶段,”粉笔在黑板左上角敲出一声轻响,“局部凝聚态的存在性,和Sobolev嵌入的充分条件。”
他手腕没停,利落地写下三行式子:非紧流形M上的凝聚度泛函局部表达、Sobolev空间嵌入的指数条件,以及代入非紧衰减因子后的修正不等式。
整个过程不到半分钟。
“这一段,七月中旬我已经和普林斯顿的同僚们用信件核对过四轮。”
林允宁粉笔尖一点,“嵌入充分性在p>n/2区间内直接成立,技术上没问题,今天时间有限,就不展开了。”
费弗曼依然双臂交叠,膝盖上的便签本和派克钢笔原封未动。
不过听到“四轮信件”时,他的下颌微微细了一下。
旁边的陶哲轩恰好抬起头,视线在费弗曼和黑板之间打了个转,随即将笔尖重新落回了笔记本上。
林允宁挪向黑板中央:“第二阶段,退化纤维层的收缩估计与Bootstrap临界指数间隙。
这次他写得很慢,每写两行就停顿一下,留出时间让台下消化。
这一段包含三个关键不等式。
写第一个时,他直接把Bootstrap参数k的取值区间,推到了闭区间[ko,k1]的上半边。没有任何解释,直接作为已知前提列在首行。
陶哲轩停下笔,盯着那个区间看了片刻,在心里快速验算了一遍。
接着,他在新一页的顶端画了个向右的箭头,并在旁边批注:“已验证”。
写完第二个不等式,粉笔停住了。
“这里有一条引理,”林允宁说,“之前的预印本和答辩稿里都没提过。”
前排的舒尔茨默默把A4纸往跟前拽了拽。
林允宁加快了板书速度,迅速列出引理陈述和证明提纲:在退化纤维的收缩估计中,Bootstrap的关键指数间隙,其实是由一个仅依赖流形第二基本形式迹的几何量(M)的上界来控制的。
他在一旁的括号里随手写下了「(M)的定义。
孔涅悬着笔停顿了片刻,抄下这个新定义的符号,并在下方用非交换几何的语言补充了自己的猜想。
这很像他十几年前研究过的一种算子迹限制。
威腾的目光也锁死在了引理的上界估计上。
而一直抱臂端坐的费弗曼,虽然姿势没变,左手的两根手指已经搭在了便签本边缘。
林允宁写下第二阶段的收尾:合并前两个不等式,得出一个覆盖整个指数间隙上半区的紧致估计,顺势推导出下一阶段的边界衰减条件。
写完后,他拿起板擦抹掉了左上角的第一阶段板书。
黑板擦摩擦的沙沙声在寂静的会场里格外清晰。
“第二阶段到这里。”他重新捏起粉笔,挪向黑板中央,“第三阶段,非紧流形无穷远处的边界控制。”
听到这句,费弗曼搭在纸边的手指微微扣紧。
这才是重头戏。
早在七月份的通信中,费弗曼就把前两阶段拆解透了。
真正的难点在于这最后的边界衰减一致性控制。
非紧流形在无穷远处的退化行为,并不能自动保证泛函在边界上可控。
如果给不出一致的衰减率,正则性估计就无法闭环。
在这个问题上,至今没人能拿出一个完整的跨越方案。
林允宁起笔,先写下了一个“穷竭序列”(Exhaustion Sequence)的定义,给出一族嵌套且带有光滑边界的紧致子集,接着在子集上定义了一族截断泛函。
前两步都是常规操作。
关键在第三步:他引入了一个全新的“退化率函数”p(x,r),不仅逐点估计了泛函的差值,还给出了递减速率的一致上界。
这个上界的常数项,刚好能被第二阶段定义的「(M)整除。
当这个相容性被浓缩成一个极简的不等式列在黑板上时,舒尔茨一把抓起了桌上的A4纸,手悬在半空,目光却牢牢钉在黑板上。
林允宁继续往下推。
最后一步,是将一致上界代入序列,证明截断泛函在有效函数空间范数下收敛,并利用穷竭序列的性质将局部估计拼接起来。
解决“拼接”这个核心难点的,并不是什么复杂的新技术,而是黎曼几何里一个很古老的几何量。
他把其中第二基本形式的做了现代化改写,硬是套进了非紧情形里。
粉笔离开黑板。
那一瞬间,坐在正中央端了近一个小时的费弗曼松开了交叠的双臂,拔开那支派克钢笔,在空白处写下了一行字。
林允宁背对观众写下边界控制一致收敛的最后一行式子,正则性估计在非紧流形上的逻辑闭环正式合拢。
粉笔重重点下两点,画上句号。
这一刻,前排的几位学者几乎动作一致:孔涅放下笔,陶哲轩合上笔记本,舒尔茨把A4纸平铺回桌面,威滕也搁下了钢笔。
费弗曼恰好写完那行字。
他没盖笔帽,由着钢笔斜压在字迹旁,双手自然地搭回腿上,紧绷的脊背彻底松懈下来。
\/阅|读|模|式|内|容|加|载|不|完|整|，退出可阅读完整内容|点|击|屏|幕|中|间可|退|出|阅-读|模|式|.
『加入书签，方便阅读』
-->> 本章未完，点击下一页继续阅读(第2页/共5页)