[论文解读] Hermite-Hadamard type inequalities for harmonically convex functions

İmdat Işcan|arXiv (Cornell University)|Mar 25, 2013

Mathematical Inequalities and Applications参考文献 2被引用 5

一句话总结

本文引入了调和凸函数，并建立了针对此类函数的新形式的Hermite-Hadamard型积分不等式，将经典不等式中的算术平均替换为调和平均。关键结果是一个包含函数值调和平均与权函数为 $ x^{-2} $ 的积分变换的双重不等式，该结果将经典凸性结果推广至一类新的函数，具有在正实数特殊均值中的应用。

ABSTRACT

The author introduce the concept of harmonically convex functions and establish some Hermite-Hadamard type inequalities of these classes of functions

研究动机与目标

• 定义并研究在不包含零的区间上的调和凸函数类。
• 为调和凸函数建立新的Hermite-Hadamard型积分不等式。
• 通过在函数不等式框架中用调和平均替代算术平均，推广经典积分不等式。
• 将新不等式应用于推导算术平均、调和平均、对数平均和对等平均等特殊均值的界。
• 利用Hölder不等式为调和凸函数导数的积分提供紧致界。

提出的方法

• 通过不等式 $ f\left(\frac{xy}{tx + (1-t)y}\right) \leq t f(y) + (1-t) f(x) $ 定义调和凸函数，其中 $ t \in [0,1] $ 且 $ x,y \in I \subset \mathbb{R} \setminus \{0\} $。
• 通过变量代换和对 $ t \in [0,1] $ 的积分，推导出主要不等式 $ f\left(\frac{2ab}{a+b}\right) \leq \frac{ab}{b-a} \int_a^b \frac{f(x)}{x^2} dx \leq \frac{f(a)+f(b)}{2} $。
• 利用分部积分法，建立函数值平均与加权积分之间差值的表示引理。
• 应用Hölder不等式，对导数为调和凸函数时Hermite-Hadamard不等式中的误差项进行界定。
• 使用代换 $ x = \frac{ab}{tb + (1-t)a} $ 转换积分，以利用调和凸性的结构。
• 推导出依赖于 $ a, b, q $ 和 $ p $ 的显式界，其中 $ q \geq 1 $ 且 $ \frac{1}{p} + \frac{1}{q} = 1 $，涉及常数 $ \lambda_1, \lambda_2, \lambda_3 $ 和 $ \mu_1, \mu_2 $。

实验结果

研究问题

• RQ1 调和凸函数的定义与特征是什么？它们与标准凸函数有何不同？
• RQ2 如何在调和平均下重新表述经典Hermite-Hadamard不等式，使其适用于调和凸函数？
• RQ3 当 $ f $ 为调和凸函数时，积分 $ \frac{ab}{b-a} \int_a^b \frac{f(x)}{x^2} dx $ 的紧致界是什么？
• RQ4 当 $ |f'|^q $ 为调和凸函数时，如何推导出 $ f(a) $ 与 $ f(b) $ 的平均值与加权积分之间差值的界？
• RQ5 从新的Hermite-Hadamard型不等式中，可以导出关于正实数特殊均值的哪些新不等式？

主要发现

• 对于所有定义在 $ (0,\infty) $ 上的调和凸函数 $ f $，不等式 $ f\left(\frac{2ab}{a+b}\right) \leq \frac{ab}{b-a} \int_a^b \frac{f(x)}{x^2} dx \leq \frac{f(a)+f(b)}{2} $ 成立，且该不等式是紧致的，如常数函数 $ f(x) = 1 $ 所示。
• 对于具有调和凸性 $ |f'|^q $ 的可微调和凸函数（$ q \geq 1 $），Hermite-Hadamard不等式中的误差被一个包含 $ \lambda_1^{1-1/q} \left[ \lambda_2 |f'(a)|^q + \lambda_3 |f'(b)|^q \right]^{1/q} $ 的表达式所界定，其中 $ \lambda_1, \lambda_2, \lambda_3 $ 有显式公式。
• 当 $ q > 1 $ 且 $ \frac{1}{p} + \frac{1}{q} = 1 $ 时，通过积分和Hölder不等式进一步优化误差界，引入 $ \left(\frac{1}{p+1}\right)^{1/p} $ 及依赖于 $ a, b, q $ 的常数 $ \mu_1, \mu_2 $。
• 通过取 $ f(x) = x $，证明了不等式 $ H \leq \frac{G^2}{L} \leq A $，表明调和平均被几何平均的平方与对数平均的比值所界定。
• 将主结果应用于 $ f(x) = x^2 $，得到不等式 $ H^2 \leq G^2 \leq A(a^2, b^2) $，展示了该框架在幂平均中的实用性。
• 对于 $ f(x) = x^{p+2} $ 且 $ p \in (-1, \infty) \setminus \{0\} $，建立了不等式 $ H^{p+2} \leq G^2 L_p^p \leq A(a^{p+2}, b^{p+2}) $，表明该方法在推导特殊均值之间不等式时具有普遍性。