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

İmdat Işcan|arXiv (Cornell University)|Mar 25, 2013

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

ひとこと要約

本稿では、調和的凸関数を導入し、古典的不等式における算術平均を調和平均に置き換えることで、新しいHermite-Hadamard型積分不等式を確立する。主な結果は、関数値の調和平均と重み $ x^{-2} $ を持つ積分変換の間の二重不等式であり、これは古典的凸性の結果を正の実数の特殊平均への応用を含む、新たな関数クラスに一般化する。

ABSTRACT

The author introduce the concept of harmonically convex functions and establish some Hermite-Hadamard type inequalities of these classes of functions

研究の動機と目的

• ゼロを除く区間における調和的凸関数のクラスを定義し、その性質を調査すること。
• 調和的凸関数に対して新しいHermite-Hadamard型積分不等式を確立すること。
• 関数不等式枠組みにおいて、算術平均を調和平均に置き換えることで、古典的積分不等式を拡張すること。
• 新しい不等式を用いて、算術平均、調和平均、対数平均、対数的平均などの特殊平均の境界を導出すること。
• Hölderの不等式を用いて、調和的凸関数の導関数を含む積分の鋭い境界を提供すること。

提案手法

• 関数 $ f\left(\frac{xy}{tx + (1-t)y}\right) \leq t f(y) + (1-t) f(x) $ による調和的凸関数の定義を導入し、$ t \in [0,1] $ および $ x,y \in I \subset \mathbb{R} \setminus \{0\} $ を満たす。
• 置換と $ t \in [0,1] $ における積分を用いて、主不等式 $ f\left(\frac{2ab}{a+b}\right) \leq \frac{ab}{b-a} \int_a^b \frac{f(x)}{x^2} dx \leq \frac{f(a)+f(b)}{2} $ を導出する。
• 部分積分を用いて、関数値の平均と重み付き積分の差の表現補題を確立する。
• 導関数が調和的凸である場合に、Hermite-Hadamard不等式の誤差項をHölderの不等式を用いて境界付ける。
• 置換 $ x = \frac{ab}{tb + (1-t)a} $ を用いて積分を変換し、調和的凸性の構造を活用する。
• 定数 $ \lambda_1, \lambda_2, \lambda_3 $ および $ \mu_1, \mu_2 $ を用いた明示的境界を導出し、これらは $ a, b, q $ および $ p $ に依存し、$ q \geq 1 $ および $ \frac{1}{p} + \frac{1}{q} = 1 $ を満たす。

実験結果

リサーチクエスチョン

• RQ1 調和的凸関数の定義と特徴は何か？また、標準的凸関数とはどのように異なるか？
• RQ2 古典的Hermite-Hadamard不等式は、調和平均を用いて調和的凸関数にどのように再定式化できるか？
• RQ3 関数 $ f $ が調和的凸であるとき、積分 $ \frac{ab}{b-a} \int_a^b \frac{f(x)}{x^2} dx $ の鋭い境界は何か？
• RQ4 $ |f'|^q $ が区間 $[a,b]$ で調和的凸であるとき、$ f(a) $ と $ f(b) $ の平均と重み付き積分の差の境界はどのように導出できるか？
• RQ5 新しいHermite-Hadamard型不等式から、正の実数の特殊平均に関する新たな不等式は何か？

主な発見

• すべての調和的凸関数 $ f $ に対して、不等式 $ f\left(\frac{2ab}{a+b}\right) \leq \frac{ab}{b-a} \int_a^b \frac{f(x)}{x^2} dx \leq \frac{f(a)+f(b)}{2} $ が $ (0,\infty) $ 上で成り立ち、定数関数 $ f(x) = 1 $ を用いてその鋭さが示されている。
• 微分可能な調和的凸関数で、$ |f'|^q $ が $[a,b]$ 上で調和的凸である場合（$ q \geq 1 $）、Hermite-Hadamard不等式の誤差は $ \lambda_1^{1-1/q} \left[ \lambda_2 |f'(a)|^q + \lambda_3 |f'(b)|^q \right]^{1/q} $ を含む式で境界付けられ、$ \lambda_1, \lambda_2, \lambda_3 $ の明示的公式が得られている。
• $ q > 1 $ かつ $ \frac{1}{p} + \frac{1}{q} = 1 $ の場合、誤差境界は $ \left(\frac{1}{p+1}\right)^{1/p} $ および定数 $ \mu_1, \mu_2 $ を用いてさらに精緻化され、これらは積分とHölderの不等式を用いて導出される。
• $ f(x) = x $ を用いて $ H \leq \frac{G^2}{L} \leq A $ が証明され、調和平均が幾何平均の平方と対数平均の比によって境界づけられていることが示された。
• $ f(x) = x^2 $ を用いて主結果を適用することで $ H^2 \leq G^2 \leq A(a^2, b^2) $ が得られ、このフレームワークがべき平均への応用の有効性を示している。
• $ f(x) = x^{p+2} $ で $ p \in (-1, \infty) \setminus \{0\} $ の場合、不等式 $ H^{p+2} \leq G^2 L_p^p \leq A(a^{p+2}, b^{p+2}) $ が確立され、この方法が特殊平均の間の不等式を導出する一般性を持つことが示された。