【摘 要】
:
随着自然科学和工程技术科学的发展,数值计算已成为平行于理论分析和科学实验的又一重要手段,数值计算中的诸多问题最后都归结为求解线性方程组的数值解问题。我们知道,在求解线性方程组Ax=6时,一般有两种方法:直接法和迭代法。线性方程组的直接法,用于阶数不太高的线性方程组效果较好,如果没有舍入误差,通过有限步操作,可以产生精确的解x。而迭代法由于程序设计简单可以减少存储量因而被广泛的应用于方程组的求解,特
论文部分内容阅读
随着自然科学和工程技术科学的发展,数值计算已成为平行于理论分析和科学实验的又一重要手段,数值计算中的诸多问题最后都归结为求解线性方程组的数值解问题。我们知道,在求解线性方程组Ax=6时,一般有两种方法:直接法和迭代法。线性方程组的直接法,用于阶数不太高的线性方程组效果较好,如果没有舍入误差,通过有限步操作,可以产生精确的解x。而迭代法由于程序设计简单可以减少存储量因而被广泛的应用于方程组的求解,特别是在大型稀疏线性方程组的求解中显出更强的优势。迭代法是求解线性方程组的一种常用方法。而我们本文研究的分裂法,就是迭代法的一种具体应用。线性方程组的单分裂就是指在求解线性方程组Ax=b时,将系数矩阵A分裂成两个矩阵M和N,即A=M-N,其中M是非奇异的。近年来,众多学者对单分裂和多重分裂的收敛定理和比较定理作了深入的研究。1993年Z.I.Woznicki在他的论文中提出了非奇异系数矩阵双分裂的概念,而后,一些关于双分裂研究的论文相继出现。其中文献[23]研究了单调矩阵和埃尔米特正定矩阵的正规双分裂和弱正规双分裂的收敛定理和比较定理,本文第二章就是在此基础上提出了关于系数矩阵A的更具有一般性非负双分裂的理论。第三章则在此基础上研究了正锥上的矩阵的非负双分裂的收敛定理。
其他文献
对角占优矩阵在数值计算、控制论、电力系统理论、经济数学及弹性力学等众多领域有着重要的实用价值.我们知道,在理论讨论和实际工作中常要估计矩阵逆的无穷范数或谱半径,例如一些迭代法的收敛性问题和估计矩阵的某些数值特征时等等.经过国内外许多学者的不懈努力,对于一些特殊的对角占优矩阵已经获得了一些重要结果.本文的第三章和第四章就是在已有结果的基础上,补充了两类尚未解决的对角占优矩阵逆的无穷范数(或谱半径)上
本文所研究的问题涉及两类生物动力学模型,一类Leslie型的捕食-食饵模型和一类具有非单调发生率的SIR传染病模型.主要运用非线性分析和非线性偏微分方程的知识,特别是抛物型方程和对应椭圆型方程的理论方法,讨论了模型解的共存态、正性、有界性和稳定性.本文通过分歧理论,能量积分方法等研究了带有齐次Neumann边界条件的捕食-食饵模型通过Hurwitz-Rouche判别法、上下解方法和比较原理研究了带
优化问题是一个古老的问题,具有很强的实用背景,且广泛出现于科学研究、工艺改造、经济管理和工程技术等领域.经典优化方法如牛顿梯度法、共轭梯度法和Power法等,具有较好的收敛性能,但仅适合于光滑问题.然而实际中许多问题是非光滑的.不同于传统的优化算法,智能优化算法如遗传算法、蚁群算法和微粒群算法等,在解决优化问题时,由于不需要函数的光滑性,因而具有更强的实用性,可以解决一些复杂的优化问题.本文研究了
正规算子的谱理论能够使人深刻地了解其内部结构,在算子理论中一项重要的课题就是推广正规算子的理论.局部谱理论就是其中一个重要的推广而单值扩张性质在研究局部谱理论中又有着重要作用.线性算子摄动理论与量子力学、工程学等学科有着密切的联系,特别是与量子力学中特征值分布有关的Weyl型定理的摄动,己发展成算子理论中一个重要分支.本文研究的主要内容是渐近纠缠算子单值扩张性质的等价性,上三角算子矩阵单值扩张性质
小波变换是小波分析研究的主要内容,也是时频分析的一个有力工具,解决了Fourier变换不能解决的许多困难问题,它包括连续小波变换和离散小波变换。从而小波变换被誉为“数学显微镜”。现在已成为国内外学者研究的热点问题,同时在去噪、边缘检测、图像处理中表现出巨大的潜能。本文在传统的积分小波变换的定义中加上了规范化因子,得到了新的定义,并研究了其性质,同时基于规范窗口Fourier变换Twwinf的强反演
这篇论文主要研究了两类数学模型,一类是综合国力模型,一类是Holling-Tanner捕食食饵模型.对于这两类模型的研究,可以借助于种群动力学系统的研究方法,对这两类动力系统的解进行分析.种群动力系统是描述种群与种群、种群与环境之间相互竞争,相互作用的动力学关系的数学模型.关于此类模型的研究,引起国内外学者的广泛的关注,并且已经取得了许多有价值的成果.本文运用反应扩散方程,非线性分析的知识,尤其是
小波分析是近几十年来出现的一个新的数学分支,自诞生之日起,它一直是数学领域和其他领域的学者研究和关注的热点.小波框架理论是小波分析的主要内容之一,是研究小波分析的一个重要工具,在小波分析的发展中起到了非常重要的作用.近年来,人们在框架理论方面获得了许多的成果,在一维空间中,人们的研究范围由紧支撑正交小波的构造到半正交小波、双正交小波的构造以及Riesz小波、框架小波的构造,在高维空间中研究范围由二
Quantale是由C.J.Mulvey于1986年研究非交换的C*-algebra时引入的,其背景是给量子力学提供新的数学模型.在短短的二十几年中,Quantale理论受到了数学家和逻辑学家的密切关注,有关Quantale理论的大量新的观点及应用相继被给出.本文一方面对经典的Quantale理论展开继续研究,引入了伪连续余Quantale,同时对伪连续余Quantale的性质、理想、范畴做了细致
Quantale模的概念是由Abramsky和Vickers在1993年提出,其背景在于给运算语义学,指称语义学,公理语义学等提供新的数学模型Quantale模可被看作有限观测性质的代数,加之其具有丰富的序结构,代数结构和拓扑结构,这些使得它成为诸多数学家和逻辑学家关注的热点.在短短的二十年中,有关Quantale模理论的大量新的观点及应用相继给出.核映射与余核映射,理想与同余是研究Quantal
摘要自从C.J.Mulvey于1986年提出Quantale概念以来,Quantale理论受到了数学家和逻辑学家的关注.在短短的二十几年中,有关Quantale理论的大量新的观点以及应用相继被给出.对它的研究涉及到非交换C*-代数、线性逻辑、环理想理论和计算机科学等诸多领域Quantale概念提出的目的在于给研究非交换C*-代数提供新的格式刻画,给量子力学提供新的数学模型,并为研究非可换结构提供了