[論文レビュー] On Some New Hermite-Hadamard type inequalities for s-geometrically convex functions

İmdat Işcan|arXiv (Cornell University)|Apr 1, 2013

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

ひとこと要約

本稿は、導関数と対数平均変換を含む積分恒等式を用いて、s-幾何的凸関数に対する新しいエルミート・ハダマール型積分不等式を確立する。主な貢献は、端点の幾何平均における関数値の幾何平均と積分平均との間の鋭い不等式の関係であり、正の実数の特殊平均への応用を含む。

ABSTRACT

In this paper, some new integral inequalities of Hermite-Hadamard type related to the s-geometrically convex functions are established and some applications to special means of positive real numbers are also given.

研究の動機と目的

• s-幾何的凸関数に対するエルミート・ハダマール型の新しい積分不等式を導出すること。
• 一般化凸性を導入するためのsパラメータを組み込むことで、幾何的凸関数に関する既知の結果を拡張すること。
• 対数平均と関数の幾何平均を含む鋭い不等式を確立すること。
• 導出された不等式を、算術平均、幾何平均、対数平均、およびp-対数平均を含む正の実数の特殊平均に応用すること。
• s-幾何的凸性を用いて、幾何平均の平方と積分平均を含む式の境界を提供すること。

提案手法

• 幾何平均および対数変換を含む部分積分と変数変換を用いた積分恒等式を導出する。
• t ∈ [0,1] に対して、f(a^{1-t}(ab)^{t/2}) および f(b^{1-t}(ab)^{t/2}) を含むパラメータ化された積分表現を導入する。
• s-幾何的凸性の定義を適用：s ∈ (0,1] に対して、f(x^λ y^{1-λ}) ≤ f(x)^{λ^s} f(y)^{(1-λ)^s} が成り立つ。
• 導関数 |f'(x)|^q に対する L^q 範囲および最大値の境界を用いて、積分の剰余項を推定する。
• 既知の平均不等式（算術、幾何、対数、p-対数）を適用して、定量的境界を導出する。
• q ≥ 1 および q > 1 の異なる範囲の仮定に基づき、異なる上界を与える2つの主要な定理（定理1および定理2）を確立する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、s-幾何的凸関数に対するエルミート・ハダマール型不等式を一般化できるか？
• RQ2 微分可能なs-幾何的凸関数に対して、対数平均および幾何平均を含む積分恒等式はどのように導出できるか？
• RQ3 導出された不等式は、A、G、L、および L_p といった古典的特殊平均とどのように関係するか？
• RQ4 関数値の幾何平均と積分平均との差の鋭い上界は何か？
• RQ5 上界は、パラメータ s ∈ (0,1] および |f'(x)|^q の可積分性条件にどのように依存するか？

主な発見

• 本稿は鋭い不等式を確立する：f^2(\sqrt{ab}) ≤ \frac{1}{\ln b - \ln a} \int_a^b \frac{f(x)}{x} f\left(\frac{ab}{x}\right) dx ≤ f(a)f(b) は、s-幾何的凸かつ単調減少関数に対して有効である。
• f(x) = \frac{x^s}{s} + 1 on (0,1] に対して、0 < s < 1 のとき、導関数 |f'(x)|^q = x^{(s-1)q} はs-幾何的凸であるため、主定理の適用が可能である。
• 命題1は、\left| G^2(\cdot) - \cdots \right| \leq \frac{1}{G^{(s-1)^2}(a,b)} \left( \frac{1}{(s^2 - s + 1)q} \right)^{1/q} \left( \frac{b-a}{4L(a,b)} \right)^{1-1/q} \times \left[ M_1 G(a^{-(s-1)^2}, b^s) \{ L(a^{\cdots}, b^{\cdots}) - a^{\cdots} \}^{1/q} + M_2 G(b^{-(s-1)^2}, a^s) \{ b^{\cdots} - L(\cdots) \}^{1/q} \right] を含む境界を提供する。
• 命題2は、異なる範囲係数を用いた類似の境界を提示する：\frac{b-a}{2L(a,b)} \left( \frac{q-1}{2q-1} \right)^{1-1/q} \frac{L^{1/q}(a^{\cdots}, b^{\cdots})}{G^{(s-1)^2}(a,b)} \times \{ M_1 G(\cdots) + M_2 G(\cdots) \}。
• これらの境界は鋭く、s、q、および特殊平均 A、G、L、L_p に明示的に依存しており、s-幾何的凸性が古典的不等式を精緻化する上で有効であることを示している。
• Tuncらの以前の不等式を一般化・精緻化し、特にsパラメータと導関数のL^q範囲推定を組み込むことで、その応用を拡張している。