第149章 挡住无数天才的围墙（2 / 3）

会是条死路呢？

    这个消息太吓人了，如果确实如此，那不知道有多少人的半生的努力都随之付之东流。

    “确实，这也不难解释，为什么从Clay之后，这个问题到现在近乎没有任何实质性进展，因为这条路从一开始就是错的。”

    洛珞轻声开口道。

    刚才陈教授一点点理解他的证明时，他就这样食指中指夹着笔，双手抱在肩膀上，跟着老师一同回顾这个证明思路。

    直到老师应该是看完了全部过程有所感叹后，他才出声附和道。

    是的，作为整个证明的创作者，他才是第一个发现这个问题的人，问题就是这个思路根本走不通。

    光滑解是物理世界的完整写照，但从数学上讲，它们可能并不总是存在。

    研究NS方程的数学家们担心这种情况出现：假如我们正在运行NS方程，并观察向量场会如何变化。

    过了一段时间后，方程显示流体中的某个粒子正以无限快的速度移动——问题便来了。

    NS方程涉及到的是对流体中的压力、摩擦力和速度等性质的变化进行测量，它们取这些量的导数。

    我们无法对无穷大的值进行求导，所以说如果这些方程里出现了一个无穷大的值，那么方程就可被认作为失效了。

    它们不再具有描述流体的后续状态的能力。

    同时，失效也是一个预示着方程中失去了某些应该描述却没能描述的物理世界。

    如果谁能找到NS方程绝不发生失效、或能确定让其失效的条件，谁就解决了NS方程难题。

    对这一问题的其中一个研究策略，就是首先放宽它们的解的一些要求。

    也就是他之前证明的纳维-斯托克斯问题弱解的存在，此解在流场中平均值上满足纳维-斯托克斯问题，但无法在整个定义域的每一点上满足。

    现在，他想要解决的是纳维-斯托克斯的强解问题，即其解需要在流场中定义域上的每一点上都要满足。

    用另一种说法，对一给定的起始点流动条件，可以准确预测随时间变化后面发展的任意时刻的流动状况。

    或者对湍流流动中的任何一点任意时刻的流动，可以精确追溯到它的起始点的流动的起始条件。

    跟弱解的放宽条件不同，强解的收缩条件同样也是证明的方式之一。

    当人们无法直接证明N-S方程的解存在且光滑，那么强解不失为一个好办法。

    通俗来说就是虽然我不能证明一个未知数大于5，但如果我证明了它大于6，那么前者就将必定成立。

    详细描述出来便是对于一类抽象的bilinearoperatorB这类算子和 Euler bilinear operator具有类似的非线性结构。

    比如：满足cancelation property。

    但是，它不一定等于B。

    如果这个更强的结果成立，那么NS问题相当于解决了，或者先证明一类和B相似的正则算子B有解，然后取极限。

    这个思路有点像为了证明椭圆形方程，证明对于任意的自伴正定算子 A，抽象Au=f方程总是有解的。

    但是洛珞已经证明了，这个思路是走不通的。

    他构造一种