这一轮清算结束后，江临其实没有立刻动笔去证明窄定理。
因为在那之前，他还必须先亲手把G-index V0.1推上绝路。
推到它流干最后一滴血，推到它在逻辑和物理的悬崖边上摔得粉碎。
只有确认了所有宽阔的大道都是死胡同，他才能安心地走进那条只能容纳一人的窄巷。
他开始给V0.1喂食极端条件。
第一刀，他做的是文献外推、降阶扫描和低分辨率趋势测试。
结果很快暴露出第一道裂缝。
在极高Lundquist数区间，plasid通道和湍流通道不再总是串行，湍流可能提前接管电流片结构。
V0.1不是算崩了。
是物理边界把它推出了适用区。
第二刀，极低β区间。
等离子体热压在强大的磁压面前微不足道。
江临引入了一个并不算强的引导场。
就这么一个看似无害的额外分量，在低β环境下，直接把耗散层的结构扭成了麻花。
原本对称的层裂结构被打破，霍尔效应的幽灵开始在背景里游荡，双流体效应逼迫V0.1放弃了单流体 d 的假设。
方程组在奇异微扰的逼迫下当场崩溃。
第三刀，磁层顶那类非对称重联。
太阳风与地球磁层交界处的真实物理场景。
在这里，等离子体的密度、温度、磁场强度在界面两侧完全不对等。江临冷冷地看着模拟结果，在这个场景下，连电流片长度L本身都失去了唯一的自然定义。
你该怎么定义一个边界都在不断扭动，厚度在空间上剧烈变化的东西？
没有了特征长度，V0.1 依赖的所有无量纲化参数全部成了笑话。
接着是第四刀、第五刀……
整整一年，江临就像一个冷酷的刽子手，把V0.1的野心一块块切掉。
两年后，他打开那个命名为【Narrow_theoredraft】的文件夹，新建了一个REAd文档。
在文档的最顶端，他敲下了七条暂定适用边界。
窄定理，真的不是他主动挑出来的漂亮题目。
那些足以写成宏大叙事的方向，太大，太脏，太依赖边界条件，不适合成为第一条严格证明。
窄定理是反例把其他所有路都堵死后，剩下来的最后那条门缝。
只有这条路：二维不可压缩电阻d，反平行磁场，有限长宽比的长薄电流片，plasid层裂，Sobolev空间，能量方法。
只有这条路窄到足够被证明。
也只有证明了这条窄路，他才能在这个废土世界里，给那套摇摇欲坠的理论打下第一根真正的地桩。
第三十四年十二月，石屋外的气温降到了零下二十度。
苔藓全都被冻成了灰褐色的硬壳。
江临开始写第一行证明。
不是子命题一，那个太大了。
他从引理这个更小的地方开始。
【引理0.1】
在二维不可压缩电阻 d 的简化反平行磁场模型中，给定足够光滑并满足边界条件的初值，磁通函数ψ在有限时间窗口内存在h1弱解。
在附加正则性条件下可得条件唯一性。
这是地基中的地基。
如果这个引理都站不住，后面关于层裂阈值，关于G-index的一切推导都是废纸。
没有弱解，连讨论不稳定性的资格都没有。
第一遍证明，江临选择了最正统的路子。
他用Galerkin近似去构造近似解。
把无限维的偏微分方程投影到有限维的空间里，像切土豆一样把连续的物理过程切成一个个离散的模式。
笔尖在纸上飞快地游走，公式一行行倾泻而出。
短句，急促的推导。
速度场u，磁场b。
能量等式。
耗散项给出关键梯度范数的控制。
通过能量估计，他证明了近似解族在h1中是有界的。
至少在这个范数层级上，它没有资格在有限时间内爆炸。
接着，通过banach空间的弱紧性定理，他从这个有界的近似解族里提取出了一个子列。
再让维度趋向于无穷大，通过极限过程，得到了原方程的弱解。最后，利用高阶的附加正则性，利用Gronwall不等式，硬碰硬地砸出了条件唯一性。
十二页草稿，密密麻麻。
写完最后一笔，江临甩了甩酸胀的手腕，端起外壳斑驳的保温杯喝了一口苔藓茶，然后把这十二页纸摊开在桌面上，从头开始审。
翻到第七页，问题出现了。
能量估计里的常数依赖太细。
他在放缩非线性对流项的时候，为了压住那个讨厌的边界项，借用了一个poincaré不等式。
这里的常数c，不可避免地带上了初始能量的信息。
不是不能依赖初值。
那不现实。
任何pdE的能量估计本来就会依赖初始能量，这是物理常识。
系统一开始有多少能量，决定了后续演化的上限。
问题在于，这个常数c依赖了每个样本的具体形状细节。
如果后续的证明里，他要讨论的是一整族长薄电流片的初值，去寻找那个触发plasid的临界条件，那么这个常数就会变成一案一议。
初值稍微扭曲一点，电流片稍微变厚一点，常数c就变了。
那最终推导出来的不稳定阈值也会跟着飘。
今天算出来是这个数，明天换个初值形状就算出另一个数。
这叫什么统一理论？
窄定理就失去了统一指导的意义。
“不行，不能这么干。”
第二遍，他调整了目标。
常数必须干净。
可以依赖统一控制的初值上限，可以依赖系统参数，可以依赖边界条件和电流片的几何等级。
但绝对不能依赖某个具体样本的细节形状。
这个要求一加上，证明的重量瞬间翻倍。
江临感觉自己不是在写数学，而是在排雷。
每一个不等式放缩，他都要回头去追踪常数的来源。
每一个Sobolev嵌入，他都要在旁边打个括号，标注区域的几何假设。
写到第八页，又卡住了。
这次的问题出在活动层。
为了让估计更精确，他原本把积分区域局限在电流片活动层附近。
因为那里是物理反应最剧烈的地方，梯度最大。
可是，随着时间t的推移，活动层的位置和形状是会变化的。
磁场在重联，等离子体在喷射，活动层就像一个活着的生物，不断地扭动变形。
如果区域在变，Sobolev嵌入常数就会跟着活动层几何一起变。
一旦常数变成了时间t的未知函数，后面的统一估计就会彻底失控，Gronwall不等式根本无从下手。
江临把笔一扔，揉了揉太阳穴。
第三天的傍晚，太阳快落山了。
昏黄的光线透过石屋窄小的窗户打在满是公式的纸上。
江临盯着那些符号，脑子里突然闪过一个念头。
为什么非要跟着活动层跑？
既然活动层在动，那就找个不动的东西把它罩住。
他不需要在活动层上做估计，他可以改用一个固定的外部域Ω_ext。
把电流片所有可能演化的活动区域，全部包进这个足够大、边界足够光滑的固定外部域里。
然后，把活动层内的所有函数，利用延拓算子，平滑地延拓到整个固定外部域上。
在这个固定光滑域里，去追踪统一常数。
这不是他原创的招数。
记忆里，当年读brezis的泛函分析习题集时，里面有过类似的边界延拓技巧。
但是，把它移植到这套高度非线性的简化d问题上，去压制移动电流片的边界常数，他没有在自己读过的任何文献里见过。
“试试看。”
他抽出新纸，重新开始写。
第十一页时，逻辑链条闭合。
所有的不等式在延拓算子的保护下，服服帖帖地退回了界限之内。
再审。
这一次，所有的常数c都只依赖于统一的初值上限，固定外部域 Ω_ext的几何特性，系统参数和宏观边界条件。
那个幽灵一样的样本细节形状依赖被他成功赶了出去。
引理 0.1，暂时通过。
第三十五年三月，江临把这一堆涂改得面目全非的草稿，誊写成正式的电子稿。
整整二十三页的 Latex 代码。
编译，生成 pdF。
屏幕上出现了清爽严谨的数学公式。
标题：【引理0.1：有限时间弱解存在性与条件唯一性】
状态：【完成。】
日期：【第三十五年三月七日。】
江临看着这份文档，心跳有点快。他在【Narrow_theoredraft】文件夹的REAd里，郑重地敲下几行字：
这是一座长城的第一块砖。
后面还有很多。
一块一块来。
三
因为在那之前，他还必须先亲手把G-index V0.1推上绝路。
推到它流干最后一滴血，推到它在逻辑和物理的悬崖边上摔得粉碎。
只有确认了所有宽阔的大道都是死胡同，他才能安心地走进那条只能容纳一人的窄巷。
他开始给V0.1喂食极端条件。
第一刀，他做的是文献外推、降阶扫描和低分辨率趋势测试。
结果很快暴露出第一道裂缝。
在极高Lundquist数区间，plasid通道和湍流通道不再总是串行，湍流可能提前接管电流片结构。
V0.1不是算崩了。
是物理边界把它推出了适用区。
第二刀，极低β区间。
等离子体热压在强大的磁压面前微不足道。
江临引入了一个并不算强的引导场。
就这么一个看似无害的额外分量，在低β环境下，直接把耗散层的结构扭成了麻花。
原本对称的层裂结构被打破，霍尔效应的幽灵开始在背景里游荡，双流体效应逼迫V0.1放弃了单流体 d 的假设。
方程组在奇异微扰的逼迫下当场崩溃。
第三刀，磁层顶那类非对称重联。
太阳风与地球磁层交界处的真实物理场景。
在这里，等离子体的密度、温度、磁场强度在界面两侧完全不对等。江临冷冷地看着模拟结果，在这个场景下，连电流片长度L本身都失去了唯一的自然定义。
你该怎么定义一个边界都在不断扭动，厚度在空间上剧烈变化的东西？
没有了特征长度，V0.1 依赖的所有无量纲化参数全部成了笑话。
接着是第四刀、第五刀……
整整一年，江临就像一个冷酷的刽子手，把V0.1的野心一块块切掉。
两年后，他打开那个命名为【Narrow_theoredraft】的文件夹，新建了一个REAd文档。
在文档的最顶端，他敲下了七条暂定适用边界。
窄定理，真的不是他主动挑出来的漂亮题目。
那些足以写成宏大叙事的方向，太大，太脏，太依赖边界条件，不适合成为第一条严格证明。
窄定理是反例把其他所有路都堵死后，剩下来的最后那条门缝。
只有这条路：二维不可压缩电阻d，反平行磁场，有限长宽比的长薄电流片，plasid层裂，Sobolev空间，能量方法。
只有这条路窄到足够被证明。
也只有证明了这条窄路，他才能在这个废土世界里，给那套摇摇欲坠的理论打下第一根真正的地桩。
第三十四年十二月，石屋外的气温降到了零下二十度。
苔藓全都被冻成了灰褐色的硬壳。
江临开始写第一行证明。
不是子命题一，那个太大了。
他从引理这个更小的地方开始。
【引理0.1】
在二维不可压缩电阻 d 的简化反平行磁场模型中，给定足够光滑并满足边界条件的初值，磁通函数ψ在有限时间窗口内存在h1弱解。
在附加正则性条件下可得条件唯一性。
这是地基中的地基。
如果这个引理都站不住，后面关于层裂阈值，关于G-index的一切推导都是废纸。
没有弱解，连讨论不稳定性的资格都没有。
第一遍证明，江临选择了最正统的路子。
他用Galerkin近似去构造近似解。
把无限维的偏微分方程投影到有限维的空间里，像切土豆一样把连续的物理过程切成一个个离散的模式。
笔尖在纸上飞快地游走，公式一行行倾泻而出。
短句，急促的推导。
速度场u，磁场b。
能量等式。
耗散项给出关键梯度范数的控制。
通过能量估计，他证明了近似解族在h1中是有界的。
至少在这个范数层级上，它没有资格在有限时间内爆炸。
接着，通过banach空间的弱紧性定理，他从这个有界的近似解族里提取出了一个子列。
再让维度趋向于无穷大，通过极限过程，得到了原方程的弱解。最后，利用高阶的附加正则性，利用Gronwall不等式，硬碰硬地砸出了条件唯一性。
十二页草稿，密密麻麻。
写完最后一笔，江临甩了甩酸胀的手腕，端起外壳斑驳的保温杯喝了一口苔藓茶，然后把这十二页纸摊开在桌面上，从头开始审。
翻到第七页，问题出现了。
能量估计里的常数依赖太细。
他在放缩非线性对流项的时候，为了压住那个讨厌的边界项，借用了一个poincaré不等式。
这里的常数c，不可避免地带上了初始能量的信息。
不是不能依赖初值。
那不现实。
任何pdE的能量估计本来就会依赖初始能量，这是物理常识。
系统一开始有多少能量，决定了后续演化的上限。
问题在于，这个常数c依赖了每个样本的具体形状细节。
如果后续的证明里，他要讨论的是一整族长薄电流片的初值，去寻找那个触发plasid的临界条件，那么这个常数就会变成一案一议。
初值稍微扭曲一点，电流片稍微变厚一点，常数c就变了。
那最终推导出来的不稳定阈值也会跟着飘。
今天算出来是这个数，明天换个初值形状就算出另一个数。
这叫什么统一理论？
窄定理就失去了统一指导的意义。
“不行，不能这么干。”
第二遍，他调整了目标。
常数必须干净。
可以依赖统一控制的初值上限，可以依赖系统参数，可以依赖边界条件和电流片的几何等级。
但绝对不能依赖某个具体样本的细节形状。
这个要求一加上，证明的重量瞬间翻倍。
江临感觉自己不是在写数学，而是在排雷。
每一个不等式放缩，他都要回头去追踪常数的来源。
每一个Sobolev嵌入，他都要在旁边打个括号，标注区域的几何假设。
写到第八页，又卡住了。
这次的问题出在活动层。
为了让估计更精确，他原本把积分区域局限在电流片活动层附近。
因为那里是物理反应最剧烈的地方，梯度最大。
可是，随着时间t的推移，活动层的位置和形状是会变化的。
磁场在重联，等离子体在喷射，活动层就像一个活着的生物，不断地扭动变形。
如果区域在变，Sobolev嵌入常数就会跟着活动层几何一起变。
一旦常数变成了时间t的未知函数，后面的统一估计就会彻底失控，Gronwall不等式根本无从下手。
江临把笔一扔，揉了揉太阳穴。
第三天的傍晚，太阳快落山了。
昏黄的光线透过石屋窄小的窗户打在满是公式的纸上。
江临盯着那些符号，脑子里突然闪过一个念头。
为什么非要跟着活动层跑？
既然活动层在动，那就找个不动的东西把它罩住。
他不需要在活动层上做估计，他可以改用一个固定的外部域Ω_ext。
把电流片所有可能演化的活动区域，全部包进这个足够大、边界足够光滑的固定外部域里。
然后，把活动层内的所有函数，利用延拓算子，平滑地延拓到整个固定外部域上。
在这个固定光滑域里，去追踪统一常数。
这不是他原创的招数。
记忆里，当年读brezis的泛函分析习题集时，里面有过类似的边界延拓技巧。
但是，把它移植到这套高度非线性的简化d问题上，去压制移动电流片的边界常数，他没有在自己读过的任何文献里见过。
“试试看。”
他抽出新纸，重新开始写。
第十一页时，逻辑链条闭合。
所有的不等式在延拓算子的保护下，服服帖帖地退回了界限之内。
再审。
这一次，所有的常数c都只依赖于统一的初值上限，固定外部域 Ω_ext的几何特性，系统参数和宏观边界条件。
那个幽灵一样的样本细节形状依赖被他成功赶了出去。
引理 0.1，暂时通过。
第三十五年三月，江临把这一堆涂改得面目全非的草稿，誊写成正式的电子稿。
整整二十三页的 Latex 代码。
编译，生成 pdF。
屏幕上出现了清爽严谨的数学公式。
标题：【引理0.1：有限时间弱解存在性与条件唯一性】
状态：【完成。】
日期：【第三十五年三月七日。】
江临看着这份文档，心跳有点快。他在【Narrow_theoredraft】文件夹的REAd里，郑重地敲下几行字：
这是一座长城的第一块砖。
后面还有很多。
一块一块来。
三