[论文解读] Completion of a Rational Function Sequence of Carlitz

Leonard M. Smiley|arXiv (Cornell University)|Jun 14, 2000

Advanced Combinatorial Mathematics参考文献 8被引用 7

一句话总结

本文通过将指数生成函数 ∑n≥1 n^{n−m} z^n / n! 表示为树函数 λ(z) = ∑n≥1 n^{n−1} z^n / n! 和自函函数 ζ(z) = λ/(1−λ) 的有理函数，完成了 Carlitz 对有理函数序列的研究。文中将系数与广义 Stirling 数、欧拉数及伯努利数关联，并建立递推关系，推导出连接二阶欧拉数与第二类 Stirling 数的新恒等式。

ABSTRACT

The exponential generating functions of {n^(n+m)} for arbitrary integer m are expressed as rational functions of the e.g.f. of {n^(n-1)} [the tree function] and then of the e.g.f. of {n^n} [the endofunction function]. The coefficients in these rational functions include 2nd-order Eulerian numbers (a result of L. Carlitz), 2nd-order Stirling numbers, and Stirling numbers of the first kind for negative sets (in the sense of D. Loeb). Several combinatorial identities follow.

研究动机与目标

• 将 Carlitz 早期关于生成函数 ∑n≥1 n^{n−m} z^n / n!（m ≤ 0）的结果扩展至 m ≥ 1 的情形。
• 将这些生成函数的系数识别为第一类虚拟 Stirling 数，并与已知的组合数建立联系。
• 以自函变量 ζ = λ/(1−λ) 表达生成函数，揭示其具有整数系数的多项式结构。
• 推导出连接二阶欧拉数与相关第二类 Stirling 数的新恒等式。
• 研究系数在 m ≥ 1 情形下的渐近行为，并保留其组合解释的开放性问题。

提出的方法

• 定义序列 G_m(λ) = ∑n≥1 n^{n−m} z^n / n!（m 为整数），其中 λ = G_1(λ)，ζ = G_0(λ)。
• 引入形式积分算子 𝕀，使得 𝕀(G_m(λ)) = G_{m+1}(λ)，其来源于微分关系 dG_{m+1}/dz = G_m(z)/z。
• 通过变换 λ = ζ/(1+ζ) 将 G_m(λ) 表示为 ζ 的函数，得到分子与分母均为多项式的有理函数。
• 通过递推关系 g(m,k) = [g(m−1,k) + g(m−1,k−1)]/k 建立系数 g(m,k) 的递推关系，其中 g(m,1) = 1，且当 k > m 时 g(m,k) = 0。
• 推导出 g(m,k) 的生成函数，包括 ∏_{p=1}^k 1/(p−z) 及单位超立方体上的积分表示。
• 通过 ζ = λ/(1−λ) 的拉回变换，将 Carlitz 对 m ≤ 0 情形的有理函数转化为 ζ 的多项式，其系数为第二类关联 Stirling 数。

实验结果

研究问题

• RQ1 对于 m ≥ 1，如何将生成函数 ∑n≥1 n^{n−m} z^n / n! 表示为树函数 λ(z) 的有理函数？
• RQ2 这些有理函数的系数具有何种组合或数论意义？
• RQ3 ζ 的有理函数中系数与第二类欧拉数及第二类 Stirling 数等已知特殊数之间有何关联？
• RQ4 能否推导出二阶欧拉数与相关第二类 Stirling 数之间的新恒等式？
• RQ5 对于 m ≥ 1，ζ 展开中系数的渐近行为如何？其组合解释是否成立？

主要发现

• 当 m ≥ 1 时，G_m(λ) 是 λ 的 m 次多项式，其系数 g(m,k) 满足递推关系 g(m,k) = [g(m−1,k) + g(m−1,k−1)]/k，且 g(m,1) = 1。
• 系数 g(m,k) 被识别为第一类虚拟 Stirling 数，满足 g(m,k) = (−1)^k s(−k, m−k)，且 g(m,k) = −(m−1 choose k) B_{−m}^{(−k)}，其中 B_{−m}^{(−k)} 为广义伯努利数。
• 当 m ≤ 0 时，G_m(λ) 变为 ζ = λ/(1−λ) 的有理函数，且 H_{−m}(ζ) = (1+ζ)^{m+1} ∑_{k=1}^m {m+k choose k} ζ^k，其中 {m+k choose k} 为第二类关联 Stirling 数。
• 推导出一个新恒等式：∑_{i=0}^n (n−i−1 choose q−i−1) ⟨⟨n choose i⟩⟩ = {n+q choose q}，该式将二阶欧拉数与第二类 Stirling 数关联。
• 在 m ≥ 1 情形下，ζ 展开中系数为 ζ 的 |m| 次有理函数，其渐近行为已分析，但其组合解释仍为开放问题。
• 为 g(m,k) 建立了多种生成函数，包括乘积生成函数 ∏_{p=1}^k 1/(p−z) 及单位超立方体上的积分：g(m,k) = 1/(k−1)! ∫⋯∫ (1−x₁⋯x_{m−k+1})^{k−1} dx₁⋯dx_{m−k+1}。