这个学霸疑似巨额知识来源不明 第78章 窄定理

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

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

打开那个他再熟悉不过的文件夹：【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数。

电流片的宏观长宽比。

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

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

这是窄定理的红线。

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

六周之后。

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

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

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

而且，这族模態的增长率，实打实地超过了背景电阻的扩散耗散率。

虽然这在数学上绝不等於系统此时已经发生了宏观的碎裂。

但这已经无可辩驳地说明了一个物理事实。

那个教科书里单一的sweet-parker型长片態，已经病入膏肓，不再稳定了。

子引理0.3.1，完成。

正式稿，二十九页。

这二十九页没有解决磁重联，甚至没有真正写出一颗plasmoid。

但它把一件过去只能用物理直觉描述的事，第一次钉进了线性算子的谱里。

在这之前，长电流片会撑不住只是图像，是数值模擬里的图，是综述论文里的箭头。

是教科书上那句轻飘飘的在高 lundquist数下可能发生plasmoid instability。

而现在，在他自己的窄模型里，这句话变成了一个可以被审查的数学判断。

存在一族扰动模，增长率超过耗散率，sweet-parker型单片態失去线性稳定性。

这就是第一枚楔子。

它还不能撬开整座山，但它已经楔进去了。

第三十五年十二月。

江临迎来了整座窄定理长城中最难啃的一块硬骨头。

子引理0.3.2。

之所以说它最难，是因为它要求江临把对系统的判断，从之前子引理0.3.1那种纯粹的特徵值增长率的代数判断，向前推进一大步，推进到一个在物理图像上，必须非常接近真实plasmoid的三维拓扑结构的东西。

但他又必须极度克制。

绝对不能在证明里写下由此严格证明电流片必然碎成n个具体的短片段这种蠢话。

因为只要懂点等离子体物理的人都知道，真实的拓扑变化，涉及到极其惨烈的非线性演化，复杂的边界反射反馈，网格计算带来的数值耗散，甚至是到了微观尺度后 hall效应或全动理学效应的强制接管。

江临现在手里的这个被阉割过无数次的窄模型，根本没有资格，也没有肚子去吃下这么庞大的物理过程。

他要证明的，是隱藏在更深处也更窄的东西。

在那个临界的门控条件下，系统整体的能量泛函的二阶变分，会在某一族特定的磁岛链扰动方向上，彻底失去它的正定性。

泛函失去正定性，出现负方向。

在物理上就意味著只要系统沿著这些特定的负方向去扰动，系统的总能量不仅不会增加阻力，反而会顺势下降。

这些负方向，就是那些即將诞生的 plasmoid的初始胚胎。

而这群胚胎中，那个能量下降最快最不稳定的模態，就能反向给出初始磁岛链的典型特徵波数。

第一遍尝试，江临天真地选择了直接构造法。

他试图在纸上，硬生生地把一个长电流片的解，分段拼接成多个短片段的解，然后去证明这种拼接状態的能量更低。

结果成就了一场数学上的灾难。

他日以继夜地写了五十多页的草稿，试图用各种光滑截断函数去缝合那些断点。

不料那些拼接处根本无法同时满足苛刻的物理边界条件。

如果强行用数学技巧把它们弄连续了，系统能量在拼接点处就会出现非物理的巨大跳变，直接把误差带爆。

如果不弄连续，那这就不是偏微分方程的弱解，之前引理0.1和0.2的前提全盘作废。

五十多页，接近一个月的心血，全部报废。

江临没有感到可惜，更没有沮丧。

在废土上活了一百多年，他早就明白了一个道理，在未知的荒野里，一条走不通的路被死死封上，是一件大好事。

因为它至少用铁一样的逻辑告诉你，別在这条路上浪费生命了。

时间来到第三十六年一月，废土进入最严酷的深冬。

江临开始了第二遍衝锋。

既然直接构造走不通，那就换思路，改用反证法加上能量泛函临界点分析。

如果那个单一的长片態仍然是稳定的，那么系统的能量泛函，在所有被物理允许的微小扰动方向上，它的二阶变分都应该老老实实地保持大於零的正定性。

这就像是一个小球安稳地停在碗底，不管往哪个方向推，都会遇到向上的阻力。

但是，根据之前子引理0.3.1的结论，在触发了门控条件后，系统的线性化扰动谱中，实打实地出现了一族增长模態。

而这族增长模態对应的扰动方向场，必然会使得能量泛函的二阶变分计算出现负值。

如此一来，反证成立。

单片態绝对不再是局部的能量极小结构。它就像是一个停在马鞍面上的球，只要沿著某些特定的扰动方向稍微一推，它就不再拥有局部稳定结构。

至於后续会滑向哪一种非线性形態，不属於这个引理能够回答的问题。

二月。

江临忍著严寒，用冻得有些僵硬的手，一层层剥开二阶变分的复杂积分项。

三月。

春风还没吹到废土，他已经一头扎进了极其晦涩的局部谱估计中。

四月初。

第二遍的草稿终於宣告完成。

整整六十七页。

比之前失败的尝试还要厚。

就在他以为终於可以鬆一口气，开始交叉审稿的时候，冷汗突然顺著他的脊背流了下来。

在第五十二页，他发现了一个隱患。

为了控制某个高频振盪项，他在放缩时顺手借用了一个全局谱半径估计的定理。

在无界全空间里，这个估计当然没问题。

但是，在这个狭窄的电流片模型里，在某些特定的宏观边界条件下，这个全局估计根本就不成立。

算子在边界附近会產生强烈的回波反射，直接把谱半径给撑爆。

改。

不能要求全局成立。

那是自寻死路。

改成局部谱估计。

这套证明不需要在整个相空间里都无懈可击。

只要要求它在那个发生失稳的临界態邻域內部，在有限的时间窗口內成立，就足够了。

对於他那极度克制的窄定理来说，这种局部成立，已经足够完成逻辑闭环。

第五十二页被他无情拋弃。

局部的加权范数被引入，错误的源头被死死摁住。

剩下的六个带有疑问的放缩点，也在接下来的一周內，被他用各种数学技巧逐一澄清击破。

第三十六年四月中旬，子引理0.3.2，艰难完成。

江临点开那个仿佛有千斤重的 readme 文档，极其郑重地敲下。

【子引理0.3.2：能量泛函在磁岛链扰动方向上的非正定性，以及最不稳定模態的確定。状態：完成。】

【高度注意：该引理在数学上绝对没有证明完整的非线性拓扑重构过程。它仅仅只是证明了，系统在初始plasmoid胚胎方向上发生了不可逆的失稳。】

江临特意把高度注意这几个字加粗，甚至恨不得把它们標红。

但在这行警告下面，他又单独写了一行。

【这是窄定理的脊樑。】

因为他自己知道，这一步到底有多重。

子引理0.3.1只告诉他，有东西在长。

可有东西在长，並不等於它会长成 plasmoid。

可能是边界振盪，可能是数值偽影，可能是一个漂亮但没有物理指向的谱不稳定。

子引理0.3.2不同。

它把那个增长模態，压进了能量泛函的几何结构里。

负方向不是隨便一个方向，是磁岛链扰动方向。

最不稳定模態不是一个抽象特徵值，它对应初始 plasmoid 胚胎的特徵波数。

这意味著，江临第一次在自己的推导里，看见了那条从慢模型失稳通往快重联入口的具体几何通道。

很窄，很苛刻。

但它不是幻觉。

第三十六年四月底。

江临没有停歇，立刻转入了最后一个战役。

子引理0.3.3。

目標：对系统层裂后產生的二级薄片的尺度，进行下界估计。

这一步的定位非常微妙。

它不是去证明什么高大上的hall物理效应。

因为在纯粹的单流体电阻mhd框架下，系统里根本就没有包含正负电荷分离的机制，物理上绝对推导不出 hall 效应。那个大名鼎鼎的d_i，是一个实打实的外部尺度。

它属於更底层的hall-mhd模型，或者是全动理学框架才能处理的东西。

江临的窄定理，只能在这个被阉割的纯电阻mhd世界里，利用能量守恆和几何约束，去估算一下那个不断被挤压层裂的二级薄片，它最薄最薄，到底可能会落到哪个微观尺度区间？

估算出来之后，再把这个纯数学推导出来的尺度下界，同那个代表真实物理世界的外部特徵尺度d_i进行简单的比较。

如果估算出来的二级薄片厚度下界，仍然远远大於d_i，那对不起，系统仍然只能乖乖停留在由碰撞主导的电阻mhd通道里。

但如果，这个被不断挤压的厚度下界，开始逼近了d_i的量级，那就意味著，在真实的等离子体世界里，更底层的hall通道那扇隱藏的门，可能即將被撞开，迎来无碰撞快重联的全面接管。

这一步，其实已经脱离了窄定理纯数学自洽的范畴。

它是窄定理这个孤岛，试图向外部更宏大的g-index体系的hall门，艰难地拋出的一根接口数据线。

江临用了整个第三十六年的春末和漫长的夏天，在这个极其繁琐的標度推导泥潭里跋涉。

思路被他严格分成了四步。

第一，在子引理 0.3.2 给出的临界態附近，提取出那个最不稳定模態对应的特徵波数。

第二，利用傅立叶分析，將这个特徵波数反演，对应到物理空间中，就是初始磁岛链的典型空间间距。

第三，结合磁流体能量守恆定律，以及他发明的各向异性范数对形变的控制，死死咬住不放，最终榨出二级薄片厚度的理论下界估计算式。

第四，把这个包含了一堆宏观参数的算式，拿去和外部尺度d_i作数量级比较，圈定出hall效应可能接管的嫌疑区间。

推导出来的公式丑陋无比。

长长的一大串，包含了各种根號、对数项和经验常数。

这种缺乏数学对称美的怪物公式，绝对不適合堂而皇之地写在正文里去噁心人。

江临极其务实地把它塞进了附录里。

而在主文的结论部分，他只写下了乾净纯粹的物理標度关係。

【定理推论：二级薄片厚度的理论下界，並非由单一参数决定。它由系统的lundquist数s、初始电流片的宏观长宽比、初始湍流的微弱扰动强度，以及宏观边界的几何约束，共同控制。】

【当该厚度下界在数量级上逼近离子惯性尺度d_i时，hall通道存在接管可能；若仍远大於d_i，系统大概率仍停留在单流体mhd通道內。】

第三十六年九月十七日，子引理 0.3.3，宣告完成。

在这枯燥的证明结束后，江临做了一件本不属於严格数学推导范畴，但作为物理学家，他绝对无法抗拒的事。

他打开了之前那个名为【g_index_attack】的文件夹，调出他在处理一千八百个复杂分层样本时，利用机器学习和统计学暴力擬合出来的g-index v0.1的现象学拐点。

那是一个没有任何先验理论支撑的统计数字。

经验门控拐点：g_c=1.93 pm0.07。

然后，他调出了他刚刚在子引理 0.3.3 中，用纯粹的数学演绎法，用一套套复杂的不等式和各向异性范数推导出来的窄模型理论门控区间。

为了能在同一个度量衡下比较，他小心翼翼地把理论推导的宏观参数，折算到了与现象学样本相同的標度口径下。

几行简单的代码跑完，屏幕上跳出了一个区间中心值：

理论推导区间中心：约1.89pm0.09。

1.93。

1.89。

它们如此接近。

误差棒在中间產生了极其明显的交叠。

江临盯著屏幕，整整三分钟没有动。

那不是两个漂亮数字那么简单。

1.93，是他从一千八百个分层样本里，一点一点筛出来的经验拐点。

里面有太阳耀斑，有磁层亚暴，有托卡马克撕裂模，有实验室重联，有数值模擬。

有脏数据，有缺参数，有被他反覆剔除的垃圾样本，也有他熬了五年才勉强整理乾净的a级样本。

1.89，则来自另一条完全不同的路。

来自二维电阻 mhd，来自局部强解，来自各向异性能量分解，来自能量泛函二阶变分，来自局部谱估计，来自那一百多页让他在寒冬里写到手指僵硬的推导。

一边是观测，模擬，实验堆出来的浑浊世界。

一边是被他削到只剩骨架的窄模型。

两个数字，在同一个区间里相遇了。

这一刻，g-index v0.1不再只是一片有方向的云。

至少它的plasmoid门，不再只是云。

它下面有骨头。

江临忍著激动与兴奋，在工作日誌里，用一种近乎刻板的严谨写道。

【比较结果：值得高度重视。】

因为在现代科学的严酷標准下，这绝对不能算作严格的独立验证。

g-indexv0.1的经验公式形式，在最初构建的时候，本来就是受到了经典磁重联標度率的启发而拼凑的。

而他这个窄定理里定义的门控量，也不是从绝对的真空中无中生有蹦出来的。

这两条攀登路线，虽然一条是从海量样本里硬挖出来的归纳法，另一条是从pde底部硬推出来的演绎法。

但它们在深层，其实共享了一些基础的物理变量，共享了关於重联层的物理图像假设，甚至共享了部分对极端样本的分类排除逻辑。

它们没有互相餵数，没有联合造假。

一个来自於浑浊但庞大的分层样本海中的现象学统计拐点。

一个来自於极其狭窄，极度纯粹的模型中的严密標度推导。

它们能够极其幸运地落在同一个区间里，或许不能宣告终极真理的降临。

但它至少说明了一件事。

这条窄路没有在第一轮数学审讯里当场死亡。

他走的这条艰难的窄路，没有在第一轮冰冷的数学逻辑审讯中，当场暴毙。

【第三十六年九月十七日。】

【子引理 0.3.3 完成。】

【窄模型理论门控区间中心约1.89± 0.09。】

【现象学经验统计拐点1.93±0.07。】

【二者误差区间发生明显重叠。】

【科学说明：由於底层逻辑的相关性，此结果绝对不能被视为完全独立的双盲验证。】

【但该结果可谨慎视为：g-indexv0.1 体系中那个庞大的plasmoid门，在极简的窄模型假设下，终於获得了坚实的数学物理推导支撑。】

【限制声明：本模型完全不包含hall动力学本身的过程演化，完全排除强湍流的提前接管效应，不涉及三维空间破缺，没有处理复杂的多迴路集体响应机制，更无法解释北方极光红带的成因。】

【这一次，穷尽三十六年所学，我没有证明整座山。】

【我只证明了一扇门。】

【但这扇门能承重。】

【它能把现象学的云，废土现场的几何直觉，二维电阻mhd的窄模型，压到同一块地基上。】

【这不是终点，是第一根钢桩。】

【未来，说不定它还能被放进核聚变这种庞大的工程体系里，起到一点作用。】

第三十六年九月底。

隨著最后几个积分號的验证结束，极其庞大的引理0.3，宣告全部完成。

江临点开了包含所有定理证明的子文件夹readme，做最后的匯总。

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

【引理0.2：局部强解提升与极其关键的各向异性能量分解。状態：完成。页数：41页。】

【引理0.3：长薄电流片背景態的 plasmoid/tearing 模態失稳，及二级薄片特徵尺度估计。状態：完成。页数：142页。】

【总体性质定位：极端窄模型下的纯数学物理推导结果。】

【模型硬性不含：hall效应全演化、强湍流干扰、三维拓扑破缺、宏观多迴路集体响应。】

【剩余终极工作：进行形式化整理，將草稿转化为可接受同行审查的主定理与正式论文预稿。】

第三十六年十月，直到第三十七年的三月。

江临迎来了一场另一种形式的苦役。

形式化整理。

把堆积如山的草稿和证明，整理成符合现代学术规范的正式paper，其痛苦程度，甚至比在荒野里摸黑证明引理本身还要折磨人。

每一个从之前草稿里提炼出来的主定理，都必须在开头用极度枯燥的数学语言，清清楚楚地写明前提假设。

每一个看似常识的前提，都要在后面加上括號，写出它在物理世界里对应的適用边界。

引理中推导出来的每一个中间结论，在搬到主定理中时，绝对不能为了句子的通顺而有丝毫的偷换概念。

每一个在前文被引用过的公式不等式，都要像法庭举证一样，严密地对应到附录里的引理编號。

每一个曾经让他头疼无比的积分常数 c，在最终成稿时，都要附带一个长长的角標，標明它到底死死依赖於哪些系统参数。

更折磨人的是用词。

一旦他想在主文的摘要或结论里，使用诸如临界、閾值、极其不稳定这种在物理学界极其抓人眼球的词汇时，他的手腕就像是被戴上了沉重的镣銬。

他必须立刻在脚註或者后面的段落里，像个喋喋不休的老妈子一样补充说明，这些宏大的词汇，仅仅，而且只能属於这个条件苛刻的窄模型范畴。

任何试图將结论无限外推，试图用这篇论文去一统物理学江湖的衝动，都会被他自己毫不留情地掐死在键盘上。

第三十七年三月底。

这一篇纯粹的数学物理论文內部预稿，终於完成了排版。

【二维电阻mhd长薄电流片的plasmoid门控閾值估计】

（英文题名：threshold estimate for plasmoid-gated instability of long current sheets in 2d resistive mhd）

第一节：引言与背景。

第二节：简化模型方程与严苛的適用边界声明。

第三节：核心主要结果综述。

第四节：基础框架——弱解的有限时间存在性。

第五节：技术核心——强解提升与各向异性能量分解（在此特別感谢某种未具名的几何直觉启发）。

第六节：失稳机制——扰动模態选取与能量泛函二阶变分分析。

第七节：標度推导——二级薄片尺度极小下界估计。

第八节：交叉对比——与经验体系g-indexv0.1中plasmoid门的对应数值关係探討。

第九节：研究限制与未来极其庞大的未解决问题列表。

参考文献：一份跨越了半个世纪。多达数百篇的庞大索引。

附录 a：复杂的各向异性sobolev空间嵌入估计过程。

附录 b：边界条件下的局部谱分析与算子估计细节。

附录 c：经验现象学拐点与纯理论推导数值的口径换算过程。

正文內容：精炼到了八十七页。

高度复杂的技术附录：三十五页。

为了保证逻辑绝对严密，不允许任何易证同理可得字眼出现的完整补充证明材料，足足二百零六页。

总计：三百二十八页。