的反例。

    那张写满反例的巨大表格，后来被他用胶带贴在了石屋的北墙上。

    不是为了展示学问。

    是为了每天抬头提醒自己一句话。

    在非线性方程面前，正则性从来不是你想要就能有的愿望。

    它是你必须拿命去换的条件。

    Brezis补齐了他泛函的底盘。

    弱收敛、紧性、对偶空间、自反空间……

    这些名词，以前在他脑子里就象是一堆毫无生气的标本名字。

    读完Brezis后，它们活了过来，变成了他手里锋利的解剖刀。

    江临终于能看懂，前人证明文章里那些抽象的词，在整条逻辑链里到底在承受哪一段重量。

    强收敛，那是真金白银的极限。

    但强收敛太难拿到了。

    所以退而求其次，弱收敛只给你一个模糊的影子。

    而紧性定理，则是那个变魔术的手，负责在某些特定的低阶空间里，把那些模糊的影子，重新凝聚成可以触摸的实体。

    能不能把这种重新凝聚的实体带回原非线性方程里？

    那就得看你一开始第一步的先验能量估计有没有做对，有没有漏水。

    一环扣一环，美不胜收。

    到了Te纳维-斯托克斯方程。

    这已经是流体力学的圣经了。

    纳维-斯托克斯方程虽然不是包含了磁场的MHD，但它们拥有极其相似的数学骨架。

    不可压条件。

    讨厌的非线性对流项。

    负责平滑一切的扩散项。

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

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

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

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

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

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

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

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

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

    江临翻过Te最后一页。

    三本神书，终于读完。

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

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

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

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

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

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

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

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

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

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

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

    但这一次，不再是也许。

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

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

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

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

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

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

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

    湍流重联和聚变设备撕裂模。

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

    但Laz