磁流体方程的时间解析性和时间周期解

考查了周期边界条件下的磁流体方程,证明了它的解关于时间是解析的,由此得到了磁流体方程的解的向后惟一性.对于周期解,证明了当周期小于某个常数时,周期的弱解是强解,进一步地这样的强解是定常解.     

序列伪轨跟踪性与拓扑可迁

给出序列伪轨跟踪性的定义,得到拓扑可迁的一个充分条件,并证明,若f是同胚,则f具有序列伪轨跟踪性当且仅当其逆极限空间上的移位映射σf具有序列伪轨跟踪性。     

两同心旋转球间流动的弱解的存在唯一性

研究了两个同心旋转球间的轴对称不可压缩的粘性流动。该流动广泛应用于大气物理和地球物理等学科中,为了得到流动的流函数－速度形式的Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的弱解的存在性和唯一性,首先发现了该方程中非线性项之间关系,并引入一个有限维的辅助问题,通过紧性而得到了结论。     

Galerkin方法的一种简单后处理过程

基于近似惯性流形思想,以流函数形式定常Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程为例,给出了一种简单的后处理Ｇａｌｅｒｋｉｎ方法。其主要思想是利用近似惯性流形概念和对真解的一种新的分解,构造高低频分量间的近似作用规律。文中证明了这种简单的后处理Ｇａｌｅｒｋｉｎ方法可以较小的代价获得较经典Ｇａｌｅｒｋｉｎ方法高得多的精度。     

非线性Galerkin算法的收敛性和复杂性

本文给出了数值求解非线性发展方程的全离散非线性Ｇａｌｅｒｋｉｎ算法,即将空间离散时的谱非线性Ｇａｌｅｒｋｉｎ算法和时间离散的Ｅｕｌｅｒ差分格式相结合,得到了显式和隐式两种全离散数值格式,相应地也考虑了显式和隐式的Ｇａｌｅｒｋｉｎ全离散格式,并分别分析了上述四种全离散格式的收敛性和复杂性,经过比较得出结论;在某些约束条件下,非线性Ｇａｌｅｒｋｉｎ算法和Ｇａｌｅｒｋｉｎ算法具有相同阶的收敛速度,然而前     

修正的Product逻辑系统中的广义重言式理论

首先证明了在修正的Product逻辑系统中广义重言式有更加精细的区分;其次通过引入一类特殊的公式序列和特殊公式,进一步证明了对任意有理数a∈[0,1],可达α-重言式集是类类非空的,并同时给出了修正的Product逻辑系统中广义重言式的升级算法。     

非线性问题转向点的数值予测

本文讨论了一类非线性问题及其有限元逼近问题的转向点之数值予测,以及应用于定常的Navier-Stokes问题.     

近代梁工程有限元分析

近代梁工程的有限元分析,是将薄壁或厚壁梁型构件的三维弹性问题分解为二维问题和一维问题组合求解的一种有限元数值解法.采取上述分解处理,可以使计算工作大为简化,能够经济地获得实效.对大型复杂梁型构件作有限元分析其优点更为显著.本文扼要地叙述了这种方法的基本原理及应用实例,并论述了处理加强筋的基本方法.     

流面上的Navier-Stokes方程及其维数分裂方法

该文首先提出了流面和流层的概念,然后推导出了半测地坐标系下流层内的三维NS (Navier-Stokes)方程,以及流面上的二维NS方程.通过引入流面上的流函数,得到了流函数方程的非线性初边值问题,并讨论了方程解的存在性和唯一性.基于以上讨论,提出了求解三维NS方程的维数分裂方法, 并给出了算例.     

STOKES COUPLING METHOD FOR THE EXTERIOR FLOW PART Ⅰ:APPROXIMATE ACCURACY

1.IntroductionLetΩ0beasimply-connectedboundedopensetofR2withthesmoothboundaryΓandletΩdenotethecomplementofΩ0Γ,wheretheoriginofcoordinatesislocatedintheinteriorofΩ0.InQ =Ω×R ,weconsiderthefollowinginitial-boundaryvalueproblemoftheNavier-Stokes...