算子（矩阵）Ky-Fan不等式猜想的一个反例.pdfVIP

第 4O卷 第 4期 东华大学学报 (自然科学版) V01．4o，NO．4 2014年 8月 J()URNAIOFDONGHUA UNIVERSITY(NATURAISCIENCE) Aug．2014 文章编号：1671—0444(2014)04—0503—06 算子 (矩阵)Ky—Fan不等式猜想的一个反例 宋 佳 ，姜健飞 (东华大学 理学院 ，上海 201620) 摘要：实数的几何平均概念也可推广到 Hilbert空间上的 自伴算子 (矩 阵)，但其计算过程更复杂． 通过矩阵的几何平均算法研 究算子(矩阵)形式的Ky—Fan不等式，给 出一个反例说 明关于 Hilbert 空间上 自伴算子(矩阵)的Ky—Fan不等式结果的猜想不成立． 关键词 ：几何平均 ；自伴算子 ；Iowner—Heinz不等式；Ky—Fan不等式 中图分类号 ：()177．1 文献标志码 ：A ACounterExampleofConjectureaboutKy—FanInequality ofOperator(Matrix) SONGJia，JlA GJian一{et (CollegeofScience，DonghuaUniversity，Shanghai201620，China) Abstract：Thegeometricmeanconceptabouttherealnumbercanalsobeextendedtotheself—adjoint operators(matrices)in the Hilbertspace，butthecalculation processundersuch circumstancesismore complicated．The Ky—Fan inequality of operator (matrix) is researched based on the algorithm of geometricmeanaboutmatrix．A counterexampleisprovidedtoshow thattheresultofspeculationofKy- Faninequalityofself—adjointoperators(matrices)intheHilbertspacecannotbeestablished． Keywords：geometricmean；self—adjointoperator；Lowner—Heinzinequality；Ky—Faninequality 此不等式被修正为当A 0，B≥0时，Va∈E0，1] 对两正实数 z和Y，成立不等式 (xy)i≤ ÷ 厶 成立 (+ )，即两正实数 的几何平均不超过算术平均． A古(A专BA一号)。A吉≤ (1一a)A十 ， (1) 更一般地 ，有 Y ≤ (1--a)x+ ，称为Young不 等式．数 的Young不等式 已被推广到 Hilbert空间 此即关于 H 上 自伴算子 的 Young不等式 (这里 (以下简记为 H)上的 自伴算子．设 A为 H上的 自伴 A≥B㈢A—B≥0)．式 (1)的经典证明见文献[1]， 算子 ，对于 V32∈H有 (At，z)≥0时，称A为正算 文献E23给 出了式 (1)的初等证法． 子 ，记A≥0；进一步当A为可逆正算子时，称A为 式 (1)的左边被定义为关于 H 上两 自伴算子A 严格正算子，记 A 0．已知当A≥ 0时 ，j!B≥ 0 和B 的几何平均 (其中A可逆)，可简记为A#B— 使 B 一A，从而有A专一B，据此 Va∈