【摘 要】
:
在科学研究中,很多工程计算的问题最终都归结为求解线性系统,例如,计算流体力学、约束最优化问题、电磁学、Navier-Stokes方程等,都可转化为求解广义鞍点问题;再比如二阶椭圆方程的混合公式求解、弹性问题、流体流动问题的混合有限元逼近、二次规划问题的内点方法等,它们经过适当的离散会得到具有双鞍点结构的广义鞍点问题.本文主要研究以上两类应用背景下的广义鞍点问题,解决这两类问题对线性系统求解具有重要
【基金项目】
:
国家自然科学基金 (nos.11701458,11861059); 甘肃省自然科学基金(no.20JR5RA540);
论文部分内容阅读
在科学研究中,很多工程计算的问题最终都归结为求解线性系统,例如,计算流体力学、约束最优化问题、电磁学、Navier-Stokes方程等,都可转化为求解广义鞍点问题;再比如二阶椭圆方程的混合公式求解、弹性问题、流体流动问题的混合有限元逼近、二次规划问题的内点方法等,它们经过适当的离散会得到具有双鞍点结构的广义鞍点问题.本文主要研究以上两类应用背景下的广义鞍点问题,解决这两类问题对线性系统求解具有重要的理论意义和实际价值.曹等人在文献[19]中提出了一类简化的HSS(SHSS)预处理子应用于GMRES方法去求解具有对称(1,1)-块的2×2块广义鞍点问题.在此基础之上,我们提出一个广义的SHSS预处理子,并分析了新的预处理子相应迭代方法的收敛条件、预处理矩阵谱的性质,最后以二维Stokes方程为例说明新的预处理子的有效性,这是第二章的主要内容.在第三章中,受文献[28]中提出的松弛交替半正定分裂预处理子(RAPSS)的启示,我们建立了一类变形的RAPSS(VRAPSS)预处理子,并将其应用于Krylov子空间方法来求解具有双鞍点结构的3×3块广义鞍点问题.此外,我们也研究了VRAPSS预处理矩阵谱的性质,最后通过数值实验来验证该方法的可行性和有效性.
其他文献
设X表示包含分次投射模的分次模类,Y表示包含分次内射模的分次模类.本文研究了分次环上的Y-Gorenstein分次内射模,X-Gorenstein分次投射模和Y-Gorenstein分次平坦模.首先,我们给出了Y-Gorenstein分次内射模和X-Gorenstein分次投射模的定义和一些性质;其次,利用遗忘函子U和它的右伴随函子F讨论了Y-Gorenstein分次内射模(X-Gorenstei
相对于半对偶化模C,本文首先引入了强Gorenstein C-投射(C-内射,C-平坦)模,讨论了这类模的一些性质.给出了它们的一些等价条件,证明了:(1)设M是强Gorenstein C-平坦模.则M+是强Gorenstein C-内射模.(2)设R是Noether环,如果M+是强Gorenstein C-内射模,那么M是强Gorenstein C-平坦模.其次,讨论了模M的强Gorenstei
本文主要研究了模范畴和带有E-三角真类ξ,且具有足够多的ξ-投(内)射对象的E-三角范畴中的强余纯投射对象及其同调性质,全文共由两部分组成.首先,我们讨论强余纯投射性在优越扩张,Frobenius扩张,局部化扩张等环扩张下的保持性.其次,我们在E-三角范畴中引入了ξ-强余纯投射对象,研究了ξ-强余纯投射对象的一些基本同调性质.证明了ξ-强余纯投射对象类关于有限直和,直和项封闭.进一步说明了在ξ中任
本文主要研究了黎曼流形及特殊的黎曼流形-Einstein流形中的h-近Ricci孤立子及梯度h-近Ricci孤立子.利用黎曼流形中的恒等式、散度定理、Schur引理及Hopf强极值原理,对h-近Ricci孤立子及梯度h-近Ricci孤立子的刚性进行了讨论.具体结论如下.1.研究了紧致条件下的h-近Ricci孤立子及梯度h-近Ricci孤立子.首先,得到具有非平凡共形向量场的紧致h-近Ricci孤立
本学位论文分别运用拓扑度理论和单边全局分歧理论讨论了两类差分方程边值问题正解的存在性及正解集的全局分歧结构.主要工作如下:1.运用拓扑度理论讨论一类带奇异φ-Laplacian算子的差分方程Dirichlet边值问题正解的存在性和多解性,其中λ,μ≥0,T:={2,…,T-1},T>3是一个整数,Δu(t)=u(t+1)-u(t)是前向差分算子,▽7u(t)=u(t)-u(t-1)是后向差分算子,
本学位论文运用全局分歧理论获得了两类非线性四阶常微分方程两点边值问题正解的存在性及全局结构.主要工作如下:1.运用全局分歧理论,获得了非线性四阶边值问题(?)正解的存在性及多解性,其中f:[0,1]× R × R→R是一个连续函数,满足符号条件且存在函数p,q ∈ C([0,1],(0,∞)),使得非线性项f在(0,0)点附近满足f(t,u,v)=p(t)u+o(|(u,v)|),在无穷远处满足f
本文运用上下解的单调迭代方法、凝聚映射的拓扑度理论、抽象空间中的不动点定理及凝聚映射的不动点指数理论,在Banach空间中讨论分数阶微分方程边值问题解的存在性、唯一性及正解的存在性,其中3<α≤4,D0+α是标准的Riemann-Liouville分数阶导数.本文的主要结果如下:一.借助极大值原理,运用上下解的单调迭代方法,得到了分数阶微分方程边值问题解的存在性及唯一性.二.运用凝聚映射的拓扑度理
脉冲微分方程能够充分考虑到瞬时事物突变现象对整个事物发展所产生的影响,能够更加精确的反应事物变化的本质规律.因此,对脉冲微分方程的研究具有更加重要的意义.本文运用脉冲分析技巧分别讨论如下两类状态依赖型时滞脉冲微分方程初值问题(?)及(?)的解流形和由其连续可微解生成的连续半流的C1-光滑性.首先,当非线性函数和时滞项Lipschitz,中立函数C1-连续时,在实数空间Rn中讨论含中立项的状态依赖型
设S是序幺半群,文章第一部分主要研究了单循环序S-系的平坦性.重点是单循环序左S-系S/λ(1,x)的平坦性,刻画了单循环序左S-系满足条件(P),强平坦,自由和投射性的特征,证明了单循环序左S-系的投射性和强平坦是一致的.文章第二部分我们给出了 Rees商序左S-系平坦性的一些新的推广,给出了弱挠自由Rees商序左S-系满足条件(PWP),(PWP)w,(WP),GP-平坦,GP-序平坦等条件的
除草剂在防除杂草的同时会对农田土壤环境和作物造成一定危害,安全剂可以在一定程度上缓解除草剂药害。在课题组先前研究的基础上,本研究选择2种除草剂(谷友、苯·唑·2甲钠)与3种安全剂(赤霉素、芸苔素、奈安)复配,探究其对糜子田间杂草防效、糜子根系活性氧代谢、糜子田土壤酶和微生物多样性的影响。主要结果如下:(1)除草剂谷友和苯·唑·2甲钠均对糜子产生了一定药害,复配安全剂后显著降低了谷友和苯·唑·2甲钠