[論文レビュー] 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

ひとこと要約

本稿では、無限次元ヒルベルト空間におけるチェビシェフ集合の非凸性と、正則化距離汎関数に対して一意な最小化子をもつ特定の非凸ボレル関数の存在を結びつける予想を提示する。この予想が成り立つならば、$ 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を定式化し、正則化汎関数に対して成長性、一意性、コンパクト性に類似した性質を満たす非凸ボレル関数 $ f:X\to\mathbb{R} $ の存在を主張する。
• 集合 $ \{u\in L^2([0,1],X) : \int_0^1 f(u(t))dt \leq r\} $ を、非凸チェビシェフ集合の候補として定義する。
• 定理Aを用いて、各 $ v\in L^2([0,1],X) $ で $ \int f(v(t))dt > r $ を満たす場合、集合 $ \psi^{-1}(r) $ への距離が一意に達成されることを示す。
• 定理B（このような集合が弱閉であれば、$ f $ は凸でなければならない）を適用し、集合が凸であると仮定した場合に矛盾を導く。
• 可測選択および分解可能性の議論を活用して、$ \lambda = \gamma $ のとき、グローバル最小化子の存在が破れるような最小化列を構成する。
• 部分集合の下界集合のコンパクト性に類似した性質を用いて、最小化子の存在を保証し、また命題1を用いて位相的コンパクト性の議論を適用する。

実験結果

リサーチクエスチョン

• RQ1 無限次元実ヒルベルト空間に非凸チェビシェフ集合が存在するか？
• RQ2 非凸ボレル関数 $ 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) $ 内の非凸チェビシェフ集合である。
• 各 $ v\in L^2([0,1],X) $ で $ \int f(v(t))dt > r $ を満たす場合、集合 $ \psi^{-1}(r) $ への距離は、$ \psi(u) = r $ を満たす点 $ u $ で一意に達成され、最良近似の一意性が保証される。
• 汎関数 $ u\mapsto \|u-v\|_{L^2_X}^2 + \lambda \int f(u(t))dt $ は、すべての $ \lambda \in (0,\gamma) $ に対して $ L^2([0,1],X) $ 内に一意なグローバル最小化子をもち、この最小化子はボレル可測である。
• $ \gamma < \infty $ のとき、汎関数 $ u\mapsto \|u-v\|_{L^2_X}^2 + \gamma \int f(u(t))dt $ にはグローバル最小化子が存在しない。これは非凸性の議論において不可欠である。
• $ \psi^{-1}(]-\infty,r]) $ は凸でない。なぜなら、凸性が成り立つと仮定すれば、定理Bより $ f $ が凸であることが導かれるが、これは予想1における非凸性の仮定に矛盾するからである。
• 部分集合の下界集合のコンパクト性に類似した性質により、定理Aの適用が保証され、また極限における一意最小化子の存在を支持する。