也就是他之前证明的纳维-斯托克斯问题弱解的存在，此解在流场中平均值上满足纳维-斯托克斯问题，但无法在整个定义域的每一点上满足。
现在，他想要解决的是纳维-斯托克斯的强解问题，即其解需要在流场中定义域上的每一点上都要满足。
用另一种说法，对一给定的起始点流动条件，可以准确预测随时间变化后面发展的任意时刻的流动状况。
或者对湍流流动中的任何一点任意时刻的流动，可以精确追溯到它的起始点的流动的起始条件。
跟弱解的放宽条件不同，强解的收缩条件同样也是证明的方式之一。
当人们无法直接证明N-S方程的解存在且光滑，那么强解不失为一个好办法。
通俗来说就是虽然我不能证明一个未知数大于5，但如果我证明了它大于6，那么前者就将必定成立。
详细描述出来便是对于一类抽象的bilinearoperatorB这类算子和Eulerbilinearoperator具有类似的非线性结构。
比如：满足cetionproperty。
但是，它不一定等于B。
内容未完，下一页继续阅读