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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

不可压缩流体的区域分裂算法

给出了定常不可压Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的区域分裂算法；并借助于一个等价问题的泛函的严格凸性质以及无散度Ｈｉｌｂｅｒｔ空间和分解等技巧，证明了算法的收敛性。有关数值算例表明该算法是有效的。     

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

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

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

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

计入粘性影响的螺旋桨性能计算

应用非线性定常力面理论计算螺旋桨水动力性能，引入准三维高阶近似Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程，辅以二模式湍流方程以及差分数值方法计算浆叶边界层，通过迭代匹配计算考虑粘性对螺旋桨性能的影响，计算实例表明，理论计算结果同模型试验相应结果符合良好。     

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

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

一类流体力学方程组第二边值问题的弱解

讨论了一类修正的Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ型方程组Ｎｅｕｍａｎｎ边值问题的可解性和解的性质，并应用于化学工程中十分重要的非牛顿流体流动的研究中。     

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

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