[论文解读] Sharp power means bounds for Neuman-Sándor mean

Zhen-Hang Yang|arXiv (Cornell University)|Aug 4, 2012

Mathematical Inequalities and Applications参考文献 10被引用 7

一句话总结

本文建立了关于幂平均的 Neumann-Sándor 平均的最紧界限，证明了 $ N(a,b) $ 严格介于 $ p_1 $ 次与 $ 4/3 $ 次幂平均之间，其中 $ p_1 = \frac{\ln 2}{\ln \ln (3 + 2\sqrt{2})} \approx 1.2228 $ 与 $ 4/3 $ 是最优常数。这些界限通过将对数和双曲函数的渐近分析与单调性性质应用于齐次双变量平均而推导得出。

ABSTRACT

For a,b>0 with a ot=b, let N(a,b) denote the Neuman-Sándor mean defined by N(a,b)=((a-b)/(2arcsinh((a-b)/(a+b)))) and A_{r}(a,b) denote the r-order power mean. We present the sharp power means bounds for the Neuman-Sándor mean: A_{p_1}(a,b)

研究动机与目标

• 确定使 Neumann-Sándor 平均 $ N(a,b) $ 被幂平均 $ A_p(a,b) $ 限制的最优常数 $ p_1 $ 与 $ p_2 $。
• 通过引入 $ N(a,b) $ 关于幂平均的紧致界限，改进已知的双变量平均不等式链。
• 建立形如 $ \alpha A_p < N < \beta A_p $ 的紧致乘法界限，识别出最优常数 $ \alpha $ 与 $ \beta $。

提出的方法

• 定义函数 $ F_p(x) = \ln \frac{N(1,x)}{A_p(1,x)} $，其中 $ x \in (0,1) $，将不等式比较问题转化为分析 $ F_p(x) $ 的符号与单调性。
• 利用 $ x \to 1^- $ 与 $ x \to 0^+ $ 附近的渐近展开，推导出使 $ N(a,b) < A_p(a,b) $ 或 $ N(a,b) > A_p(a,b) $ 成立的 $ p $ 的必要条件。
• 应用引理 2 表明：对所有 $ x \in (0,1) $，有 $ F_p(x) < 0 $ 当且仅当 $ p \geq 4/3 $，从而证明上界。
• 利用引理 4 分析当 $ p = p_1 $ 时 $ F_p(x) $ 达到最大值的临界点 $ \tilde{x}_0 $，从而证明下界。
• 数值求解方程 $ f_p(x) = 0 $，以估计下界不等式中最优上界常数 $ \beta_2 \approx 1.0138 $。
• 利用 $ r \mapsto A_r(a,b) $ 的单调性以及 $ p \mapsto F_p(x) $ 的递减性，确立界限的最优性。

实验结果

研究问题

• RQ1 Neumann-Sándor 平均 $ N(a,b) $ 关于幂平均 $ A_p(a,b) $ 的最优下界是什么？
• RQ2 Neumann-Sándor 平均 $ N(a,b) $ 关于 $ A_p(a,b) $ 的最优上界是什么？
• RQ3 能否通过渐近分析与单调性分析，严格证明双不等式 $ A_{p_1}(a,b) < N(a,b) \leq A_{4/3}(a,b) $ 中的最优常数？
• RQ4 对于极端情况下的 $ p $，使得 $ \alpha A_p < N < \beta A_p $ 成立的最优乘法常数 $ \alpha $ 与 $ \beta $ 分别是什么？

主要发现

• Neumann-Sándor 平均的最优下界为 $ A_{p_1}(a,b) $，其中 $ p_1 = \frac{\ln 2}{\ln \ln (3 + 2\sqrt{2})} \approx 1.2228 $，且该常数为最优。
• 最优上界为 $ A_{4/3}(a,b) $，且对所有 $ a,b > 0 $，$ a \neq b $，有 $ N(a,b) < A_{4/3}(a,b) $ 成立，等号仅在极限情况下成立。
• 上界的最优乘法常数为 $ \alpha_1 = \frac{1}{\sqrt[4]{2} \ln(\sqrt{2} + 1)} \approx 0.95407 $，因此有 $ \alpha_1 A_{4/3} < N < A_{4/3} $。
• 对于下界，最优乘法常数为 $ \beta_2 \approx 1.0138 $，因此有 $ A_{p_1} < N < \beta_2 A_{p_1} $，且 $ \beta_2 $ 为最优。
• 双变量平均之间的不等式链被改进为包含 $ A_{p_1} < N < A_{4/3} $，其中 $ p_1 \approx 1.2228 $，从而将 $ N $ 精确定位于两个幂平均之间。
• 建立了类似 Fan-Ky 的不等式：当 $ p \geq 4/3 $ 时，有 $ \frac{N(a_1,b_1)}{N(a_2,b_2)} < \frac{A_p(a_1,b_1)}{A_p(a_2,b_2)} $ 成立，而当 $ p \leq 1 $ 时该不等式方向反转。