[论文解读] Ostrowski type inequalities for harmonically s-convex functions

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

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

一句话总结

本文引入了调和 s-凸函数，并为其建立了新的 Ostrowski 型不等式，扩展了经典的积分逼近界。通过利用调和凸性性质和 Hölder 不等式，作者推导出函数值与其调和积分平均之间偏差的精确界，将 Hermite-Hadamard 不等式和 Ostrowski 不等式推广至这一新函数类，且显式常数依赖于参数 s 和可积性参数。

ABSTRACT

The author introduces the concept of harmonically s-convex functions and establishes some Ostrowski type inequalities and Hermite-Hadamard type inequality of these classes of functions.

研究动机与目标

• 定义并研究一类新函数——调和 s-凸函数，该函数同时推广了调和凸性和 s-凸性。
• 为调和 s-凸函数建立 Hermite-Hadamard 型不等式，提供其调和积分平均的界。
• 为调和 s-凸函数推导新的 Ostrowski 型不等式，量化通过点值近似调和积分时的误差。
• 通过引入参数 s ∈ (0,1] 和调和平均结构，推广文献中已有的不等式。
• 在所得不等式中提供精确常数，改进了特殊情形下的已知界。

提出的方法

• 通过不等式 f(xy/(tx + (1-t)y)) ≤ t^s f(y) + (1-t)^s f(x)（t ∈ [0,1]，x,y > 0，s ∈ (0,1]）定义调和 s-凸函数。
• 使用一个关键引理，将 f(x) 与调和积分平均的差表示为涉及调和平均结构的 f' 的加权积分。
• 应用共轭指数为 p 和 q 的 Hölder 不等式来控制所得积分，利用 |f'|^q 的 s-凸性。
• 通过在 t ∈ [0,1] 上积分 s-凸性条件推导界，使用代换如 u = ab/(ta + (1-t)x) 以关联至调和积分。
• 通过计算形如 ∫₀¹ t^p / (ta + (1-t)x)^{2p} dt 及其类似形式的积分，得到显式常数，定义 λ₁、λ₃ 为辅助函数。
• 通过验证等号成立条件并与已知情形（如 s=1，s→0）比较，证明界的最优性。

实验结果

研究问题

• RQ1 如何将 s-凸性的概念适配到调和平均结构中，以定义一类新函数？
• RQ2 调和 s-凸函数的调和积分平均的最优界是什么？
• RQ3 调和 s-凸函数的 Ostrowski 型不等式与经典 Ostrowski 和 Hermite-Hadamard 不等式相比如何？
• RQ4 所得误差界中的最优常数是什么？它们如何依赖于 s 和 f' 的可积性？
• RQ5 Hölder 不等式技巧是否能有效应用于调和 s-凸性条件下，推导出更紧致的新界？

主要发现

• 本文为调和 s-凸函数建立了 Hermite-Hadamard 型不等式：2^{s-1} f(2ab/(a+b)) ≤ (ab/(b-a)) ∫_a^b f(x)/x² dx ≤ (f(a) + f(b))/(s+1)。
• 对于满足 |f'|^q 有界且 q > 1 的可微调和 s-凸函数，本文推导出一个含显式常数的 Ostrowski 型不等式，其中涉及 λ₁、λ₃ 及 f' 的 L^q 范数。
• 该不等式表达为 |f(x) - (ab/(b-a)) ∫_a^b f(u)/u² du| ≤ (ab/(b-a)) × { (λ₁)^{1/p} (x-a)^2 ( (|f'(x)|^q + |f'(a)|^q)/(s+1) )^{1/q} + (λ₃)^{1/p} (b-x)^2 ( (|f'(x)|^q + |f'(b)|^q)/(s+1) )^{1/q} }。
• 当 |f'(x)| ≤ M 时，不等式简化为 |f(x) - 调和积分| ≤ (ab/(b-a)) M (2/(s+1))^{1/q} { (λ₁)^{1/p} (x-a)^2 + (λ₃)^{1/p} (b-x)^2 }。
• 上界中的常数 1/(s+1) 被证明是最优的，推广了 s-凸函数情形下已知的最优性结果。
• 结果推广了经典的 Ostrowski 和 Hermite-Hadamard 不等式，在 s=1 时可恢复为这些经典情形。