[论文解读] Fejer-type inequalities

Minculete, N., Mitroi, F. -C.|arXiv (Cornell University)|May 29, 2011

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

一句话总结

本论文通过利用凸函数二阶导数的界，建立了新的费杰尔型不等式，从而改进了赫尔梅特-哈达玛不等式的估计，并得到了杨不等式（算术-几何平均不等式）的精化版本。关键贡献在于提出了一个涉及二阶导数界 m 和 M 的精确双侧不等式，该不等式推广了经典结果，并在积分不等式中实现了更紧的误差估计。

ABSTRACT

The aim of this paper is to present some new Fejer-type results for convex functions. Improvements of Young's inequality (the arithmetic-geometric mean inequality) and other applications to special means are pointed as well.

研究动机与目标

• 通过引入凸函数二阶导数的界，拓展经典费杰尔与赫尔梅特-哈达玛不等式。
• 利用二阶导数的界 m 和 M，推导积分不等式中更紧的误差估计。
• 通过凸性与二阶导数约束，改进杨不等式（算术-几何平均不等式）。
• 利用关于 (a+b)/2 对称的权函数，推导积分不等式的加权推广。
• 将结果应用于特殊均值，如幂平均、对数平均、调和平均与对等平均。

提出的方法

• 基于二阶导数的界 m 和 M，推导凸组合与中点函数值之差的双侧不等式。
• 将所得不等式在 λ ∈ [0,1] 上积分，以恢复并精化赫尔梅特-哈达玛误差界。
• 将不等式应用于函数 f(x) = -log x，推导几何平均与杨不等式的改进界。
• 将不等式应用于 f(x) = exp(x)，推导指数平均及算术-几何平均不等式的界。
• 利用权函数 g(t) 关于 (a+b)/2 的对称性，推导加权费杰尔型不等式。
• 通过引入加权平均点 A = (pa + qb)/(p + q) 与对称权区间，将结果推广至加权均值。

实验结果

研究问题

• RQ1 当凸函数的二阶导数被常数 m 和 M 分别从下方和上方有界时，如何改进费杰尔型不等式？
• RQ2 能否利用二阶导数信息，推导出赫尔梅特-哈达玛不等式误差的更紧界？
• RQ3 在函数 f(x) = -log x 的二阶导数有界条件下，杨不等式能在多大程度上被精化？
• RQ4 新不等式如何推广至具有对称权函数的加权积分？
• RQ5 利用所导不等式，对经典均值（对数平均、对等平均、幂平均）可实现哪些改进？

主要发现

• 对于任意二阶可导的凸函数，若 f'' ∈ [m, M]，则对所有 λ ∈ [0,1]，有不等式 mλ(1−λ)(a−b)²/2 ≤ λf(a)+(1−λ)f(b)−f(λa+(1−λ)b) ≤ Mλ(1−λ)(a−b)²/2 成立。
• 不等式 (5) 在 λ ∈ [0,1] 上积分后，可推出经典赫尔梅特-哈达玛误差界 (3) 和 (4)。
• 对于 f(x) = -log x，不等式 e^{λ(1−λ)(a−b)²/(2b²)} ≤ (λa + (1−λ)b)/(a^λ b^{1−λ}) ≤ e^{λ(1−λ)(a−b)²/(2a²)} 提供了杨不等式的显式上下界，实现改进。
• 对于 f(x) = exp(x)，不等式 λa + (1−λ)b - a^λ b^{1−λ} ≤ λ(1−λ)b/2 log²(a/b) 为算术平均与几何平均之差提供了精化上界。
• 加权费杰尔不等式 (9)–(12) 提供了涉及 ∫(t−a)(b−t)g(t)dt 与 ∫(2t−a−b)²g(t)dt 的界，对应的常数分别为 m/2 和 M/2。
• 应用于特殊均值，可得新不等式：(b−a){A_p(a,b)^p − L_p(a,b)^p} ≥ (x−a){A_p(a,x)^p − L_p(a,x)^p}，其中 p ∈ (−∞,0) ∪ [1,∞) extbackslash{−1}，并对对数平均与对等平均得到类似结果。