[논문 리뷰] Approximation by generalized Szasz operators involving Sheffer polynomials

M. ‎Mursaleen, Khursheed J‎. ‎Ansari|arXiv (Cornell University)|2015. 12. 25.

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

한 줄 요약

이 논문은 샤페르 다항식을 사용한 슈바르츠 연산자의 클로도프스키 유형 일반화를 제안하며, 코로브킨 정리에 의해 수렴성을 확립하고, 두 번째 차수의 연속성 모듈러스와 피트레의 K함수를 사용하여 수렴 속도를 추정한다. 또한 가중치 공간에서의 근사 분석을 위해 가드지에프와 아랄이 도입한 새로운 가중치 모듈러스를 사용하며, 수치 예제와 그래픽적 검증을 통해 고전적 연산자에 비해 향상된 수렴 성능을 보여준다.

ABSTRACT

The purpose of this article is to give a Chlodowsky type generalization of Szasz operators defined by means of the Sheffer type polynomials. We obtain convergence properties of our operators with the help of Korovkin's theorem and the order of convergence by using a classical approach, the second order modulus of continuity and Peetre's K-functional. Moreover, we study the convergence of these operators in a weighted space of functions on a positive semi-axis and estimate the approximation by using a new type of weighted modulus of continuity introduced by Gadjiev and Aral in [12]. An algorithm is also given to plot graphical examples, and we have shown the convergence of these operators towards the function and these examples can be take as a comparison between the new operators with the previous one too. Finally, some numerical examples are also given.

연구 동기 및 목표

• 양의 무한 구간에서의 보다 우수한 근사 성능을 위한, 샤페르 다항식을 기반으로 한 일반화된 슈바르츠 연산자의 클로도프스키 유형 일반화를 개발한다.
• 코로브킨 정리를 사용하여 국소 근사 성질을 확립하고, 고전적 방법, 두 번째 차수의 연속성 모듈러스, 피트레의 K함수를 통해 수렴 속도를 정량화한다.
• 가드지에프와 아랄이 도입한 새로운 가중치 모듈러스를 사용하여 [0, ∞)에서의 함수 가중치 공간에서의 수렴성을 조사한다.
• 수렴을 시각화하기 위한 알고리즘을 제시하고, 수치적 및 그래픽적 예제를 통해 새로운 연산자와 고전적 연산자 간의 성능을 비교한다.
• 특정 시험 함수에 대한 오차 한계를 연속성 모듈러스를 사용하여 추정하고, n이 증가함에 따라의 수치적 성능을 시연한다.

제안 방법

• 생성 함수 $ A(t)e^{xH(t)} = \sum_{k=0}^\infty p_k(x)t^k $를 갖는 샤페르 다항식을 사용하여 정의된 새로운 연산자 $ T_n^*(f;x) $를 제안하며, $ \lim_{n\to\infty} b_n = \infty $ 및 $ \lim_{n\to\infty} \frac{b_n}{n} = 0 $ 를 만족하는 수열 $ b_n $ 을 포함한다.
• 함수 $ f \in C_E[0,\infty) $ 에 대해 $ T_n^* $ 의 점별 수렴성을 코로브킨 정리와 $ e_0, e_1, e_2 $ 의 모멘트 추정치를 활용하여 증명한다.
• 두 번째 차수의 연속성 모듈러스 $ \omega_2(f;\delta) $ 와 피트레의 K함수 $ K(f;\delta) $ 를 사용하여 수렴 속도를 추정하며, $ \frac{b_n}{n} $ 과 $ \frac{b_n^2}{n^2} $ 에 따라 표현된 경계를 도출한다.
• 가드지에프와 아랄이 도입한 새로운 가중치 모듈러스를 사용하여 가중치 공간 $ C_\rho^k(\mathbb{R}_0^+) $ 에서의 수렴성을 분석하며, 가중치 함수 $ \rho(x) = 1 + x^2 $ 를 사용한다.
• $ \| \cdot \|_{\rho^4 \psi} $ 의 가중치 노름에서 오차 경계를 유도하며, $ n \to \infty $ 일 때 수렴이 0으로 가도록 보장하며, $ \alpha_n, \beta_n, \gamma_n $ 의 명시적 표현을 제공한다.
• 테스트 함수를 근사하는 데 사용되는 $ T_n^* $ 의 그래픽적 예제를 생성하기 위한 알고리즘을 개발하며, 고전적 연산자와의 시각적 비교를 가능하게 한다.

실험 결과

연구 질문

• RQ1 클로도프스키 유형 설정에서 샤페르 다항식을 사용하여 고전적 슈바르츠 연산자를 [0, ∞)에서의 근사에 대해 어떻게 일반화할 수 있는가?
• RQ2 제안된 일반화된 연산자의 수렴 속도는 무엇이며, 고전적 방법과 함수해석학적 도구를 통해 어떻게 정량화할 수 있는가?
• RQ3 새로운 가중치 모듈러스의 역할을 고려할 때, 새로운 연산자는 양의 무한 구간에서의 함수 가중치 공간에서 어떻게 작동하는가?
• RQ4 제안된 연산자는 수치적 및 그래픽적 방법을 통해 고전적 슈바르츠 또는 자키모프스키-레비아탄 연산자에 비해 향상된 수렴 성능을 보임을 어떻게 검증할 수 있는가?
• RQ5 특정 시험 함수에 대한 명시적 오차 경계는 무엇이며, n이 증가함에 따라 어떻게 감소하는가?

주요 결과

• 제안된 클로도프스키 유형 연산자 $ T_n^* $ 는 $ f \in C_E[0,\infty) $ 에 대해 코로브킨 정리와 모멘트 추정치를 활용하여 점별로 $ f $ 로 수렴함을 확인하였다.
• 두 번째 차수의 연속성 모듈러스를 사용하여 수렴 속도가 $ O\left(\sqrt{\frac{b_n}{n}}\right) $ 로 추정되었으며, $ H''(1) $ 과 $ A(t) $ 의 도함수에 명시적인 의존성이 있다.
• 가중치 공간 $ C\_\rho^k(\mathbb{R}_0^+) $ 에서 근사 오차는 $ \|T_n^*(f) - f\|_{\rho^4 \psi} \leq 16\Omega_\rho\left(f,\sqrt{\alpha_n + 2\beta_n + \gamma_n}\right) + \alpha_n\|f\|_\rho $ 를 만족하며, $ n \to \infty $ 일 때 $ \alpha_n, \beta_n, \gamma_n \to 0 $ 이다.
• 함수 $ f(x) = -4xe^{-3x} $ 에 대한 수치 결과는 $ n = 10 $ 에서 오차가 0.948 에서 $ n = 10^{19} $ 에서 $ 1.42 \times 10^{-4} $ 로 감소함을 보여, 빠른 수렴을 확인하였다.
• 제안된 알고리즘을 통해 생성된 그래픽적 예제들은 새로운 연산자가 고전적 대비 더 빠르고 매끄럽게 수렴함을 시각적으로 확인하였다.
• 다양한 샤페르 수열—예를 들어 $ \{(1+x)^k\} $ 과 $ \{x^{k-1}\} $ —에 대해 오차 경계가 일관되게 유지되어, 일반화된 프레임워크의 강건성을 보여주었다.