[论文解读] Inequalities having Seven Means and Proportionality Relations

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

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

一句话总结

本文通过分析均值两两差值的凸性并识别关联这些差值的乘法常数，建立了七种经典均值——调和均值、几何均值、算术均值、赫罗尼姆均值、反调和均值、平方均根和形心均值——之间的新不等式与比例关系。主要贡献是一个包含12个比例恒等式和改进不等式的完整体系，包括更紧的界如 $\frac{2G+S}{3} \leq N$ 和 $\frac{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.

研究动机与目标

• 建立七种经典均值——调和均值、几何均值、算术均值、赫罗尼姆均值、反调和均值、平方均根和形心均值——之间更紧的不等式。
• 利用乘法常数识别并证明这些均值差值之间的比例关系。
• 通过推导新等价形式与更紧的界，改进标准链不等式 $H \leq G \leq N \leq A \leq R \leq S \leq C$。
• 通过二阶导数分析均值差值的凸性，并应用凸函数引理以验证不等式。
• 通过将三角 discrimination 与 Hellingar 距离与均值差值关联，统一并拓展已知的关于三角形差异与 Hellingar 距离的结果。

提出的方法

• 本文使用函数表示 $M(a,b) = b \cdot f_M(a/b)$ 将均值比较简化为单变量函数 $f_M(x)$，从而实现基于导数的分析。
• 应用关于函数 $\varphi_f(a,b) = a f(b/a)$ 凸性的引理，要求 $f(1) = 0$ 且二阶导数非负以保证凸性。
• 计算差值函数 $f_{U} - f_{V}$ 的二阶导数，并证明其非负，从而确认对应差值 $D_{UV}$ 的凸性。
• 分析二阶导数之比 $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}$ 推导出比例关系，揭示六种均值之间的12个恒等式。
• 通过符号计算与比值函数的优化验证结果，等号成立条件为 $x=1$（即 $a=b$）。

实验结果

研究问题

• RQ1 如何通过凸性与函数分析，对七种均值的标准链进行收紧？
• RQ2 哪些比例常数关联了均值对之间的差值？这些常数是如何推导的？
• RQ3 能否通过二阶导数分析系统地界定差值 $D_{UV} = b(f_U(a/b) - f_V(a/b))$？
• RQ4 三角形差异 $\Delta(a,b)$ 与 Hellingar 距离 $h(a,b)$ 如何与七均值系统中的均值差值相关联？
• RQ5 从均值差值的凸性与比值分析中，可以推导出哪些新的等价不等式？

主要发现

• 不等式 $\frac{2G + S}{3} \leq N$ 对 $a \neq b$ 严格成立，优于标准不等式 $G \leq N$。
• 建立了不等式 $\frac{2C + 7G}{9} \leq N$，为赫罗尼姆均值提供了更紧的上界。
• 不等式 $\frac{S + 3N}{4} \leq A$ 改进了标准不等式 $N \leq A$，其推导基于 $f_{SA}''(x)$ 的凸性。
• 通过 $f_{AH}''(x)$ 的凸性证明了不等式 $\frac{2S + H}{3} \leq A$，进一步优化了不等式链。
• 比例恒等式 $\frac{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个差值统一为单一表达式。
• 推导出12个新的比例恒等式，例如 $4A = 2(C+H) = 3R + H$，通过整系数线性组合将均值关联起来。