[论文解读] Chebyshev-Fibonacci polynomial relations using generating functions

Robert Frontczak, Taras Goy|arXiv (Cornell University)|Mar 14, 2021

Advanced Mathematical Theories and Applications参考文献 12被引用 5

一句话总结

本文通过普通生成函数与指数生成函数，建立了切比雪夫多项式（第一类与第二类）与斐波那契多项式之间的新颖函数关系。通过关联这些生成函数，作者推导出涉及斐波那契数、卢卡斯数与平衡多项式的新型组合恒等式，包括显式求和公式及在特定参数值下连接切比雪夫与斐波那契序列的参数化恒等式。

ABSTRACT

The main object of the paper is to reveal connections between Chebyshev polynomials of the first and second kinds and Fibonacci polynomials introduced by Catalan. This is achieved by relating the respective (ordinary and exponential) generating functions to each other. As a consequence, we also establish new combinatorial identities for balancing polynomials and Fibonacci (Lucas) numbers.

研究动机与目标

• 通过生成函数揭示第一类与第二类切比雪夫多项式与斐波那契多项式之间的结构联系。
• 通过生成函数的功能关系推导斐波那契、卢卡斯与平衡多项式的新型组合恒等式。
• 通过在特定参数值下推导新恒等式，拓展已知的切比雪夫与斐波那契序列之间的联系。
• 提供一种系统化方法，通过关联多项式族的普通生成函数与指数生成函数来生成恒等式。

提出的方法

• 推导切比雪夫多项式 $ T_n(x), U_n(x) $ 及其偶数/奇数索引变体的普通与指数生成函数。
• 表达斐波那契多项式 $ F_n(x) $、$ F_{2n+1}(x) $ 与 $ F_{2n}(x) $ 的生成函数，并将其与切比雪夫生成函数关联。
• 通过等价或变换生成函数建立函数方程，进而导出多项式恒等式。
• 通过参数代入如 $ x = 3/2 $、$ x = i/2 $ 与 $ x = rac{ ho(x)+ ho^{-1}(x)}{2} $，将切比雪夫多项式与卢卡斯数及斐波那契数关联。
• 应用二项式系数展开与超几何型恒等式，推导求和公式。
• 利用已知恒等式如 $ T_n(3/2) = \frac{1}{2}L_{2n} $ 与 $ U_n(3/2) = F_{2n+2} $，将多项式恒等式转化为斐波那契数与卢卡斯数恒等式。

实验结果

研究问题

• RQ1 如何通过切比雪夫与斐波那契多项式的生成函数建立关系以推导新恒等式？
• RQ2 当通过生成函数的功能方程求解时，会涌现出哪些组合恒等式？
• RQ3 哪些特定的 $ x $ 参数值能实现切比雪夫多项式与卢卡斯/斐波那契数之间的联系？
• RQ4 能否从与斐波那契多项式相同的框架中推导出平衡多项式的恒等式？
• RQ5 从推导出的多项式恒等式中，可获得哪些关于斐波那契数与卢卡斯数的新求和公式？

主要发现

• 本文推导出一组涉及二项式系数与切比雪夫多项式的恒等式，例如 $ \sum_{k=0}^{n} \binom{n}{k} \left( \frac{x(x^2+2)\sqrt{x^2-1}}{2x^2-1} \right)^{n-k} (\alpha(x) + (-1)^{n-k}\beta(x)) F_{2k}(x) = \text{expression in } T_{2k}(x) $，建立了切比雪夫多项式与斐波那契多项式之间的联系。
• 通过代入 $ x = 3/2 $，得到恒等式 $ 15F_{2(2n-1)} = 5 \cdot 4^n - 20 \cdot 4^{-n} + 11 \sum_{k=1}^{n-1} (4^k - 4^{-k}) F_{2(2n-2k-1)} $，这是关于斐波那契数的新求和恒等式。
• 由 $ x = i/2 $ 得到恒等式 $ T_n(i/2) = \frac{i^n}{2} L_n $，进而导出 $ 11 \sum_{k=1}^{n} F_{4k} L_{6(n-k)} = 3L_{6n} - 2F_{4n+4} + 18F_{4n} $，这是涉及卢卡斯数与斐波那契数的新恒等式。
• 通过 $ x = \sqrt{5}/2 $，推导出如 $ 15L_{4(n-1)} = 4^n + 104 \cdot 4^{-n} + 11 \sum_{k=1}^{n-1} (4^k - 4^{-k}) L_{4(n-k-1)} $ 的恒等式，将切比雪夫多项式与卢卡斯数关联。
• 当 $ x = 4 $ 时，导出恒等式 $ F_{3n} = 2T_{n-1}(4) - \sum_{k=1}^{n-2} (4T_{n-1-k}(4) - 2T_{n-2-k}(4)) F_{3k} $，将斐波那契数表示为切比雪夫多项式的形式。
• 该方法成功生成了同时涉及 $ F_n(x) $ 与 $ U_n(x) $ 的恒等式，例如 $ \sum_{k=0}^{n} \binom{n}{k} \left( \frac{x^2+2}{4x^2-2} \right)^{k-1} \left( \frac{x\sqrt{x^2+4}}{2} \right)^{n-k-1} (1 - (-1)^{n-k}) U_{2k+1}(x) = 2 \sum_{k=0}^{n} \binom{n}{k} \left( \frac{x(x^2+2)\sqrt{x^2-1}}{2x^2-1} \right)^{n-k-1} (\alpha^2(x) - (-1)^{n-k}\beta^2(x)) F_{2k}(x) $。