[論文レビュー] Some Simpson type inequalities for h-convex and (\alpha,m)-convex functions

Wenjun Liu|arXiv (Cornell University)|Oct 15, 2012

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

ひとこと要約

本稿では、関数の3階微分の絶対値が h-凸または (α,m)-凸である場合に、積分恒等式と Hölder の不等式を用いて、新しいシンプソン型不等式を確立している。これは s-凸および m-凸関数に対する既存の結果を一般化し、より広範な凸性条件のもとでシンプソン求積法の誤差をより厳密に評価することを可能にする。

ABSTRACT

In this paper, we establish some Simpson type inequalities for functions whose third derivatives in the absolute value are h-convex and (\alpha,m)-convex, respectively.

研究の動機と目的

• 古典的凸性を越えた一般化された凸性仮定の下で、シンプソン求積公式の新たな誤差境界を導出すること。
• s-凸および m-凸関数のための既存のシンプソン型不等式の結果を、h-凸および (α,m)-凸関数というより広範なクラスへ拡張すること。
• 3階微分が一般化された凸性条件を満たす場合の数値積分における誤差推定の統一的枠組みを提供すること。
• s-凸および m-convex関数に対する既知の不等式を、h-凸および (α,m)-凸の枠組みを導入することで一般化すること。
• 積分恒等式および Hölder の不等式やべき平均不等式といった古典的不等式を用いて、鋭い誤差推定を確立すること。

提案手法

• f の積分とそのシンプソン近似との差を3階微分で表す積分恒等式を [2] から利用する。
• L1ノルムの積の上界を求めるために Hölder の不等式を適用する。
• h-凸性条件 |f'''(tx + (1-t)y)| ≤ h(t)|f'''(x)| + h(1-t)|f'''(y)| を用いて、積分内での3階微分を上から抑える。
• (α,m)-凸性条件 |f'''(tx + m(1-t)y)| ≤ t^α |f'''(x)| + m(1-t^α) |f'''(y)| を (α,m)-凸の場合に適用する。
• q > 1 の場合に代替的な上界を導くためにべき平均不等式を用いることで、より精緻な推定が得られる。
• t^α および (1-t^α) を含む単項式の明示的積分を実行し、誤差境界に現れる定数を評価する。

実験結果

リサーチクエスチョン

• RQ1 3階微分が h-凸である関数に対して、シンプソン型不等式をどのように一般化できるか？
• RQ2 3階微分が標準的凸性ではなく (α,m)-凸性を満たす場合、どのような誤差境界が得られるか？
• RQ3 h(t) = t^s または α=1 のとき、新しい不等式は既知の結果（例：s-凸または m-凸関数）にどのように還元されるか？
• RQ4 積分表現におけるカーネル関数 p(t) はシンプソン誤差の表現において果たす役割は何か？
• RQ5 誤差境界に現れる定数は、パラメータ h(t)、α、m にどのように依存するか？

主な発見

• 本稿では、h-凸関数に対する新しいシンプソン型不等式を導出し、誤差境界が (b−a)^4/6 に t^2(1/2−t)h(t) および h(1−t) の積分を重み付けした |f'''(a)| および |f'''(b)| で表される。
• h(t) = t^s のとき、不等式は [14] の定理 A に還元され、既知の s-凸の場合が回復される。
• (α,m)-凸関数の場合、誤差境界は (mb−a)^4/96 にガンマ関数と α および m に依存する定数を含む項を乗じた形で与えられる。
• (α,m)-凸関数の境界には、|f'''(a)|^q および |f'''(b)|^q が 2^α(1+α) および (2^{1+α}−1) に依存する係数でスケーリングされた項が含まれる。
• べき平均不等式を用いて導出された定理 5 の不等式は、特に α ∈ (0,1) の場合に、定理 4 よりもより精緻な上界を与える。
• α=1 かつ m=1 のとき、(α,m)-凸の境界は [14] で研究された m-凸の場合に還元され、先行研究と整合性が確認される。