[論文レビュー] Legendre-type integrands and convex integral functions

Jonathan M. Borwein, Liangjin Yao|arXiv (Cornell University)|Aug 26, 2012

Advanced Banach Space Theory参考文献 15被引用数 5

ひとこと要約

本稿は、$L^1_E(S,\mu)$ 上の Legendre 型被積分関数によって誘導される積分関数型の強い回転性（strongly rotund）であるための十分条件を確立し、1次元から多次元ユークリッド空間へ既存の結果を拡張する。ボルツマン・シャノンおよびフェルミ・ディラックエントロピーなどの関数型が強い回転性を示すことを証明し、測度収束が値の収束を保証しないことが、追加のコンパクト性または連続性条件がなければ成立しないことを示している。

ABSTRACT

In this paper, we study the properties of integral functionals induced on $L^1_E (S,μ)$ by closed convex functions on a Euclidean space $E$. We give sufficient conditions for such integral functions to be strongly rotund (well-posed). We show that in this generality functions such as the Boltzmann-Shannon entropy and the Fermi-Dirac entropy are strongly rotund. We also study convergence in measure and give various limiting counterexample.

研究の動機と目的

• 1次元から多次元ユークリッド空間への強い回転性を示す積分関数型の理論を拡張すること。
• 積分関数型 $I_\phi$ が強い回転性を示す十分条件を同定し、最小化解の一意性と適切な定義を保証すること。
• 測度収束と積分関数型の下方連続性または収束の間の相互作用を分析すること。
• 特にコンパクトでない設定において、測度収束が積分値の収束を保証しないという限界を明確にすること。
• Visintin の定理を応用し、Kadec 性質および部分集合の弱コンパクト性に関する結果を強化すること。

提案手法

• $\mathbb{R}^d$ 上で適切で、下方連続的かつ強凸である $\phi$ に対して、$I_\phi(f) = \int_S \phi(f(s)) \, d\mu(s)$ として積分関数型を定義する。
• Vitali の被覆定理と弱コンパクト性の議論を用いて、$I_\phi$ の収束性および下方連続性を分析する。
• Visintin の $L^1$ 内の列の収束に関する定理を応用し、Kadec 性質および部分劣微分の収束を強化する。
• ノルム収束や弱位相収束とは異なり測度収束するが値収束しない列を構成することで、値収束の失敗を示す反例を提示する。
• 部分劣微分作用素 $\partial I_\phi$ を用い、その最大単調性および定義域を分析することで、関数型の適切な定義を推論する。
• 強い回転性（強凸性、弱コンパクトな部分集合、Kadec 性質）を、適切な定義の統合的枠組みとして用いる。

実験結果

リサーチクエスチョン

• RQ1 被積分関数 $\phi$ が Legendre 型関数であるとき、$L^1_E(S,\mu)$ 上の積分関数型 $I_\phi$ が強い回転性を示す条件は何か？
• RQ2 ボルツマン・シャノンおよびフェルミ・ディラックエントロピーなどのエントロピー型関数型に対して、$I_\phi$ の強い回転性は保証されるか？
• RQ3 列 $f_n$ が $f$ に測度収束するとき、$\phi$ が強凸関数であれば $I_\phi(f_n) \to I_\phi(f)$ が成り立つか？
• RQ4 弱コンパクト性は、測度収束下での積分関数型の収束を保証するために果たす役割は何か？
• RQ5 Visintin の $L^1$ 内の収束に関する結果は、Kadec 性質および部分劣微分収束の分析をどのように強化するか？

主な発見

• $\phi$ が Legendre 関数であり、部分集合の有界性に関する局所的有界性条件を満たす場合、積分関数型 $I_\phi$ は強い回転性を示す。
• $L^1_{\mathbb{R}}(S,\mu)$ 上のボルツマン・シャノンエントロピーおよびフェルミ・ディラックエントロピー関数型は強い回転性を示し、最小化解の一意性と最適化問題の適切な定義を保証する。
• 測度収束が $I_\phi(f_n)$ が $I_\phi(f)$ に収束することを保証しない。例 7.10 で示されるように、$f_n \to f$ が測度収束しても、$I_\phi(f_n) \to 2$ で $I_\phi(f) = 1$ となる場合がある。
• 例 7.10 において、$f_n \to f$ は測度収束するが、$I_\phi(f_n) \to 2$ で $I_\phi(f) = 1$ であるため、測度収束だけでは値収束が保証されないことが示された。
• 例 7.10 における弱収束の失敗は、$f_n$ が $f$ に弱収束しないことを示しており、より強い収束条件の必要性を強調している。
• Visintin の定理を応用し、定理 3.8 を強化することで、Kadec 性質が成り立つより精緻な条件が得られ、弱コンパクト性と劣微分の収束が結びつけられた。