[論文レビュー] Some new inequalities of Hermite-Hadamard's type

Aziz Sağlam, Mehmet Zeki Sarıkaya+1 more|arXiv (Cornell University)|May 4, 2010

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

ひとこと要約

本稿では、導関数の絶対値が凸である微分可能な関数に対して、ヘルメート＝ハダマール型の新しい積分不等式を確立する。区分的関数として定義されたカーネル関数を含む二重積分恒等式を用いて、関数の中点平均と積分平均の差に対する鋭い上限を導出する。その応用として、算術平均、対数平均、指数平均などの実数の特別な平均が含まれる。

ABSTRACT

In this paper, we establish several new inequalities for some differantiable mappings that are connected with the celebrated Hermite-Hadamard integral inequality. Some applications for special means of real numbers are also provided.

研究の動機と目的

• 微分可能な関数の導関数の絶対値が凸である場合に、ヘルメート＝ハダマール積分不等式に関連する新しい不等式を導出すること。
• 区分的カーネル関数を含む二重積分表現を導入することで、既存の結果を拡張すること。
• 関数の中点平均と積分平均の乖離に対するより緊密な境界を提供すること。
• 理論的結果を、算術平均、対数平均、指数平均を含む実数の特別な平均に応用すること。
• |f′|q における凸性仮定と Lp 範囲の推定を組み合わせることで、以前の不等式を一般化すること。

提案手法

• 区分的関数 m(t) を [0,1/2] と (1/2,1] で定義されたカーネル関数を用いて、f((a+b)/2) と (1/(b−a))∫ₐᵇ f(x)dx の差を表す、新規の二重積分恒等式（補題2）を導出する。
• 二重積分表現にホルダーの不等式を適用し、[a,b] 上で |f′|q が凸であることを利用して、積分を |f′(a)| と |f′(b)| の関数として評価する。
• カーネル関数 |m(t)−m(s)| の Lp 範囲を用いて、最終的な不等式における定数因子 (2/((p+1)(p+2)))^(1/p) を計算する。
• |f′|q が凸であるという仮定の下で、カーネル恒等式とホルダーの不等式を組み合わせることで、定理2 と 定理3 を確立する。
• 具体的な関数（例：f(x)=xⁿ, f(x)=−ln x, f(x)=1/x）に一般不等式を適用し、特別な平均に対する明確な境界を導出する。
• 部分積分と対称性の議論を用いて、t=1/2 および s=1/2 で分割された単位正方形上の二重積分を評価する。

実験結果

リサーチクエスチョン

• RQ1 |f′|q が凸であるとき、微分可能な関数に対して、ヘルメート＝ハダマール型の新しい不等式をどのように導出できるか？
• RQ2 |f′|q の凸性の下で、|f((a+b)/2) − (1/(b−a))∫ₐᵇ f(x)dx| の最適な定数は何か？
• RQ3 導出された不等式は、A, L, I, Lp などの古典的平均の差を推定するために応用可能か？
• RQ4 Lp 範囲フレームワークにおいて、パラメータ p が境界に与える影響は何か？
• RQ5 f(x)=xⁿ, f(x)=−ln x, f(x)=1/x などの特別な関数に対して、これらの不等式が平均不等式の文脈でどのような意味を持つのか？

主な発見

• 本稿では鋭い上界を確立する：|f((a+b)/2) − (1/(b−a))∫ₐᵇ f(x)dx| ≤ (b−a) × (2/((p+1)(p+2)))^(1/p) × (|f′(a)|^q + |f′(b)|^q)^(1/q) / 2^(1/q) であり、|f′|q の凸性が仮定されている。
• 補題2における二重積分恒等式は、区分的カーネル関数 m(t) を用いたヘルメート＝ハダマールの剰余項の新しい表現を提供し、正確な推定を可能にする。
• f(x) = xⁿ で |n| ≥ 1 の場合、不等式は |Aⁿ(a,b) − Lₙⁿ(a,b)| ≤ |n|(b−a)/√6 × A(a²⁽ⁿ⁻¹⁾, b²⁽ⁿ⁻1⁾) を導出し、結果をべき乗平均に関連付ける。
• f(x) = −ln x の場合、不等式は指数平均と算術平均の対数比に対する境界を導く：ln(I/A) ≤ (b−a)/(ab) × (2/((p+1)(p+2)))^(1/p) × A(|b|^q, |a|^q)^(1/q)。
• f(x) = 1/x の場合、結果は |A⁻¹(a,b) − L⁻¹(a,b)| ≤ (b−a)/(a²b²) × (2/((p+1)(p+2)))^(1/p) × A(|a|²q, |b|²q)^(1/q) を与え、調和平均と対数平均に関連付ける。
• 定数 (2/((p+1)(p+2)))^(1/p) は、単位正方形上でのカーネル関数の Lp 範囲から明示的に導出されており、推定フレームワークにおけるタイトネスを示している。