[논문 리뷰] Geometric series of positive linear operators and inverse Voronovskaya theorem

Ulrich Abel, Mircea Ivan외 1명|arXiv (Cornell University)|2013. 04. 21.

Approximation Theory and Sequence Spaces참고 문헌 17인용 수 3

한 줄 요약

이 논문은 선형 함수를 보존하는 긍정적 선형 연산자들의 새로운 클래스 Λ 내에서 기하급수를 도입하여 수렴성을 확립하고 역 Voronovskaya 정리를 도출한다. 이는 Λ에 속하는 연산자들에 대해 기하급수 $ G_L = \sum_{k=0}^\infty L^k $ 가 $ C_\psi[0,1] $ 노름에서 수렴함을 증명하며, Bernstein, Bernstein-Durrmeyer형 및 대칭적인 Meyer-König과 Zeller 연산자들에 적용하여 정밀한 점근 전개와 오차 추정을 도출한다.

ABSTRACT

We define the associated geometric series for a large class of positive linear operators and study the convergence of the series in the case of sequences of admissible operators. We obtain an inverse Voronovskaya theorem and we apply our results to the Bernstein operators, the Bernstein-Durrmeyer-type operators, and the symmetrical version of Meyer-König and Zeller operators.

연구 동기 및 목표

• 선형 함수를 보존하는 넓은 범위의 근사 연산자에서 기하급수를 정의하고 연구하기.
• 클래스 $ \Lambda $ 에 속하는 연산자들에 대해 기하급수 $ G_L = \sum_{k=0}^\infty L^k $ 의 수렴성을 확립하기, 여기서 $ \|L(\psi)\|_\psi < 1 $ 이다.
• 이러한 연산자들의 반복의 점근적 행동을 특성화하는 역 Voronovskaya 정리를 증명하기.
• 일반적인 결과를 특정 연산자들에 적용하기: Bernstein, Bernstein-Durrmeyer형, 대칭적인 Meyer-König과 Zeller 연산자.
• 이 연산자들의 반복 및 기하급수에 대한 정밀한 점근 전개와 오차 추정을 도출하기.

제안 방법

• 구간 $ [0,1] $ 에서 정의된 선형 함수를 보존하고, $ \|L(\psi)\|_\psi < 1 $ 를 만족하며, 첫 번째 차수 Bernstein 연산자 $ B_1 $ 이 아닌, 긍정적 선형 연산자 $ L $ 의 집합인 클래스 $ \Lambda $ 를 정의한다.
• 끝점 근처의 행동을 제어하기 위해, $ \psi(x) = x(1-x) $ 이고, 노름이 $ \|f\|_\psi = \sup_{x\in(0,1)} |f(x)/\psi(x)| $ 인 공간 $ C_\psi[0,1] $ 을 도입한다.
• 연산자 $ L \in \Lambda $ 이면 $ L(C_\psi[0,1]) \subset C_\psi[0,1] $ 이고, $ \|L\|_{\mathcal{L}(C_\psi)} = \|L(\psi)\|_\psi $ 임을 증명한다.
• 클래스 $ \Lambda $ 에 속하는 $ L $ 에 대해 기하급수 $ G_L = \sum_{k=0}^\infty L^k $ 가 $ \|\cdot\|_\psi $ 노름에서 수렴함을 확립한다.
• 점근 전개 분석을 통해 역 Voronovskaya 정리를 도출한다. $ Z_n(e_r)(x) $ 의 점근 전개를 분석하여, $ Z_n(e_r)(x) = x^r + \frac{1}{n}\binom{r}{2}x^{r-1}(1-x)^2 + \varepsilon_{n,r}(x) $ 를 얻으며, 여기서 $ |\varepsilon_{n,r}(x)| \leq \frac{x(1-x)}{n(n-1)} C_r $ 이다.
• 조합적 항등식과 생성함수를 이용하여 연산자들의 모멘트, 특히 $ m_n^r(x) $ 를 분석하고, $ \alpha_n(x) $ 와 오차 항을 포함한 상한을 유도한다.

실험 결과

연구 질문

• RQ1 긍정적 선형 연산자 $ L $ 에 대해 기하급수 $ \sum_{k=0}^\infty L^k $ 가 수렴하는 조건은 무엇인가?
• RQ2 일반적인 클래스에서 긍정적 선형 연산자들의 기하급수에 대해 역 Voronovskaya 정리를 확립할 수 있는가?
• RQ3 Bernstein, Bernstein-Durrmeyer형 및 대칭적인 Meyer-König과 Zeller 연산자들의 반복은 점근적으로 어떻게 행동하는가?
• RQ4 점근 전개 $ Z_n(e_r)(x) $ 는 정확히 어떻게 되며, 오차 추정은 무엇인가?
• RQ5 기하급수의 수렴성을 명시적인 추정을 포함하여 $ C_\psi[0,1] $ 노름에서 제어할 수 있는가?

주요 결과

• 모든 $ L \in \Lambda $ 에 대해 기하급수 $ G_L = \sum_{k=0}^\infty L^k $ 는 $ \|\cdot\|_\psi $ 노름에서 수렴한다. 여기서 $ \|L(\psi)\|_\psi < 1 $ 이다.
• 연산자 $ Z_n $ 에 대해 $ r $-번째 모멘트는 $ Z_n(e_r)(x) = x^r + \frac{1}{n}\binom{r}{2}x^{r-1}(1-x)^2 + \varepsilon_{n,r}(x) $ 를 만족하며, $ |\varepsilon_{n,r}(x)| \leq \frac{x(1-x)}{n(n-1)} C_r $ 이다. 여기서 $ C_r $ 은 $ r $ 에만 의존한다.
• 특히 $ r=2 $ 인 경우, 두 번째 모멘트는 $ m_n^2(x) = x(1-x)^2\left[\frac{1}{n} - \frac{1-2x}{n(n-1)} + \rho_n(x)\right] $ 를 만족하며, $ |\rho_n(x)| \leq \frac{12}{n(n^2-1)} $ 이다.
• 연산자 $ Z_n^\star $ 는 $ Z_n^\star(\psi|\alpha_n - \alpha_n(x)e_0|)(x) \leq \frac{\psi(x)}{n(n-1)}\left[\sqrt{\|\alpha_n\|} + \frac{12}{n+1}\right] $ 를 만족하며, 이는 요구되는 노름에서의 수렴성을 확인한다.
• 정리 4 및 5 의 조건들이 $ (Z_n^\star)_{n \geq 3} $ 에 대해 만족되며, 이는 역 Voronovskaya 결과의 타당성을 보장한다.
• 결과들은 Bernstein, Bernstein-Durrmeyer형 및 대칭적인 Meyer-König과 Zeller 연산자들에 적용되어 명시적인 점근 전개와 오차 추정을 도출한다.