[论文解读] Generating Functions, Weighted and Non-Weighted Sums for Powers of Second-Order Recurrence Sequences

Pantelimon Stùanicùa|arXiv (Cornell University)|Oct 15, 2000

Advanced Mathematical Theories and Applications参考文献 4被引用 14

一句话总结

本文推导出二阶线性递推序列（如斐波那契数）中各项幂的闭式生成函数。通过使用指数生成函数与组合恒等式，建立了 U_r^n 的加权与非加权求和公式，扩展了已知的递推序列幂的求和结果，并给出了精确的代数表达式。

ABSTRACT

In this paper we find closed forms of the generating function 1 X k=0 U r nx n , for powers of

研究动机与目标

• 推导生成函数 ∑_{n=0}^∞ U_r^n x^n 的闭式表达式，其中 U_n 为二阶线性递推序列。
• 通过引入加权与非加权求和公式，扩展已知的递推序列幂的求和结果。
• 提供一种系统化方法，利用指数生成函数与组合技巧计算 U_r^n 的生成函数。
• 将现有关于斐波那契型序列的恒等式推广至具有常系数的任意二阶线性递推序列。

提出的方法

• 利用指数生成函数对序列 U_r^n 进行建模，实现代数运算以推导闭式表达式。
• 应用涉及二项式系数与多项式展开的组合恒等式，表达递推项的幂。
• 通过在生成函数框架中引入辅助参数，提出加权求和公式。
• 采用生成函数求逆与系数提取技术，分离出 U_r^n 的显式公式。
• 利用二阶递推的特征方程，将生成函数表示为有理函数形式。
• 通过符号计算与斐波那契数列和卢卡斯数列的已知恒等式进行一致性检验，验证结果。

实验结果

研究问题

• RQ1 对于二阶递推序列的幂，能否推导出生成函数 ∑_{n=0}^∞ U_r^n x^n 的闭式表达式？
• RQ2 如何系统地生成并以闭式表达 U_r^n 的加权和？
• RQ3 生成函数中更高阶幂的递推项背后存在何种代数结构？
• RQ4 所推导的公式在哪些方面推广了斐波那契数与卢卡斯数的经典结果？
• RQ5 该方法能否推广至具有常系数的任意二阶线性递推序列？

主要发现

• 通过指数生成函数与组合恒等式，推导出生成函数 ∑_{n=0}^∞ U_r^n x^n 的闭式表达式。
• 本文建立了 U_r^n 的加权与非加权求和公式，其中加权版本通过引入辅助参数增强了灵活性。
• 当递推关系具有常系数时，所推导的生成函数为有理函数，从而支持高效计算。
• 该方法将斐波那契数与卢卡斯数的已知结果推广至任意二阶线性递推序列。
• 提供了生成函数中 x^n 项系数的显式公式，显示其对二项式与多项式系数的依赖关系。
• 通过符号计算与特殊情形下已建立恒等式的符合性，验证了结果的正确性。