都要绝望。
前两次，无论是c++代码崩溃，还是渐近匹配的代数推导看不穿，好歹都在物理和工程的范畴内。
只要花时间，总能找到抓手。
但这次，他卡在了一篇关于plasid不稳定性数学严格性证明的理论文献前。
论文试图从纯数学的偏微分方程分析角度，证明在某些极限定理下，磁岛的破裂是不可避免的。
然后江临发现自己成了一个文盲。
这篇论文里的每一行不等式变形，拆开看他似乎都认识。
但他完全读不懂。
完全无法理解那些符号背后真正承担的，属于现代数学体系的恐怖重量。
文章里充斥着这样的词汇。
Sobolev范数估计， 弱解的全局存在性，先验能量不等式，空间正则性的提升……
这些词，江临在自学高等数学和泛函分析时隐约看过。
只勉强能在草稿纸上默写出内积空间或完备性的定义。
可当这些干瘪的定义，被硬生生地塞进一个极其复杂的非线性d方程组里，用来作为砖块，推动一条长达三十页的证明链往前走时，江临第一次清楚地感觉到，他站在一堵高耸入云的光滑铁墙门外。
他能凭借强大的代数功底，去机械验算论文里的某一个积分不等式是否放缩正确。
但他完全不能判断，作者为什么必须从左边这个空间跳到右边那个空间？
为什么这里要用一个弱收敛，那里又要用一个紧性定理？
这条逻辑的桥，为什么必须这么修？
机械验算，只能证明他这步算术题没算错。
它完全不能证明他理解了这套庞大而精密的高阶数学工具。
那天晚上，江临坐在屏幕前，看着那篇满是积分号的论文，自嘲地摇了摇头。
果断关掉了文献阅读器。
在工作站的根目录下，新建文件夹。
【Sobolev_Energy_thods】
然后熟练地调出三本在纯数学界大名鼎鼎，足以让无数研究生熬秃头的神书。
Evans的《partial differential Equations》。
brezis的《Functional Analysis， Sobolev Spaces and partial differential Equations》。
te《Navier-Stokes Equations: theory and Nurical Analysis》。
三本电子书的图标在桌面上排开，像三块表面长满青苔的拦路石，压在了他通往真理的门槛上。
江临在纸笔记本上，翻开新的一页，重重写下。
【这是我离独立在数学上严格证明一个磁重联领域定理，距离最近的一次。】
【但我可悲地发现，我缺少了一整套用来修桥的现代数学工具。】
【别废话了，先去学怎么造工具。】
接下来的整整一年多时间里，废土石屋里的节奏，变得单调到了近乎自虐的地步。
像一个孤独的数学信徒，一头扎进Evans和brezis构建的那个抽象的拓扑世界里。
Evans把他按进偏微分方程的泥地里反复摩擦。
在那里，江临的世界观被重塑了。
以前，方程有解就是算出一个带着x和t的表达式，比如u(x，t)=sin(x?ct)。
物理直觉告诉他，波就是这么传的。
但在Evans的世界里，对于非线性方程，有没有解根本不是显式写出一个公式。
那是一条由无数个极其脆弱的逻辑拼凑起来的窄桥。
第一步，先构造一系列平滑的近似解。
第二步，利用极度精妙的先验估计，比如让某项乘以方程本身，然后分部积分，证明这些近似解的某种能量是被控制住的。
第三步，利用这种能量的有界性，引出弱收敛。
第四步，再利用紧性定理，在弱收敛的序列中抽出一个强收敛的子列。
最后一步，让极限量取极限，证明这个影子般的极限，竟然真的满足原方程。
这桥上的每一步，只要有一个不等式放缩漏掉了一丁点误差，整座桥就会轰然坍塌。
没有任何糊弄过去的空间。
江临第一次真正地理解了，为什么一个看似毫无物理意义的数学能量不等式，竟然能拥有如此巨大的权力。
能决定一整族近似解，到底有没有资格活到极限那个彼岸里去。
而卡他卡得最久的，是brezis里的Sobolev嵌入定理。
以前，它只是课本上几条排版难看的定理。
现在，它在江临眼里，变成了一整张等级森严的废土边界地图。
“在这个世界里，你想拥有某种特权，就必须用另一种资源来交换。”
江临在手写板上画着图，喃喃自语。
空间维度不同，可微性指数k不同，可积指数p不同，你所能嵌入的空间性质就截然不同。
哪怕你只差了一丁点指标，越过那条线，数学就会毫不留情地甩给你一个发散的反例，告诉你此路不通。
江临是个极其固执的人。
他用了整整两个月的时间，把所有高维低维情况下的常用嵌入定理，全部推导一遍，并列成了一张巨大的表格。
在这个表格里，每一种嵌入定理的后面，他都硬生生地附上了一个自己构造的，或是书上找来的反例。
那张写满反例的巨大表格，后来被他用胶带贴在了石屋的北墙上。
不是为了展示学问。
是为了每天抬头提醒自己一句话。
在非线性方程面前，正则性从来不是你想要就能有的愿望。
它是你必须拿命去换的条件。
brezis补齐了他泛函的底盘。
弱收敛、紧性、对偶空间、自反空间……
这些名词，以前在他脑子里就像是一堆毫无生气的标本名字。
读完brezis后，它们活了过来，变成了他手里锋利的解剖刀。
江临终于能看懂，前人证明文章里那些抽象的词，在整条逻辑链里到底在承受哪一段重量。
强收敛，那是真金白银的极限。
但强收敛太难拿到了。
所以退而求其次，弱收敛只给你一个模糊的影子。
而紧性定理，则是那个变魔术的手，负责在某些特定的低阶空间里，把那些模糊的影子，重新凝聚成可以触摸的实体。
能不能把这种重新凝聚的实体带回原非线性方程里？
那就得看你一开始第一步的先验能量估计有没有做对，有没有漏水。
一环扣一环，美不胜收。
到了te纳维-斯托克斯方程。
这已经是流体力学的圣经了。
纳维-斯托克斯方程虽然不是包含了磁场的d，但它们拥有极其相似的数学骨架。
不可压条件。
讨厌的非线性对流项。
负责平滑一切的扩散项。
以及那套从先验估计到伽辽金近似，再到紧性引理，最终获得弱解的极其严密的Leray-hopf弱解构造法。
江临读到Leray-hopf弱解存在性证明的那天深夜，外面的风机正发出平稳的低啸。
他闭上眼睛，脑海里不再是代码跑出来的彩色图像，而是一个个抽象的空间在相互交织。
他第一次感觉到，面对一个无法得到解析解的非线性偏微分方程组，人类并不是只有数值模拟这一条路可以走。
纯数学提供了一条更孤高更冷酷的路。
你虽然算不出它的精确样子，但你可以用一套能量不等式的锁链，一点一点地把它逼近死角。
这种逼近不是完全的驯服，因为解依然可能在局部发生奇点爆破（blow-up，千禧年大奖难题）。
但这套锁链，至少能保证它在某个特定的空间范畴内，不能随意发疯乱跑。
第二十年的冬天，第一场大雪封门的时候。
江临翻过te最后一页。
三本神书，终于读完。
【Sobolev_Energy_thods】那个文件夹里，已经塞满了他用手机扫进去的，几千页自己做的习题演算，推翻过的反例，以及像战略地图一样画出的泛函空间关系图。
他没有立刻回到那篇将他拦在门外的plasid严格证明论文。
而是站起身，走到北墙边。
在左侧那张占据了大半面墙的研究史地图旁边，用笔新开辟了一块专门的矩形区域。
【thetical_toolbox（数学兵器库）】
然后，他在下面一行一行地列出了自己这十年里，为了跨越障碍而前后打造的三套重武器。
【1. 数值pdE高阶理论与验证——用于审问机器。】
【2. 渐近匹配与奇异摄动——用于跨越尺度。】
【3. Sobolev空间与非线性泛函能量方法——用于铸造锁链。】
写完这三行字，他走回工作台，翻开已经用到第三本的笔记本。
在倒数第二页，他写下了和五年前极其相似，但底气有天壤之别的一段话。
【plasid类及d非线性破裂问题，底层数学工具已全部储备完
前两次，无论是c++代码崩溃，还是渐近匹配的代数推导看不穿，好歹都在物理和工程的范畴内。
只要花时间，总能找到抓手。
但这次，他卡在了一篇关于plasid不稳定性数学严格性证明的理论文献前。
论文试图从纯数学的偏微分方程分析角度，证明在某些极限定理下，磁岛的破裂是不可避免的。
然后江临发现自己成了一个文盲。
这篇论文里的每一行不等式变形，拆开看他似乎都认识。
但他完全读不懂。
完全无法理解那些符号背后真正承担的，属于现代数学体系的恐怖重量。
文章里充斥着这样的词汇。
Sobolev范数估计， 弱解的全局存在性，先验能量不等式，空间正则性的提升……
这些词，江临在自学高等数学和泛函分析时隐约看过。
只勉强能在草稿纸上默写出内积空间或完备性的定义。
可当这些干瘪的定义，被硬生生地塞进一个极其复杂的非线性d方程组里，用来作为砖块，推动一条长达三十页的证明链往前走时，江临第一次清楚地感觉到，他站在一堵高耸入云的光滑铁墙门外。
他能凭借强大的代数功底，去机械验算论文里的某一个积分不等式是否放缩正确。
但他完全不能判断，作者为什么必须从左边这个空间跳到右边那个空间？
为什么这里要用一个弱收敛，那里又要用一个紧性定理？
这条逻辑的桥，为什么必须这么修？
机械验算，只能证明他这步算术题没算错。
它完全不能证明他理解了这套庞大而精密的高阶数学工具。
那天晚上，江临坐在屏幕前，看着那篇满是积分号的论文，自嘲地摇了摇头。
果断关掉了文献阅读器。
在工作站的根目录下，新建文件夹。
【Sobolev_Energy_thods】
然后熟练地调出三本在纯数学界大名鼎鼎，足以让无数研究生熬秃头的神书。
Evans的《partial differential Equations》。
brezis的《Functional Analysis， Sobolev Spaces and partial differential Equations》。
te《Navier-Stokes Equations: theory and Nurical Analysis》。
三本电子书的图标在桌面上排开，像三块表面长满青苔的拦路石，压在了他通往真理的门槛上。
江临在纸笔记本上，翻开新的一页，重重写下。
【这是我离独立在数学上严格证明一个磁重联领域定理，距离最近的一次。】
【但我可悲地发现，我缺少了一整套用来修桥的现代数学工具。】
【别废话了，先去学怎么造工具。】
接下来的整整一年多时间里，废土石屋里的节奏，变得单调到了近乎自虐的地步。
像一个孤独的数学信徒，一头扎进Evans和brezis构建的那个抽象的拓扑世界里。
Evans把他按进偏微分方程的泥地里反复摩擦。
在那里，江临的世界观被重塑了。
以前，方程有解就是算出一个带着x和t的表达式，比如u(x，t)=sin(x?ct)。
物理直觉告诉他，波就是这么传的。
但在Evans的世界里，对于非线性方程，有没有解根本不是显式写出一个公式。
那是一条由无数个极其脆弱的逻辑拼凑起来的窄桥。
第一步，先构造一系列平滑的近似解。
第二步，利用极度精妙的先验估计，比如让某项乘以方程本身，然后分部积分，证明这些近似解的某种能量是被控制住的。
第三步，利用这种能量的有界性，引出弱收敛。
第四步，再利用紧性定理，在弱收敛的序列中抽出一个强收敛的子列。
最后一步，让极限量取极限，证明这个影子般的极限，竟然真的满足原方程。
这桥上的每一步，只要有一个不等式放缩漏掉了一丁点误差，整座桥就会轰然坍塌。
没有任何糊弄过去的空间。
江临第一次真正地理解了，为什么一个看似毫无物理意义的数学能量不等式，竟然能拥有如此巨大的权力。
能决定一整族近似解，到底有没有资格活到极限那个彼岸里去。
而卡他卡得最久的，是brezis里的Sobolev嵌入定理。
以前，它只是课本上几条排版难看的定理。
现在，它在江临眼里，变成了一整张等级森严的废土边界地图。
“在这个世界里，你想拥有某种特权，就必须用另一种资源来交换。”
江临在手写板上画着图，喃喃自语。
空间维度不同，可微性指数k不同，可积指数p不同，你所能嵌入的空间性质就截然不同。
哪怕你只差了一丁点指标，越过那条线，数学就会毫不留情地甩给你一个发散的反例，告诉你此路不通。
江临是个极其固执的人。
他用了整整两个月的时间，把所有高维低维情况下的常用嵌入定理，全部推导一遍，并列成了一张巨大的表格。
在这个表格里，每一种嵌入定理的后面，他都硬生生地附上了一个自己构造的，或是书上找来的反例。
那张写满反例的巨大表格，后来被他用胶带贴在了石屋的北墙上。
不是为了展示学问。
是为了每天抬头提醒自己一句话。
在非线性方程面前，正则性从来不是你想要就能有的愿望。
它是你必须拿命去换的条件。
brezis补齐了他泛函的底盘。
弱收敛、紧性、对偶空间、自反空间……
这些名词，以前在他脑子里就像是一堆毫无生气的标本名字。
读完brezis后，它们活了过来，变成了他手里锋利的解剖刀。
江临终于能看懂，前人证明文章里那些抽象的词，在整条逻辑链里到底在承受哪一段重量。
强收敛，那是真金白银的极限。
但强收敛太难拿到了。
所以退而求其次，弱收敛只给你一个模糊的影子。
而紧性定理，则是那个变魔术的手，负责在某些特定的低阶空间里，把那些模糊的影子，重新凝聚成可以触摸的实体。
能不能把这种重新凝聚的实体带回原非线性方程里？
那就得看你一开始第一步的先验能量估计有没有做对，有没有漏水。
一环扣一环，美不胜收。
到了te纳维-斯托克斯方程。
这已经是流体力学的圣经了。
纳维-斯托克斯方程虽然不是包含了磁场的d，但它们拥有极其相似的数学骨架。
不可压条件。
讨厌的非线性对流项。
负责平滑一切的扩散项。
以及那套从先验估计到伽辽金近似，再到紧性引理，最终获得弱解的极其严密的Leray-hopf弱解构造法。
江临读到Leray-hopf弱解存在性证明的那天深夜，外面的风机正发出平稳的低啸。
他闭上眼睛，脑海里不再是代码跑出来的彩色图像，而是一个个抽象的空间在相互交织。
他第一次感觉到，面对一个无法得到解析解的非线性偏微分方程组，人类并不是只有数值模拟这一条路可以走。
纯数学提供了一条更孤高更冷酷的路。
你虽然算不出它的精确样子，但你可以用一套能量不等式的锁链，一点一点地把它逼近死角。
这种逼近不是完全的驯服，因为解依然可能在局部发生奇点爆破（blow-up，千禧年大奖难题）。
但这套锁链，至少能保证它在某个特定的空间范畴内，不能随意发疯乱跑。
第二十年的冬天，第一场大雪封门的时候。
江临翻过te最后一页。
三本神书，终于读完。
【Sobolev_Energy_thods】那个文件夹里，已经塞满了他用手机扫进去的，几千页自己做的习题演算，推翻过的反例，以及像战略地图一样画出的泛函空间关系图。
他没有立刻回到那篇将他拦在门外的plasid严格证明论文。
而是站起身，走到北墙边。
在左侧那张占据了大半面墙的研究史地图旁边，用笔新开辟了一块专门的矩形区域。
【thetical_toolbox（数学兵器库）】
然后，他在下面一行一行地列出了自己这十年里，为了跨越障碍而前后打造的三套重武器。
【1. 数值pdE高阶理论与验证——用于审问机器。】
【2. 渐近匹配与奇异摄动——用于跨越尺度。】
【3. Sobolev空间与非线性泛函能量方法——用于铸造锁链。】
写完这三行字，他走回工作台，翻开已经用到第三本的笔记本。
在倒数第二页，他写下了和五年前极其相似，但底气有天壤之别的一段话。
【plasid类及d非线性破裂问题，底层数学工具已全部储备完