科书上那句轻飘飘的在高 Lundquist数下可能发生plasid instability。
而现在，在他自己的窄模型里，这句话变成了一个可以被审查的数学判断。
存在一族扰动模，增长率超过耗散率，Sweet-parker型单片态失去线性稳定性。
这就是第一枚楔子。
它还不能撬开整座山，但它已经楔进去了。
第三十五年十二月。
江临迎来了整座窄定理长城中最难啃的一块硬骨头。
子引理0.3.2。
之所以说它最难，是因为它要求江临把对系统的判断，从之前子引理0.3.1那种纯粹的特征值增长率的代数判断，向前推进一大步，推进到一个在物理图像上，必须非常接近真实plasid的三维拓扑结构的东西。
但他又必须极度克制。
绝对不能在证明里写下由此严格证明电流片必然碎成N个具体的短片段这种蠢话。
因为只要懂点等离子体物理的人都知道，真实的拓扑变化，涉及到极其惨烈的非线性演化，复杂的边界反射反馈，网格计算带来的数值耗散，甚至是到了微观尺度后 hall效应或全动理学效应的强制接管。
江临现在手里的这个被阉割过无数次的窄模型，根本没有资格，也没有肚子去吃下这么庞大的物理过程。
他要证明的，是隐藏在更深处也更窄的东西。
在那个临界的门控条件下，系统整体的能量泛函的二阶变分，会在某一族特定的磁岛链扰动方向上，彻底失去它的正定性。
泛函失去正定性，出现负方向。
在物理上就意味着只要系统沿着这些特定的负方向去扰动，系统的总能量不仅不会增加阻力，反而会顺势下降。
这些负方向，就是那些即将诞生的 plasid的初始胚胎。
而这群胚胎中，那个能量下降最快最不稳定的模态，就能反向给出初始磁岛链的典型特征波数。
第一遍尝试，江临天真地选择了直接构造法。
他试图在纸上，硬生生地把一个长电流片的解，分段拼接成多个短片段的解，然后去证明这种拼接状态的能量更低。
结果成就了一场数学上的灾难。
他日以继夜地写了五十多页的草稿，试图用各种光滑截断函数去缝合那些断点。
不料那些拼接处根本无法同时满足苛刻的物理边界条件。
如果强行用数学技巧把它们弄连续了，系统能量在拼接点处就会出现非物理的巨大跳变，直接把误差带爆。
如果不弄连续，那这就不是偏微分方程的弱解，之前引理0.1和0.2的前提全盘作废。
五十多页，接近一个月的心血，全部报废。
江临没有感到可惜，更没有沮丧。
在废土上活了一百多年，他早就明白了一个道理，在未知的荒野里，一条走不通的路被死死封上，是一件大好事。
因为它至少用铁一样的逻辑告诉你，别在这条路上浪费生命了。
时间来到第三十六年一月，废土进入最严酷的深冬。
江临开始了第二遍冲锋。
既然直接构造走不通，那就换思路，改用反证法加上能量泛函临界点分析。
如果那个单一的长片态仍然是稳定的，那么系统的能量泛函，在所有被物理允许的微小扰动方向上，它的二阶变分都应该老老实实地保持大于零的正定性。
这就像是一个小球安稳地停在碗底，不管往哪个方向推，都会遇到向上的阻力。
但是，根据之前子引理0.3.1的结论，在触发了门控条件后，系统的线性化扰动谱中，实打实地出现了一族增长模态。
而这族增长模态对应的扰动方向场，必然会使得能量泛函的二阶变分计算出现负值。
如此一来，反证成立。
单片态绝对不再是局部的能量极小结构。它就像是一个停在马鞍面上的球，只要沿着某些特定的扰动方向稍微一推，它就不再拥有局部稳定结构。
至于后续会滑向哪一种非线性形态，不属于这个引理能够回答的问题。
二月。
江临忍着严寒，用冻得有些僵硬的手，一层层剥开二阶变分的复杂积分项。
三月。
春风还没吹到废土，他已经一头扎进了极其晦涩的局部谱估计中。
四月初。
第二遍的草稿终于宣告完成。
整整六十七页。
比之前失败的尝试还要厚。
就在他以为终于可以松一口气，开始交叉审稿的时候，冷汗突然顺着他的脊背流了下来。
在第五十二页，他发现了一个隐患。
为了控制某个高频振荡项，他在放缩时顺手借用了一个全局谱半径估计的定理。
在无界全空间里，这个估计当然没问题。
但是，在这个狭窄的电流片模型里，在某些特定的宏观边界条件下，这个全局估计根本就不成立。
算子在边界附近会产生强烈的回波反射，直接把谱半径给撑爆。
改。
不能要求全局成立。
那是自寻死路。
改成局部谱估计。
这套证明不需要在整个相空间里都无懈可击。
只要要求它在那个发生失稳的临界态邻域内部，在有限的时间窗口内成立，就足够了。
对于他那极度克制的窄定理来说，这种局部成立，已经足够完成逻辑闭环。
第五十二页被他无情抛弃。
局部的加权范数被引入，错误的源头被死死摁住。
剩下的六个带有疑问的放缩点，也在接下来的一周内，被他用各种数学技巧逐一澄清击破。
第三十六年四月中旬，子引理0.3.2，艰难完成。
江临点开那个仿佛有千斤重的 REAd 文档，极其郑重地敲下。
【子引理0.3.2：能量泛函在磁岛链扰动方向上的非正定性，以及最不稳定模态的确定。状态：完成。】
【高度注意：该引理在数学上绝对没有证明完整的非线性拓扑重构过程。它仅仅只是证明了，系统在初始plasid胚胎方向上发生了不可逆的失稳。】
江临特意把高度注意这几个字加粗，甚至恨不得把它们标红。
但在这行警告下面，他又单独写了一行。
【这是窄定理的脊梁。】
因为他自己知道，这一步到底有多重。
子引理0.3.1只告诉他，有东西在长。
可有东西在长，并不等于它会长成 plasid。
可能是边界振荡，可能是数值伪影，可能是一个漂亮但没有物理指向的谱不稳定。
子引理0.3.2不同。
它把那个增长模态，压进了能量泛函的几何结构里。
负方向不是随便一个方向，是磁岛链扰动方向。
最不稳定模态不是一个抽象特征值，它对应初始 plasid 胚胎的特征波数。
这意味着，江临第一次在自己的推导里，看见了那条从慢模型失稳通往快重联入口的具体几何通道。
很窄，很苛刻。
但它不是幻觉。
第三十六年四月底。
江临没有停歇，立刻转入了最后一个战役。
子引理0.3.3。
目标：对系统层裂后产生的二级薄片的尺度，进行下界估计。
这一步的定位非常微妙。
它不是去证明什么高大上的hall物理效应。
因为在纯粹的单流体电阻d框架下，系统里根本就没有包含正负电荷分离的机制，物理上绝对推导不出 hall 效应。那个大名鼎鼎的d_i，是一个实打实的外部尺度。
它属于更底层的hall-d模型，或者是全动理学框架才能处理的东西。
江临的窄定理，只能在这个被阉割的纯电阻d世界里，利用能量守恒和几何约束，去估算一下那个不断被挤压层裂的二级薄片，它最薄最薄，到底可能会落到哪个微观尺度区间？
估算出来之后，再把这个纯数学推导出来的尺度下界，同那个代表真实物理世界的外部特征尺度d_i进行简单的比较。
如果估算出来的二级薄片厚度下界，仍然远远大于d_i，那对不起，系统仍然只能乖乖停留在由碰撞主导的电阻d通道里。
但如果，这个被不断挤压的厚度下界，开始逼近了d_i的量级，那就意味着，在真实的等离子体世界里，更底层的hall通道那扇隐藏的门，可能即将被撞开，迎来无碰撞快重联的全面接管。
这一步，其实已经脱离了窄定理纯数学自洽的范畴。
它是窄定理这个孤岛，试图向外部更宏大的G-index体系的hall门，艰难地抛出的一根接口数据线。
江临用了整个第三十六年的春末和漫长的夏天，在这个极其繁琐的标度推导泥潭里跋涉。
思路被他严格分成了四步。
第一，在子引理 0.3.2 给出的临界态附近，提取出那个最不稳定模态对应的特征波数。
第二，利用傅里叶分析，将这个特征波数反演，对应到物理空间中，就是初始磁岛链的典型空间间距。
第三，结合磁流体能量守恒定律，以及他发明的各向异性范数对形变的控制，死死咬住不放，最终榨出二级薄片厚度的理论下界估计算式。
第四，把这个包含了一
而现在，在他自己的窄模型里，这句话变成了一个可以被审查的数学判断。
存在一族扰动模，增长率超过耗散率，Sweet-parker型单片态失去线性稳定性。
这就是第一枚楔子。
它还不能撬开整座山，但它已经楔进去了。
第三十五年十二月。
江临迎来了整座窄定理长城中最难啃的一块硬骨头。
子引理0.3.2。
之所以说它最难，是因为它要求江临把对系统的判断，从之前子引理0.3.1那种纯粹的特征值增长率的代数判断，向前推进一大步，推进到一个在物理图像上，必须非常接近真实plasid的三维拓扑结构的东西。
但他又必须极度克制。
绝对不能在证明里写下由此严格证明电流片必然碎成N个具体的短片段这种蠢话。
因为只要懂点等离子体物理的人都知道，真实的拓扑变化，涉及到极其惨烈的非线性演化，复杂的边界反射反馈，网格计算带来的数值耗散，甚至是到了微观尺度后 hall效应或全动理学效应的强制接管。
江临现在手里的这个被阉割过无数次的窄模型，根本没有资格，也没有肚子去吃下这么庞大的物理过程。
他要证明的，是隐藏在更深处也更窄的东西。
在那个临界的门控条件下，系统整体的能量泛函的二阶变分，会在某一族特定的磁岛链扰动方向上，彻底失去它的正定性。
泛函失去正定性，出现负方向。
在物理上就意味着只要系统沿着这些特定的负方向去扰动，系统的总能量不仅不会增加阻力，反而会顺势下降。
这些负方向，就是那些即将诞生的 plasid的初始胚胎。
而这群胚胎中，那个能量下降最快最不稳定的模态，就能反向给出初始磁岛链的典型特征波数。
第一遍尝试，江临天真地选择了直接构造法。
他试图在纸上，硬生生地把一个长电流片的解，分段拼接成多个短片段的解，然后去证明这种拼接状态的能量更低。
结果成就了一场数学上的灾难。
他日以继夜地写了五十多页的草稿，试图用各种光滑截断函数去缝合那些断点。
不料那些拼接处根本无法同时满足苛刻的物理边界条件。
如果强行用数学技巧把它们弄连续了，系统能量在拼接点处就会出现非物理的巨大跳变，直接把误差带爆。
如果不弄连续，那这就不是偏微分方程的弱解，之前引理0.1和0.2的前提全盘作废。
五十多页，接近一个月的心血，全部报废。
江临没有感到可惜，更没有沮丧。
在废土上活了一百多年，他早就明白了一个道理，在未知的荒野里，一条走不通的路被死死封上，是一件大好事。
因为它至少用铁一样的逻辑告诉你，别在这条路上浪费生命了。
时间来到第三十六年一月，废土进入最严酷的深冬。
江临开始了第二遍冲锋。
既然直接构造走不通，那就换思路，改用反证法加上能量泛函临界点分析。
如果那个单一的长片态仍然是稳定的，那么系统的能量泛函，在所有被物理允许的微小扰动方向上，它的二阶变分都应该老老实实地保持大于零的正定性。
这就像是一个小球安稳地停在碗底，不管往哪个方向推，都会遇到向上的阻力。
但是，根据之前子引理0.3.1的结论，在触发了门控条件后，系统的线性化扰动谱中，实打实地出现了一族增长模态。
而这族增长模态对应的扰动方向场，必然会使得能量泛函的二阶变分计算出现负值。
如此一来，反证成立。
单片态绝对不再是局部的能量极小结构。它就像是一个停在马鞍面上的球，只要沿着某些特定的扰动方向稍微一推，它就不再拥有局部稳定结构。
至于后续会滑向哪一种非线性形态，不属于这个引理能够回答的问题。
二月。
江临忍着严寒，用冻得有些僵硬的手，一层层剥开二阶变分的复杂积分项。
三月。
春风还没吹到废土，他已经一头扎进了极其晦涩的局部谱估计中。
四月初。
第二遍的草稿终于宣告完成。
整整六十七页。
比之前失败的尝试还要厚。
就在他以为终于可以松一口气，开始交叉审稿的时候，冷汗突然顺着他的脊背流了下来。
在第五十二页，他发现了一个隐患。
为了控制某个高频振荡项，他在放缩时顺手借用了一个全局谱半径估计的定理。
在无界全空间里，这个估计当然没问题。
但是，在这个狭窄的电流片模型里，在某些特定的宏观边界条件下，这个全局估计根本就不成立。
算子在边界附近会产生强烈的回波反射，直接把谱半径给撑爆。
改。
不能要求全局成立。
那是自寻死路。
改成局部谱估计。
这套证明不需要在整个相空间里都无懈可击。
只要要求它在那个发生失稳的临界态邻域内部，在有限的时间窗口内成立，就足够了。
对于他那极度克制的窄定理来说，这种局部成立，已经足够完成逻辑闭环。
第五十二页被他无情抛弃。
局部的加权范数被引入，错误的源头被死死摁住。
剩下的六个带有疑问的放缩点，也在接下来的一周内，被他用各种数学技巧逐一澄清击破。
第三十六年四月中旬，子引理0.3.2，艰难完成。
江临点开那个仿佛有千斤重的 REAd 文档，极其郑重地敲下。
【子引理0.3.2：能量泛函在磁岛链扰动方向上的非正定性，以及最不稳定模态的确定。状态：完成。】
【高度注意：该引理在数学上绝对没有证明完整的非线性拓扑重构过程。它仅仅只是证明了，系统在初始plasid胚胎方向上发生了不可逆的失稳。】
江临特意把高度注意这几个字加粗，甚至恨不得把它们标红。
但在这行警告下面，他又单独写了一行。
【这是窄定理的脊梁。】
因为他自己知道，这一步到底有多重。
子引理0.3.1只告诉他，有东西在长。
可有东西在长，并不等于它会长成 plasid。
可能是边界振荡，可能是数值伪影，可能是一个漂亮但没有物理指向的谱不稳定。
子引理0.3.2不同。
它把那个增长模态，压进了能量泛函的几何结构里。
负方向不是随便一个方向，是磁岛链扰动方向。
最不稳定模态不是一个抽象特征值，它对应初始 plasid 胚胎的特征波数。
这意味着，江临第一次在自己的推导里，看见了那条从慢模型失稳通往快重联入口的具体几何通道。
很窄，很苛刻。
但它不是幻觉。
第三十六年四月底。
江临没有停歇，立刻转入了最后一个战役。
子引理0.3.3。
目标：对系统层裂后产生的二级薄片的尺度，进行下界估计。
这一步的定位非常微妙。
它不是去证明什么高大上的hall物理效应。
因为在纯粹的单流体电阻d框架下，系统里根本就没有包含正负电荷分离的机制，物理上绝对推导不出 hall 效应。那个大名鼎鼎的d_i，是一个实打实的外部尺度。
它属于更底层的hall-d模型，或者是全动理学框架才能处理的东西。
江临的窄定理，只能在这个被阉割的纯电阻d世界里，利用能量守恒和几何约束，去估算一下那个不断被挤压层裂的二级薄片，它最薄最薄，到底可能会落到哪个微观尺度区间？
估算出来之后，再把这个纯数学推导出来的尺度下界，同那个代表真实物理世界的外部特征尺度d_i进行简单的比较。
如果估算出来的二级薄片厚度下界，仍然远远大于d_i，那对不起，系统仍然只能乖乖停留在由碰撞主导的电阻d通道里。
但如果，这个被不断挤压的厚度下界，开始逼近了d_i的量级，那就意味着，在真实的等离子体世界里，更底层的hall通道那扇隐藏的门，可能即将被撞开，迎来无碰撞快重联的全面接管。
这一步，其实已经脱离了窄定理纯数学自洽的范畴。
它是窄定理这个孤岛，试图向外部更宏大的G-index体系的hall门，艰难地抛出的一根接口数据线。
江临用了整个第三十六年的春末和漫长的夏天，在这个极其繁琐的标度推导泥潭里跋涉。
思路被他严格分成了四步。
第一，在子引理 0.3.2 给出的临界态附近，提取出那个最不稳定模态对应的特征波数。
第二，利用傅里叶分析，将这个特征波数反演，对应到物理空间中，就是初始磁岛链的典型空间间距。
第三，结合磁流体能量守恒定律，以及他发明的各向异性范数对形变的控制，死死咬住不放，最终榨出二级薄片厚度的理论下界估计算式。
第四，把这个包含了一