[论文解读] On convex functions on the duals of $\Delta_2$-Orlicz spaces

Freddy Delbaen, Keita Owari|arXiv (Cornell University)|Nov 1, 2016

Risk and Portfolio Optimization被引用 3

一句话总结

该论文证明了在 $Δ_2$-Orlicz 空间对偶空间上，凸函数关于 Mackey 拓扑是下半连续（分别连续）的，当且仅当它们在关于依概率收敛的序区间上是下半连续（分别连续）的。一个关键的 Komlós 型结果确保了 $L^{\Phi^*}$ 中范数有界的序列的凸组合几乎必然收敛，且在 Orlicz 范数下具有一致可积性。

ABSTRACT

In the dual $L^{\\Phi^*}$ of a $\\Delta_2$-Orlicz space $L^\\Phi$, we show that a proper (resp. finite) convex function is lower semicontinuous (resp. continuous) for the Mackey topology $\ au(L^{\\Phi^*},L^\\Phi)$ if and only if on each order interval $[-\\zeta,\\zeta]=\\{\\xi: -\\zeta\\leq \\xi\\leq\\zeta\\}$ ($\\zeta\\in L^{\\Phi^*}$), it is lower semicontinuous (resp. continuous) for the topology of convergence in probability. For this purpose, we provide the following Koml\\'os type result: every norm bounded sequence $(\\xi_n)_n$ in $L^{\\Phi^*}$ admits a sequence of forward convex combinations $\\bar{\\xi}_n\\in\\mathrm{conv}(\\xi_n,\\xi_{n+1},...)$ such that $\\sup_n|\\bar{\\xi}_n|\\in L^{\\Phi^*}$ and $\\bar{\\xi}_n$ converges a.s.

研究动机与目标

• 刻画 $L^{\Phi^*}$（即 $Δ_2$-Orlicz 空间 $L^\Phi$ 的对偶空间）上凸函数关于 Mackey 拓扑的下确界连续性与连续性。
• 建立凸函数的拓扑性质与 $L^{\Phi^*}$ 中序区间上依概率收敛之间的联系。
• 证明 $L^{\Phi^*}$ 中范数有界序列的 Komlós 型定理，确保凸组合的几乎必然收敛性，并在 Orlicz 范数下具有一致可积性。
• 为使用概率收敛模式研究 Orlicz 对偶空间上的凸函数，提供一个泛函分析框架。

提出的方法

• 以 Mackey 拓扑 $\tau(L^{\Phi^*}, L^\Phi)$ 作为分析 $L^{\Phi^*}$ 上凸函数的主要拓扑结构。
• 应用 $L^{\Phi^*}$ 中的序区间 $[-\zeta, \zeta]$ 局部化对下确界连续性与连续性的研究。
• 引入一个 Komlós 型结果：$L^{\Phi^*}$ 中的每个范数有界序列都存在一列前向凸组合 $\bar{\xi}_n$，使得 $\sup_n |\bar{\xi}_n| \in L^{\Phi^*}$ 且 $\bar{\xi}_n \to \xi$ 几乎必然成立。
• 依赖依概率收敛作为刻画凸函数在序区间上拓扑行为的关键收敛模式。
• 建立 Mackey 拓扑连续性与在序区间上依概率收敛的连续性之间的等价性。

实验结果

研究问题

• RQ1 在什么条件下，$L^{\Phi^*}$ 上的正规凸函数关于 Mackey 拓扑是下确界连续的？
• RQ2 在什么条件下，$L^{\Phi^*}$ 上的有限凸函数关于 Mackey 拓扑是连续的？
• RQ3 如何通过序区间上的依概率收敛来刻画 $L^{\Phi^*}$ 上凸函数的行为？
• RQ4 通过凸组合，能否为 $L^{\Phi^*}$ 中的范数有界序列保证何种收敛性质？

主要发现

• 若 $L^{\Phi^*}$ 上的正规凸函数关于 Mackey 拓扑 $\tau(L^{\Phi^*}, L^\Phi)$ 是下确界连续的，当且仅当它在每个序区间 $[-\zeta, \zeta]$ 上关于依概率收敛是下确界连续的。
• 若 $L^{\Phi^*}$ 上的有限凸函数关于 Mackey 拓扑是连续的，当且仅当它在每个序区间 $[-\zeta, \zeta]$ 上关于依概率收敛是连续的。
• 每个 $L^{\Phi^*}$ 中的范数有界序列 $(\xi_n)$ 都存在一列前向凸组合 $\bar{\xi}_n \in \mathrm{conv}(\xi_n, \xi_{n+1}, \dots)$，使得 $\sup_n |\bar{\xi}_n| \in L^{\Phi^*}$ 且 $\bar{\xi}_n \to \xi$ 几乎必然，其中 $\xi \in L^{\Phi^*}$。
• 条件 $\sup_n |\bar{\xi}_n| \in L^{\Phi^*}$ 确保了凸组合的极限行为在 Orlicz 范数下受到控制。