用SOR法解区间线性方程组收敛的充分条件

本文用[·]表示区间量,区间矩阵(向量)是实的且为n阶(维)。其他符号含义见[1]。 设[A]=([αij])为区间阵且[αii]不含有0,[b]与[x]为区间向量,作[A]=[D]+[L]+[U],其中[D]=diag[A],[L]和[U]分别为严格下和严格上三角阵,则方程组[A][x]=[b]的SOR法迭代公式为:其中 定义 设　　　,若δ>0,则称[A]为严格对角占优阵。 定理 设[A]为严格对角占优阵,令则当 α<ω<β时,(1)式对任意初值[x(0z)]都收敛于唯一解[x*],且[x*] 当ω=1时,(1)式即为Gauss-Seidel迭代。 推论　 设 [A]为严格对角占优阵,则对任意初值[x(0)],Gauss-Seidel迭代收敛于唯…     

关于Gauss-Seidel迭代法的收敛准则

在文[1]的定理2中,给出了当 a=sum from(i=1)to n a(i)<1时,有 Gauss—Seidel 迭代法收敛.本文是在当 a=sum from(j=1)to n a(j)≥1的情形下,给出新的判别准则。它放宽了文[1]中定理2的判别条件。设线性方程组X=AX+b (1)存在唯一解 x~*=(x_1~*,x_2~*,…,x_n~*)~T,则(1)的 Gauss—Seided 迭代程序为:(2)本文的主要结果:     

线性方程组的4种迭代方法

研究了线性方程组的4种迭代方法——Jacobi迭代、Gauss-Seidel迭代、HSS迭代、Richardson迭代,给出了4种迭代方法收敛的充分条件。数值实验进一步表明,在大规模线性方程求解时,迭代矩阵谱半径的大小决定算法的收敛速度;在谱半径小于1的前提下,谱半径越小,则收敛速度越快。     

微分方程组的最小二乘解

提出了象凸微分方程组的概念,并用这一概念对一类微分方程组的边值问题提出了一种新的变分迭代解法,此迭代解的极限U^＊存在;在适当的条件下,U^＊为此微分方程组的广义解,应该指出：1．不同于[1—2]用有限维空间去逼近无穷维空间,本文空间是不变的．2．不同于[3—4]要求I（u）变分后得到Euler-Langerge方程即为微分方程组,本文的变分目标函数I（F1（U）,…,Fq（U））是固定的,不取决于微分方程组的形状．     

一类2元算子方程组的Mann迭代求解

在序Banach空间中,运用锥与半序理论、混合单调算子理论和Mann迭代技巧,研究了一类2元算子方程组A(x,x)=xB(x,x)=x解的存在性与唯一性,并给出了收敛于算子方程组解的逼近迭代序列和误差估计,进而获得了非单调2元算子方程A(x,x)=x的Mann迭代解及其解的逼近迭代序列和误差估计.     

一类反向混合单调算子方程组的迭代求解

在序Banach空间中, 利用锥与半序理论和非对称迭代技巧, 研究一类反向混合单调算子方程组 解的存在与唯一性, 给出了收敛于算子方程组解的逼近迭代序列和误差估计, 进而获得了反向混合单调算子方程 唯一解及其解的逼近迭代序列和误差估计, 并改进和推广了有关文献的相应结果.     

序Banach空间中非单调二元算子方程组的Mann迭代求解

在序Banach空间中,运用锥与半序理论和Mann迭代技巧,研究了一类非单调二元算子方程组｛(A(x,x)=xB(x,x)= x解的存在与唯一性,并给出了收敛于算子方程组解的逼近迭代序列和误差估计,进而获得了非单调二元算子算子方程A(x,x)=x的Mann迭代解及其解的逼近迭代序列和误差估计.     

周期系数吕卡提方程周期解的存在定理

本文证明了具有周期系数Riccati方程周期解的三个存在定理。其中定理1和定理2是在与文[1]定理3·3相同的假设条件下,得出能区分周期解存在个数的进一步结果,从而推广了文[1]定理3·3;定理3给出了判别周期解存在的一个新的充分条件,解决了文[1]中未解决的某些问题。     

分块矩阵迭代收敛的若干判别准则

在矩阵迭代分析中,矩阵的谱半径估计是一个重要的工具。[1]谈到分块矩阵估计法并应用于简单迭代(即Jocobi迭代)和Gauss—Seidel迭代收敛的某些判别准则。本文目的提出分块矩阵Jocobi迭代和 Gauss—Seidel迭代收敛的若干判别准则并给出敛速估计。 设N阶矩阵T分块为T=(Tij)其中Tij(i=1,2,…,n)为ni阶方阵,又Tij为ni行nj列矩阵,且 对线代数方程组其中Bi为已知的ni维向量,Xi为ni维未知向量。如果采用迭代程序称(2)为块Jocobi迭代,如果采用迭代程序 则称(3)为块Gauss—Seidel迭代.对块Jocobi迭代(2)和块Gauss—Seidel迭代(3),有如下的基…     

时空分数阶对流-弥散方程组的有限元方法

时间空间分数阶对流-弥散方程组一般没有解析解,有限元方法是进行数值模拟的有效途径.先对微分方程组进行时间半离散,然后推导出固定时间层的变分公式和有限元方程组,同时给出求解有限元解的一种线性迭代算法.数值实例表明,三次有限元迭代算法的时空收敛阶分别为 2－α_i和4.     

二阶线性常微分方程组的基本解的Hadamard展式

在文献[1]中,从线性常微分方程和线性偏微分方程的统一观点,对于单个二阶常微分方程(首项系数是1)定义并构造了J.Hadamard基本解。在文献[2]中去掉了首项系数是1的限制。在[1]、[2]的基础上,本文进一步考虑一类二阶线性常微分方程组,定义并构造了J.Hadamard意义下的基本解矩阵,并且以此基本解矩阵给出这类常微分方程组Cauehy问题解的表达式。以下我们对于两个方程的方程组进行讨论,讨论的结果对于相应的n个方程的方程组也成立。     

Banach空间中非单调二元算子方程组的迭代求解

利用锥与半序理论和混合单调算子理论,研究半序Banach空间中非单调二元算子方程组A(x,x)=xB(x,x)=x解的存在与唯一性,给出了收敛于算子方程组解的逼近迭代序列和误差估计,进而获得了非单调二元算子方程A(x,x)=x和非单调算子方程Ax=x的唯一解及其解的逼近迭代序列和误差估计,并改进和推广了有关文献中的相应结果.     

关于不定方程组a2x^2—a1y^2=a2—a1,a3y^3—a2z^2=a3—a2的非平凡解

给出了不定方程组a2x^2-a1y^2=a2-a1,a3y^3-a2z^2=a3-a2有正整数解的一个充分必要条件以及当系数（a1,a2,a3）满足条件（a1,a2,a3）＝1且a1a2＋1∈N^2或a2-a1＝1时求该不定方程组的非平凡正整数解的一个方法，该方法可以在计算机上用“迭代”算法实现。     

半序Banach空间中非光滑算子方程的Newton-Like迭代解

本文讨论方程Fx=0的局部迭代解的存在性及其收敛速度。我们用Newton-Like迭代列替代了文[1]中的Steffensen-Like迭代列,并在较弱的条件下得到了文[1]的结果。     

迭代算法求解矩阵方程埃尔米特双对称解

通过构建一个迭代算法来求解复矩阵方程组最小F范数剩余问题:min‖[A_1XB_1+C_1D_1A_2XB_2+C_2D_2]-(M_1M_2)‖,其中X是埃尔米特双对称矩阵,即满足X=X~H=S_nXS_n;在不考虑舍入误差的条件下,对于任意双埃尔米特矩阵X_0,矩阵方程组的解都能在有限步内得到;最后,给出一个数值试验来检验算法的有效性.     

求解HJB方程的两类迭代法研究

研究了Jacobi型迭代法和Gauss-Seidel型迭代法来解离散HJB方程,在一定条件下,证明了算法产生的迭代序列单调收敛于HJB方程的解。数值实验表明了算法的可行性。     

Banach空间中非混合单调算子的新不动点定理

利用锥与半序理论和混合单调算子理论,研究半序Banach空间中非混合单调算子方程组{A(x,x)=x/B(x,x)=x解的存在与唯一性,给出了收敛于算子方程组解的逼近迭代序列和误差估计,进而获得了非混合单调算子方程A(x,x)=x和非单调算子方程Ax=x的唯一解及其解的逼近迭代序列和误差估计,并改进和推广了有关文献中的相应结果.     

(n+1)维Klein-Gordon-Schrdinger方程组新的孤立波解

通过一种新的变换将(n+1)维Klein-Gordon-Schro··dinger方程组化为非线性常微分方程组,利用齐次平衡方法求出常微分方程组的有理函数解,得到(n+1)维Klein-Gordon-Schro··dinger方程组新的孤立波解.     

用加权迭代改善法解病态方程组的研究

本文从理论上证明了加权迭代改善法得到的近似解序列收敛到方程组的真解,给出了该算法的计算机实现过程,并以Hilbert病态方程组为例,验证了该算法求解的有效性。     

关于解线性系统的新迭代方法的注释

在文[3]中作者们提出了几种求解线性系统的新迭代方法,与经典的Jacobi或Gauss-Seidel方法相比,这些方法可以被应用到更多的线性系统且有更快的收敛速度.通过分析和数值算例说明他们的方法适合更一般的矩阵,而不仅仅是文[3]作者提到的只适合正矩阵.