四元数自共轭矩阵与行列式的几个定理

本文继续使用文献[1],[2],[3],[4],[5]的符号和术语。对四元数体Q上的自共轭矩阵与行列式进行讨论得到几个重要定理。为此,先作几点说明。 2.设A为四元数体Q上的一个n阶矩阵,若A=(即,A=a_(ij),a_(ij)∈Q。恒有a_(ij)=a_(ji))。则说A是四元数体Q上的一个自共轭矩阵。自共轭四元矩阵A的行列式记为‖A‖。     

正定实对称矩阵的几个不等式

本文证明了正定矩阵的几个不等式,同时得到了Minkowski不等式的一种推广形式。为方便起见,我们限定矩阵是实对称的。定理1 设A,B是n×n阶正定实对称矩阵,则对任意正数λ,μ,有等号当且仅当A=κB(κ>0)时才成立。在此,以|M|表矩阵M的行列式。在证明之前,我们先引进一个关于两组正     

正规矩阵的任意扰动

设A为n×n矩阵,其特征值为λ1,λ2,…,λn;矩阵B=A+X之特征值为μ1,μ2,…,μn.若A,B均为正规矩阵,由Wielandt-Hoffman定理[1],存在1,2,…,n的一个排列k1,k2,…,kn,使得nj=1|λj-μkj|2≤‖X‖2F,(1)其中‖·‖F表示Frobenius范数.又,在同样条件下,存在1,2,…,n的一个排列l1,l2,…,ln,使得对1≤j≤n均有|λj-μlj|≤2.91‖X‖2,(2)其中‖·‖2表示谱范数,这是R.Bhatia等人的结果[2].本文旨在讨论A为正规矩阵,B为任意矩阵时特征值的扰动估计,得到了几个扰动定理,分别推广了上述两个结果.本文用CH表示矩阵C的共轭转置,trC表示C的迹;…     

四元数矩阵的分解与Lavoie不等式的推广

注意到著名的Hadamard不等式推广的新近进展,本文在[3]～[6]的基础上研究了Lavoie行列式不等式在四元数体H上的推广。为此,我们先证明了四元数矩阵的两个分解定理。 本文约定:是半正定自共轭的是正定的, 1.四元数矩阵的因式分解 由[4]、[5],利用矩阵分块方法证得 引理1 设m是自然数,则有唯一的,使得A=B~m,且     

关于复正定矩阵行列式的不等式

本文讨论了复正定矩阵行列式的估计式 ,修正了文 [2 ]的一些错误 ,得到了一些复正定矩阵行列式的不等式 .     

关于Hadamard不等式的再改进

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

正定自共轭矩阵行列式的含参数的上界

本文绘出几个关于正定自共轭矩阵行列式的含参数的上界,从而在实四元数除环上进一步推广了Hadamard定理。     

两类四元数矩阵偶的GH合同标准形

该文给出两类四元数矩阵偶〈A，B１〉与〈A，B２〉的ＧＨ 合同标准形，其中A为半正定自共轭阵，B１ 为斜自共轭阵，B２ 为自共轭阵．由此分别得到（广义）半正定与正定四元数矩阵的ＧＨ合同标准形，以及矩阵同时对角化问题的若干个结果．     

半正定矩阵及矩阵方程AX=B的反问题

文从研究一类控制系统的实际背景提出对已知实向量x,b求满足Ax=b的对称正定阵A的一类反问题。文[2]与[3]研究了上述反问题在对称正定类、正定类中有解的充要条件及解的一般形式。本文讨论复矩阵方程 AX=B(1)(X,B为m×n阵,A为m×m阵)在半正定、正定、H半正定、H正定类中反问题有解的充要条件及其解集的一般形式。如无特别申明,本文总考虑复矩阵和复向量,其共轭转置用“*”表     

复矩阵的亚半正定性

复亚半正定矩阵是 Hermite正定阵的推广 ,研究了它的 Kronecker积、Hadamard积和行列式理论 ,将实对称阵的 Schur定理、华罗庚定理、Minkowski不等式、Ky-Fan不等式、Ostrowski-Taussky不等式推广到了一类非 Hermite复矩阵上 ,扩大了 Minkowski不等式的指数范围 ,削弱了华罗庚不等式的条件 .     

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

设A和B都是四元数自共轭半正定矩阵，或者其中之一是正定的，而另一个是自共轭的，本文改进并推广了[2]对乘积AB的特征值估计.     

对“关于复正定矩阵行列式的不等式”一文的注记

本文指出文 [1 ]中的错误 ,并把文 [1 ]中关于复正定矩阵与正定 Hermite矩阵的行列式不等式推广到较为广泛的复矩阵类     

复矩阵的亚半正定性

复亚半正定矩阵是Hermite正定阵的推广,研究了它的Kronecker积,Hadamard积和行列式理论,将实对称阵的Schur定理,华罗庚定理,Minkowski不等式,Ky-Fan不等式,Ostrowski-Taussky不等式推广到一类非Hermite复矩阵上,扩大了Minkowski不等式的指数范围,削弱了华罗庚不等式的条件。     

广义实正定矩阵的几个不等式

推广了文献[3]中的广义实正定矩阵的行列式不等式,同时给出了广义实正定矩阵的凸性不等式.     

希尔伯特空间上的李雅普诺夫定理

我们用■(C)记n维欧氏空间 C~n 上的 n×n 阶矩阵全体,其中自共轭矩阵全体记为■_n.关于矩阵的 Lyapunov 定理和 Stein 定理通常分别叙述成Lyapunov 定理.对矩阵 A∈■(C),存在一自共轭矩阵 x∈■_n,且 X>0(正定),使 AX XA~*>0的充要条件是 A 的特征值完全落在复平面的右半开平面内.这里 A~*表示 A 的转置共轭矩阵,而右半开平面是指不包含虚轴的右半平面.     

奇异H-矩阵并行算法

1　引　　言对于H矩阵类,到目前为止,人们关注的是非奇异H矩阵,对于奇异H矩阵研究结果很少,不象奇异M-矩阵研究的丰富[1-4]及获得了半收敛的一些结论,王川龙和游兆永将并行算法用于奇异M矩阵[5].本文的目的就是将并行算法用于奇异H矩阵.为此,首先讨论了奇异H矩阵与奇异M矩阵的关系.2　符号特征设Mn(R)代表实方阵的全体,A∈Mn(R),不特殊说明,A=D-B表示Jacobi分裂,〈A〉是A的比较矩阵,detA表示A的行列式,ρ(A)表示A的谱半径,μ(A)表示A的谱〈n〉={1,2,…,n},A[α|α]表示由α所决定的主子矩阵,α∈〈n〉.定理2.1[8]　设A是实H矩阵…     

关于矩阵范数的几个不等式

正1引言文中,用M_n表示n×n复矩阵全体,用‖·‖表示任意的酉不变范数,分别用|λ_n(A)|≤…≤|λ_1(A)|,s_n(A)≤…≤s1(A)来表示矩阵A的特征值和奇异值,用|A|=(A~*A)~(1/2)表示A的绝对值算子.     

线性流形上亚半正定阵的一类逆特征值问题

1　引言与引理设 Rm× n表示所有 m× n实矩阵集合 ,m=n时 ,Rm× n简记为 Rm;Rm0 表示所有 m阶亚半正定阵集合 ,即 Rm0 ={ A∈Rm× m|YTAY≥ 0 , Y∈Rm× 1 } ;ORm表示 m阶正交矩阵集合 ;A+表示矩阵 A的 Moore-Penrose广义逆 ;‖·‖表示 Frobenius范数 .In 表示 n阶单位阵 ,有时令SE={ A∈ Rm× m|‖ AE -F‖ =min,E,F∈ Rm× k} ,(1 .1 )则 SE是线性流形 .文 [1 ] ,[2 ]分别研究了 SE上实对称矩阵及实对称半正定阵的逆特征值问题 ,本文将进一步研究 SE上亚半正定阵的一类逆特征值问题 ,具体叙述如下 :问题 　给定 X,B∈R…     

某类四阶非对称微分子算子的同构与扩张同构

文[1]通过考虑四阶非对称微分算子A(K(i,j),|·|H4)→(AλK(i,j),|·|L^2)(诸定义见如下的一定义与问题)相应于λ的一对一性,处理了边值问题Aλy=f,y∈K(i,j),∈c[0,l]相对于λ 的y对于 f的唯一性问题.这恰好描述了某一类飞行器飞行的平稳性状之一.即飞行器不振动的情形,值得指出,由于Aλ非对称,及上述的二个空间即使在扩张意义下也不是同一个Hilbert空间,因而难以用自伴算子的技巧 来处理Aλ的一对一与同构.故文[1]的结论实际上是引入F.沙特林[2]中的带算子内积(Aλy,z),并对Re(Aλy, y)进行先验估计而得到的.本文将进一步处理对刻划飞行器飞行平稳性状更为重要的正则性.即边值问题Aλy=f中y与f互相连续地依赖的情形,等价地,如上的算子Aλ相应于λ同构的情形.除了避免使用自伴算子技巧外,我们知道.文[1]中的方法也不再适用,从形式Re(Aλy,y),可以想到采用或模仿单调算子的技巧,但Aλ并不是单调算子,此外即使将算子Aλ分为实部与虚部考虑,对于某些 λ成为单调算子,充其量只能得到带有扰动算子的满射性结果,^[3]因为无法得到使极大单调线性算子成为同构的强制性条件,故本文采用对|Aλy|^2La进行 下界估计的方法.通过较为复杂的先验估计,本文得到了使|Aλy| 2L2≥ε^20|y|2H4成立的λ的条件,从而对于这些λ,得到了同构Aλ.(K(i,j),|·|H4)≈→ (AλK(i,j),|·|L2)及其扩张同构^∽Aλ.(─K(i,j)|·| H^4,|·|H^4)≈→(──AλK(i,j)|·|L^2,|·|L^2),更有趣的是,通过泛函分析的方法尤其是逆算子定理,上述的同构还可以转化为更为精细的同构Aλ:(K(i,j),|·|c^4)≈→(AλK(i,j),|·|c).     

“关于厄米特矩阵的一个不等式”的几点注记

<正> 文[1]提出并证明了下面的定理.设 A_j,B_j,…,C_j(j=1,2,…,k) 都是正定的同阶 (≥2) 厄米特矩阵,α,β,…,γ都是正实数,且 α+β+…+γ=1,则有sum from i=1 to k|A_j|~α|B_j|~β…|C_j|~γ<|sum from i=1 to k A_i|~α·|sum from i=1 to k B_i|~β…|sum from i=1 to k C_i|~γ.以下几点意见,供参考.第一,文[1]中的引理1和引理2是早有的结果.引理1见[2]p.15,[3]p.16及p.13,引理2是 Minkowski 行列式定理的直接推论,见[4].事实上,文[1]的定理是 H(?)lder 不等式和 Minkowski 行列式定理的自然结果.因为