[논문 리뷰] Grüss and Grüss-Voronovskaya-type estimates for some Bernstein-type polynomials of real and complex variables

Sorin G. Gal, Heiner Gonska|arXiv (Cornell University)|2014. 01. 27.

Approximation Theory and Sequence Spaces참고 문헌 7인용 수 28

한 줄 요약

이 논문은 실수 및 복소수 영역에서 베르슈타인 유형 다항식에 대한 그루스형 및 그루스-보로노브스카야형 추정을 수립하며, 컴팩트 집합 위의 해석 함수로 고전적 근사 결과를 확장한다. 베르슈타인 연산자의 곱과 그 출력의 곱 사이의 이탈에 대해 날카운 상한 및 하한을 도출하며, 주요 결과로는 복소수 및 베르슈타인-파버 연산자에 대해 각각 $ O(1/n) $ 및 $ O(1/n^2) $ 수준의 수렴 속도를 보인다.

ABSTRACT

The first aim of this paper is to prove a Grüss-Voronovskaya estimate for Bernstein and for a class of Bernstein-Durrmeyer polynomials on $[0, 1]$. Then, Grüss and Grüss-Voronovskaya estimates for their corresponding operators of complex variable on compact disks are obtained. Finally, the results are extended to Bernstein-Faber polynomials attached to compact sets in the complex plane.

연구 동기 및 목표

• 복소수 베르슈타인 및 관련 다항식으로 그루스형 부등식을 확장하여 연산자 곱의 이탈에 대한 경계를 제공한다.
• 클래식적인 보로노브스카야형 점근적 분석을 개선하여 $ n[B_n(fg) - B_n(f)B_n(g)] $ 전개의 정확한 일阶 항을 규명한다.
• 특히 해석 함수에 대해 복소 평면의 컴팩트 집합에서 베르슈타인-파버 연산자로 이러한 추정을 일반화한다.
• 모듈러스 연속성 및 해석성 조건에 따라 연산자 곱의 정량적 수렴 속도를 수립한다.

제안 방법

• 연산자 곱의 차이에서 주요 항과 오차 성분을 분리하기 위해 분해 기법을 사용한다.
• 일阶 모듈러스 연속성의 최소 오목 최대함수 $ \tilde{\omega}_1 $을 사용하여 그루스 함수형을 경계한다.
• 보로노브스카야형 전개를 적용하여 곱의 이탈에서 $ O(1/n) $ 한계 항을 식별한다.
• 해석적 계속 및 등각 사상 기법을 통해 복소수 변수로 확장하여 $ \mathbb{C} $ 내 컴팩트 집합 $ G \subset \mathbb{C} $ 에서 파버 다항식을 사용한다.
• 베르슈타인-파버 연산자의 근사 오차 및 보로노브스카야형 수렴에 관하여 [5] 및 [6]에서 알려진 추정을 활용한다.
• 계수 $ a_k(f), a_k(g) $ 및 파버 다항식 차이 $ F_{k-1}(z) - F_k(z) $ 에 따라 추정을 유도한다.

실험 결과

연구 질문

• RQ1 함수 $ f,g \in C^2[0,1] $ 에 대해 $ n[B_n(fg)(x) - B_n(f)(x)B_n(g)(x)] $ 의 점근적 행동은 어떠한가?
• RQ2 해석 함수의 컴팩트 디스크에서 복소수 베르슈타인 다항식으로 그루스형 부등식을 어떻게 확장할 수 있는가?
• RQ3 베르슈타인-파버 연산자에 대한 그루스-보로노브스카야 추정에서 $ O(1/n^2) $ 정확한 수정 항은 무엇인가?
• RQ4 함수 $ f $ 및 $ g $ 의 해석성과 연속성에 따라 곱 연산자 이탈의 수렴 속도는 어떻게 달라지는가?
• RQ5 등각 사상 및 파버 다항식 전개를 통해 이러한 추정을 $ \mathbb{C} $ 의 컴팩트 집합으로 일반화할 수 있는가?

주요 결과

• 함수 $ f,g \in C^2[0,1] $ 에 대해 그루스-보로노브스카야 추정은 $ \left|n[B_n(fg)(x) - B_n(f)(x)B_n(g)(x)] - x(1-x)f'(x)g'(x)\right| \leq \frac{x(1-x)}{2}\left[\tilde{\omega}_1((fg)''; \frac{1}{3\sqrt{n}}) + \|g\|\tilde{\omega}_1(f''; \frac{1}{3\sqrt{n}}) + \|f\|\tilde{\omega}_1(g''; \frac{1}{3\sqrt{n}}) + \frac{1}{2n}\|f''\|\|g''\|\right] $ 를 만족한다.
• 컴팩트 디스크에서 복소수 베르슈타인 다항식에 대해 그루스 추정은 $ |B_n(fg;z) - B_n(f;z)B_n(g;z)| \leq \frac{C}{n} $ 이며, 여기서 $ C $ 는 $ f,g,r $ 에 따라 달라지며 $ r>1 $ 이다.
• 복소수 평면의 $ \overline{G_r} $ 에서 복소수 베르슈타인-파버 연산자에 대해 그루스-보로노브스카야 추정은 $ \left|\mathcal{B}_n(fg;G)(z) - \mathcal{B}_n(f;G)(z)\mathcal{B}_n(g;G)(z) - \sum_{k=2}^\infty \frac{k(k-1)}{2n}[F_{k-1}(z)-F_k(z)](a_k(fg)-f(z)a_k(g)-g(z)a_k(f))\right| \leq \frac{C}{n^2} $ 이다.
• 곱 연산자 이탈의 수렴 속도는 그루스 추정에서 $ O(1/n) $ 이고, 그루스-보로노브스카야 추정에서 $ O(1/n^2) $ 이며, 복소수 베르슈타인 및 베르슈타인-파버 연산자 모두에 대해 동일하게 적용된다.
• 특정 도메인, 예를 들어 하이포사이클로이드, 별, 레미니스케이트, 반디스크에서 $ \Psi $ 와 $ F_k $ 가 명시적으로 계산 가능하므로 결과는 날카롭다.
• 도메인이 $ G = \mathbb{D}_R $ 일 경우, 베르슈타인-파버 결과는 복소수 베르슈타인 경우로 축소되며, 다양한 설정 간 일관성을 확인한다.