[論文レビュー] Inequalities Among Logarithmic-Mean Measures

Inder J. Taneja|arXiv (Cornell University)|Mar 14, 2011

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

ひとこと要約

本稿は、凸性解析と関数不等式を用いて、調和平均、幾何平均、相加平均、相乗平方平均、対数平均、および新たに定義された平均を含む、対数平均関連の不等式の包括的な階層を確立する。本稿は、対数平均が幾何平均と平方根平均の間にあることを証明し、これらの平均間の差にきめ細かな境界を導出する。主な結果として、相乗平方平均と対数平均の差が、他の平均差の倍数で有界であることが示され、たとえば $ M_{SL}(a,b) \leq \frac{9}{10}M_{SL}(a,b) $ および $ M_{SL}(a,b) \leq \frac{5}{3}M_{AG}(a,b) $ が成り立つ。解析は、生成関数と2階微分条件を用いて凸性と不等式の鎖を検証する。

ABSTRACT

In this paper we shall consider some famous means such as arithmetic, harmonic, geometric, logarithmic means, etc. Inequalities involving logarithmic mean with differences among other means are presented

研究の動機と目的

• 対数平均関連の平均、すなわち調和平均、幾何平均、相加平均、相乗平方平均、対数平均、および新たに定義された平均 $ N_1, N_2, N_3 $ の完全な順序付けを確立すること。
• 生成関数と2階微分を用いて、$ M_{SL}(a,b) = S(a,b) - L(a,b) $、$ M_{AL}(a,b) = A(a,b) - L(a,b) $ などの平均差関数の凸性を分析すること。
• 関数不等式と数値的検証を用いて、$ M_{SL}(a,b) \leq \frac{9}{10}M_{SN_1}(a,b) $ などの平均差の定量的境界を導出すること。
• 特に、$ L(a,b) \leq \frac{S(a,b)+9L(a,b)}{10} \leq \cdots \leq N_1(a,b) \leq \frac{5N_2(a,b)+L(a,b)}{6} $ という順序関係を明確にし、一部の途中式が比較不能であることを示すこと。

提案手法

• 本稿は、$ f $ が凸かつ微分可能で $ f(1) = f'(1) = 0 $ を満たす関数として、$ \phi_f(a,b) = a f(b/a) $ を用いた生成関数のアプローチを採用し、平均差を表現し、その凸性を分析する。
• 2階微分が非負であることを確認することで、Lemma 1.1 を用いて平均差関数の凸性を証明する。
• 2つの凸関数 $ f_1 $ と $ f_2 $ を、それらの2階微分の比によって比較する Lemma 1.2 を適用し、平均差の間の不等式を導出する。
• 新たに定義された平均 $ N_1(a,b) = \left(\frac{\sqrt{a}+\sqrt{b}}{2}\right)^2 $、$ N_2(a,b) = \left(\frac{\sqrt{a}+\sqrt{b}}{2}\right)\sqrt{\frac{a+b}{2}} $、$ N_3(a,b) = \frac{a + \sqrt{ab} + b}{3} $ を定義・分析し、平均の順序に統合する。
• 関数のグラフと $ f_{T_1}(x) $、$ f_{T_2}(x) $、$ f_{T_3}(x) $ などの関数の数値的評価を用いて、非負性を検証し、不等式の鎖を検証する。
• 差関数（例：$ T_1(a,b) = \frac{5}{3}M_{AG}(a,b) - M_{SL}(a,b) $）を構築し、$ a f(x) $ 形式の表現を用いてその符号を分析することで不等式を証明する。

実験結果

リサーチクエスチョン

• RQ1 調和平均、幾何平均、相加平均、相乗平方平均、対数平均、および新たに定義された平均 $ N_1, N_2, N_3 $ を含む、対数平均関連の平均の完全な順序付けは何か？
• RQ2 相加平均と対数平均の差 $ S(a,b) - L(a,b) $、相加平均と対数平均の差 $ A(a,b) - L(a,b) $、および $ N_2(a,b) - L(a,b) $ などの平均差は、凸性と関数不等式を用いてどのように境界づけられるか？
• RQ3 $ M_{SL}(a,b) \leq \frac{9}{10}M_{SN_1}(a,b) $ のような平均差のきめ細かな乗法的境界が存在するか？ そしてそれらはどのように証明されるか？
• RQ4 たとえば $ \frac{S(a,b)+5L(a,b)}{6} $ と $ \frac{2N_3(a,b)+3L(a,b)}{5} $ のような中間式の間の順序関係は特定可能か、それとも比較不能か？
• RQ5 関数の凸性と2階微分の解析が、平均差関数の凸性と非負性を証明するために果たす役割は何か？

主な発見

• 完全な順序 $ H(a,b) \leq G(a,b) \leq L(a,b) \leq N_1(a,b) \leq N_3(a,b) \leq N_2(a,b) \leq A(a,b) \leq S(a,b) $ が確立され、$ L(a,b) $ が対数平均である。
• 差関数 $ M_{SL}(a,b) = S(a,b) - L(a,b) $ は $ \mathbb{R}_+^2 $ 上で凸であり、$ M_{SL}(a,b) \leq \frac{9}{10}M_{SN_1}(a,b) $ を満たす。ここで $ M_{SN_1}(a,b) = S(a,b) - N_1(a,b) $ である。
• 不等式 $ M_{SL}(a,b) \leq \frac{5}{3}M_{AG}(a,b) $ が成り立ち、$ M_{AG}(a,b) = A(a,b) - G(a,b) $ であり、$ T_1(a,b) = \frac{5}{3}M_{AG}(a,b) - M_{SL}(a,b) $ の非負性により証明される。
• 不等式 $ \frac{2N_3(a,b)+3L(a,b)}{5} \leq \frac{5A(a,b)+7L(a,b)}{12} $ は、非負関数 $ f_{T_2}(x) $ により成立し、$ \frac{S(a,b)+9L(a,b)}{10} \leq \frac{2N_3(a,b)+3L(a,b)}{5} \leq \cdots \leq N_1(a,b) $ の鎖が確認される。
• $ \frac{S(a,b)+5L(a,b)}{6} $ と $ \frac{2N_3(a,b)+3L(a,b)}{5} $ は比較不能であり、$ f_{T_3}(x) $ が正負の両方の値を取ることにより、普遍的な順序関係が存在しないことが証明される。
• 不等式 $ N_2(a,b) \leq \frac{5N_2(a,b)+L(a,b)}{6} \leq N_3(a,b) $ が成り立ち、2番目の不等式は非負関数 $ f_{T_4}(x) $ により確認され、平均の完全な鎖が検証される。