[论文解读] The geometric mean is a Bernstein function

Feng Qi, Xiaojing Zhang+1 more|arXiv (Cornell University)|Jan 29, 2013

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

一句话总结

本文利用柯西积分公式，建立了 $ n $ 个正数几何平均值的积分表示，证明了几何平均值是伯恩斯坦函数。这一表征为经典的算术-几何平均不等式提供了新的证明，表明仅当所有数相等时等号成立。

ABSTRACT

In the paper, the authors establish, by using Cauchy integral formula in the theory of complex functions, an integral representation for the geometric mean of $n$ positive numbers. From this integral representation, the geometric mean is proved to be a Bernstein function and a new proof of the well known AG inequality is provided.

研究动机与目标

• 利用复分析方法，建立 $ n $ 个正实数几何平均值的积分表示。
• 通过证明其导数完全单调，表明几何平均值是伯恩斯坦函数。
• 利用推导出的积分表示，为经典的算术-几何平均不等式提供一种新的解析证明。
• 将几何平均值与更广泛的特殊函数类（包括完全单调函数和斯蒂尔杰斯函数）联系起来。
• 将复分析中的洞察推广至多变量情形下的经典不等式。

提出的方法

• 利用复分析中的柯西积分公式，推导几何平均值的积分表示。
• 应用围线积分与留数理论，将几何平均值表示为关键孔形围线上的复积分。
• 将复积分转化为涉及绝对值和幂平均值的实积分表示。
• 利用所得积分形式，证明几何平均值的导数完全单调。
• 利用伯恩斯坦函数通过正测度的积分表示进行表征。
• 将积分表示应用于推导算术-几何平均不等式，作为积分余项非负性的直接推论。

实验结果

研究问题

• RQ1 能否利用复分析将 $ n $ 个正数的几何平均值表示为伯恩斯坦函数？
• RQ2 通过柯西积分公式，可导出何种几何平均值的积分表示？
• RQ3 该积分表示如何导致算术-几何平均不等式的全新证明？
• RQ4 根据积分形式，算术-几何平均不等式在何种条件下取等？
• RQ5 几何平均值与完全单调函数、对数完全单调函数及斯蒂尔杰斯函数类之间存在何种关系？

主要发现

• $ n $ 个正数的几何平均值可表示为涉及有序数值 $ a_{[1]} < a_{[2]} < \dots < a_{[n]} $ 所定义区间的积分之和的积分表示。
• 作为平移参数函数的几何平均值的导数完全单调，从而证明了几何平均值是伯恩斯坦函数。
• 算术-几何平均不等式作为该表示中积分余项非负性的直接推论被重新证明。
• 当且仅当所有 $ n $ 个数相等时，算术-几何平均不等式取等，这由积分余项消失得以说明。
• 几何平均值被证明是斯蒂尔杰斯函数，从而被置于对数完全单调函数的更广泛类中。
• 积分表示明确展示了对有序值 $ a_{[1]} < a_{[2]} < \dots < a_{[n]} $ 的依赖性，其中系数包含 $ \sin(\ell\pi/n) $。