[论文解读] Jacobi Type Continued Fractions for the Ordinary Generating Functions of Generalized Factorial Functions

Maxie D. Schmidt|arXiv (Cornell University)|Oct 30, 2016

Advanced Mathematical Theories and Applications被引用 6

一句话总结

本文引入雅可比型连分数（J-分数）以形式化地枚举广义阶乘序列的发散普通生成函数（OGF），例如 $ p_n(\alpha,R) = \prod_{0\leq j<n}(R + \alpha j) $。这些J-分数的有理逼近收敛项提供了精确的形式幂级数近似，从而推导出关于斯特林数、调和数、二项式系数以及 $ m^p - 1 $ 的新恒等式与同余关系，并通过附带的Mathematica笔记本实现计算验证。

ABSTRACT

The article studies a class of generalized factorial functions and symbolic product sequences through Jacobi type continued fractions (J-fractions) that formally enumerate the divergent ordinary generating functions of these sequences. The more general definitions of these J-fractions extend the known expansions of the continued fractions originally proved by Flajolet that generate the rising factorial function, or Pochhammer symbol, $(x)_n$, at any fixed non-zero indeterminate $x \\in \\mathbb{C}$. The rational convergents of these generalized J-fractions provide formal power series approximations to the ordinary generating functions that enumerate many specific classes of factorial-related integer product sequences. The article also provides applications to a number of specific identities, new integer congruence relations satisfied by generalized factorial-related product sequences and the $r$-order harmonic numbers, among several other notable motivating examples as immediate applications of the new results. In this sense, the article serves as a semi-comprehensive, detailed survey reference that introduces applications to many established and otherwise well-known combinatorial identities, new cases of generating functions for factorial-function-related product sequences, and other examples of the generalized integer-valued multifactorial, or $\\alpha$-factorial, function sequences. The convergent-based generating function techniques illustrated by the particular examples cited within the article are easily extended to enumerate the factorial-like product sequences arising in the context of many other specific applications.

研究动机与目标

• 开发一种使用雅可比型连分数（J-分数）的形式框架，以表示原本发散的广义阶乘序列的普通生成函数（OGF）
• 推导这些J-分数的有理逼近收敛项，使其作为 $ p_n(\alpha,R) $ 序列的OGF的形式幂级数近似
• 建立与广义阶乘相关的乘积序列的新整数同余关系，包括第一类斯特林数和 $ r $-阶调和数
• 利用推导出的J-分数框架，为诸如二项式系数和 $ m^p - 1 $ 等著名序列提供新的生成函数
• 通过配套的开源Mathematica笔记本 multifact-cfracs-summary.nb 支持结果的计算验证与扩展

提出的方法

• 本文通过 $ p_n(\alpha,R) = \prod_{0\leq j<n}(R + \alpha j) $（其中 $ p_0 = 1 $）定义广义阶乘序列，并将其OGF表示为形式幂级数
• 采用雅可比型连分数（J-分数），其收敛项可形式化逼近 $ p_n(\alpha,R) $ 的OGF，即使该级数发散亦成立
• 使用符号计算推导辅助收敛函数 $ C_{h,n}(\alpha,R) $ 和分子函数 $ R_{h,k}(\alpha;z) $，用于编码近似级数的系数
• 应用Iverson括号记号及斯特林数与欧拉数的方括号记号，以简化恒等式与同余关系的表达
• 通过Mathematica笔记本验证框架，验证恒等式并计算示例，包括模多个底数的同余关系
• 推导出J-分数收敛项系数的闭式表达式，最高至五次多项式，显式表达为 $ \alpha, R, h, z $ 的多项式

实验结果

研究问题

• RQ1 如何利用雅可比型连分数形式化表示原本发散的广义阶乘序列的普通生成函数？
• RQ2 利用此J-分数框架，对于第一类斯特林数和 $ r $-阶调和数等序列，会涌现出哪些新的整数同余关系？
• RQ3 能否利用这些J-分数的有理收敛项，为二项式系数和 $ m^p - 1 $ 等序列推导出新的生成函数？
• RQ4 J-分数收敛项中系数多项式的结构是怎样的？其对参数 $ \alpha, R, h, z $ 的依赖关系如何？
• RQ5 如何系统性地整合符号计算工具（如Mathematica）以验证并扩展推导出的恒等式与同余关系？

主要发现

• J-分数的有理收敛项可为 $ p_n(\alpha,R) $ 的OGF提供精确的形式幂级数近似，即使原级数发散亦成立
• 推导出J-分数收敛项系数的显式多项式表达式，最高至五次，包含 $ \alpha, R, h, z $ 的项，如 $ \alpha^5 h^{10} z^{10} $ 和 $ R(\alpha+R)(2\alpha+R)(3\alpha+R)(4\alpha+R) $
• 为与广义阶乘相关的序列建立了新的整数同余关系，包括涉及第一类斯特林数和 $ r $-阶调和数的序列
• 该方法为诸如二项式系数和 $ m^p - 1 $ 的序列生成了新的生成函数，其恒等式已通过附带的Mathematica笔记本验证
• 辅助收敛函数 $ C_{h,n}(\alpha,R) $ 定义为形式幂级数 $ \operatorname{FP}_h(\alpha,R;z) $ 中 $ z^n $ 的系数，且对 $ h \leq 5 $ 显式计算出其多项式形式
• 分子函数 $ R_{h,k}(\alpha;z) $ 作为 $ z $ 的系数多项式被推导出，对 $ h=5 $ 以内存在闭式表达，例如 $ k=4 $ 时为 $ \frac{1}{24}(h-3)(h-2)(h-1) $