[論文レビュー] Fejer-type inequalities

Minculete, N., Mitroi, F. -C.|arXiv (Cornell University)|May 29, 2011

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

ひとこと要約

本稿では、2回微分可能な凸関数の2階微分係数の上限と下限を用いることで、Fejér型不等式の新たな結果を確立し、Hermite-Hadamard不等式の誤差推定値を改善するとともに、Youngの不等式（相加相乗平均不等式）の精密化を実現した。主な貢献は、2階微分係数の下限mと上限Mを用いた鋭い両側不等式であり、これは古典的結果を一般化し、積分不等式におけるより緊密な誤差推定を可能にする。

ABSTRACT

The aim of this paper is to present some new Fejer-type results for convex functions. Improvements of Young's inequality (the arithmetic-geometric mean inequality) and other applications to special means are pointed as well.

研究の動機と目的

• 2階微分係数の境界を組み込んだことで、古典的FejérおよびHermite-Hadamard不等式を拡張すること。
• 2階微分係数の境界mとMを用いて、積分不等式におけるより緊密な誤差推定値を導出すること。
• 凸性と2階微分係数の制約を用いて、Youngの不等式（相加相乗平均不等式）を精緻化すること。
• 対称的な重み関数を用いて、積分不等式の重み付き一般化を提供すること。
• 導出された結果を、べき平均、対数平均、調和平均、対数的平均などの特殊平均に応用すること。

提案手法

• 2階微分係数の境界mとMを用いて、凸結合と中点における関数値との差に対する両側不等式を導出する。
• 得られた不等式をλ ∈ [0,1] について積分することで、Hermite-Hadamardの誤差境界を回復・精緻化する。
• 関数f(x) = -log xに不等式を適用し、幾何平均およびYoungの不等式に対する改善された境界を導出する。
• 関数f(x) = exp(x)に不等式を適用し、指数平均および相加相乗平均不等式に対する境界を導出する。
• 重み関数g(t)が(a+b)/2に関して対称であることを利用し、重み付きFejér型不等式を導出する。
• 重み付き平均を導入することで結果を一般化し、重み付き平均点A = (pa + qb)/(p + q)と対称な重み区間を導入する。

実験結果

リサーチクエスチョン

• RQ1 2階微分係数が定数mとMで下界と上界に制限されるとき、Fejér型不等式はどのように改善できるか？
• RQ2 2階微分係数の情報を利用することで、Hermite-Hadamard不等式の誤差に対するより緊密な境界を導出できるか？
• RQ3 関数f(x) = -log xにおける2階微分係数の境界を用いて、Youngの不等式はどの程度精緻化できるか？
• RQ4 新しい不等式は、対称的な重み関数を用いた重み付き積分にどのように一般化されるか？
• RQ5 導出された不等式を用いて、古典的平均（対数平均、対数的平均、べき平均）にどのような改善がなせるか？

主な発見

• 任意の2回微分可能な凸関数でf'' ∈ [m, M] を満たすものについて、すべてのλ ∈ [0,1] に対して不等式 mλ(1−λ)(a−b)²/2 ≤ λf(a)+(1−λ)f(b)−f(λa+(1−λ)b) ≤ Mλ(1−λ)(a−b)²/2 が成り立つ。
• 不等式 (5) をλ ∈ [0,1] について積分することで、古典的Hermite-Hadamard誤差境界 (3) および (4) が導かれる。
• f(x) = -log xに対しては、不等式 e^{λ(1−λ)(a−b)²/(2b²)} ≤ (λa + (1−λ)b)/(a^λ b^{1−λ}) ≤ e^{λ(1−λ)(a−b)²/(2a²)} が得られ、明示的な下界および上界を備えたYoungの不等式の改善が実現される。
• f(x) = exp(x)に対しては、不等式 λa + (1−λ)b - a^λ b^{1−λ} ≤ λ(1−λ)b/2 log²(a/b) が、相加平均と相乗平均の差に対するより精緻な上界を提供する。
• 重み付きFejér不等式 (9)–(12) は、∫(t−a)(b−t)g(t)dt および ∫(2t−a−b)²g(t)dt に関連する境界を提供し、それぞれ定数m/2とM/2を含む。
• 特殊平均への応用により、新たな不等式が得られる：p ∈ (−∞,0) ∪ [1,∞) extbackslash{−1} に対して (b−a){A_p(a,b)^p − L_p(a,b)^p} ≥ (x−a){A_p(a,x)^p − L_p(a,x)^p} が成り立ち、対数平均および対数的平均に対しても同様の結果が得られる。