[論文レビュー] On New Refinements and Reverses of Young's Operator Inequality

Sever S Dragomir|arXiv (Cornell University)|Oct 5, 2015

Mathematical Inequalities and Applications参考文献 6被引用数 14

ひとこと要約

この論文は、凸関数と2階微分の上限・下限を用いて、正の作用素におけるヤングの不等式の新たな一般化と逆不等式を提示する。カントロビッチ比およびスペクトル比を用いて、作用素平均と凸性制約を含む明示的な誤差項を伴う、より鋭い推定値を確立する。スカラー不等式を作用素設定に拡張する。

ABSTRACT

In this paper we obtain some new refinements and reverses of Young's operator inequality. Extensions for convex functions of operators are also provided.

研究の動機と目的

• ヒルベルト空間上の正の作用素の文脈において、ヤングの作用素不等式に対する新たな精緻化および逆不等式の構築を目的とする。
• カントロビッチ比およびスペクトル比を用いたスカラー不等式の精緻化を、凸関数を用いて作用素設定に拡張することを目的とする。
• 2階微分の制約を用いて、重み付き算術平均と幾何平均の差に対するより鋭い誤差項を導出することを目的とする。
• 凸関数型汎関数および作用素単調性の性質を組み込むことにより、既存の結果を一般化することを目的とする。
• スペクトルの上限・下限から導かれる明示的な定数を用いた、古典的不等式の作用素版を確立することを目的とする。

提案手法

• 区間 $[\rho, \tau]$ における凸関数 $ f $ の2階微分の下限 $ d \triangleq \text{inf} f''(t) $ および上限 $ D \triangleq \text{sup} f''(t) $ を仮定する。
• 不等式 $ \frac{1}{2}\nu(1-\nu)d(b-a)^2 \leq (1-\nu)f(a)+\nu f(b)-f((1-\nu)a+\nu b) \leq \frac{1}{2}\nu(1-\nu)D(b-a)^2 $ を作用素平均に適用する。
• $ a = 1 $, $ b = x $, および $ X = A^{-1/2}BA^{-1/2} $ を代入することで、スカラー不等式を作用素形式に変換し、作用素の大小関係を導出する。
• $ f(t) = -\ln t $, $ f(t) = -t^p $, および $ f(t) = t^p $ といった特定の凸関数に適用し、$ \gamma $, $ \Gamma $, および $ \nu $ を用いた明示的な境界を導出する。
• 作用素平均の定義 $ A \sharp_\nu B = A^{1/2}(A^{-1/2}BA^{-1/2})^\nu A^{1/2} $ および $ A \nabla_\nu B = (1-\nu)A + \nu B $ を用いて、不等式を標準的な作用素形式に表現する。
• $ A^{1/2}(A^{-1/2}BA^{-1/2} - I)^2A^{1/2} $ を含む境界を導出し、作用素平均の乖離が関数 $ f $ の凸性とどのように関連するかを示す。

実験結果

リサーチクエスチョン

• RQ1 凸関数の2階微分の上限・下限を用いて、ヤングの作用素不等式の新たな精緻化および逆不等式を導出できるか？
• RQ2 カントロビッチ比およびスペクトル比は、作用素不等式の推定の鋭さをどのように向上させるか？
• RQ3 $ \nu(1-\nu)(a-b)^2 $ および $ \nu(1-\nu)(\ln a - \ln b)^2 $ を含むスカラー精緻化の作用素版は何か？
• RQ4 凸関数型汎関数およびスペクトルの上限・下限を用いて、重み付き算術平均と幾何平均の差を有界化できるか？
• RQ5 $ f(t) = -\ln t $ および $ f(t) = -t^p $ といった特定の凸関数に対して、これらの不等式にどのような意味があるか？

主な発見

• 任意の2階微分が $ d $ と $ D $ で有界な凸関数 $ f $ に対して、任意の $ \nu \in [0,1] $ に対して不等式 $$ \frac{1}{2}\nu(1-\nu)dA^{1/2}(A^{-1/2}BA^{-1/2}-I)^2A^{1/2} \leq (1-\nu)f(1)A + \nu A^{1/2}f(A^{-1/2}BA^{-1/2})A^{1/2} - A^{1/2}f((1-\nu)I + \nu A^{-1/2}BA^{-1/2})A^{1/2} \leq \frac{1}{2}\nu(1-\nu)DA^{1/2}(A^{-1/2}BA^{-1/2}-I)^2A^{1/2} $$ が成り立つ。
• $ f(t) = -\ln t $ の場合、境界は $$ \frac{1}{2\Gamma^2}\nu(1-\nu)A^{1/2}(A^{-1/2}BA^{-1/\!2}-I)^2A^{1/2} \leq A^{1/2}\left[\ln\left((1-\nu)I + \nu A^{-1/2}BA^{-1/2}\right)\right]A^{1/2} - \nu A^{1/2}\left[\ln\left(A^{-1/2}BA^{-1/2}\right)\right]A^{1/2} \leq \frac{1}{2\gamma^2}\nu(1-\nu)A^{1/2}(A^{-1/2}BA^{-1/2}-I)^2A^{1/2} $$ に簡略化される。
• $ f(t) = -t^p $ で $ p \in (0,1) $ の場合、スペクトルの上限・下限 $ \gamma \leq A^{-1/2}BA^{-1/2} \leq \Gamma $ の下で不等式 $$ p(1-p)\Gamma^{p-2}(\Gamma A^{1/2} - B A^{-1/2})(A^{-1/2}B - A^{1/2}\gamma) \leq A\sharp_p B - \frac{\Gamma A - B}{\Gamma - \gamma}\gamma^p - \frac{B - A\gamma}{\Gamma - \gamma}\Gamma^p \leq p(1-p)\gamma^{p-2}(\Gamma A^{1/2} - B A^{-1/2})(A^{-1/2}B - A^{1/2}\gamma) $$ が成立する。
• 中点不等式における定数 $ \frac{1}{8} $ は最適であり、$$ \frac{1}{8}dA^{1/2}(A^{-1/2}BA^{-1/2}-I)^2A^{1/2} \leq \frac{1}{2}[f(1)A + A^{1/2}f(A^{-1/2}BA^{-1/2})A^{1/2}] - A^{1/2}f(\frac{I + A^{-1/2}BA^{-1/2}}{2})A^{1/2} \leq \frac{1}{8}DA^{1/2}(A^{-1/2}BA^{-1/2}-I)^2A^{1/2} $$ によって示される。
• フルイチ、トミナガ、リャオ、ゾウ、キタネフ＝マナスラの既存の結果を一般化し、凸性およびスペクトルの上限・下限を組み込んだ。
• 作用素不等式は鋭く、$ \nu = \frac{1}{2} $ のときスカラー恒等式に還元され、既知の結果と整合性を確認する。