[論文レビュー] 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^\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\} $。