第三十五年七月十三日,清晨。

    江临端着一杯热气腾腾的白开水,在满是划痕的工作台前坐下。

    打开那个他再熟悉不过的文件夹:【Narrow_theoredraft】。

    引理0.2的草稿,整整二十四页的数学公式,正安静地躺在屏幕中央。

    最后一页,也就是第二十四页,大面积地空着。

    那是七月一日,他决定背上行囊把自己流放到西北荒原之前,留下的最后一片空白。

    当时他就是卡在这里,差点把脑子里的理智都烧干了。

    不是因为某个偏微分不等式找不到放缩的技巧。

    这种纯粹的数学体操,他在过去十年里已经练得滚瓜烂熟。

    也不是因为在套用某个Sobolev嵌入定理时忘了验证边界条件。

    真正像一根钢钉一样卡进他大脑皮层的,是物理图像。

    为了让引理0.2在逻辑上闭环,他之前在第十二页强行构造了一个先验估计。

    从纯粹的符号推导来看,那玩意儿勉强能写下去,公式左边能小于等于公式右边。

    但江临每次看到那一页,胃里都会泛起一阵生理性的恶心。

    太丑了。

    那写出来的东西,就像是为了在一片沼泽地上强行盖楼,而胡乱搭起来的脚手架。

    它能让你战战兢兢地踩着走过去,但它绝不是这座大厦的承重结构本身。

    如果物理图像是扭曲的,那建立在这之上的数学证明,不过是一场自欺欺人的文字游戏。

    但现在不一样了。

    他在那片死寂的荒原上,他带回了一座巨大的金属尸骸。

    GIANt-Nw-01。

    带回了那座巨物顶部,十六根金属辐条在空间中形成的非完美对称的指向云。

    那座遗迹并没有开口说话,也没有直接告诉他d方程该怎么解。

    但它给了江临一个或许正确或许荒谬,但至少能够被放上手术台去严厉审讯的新几何直觉。

    江临滑动滚轮,把草稿翻回了第十二页。

    那个生硬的先验估计正明晃晃地挂在那里。

    他拿起铅笔,在草稿边缘,用力写下五个字。

    【主方向场分解?】

    然后把页面拉回了第一页,带着那十六根金属辐条给他的全新几何视野,开始一页页重读。

    每读完一页,他都会在脑子里停下来问自己三个尖锐的问题。

    这一步,如果不用常规的各向同性估计去硬套,会怎么样?

    这一步,如果把那个剧烈形变的活动层,不再视作一个均匀的坨状物,而是视作一个具有强烈主出流方向的几何对象,会怎么样?

    这一步那些恶心的常数依赖,是不是终于可以从每次遇到不同形状的初始电流片都要重新算,转移到只需要一个统一的宏观几何上界就能锁住?

    第八页有一个非常核心的能量估计。

    旧版的写法简单粗暴,把磁流体能量中的对流分量和耗散分量强行拆开,分别用标准的泛函不等式去放缩估计,然后再把结果机械地加在一起。

    结果就是,常数根本洗不干净。

    那个放缩常数,就像是个甩不掉的幽灵,总会从某个不起眼的积分边界项里,偷偷带上初始条件的具体形状信息。

    这意味着如果电流片在演化中稍微扭曲一点,活动层稍微倾斜个几度,这个常数就全变了。

    常数一变,最后算出来的不稳定阈值就会跟着满天飞。

    这肯定不行。

    窄定理之所以叫窄定理,是因为它的适用边界窄。

    但边界再窄,定理的内在逻辑也必须是铁板一块。

    不能搞成一案一议的狗皮膏药。

    江临闭上眼。

    那座矗立在灰蓝色天空下的西北巨物,顶部的环形结构,在黑暗的视野里清晰地浮现出来。

    十六根巨大的金属辐条。

    它们并不是为了平均受力而设计的严格等角分布。

    也不是在爆炸中被炸飞的随机发散。

    每一根辐条都有自己独特的微小偏角,但把它们作为一个整体时,它们却义无反顾地指向了天空中的同一个主方向。

    那个图像依然没有直接给他偏微分方程的解。

    但它像一道劈开混沌的闪电,提醒了江临一件极其本质的物理事实。

    能量,凭什么一定要被粗暴地拆成几个无方向的标量再相加?

    流体是有方向的,磁场也是有方向的。

    为什么不能顺着系统的主方向场去进行投影分解?

    在电流片的剧烈重联中,那个等离子体高速喷射的主出流方向,就像是巨物辐条云的那根核心主轴。

    而横向的,相对缓慢的磁扩散方向,就像是围绕着主轴展开的那些细微偏角分量。

    不同方向上的能量传递和耗散机制,简直是天壤之别。

    它们凭什么要被同一个各向同性的 Sobolev常数强行压在同一个模子里?

    江临猛地睁开眼睛。

    眼底布满血丝,但亮得惊人。

    他扯过一张崭新的A4草稿纸。

    【各向异性能量分解(Anisotropic Energy deposition)】

    接着飞快地往下写。

    【长向(喷流)/薄向(层裂压缩)/出流方向/扩散方向。抛弃全局各向同性,全部拆开,分别独立估计。】

    ……

    这一写,就是整整四个小时。

    中午,他煮了一锅黄豆土豆,撒了一点盐。

    吃饭的时候,他的眼睛盯着墙壁,脑子里算力全开,那条新构建的各向异性估计链像瀑布一样在他眼前疯狂冲刷。

    下午,继续。

    推翻,重算,遇到奇异积分,查资料,找新的权重函数,再算。

    一直到傍晚六点,外面的天色重新暗淡下来,新版的第八页才终于写完。

    旧版,只有短短的一页。

    新版,洋洋洒洒七页。

    推导过程变得更长,甚至在某些步骤上,显得繁琐和笨拙。

    但是,江临看着那七页密密麻麻的推导,嘴角终于露出了笑意。

    因为每一个常数,现在都干净得像蒸馏过。

    每一个嵌入定理的使用,都在旁边清清楚楚地写明了对区域形状的具体要求。

    每一次不等式放缩,都像给零件打钢印一样,精准地标注了依赖项。

    只依赖于固定的外部域。

    只依赖于活动层长宽比的宏观上界。

    只依赖于统一的初值能量上限。

    只依赖于系统本身的Lundquist数等参数。

    只依赖于宏观的边界条件。

    那个具体样本细节形状的幽灵,终于被他彻底斩断,从这七页纸里被永远地驱逐了出去。

    他从头到尾,逐字逐句地读了一遍这七页新稿。

    非常克制地写下一句:

    【第八页局部修复验证,可行。】

    数学证明是一台极其严密的齿轮组,前面第八页的常数体系一变,后面所有依赖这条估计链的步骤,就像多米诺骨牌一样,全部都要推倒重写。

    第三十五年七月十四日,江临开始攻坚第九页。

    七月十五日,死磕第十页。

    七月十六日,强推第十一页。

    ……

    每一页都要打碎了重新写,每走一步,他都要停下来,像个神经质一样反复质问自己。

    这个所谓的主方向场,在当前的非线性对流项里,具体对应的代数结构到底是什么?

    那个横向扩散的偏角,在Sobolev空间里应该怎么用数学语言严密定义?

    权重函数该怎么选,才能既压住奇异性,又不破坏边界的正则性?

    这套各向异性范数,在算到最高阶导数的时候,到底能不能闭合?

    那些讨厌的边界项,会不会从那个越来越薄的薄向里钻出来,反咬一口把常数搞炸?

    ……

    江临每天雷打不动地坐在书桌前,高强度工作六到八个小时。

    剩下的时间,他必须强迫自己停下来,去维护设备,去喝水,去睡觉。

    五十三岁的身体,如果一天敢坐十个小时,第二天颈椎和腰椎就会当场罢工。

    整个八月,石屋外偶尔会刮起恐怖的沙尘暴,天空被染成暗红色。

    但石屋内的江临,仿佛与世隔绝,只有纸笔摩擦的声音在对抗着外界的狂暴。

    第三十五年八月底。

    引理0.2全部重写完成。

    新版草稿,一共三十八页。

    比旧版的二十四页,足足多出了十四页。

    但江临把这三十八页拿在手里,感觉到的不是冗长,而是顺畅。

    旧版的证明,像是一个为了糊弄审查而硬搭起来的丑陋脚手架。

    新版的证明,虽然繁复,但当你透过那些密密麻麻的各向异性指标看进去时,你能清晰地看见一条强有力的物理主梁贯穿始终。

    江临快速通读第一遍,在最后一页的底部,写下——

    【可信度:中高。】

    【需进行脱离上下文的独立审阅。】

    写完,他把这叠厚厚的草稿用夹子夹好,直接塞进了抽屉的最底端。

    然后,整整一周时间,他不看,不改。不碰。

    连脑子里都不去想那些公式。

本章未完,请点击下一页继续阅读>>

章节目录