[论文解读] Lipschitz properties of convex mappings

Ştefan Cobzaş|arXiv (Cornell University)|Sep 26, 2016

Optimization and Variational Analysis参考文献 14被引用 4

一句话总结

本文建立了在由正规锥有序的局部凸空间之间取值的凸映射的利普希茨连续性性质，通过利用斜率的单调性和半范数的正规性等几何性质，将标量情形的结果推广到向量值设定。主要贡献在于证明了当定义域空间为桶状空间时，点态有界的连续凸映射族具有局部一致利普希茨连续性，从而将经典结果推广至可度量的和局部凸的拓扑向量空间上的向量值凸函数。

ABSTRACT

The present paper is concerned with Lipschitz properties of convex mappings. One considers the general context of mappings defined on an open convex subset $Ω$ of a locally convex space $X$ and taking values in a locally convex space $Y$ ordered by a normal cone. One proves also equi-Lipschitz properties for pointwise bounded families of continuous convex mappings, provided the source space $X$ is barrelled. Some results on Lipschitz properties of continuous convex functions defined on metrizable topological vector spaces are included as well. The paper has a methodological character - its aim is to show that some geometric properties (monotonicity of the slope, the normality of the seminorms) allow to extend the proofs from the scalar case to the vector one. In this way the proofs become more transparent and natural.

研究动机与目标

• 将实值凸函数的经典利普希茨连续性结果推广至取值于有序局部凸空间的凸映射。
• 在定义域空间为桶状空间的条件下，建立连续凸映射族的等度利普希茨性质。
• 证明几何性质（如斜率的单调性和半范数的正规性）可自然地将标量情形推广至向量情形。
• 提供清晰、方法论导向的证明，以阐明向量值凸分析的结构。

提出的方法

• 利用具有正规锥的有序局部凸空间理论来定义凸映射及其利普希茨行为。
• 应用正规锥的概念，以确保在向量值设定下的连续性和利普希茨性质。
• 在可度量的局部凸空间中，通过可数个半范数族表示拓扑，推导利普希茨界。
• 使用平移不变度量，如 $ d(x,y) = \sum_{n=1}^\infty \frac{1}{2^n} \cdot \frac{p_n(x-y)}{1 + p_n(x-y)} $，以在可度量空间中定义局部利普希茨连续性。
• 应用哈恩-巴拿赫定理和凸性不等式，以半范数 $ p_m(x-y) $ 表示差值 $ |f(x) - f(y)| $ 的界。
• 通过利用定义域空间的桶状性，对凸映射族实现一致利普希茨界的一致控制。

实验结果

研究问题

• RQ1 能否将实值凸函数的经典利普希茨连续性结果推广至取值于有序局部凸空间的凸映射？
• RQ2 排序锥的正规性在确保凸算子的利普希茨和等度利普希茨性质中起什么作用？
• RQ3 在定义域空间（如桶状或可度量）满足何种条件下，连续凸映射族的点态有界性可推出其局部等度利普希茨连续性？
• RQ4 几何性质（如斜率的单调性和半范数的正规性）如何简化并阐明向量值凸分析中的证明？

主要发现

• 任一连续凸函数在可度量局部凸空间的开凸子集上，关于由可数个半范数族诱导的平移不变度量，均为局部利普希茨连续。
• 对于从桶状局部凸空间到由正规锥有序的局部凸空间的连续凸映射族，若其点态有界，则在定义域上具有局部等度利普希茨连续性。
• 在 $ \ell^p $ 空间（$ 0 < p < 1 $）中，任一连续凸函数在开凸集上关于度量 $ d(x,y) = \sum_{k=1}^\infty |y_k - x_k|^p $ 均为局部利普希茨连续。
• 度量 $ d(x,y) = \sum_{n=1}^\infty \frac{1}{2^n} \cdot \frac{p_n(x-y)}{1 + p_n(x-y)} $ 生成了可度量局部凸空间的拓扑，并确保连续凸函数的局部利普希茨连续性。
• 证明技术依赖于半范数的正规性和斜率的单调性，使得从标量情形自然推广至向量值设定成为可能。
• 反例表明，即使生成相同的拓扑，非平移不变度量也可能不保持利普希茨连续性。