[论文解读] The monotonicity results and sharp inequalities for some power-type means of two arguments

Zhen-Hang Yang|arXiv (Cornell University)|Oct 24, 2012

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

一句话总结

本文建立了从各种双变量均值（如 Seiffert、Neumann-Sándor、对数几何均值、指数-几何均值）导出的幂型均值关于幂参数 $ p $ 的单调性，证明了 $ P_p $、$ T_p $、$ N_p $ 和 $ Z_p $ 关于 $ p $ 是递增的。文章推导出最优不等式链 $ L_2 < P < N_{1/2} < He < A_{2/3} < I < Z_{1/3} < Y_{1/2} $，所有常数均为最优，并提出了关于 $ N < T_p $ 的最佳常数的猜想。

ABSTRACT

For $a,b&gt;0$ with $a eq b$, we define M_{p}=M^{1/p}(a^{p},b^{p}) ext{if}p eq 0 ext{and} M_{0}=\sqrt{ab}, where $M=A,He,L,I,P,T,N,Z$ and $Y$ stand for the arithmetic mean, Heronian mean, logarithmic mean, identric (exponential) mean, the first Seiffert mean, the second Seiffert mean, Neuman-Sándor mean, power-exponential mean and exponential-geometric mean, respectively. Generally, if $M$ is a mean of $a$ and $b$, then $M_{p}$ is also, and call "power-type mean". We prove the power-type means $P_{p}$, $T_{p}$, $N_{p}$, $Z_{p}$ are increasing in $p$ on $\mathbb{R}$ and establish sharp inequalities among power-type means $A_{p}$, $He_{p}$, $L_{p}$, $I_{p}$, $P_{p}$, $N_{p}$, $Z_{p}$, $Y_{p}$% . From this a very nice chain of inequalities for these means L_{2}

研究动机与目标

• 研究从各种双变量均值 $ M $（如 Seiffert、Neuman-Sándor、对数均值）导出的幂型均值 $ M_p $ 关于幂参数 $ p $ 的单调性。
• 建立不同幂型均值之间的最优不等式，特别是确定这些不等式中最佳可能的常数。
• 通过证明常数的最优性并识别新的紧致界，对已知的均值不等式链进行细化和扩展。
• 基于渐近分析与数值证据，提出关于使 $ N < T_p $ 成立的最优常数 $ p $ 的猜想。

提出的方法

• 本文定义了当 $ p \neq 0 $ 时的幂型均值 $ M_p(a,b) = M^{1/p}(a^p, b^p) $，并定义 $ M_0 = \sqrt{ab} $，从而将经典均值（如算术均值、对数均值、对数几何均值）推广。
• 通过在 $ x \to 1 $（即 $ a \approx b $）附近的渐近分析，推导出均值差的二阶泰勒展开，从而确定最优常数。
• 通过求导并分析所导函数（如 $ f_1(x), f_2(x), f_3(x) $）的符号，证明了 $ M_p $ 关于 $ p $ 的单调性，用于特定均值的比较。
• 通过分析形如 $ \lim_{x \to 1} \frac{M_1(x,1) - M_2(x,1)}{(x-1)^2} $ 的极限，建立最优不等式，从而得出关于 $ p $ 的必要与充分条件。
• 证明方法依赖于变量代换 $ x = a/b \in (0,1) $，将不等式转化为关于 $ x $ 的函数，再通过微积分方法及对数与平方根表达式的不等式进行分析。
• 本文利用先前文献（如 Costin & Toader、Chu 等人）中的已知结果作为基准，并基于单调性框架加以扩展。

实验结果

研究问题

• RQ1 对于哪些 $ p $ 值，幂型均值 $ P_p $ 是递增的？使得 $ P < N_p $ 成立的最佳常数是什么？
• RQ2 使得 $ N_p < He $ 成立的最优 $ p $ 是多少？这如何改进已知的均值不等式？
• RQ3 使得 $ I < Z_p $ 成立的最佳常数 $ p $ 是多少？$ Z_p $ 的单调性如何支持这一结论？
• RQ4 使得 $ Z_p < Y $ 成立的最佳常数 $ p $ 是多少？这如何通过渐近极限确定？
• RQ5 是否当且仅当 $ p \geq 4/5 $ 时有 $ N < T_p $？该猜想的依据是什么？

主要发现

• 幂型均值 $ P_p $、$ T_p $、$ N_p $ 和 $ Z_p $ 在 $ p \in \mathbb{R} $ 上严格关于 $ p $ 递增，确立了关键的单调性性质。
• 对所有 $ a,b > 0 $ 且 $ a \neq b $，最优不等式链 $ L_2 < P < N_{1/2} < He < A_{2/3} < I < Z_{1/3} < Y_{1/2} $ 成立，且所有常数均为最优。
• $ I < Z_p $ 成立当且仅当 $ p \geq 1/3 $，且 $ p = 1/3 $ 是最佳可能的常数。
• $ Z_p < Y $ 成立当且仅当 $ p \leq 2/3 $，且 $ p = 2/3 $ 是最佳可能的常数。
• 本文证明了 $ N_{1/2} < A_{2/3} $ 和 $ T_{2/5} < He $，从而改进了先前已知的界。
• 提出一个猜想：$ N < T_p $ 当且仅当 $ p \geq 4/5 $，该猜想得到渐近分析与在 $ x \to 0^+ $ 处的数值计算的支持。