第78章 窄定理（1/2）

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

江临端著一杯热气腾腾的白开水，在满是划痕的工作檯前坐下。

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

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

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

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

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

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

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

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

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

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

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

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

太丑了。

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

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

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

但现在不一样了。

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

giant-nw-01。

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

那座遗蹟並没有开口说话，也没有直接告诉他mhd方程该怎么解。

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

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

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

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

【主方向场分解？】

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

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

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

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

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

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

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

结果就是，常数根本洗不乾净。

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

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

常数一变，最后算出来的不稳定閾值就会跟著满天飞。

这肯定不行。

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

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

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

江临闭上眼。

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

十六根巨大的金属辐条。

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

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

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

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

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

能量，凭什么一定要被粗暴地拆成几个无方向的標量再相加？

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

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

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

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

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

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

江临猛地睁开眼睛。

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

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

【各向异性能量分解（anisotropic energy decomposition）】

接著飞快地往下写。

【长向（喷流）/薄向（层裂压缩）/出流方向/扩散方向。拋弃全局各向同性，全部拆开，分別独立估计。】

……

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

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

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

下午，继续。

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

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

旧版，只有短短的一页。

新版，洋洋洒洒七页。

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

但是，江临看著那七页密密麻麻的推导，嘴角终於露出了笑意。

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

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

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

只依赖於固定的外部域。

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

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

只依赖於系统本身的lundquist数等参数。

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

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

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

非常克制地写下一句：

【第八页局部修復验证，可行。】

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

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

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

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

……

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

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

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

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

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

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

……

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

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

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

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

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

第三十五年八月底。

引理0.2全部重写完成。

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

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

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

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

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

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

【可信度：中高。】

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

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

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

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

每天只是去外面敲敲打打，甚至坐在台阶上看著远处的沙丘发呆。

第三十五年九月初。

江临拉开抽屉，重新拿起了那三十八页引理0.2。

这一次，他不再是作者，而是一个抱著挑刺心態的审稿人，逐行逐句地审。

如果推导逻辑严丝合缝，就在旁边打一个极小的 ?。

如果觉得某一步跨度太大，或者隱式用了一个没有声明的条件，就打一个 ？。

如果发现实质性错误，就打一个 x。

五天之后，三十八页草稿全部审完。

满篇的红痕。

统计结果：四十九个?。

三个？。

零个x。

看到零个x 的时候，江临长长地呼出了一口浊气。

大框架没有崩塌，这条路走通了。

剩下的三个问號，分別出现在第十九页、第二十六页和第三十三页。

第十九页的那个问號，是因为在处理耗散项时，有一个常数的来源追踪写得不够清晰，有混淆的嫌疑。

江临拿出一张白纸，从头把那个不等式重新算了一遍，补上了两行关键的过渡说明。

逻辑闭环，成立。

第二十六页的问號，是因为他在连续写了四个小时后脑子发昏，一个二阶 sobolev 嵌入的指数写得太快，少考虑了一个维度的折损。

他打开工作站，点开brezis的泛函分析教材，查对对应章节，把条件补齐。

修改通过。

第三十三页的问號，最棘手。

那是一个涉及到边界流出条件的积分项，处理方式虽然没错，但在各向异性的框架下显得极度不自然，像是在强行凑结果。

江临盯著那一页看了一下午。

最后，他放弃了直接放缩，换成了一种更底层的外部固定域延拓的写法。

结果出奇的乾净，那些討厌的边界尾巴全被切掉了。

三个红色的问號，全都被他用黑笔重重地划掉，改成了三个对勾。

第三十五年九月十六日。

引理0.2正式版，在工作站里敲制完成並生成pdf。

四十一页。

【引理0.2：局部强解提升与各向异性能量分解】

【状態：完成。】

【日期：第三十五年九月十六日。】

江临打开【narrow_theorem_draft】根目录下的 readme 文件，更新进度。

【引理0.1：有限时间弱解存在性与条件唯一性。状態：完成。】

【引理0.2：弱解到局部强解的提升；各向异性能量分解。状態：完成。】

【备註：引理0.2 中所使用的关键的各向异性估计技巧，其物理直觉极有可能直接来源於现场勘察giant-nw-01（疑似潮波监测装置）时，其顶部辐条指向云所展现的宏观几何结构。】

【这种跨领域的直觉启发来源，在现代数学体系中无法被严密证明。】

【但作为歷史事实，特此记录。】

敲完最后一行，他点击保存，关掉代码编辑器。

然后给自己倒了一杯温水，慢慢喝下。

因为他心里比谁都清楚，引理 0.1 和引理 0.2，加在一起足足六十多页的推导，说到底，都只不过是跨过这道门槛的门票。

它们证明了在这个窄模型下，解是存在且不乱跑的。

门槛跨过去了。

后面要写的，才是能决定生死存亡的窄定理核心。

第三十五年九月底，废土的气温开始断崖式下跌。

江临开始提笔撰写引理 0.3。

在最初的草案里，这个引理的旧標题雄心勃勃，叫做【有限时间奇异性（finite time singularity）】

江临在屏幕前盯著这几个字，按下退格键。

刪掉。

这个標题太大，也太傲慢了。

更重要的是，它极度危险。

在二维不可压电阻mhd方程组里，电阻扩散项本身就带著极其强大的正则化作用。

就像是一个天然的缓衝垫，隨时准备抹平那些尖锐的梯度。

在这种系统里，贸然在標题里写下强解有限时间奇异性这种字眼，等於直接把自己光著膀子推到了千禧年七大数学难题那个级別的开放性难题的悬崖边上。

他要证明的，不是整个宏大的mhd系统会在有限时间內爆炸崩溃。

他也不打算去证明真实的电流片在物理世界中，到底会完完整整地碎裂成几段，几十段小磁岛。

真实的非线性演化太复杂了，算力都不够，人力更不可能解析出来。

他要证明的，仅仅是属於他这个窄模型中极其克制的一件事。

一个经典的sweet-parker型长薄电流片（这是一种理想化的背景稳態），在满足了某个特定的门控条件后，会失去稳定性。

在它的內部，必然会存在一族被称为 tearing或plasmoid的扰动模態。

只要这些扰动模態的线性增长率，在某个有限的时间窗口內，能够跑贏背景电阻带来的耗散平滑率，这就足够了。

只要跑贏了，就意味著单一的长而平滑的电流片，在这个窄模型中不再是一个稳定主导结构。

它会给plasmoid胚胎留下增长窗口。

至於这个窗口在真实等离子体里能不能演化成完整快重联，还要看后续非线性过程、边界条件和更小尺度物理是否接管。

但作为g-index的plasmoid门，这已经足够。

江临重新敲下更加严谨的標题。

【引理0.3】

【长薄电流片背景態的 plasmoid / tearing 模態失稳】

这个標题很窄，限制条件多得像裹脚布。

但它能在严苛的数学和物理审查下，牢牢地站住脚。

为了方便推导，他把这个庞大的引理 0.3，再次大卸八块，拆成了三个子引理。

【子引理0.3.1：在特定门控条件下，存在增长率超过背景耗散率的微扰动模態。】

【子引理0.3.2：系统能量泛函在磁岛链扰动方向上失去正定性，且最不稳定模態可给出初始 plasmoid 胚胎的特徵波数。】

【子引理0.3.3：在纯电阻mhd的理论框架內，给出二级薄片厚度演化的尺度下界估计，並尝试將其与外部系统的hall特徵尺度d_i建立比较关係。】

三个子引理。

每一个，单独拿出来，都比那种动輒號称统一磁重联终极理论的宏大敘事要小得多。

小到甚至让某些理论物理同行觉得有些寒酸。

但江临认为，也正是因为它们足够小，边界足够清晰，它们才在这个充满了不確定性的废土世界里，真正有可能被人类的大脑严格证明。

第三十五年十月。

手里的数学工具箱已经准备完毕的江临，以那个二维不可压电阻mhd的长薄电流片作为绝对背景態，小心翼翼地写出了系统的线性化扰动方程。

在这里，扰动绝对不是隨便在纸上画两条波浪线那么简单。

引入的微小扰动，必须极其严格地满足系统的宏观边界条件。

必须完好无损地落在引理0.2千辛万苦给出的强解控制框架里面，不能產生数学上的越界。

更关键的是，这个扰动，必须能够被他刚刚发明的那套各向异性能量范数给稳稳地接住，而不会让积分结果发散。

江临像个极其精细的钟表匠，把扰动模態沿著活动层的主方向场进行一层一层的剥离和分解。

长向上的特徵波数。

薄向上的边界层內部结构。

磁扩散层的局部厚度演化。

作为宏观参数的无量纲lundquist数。

电流片的宏观长宽比。

至於最让人头疼的湍流，在这里被江临极其克制地限制住了。

湍流强度仅仅被允许作为一个微弱的弱扰动参数进入系统，绝对不允许它跨过閾值，进入那种直接把模型撕得粉碎的强湍流提前接管区。

这是窄定理的红线。

整个推导过程没有任何戏剧性可言，只有草稿纸上一天比一天厚重的墨跡。

六周之后。

外面的初雪已经覆盖了前哨站的台基。

江临终於从那一堆令人眼花繚乱的算子谱分析中，拔出了第一条结论。

结果显示，当那个经过极其复杂组合的简化门控量超过了某个临界閾值时，系统的线性算子谱中，必然会存在一族特徵值实部为正的扰动模態。