论文部分内容阅读
本文主要研究对流扩散问题非协调有限元逼近的残量型后验误差估计.针对一系列的稳定化有限元方法,我们在统一的框架下推导了半健壮的和健壮的后验误差估计,并将此理论结果推广到四边形单元情形.对于半健壮的后验误差估计,我们采用通常的能量范数来度量误差.在一个抽象的理论框架下,我们得到了对流扩散问题有限元逼近误差的一般分解式.在这个误差分解式中,误差被分解为三部分:残量误差项,相容误差项以及非协调误差项.事实上,对于各种协调和非协调离散格式,这三种类型的误差项是固定的,其中只有相容误差项的估计依赖于具体的离散格式,而其它项可以用统一的方式来估计.特别地,对于协调逼近,非协调误差项自动消失.我们在通常的能量范数意义下证明了残量型估计子的可靠性和有效性,但在误差下界中出现的常数因子与扩散系数和单元尺寸相关.只有当单元尺寸与扩散系数相比足够小时,该因子是有界的,因此所推导的误差估计子在通常的能量范数意义下是半健壮的.对于健壮的后验误差估计,我们需要引入一个合适的范数来度量误差.为此,我们在原始能量范数的基础上引入了对流项对应的离散对偶半范数以及非协调有限元解在网格单元边(或面)上的加权跳跃,其中权重与单元尺寸相关.与半健壮后验估计类似,我们在改进的能量范数意义下给出了误差的一般分解式,从而将误差分解为残量误差项,相容误差项以及非协调误差项三部分.我们在改进的能量范数意义下证明了残量型估计子的可靠性和有效性,并且误差上下界中出现的常数因子与扩散系数和单元尺寸都无关,因此所推导的误差估计子在改进的能量范数意义下是健壮的.以上所有的工作首先是针对单纯形网格展开的.所得到的后验误差估计理论既适用于多种协调的稳定化方法,包括流线-扩散方法,连续内部惩罚方法,子网格粘度方法等,也适用于多种非协调的稳定化方法,包括非协调流线-扩散方法,非协调面惩罚和内部惩罚方法,非协调子网格粘度方法等.然后我们将上述结果推广到四边形单元情形,并建立了统一的理论框架.在特定的条件下,这一理论框架可以得到残量型误差估计子在通常能量范数意义下的半健壮性,以及改进能量范数意义下的健壮性,能够同时适用于非协调三角形单元和四边形单元,例如Crouzeix-Raviart元,非协调旋转Q1元以及带约束的旋转Q1元等.基于不同范数意义下的误差分解,后验误差估计的关键是存在一个具有一些基本性质的有界线性算子以及在不同离散格式下相容误差项的估计.最后,数值实验表明了残量型误差估计子的可靠性,有效性以及健壮性.