[论文解读] New Inequalities Of Hermite-Hadamard Type For Convex Functions With Applications

Havva Kavurmacı, Merve Avcı+1 more|arXiv (Cornell University)|Jun 8, 2010

Mathematical Inequalities and Applications被引用 17

一句话总结

本文通过积分恒等式与 Hölder 不等式，为绝对第一阶导数为凸函数的可微凸函数建立了新的 Hermite-Hadamard 型不等式。核心贡献在于利用基于导数范数的改进凸性边界，对数值积分中的梯形法则给出了更精确的误差界。

ABSTRACT

In this paper, some new inequalities of the Hermite-Hadamard type for functions whose modulus of the derivatives are convex and applications for special means are given. Finally, some error estimates for the trapezoidal formula are obtained.

研究动机与目标

• 推导可微函数的新型 Hermite-Hadamard 型积分不等式，其绝对导数为凸函数。
• 利用 |f′| 的凸性，改进现有梯形法则在数值积分中的误差界。
• 将新不等式应用于算术平均与对数平均等特殊均值。
• 在弱于以往研究的光滑性假设下，提供更紧致的求积法则误差估计。

提出的方法

• 推导一个含参数 x ∈ [a,b] 的新积分恒等式，表达 f(a)、f(b) 的加权平均与积分平均之间的差值。
• 应用 Hölder 不等式与 |f′| 的凸性，对积分恒等式中的余项进行界定。
• 利用幂平均与 Hölder 型不等式，推导依赖于 |f′| 的 p 和 q 范数的边界。
• 将主不等式应用于特定函数如 f(x) = xⁿ 与 f(x) = 1/x，以推导特殊均值的显式估计。
• 通过求和局部误差界，将结果推广至 [a,b] 划分下的复合梯形法则。
• 在 |f′|^{p/(p−1)} 为凸或 |f′|^q 为凹的假设下，建立梯形公式的误差估计。

实验结果

研究问题

• RQ1 如何为第一阶导数绝对值为凸函数的函数，推导新的 Hermite-Hadamard 型不等式？
• RQ2 利用 |f′| 的凸性，能否获得比现有方法更紧致的梯形法则误差界？
• RQ3 与 Dragomir 和 Agarwal (1998) 或 Kırmacı 等人 (2003) 的结果相比，这些新边界有何差异？
• RQ4 新不等式能否用于推导算术平均 A(a,b)、对数平均 L(a,b) 与 A(a⁻¹,b⁻¹) 等特殊均值的显式估计？
• RQ5 当 |f′|^q 为凹函数或 |f′|^{p/(p−1)} 为凸函数时，误差估计中的最优常数是什么？

主要发现

• 建立了一个新不等式：对 x ∈ [a,b]，加权平均 (b−x)f(b)+(x−a)f(a))/(b−a) 与积分平均之间的误差，被包含 |f′(x)|、|f′(a)| 与 |f′(b)| 的 (x−a)² 与 (b−x)² 项组合所界定。
• 当 x = (a+b)/2 时，该界简化为 |(f(a)+f(b))/2 − 1/(b−a)∫ₐᵇ f(u)du| ≤ (b−a)/12 (|f′(a)| + |f′((a+b)/2)| + |f′(b)|)，优于经典的 1/8 界。
• 对于 f(x) = xⁿ (|n| ≥ 2)，不等式可导出算术平均与幂平均的显式估计，误差项涉及 A(|a|ⁿ⁻¹, |b|ⁿ⁻¹)。
• 对于 f(x) = 1/x (x ≠ 0)，不等式可提供调和平均与对数平均之间差值的界，误差项与 A(|a|⁻², |b|⁻²) 成比例。
• 对于划分 d 的梯形法则，当 |f′|^{p/(p−1)} 为凸函数时，误差被界定为 (1/(p+1))¹ᐟᵖ (1/2)¹ᐟᑫ ∑(xᵢ₊₁−xᵢ)²/2 (|f′(xᵢ)| + |f′(xᵢ₊₁)|)。
• 在 |f′|^q 为凹函数的假设下，误差界变为 ( (q−1)/(2q−1) )^{(q−1)/q} ∑(xᵢ₊₁−xᵢ)²/4 (|f′((3xᵢ+xᵢ₊₁)/4)| + |f′((xᵢ+3xᵢ₊₁)/4)|)，相比先前结果提供了更紧致的估计。