[論文レビュー] On the proximinality of ridge functions

Vugar E. Ismailov|ArXiv.org|Aug 29, 2007

Mathematical Dynamics and Fractals参考文献 22被引用数 5

ひとこと要約

本稿では、有界かつ連続な多変数関数空間における2つのリッジ関数の和の近似可能性について検討する。Garkavi, Medvedev, Khavinsonの結果を用いて、近似可能性の必要十分条件を確立し、定義域における不可約経路長の有界性が本質的であることを示す。主な貢献は、近似可能性が定義域のこの幾何的条件と関連することを示唆する予想の提示である。

ABSTRACT

Using two results of Garkavi, Medvedev and Khavinson, we give sufficient conditions for proximinality of sums of two ridge functions with bounded and continuous summands in the spaces of bounded and continuous multivariate functions respectively. In the first case, we give an example which shows that the corresponding sufficient condition cannot be made weaker for some subsets of $\mathbb{R}^{n}$. In the second case, we obtain also a necessary condition for proximinality. All the results are furnished with plenty of examples. The results, examples and following discussions naturally lead us to a conjecture on the proximinality of the considered class of ridge functions. The main purpose of the paper is to draw readers' attention to this conjecture.

研究の動機と目的

• 有界および連続関数空間における2つのリッジ関数の和の近似可能性について、必要十分条件を特定すること。
• このような関数クラスの近似可能性が、特に経路構造を含む定義域の幾何的性質に依存するかどうかを調査すること。
• 極値近似が存在する場合を明確にするための例および理論的条件を提示すること。
• 近似可能性と定義域における不可約経路長の均一有界性を結びつける予想を提示し、その動機を説明すること。

提案手法

• Garkavi, Medvedev, Khavinsonによる関数空間における近似可能性に関する結果を活用する。
• 定義域 $X \subset \mathbb{R}^n$ における不可約経路の概念を導入し、集合 $X$ の構造的制約を分析する。
• 変分解析を用いて、軌道および経路を介したリッジ関数成分の変動を評価する。
• 方向が線形独立である場合に、多変数問題をより単純な2変数ケースに還元するための線形変換を用いる。
• 非有界な経路長を用いた明示的な反例を構成し、近似可能性の失敗を示す。
• 軌道上の変動および経路長を含む不等式を用いて、必要十分条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 定義域 $X \subset \mathbb{R}^n$ に対して、$B(X)$ における有界リッジ関数和の空間 $\mathcal{R}_b(X)$ が近似可能となる条件は何か？
• RQ2 コンパクトな $X$ に対して、$C(X)$ における連続リッジ関数和の空間 $\mathcal{R}_c(X)$ が近似可能となる条件は何か？
• RQ3 $\mathcal{R}_b(X)$ および $\mathcal{R}_c(X)$ の近似可能性が、経路長の上限といった $X$ の幾何的性質によって特徴付けられるか？
• RQ4 既知の単純なケースの結果を一般化する、近似可能性の必要十分条件は存在するか？

主な発見

• 経路に基づく制約および変動の上限を用いて、$B(X)$ における $\mathcal{R}_b(X)$ の近似可能性の十分条件を確立した。
• 軌道上の変動不等式を介して、$C(X)$ における $\mathcal{R}_c(X)$ の近似可能性の必要条件を導出し、これにより経路構造と関連づけた。
• 単位正方形 $I = [0,1]^2$ において、方向が $(1,1)$ および $(1,1/2)$ の場合に、$\mathcal{R}_c(I)$ が $C(I)$ で近似可能でない例を構成した。これは、経路長が非有界であるためである。
• 定義域における不可約経路の長さが非有界である場合、軌道上の変動が非有界となる関数列を構成することで、近似可能性の失敗が生じる。
• 予想を提示する：$\mathcal{R}_b(X)$ が $B(X)$ で近似可能であり、$\mathcal{R}_c(X)$ が $C(X)$ で近似可能であるための必要十分条件は、$X$ 内のすべての不可約経路の長さが一様に有界であることである。
• Medvedevの結果（引用）は、この条件の必要性を支持しており、$\mathcal{R}_c(X)$ が $C(X)$ で閉集合であるための必要十分条件が経路長が一様に有界であることであると示している。