[論文レビュー] Some Refinements of Discrete Jensen's Inequality and Some of Its Applications

Jamal Rooin|ArXiv.org|Oct 24, 2006

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

ひとこと要約

本稿は重み関数と二重確率的行列を用いて離散的ジェンセンの不等式を精緻化し、抽象空間における凸写像のためのより鋭い境界を確立する。Lp空間、測度空間、対数平均を用いた新たな不等式が導出され、関数解析および調和解析への応用を含め、先行研究を拡張する。

ABSTRACT

In this paper, using some aspects of convex functions, we refine discrete Jensen's inequality via weight functions. Then, using these results, we give some applications in different abstract spaces and obtain some new interesting inequalities.

研究の動機と目的

• 確率測度を保存する重み関数を導入することにより、離散的ジェンセンの不等式を精緻化すること。
• Lp空間や可測関数空間などの抽象空間におけるジェンセン型不等式の既存結果を拡張すること。
• 凸性と積分表現を用いて、対数平均と算術平均を含む新たな不等式を確立すること。
• 重み付き設定における凸性とフィッブィニ型の議論を用いて、[5,6]の先行結果を一般化すること。
• 凸写像と重み付き平均を用いた多様な関数解析的文脈における不等式の導出を統一的枠組みで提供すること。

提案手法

• 確率測度μとλに関して行および列の正規化を満たす重み関数ω(i,j)を導入する。
• 二つの重み付き凸結合の間を補間する一パラメータ族の関数φω₁,ω₂(t)を定義する。
• 関数φω₁,ω₂(t)に対して凸性とジェンセンの不等式を適用し、tに関して凸であり、φ(∑λjxj)と∑λjφ(xj)の間で有界であることを証明する。
• Fubiniの定理を用いて積分の順序を入れ替え、Lpおよび測度論的設定でFatouの補題を適用する。
• 対数平均L(a,b) = (b−a)/(ln b − ln a)を用いて、逆数ノルムおよび積分を含む不等式を導出する。
• Cesàro和とLp空間におけるノルム収束を用いて、pノルムおよび平均の極限恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 二つの重み関数を用いて離散的ジェンセンの不等式を精緻化する方法は何か？ その際、凸性と鋭い境界を保つには？
• RQ2 pノルムに関して、Lp空間および可測関数空間におけるこれらの精緻化の意味は何か？
• RQ3 対数平均を用いて、凸的設定における関数の比の積分を含む新たな不等式を導出可能か？
• RQ4 二重確率的行列と重み付き平均は、有限次元凸集合における古典的ジェンセンの不等式をどのように改善するか？
• RQ5 Cesàro和およびLp収束の下での、精緻化された不等式の極限挙動は何か？

主な発見

• すべてのt ∈ [0,1]に対して、精緻化された不等式φ(∑λjxj) ≤ φω₁,ω₂(t) ≤ ∑λjφ(xj)が成り立ち、φω₁,ω₂(t)はtに関して凸である。
• 積分∫₀¹ φω₁,ω₂(t) dtはジェンセンの下界と上界の和の間にあるため、連続的な精緻化が得られる。
• Lp空間において、Lp収束およびμ-almost everywhere収束の下で、limₙ→∞ (1/n)∑ᵢ₌₁ⁿ ‖Lₚᵖ(|fᵢ|,|fₙ₊₁₋ᵢ|)‖₁ = ‖f‖ₚᵖ が成り立つ。
• 非負可測関数f₁,…,fnに対して、不等式∑λjφ(fj) ≤ μ(X) − ∑μi‖L⁻¹(1+∑ω₁λjfj, 1+∑ω₂λjfj)‖₁ ≤ φ(∑λjfj) が成立し、φ(f) = ∫ f/(1+f) dμ である。
• 二重確率的行列に適用した場合、不等式は∑φ(xj)/n ≤ (1/n)∑φ(∑aijxj) ≤ ∑φ(xj)/n に簡略化され、既知の平均不等式が回復される。
• 測度論的設定において、恒等式∫₀¹ φω₁,ω₂(t) dt = μ(X) − ∑μi‖L⁻¹(1+∑ω₁λjfj, 1+∑ω₂λjfj)‖₁ が成り立ち、対数平均と凸積分が結びつく。