预条件迭代法的收敛性分析

本文给出了一种预条件矩阵为P=I＋Sα的IMGS方法,讨论了当系数矩阵为非奇异的M-矩阵、H-矩阵以及严格对角占优矩阵时方法的收敛性．然后在假设系数矩阵为不可约的M-矩阵时,得到了IMGS方法与预条件AOR迭代法之间的比较定理,从而推广和改进了原来已有的结论。     

α-链对角占优矩阵与非奇异H-矩阵的判别

设A=(aij)∈Cn×n,若存在α∈(0,1),使i∈N,aii ≥Rαi(A)S1-αi(A),则称A为α - 链对角占优矩阵.利用α - 链对角占优矩阵、不可约α - 链对角占优矩阵、广义α - 链对角占优矩阵等概念及性质,给出了非奇异H - 矩阵几个简洁的判定条件.进一步丰富和完善了α - 链对角占优矩阵与判别非奇异H - 矩阵的理论,为相关领域如矩阵论、控制论、经济数学等提供了理论研究基础.     

非奇异H-矩阵新的充分条件

在数值线性代数的理论和应用中,H-矩阵是一类非常重要的矩阵.设A=(aij)∈Cn×n,若存在α∈(0,1),使i∈N,|aii|≥Riα(A)S1i-α(A),则称A为α-链对角占优矩阵.首先推广α-链对角占优矩阵的概念到广义α-链对角占优矩阵,通过利用α-链对角占优矩阵的性质,结合不等式的放缩技巧,给出了判别非奇异H-矩阵新的充分条件,改进和推广了相关文献的结论.最后用数值例子说明了所给结果的优越性.     

广义次对角占优矩阵和次M-矩阵的判定

次对角占优矩阵在计算数学和控制理论中有着相当广泛的应用.本文介绍了广义次对角占优矩阵并运用类比法给出了判定广义次对角占优矩阵和次M-矩阵的新方法.A=(aij)∈Cn×n,N={1,2,…,n},J′(A)={n-I 1| |an-I 1,I|＞Σj≠1|an-I 1,j|=Λn-I 1,I∈N}≠φ,M′(A)为A的次比较矩阵,若存在N1∪N2=N,N1∩N2=φ,有(|an-I 1,I|-α′I)(|an-j 1,j|-β′j)＞α′jβ′I((A)I∈N1,j∈N2),α′I=Σj∈N1j≠1|an-I 1,j|,β′I=Σj∈N2j≠1|an-I 1,j|,则A为广义次对角占优矩阵,M′(A)为次M-矩阵.     

矩阵非异性判定

本文讨论了几种特殊矩阵之间的关系,从而利用块对角占优的性质,绐出矩阵非奇异的若干判定条件。定义1 设A=(α_(ij)∈C~((?)×n)是弱不可约矩阵,若u∈S(A),有则称A是弱不可约严格对角占优矩阵。定义2 设A=(α_(ij))∈C~(×i),对角元均非零,若v∈S(A),有则称A是弱严格对角占优矩阵,记为A∈H。     

严格对角占优M-矩阵特征值的界

对严格对角占优M-矩阵A的最小特征值τ（A）经典的下界估计式应用该类矩阵逆矩阵A-1元素的上界新的提高的估计式1/aii≤αii≤1/aii＋∑j≠1aiipji与1/aii≤αii≤1/aii＋∑j≠1aiinji,i∈n,得到τ（A）新的提高的且易于计算的界.     

广义α-双对角占优矩阵的判定

设A=(aij)∈Cn×n,若存在α∈(0,1),使i≠j(i,j∈N={1,2,…,n}),有aiiajj>[αRi(A)+(1-α)Si(A)]×[αRj(A)+(1-α)Sj(A)],则称A为严格α-双对角占优矩阵。首先推广严格α-双对角占优矩阵的概念到广义α-双对角占优矩阵;然后得到了判别广义α-双对角占优矩阵的一个充分必要条件,改进和推广了已有的结论,进一步丰富和完善了α-双对角占优矩阵的理论。最后举例说明了所给结果的优越性。     

非奇异H-矩阵的充分必要判据

设A=(aij)∈Cn×n,若存在α∈(0,1),使i≠j(i,j∈N={1,2,…,n}),有aii.ajj>[αΛi(A)+(1-α)Si(A)].[αΛj(A)+(1-α)Sj(A)],则称A为严格α-双对角占优矩阵。首先推广严格α-双对角占优矩阵的概念到广义α-双对角占优矩阵;然后得到了判别广义α-双对角占优矩阵的一个充分必要条件,进而可以判断非奇异H-矩阵,改进和推广了已有的结论,进一步丰富和完善了α-双对角占优矩阵的理论。     

具非零元素链的局部(α,β,γ)-对角占优矩阵

文章给出了局部(α,β,γ)-对角占优矩阵的相关概念,在具非零元素链的局部(α,β,γ)-对角占优矩阵的条件下,通过建立正对角阵X,得出B=Ax为具非零元素链的α-对角占优矩阵,从而获得了A为非奇H矩阵的判别准则.结果表明,提出这种延伸的局部(α,β,γ)-对角占优矩阵的概念,是对矩阵的对角占优理论的完善,是研究H矩阵、M矩阵的有力工具.     

矩阵广义对角占优性的判定

利用线性方程组解的理论得到了矩阵广义对角占优的又一判定定理,对于用此方法判定的广义对角占优矩阵A,可具体给出正对角阵A,使AA为对角占优阵.作为应用还得到了矩阵非奇异的判定定理.最后给出了应用实例.     

关于Brualdi-Anstee猜想

著名的组合图论专家Brualdi和Anstee于1980年独立地提出了下述猜想:设R=(r1,r2,…,rm)、R'=(r'1,r'2,…,r'm)、S=(s1,s2,…,sn)、S'=(s'1,s'2,…,s'n)是非负整数向量,u(R,S)表示具有行和向量为R、列和向量为S的{0,1}-矩阵类,则存在矩阵A∈u(R,S),B∈u(R',S'),使A+B∈u(R+R',S+S')的充要条件是u(R,S)、u(R',S')和u(R+R',S+S')均非空.1986年,陈永川找到Brualdi-Anstee猜想的反例.对猜想的已知条件作补充,使得该猜想成立并证明之,并且由此得到了两个新定理.     

新预条件下Gauss-Seidel迭代法及比较定理

提出了一种新预处理矩阵,研究了新预条件下Gauss-Seidel迭代法的收敛性 ,得到了比较性定理,并用数值例子验证了定理的正确性,揭示了新预条件加快Gauss-Seidel迭代法的收敛速度,并优于通常的预条件（I R) .     

预条件SOR方法收敛性比较

在2001年,Evans等人在文献[1]（D.J.Evans,M.M.Martins,M.E.Trigo.The AOR method forpreconditioned liner[J],J.Com.App.Math,132（2001）：461-466）中讨论了在预条件子P=（I＋C）作用下的预条件AOR方法,文章将讨论在预条件子P=（I＋S）作用下的预条件SOR与经典的SOR方法的收敛速度之间的关系,这里,S由A的上三角矩阵每行的最后一个元素组成。     

新的L-矩阵线性方程组的预条件AOR迭代法

在预条件矩阵Pα=(I+Sα)和Pαβ=(I+Sαβ)的基础上提出一个新的预条件矩阵为P^αβ=(I+S^αβ)的预条件AOR迭代法,建立了新的预条件AOR迭代法与经典的AOR迭代法的比较定理,数值试验表明预条件AOR迭代法更为有效.     

与2m特殊函数有关的解析函数类

S表示在单位圆U=z：z〈1内解析函数f z=z＋a2z2＋…的全体所组成的类.本文引进并研究特殊解析函数类Vkλkαk=1,2,…,m,m∈N和Rkλβk有关的S的子类VRmλgk,hk; αk,kβ,ρ.讨论该类中函数的近于凸半径,结合算子理论导出类中函数的积分表达式,证明端点性质,由此推出偏差定理.     

有关α螺旋形函数的一族解析函数

根据α螺旋形函数的定义引进D^λ映射定义一族解析函数Sα（λ，β），导出族中函数的积分表达式；研究了Sα（λ，β）中函数的某种积分运算及卷积定理。     

带分布型时滞的分数阶控制系统能观性的条件

通过Mittag-Leffler矩阵函数构造的能观性Gram矩阵和Cayley-Hamilton定理获得了一类带Caputo导数、具有分布型时滞的分数阶控制系统cDαx(t)=Ax(t)+integral from n=-h to 0(dxB(t,x)u(t+x)),t∈J:=J/{t1,t2,…tk},J:=[0,T],y(t)=Cx(t)+Du(t),x(0)=x0, 具有能观性的2个充要条件:1)系统在[0,t f]上,存在时刻tf>0,使Gram矩阵W0[0,tf]=integral from n=0 to tf(Eα(AT tα)CTCEα(A tα)dt)非奇异;2)若系统的能观性判别矩阵为Q0{C CA … CA(n-1)},则rankQ0=rank{C CA … CA(n-1)}=n时,系统是能观的.     

六阶含参微分方程Dirichlet边值问题解的存在性

文章主要运用临界点理论和Morse理论,得到一类六阶含参微分方程Dirichlet边值问题解的存在性和多解性结果,考虑的具体问题为：-u^（6）（t）＋αu^（4）（t）-βu″（t）＋γu（t）=λf（t,u（t））,t∈[0,1],u（0）=u（1）=u″（0）=u″（1）=u^（4）（0）=u^（4）（1）=0,其中f：[0,1]×R→R连续,α,β∈R,γ,λ∈R^＋是参数,并满足条件α/π^2＋β/π^4＋γ/π^6〉-1,-3π^4-2απ^2〈β〈-3γ/π^2,α〉3γ/2π^4-3/2^π2,则当λ在某具体区间内时,上述边值问题有多个解.     

关于亚正定矩阵与幂等矩阵的一些结果

研究了幂等矩阵E的性质,利用E的实对称分支R（E）与反对称分支S（E）的特征值之间的关系给出了λ1E1＋λ2E2和λ1E1＋λ2E2＋λ3E3为亚正定矩阵的充分条件．