[논문 리뷰] Some approximation properties of Lupa\cs $q$-analogue of Bernstein operators

Nazım I. Mahmudov, Pembe Sabancıgil|arXiv (Cornell University)|2010. 12. 20.

Approximation Theory and Sequence Spaces참고 문헌 13인용 수 5

한 줄 요약

이 논문은 임의의 고정된 $ q > 0 $에 대해 루파우스의 $ q $-역행사다항함수 $ R_{n,q} $의 수렴 속도를 조사하며, 고정된 $ q > 0 $에 대해 일반적인 비량 Voronovskaja 유형 정리를 수립한다. 점점 커지는 전개에서 나머지 항에 대한 명시적 추정을 도출하여, 근사 오차가 $ O(q^n / [n]) $로 감소하고, 함수의 이차 연속성 모듈러스에 의존함을 보이며, $ q > 1 $과 $ 0 < q < 1 $의 경우에 대해 서로 다른 행동을 보임을 밝힌다. 결과적으로 고전적 Voronovskaja 이론을 정확한 오차 한계를 갖는 $ q $-루파우스 설정으로 확장한다.

ABSTRACT

In this paper, we discuss rates of convergence for the Lupaş $q$-analogue of Bernstein polynomials $R_{n,q}$. We prove a quantitative variant of Voronovskaja's theorem for $R_{n,q}$

연구 동기 및 목표

• 임의의 고정된 $ q > 0 $에 대해 루파우스의 $ q $-역행사다항함수 $ R_{n,q} $의 수렴 속도를 분석한다.
• 명시적 오차 추정을 제공하는 $ R_{n,q} $에 대한 비량 버존스카자 정리의 변형을 수립한다.
• 특히 $ q > 1 $일 때의 양성과 수렴 성질을 고려하여, $ R_{n,q} $의 근사 행동을 고전적 및 필립스의 $ q $-베르슈타인 연산자와 비교한다.
• 극한 연산자 $ R_{\infty, q}(f,x) $를 중심으로 $ R_{n,q}(f,x) $의 점점 커지는 전개에서의 나머지 항에 대한 명시적 공식을 유도한다.

제안 방법

• 저자들은 $ q $-정수와 $ q $-이항계수를 사용하여 $ q $-루파우스 연산자 $ R_{n,q}(f,x) $를 정의하며, $ v(q,x) = \frac{qx}{1-x+qx} $를 포함하는 가중 함수를 사용한다.
• 무한대에 대한 극한 연산자 $ R_{\infty,q}(f,x) $를 도입하여, $ n \to \infty $일 때 $ R_{n,q}(f,x) $의 점별 극한으로서 정의하고, 오차 연산자 $ L_{n,q}(f,x) = R_{n,q}(f,x) - R_{\infty,q}(f,x) $를 정의한다.
• 모멘트 $ R_{n,q}(t^m,x) $와 $ R_{\infty,q}(t^m,x) $에 대한 재귀 관계를 사용하여 $ L_{n,q}(t^m,x) $의 표현식을 도출함으로써 오차 전파 분석을 가능하게 한다.
• 함수 $ g $의 이차 도함수가 유계일 경우, $ |g''(t)| $를 연속성 모듈러스 $ \omega(f'', \delta) $를 사용하여 추정한다.
• 함수 $ S(t) $를 구성하여 $ S(t) \pm g(t) $가 볼록임을 보장함으로써 $ |L_{n,q}(g,x)| \leq L_{n,q}(S,x) $를 확보하고, 이는 제2모멘트를 통해 오차를 추정할 수 있도록 한다.
• 최종 오차 한계는 $ L_{n,q}((t-x)^4,x) \leq K_1 \frac{q^n}{[n]^2} x(1 - v(q,x)) $의 추정을 사용하여 도출되며, 이는 비량 버존스카 공식을 유도한다.

실험 결과

연구 질문

• RQ1 고정된 $ q > 0 $에 대해, 루파우스의 $ q $-역행사다항함수의 수렴 속도는 $ q $에 어떻게 의존하는가?
• RQ2 $ R_{n,q} $에 대해 비량 버존스카의 정리를 수립할 수 있으며, 명시적 오차 한계를 포함할 수 있는가?
• RQ3 $ f \in C^2[0,1] $에 대해 $ n \to \infty $일 때, 나머지 항 $ R_{n,q}(f,x) - R_{\infty,q}(f,x) $의 행동은 어떠한가?
• RQ4 $ q > 1 $과 $ 0 < q < 1 $의 경우 근사 오차는 어떻게 다를 수 있으며, $ v(q,x) $는 오차 표현식에서 어떤 역할을 하는가?

주요 결과

• 논문은 $ R_{n,q} $에 대해 비량 버존스카 유형 정리를 수립하여, $ q > 1 $일 때 다음 부등식이 성립함을 보였다: $\left| q^n [n]_{1/q} (R_{n,q}(f,x) - R_{\infty,q}(f,x)) - \frac{f''(1-x)}{2} v(q,x)(1-x) \right| \leq K v(q,x)(1-x) \omega(f'', [n]_{1/q}^{-1/2})$이며, 여기서 $ K $는 절대 상수이다.
• $ 0 < q < 1 $일 경우, 나머지 항은 $\left| R_{n,q}(f,x) - R_{\infty,q}(f,x) \right| \leq C \frac{q^n}{[n]} \omega(f'', [n]^{-1/2})$를 만족하며, 이는 $ n $에 대해 지수적 감소를 나타낸다.
• 극한 연산자 $ R_{\infty,q}(f,x) $는 선형 함수를 재생하며, 모든 $ q > 0 $에 대해 잘 정의되어 있으며, 양성성을 확보하기 위해 $ q \in (0,1) $이 필요로 하는 필립스의 $ q $-베르슈타인 연산자와는 달리, 이는 일반적인 성질을 가진다.
• $ 0 < q < 1 $일 때는 정확한 등식 $[n]_{q} (R_{n,q}(t^2,x) - R_{\infty,q}(t^2,x)) = x(1 - v(q,x))$가 성립하지만, $ q > 1 $일 경우에는 $ q^n [n]_{1/q} (R_{n,q}(t^2,x) - R_{\infty,q}(t^2,x)) = v(q,x)(1-x)$가 성립한다.
• 오차 한계는 이차 연속성 모듈러스 $ \omega(f'', \delta) $에 의존하며, 이는 더 매끄러운 함수일수록 더 빠르게 수렴함을 보여준다.
• $ q_n \to 1 $일 때, 고전적 버존스카 공식이 복원된다: $\lim_{n \to \infty} [n]_{q_n} (R_{n,q_n}(f,x) - f(x)) = \frac{f''(x)}{2} x(1-x)$, 이는 $[0,1]$ 전역에서 균일하게 성립한다.