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

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

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

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

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

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

修正的Navier－Stokes方程的全局性的周期解

本文证明了由于１９６８年提出的描述粘性不可压缩流的修正的Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程在外力ｆ∈Ｌ￣２（０，Ｔ；Ｈ）的条件下（０＜Ｔ＜∞，不要求Ｔ，ｆ小）存在初始速度分布ｖ。使得相应的初边值问题的广义解ｖ具再生性质：ｖ（Ｔ）＝ｖ（０）＝ｖ＿０．从而当外力ｆ还是时间ｔ的以Ｔ为周期的函数时，ｖ也是以Ｔ为周期的函数。上述结论的证明基于以‖ｖ（ｔ）‖和‖ｖ＿ｘ（ｔ）‖的估计和Ｓｃｈａｕｄｅｒ不动点原理。     

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

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

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

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

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

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

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

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

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

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

半线性双曲型方程有限元方法的稳定性和收敛性

本文研究二阶半线性双曲型方程混合问题有限元方法的稳定性和收敛性,得到了连续时间和离散时间有限元逼近的最优误差估计.     

线性Sobolev方程的全离散间断有限体积元方法

笔者给出了线性Sobolev方程后退Euler全离散间断有限体积元格式，得到了该格式的最优L^2模和离散H^1模估计．     

一个线性收敛定性的注记

本文指出当Jacobian近似满足有界退化性质时,由拟牛顿算法得到的迭代序列最多是线性收敛的。     

可压缩N-S方程的特征有限元方法数值模拟

讨论了二维或三维可压缩N-S方程的特征有限元方法数值模拟,严格的理论分析表明这种方法是稳定的,并且具有最优阶误差估计.     

解病态线性代数方程组的常微分方程方法

本文提出用常微分方程方法构造解病态线性代数方程组的基本原理与数值方法,用本文构造的新算法在 BULL DPX/2360计算机上解1000阶以上的由 Hilbert 矩阵构成的严重病态线性代数方程组 HX=b,h_(ij)=i/(i j-1),b_i=1/i,即使采用单精度运算,解的相对精度仍具有五位有效数字.     

N-S方程的一种修正混合有限元法

对N－S方程给出了一种修正混合有限元法,在某些情形,这导致了逼近阶的改进。     

TOR方法解区间线性方程组的收敛性

设A为n阶区间矩阵,且0Aii(i=1,2。…,n),A=D+E+F+E~T+F~T(其中D=diag(A_(11),…,A_(nn)),E+F(E~T+F~T)为A的严格下(上)三角阵),b为n维区间向量、本文给出解区间线性方程组A_x=b的TOR方法:x(m+1)=L_(α,β),Fx(m)+g,其中L_(α,β),F=(2D+αE+βF)~(-1)(2-α-β)D-(α+β)(E~T+F~T)-αF-βE)、g=(2D+αE+βF)~(-1)b:并证明了该方法当A为广义严格对角占优阵时收敛于唯一的区间解。作为本方法的特例、还给出了区间Jacobi法,Gauss—Seidel法,SOR法和AOR法相应的收敛定理。     

Navier—Stokes方程的近似惯性流形方法

本文给出了Navier-Stokes方程的一个近似惯性流形∑,证明了它的存在性和全局吸引子进入这个流形领域厚度的估计,同时用一个简单的近似惯性流形序列∑_j逼近∑,且进行了误差估计,对近似惯性流形逼近与通常Galerkin逼近的计算复杂性进行了比较。     

矩阵的一个定理和线性方程组解的结构

设Ａ∈Ｍ＿（ｍ×ｎ）（Ｆ），则存在ｍ阶可逆矩阵Ｐ和ｎ阶可逆矩阵Ｑ，使其中ｒ＝Ｒ（Ａ）；本文还讨论了一般线性方程组Ａ＿（ｍｎ）Ｘ＿（ｎ１）＝ｂ＿（ｍ１）的可解性及解的结构与矩阵Ｐ，Ｑ之间的关系。