[论文解读] An Inequality of Ostrowski Type via Pompeiu's Mean Value Theorem

Sever S Dragomir|ArXiv.org|May 16, 2003

Mathematical Inequalities and Applications被引用 9

一句话总结

本文提出了一种新型Ostrowski型不等式，用于绝对连续函数的积分均值，使用Pompeiu的中值定理替代经典的Cauchy中值定理。主要贡献在于一个涉及 |f(x) - x f'(x)| 上确界的精确界，该界导致了求积规则误差估计的改进，并为对数均值、对等均值和幂均值等特殊均值得到了新的不等式。

ABSTRACT

An inequality providing some bounds for the integral mean via Pompeiu's mean value theorem and applications for quadrature rules and special means are given.

研究动机与目标

• 通过Pompeiu中值定理推导绝对连续函数积分均值的新型Ostrowski型不等式。
• 通过用Pompeiu方法替代Cauchy中值定理，改进数值积分（求积规则）中的误差界。
• 利用推导出的积分界建立关于特殊均值（对数均值、对等均值、幂均值）的新不等式。
• 在可获得局部导数信息时，提供函数值与其积分均值之间偏差的更紧致估计。
• 通过引入加权范数和基于Pompeiu定理的中值结构，推广现有的Ostrowski型不等式结果。

提出的方法

• 将Pompeiu中值定理应用于函数 f(x) - x f'(x)，通过变换 t ↦ 1/t 推导出一个中值恒等式。
• 推导出一个一般不等式（定理6），以 ||f - ℓ f'||∞ 和区间长度为参数，界定了 |f(x) - 1/(b-a) ∫ₐᵇ f(t) dt|。
• 利用Pompeiu定理的恒等式，将积分均值误差表示为涉及函数及其导数的加权和。
• 将结果应用于数值积分中的中点法则，推导出包含 ∑ hᵢ² / (xᵢ + xᵢ₊₁) 的余项估计。
• 通过选择特定测试函数（如 f(t) = tᵖ, f(t) = 1/t, f(t) = ln t）并代入主不等式，建立对特殊均值的界。
• 将 |f(x) - x f'(x)| 在 [a,b] 上的上确界范数作为误差估计中的关键控制参数。

实验结果

研究问题

• RQ1 如何利用Pompeiu中值定理推导函数值与其积分均值之间偏差的新界？
• RQ2 用Pompeiu定理替代Cauchy中值定理后，求积误差估计可实现哪些改进？
• RQ3 新不等式能否对经典的特殊均值（如对数均值、对等均值和幂均值）给出更紧的界？
• RQ4 当 x 接近 [a,b] 的中点或端点时，f' 的局部行为如何影响误差界？
• RQ5 对于满足 |f(x) - x f'(x)| 有界的函数，新界对中值不等式有何含义？

主要发现

• 主不等式（定理6）提供了精确界：当 x = (a+b)/2 时，|f(x) - 1/(b-a) ∫ₐᵇ f(t) dt| ≤ (b-a)/(2(a+b)) ||f - ℓ f'||∞。
• 对于中点法则，余项满足 |Rₙ| ≤ (||f - ℓ f'||∞ / 4a) ∑ hᵢ²，改进了收敛性估计。
• 对于 f(t) = tᵖ (p ≠ -1,0)，不等式给出 |Aᵖ(a,b) - Lᵖ(a,b)| ≤ (1/4) × [(1-p)aᵖ / A(a,b)](b-a)（当 p < 0 时），对 p > 0 也有类似界。
• 对于 f(t) = 1/t，结果表明 0 ≤ A(a,b) - L(a,b) ≤ (b-a)/(2a) L(a,b)，改进了已知的均值不等式。
• 对于 f(t) = ln t，该界导出 1 ≤ A(a,b)/I(a,b) ≤ exp{ (b-a)/(4A(a,b)) × max{|ln(a/e)|, |ln(b/e)|} }，为算术平均与对等均值之比提供了新的指数估计。
• 界中常数 1/4 是最优的，证实其不可被更小的值替代。