[논문 리뷰] On the proximinality of ridge functions

Vugar E. Ismailov|ArXiv.org|2007. 08. 29.

Mathematical Dynamics and Fractals참고 문헌 22인용 수 5

한 줄 요약

이 논문은 유계 및 연속 다변수 함수 공간에서 두 라인 함수의 합의 근접성에 대해 연구한다. 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.

연구 동기 및 목표

• 유계 및 연속 함수 공간에서 두 라인 함수의 합의 근접성에 대한 필요 및 충분 조건을 규명하는 것.
• 이러한 함수 클래스의 근접성이 도메인의 기하적 성질, 특히 경로 구조에 따라 달라지는지 조사하는 것.
• 극값 근사가 존재하는 경우를 명확히 하는 예와 이론적 조건을 제공하는 것.
• 도메인 내 기약 경로 길이의 균일한 유계성과 근접성 간의 관계를 연결하는 추측을 제안하고 그 동기를 설명하는 것.

제안 방법

• Garkavi, Medvedev, Khavinson의 함수 공간 내 근접성에 관한 결과를 활용한다.
• 도메인 $X \subset \mathbb{R}^n$ 내의 기약 경로 개념을 도입하여 집합 $X$의 구조적 제약 조건을 분석한다.
• 변분 해석을 적용하여 궤도 및 경로를 따라 라인 함수 성분의 변동 범위를 유계화한다.
• 방향들이 일차독립일 경우 다변수 문제를 더 단순한 이변수 경우로 줄이기 위해 선형 변환을 활용한다.
• 경로 길이가 유계가 아니라는 점을 이용해 반례를 구축하여 근접성 실패를 시연한다.
• 궤도를 따라의 변동과 경로 길이를 포함하는 부등식을 통해 필요 및 충분 조건을 유도한다.

실험 결과

연구 질문

• RQ1 도메인 $X \subset \mathbb{R}^n$ 에 대해, 유계 라인 함수 합의 공간 $\mathcal{R}_b(X)$ 가 $B(X)$ 내에서 근접성 조건을 만족하는가?
• RQ2 컴act $X$ 에 대해 연속 라인 함수 합의 공간 $\mathcal{R}_c(X)$ 가 $C(X)$ 내에서 근접성 조건을 만족하는가?
• RQ3 $\mathcal{R}_b(X)$ 와 $\mathcal{R}_c(X)$ 의 근접성은 도메인의 기하적 성질, 예를 들어 경로 길이의 유계성과 관련이 있는가?
• RQ4 기존의 단순한 경우에서의 결과를 일반화하는 필요 및 충분 조건이 존재하는가?

주요 결과

• 경로 기반 제약 조건과 변동 유계 조건을 활용하여 $\mathcal{R}_b(X)$ 가 $B(X)$ 내에서 근접성 조건을 만족하는 충분 조건을 확립하였다.
• 궤도 변동 부등식을 통해 $\mathcal{R}_c(X)$ 가 $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)$ 내에서 근접성이 성립할 필요 및 충분 조건은 도메인 내 모든 기약 경로의 길이가 균일하게 유계일 것.
• Medvedev의 결과(인용됨)는 이 조건의 필수성을 지지한다. 이는 $\mathcal{R}_c(X)$ 가 $C(X)$ 내에서 닫혀 있음과 경로 길이가 균일하게 유계임이 동치임을 보여준다.