[論文レビュー] Refinement of Inequalities among Means

Inder J. Taneja|ArXiv.org|May 10, 2005

Mathematical Inequalities and Applications参考文献 4被引用数 21

ひとこと要約

本稿は、算術平均（A）、幾何平均（G）、調和平均（H）、平方根平均（S）、および新たに導入された平均を含む古典的平均の間の古典的不等式を、平方根平均 $N_1$、ヘロンの平均 $N_3$、および新規の平均 $N_2$ といった中間平均を導入・分析することで精緻化する。凸性の性質と平均差の微分解析を用いて、平均間の差に対するきめ細やかな上界を導出し、標準的な不等式鎖 $H \leq G \leq N_1 \leq A \leq S$ を、$\frac{3}{4}$ や $\frac{8}{9}$ といった定量的定数を含むより鋭い不等式へと刷新する。

ABSTRACT

In this paper we shall consider some famous means such as arithmetic, harmonic, geometric, root-square means, etc. Some new means recently studied are also presented. Different kinds of refinement of inequalities among these means are given.

研究の動機と目的

• 古典的平均—調和平均（H）、幾何平均（G）、算術平均（A）、平方根平均（S）、および新たに定義された平均—の間の古典的不等式鎖を精緻化すること。
• G と A の間の順序を精緻化するため、$N_1$（平方根平均）、$N_2$、$N_3$（ヘロンの平均）という3つの新たな中間平均を導入・分析すること。
• 凸性と2階微分の比分析を用いて、平均差の鋭い上界を確立すること。
• 重み付き平均の組み合わせを含む、標準的な平均不等式鎖の複数の精緻化を提供すること。

提案手法

• 順序 $t$ の累乗平均 $B_t(a,b)$ の族を導入し、H, G, A, S, $N_1$ などの特別な場合を含み、$t$ に関する単調性を証明する。
• 新たな平均を定義：$N_1 = \frac{A+G}{2}$、$N_2 = \sqrt{N_1 A}$、$N_3 = \frac{2A + G}{3}$ とし、既知の平均を用いて表現する。
• 関数 $f$ に対して $f(1) = f'(1) = 0$ を満たす凸関数に関する補題を用い、平均差関数 $M_{XY}(a,b) = X(a,b) - Y(a,b)$ の凸性を分析する。この際、$\phi_f(a,b) = a f(b/a)$ を用いる。
• 2階微分の比 $\frac{f''_{XY}(x)}{f''_{ZW}(x)}$ の分析を用いて、比の上界を特定し、これにより平均差の鋭い上界を導出する。
• 得られた上界定数（例：$\frac{3}{4}$、$\frac{8}{9}$）を用いて、$M_{SA} \leq \frac{3}{4} M_{SN_3}$ や $M_{SN_3} \leq \frac{8}{9} M_{SN_1}$ といった差の上界を導出する。
• これらの上界を組み合わせることで新たな不等式を導出し、例えば $M_{SH} \leq 2 M_{SN_1}$ や $M_{SN_1} \leq \frac{3}{4} M_{SG}$ が得られ、精緻化された不等式鎖が導かれる。

実験結果

リサーチクエスチョン

• RQ1 G と A の間の古典的不等式鎖 $H \leq G \leq A \leq S$ は、G と A の間に新たな中間平均を導入することでどのように精緻化できるか？
• RQ2 平均差 $S - A$、$S - N_1$、$S - N_3$ の鋭い上界は何か？ そしてそれらはどのように導出されるか？
• RQ3 平均差関数の凸性を体系的に活用することで、平均間のよりきつい不等式を導出できるか？
• RQ4 新たな平均 $N_1$、$N_2$、$N_3$ は、古典的平均の順序付けとそれらの差の評価をどのように精緻化するか？
• RQ5 2階微分の比分析から得られる定数（例：$\frac{3}{4}$、$\frac{8}{9}$）は、どのようにして平均不等式の新たな定量的精緻化をもたらすか？

主な発見

• 不等式鎖は $H \leq G \leq N_1 \leq N_3 \leq N_2 \leq A \leq S$ に精緻化され、$N_1 = \frac{A+G}{2}$、$N_2 = \sqrt{N_1 A}$、$N_3 = \frac{2A + G}{3}$ であり、中間の境界がよりきつくなる。
• 差 $M_{SH}(a,b) = S(a,b) - H(a,b)$ は $2 M_{SN_1}(a,b)$ で上界が与えられ、すなわち $S - H \leq 2(S - N_1)$ が成り立ち、$a = b$ のときに等号が成立する。
• 差 $M_{SN_1}(a,b) = S(a,b) - N_1(a,b)$ は $\frac{3}{4} M_{SG}(a,b)$ で上界が与えられ、すなわち $S - N_1 \leq \frac{3}{4}(S - G)$ が成り立ち、2階微分の比の上界が $\frac{3}{4}$ である。
• 差 $M_{SN_3}(a,b) = S(a,b) - N_3(a,b)$ は $\frac{8}{9} M_{SN_1}(a,b)$ で上界が与えられ、すなわち $S - N_3 \leq \frac{8}{9}(S - N_1)$ が成り立ち、2階微分の比の上界が $\frac{8}{9}$ である。
• 新たな精緻化された不等式が導出され、例えば $S - A \leq \frac{3}{4}(S - N_3)$ および $S - N_3 \leq \frac{8}{9}(S - N_1)$ が得られ、これらを組み合わせると $S - A \leq \frac{2}{3}(S - N_1)$ が導かれる。
• 補題3.4の不等式、例えば $G \leq \frac{S + 3G}{4} \leq N_1 \leq \frac{S + 8N_1}{9} \leq N_3 \leq \cdots \leq A$ は、明示的な定数を含む、新たなクラスの精緻化を表している。