[論文レビュー] On some integral inequalities for s-logarithmically convex functions and their applications

Ahmet Ocak Akdemi̇r, Mevlüt Tunç|arXiv (Cornell University)|Dec 7, 2012

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

ひとこと要約

本稿では、対数凸関数の一般化であるs-対数凸関数を導入し、ホルダーの不等式および特別な積分核を用いて、これらの関数を含む新しい積分不等式を確立する。主な貢献は、s-対数凸関数の積に関する改良されたハーモニック＝ハダマール型不等式であり、対数平均とべき乗重み付き積分を含む明示的な境界が得られる。

ABSTRACT

In this paper, we describe s-logarithmically convex functions in the first and second sense which are connected with the ordinary logatihmic convex and s-convex in the first and second sense. Afterwards, some new inequalities related to above new definitions are given.

研究の動機と目的

• 第一および第二の意味におけるs-対数凸関数を定義・調査し、古典的な対数凸性を一般化すること。
• 特にハーモニック＝ハダマール型不等式を含む古典的積分不等式を、s-対数凸関数の枠組みへと拡張すること。
• ホルダーの不等式および特別な積分核を用いて、2つのs-対数凸関数の積の積分に対する新しい境界を確立すること。
• 対数平均およびべき乗重み付き積分を含む明示的不等式を通じて、これらの不等式の応用を提供すること。
• パラメータs ∈ (0,1] を組み込むことにより、対数凸関数に関する先行研究を一般化し、s = 1のとき古典的結果が回復されることを示すこと。

提案手法

• t ∈ [0,1] に対して f(tx + (1−t)y) ≤ [f(x)]^{t^s} [f(y)]^{(1−t)^s} を満たす関数として、s-対数凸関数を定義し、対数凸性を一般化する。
• 積分表現 f(ta + (1−t)b) ≤ [f(a)]^{t^s} [f(b)]^{(1−t)^s} を用い、t ∈ [0,1] における置換により [a,b] 上の積分を評価する。
• 積分 ∫ f(x)g(x) dx をホルダーの不等式を用いて処理し、共役指数 p, q（1/p + 1/q = 1）を用いて積分を2つの部分に分割する。
• k(ω), k(ℓ) という補助関数を導入し、∫₀¹ [f(a)]^{p t^s} [f(b)]^{p (1−t)^s} dt の形の積分を表現することで、閉形式での推定を可能にする。
• p ≠ q の場合に L(p,q) = (p−q)/(ln p − ln q) で定義される対数平均 L(p,q) を用いて、f(x)g(x) の積分に対する境界を表現する。
• f(a), g(a), f(b), g(b) ≤ 1 の条件下で、核の推定における収束性および単調性を保証する。

実験結果

リサーチクエスチョン

• RQ1 s ∈ (0,1] を含むパラメータを導入することで、対数凸性の概念をどのように一般化できるか？
• RQ2 s-対数凸性をハーモニック＝ハダマール枠組みに適用した場合、どのような新しい積分不等式が生じるか？
• RQ3 s = 1 のとき、2つのs-対数凸関数の積の積分に対する境界は、古典的結果とどのように比較されるか？
• RQ4 ホルダーの不等式をs-対数凸性と効果的に組み合わせることで、重み付き積分に対するより緊密な境界を導出できるか？
• RQ5 特別な積分核 k(ω), k(ℓ) は、べき乗指数関数の積分推定において、果たす役割は何か？

主な発見

• 本稿では、2つのs-対数凸関数の積の積分に関する新しい不等式を確立した：(1/(b−a))∫ₐᵇ f(x)g(x)dx ≤ K(s,p,q;k(ω),k(ℓ)) であり、K は対数平均とべき乗重み付き積分を含む。
• s = 1 のとき、この不等式は既知の対数平均を含む結果に簡約される：(1/(b−a))∫ₐᵇ f(x)g(x)dx ≤ L([f(a)]^p, [f(b)]^p)^{1/p} L([g(a)]^q, [g(b)]^q)^{1/q}。
• f, g ≤ 1 のとき、積分 ∫₀¹ [f(a)]^{p t^s} [f(b)]^{p (1−t)^s} dt は [f(b)]^{sp} k(ω(sp,sp)) で上から抑えられる。ここで k(ω) は核関数によって定義される。
• 不等式 (4.9) は、f および g がs-対数凸関数であるという仮定の下で成り立ち、境界はパラメータ s, p, q および対数平均に依存する。
• 核関数 k(ω(u,v)) は、∫₀¹ [f(a)]^{t^s} [f(b)]^{(1−t)^s} dt の形の積分を推定するために用いられ、f(a), f(b), s に関する明示的境界の導出を可能にする。
• 導出された不等式は、古典的なハーモニック＝ハダマール型およびハダマール型不等式を一般化し、s をパrameterとするより広範な関数クラスへの適用可能性を拡張する。