[論文レビュー] Ostrowski type inequalities for harmonically s-convex functions

İmdat Işcan|arXiv (Cornell University)|Jul 19, 2013

Mathematical Inequalities and Applications参考文献 8被引用数 14

ひとこと要約

本稿では、調和的s-凸関数を導入し、それらに対する新しいオストロフスキー型不等式を確立することで、古典的な積分近似境界を拡張する。調和的凸性の性質とホルダーの不等式を活用することで、関数値とその調和積分平均との乖離に対する鋭い境界を導出する。これは、ヘルメート＝ハダマールおよびオストロフスキーの不等式を、sおよび可積分性パラメータに依存する明示的な定数を伴うこの新しい関数クラスに一般化したものである。

ABSTRACT

The author introduces the concept of harmonically s-convex functions and establishes some Ostrowski type inequalities and Hermite-Hadamard type inequality of these classes of functions.

研究の動機と目的

• 調和的およびs-凸性の両方を一般化する、調和的s-凸関数と呼ばれる新しい関数クラスの定義とその考察を行う。
• 調和的s-凸関数に対してヘルメート＝ハダマール型不等式を確立し、調和積分平均の境界を提供する。
• 調和的s-凸関数に対して新しいオストロフスキー型不等式を導出し、点評価による調和積分の近似誤差を定量化する。
• パラメータs ∈ (0,1]と調和平均構造を組み込むことで、既存の文献における不等式を一般化する。
• 得られる不等式における鋭い定数を提供し、特殊な場合において既知の境界を改善する。

提案手法

• t ∈ [0,1]、x,y > 0、s ∈ (0,1] に対して不等式 f(xy/(tx + (1-t)y)) ≤ t^s f(y) + (1-t)^s f(x) を用いて、調和的s-凸関数を定義する。
• f(x)と調和積分平均との差を、調和平均構造を含むf'の重み付き積分として表すための重要な補題を用いる。
• 共役指数pとqを用いたホルダーの不等式を適用し、|f'|^qのs-凸性を活用して、得られた積分をバウンドする。
• t ∈ [0,1] におけるs-凸性条件の積分を用い、u = ab/(ta + (1-t)x) などの変数変換により調和積分に関連付ける。
• ∫₀¹ t^p / (ta + (1-t)x)^{2p} dt および類似の形の積分を用いて明示的な定数を計算し、λ₁、λ₃を補助関数として定義する。
• 等号成立条件の検証と既知のケース（例：s=1、s→0）との比較により、境界の鋭さを確立する。

実験結果

リサーチクエスチョン

• RQ1 s-凸性の概念を調和平均構造に適応させることで、新しい関数クラスを定義するにはどうすればよいか？
• RQ2 調和的s-凸関数の調和積分平均に対する鋭い境界は何か？
• RQ3 調和的s-凸関数に対するオストロフスキー型不等式は、古典的なオストロフスキーおよびヘルメート＝ハダマールの不等式とどのように比較できるか？
• RQ4 得られる誤差境界における最適な定数は何か？また、sおよびf'の可積分性にどのように依存するか？
• RQ5 ホルダーの不等式の技法は、調和的s-凸性条件の下で、新たな鋭い境界を効果的に導出するために有効に適用可能か？

主な発見

• 本稿では、調和的s-凸関数に対してヘルメート＝ハダマール型不等式を確立した：2^{s-1} f(2ab/(a+b)) ≤ (ab/(b-a)) ∫_a^b f(x)/x² dx ≤ (f(a) + f(b))/(s+1)。
• |f'|^qが有界でq > 1である微分可能な調和的s-凸関数に対して、λ₁、λ₃およびf'のL^qノルムを含む明示的な定数を伴うオストロフスキー型不等式を導出した。
• 不等式は |f(x) - (ab/(b-a)) ∫_a^b f(u)/u² du| ≤ (ab/(b-a)) × { (λ₁)^{1/p} (x-a)^2 ( (|f'(x)|^q + |f'(a)|^q)/(s+1) )^{1/q} + (λ₃)^{1/p} (b-x)^2 ( (|f'(x)|^q + |f'(b)|^q)/(s+1) )^{1/q} } として表される。
• |f'(x)| ≤ M のとき、不等式は |f(x) - 調和積分| ≤ (ab/(b-a)) M (2/(s+1))^{1/q} { (λ₁)^{1/p} (x-a)^2 + (λ₃)^{1/p} (b-x)^2 } に簡略化される。
• 上界における定数1/(s+1)が最良であることが示され、s-凸関数に対する既知の鋭さの結果を一般化している。
• 結果は古典的なオストロフスキーおよびヘルメート＝ハダマールの不等式を一般化し、s=1の特殊ケースとしてそれらを回復する。