Rosenau-Burgers方程的Galerkin有限元方法

作者针对Rosenau-Burgers方程提出了全离散的Calerkin有限元格式,证明了此格式的稳定性和数值解的存在唯一性,并导出了误差估计.     

热耦合斯托克斯流问题的有限元分析

针对热耦合的斯托克斯流方程组的解析解给出了其存在性以及正则性的分析. 给出此方程组多解情形下的有限元格式，并且证明了此非线性问题数值解的存在性.研究方程的非奇异解的逼近性质的同时，证明了有限元解的收敛性.在Lp理论下给出了其最优的误差估计.     

广义Rosenau方程的有限元方法

本文对于广义的Rosenau方程提出了全离散Galerkin有限元格式,证明了此格式的有限元解的存在唯一性,并导出了误差估计,最后给出了数值算例验证了此方法的可靠性与有效性.     

Helmholtz方程的一类最小二乘混合有限元解法

通过将Helmholtz方程变化为一阶线性系统，并考虑此线性系统余量与真解的关系，给出了对方程的一类最小二乘混合有限元方法。最小二乘混合元方法可以避免标准混合元格式中的限制条件，从而可以在更广泛的范围内选择有限元空空间。文章提出了解决问题的有限元格式，证明了离散解的存在性唯一性，并给出了误差的H（div），H^1模估计。     

抛物型积分微分方程的矩形网格混合体积元方法

使用矩形元的最低次R-T混合有限元空间，提出了二阶线性抛物型积分微分方程初边值问题的混合体积元格式，证明了该混合体积元格式解的一阶最优L^2模误差估计。     

Darcy-Stokes 耦合流动问题的非协调稳定化方法

作者将 Corra 针对耦合的 DarcyStokes 方程而建立的一致协调的混合有限元格式推广运用到非协调CR有限元逼近,从而建立了一种稳定化非协调的离散格式,并证明了离散问题解的存在唯一性,给出了误差估计.     

可压缩Navier-Stokes方程的稳定化有限元方法

研究了可压缩线性化Navier-Stokes方程的稳定化有限元方法.对动力方程和连续方程分别应用Galerkin/Petrov最小二乘法和流线扩散法离散，得到一个相容的稳定化有限元格式,证明了此格式在无需满足B-B条件的情况下，解的存在性和唯一性，以及相应的最优误差估计.     

Navier-Stokes方程基于H(div)型有限元的涡旋黏性法

作者将涡旋黏性思想和H(div)型有限元逼近(比如RT元和BDM元)相结合,对不可压缩定常NavierStokes方程提出了一种新的稳定化有限元格式.该格式不仅满足守恒条件,而且用涡旋黏性项克服了对流占优.然后作者进一步证明了有限元解的存在唯一性,给出了误差估计,并计论了H(div)型有限元的应用.     

Stokes问题的L~2局部投影稳定化有限元方法

研究了Stokes问题的稳定化有限元方法.对于该问题传统的混合有限元方法求解要求速度和压力的有限元空间组合满足离散的inf-sup条件,为了去掉这一条件的限制,基于非残差的稳定化格式相继被提出,但这些稳定格式都是弱相容的.基于局部投影思想,对Stokes问题提出了一个强相容的稳定化有限元格式,利用有限元空间正交性,证明了此格式在速度和压力有限元空间无需满足B-B条件的情况下,解的存在性和唯一性,并得到了速度和压力相应的误差估计.     

含有迁移项的赤眼蜂—螟虫生态模型的标准差分及有限元模拟与分析

分别利用差分方法和有限元方法对一类含有迁移的赤眼蜂－螟虫生态系统进行数值模拟,导出了差分方程计算格式和Ｌ＾∞模误差估计,并利用极值原理证明了数值解的非负性;建立了一种可行的有限元计算格式,并在此基础上导出了最优阶的Ｌ＾２模和Ｈ＾１模误差估计。     

Stokes方程非协调有限元逼近的快速迭代过程

对Ｓｔｏｋｅｓ方程的非协调有限元逼近提出了一个快速计算方法。基本思想是把原来的对称不定问题的计算转化为对称正定问题的计算,这个对称正定问题将由共轭斜量法求解,而共轭斜量法中每步迭代的计算需要求解带正定矩阵的线性代数方程组,采用亏量校正算法来近似求解,证明了算法具有与网格步长无关的小于１的收敛率。     

多孔介质中不可压缩非溶混驱动问题之混合迎风有限元法的收敛性和最大值原理

本文讨论多孔介质中不可压缩非溶驱动问题的微分方程组，压力和达西速度用混合有限元逼近，浓度方程则组合伽辽金有限元和迎风有限元法。在问题解具有某种正则性和弱锐型三角剖分假定下，证明数值解有离散最大值原理和收敛性。     

时间分数阶Cable方程修正格式的误差分析

考虑时间分数阶Cable方程在修正的二阶向后差分格式下的误差分析.利用连续Laplace变换、反Laplace变换方法得到方程的准确解,类似得到空间有限元半离散解;运用Lubich的修正方法引入此分数阶微分方程的修正格式,离散的Laplace变换、反Laplace变换法得到Cable方程的时间离散解,进而讨论了时间离散下L₂范数的误差估计,得到二阶收敛阶,并用数值算例验证了定理的结论.这个结论比不修正的情形下一阶收敛阶要高.     

一类Poisson-Nernst-Planck方程的边平均有限元计算

针对一类三维Poisson-Nernst-Planck方程, 给出一种边平均有限元离散形式. 在适当的网格条件下, 该离散形式得到的总刚度矩阵为M-矩阵, 从而保证了数值解的非负性. 数值实验结果表明, 边平均有限元方法相比于标准有限元的CPU时间更短, 且误差较小.     

非线性对流扩散方程的迎风有限元格式

本文讨论二维非线性对流扩散方程的一类迎风有限元格式，其中非线性对流项用三角形网格对偶网格上的有限体积型方法逼近，非线性扩散项用伽辽金法逼近。在某些假定下证明了离散最大值原理和近似解的收敛性。     

具有变系数四阶抛物方程的B样条有限元法

用三次B样条有限元法求解一类四阶主项带有变系数的抛物方程, 证明半离散格式解的有界性与收敛性. 关于时间变量的离散, 通过构造向后Euler格式, 得到全离散格式解的收敛阶为O(Δt+h⁴). 数值算例验证了理论分析结果及B样条有限元法的有效性.     

具有变系数四阶抛物方程的B样条有限元法

用三次B样条有限元法求解一类四阶主项带有变系数的抛物方程, 证明半离散格式解的有界性与收敛性. 关于时间变量的离散, 通过构造向后Euler格式, 得到全离散格式解的收敛阶为O(Δt+h⁴). 数值算例验证了理论分析结果及B样条有限元法的有效性.     

广义Rosenau-RLW方程的一个守恒差分逼近

本文对广义Rosenau-RLW方程的初边值问题进行了数值研究,提出了一个两层非线性有限差分格式,格式合理地模拟了问题的守恒性质,得到了差分解的先验估计和存在唯一性,并利用能量方法分析了格式的二阶收敛性与无条件稳定性.     

流体-固体耦合问题的全离散有限元估计(英文)

本文讨论了一类流体-固体耦合问题的全离散有限元方法,时间方向的离散,采用向后差分公式和复化左矩形公式来分别近似连续弱形式中关于时间t的一阶导数和积分.文章还给出了全离散有限元解的存在唯一性,并推导了基于全离散解的误差估计.