[论文解读] Hermite-Hadamard type inequalities for harmonically convex functions on the co-ordinates

Erhan Set, İmdat Işcan|arXiv (Cornell University)|Apr 25, 2014

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

一句话总结

本文引入了在二维区间上坐标调和凸函数的概念，并通过积分表示和 Hölder 不等式，建立了这些函数的新 Hermite-Hadamard 型不等式。主要贡献在于一个涉及变量调和平均与二阶偏导数的精确双重积分不等式，该不等式通过高斯超几何函数表达。

ABSTRACT

In recent years, new classes of convex functions have been introduced in order to generalize the results and to obtain new estimations. We also introduce the concept of harmonically convex functions on the co-ordinates. Also, we establish some inequalities of Hermit-Hadamard type as S.S. Dragomir' s results in Theorem 2 and other Hermit-Hadamard type inequalities for these classes of functions.

研究动机与目标

• 将调和凸性的概念扩展到定义在坐标上的二元函数。
• 为坐标上的调和凸函数建立新的 Hermite-Hadamard 型不等式。
• 通过引入二阶偏导数和特殊函数，改进现有的积分不等式。
• 利用超几何函数为涉及调和凸函数的双重积分提供精确界。
• 将单变量调和凸性的结果推广到坐标上的双变量情形。

提出的方法

• 通过在每个变量上均为调和凸的偏映射来定义坐标上的调和凸函数。
• 基于调和平均进行变量替换：$ x \to \frac{ab}{A_t} $, $ y \to \frac{cd}{B_s} $，其中 $ A_t = ta + (1-t)b $, $ B_s = sc + (1-s)d $。
• 利用参数化的调和平均，表示双重积分 $ \int_a^b \int_c^d \frac{f(x,y)}{(xy)^2} \, dx\,dy $。
• 应用 Hölder 不等式，以界定积分平均与边界值平均之间的差值。
• 将界表示为高斯超几何函数 $ {}_2F_1 $ 的形式，特别是 $ {}_2F_1(2q,1;2;1 - a/b) $ 及类似形式。
• 利用包含 $ |(1-2t)(1-2s)|^p $ 和 $ (A_t B_s)^{-2q} $ 的积分恒等式，推导出最终不等式。

实验结果

研究问题

• RQ1 如何将调和凸性的概念扩展到坐标上的二元函数？
• RQ2 可以为坐标上的调和凸函数导出哪些 Hermite-Hadamard 型不等式？
• RQ3 在该背景下，二阶偏导数如何影响双重积分的界？
• RQ4 高斯超几何函数在表达这些积分的精确界中起什么作用？
• RQ5 Hölder 不等式能否在坐标调和凸性设定下有效用于推导新估计？

主要发现

• 本文为坐标上的调和凸函数建立了精确的 Hermite-Hadamard 型不等式，涉及变量的调和平均。
• 该界表示为角点函数值与 $ f(x,y)/(xy)^2 $ 的双重积分之和，余项由涉及 $ |(1-2t)(1-2s)|^p $ 的双重积分控制。
• 最终不等式的上界与 $ \frac{abcd(b-a)(d-c)}{4bd(p+1)^{2/p}} $ 成正比，乘以 $ (A_t B_s)^{-2q} $ 的积分以及二阶偏导数的 $ q $ 次幂。
• 推导出特定的超几何函数恒等式：$ \int_0^1 \int_0^1 (A_t B_s)^{-2q} ts \, dt\,ds = \frac{1}{4(bd)^{2q}} {}_2F_1(2q,1;2;1 - a/b) \times {}_2F_1(2q,1;2;1 - c/d) $。
• 对其他三个角点加权项也得到类似表达式，分别得到 $ {}_2F_1(2q,2;3;1 - a/b) $ 和 $ {}_2F_1(2q,1;2;1 - c/d) $ 等。
• 结果将经典的 Hermite-Hadamard 不等式推广到坐标调和凸设定，并明确使用了特殊函数和精确常数。