[论文解读] Comparison of differences between arithmetic and geometric means

J. M. Aldaz|arXiv (Cornell University)|Jan 27, 2010

Analytic Number Theory Research被引用 7

一句话总结

本文在不同权重序列下建立了算术平均与几何平均差值之间的紧致可比性界限，表明此类差值受权重极端比值的控制。研究证明，一组权重下的AM-GM差值被另一组权重下差值的常数倍（取决于最小与最大权重比值）上下界控制，且给出了明确的等式成立条件以及在指数抽样下的概率渐近行为。

ABSTRACT

We complement a recent result of S. Furuichi, by showing that the differences $\sum_{i=1}^n α_i x_i - \prod_{i=1}^n x_i^{α_i}$ associated to distinct sequences of weights are comparable, with constants that depend on the smallest and largest quotients of the weights.

研究动机与目标

• 建立不同权重序列下算术平均与几何平均差值之间的可比性。
• 以权重比值的极值为基准，推导AM-GM差值的显式上下界。
• 刻画所推导不等式中等式成立的条件。
• 利用概率方法分析高维情形下AM-GM差值的典型大小及GM/AM比值。
• 通过依赖权重的缩放方法，拓展AM-GM不等式中的自增强技术。

提出的方法

• 推导了两个不同权重序列 α 和 β 下AM-GM差值的双向不等式，其界与 min(αi/βi) 和 max(αi/βi) 成比例。
• 基于Jensen不等式及指数函数的凸性，应用自增强论证方法，推导出主要比较结果。
• 通过变量替换 xi = yi^s，将AM-GM差值与变量平方根的方差联系起来。
• 采用概率方法，包括指数分布和ℓ1-球面上的面积测度，分析大n时AM-GM差值的典型行为。
• 应用Dragomir与Furuichi的结果，对已知不等式进行精炼，并推导出涉及 α_min 和 α_max 的新界。
• 利用大数集中律与大偏差论证，表明当n较大时，AM-GM差值以高概率集中在与 α_min,n 或 α_max,n 乘以x的ℓ1-范数成比例的值附近。

实验结果

研究问题

• RQ1 算术平均与几何平均差值在不同正权重序列下如何比较？
• RQ2 能否以另一组权重序列对应的差值来界定 ∑αixi − ∏xi^αi ？
• RQ3 所推导的AM-GM差值界中，等式成立的精确条件是什么？
• RQ4 当变量从指数分布中抽样且n较大时，AM-GM差值的典型量级是多少？
• RQ5 在不等权重下，指数抽样时GM/AM比值的渐近行为如何？

主要发现

• 权重为α时的AM-GM差值，其上下界分别为权重为β时差值的 min(αk/βk) 与 max(αk/βk) 倍，常数仅依赖于权重的极端比值。
• 下界等式成立当且仅当所有不属于实现最小 αk/βk 比值集合的变量，均等于该集合中变量的几何平均值。
• 上界等式成立当且仅当所有不属于实现最大 αk/βk 比值集合的变量，均等于该集合中变量的几何平均值。
• 当n较大时，AM-GM差值以高概率集中在与 α_min,n 乘以x的ℓ1-范数成比例的值附近，抽样来自指数分布。
• GM/AM比值以高概率集中在 exp(−nα_max,nγ) 与 exp(−nα_min,nγ) 之间，其中γ为欧拉-马歇罗尼常数，当n较大时成立。
• 结果拓展了Young不等式已知的精化形式，并为不同权重序列间AM-GM差值的比较提供了一致自洽的框架。