第三十五年七月十三日,清晨。
江临端着一杯热气腾腾的白开水,在满是划痕的工作台前坐下。
打开那个他再熟悉不过的文件夹:【Narrow_theoredraft】。
引理0.2的草稿,整整二十四页的数学公式,正安静地躺在屏幕中央。
最后一页,也就是第二十四页,大面积地空着。
那是七月一日,他决定背上行囊把自己流放到西北荒原之前,留下的最后一片空白。
当时他就是卡在这里,差点把脑子里的理智都烧干了。
不是因为某个偏微分不等式找不到放缩的技巧。
这种纯粹的数学体操,他在过去十年里已经练得滚瓜烂熟。
也不是因为在套用某个Sobolev嵌入定理时忘了验证边界条件。
真正像一根钢钉一样卡进他大脑皮层的,是物理图像。
为了让引理0.2在逻辑上闭环,他之前在第十二页强行构造了一个先验估计。
从纯粹的符号推导来看,那玩意儿勉强能写下去,公式左边能小于等于公式右边。
但江临每次看到那一页,胃里都会泛起一阵生理性的恶心。
太丑了。
那写出来的东西,就像是为了在一片沼泽地上强行盖楼,而胡乱搭起来的脚手架。
它能让你战战兢兢地踩着走过去,但它绝不是这座大厦的承重结构本身。
如果物理图像是扭曲的,那建立在这之上的数学证明,不过是一场自欺欺人的文字游戏。
但现在不一样了。
他在那片死寂的荒原上,他带回了一座巨大的金属尸骸。
GIANt-Nw-01。
带回了那座巨物顶部,十六根金属辐条在空间中形成的非完美对称的指向云。
那座遗迹并没有开口说话,也没有直接告诉他d方程该怎么解。
但它给了江临一个或许正确或许荒谬,但至少能够被放上手术台去严厉审讯的新几何直觉。
江临滑动滚轮,把草稿翻回了第十二页。
那个生硬的先验估计正明晃晃地挂在那里。
他拿起铅笔,在草稿边缘,用力写下五个字。
【主方向场分解?】
然后把页面拉回了第一页,带着那十六根金属辐条给他的全新几何视野,开始一页页重读。
每读完一页,他都会在脑子里停下来问自己三个尖锐的问题。
这一步,如果不用常规的各向同性估计去硬套,会怎么样?
这一步,如果把那个剧烈形变的活动层,不再视作一个均匀的坨状物,而是视作一个具有强烈主出流方向的几何对象,会怎么样?
这一步那些恶心的常数依赖,是不是终于可以从每次遇到不同形状的初始电流片都要重新算,转移到只需要一个统一的宏观几何上界就能锁住?
第八页有一个非常核心的能量估计。
旧版的写法简单粗暴,把磁流体能量中的对流分量和耗散分量强行拆开,分别用标准的泛函不等式去放缩估计,然后再把结果机械地加在一起。
结果就是,常数根本洗不干净。
那个放缩常数,就像是个甩不掉的幽灵,总会从某个不起眼的积分边界项里,偷偷带上初始条件的具体形状信息。
这意味着如果电流片在演化中稍微扭曲一点,活动层稍微倾斜个几度,这个常数就全变了。
常数一变,最后算出来的不稳定阈值就会跟着满天飞。
这肯定不行。
窄定理之所以叫窄定理,是因为它的适用边界窄。
但边界再窄,定理的内在逻辑也必须是铁板一块。
不能搞成一案一议的狗皮膏药。
江临闭上眼。
那座矗立在灰蓝色天空下的西北巨物,顶部的环形结构,在黑暗的视野里清晰地浮现出来。
十六根巨大的金属辐条。
它们并不是为了平均受力而设计的严格等角分布。
也不是在爆炸中被炸飞的随机发散。
每一根辐条都有自己独特的微小偏角,但把它们作为一个整体时,它们却义无反顾地指向了天空中的同一个主方向。
那个图像依然没有直接给他偏微分方程的解。
但它像一道劈开混沌的闪电,提醒了江临一件极其本质的物理事实。
能量,凭什么一定要被粗暴地拆成几个无方向的标量再相加?
流体是有方向的,磁场也是有方向的。
为什么不能顺着系统的主方向场去进行投影分解?
在电流片的剧烈重联中,那个等离子体高速喷射的主出流方向,就像是巨物辐条云的那根核心主轴。
而横向的,相对缓慢的磁扩散方向,就像是围绕着主轴展开的那些细微偏角分量。
不同方向上的能量传递和耗散机制,简直是天壤之别。
它们凭什么要被同一个各向同性的 Sobolev常数强行压在同一个模子里?
江临猛地睁开眼睛。
眼底布满血丝,但亮得惊人。
他扯过一张崭新的A4草稿纸。
【各向异性能量分解(Anisotropic Energy deposition)】
接着飞快地往下写。
【长向(喷流)/薄向(层裂压缩)/出流方向/扩散方向。抛弃全局各向同性,全部拆开,分别独立估计。】
……
这一写,就是整整四个小时。
中午,他煮了一锅黄豆土豆,撒了一点盐。
吃饭的时候,他的眼睛盯着墙壁,脑子里算力全开,那条新构建的各向异性估计链像瀑布一样在他眼前疯狂冲刷。
下午,继续。
推翻,重算,遇到奇异积分,查资料,找新的权重函数,再算。
一直到傍晚六点,外面的天色重新暗淡下来,新版的第八页才终于写完。
旧版,只有短短的一页。
新版,洋洋洒洒七页。
推导过程变得更长,甚至在某些步骤上,显得繁琐和笨拙。
但是,江临看着那七页密密麻麻的推导,嘴角终于露出了笑意。
因为每一个常数,现在都干净得像蒸馏过。
每一个嵌入定理的使用,都在旁边清清楚楚地写明了对区域形状的具体要求。
每一次不等式放缩,都像给零件打钢印一样,精准地标注了依赖项。
只依赖于固定的外部域。
只依赖于活动层长宽比的宏观上界。
只依赖于统一的初值能量上限。
只依赖于系统本身的Lundquist数等参数。
只依赖于宏观的边界条件。
那个具体样本细节形状的幽灵,终于被他彻底斩断,从这七页纸里被永远地驱逐了出去。
他从头到尾,逐字逐句地读了一遍这七页新稿。
非常克制地写下一句:
【第八页局部修复验证,可行。】
数学证明是一台极其严密的齿轮组,前面第八页的常数体系一变,后面所有依赖这条估计链的步骤,就像多米诺骨牌一样,全部都要推倒重写。
第三十五年七月十四日,江临开始攻坚第九页。
七月十五日,死磕第十页。
七月十六日,强推第十一页。
……
每一页都要打碎了重新写,每走一步,他都要停下来,像个神经质一样反复质问自己。
这个所谓的主方向场,在当前的非线性对流项里,具体对应的代数结构到底是什么?
那个横向扩散的偏角,在Sobolev空间里应该怎么用数学语言严密定义?
权重函数该怎么选,才能既压住奇异性,又不破坏边界的正则性?
这套各向异性范数,在算到最高阶导数的时候,到底能不能闭合?
那些讨厌的边界项,会不会从那个越来越薄的薄向里钻出来,反咬一口把常数搞炸?
……
江临每天雷打不动地坐在书桌前,高强度工作六到八个小时。
剩下的时间,他必须强迫自己停下来,去维护设备,去喝水,去睡觉。
五十三岁的身体,如果一天敢坐十个小时,第二天颈椎和腰椎就会当场罢工。
整个八月,石屋外偶尔会刮起恐怖的沙尘暴,天空被染成暗红色。
但石屋内的江临,仿佛与世隔绝,只有纸笔摩擦的声音在对抗着外界的狂暴。
第三十五年八月底。
引理0.2全部重写完成。
新版草稿,一共三十八页。
比旧版的二十四页,足足多出了十四页。
但江临把这三十八页拿在手里,感觉到的不是冗长,而是顺畅。
旧版的证明,像是一个为了糊弄审查而硬搭起来的丑陋脚手架。
新版的证明,虽然繁复,但当你透过那些密密麻麻的各向异性指标看进去时,你能清晰地看见一条强有力的物理主梁贯穿始终。
江临快速通读第一遍,在最后一页的底部,写下——
【可信度:中高。】
【需进行脱离上下文的独立审阅。】
写完,他把这叠厚厚的草稿用夹子夹好,直接塞进了抽屉的最底端。
然后,整整一周时间,他不看,不改。不碰。
连脑子里都不去想那些公式。
江临端着一杯热气腾腾的白开水,在满是划痕的工作台前坐下。
打开那个他再熟悉不过的文件夹:【Narrow_theoredraft】。
引理0.2的草稿,整整二十四页的数学公式,正安静地躺在屏幕中央。
最后一页,也就是第二十四页,大面积地空着。
那是七月一日,他决定背上行囊把自己流放到西北荒原之前,留下的最后一片空白。
当时他就是卡在这里,差点把脑子里的理智都烧干了。
不是因为某个偏微分不等式找不到放缩的技巧。
这种纯粹的数学体操,他在过去十年里已经练得滚瓜烂熟。
也不是因为在套用某个Sobolev嵌入定理时忘了验证边界条件。
真正像一根钢钉一样卡进他大脑皮层的,是物理图像。
为了让引理0.2在逻辑上闭环,他之前在第十二页强行构造了一个先验估计。
从纯粹的符号推导来看,那玩意儿勉强能写下去,公式左边能小于等于公式右边。
但江临每次看到那一页,胃里都会泛起一阵生理性的恶心。
太丑了。
那写出来的东西,就像是为了在一片沼泽地上强行盖楼,而胡乱搭起来的脚手架。
它能让你战战兢兢地踩着走过去,但它绝不是这座大厦的承重结构本身。
如果物理图像是扭曲的,那建立在这之上的数学证明,不过是一场自欺欺人的文字游戏。
但现在不一样了。
他在那片死寂的荒原上,他带回了一座巨大的金属尸骸。
GIANt-Nw-01。
带回了那座巨物顶部,十六根金属辐条在空间中形成的非完美对称的指向云。
那座遗迹并没有开口说话,也没有直接告诉他d方程该怎么解。
但它给了江临一个或许正确或许荒谬,但至少能够被放上手术台去严厉审讯的新几何直觉。
江临滑动滚轮,把草稿翻回了第十二页。
那个生硬的先验估计正明晃晃地挂在那里。
他拿起铅笔,在草稿边缘,用力写下五个字。
【主方向场分解?】
然后把页面拉回了第一页,带着那十六根金属辐条给他的全新几何视野,开始一页页重读。
每读完一页,他都会在脑子里停下来问自己三个尖锐的问题。
这一步,如果不用常规的各向同性估计去硬套,会怎么样?
这一步,如果把那个剧烈形变的活动层,不再视作一个均匀的坨状物,而是视作一个具有强烈主出流方向的几何对象,会怎么样?
这一步那些恶心的常数依赖,是不是终于可以从每次遇到不同形状的初始电流片都要重新算,转移到只需要一个统一的宏观几何上界就能锁住?
第八页有一个非常核心的能量估计。
旧版的写法简单粗暴,把磁流体能量中的对流分量和耗散分量强行拆开,分别用标准的泛函不等式去放缩估计,然后再把结果机械地加在一起。
结果就是,常数根本洗不干净。
那个放缩常数,就像是个甩不掉的幽灵,总会从某个不起眼的积分边界项里,偷偷带上初始条件的具体形状信息。
这意味着如果电流片在演化中稍微扭曲一点,活动层稍微倾斜个几度,这个常数就全变了。
常数一变,最后算出来的不稳定阈值就会跟着满天飞。
这肯定不行。
窄定理之所以叫窄定理,是因为它的适用边界窄。
但边界再窄,定理的内在逻辑也必须是铁板一块。
不能搞成一案一议的狗皮膏药。
江临闭上眼。
那座矗立在灰蓝色天空下的西北巨物,顶部的环形结构,在黑暗的视野里清晰地浮现出来。
十六根巨大的金属辐条。
它们并不是为了平均受力而设计的严格等角分布。
也不是在爆炸中被炸飞的随机发散。
每一根辐条都有自己独特的微小偏角,但把它们作为一个整体时,它们却义无反顾地指向了天空中的同一个主方向。
那个图像依然没有直接给他偏微分方程的解。
但它像一道劈开混沌的闪电,提醒了江临一件极其本质的物理事实。
能量,凭什么一定要被粗暴地拆成几个无方向的标量再相加?
流体是有方向的,磁场也是有方向的。
为什么不能顺着系统的主方向场去进行投影分解?
在电流片的剧烈重联中,那个等离子体高速喷射的主出流方向,就像是巨物辐条云的那根核心主轴。
而横向的,相对缓慢的磁扩散方向,就像是围绕着主轴展开的那些细微偏角分量。
不同方向上的能量传递和耗散机制,简直是天壤之别。
它们凭什么要被同一个各向同性的 Sobolev常数强行压在同一个模子里?
江临猛地睁开眼睛。
眼底布满血丝,但亮得惊人。
他扯过一张崭新的A4草稿纸。
【各向异性能量分解(Anisotropic Energy deposition)】
接着飞快地往下写。
【长向(喷流)/薄向(层裂压缩)/出流方向/扩散方向。抛弃全局各向同性,全部拆开,分别独立估计。】
……
这一写,就是整整四个小时。
中午,他煮了一锅黄豆土豆,撒了一点盐。
吃饭的时候,他的眼睛盯着墙壁,脑子里算力全开,那条新构建的各向异性估计链像瀑布一样在他眼前疯狂冲刷。
下午,继续。
推翻,重算,遇到奇异积分,查资料,找新的权重函数,再算。
一直到傍晚六点,外面的天色重新暗淡下来,新版的第八页才终于写完。
旧版,只有短短的一页。
新版,洋洋洒洒七页。
推导过程变得更长,甚至在某些步骤上,显得繁琐和笨拙。
但是,江临看着那七页密密麻麻的推导,嘴角终于露出了笑意。
因为每一个常数,现在都干净得像蒸馏过。
每一个嵌入定理的使用,都在旁边清清楚楚地写明了对区域形状的具体要求。
每一次不等式放缩,都像给零件打钢印一样,精准地标注了依赖项。
只依赖于固定的外部域。
只依赖于活动层长宽比的宏观上界。
只依赖于统一的初值能量上限。
只依赖于系统本身的Lundquist数等参数。
只依赖于宏观的边界条件。
那个具体样本细节形状的幽灵,终于被他彻底斩断,从这七页纸里被永远地驱逐了出去。
他从头到尾,逐字逐句地读了一遍这七页新稿。
非常克制地写下一句:
【第八页局部修复验证,可行。】
数学证明是一台极其严密的齿轮组,前面第八页的常数体系一变,后面所有依赖这条估计链的步骤,就像多米诺骨牌一样,全部都要推倒重写。
第三十五年七月十四日,江临开始攻坚第九页。
七月十五日,死磕第十页。
七月十六日,强推第十一页。
……
每一页都要打碎了重新写,每走一步,他都要停下来,像个神经质一样反复质问自己。
这个所谓的主方向场,在当前的非线性对流项里,具体对应的代数结构到底是什么?
那个横向扩散的偏角,在Sobolev空间里应该怎么用数学语言严密定义?
权重函数该怎么选,才能既压住奇异性,又不破坏边界的正则性?
这套各向异性范数,在算到最高阶导数的时候,到底能不能闭合?
那些讨厌的边界项,会不会从那个越来越薄的薄向里钻出来,反咬一口把常数搞炸?
……
江临每天雷打不动地坐在书桌前,高强度工作六到八个小时。
剩下的时间,他必须强迫自己停下来,去维护设备,去喝水,去睡觉。
五十三岁的身体,如果一天敢坐十个小时,第二天颈椎和腰椎就会当场罢工。
整个八月,石屋外偶尔会刮起恐怖的沙尘暴,天空被染成暗红色。
但石屋内的江临,仿佛与世隔绝,只有纸笔摩擦的声音在对抗着外界的狂暴。
第三十五年八月底。
引理0.2全部重写完成。
新版草稿,一共三十八页。
比旧版的二十四页,足足多出了十四页。
但江临把这三十八页拿在手里,感觉到的不是冗长,而是顺畅。
旧版的证明,像是一个为了糊弄审查而硬搭起来的丑陋脚手架。
新版的证明,虽然繁复,但当你透过那些密密麻麻的各向异性指标看进去时,你能清晰地看见一条强有力的物理主梁贯穿始终。
江临快速通读第一遍,在最后一页的底部,写下——
【可信度:中高。】
【需进行脱离上下文的独立审阅。】
写完,他把这叠厚厚的草稿用夹子夹好,直接塞进了抽屉的最底端。
然后,整整一周时间,他不看,不改。不碰。
连脑子里都不去想那些公式。