关于半正定矩阵等和完全对称函数的一些不等式

对于n阶半正定矩阵A,B的初等和完全对称函数,得到如下的不等式,Er[(AB)^m]≤Er(A^mB^m),hr[(AB)^m]≤(A^mB^m),Er[A^aB^1-a]≤[Er(A]^a[Er(B)]^1-A,HR[A^aB^1-a]≤[hr(A)]^a[hr(B)]^1-a.其中,m是任意正整数,0≤a≤1,Er(A),hr(A)分别为半下定矩阵A的r阶初等和完全对称函数。当A,B都是正定矩阵时,有E^2r(A#B)≤Er(A)Er(B),h^2r(A#B)≤hr(A)hr(B),其中,A＃B＝A^1/2BA^-1/2)^1/2A^1/2称为A与B的几何平均矩阵。     

关于矩阵迹的几个不等式

该对满足一定条件的矩阵给出了关于矩阵迹的如不等式：mtr(A1A2…M)≤tr(A^M1) Tr(A^m2) …＋tr(A^mm）tr(A^a11A^a22…A^amm)≤trA1)^a1(trA2)^a2…（trAm)^am其中aj>0(j=1,2，…，m),m/∑／j=1aj≥1。     

关于复矩阵迹的算术--几何平均不等式

证明了比R.Bellman提出的"类似于算术-几何平均不等式的矩阵迹不等式"在形式上更接近算术-几何平均不等式的矩阵迹不等式|tr(m∏k=1Ak)|1/m≤1/mm∑k=1trAk且证明了更一般的结论及相关重要结果tr(m/k=1atkk)1/tm≤Tmm=1tk*tr(akak*）1/2和ti=1tr(mk=1a(I)k)mk=1{ti=1{tr(aika(t)k*)a/2k]a/2k}1/Bi,其中Tm=mk=1tk,tk,ak,Bi是正整数,mk=1a-1k≥1,ti=1B-1i≥1.     

实对称矩阵的某些不等式

1980年,Bellman,R.在文〔1〕中证明了下面的不等式 tr(AB)≤{tr(A~2)tr(B~2)}~(1/2) (1) 2tr(AB)≤tr(A~2)+tr(B~2) (2)这里A,B是同阶正定矩阵。 本文得到了与(1)、(2)类似的不等式 tr((AB)~m)≤{tr(A~(2m))tr(B~(2m))}~(1/2) (3) 2tr((AB)~m)≤tr(A~(2m))+tr(B~(2m)) (4) 其中A、B是同阶实对称矩阵,m=2~k(k为非负整数)     

Hermite矩阵迹的一个不等式

对于n阶半正定Hermiter矩阵A和B及自然数m,本文证明了不等式:tr(A~(1/2)BA~(1/2))~(m/2)(B~(1/2)AB~(1/2))~(m/2)≤tr(AB)~m≤tr(AB~2A)~(m/2)特别当m=2~K时,Bellman猜想成立,即有tr(AB)~(2k)≤trA~(2k)B~(2k)     

关于斜Hermite矩阵乘积迹的不等式

在Ａ、Ｂ为斜Ｈｅｒｍｉｔｅ矩阵的条件下，证明了不等式ｔｒ（ＡＢ）＾２ｎ≤ｔｒ（Ａ＾２ｎＢ＾２ｎ）其中ｎ为非负整数。     

关于Bellman不等式的注记

本文证明了关于矩阵迹的七个命题:1.trAB≤(trA~2)~(1/2)·(trB~2)~(1/2),A′=A,B′=B,且等式成立A=kB 或B=kA(k≥0)。2.(tr(A+B)~2)~(1/2)≤(trA~2)~(1/2)+(trB~2)~(1/2),A′=A,B′=B.且等式成立A=kB 或B=kA(k≥0)。3.trAB≤tr((A+B)/2)~2,A′=A,B′=B,且等式成立A=B。4.trA~2≤(trA)~2,A 半正定,且等式成立rk(A)≤1。5.trAB≤(trA)(trB),A,B 半正定,且等号成立(?)A=0或B=0或A=kB(k>0)且rk(A)=rk(B)=1。6.tr(AB)~2≤trA~2B~2,A′=A,B′=B,且等式成立AB=BA。7.tr(AB)~2≤(trAB)~2其中A,B 为正定阵.A=TT′,B=QQ′,且等号成立rk(C)≤1,其中C=(T′Q)(T′Q)′。     

关于“Bellman问题的一个证明”一文的注记

指出文[8]中主要结论证明中的问题,证明了如下定理:设x1,x2,…,xn为正整数,且x1+x2+…+xn=m,则存在正整数a1,a2,…,an,使(a1+a2+…+an)tr(A1x1A2x2…Axnn)(A1x1A2x2…Anxn)H≤a1trA12m+a2trA22m+…+antrA2nm对所有Hermite矩阵A1,A2,…,An成立,并由此得到Bell man问题的一个证明。     

关于矩阵迹的不等式

对矩阵迹不等式：ｔｒＭ＾２＾ｎ（Ｍ＾Ｔ）＾２ｎ≤ｔｒ（ＭＭ＾Ｔ）＾２ｎ，提出了更一般的问题，以任意自然数ｎ，不等式ｔｒＭ＾ｎ（Ｍ＾Ｔ）＾ｎ≤ｔｒ（ＭＭ＾Ｔ）＾ｎ成立，并给出了证明。     

关于矩阵乘积迹的两个问题

关于矩阵乘积迹的两个问题刘希普，黄少通文［１］证明了下述两个不等式成立：（１）设Ａ为Ｈｅｒｍｉｔｅ矩阵，Ｂ为斜Ｈｅｒｍｉｔｅ矩阵，则ｔｒ（ＡＢ）￣２＞ｔｒＡ￣２Ｂ￣２；（２）设Ａ，Ｂ均为余Ｈｅｒｍｉｔｅ矩阵，则ｔｒ（ＡＢ）￣２≤ｔｒ（Ａ￣２Ｂ￣２）。...     

正交矩阵的充要条件与O-正交矩阵的性质

定义了O 正交矩阵、R 正交矩阵、L 正交矩阵等概念,并分析了右转置矩阵、左转置矩阵和全转置矩阵与正交矩阵的关系,得到正交矩阵的充分必要条件。并给出了 O 正交矩阵、R 正交矩阵、L 正交矩阵的一些相关结论。     

两个二次矩阵线性组合的二次性

目的当P1,P2是2个满足方程(x-α)(x-β)=0的矩阵(称为二次矩阵),讨论了线性组合c1P1+c2P2仍是二次矩阵时系数(c1,c2)的完全分类。方法通过二次矩阵的性质和矩阵方程恒等式的性质。结果与结论将幂等矩阵、幂幺矩阵、幂零矩阵的线性组合的保持性问题推广到了二次矩阵的情形,概括了特殊矩阵线性组合性质的相关结果。     

一种整数矩阵求逆方法的证明

本文利用组合的性质证明了一种整数矩阵求逆矩阵的方法,给出了求逆矩阵的公式,并通过了实例验证。     

一种整数矩阵求逆方法的证明

本文利用组合的性质证明了一种整数矩阵求逆矩阵的方法，给出了求逆矩阵的公式，并通过了实例验证。     

矩阵的RQ分解

文章利用Householder矩阵变换给出行满秩矩阵的RQ分解,作为分解结果的应用,我们给出了一般矩阵的RQ分解.     

格上矩阵的乘积运算性质

本文根据经典格论中的交、并运算的定义,在有补的分配格L上定义了格上的二阶矩阵的乘积运算,并给出了格上矩阵乘积运算的运算性质,得到关于几类特殊格上矩阵的相关结论.     

两个二次矩阵组合的可逆性

目的 当P,Q是2个满足方程(x-α)(x-β)=O的矩阵(称为二次矩阵),讨论了组合aP+bQ-cPQ的可逆性与系数a,b,c的关系.方法 通过研究aP+bQ-cPQ的核子空间与系数a,b,c的关系.结果 得到了α,β取某些值时,组合ap+bQ-cPQ的可逆性与系数a,b,c的选取无关,其中ab≠0.结论 推广了已有文献的结果,丰富了特殊矩阵线性组合研究的相关理论.     

多项式除法的矩阵表示

对于两个多项式相除,目前只有竖式算法和综合除法。本文以矩阵为工具,通过引入三个定义、两个定理和两个推论,对两个多项式在整除和不能整除这两种情况下,给出了多项式除法的矩阵算法。这样多项式相除就增加了一种新的算法。     

多项式的矩阵形式及运算

根据矩阵理论,将多项式表示成矩阵的形式,并利用矩阵的运算性质,定义了多项式的加、减、乘运算,不但简化了多项式的运算,而且也为研究多项式的性质和多项式的除法奠定了基础.     

正规矩阵的稳定性及其特征值的估值方法

就特殊矩阵稳定性论证了几个重要定理,给出了特征值上下确界的求法,分析并论证达到上下确界的条件,结合实例给出了论证方法.