[论文解读] On Hermite Hadamard-type inequalities for strongly log-convex functions

Mehmet Zeki Sarıkaya, Hatice Yaldız|arXiv (Cornell University)|Mar 10, 2012

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

一句话总结

本文引入了关于模 $ c > 0 $ 的强对数凸函数，推广了经典对数凸性，并建立了包含与 $ c $ 相关的二次校正项的新 Hermite-Hadamard 型不等式。主要贡献在于为这类函数的积分均值建立了更精细的不等式链，其更紧的界反映了对数意义上的强凸性，扩展了标准对数凸函数（$ c = 0 $）的已有结果。

ABSTRACT

In this paper, the notation of strongly log-convex functions with respect to c>0 is introduced and versions of Hermite Hadamard-type inequalities for strongly logarithmic convex functions are established.

研究动机与目标

• 定义并形式化关于正模 $ c>0 $ 的强对数凸函数概念，推广经典对数凸性。
• 将现有对数凸函数的 Hermite-Hadamard 型不等式推广至对数意义上存在强凸性的场景。
• 通过引入与 $ c $ 成比例的二次校正项，建立更紧的积分不等式，以反映增强的凸性行为。
• 利用几何平均与对数平均，为强对数凸函数的积分均值提供显式界。
• 将已知结果从 $ c = 0 $（标准对数凸性）推广至 $ c > 0 $，从而丰富了特殊函数类的积分不等式理论。

提出的方法

• 通过不等式 $ f(\theta x + (1-\theta)y) ≤ [f(x)]^\theta [f(y)]^{1-\theta} - c\theta(1-\theta)(x-y)^2 $ 定义强对数凸函数，其中 $ \theta \in (0,1) $，$ c > 0 $。
• 利用算术-几何平均不等式及对数平均与几何平均的性质，推导中间界。
• 对区间 $[a,b]$ 上的乘积 $ f(ta + (1-t)b) f((1-t)a + tb) $ 进行积分，利用对称性与代换 $ x = ta + (1-t)b $。
• 使用分部积分法计算形如 $ \int_0^1 t(1-t) r^t dt $ 的积分，其中 $ r = f(a)/f(b) $ 或 $ f(b)/f(a) $，以处理指数项。
• 将所得积分估计与已知的对数平均 $ L(p,q) $ 和几何平均 $ G(p,q) $ 表达式结合，推导最终不等式。
• 利用恒等式 $ \int_0^1 t^2(1-t)^2 dt = \frac{1}{30} $ 计算最终界中的二次校正项。

实验结果

研究问题

• RQ1 如何将经典对数凸函数的 Hermite-Hadamard 不等式扩展，以包含对数意义下的强凸性参数 $ c > 0 $？
• RQ2 强对数凸函数的积分均值的精确积分界是什么？与标准对数凸函数情形有何不同？
• RQ3 能否推导出包含 $ c $ 的二次校正项，以改进强对数凸函数的古典 Hermite-Hadamard 不等式链？
• RQ4 在强对数凸性下，几何平均 $ G(f(x), f(a+b-x)) $、对数平均 $ L(f(a), f(b)) $ 与算术平均如何与积分均值关联？
• RQ5 在模 $ c>0 $ 的强对数凸性下，$ \int_a^b f(x)f(a+b-x) dx $ 的上界的确切形式是什么？

主要发现

• 本文建立了强对数凸函数的新 Hermite-Hadamard 型不等式：$ f\left(\frac{a+b}{2}\right) + \frac{c(b-a)^2}{12} \leq \frac{1}{b-a}\int_a^b G(f(x), f(a+b-x)) dx $，表明由于强凸性，存在正的校正项。
• 函数的积分均值满足 $ \frac{1}{b-a}\int_a^b f(x)dx \leq L(f(a), f(b)) - \frac{c(b-a)^2}{6} $，表明与经典情形相比，上界出现下移。
• 算术平均的上界为 $ \frac{f(a)+f(b)}{2} - \frac{c(b-a)^2}{6} $，表明强凸性参数 $ c $ 导致其减小。
• 推导出乘积积分的上界：$ \int_a^b f(x)f(a+b-x)dx \leq f(a)f(b) + \frac{c^2(b-a)^4}{30} - \frac{4c(b-a)^2}{[\ln(f(b))-\ln(f(a))]^2}(A(f(a),f(b)) + L(f(a),f(b))) $，同时包含二次与对数校正项。
• 推导依赖于分部积分法计算 $ \int_0^1 t(1-t) r^t dt $，得到涉及 $ \frac{f(a)+f(b)}{[\ln(f(a)/f(b))]^2} $ 的表达式，这些是最终不等式的关键。
• 结果通过引入非零的 $ c $，推广了 Dragomir 和 Mond 对对数凸函数的不等式，从而为对数尺度下具有更强曲率的函数提供了更精确的框架。