[论文解读] Sums of products of generalized Fibonacci and Lucas numbers

Hacène Belbachir, Farid Bencherif|ArXiv.org|Aug 17, 2007

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

一句话总结

本文推导出广义斐波那契数与卢卡斯数乘积之和及交错和的闭式公式，参数为整数 $ p $ 和 $ q $，且 $ q = \pm 1 $。通过将和 $ S_n^{(r,s)}(U), S_n^{(r,s)}(V), A_n^{(r,s)}(U), A_n^{(r,s)}(V) $ 用基本序列和基于递推的辅助序列表示，该研究统一并推广了此前关于斐波那契数、卢卡斯数、佩尔数和雅克布斯塔回数的结果，在系统化的代数框架下实现简化与推广。

ABSTRACT

In this paper, we establish several formulae for sums and alternating sums of products of generalized Fibonacci and Lucas numbers. In particular, we recover and extend all results of Z. Cerin and Z. Cerin & G. M. Gianella, more easily.

研究动机与目标

• 推导广义斐波那契数与卢卡斯数乘积之和及交错和的闭式表达式。
• 在单一代数框架下统一并扩展此前关于斐波那契数、卢卡斯数、佩尔数和雅克布斯塔回数的研究结果。
• 通过基于递推的辅助序列，简化并推广Čerin（2005）与Čerin & Gianella（2006）的研究结果。
• 建立一种系统化方法，通过涉及 $ U_n^{(p,q)}, V_n^{(p,q)} $ 及其衍生序列 $ a_n, b_n, c_n, d_n, e_n $ 的恒等式，计算此类和。

提出的方法

• 作者通过含参数 $ p $ 和 $ q $ 的二阶线性递推关系定义广义斐波那契数 $ U_n^{(p,q)} $ 与卢卡斯数 $ V_n^{(p,q)} $，并假设 $ q = \pm 1 $ 以确保非退化性。
• 引入五个辅助序列 $ a_n, b_n, c_n, d_n, e_n $，每个序列均满足常系数线性递推关系，由 $ U_n $ 和 $ V_n $ 衍生而来，用于表示主要和式。
• 利用已知的比内型公式及卢卡斯数与斐波那契数的三角恒等式，推导关键恒等式，特别利用 $ V_{n+m}V_{n-m} - q^n \Delta U_m U_{n-m} $ 及类似关系。
• 通过数学归纳法与递推代换证明主要结果，关键依赖引理4与引理5以处理索引平移与乘积恒等式。
• 论文建立了偶数索引和与涉及 $ V_{4n+r+s+2} $、$ U_{4n+r+s+2} $ 及修正项 $ q^r V_{s-r} $ 或 $ q^r U_{s-r} $ 的表达式之间的变换关系。
• 对于交错和，通过 $ (-1)^n $ 项与对称性性质处理符号交替，导出涉及 $ V_{r+s-2} + (-1)^n V_{4n+r+s+2} $ 的表达式。

实验结果

研究问题

• RQ1 能否为广义斐波那契数与卢卡斯数在偶数索引上的乘积之和推导出闭式表达式？
• RQ2 先前关于斐波那契数、卢卡斯数、佩尔数与雅克布斯塔回数乘积的研究结果，能否在单一代数框架下统一？
• RQ3 辅助序列 $ a_n, b_n, c_n, d_n, e_n $ 在简化与推广和恒等式方面起什么作用？
• RQ4 此类乘积的交错和行为如何？能否以非递归方式表达？
• RQ5 所推导的公式能否以更系统化和一般化的方式恢复并扩展Čerin（2005）与Čerin & Gianella（2006）的已知结果？

主要发现

• 本文为 $ S_n^{(r,s)}(U) = \sum_{i=0}^n U_{r+2i} U_{s+2i} $ 提供统一的闭式表达式：$ p^{-1}\Delta^{-1}(U_{4n+r+s+2} - U_{r+s-2}) - (n+1)\Delta^{-1} q^r V_{s-r} $，对所有整数 $ r,s $ 及 $ n \geq 0 $ 成立。
• 对于 $ S_n^{(r,s)}(V) $，卢卡斯数乘积之和为 $ p^{-1}(U_{4n+r+s+2} - U_{r+s-2}) + (n+1) q^r V_{s-r} $，显示出与斐波那契数 $ U_n $ 的直接关联。
• 交错和 $ A_n^{(r,s)}(U) $ 的表达式为 $ \Delta^{-1} V_2^{-1} (V_{r+s-2} + (-1)^n V_{4n+r+s+2}) - \varepsilon \Delta^{-1} q^r V_{s-r} $，其中 $ \varepsilon = (1 + (-1)^n)/2 $，体现了奇偶性依赖性。
• 对于 $ A_n^{(r,s)}(V) $，卢卡斯乘积的交错和为 $ V_2^{-1} (V_{r+s-2} + (-1)^n V_{4n+r+s+2}) + \varepsilon q^r V_{s-r} $，修正项取决于奇偶性。
• 当 $ (p,q) = (2,-1) $ 时，结果可恢复并扩展Čerin与Gianella（2006）关于佩尔数与佩尔-卢卡斯数的定理1–7；当 $ (p,q) = (1,-1) $ 时，可恢复斐波那契数与卢卡斯数的恒等式。
• 本文建立恒等式 $ V_n V_m = V_{n+r} V_{m-r} + q^n \Delta U_r U_{m-n-r} $，该通恒等式为所有和公式推导提供了基础。