算机，通过数值模拟外加上庞学林给出的求解非线性方程组的方法就能给出数值解。
但是数值解会涉及到精确性和算力之间的平衡，你要算的很准，计算机用的时间就很长，画三维网格，网格数量和网格尺寸的三次方的反比关系，节点数量也大致如此，你的代数方程数量激增，一个问题甚至需要算几十年。
因此，庞学林必须要从源头上解决问题。
从NS方程解本身的性质考虑问题，一方面解肯定存在，因为如果不存在，那我们生活里的流体现象就也不应存在，或者NS方程本身不能较好描述流体。
第二种可能性可以排除，问题是从严格去证明它的存在性，这就有点像若尔当曲线定理一样，我们是个人大概都能判定一定是对的，但证明的话就存在很大问题了。
第一步证明了解的存在后再看看解空间有多大，能不能搞解析解或者渐近解。
解的长期行为光滑性，甚至再研究解空间的拓扑，或再在解空间上定义方程再去研究解空间上方程的解空间及其拓扑微分性质等。
NS方程的存在性和光滑性，就是研究这些问题。
如果完全搞明白，人类对于流体力学的理解将会有一个突飞猛进的进步。