[論文レビュー] The monotonicity results and sharp inequalities for some power-type means of two arguments

Zhen-Hang Yang|arXiv (Cornell University)|Oct 24, 2012

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

ひとこと要約

本稿では、Seiffert、Neumann-Sándor、対数的、指数幾何平均など、さまざまな二変量平均から導かれるべき乗型平均の、べき乗パラメータ $ p $ に対する単調性を確立する。$ P_p $、$ T_p $、$ N_p $、$ Z_p $ が $ p $ に関して増加することを証明する。また、すべての定数が最適であることを示した鋭い不等式鎖 $ L_2 < P < N_{1/2} < He < A_{2/3} < I < Z_{1/3} < Y_{1/2} $ を導出し、$ N < T_p $ のための最良定数に関する予想を提示する。

ABSTRACT

For $a,b&gt;0$ with $a eq b$, we define M_{p}=M^{1/p}(a^{p},b^{p}) ext{if}p eq 0 ext{and} M_{0}=\sqrt{ab}, where $M=A,He,L,I,P,T,N,Z$ and $Y$ stand for the arithmetic mean, Heronian mean, logarithmic mean, identric (exponential) mean, the first Seiffert mean, the second Seiffert mean, Neuman-Sándor mean, power-exponential mean and exponential-geometric mean, respectively. Generally, if $M$ is a mean of $a$ and $b$, then $M_{p}$ is also, and call "power-type mean". We prove the power-type means $P_{p}$, $T_{p}$, $N_{p}$, $Z_{p}$ are increasing in $p$ on $\mathbb{R}$ and establish sharp inequalities among power-type means $A_{p}$, $He_{p}$, $L_{p}$, $I_{p}$, $P_{p}$, $N_{p}$, $Z_{p}$, $Y_{p}$% . From this a very nice chain of inequalities for these means L_{2}

研究の動機と目的

• Seiffert、Neumann-Sándor、対数的平均などのさまざまな二変量平均 $ M $ から導かれるべき乗型平均 $ M_p $ がべき乗パラメータ $ p $ に対して単調であるかを調査すること。
• 異なるべき乗型平均の間の鋭い不等式を確立し、特にそれらの不等式における最良の定数を同定すること。
• 既知の平均不等式の鎖を改良・拡張し、定数の最適性を証明し、新たな鋭い境界を同定すること。
• 漸近解析と数値的証拠に基づき、$ N < T_p $ を満たす最良の定数 $ p $ に関する予想を提示すること。

提案手法

• 本稿では、$ p \neq 0 $ に対して $ M_p(a,b) = M^{1/p}(a^p, b^p) $ を定義し、$ M_0 = \sqrt{ab} $ と定義することで、算術平均、対数的平均、対数的平均などの古典的平均を拡張する。
• 近傍 $ x \to 1 $（すなわち $ a \approx b $）における漸近解析を用いて、平均の差の2次テイラー展開を導出し、最適な定数を特定する。
• 微分と導関数（例：$ f_1(x), f_2(x), f_3(x) $）の符号解析を用いて、特定の平均比較における $ M_p $ の $ p $ に関する単調性を証明する。
• 極限 $ \lim_{x \to 1} \frac{M_1(x,1) - M_2(x,1)}{(x-1)^2} $ の分析により鋭い不等式を確立し、これにより $ p $ に関する必要十分条件を導出する。
• 不等式を $ x = a/b \in (0,1) $ の置換により関数 $ x $ の関数に変換し、対数的および平方根関数を含む不等式と微分法を用いて解析する。
• 既存の先行研究（例：Costin & Toader、Chu et al.）の結果を基準として用い、単調性フレームワークを用いてそれらを拡張する。

実験結果

リサーチクエスチョン

• RQ1 べき乗型平均 $ P_p $ が増加する $ p $ の値は何か？ また、$ P < N_p $ を満たす最良の定数は何か？
• RQ2 $ N_p < He $ を満たす最良の $ p $ は何か？ これにより既存の平均不等式がどのように改善されるか？
• RQ3 $ I < Z_p $ を満たす最良の定数 $ p $ は何か？ また、$ Z_p $ の単調性がこの結果をどのように支持するか？
• RQ4 $ Z_p < Y $ を満たす最良の定数 $ p $ は何か？ これはどのように漸近的極限によって特定されるか？
• RQ5 $ N < T_p $ が成り立つのは $ p \geq 4/5 $ のときに限るという主張は真か？ その根拠となる証拠は何か？

主な発見

• べき乗型平均 $ P_p $、$ T_p $、$ N_p $、$ Z_p $ はすべて $ p \in \mathbb{R} $ に対して厳密に増加する。これは重要な単調性の性質を示している。
• すべての $ a,b > 0 $、$ a \neq b $ に対して、鋭い不等式鎖 $ L_2 < P < N_{1/2} < He < A_{2/3} < I < Z_{1/3} < Y_{1/2} $ が成り立ち、すべての定数が最適である。
• $ I < Z_p $ が成り立つのは $ p \geq 1/3 $ のときに限る。$ p = 1/3 $ が最良の定数である。
• $ Z_p < Y $ が成り立つのは $ p \leq 2/3 $ のときに限る。$ p = 2/3 $ が最良の定数である。
• 本稿では $ N_{1/2} < A_{2/3} $ および $ T_{2/5} < He $ を証明し、以前に知られていた境界を改善した。
• 漸近解析と $ x \to 0^+ $ における数値評価に基づき、$ N < T_p $ が成り立つのは $ p \geq 4/5 $ のときに限るという予想を提示した。