[논문 리뷰] Density in Approximation Theory

Allan Pinkus|ArXiv.org|2005. 01. 20.

Mathematical Approximation and Integration참고 문헌 49인용 수 26

한 줄 요약

이 논문은 근본적인 밀도 결과를 요약하며, 다항함수, 삼각함수 다항함수, 반경기저함수와 같은 함수의 가족이 컴팩트 집합이나 R^n에서 연속함수를 조밀하게 근사할 수 있는 조건에 초점을 맞춘다. 주요 기여는 Weierstrass 정리, Stone-Weierstrass, Bohman-Korovkin, 그리고 현대적 기능해석학적 방법을 포함한 밀도 기준의 종합적 개요이며, 반경기저 및 다항함수 기반 근사 체계에 대한 결과를 포함한다.

ABSTRACT

Approximation theory is concerned with the ability to approximate functions by simpler and more easily calculated functions. The first question we ask in approximation theory concerns the {\it possibility of approximation}. Is the given family of functions from which we plan to approximate dense in the set of functions we wish to approximate? In this work we survey some of the main density results and density methods.

연구 동기 및 목표

• 균일 노름 하에서 연속함수 공간 내 함수 가족의 밀도에 관한 기초적이고 현대적인 결과를 요약하는 것.
• 특정 함수 클래스—예를 들어 다항함수, 삼각함수 다항함수, 반경함수—가 주어진 연속함수를 임의로 잘 근사할 수 있는 조건을 명확히 하는 것.
• 밀도의 이중 공간 특성 및 양의 선형 연산자와 같은 핵심 이론적 도구를 제시하고 설명하는 것.
• 다변수 일반화된 고전적 밀도 정리—특히 반경기저 및 다항함수 기반 근사 체계에 대해 분석하는 것.
• 열린 문제와 최근 진전—예를 들어 단일 변수 함수의 이동과 다항함수의 복합 함수로 구성된 이동의 밀도 조건—을 부각하는 것.

제안 방법

• 기능해석학적 기준을 사용: 노름 공간 E의 부분공간 M이 밀도를 이룬다는 것은, M 위에서 0이 되는 모든 연속 선형 함수가 식별적으로 0이 되는 것과 동치이다.
• C[a,b]에서 연속 선형 함수에 대한 Riesz 표현 정리를 적용하여, 상쇄 기능을 특성화한다.
• Stone-Weierstrass 정리를 활용하여 Weierstrass의 다항근사 정리를 컴팩트 하우스도르프 공간 X에 대한 C(X)의 부분대수로 일반화한다.
• Bohman-Korovkin 정리를 사용하여, 단순한 순간 조건을 통해 양의 선형 연산자의 항등 연산자로의 수렴을 분석한다.
• 동차 다항함수의 표현 이론을 활용: Hⁿₖ 상의 모든 선형 함수는 미분 연산자를 통해 표현 가능하다.
• 중심 a의 집합과 다항함수 p의 구조에 대한 기하학적 및 대수적 조건을 사용하여 span{g(‖·−a‖)} 및 span{g(p(·−a))}의 밀도를 분석한다.

실험 결과

연구 질문

• RQ1 대부분의 다항함수 공간이 C[a,b]에서 밀도를 이룬다는 조건은 무엇인가?
• RQ2 연속 함수 g에 대해, g(‖·−a‖) 형태의 함수들의 스칼라 결합이 C(ℝⁿ)에서 밀도를 이룬다는 조건은 무엇인가?
• RQ3 주어진 다항함수 p에 대해, g(p(·−a)) 형태의 함수들의 스칼라 결합이 C(ℝⁿ)에서 밀도를 이룬다는 조건은 무엇인가?
• RQ4 함수 g(‖·−a‖)의 이동 가족이 C(ℝⁿ)에서 밀도를 이루지 못하는 경우는 언제인가?
• RQ5 다항함수의 이동에서 점 분리 성질의 역할은 무엇인가?

주요 결과

• Weierstrass 근사 정리는 균일 노름 하에서 다항함수가 C[a,b]에서 밀도를 이룬다는 것을 보여준다.
• 삼각함수 다항함수들은 ℝ 상의 2π-주기 연속함수 공간에서 밀도를 이룬다.
• 반경함수의 경우, g(‖·−a‖)의 스칼라 결합이 C(ℝⁿ)에서 밀도를 이룬다는 것은 g가 짝수 다항함수가 아닐 때에만 성립한다.
• n=1,2,3일 때, g(p(·−a))의 스칼라 결합이 C(ℝⁿ)에서 밀도를 이룬다는 것은 {p(·−a)}가 ℝⁿ에서 점을 분리할 조건과 동치이다.
• n≥4일 때, p가 동차 다항함수이면 점 분리는 필수 조건이지만 충분 조건은 아니다.
• 중심의 집합 𝒜가 유한집합과 한 점에서 만날 직선들의 Coxeter 체계로 이루어져 있고, 각도가 π의 유리수 배수일 경우, g(‖·−a‖)의 스칼라 결합은 C(ℝ²)에서 밀도를 이루지 못한다.