第78章 窄定理（2/2）

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

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

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

那个教科书里单一的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：经验现象学拐点与纯理论推导数值的口径换算过程。

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

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

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

总计：三百二十八页。