[论文解读] Vector duality via conditional extension of dual pairs

Samuel Drapeau, Asgar Jamneshan+1 more|arXiv (Cornell University)|Aug 31, 2016

Optimization and Variational Analysis参考文献 16被引用 3

一句话总结

本文为取值于 $ \overline{L^0} $ 的适当凸函数 $ f: X \to \overline{L^0} $ 建立了 Fenchel-Moreau 类型对偶性，其中 $ X $ 是一个巴拿赫空间，而 $ \overline{L^0} $ 是扩展实值可测函数的集合。通过将对偶对 $ (X,Y,\langle\cdot,\cdot\rangle) $ 条件性地扩展至博赫纳空间 $ L^0(X) \times L^0(Y) $，作者证明了 $ f $ 的下确界连续性等价于如下对偶表示：$ f(x) = \operatorname{ess\,sup}_{y \in L^0(Y)} \{ \langle x,y \rangle - f^*(y) \} $，通过条件集合理论与博赫纳空间扩展，将经典对偶性推广至向量值设定。

ABSTRACT

A Fenchel-Moreau type duality for proper convex and lower semi-continuous functions $f\colon X o \overline{L^0}$ is established where $(X,Y,\langle \cdot,\cdot angle)$ is a dual pair of Banach spaces and $\overline{L^0}$ is the set of all extended real-valued measurable functions. We provide a concept of lower semi-continuity which is shown to be equivalent to the existence of a dual representation in terms of elements in the Bochner space $L^0(Y)$. To derive the duality result, several conditional completions and extensions are constructed. This is an earlier version of arXiv e-print 1708.03127, where the main results were formulated in an abstract setting of conditional completions, conditional extensions and conditional real numbers.

研究动机与目标

• 为取值于 $ \overline{L^0} $ 的凸函数 $ f: X \to \overline{L^0} $ 建立 Fenchel-Moreau 类型对偶性，其中 $ X $ 是一个巴拿赫空间，而 $ \overline{L^0} $ 是扩展实值可测函数的集合。
• 定义此类函数的下确界连续性概念，使其与 $ L^0(Y) $ 中元素的对偶表示的存在性等价，$ L^0(Y) $ 是取值于 $ Y $ 的可测函数的博赫纳空间。
• 发展巴拿赫空间对偶对的条件性扩展框架，使原始设定中可应用条件性 Fenchel-Moreau 对偶性。
• 将经典对偶性结果推广至向量值与模基设定，其中由于 $ \operatorname{int}(L^0_+) = \emptyset $ 且 $ (L^0)^* = \{0\} $，标准标量化解法失效。

提出的方法

• 构造巴拿赫空间 $ X $ 和 $ Y $ 的条件完备化，证明其分别等距同构于博赫纳空间 $ L^0(X) $ 和 $ L^0(Y) $。
• 将 $ X \times Y $ 上的对偶配对 $ \langle \cdot, \cdot \rangle $ 扩展为 $ L^0(X) \times L^0(Y) $ 上的条件性对偶配对，通过简单函数的几乎处处极限定义。
• 利用空间的条件结构，从 $ X $ 到 $ L^0(X) $ 定义 $ f $ 的条件性下确界连续扩展 $ f_c $，取值于 $ \overline{L^0} $。
• 在条件集合理论的背景下应用条件性 Fenchel-Moreau 定理，推导出 $ f_c $ 关于 $ L^0(Y) $ 中元素的对偶表示。
• 通过评估常数元素，将条件性对偶表示回传至原始空间，得到主要对偶公式：$ f(x) = \operatorname{ess\,sup}_{y \in L^0(Y)} \{ \langle x,y \rangle - f^*(y) \} $。
• 利用 $ L^0(X) $ 和 $ L^0(Y) $ 上的稳定函数结构，其中运算几乎处处逐点定义，以确保与条件拓扑和范数的兼容性。

实验结果

研究问题

• RQ1 对于函数 $ f: X \to \overline{L^0} $，何种下确界连续性概念可确保 Fenchel-Moreau 类型对偶表示的存在？
• RQ2 经典 Fenchel-Moreau 对偶性能否推广至取值于 $ \overline{L^0} $ 的向量值函数，特别是在标准标量化解法失效的情况下？
• RQ3 如何将对偶配对与凸共轭从 $ X \times Y $ 条件性地扩展至 $ L^0(X) \times L^0(Y) $，以保持对偶性与完备性？
• RQ4 条件集合理论在构造 $ L^0 $-值定义域上函数的对偶表示中起何种作用？
• RQ5 在何种条件下，对偶表示 $ f(x) = \operatorname{ess\,sup}_{y \in L^0(Y)} \{ \langle x,y \rangle - f^*(y) \} $ 成立，又在何种情况下会失效？

主要发现

• 提出了一种新的函数 $ f: X \to \overline{L^0} $ 的下确界连续性概念，通过条件对偶配对的收敛性定义：对所有 $ y \in Y_c $ 及 $ X_s $ 中的稳定网 $ (x_\alpha) $，若 $ \langle x_\alpha, y \rangle_c \to \langle x, y \rangle_c $，则有 $ f(x) \leq \operatorname{ess\,liminf} f_s(x_\alpha) $。
• 空间 $ X $ 的条件完备化与 $ L^0(X) $ 等距同构，$ Y $ 同理，从而确立了 $ L^0(X) $ 和 $ L^0(Y) $ 分别为 $ X $ 和 $ Y $ 的条件完备化。
• 对偶配对 $ \langle \cdot, \cdot \rangle $ 在 $ X \times Y $ 上的扩展通过简单函数的几乎处处极限定义于 $ L^0(X) \times L^0(Y) $，且在将 $ X_c $ 与 $ L^0(X) $ 识别后满足 $ \langle x, y \rangle = \langle x, y \rangle_c $。
• 主要对偶结果得以确立：若 $ f: X \to \overline{L^0} $ 是适当凸函数，则其下确界连续当且仅当对所有 $ x \in X $，有 $ f(x) = \operatorname{ess\,sup}_{y \in L^0(Y)} \{ \langle x, y \rangle - f^*(y) \} $，其中 $ f^*(y) = \operatorname{ess\,sup}_{x \in X} \{ \langle x, y \rangle - f(x) \} $。
• 恒等映射 $ I: L^\infty \to L^0 $ 不是下确界连续的，且不满足形式为 (8) 的 Fenchel-Moreau 表示，这表明下确界连续性条件的必要性。
• 该框架适用于任意完备布尔代数，而不仅限于测度代数，表明结果在经典测度论设定之外也具有鲁棒性。