与四元数矩阵迹有关的几个弱控制不等式

证明了几个与四元数矩阵迹有关的弱控制不等式,推广、改进了有关文献的相应结果.     

矩阵迹的算术几何平均不等式及其论证

<正> 1 问题的提出 在初等代数中有熟知的算术平均不等式:x_1~2+x_2~2≥2x_1·x_2,当且仅当x_1=x_2时,等式成立,该不等式常用于证明其他不等式和讨论代数中有关问题,在对高等代数中有关矩阵迹函数的研究时发现,可把该不等式推广到矩阵迹函数中去,称之为矩阵迹中的算术几何平均不等式,它对于进一步讨论矩阵迹函数和矩阵特征根有很大帮助。在讨论定理之前,先作几点说明和证明几个引理。     

一类矩阵乘积迹的算术几何平均不等式

本文推广、改进了刘家学的结果。证明了ｔｒ（Ａ２）＋ｔｒ（Ｂ２）≥２ｔｒ（ＡＢ）这里Ａ、Ｂ是具有ｎ个实特征有值的ｎ阶复矩阵，且ｒ（［Ａ，Ｂ］）≤１，或（Ａ，［Ａ，Ｂ］）＝［Ｂ，［Ａ，Ｂ］］＝０     

关于矩阵乘积迹的两个不等式

关于矩阵乘积的迹,[2,3,4,5]推广了Bellman不等式。本文就n=2~m(m为自然数),A、B正定且AB=BA时,证明了 tr(A~(2~m)B~(2~m))≤[tr(AB)]~(2~m)≤(trA)~(2~m)(trB)~(2~m)………………(1)在A_1,A_2,…,A_m为n阶两两可交换的正定Hermite矩阵的条件下,证明了 tr(A_1~m A_2~m…A_m~m)≤[tr(A_1A_2…Am)]~m≤multiply from i=1 to m[tr(A_i~m)]…………(2)其中tr(A)表示矩阵A的迹。     

关于矩阵迹的两个不等式的讨论

本文对矩阵迹的两个不等式作了进一步研究,提出了自己的见解.     

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

给出四元数矩阵乘积迹的一个不等式，而Ｂｅｌｌｍａｎ不等式及其几种推广，以及关于四元数矩阵迹的Ｈｏｌｄｅｒ型和ｙｏｕｎｇ型不等式，均可视为这一结果的简单推论。作为这一结果的推论，还得到另外几个四元数矩阵乘积迹的不等式。     

四元数矩阵之迹的几个不等式

给出了广义西空间的概念,并利用其中向量内积的性质及四元数体上方阵的酉相似理论,建立了几个自共轭四元数矩阵之迹的不等式.     

四元数矩阵乘积迹的一个不等式的改进

证明了关于四元数矩阵乘积的奇异值的弱控制不等式，推广改进了有关文献的结果     

矩阵和的特征值的一些不等式及应用

根据Abel求和公式与排序原理得到了矩阵和的特征值的一些不等式，作为应用给出了Hermitian矩阵与半正定矩阵通常乘积、Hadamard乘积的特征值的不等式．     

《关于Hermite矩阵迹的一个不等式》的一个注记

设A、B均为Hermite矩阵或者均为反Hermite矩阵,本文用简洁方法证明了(AB)2 的迹不大于A2 B2的迹。     

正定矩阵的Hadamard不等式

本文利用文［２］的结果给出了正定矩阵的Ｈａｄａｍａｒｄ不等式，进而给出了两类正定矩阵Ｈａｄａｍａｒｄ积的Ｈａｄａｍａｒｄ不等式．     

新发现的一些三角不等式

涉及三角形的三角不等式是几何不等式的一个重要组成部分，也是国际国内数学竞赛命题的热点之一。近年来，本文作者对此类不等式作了较为广泛的研究，并取得了不少漂亮的结果（参见[1]～[5]）。本文给出这类不等式的一些新结论。     

随机矩阵的一些性质

论述并证明了带行和S的既约广义随机矩阵的性质,双随机矩阵积的性质和P类矩阵的一些性质.     

循环矩阵的一些性质

本文给出了循环矩阵的一些性质。     

目共轭四元数矩阵积与Hadamard积的特征值的一些不等式

给出了一些四元数自共轭矩阵积与Ｈａｄａｍａｒｄ积的不等式．由此表明在很多情况下四元数自共轭矩阵积与Ｈａｄａｍａｒｄ积的性质是相似的．     

有关三角函数积的不等式

文中给出了三角形中三角函数积的不等式并推广到凸ｎ边形，得到相应不等式。     

循环分块矩阵的一些性质

本文讨论了循环分块矩阵,所得性质是文〔1〕的相应结果的推广。     

波利亚－舍贵不等式的矩阵类似

本文给出贝尔曼不等式的逆，它在某条件下给出了的上界．这个结果可以看做波利亚一舍贵不等式的矩阵类似．     

关于矩阵行列式的几个不等式

本文利用正定Hermite矩阵的性质,对n阶两两可交换的正定Hermite矩阵进行讨论,得到关于矩阵行列式不等式的一些结果,其中主要结果是 定理 设A、B是正定的Hermite矩阵,且AB=BA,则对一切正有理数q/n(q,n∈N)成立不等式 [det(A+B)]~(q/n)>[detA]~(q/n)+[detB]~(q/n)等号成立当且仅当A=B。     

波利亚—舍贵不等式的矩阵类似

本文给出贝尔曼不等式的逆，它在某条件下给出了ｔｒ（Ａ＾２）ｔｒ（Ｂ＾２）／〔ｔｒ（ＡＢ）＾２〕的上界?这个结果可以看做波利－舍贵不等式的矩阵类似。