[論文レビュー] New Ostrowski type inequalities for m-convex functions and applications

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

Mathematical Inequalities and Applications参考文献 12被引用数 22

ひとこと要約

本稿では、絶対値の導関数が m-凸である関数に対する新しいオストロフスキー型不等式を、ホルダーの不等式およびべき乗平均の不等式を用いて確立する。主な貢献は、m-凸性の下での中点求積公式に対する鋭い誤差評価であり、正の実数の特殊平均および数値積分における誤差推定値の改善への応用を含む。

ABSTRACT

In this paper, we establish new inequalities of Ostrowski type for functions whose derivatives in absolute value are m-convex. We also give some applications to special means of positive real numbers. Finally, we obtain some error estimates for the midpoint formula.

研究の動機と目的

• 絶対値の導関数が m-凸である関数に対する新しいオストロフスキー型不等式を導出すること。
• オストロフスキーおよびエルミート・アダマールの不等式に関する既存の結果を m-凸の設定に拡張すること。
• m-凸性を用いて、数値積分における中点公式の誤差推定値を提供すること。
• 導出された不等式を、対数平均や同一平均などの正の実数の特殊平均に応用すること。
• リプシッツ連続および凸写像に関する以前の結果を、より広いクラスの m-凸関数に一般化すること。

提案手法

• パラメータ化されたカーネルを含む修正された積分恒等式（補題7）を用い、関数値とその積分平均との差を表現する。
• m-凸性の下で |f′|q に対してホルダーの不等式およびべき乗平均の不等式を適用し、得られた積分表現を評価する。
• m-凸性の定義を用いる：t ∈ [0,1]、m ∈ (0,1] に対して f(tx + m(1−t)y) ≤ tf(x) + m(1−t)f(y)。
• 対称区間における |f′(x)|q の最小関数形を用いて評価値を導出する。この際、パrameter m を組み込む。
• 主不等式を分割 d の部分区間に適用し、中点求積公式における誤差を推定する。
• 恒等式 ∫ₐᵇ f(x)dx = M(f,d) + E(f,d) を用い、誤差項 E(f,d) を導出された評価値に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 絶対値の導関数が m-凸である関数に対して、オストロフスキー型不等式をどのように一般化できるか？
• RQ2 |f′|q が m-凸であるとき、中点公式の最適な誤差評価は何か？
• RQ3 導出された不等式は、正の実数の特殊平均とどのように関係するか？
• RQ4 m-凸性の下で、既存の数値積分の誤差推定値を改善できるか？
• RQ5 パrameter m は、エルミート・アダマール型やオストロフスキー型の古典的不等式をどのように精緻化するか？

主な発見

• m-凸関数に対する新しいオストロフスキー型不等式が確立された：|f((a+b)/2) − (1/(b−a))∫ₐᵇ f(x)dx| ≤ (b−a)/4 × (μ₁¹ᐟᑫ + μ₂¹ᐟᑫ)，ここで μ₁ および μ₂ は |f′|q の値の対称的組み合わせの最小値である。
• 対数平均に対して、|ln(I(a+1,b+1)/(A(a,b)+1))| ≤ (b−a)/4 × (η₁¹ᐟᑫ + η₂¹ᐟᑫ) が得られ、η₁ および η₂ は特定の有理式で定義される。
• 中点誤差評価が改善された：|E(f,d)| ≤ (1/4)∑(xᵢ₊₁−xᵢ)²(μ₁¹ᐟᑫ + μ₂¹ᐟᑫ)，ここで μ₁ および μ₂ は端点および中点における |f′|q の対称的平均値である。
• 代替的な誤差評価が導出された：|E(f,d)| ≤ (3¹⁻¹ᐟᑫ/8)∑(xᵢ₊₁−xᵢ)²(|f′(xᵢ)| + |f′(xᵢ₊₁)|)，これは |f′|q が 1-凸である場合に有効である。
• m-凸性パラメータを導入することで、以前の凸関数およびリプシッツ連続関数に対する不等式が一般化された。
• 特殊平均への応用により、m ∈ (0,1] のとき、古典的推定値よりも tighter な評価が得られることを示した。