带间断系数二阶椭圆问题的非协调有限元的多水平和区域分解预处理方法

来源 :南京师范大学 | 被引量 : 0次 | 上传用户:ymh19900920
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文,在加性Schwarz预处理方法的一般理论框架下,讨论了几种非协调有限元离散带间断系数二阶椭圆问题的高效的求解方法.   首先,基于最低阶的Crouzeix-Raviart非协调元离散问题,我们讨论了多水平预处理方法.由于定义在嵌套网格上的Crouzeix-Raviart元空间是非嵌套的,我们借助P1协调元子空间,定义了在加权L2范数下稳定的延拓算子来交换不同网格之间的信息.虽然预处理后系统的条件数依赖于系数的跳跃,但是,通过分析预处理后系统的特征值分布,我们发现除少数小特征值外,其余所有特征值都有正的关于系数跳跃和网格尺寸拟最优的上下界.因此,预处理后系统的有效条件数关于系数跳跃是Robust的,关于网格尺寸是拟最优的,且预处理共轭梯度法的渐进收敛率是1-C/|logh|3/2.   其次,以分片双线性或三线性元空间作为粗空间,我们提出了P1非协调四边形元的两水平加性Schwarz预处理方法.与Crouzeix-Raviart元的多水平方法类似,预处理后问题的有效条件数与系数跳跃无关,且关于粗网格尺寸是拟最优的,也就是说,有效条件数的上界是O(1+log(H0/H)),其中H表示粗网格尺寸,H0表示系数间断子区域的直径.   最后,我们考虑Mortar-型旋转Q1元方法.对于该元,我们仅讨论矩形和L-型区域,以及矩形网格剖分.由于mortar条件,直接对原问题设计与系数跳跃无关的高效算法是比较困难的,因此,我们先定义了一个与原问题等价的辅助问题.采用特殊的离散调和函数空间作为粗空间,我们先提出了几种解辅助问题的区域分解方法.然后将这些方法应用到原问题上,理论证明了这些方法都是拟最优的,也就是说,预处理后系统的条件数的上界是O((1+log(H/h))κ),κ=2,3,与系数跳跃无关.   数值试验验证了我们的理论结果.
其他文献
图G的一个平衡k-划分是V(G)的一个划分V1∪V2…∪Vk,使得∣∣Vi∣-∣Vj∣|≤1,I,j ∈{1,2,…,k}.   Bollob(a)as与Scott猜想: 任一图G都存在平衡划分V(G)=V1∪V2使得:(1)任给
学位
图的连通性是图最基本的性质之一,是图论中重要的研究课题。连通图与网络模型和组合优化联系密切,使它具备很强的应用背景.随着计算机与网络的迅速发展,这一联系日益密切,使连通图
设X与Y是两个阶数为n与m的有限集,映射f:X→Y称为Hash函数,这样的N个Hash函数的集合称为(N;n,m)Hash函数族,记为F.如果对于X的任何一个w元子集W,Hash函数族F中至少存在一个函数
本文主要对离散生物动力系统和连续空间传染病模型进行了研究。具体内容安排如下: 第二章,研究了一类具有Beddington-DeAndelis功能性反应和捕食者互相残杀项的非自治离散捕
本文首先研究了完备的Douglas空间(M,F),证明了如果其Cartan张量是有界的,且满足H=0和Ejk·l|m=0,则F为Berwald度量,其中E为F的平均Berwald曲率,H为刻划E沿测地线的变化率的几何量
Sturmian序列在符号动力系统中起着很重要的作用,以及在组合学、遍历理论中,甚至在计算机科学理论、生物学和物理学等领域中也是如此。   由定义知:Sturmian序列是复杂度函数
随着经济建设和现代工业的迅速发展,城市大气环境污染日趋严重,城市大气环境质量直接影响人们的生存环境和社会经济的发展,因此越来越得到人们的重视。为了有效地治理城市大气环
图论是组合数学中的一个重要分支。在许多领域,诸如物理学、化学、运筹学、计算机科学、信息论、控制论、网络理论、社会科学以及经济管理都有广泛的应用。矩阵A可以与它所对
图的Hamilton性是图的最基本的性质之一。图的Hamilton性与网络模型联系密切,使它拥有很强的应用背景,是图论中重要的研究课题之一。包含有限简单图G的每个顶点的圈称为Hamilto