[论文解读] Hermite-Hadamard type inequalities for harmonically (α,m)-convex functions

İmdat Işcan|arXiv (Cornell University)|Jul 20, 2013

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

一句话总结

本文引入了一类新的广义函数——调和 (α,m)-凸函数，该函数推广了调和凸函数与 (α,m)-凸函数，并建立了针对这类函数的新形式的 Hermite-Hadamard 型积分不等式。通过结合积分恒等式与超几何函数的幂平均不等式，作者推导出函数值平均与加权积分平均之间差值的精确界，将经典结果扩展至更广泛的函数类，具有在特殊均值中的应用价值。

ABSTRACT

The author introduces the concept of harmonically (α,m)-convex functions and establishes some Hermite-Hadamard type inequalities of these classes of functions.

研究动机与目标

• 引入并定义调和 (α,m)-凸函数这一新函数类，作为调和凸函数与 (α,m)-凸函数的推广。
• 为调和 (α,m)-凸函数建立精确的 Hermite-Hadamard 型积分不等式。
• 通过引入参数 α ∈ [0,1] 和 m ∈ (0,1]，扩展经典积分不等式，提升其适用范围。
• 利用超几何函数推导涉及导数的 p-范数与 q-范数的界。
• 展示不等式在算术平均、几何平均与对数平均等特殊均值中的应用。

提出的方法

• 通过不等式 f(mxy/(mty + (1−t)x)) ≤ t^α f(x) + m(1−t^α)f(y) 对 x,y ∈ (0,b*], t ∈ [0,1] 定义调和 (α,m)-凸函数。
• 利用包含 ab(b−a)/2 ∫₀¹ (1−2t)/(tb + (1−t)a)² f’(ab/(tb + (1−t)a)) dt 的积分恒等式，表达平均值与积分均值之间的差值。
• 应用共轭指数为 p 与 q 的 Hölder 不等式，以界定导数项的 L1-范数。
• 利用超几何函数 _2F_1 与 Beta 函数 β(1, α+1) 计算涉及 t^α 与 (tb + (1−t)a)^{-2q} 的积分。
• 推导 ν(α,q;a,b) 与 ν(0,q;a,b)−ν(α,q;a,b) 的显式表达式，其形式依赖于 α, q, a, b。
• 利用所得界，建立包含 |f’(a)|^q 与 |f’(b/m)|^q 的新不等式，其系数涉及超几何函数。

实验结果

研究问题

• RQ1 如何将调和凸性的概念推广以同时包含 α 与 m 参数？其对积分不等式有何影响？
• RQ2 对于调和 (α,m)-凸函数，函数 f(a) 与 f(b) 的算术平均与加权积分均值 ∫_a^b f(x)/x² dx 之间差值的精确界是什么？
• RQ3 当 α = m = 1 或 m = 1 且 α = 1 时，新不等式如何退化为已知结果（如 Hermite-Hadamard 或 Hadamard 型不等式）？
• RQ4 超几何函数在刻画积分余项界中的作用是什么？
• RQ5 所推导的不等式能否用于推导 p-对数平均或几何平均等特殊均值的新估计？

主要发现

• 本文为调和 (α,m)-凸函数建立了新的 Hermite-Hadamard 型不等式：f(2ab/(a+b)) ≤ (ab/(b−a))∫_a^b f(x)/x² dx ≤ (f(a)+f(b))/2。
• 对于满足 |f’|^q 为调和 (α,m)-凸的可微函数，本文推导出精确界：| (f(a)+f(b))/2 − (ab/(b−a))∫_a^b f(x)/x² dx | ≤ (ab(b−a)/2)(1/(p+1))^{1/p} × [ν(α,q;a,b)|f’(a)|^q + m(ν(0,q;a,b)−ν(α,q;a,b))|f’(b/m)|^q]^{1/q}。
• 积分 ν(α,q;a,b) 与 ν(0,q;a,b)−ν(α,q;a,b) 均以超几何函数 _2F_1 与 Beta 函数显式表达。
• 当 α = m = 1 时，主不等式退化为文献 [7] 中的定理 3，验证了与已有调和凸函数结果的一致性。
• 不等式可导出特殊均值的新估计，例如：|A(a^{α/q+1},b^{α/q+1}) − G²L_{α/q−1}^{α/q−1}| ≤ (ab(b−a)(α+q)/(2q))(1/(p+1))^{1/p} × [ν(α,q;a,b)a^α + (ν(0,q;a,b)−ν(α,q;a,b))b^α]^{1/q}。
• 所给界为精确界，且在 f 与参数 α, m, q 满足特定条件时可取等。