约束线性方程组通解的显式表示及Cramer法则

本文研究了一般的约束线性方程组Ax=b,x∈T, (1.1)其中A∈C~(m×n),b∈R(A),T为C~n中任意取定的子空间。给出了(1.1)有唯一解的充要条件;在有唯一解时,利用B-D逆(A~*A)_((T))~((-1))给出了唯一解的显式及cramer法则;在有解但解不唯一时,利用B-D逆(A~*A)_((?))~((-1))(这里(?)=R(R_TA~*))给出了(1.1)的通解的显式及Cramer法则。其结果改进并推广了文[2,3,4,5,6]中的有关结果。 另外,本文研究了A的T-约束M-P逆(AP_T)~+与A~*A的B-D逆(A~*A)_((?))~((-1))的关系,证明了下列事实:(AP_T)~+=(A~*A)_((?))~((-1))A~*,特别,当T∩N(A)={0}时,(AP_T)~+=(A~*A)_((?))~((-1))A~*。     

带比例关系的实带状矩阵特征值反问题

研究了通过矩阵A的顺序主子矩阵A_((k))=(aij)_(i,j=1)^(n-k+1)的特征值{λ_i(n-k+1)的特征值{λ_i^((k)))}_(i=1)((k)))}_(i=1)^(n-k+1)k=1,2,…,r+1来构造一个带比例关系的实带状矩阵的特征值反问题.对当特征值{λ_i(n-k+1)k=1,2,…,r+1来构造一个带比例关系的实带状矩阵的特征值反问题.对当特征值{λ_i^((k))}_(i=1)((k))}_(i=1)^(n-k+1)中有多重特征值出现时,应当如何来构造这类矩阵进行了讨论,并给出了问题的具体算法及数值例子.     

两个四元数自共轭半正定矩阵乘积的特征估计

设A和B均非0的n阶实四元数自共轭矩阵,λ_i及μ_i分别为共特征值(i=1,…,n),且规定|λ₁|≥|λ₂|≥…≥|λ_n|,|μ₁|≥|μ₂|≥…≥|μ_n|,又λ为AB之任意特征值,则λ为实数,且(1)若A≥0,A(?)GL_n(Q),B≥0,B GL_n(Q),则λ≤λ₁μ₁;(2)若A>0或B>0,则|λ|≤|λ₁μ₁|,特别当A>0且B>0时有λ≤λ₁μ₁;(3)若A>0,B∈GL_n(Q),或B>0,A∈GL_n(Q)则|λ|≥|λ_nμ_n|,特别当A>0且B>0时有λ≥λ_nμ_n。     

自共轭四元数矩阵广义逆A{i,…，j;＊}的Loewner偏序

本文利用自共轭四元数矩阵广义逆的显公式，给出了在Loewner偏序下A{1；*；s；≤Aκ^(1),A{1;*;t;≥Aκ^(1)}（其中A∈H（n，*））；A{2；≥；t；≥Aκ^(2)},A{2;≥;s;≤Aκ^(2)},A{1;≥；t；≥As^(2)}（其中A∈H（n，≥））的表式。     

关于Fuzzy矩阵的广义逆

本文分别给出了Fuzzy矩阵存在广义{1,3}-逆、广义{1,4}-逆以及Moore-Penrose广义逆Fuzzy矩阵的一些充要条件。又得到求上述广义逆Fuzzy矩阵的一些公式。主要的结果有: 1.Fuzzy矩阵A的广义{1,3}-逆A~((1.3))(广义{1,4}-逆A~((1.4))存在的充要条件是Fuzzy关系方程有解。2.Fuzzy矩阵A的Moore-Penrose广义逆A~T存在的充要条件是Fuzzy关系方程均有解。3.如果B、C分别为Fuzzy关系方程的一个解,那么。     

关于四元数矩阵乘积迹的不等式

设 H~(m×n)为 m×n 四元数矩阵的集合,σ_1(A)≥…≥σ_n(A)为 A∈H~(mxn)的奇异值。本文证明了:1)设 A∈H~(mxm),B∈H~(mxm),r=min(m,m),则|tr(4B)|≤c r σ_i(A)σ_i(B).2)设 A_i∈H~(mxm),i=1,2,…,n,(A_1A_2…A_n)k为 A_1A_2…A_n 的任一个 k 阶主子阵,则|tr(A_1.A_2…A_n)_k|≤sun form i=1 to k σ_i(A_1)…σ_i(A_n).我们还得到四元数矩阵迹的其它一些不等式。这些结果推广和改进了文[1],[2]中的结果,进一步解决了 Bellman 猜想。     

严格对角占优M-矩阵A的‖A~(-1)‖_∞的上界估计

针对严格对角占优M-矩阵A的‖A~(-1)‖_∞。的估计问题,利用逆矩阵元素的上界,给出了‖A~(-1)‖_∞的单调递减的上界序列,理论证明及数值算例均表明所得估计改进了某些现有结果.     

GMRES方法的收敛率

1 引 言 GMRES方法是目前求解大型稀疏非对称线性方程组 Ax=b,A∈R~(n×n);x,b∈R~n (1)最为流行的方法之一.设x~((0))是(1)解的初始估计,r~((0))=b-Ax~((0))是初始残量,K_k=span{r~((0)),Ar~((0)),…A~(k-1)r~((0))}为由r~((0))和A产生的Krylov子空间.GMRES方法的第k步     

幂等算子乘积的群逆的表示

正1引言设X为Banach空间,B(X)表示Banach空间X上有界线性算子的全体.设A∈B(X),则满足方程ABA=A的有界线性算子B∈B(X)称为A的{1}-逆,记作A~-;满足方程ABA=A,BAB=B的有界线性算子B∈B(X)称为A的自反广义逆或A的{1,2}-逆,通常记作A~+.若B∈B(X)满足下列方程     

（广义）四元数群的自同构群及其全形

该文讨论了一类2^n阶非交换群——（广义）四元数群Q_{2^n}=〈a,b|a^{2^n-1}=1,b^2=a^{2^{n-2}},{b^{-1}ab=a^{-1}〉(n≥3)的自同构群A（Q_{2^n}）与全形H（Q_{2^n}））的置换表示，给出了A（Q_{2^n}））与H（Q_{2^n}））的构造.     

关于Hadamard不等式的再改进

本文提出并改进了文[1]中所给出的几个关于可除环上矩阵行列式的不等式,利用这些不等式我们给出了可除环上任意非奇异矩阵的经典Hadamard不等式的一个再改进. 定义1 设A=(a_(ij))_(n×n)是四元数除环Ω上的矩阵,A=(a_(ij))_(n×n)是A的共轭矩阵,如果A=A,则称A为自共轭矩阵,如果A的各阶主子式均为正实数,则称A为正定自共轭矩阵(文[2]定理4).     

四元数矩阵的Lwner偏序

对于 A,B∈ H( n,≥ ) ,该文给出 Lowner偏序下 A≤ L B的五种刻画和 A2 ≤ L B2 的两种刻画 ;并将 A,B∈C( n,* )时 ,A≤ L B的 Liski定理推广到四元数除环上 .     

四元数矩阵的L[AKo¨D]wner偏序

对于A，B∈〖WTHX〗H〖WTBX〗(n,≥)，该文给出L[AKo¨D]wner偏序下A≤〖DD(〗L〖DD)〗B的五种刻画和A\+2≤〖DD(〗L〖DD)〗B\+2的两种刻画；并将A，B∈〖WTHX〗C〖WTBX〗(n,*)时，A≤〖DD(〗L〖DD)〗B的Liski定理推广到四元数除环上．     

一类非平稳高斯序列超过数点过程与和的渐近性

设{X_i}_(i=1)~∞是标准化非平稳高斯序列,N_n为X_1,X_2,…,X_n依次对水平μ_(n1),μ_(n2),…,μ_(nn)的超过数形成的点过程.记Υ_(ij)=X_iX_j,S_n=■X_i.当Υ_(ij)满足一定条件时,证明了N_n依分布收敛到Poisson过程,且N_n与S_n渐近独立.     

关于Aluthge变换的数值域

设A是作用在希耳伯特空间H上的有界线性算子,如果A=V A是算子A的极分解,则定义A~=A 12V A 21和A~(*)=A*21V A*21分别为算子A的Aluthge变换A~和*-Aluthge变换A~(*).记A~和A~(*)的数值域分别为W(A~)和W(A~(*)).证明了W(A~)=W(A~(*)),即肯定了吴提出的一个猜想.     

解非线性方程组的一类算法

§1.引言 求解线性方程组 a_i~Tx=b_i,i=1,2,…,n,(1.1)其中a_1,a_2,…,a_n线性无关. 设y~((1))为初值,U~((1))为任意非奇异n阶矩阵,我们用如下方法求解方程组(1.1). 先考虑前k-1个方程组成的亚定方程组 a_i~Tx=b_i,i=1,2,…,k-1.设{U~((k))}={a_1,a_2,…,a_(k-1)},这里{U~((k))}表示由U~((k))的列组成的子空间.显然,rank(U~((k)))=n-b+1.若y~((k))是相应的亚定方程的一个特解,则将其看作方程组     

由谱数据数值稳定地构造实对称带状矩阵

§1.引言 设r,n是正整数并且0r有a_(ij)=0.     

关于Cochran定理的推广

许多文献研究Cochran定理,都限定矩阵是幂等A~2=A、或三次幂等A~3=A.本文讨论的Cochran定理,则把矩阵类扩大到满足α_0A~s+α_1A~(-1)+…+α_(s-1)A=0的矩阵类。     

非线性灰色时滞离散系统的稳定性

的零解的稳定性,其中k∈Z(Z为全体整数之集),l为一确定的自然数;x∈R~n,f:Z×C→R~n,C为所有从{-1,-1 1,…,0}到R~n的映射组成的集合,x_k∈C,x_k=x_k(r)=x(k r)(r=-l,-l 1,…,0);A((×))=(α_(ij)((×)))及A_k((×))=(α_(ij)~(h)((×)))(h=1,2,…,l)为n×n矩阵,它们的元素不确知,只知其上、下界,即     

仿射李代数上基本模的极大权

设g(A)是结合于仿射型广义Cartan矩阵A的Kac-Moody代数,L(Λ)(Λ∈P )是g(A)上可积不可约的最高权模。文献[1]证明了L(Λ)的支配极大权只有有限个,并且决定了A~((k))_l,D~((k))_l,E~((k))_l(k=1,2,3)型Kac-Moody代数上水平1的可积不可约模L(Λ)的极大权集及权系。本文试图用不同于[1]的方法,也是更直接的方法,来决定C~((1))_2,G~((1))_2型Kac-Moody代数上基本不可约模L(Λ)的极大权集和权系。 本文所使用的术语和记号均见文献[1]。