听完徐川的述说,邱成桐沉吟了一下后开口道:“这的确是一个很好的思路,从计算上来说,这条路应该是可行的。不过我更建议将双线性算子替换成线性变换,相对比较后者,前者的局限性还是有的的,特别是在面对某些特殊空间的时候,双线性算子的能力可能不够。”
徐川想了想,点了点头,道:“的确,但双线性算子也有独特的优势,比如双射线性算子在向量空间中的置换有着对称的性质,在特殊的空间,如正方形、椭圆、圆形等空间中相当合适。”
“或许可以混合一起使用?”
邱成桐摇了摇头,道:“从数学上来说这应该可行,但如果你是想利用这个来针对湍流建立一个控制模型的话,不一定行的通。”
“特别是超高温的等离子体湍流,变化量太大了,如今的计算机性能与智能不一定能做到,哪怕是使用超计算机也不一定可行。”
“你应该知道,当一个数学模型在运算时的变量太大的,那将是超级计算机都无法完成的计算任务。”
他已经知道了徐川的来意,所以思考了一下后从工程学角度提醒了这个问题。
徐川沉思了一下,道:“你说的有道理,如果模型运算太复杂,那对于计算力的要求也太高了,特别是针对可控核聚变反应堆腔室内的等离子体湍流而言,稍微有一点紊乱,就容易出现的大幅度的计算量增加。”
不得不说,邱成桐的能力的的确恐怖,一针见血的就指出了他构思想法中的问题。
他的科研能力不仅仅是数学上的,还有物理学和工程学上的。
他曾是哈佛大学物理学的终身教授,也是哈佛大学有史以来兼任数学系教授和物理系教授的唯一一人。
在当初哈佛大学的“数学科学及应用中心”担任主任时,邱的贡献涉及到了控制论、图论、、数据分析、人工智能和三维图像处理等各方面,可以说是一个理论应用双行的顶级大牛。
这样的一位人才,如今在归国为国家做贡献,是国之幸事。
办公室中,徐川和邱成桐不断的交流各自在偏微分方程领域的看法和思想,直到黄昏的夕阳透过玻璃窗落在两人身上才终止。
告别了邱成桐后,徐川回到了金陵。
这次的交流,无论是对他来说,还是对邱来说都受益匪浅。
两位真正顶级的数学家敞开心扉,交流着在偏微分方程领域的各自见解,这是智慧火的碰撞,或将融合成更大的一朵火,去照亮那看似混沌的迷雾。
回到金陵,徐川暂时放下了其他的工作,将自己关在了别墅中。
为可控核聚变反应堆腔室中的超高温等离子体湍流建立一个数学模型是一个宏伟的目标,几乎不可能一步到位。
但如今,他有足够的资格与能力将这条路往前开拓一截。
书房中,徐川取来一叠稿纸和笔,坐在书桌前沉思着。
旁边,已经打开的笔记本电脑和台式机显示屏上都打开了一道道的网页和论文。
这些都是启动正式工作前的准备。
无论是在写论文,亦或者是证明某个难题时,经常需要引用或查找各种资料。
书桌前,徐川沉思了良久后,终于抬起了右手,手中的黑色圆珠笔在空白的a4纸页上写下了一行标题。
《三维空间中可压缩navier-s的非线性指数稳定性与整体存在性解的研究!》
写下了一行标题之后,他开始为整个证明编写引言。
【引言:粘性流体的运动方程首先由navier在1827年提出,只考虑了不可压缩流体的流动。poisson在1831年提出可压缩流体的运动方程。saint-venant在1845年,stokes在1845】
【而纳维-斯托克斯方程(navier-stokesequation)是描述粘性不可压缩流体动量守恒的运动方程,简称n-s方程。n-s方程概括了粘性不可压缩流体流动的普遍规律,因而在流体力学中具有特殊意义.】
【.】
【可压缩粘性n-s方程由三个守恒方程组成:质量守恒方程,动量守恒方程,能量守恒方程。且括三个未知函数:(v(x,t),u(x,t),θ(x,t)),分别代表流体的比容(密度的倒数),速度,绝对温度。接下来讨论方程组初边值问题解的存在,唯一性问题。】
【目前而言,所有的讨论都是在有界域上。】
【因此,是否能给予一个有限界域与具有dirichlet边界的条件,在三维空间中,navier-stokes方程存在实解,且解光滑?】
ps:晚上还有一章,求月票。