关于复方阵的平方根

本刊文 [1]中提出如何判断一个方阵是否存在平方根的问题 .这里 ,我们就 n阶复方阵情形给出三个判别准则 .设 A是 n阶复方阵 ,JA 表示它的若当标准形 ,则存在相似变换矩阵 P,使得 A=PJAP-1 .有关复方阵 A的若当标准形 JA 以及相似变换矩阵P的求法 ,见本刊文 [2 ]或 [3 ] ,本文不再赘述 .定义 1　设 A是 n阶复方阵 ,若存在 n阶复方阵 B,使得 B2 =A,则称 B为 A的平方根 .为书写简便 ,我们用记号 Jr( x) ( r≥ 1)与diag[B1 ,B2 ,… ,Bs]分别表示 r阶若当矩阵和对角块矩阵 :x 1 x 1x∈ Mr( C) ,B1 B2 Bs.用文 [2 ]中给出的计算复…     

矩阵线性组合幂性及三次幂等性的研究

1引言及引理 幂等矩阵和三次幂等矩阵的线性组合在矩阵理论和统计学中具有重要的应用[1,2],In表示C上的n×n单位矩阵,r=rank(A)表示A∈ Cn×n的秩.设c1,c2∈C是非零复数,A,B∈Cn×n是非零的复矩阵,且A≠±B,P是A和B的线性组合,即P=c1A+c2B.文献[3-5]中给出了:(1)A和B均是...     

复半正定矩阵的奇异值不等式

用Mn表示所有复矩阵组成的集合.对于A∈Mn,σ(A)=(σ1(A),…,σn(A)),其中σ1(A)≥…≥σn(A)是矩阵A的奇异值.本文给出证明:对于任意实数α,A,B∈Mn为半正定矩阵,优化不等式σ(A-|α|B) wlogσ(A+αB)成立,改进和推广了文[5]的结果.     

也谈方阵的平方根

文[1]讨论了二阶方阵的平方根和三角方阵的三角平方根问题,但其结论有误．这里指出其错误并给出正确的定理．定义1设A是一个n阶方阵,若存在n阶方阵B,使B2=A,则称方阵B为方阵A的平方根．若有Bm=A,则称B为A的m次方根．文[1]给出如下定理：上（下）三角方阵存在上（下）三角方阵的平方根．对上述定理,文[1]没有给出一般证明,仅以三阶上三角方阵为例来证．但可惜的是,即使这样一个特殊情况的证明仍有漏洞,结论并不成立．例如不存在上三角方阵的平方根．事实上,对任意上三角方阵可以验证,均不存在上三角平方根．我们有如下定理：…     

关于《两个矩阵迹不等式及其证明》一文中的错误及纠正

作者在文[1]中给出了Bellman(注:原文误印为Bellmen,在此纠正)不等式的一个改进与推广,即定理1 设A,B为n阶Hermite矩阵,A,B     

|A B|~(1/n)≥|A|~(1/n) |B|~(1/n)的一个证明

文[1]、[2]用两种方法证明了命题:设A,B是n阶正定矩阵,则有|A B|~(1/n)≥|A|~(1/n) |B|~(1/n)等号成立当且仅当A=kB(k>0)。本文用矩阵迹的概念给出一个不同的证明。我们首先证明下面两个引理。     

矩阵对角占优性的推广及应用

§1.引言设 A=(a_(ij))_(n×n)为一复矩阵,若有一正向量 d=(d_1,d_2,…,d_n)~T 使得d_i|a_(ij)|≥sum from j≠1 d_j|a_(ij)|,(1)对每一 i∈N={1,2,…,n}都成立,则称 A 为广义对角占优矩阵,记为 A∈D_0~*;如若(1)式中每一不等号都是严格的,则称 A 为广义严格对角占优矩阵,记为 A∈D~*.特别地,当 d=(1,1,…,1)~T 时,A∈D_0~*及 A∈D~*即是通常的对角占优与严格对角占优,分别记作 A∈D_0及 A∈D.利用矩阵的对角占优性质讨论其特征值分布是矩阵论中的重要课题,文献[5]—[10]给出了这方面的重要结果.n 阶实方阵 A 称为 M-矩阵,如果 A具有形式:A=sI-B,s>ρ(B),其中 B 为 n 阶非负方阵,ρ(B)表 B 之谱半径,利用广义严格对角占优的概念,文[1]给出了 M-矩阵的等价表征:若 n 阶实方阵     

矩阵可对角化的一个充要条件

本文给出矩阵可对角化(即可与对角矩阵相似)的一个充要条件,并推广了文[1]中的一个结果。首先叙述如下: 引理设A,B都是n阶矩阵,则有秩(AB)≥秩A+秩B-n 证明可见[2],这里从略。定理设A是数域F上的一个n阶矩阵,     

矩阵可对角化的简单判定

矩阵可对角化问题是矩阵理论中的一个基本问题 .《数学通报》1990年第 2期刊载的《矩阵可对角化的一个充要条件》一文 [1 ] ,讨论了矩阵可对角化的判定问题 .本文在此基础上 ,对文 [1]中的判定条件加以改进 ,得出更为直接的简单判定 .以下讨论 ,均在一个固定的数域 P中进行 .我们总假定 A代表数域 P上的一个 n× n矩阵 .因为我们关心的问题是 A可否在 P中对角化 ,即存在一个 P上可逆 n× n矩阵 T使得 T-1 AT成为对角阵 ,故以下均假定 A的全部特征值都在 P中 (否则A在 P中不可对角化 ) .我们先给出一个矩阵可对角化的条件 .定理 1　设…     

关于矩阵方程X+A*X-1A=P的解及其扰动分析

考虑非线性矩阵方程X＋A^＊（X^-1）A=P其中A是n阶非奇异复矩阵,P是n阶Hermite正定矩阵．本文给出了Hermite正定解和最大解的存在性以及获得最大解的一阶扰动界,改进了文[5,6]中的部分结论．     

关于Hadamard不等式的再改进

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

非奇异H-矩阵一类新的实用性判据

1引言在计算数学、数学物理、控制论与矩阵论中,非奇异H-矩阵是有着重要应用的一类特殊矩阵,有关其数值判定也一直是矩阵计算的重要课题,不少学者对此进行了研究,得到了许多结果,如文[1]-[10]都给出一些比较实用的判别方法．本文另提出了一些新的实用性判别,进一步改进了文[1]的主要结果．用Cn×n表示n阶复矩阵集,设A=(aij)∈Cn×n,记,若|aii|≥Λi(i=1,2,…,n)(本文用Λi表示Λi(A)),则称A为对角占优矩阵;如果每个不等号都为严格成立,则称A为严格对角占优矩阵,记A∈D;若存在正对角阵X,使得AX为严格对角占优矩阵,则称A为广义严格对角占优阵,记A∈D．设A∈Zn×n={(aij)∈Cn×n|aij≤0,i≠j;i,j∈N},若A=sI-B,s>ρ(B),其中B为非负方阵,ρ(B)表示B的谱半径,则称A为非奇异M-矩阵．若A∈Cn×n的比较矩阵M(A)=(mij)为非奇异M-矩阵,则称A为非奇异H-矩阵,其中     

关于对广义的正定矩阵进一步研究

通常讨论矩阵的正定性只局限在实对称矩阵范围内(以下我们把全体n阶实对称正定矩阵的集合记为S~+),随着数学本身的发展和其它学科的需要,有不少人开始研究未必对称的较广义的实正定矩阵.李炯生在文[1]中给出了一类较广义的实正定矩阵的定义: 设A是n阶实方阵.如果对于任何非零的n维列向量X都有 X~TAX>0,其中X~T表示X的转置,则把A叫做正定矩阵.全体这类矩阵的集合记为P(I).文[1]证明了A∈P(I)的充分必要条件是A的对称分量是对称正定矩阵(即把A表示为对称矩阵与反对称阵的和的形式,前者称为对称分量,后者称为反对称分量).同时还推得P(I)中矩阵其     

几类时变系统的稳定性的新判据

本文利用文[1]—[4]关于区间矩阵或区间对称矩阵的稳定性判据给出了时变线性系统(dx)/(dt)=A(t)x(1)和具有时滞的线性系统(dx(t))/(dt)=A(t)x(t) B(t)x(t-τ)(2)的零解渐近稳定的充分条件,并利用文献[5]的引理给出了时变直接控制系统(?)的绝对稳定性的充分条件.我们将以上时变系统的稳定性判定归结为有限个常数矩阵的稳定性判定,或者通过所构造的常数矩阵的主子式符号或谱半径来判断.对矩阵 A(t),B(t)不要求缓变,也无任何结构上的特殊要求.     

不可约分块Hessenberg矩阵的逆阵

文[1]给出的非奇分块矩阵以分块三对角矩阵为其逆阵的充要条件,是该分块矩阵具有准三角性质,所谓分块矩阵R=[R_(ij)]的准三角性质,即R_(ii)非奇异并且     

规范矩阵乘积的特征值的最优估计

文[1]给出了下面的定理: 设A,B为两个n×n(n>1)阶正定厄米特矩阵;μ_1,…μ_4;ν_1,…ν_n分别为A,B的特征值,     

一个矩阵不等式的修正及应用

设R(C)为实(复)数域,H~(n×n)为n×n的Hermitian矩阵的集合。当A(∈C~(n×n))的特征值皆为实数时,如不特殊说明,约定A的特征值满足λ_1(A)≥…≥λ_n(A)。文[1]有如下不等式, 令A=B=[(?)],知(1)式一般不成立,(1)式是[1]将[2]的关于奇异值不等式     

一类2-Hessenberg矩阵的广义逆

在[2]中,Ikebe给出了一类下Hessenberg矩阵之逆的上三角部分的求法,从而导出三对角矩阵求逆的一种方法.文[4]中获得了计算该类Hessenberg矩阵的逆和广义逆的显式公式,由此也可得出计算三对角矩阵广义逆的方法,文[3]将[2]中的结果推广到更一般的k-Hessenberg矩阵,进而得到带状矩阵求逆的一种方法.本文研究一类实2-Hessenberg矩阵的广义逆,表明这些广义逆可由低阶三角矩阵的逆和几个简单的秩-1或     

对《关于几类矩阵的特征值分布》一文的几点意见

文[1]给出了某些对角占优矩阵的特征值分布定理。本文指出文[1]分布定理的几处错误: (1)当矩阵A∈D时,有反例说明定理1的结论2)是不成立的。     

2×2上三角算子矩阵的Drazin谱

设MC=[A C 0 B]是从Hilbert空间H⊕K到H⊕K中的2×2上三角算子矩阵.该文主要研究MC的Drazin可逆性和MC的Drazin谱.此外,对给定算子A∈B(H)和B∈B(K),将给出在一定条件下所有上三角算子矩阵Mc的Drazin谱的交∩C∈B(K,K)σD(MC)的具体表达式.