[论文解读] 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 型被积函数诱导的积分泛函为强严格凸的充分条件，将先前结果推广至欧几里得空间。证明了像玻尔兹曼-香农和费米-狄拉克熵这样的泛函是强严格凸的，并表明在缺乏额外紧致性或连续性条件时，测度收敛不能保证泛函值收敛。

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.

研究动机与目标

• 将强严格凸积分泛函的理论从一维推广至多维欧几里得空间。
• 确定积分泛函 $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$，是否意味着 $I_\phi(f_n) \to I_\phi(f)$，当 $\phi$ 严格凸时？
• RQ4 弱紧性在确保测度收敛下积分泛函收敛中起何种作用？
• RQ5 Visintin 关于 $L^1$ 中收敛的结果如何加强 Kadec 性质与次梯度收敛性分析？

主要发现

• 若 $\phi$ 为 Legendre 函数且其子水平集满足局部有界性条件，则积分泛函 $I_\phi$ 为强严格凸。
• 在 $L^1_{\mathbb{R}}(S,\mu)$ 上，玻尔兹曼-香农熵与费米-狄拉克熵泛函为强严格凸，确保极小化问题具有唯一解且适定。
• 即使 $f_n \to f$ 在测度上收敛且 $f$ 最小化 $I_\phi$，测度收敛也不能保证 $I_\phi(f_n) \to I_\phi(f)$，如例 7.10 所示。
• 在例 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 性质成立的精炼条件，将弱紧性与次梯度收敛性联系起来。