[논문 리뷰] Special functions associated with positive linear operators

Ioan Raşa|arXiv (Cornell University)|2014. 09. 03.

Mathematical functions and polynomials참고 문헌 15인용 수 10

한 줄 요약

이 논문은 베르슈타인, 셰아스지에르-미라크얀, 바스카코프 연산자와 같은 양의 선형 연산자와 관련된 제곱 기본 함수의 합인 $ S_{n,c}(x) $를 조사한다. $ S_{n,c}(x) $를 기하급수 함수와 레지오드 다항식과 연결함으로써, 적분 표현식, 상한, 그리고 $ S_{n,c}(x) $가 두 번째 차수 미분방정식을 만족함을 보이며, $ c \neq 0 $일 경우 헤운 방정식의 다항식 또는 유리 함수 해를 가짐을 밝힌다. 주요 기여는 미분 및 적분적 특성에 의해 고전적 근사 연산자와 특수 함수 사이의 깊은 연결 고리를 확립하는 데 있다.

ABSTRACT

Many well-known positive linear operators (like Bernstein, Baskakov, Szász-Mirakjan) are constructed by using specific fundamental functions. The sums of the squared fundamental functions have been objects of study in some recent papers. We investigate the relationship between these sums and some special functions. Consequently, we get integral representations and upper bounds for the sums. Moreover, we show that they are solutions to suitable second order differential equations. In particular, we provide polynomial or rational solutions to some Heun equations.

연구 동기 및 목표

• 양의 선형 연산자에서의 제곱 기본 함수의 합인 $ S_{n,c}(x) = \sum_{k=0}^\infty (p_{n,k}^{[c]}(x))^2 $ 를 조사한다.
• $ S_{n,c}(x) $ 와 기하급수 함수, 레지오드 다항식과 같은 특수 함수 사이의 연결 고리를 수립한다.
• $ S_{n,c}(x) $ 에 대한 적분 표현식과 상한을 도출하여 기존 결과를 확장하고 개선한다.
• $ S_{n,c}(x) $ 가 두 번째 차수 선형 미분방정식을 만족함을 보이며, $ c \neq 0 $ 일 경우 $ H_{n,c}(x) = S_{n,c}(-x/c) $ 가 특정 매개변수를 가진 헤운 방정식의 해가 됨을 보인다.
• $ S_{n,-1}(x) $ 가 다항식 해를, $ S_{n,1}(-x) $ 가 유리 함수 해를 헤운 방정식의 해로 갖는다는 것을 보여준다.

제안 방법

• 논문은 고전적 양의 선형 연산자로부터 유도된 기본 함수 $ p_{n,k}^{[c]}(x) $ 를 사용하며, $ c $ 는 매개변수로, $ c = -1, 0, 1 $ 은 각각 베르슈타인, 셰아스지에르-미라크얀, 바스카코프 연산자에 해당한다.
• 분석적 처리를 가능하게 하기 위해 $ S_{n,c}(x) $ 를 기하급수 함수 $ {}_{2}F_{1} $ 과 수정 베셀 함수 $ I_0 $ 의 형태로 표현한다.
• 기하급수 함수와 베셀 함수의 알려진 적분 공식을 활용하여, 특히 $ T_{n,c}(x,y) = \sum_k p_{n,k}^{[c]}(x)p_{n,k}^{[c]}(y) $ 의 표현을 통해 $ S_{n,c}(x) $ 의 적분 표현식을 유도한다.
• 미분방정식 이론을 적용하여 $ S_{n,c}(x) $ 가 두 번째 차수 선형 상미분방정식을 만족함을 보이며, $ c \neq 0 $ 일 경우 $ H_{n,c}(x) = S_{n,c}(-x/c) $ 가 특정 매개변수를 가진 헤운 방정식을 만족함을 보인다.
• 볼록성과 미분 부등식을 활용하여 상한을 유도하며, 예를 들어 $ (4(n+1)x(1+x)+1)G_n'(x) \leq -2n(1+2x)G_n(x) $ 와 같은 식을 사용한다.
• 헤운 방정식과 특수 함수에 관한 기존 결과를 활용하여, $ c $ 의 값에 따라 $ S_{n,c}(x) $ 가 다항식 해 또는 유리 함수 해로 분류됨을 밝힌다.

실험 결과

연구 질문

• RQ1 양의 선형 연산자에서의 제곱 기본 함수 합은 기하급수 함수나 레지오드 다항식과 같은 고전적 특수 함수와 어떻게 관련이 있는가?
• RQ2 $ S_{n,c}(x) $ 에 대해 적분 표현식을 도출할 수 있으며, 그 분석적 및 계산적 함의는 무엇인가?
• RQ3 $ S_{n,c}(x) $ 가 두 번째 차수 선형 미분방정식을 만족하는가? 만약 그렇다면 그 구조와 매개변수화는 어떻게 되는가?
• RQ4 $ c \neq 0 $ 일 경우 $ H_{n,c}(x) = S_{n,c}(-x/c) $ 는 헤운 방정식의 해가 되는가? 그리고 어떤 유형의 해(다항식 또는 유리 함수)가 유도되는가?
• RQ5 $ S_{n,c}(x) $ 의 날카운 상한은 무엇이며, 이는 기존 추정치를 어떻게 개선하는가?

주요 결과

• $ c \neq 0 $ 일 경우, $ S_{n,c}(x) = (1+cx)^{-2n/c} \cdot {}_{2}F_{1}\left(\frac{n}{c}; \frac{n}{c}; 1; \left(\frac{cx}{1+cx}\right)^2\right) $ 로 표현되며, 이는 합이 기하급수 함수와 연결됨을 보여준다.
• 함수 $ S_{n,c}(x) $ 는 적분 표현식을 갖는다: $ S_{n,c}(x) = \frac{1}{\pi} \int_0^1 \left(t + (1-t)(1+2cx)^2\right)^{-n/c} \frac{dt}{\sqrt{t(1-t)}} $.
• $ c = 0 $ 일 경우, $ S_{n,0}(x) = e^{-2nx} I_0(2nx) $ 이며, $ S_{n,0}(x) = \frac{1}{\pi} \int_{-1}^1 e^{-2nx(1+t)} \frac{dt}{\sqrt{1-t^2}} $ 를 만족한다.
• 함수 $ S_{n,c}(x) $ 는 두 번째 차수 상미분방정식을 만족한다: $ x(1+cx)(1+2cx)y'' + (4(n+c)x(1+cx)+1)y' + 2n(1+2cx)y = 0 $.
• $ c \neq 0 $ 일 경우, $ H_{n,c}(x) = S_{n,c}(-x/c) $ 는 매개변수 $ \alpha=1, \beta=2n/c, \gamma=1, \delta=1, \epsilon=2n/c, q=n/c $ 를 가진 헤운 방정식의 해이며, 다항식 또는 유리 함수 해를 제공한다.
• 상한이 확립되었다: Baskakov 유형의 $ G_n(x) = S_{n,1}(x) $ 에 대해 $ G_n(x) \leq \left(4(n+1)x(1+x)+1\right)^{-n/(2(n+1))} $ 이며, 셰아스지에르-미라크얀 유형의 $ K_n(x) = S_{n,0}(x) $ 에 대해 $ K_n(x) \leq \frac{1}{\sqrt{4nx+1}} $ 이다.