[论文解读] Finite, closed-form expressions for the partition function and for Euler, Bernoulli, and Stirling numbers

Jerome Malenfant|arXiv (Cornell University)|Mar 8, 2011

Advanced Mathematical Identities参考文献 2被引用 11

一句话总结

本文通过求解生成函数方程 $\sum c_q^{(X)} z^q = F(z)^X$ 的新解法，推导出分划函数以及欧拉数、伯努利数和斯特林数的有限、封闭形式表达式，其中 $F(z)$ 是一个在 $F(0) \neq 0$ 条件下收敛的幂级数。关键贡献在于提出了一种组合公式，结合广义二项式系数与多项式系数，将这些特殊数表示为整数或简单分数的有限和，避免了无穷级数或复代数数的使用。

ABSTRACT

We find general solutions to the generating-function equation sum c_q^{(X)} z^q = F(z)^X, where X is a complex number and F(z) is a convergent power series with |F(0)| >0. We then use these results to derive finite expressions containing only integers or simple fractions for partition functions and for Euler, Bernoulli, and Stirling numbers.

研究动机与目标

• 推导分划函数以及欧拉数、伯努利数和斯特林数的有限、封闭形式表达式。
• 求解复数 $X$ 和解析函数 $F(z)$（满足 $F(0) \neq 0$）下的生成函数方程 $\sum c_q^{(X)} z^q = F(z)^X$。
• 以有限、基于整数的公式替代无穷级数或复数和表示（例如，拉德马赫公式或布鲁因耶尔-奥诺的代数数和）。
• 提供一种统一的方法，通过单一通用的生成函数框架，适用于多个特殊数列。

提出的方法

• 利用广义二项式定理与多项式展开，推导出 $F(z)^X = \sum c_p^{(X)} z^p$ 的一般解。
• 将系数 $c_p^{(X)}$ 表示为对 $p$ 的整数分拆的有限和，使用广义二项式系数 $\binom{X}{K}$ 和多项式系数 $\binom{K}{k_1,\dots,k_p}$。
• 将该公式应用于特定生成函数：分划函数的 $\prod_{k=1}^\infty (1 - z^k)^{-1}$，伯努利数的 $z/(e^z - 1)$，以及欧拉数的 $1/\cosh z$。
• 使用行列式表示法，将分划函数的部分和 $\sum_{n=0}^k p(n)x^n$ 表示为 $k \times k$ 行列式，其中元素来自幂级数展开的系数。
• 证明这些行列式中的系数源于生成函数分子的幂级数展开。
• 通过与已知结果的等价性验证方法，并在以往公式为无穷或非初等的情况下推导出新的有限表达式。

实验结果

研究问题

• RQ1 能否仅使用整数或简单分数，通过有限封闭形式表达式推导出分划函数 $p(n)$，而无需无穷级数或复代数数？
• RQ2 伯努利数与欧拉数能否通过统一的生成函数框架，表示为对 $n$ 的整数分拆的有限和？
• RQ3 是否存在一种通用方法，用于计算 $F(z)^X$ 的 $c_p^{(X)}$，避免递归或无穷级数，并得到精确的整数或有理数结果？
• RQ4 能否对任意复数 $X$ 和满足 $F(0) \neq 0$ 的解析函数 $F(z)$，以封闭形式求解生成函数方程 $\sum c_q^{(X)} z^q = F(z)^X$？
• RQ5 能否构造有限行列式，仅使用 $F(z)$ 的幂级数系数，来表示部分和 $\sum_{n=0}^k p(n)x^n$？

主要发现

• 分划函数 $p(n)$ 的有限、封闭形式表达式被推导为对 $n$ 的整数分拆的求和，使用广义二项式系数与多项式系数，所有项均为整数或有理数。
• 伯努利数 $B_n$ 与欧拉数 $E_{2n}$ 被表示为对 $n$ 的整数分拆的有限和，避免了无穷级数或复代数数的使用。
• 该方法给出了 $\sum_{n=0}^k p(n)x^n$ 的行列式公式，表示为涉及 $F(z)$ 幂级数系数的 $k \times k$ 行列式，不包含无穷展开。
• 证明了 $F(z)^X$ 中 $c_p^{(X)}$ 的公式为精确且有限，适用于任意复数 $X$ 和收敛的 $F(z)$（满足 $F(0) \neq 0$），且等价于涉及矩阵求逆的行列式表达式。
• 显式计算了 $p(25k + a)$ 行列式表达式中系数 $Z_n^{(a)}$ 的值，其中 $a = 4, 9, 14, 19$，表明该方法具有实际可计算性。
• 该方法可推广至斯特林数及其他特殊数列，通过选择适当的生成函数，为这些数列的有限表示提供统一框架。