[论文解读] An alternative and united proof of a double inequality for bounding the arithmetic-geometric mean

Feng Qi, Anthony Sofo|arXiv (Cornell University)|Feb 15, 2009

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

一句话总结

本文提出了一种基于完全椭圆积分和对数平均性质的算术-几何平均（AGM）双不等式的新统一证明。通过分析由幂级数导出的有理函数的单调性，并应用洛必达法则，作者证明：对于所有 $ a,b > 0 $，$ a \neq b $，不等式 $ \alpha L(a,b) < M(a,b) < \beta L(a,b) $ 成立的充要条件是 $ \alpha \leq 1 $ 且 $ \beta \geq \frac{\pi}{2} $，且常数为最优的。

ABSTRACT

In the paper, we provide an alternative and united proof of a double inequality for bounding the arithmetic-geometric mean.

研究动机与目标

• 提供一种基于解析技巧的算术-几何平均（AGM）双不等式的替代且统一的证明。
• 确定使得对所有正数 $ a \neq b $，不等式 $ \alpha L(a,b) < M(a,b) < \beta L(a,b) $ 成立的最优常数 $ \alpha $ 和 $ \beta $，其中 $ L(a,b) $ 为对数平均。
• 通过渐近分析和级数单调性，建立常数 $ \alpha = 1 $ 和 $ \beta = \frac{\pi}{2} $ 的最优性。
• 通过统一的分析框架（包含幂级数与积分表示）推导出先前关于 AGM 界的结果，实现统一。

提出的方法

• 利用引理1（关于正系数幂级数比值的单调性）分析关键函数的行为。
• 应用引理2（$ \sin^n x $ 的积分）将第一类完全椭圆积分用伽马函数和双阶乘表示。
• 使用引理3 推导出包含中心二项式系数和类似调和项的有限和的闭式恒等式。
• 利用 Zeilberger 算法验证引理3 中求和的递推关系，确保代数正确性。
• 应用洛必达法则计算当 $ t \to 0^+ $ 和 $ t \to 1^- $ 时积分比的极限，得到最优界 $ \frac{\pi}{2} $ 和 $ 1 $。
• 将不等式转化为 $ t = a/b $ 的函数（$ b > a > 0 $），再用对数平均重新表达，导出最终的双不等式。

实验结果

研究问题

• RQ1 使得对所有 $ a, b > 0 $，$ a \neq b $，不等式 $ \alpha L(a,b) < M(a,b) < \beta L(a,b) $ 成立的最优常数 $ \alpha $ 和 $ \beta $ 是什么？
• RQ2 能否使用解析方法，以统一且替代的方式证明有界 AGM 的双不等式？
• RQ3 上界的常数 $ \beta = \frac{\pi}{2} $ 是否对 AGM 关于对数平均的上界是最优的？
• RQ4 下界常数 $ \alpha = 1 $ 是否为不等式 $ \alpha L(a,b) < M(a,b) $ 的最优常数？
• RQ5 AGM、对数平均 $ L(a,b) $ 和指数平均 $ I(a,b) $ 的渐近行为如何影响双不等式中界的选择？

主要发现

• 双不等式 $ \alpha L(a,b) < M(a,b) < \beta L(a,b) $ 对所有正数 $ a \neq b $ 成立的充要条件是 $ \alpha \leq 1 $ 且 $ \beta \geq \frac{\pi}{2} $，等号仅在 $ a = b $ 时成立。
• 上界 $ \beta = \frac{\pi}{2} $ 是最优的，由当 $ t \to 0^+ $ 时比值函数的极限确认，其值为 $ \frac{\pi}{2} $。
• 下界 $ \alpha = 1 $ 同样是最优的，因为当 $ t \to 1^- $ 时比值函数的极限为 $ 1 $。
• 幂级数系数比值 $ \frac{a_k}{b_k} $ 对所有 $ k \in \mathbb{N} $ 严格递增，这确保了引理1 所需的单调性。
• 函数 $ \frac{\ln t / (t-1)}{\frac{2}{\pi} \int_0^{\pi/2} \frac{d\theta}{\sqrt{1 - (1 - t^2)\sin^2 \theta}}} $ 在 $ t \in (0,1) $ 上严格递减，这是推导双不等式的基础。
• 该证明是统一的，因为它从单一分析框架（包含级数、积分和渐近极限）同时推导出两个界，避免了分情况讨论。