第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代码和发散的偏微分方程里，他的思维就会和这片废土一样乾涸。