第四百九十章 NS方程的存在性与光滑性
望月新一端着咖啡，看向舒尔茨道。
当年因为ABC猜想的证明問題，舒尔茨专门跑到日本和望月新一辩论過，但谁也沒能說服对方。
虽然后来庞学林证明了ABC猜想，望月新一也最终承认自己错误。
但是他和舒尔茨之间的关系，一直都不太好。
因此，望月新一這话一问出口，其他几人也停止了交谈，将目光对准舒尔茨，生怕两人又吵了起来。
不過舒尔茨的反应倒有些平淡，笑着摇了摇头道：“现在還沒什么头绪，我现在大部分精力還是放在如何将庞氏几何与算术几何相结合的問題上，我总觉得這两者理论存在着某种联系，如果研究透了，說不定能产生一些奇妙的化学反应。至于NP完全問題，這個命题我已经把它当做有生之年项目去研究。”
“算术几何与庞氏几何之间的关联？”
众人不由得面面相觑。
在算术几何领域，舒尔茨算得上是开山立派的宗师级人物，即使庞学林也不敢說在這一领域的研究是否达到彼得·舒尔茨的水平。
因此，众人对于舒尔茨尝试研究算术几何与庞氏几何之间的关联，显得有些意外的同时，又有些了然。
如果不是因为在這方面有想法，彼得·舒尔茨恐怕也不会离开德国，来到江大這样一個陌生的环境搞研究。
要知道這家伙之前连普林斯顿的邀請，都给直截了当地拒绝了呢。
倒是对于NP完全問題，众人对于彼得·舒尔茨的表态并沒有感觉多少意外。
一旁的刘庭波笑着說道：“NP完全問題我觉得還是不要被直接证明为好，否则像我這样搞密碼学研究的，可就要失业了。”
听刘庭波這么一說，众人顿时笑了起来。
刘庭波這话說的倒沒错，如果NP=P，基本意味這对任何实用的加密系统，存在一個正整数k，有一個运行時間是O(X^k)的算法可以攻破它。
往严重了說，全球各国基于现代加密体系的货币系统都会彻底崩溃，比特币之类的更加不用說。
而且這個命题影响的远远不只密碼学，也会对复杂系统理论有巨大的影响。
包括人工智能，凝聚态，生命科学等等各类系统，這些都与人类的生活息息相关。
而当前处理复杂系统的手段非常依赖数值计算，大部分問題很难求解析解，也自然无法做出有效的预测。
一旦证明P=NP，行商能找到最短的路线，工厂能达到最大的生产力，航班也能得到妥善安排，避免延误……
一言蔽之，任何問題都能在最短的時間内得到最优解，人类可以更好的利用可用资源，科学界、经济界以及工程界将出现更加强大的工具和方法，重大突破会变得源源不断，诺贝尔奖评选委员会将会忙得不可开交。
当然，這是一個理想中的世界，包括庞学林在内，绝大多数数学家都认为，最大的可能性是P≠NP。
但无论结果是否成立，想要证明P=NP或者P≠NP，对数学家而言都存在着很大的困难。
這时，舒尔茨道：“庞教授，你确定好接下来的研究方向了嗎？”
两個多月前，庞学林和佩雷尔曼合作完成了霍奇猜想的证明，并且在国际数学家大会上做了相关报告。
庞学林甚至還提出了庞氏十五问，为数学界未来几十年内的发展指明了方向。
因此，众人都很感兴趣庞学林接下来的研究方向。
庞学林笑了笑，說道：“NS方程的存在性和光滑性！”
“不是黎曼猜想？”
陶哲轩、佩雷尔曼等人纷纷对视一眼，均感觉有些意外。
庞学林已经完成了BSD猜想、霍奇猜想、ABC猜想、孪生素数猜想、波利尼亚克猜想的证明，后面三個猜想，基本上都与素数的分布存在着非常密切的关系。
因此，庞学林接下来搞黎曼猜想的研究，应该也算是顺理成章的事。
他们却沒想到，庞学林怎么忽然对NS方程的存在性与光滑性起了兴趣。
庞学林笑了笑，也不解释。
之所以選擇求解NS方程的存在性与光滑性作为接下来的研究方向，更多的是因为需要精确计算核聚变反应堆中的等离子体湍流問題。
如果這個命题被解决的话，那么设计核聚变反应堆控制软件将会变得非常简单。
NS方程非常复杂，其中涉及速度压力的耦合，一阶偏导，二阶偏导，非线性项等等。
人们目前对于NS方程的理解，還是远不够的。
对于如此复杂的NS方程，人们并不清楚是否有解，对于解是否连续，就更不得而知了。
从某种意义上說，NS方程之于流体就像牛顿第二定律之于经典力学。
很多人也许会說，方程不会解沒关系，我們有计算机，通過数值模拟外加上庞学林给出的求解非线性方程组的方法就能给出数值解。
但是数值解会涉及到精确性和算力之间的平衡，你要算的很准，计算机用的時間就很长，画三维網格，網格数量和網格尺寸的三次方的反比关系，节点数量也大致如此，你的代数方程数量激增，一個問題甚至需要算几十年。
因此，庞学林必须要从源头上解决問題。
从NS方程解本身的性质考虑問題，一方面解肯定存在，因为如果不存在，那我們生活裡的流体现象就也不应存在，或者NS方程本身不能较好描述流体。
第二种可能性可以排除，問題是从严格去证明它的存在性，這就有点像若尔当曲线定理一样，我們是個人大概都能判定一定是对的，但证明的话就存在很大問題了。
第一步证明了解的存在后再看看解空间有多大，能不能搞解析解或者渐近解。
解的长期行为光滑性，甚至再研究解空间的拓扑，或再在解空间上定义方程再去研究解空间上方程的解空间及其拓扑微分性质等。
NS方程的存在性和光滑性，就是研究這些問題。
如果完全搞明白，人类对于流体力学的理解将会有一個突飞猛进的进步。
：https://www.bie5.cc。：https://m.bie5.cc