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

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

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

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

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

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

修正的Navier—Stokes方程的定常解

考虑Ладыженкая于１９６８年作为粘性不可压缩流的一个数学模型提出的修正的Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的定常解的存在性，唯一性和吸引性。定常的修正的Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程是满足一定的单调性条件的拟线性椭圆方程组。     

二维Navier—Stokes方程的吸引子和二维Navier—Stokes流

证明二维Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的吸引子是紧的连通的可交换群,在其上的二维Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ流具遍历性和唯一遍历性,但不具混合性     

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

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

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

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

二维超声速流中横向喷流的数值研究

采用隐式ＮＮＤ格式求解二维雷诺平均的Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程，采用Ｂａｌｄｗｉｎ－Ｌｏｍａｘ的代数涡粘性模型，研究了喷流场的结构及激波和旋涡对横向喷流场的影响     

用最优控制法解加罚型的Navier-Stokes方程

本文用最优控制法解加罚型的 Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程。为了构成一最优控制问题，采用了如Ｇｌｏｗｉｎｓｋｉ所提出的二次泛函，并用共轭梯度法求其极值。以空腔拖带流为例给出了数值结果。     

稳态N—S流的能量衰减估计

对平面半无限带状区域上的稳态Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ流的速度场建立了Ｓａｉｎｔ－Ｖｅｎａｎｔ原理,利用一个二阶微分不等式,在一定条件下,证明了以Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ流边值问题的解所定义的加权能量积分随着与区域有限端的距离增大呈指数形式衰减。     

平面定常Navier-Stokes方程组的有限元方法

本文讨论平面定常流函数Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程组的有限元方法及其收敛性，并且证明： 只要有限元空间具有逼近性，紧致性且通过广义分片检验，则当Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程组的 解是唯一时，有限元解是收敛的；特珠地，本文证明了：用收敛的薄板弯曲单元求解这一 方程也是收敛的；进一步，当雷诺数足够小，Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程组的解的正则性满足薄 板弯曲时解的正则性要求时，有限元解的误差关于ｈｒ的量级与薄板弯曲的情形是一致的。     

稳态不可压N-S方程的一个耦合边界条件

利用Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ（Ｎ－Ｓ）方程与Ｏｓｅｅｎ方程的耦合，设计出了原始变量下稳态不可压Ｎ－Ｓ方程在出流边界上的一个耦合边界条件。数值结果表明，耦合边界条件比Ｄｉｒｉｃｈｌｅｔ边界条件要精确得多。     

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

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

修正的Navier—Stokes方程的解的解析性与后向唯一性

讨论了修正的Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的解的时间解析性并证明了它们的后向唯一性。     

基于微元指数拟合的湍流控制方程离散格式初探

针对Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程及各种湍流模型之控制方程的数值解，提出了微元指数拟合的概念，并以ｋ－ε模型为例建立起了一个新的离散格式。     

定常Navier-Stokes方程组的惩罚有限元方法

本文讨论定常Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程组的惩罚有限元方法，在一定条件下，证明了罚 函数有限元解能够逼近Ｎａｖｉｅｒ－ｓｔｏｋｅｓ方程组的非奇异解，单极限点和非退化拐点等。 若干收敛的单元在最后给出。     

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

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

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

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

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

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

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

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