[論文レビュー] Inequalities having Seven Means and Proportionality Relations

Inder J. Taneja|arXiv (Cornell University)|Mar 8, 2012

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

ひとこと要約

この論文は、平均の差の凸性を分析し、それらの差を結ぶ乗法的定数を同定することにより、7つの古典的平均—調和平均、幾何平均、相加平均、ヘロン平均、相反相加平均、二乗平均、重心平均—の間で新たな不等式および比例関係を確立する。主な貢献は、2階微分解析および比関数の最適化を用いて導かれた12個の比例恒等式と、$rac{2G+S}{3} \leq N$ や $rac{2C+7G}{9} \leq N$ といったより鋭い境界を含む、洗練された不等式の体系である。

ABSTRACT

Eve (2003), studied seven means from geometrical point of view. These means are extit{Harmonic, Geometric, Arithmetic, Heronian, Contra-harmonic, Root-mean square and Centroidal mean}. Some of these means are particular cases of Gini's (1938) mean of order r and s. In this paper we have established some proportionality relations having these means. Some inequalities among some of differences arising due to seven means inequalities are also established.

研究の動機と目的

• 調和平均、幾何平均、相加平均、ヘロン平均、相反相加平均、二乗平均、重心平均という7つの古典的平均の間で、より鋭い不等式を確立すること。
• 乗法的定数を用いて、これらの平均の差の間の比例関係を同定し、証明すること。
• 標準的な連鎖不等式 $H \leq G \leq N \leq A \leq R \leq S \leq C$ を、新たな同値形およびより鋭い境界を導くことで改善すること。
• 2階微分を用いた平均差の凸性を分析し、凸関数に関する補題を適用して不等式を検証すること。
• 三角的差分とヘリングァー距離に関する既知の結果を統合・拡張し、それらを平均差に関連付けること。

提案手法

• 論文は、$M(a,b) = b \cdot f_M(a/b)$ という関数的表現を用い、平均の比較を1変数関数 $f_M(x)$ の分析に還元することで、微分に基づく解析を可能にする。
• 関数 $\varphi_f(a,b) = a f(b/a)$ の凸性に関する補題を適用し、$f(1) = 0$ かつ2階微分が非負であることが凸性の条件となる。
• 差関数 $f_{U} - f_{V}$ の2階微分を計算し、それらが非負であることを示すことにより、対応する差 $D_{UV}$ の凸性を確認する。
• 2階微分の比 $g_{UV\text{-}WZ}(x) = f_{UV}''(x)/f_{WZ}''(x)$ を分析し、上界値 $\beta$ を特定することで、$D_{UV} \leq \beta \cdot D_{WZ}$ のような境界を得る。
• 差の組み合わせを共通の式 $\frac{\left(\sqrt{a}-\sqrt{b}\right)^4}{a+b}$ に等置することにより、6つの平均の間で12個の恒等式を導出する。
• 結果は記号計算と比関数の最適化により検証され、等号成立は $x=1$（すなわち $a=b$）のときである。

実験結果

リサーチクエスチョン

• RQ1 凸性と関数解析を用いて、7つの平均の標準的連鎖をどのように鋭くできるか？
• RQ2 平均の差の間の比例定数は何か？ それらはどのように導出されるか？
• RQ3 差 $D_{UV} = b(f_U(a/b) - f_V(a/b))$ は、2階微分解析を用いて体系的に境界づけられるか？
• RQ4 三角的差分 $\Delta(a,b)$ とヘリングァー距離 $h(a,b)$ は、7平均系における平均差とどのように関係するか？
• RQ5 平均差の凸性および比分析から、どのような新たな同値不等式が導かれるか？

主な発見

• 不等式 $rac{2G + S}{3} \leq N$ は $a \neq b$ のとき厳密に成り立ち、標準的な $G \leq N$ よりも鋭い。
• 不等式 $rac{2C + 7G}{9} \leq N$ が確立され、ヘロン平均のより鋭い上界が得られた。
• 不等式 $rac{S + 3N}{4} \leq A$ は、$f_{SA}''(x)$ の凸性から導かれ、標準的な $N \leq A$ を洗練したものである。
• 不等式 $rac{2S + H}{3} \leq A$ は、$f_{AH}''(x)$ の凸性により証明され、不等式連鎖の改善がなされた。
• 比例恒等式 $rac{7}{2}D_{W_2W_1}^1 = \frac{21}{8}D_{W_3W_2}^2 = \cdots = \frac{(\sqrt{a}-\sqrt{b})^4}{a+b}$ により、10個の差が1つの式に統一された。
• 12個の新たな比例恒等式が導出され、たとえば $4A = 2(C+H) = 3R + H$ のような、整数係数を用いた線形結合による平均の関係が得られた。