[論文レビュー] Refined Young inequalities with Specht's ratio

Shigeru Furuichi|arXiv (Cornell University)|Apr 5, 2010

Mathematical Inequalities and Applications参考文献 2被引用数 7

ひとこと要約

本稿は、正の実数および正の作用素に対して、古典的ヤングの不等式をスペクトの比を乗法的係数として導入することにより精錬し、重み付き算術平均が幾何平均とスパクトの比の積を上回ることを証明している。主な貢献は、既存の加法的精錬を上回る乗法的型精錬であり、関数解析における作用素不等式への応用を含む。

ABSTRACT

In this paper, we show that the $ν$-weighted arithmetic mean is greater than the product of the $ν$-weighted geometric mean and Specht's ratio. As a corollary, we also show that the $ν$-weighted geometric mean is greater than the product of the $ν$-weighted harmonic mean and Specht's ratio. These results give the improvements for the classical Young inequalities, since Specht's ratio is generally greater than 1. In addition, we give an operator inequality for positive operators, applying our refined Young inequality.

研究の動機と目的

• 古典的ヤングの不等式をスパクトの比を乗法的係数として組み込むことによる精錬を目的とする。
• 正の実数に対する重み付き算術-幾何平均不等式の乗法的型精錬を確立すること。
• 精錬された不等式を正の作用素へと拡張し、スパクトの比を含む新しい作用素不等式を導出すること。
• 既存の加法的型精錬に対する補完的精錬を提供すること。
• 特に3つ以上の変数に対して、乗法的型精錬がn変数の場合に拡張可能かどうかを検討すること。

提案手法

• 新しい不等式を導出し、ν-重み付き算術平均が、ν-重み付き幾何平均とスパクトの比 S((b/a)^r) の積を上回ることを示す。ここで r = min{ν, 1−ν} である。
• S(h) > 1 (h ≠ 1 のとき) および S(h) = S(1/h) であるスパクトの比 S(h) の性質を用いて、下界を確立する。
• 主なスカラー不等式の証明に、対数不等式に関する補題2.2および指数不等式に関する補題2.3を適用する。
• 正の作用素に対する関数計算および ν-冪平均 A♯νB を用いて、スカラー不等式を作用素不等式に翻訳する。
• (1−ν)A + νB ≥ S(h^r)A♯νB ≥ A♯νB ≥ S(h^r){(1−ν)A⁻¹ + νB⁻¹}⁻¹ ≥ {(1−ν)A⁻¹ + νB⁻¹}⁻¹ という不等式の連鎖を確立する。
• S(h) の (1,∞) および (0,1) における単調性を用いて、スペクトル条件 m′I ≤ A ≤ mI および MI ≤ B ≤ M′I の下での作用素の境界を処理する。

実験結果

リサーチクエスチョン

• RQ1 古典的ヤングの不等式は、スパクトの比を含む乗法的係数によって改善可能であろうか？
• RQ2 精錬された不等式は、スカラーから意味的に正の作用素へと拡張可能であろうか？
• RQ3 作用素理論における既存の加法的精錬と比較して、乗法的精錬はどのように異なるか？
• RQ4 特に3つ以上の変数に対して、乗法的型精錬が存在するであろうか？
• RQ5 精錬された乗法的不等式における等号成立の必要十分条件は何か？

主な発見

• すべての a,b > 0 および ν ∈ [0,1] に対して、ν-重み付き算術平均は (1−ν)a + νb ≥ S((b/a)^r)a^{1−ν}b^ν を満たす。ここで r = min{ν,1−ν} である。
• ν-重み付き幾何平均は、スパクトの比を含むν-重み付き調和平均の S((b/a)^r) 倍以上であると、系として示される。
• スペクトル境界を満たす正の作用素 A および B に対して、不等式 (1−ν)A + νB ≥ S(h^r)A♯νB が成り立つ。ここで h = M/m であり、r = min{ν,1−ν} である。
• 精錬された作用素不等式の連鎖には、S(h^r)A♯νB ≥ A♯νB ≥ S(h^r){(1−ν)A⁻¹ + νB⁻¹}⁻¹ が含まれる。S(h^r) > 1 である。
• 不等式は、A = B のときに限り等号が成り立つという意味で鋭い。これはスカラーの場合と整合的である。
• 本稿では、n ≥ 3 個の変数に対して乗法的精錬が存在するかという問題は未解決のまま残されているが、3変数の場合については予想として提示されている。