[论文解读] Some new inequalities involving Heinz operator means

A. G. Ghazanfari, Somayeh Malekinejad+1 more|arXiv (Cornell University)|Mar 7, 2017

Mathematical Inequalities and Applications参考文献 8被引用 3

一句话总结

本文提出了海因茨与杨不等式在标量、算子及矩阵的希尔伯特-施密特范数方面的新型改进形式，引入了具有显式常数的改进型反向不等式。研究建立了现有不等式在算子与矩阵形式下的版本，统一并简化了基塔内赫-曼萨拉与凯的研究成果，利用谱理论与范数不等式推导出紧确界，特别针对正定矩阵与希尔伯特-施密段范数。

ABSTRACT

We give some new refinements of Heinz inequality and an improvement of the reverse Young's inequality for scalars and we use them to establish new inequalities for operators and the Hilbert-Schmidt norm of matrices. We give a uniformly and abbreviated form of the inequalities presented by Kittaneh and Mansarah, and the inequalities presented by Kai and we obtain some of their operator and matrix versions.

研究动机与目标

• 推导海因茨与反向杨不等式的新型标量改进形式，常数更优。
• 将这些标量不等式推广至正定矩阵上的算子不等式。
• 通过统一且简明的表述形式，建立基塔内赫-曼萨拉与凯所提不等式的矩阵版本。
• 分析涉及海因茨平均与算子凸组合的矩阵表达式的希尔伯特-施密段范数。
• 利用谱分解与范数不等式，为 $ A^\nu X B^{1-\nu} + A^{1-\nu} X B^\nu $ 的范数提供紧确界。

提出的方法

• 推导一个新的反向杨型不等式：$ (1-\nu^2+\nu^3)a + (1-\nu^2)b \leq \nu^{\nu-2}a^\nu b^{1-\nu} + (\sqrt{a}-\sqrt{b})^2 $，通过配方法与平方项的非负性完成证明。
• 应用谱定理对正定矩阵 $ A $ 与 $ B $ 进行对角化，将算子不等式转化为特征值上的标量不等式。
• 利用希尔伯特-施密段范数 $ \|\cdot\|_2 $，通过矩阵元素的求和将标量不等式转化为矩阵范数不等式。
• 引入参数 $ \alpha = \min\{\|A\|^{-1}, \|B\|^{-1}\} $，通过包含 $ A^2X + XB^2 - 2AXB $ 的修正项，改进矩阵海因茨不等式。
• 运用三角不等式与范数次可加性，对矩阵项线性组合的范数进行界定，特别是 $ \|A^\nu X B^{1-\nu} + A^{1-\nu} X B^\nu + \cdots\|_2 \leq \|AX + XB\|_2 $。
• 利用恒等式 $ \|Y\|_2^2 = \sum_{i,j} |y_{ij}|^2 $ 将矩阵范数表示为特征值与矩阵元素的函数，实现逐项比较。

实验结果

研究问题

• RQ1 能否通过具有显式常数的标量改进形式，建立海因茨与杨平均更紧致的反向不等式？
• RQ2 标量形式的海因茨与反向杨不等式改进，如何推广至算子与矩阵情形？
• RQ3 基塔内赫-曼萨拉与凯所提的现有不等式能否统一并简化为单一简洁形式？
• RQ4 希尔伯特-施密段范数在推导矩阵海因茨型表达式紧确界中起何作用？
• RQ5 谱分解与范数不等式如何协同作用，以导出新的矩阵范数不等式？

主要发现

• 证明了一个新的反向杨型不等式：$ (1-\nu^2+\nu^3)a + (1-\nu^2)b \leq \nu^{\nu-2}a^\nu b^{1-\nu} + (\sqrt{a}-\sqrt{b})^2 $，当 $ a = b $ 时取等。
• 对正定矩阵，有不等式 $ \|\nu^{\nu-2}(A^\nu X B^{1-\nu} + A^{1-\nu} X B^\nu) + (A^{1/2} X B^{1/2})\|_2 \geq \|\nu^2(\nu-2)(AX + XB)\|_2 $ 成立。
• 建立了改进的矩阵海因茨不等式：$ \|A^\nu X B^{1-\nu} + A^{1-\nu} X B^\nu + \nu(1-\nu)\alpha(A^2X + XB^2 - 2AXB)\|_2 \leq \|AX + XB\|_2 $，其中 $ \alpha = \min\{\|A\|^{-1}, \|B\|^{-1}\} $。
• 证明了不等式 $ \|A^\nu X B^{1-\nu} + A^{1-\nu} X B^\nu\|_2 \leq \|A^\nu X B^{1-\nu} + A^{1-\nu} X B^\nu + \nu(1-\nu)\alpha(A^2X + XB^2 - 2AXB)\|_2 \leq \|AX + XB\|_2 $，表明修正项改善了界。
• 实现了基塔内赫-曼萨拉与凯所提不等式的统一形式，将他们的结果简化并推广为单一简洁框架。
• 对 $ r = \min\{\nu, 1-\nu\} $，建立了不等式 $ r^{2r}\|A^\nu X B^{1-\nu} + A^{1-\nu} X B^\nu + (2r-1)(AX + XB)\|_2 \leq 2r^2\|A^{1/2} X B^{1/2}\|_2 \leq R^{2R}\|A^\nu X B^{1-\nu} + A^{1-\nu} X B^\nu + (2R-1)(AX + XB)\|_2 $，其中 $ R = \max\{\nu, 1-\nu\} $。