[论文解读] Additional close links between balancing and Lucas-balancing polynomials

Robert Frontczak, Taras Goy|arXiv (Cornell University)|Jul 28, 2020

Advanced Combinatorial Mathematics参考文献 12被引用 4

一句话总结

本文利用普通生成函数推导出平衡多项式与卢卡斯-平衡多项式的新恒等式，揭示了其与切比雪夫多项式、斐波那契数列及卢卡斯数列之间的深刻联系。主要成果包括涉及这些数列的新组合恒等式，尤其是在特定点取值时的情形，以及通过生成函数运算和Binet型公式建立的多项式间闭式关系。

ABSTRACT

Using generating functions, we derive many identities involving balancing and Lucas-balancing polynomials. By relating these polynomials to Chebyshev polynomials of the first and second kind, and Fibonacci and Lucas numbers, we offer some presumably new combinatorial identities involving these famous sequences.

研究动机与目标

• 通过生成函数建立关于平衡多项式与卢卡斯-平衡多项式的新型代数与组合恒等式。
• 探索这些多项式与切比雪夫多项式（第一类与第二类）等经典正交多项式之间的联系。
• 推导在特定值处求值时可退化为已知斐波那契数与卢卡斯数结果的恒等式。
• 统一并拓展此前关于这些多项式有限乘积和与导数关系的研究成果。
• 通过单位根与卢卡斯数相关的关键点对多项式恒等式进行求值，提出新的组合恒等式。

提出的方法

• 利用关于线性递推生成函数的已知引理，推导出 $ B_n(x) $、$ C_n(x) $ 及其偶数与奇数索引子序列的普通生成函数。
• 使用涉及 $ \lambda(x) = 3x + \sqrt{9x^2 - 1} $ 的 $ B_n(x) $ 与 $ C_n(x) $ 的Binet公式，通过代数方法验证恒等式。
• 应用生成函数运算，推导 $ B_n(x) $、$ C_n(x) $ 及其偶/奇索引分量之间的类递推恒等式。
• 在 $ x = \frac{\varepsilon_n}{6}L_s $ 处求值，其中 $ \varepsilon_n $ 为 $ 1 $ 或 $ i $，生成涉及斐波那契数与卢卡斯数的恒等式。
• 利用黄金比例 $ \alpha = \frac{1+\sqrt{5}}{2} $，$ \beta = \frac{1-\sqrt{5}}{2} $，将恒等式表示为斐波那契数列与卢卡斯数列的形式。
• 推导出涉及二项式系数、$ \frac{\sqrt{5}F_s}{2} $ 的幂次及交错符号的对称恒等式，以关联斐波那契数与卢卡斯数的和。

实验结果

研究问题

• RQ1 如何利用生成函数推导平衡多项式与卢卡斯-平衡多项式之间的新恒等式？
• RQ2 平衡多项式与切比雪夫多项式（第一类与第二类）之间存在何种联系？
• RQ3 在 $ x = \frac{\varepsilon_n}{6}L_s $ 处对多项式恒等式求值，如何产生关于斐波那契数与卢卡斯数的新组合恒等式？
• RQ4 在二项式加权的斐波那契数与卢卡斯数和中引入交错符号与 $ \frac{\sqrt{5}F_s}{2} $ 的幂次，会涌现出何种对称恒等式？
• RQ5 能否利用 $ B_n(x) $ 与 $ C_n(x) $ 的结构，推导出涉及 $ F_{sn} $、$ L_{sn} $ 及其乘积的恒等式？

主要发现

• 对所有 $ n \geq 1 $，恒等式 $ B_n(x) - 3x B_{n-1}(x) = C_{n-1}(x) $ 成立，建立了两类多项式家族之间的直接代数联系。
• 通过生成函数分析推导出关系式 $ 3x(B_{2n+1}(x) - B_{2n-1}(x)) = C_{2n+1}(x) + C_{2n-1}(x) $，并利用Binet公式加以验证。
• 在 $ x = \frac{\varepsilon_n}{6}L_s $ 处求值，确立恒等式 $ C_n\left(\frac{\varepsilon_n}{6}L_s\right) = \varepsilon_n^n \frac{L_{sn}}{2} $，将卢卡斯-平衡多项式与卢卡斯数联系起来。
• 恒等式 $ 2F_{sn} = F_s L_{s(n-1)} + L_s F_{s(n-1)} $ 作为一般多项式恒等式的特例被导出。
• 证明了一个涉及二项式系数与 $ \frac{\sqrt{5}F_s}{2} $ 的幂次的对称恒等式：$ \sqrt{5}\sum_{k=1}^n \binom{n}{k} \left(\frac{\sqrt{5}F_s}{2}\right)^{n-k}(1+(-1)^{n-k})F_{ks} = \sum_{k=0}^n \binom{n}{k} \left(\frac{\sqrt{5}F_s}{2}\right)^{n-k}(1-(-1)^{n-k})L_{ks} $。
• 本文确立了 $ F_{2sn} - (-1)^s F_{2s(n-1)} = F_s L_{s(2n-1)} $，展示了通过多项式求值建立斐波那契数与卢卡斯数之间新颖联系的路径。