复合矩阵的Loewner偏序与特征值不等式.docVIP

复合矩阵的Loewner偏序与特征值不等式 第35卷第3期陕西师范大学(自然科学版)Vo1.35No.3 2007年9月Journ~ofShaanxiNormalUniversity(NaturalScienceEdition)Scp.2007 文章编号:1672—4291(2007)03—0013—03 复合矩阵的L6wner偏序与特征值不等式 尹小艳,刘三阳,房亮 (西安电子科技大学应用数学系,陕西西安710071) 摘要:讨论了存在L6wner偏序的两矩阵的k级复合矩阵的关系,并将复合矩阵与广义Schur补 结合起来,研究矩阵广义Schur补的复合矩阵与复合矩阵广义Schur补之间的L6wner偏序,得到 了[(ABA)/a]≤[(A/a)][B(卢,)](A/)等结果,并给出相关的特征值与奇异值不 等式,推广和改进了近期的相关结果. 关键词:复合矩阵;广义Schur补;L6wner偏序;Moore—Penrose广义逆;特征值 中图分类号:O151.21文献标识码:A L6wnerpartialorderandeigenvalueinequalitiesfor compoundmatrices YINXiao-yan,LIUSan—yang,FANGLiang (DepartmentofAppliedMathematics,XidianUniversity,Xian710071,Shaanxi,China) Abstract:Thebwnerpartialorderforcompoundmatricesareconsidered.CombinggeneralizedSchur complementswithcompoundmatrices,theL6wnerpartialorderforcompoundmaticesofgeneralized Schurcomplementsisstudied.Someinequalities,suchaS[(ABA)/a]≤[(A/a)][B (J9)](A/a)areobtained.Severaleigenvalueinequalitiesofcompoundmatricesamp;realsooffered, whichgeneralizesomerecentresults. Keywords:compoundmatrix;generalizedSchurcomplement;bwnerpartialorder;Moore—Penrose generalizedinverse;eigenvalue MRSubjectclassification:15A45 本文中用C表示mX复矩阵集,表示 阶Hermite矩阵集.H(H)表示阶半正定(正 定)Hermite矩阵集.设A,B∈,A≤B表示B— A∈H,关系≤称为上的bwner偏序.用 A表示A的Moore—Penrose广义逆.对A∈C, 若aM={1,2,…,m},(==N={1,2,…,}. 用A(,)表示A的由a所在行与所在列构成的 子矩阵.用l口l表示口的基数,若l口llt;min{m, },A(a,a)简记为A(a).对A∈C,记(A) 为A的特征值之集.且总设A的特征值按从大N4, 排列为l1(A)l≥l2(A)l≥…≥l(A)1.用 (A)表示A的列空间. 定义1【J设A∈C,k(1≤k≤min{m, })为任意自然数,称以A的所有k级子式按字典 顺序排列所成的矩阵为A的k级复合矩阵,记为 (A). 定义2设A(==C,z=min{m,},口(==L = {1,2,…,z}和口=N一口,=M一口,称A = A(,a)A(a)A(a,a)为A的关于A(a)的 广义Schur补,并约定A/=A.当A(a)可逆时, 即为一般意义下的广义Schur补. 文献[2]研究了A正定性,(A/Or)与(A) 的Schur补之间的关系,本文改进和推广了文献[2] 的几乎所有结果. 收稿日期:2006—11—13 基金项目:国家自然科学基金资助项目 作者简介:尹小艳,女,博士研究生,研究方向为矩阵理论与最优化 14陕西师范大学(自然科学版)第35卷 1复合矩阵的L6wner偏序 引理1[]设A,B∈H,则A≤B当且仅当 存在矩阵K,使得 A=BK,(K)[0,1]. 定理1设A,B∈H,A≤B,则 0≤Ck(A)≤(B),l≤k≤. 证明由A≥0,(A)=(AA): (A1/2)(A1/2)≥0.又因为B≥A≥0,由引理 l,存在阶矩阵K,使得A=BK,(K)(==[0,1]. 故对l≤k≤,有(A)=Ck(B)(K).易证 (K)][0,1],从而定理得证. 文献[2]证明了对正定矩阵A,有Ck(A/a)≥ Ck