[论文解读] On the generalization some intgeral inequalities and their applications

Mehmet Zeki Sarıkaya, Nesip Aktan|arXiv (Cornell University)|May 17, 2010

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

一句话总结

本文推导出凸函数的一般积分恒等式，并利用它建立关于二阶导数绝对值为凸函数的Simpson型与Hermite-Hadamard型新不等式。关键贡献在于提出一个统一框架，通过参数λ将中点、梯形与Simpson型不等式作为特例统一起来，且给出了涉及二阶导数绝对值Lq-范数的精确误差界。

ABSTRACT

In this paper, a general integral identity for convex functions is derived. Then, we establish new some inequalities of the Simpson and the Hermite-Hadamard's type for functions whose absolute values of derivatives are convex. Some applications for special means of real numbers are also provided.

研究动机与目标

• 推导凸函数的一般积分恒等式，以统一中点、梯形与Simpson型不等式。
• 在二阶导数绝对值为凸函数的条件下，建立求积法则的新误差界。
• 通过引入二阶导数的Lq-范数，推广现有关于Simpson与Hermite-Hadamard不等式的结果。
• 利用推导出的不等式，对实数的特殊均值提供应用。
• 统一并拓展文献中关于凸函数积分不等式的先前结果。

提出的方法

• 推导一个涉及参数λ ∈ [0,1] 的一般积分恒等式，通过核函数k(t)将f的积分与其在端点和中点的取值联系起来。
• 引入一个分段定义在[0,1/2]与[1/2,1]上的核函数k(t)，其形式依赖于λ，用于表达积分与求积近似之间的差异。
• 对积分表示式应用Hölder不等式，以Lq-范数形式界定误差。
• 利用|f''|的凸性，推导出涉及|f''(a)|^q与|f''(b)|^q加权组合的显式上界。
• 将一般不等式特化于λ = 0（中点）、λ = 1（梯形）与λ = 1/3（Simpson），以恢复已知与新的不等式。
• 将结果应用于特定凸函数（如f(x) = x^n，f(x) = 1/x），推导出算术、几何、调和、对数与对等均值等特殊均值的新不等式。

实验结果

研究问题

• RQ1 如何构建一个统一框架，以推广凸函数的Simpson与Hermite-Hadamard型不等式？
• RQ2 参数λ在单一积分恒等式中如何连接中点、梯形与Simpson法则？
• RQ3 二阶导数绝对值的Lq-范数如何影响求积近似中的误差界？
• RQ4 所推导的不等式能否用于建立实数特殊均值之间的新关系？
• RQ5 当|f''|为凸函数时，Simpson、中点与梯形法则的精确误差界是什么？

主要发现

• 凸函数的一般积分恒等式使得可通过参数λ统一推导求积法则的误差界。
• 当λ = 0时，恢复中点不等式，其误差界为：|∫ₐᵇ f(x)dx / (b−a) − f((a+b)/2)| ≤ (b−a)²/48 × [ (3|f''(a)|^q + 5|f''(b)|^q)/8 ]^{1/q} + [ (5|f''(a)|^q + 3|f''(b)|^q)/8 ]^{1/q}。
• 当λ = 1时，得到梯形不等式，其误差界为：|∫ₐᵇ f(x)dx / (b−a) − (f(a)+f(b))/2| ≤ (b−a)²/24 × [ (5|f''(a)|^q + 11|f''(b)|^q)/16 ]^{1/q} + [ (11|f''(a)|^q + 5|f''(b)|^q)/16 ]^{1/q}。
• 当λ = 1/3时，导出Simpson不等式，其误差界为：|(1/6)(f(a)+4f((a+b)/2)+f(b)) − ∫ₐᵇ f(x)dx / (b−a)| ≤ (b−a)²/162 × [ (59|f''(a)|^q + 133|f''(b)|^q)/(3·2⁶) ]^{1/q} + [ (133|f''(a)|^q + 59|f''(b)|^q)/(3·2⁶) ]^{1/q}。
• 建立了p-对数均值的不等式：|(1/3)A(aⁿ,bⁿ) + (2/3)Aⁿ(a,b) − Lₙⁿ(a,b)| ≤ n(n−1)(b−a)²/168 × (aⁿ⁻² + bⁿ⁻²)，其中n > 2。
• 对于倒调和均值与算术均值，通过在f(x) = 1/x上应用中点与梯形不等式，推导出|L⁻¹(a,b) − A⁻¹(a,b)|与|L⁻¹(a,b) − H⁻¹(a,b)|的界。