第76章 临界（2/2）
这一次，所有的常数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代码和发散的偏微分方程里，他的思维就会和这片废土一样乾涸。