修正的Navier－Stokes方程的空间－时间统计解

就于１９６８年提出的描述粘性不可压缩流体的修正的Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程定义空间－时间统计解并证明空间－时间统计解的存在唯一性，进而由修正Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程空间－时间统计解的存在性得到修正Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程（个别）解的存在性的证明．     

关于3维Navier－Stokes方程解的整体正则性研究

本文对３维Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程解的整体正则性进行了研究,得到了解在一些更弱的范数意义下的“小初值”正则性结果。     

Navier－Stokes方程的非线性Galerkin方法和Crank－Nicolson逼近

研究二维非定常的Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的初边值问题，并且给出了数值求解Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的一种新的全离散化格式，这种格式在于将空间变量离散的非线性Ｇａｌｅｒｋｉｎ有限元方法和时间变量离散的Ｃｒａｎｋ－Ｎｉｃｏｌｓｏｎ逼近结合起来，此外，对应于这种格式的逼近解的收敛精度给予了证明。     

二维Navier—Stokes方程的吸引子与一环面同构

文中证明了二维Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ 方程的吸引子作为拓扑群与一环面同构     

关于二维Navier—Stokes方程的不稳定性

应用分层理论证明了二维Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的ｃ＾２不稳定性,并给出了重要例证分析。     

二维Navier—Stokes方程的有限维性质

Ладыженская指出二维Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程具有如下的“有限维性质”：即由相空间中任一有界不变集出发的运动的决定模态个数有限，并且运动是周期的，如果它的决定模态具同一周期。补充和修正了Ладыженская对这一结果的证明。     

论二维Navier—Stokes方程的吸引子

就二维Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的可吸引任何有界集及单点集的吸引子Ｍ及Ｍ证明了：Ｍ上的运动都是几乎周期的；对ａ∈Ｍ，〔γ（ａ）〕＝ω（ａ）是极小集；Ｍ＝Ｍ     

简化Navier－Stokes方程IF理论广义解的存在性和唯一性

根据简化Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程ＩＦ理论，提出了一个基本假设，在此假设的基础上研究了ＩＦ理论解的存在性和唯一性问题，考察了当简化Ｎ－Ｓ方程逼近Ｎ－Ｓ方程时，论文结论收敛到Ｎ－Ｓ方程的相应结论，这个结论适用于二维不可压ＩＦ流动。     

Navier－Stokes方程的一种泛复数解

通过引入泛复变量求解Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程，得到不可压缩流体Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的一种泛复数解，即速度场和压强场的泛复数表示。     

二维Navier—Stokes方程吸引子中的周期点

证明了二维Ｎａｖｉｅｒ－Ｓｔｏｌｋｅｓ方程在粘性系数ｖ大或外力ｆ小的条件下，对极小全局Ｂ－ｋｅ ｘｈ ｂｂ Ｕ上海一点ａ。     

三维Navier—Stokes方程的吸引子

利用Ｂａｏｎ关于多值映射的半群理论构造了三维Ｎａｖｉｅｒ－Ｓｔｏｌｋｅｓ方程的一种吸引子。     

基于流体力学方程的二维烟雾模拟

介绍了一种基于流体力学方程并采取欧拉法实时模拟二维真实感烟雾的算法.为了获得视觉真实感,烟雾流体场的物理模型是根据Navier-Stokes方程定义;采取欧拉法将烟雾流体场划分为二维网格空间,并将烟雾速度场和浓度场分布定义于每个网格中心点;最后,通过双线性插值获得整幅图象中每个象素的烟雾浓度.试验证明该算法能实时高效地模拟具有真实感的二维烟雾效果.     

二维外区域上Navier-Stokes方程的近似长时间行为

考查了二维外区域上具有无穷远均匀来流ＮａｖｉｅｒＳｔｏｋｅｓ方程的近似长时间行为,用带线性阻尼的ＮａｖｉｅｒＯｓｅｅｎ方程的长时间行为近似ＮａｖｉｅｒＳｔｏｋｅｓ方程长时间行为．在外力项满足适当加权条件下,证明了带线性阻尼ＮａｖｉｅｒＯｓｅｅｎ方程强解的存在唯一性及全局吸引子的存在性,并给出了其Ｈａｕｓｄｏｒｆ及Ｆｒａｃｔａｌ维数的上界估计．     

N—S方程的非线性Galerkin算法的稳定性

提出了求解二维非定常Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ（Ｎ－Ｓ）方程的３种全离散非线性Ｇａｌｅｒｋｉｎ算法，其中空间离散由谱元非线性Ｇａｌｅｒｋｉｎ算法进行，时间离散分别由Ｅｕ－ｌｅｒ法，修正的Ｇｒａｎｋ－Ｎｉｃｏｌｓｏｎ法和两步法进行．此外还分析了这些算法的有界性和稳定性，并给了时间步长的约束条件     

粘性分离格式中压力的收敛性

考虑Navier-Stokes方程的三维初边值问题。在每一个时间步方程分离为一个Euler方程和一个非定常的Stokes方程。在原问题具有一个光滑解的假设下,得到了压力的误差的L²模估计。     

带泊松跳的随机二维Navier Stokes方程解的存在唯一性

我们利用局部弱单调性的方法得到了带泊松跳的随机二维Navier Stokes方程解的存在唯一性.     

跳噪声扰动下人工压缩Navier-Stokes方程解的适定性

为了克服不可压约束条件数值计算困难，引入人工压缩方法，利用Lévy型伊藤公式、一致先验估计、局部单调性和弱收敛方法，由经典的Minty-Browder方法得到人工压缩Navier-Stokes方程强解的存在唯一性.