[논문 리뷰] Uniform and Pointwise Shape Preserving Approximation by Algebraic Polynomials

Kirill A. Kopotun, D. Leviatan외 2명|arXiv (Cornell University)|2011. 09. 05.

Approximation Theory and Sequence Spaces참고 문헌 57인용 수 33

한 줄 요약

이 종합적 리뷰는 유한 구간에서 대수다항식에 의한 균일 및 점별 형태보존 근사(Shape-Preserving Approximation, SPA)를 종합적으로 검토하며, 증가성, 볼록성 및 q-단조성에 중점을 둔다. SPA는 함수의 형태를 유지하지만 일반적으로 제약이 없는 근사보다 근사 정도가 열 劣하다는 점을 입증하며, 부드러움의 모듈러스를 통한 정량적 추정과 다양한 근사 유형 간의 비교를 통해 이 분야의 핵심적 차이점과 미해결 문제들을 드러낸다.

ABSTRACT

We survey developments, over the last thirty years, in the theory of Shape Preserving Approximation (SPA) by algebraic polynomials on a finite interval. In this article, "shape" refers to (finitely many changes of) monotonicity, convexity, or q-monotonicity of a function (for definition, see Section 4). It is rather well known that it is possible to approximate a function by algebraic polynomials that preserve its shape (i.e., the Weierstrass approximation theorem is valid for SPA). At the same time, the degree of SPA is much worse than the degree of best unconstrained approximation in some cases, and it is "about the same" in others. Numerous results quantifying this difference in degrees of SPA and unconstrained approximation have been obtained in recent years, and the main purpose of this article is to provide a "bird's-eye view" on this area, and discuss various approaches used. In particular, we present results on the validity and invalidity of uniform and pointwise estimates in terms of various moduli of smoothness. We compare various constrained and unconstrained approximation spaces as well as orders of unconstrained and shape preserving approximation of particular functions, etc. There are quite a few interesting phenomena and several open questions.

연구 동기 및 목표

• 유한 구간에서 지난 30년간의 균일 및 점별 형태보존 근사(Shape-Preserving Approximation, SPA)에 관한 연구를 종합적으로 개괄하는 것.
• 제약 조건이 있는(형태보존) 다항근사와 제약이 없는 다항근사 간의 근사 정도의 차이를 정량화하는 것.
• 다양한 부드러움의 모듈러스, 특히 Ditzian-Totik 및 Nikolskii 유형의 모듈러스를 사용하여 균일 및 점별 추정의 타당성과 비타당성을 분석하는 것.
• 특정 부드러움과 형태 특성을 갖는 함수에 대해 제약이 없는 근사와 형태보존 근사의 근사 공간 및 근사 순서를 비교하는 것.
• 특히 증가성, 볼록성 및 q-단조성의 맥락에서 SPA 분야의 미해결 문제와 핵심 현상들을 부각하는 것.

제안 방법

• 저자들은 지난 30년간의 SPA 연구 결과를 분석하는 체계적인 종합적 접근을 사용하며, 단조성, 볼록성 또는 q-단조성을 제어하는 함수의 근사에 집중한다.
• 주요 기법으로는 균일 및 점별 설정에서 근사 오차를 추정하기 위해 부드러움의 모듈러스, 특히 Ditzian-Totik 및 Nikolskii 유형의 모듈러스를 사용한다.
• 근사의 경우를 구분하여 도입하고 분석한다: '⊕' (함수에 따라 달라지는 상수를 가진 유효한 점별 추정), '⊖' (무효한 추정), '⊘' (s ≥ 2인 공볼록 근사의 중간 케이스).
• 제약이 있는 근사 공간(예: Δ(q))과 제약이 없는 근사 공간을 비교하며, 노름과 오차 추정을 통해 근사 순서를 평가한다.
• Whitney 유형의 부등식과 Jackson-Stechkin 유형의 추정을 통해 이론적 결과를 유도하며, n, r, k, q 등의 매개변수에 대한 의존성에 주의를 기울인다.
• 다양한 조건 하에서 오차 추정의 타당성을 요약한 상세한 표를 포함하며, 기초적이고 최신의 연구들을 참조한다.

실험 결과

연구 질문

• RQ1 q-단조성 근사에 대해 점별 및 균일 추정이 성립하는 조건은 무엇이며, 언제 무효해지는가?
• RQ2 오차 감쇠 속도 측면에서 형태보존 근사의 근사 정도는 제약이 없는 근사와 비교해 어떻게 다를까?
• RQ3 Ditzian-Totik 및 Nikolskii 유형의 모듈러스는 형태보존 근사의 오차를 정량화하는 데 어떤 역할을 하는가?
• RQ4 공볼록 및 공단조성 근사에서 '⊕', '⊘', '⊖' 케이스는 어떻게 구분되며, 이는 오차 추정에 어떤 영향을 미치는가?
• RQ5 주어진 부드러움과 형태 제약 조건을 갖는 함수에 대해, 제약이 없는 근사와 형태보존 근사 간의 α-관계가 타당한가?

주요 결과

• q ≥ 4인 q-단조성 근사의 경우, |f(x)−Pn(x)| ≤ c(k,r)ρn^r(x)ωk(f^(r),ρn(x)) 형태의 점별 추정이 성립하며, c는 k, r 및 f에 따라 달라지지만 모든 f에 대해 일관되게 유지되지 않는다.
• s ≥ 2인 공볼록 케이스에서는 '⊘' 케이스가 발생한다: 추정은 f와 Ys에 따라 달라지는 상수 c로 성립하지만, f에 독립적인 일반 상수 c로는 성립하지 않는다.
• 공단조성 근사의 경우, Whitney 유형의 부등식 E_{k+r}^{(1)}(f,Ys) ≤ c(k,r,Ys)ωk(f^(r),1) 가 '⊕' 케이스에서 점별 추정의 타당성을 뒷받침한다.
• 논문은 r ≥ 1일 때 '⊕' 케이스가 공단조성 근사에서 성립하며, r = 0일 땐 s ≥ 2일 때에만 성립함을 확인한다.
• 볼록 근사(q=2)의 경우, '⊕' 케이스에서 |f(x)−Pn(x)| ≤ c(k,r)ρn^r(x)ωk(f^(r),ρn(x)) 추정이 타당하며, LS2002, DGS2002 및 DLS2010a를 참조한다.
• 단조성 근사의 α-관계는 성립한다: n^αEn(f) ≤ 1 이면 n^αEn^{(1)}(f) ≤ c(α,N) (n ≥ N*)를 만족하며, 이는 근사 순서의 제어된 손실을 나타낸다.