[論文レビュー] Hermite-Hadamard type inequalities for harmonically convex functions on the co-ordinates

Erhan Set, İmdat Işcan|arXiv (Cornell University)|Apr 25, 2014

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

ひとこと要約

本稿では、2次元区間における座標上の調和的凸関数を導入し、積分表現と Hölder 不等式を用いて、これらの関数に対する新しい Hermite-Hadamard 型不等式を確立する。主な貢献は、変数の調和平均と2階偏微分を含む鋭い二重積分不等式であり、Gauss超幾何関数を用いて表現される。

ABSTRACT

In recent years, new classes of convex functions have been introduced in order to generalize the results and to obtain new estimations. We also introduce the concept of harmonically convex functions on the co-ordinates. Also, we establish some inequalities of Hermit-Hadamard type as S.S. Dragomir' s results in Theorem 2 and other Hermit-Hadamard type inequalities for these classes of functions.

研究の動機と目的

• 座標上での関数に対して調和的凸性の概念を2変数関数に拡張すること。
• 座標上の調和的凸関数に対する新しい Hermite-Hadamard 型不等式を確立すること。
• 2階偏微分と特殊関数を組み合わせることで、既存の積分不等式を精緻化すること。
• 超幾何関数を用いて、調和的凸関数を含む二重積分の鋭い境界を提供すること。
• 単変数の調和的凸性に関する結果を座標上での2変数設定に一般化すること。

提案手法

• 各変数において調和的凸である部分写像を用いて、座標上の調和的凸関数を定義する。
• 調和平均に基づく変数変換を用いる：$ x \to \frac{ab}{A_t} $, $ y \to \frac{cd}{B_s} $, ここで $ A_t = ta + (1-t)b $, $ B_s = sc + (1-s)d $。
• パラメータ化された調和平均を用いて、二重積分 $ \int_a^b \int_c^d \frac{f(x,y)}{(xy)^2} \, dx\,dy $ の表現を導出する。
• Hölder 不等式を適用して、積分平均と境界値の平均との差を評価する。
• Gauss 超幾何関数 $ {}_2F_1 $ を用いて境界を表現する。特に $ {}_2F_1(2q,1;2;1 - a/b) $ および類似の形。
• 積分恒等式 $ |(1-2t)(1-2s)|^p $ と $ (A_t B_s)^{-2q} $ を用いて、最終的な不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 調和的凸性の概念を座標上の2変数関数にどのように拡張できるか。
• RQ2 座標上の調和的凸関数に対してどのような Hermite-Hadamard 型不等式が導けるか。
• RQ3 この文脈において2階偏微分は二重積分の境界にどのように影響するか。
• RQ4 Gauss 超幾何関数は、これらの積分の鋭い境界を表現する際に果たす役割は何か。
• RQ5 Hölder 不等式は、座標上の調和的凸性の文脈で、新たな推定を導出するために効果的に適用可能か。

主な発見

• 本稿では、変数の調和平均を含む鋭い Hermite-Hadamard 型不等式を、座標上の調和的凸関数に対して確立する。
• 境界は、角における関数値の組み合わせと、$ f(x,y)/(xy)^2 $ の二重積分との組み合わせであり、余剰項は $ |(1-2t)(1-2s)|^p $ の二重積分によって制御される。
• 最終的な不等式は、$ \frac{abcd(b-a)(d-c)}{4bd(p+1)^{2/p}} $ に比例する項によって上界が与えられ、これは $ (A_t B_s)^{-2q} $ と2階偏微分の $ q $ 乗の積分によってスケーリングされる。
• 具体的な超幾何関数の恒等式が導出される：$ \int_0^1 \int_0^1 (A_t B_s)^{-2q} ts \, dt\,ds = \frac{1}{4(bd)^{2q}} {}_2F_1(2q,1;2;1 - a/b) \times {}_2F_1(2q,1;2;1 - c/d) $。
• 他の3つの角重み付き項に対しても類似の式が得られ、$ {}_2F_1(2q,2;3;1 - a/b) $ および $ {}_2F_1(2q,1;2;1 - c/d) $ などの形を取る。
• 結果として、古典的な Hermite-Hadamard 不等式が、特殊関数の明示的使用と鋭い定数を伴って、座標上の調和的凸性への一般化がなされた。