[论文解读] Convolution polynomials

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

Mathematical functions and polynomials被引用 53

一句话总结

本文引入卷积多项式作为幂级数 $F(z)^x$ 的系数，证明其构成一个在卷积下封闭的家族，并由 $F_n(x) = [z^n] F(z)^x$ 表示，其中 $F(z)$ 为满足 $F(0) = 1$ 的任意幂级数。关键结果是通过生成函数分析与算子微积分推导出的一般渐近逼近公式，揭示了其结构与斯特林数及 $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_n(x) = [z^n] F(z)^x$，其中 $F(0) = 1$。
• 当 $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)$ 的、次数不超过 $n$ 的多项式 $F_n(x)$。
• 证明对任意满足 $F(0) = 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$ 的级数，其系数为次数不超过 $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_n(x) = [z^n] F(z)^x$，其中 $F(z)$ 为满足 $F(0) = 1$ 的幂级数，反之，此类 $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}$ 与关联的第一类斯特林数相关。