[논문 리뷰] Convolution polynomials

Donald E. Knuth|ArXiv.org|1992. 07. 01.

Mathematical functions and polynomials인용 수 53

한 줄 요약

이 논문은 $x$ 제곱된 멱급수의 계수로 삼각형 다항식을 도입하며, 이들이 콘볼루션에 대해 닫혀 있고, 임의의 멱급수 $F(z)$가 $F(0) = 1$ 를 만족할 때 $F_n(x) = [z^n] F(z)^x$ 로 특징지어짐을 보여준다. 주요 결과는 생성함수 분석과 연산자 미적분을 통해 유도된 일반적인 점근적 근사로, 이는 스틸링 수와 $F(z)$의 로그 도함수의 도함수들로 그들의 구조를 드러낸다.

ABSTRACT

The polynomials that arise as coefficients when a power series is raised to the power $x$ include many important special cases, which have surprising properties that are not widely known. This paper explains how to recognize and use such properties, and it closes with a general result about approximating such polynomials asymptotically.

연구 동기 및 목표

• 모든 다항식 가족이 콘볼루션 항등식 $F_n(x+y) = \sum_{k=0}^n F_k(x)F_{n-k}(y)$ 를 만족하는 것을 특징짓는 것.
• 그러한 가족의 배경이 되는 생성함수의 구조를 규명하여, $F(0) = 1$ 일 때 정확히 $F_n(x) = [z^n] F(z)^x$ 로 표현됨을 보여주는 것.
• 생성함수의 변형을 통해 $x$와 $n$ 이 큰 경우 $F_n(x)$ 의 점근적 근사를 유도하는 것.
• 비율 $F_n(x)/\widetilde{F}_n(x)$ 가 $y = x/n$ 과 $x^{-1}$ 에 대한 형식적 멱급수임을 확립하여 점근 전개를 가능하게 하는 것.

제안 방법

• 콘볼루션 가족을 다항식 $F_n(x)$ 가 모든 $x,y,n$ 에 대해 $F_n(x+y) = \sum_{k=0}^n F_k(x)F_{n-k}(y)$ 를 만족하고, 차수 $\leq n$ 이라는 조건으로 정의한다.
• $F(z)^x = \exp(x \ln F(z))$ 를 사용하여, 임의의 멱급수 $F(z)$ 가 $F(0) = 1$ 를 만족할 때 $F_n(x) = [z^n] F(z)^x$ 가 그러한 가족을 생성함을 보인다.
• $f(z) = \ln F(z)$ 를 로그 도함수로 정의하여 $F(z)^x$ 를 $x$ 에 대한 급수로 전개하고, 계수들이 차수 $\leq n$ 인 $x$ 의 다항식임을 보인다.
• 연산자 미적분을 적용: $\vartheta G(z) = z G'(z)$ 를 정의하고, $\vartheta^{\underline{j}} = z^j D^j$ 를 사용하여 스틸링 수 ${k \brack k-j}$ 를 다항식 $P_j$ 전개의 계수로 표현한다.
• $F_n(x)/\widetilde{F}_n(x) = \sum_j P_j / (-n)^j$ 의 점근적 비율을 도출하며, $P_j$ 가 $R(z)$ 의 도함수를 포함하고 있음을 보이고, 각 $P_j / n^j$ 가 $y = x/n$ 과 $x^{-1}$ 에 대한 멱급수임을 보인다.
• $\sum_j P_j / (-n)^j$ 가 $y$ 와 $x^{-1}$ 에 대한 형식적 멱급수임을 확립하여, 점근 전개 $F_n(x)/\widetilde{F}_n(x) = (1 + s^2 y^{-1} d_2)^{-1/2} + \cdots$ 를 이끌어내는 것.

실험 결과

연구 질문

• RQ1 모든 다항식 가족이 콘볼루션 항등식 $F_n(x+y) = \sum_{k=0}^n F_k(x)F_{n-k}(y)$ 를 만족하는 특징은 무엇인가?
• RQ2 콘볼루션 조건을 약화시켜 (예: $x = y$ 일 때만 성립하도록) 해도 전체적인 구조를 유지할 수 있는가?
• RQ3 모수 $n$ 과 $x$ 가 큰 경우 $F_n(x)$ 의 계수는 어떻게 점근적으로 근사할 수 있는가?
• RQ4 비율 $F_n(x)/\widetilde{F}_n(x)$ 는 $\ln F(z)$ 의 도함수와 스케일링 매개변수에 대해 정확히 어떤 구조를 가지는가?
• RQ5 제1종 스틸링 수와 연산자 미적분은 삼각형 다항식의 점근 전개에 어떻게 기여하는가?

주요 결과

• 모든 콘볼루션 가족은 $F(0) = 1$ 인 어떤 멱급수 $F(z)$ 에 대해 $F_n(x) = [z^n] F(z)^x$ 로 표현되며, 반대로 이러한 $F_n(x)$ 는 항상 콘볼루션 항등식을 만족한다.
• $F_n(2x) = \sum_{k=0}^n F_k(x)F_{n-k}(x)$ 라면 전체 콘볼루션 항등식이 성립하므로, 더 약한 조건만으로도 가족의 전체 구조를 특징지울 수 있다.
• $F_n(x)/\widetilde{F}_n(x)$ 의 점근적 비율은 $y = x/n$ 과 $x^{-1}$ 에 대한 형식적 멱급수이며, 주요 항은 $(1 + s^2 y^{-1} d_2)^{-1/2}$ 이다. 여기서 $d_k = f^{(k)}(s)$ 이고 $f(z) = \ln F(z)$ 이다.
• 점근 전개의 보정 항은 $ \frac{(s/y)^3 A}{x(1 + s^2 y^{-1} d_2)^{7/2}} + O(x^{-2}) $ 로 주어지며, 여기서 $A$ 는 $d_2, d_3, d_4$ 와 $s, y$ 의 거듭제곱의 조합이다.
• $P_j$ 는 $P_j = \left. \frac{1}{j!} \vartheta^{\underline{j}} R(z) \right|_{z=s}$ 로 표현 가능하며, 여기서 $R(z)$ 는 점 $s$ 근처에서 $F(z)^x$ 의 변형이다.
• 스틸링 수 항등식 ${k \brack k-j} = \sum_{i=1}^j p_{ji} \binom{k}{j+i}$ 는 $P_j$ 의 구조를 뒷받는데 기여하며, 이 $p_{ji}$ 는 제1종 스틸링 수와 관련된 정수 계수를 가진다.