[论文解读] Integral inequalities of Hermite-Hadamard type for $(α,m)$-GA-convex functions

Ai-Ping Ji, Tianyu Zhang+1 more|arXiv (Cornell University)|Jun 4, 2013

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

一句话总结

本文引入了 $(\alpha,m)$-GA-凸函数这一新概念，作为几何-算术凸函数的推广，并为这类函数建立了新的赫尔梅特-哈达玛类型积分不等式。通过利用赫尔德不等式和涉及对数积分的关键引理，作者推导出加权积分平均与函数平均之间差异的紧致上界，将经典结果扩展至更广泛的凸性类别，并在解析不等式中具有应用价值。

ABSTRACT

In the paper, the authors introduce a notion "$(α,m)$-GA-convex functions" and establish some integral inequalities of Hermite-Hadamard type for $(α,m)$-GA-convex functions.

研究动机与目标

• 提出并形式化 $(\alpha,m)$-GA-凸函数的概念，作为现有凸性类别的推广。
• 将赫尔梅特-哈达玛类型积分不等式推广至满足新 $(\alpha,m)$-GA-凸性条件的函数。
• 在广义凸性下，推导积分平均与函数平均之间偏差的紧致上界。
• 通过在函数不等式中引入几何平均，将先前关于 $m$-凸函数和 $(\alpha,m)$-凸函数的结果进行推广。

提出的方法

• 通过不等式 $ f(x^{\lambda}y^{m(1-\lambda)}) \leq \lambda^{\alpha}f(x) + m(1-\lambda^{\alpha})f(y) $ 定义 $(\alpha,m)$-GA-凸函数，其中 $ \lambda \in [0,1] $。
• 利用一个关键引理，通过对数积分变换表达加权积分与函数表达式之间的差异：$ \frac{b^2f(b)-a^2f(a)}{2} - \int_a^b x f(x) dx = \frac{\ln b - \ln a}{2} \int_0^1 a^{3(1-t)}b^{3t} f'(a^{1-t}b^t) dt $。
• 对积分表示应用赫尔德不等式，利用涉及 $ t^\alpha $ 和 $ (1-t)^\alpha $ 的权函数，以利用 $ |f'|^q $ 的 $(\alpha,m)$-GA-凸性。
• 引入对数平均 $ L(a,b) $ 和广义积分 $ G(\alpha, \ell) = \int_0^1 t^\alpha a^{\ell(1-t)} b^{\ell t} dt $，以闭式表达边界。
• 通过结合凹性假设和积分估计，推导出两个 $(\alpha,m)$-GA-凸函数乘积的积分上下界。
• 通过设定 $ \alpha = m = 1 $ 验证特例，恢复已知的 GA-凸函数不等式。

实验结果

研究问题

• RQ1 如何将经典的赫尔梅特-哈达玛不等式推广至满足涉及参数 $ \alpha $ 和 $ m $ 的几何-算术凸性条件的函数？
• RQ2 在 $(\alpha,m)$-GA-凸性下，积分平均与中点函数值之间差异的新型积分界是什么？
• RQ3 参数 $ \alpha $ 和 $ m $ 如何影响所推导不等式的紧致性？
• RQ4 能否通过积分表示和赫尔德不等式对两个 $(\alpha,m)$-GA-凸函数的乘积进行有界估计？
• RQ5 当 $ \alpha = m = 1 $ 时的极限情形是什么？它们与已知的 GA-凸函数结果有何关联？

主要发现

• 本文为 $(\alpha,m)$-GA-凸函数建立了新的赫尔梅特-哈达玛类型不等式：$ \left| \frac{b^2f(b)-a^2f(a)}{2} - \int_a^b x f(x) dx \right| \leq \frac{\ln b - \ln a}{2} \left[ L(a^3,b^3) \right]^{1-1/q} \times \left\{ m\left[ L(a^3,b^3) - G(\alpha,3) \right] |f'(a^{1/m})|^q + G(\alpha,3)|f'(b)|^q \right\}^{1/q} $。
• 对于两个 $(\alpha,m)$-GA-凹函数的乘积，推导出一个下界：$ \int_a^b f(x)g(x) dx \geq (\ln b - \ln a) \left\{ m_1m_2[L(a,b)-G(\alpha_1,1)-G(\alpha_2,1)+G(\alpha_1+\alpha_2,1)]f(a^{1/m_1})g(a^{1/m_2}) + \cdots \right\} $。
• 当 $ \alpha = m = 1 $ 时，不等式退化为已知的 GA-凸函数结果，证实与先前工作的自洽性。
• 广义积分 $ G(\alpha, \ell) = \int_0^1 t^\alpha a^{\ell(1-t)} b^{\ell t} dt $ 在以 $ \alpha $、$ m $ 和函数在边界点的导数表示边界时起核心作用。
• 通过对数平均 $ L(a,b) $ 和赫尔德不等式的使用，实现了对积分偏差的紧密估计，优于经典界。
• 结果在某种意义上是紧致的，即当 $ f $ 为仿射函数或使用幂函数时，等号可被逼近。