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

İmdat Işcan|arXiv (Cornell University)|Jun 8, 2013

Mathematical Inequalities and ApplicationsMathematics参考文献 2被引用数 19

ひとこと要約

本稿では、第一および第二の意味におけるGA-s-凸関数を導入し、この新しいクラスにヘルメート＝ハダールド型積分不等式を拡張する。微分の絶対値のq乗におけるGA-s-凸性の仮定のもとで、積分平均と関数値の差の鋭い評価を、重み付き幾何平均を用いて行い、積分恒等式およびp乗平均推定を活用する。

ABSTRACT

In this paper, The author introduces the concepts of the GA-s-convex functions in the first sense and second sense and establishes some integral inequalities of Hermite-Hadamard type related to the GA-s-convex functions.

研究の動機と目的

• 第一および第二の意味におけるGA-s-凸関数を定義・考察し、古典的凸性およびGA-凸性を一般化する。
• 微分がGA-s-凸性条件を満たす関数に対して、ヘルメート＝ハダールド型の新しい積分不等式を確立する。
• 積分表現およびp乗平均推定を用いて、対数平均、幾何平均、算術平均を含む評価を導出する。
• 対数平均、指数平均、p対数平均などの特殊平均への応用を示す。
• パラメータ s ∈ (0,1] を組み込むことで、従来のGA-凸関数に関する結果を一般化し、ヘルメート＝ハダールド解析に適した関数のクラスを豊かにする。

提案手法

• 重み付き幾何平均およびp乗重みを含む関数的不等式を用いて、第一および第二の意味におけるGA-s-凸性を定義する。
• 対数平均および微分の重み付き積分を含む積分恒等式を用いる：∫₀¹ b²ᵗa²⁽¹⁻ᵗ⁾f′(bᵗa¹−ᵗ) dt。
• ホルダーの不等式およびp乗平均推定を用いて、積分平均と関数値の差を評価する。
• |f′|⁰ が第一の意味でGA-s-凸であるという条件を用い、∫₀¹ (b/a)^(qt) (1−tˢ)|f′(a)|⁰ dt の形の積分から導かれる定数 cᵢ(s,q) を含む評価を導出する。
• 関数 f(x) = x および f(x) = √x を不等式に代入することで、特殊平均への応用を実施する。
• 対数平均 L(a,b)、幾何平均 G(a,b)、算術平均 A(a,b) をqノルムおよびp乗平均と組み合わせて、明示的な評価を導出する。

実験結果

リサーチクエスチョン

• RQ1 s-凸性の概念を幾何平均・算術平均（GA）設定にどのように適合させ、新たな関数クラスを定義できるか？
• RQ2 微分の絶対値がGA-s-凸である場合、どのような新しいヘルメート＝ハダールド型不等式が得られるか？
• RQ3 これらの不等式は、区間 [a,b] における関数の積分平均に対する既存の評価をどのように精緻化または一般化するか？
• RQ4 これらの不等式は、L(a,b)、A(a,b)、G(a,b) などの特殊平均にどのような意味を持つのか？
• RQ5 パラメータ s ∈ (0,1] を用いて、古典的凸性とGA-凸性の間を補間可能であり、その結果として得られる定量的改善は何か？

主な発見

• 本稿では、第一の意味におけるGA-s-凸関数に対して、新しいヘルメート＝ハダールド型不等式を確立し、|f(a)+f(b)|/2 − 1/(ln b − ln a) ∫ₐᵇ f(x)/x dx が、a, b, ln(b/a) および (b/a)^(qt) を重みとする (1−tˢ)|f′(a)|⁰ および tˢ|f′(b)|⁰ の積分を含む式で評価可能であることを示した。
• q > 1 の場合、ホルダーの不等式を用いて評価をさらに精緻化し、(q−1)/(2q−1) を 1−1/q 乗した因子が得られ、q が増加するにつれて推定値が改善されることを示した。
• s = 1 の場合、結果は既知のGA-凸関数に関する不等式に還元され、先行研究と整合性が確認された。
• 幾何平均 f(√(ab)) に対しても、c₇(1,q/2)、c₈(1,q/2) などの定数を含む同様の表現による評価が得られ、同じp乗平均構造を持つ。
• 命題1および2では、A(a,b)、L(a,b)、G(a,b) の平均に結果を適用し、対数平均およびp乗平均を用いた明示的評価を導出している。
• 導出された評価は、定数（例：(q−1)/(2q−1)）が与えられた関数クラスに対して最適であるという意味で鋭いものである。