第73章 文献的战场（5 / 13）
他能凭藉强大的代数功底，去机械验算论文里的某一个积分不等式是否放缩正確。
但他完全不能判断，作者为什么必须从左边这个空间跳到右边那个空间？
为什么这里要用一个弱收敛，那里又要用一个紧性定理？
这条逻辑的桥，为什么必须这么修？
机械验算，只能证明他这步算术题没算错。
它完全不能证明他理解了这套庞大而精密的高阶数学工具。
那天晚上，江临坐在屏幕前，看著那篇满是积分號的论文，自嘲地摇了摇头。
果断关掉了文献阅读器。
在工作站的根目录下，新建文件夹。
【sobolev_energy_methods】
然后熟练地调出三本在纯数学界大名鼎鼎，足以让无数研究生熬禿头的神书。
evans的《partial differential equations》。
brezis的《functional analysis， sobolev spaces and partial differential equations》。
temam的《navier-stokes equations: theory and numerical analysis》。
三本电子书的图標在桌面上排开，像三块表面长满青苔的拦路石，压在了他通往真理的门槛上。
江临在纸笔记本上，翻开新的一页，重重写下。
【这是我离独立在数学上严格证明一个磁重联领域定理，距离最近的一次。】
【但我可悲地发现，我缺少了一整套用来修桥的现代数学工具。】
【別废话了，先去学怎么造工具。】
接下来的整整一年多时间里，废土石屋里的节奏，变得单调到了近乎自虐的地步。
像一个孤独的数学信徒，一头扎进evans和brezis构建的那个抽象的拓扑世界里。
evans把他按进偏微分方程的泥地里反覆摩擦。
在那里，江临的世界观被重塑了。
以前，方程有解就是算出一个带著x和t的表达式，比如u(x，t)=sin(x?ct)。
物理直觉告诉他，波就是这么传的。
但在evans的世界里，对於非线性方程，有没有解根本不是显式写出一个公式。
那是一条由无数个极其脆弱的逻辑拼凑起来的窄桥。
第一步，先构造一系列平滑的近似解。
第二步，利用极度精妙的先验估计，比如让某项乘以方程本身，然后分部积分，证明这些近似解的某种能量是被控制住的。
第三步，利用这种能量的有界性，引出弱收敛。 ↑返回顶部↑
但他完全不能判断，作者为什么必须从左边这个空间跳到右边那个空间？
为什么这里要用一个弱收敛，那里又要用一个紧性定理？
这条逻辑的桥，为什么必须这么修？
机械验算，只能证明他这步算术题没算错。
它完全不能证明他理解了这套庞大而精密的高阶数学工具。
那天晚上，江临坐在屏幕前，看著那篇满是积分號的论文，自嘲地摇了摇头。
果断关掉了文献阅读器。
在工作站的根目录下，新建文件夹。
【sobolev_energy_methods】
然后熟练地调出三本在纯数学界大名鼎鼎，足以让无数研究生熬禿头的神书。
evans的《partial differential equations》。
brezis的《functional analysis， sobolev spaces and partial differential equations》。
temam的《navier-stokes equations: theory and numerical analysis》。
三本电子书的图標在桌面上排开，像三块表面长满青苔的拦路石，压在了他通往真理的门槛上。
江临在纸笔记本上，翻开新的一页，重重写下。
【这是我离独立在数学上严格证明一个磁重联领域定理，距离最近的一次。】
【但我可悲地发现，我缺少了一整套用来修桥的现代数学工具。】
【別废话了，先去学怎么造工具。】
接下来的整整一年多时间里，废土石屋里的节奏，变得单调到了近乎自虐的地步。
像一个孤独的数学信徒，一头扎进evans和brezis构建的那个抽象的拓扑世界里。
evans把他按进偏微分方程的泥地里反覆摩擦。
在那里，江临的世界观被重塑了。
以前，方程有解就是算出一个带著x和t的表达式，比如u(x，t)=sin(x?ct)。
物理直觉告诉他，波就是这么传的。
但在evans的世界里，对於非线性方程，有没有解根本不是显式写出一个公式。
那是一条由无数个极其脆弱的逻辑拼凑起来的窄桥。
第一步，先构造一系列平滑的近似解。
第二步，利用极度精妙的先验估计，比如让某项乘以方程本身，然后分部积分，证明这些近似解的某种能量是被控制住的。
第三步，利用这种能量的有界性，引出弱收敛。 ↑返回顶部↑