[論文レビュー] Convolution polynomials

Donald E. Knuth|ArXiv.org|Jul 1, 1992

Mathematical functions and polynomials被引用数 53

ひとこと要約

本稿では、$F(z)^x$ の係数として定義される畳み込み多項式を導入し、それが畳み込みに関して閉じた族をなすこと、かつ任意の定数項が1であるべきべき級数 $F(z)$ に対して $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}$ の形式的べき級数であることを確立し、漸近展開が可能になるようにすること。

提案手法

• 畳み込み族を、すべての $x,y,n$ に対して $F_n(x+y) = \sum_{k=0}^n F_k(x)F_{n-k}(y)$ を満たす、次数 $\leq n$ の多項式 $F_n(x)$ として定義する。
• 任意の定数項が1であるべきべき級数 $F(z)$ に対して $F_n(x) = [z^n] F(z)^x$ がこのような族を生成することを示し、指数型母関数 $F(z)^x = \exp(x \ln F(z))$ を用いる。
• $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 第一種スターリング数と作用素計算は、畳み込み多項式の漸近展開にどのように寄与するか？

主な発見

• すべての畳み込み族は、$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)$ は $F(z)^x$ の点 $s$ のまわりでの摂動である。
• スターリング数の恒等式 ${k \brack k-j} = \sum_{i=1}^j p_{ji} \binom{k}{j+i}$ （$p_{ji}$ は整数係数）は $P_j$ の構造を規定しており、これらの $p_{ji}$ は第一種関連スターリング数と関連している。