[논문 리뷰] Approximation by Lipschitz, analytic maps on certain Banach spaces

R. Fry, L. Keener|ArXiv.org|2008. 10. 31.

Advanced Banach Space Theory참고 문헌 16인용 수 5

한 줄 요약

이 논문은 분리 다항식을 가진 분리 가능한 바나흐 공간에서, 유계 열린 집합 위의 유계이고 균일 연속인 실수 값 함수는 리프시츠 연속인 해석적 함수들에 의해 균일하게 근사 가능하다는 것을 증명한다. 방법은 복소화된 공간 내에서 해석 함수들의 가중 평균을 구성함으로써, 파artition of unity 유사한 구조를 사용하여 해석성과 균일 리프시츠 연속성을 모두 확보하며, 근사 오차는 목표 함수의 균일 연속성에 의해 제어된다.

ABSTRACT

We show that on separable Banach spaces admitting a separating polynomial, any uniformly continuous, bounded, real-valued function can be uniformly approximated by Lipschitz, analytic maps on bounded sets.

연구 동기 및 목표

• 리프시츠 연속인 해석적 사상으로의 키르슈바일 정리의 해석적 근사 확장을 도입한다.
• 무한차원 바나흐 공간에서 리프시츠 함수에 의한 해석적 근사에 관한 결과의 부족을 해결한다.
• C^p-매끄러운 근사와 해석적 근사 사이의 격차를 리프시츠 제어를 통합함으로써 메우려 한다.
• 일반적인 유계이고 균일 연속 함수를 해석적 및 리프시츠 함수를 사용하여 균일하게 근사하는 구조적 방법을 제공한다.

제안 방법

• 유계 공간 X 위에서 균일 리프시츠 연속이고 실수 해석 함수인 u_j(x)의 수열을 구성한다. 이를 위해 가산 밀도 집합 {x_j}와 파artition of unity 유사한 구조를 사용한다.
• 가중 평균 K(x) = λ({F(x_j)u_j(x)}) / λ({u_j(x)}) 를 정의한다. 여기서 λ는 ℓ^∞ 위의 노름 유사 기능으로, 해석성과 리프시츠 연속성을 보장한다.
• 복소화된 공간 X~를 사용하여 실수 해석 함수를 확장하고, 멱급수 전개의 수렴성을 확보한다.
• F의 균일 연속성과 {C_j^3}의 커버링 성질을 활용하여 근사 오차를 균일하게 유계화한다.
• G 위에서 λ({u_j(x)}) ≥ 4/5 임을 증명하여 분모가 0에서 멀리 떨어져 있음을 보장한다.
• λ의 1-리프시츠 성질과 u_j의 균일 리프시츠 성질을 이용하여 G 위에서 K가 리프시츠임을 보장한다.

실험 결과

연구 질문

• RQ1 분리 다항식을 가진 분리 가능한 바나흐 공간에서 유계 열린 집합 위의 유계이고 균일 연속인 함수는 리프시츠-해석적 사상에 의해 균일하게 근사 가능한가?
• RQ2 C^∞-근사가 실패하는 무한차원 환경에서 균일 리프시츠 제어를 갖는 해석적 근사를 달성할 수 있는가?
• RQ3 일반적인 함수의 근사에 있어서 국소 매끄러움 조건 없이 균일 연속성 제약 조건 하에서 근사자 구조를 안정적으로 만들 수 있는가?
• RQ4 바나흐 공간의 복소화는 근사 함수의 해석성을 보장하는 데 어떻게 활용될 수 있는가?
• RQ5 공간과 함수에 어떤 조건이 성립하면 근사자가 해석적이면서도 리프시츠일 수 있는가?

주요 결과

• 모든 ε > 0 에 대해, G → ℝ 으로 가는 실수 해석 함수 K가 존재하며, G 위에서 리프시츠이면서 모든 x ∈ G 에 대해 |F(x) - K(x)| < ε 를 만족한다.
• 근사자 K는 두 개의 λ-기능이 해석 함수 수열에 작용한 비율로 구성되며, 해석성과 리프시츠 연속성을 모두 보장한다.
• 분모 λ({u_j(x)}) 는 G 위에서 일관되게 4/5 이상으로 유계이므로, 0으로 나누는 것을 방지하고 구조의 안정성을 확보한다.
• 근사 오차는 F의 균일 연속성에 의해 제어되며, {C_j^3} 커버링과 u_j(x)가 δ-근접 영역 외부에서 감쇠하는 방식으로 ε-유계가 유도된다.
• 이 방법은 ℓ^p 및 짝수 정수 p에 대해 L^p, 그리고 가 countable compact K를 갖는 c_0를 포함한 모든 분리 가능한 바나흐 공간에 적용 가능하다.
• 이것은 무한차원 바나흐 공간에서 일반 함수(단지 노름이 아닌)에 대해 리프시츠-해석적 사상에 의한 균일 근사가 가능한 것으로 알려진 최초의 결과이다.