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

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

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

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

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

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

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

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

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

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

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

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

修正的Navier—Stokes方程的一个存在性定理

证明了ЛａДЫЖｅＨＣＫａЯ的修正的Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程当其参数ａ≥０时的存在性定理。     

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

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

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

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

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

考虑于１９６８年作为粘性不可压缩流的一个数学模型提出的修正的Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的定常解的存在性，唯一性和吸引性．定常的修正的Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程是满足一定的单调性条件的拟线性椭圆方程组．利用逼近建立了一个一般的存在性定理，进而看到，如果或者椭圆性常数足够大，或者具适当大的单调性参数，或者外力相当小，则有唯一的定常解，最后，我们在类似（仅仅是类似！）于上述的条件下证明了所有的定常解的集合是极小的紧的不变的可吸引相空间中任何有界集的吸引子．     

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

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

Navier-Stokes方程的高精度非线性Galerkin方法

提出了求解Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的一类高精度非线性Ｇａｌｅｒｋｉｎ方法,给出了数值解的先验估计和收敛精度的证明。     

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

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

一类广义Navier-Stokes 方程的整体吸引子及其维数估计

本证明一类广义Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的整体吸引子的存在性,并得到了整体吸引子的Ｈａｕｓｄｏｒｆｆ维数,分形维数估计。     

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

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

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

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

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

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

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

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

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

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

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

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