第73章 文献的战场（2/2）

负责平滑一切的扩散项。

以及那套从先验估计到伽辽金近似，再到紧性引理，最终获得弱解的极其严密的leray-hopf弱解构造法。

江临读到leray-hopf弱解存在性证明的那天深夜，外面的风机正发出平稳的低啸。

他闭上眼睛，脑海里不再是代码跑出来的彩色图像，而是一个个抽象的空间在相互交织。

他第一次感觉到，面对一个无法得到解析解的非线性偏微分方程组，人类並不是只有数值模擬这一条路可以走。

纯数学提供了一条更孤高更冷酷的路。

你虽然算不出它的精確样子，但你可以用一套能量不等式的锁链，一点一点地把它逼近死角。

这种逼近不是完全的驯服，因为解依然可能在局部发生奇点爆破（blow-up，千禧年大奖难题）。

但这套锁链，至少能保证它在某个特定的空间范畴內，不能隨意发疯乱跑。

第二十年的冬天，第一场大雪封门的时候。

江临翻过temam的最后一页。

三本神书，终於读完。

【sobolev_energy_methods】那个文件夹里，已经塞满了他用手机扫进去的，几千页自己做的习题演算，推翻过的反例，以及像战略地图一样画出的泛函空间关係图。

他没有立刻回到那篇將他拦在门外的plasmoid严格证明论文。

而是站起身，走到北墙边。

在左侧那张占据了大半面墙的研究史地图旁边，用笔新开闢了一块专门的矩形区域。

【mathematical_toolbox（数学兵器库）】

然后，他在下面一行一行地列出了自己这十年里，为了跨越障碍而前后打造的三套重武器。

【1. 数值pde高阶理论与验证——用於审问机器。】

【2. 渐近匹配与奇异摄动——用於跨越尺度。】

【3. sobolev空间与非线性泛函能量方法——用於铸造锁链。】

写完这三行字，他走回工作檯，翻开已经用到第三本的笔记本。

在倒数第二页，他写下了和五年前极其相似，但底气有天壤之別的一段话。

【plasmoid类及mhd非线性破裂问题，底层数学工具已全部储备完毕。】

第一次写类似的话，是他读完bender&orszag之后。

那时他只是模模糊糊地觉得，也许可以依葫芦画瓢去推点东西。

但这一次，不再是也许。

他清晰地看见了一条极窄，但完全行得通的路。

那是一条从最宏观的电流片断裂，穿过渐近匹配的边界层，最终通向用泛函能量方法给出严格弱解约束的路。

他没有立刻在这条路上起跑。

因为目前观测数据的缺失，还不值得他动用这套重火力去进行理论空转。

但他知道，这两条线，废土天空的红带观测，与墙上这套终极数学兵器，已经在他的心里各自亮起。

如果时机成熟，它们必定会在同一个极其危险的奇点处，轰然匯合。

第二十一年和第二十二年，江临把视线投向了磁重联领域中极其庞大，且与工业界紧密相连的两个分支。

湍流重联和聚变装置撕裂模。

他先读了湍流重联的奠基之作： lazarian，a.，&vishniac，e.t.(1999). reconnection in a weakly stochastic field.

在此之前，江临读的所有模型，都在努力寻找一种特殊的微观几何机制来加速重联。

但lazarian-vishniac（lv99）理论直接掀了桌子。

因为lv99理论的核心思想极其狂野。

如果等离子体中的磁场本身就处於高度混乱的湍流状態，那么在巨大的宏观尺度下，会同时发生无数个微小的，隨生隨灭的小尺度重联事件。

因为磁力线在三维空间里像一团乱麻一样游走，它们交匯的触点成倍增加。

整体的重联速率，自然而然就变快了。

这个理论最迷人也最恐怖的地方在於。它根本不在乎那个底层的单一微观机制到底是什么。

隨便你是sweet-parker还是hall效应，在宏观的统计平均下，那些微观细节全被湍流效应抹平了。

它把磁重联从一个需要被精確解剖的单一几何事件，直接重新定义为一个由海量隨机事件构成的统计现象。

教材上写到湍流重联的时候，总是一笔带过，给出一个与湍流强度成正比的重联率公式就算完事。

但当江临硬著头皮去啃lv99及后续发展的原稿时，他感到了一阵深深的违和感。

湍流重联这条研究路线，是所有重联理论里，最不像传统理论物理，反而最像工程统计学的一支。

它不在乎局部的细节，只在乎整体的功率谱和统计系综。

这其实和江临在废土上做了二十多年的事非常像。

他的观测设备极其简陋，单张照片的信噪比很低。

他就是靠著大量低质量数据的堆叠，通过时间序列的统计平均，才勉强挤出了一点点可信的极光红带信號。

思路是一模一样的。

按理说，他应该对这种理论感到亲切。

但他读不下去了。

因为为了给出lv99理论的严格数学证明，后来者动用了两套比sobolev空间更让他陌生的工具。

要继续深入这条线，他绕不开湍流统计、隨机场、尺度级联，甚至某些借自统计场论和重整化群的语言。

这是直接从凝聚態物理和量子场论里借来的终极杀器。

江临靠在椅背上，看著屏幕上的重整化群流方程。

他的工具箱里，对这两样东西没有任何储备。

统计场论需要极高的配分函数积分技巧。

重整化群需要理解尺度变换下的固定点和临界指数。

要在没有导师指引的废土上，把这两套工具补齐，並且达到能自己独立推导演算的水平，江临在心里默默盘算了一下。

至少需要三本《量子场论》级別的砖头书。 至少需要三到五年的纯补课时间。

但这还不是最麻烦的。

退一万步讲，就算他花了五年时间成了重整化群的高手，那又怎样？

lv99理论里，想要预测重联速率，需要输入几个关键的微观参数。

局地湍流注入尺度，各向异性的湍流功率谱指数，以及小尺度的阿尔芬马赫数。

江临转头看了看外面。

他能获取的数据是什么？

是地面上那台民用磁力计，它只能读出一个经过几十公里大气层衰减后的总磁场矢量。

他根本不可能获取那片红带所在区域的高空原位湍流功率谱。

这是一条死胡同。

江临在工作站前整整权衡了一下午。

补，花五年时间，得到一套屠龙术。

不补，对於湍流重联这个庞大的分支，他只能停留在看懂综述里別人总结的公式这一浅薄的层面，永远无法亲自下场验证。

最后，他站起身，走到北墙的【mathematical_toolbox】区域。

拿起笔，在之前的三条工具下方，非常用力地写下了第四条。

【4. 统计场论与重整化群方法——主动选择不补。】

然后在下面加上了一行红色的批註。

【理由：获取此工具的时间代价过高。且即便补完，也绝对无法用它来独立验证我的任何地面废土观测数据。】

【这不是退缩或放弃，这是对现实物理边界的承认，知止不殆。】

写完这段话，江临心里没有一丝遗憾。

这是一种只有跨越了无数高山后，才能拥有的属於成熟者的从容。

他知道自己能改变什么，更知道自己不能改变什么。

紧接著，在第二十二年的下半年，江临快速扫读了大量关於托卡马克装置中撕裂模的论文。

撕裂模。

这是那些致力於可控核聚变的物理学家们最头疼的不稳定性之一。

它会在极高温度的等离子体环里撕开磁面，导致约束崩溃。

当江临把撕裂模的方程和空间磁重联的方程放在一起对比时，忍不住笑了。

本质上，它们就是同一种物理。

它们不是同一个问题，却共享同一类物理核心，磁拓扑改变、磁能释放、流体/电磁耦合，以及边界条件对演化路径的强约束。

唯一的区別是什么？

边界条件。

太阳耀斑和地球磁层顶的磁重联，发生在一个广阔的近乎自由边界的开放空间里。

而托卡马克里的撕裂模，被死死地锁在一个有著强环向磁场，有著导电金属器壁，有著复杂的几何曲率的封闭甜甜圈里。

边界完全不同，但核心的物理引擎，是同一个。

不远处，风机二號正在风中平稳地转动。

这台买来的入门级商品风机，被他改造，维修，调试过无数次。

旁边的地基上，是已经被拆掉的旧风机的残骸。

旧风机是他第五次废土时手搓的，零件很多来自废土世界的残骸

两颱风机。

一台是高工业標准產物，一台是废土手工极客残次品。

外形完全不同，工艺天差地別，来源毫无瓜葛。

但它们，都在做同一件事，把风的动能，转化为电能。

它们遵循的核心物理规律，是完全同一个祖宗。

风的流体动力学入射计算，叶片攻角与升阻力分解，发电机內部的法拉第电磁感应定律，交流转直流的整流桥，以及最后的蓄电池储能。

这一整套物理流程，对两颱风机都绝对成立。

它们之所以看起来不一样，表现不一样，仅仅是因为它们被具体实现的边界条件不同。

太阳耀斑与托卡马克装置的关係。

空间等离子体与实验室等离子体的关係。

就像风机一號与风机二號的关係一样。

江临转过身，在工作站里建立了一个全新的、也是最后一个总结性的文件夹。

命名为：【same_physics_different_boundaries（同源物理与异构边界）】

他没有往里面放任何论文。

只是在里面建了一个名为readme.md的文本文档，写了一句话。

【核心引擎永远只有一个，世间万物的千姿百態，皆是边界条件的不同所化。】

第二十二年的最后一天，十二月三十一日。

废土迎来了极其罕见的极寒之夜。

气温骤降，天空却异常晴朗，没有一丝云彩。

石屋里，江临关掉了所有的屏幕。唯一的照明，是头顶的露营灯。

他站在北墙前。

整面巨大的北墙，已经被他的研究史地图密密麻麻地爬满了。

那是他用整整十年的时间，一寸一寸打下来的江山。

a类核心论文精读，附带手推公式和復现验证，八十二篇。

b类重点论文脉络梳理，四百二十一篇。

c类泛读与索引库归档，四千零三十六篇。

每一篇稍微重要点的文章，都被江临在墙上用引线和標籤標註过。

標註的不是论文的结论有多伟大。

標註的是它们最脆弱的假设是什么，是它们与他在废土上能观测的现象之间，隔著多少个无可逾越的数量级壁垒，是它们属於哪一种核心相同但边界相异的家族树。

这面墙上的標记五花八门，完全不像是一个学者的知识树。

更像是一个身经百战的老兵画出来的战区地图。

绿色標记：【有限可信】。

那些他自己用严苛的pde代码復现过的非线性结构如plasmoid。

黄色標记：【部分可验证】。

逻辑闭环，但实验条件苛刻如gem挑战赛。

红色標记：【完全不可验证】。

数学上自嗨，物理上毫无抓手的空中楼阁。

蓝色標记：【已被反例否定】。

已经被更高维度的模擬或观测实锤推翻的旧理论。

黑色標记：【数学自洽但物理孤立】。

紫色標记：【后人的曲解】。

完全是后世教材强行补上去的註解，原作者当年根本不持此观点比如parker的初衷。

还有那颗黑色的星星：【不可触及的高点】。

每一条引线，每一个色块，每一行批註，都瀰漫著这个极其艰深的领域里，几代顶级物理学家廝杀，妥协，自我推翻的硝烟味。

在这片战区地图的右侧，是那块写满了他心血的【mathematical_toolbox】。

里面安静地躺著数值分析，渐近匹配，sobolev空间三大兵器，以及那行触目的红字。

暂时主动放弃的重整化群。

江临在工作檯前，背靠著椅子，静静地看完了整面墙。

看了足足半个小时。

然后打开工作站的日记本程序，郑重地敲下了第二十二年的年度，也是这十年的终极总结。

【第二十二年总结】

【过去十年数据通报：a类核心论文精读完毕八十二篇。b类重点理清四百二十一篇。c类索引归档四千零三十六篇。】

【底层数学兵器补课完成三项。基於现实边界，主动放弃一项。】

【研究史的脉络图，已爬满整面北墙。】

回车，换行。

【十年前，也就是我刚把那些二手教材全刪了的时候，我以为我在学磁重联是什么。】

【现在，经过了这十年，我看著这满墙的顏色標籤，我终於知道，我这十年真正学到的，是这个领域为什么至今没有被完全解决。】

【我知道了什么假设是脆弱的，什么机制是强加的，什么数学是勉强的，什么观测是遥不可及的。】

【在这个试图揭示宇宙最核心能量释放规律的课题里，要想真正走向答案，你必须先知道前人都死在了哪些坑里。知道为什么没被解决，是任何一个试图接近真理的人，在看到答案之前，必须先一步步蹚过去的一道鬼门关。】

【我已经在这道鬼门关里，走了整整十年。】

【如果你现在问我，我离最终的答案近了多少？我诚实地回答，也许还有十万八千里。】

【但是，我知道另一件事。】

【我离知道自己到底不知道什么的这个境界，近了很多很多。】

【在这个荒芜的废土世界里，这就足够了。这给了我面对满天繁星时，不至於发疯的锚点。】

【这段长达十年的纸面推演与歷史测绘，可以正式收尾了。】

保存，关闭程序。

江临关掉工作站主机的电源，走到石屋门口，推开木门。

极寒的冷空气瞬间涌入，江临不由自主地打了个寒颤。

他把防寒服的拉链拉到最顶端，走进了夜色中。

外面，风机二號在夜风中平稳地转动，像一个忠诚的哨兵。

他顺著线路望去，远处的观测点a和观测点b，各自在黑暗中亮著一盏犹如萤火虫般极其微弱的绿色电源指示灯。

他抬起头，看向北方的低空。

今晚，天空极其澄澈。

但那条他魂牵梦绕的淡红色亮带，並没有出现。

江临没有失望。

因为它就在那里，从他第六次重返废土的第七十天起，从他第一次在镜头里捕捉到它的异常轮廓起，它就一直在那里。

在他在石屋里啃噬那八十二篇a类核心论文的整整十年日日夜夜里，那条红带，那场高空的大撕裂，从来没有真正离开过这片满目疮痍的天空。

它只是有它自己的脾气，有时候不出来而已。

江临在凛冽的夜风中站得笔直，深深地吸了一口冷空气。

然后转身回到了石屋里。

他知道明天自己要做什么了。

理论的图纸已经画完，数学的刀已经磨快。教材给出了sweet的长条麵条，petschek给出了华丽的x型，plasmoid给出了碎裂的磁岛串，hall给出了电子离子的背离，湍流给出了统计的迷雾。

但这些，终究都是在超级计算机和草稿纸上被妥协，被抽象过的模型图像。

江临想看的，不是模型。

他想看的，是这片遭受了真实灾难的废土上，在每一次红带闪耀时，大自然这台无穷算力的主机，所遗留下来的真实磁场宏观残骸。

明天，重新布置观测基线网。

去捕捉属於废土本身的真相。