Frobenius范数意义下矩阵的Young不等式.pdfVIP

2012年 l2月 山东师 范 大 学 学报 (自然 科 学 版) Dec．2012 第27卷 第4期 JournalofShandongNormalUniversity(NaturalScience) Vol|27No．4 Frobenius范数意义下矩阵的Young不等式 王菊平 李延雪 薛兰兰 (重庆大学数学与统计学院信息与计算科学系，401331，重庆 ) 摘要 研究Young不等式的一些新的形式，给出在Frobenius范数意义下矩阵的Young不等式，表明更精确的上下界以及在 新不等式中故有的充要条件依然成立． 关键词 半正定矩阵；Young不等式；Frobenius范数 中图分类号 0151．21 文献标识码 A doi：10．3969／j．issn．1001—4748．2012．04．007 1 引 言 众所周知，著名的Young不等式刻画了任意两个非负实数的乘积与幂指数的加权平均之间的关系．这就是： 引理 1[1 对于任意实数 。10，6≥0和p1，g1，满足 十 ：1，不等式 口6≤一Up+qb总成立 ． P q P q 这一不等式不仅在数学理论上具有重要的意义，而且在其它学科中也存在广泛的实际运用背景 ，因此自从它 出现以来 ， 许多数学研究工作者对它产生了浓厚兴趣并进行了深入的研究．各种不同形式或版本的Young不等式不断出现，主要包括数 值型的Young不等式和矩阵版的Young不等式．2000年 ，OmarHirzallah在文献[2]中改进了的数值型的Young不等式 ，得出如 下结论 ： EJI~2 若n≥0，690，p1，g1．1 + p 寺=1，则Up‘+等)≥l，(ap一6)2+a26成立，其中r=maxIp,q}． 除此之外 ，在同一篇文献中，OmarHirzallah还改进了矩阵的Young不等式，得到如下结论： 引理3 若 ，，∈ (c)，其中A，B是半正定矩阵，P1，q1，且 + =1，那么下列不等式成立： ff +寺舾 2一JrL2， 一船 2+Ifaxa2 其中r=max{P，g1． 在文献[2]的基础上 ，2010年，FuadKittaneh等人在文献[3]中对 Young不等式做了进一步的改进，为方便起见 ，我们仍然 以引理的形式给出他的结论： 引理4 若 a≥0，610，0≤ ≤1，那么 avb。。+r0( 一 ) va+(1一)b， (o6。。+n 6)+2r0(0—6)≤(。+6)， 其中ro=rain {，1一 }． 在Frobenius范数意义下，[3]也改进了Young不等式，得出了相应的结论： 引理5 若A，B，XEM (c)，其中A，是半正定矩阵，0≤ ≤1，则下面不等式成立 ： IIA”XB一”+A一”XB ll；+2r0lIA —XBll；≤lI +XBll；， 其中F0=rain {，1一 }． 在这篇文章中，我们仍然涉及这一主题，即我们也探索Young不等式的形式 ，所不 同的是，我们处理问题的思路、方法和 结论有所不同．基于[2]的结论和[3]的方法，我们探索在 Frobenius范数意义下矩阵版的Young不等式的新形式，给出更精确 的上下界并说明在新不等式下等号成立的故有充要条件依然成立． 本文中，M (G)表示n×n复矩阵空间，A，B为半正定矩阵，A的Frobenius范数为 _lA =( Inf