[论文解读] A conjecture implying the existence of non-convex Chebyshev sets in infinite-dimensional Hilbert spaces

Biagio Ricceri|arXiv (Cornell University)|Jan 15, 2011

Optimization and Variational Analysis参考文献 7被引用 6

一句话总结

本文提出一个猜想，将无限维希尔伯特空间中切比雪夫集的非凸性与一类具有唯一极小化子的非凸Borel函数在正则化距离泛函下的存在性联系起来。若该猜想成立，则意味着在 $ L^2([0,1],X) $ 中存在一个非凸的切比雪夫集，从而解决了最佳逼近理论中一个长期悬而未决的公开问题。

ABSTRACT

In this paper, we propose the study of a conjecture whose affirmative solution would provide an example of a non-convex Chebyshev set in an infinite-dimensional real Hilbert space.

研究动机与目标

• 研究非凸切比雪夫集是否存在于无限维实希尔伯特空间中，这是最佳逼近理论中的一个核心公开问题。
• 探讨函数的凸性与正则化距离泛函极小化子唯一性之间的关系。
• 建立一个条件性结果：若关于非凸函数的某个猜想成立，则在 $ L^2([0,1],X) $ 中存在一个非凸切比雪夫集。
• 弥合函数最小化性质与希尔伯特空间中集合几何性质之间的鸿沟。

提出的方法

• 提出猜想1，断言存在一个非凸Borel函数 $ f:X\to\mathbb{R} $，满足正则化泛函的生长性、唯一性和类似紧致性的性质。
• 将集合 $ \{u\in L^2([0,1],X) : \int_0^1 f(u(t))dt \leq r\} $ 定义为一个非凸切比雪夫集的候选。
• 利用定理A证明，对于每个满足 $ \int f(v(t))dt > r $ 的 $ v\in L^2([0,1],X) $，其到水平集 $ \psi^{-1}(r) $ 的距离在唯一一点 $ u $ 处被实现，其中 $ \psi(u) = r $。
• 应用定理B，该定理指出，若此类集合是弱闭的，则 $ f $ 必须是凸的，从而在假设该集合为凸时导出矛盾。
• 利用可测选择和可分解性论证，构造一个违反全局极小化子存在的极小化序列，当 $ \lambda = \gamma $ 时。
• 利用子水平集族的类似紧致性性质，确保极小化子的存在性，并通过命题1应用拓扑紧致性论证。

实验结果

研究问题

• RQ1 在无限维实希尔伯特空间中是否存在一个非凸切比雪夫集？
• RQ2 是否存在一个非凸Borel函数 $ f:X\to\mathbb{R} $，使得对所有 $ \lambda \in (0,\gamma) $，泛函 $ x\mapsto \|x-y\|^2 + \lambda f(x) $ 具有唯一极小化子，但在 $ \lambda = \gamma $ 时不再具有？
• RQ3 在何种条件下，集合 $ \{u\in L^2([0,1],X) : \int_0^1 f(u(t))dt \leq r\} $ 成为一个切比雪夫集？
• RQ4 此类函数 $ f $ 的存在性是否足以推出其在 $ L^2([0,1],X) $ 中对应的集合是非凸且切比雪夫的？
• RQ5 子水平集的类似紧致性性质是否能确保在 $ L^2([0,1],X) $ 中最佳逼近的唯一性？

主要发现

• 若猜想1成立，则集合 $ \{u\in L^2([0,1],X) : \int_0^1 f(u(t))dt \leq r\} $ 是 $ L^2([0,1],X) $ 中的一个非凸切比雪夫集。
• 对于每个满足 $ \int f(v(t))dt > r $ 的 $ v\in L^2([0,1],X) $，其到集合 $ \psi^{-1}(r) $ 的距离在唯一一点 $ u $ 处被实现，且满足 $ \psi(u) = r $，从而确保了最佳逼近的唯一性。
• 泛函 $ u\mapsto \|u-v\|_{L^2_X}^2 + \lambda \int f(u(t))dt $ 在 $ L^2([0,1],X) $ 中对所有 $ \lambda \in (0,\gamma) $ 都存在唯一的全局极小化子，且该极小化子是Borel可测的。
• 当 $ \gamma < \infty $ 时，泛函 $ u\mapsto \|u-v\|_{L^2_X}^2 + \gamma \int f(u(t))dt $ 不存在全局极小化子，这对非凸性论证至关重要。
• 集合 $ \psi^{-1}(]-\infty,r]) $ 不是凸的，因为若其为凸集，则由定理B可推出 $ f $ 是凸的，这与猜想1中非凸性的假设相矛盾。
• 子水平集族的类似紧致性性质确保了定理A的适用性，并支持了极限中唯一极小化子的存在性。