[论文解读] Generalizations for reciprocal Fibonacci-Lucas sums of Brousseau

Kunle Adegoke|arXiv (Cornell University)|Mar 16, 2017

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

一句话总结

本文推导出包含斐波那契数或卢卡斯数复杂数积的分母的有限与无限倒数斐波那契-卢卡斯和的闭式表达式，推广了布罗塞尔早期的结果。通过使用错位求和恒等式与比内公式，建立了对具有结构化序列的斐波那契数与卢卡斯数的精确求和表达式，将已知恒等式扩展至具有周期性索引与对称分母结构的更广泛类别的和。

ABSTRACT

We derive closed form expressions for finite and infinite Fibonacci-Lucas sums having products of Fibonacci or Lucas numbers in the denominator of the summand. Our results generalize and extend those obtained by pioneer Brother Alfred Brousseau and later researchers.

研究动机与目标

• 将布罗塞尔关于倒数斐波那契-卢卡斯和的奠基性工作推广至具有结构化分母积的更复杂、更广义的形式。
• 推导出涉及周期性索引的斐波那契数与卢卡斯数积的无限与有限和的精确闭式表达式。
• 通过引入索引区间与分母项对称性的参数，统一并推广现有结果。
• 利用新颖的错位求和恒等式，评估具有平方项或交替符号的分母中的和。
• 建立无限和收敛于斐波那契数或卢卡斯数倒数的有理倍数的条件。

提出的方法

• 利用错位求和恒等式 (1.1) 与 (1.2) 将复杂和式压缩为有限边界项。
• 应用比内公式分析渐近行为，并证明无限和的收敛性。
• 运用基本的斐波那契数与卢卡斯数恒等式（如 (1.7a)、(1.8a)、(1.12a)）来操作与简化分母中的积项。
• 推导基于递推关系的恒等式（如 (2.107)），通过代数运算将高阶项与低阶和关联。
• 使用有限和恒等式（如 (2.108)、(2.109)）并取 N → ∞ 的极限以计算无限和。
• 应用符号调整的恒等式（如 (2.113)）处理交替和，特别是针对 m、n、q 与 mnq 的奇偶性条件。

实验结果

研究问题

• RQ1 能否为具有复杂数积分母的斐波那契数与卢卡斯数的无限倒数和推导出闭式表达式？
• RQ2 错位求和恒等式如何推广至分母中含多个项的和，特别是当使用周期性步长索引时？
• RQ3 参数 (m, n, q, p) 的哪些条件能确保收敛性并允许此类和的有理数求值？
• RQ4 在 m、n、q 与 mnq 的不同奇偶性条件下，交替和的行为如何？
• RQ5 涉及平方项或混合斐波那契-卢卡斯积的恒等式能否通过已知递推关系简化为有限和？

主要发现

• 当 mnq 为偶数时，无穷和 ∑_{k=1}^∞ F_{2nk+mnq+np} / ∏_{j=0}^m L_{nk+jnq}L_{nk+jnq+np} 的值为 (1/(5F_{mnq})) × ∑_{k=1}^q 1 / ∏_{j=0}^{m-1} L_{nk+jnq}L_{nk+jnq+np}。
• 当 mnq 为奇数或 q 为偶数时，交替和 ∑_{k=1}^∞ (-1)^{k-1} F_{2nk+mnq+np} / ∏_{j=0}^m L_{nk+jnq}L_{nk+jnq+np} 的值为 (1/(5F_{mnq})) × ∑_{k=1}^q (-1)^{k-1} / ∏_{j=0}^{m-1} L_{nk+jnq}L_{nk+jnq+np}。
• 和 ∑_{k=1}^∞ F_{2k+3}/(F_k^4 F_{k+1}^3 F_{k+2}^3 F_{k+3}^4) = 1/128，且 ∑_{k=1}^∞ F_{2k+3}/(L_k^4 L_{k+1}^3 L_{k+2}^3 L_{k+3}^4) = 1/829440。
• 当 m=1, n=3, q=1 时，和 ∑_{k=1}^∞ (F_{3k+1}F_{3k+2}F_{6k+3}) / (F_{3k}^4 F_{3k+3}^4) = 1/128，其卢卡斯对应项为 1/10240。
• 恒等式 ∑_{k=1}^∞ (-1)^{nk-1} F_{2nk+mnq+2} ∏_{j=1}^{m-1} F_{nk+jnq+1}^2 / ∏_{j=0}^m F_{nk+jnq} F_{nk+jnq+2} = q/F_{mnq} - (1/F_{mnq}) ∑_{k=1}^q ∏_{j=0}^{m-1} F_{nk+jnq+1}^2 / (F_{nk+jnq} F_{nk+jnq+2}) 对偶数 n 成立。
• 当 n 为奇数时，交替版本给出 ∑_{k=1}^∞ (-1)^{k-1} F_{2nk+mnq+2} ∏_{j=1}^{m-1} F_{nk+jnq+1}^2 / ∏_{j=0}^m F_{nk+jnq} F_{nk+jnq+2} = q/F_{mnq} - (1/F_{mnq}) ∑_{k=1}^q ∏_{j=0}^{m-1} F_{nk+jnq+1}^2 / (F_{nk+jnq} F_{nk+jnq+2})。