[論文レビュー] New integral inequalities via $(α,m)$-convexity and quasi-convexity

Wenjun Liu|arXiv (Cornell University)|Jan 25, 2012

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

ひとこと要約

本稿では、ホルダーの不等式とベータ関数を用いて、$(\alpha,m)$-凸関数および準凸関数に対する新しい積分不等式を確立する。既存の$m$-凸および準凸関数に関する結果を一般化し、パラメータ化された凸性クラスを用いることで、べき乗重み付き核を伴う積分に対してより鋭い境界を提供する。

ABSTRACT

In this paper, we establish some new integral inequalities for $(α, m)-$convex functions and quasi-convex functions, respectively. Our results in special cases recapture known results.

研究の動機と目的

• 既存の$m$-凸および準凸関数に関する積分不等式を、より広範な$(\alpha,m)$-凸関数のクラスへと拡張すること。
• $(\alpha,m)$-凸性および準凸性の仮定の下で、形式$\int_a^b (x-a)^p (b-x)^q f(x)\,dx$の重み付き積分に対する新しい境界を導出すること。
• 特に、オズデミルら[20]の研究から得られる結果を、パラメータ$\alpha$および$m$を組み込むことによって一般化・統一すること。
• 連続性およびルベーグ可積分性の最小限の正則性仮定の下で、ベータ関数およびホルダーの不等式を用いて鋭い推定値を提供すること。

提案手法

• 置換$x = ta + (1-t)b$を用いて、重み付き積分を$[0,1]$上での標準形に変換するため、補題1.1を用いる。
• 関数$f$の$L^p$ノルムを制御するため、共役指数$k$および$\frac{k}{k-1}$を用いたホルダーの不等式を適用する。
• 累乗関数の積分を評価するために、オイラーのベータ関数$\beta(x,y) = \int_0^1 t^{x-1}(1-t)^{y-1} dt$を用いる。
• $|f|^l$または$|f|^{k/(k-1)}$の準凸性または$(\alpha,m)$-凸性を用いて、点ごとの値を$\max\{|f(a)|, |f(b)|\}$または$f(a/m)$、$f(b/m)$を含む組み合わせによって上から抑える。
• ベータ関数と端点およびスケーリングされた点における関数値を含む式の最小化または最大化によって境界を導出する。
• 準凸関数では$f(tx + (1-t)y) \leq \max\{f(x), f(y)\}$が成り立ち、$(\alpha,m)$-凸関数では$f(tx + m(1-t)y) \leq t^\alpha f(x) + m(1-t^\alpha)f(y)$が成り立つという性質を応用する。

実験結果

リサーチクエスチョン

• RQ1 $m$-凸関数に関する積分不等式は、どのように$(\alpha,m)$-凸の設定へと一般化できるか？
• RQ2 関数$f$が$(\alpha,m)$-凸であるとき、重み付き積分$\int_a^b (x-a)^p (b-x)^q f(x)\,dx$の最適な境界は何か？
• RQ3 関数$f$が僅かに準凸である場合、境界はどのように変化するか？また、$m$-凸関数の場合の境界と比較するとどうなるか？
• RQ4 結果をベータ関数およびホルダーの不等式を用いて表現することで、鋭くパrameter化された推定値を得られるか？
• RQ5 パrameter$\alpha=1$または$m=1$の極限状態ではどうなるか？また、それらは既存の文献における既知の不等式をどのように回復するか？

主な発見

• 定理2.3は、$f$が$(\alpha,m)$-凸関数である場合に、$\int_a^b (x-a)^p (b-x)^q f(x)\,dx$の鋭い上界を与える。この境界はベータ関数および$f(a), f(b), f(a/m), f(b/m)$のノルムを含む。
• 関数$|f|^l$が$m$-凸（すなわち$\alpha=1$）である場合、系2.5では境界が$\beta(q+2,p+1)|f(a)|^l + m\beta(q+1,p+2)|f(b/m)|^l$の形に簡略化され、スケーリングされた関数値に依存することが示される。
• 定理3.1は、$|f|^{k/(k-1)}$が準凸である場合の境界を確立する：$\int_a^b (x-a)^p (b-x)^q f(x)\,dx \leq (b-a)^{p+q+1} \left[\beta(kq+1,kp+1)\right]^{1/k} \left(\max\{|f(a)|^{k/(k-1)}, |f(b)|^{k/(k-1)}}\right)^{(k-1)/k}$。
• 定理3.2は、$|f|^l$が準凸である場合の境界を与える：$\int_a^b (x-a)^p (b-x)^q f(x)\,dx \leq (b-a)^{p+q+1} \beta(p+1,q+1) \left(\max\{|f(a)|^l, |f(b)|^l\}\right)^{1/l}$。これは従来の推定よりも鋭い。
• 系3.1は、$f$が単調である場合、境界が$f(a)$または$f(b)$に簡略化されることを示し、端点支配の役割を強調する。
• 結果は、$\alpha=1$かつ$m=1$のとき、オズデミルら[20]の定理1.4および1.5を特別な場合として回復する。これにより、一貫性および一般化の妥当性が確認される。