[논문 리뷰] Eulerian polynomials as moments, via exponential Riordan arrays

Paul Barry|arXiv (Cornell University)|2011. 05. 16.

Advanced Combinatorial Mathematics참고 문헌 19인용 수 24

한 줄 요약

이 논문은 지수 리만 다항식과 그의 이동된 형태인 $ P_{n+1}(x) $ 가 특정 가족의 직교 다항식의 모멘트 수열임을 보여주며, 지수 리만 행렬과 그의 생산 행렬을 사용한다. 생산 행렬이 삼중대각임을 보임으로써 저자들은 직교 다항식에 대한 세 항 연쇄를 수립하고, 연속 분수 및 하 Hankel 변환을 통해 그 생성 함수를 유도한다.

ABSTRACT

Using the theory of exponential Riordan arrays and orthogonal polynomials, we demonstrate that the "descending power" Eulerian polynomials, and their once shifted sequence, are moment sequences for simple families of orthogonal polynomials, which we characterize in terms of their three-term recurrence. We obtain the generating functions of the polynomial sequences in terms of continued fractions, and we also calculate their Hankel transforms.

연구 동기 및 목표

• 지수 리만 행렬 이론을 사용하여 오일러 다항식과 직교 다항식 사이의 연결 고리를 확립하기.
• 오일러 다항식 $ P_n(x) $ 와 $ P_{n+1}(x) $ 가 모멘트 수열이 되는 직교 다항식을 특성화하기.
• 이러한 직교 다항식에 대한 세 항 연쇄 관계를 유도하기.
• 연속 분수를 사용하여 다항식 수열의 생성 함수를 계산하기.
• 오일러 다항식과 관련된 모멘트 수열의 하 Hankel 변환을 계산하기.

제안 방법

• 생성 함수인 $ g $ 와 $ f $ 를 갖는 지수 리만 행렬 $[g, f] $ 이론을 활용하기.
• 리만 행렬의 역행렬이 직교 다항식의 계수 행렬이 되는 조건은 그의 생산 행렬이 삼중대각일 때뿐이라는 기준을 적용하기.
• 생산 행렬의 이변수 생성 함수를 $ e^{xy}(Z(x) + A(x)y) $ 로 유도하기, 여기서 $ A(x) = f'(ar{f}(x)) $ 이고 $ Z(x) = g'(ar{f}(x))/g(ar{f}(x)) $ 이다.
• $ f(x) $ 의 복합역함수 $ ar{f}(x) $ 를 계산하여 $ A(x) $ 와 $ Z(x) $ 를 명시적으로 표현하기.
• 생산 행렬의 삼중대각 구조를 이용하여 직교 다항식에 대한 세 항 연쇄를 유도하기.
• 모멘트 수열의 생성 함수에 연속 분수 표현을 적용하기.

실험 결과

연구 질문

• RQ1 오일러 다항식 $ P_n(x) $ 는 어떤 직교 다항식 가족의 모멘트 수열로 해석될 수 있는가?
• RQ2 모멘트가 $ P_n(x) $ 인 직교 다항식을 정의하는 세 항 연쇄는 무엇인가?
• RQ3 리만 행렬 프레임워크를 사용하여 $ P_n(x) $ 의 생성 함수를 연속 분수로 어떻게 표현할 수 있는가?
• RQ4 수열 $ P_n(x) $ 의 하 Hankel 변환은 무엇이며, 생산 행렬에서 어떻게 유도되는가?
• RQ5 $ P_n(x) $ 에서 $ P_{n+1}(x) $ 로의 이동이 모멘트 수열과 그의 직교 다항식 특성화에 어떤 영향을 미치는가?

주요 결과

• 오일러 다항식 $ P_n(x) $ 는 $ Q_0(t) = 1 $, $ Q_1(t) = t - 1 $ 이고 $ Q_n(t) = (t - ((n-1)x + n))Q_{n-1}(t) - (n-1)^2 x Q_{n-2}(t) $ 로 정의되는 직교 다항식의 모멘트 수열이다.
• 이동된 수열 $ P_{n+1}(x) $ 도 관련된 직교 다항식 가족의 모멘트 수열이며, 유사한 세 항 연쇄로 특성화된다.
• 모멘트 수열 $ P_n(x) $ 의 생성 함수는 지수 리만 행렬의 생산 행렬에서 유도된 연속 분수로 주어진다.
• 수열 $ P_n(x) $ 의 하 Hankel 변환은 계산되었으며, 모멘트 행렬의 행렬식 구조와 관련이 있음이 밝혀졌다.
• 지수 리만 행렬 $[g,f] $ 의 생산 행렬이 삼중대각임을 증명하였으며, 이는 $ g(t) = rac{(1-x)e^{(1-x)t}}{1 - x e^{(1-x)t}} $ 와 $ f(t) = rac{e^{(1-x)t} - 1}{1 - x e^{(1-x)t}} $ 일 때 성립하며, 이는 직교 다항식의 구조를 확인한다.
• 삼중대각 생산 행렬 조건에서 자연스럽게 유도되는 미분방정식 $ dy/dt = (1 + \beta y)(1 + \beta y) $ 는 구조의 구성과 로지스틱 방정식의 변형과 연결된다.