[论文解读] Some Ostrowski's Type Inequalities for Functions whose Second Derivatives are s-Convex in the Second Sense and Applications

Erhan Set, Mehmet Zeki Sarıkaya+1 more|arXiv (Cornell University)|Jun 12, 2010

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

一句话总结

本文针对二阶导数为第二类s-凸函数的二阶可导函数，利用积分恒等式与s-凸性性质，建立了新的Ostrowski型不等式。主要贡献在于给出了涉及二阶导数L1-范数的精确界，其应用涵盖算术平均、对数平均与对等平均等特殊均值，尤其适用于幂函数与对数函数。

ABSTRACT

Some new inequalities of Ostrowski type for twice differentiable mappings whose derivatives in absolute value are s-convex in the second sense are given.Applications for special means are also provided.

研究动机与目标

• 推导二阶导数为第二类s-凸函数的Ostrowski型积分不等式。
• 将经典的Ostrowski与Hadamard型不等式推广至第二类s-凸函数类。
• 在考虑二阶导数s-凸性的前提下，对函数值与积分均值之间的偏差提供定量界。
• 将所导不等式应用于正实数的特殊均值，如算术平均、对数平均与对等平均。
• 通过假设二阶导数的s-凸性，建立数值积分规则的误差估计。

提出的方法

• 利用分部积分法推导积分恒等式，将函数值与积分均值之间的差值表示为含线性校正项的形式。
• 应用|f''|的s-凸性性质，通过|f''(a)|、|f''(b)|与|f''(x)|的加权平均来界定所得积分。
• 利用Hölder不等式与幂平均估计，在二阶导数Lq-可积性假设下推导Lp型界。
• 通过变量替换u = tx + (1-t)a与u = tx + (1-t)b，将积分转化为[0,1]上的参数形式。
• 将所得界应用于特定函数如f(x) = x^s与f(x) = ln x，推导特殊均值的不等式。
• 利用所导误差界建立广义对数平均L_s、算术平均A与对等平均I之间的不等式。

实验结果

研究问题

• RQ1 当二阶导数为第二类s-凸函数时，Ostrowski型误差的最优界是什么？
• RQ2 如何利用|f''|的s-凸性来估计积分均值逼近误差？
• RQ3 这些不等式对算术平均A、对等平均I与L_s等特殊均值有何影响？
• RQ4 当引入额外的可积性（Lp）或凸性（s-凸性）假设时，界如何变化？
• RQ5 这些不等式能否用于推导对数平均与算术平均差值的新估计？

主要发现

• 本文建立了s-凸二阶导数的精确Ostrowski型不等式：| (1/(b-a))∫ₐᵇ f(u)du - f(x) + (x - (a+b)/2)f'(x) | ≤ (1/(2(b-a))) × { [ (|f''(x)|)/(s+3) + 2|f''(a)|/((s+1)(s+2)(s+3)) ] (x-a)³ + [ (|f''(x)|)/(s+3) + 2|f''(b)|/((s+1)(s+2)(s+3)) ] (b-x)³ }，其中x ∈ [a,b]。
• 对于中点法则，当x = (a+b)/2时，该界简化为 | (1/(b-a))∫ₐᵇ f(u)du - f((a+b)/2) | ≤ (1/24)(b-a)² × max{|f''(a)|, |f''(b)|} × (s² + 3s + 4)/((s+1)(s+2)(s+3))。
• 当f(x) = x^s在[a,b]上时，不等式给出 |L_s^s(a,b) - A^s| ≤ (M(b-a)²/8) × (s² + 3s + 4)/((s+1)(s+2)(s+3))，其中s ∈ (0,1)，且M = max{|f''(a)|, |f''(b)|}。
• 对于f(x) = ln x，不等式给出 |ln I - ln A| ≤ (2^{(s-1)/q}(b-a)²)/((2p+1)^{1/p}) × [1/(3a+b)² + 1/(a+3b)²]，其中p > 1，q > 1，且1/p + 1/q = 1。
• 利用Hölder不等式，本文推导出包含(2p+1)^{-1/p}与(2/(s+1))^{1/q}的界，得到 |L_s^s(a,b) - A^s| ≤ (M/(8(2p+1)^{1/p})) × (2/(s+1))^{1/q} × (b-a)²。
• 常数(s² + 3s + 4)/((s+1)(s+2)(s+3))在s-凸性背景下被证明是最优的，且当s = 1时，该界退化为已知情形。