[論文レビュー] Sharp power means bounds for Neuman-Sándor mean

Zhen-Hang Yang|arXiv (Cornell University)|Aug 4, 2012

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

ひとこと要約

本稿では、Neumann-Sándor平均 $ N(a,b) $ がべき平均によって与えられる最も鋭い評価を確立し、$ N(a,b) $ が $ p_1 $ 乗平均と $ 4/3 $ 乗平均の間にあることを証明している。ここで $ p_1 = \frac{\ln 2}{\ln \ln (3 + 2\sqrt{2})} \approx 1.2228 $ であり、$ 4/3 $ は最良の定数である。これらの評価は、同次二変数平均に適用された対数関数および双曲線関数の漸近的解析と単調性の性質に基づいて導出されている。

ABSTRACT

For a,b>0 with a ot=b, let N(a,b) denote the Neuman-Sándor mean defined by N(a,b)=((a-b)/(2arcsinh((a-b)/(a+b)))) and A_{r}(a,b) denote the r-order power mean. We present the sharp power means bounds for the Neuman-Sándor mean: A_{p_1}(a,b)

研究の動機と目的

• Neumann-Sándor平均 $ N(a,b) $ がべき平均 $ A_p(a,b) $ によって抑えられるような最良の定数 $ p_1 $ と $ p_2 $ を特定すること。
• 既知の二変数平均の不等式系列を、$ N(a,b) $ がべき平均に関してタイトな評価を組み込む形で精緻化すること。
• 形 $ \alpha A_p < N < \beta A_p $ の鋭い乗法的評価を確立し、最良の定数 $ \alpha $ と $ \beta $ を同定すること。

提案手法

• 区間 $ x \in (0,1) $ に対して関数 $ F_p(x) = \ln \frac{N(1,x)}{A_p(1,x)} $ を定義し、不等式の比較を $ F_p(x) $ の符号および単調性の解析に還元する。
• $ x \to 1^- $ および $ x \to 0^+ $ の近傍における漸近展開を用いて、$ N(a,b) < A_p(a,b) $ または $ N(a,b) > A_p(a,b) $ を満たすための $ p $ の必要条件を導出する。
• 補題 2 を用いて、$ F_p(x) < 0 $ がすべての $ x \in (0,1) $ で成り立つための必要十分条件が $ p \geq 4/3 $ であることを示し、上界の証明を行う。
• 補題 4 を用いて、$ p = p_1 $ のとき $ F_p(x) $ が最大値をとる臨界点 $ \tilde{x}_0 $ を解析し、下界の証明を行う。
• 方程式 $ f_p(x) = 0 $ の数値的解法により、下界不等式に対する最良の上界定数 $ \beta_2 \approx 1.0138 $ を推定する。
• $ r \mapsto A_r(a,b) $ の単調性および $ p \mapsto F_p(x) $ の単調減少性を活用し、評価の鋭さを確立する。

実験結果

リサーチクエスチョン

• RQ1 Neumann-Sándor平均 $ N(a,b) $ のべき平均 $ A_p(a,b) $ に対する最良の下界は何か？
• RQ2 Neumann-Sándor平均 $ N(a,b) $ のべき平均 $ A_p(a,b) $ に対する最良の上界は何か？
• RQ3 不等式 $ A_{p_1}(a,b) < N(a,b) \leq A_{4/3}(a,b) $ の鋭い定数を、漸近的および単調性解析を用いて厳密に証明できるか？
• RQ4 極端な $ p $ に対して、不等式 $ \alpha A_p < N < \beta A_p $ が成り立つ最良の乗法的定数 $ \alpha $ と $ \beta $ は何か？

主な発見

• Neumann-Sándor平均の鋭い下界は $ A_{p_1}(a,b) $ であり、ここで $ p_1 = \frac{\ln 2}{\ln \ln (3 + 2\sqrt{2})} \approx 1.2228 $ であり、この定数は最適である。
• 鋭い上界は $ A_{4/3}(a,b) $ であり、すべての $ a,b > 0 $、$ a \neq b $ に対して $ N(a,b) < A_{4/3}(a,b) $ が成り立ち、等号は極限でのみ成立する。
• 上界に対する最良の乗法的定数は $ \alpha_1 = \frac{1}{\sqrt[4]{2} \ln(\sqrt{2} + 1)} \approx 0.95407 $ であり、$ \alpha_1 A_{4/3} < N < A_{4/3} $ が成り立つ。
• 下界に対して最良の乗法的定数は $ \beta_2 \approx 1.0138 $ であり、$ A_{p_1} < N < \beta_2 A_{p_1} $ が成り立ち、$ \beta_2 $ は最適である。
• 二変数平均の不等式系列は、$ A_{p_1} < N < A_{4/3} $ に精緻化され、$ p_1 \approx 1.2228 $ であるため、$ N $ が二つのべき平均の間に正確に位置することが明確になった。
• Fan-Ky 型不等式が確立された：$ p \geq 4/3 $ のとき $ \frac{N(a_1,b_1)}{N(a_2,b_2)} < \frac{A_p(a_1,b_1)}{A_p(a_2,b_2)} $ が成り立ち、$ p \leq 1 $ のとき不等号は逆転する。