第76章 临界

    这一轮清算结束后，江临其实没有立刻动笔去证明窄定理。
    因为在那之前，他还必须先亲手把g-index v0.1推上绝路。
    推到它流干最后一滴血，推到它在逻辑和物理的悬崖边上摔得粉碎。
    只有確认了所有宽阔的大道都是死胡同，他才能安心地走进那条只能容纳一人的窄巷。
    他开始给v0.1餵食极端条件。
    第一刀，他做的是文献外推、降阶扫描和低解析度趋势测试。
    结果很快暴露出第一道裂缝。
    在极高lundquist数区间，plasmoid通道和湍流通道不再总是串行，湍流可能提前接管电流片结构。
    v0.1不是算崩了。
    是物理边界把它推出了適用区。
    第二刀，极低β区间。
    等离子体热压在强大的磁压面前微不足道。
    江临引入了一个並不算强的引导场。
    就这么一个看似无害的额外分量，在低β环境下，直接把耗散层的结构扭成了麻花。
    原本对称的层裂结构被打破，霍尔效应的幽灵开始在背景里游荡，双流体效应逼迫v0.1放弃了单流体 mhd 的假设。
    方程组在奇异微扰的逼迫下当场崩溃。
    第三刀，磁层顶那类非对称重联。
    太阳风与地球磁层交界处的真实物理场景。
    在这里，等离子体的密度、温度、磁场强度在界面两侧完全不对等。江临冷冷地看著模擬结果，在这个场景下，连电流片长度l本身都失去了唯一的自然定义。
    你该怎么定义一个边界都在不断扭动，厚度在空间上剧烈变化的东西？
    没有了特徵长度，v0.1 依赖的所有无量纲化参数全部成了笑话。
    接著是第四刀、第五刀……
    整整一年，江临就像一个冷酷的刽子手，把v0.1的野心一块块切掉。
    两年后，他打开那个命名为【narrow_theorem_draft】的文件夹，新建了一个readme文档。
    在文档的最顶端，他敲下了七条暂定適用边界。
    窄定理，真的不是他主动挑出来的漂亮题目。
    那些足以写成宏大敘事的方向，太大，太脏，太依赖边界条件，不適合成为第一条严格证明。
    窄定理是反例把其他所有路都堵死后，剩下来的最后那条门缝。
    只有这条路：二维不可压缩电阻mhd，反平行磁场，有限长宽比的长薄电流片，plasmoid层裂，sobolev空间，能量方法。
    只有这条路窄到足够被证明。
    也只有证明了这条窄路，他才能在这个废土世界里，给那套摇摇欲坠的理论打下第一根真正的地桩。
    第三十四年十二月，石屋外的气温降到了零下二十度。
    苔蘚全都被冻成了灰褐色的硬壳。
    江临开始写第一行证明。
    不是子命题一，那个太大了。
    他从引理这个更小的地方开始。
    【引理0.1】
    在二维不可压缩电阻 mhd 的简化反平行磁场模型中，给定足够光滑並满足边界条件的初值，磁通函数ψ在有限时间窗口內存在h1弱解。
    在附加正则性条件下可得条件唯一性。
    这是地基中的地基。
    如果这个引理都站不住，后面关於层裂閾值，关於g-index的一切推导都是废纸。
    没有弱解，连討论不稳定性的资格都没有。
    第一遍证明，江临选择了最正统的路子。
    他用galerkin近似去构造近似解。
    把无限维的偏微分方程投影到有限维的空间里，像切土豆一样把连续的物理过程切成一个个离散的模式。
    笔尖在纸上飞快地游走，公式一行行倾泻而出。
    短句，急促的推导。
    速度场u，磁场b。
    能量等式。
    耗散项给出关键梯度范数的控制。
    通过能量估计，他证明了近似解族在h1中是有界的。
    至少在这个范数层级上，它没有资格在有限时间內爆炸。
    接著，通过banach空间的弱紧性定理，他从这个有界的近似解族里提取出了一个子列。
    再让维度趋向於无穷大，通过极限过程，得到了原方程的弱解。最后，利用高阶的附加正则性，利用gronwall不等式，硬碰硬地砸出了条件唯一性。
    十二页草稿，密密麻麻。
    写完最后一笔，江临甩了甩酸胀的手腕，端起外壳斑驳的保温杯喝了一口苔蘚茶，然后把这十二页纸摊开在桌面上，从头开始审。
    翻到第七页，问题出现了。
    能量估计里的常数依赖太细。
    他在放缩非线性对流项的时候，为了压住那个討厌的边界项，借用了一个poincaré不等式。
    这里的常数c，不可避免地带上了初始能量的信息。
    不是不能依赖初值。
    那不现实。
    任何pde的能量估计本来就会依赖初始能量，这是物理常识。
    系统一开始有多少能量，决定了后续演化的上限。
    问题在於，这个常数c依赖了每个样本的具体形状细节。
    如果后续的证明里，他要討论的是一整族长薄电流片的初值，去寻找那个触发plasmoid的临界条件，那么这个常数就会变成一案一议。
    初值稍微扭曲一点，电流片稍微变厚一点，常数c就变了。
    那最终推导出来的不稳定閾值也会跟著飘。
    今天算出来是这个数，明天换个初值形状就算出另一个数。
    这叫什么统一理论？
    窄定理就失去了统一指导的意义。
    “不行，不能这么干。”
    第二遍，他调整了目標。
    常数必须乾净。
    可以依赖统一控制的初值上限，可以依赖系统参数，可以依赖边界条件和电流片的几何等级。
    但绝对不能依赖某个具体样本的细节形状。
    这个要求一加上，证明的重量瞬间翻倍。
    江临感觉自己不是在写数学，而是在排雷。
    每一个不等式放缩，他都要回头去追踪常数的来源。
    每一个sobolev嵌入，他都要在旁边打个括號，標註区域的几何假设。
    写到第八页，又卡住了。
    这次的问题出在活动层。
    为了让估计更精確，他原本把积分区域局限在电流片活动层附近。
    因为那里是物理反应最剧烈的地方，梯度最大。
    可是，隨著时间t的推移，活动层的位置和形状是会变化的。
    磁场在重联，等离子体在喷射，活动层就像一个活著的生物，不断地扭动变形。
    如果区域在变，sobolev嵌入常数就会跟著活动层几何一起变。
    一旦常数变成了时间t的未知函数，后面的统一估计就会彻底失控，gronwall不等式根本无从下手。
    江临把笔一扔，揉了揉太阳穴。
    第三天的傍晚，太阳快落山了。
    昏黄的光线透过石屋窄小的窗户打在满是公式的纸上。
    江临盯著那些符號，脑子里突然闪过一个念头。
    为什么非要跟著活动层跑？
    既然活动层在动，那就找个不动的东西把它罩住。
    他不需要在活动层上做估计，他可以改用一个固定的外部域Ω_ext。
    把电流片所有可能演化的活动区域，全部包进这个足够大、边界足够光滑的固定外部域里。
    然后，把活动层內的所有函数，利用延拓算子，平滑地延拓到整个固定外部域上。
    在这个固定光滑域里，去追踪统一常数。
    这不是他原创的招数。
    记忆里，当年读brezis的泛函分析习题集时，里面有过类似的边界延拓技巧。
    但是，把它移植到这套高度非线性的简化mhd问题上，去压制移动电流片的边界常数，他没有在自己读过的任何文献里见过。
    “试试看。”
    他抽出新纸，重新开始写。
    第十一页时，逻辑链条闭合。
    所有的不等式在延拓算子的保护下，服服帖帖地退回了界限之內。
    再审。
    这一次，所有的常数c都只依赖於统一的初值上限，固定外部域 Ω_ext的几何特性，系统参数和宏观边界条件。
    那个幽灵一样的样本细节形状依赖被他成功赶了出去。
    引理 0.1，暂时通过。
    第三十五年三月，江临把这一堆涂改得面目全非的草稿，誊写成正式的电子稿。
    整整二十三页的 latex 代码。
    编译，生成 pdf。
    屏幕上出现了清爽严谨的数学公式。
    標题：【引理0.1：有限时间弱解存在性与条件唯一性】
    状態：【完成。】
    日期：【第三十五年三月七日。】
    江临看著这份文档，心跳有点快。他在【narrow_theorem_draft】文件夹的readme里，郑重地敲下几行字：
    这是一座长城的第一块砖。
    后面还有很多。
    一块一块来。
    三月下旬，短暂的休整后，江临开始了引理 0.2 的攻坚。
    【引理0.2】
    引理0.1 构造的弱解，在附加条件下可提升为局部强解。
    从弱解到强解，听起来只是一步之遥，在数学上却是跨越鸿沟。
    弱解只要求函数有h1的一阶导数，它允许一定程度的物理上的粗糙。
    但要在狭窄的电流片里討论真实的层裂现象，就必须要有更精细的控制，至少需要h2甚至更高阶的范数。
    必须要保证函数不仅连续，而且二阶导数在平方可积的意义下存在。
    需要处理边界的正则性。
    需要保证那些高度非线性的对流项和洛伦兹力项，在求高阶导数时，不会像滚雪球一样把估计常数带爆。
    这一次，推进的速度慢得令人髮指。
    写了五页，卡住。
    他在算分部积分时，漏掉了一个边界上的法嚮导数项。
    补上这个项，前面的不等式又要重新放缩。
    再写三页，又卡住。
    这一次的麻烦更大。
    是嵌入定理用得太快了。
    他在证明过程中，为了控制一个非线性项的无穷大范数，顺手用了一个二维空间里的sobolev嵌入。
    h2→c?
    逻辑上没问题。
    二维h2函数確实是连续的。
    但他忽略了常数。
    忽略了边界正则性和常数对区域几何的依赖。
    在之前那个引理0.1的固定光滑域里，这个嵌入常数k是一个极其乖巧的定值。
    但现在，为了捕捉层裂的临界厚度，他的估计不可避免地又要偷偷回到那个越来越薄的活动层附近。
    一旦区域开始变薄，长宽比开始拉扯，那个嵌入常数k就会像脱韁的野马一样失控爆炸。
    改。
    重新设计权重函数。
    再写。
    尝试用各向异性的sobolev空间来分別控制长和宽两个方向的导数。
    时间一点点流逝。
    到第三十五年五月底，引理0.2的草稿纸已经堆积到了十七页，结论却依然遥遥无期。
    並不是完全没有进展。
    每一天，他都能往前推进一行或者半页。
    但每一天，也都有新的小问题暴露出来。
    修掉这个小漏洞，前面的整个结构就要跟著进行微调。
    整个证明过程，在江临眼里，已经变成了一架越来越臃肿越来越沉重的机械装置。
    越往后走，推导越深，前面的每一颗数学螺栓都开始承担超出设计的重量。
    稍微一点风吹草动，整个证明体系都会发出危险的吱呀声。
    这大概就是现代数学严格证明的常態。
    那些写在教科书上光鲜亮丽的定理，背后全都是这种像泥瓦匠一样反覆涂抹修补的脏活累活。
    进入六月，进展更慢了。
    引理 0.2 勉强推进到了第二十四页。
    但他对这份草稿的態度，从最初的期待变成了深深的不满。
    甚至是厌恶。
    有些步骤，从逻辑上看確实能成立。
    通过各种精妙的数学技巧，通过硬凑出来的插值不等式，结论勉强能接上。
    但是，它不对。
    它不像从物理图像里自然生长出来的东西。
    太生硬了。
    就像是他为了强行渡河，而在泥沼里硬生生搭建起来的脚手架。
    脚手架也许能用，也许能让他把这篇论文水过去。
    但江临不信任这种证明。
    一个真正坚实的数学证明，不应该是这样的。
    它应该像一块打磨好的水晶，让人透过数学的符號，清清楚楚地看见背后的物理结构。
    不是只看见繁复的技巧和令人眼花繚乱的常数控制。
    如果数学和物理在这里脱节了，那这个定理在现实世界里就是不堪一击的。
    第三十五年六月的整整一周，江临停下了。
    不写了，不读论文了，也不去跑那些令人掉头髮的验证脚本。
    每天，他只做最基础的生存维持。
    起床，吃土豆，穿上防护服去外面巡检风机二號的轴承。
    走到两公里外去换观测点的数据卡。
    然后回到石屋。
    坐在那张满是划痕的桌前，盯著引理 0.2 的第二十四页。
    他在等。
    等那些死板的公式开口说话。
    等草稿告诉他，它真正卡住的灵魂到底在哪里。
    第六天下午，阳光斜斜地打在桌面上，灰尘在光柱里飞舞。
    江临看著那个用红笔圈出来的各向异性嵌入常数，突然明白了。
    卡住他的，根本不是某个不等式放缩不够精细，也不是某个嵌入常数没有找到最优界。
    是物理图像。
    是他自己的脑子缺了一块拼图。
    他还不知道二级薄片厚度的下界到底应该由什么决定。
    他知道层裂一定会发生，这是第一性原理决定的。
    也知道二级薄片在经过级联分裂后，不可能无限地薄下去，因为物理世界没有真正的奇异点。
    他还知道，必然有某个微观尺度会站出来，把这个级联过程强行卡住。
    但那个尺度的具体图像是什么？
    他不清楚。
    是磁扩散的本徵尺度？
    是能量耗散与对流的平衡点？
    是边界条件的反射反馈？
    是流出通道的动力学瓶颈？
    还是某种更深层次，他还没意识到的几何拓扑限制？
    他只是模糊地知道有个底线存在。
    但模糊这两个字，是不能写进定理的。
    没有清晰直观的物理图像作为指引，数学推导就只能是蒙著眼睛在悬崖上走钢丝，只能靠硬推。
    硬推出来的结论，就算暂时骗过了形式检查，也骗不过自己。
    第三十五年六月的最后一天。
    江临做了一件几十年来从未列入过任何计划表的事。
    背上携行架，来了一次说走就走的远足。
    没有科研目標，没有任务清单，没有任何预设的结论。
    他只是觉得，如果继续被困在这座石屋里，困在那些冰冷的latex代码和发散的偏微分方程里，他的思维就会和这片废土一样乾涸。