[논문 리뷰] On the composition and decomposition of positive linear operators III: A non-trivial decomposition of the Bernstein operator

Heiner Gonska, Margareta Heilmann외 2명|arXiv (Cornell University)|2012. 04. 12.

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

한 줄 요약

이 논문은 고전적 Bernstein 연산자 $B_n$를 비자명한 분해 $B_n = \bar{\mathbb{B}}_n \circ F_n$로 표현하며, 여기서 $\bar{\mathbb{B}}_n$는 진정한 Beta 연산자이고 $F_n$는 흥미로운 스펙트럼 및 모멘트 성질을 가진 비음성 선형 연산자이다. 주요 기여는 $F_n$을 역 Beta 연산자와 잭비 다항식을 통해 명시적으로 표현한 것으로, 비슷한 비르로노브스크라 타입의 점근 공식과 쿠퍼-월드론 추측과의 연결을 수립하였다.

ABSTRACT

The central problem in this technical report is the question if the classical Bernstein operator can be decomposed into nontrivial building blocks where one of the factors is the genuine Beta operator introduced by Mühlbach and Lupaş. We collect several properties of the Beta operator such as injectivity, the eigenstructure and the images of the monomials under its inverse. Moreover, we give a decomposition of the form $B_n = \bar{\mathbb{B}}_n \circ F_n $ where $F_n$ is a nonpositive linear operator having quite interesting properties. We study the images of the monomials under $F_n$, its moments and various representations. Also an asymptotic formula of Voronovskaya type for polynomials is given and a connection with a conjecture of Cooper and Waldron is established. In an appendix numerous examples illustrate the approximation behaviour of $F_n$ in comparison to $B_n$.

연구 동기 및 목표

• 고전적 Bernstein 연산자 $B_n$이 비자명한 양성 선형 연산자들로 분해될 수 있는지 조사하기.
• $\bar{\mathbb{B}}_n$가 진정한 Beta 연산자일 때, $B_n$이 구성 $\bar{\mathbb{B}}_n \circ F_n$로 표현될 수 있는지 탐색하기.
• $F_n$이 비록 양성이 아니지만 $B_n = \bar{\mathbb{B}}_n \circ F_n$를 만족하도록 하는 $F_n$ 연산자를 특성화하기.
• 진정한 Beta 연산자 $\bar{\mathbb{B}}_n$의 고유구조, 모멘트 및 역성질 분석하기.
• $F_n$의 점근적 행동과 근사 연산자와 관련된 기능성에 대한 쿠퍼-월드론 추측 사이의 연결 고리 수립하기.

제안 방법

• 미분 연산자 $U_n$의 역을 이용하여 분해 $B_n = \bar{\mathbb{B}}_n \circ F_n$를 구성하며, 이는 $\widetilde{D}^{2l}$를 포함하는 합으로 정의된 $U_n$을 통해 단항식과 고유다항식에 작용한다.
• $F_n$은 $F_n f = \sum_{k=0}^n \nu_k^{(n)}(B_n f) p_k$로 명시적으로 표현되며, 여기서 $p_k$는 $U_n$의 고유다항식이고 $\nu_k^{(n)}$는 잭비 다항식과의 내적을 통해 유도된 선형 기능성이다.
• $U_n$의 고유다항식은 $k \geq 2$일 때 $p_k(x) = D^{k-2}[x^{k-1}(1-x)^{k-1}]$로 주어지며, 해당 고유값은 $\omega_k^{(n)} = \frac{(n-1)!n!}{(n-k)!(n+k-1)!}$이다.
• $U_n$의 역은 $U_n^{-1}p = \sum_{l=0}^{n-1} (-1)^l \frac{(n-1-l)!}{l!(n-1)!} \widetilde{D}^{2l}p$로 표현되며, 이를 통해 $F_n = U_n^{-1} B_n^2$를 구성할 수 있다.
• $F_n$의 모멘트는 $\int_0^1 b_{n-2,k-1}(t) \varphi_{n,i}(t) dt = \frac{1}{n-1} b_{n,i}(k/n)$ 관계를 통해 분석되며, 여기서 $\varphi_{n,i}$는 $F_n$의 기저 함수이다.
• 점근적 행동은 $\nu_k^{(n)}(f) \to \int_0^1 (f(t) - Lf(t)) J_{k-2}(t) dt$로 나타내며, $n \to \infty$일 때 유도된다. 여기서 $Lf(x) = (1-x)f(0) + x f(1)$이다.

실험 결과

연구 질문

• RQ1 고전적 Bernstein 연산자 $B_n$이 진정한 Beta 연산자 $\bar{\mathbb{B}}_n$와 다른 연산자 $F_n$의 조합으로 비자명하게 분해될 수 있는가?
• RQ2 $B_n = \bar{\mathbb{B}}_n \circ F_n$를 만족하는 비음성 연산자 $F_n$의 스펙트럼 및 모멘트 성질은 무엇인가?
• RQ3 $n \to \infty$일 때 $F_n$과 관련된 기능성 $\nu_k^{(n)}$는 점근적으로 어떻게 행동하는가?
• RQ4 $F_n$의 점근적 행동과 근사 기능성에 대한 쿠퍼-월드론 추측 사이에 연결 고리가 있는가?
• RQ5 $F_n$은 잭비 다항식과 역 미분 연산자로 어떻게 명시적으로 표현될 수 있는가?

주요 결과

• Bernstein 연산자는 $B_n = \bar{\mathbb{B}}_n \circ F_n$로 비자명하게 분해 가능하며, 이때 $F_n$은 비음성 선형 연산자이므로 $B_n$의 새로운 인수분해를 확립한다.
• 미분 연산자 $U_n$의 역은 $U_n^{-1}p = \sum_{l=0}^{n-1} (-1)^l \frac{(n-1-l)!}{l!(n-1)!} \widetilde{D}^{2l}p$로 명시적으로 주어지며, 이를 통해 $F_n = U_n^{-1} B_n^2$를 구성할 수 있다.
• $U_n$의 고유다항식은 $k \geq 2$일 때 $p_k(x) = D^{k-2}[x^{k-1}(1-x)^{k-1}]$이며, 고유값은 $\omega_k^{(n)} = \frac{(n-1)!n!}{(n-k)!(n+k-1)!}$이며, 이들은 $\widetilde{D}^{2l}$ 연산자와도 공유된다.
• 기능성 $\nu_k^{(n)}$는 $\nu_0^{(n)}(f) = f(0)$, $\nu_1^{(n)}(f) = f(1) - f(0)$로 명시적으로 특성화되며, $k \geq 2$일 경우 $\nu_k^{(n)}(f) = (\omega_k^{(n)})^{-1} \int_0^1 (B_n f(t) - Lf(t)) J_{k-2}(t) dt$이다.
• $n \to \infty$일 때 $\nu_k^{(n)}(f) \to \int_0^1 (f(t) - Lf(t)) J_{k-2}(t) dt$로 수렴하며, 이는 쿠퍼-월드론 추측에 등장하는 기능성으로 수렴함을 확인한다.
• $F_n f(x)$의 점근 공식은 $F_n f(x) = Lf(x) + \sum_{k=2}^n x(1-x) J_{k-2}(x) \frac{(n-k)!(n+k-1)!}{(n-1)!n!} \int_0^1 (B_n^2 f(t) - Lf(t)) J_{k-2}(t) dt$이며, 점근적으로 $f(t) - Lf(t)$를 포함하는 극한으로 점근 수렴한다.