[论文解读] A new proof of the geometric-arithmetic mean inequality by Cauchy's integral formula

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

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

一句话总结

本文利用复分析中的柯西积分公式，提出了一种类几何-算术平均不等式的新证明。通过为几何平均 $ G_n(a+z) $ 的主支导出一个积分表示，作者证明了几何平均不超过算术平均，且等号成立当且仅当所有 $ a_k $ 相等，这依赖于积分余项的非负性。

ABSTRACT

Let $a=(a_1,a_2,...c,a_n)$ for $n\in\mathbb{N}$ be a given sequence of positive numbers. In the paper, the authors establish, by using Cauchy's integral formula in the theory of complex functions, an integral representation of the principal branch of the geometric mean {equation*} G_n(a+z)=\Biggl[\prod_{k=1}^n(a_k+z)\Biggr]^{1/n} {equation*} for $z\in\mathbb{C}\setminus(-\infty,-\min\{a_k,1\le k\le n\}]$, and then provide a new proof of the well known GA mean inequality.

研究动机与目标

• 通过复分析建立经典几何-算术平均不等式的全新证明。
• 通过柯西积分公式，为复平面上几何平均 $ G_n(a+z) $ 的主支导出积分表示。
• 将 GA 不等式作为积分表示的直接推论加以证明，且等号成立当且仅当所有 $ a_k $ 相等。
• 通过边界行为和虚部极限，提供一种复分析框架，以理解 GA 平均不等式。

提出的方法

• 在复平面上使用柯西积分公式，为 $ G_n(a+z) $ 推导积分表示，该表示对 $ z \in \mathbb{C} \setminus (-\infty, -a_1] $ 有效。
• 定义辅助函数 $ f_n(z) = G_n(a+z) - z $，其在无穷远处的极限为 $ A_n(a) $，从而建立与算术平均的联系。
• 利用函数 $ h_n(z) = G_n(a - a_1 + z) - z $ 在负实轴上的虚部边界行为，提取与几何平均相关的跳跃间断。
• 在避开 $ (-\infty, -a_1] $ 上分支割线的钥匙孔形路径上进行围道积分，利用解析性与无穷远处的衰减性。
• 取极限 $ \varepsilon \to 0^+ $ 和 $ r \to \infty $ 以计算围道积分，得到 $ f_n(z) $ 的实积分表达式。
• 将 $ z = 0 $ 代入最终的积分表示，得到 $ G_n(a) \leq A_n(a) $，从而完成 GA 不等式的证明。

实验结果

研究问题

• RQ1 能否利用复分析和柯西积分公式证明几何-算术平均不等式？
• RQ2 在复平面上，几何平均 $ G_n(a+z) $ 的主支的积分表示是什么？
• RQ3 复函数 $ h_n(z) $ 的虚部在负实轴上的行为如何？它揭示了关于几何平均的什么信息？
• RQ4 极限 $ \lim_{z \to \infty} f_n(z) = A_n(a) $ 在证明结构中起什么作用？
• RQ5 在什么条件下 GA 不等式中等号成立？这在积分表示中如何体现？

主要发现

• 几何平均 $ G_n(a) $ 具有如下积分表示：$$ G_n(a) = A_n(a) - \frac{1}{\pi} \sum_{\ell=1}^{n-1} \sin\frac{\ell\pi}{n} \int_{a_\ell}^{a_{\ell+1}} \left| \prod_{k=1}^n (a_k - t) \right|^{1/n} \frac{dt}{t} $$
• 对于所有 $ a_k > 0 $，积分余项均为非负，因此有 $ G_n(a) \leq A_n(a) $，且等号成立当且仅当所有 $ a_k $ 相等。
• $ h_n(-t + i\varepsilon) $ 的虚部在区间 $ (a_\ell - a_1, a_{\ell+1} - a_1] $ 上表现出与 $ \sin(\ell\pi/n) $ 成比例的跳跃间断，这对积分推导至关重要。
• 通过复分析中的洛必达法则，严格证明了极限 $ \lim_{z \to \infty} f_n(z) = A_n(a) $，从而将函数与算术平均联系起来。
• 该证明在经典不等式与复分析之间建立了新联系，特别是通过围道积分与边界值分析。
• 当 $ a_1 = a_2 = \cdots = a_n $ 时，等号成立，这在积分表示中体现为余项积分为零，因为被积函数恒为零。